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