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