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)(25,40)(27,43)(29,46)(30,48)(32,51)(33,53)(35,56)(37,58)
     (38,59)(39,61)(41,64)(42,66)(44,68)(45,70)(47,73)(49,76)(50,78)(52,81)
     (54,84)(55,86)(57,89)(60,92)(62,95)(63,69)(65,98)(67,101)(71,105)(72,107)
     (74,110)(75,112)(77,115)(79,118)(80,120)(82,123)(83,125)(85,128)(87,131)
     (88,133)(90,136)(91,138)(93,141)(94,143)(96,145)(97,147)(99,149)(100,151)
     (102,154)(103,156)(104,158)(106,161)(109,164)(111,166)(113,140)(114,169)
     (116,172)(117,174)(119,177)(121,179)(126,185)(127,187)(129,190)(130,192)
     (132,194)(134,182)(135,198)(139,203)(142,206)(144,209)(146,212)(148,214)
     (150,217)(152,220)(153,222)(155,225)(157,228)(159,196)(160,230)(162,232)
     (163,234)(165,180)(167,238)(168,240)(170,243)(171,241)(173,247)(175,250)
     (176,251)(178,254)(181,258)(183,261)(184,252)(186,263)(188,265)(189,259)
     (191,269)(193,272)(195,275)(197,278)(199,281)(200,283)(201,285)(202,287)
     (204,268)(205,290)(207,293)(208,295)(210,297)(211,299)(213,301)(215,304)
     (216,306)(218,309)(219,311)(221,313)(223,314)(224,316)(226,319)(227,320)
     (229,323)(231,325)(233,327)(235,330)(236,332)(237,334)(239,337)(242,339)
     (244,342)(245,343)(246,345)(248,348)(249,350)(253,354)(255,322)(256,358)
     (257,359)(260,363)(262,365)(264,367)(267,370)(270,374)(271,376)(273,378)
     (274,289)(276,382)(277,383)(279,386)(280,387)(282,390)(284,393)(286,310)
     (288,396)(291,294)(292,401)(296,405)(298,406)(300,408)(302,307)(303,412)
     (305,379)(308,415)(312,413)(315,422)(317,425)(318,427)(321,429)(324,433)
     (326,436)(328,438)(329,440)(331,442)(333,426)(335,445)(336,446)(338,448)
     (340,450)(341,452)(344,456)(346,457)(347,459)(349,461)(351,463)(352,464)
     (353,466)(355,439)(356,469)(357,471)(360,473)(361,475)(362,371)(364,478)
     (366,480)(368,482)(369,483)(372,485)(373,487)(375,488)(377,490)(380,398)
     (381,493)(384,495)(385,496)(388,500)(389,470)(391,504)(392,453)(394,435)
     (395,508)(397,511)(399,513)(400,509)(402,514)(403,515)(404,484)(407,421)
     (409,512)(410,521)(411,523)(414,525)(416,506)(417,527)(418,529)(419,517)
     (420,531)(423,534)(424,536)(428,539)(430,541)(431,542)(432,540)(434,545)
     (437,546)(441,550)(443,520)(444,510)(447,555)(449,557)(451,476)(454,558)
     (455,559)(460,563)(462,547)(465,566)(467,568)(468,548)(472,569)(477,486)
     (479,499)(481,574)(491,505)(492,579)(494,580)(497,583)(498,530)(501,586)
     (502,587)(503,588)(507,592)(516,532)(518,594)(519,596)(522,598)(526,600)
     (528,602)(533,577)(535,606)(538,608)(543,612)(544,597)(551,560)(552,618)
     (553,605)(554,614)(556,621)(561,593)(562,622)(564,624)(565,626)(567,629)
     (571,631)(572,632)(573,617)(575,627)(576,578)(581,637)(582,625)(584,639)
     (585,640)(590,615)(591,599)(595,609)(601,611)(603,641)(604,647)(607,636)
     (610,648)(613,650)(616,651)(619,643)(620,638)(623,649)(628,633)(630,653)
     (634,655)(635,642)(646,652)(656,657);