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