bin1 := (2,4,6)(5,10,12)(8,15,17)(9,18,13)(11,22,20)(16,28,30)(21,27,31)(23,39, 37)(25,33,40)(26,41,43)(29,47,45)(36,44,55)(42,63,65)(46,62,66)(48,72,70) (50,75,76)(51,78,80)(56,85,86)(58,89,69)(61,93,95)(64,98,96)(73,109,107) (77,113,115)(79,118,120)(84,112,114)(87,126,127)(90,130,131)(94,136,138) (97,135,139)(99,144,142)(104,150,151)(106,154,141)(110,160,158)(116,164, 165)(117,167,169)(119,172,170)(122,176,177)(128,182,183)(132,187,188) (133,190,155)(134,192,194)(137,179,195)(145,184,201)(147,205,206)(152, 211,214)(166,226,219)(168,230,232)(171,229,233)(173,237,235)(175,227,240) (186,210,212)(189,251,252)(191,254,255)(193,258,260)(203,247,268)(207, 271,274)(209,276,278)(213,281,282)(215,285,286)(216,288,290)(217,291,292) (218,294,296)(220,297,299)(222,300,241)(223,301,303)(228,307,309)(231, 312,310)(238,320,318)(242,323,324)(253,334,335)(256,338,339)(257,341,343) (259,346,344)(264,351,353)(265,354,355)(266,357,359)(267,360,362)(269, 364,366)(270,367,272)(273,370,371)(275,374,375)(277,379,326)(279,368,380) (283,383,386)(284,382,384)(287,391,392)(289,395,397)(293,400,403)(295, 407,409)(298,412,414)(302,417,419)(308,425,426)(311,424,427)(313,378,430) (317,435,429)(322,439,440)(325,442,444)(327,446,447)(328,449,450)(331, 388,454)(337,399,401)(340,461,462)(342,464,466)(345,453,467)(348,470,472) (349,473,475)(350,476,477)(352,481,483)(356,486,489)(358,493,495)(361, 499,501)(363,498,502)(365,506,420)(372,512,515)(373,511,513)(376,520,521) (377,522,524)(385,530,411)(387,533,534)(393,540,542)(394,543,398)(396, 547,545)(402,550,551)(404,554,555)(405,556,558)(406,559,410)(408,562,560) (413,568,566)(415,570,572)(416,573,575)(418,578,576)(421,580,581)(422, 583,584)(423,443,586)(441,599,601)(445,604,605)(448,594,607)(451,609,611) (463,621,623)(465,626,624)(471,632,634)(474,638,640)(478,643,646)(479, 648,650)(480,651,484)(482,655,653)(485,656,487)(488,659,660)(490,663,664) (491,665,667)(492,668,496)(494,672,670)(497,676,678)(500,681,679)(503, 614,669)(504,685,687)(505,688,507)(514,696,697)(516,700,701)(517,702,628) (523,710,712)(526,709,713)(531,718,567)(532,717,565)(535,703,635)(537, 719,684)(541,727,729)(546,726,730)(548,657,736)(552,739,741)(553,738,740) (557,748,750)(561,747,751)(563,757,755)(571,758,597)(574,760,761)(577, 735,762)(582,766,768)(585,770,773)(587,603,774)(592,759,775)(595,779,781) (596,782,784)(600,786,787)(606,790,791)(608,794,795)(610,797,798)(612, 801,802)(613,780,803)(615,804,805)(618,743,808)(622,812,814)(625,811,815) (630,807,817)(631,820,822)(633,825,823)(636,827,829)(637,830,641)(639, 833,831)(642,835,644)(645,838,839)(647,842,843)(649,846,848)(654,845,849) (661,858,861)(662,857,859)(666,868,870)(671,867,871)(673,878,876)(675, 683,873)(677,880,882)(680,879,883)(686,890,892)(690,889,893)(691,897,855) (692,898,899)(694,900,834)(698,903,771)(699,902,904)(705,905,887)(708, 860,913)(711,917,915)(715,914,920)(722,924,925)(723,927,928)(725,930,932) (728,936,934)(733,933,941)(742,946,947)(746,951,952)(749,955,953)(754, 800,960)(767,967,968)(769,971,972)(772,974,975)(777,979,926)(778,980,982) (783,986,988)(788,991,992)(789,990,989)(792,994,997)(793,993,995)(799, 1000,1001)(806,1004,1006)(813,984,1007)(821,1015,1017)(824,1014,1018) (828,1024,1026)(832,1023,1027)(836,1033,965)(840,1035,1038)(841,1034, 1036)(844,1043,1045)(847,1049,1047)(852,1046,1055)(862,1063,1064)(863, 1065,1011)(866,996,1070)(869,1074,1072)(875,1071,1079)(881,950,1084)(888, 1037,1089)(891,1093,1091)(896,1090,1098)(909,1105,1106)(910,1108,1109) (912,1062,1112)(916,1061,1113)(919,1116,1013)(921,1119,1120)(923,1123, 1124)(929,1126,1128)(931,1130,1132)(935,1129,1133)(938,1137,1138)(939, 1140,1142)(942,1144,1145)(943,1146,1135)(948,1066,1020)(954,1152,1153) (957,1157,1158)(958,1160,1162)(962,998,1155)(969,1167,1169)(970,1166, 1168)(976,1174,1176)(977,1173,1175)(978,1179,1107)(981,1183,1151)(983, 1185,1187)(985,1188,1190)(987,1192,1012)(1003,1199,1200)(1005,1201,1080) (1016,1181,1205)(1022,1096,1212)(1025,1215,1213)(1030,1148,1220)(1039, 1229,1230)(1040,1231,1204)(1044,1236,1238)(1048,1235,1239)(1050,1245, 1243)(1052,1247,1248)(1053,1250,1252)(1056,1254,1255)(1057,1257,1242) (1058,1259,1260)(1059,1262,1221)(1068,1264,1111)(1069,1197,1269)(1073, 1196,1270)(1076,1274,1275)(1077,1277,1279)(1082,1186,1272)(1088,1228, 1286)(1092,1227,1287)(1094,1291,1289)(1097,1293,1295)(1099,1297,1298) (1101,1300,1301)(1103,1304,1305)(1104,1307,1309)(1110,1312,1314)(1117, 1319,1206)(1118,1318,1184)(1121,1165,1323)(1122,1324,1159)(1125,1328, 1329)(1127,1331,1332)(1131,1282,1335)(1139,1341,1343)(1141,1346,1268) (1143,1340,1342)(1147,1198,1348)(1161,1356,1357)(1163,1352,1353)(1170, 1361,1362)(1171,1363,1360)(1177,1367,1339)(1178,1368,1191)(1180,1371, 1373)(1182,1374,1376)(1189,1379,1210)(1195,1382,1384)(1208,1232,1389) (1211,1296,1390)(1214,1292,1391)(1217,1396,1397)(1218,1399,1401)(1222, 1404,1393)(1223,1406,1407)(1225,1410,1398)(1234,1412,1285)(1237,1365, 1417)(1249,1424,1426)(1251,1429,1431)(1253,1423,1425)(1256,1281,1433) (1258,1386,1434)(1261,1437,1438)(1266,1436,1403)(1267,1415,1441)(1276, 1284,1416)(1278,1451,1452)(1280,1446,1447)(1294,1456,1349)(1302,1358, 1462)(1303,1464,1465)(1306,1468,1471)(1308,1472,1473)(1310,1474,1475) (1311,1370,1477)(1313,1478,1479)(1315,1482,1483)(1320,1486,1321)(1322, 1487,1488)(1325,1491,1326)(1327,1492,1493)(1330,1444,1496)(1333,1420, 1501)(1334,1498,1499)(1338,1505,1506)(1344,1355,1509)(1345,1500,1510) (1350,1513,1514)(1359,1517,1519)(1364,1522,1521)(1366,1523,1525)(1369, 1528,1530)(1372,1532,1533)(1375,1534,1535)(1377,1502,1536)(1378,1537, 1539)(1381,1524,1405)(1383,1540,1516)(1385,1541,1450)(1400,1552,1553) (1402,1548,1549)(1408,1555,1556)(1414,1554,1551)(1421,1563,1564)(1422, 1566,1507)(1427,1449,1568)(1428,1495,1570)(1430,1573,1571)(1435,1503, 1576)(1440,1579,1580)(1445,1584,1585)(1455,1589,1591)(1457,1593,1583) (1458,1550,1595)(1459,1596,1460)(1461,1598,1599)(1463,1574,1602)(1466, 1547,1604)(1467,1605,1469)(1470,1606,1531)(1476,1582,1611)(1480,1561, 1616)(1481,1614,1615)(1484,1620,1621)(1489,1626,1628)(1490,1625,1627) (1494,1631,1632)(1497,1635,1636)(1504,1629,1639)(1511,1638,1644)(1512, 1640,1641)(1518,1646,1546)(1527,1603,1648)(1529,1649,1650)(1538,1654, 1587)(1542,1655,1581)(1545,1658,1622)(1557,1594,1558)(1559,1617,1661) (1560,1663,1565)(1562,1590,1664)(1569,1634,1671)(1572,1633,1672)(1575, 1665,1666)(1578,1656,1676)(1588,1679,1680)(1592,1618,1682)(1600,1685, 1687)(1601,1610,1686)(1607,1693,1652)(1608,1692,1651)(1612,1669,1696) (1623,1699,1662)(1637,1703,1704)(1642,1707,1643)(1645,1694,1668)(1653, 1698,1670)(1657,1709,1681)(1667,1711,1697)(1677,1713,1708)(1688,1710, 1700)(1689,1695,1714)(1701,1715,1705)(1702,1716,1706);