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