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