/*
www-ATLAS of Group Representations.
S6(3):2 represented as permutations on 3640 points.
*/

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