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