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