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