bin1 := (4,5)(6,8)(9,11)(10,13)(12,15)(14,18)(16,21)(17,22)(19,25)(20,26)(23,30)
     (24,32)(27,36)(28,38)(31,42)(34,46)(37,50)(39,53)(40,55)(41,57)(43,60)
     (44,61)(45,63)(47,66)(49,69)(51,72)(54,75)(58,77)(59,79)(64,85)(65,86)
     (67,89)(68,90)(70,93)(71,95)(73,98)(78,103)(80,105)(81,107)(82,109)(83,
     111)(84,113)(88,118)(91,121)(92,122)(96,127)(97,129)(99,132)(100,134)
     (101,136)(102,138)(104,141)(106,143)(108,146)(112,150)(115,119)(116,154)
     (117,156)(120,160)(123,164)(124,166)(125,168)(126,169)(128,172)(130,175)
     (131,177)(133,180)(135,182)(137,184)(139,187)(140,189)(142,192)(144,195)
     (147,198)(148,199)(149,201)(151,203)(152,205)(153,207)(155,209)(157,212)
     (161,216)(162,218)(163,220)(167,225)(170,229)(171,231)(173,234)(178,183)
     (179,238)(181,241)(185,245)(188,248)(190,251)(191,253)(194,257)(196,260)
     (197,262)(204,267)(206,270)(210,273)(211,275)(213,215)(214,279)(217,282)
     (219,285)(221,287)(222,289)(227,293)(230,297)(233,301)(235,304)(236,306)
     (237,308)(240,274)(242,313)(243,315)(244,317)(247,321)(249,324)(252,327)
     (254,330)(255,332)(256,333)(258,336)(263,342)(264,344)(265,346)(268,348)
     (269,350)(271,353)(272,355)(276,358)(277,307)(278,361)(280,364)(281,331)
     (283,368)(284,309)(288,370)(290,373)(291,374)(292,376)(294,378)(295,380)
     (296,381)(298,384)(299,385)(303,390)(305,393)(310,399)(311,400)(314,402)
     (318,405)(319,404)(320,407)(322,410)(323,389)(325,414)(326,416)(328,419)
     (329,420)(334,425)(335,426)(337,429)(338,431)(339,433)(340,365)(341,434)
     (345,439)(347,441)(349,444)(352,447)(354,450)(356,452)(359,455)(360,457)
     (362,459)(363,460)(366,462)(367,464)(369,445)(371,469)(372,470)(375,473)
     (379,478)(382,480)(386,485)(387,487)(388,488)(391,401)(396,403)(397,494)
     (398,496)(406,505)(409,507)(411,510)(412,512)(413,514)(415,516)(417,519)
     (418,521)(421,525)(422,527)(423,529)(424,531)(427,534)(428,535)(430,538)
     (432,524)(435,541)(436,543)(437,545)(438,546)(440,549)(442,551)(443,553)
     (446,557)(448,560)(449,562)(451,565)(453,567)(454,569)(456,571)(458,540)
     (461,573)(463,520)(467,578)(468,580)(471,576)(474,586)(476,588)(479,568)
     (481,594)(482,596)(483,598)(484,600)(486,603)(490,608)(491,609)(492,611)
     (493,613)(495,615)(497,617)(499,620)(500,622)(501,623)(502,624)(503,625)
     (504,626)(506,629)(511,632)(513,634)(515,636)(517,638)(518,639)(522,644)
     (523,646)(526,649)(530,651)(532,653)(533,614)(537,657)(539,660)(542,548)
     (544,665)(547,668)(550,556)(552,672)(554,675)(555,677)(558,681)(559,682)
     (561,685)(563,687)(564,689)(566,692)(570,695)(572,697)(574,699)(575,680)
     (579,702)(581,703)(582,705)(583,707)(585,710)(587,592)(589,713)(590,715)
     (591,717)(593,696)(595,720)(597,721)(599,724)(604,729)(605,730)(606,631)
     (607,725)(612,734)(616,737)(618,738)(619,652)(621,740)(627,745)(628,747)
     (633,752)(635,755)(637,733)(640,750)(641,759)(642,700)(643,761)(647,765)
     (650,768)(654,771)(656,718)(658,706)(661,777)(662,779)(664,781)(666,783)
     (667,785)(670,789)(671,791)(673,691)(678,795)(683,798)(684,800)(686,803)
     (688,806)(693,809)(694,727)(698,813)(708,820)(709,799)(711,823)(712,825)
     (714,828)(719,787)(722,833)(723,834)(726,837)(728,804)(732,842)(735,844)
     (736,845)(741,847)(744,849)(746,851)(748,853)(751,855)(753,858)(754,860)
     (758,864)(760,867)(762,870)(763,871)(767,874)(769,877)(772,878)(773,782)
     (774,880)(775,882)(780,884)(784,887)(786,868)(788,890)(790,859)(792,894)
     (793,895)(794,897)(796,899)(797,900)(801,904)(802,905)(805,811)(807,875)
     (808,908)(814,912)(816,915)(818,918)(819,920)(821,923)(822,924)(824,857)
     (826,848)(829,930)(830,931)(831,933)(832,935)(836,907)(838,846)(850,947)
     (854,949)(856,952)(862,865)(863,959)(872,891)(873,964)(876,914)(879,968)
     (881,970)(883,913)(885,974)(886,976)(888,978)(892,982)(893,983)(896,986)
     (898,989)(901,993)(902,995)(909,997)(910,999)(916,1003)(919,1005)(921,
     936)(922,1008)(925,1011)(926,991)(927,1001)(929,941)(932,1014)(934,1015)
     (938,1017)(939,1019)(940,1020)(942,1013)(943,1022)(944,1024)(945,950)
     (948,981)(954,961)(955,1027)(956,1028)(957,972)(962,1031)(963,1032)(966,
     1034)(975,1040)(977,1042)(979,1045)(980,1038)(984,1051)(985,1053)(987,
     1056)(988,1058)(992,1062)(994,1007)(998,1068)(1000,1070)(1002,1071)(1004,
     1074)(1009,1018)(1010,1075)(1016,1081)(1021,1085)(1023,1086)(1029,1048)
     (1030,1087)(1033,1035)(1036,1091)(1037,1093)(1039,1095)(1041,1097)(1044,
     1099)(1046,1101)(1047,1088)(1050,1103)(1054,1072)(1055,1108)(1057,1111)
     (1059,1112)(1061,1115)(1063,1117)(1064,1119)(1065,1120)(1067,1077)(1069,
     1121)(1073,1127)(1079,1092)(1080,1132)(1082,1130)(1089,1113)(1090,1137)
     (1096,1098)(1100,1141)(1102,1107)(1104,1140)(1105,1146)(1109,1149)(1110,
     1145)(1118,1150)(1122,1155)(1129,1153)(1131,1159)(1134,1139)(1136,1163)
     (1138,1165)(1147,1168)(1148,1151)(1152,1171)(1154,1172)(1161,1167);