bin1 := (1,2)(3,5)(4,7)(6,10)(8,12)(9,13)(11,16)(14,20)(15,21)(17,24)(18,25)(19,
     27)(22,31)(23,32)(26,36)(28,38)(29,39)(30,41)(33,45)(34,46)(35,48)(37,51)
     (40,55)(42,57)(43,58)(44,59)(47,63)(49,65)(50,66)(52,67)(54,69)(56,72)
     (61,76)(62,78)(68,83)(70,85)(71,86)(73,87)(74,88)(75,90)(77,93)(79,95)
     (80,96)(81,98)(82,100)(84,103)(89,109)(91,92)(94,113)(97,117)(99,119)
     (101,121)(102,122)(104,123)(105,124)(106,126)(107,128)(108,130)(110,133)
     (111,135)(112,136)(114,137)(115,138)(116,139)(118,142)(120,145)(125,150)
     (127,152)(129,154)(131,156)(132,157)(134,158)(140,163)(141,164)(143,165)
     (144,166)(146,169)(147,170)(148,171)(149,173)(151,176)(153,179)(155,182)
     (159,187)(160,189)(161,191)(162,193)(167,168)(172,203)(174,205)(175,206)
     (177,207)(178,208)(180,211)(181,212)(183,213)(184,214)(185,216)(186,218)
     (188,221)(190,223)(192,225)(194,227)(195,228)(197,231)(198,233)(199,235)
     (200,236)(201,238)(202,240)(204,243)(209,210)(215,254)(217,256)(219,258)
     (220,259)(222,262)(224,265)(226,268)(229,272)(230,273)(232,275)(234,277)
     (237,280)(239,282)(241,283)(242,284)(244,285)(245,286)(246,288)(247,290)
     (248,292)(249,294)(250,295)(251,297)(252,299)(253,301)(255,304)(257,307)
     (260,310)(261,311)(263,312)(264,313)(266,316)(267,317)(269,318)(270,319)
     (271,321)(276,326)(278,329)(279,331)(281,334)(287,341)(289,343)(291,345)
     (293,347)(296,350)(298,352)(300,354)(302,356)(303,357)(305,358)(306,359)
     (308,362)(314,315)(320,372)(322,373)(323,324)(325,374)(327,375)(328,376)
     (330,379)(332,381)(333,382)(335,383)(336,384)(337,385)(338,387)(339,389)
     (340,391)(342,394)(344,397)(346,400)(348,403)(349,405)(351,408)(353,411)
     (355,414)(360,361)(363,422)(364,424)(365,426)(366,428)(367,430)(368,431)
     (369,433)(370,435)(371,437)(377,443)(378,444)(380,447)(386,454)(388,456)
     (390,458)(392,460)(393,461)(395,462)(396,463)(398,466)(399,467)(401,468)
     (402,469)(404,472)(406,474)(407,475)(409,476)(410,477)(412,480)(413,481)
     (415,482)(416,483)(417,485)(418,487)(419,489)(420,491)(421,492)(423,493)
     (425,495)(427,497)(429,499)(432,502)(434,504)(436,506)(438,508)(439,509)
     (440,510)(441,511)(442,513)(445,516)(446,517)(448,518)(449,519)(450,521)
     (451,523)(452,525)(453,527)(455,530)(457,533)(459,536)(464,465)(470,547)
     (471,548)(473,551)(478,479)(484,562)(486,564)(488,566)(490,568)(494,572)
     (496,575)(498,578)(500,581)(501,583)(503,586)(505,589)(507,538)(512,595)
     (514,597)(515,598)(520,603)(522,605)(524,607)(526,609)(528,611)(529,612)
     (532,574)(534,615)(535,616)(537,617)(539,590)(540,619)(541,621)(542,623)
     (543,624)(544,626)(545,628)(546,630)(549,633)(550,634)(552,635)(553,636)
     (554,638)(555,640)(556,642)(557,643)(558,644)(559,646)(560,648)(561,650)
     (563,653)(565,656)(567,659)(569,662)(570,664)(571,666)(573,667)(576,670)
     (577,671)(579,672)(580,673)(582,676)(584,678)(585,679)(587,680)(588,681)
     (591,684)(592,685)(593,687)(594,689)(596,692)(599,696)(600,698)(601,700)
     (602,702)(604,705)(606,708)(608,711)(613,614)(618,718)(620,720)(622,722)
     (625,725)(627,727)(629,729)(631,731)(632,732)(637,737)(639,739)(641,741)
     (645,745)(647,747)(649,749)(651,751)(652,752)(654,753)(655,754)(657,757)
     (658,758)(660,759)(661,760)(663,763)(665,765)(668,669)(674,772)(675,773)
     (677,776)(682,683)(686,784)(688,786)(690,787)(691,788)(693,789)(694,790)
     (695,792)(697,795)(699,797)(701,799)(703,801)(704,802)(706,803)(707,804)
     (709,807)(710,808)(712,809)(713,810)(714,812)(715,813)(716,815)(717,817)
     (719,819)(721,822)(723,825)(724,827)(726,830)(728,833)(730,836)(733,839)
     (735,842)(736,844)(738,846)(740,849)(742,852)(743,854)(744,782)(746,858)
     (748,861)(750,864)(755,756)(761,874)(762,875)(764,878)(766,881)(768,811)
     (769,885)(770,887)(771,889)(774,892)(775,893)(777,894)(778,895)(779,897)
     (780,872)(781,900)(783,853)(785,903)(791,910)(793,912)(794,913)(796,916)
     (798,918)(800,920)(805,806)(814,933)(816,935)(818,856)(820,937)(821,938)
     (823,939)(824,940)(826,943)(828,945)(829,946)(831,947)(832,876)(834,873)
     (835,950)(837,951)(838,953)(840,956)(841,957)(843,959)(845,961)(847,962)
     (848,963)(850,966)(851,967)(857,968)(859,969)(860,970)(862,973)(863,974)
     (865,975)(866,976)(867,978)(868,980)(869,982)(870,984)(871,985)(877,989)
     (879,990)(880,991)(882,994)(883,931)(884,995)(886,997)(888,999)(890,1001)
     (891,1002)(896,1007)(898,1009)(899,1010)(901,1012)(902,1013)(904,1014)
     (905,1015)(906,1016)(907,1018)(908,1020)(909,1022)(911,1025)(914,1029)
     (915,1030)(917,1031)(919,1032)(921,1033)(922,1034)(923,1036)(924,1038)
     (925,1040)(926,1042)(927,1043)(928,1045)(929,1047)(930,1048)(932,1050)
     (934,1053)(936,1056)(941,1062)(942,1063)(944,1066)(948,949)(952,1072)
     (954,1074)(958,1077)(960,1079)(964,965)(971,972)(977,1092)(979,1094)(981,
     1096)(983,1098)(986,1101)(987,988)(992,993)(996,1083)(998,1106)(1000,
     1109)(1003,1113)(1004,1115)(1005,1116)(1008,1120)(1011,1122)(1017,1127)
     (1019,1129)(1021,1131)(1023,1103)(1024,1133)(1026,1134)(1027,1135)(1028,
     1136)(1035,1143)(1037,1145)(1039,1147)(1041,1149)(1049,1153)(1051,1155)
     (1052,1156)(1054,1157)(1055,1158)(1057,1161)(1058,1162)(1059,1164)(1060,
     1089)(1061,1167)(1064,1170)(1065,1171)(1068,1172)(1069,1132)(1070,1174)
     (1073,1176)(1075,1179)(1076,1180)(1078,1181)(1080,1182)(1081,1184)(1082,
     1186)(1084,1187)(1085,1189)(1086,1191)(1087,1193)(1088,1194)(1090,1197)
     (1091,1124)(1093,1200)(1095,1202)(1097,1205)(1099,1207)(1100,1209)(1102,
     1111)(1104,1154)(1105,1213)(1107,1214)(1108,1215)(1112,1217)(1114,1220)
     (1117,1222)(1118,1223)(1119,1139)(1121,1138)(1123,1225)(1125,1228)(1126,
     1230)(1128,1233)(1130,1236)(1137,1241)(1140,1243)(1142,1246)(1144,1248)
     (1146,1250)(1148,1252)(1150,1199)(1151,1152)(1159,1160)(1165,1262)(1166,
     1263)(1168,1247)(1169,1265)(1173,1269)(1175,1271)(1177,1272)(1178,1273)
     (1183,1277)(1185,1266)(1188,1279)(1190,1249)(1192,1281)(1195,1284)(1196,
     1285)(1198,1286)(1201,1287)(1203,1289)(1204,1290)(1206,1291)(1208,1293)
     (1210,1295)(1211,1296)(1212,1239)(1216,1299)(1218,1301)(1219,1302)(1221,
     1304)(1224,1306)(1226,1254)(1227,1275)(1229,1309)(1231,1311)(1232,1312)
     (1235,1313)(1237,1270)(1238,1316)(1240,1317)(1244,1319)(1245,1320)(1251,
     1323)(1253,1324)(1255,1325)(1256,1326)(1257,1328)(1258,1330)(1259,1310)
     (1260,1332)(1261,1333)(1264,1334)(1267,1338)(1268,1339)(1274,1308)(1278,
     1346)(1280,1347)(1282,1283)(1292,1357)(1294,1360)(1297,1363)(1298,1364)
     (1300,1322)(1303,1367)(1305,1368)(1307,1344)(1314,1315)(1318,1376)(1321,
     1379)(1327,1383)(1329,1361)(1331,1386)(1335,1349)(1336,1389)(1337,1390)
     (1340,1382)(1341,1377)(1342,1393)(1343,1387)(1345,1396)(1348,1365)(1350,
     1398)(1351,1399)(1353,1400)(1354,1402)(1355,1404)(1356,1406)(1358,1408)
     (1359,1385)(1362,1409)(1366,1411)(1369,1395)(1370,1414)(1372,1416)(1373,
     1417)(1374,1419)(1375,1420)(1378,1413)(1380,1421)(1381,1422)(1384,1391)
     (1388,1427)(1392,1428)(1394,1430)(1397,1432)(1401,1434)(1403,1435)(1405,
     1425)(1407,1412)(1410,1437)(1415,1439)(1418,1441)(1423,1433)(1424,1443)
     (1426,1444)(1429,1446)(1436,1440)(1438,1452)(1442,1454)(1445,1448)(1447,
     1457)(1451,1458)(1453,1459)(1455,1461)(1462,1463);