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

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