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