/*
www-ATLAS of Group Representations.
U3(8):6 represented as permutations on 3648 points.
*/

G<x,y>:=PermutationGroup<3648|\[
1,3,2,6,7,4,5,11,12,14,8,9,18,10,20,21,23,13,26,15,16,30,17,32,25,
19,35,36,38,22,41,24,43,44,27,28,47,29,49,50,31,53,33,34,57,58,37,61,39,40,
65,66,42,69,70,72,45,46,76,77,48,80,81,83,51,52,87,88,54,55,92,56,94,95,97,
59,60,101,102,62,63,106,64,108,109,111,67,68,115,116,118,71,121,73,74,125,75,98,127,129,
78,79,133,104,135,82,138,84,85,142,86,144,145,147,89,90,151,91,153,154,93,157,158,160,96,
163,99,166,100,168,169,171,103,174,105,176,177,107,179,180,182,110,184,112,113,187,114,189,190,192,
117,195,119,120,199,200,122,123,204,124,206,207,126,209,210,128,213,130,131,217,132,219,220,134,223,
136,137,227,139,140,230,141,232,143,234,235,146,238,148,149,242,150,244,245,152,248,249,251,155,156,
255,256,258,159,261,161,162,264,164,165,267,268,167,271,272,274,170,277,172,173,281,282,175,285,286,
288,178,291,293,181,295,183,298,185,186,302,237,188,305,306,308,191,311,193,194,315,316,196,197,320,
198,322,323,325,201,202,329,203,331,332,205,335,336,208,339,341,211,212,345,346,214,215,350,216,352,
353,218,356,357,359,221,222,362,363,224,225,367,226,369,370,228,372,229,374,231,377,378,233,381,382,
384,236,386,387,239,240,391,241,393,394,243,340,397,399,246,247,403,404,373,250,408,252,253,411,254,
413,414,416,257,419,259,260,423,424,262,263,428,429,265,312,266,433,434,436,269,270,440,441,443,273,
446,275,276,450,451,278,279,455,280,457,458,283,284,462,463,465,287,468,289,290,472,292,319,294,477,
478,296,297,482,483,299,300,487,301,489,303,304,493,494,496,307,499,309,310,503,504,313,506,314,508,
509,511,317,318,515,516,517,321,520,521,324,524,326,327,528,328,530,418,330,533,534,536,333,334,539,
540,542,337,338,546,547,549,342,343,553,344,555,556,558,347,348,561,349,563,564,351,567,568,570,354,
355,574,575,577,358,464,360,361,582,565,584,364,365,456,366,589,590,368,593,594,596,371,599,600,602,
603,375,376,607,608,610,379,380,614,615,617,383,619,385,622,623,625,388,389,495,390,630,631,392,634,
635,637,395,396,641,398,644,400,401,648,402,650,651,653,405,406,407,658,659,409,410,662,663,412,666,
667,669,415,672,417,675,676,420,421,680,422,682,683,425,426,686,427,688,689,691,430,431,695,432,697,
698,633,435,702,437,438,706,439,708,710,442,713,444,445,460,717,447,448,721,449,595,723,725,452,453,
728,454,730,579,732,734,459,737,461,611,739,741,743,466,467,747,748,469,470,571,471,753,754,473,474,
758,475,476,761,762,764,479,480,768,481,585,770,772,484,485,776,486,778,488,780,781,490,491,785,492,
787,788,789,791,497,498,795,552,500,501,799,502,801,802,804,505,807,808,507,645,811,813,510,816,512,
513,820,514,822,823,825,827,518,519,831,832,522,523,665,664,525,526,839,527,841,842,529,845,846,531,
532,850,851,853,535,812,537,538,859,861,541,864,543,544,868,545,870,871,873,548,876,550,551,880,881,
882,554,885,886,888,557,891,559,894,560,896,897,562,900,901,903,566,906,907,909,569,912,572,915,573,
917,918,576,921,578,924,580,926,581,928,929,583,932,586,740,587,936,588,938,939,941,591,592,945,946,
948,950,597,598,954,955,957,601,960,962,604,605,966,606,818,968,970,609,973,612,976,613,977,978,980,
616,983,618,975,620,621,988,989,991,624,786,626,627,628,998,629,1000,1001,1003,632,1006,1007,1009,636,1012,
638,639,1016,640,1018,1019,642,643,866,1023,646,681,647,1027,1028,649,1031,765,1033,652,1036,654,655,1040,656,
1042,657,1044,1045,995,660,661,1050,1051,1052,1054,1055,1057,668,1060,670,671,1064,1065,673,674,1069,1070,1072,677,
678,1076,679,1078,1079,1081,1082,1084,684,1087,685,1089,1090,687,1093,809,1095,690,1098,692,693,1102,694,1103,1104,
696,1107,1108,1110,699,700,701,1115,1116,703,704,1120,705,1122,1123,707,1126,1127,709,1130,711,712,1134,1135,714,
715,1139,716,1140,1141,718,719,1145,720,1147,1148,722,1151,1152,724,1155,726,727,1159,1160,729,1163,1164,731,1167,
733,1170,735,736,1174,1175,738,1178,1179,1181,742,1184,744,745,1187,746,1189,1190,1191,749,750,1195,751,1197,752,
1199,1200,1119,755,756,1205,757,1207,1208,759,1211,760,1213,1214,1216,763,1219,766,1221,767,1223,1224,769,1227,779,
771,773,774,1232,775,1234,1235,777,1238,1239,1241,1242,782,783,1246,784,1248,1249,1124,830,1252,1254,790,1129,792,
793,1260,794,1086,1262,796,797,1266,798,1268,1269,800,1272,1273,1275,803,1037,805,806,1280,1281,1283,810,1286,1284,
1288,814,815,1292,1293,817,1296,819,1298,1299,821,1017,1302,1304,824,1306,826,1309,828,829,1313,1314,1315,1061,833,
834,835,1320,836,837,1323,838,1325,1326,840,1049,1329,1331,843,844,1335,1336,1338,847,848,1342,849,1344,1345,1347,
852,1350,854,855,1354,856,857,1264,858,1357,1004,860,1359,862,863,1363,1364,865,1367,867,1369,1370,869,1372,1373,
1375,872,874,875,1379,1380,877,878,1383,879,1385,1386,1388,1389,883,884,1393,1394,953,887,1398,889,890,994,1401,
892,893,1405,999,895,1408,1409,1411,898,899,1414,1415,1417,902,904,905,1421,1422,1424,908,1427,910,911,1431,1432,
913,914,1436,1437,916,1440,1441,1443,919,920,1447,1448,922,923,1452,1453,925,1456,1185,927,1458,1459,1285,930,931,
1463,1464,933,934,1468,935,1470,1471,937,1169,1474,940,1477,942,943,944,1482,1483,1485,947,1488,949,1491,951,952,
1495,1496,1497,1499,956,1502,958,959,1506,1507,961,1510,963,964,1514,965,1516,1517,967,1515,969,1228,971,972,1522,
1523,974,1222,1526,1528,1530,979,1532,981,982,1535,1536,984,985,1540,986,987,1277,1543,1545,990,1547,992,993,1550,
1551,996,1553,997,1555,1556,1558,1559,1561,1002,1564,1005,1567,1083,1568,1008,1565,1010,1011,1574,1575,1013,1014,1397,1015,
1276,1243,1479,1581,1020,1021,1282,1022,1025,1173,1024,1588,1026,1590,1591,1395,1029,1030,1595,1352,1032,1597,1034,1035,1600,
1601,1038,1604,1039,1606,1041,1608,1609,1043,1611,1612,1614,1046,1047,1048,1619,1620,1622,1624,1053,1627,1629,1056,1554,1058,
1059,1633,1634,1062,1637,1063,1391,1639,1641,1066,1067,1645,1068,1647,1648,1650,1071,1653,1073,1074,1657,1075,1659,1660,1077,
1661,1295,1649,1080,1665,1667,1085,1670,1088,1672,1673,1675,1091,1092,1541,1679,1094,1682,1096,1097,1686,1099,1100,1690,1101,
1692,1693,1695,1105,1106,1699,1643,1109,1702,1111,1112,1387,1113,1114,1708,1332,1710,1117,1118,1291,1714,1274,1121,1717,1718,
1125,1721,1722,1724,1128,1726,1727,1131,1132,1731,1133,1733,1734,1136,1137,1738,1138,1740,1741,1743,1142,1143,1423,1144,1748,
1749,1146,1752,1753,1755,1149,1150,1758,1759,1761,1153,1154,1439,1438,1156,1157,1767,1158,1769,1697,1771,1161,1162,1774,1775,
1777,1165,1166,1780,1781,1168,1698,1171,1172,1785,1786,1787,1176,1177,1791,1792,1794,1180,1677,1182,1183,1800,1801,1186,1803,
1804,1188,1807,1278,1809,1810,1192,1193,1813,1194,1815,1816,1196,1819,1490,1198,1822,1762,1824,1201,1202,1203,1828,1204,1830,
1728,1206,1833,1834,1836,1209,1210,1840,1841,1212,1844,1845,1847,1215,1220,1217,1218,1853,1854,1856,1857,1225,1226,1860,1861,
1229,1864,1230,1866,1231,1868,1233,1870,1872,1236,1237,1876,1877,1878,1240,1365,1542,1244,1884,1245,1886,1247,1888,1889,1250,
1251,1892,1253,1324,1255,1256,1897,1257,1258,1900,1259,1902,1903,1261,1267,1906,1263,1265,1909,1586,1911,1912,1914,1270,1271,
1918,1919,1921,1754,1924,1279,1707,1925,1927,1929,1570,1931,1287,1934,1289,1290,1938,1939,1940,1294,1943,1297,1945,1947,1300,
1301,1732,1950,1303,1953,1305,1956,1307,1308,1960,1310,1311,1962,1312,1964,1965,1967,1969,1316,1317,1973,1318,1975,1319,1977,
1978,1321,1981,1322,1982,1983,1985,1327,1328,1989,1990,1330,1992,1333,1855,1334,1994,1382,1996,1337,1998,1339,1340,1353,1341,
2003,2004,1343,2007,2008,2010,1346,2013,1348,1349,1351,2017,2018,2019,1355,2022,1356,2024,2025,1358,2026,1360,1361,2030,1362,
2031,1469,2032,1366,2035,2036,1368,2039,1684,2041,1371,2042,2043,2045,1374,2048,1376,1377,2051,1378,2053,1445,1457,1381,2055,
2056,1384,2057,2058,2060,2062,1582,1390,1709,1392,1869,2065,2067,1396,2070,2071,1399,1400,2074,2075,1402,1403,2079,1404,2081,
1406,1407,1501,2084,2086,1410,1602,1412,1413,2092,2093,2095,1416,2097,1418,1419,2100,1420,2101,1820,2103,2105,1425,1426,2108,
2109,1428,1429,1579,1430,2113,2114,1433,1434,2118,1435,1493,2120,2122,2123,2124,1442,2127,1444,2130,1446,2132,2133,1449,1450,
2137,1451,2139,2140,1454,1455,2142,2143,2145,1460,1461,1462,2149,2150,2152,1465,1466,2135,1467,2157,2158,2160,2161,2162,1472,
1473,2166,1475,1476,2169,2170,1478,2173,1480,1481,2176,2177,1484,2180,1486,1487,2183,2184,1489,1745,2187,1492,1944,1494,2190,
2192,1827,1498,2196,1500,2198,2199,1503,1504,2203,1505,2205,2206,2208,1508,1509,2098,2211,1511,1512,2215,1513,2217,1849,2218,
2219,2220,1518,1519,1640,1520,1521,2224,2225,1524,1525,2228,2229,1527,1865,1529,2233,1531,1711,1533,2128,1534,2239,2240,2242,
1537,1538,1539,2247,2248,2250,2251,2227,1544,2254,1546,2257,1548,1549,2261,2263,1552,2264,2265,2267,2268,1557,2271,2273,1560,
2276,1562,1563,2280,2281,1566,2283,2285,1569,2287,1571,1572,2290,1573,2291,2292,2293,1576,1577,2296,1578,1930,2298,1580,1583,
2300,1584,2301,1585,1922,1587,2303,1933,1589,2029,2306,2308,1592,1593,1594,2309,2310,1596,1823,1598,2314,1599,2315,2316,1603,
2318,2319,1605,2321,2322,1607,2325,2244,2327,1610,2330,1613,2332,1615,1616,2336,1617,2338,1618,2340,2341,2343,1621,2346,1623,
2348,1625,1626,2352,2353,1628,1630,1631,2358,1632,2360,2361,2363,1635,1636,2367,1638,2369,1642,2370,1644,2372,1646,2374,2375,
2377,2378,1651,1652,2381,2382,1654,1655,2386,1656,2388,2389,1658,2392,2394,2395,1662,1663,1664,2400,2401,1666,2174,1668,1669,
1671,2407,2408,1935,1674,1676,1678,2411,2259,1680,1681,2406,2323,1683,2416,1685,1687,1688,2418,1689,2419,2047,1691,2421,2423,
1694,2426,1696,2428,1700,1701,1703,1704,2432,1705,2433,1706,2434,2436,1712,2414,1713,2439,2440,1715,1716,2396,2445,1719,1720,
2189,2449,2451,1723,2279,1725,2455,2457,1729,2460,1730,2461,2165,2462,2463,2465,1735,1736,2467,1737,2469,1739,1842,2472,1742,
1744,2231,1746,2476,1747,2478,2479,1750,1751,2110,2482,2484,1756,1757,2486,2487,2488,1760,2490,1763,2493,1764,1765,1766,2497,
2498,1768,1871,2500,1770,2503,1772,1773,2506,1793,2508,1776,2511,1778,1779,2193,1782,1783,2328,1784,2516,2517,2179,1788,1789,
2458,1790,2523,2524,2526,2527,1795,1796,2459,1797,1798,1799,2532,2533,2088,1802,2536,2537,1805,1806,2541,2542,1808,2023,2545,
1811,1812,2548,2148,1814,2550,2519,1817,1818,2553,2282,1821,2556,2076,1825,2558,1826,2141,2559,2274,1829,2562,1831,1832,2565,
2566,2568,1835,2204,1837,1838,2572,1839,2573,2574,1843,2576,2577,2579,1846,2581,1848,1850,1851,1852,2246,2368,2587,1858,1859,
2590,1883,1862,1863,2594,2102,2595,1867,2598,2599,2601,2602,2604,1873,1874,2608,1875,2501,1958,2610,2221,1879,1880,2614,1881,
1882,2616,2617,1885,2620,2621,1887,2624,2034,2625,1890,2627,1891,1893,1894,2631,1895,1896,2633,2634,1898,2637,1899,2195,2349,
1901,2641,2642,2080,1904,1905,2186,1907,2351,1908,2645,1910,2647,2648,1913,1915,1916,1917,2652,2653,1920,2655,1923,2658,1926,
1928,2662,1932,2665,2666,1936,2668,1937,1941,1942,2638,2671,2672,1946,1948,1949,2676,1951,1952,2678,1954,1955,2038,2681,1957,
2684,1959,2144,2686,1961,2689,1963,2365,2690,2692,1966,2695,1968,2697,1970,1971,2700,1972,2702,2639,1974,2704,1976,2275,2494,
2284,1979,1980,2710,2711,2592,2713,1984,2716,1986,1987,2719,1988,2721,2333,2722,1991,2222,1993,1995,2726,1997,2728,1999,2000,
2729,2001,2002,2732,2733,2005,2006,2736,2737,2738,2009,2741,2011,2012,2745,2746,2014,2748,2015,2016,2072,2750,2752,2754,2020,
2021,2756,2757,2759,2760,2037,2027,2028,2765,2766,2033,2768,2770,2066,2771,2040,2417,2044,2046,2775,2049,2777,2050,2778,2425,
2052,2781,2054,2783,2785,2615,2059,2061,2063,2789,2064,2791,2792,2068,2069,2795,2796,2643,2505,2073,2800,2801,2803,2077,2805,
2078,2807,2464,2809,2082,2811,2083,2151,2159,2085,2087,2089,2090,2453,2091,2818,2094,2821,2096,2824,2825,2099,2660,2827,2829,
2104,2831,2106,2107,2834,2774,2111,2837,2112,2485,2115,2116,2117,2841,2119,2842,2636,2121,2350,2845,2597,2125,2126,2848,2129,
2243,2850,2131,2852,2444,2134,2687,2136,2854,2855,2138,2857,2859,2860,2861,2146,2147,2863,2182,2864,2866,2867,2153,2154,2871,
2155,2156,2873,2875,2877,2878,2163,2164,2882,2883,2167,2168,2886,2727,2888,2171,2172,2891,2892,2175,2895,2897,2178,2899,2181,
2901,2902,2185,2734,2905,2188,2908,2191,2194,2911,2912,2197,2914,2915,2200,2201,2917,2202,2919,2920,2851,2207,2209,2210,2923,
2212,2213,2926,2214,2928,2216,2930,2931,2584,2934,2840,2223,2936,2937,2226,2940,2356,2593,2230,2232,2943,2496,2234,2235,2946,
2236,2237,2948,2238,2949,2717,2951,2241,2693,2245,2611,2954,2955,2249,2431,2252,2253,2959,2773,2255,2256,2790,2962,2258,2260,
2966,2262,2967,2903,2969,2266,2632,2269,2270,2975,2492,2272,2311,2345,2669,2277,2278,2443,2980,2286,2983,2288,2289,2698,2986,
2987,2294,2295,2989,2297,2991,2992,2299,2993,2473,2994,2302,2997,2998,2304,2305,3001,2307,2640,3005,2312,2313,2862,2767,3009,
2317,3010,2320,3012,3013,2324,3015,3016,2326,2904,2329,2507,3021,2331,2334,3024,2335,2609,3025,2337,2953,2339,2649,3027,2342,
3030,2344,3033,2347,3036,3037,3038,3019,3040,2354,2355,3043,2357,3044,3045,2359,2606,2749,2362,3050,2364,2366,3054,2788,3056,
2371,2539,2373,2376,3058,3060,2379,2380,2554,3061,2383,2384,2385,3065,3066,2387,3069,3070,2999,2390,2391,3074,2393,2718,2397,
3078,2398,3080,2399,3082,2402,2403,2894,2404,2405,3086,2941,3087,3089,2409,2410,2674,2412,3091,2413,2415,3064,2619,2481,2420,
3093,2422,2424,3096,3097,2427,3099,2429,3102,2430,3104,2900,2724,2435,2622,2437,2438,3109,3110,2441,2442,3113,2798,3114,2446,
2447,3117,2448,3118,2450,2853,2452,3122,2454,3124,2456,3120,3081,3126,3128,3129,2817,2466,3133,3134,2468,3137,3138,2470,2471,
3141,2474,3053,2475,2985,2477,3145,3072,2480,3148,2964,2483,3103,3151,2586,2489,2491,2879,3156,2495,3158,3159,2499,2849,2502,
2571,2504,2806,2509,2510,3006,2512,3168,2513,2514,2515,2673,2518,2520,3172,2521,2522,3174,3175,3177,2525,3179,2528,3181,2529,
3182,2530,2531,2843,3184,2952,2534,2535,3189,3190,2538,3193,2540,3195,3196,2543,2544,3084,2758,2546,3199,2547,3112,2549,2787,
2551,2552,2629,2685,2555,3191,3203,2557,2909,2961,2560,2561,3204,2563,2564,3207,2567,3135,2569,2570,3210,3211,2575,3213,3214,
2578,3216,2580,3218,2582,2583,3221,3222,2585,2972,2588,2589,3225,3152,2591,2762,3226,2596,2944,3228,2600,3230,2603,2605,3232,
2607,2881,2696,2612,2613,3236,3237,3238,2618,3240,2910,2623,3242,2836,3244,2626,2628,3245,2630,3247,3248,2935,3249,3251,2635,
3031,3252,3131,3253,2644,3255,3256,2646,3258,2830,2650,2651,2988,2654,3262,2656,2657,2659,2661,3263,3206,2663,2664,2744,3101,
2667,3267,3092,3254,2670,2856,3270,3272,2675,2677,3275,2679,2680,3277,2682,2683,3279,3280,2708,3281,2688,3283,3284,2691,2694,
3026,2699,3288,3289,2701,2976,3291,2703,3293,3223,2705,2706,2707,3296,2709,3297,3299,2712,2714,2715,3302,3119,3303,3304,2720,
3306,3307,2828,2723,3055,2725,3312,2730,3314,2731,2735,3316,3261,2772,2739,2740,3319,3320,2742,2743,3309,2833,3324,2747,3219,
3327,3105,2751,3180,2753,2813,2755,3224,2893,3085,2761,2763,3333,2764,3335,2769,3003,2776,3166,3337,2779,2780,3098,2782,3342,
3000,2784,2838,2786,3077,3345,3346,3347,2793,2794,3351,2898,2797,2799,3353,3354,2802,2804,3047,2812,3358,2808,3359,2810,3150,
2814,3361,2815,2816,3362,2978,3363,2819,2820,2918,3169,2822,2823,3139,3367,2826,3357,3370,3371,2832,3338,3343,2835,3276,3125,
2839,2939,3311,3376,3378,2844,3326,2846,2847,3331,3381,3234,3301,3164,3364,3094,3241,2858,3136,3282,3313,2865,3300,2868,2869,
3385,2870,3386,2872,3079,2874,2876,3390,2880,3393,3209,3239,3395,2884,2885,2906,3399,2887,3402,2889,2890,3403,3404,2896,3406,
3201,3330,2907,2913,3410,2996,2916,3413,3186,2921,2922,3394,2924,2925,3418,2927,3420,2929,3075,3422,2932,2933,3035,3083,2938,
2942,3427,2945,3429,2947,3430,2950,3431,3162,3433,2956,2957,2958,3187,2960,3167,2963,3243,2965,2968,3318,2970,2971,2973,3436,
2974,2977,2979,3004,2981,2982,3441,2984,3444,3445,3063,2990,2995,3448,3372,3450,3002,3452,3453,3007,3308,3008,3454,3455,3011,
3149,3014,3458,3017,3018,3020,3170,3022,3023,3460,3461,3462,3028,3029,3466,3032,3425,3034,3468,3469,3039,3041,3470,3042,3173,
3163,3046,3048,3049,3472,3051,3052,3271,3071,3474,3153,3057,3171,3059,3412,3062,3478,3246,3067,3068,3463,3482,3483,3073,3484,
3157,3076,3486,3487,3202,3160,3489,3088,3471,3090,3336,3095,3146,3492,3411,3494,3100,3147,3493,3106,3107,3108,3499,3500,3501,
3111,3503,3115,3116,3355,3506,3142,3121,3123,3509,3127,3130,3132,3165,3498,3512,3140,3442,3515,3143,3144,3265,3518,3426,3519,
3154,3521,3155,3522,3457,3161,3524,3525,3526,3176,3178,3475,3423,3529,3183,3530,3531,3185,3212,3188,3534,3535,3502,3192,3435,
3536,3194,3197,3198,3541,3200,3407,3481,3544,3205,3340,3315,3208,3546,3547,3449,3548,3215,3550,3217,3551,3220,3388,3553,3292,
3374,3227,3428,3229,3231,3233,3559,3235,3434,3400,3250,3477,3562,3564,3565,3257,3368,3567,3259,3260,3520,3569,3264,3416,3266,
3505,3268,3269,3273,3274,3571,3380,3278,3459,3285,3286,3287,3321,3577,3573,3290,3480,3294,3295,3298,3334,3305,3473,3310,3387,
3583,3437,3317,3586,3467,3408,3322,3323,3325,3580,3328,3329,3507,3332,3589,3591,3339,3344,3341,3495,3593,3594,3365,3348,3349,
3350,3398,3352,3578,3451,3356,3488,3514,3360,3598,3587,3366,3574,3508,3369,3601,3539,3373,3375,3446,3377,3379,3523,3382,3383,
3384,3605,3595,3389,3391,3392,3561,3608,3396,3397,3401,3575,3610,3517,3570,3405,3602,3613,3409,3614,3414,3415,3417,3617,3419,
3421,3619,3424,3596,3597,3606,3557,3609,3432,3621,3532,3438,3592,3439,3440,3623,3443,3568,3447,3540,3456,3620,3465,3513,3537,
3626,3464,3504,3603,3485,3588,3615,3476,3631,3585,3479,3511,3581,3490,3604,3491,3563,3496,3497,3528,3554,3555,3510,3635,3633,
3516,3542,3579,3590,3527,3556,3607,3533,3558,3538,3636,3612,3543,3545,3582,3630,3549,3632,3552,3572,3560,3640,3566,3641,3642,
3576,3644,3634,3638,3616,3584,3618,3600,3628,3599,3611,3645,3629,3639,3622,3624,3625,3643,3627,3637,3648,3647,3646]
,\[
2,4,5,1,8,9,10,3,13,15,16,17,6,19,7,22,24,25,27,28,29,11,31,12,33,
34,14,37,39,40,36,42,18,45,46,23,20,48,21,51,52,54,55,56,26,59,60,62,63,64,
30,67,68,32,71,73,74,75,35,78,79,38,82,84,85,86,41,89,90,91,43,93,44,96,98,
99,100,47,103,104,105,49,107,50,110,112,113,114,53,117,119,120,122,123,124,57,126,58,128,130,
131,132,61,134,136,137,139,140,141,65,143,66,146,148,149,150,69,152,70,155,156,72,159,161,162,
164,165,76,167,77,170,172,173,80,175,81,178,163,83,181,183,125,185,180,186,87,188,88,191,193,
194,196,197,198,92,201,202,203,94,205,95,142,208,97,211,212,214,215,216,101,218,102,221,222,224,
225,226,106,228,229,108,231,109,233,111,236,237,239,240,241,115,243,116,246,247,118,250,252,253,254,
121,257,259,260,262,235,263,138,265,266,127,269,270,129,273,275,276,278,279,280,133,283,284,135,287,
289,290,292,144,294,296,297,299,300,301,145,303,304,147,307,309,310,312,313,314,151,317,318,319,153,
321,154,324,326,327,328,157,330,158,333,334,160,337,338,340,342,343,344,166,347,348,349,168,351,169,
354,355,171,358,360,311,361,174,364,365,366,176,368,177,323,371,179,373,375,376,182,379,380,184,383,
206,385,187,388,389,390,189,392,190,395,396,192,398,400,401,402,195,405,406,407,409,410,227,199,412,
200,415,417,418,420,421,422,204,425,426,427,207,430,431,209,432,210,435,437,438,439,213,442,444,445,
447,448,449,217,452,453,454,219,456,220,459,460,461,223,464,466,467,469,470,471,473,474,475,476,230,
479,480,481,232,484,485,486,234,488,490,491,492,238,495,497,498,500,501,502,242,281,505,244,507,245,
510,512,513,514,248,249,518,519,251,522,523,525,526,527,255,529,256,531,532,258,535,537,538,423,261,
541,543,544,545,264,548,550,551,552,267,554,268,557,521,559,560,271,562,272,565,566,274,569,571,572,
573,277,576,578,579,487,580,581,282,583,585,586,587,285,588,286,591,592,288,595,597,598,291,601,293,
604,605,606,295,609,611,612,613,298,616,618,359,620,621,302,624,626,627,628,305,629,306,632,633,308,
636,638,639,640,642,643,645,646,647,315,649,316,652,654,655,656,657,320,660,661,346,322,664,665,325,
668,670,671,673,674,329,677,678,679,331,681,332,424,684,685,335,687,336,690,692,693,694,339,696,341,
699,700,701,703,704,705,345,707,709,711,712,714,715,716,350,718,719,720,352,722,353,724,726,493,727,
356,729,357,731,733,735,736,362,738,363,740,742,744,745,746,367,749,750,751,369,752,370,755,756,757,
372,759,760,374,763,765,766,767,377,769,378,771,773,774,775,381,777,382,779,384,782,783,784,386,786,
387,574,790,792,793,794,391,796,797,798,393,800,394,803,805,806,397,809,810,399,812,814,815,817,818,
819,403,821,404,824,826,828,829,830,408,833,834,835,411,836,837,838,413,840,414,843,844,416,847,848,
849,419,852,854,855,856,857,858,860,862,863,865,866,867,428,869,429,872,874,875,877,878,879,433,434,
883,884,436,887,889,890,892,893,440,895,441,898,899,443,902,904,905,446,908,910,911,913,914,450,916,
451,919,920,922,923,455,925,457,927,458,930,931,933,934,462,935,463,937,465,940,942,943,944,468,947,
949,951,952,953,472,956,958,959,961,963,964,965,477,967,478,969,971,972,974,975,482,868,483,979,981,
982,984,985,986,987,980,489,990,992,993,994,995,996,997,494,999,496,1002,1004,1005,499,1008,1010,1011,1013,
1014,1015,503,1017,504,1020,1021,1022,506,1024,1025,508,1026,509,1029,1030,511,1032,1034,1035,1037,1038,1039,515,1041,
516,1043,517,1046,1047,1048,1049,520,873,1053,524,1056,1058,1059,1061,1062,1063,528,1066,1067,1068,530,1071,1073,1074,
1075,533,1077,534,1080,536,1083,1085,1086,539,1088,540,1091,1092,542,1094,1096,1097,1099,1100,1101,546,662,547,1105,
1106,549,1109,1111,1112,1113,1114,553,1117,1118,1119,555,1121,556,1124,1125,558,1128,1129,1131,1132,1133,561,1136,1137,
1138,563,831,564,1142,1143,1144,567,1146,568,1149,1150,570,1153,1154,1156,1157,1158,575,1161,1162,577,1165,1166,1168,
1169,1171,1172,1173,582,1176,1177,584,1180,1182,1183,1185,1186,939,589,1188,590,1082,1192,1193,1194,593,1196,594,1198,
596,1201,1202,1203,1204,599,1206,600,1209,1210,602,1212,603,1215,1217,1218,1220,1033,607,1222,608,1225,1226,610,1228,
1229,1230,1231,614,1233,615,1236,1237,617,1240,619,1243,1244,1245,622,1247,623,1250,625,1251,1253,1255,1256,1257,1258,
1259,630,1261,631,1263,1264,1265,634,1267,635,1270,1271,637,1274,1276,1277,1278,1279,1019,641,1282,1284,1285,644,1287,
1289,1290,1291,648,1294,1295,650,1297,651,1300,1301,653,1303,1123,1305,1307,1308,1310,1311,1312,658,659,903,1316,1317,
1318,1319,663,1321,1322,666,1324,667,1327,1328,669,1330,1332,1333,1334,672,1337,1339,1340,1341,675,1343,676,1346,1348,
1349,1351,1352,1353,680,1355,747,682,1356,683,1358,1040,1360,1361,1362,686,1365,1366,688,1368,689,772,1371,691,1374,
1376,1377,1378,1076,695,1381,1370,1382,697,1384,698,1387,1170,1390,1391,1392,702,1395,1396,1397,1399,1400,823,706,1402,
1403,1404,708,1406,1407,710,1410,1412,1413,1347,713,1416,1418,1419,966,1420,717,1423,1425,1426,1428,1429,1430,721,1433,
1434,1435,723,1438,1439,725,1442,1444,1445,1446,728,1449,1450,1451,730,1454,1455,732,1457,881,734,1460,1461,1006,1462,
737,1465,1466,1467,739,1469,741,1472,1473,743,1475,1476,1478,1479,1480,1481,748,1484,1486,1487,1489,1490,1492,1493,1494,
753,754,1498,1500,1501,1503,1504,1505,758,1508,1509,1511,1512,1513,761,1515,762,1140,1518,764,1519,1520,1262,1521,768,
1524,1525,770,1527,1529,1531,1055,781,1533,1534,776,1537,1538,1539,778,1541,1542,780,1544,1546,1331,1548,1248,1549,785,
787,1552,788,1554,789,1557,791,1560,1562,1563,1565,1566,795,1174,1569,1570,1571,1572,1573,799,1576,1577,1578,801,1579,
802,1580,804,1582,1583,1584,807,1585,808,1586,1587,811,1589,813,1592,1405,1593,1594,816,1596,1398,968,1598,1599,820,
1602,1603,822,1605,1087,1607,825,1610,1551,827,1613,1615,1616,1617,1618,832,1621,1623,1625,1626,1628,1232,1380,1630,1631,
1632,839,1635,1636,841,1638,842,1640,1642,1643,1644,845,1646,846,1649,1651,1652,1654,1655,1656,850,1658,851,1104,1254,
853,1662,1663,1664,1666,1668,1669,859,1671,861,1674,1676,1677,1678,864,1680,1681,1683,1684,1685,1687,1688,1689,870,1691,
871,1694,1696,1697,1698,876,1700,1701,1703,1704,1705,880,1706,1707,882,1709,1711,1712,1713,885,886,1715,1716,888,1719,
1720,891,1723,1725,1028,894,1728,1729,1730,896,1732,897,1735,1736,1737,900,1739,901,1742,1744,1745,1746,906,1747,907,
1750,1751,909,1754,1756,1757,1591,912,1760,1762,1763,1764,915,1765,1766,1219,917,1768,918,1770,1772,1773,1389,921,1776,
1778,1648,1779,924,1782,1783,926,1784,1690,928,929,1788,1789,1790,932,1793,1795,1796,1797,1798,1799,936,1483,1802,938,
1805,1806,941,1808,1743,1811,1812,1184,945,1814,946,1817,1818,948,1820,1821,950,1823,1804,1825,1826,1827,954,1829,955,
1831,1832,957,1835,1837,1838,1839,960,1842,1843,962,1846,1848,1849,1850,1851,1852,1441,1855,970,1858,1859,1415,973,1862,
1863,976,1865,977,1867,978,1869,1871,1873,1874,1875,983,1600,1879,1880,1881,1882,1883,988,1885,989,1887,991,1840,1890,
1891,1893,1894,1350,1895,1896,998,1898,1899,1000,1901,1001,1904,1905,1003,1223,1907,1908,1007,1910,1009,1913,1915,1916,1917,
1012,1920,1922,1923,1016,1888,1018,1926,1928,1930,1023,1932,1933,1935,1936,1937,1027,1940,1941,1942,1031,1944,1946,1948,1238,
1949,1036,1951,1952,1954,1955,1957,1958,1959,1042,1961,1672,1044,1963,1045,1966,1968,1970,1971,1972,1050,1974,1051,1976,1052,
1979,1980,1054,1357,1057,1984,1986,1987,1988,1060,1991,1836,1246,1383,1064,1993,1065,1995,1997,1787,1999,2000,2001,1069,2002,
1070,2005,2006,1072,2009,2011,2012,1135,2014,2015,2016,1078,1079,2020,2021,1081,2023,1084,1629,1934,2027,2028,2029,1089,1645,
1090,1830,2033,2034,1093,2037,2038,1095,2040,1107,1864,1098,2044,2046,2047,1929,2049,2050,1102,2052,1103,2054,1323,2013,1108,
1639,1927,1110,2059,2061,1994,1448,2063,1115,2064,1116,2066,2068,2069,1120,1296,2072,2073,1122,2076,2077,2078,1126,2080,1127,
2082,2083,1130,2085,2087,2088,2089,2090,2091,1134,2094,1523,2096,2098,2099,1794,1139,1190,1141,2102,2104,2106,2107,1679,1145,
2110,2111,1568,1147,2112,1148,2115,2116,2117,1151,2119,1152,2121,2086,1155,2125,2126,2128,2129,1159,2131,1160,2134,2135,2136,
1163,2138,1164,2141,1731,2127,1167,2144,2146,2147,2148,1675,1175,2151,2153,2154,2155,1178,2156,1179,2159,1181,2093,2163,2164,
2165,2167,2168,1200,1187,2171,2172,1189,2174,2175,1191,2178,2179,1938,2181,2182,1195,2185,2186,1197,2188,2189,1199,1903,2191,
2193,2194,2195,2197,1363,1205,2200,2201,2202,1207,2204,1208,2207,2209,1249,2210,1211,2212,2213,2214,1213,2216,1214,1943,1216,
2053,2221,2222,1526,1221,2223,1781,1224,2226,1822,2227,1227,1854,2230,2231,2232,2234,2235,2236,2237,1234,2238,1235,2241,2243,
2244,2245,2246,1239,2249,1241,1242,2252,2253,2255,2256,2258,2259,2260,2262,1309,1792,1252,2266,2160,2269,2270,2272,2274,2275,
2277,2278,2279,1260,2282,2124,2284,1753,2286,1266,2288,2289,1268,1702,1269,1924,2294,1902,2295,1272,2297,1273,1275,1574,2299,
1280,1914,1281,1375,1283,2302,1286,2304,2305,1288,2307,1432,1485,1816,1292,1293,2311,1514,2312,2313,1298,1673,1299,2317,2292,
1302,2320,2161,1304,2323,2324,1306,2326,2328,2329,2331,1919,2333,2334,2335,1313,2337,1314,2339,1315,2342,2344,2345,2055,2347,
2349,2350,2351,1320,2354,2355,2356,2357,1325,2359,1326,2362,2364,2365,2366,1329,2368,2332,1388,1335,2371,1336,2373,1338,2376,
1452,2379,2380,1985,1342,2383,2384,2385,1344,2387,1345,2390,2391,2393,2242,2396,2397,2398,2399,1354,2402,2403,2404,2039,2405,
2406,1359,1612,1947,2409,2315,2410,1364,1749,2412,2413,1367,2414,2415,1369,2417,2336,1758,1372,1911,1373,1459,2420,2422,2424,
2425,2427,1516,1379,1622,2429,2430,2431,1385,2291,1386,1977,2435,2437,1722,1393,2438,1394,2441,2442,2443,2444,2446,2447,2448,
1401,2450,2065,2452,2453,2454,2456,2458,2459,1408,1437,1409,1780,1411,2464,2166,2466,1470,1414,2468,2470,2471,1417,2473,2474,
2007,1421,2475,1422,2477,1424,2250,2480,2481,1427,2483,2463,2485,1815,1431,2043,2489,2199,2491,2492,1436,2494,2495,2496,1440,
2499,1857,1443,2501,2502,2208,2504,2505,1447,2507,2509,2510,2338,2512,2513,1453,2514,2133,1456,2515,1458,2518,2519,2520,2521,
1463,2522,1464,2525,1892,1741,2528,2529,1468,1555,2530,2531,1471,2534,2535,1734,1474,2538,2539,2540,1477,2543,2544,2433,2421,
2546,2547,1482,2549,2183,2114,1939,2551,2552,1488,2554,2555,1491,1860,2557,1495,2032,1496,1497,2560,2561,1499,2563,2564,1502,
2567,2569,2570,1637,2527,2571,1506,1771,1507,2400,2575,1510,2578,2290,2580,2582,2583,2584,2585,1909,1517,2586,2588,2589,2132,
1522,2591,2592,2593,1686,1528,2596,2597,1530,2600,1532,2603,2605,2606,2607,1535,1660,1536,2609,2611,2612,2613,2353,1540,1748,
2615,1543,2618,2619,1545,2622,2623,1547,1581,2626,2411,1550,2628,2629,2630,1553,2632,2150,1556,2635,2636,1558,2638,1559,2639,
2640,1561,1918,1824,2643,2644,1564,2198,1567,2113,2220,2646,2045,2649,1845,2650,2651,2177,1575,1962,2654,2656,2657,2659,2660,
2661,2663,2664,1588,1670,2667,1590,2669,2316,2670,1595,1597,2673,2674,2675,2620,1601,2677,2536,1604,2679,2680,1606,2682,2683,
1608,2685,1609,2687,2688,1611,1641,1614,2691,2693,2694,2696,1777,2698,1992,2699,1619,2701,1620,2372,2703,2705,2706,1624,2062,
2707,2708,2709,1627,2497,2712,2714,2715,2004,2717,2718,1633,2720,1634,2506,2723,2036,2340,2724,2725,2727,1973,2449,2556,2503,
1647,2730,2731,1650,2734,2634,2735,1653,2101,2739,2740,2742,2743,2744,1657,1699,2747,1659,2749,2548,1661,2751,2753,2755,1841,
2416,1665,2758,1667,2761,2762,2763,2764,2577,2192,2767,2769,2367,1682,2024,2772,2773,2418,2774,2776,1810,1692,2568,1693,2779,
2780,1695,2782,2784,2786,2787,2486,1809,2788,1708,2790,1710,2793,2794,2440,1714,2797,2798,1717,2799,1718,2802,2804,1998,1721,
2806,2808,1724,2765,2810,1726,2812,1727,2813,2814,2815,2816,1755,1733,2817,2819,2820,2822,2823,1738,2729,2826,1740,2828,2830,
2803,2832,2833,2108,2479,2835,2836,1752,2838,2285,2839,2807,2840,1759,2604,1761,2517,2843,2844,2846,1906,1981,2847,1767,2849,
1769,2851,2587,2225,2143,1989,1774,2853,1775,2562,2856,2858,2695,2526,2831,2862,2120,1785,1786,2865,2268,2868,2869,2870,1791,
2142,2872,2874,2876,1953,2879,2880,2881,1800,1801,2884,2885,1803,2887,2648,2889,2890,1807,2893,2894,2896,2293,2898,1813,2900,
2180,2903,2904,1819,2906,2907,2909,2910,2321,1828,2913,2137,2283,2118,2916,2760,1833,2918,1834,2921,2922,2524,2370,2852,2924,
2925,2030,1844,2927,2756,2929,1847,2932,2933,2935,1853,2375,1856,2938,2939,1861,2941,2942,2716,2565,1866,2944,2945,2672,1868,
2601,2947,1870,2614,1872,2950,2952,2953,1876,2558,1877,1878,2956,2490,2957,2684,2958,1884,2960,2309,2961,1886,2963,2964,2965,
1889,2476,2968,2966,2970,2971,2972,2973,2974,1897,2976,2579,2977,1900,2978,2652,2926,2979,2981,2982,2984,2985,2170,1912,2060,
1950,2988,2542,2990,2318,1921,2766,2829,1925,2837,2995,2996,1931,2999,3000,2574,3002,3003,3004,3006,3007,3008,1945,2901,2031,
2997,2655,3011,2559,2931,3014,1956,3017,3018,3019,3020,1960,3022,2631,3023,1964,2875,1965,2042,2140,1967,3026,1969,3028,3029,
3031,3032,3034,3035,1975,2864,1978,3039,2248,3041,3042,1982,2777,1983,3046,2967,3047,3048,3049,3051,3052,3053,1990,3055,2573,
3057,1996,2576,2097,3059,2949,2737,2541,2003,3062,3063,3064,2461,2008,3067,3068,2010,2770,3071,3072,3073,2825,3075,3076,3077,
2017,3079,2018,3081,2019,2215,3083,2022,3084,3085,2025,2026,3088,3090,2081,2298,2261,3056,2035,2388,2811,2401,2041,3092,2775,
2048,3094,3095,2051,2905,3098,3100,3101,2056,3103,2057,2058,3105,3106,3107,3108,2857,2067,3111,2785,3112,2070,2071,3115,3036,
3116,2074,2627,2075,3119,3120,3121,2079,3123,3125,3030,2867,2084,3127,2738,3130,3131,3132,2092,3135,3136,2095,3139,3140,2392,
3142,3143,2100,3144,2103,2145,2105,3146,3147,2109,3149,2300,3150,2432,3152,3153,3154,3155,2122,3157,2123,3160,3061,3161,3162,
2130,2666,3163,3164,3165,3166,3167,2139,3169,2943,2892,3170,3171,2348,2149,3173,2457,2152,3176,2572,3178,2205,3180,2157,3037,
2158,3183,2946,2162,3185,3186,3187,3188,2319,3191,3192,2169,3194,2733,2653,3134,2992,2173,3197,3198,2176,3200,2395,3091,3201,
2314,2899,2184,3202,2426,2187,2374,2866,2190,2610,2827,2748,2196,3205,3206,2595,3208,2423,2645,3209,2203,2206,3212,2211,2728,
3215,2637,3217,3219,3220,2322,2217,2218,3223,2219,2662,3224,2224,3210,3097,2228,2229,3227,2233,3174,3229,3213,3231,2378,2239,
3233,2240,3234,3043,3235,2247,2251,3239,2841,2254,3241,2888,2257,3243,3242,2264,2594,2263,3246,2265,2689,2267,3250,2381,3110,
2271,2273,2276,2280,3254,2281,2919,3257,2287,3259,3005,3260,2641,3261,2296,3189,2861,3199,2789,2301,2936,3264,3265,2303,3266,
3001,2306,3268,2308,3269,2310,3271,2599,3273,3274,3276,2719,3222,3278,2969,3058,2325,2616,2327,3282,2948,2330,3285,3286,3287,
3033,2871,2341,3290,2771,2343,3292,2697,2346,3117,3294,2692,3295,2352,2809,3298,3300,3301,3275,3045,2358,2360,2361,3012,3305,
2363,3308,3309,3310,2369,3311,3175,3313,2377,3315,3087,2382,3317,2732,3318,2940,2386,3321,3322,3306,2389,3323,3325,3326,2912,
2394,3328,3207,3329,3330,3331,3069,3332,3196,2566,3195,2848,2407,3334,2408,2902,2419,3336,2713,3338,3339,3066,3340,3341,2428,
3343,3148,2795,3344,2434,2994,2436,3348,3349,3350,2439,3237,2895,3352,2445,3355,2704,3356,3357,2451,2487,3253,3040,3360,2455,
2914,2460,3304,3089,2462,2465,3296,3109,3244,2467,3364,3365,3366,2469,3368,3369,2472,2911,2658,3372,2478,3373,3374,2482,2484,
3375,2488,2959,3377,2493,3156,3379,3380,3320,2498,2500,3382,2508,3383,3230,2511,2792,2873,3384,2516,3354,3013,2908,2598,2726,
2523,3158,3027,3387,3168,3388,3389,3391,3392,2532,2533,3394,3396,3397,3398,2537,3400,3401,2962,3358,2759,2545,3113,3405,3407,
2550,2553,3408,3409,3126,3411,3412,3414,3415,2590,3416,3417,2602,3314,2642,3419,3324,3421,2581,3423,3280,3172,3378,3424,3425,
3426,2860,3428,2878,2855,3021,3044,3432,2608,3236,2955,2796,3181,2617,3434,2621,2625,2624,2891,3413,3015,3291,3353,3435,2633,
3437,3438,3420,3439,3440,3060,3442,3443,2647,3446,3279,3351,3447,2676,3449,2665,3451,2668,2986,3124,2671,3221,3410,3456,3232,
2678,3457,2681,2989,3272,3093,2686,3459,3359,2690,3316,3463,3464,3465,2700,3467,2702,3395,2800,3363,2818,3249,2710,3070,2711,
2954,3255,3370,3471,3473,3299,3190,2721,2722,3475,2768,3476,3016,3477,3256,3024,2736,3479,3480,3481,2741,3082,2745,2928,2746,
3485,3436,2750,2752,3488,2754,2757,3251,3129,3490,3281,3491,2778,3493,2781,3495,3496,2783,3497,3216,3393,3498,2791,3133,2975,
3502,3504,3505,2863,2801,3507,2805,3086,3508,3270,3510,3211,3038,2821,3511,3513,3514,2824,3516,3470,3484,3517,2834,3102,3520,
3509,2842,2934,2845,3177,3523,2850,2854,2859,3527,3528,3448,3238,3529,3522,2877,3532,3533,2882,3453,2883,2991,3307,3499,2886,
3537,3538,3539,3540,2993,3542,2897,3543,3545,3009,2915,3078,3466,2917,2920,3362,2923,3549,3345,3122,3546,3552,2930,2937,3554,
3486,3555,3556,3557,3544,3558,2951,3560,3450,3297,3561,3333,3563,2980,3302,3566,2983,3454,3342,3568,2987,3570,3179,2998,3240,
3531,3337,3293,3258,3371,3010,3572,3573,3489,3574,3575,3576,3025,3578,3579,3245,3247,3580,3581,3303,3128,3530,3050,3582,3054,
3584,3214,3585,3065,3587,3159,3458,3564,3455,3074,3226,3588,3080,3283,3590,3452,3592,3096,3577,3099,3444,3104,3525,3595,3390,
3427,3262,3596,3114,3248,3487,3118,3284,3597,3599,3137,3547,3138,3600,3503,3141,3145,3602,3518,3151,3593,3500,3603,3604,3347,
3551,3606,3586,3182,3607,3267,3184,3346,3403,3609,3559,3193,3611,3534,3571,3612,3550,3203,3565,3204,3218,3615,3616,3594,3406,
3618,3589,3483,3225,3501,3228,3620,3562,3614,3622,3327,3431,3252,3553,3430,3619,3567,3624,3535,3263,3404,3277,3482,3610,3625,
3627,3628,3288,3289,3623,3629,3630,3613,3312,3632,3386,3319,3506,3422,3335,3492,3591,3633,3418,3399,3515,3376,3634,3361,3367,
3621,3519,3381,3635,3548,3385,3472,3583,3569,3460,3402,3637,3608,3536,3512,3605,3638,3526,3441,3429,3639,3433,3468,3445,3461,
3643,3462,3494,3469,3474,3640,3478,3521,3636,3524,3598,3541,3646,3601,3644,3641,3626,3642,3631,3647,3617,3648,3645]
>;
print "Group G is U3(8):6 < Sym(3648)";