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