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