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