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