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