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