/*
www-ATLAS of Group Representations.
S8(3) represented as permutations on 3280 points.
*/

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