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

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