PermutationGroup<2400|
\[2,4,6,1,9,11,13,15,17,19,3,22,24,26,28,30,5,33,35,37,
39,41,43,7,46,48,50,8,53,55,57,59,61,63,10,66,68,70,72,
74,12,77,79,81,83,85,87,14,90,92,94,96,98,100,16,103,105,
107,109,111,18,114,116,118,120,121,123,20,126,128,130,21,133,
135,137,139,141,143,23,146,148,150,152,154,25,157,159,161,
142,164,166,27,169,171,173,175,177,29,179,181,183,185,187,
189,31,192,194,196,32,199,201,202,204,206,208,34,211,213,215,
217,36,220,222,224,226,228,230,38,233,235,237,239,241,243,40,
246,248,250,252,253,42,256,258,260,262,264,266,44,268,270,
272,45,275,277,279,281,283,285,47,288,290,292,294,49,297,299,
301,303,305,306,51,309,311,313,52,316,318,125,321,323,54,326,
328,330,332,334,56,337,339,341,343,345,216,58,349,351,163,
354,356,358,60,360,362,364,366,62,369,371,373,375,377,379,64,
381,383,385,65,388,390,392,394,67,397,399,333,178,403,69,406,
408,410,412,414,416,71,419,421,423,425,427,73,430,432,434,
436,438,168,75,441,443,445,76,448,450,452,89,455,78,458,460,
462,464,465,80,468,470,472,474,476,82,479,481,483,485,487,
489,84,492,494,496,498,500,86,503,505,507,509,511,295,88,515,
444,518,197,521,523,525,527,91,529,531,533,247,286,93,495,
537,539,541,543,95,546,547,549,550,552,554,97,557,559,99,561,
563,565,567,569,570,101,573,575,577,102,580,581,582,584,586,
588,104,590,592,488,595,597,106,585,601,603,605,607,108,263,
611,613,614,110,617,378,214,112,346,622,276,113,626,628,630,
632,634,635,115,638,640,642,644,646,117,200,650,652,359,653,
119,656,193,658,660,662,664,666,667,122,670,671,673,675,677,
404,124,681,683,684,417,687,689,691,693,127,402,697,699,690,
396,129,703,705,227,708,710,712,131,715,717,719,132,721,723,
724,726,728,729,134,732,734,736,738,740,136,743,745,747,749,
138,162,752,754,755,140,278,759,760,762,764,589,739,768,439,
606,771,144,774,776,777,145,352,602,782,783,785,147,788,790,
792,149,795,797,799,773,506,310,151,497,806,808,810,812,153,
815,363,817,819,449,822,155,170,735,827,156,828,830,832,591,
835,837,158,271,304,772,843,845,160,816,849,851,624,854,838,
856,857,859,289,862,864,866,165,869,871,873,769,534,167,878,
880,789,883,463,886,888,890,884,172,791,480,895,841,846,174,
900,902,904,906,176,908,910,912,914,916,917,919,921,923,925,
180,928,668,376,932,934,182,937,939,941,943,944,184,374,947,
899,950,225,186,954,956,698,361,188,959,960,962,964,598,190,
657,968,191,720,679,502,974,975,977,979,981,955,195,259,984,
733,437,988,990,992,198,994,996,997,999,1001,970,1003,722,203,
499,291,1007,1009,1011,205,1014,713,1016,1017,1018,207,1021,
1023,1025,1027,1029,209,1032,576,1035,210,1015,566,1039,1040,
1041,212,596,1045,1047,1048,1049,1050,1052,1054,982,1056,1058,
218,1060,1062,1063,219,1065,324,1068,1070,221,1073,1075,1077,
413,1080,223,661,344,1085,1059,1087,1088,409,1091,1057,398,426,
1094,232,229,1098,1099,1101,1103,701,231,336,1108,1030,1111,
1112,1113,1115,234,1117,1110,1119,1121,236,1124,1126,367,1129,
887,1131,238,1133,1135,651,688,1138,240,1141,1142,1143,1144,
242,1044,751,1137,958,1148,244,280,744,1152,245,257,609,1157,
1159,457,435,1162,540,249,1166,1168,969,1171,251,877,1174,1176,
814,1179,1180,254,1183,1184,255,1187,1188,978,1178,1192,1194,
300,504,820,1196,1182,839,516,261,536,1203,961,829,1207,1209,
265,1212,1214,989,1155,1218,530,267,818,802,672,1223,1225,1227,
269,823,1231,1233,1235,473,1238,1240,1242,273,1245,1247,1249,
274,1250,1251,1252,1051,342,1255,1146,542,1046,459,865,1261,
1263,1139,545,1267,482,623,1271,282,1165,1156,1275,794,284,725,
770,1278,461,1281,825,1282,287,1285,1287,312,1289,1291,1293,
1295,1297,1299,1301,775,1303,293,1306,1308,1310,1312,867,1314,
1315,296,1145,1319,1321,1323,1324,1181,298,1274,1326,1328,1259,
1330,1286,1333,1334,302,1337,1339,1150,746,1341,307,422,1344,
1345,308,1298,702,761,1349,1351,1353,1355,1357,1359,1361,1363,
314,1366,315,855,1370,1013,1305,1374,317,1377,1379,1381,1383,
1128,319,1386,1388,320,1390,1392,1364,322,643,1394,1396,709,
1398,1399,631,1401,325,1403,1405,1407,704,327,636,1411,1413,
1414,1416,329,1419,1421,1423,331,1382,1427,1428,1430,1431,1433,
335,1435,1436,1437,433,1439,338,1441,454,1443,340,1089,1447,
1448,1210,1451,1452,1454,1455,1457,1459,1460,1461,347,1270,466,
1253,348,1466,1467,350,868,1470,748,1472,1462,353,1476,1477,
1479,355,682,1482,1484,1083,357,918,1487,1488,1489,1491,966,
963,1495,1497,365,1500,1356,1465,1424,1505,1507,930,368,1510,
1512,1514,370,1517,938,1519,1352,1521,372,1524,1526,1516,1528,
1241,1531,711,924,1535,1536,1429,1539,1540,1542,1543,1544,431,
380,491,382,1490,1513,384,756,593,1545,386,1280,387,1550,678,
400,1551,931,389,1554,1555,391,1558,1560,1562,1563,393,1565,
1566,793,1569,395,1570,1572,1232,1575,1576,1577,1579,1580,727,
1581,1105,995,401,1585,1586,1518,1588,1107,405,879,1591,1593,
1336,407,1596,1246,842,1598,1599,1508,1601,1602,411,1603,1604,
696,892,415,1606,936,1608,1610,1485,418,1422,927,1614,1616,
1034,1619,420,1622,1624,1626,1628,1630,1632,1634,1636,424,1639,
1641,621,1160,1644,428,836,429,1084,821,490,1347,608,1650,535,
1652,1449,1653,1440,1284,501,1211,1149,1657,824,1173,440,852,
1660,1662,987,1444,442,1665,1667,730,1651,1277,446,1661,447,
1672,1463,1674,1675,1190,478,451,893,1679,1681,1538,453,1442,
870,1685,1686,840,456,1257,508,1689,1468,1217,1693,875,1695,
1530,1697,1699,860,1702,1350,467,594,741,1493,1707,469,1256,
1710,1548,471,1654,1368,1243,1713,834,1320,475,1716,1272,1719,
980,1534,477,1724,1725,1365,1728,1729,1731,1733,1735,1492,641,
1738,1739,1741,1742,694,484,1744,1746,1453,486,1647,1229,1751,
512,1494,1677,1755,1201,1450,493,1464,798,1760,1669,1123,1764,
1765,1767,765,780,796,1772,1774,1776,1778,1161,517,1782,1784,
1193,1102,1574,787,1787,753,510,1790,1792,1649,1795,1797,513,
1343,1800,1802,514,1643,1163,1805,1807,1809,905,1496,553,519,
1813,1684,1816,520,1226,1206,1358,522,1821,1823,1748,1706,524,
1828,861,1812,985,526,1770,528,1833,1835,1597,1837,1838,1840,
532,1095,1609,692,1605,1843,1844,1766,1845,1847,1848,538,1850,
1851,1676,1668,1854,1620,544,637,1858,1859,1861,627,1864,1629,
578,1867,548,1870,1796,1872,1874,1876,1857,1879,1881,551,1884,
1122,1885,1865,1887,1132,1890,1892,555,1894,1834,1688,556,1896,
929,558,1898,1000,1592,1901,1541,560,1824,562,1012,1712,1832,
564,1385,1908,1061,1486,1909,1410,568,1019,1910,1400,1911,1417,
571,1888,1611,572,1367,1915,1404,1747,574,1893,1839,1637,1920,
907,1556,1134,1720,579,1924,1926,1927,1546,1537,1042,604,583,
1929,1931,587,1933,779,1934,1006,1935,1937,1938,1005,1940,737,
1458,750,619,811,1943,1944,1547,1946,1260,599,600,1949,786,766,
1951,1395,659,1945,1658,1956,1648,1958,610,1752,1360,1959,1962,
612,1965,1966,1553,1402,615,1002,616,1902,1481,618,1483,620,
654,1968,804,784,1215,625,1759,1972,1974,1533,1977,1571,1979,
1981,1982,629,1983,645,1086,1532,633,1986,1406,655,1942,1990,
700,1992,685,1993,1995,1594,1996,1997,1999,1236,639,1914,2001,
1612,778,2003,2004,2006,2007,1970,2008,953,763,647,648,2011,
649,1434,2013,2010,2014,1642,1199,1527,686,663,2017,1587,665,
2020,2021,2002,2024,2025,2026,2027,669,1917,2030,2031,2033,2034,
1777,2036,1817,1862,674,2041,1936,2043,676,1984,1646,2005,998,
680,1561,2048,1932,965,2050,1480,2016,2052,1340,2054,2055,2056,
1026,2058,1737,1950,695,1878,2061,1985,1093,1897,707,881,1671,
2063,2064,1955,706,940,2067,2068,1372,1923,1266,1880,2038,2073,
1208,2039,2075,1975,915,2047,714,2079,2080,1313,716,1973,1376,
2086,718,1292,1426,1120,2090,1960,1354,731,1456,891,2094,2095,
2096,813,986,2098,1158,1954,2100,2102,2103,1673,1939,742,1198,
1265,2107,2108,831,1475,2111,1793,1239,2113,2114,1659,2117,1114,
2019,1705,757,758,1147,1195,1806,2119,2121,1928,1205,1273,858,
1700,767,1768,948,2126,2127,2128,2130,2131,2133,2135,2136,2138,
2140,1682,1191,2143,781,1573,1891,1655,2147,1749,1756,2123,2149,
2150,926,2152,2153,1438,1311,2155,1906,2156,949,2158,2160,1783,
1078,800,1638,1842,801,1525,2062,2166,1397,803,2169,1666,2109,
1100,805,1221,2172,2174,807,2115,2176,1520,809,1785,2049,1213,
2177,2178,1825,1704,2180,2182,2183,1819,1469,1304,2185,2186,
2187,2188,826,2190,1590,2191,2193,1827,2141,1680,1683,1618,872,
1316,833,1953,2200,1503,1589,2201,2202,2204,1055,1418,2157,844,
1645,2112,2206,1971,847,1169,2181,848,901,1635,1799,2210,850,
2194,1820,2151,2213,2139,2215,853,2217,2219,2220,1393,1849,2221,
2223,1961,2168,1076,2226,2228,1296,863,1740,1775,1811,1473,2144,
1930,1224,1761,2233,2235,1732,2211,913,874,2163,876,2105,945,
2240,1998,2242,2189,882,885,2245,2247,1294,1322,889,2104,2224,
2218,894,2040,1471,1415,896,1640,2091,897,1501,1617,898,909,
1836,1474,1736,2254,2255,1919,922,1498,1234,1808,903,2251,1104,
1220,1863,2134,2260,1621,2173,2081,2099,2264,2265,2266,911,1753,
2122,2250,2209,2241,2268,1109,1900,2271,1387,920,1118,2257,2273,
1714,2261,2110,1408,933,935,2276,1987,1860,1549,942,2278,1069,
1623,2280,946,1976,2282,2044,1038,2283,951,952,1186,957,1769,
1715,2287,1154,1189,1167,1283,2018,2288,1947,967,2289,1020,971,
972,983,973,1656,1696,976,1329,1262,2225,1568,1172,1335,1758,
1502,1856,1663,1136,2162,991,2125,2232,2294,993,2270,1004,2236,
1036,2195,1008,2295,1873,1918,2298,1010,2281,1957,2161,1779,
2300,2302,1081,1106,2087,2304,1899,2116,2053,2060,1022,1024,
2307,1745,2274,2216,2308,1028,1989,1031,2256,1033,1509,1082,
1499,1230,1037,2309,1053,1391,1600,1043,1432,2303,1092,2310,
1445,1177,1064,1425,2222,2312,1066,2076,1067,1582,2046,2084,
2314,1071,2239,1072,2037,1818,1074,1567,1773,1883,2319,1703,
1789,1079,1615,2269,2284,2321,2311,1317,1090,2069,1780,1515,
1096,1389,1097,2325,2326,1694,2327,2012,2093,2106,1116,2101,
2328,1529,2330,2331,1750,2332,1904,1125,2293,1127,1559,2009,
2231,2337,1130,1373,1794,2078,2262,2338,2339,1511,1869,2340,
1726,1913,1711,1730,1140,1788,1578,2032,1290,2227,1151,2290,
1153,1219,1346,1331,1607,1164,1175,1868,2267,2238,2042,1170,
1348,2237,2000,2342,2343,1185,1803,1771,1378,2345,2199,2346,
1197,2179,2347,2348,2349,1200,1895,2059,1369,1202,1948,2146,
1204,1300,2353,1325,2159,2355,2244,2356,2192,1318,2248,1216,
2092,2120,1222,1905,2253,2171,1228,2360,2259,2361,2234,2364,
1815,1866,1964,1810,1237,2365,1309,2362,1941,1717,1822,1371,
1244,2368,1248,2070,1254,1690,2371,2082,1258,1708,2207,1264,
1829,2322,2292,1338,1268,1269,2137,1687,2350,1791,2074,2291,
2357,2363,1276,2335,1279,2359,1723,2129,1288,2208,2184,1380,
1798,1327,1814,2378,1916,1678,1523,1875,2305,1302,2165,1307,
2376,2212,2354,2382,2035,1886,1757,2383,1978,2083,2164,2285,
1722,2379,2377,1743,1664,2097,1332,2132,1727,2118,1826,2375,
1877,1342,2286,2351,1420,2246,2197,2316,2088,1362,1557,2352,
2324,1721,2386,1718,2029,2023,1375,1412,2387,1907,1384,2313,
2388,1988,2089,2072,1522,2015,1409,2390,2214,2071,1871,2230,
2344,2392,2028,1830,2148,1584,1446,2170,2065,2252,1763,2196,
1478,1631,2393,2315,1921,2296,1504,1994,1506,2275,1912,1853,
2277,2301,1841,2077,1552,1583,2263,2045,1564,2394,2154,2395,
2333,1855,2396,1625,1762,2066,2369,2385,1595,1991,2323,2317,
1613,2051,2279,2391,2203,1781,2320,1627,2398,1633,2272,2249,
1670,2243,1922,1709,1963,1691,2205,1692,1801,2341,1903,1698,
1852,1701,2367,2373,2374,2334,1786,2142,1734,2124,1980,2370,
2175,2145,2366,2258,2167,1754,2380,2198,2389,1846,2022,1969,
1804,1831,2384,2400,1952,2399,2372,2057,1882,1889,1967,2358,
2306,2318,1925,2299,2297,2329,2336,2381,2085,2229,2397],
\[3,5,7,8,10,12,14,16,18,20,21,23,25,27,29,31,32,34,36,
38,40,42,44,45,47,49,51,52,54,56,58,60,62,64,65,67,69,71,
73,75,76,78,80,82,84,86,88,89,91,93,95,97,99,101,102,104,
106,108,110,112,113,115,117,119,105,122,124,125,127,129,131,
132,134,136,138,140,142,144,145,147,149,151,153,155,156,158,
160,162,163,165,167,168,170,172,174,176,24,178,180,182,184,
186,188,190,191,193,195,197,198,200,135,203,205,207,209,210,
212,214,216,218,219,221,223,225,227,229,231,232,234,236,238,
240,242,244,245,247,249,251,159,254,255,257,259,261,263,265,
267,166,269,271,273,274,276,278,280,282,284,286,287,289,291,
293,295,296,298,300,302,304,301,307,308,310,312,314,315,317,
319,320,322,324,325,327,329,331,333,335,336,338,340,342,344,
346,347,348,350,352,353,355,357,248,359,361,363,365,367,368,
370,372,374,376,378,380,133,382,384,386,387,389,391,393,395,
396,398,400,401,402,404,405,407,409,411,413,415,417,418,420,
422,424,426,428,429,431,433,435,437,439,440,266,442,444,446,
447,449,451,453,454,456,457,459,461,463,455,466,467,469,471,
473,475,477,478,480,482,484,486,488,490,491,493,495,497,499,
501,502,504,506,508,510,512,513,514,516,517,519,520,522,524,
526,528,496,530,532,330,481,534,535,536,538,540,542,544,545,
423,548,1,551,553,555,556,558,345,560,562,564,566,568,233,
571,572,574,576,578,579,487,81,583,585,587,589,430,591,593,
594,596,598,599,600,602,604,606,608,609,610,612,139,615,616,
341,618,619,620,621,623,624,625,627,629,631,633,390,636,637,
639,641,643,645,647,648,649,651,450,652,654,655,657,288,659,
661,663,665,419,668,669,30,672,674,676,678,679,680,682,285,
685,686,688,690,692,694,695,696,698,438,700,701,702,704,706,
707,709,711,713,714,716,718,2,720,722,492,725,727,509,730,
731,733,735,737,739,741,742,744,746,748,750,751,543,753,406,
756,757,758,507,761,763,765,766,767,754,769,770,772,773,775,
547,778,779,780,781,521,784,786,787,789,791,793,794,796,798,
800,801,802,803,804,805,807,809,811,813,814,816,445,818,820,
821,823,824,825,826,28,815,829,831,833,834,836,838,839,840,
841,842,844,846,847,848,850,852,853,642,855,61,858,860,861,
863,865,867,868,870,872,874,875,876,877,879,881,882,884,885,
887,889,891,892,893,894,175,896,897,898,899,901,903,905,907,
59,909,911,913,915,381,918,920,922,924,926,927,929,930,931,
933,935,936,938,940,942,15,916,945,946,948,949,951,952,953,
955,957,656,958,605,523,961,963,965,527,966,967,969,970,971,
972,973,759,976,978,980,782,982,303,983,985,986,987,989,991,
4,993,995,962,998,1000,1002,734,843,1004,1005,1006,806,1008,
1010,1012,1013,999,1015,996,57,1019,1020,1022,1024,1026,1028,
1030,1031,1033,1034,1036,1037,448,1038,468,981,1042,1043,1044,
1046,161,968,434,1051,1053,788,1055,1057,588,1059,1061,154,828,
1064,1066,1067,1069,1071,1072,1074,1076,1078,1079,1081,1082,
1083,1084,256,1086,525,1089,1090,1092,1093,1045,812,1095,1096,
1097,11,1100,1102,1104,1105,1106,1107,1109,1110,464,941,1114,
1116,697,107,1118,1120,1122,1123,1125,1127,1128,356,1130,201,
1132,1134,1136,511,1137,1139,1140,311,533,505,1145,601,1146,
1147,173,871,1149,1150,854,1151,1153,1154,1155,1156,1158,869,
1160,1161,1163,1164,1165,1167,1169,1170,1172,1173,561,1175,1177,
1178,529,1181,1182,856,1185,1186,752,1189,1190,1191,1193,880,
546,1195,886,1197,1198,1199,1200,1201,1202,1204,1205,1206,1208,
1210,1211,1213,1215,1216,1217,537,1219,518,1220,1221,1222,1224,
1226,1228,1229,1230,1232,1234,1236,1237,1239,1241,1243,1244,
1246,1248,6,732,541,1180,1253,1254,859,1256,1257,1258,539,1259,
1260,1262,1264,1265,1266,1268,1269,1270,1272,785,1273,1274,1276,
862,890,1277,792,1279,1280,19,1035,1283,1284,1286,1196,1288,
1290,1292,1294,1296,1298,1300,1302,1101,1304,1305,1307,1309,
1311,208,1313,114,1316,1317,1318,1320,1322,1207,1321,912,1325,
1077,1327,1329,925,1331,1332,130,1335,1336,1338,392,1235,1340,
640,1342,1343,217,1346,1347,1348,1099,673,1350,1352,1354,1356,
1358,1360,1362,1364,1365,1367,1368,1369,1371,1372,1373,1375,
1376,1378,1380,1382,1384,258,1385,1387,1138,1389,1391,1344,111,
1126,1393,1395,1397,46,202,1400,148,1402,403,1404,1406,1408,
1409,397,1410,1412,1388,1415,1417,1418,1420,1422,1424,1425,1426,
573,1429,297,1432,1434,441,1192,1289,1438,476,270,1440,1214,
1442,1444,1445,1446,1166,1449,1450,220,1453,1271,1456,1458,494,
1261,1462,1463,1314,1464,1465,443,483,1468,1223,1469,1471,1291,
1473,1474,1475,1381,1478,1480,582,1481,1483,1485,1486,726,1250,
294,1466,1490,1492,1493,1494,1496,1498,1499,1501,1502,1503,1504,
1506,498,1508,1509,1511,1513,1515,1516,1062,1518,283,1520,1522,
1523,1525,224,1527,1529,1530,1532,1533,1534,1377,1537,1538,250,
1541,1188,768,503,1545,1546,1547,977,1437,1251,500,1472,292,
1548,1194,9,1549,622,603,264,1552,474,1553,1052,1556,1557,1559,
1561,1383,1564,1238,638,1567,1568,213,366,1571,1573,1574,1401,
87,1578,738,299,1461,1582,1583,1584,1455,822,1587,1539,607,
1179,1589,1590,1592,1594,1595,1528,712,900,1597,1058,974,1600,
1580,819,1041,783,1439,954,1605,412,667,1607,1609,1611,956,
1612,650,1613,1615,1617,1618,1620,1621,1623,1625,1627,1629,1631,
1633,1635,1637,1638,1640,1642,531,1643,776,1467,1645,1646,1647,
1648,1281,394,1649,228,1651,693,1392,1654,1655,1301,1312,1656,
321,1457,1658,414,1659,1070,1661,1263,1663,1664,1470,1666,1668,
1669,1670,1671,569,923,1447,1673,1326,883,1293,719,1676,1677,
1678,1680,1682,1297,988,1683,1684,634,1184,1687,1152,1565,1688,
1690,1691,1692,1341,1694,1696,123,1698,1700,1701,1703,1704,1705,
1650,1706,799,1708,1476,1709,328,1711,313,552,1712,1009,1714,
1715,1634,1275,1717,1718,1720,1721,1722,1723,1710,1726,1727,
1608,1730,1732,1734,1736,1737,1330,1566,1740,17,1421,1743,1247,
1745,1747,771,1748,1749,1750,849,1752,1753,1754,1756,1124,1757,
1758,1619,1759,1761,1762,1763,1524,1766,1768,1769,1770,1771,
1773,1775,1777,1779,1780,1781,1783,1785,554,1786,563,827,1788,
1789,777,1791,1793,1794,1796,1689,1798,1799,1801,1803,1728,710,
1804,1806,1808,1810,1811,1630,1812,1133,1814,1815,13,873,1817,
1818,1819,1820,1822,1824,1825,1826,1827,1829,37,1667,1707,1830,
1831,1832,1834,1836,1414,1025,1839,1695,1115,1841,1593,1242,
1842,1562,1021,235,1846,1379,1131,1849,550,1852,1853,1359,1855,
1816,1856,1857,1249,1860,1862,1863,1865,318,1866,1868,1869,1871,
715,1873,1875,1877,1878,1880,1882,1883,358,1039,1886,185,1888,
1889,1891,1893,1870,1895,549,1894,646,157,1897,590,290,1899,
1900,1902,1159,717,1903,1904,1905,1906,1907,241,1487,460,864,
1183,1575,1433,337,1459,137,984,939,1482,192,721,1912,1913,
1914,1586,146,1916,1917,1918,1919,1484,1921,26,1922,928,1337,
1923,1925,150,724,1252,1928,472,1287,1310,1930,1850,1932,1255,
749,1231,1477,1936,272,1939,1699,878,1941,904,1942,1460,1142,
1934,1945,1333,1947,1948,1141,1319,1795,1950,1776,1952,1953,
1764,1954,1955,1957,373,1765,1959,1960,1840,1961,1963,1964,1809,
1431,835,774,740,790,349,1967,1162,1441,1285,1454,611,1784,577,
1951,1969,1970,1971,1973,1975,1976,1500,1978,1980,1007,1176,379,
436,1984,1187,1599,1985,1987,362,1988,1989,399,1991,334,1926,
1994,586,1993,810,1998,2000,1555,1411,1001,2002,1536,1514,388,
2005,1884,63,1135,1087,2009,2010,1436,959,171,2012,845,1585,
1240,1938,1652,1746,2015,385,2016,764,2018,2019,902,2022,2023,
152,1588,50,2028,72,2029,92,2032,211,1016,2035,2037,2038,2039,
2040,1366,2042,2044,2045,1937,1324,1908,2046,2047,268,1686,306,
2049,2051,1144,743,2053,2052,595,243,2057,1111,1733,2059,1098,
2060,1050,1212,2011,1644,1435,351,1997,2062,1065,1660,2065,2066,
728,1624,2069,2017,305,2070,2071,2072,1724,2074,77,2076,2027,
164,2077,2078,1399,2081,2082,2083,2084,2085,2087,2088,1361,1558,
2089,2091,2092,1521,837,1174,2093,745,1094,795,1772,2097,316,
2099,237,2101,2003,2104,1685,2105,797,703,2106,932,2109,1702,
2110,691,100,2112,1119,2115,2116,1394,2117,1792,1774,1491,1931,
2118,53,1778,2120,2122,1157,1716,1977,2123,2124,1278,1315,2125,
2090,944,2129,1741,2132,2134,177,2137,2139,22,2141,2142,2144,
2145,1965,2146,1227,666,1881,2148,1679,230,947,2151,1713,2154,
1885,1495,1233,1797,2157,2056,2159,2161,2162,2163,2164,1995,
1517,2165,708,1872,2167,2168,126,1610,2170,2067,1355,2119,2171,
2173,1419,1032,2175,1915,1108,1767,2166,1935,1535,1833,1828,
2179,910,2181,1497,2184,2031,1396,1295,1632,1876,2128,1569,2189,
416,937,2192,2194,2195,1981,2196,2197,2158,626,1760,2198,2199,
2036,2172,1729,2177,2203,1892,2058,1075,934,2100,2205,1847,2207,
2208,2147,70,2201,2209,1357,2021,68,1374,204,2034,2211,2212,
1755,2214,2153,2216,2218,1990,2140,613,635,2222,1996,2193,2224,
2225,2227,2229,1719,1570,2230,2183,2231,1874,2187,1628,1890,
2232,2234,371,2236,1636,2237,2238,919,2239,1596,565,2241,1103,
2054,2243,2244,1353,2246,1813,2248,1697,2249,2250,1560,1303,
1725,2086,2219,687,1245,2251,1551,2252,1505,2253,66,2004,410,
921,2024,2135,2256,383,2257,1614,1999,670,2258,189,1003,2259,
118,206,2261,2262,2263,181,1606,1901,2013,2050,2267,33,914,
1982,2103,332,2269,2270,1054,1946,1943,960,470,2272,377,375,
2255,2215,169,2274,2275,1992,830,2277,246,1576,2279,614,143,
1386,2281,2030,1390,458,1543,979,2284,1674,1662,2285,2286,121,
1968,1929,1956,1427,1653,462,2098,1858,2095,2133,2064,2178,309,
1299,1665,1027,35,992,2290,1011,2291,632,2020,575,2292,2226,
2242,2293,808,857,2254,888,2130,1029,485,851,1807,1782,2221,
1800,199,2296,83,2297,2299,2073,2268,369,660,1572,2301,2303,
1944,196,1143,1672,1323,2305,1023,1544,2306,253,1048,1986,1554,
2107,559,2276,1068,1398,1040,103,1604,1542,630,1802,262,1171,
1267,260,1168,2096,866,1681,94,2311,760,990,1282,2266,699,597,
2300,1924,452,2287,1675,2313,2315,2245,2176,2316,2317,1735,2318,
1896,2188,1966,2282,1639,1864,2320,1657,2014,2288,2061,1787,
1962,275,2271,2322,1591,2323,592,2324,1579,2180,2185,1452,832,
2247,2114,705,2190,1602,2329,1927,975,2121,997,2333,2334,2335,
85,2336,1448,2025,239,120,2169,2182,2330,2307,1581,584,1898,
1531,432,2325,580,2131,1790,479,183,1148,2150,2341,1334,943,
2217,1845,2228,39,1693,421,689,2102,2280,1731,567,1129,2342,
2126,2339,1805,1920,98,1835,2344,2345,41,2278,1958,1626,2294,
2191,408,323,1859,1844,1056,1972,2350,2351,1306,2352,2343,1739,
2354,2152,128,222,1911,2111,2295,2138,116,2108,2001,2338,2357,
2358,43,2359,2149,1117,1017,2362,2363,187,109,1909,1742,671,
2156,2366,1563,1598,1616,2367,2075,2340,1738,194,2369,2370,2233,
2326,1851,2372,2007,1848,1974,1308,2127,2308,2373,2213,2347,908,
2337,2160,2374,2080,1370,2356,2155,2375,2200,2273,2041,2376,
2377,2289,2210,2079,354,1203,1345,1363,1080,906,644,2379,1113,
2353,2380,2063,2378,2381,339,1091,1507,2006,226,570,96,662,
2008,48,1744,2260,2143,2364,2384,2223,2348,2174,1837,1510,677,
1351,2220,2385,1601,2186,1821,55,2068,1910,2204,1479,1339,1121,
617,1540,664,2355,1328,2346,281,653,2328,1047,2043,2033,755,
279,1940,1225,2304,2389,683,2283,675,90,2391,1983,74,2026,343,
1443,1949,364,2386,736,1451,1423,1526,2319,2235,1349,1843,79,
1088,1933,252,2331,1577,729,1603,2048,489,1854,2394,658,1405,
515,2309,1218,723,2094,2321,1488,2314,2396,994,2397,1209,2392,
1112,1049,1085,1550,2383,427,1489,1430,1063,1641,2312,2393,2398,
1979,2388,215,581,1407,964,895,1861,2399,1413,1073,2206,326,
2240,2349,2332,2371,2302,557,2395,2113,2360,628,917,2368,684,
179,1403,1838,2264,2387,2055,1867,2265,1428,2400,2136,1622,1823,
360,1416,1512,1879,2202,2361,1014,2390,2382,1887,2298,2327,2365,
1519,817,425,762,141,1751,277,465,2310,747,950,1060,1018,681]
/*order=3628800=2^8*3^4*5^2*7*/>
