bin1 := (2,4)(5,9)(8,13)(10,17)(14,23)(18,29)(19,31)(24,38)(26,40)(30,46)(32,49)
     (34,52)(41,62)(47,70)(50,74)(53,78)(60,77)(63,90)(65,93)(79,109)(80,91)
     (81,112)(82,114)(84,117)(94,130)(101,138)(110,149)(111,151)(113,155)(115,
     159)(118,164)(120,166)(122,154)(128,146)(131,178)(133,181)(139,189)(144,
     195)(150,202)(152,205)(156,210)(157,212)(160,216)(161,218)(162,188)(165,
     224)(167,228)(168,179)(170,232)(172,235)(174,227)(182,246)(190,234)(192,
     257)(207,261)(211,280)(217,286)(219,288)(225,295)(229,301)(230,303)(231,
     305)(233,309)(236,314)(239,277)(243,317)(244,266)(247,326)(248,327)(249,
     329)(250,331)(258,340)(264,346)(271,353)(282,366)(289,375)(291,339)(296,
     382)(302,389)(304,392)(306,395)(307,397)(310,400)(312,403)(315,408)(316,
     410)(318,394)(319,414)(321,417)(322,386)(328,426)(330,429)(332,432)(335,
     436)(341,443)(354,457)(360,448)(365,467)(367,470)(396,504)(401,511)(402,
     512)(409,519)(411,523)(412,525)(415,529)(416,458)(418,534)(419,522)(421,
     464)(425,541)(427,453)(431,482)(433,552)(434,553)(435,444)(437,557)(438,
     559)(440,555)(447,567)(451,571)(460,577)(468,586)(469,584)(473,593)(480,
     589)(489,609)(496,617)(507,629)(513,637)(515,639)(520,646)(524,651)(526,
     654)(527,655)(528,657)(530,660)(531,591)(532,663)(535,667)(537,625)(538,
     572)(540,673)(542,676)(545,614)(549,683)(554,689)(558,695)(560,698)(566,
     703)(568,706)(574,714)(578,719)(581,710)(587,728)(594,734)(600,717)(610,
     732)(618,754)(623,745)(628,762)(630,766)(638,775)(656,797)(661,804)(668,
     811)(669,813)(670,796)(671,815)(672,739)(674,819)(677,824)(679,737)(680,
     789)(681,723)(684,830)(688,716)(690,836)(696,842)(699,845)(700,846)(701,
     848)(702,850)(704,854)(707,858)(708,853)(709,861)(712,865)(713,866)(715,
     868)(720,873)(729,879)(730,880)(733,875)(740,885)(748,895)(755,903)(763,
     912)(765,910)(769,918)(776,925)(777,923)(778,915)(780,867)(792,941)(800,
     950)(805,956)(807,958)(812,965)(816,970)(817,917)(818,973)(820,977)(821,
     979)(825,892)(826,985)(827,967)(828,909)(832,891)(833,889)(834,900)(847,
     1003)(849,1004)(851,1006)(855,1011)(859,1016)(862,1018)(869,1029)(874,
     1024)(881,1041)(884,1039)(887,1032)(888,1048)(890,1031)(893,994)(896,
     1055)(897,1021)(899,1058)(904,1063)(907,1053)(913,1070)(919,1075)(926,
     1083)(928,1061)(942,1095)(949,1101)(951,1105)(957,1113)(968,1125)(971,
     1129)(972,1112)(978,1136)(980,1139)(984,1087)(986,1144)(987,1100)(990,
     1086)(991,1078)(992,1093)(1005,1159)(1007,1161)(1012,1047)(1017,1172)
     (1019,1176)(1020,1163)(1026,1183)(1030,1187)(1042,1199)(1043,1200)(1044,
     1202)(1050,1185)(1052,1209)(1056,1214)(1057,1215)(1059,1217)(1064,1222)
     (1071,1228)(1072,1229)(1074,1224)(1077,1180)(1084,1243)(1085,1233)(1089,
     1247)(1096,1255)(1102,1262)(1104,1261)(1107,1267)(1114,1275)(1115,1273)
     (1116,1265)(1117,1216)(1126,1288)(1132,1294)(1137,1300)(1140,1303)(1142,
     1283)(1145,1309)(1146,1287)(1147,1312)(1149,1281)(1150,1270)(1166,1326)
     (1173,1334)(1177,1339)(1178,1333)(1179,1341)(1184,1346)(1188,1350)(1191,
     1353)(1201,1361)(1203,1365)(1204,1367)(1206,1363)(1210,1372)(1211,1323)
     (1218,1383)(1220,1349)(1223,1378)(1230,1396)(1231,1313)(1232,1394)(1235,
     1386)(1236,1402)(1244,1408)(1245,1385)(1248,1411)(1249,1375)(1251,1414)
     (1256,1419)(1258,1409)(1263,1426)(1268,1431)(1276,1439)(1278,1417)(1289,
     1450)(1293,1453)(1304,1466)(1306,1461)(1307,1465)(1315,1459)(1328,1370)
     (1335,1401)(1342,1495)(1343,1497)(1344,1478)(1351,1505)(1352,1507)(1362,
     1514)(1366,1517)(1368,1467)(1371,1522)(1373,1526)(1376,1530)(1380,1535)
     (1397,1550)(1404,1537)(1412,1561)(1413,1562)(1415,1564)(1420,1462)(1427,
     1573)(1428,1574)(1430,1570)(1433,1532)(1440,1587)(1441,1588)(1442,1578)
     (1451,1598)(1454,1602)(1455,1601)(1456,1597)(1457,1563)(1463,1508)(1468,
     1615)(1473,1621)(1480,1613)(1488,1630)(1493,1635)(1496,1639)(1498,1641)
     (1499,1629)(1502,1627)(1506,1648)(1509,1558)(1519,1660)(1520,1662)(1521,
     1655)(1523,1665)(1527,1670)(1528,1622)(1529,1672)(1531,1675)(1533,1625)
     (1536,1680)(1539,1683)(1540,1617)(1541,1649)(1542,1686)(1551,1693)(1552,
     1695)(1553,1674)(1565,1710)(1567,1647)(1569,1705)(1575,1720)(1576,1652)
     (1577,1718)(1580,1610)(1581,1726)(1589,1732)(1590,1712)(1593,1701)(1599,
     1740)(1603,1746)(1611,1688)(1616,1757)(1618,1756)(1631,1698)(1636,1725)
     (1642,1775)(1643,1769)(1644,1777)(1646,1767)(1661,1786)(1663,1789)(1664,
     1787)(1666,1793)(1673,1801)(1676,1805)(1677,1806)(1682,1764)(1694,1820)
     (1696,1822)(1702,1827)(1707,1831)(1711,1813)(1721,1841)(1722,1819)(1728,
     1834)(1733,1833)(1734,1848)(1735,1849)(1739,1773)(1742,1829)(1747,1858)
     (1748,1859)(1749,1853)(1752,1845)(1754,1780)(1758,1761)(1766,1852)(1794,
     1892)(1799,1895)(1802,1899)(1807,1904)(1808,1890)(1814,1911)(1816,1830)
     (1823,1916)(1824,1900)(1826,1868)(1828,1922)(1832,1927)(1835,1881)(1836,
     1929)(1843,1935)(1850,1942)(1851,1882)(1854,1946)(1860,1949)(1863,1948)
     (1864,1912)(1865,1883)(1869,1919)(1875,1937)(1880,1925)(1891,1921)(1896,
     1966)(1905,1973)(1906,1965)(1907,1974)(1909,1964)(1917,1981)(1918,1980)
     (1920,1983)(1923,1986)(1924,1957)(1930,1953)(1931,1976)(1936,1978)(1950,
     1951)(1955,1992)(1971,1991)(1987,1998)(1990,1997);