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

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