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

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