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