bin1 := (1,2)(3,5)(4,7)(6,9)(8,11)(10,14)(12,17)(13,19)(15,22)(16,24)(18,27)(20,
     30)(21,32)(23,35)(25,38)(26,40)(28,43)(29,44)(31,47)(33,50)(34,52)(36,55)
     (37,56)(39,59)(41,62)(42,64)(45,67)(46,69)(48,72)(49,73)(51,76)(53,79)
     (54,81)(57,85)(58,87)(60,88)(61,89)(63,92)(65,95)(66,97)(68,100)(70,103)
     (71,104)(74,108)(75,110)(77,113)(78,114)(80,117)(82,93)(83,120)(84,122)
     (86,125)(90,130)(91,132)(94,135)(96,138)(98,141)(99,143)(101,146)(102,
     147)(105,151)(106,153)(107,155)(109,158)(111,161)(112,163)(115,166)(116,
     168)(118,171)(119,172)(121,174)(123,176)(124,178)(126,127)(128,182)(129,
     184)(131,186)(133,139)(134,140)(136,190)(137,192)(142,195)(144,197)(145,
     199)(148,203)(149,204)(150,202)(152,208)(154,210)(156,213)(157,215)(159,
     160)(162,219)(164,221)(165,222)(167,214)(169,226)(170,228)(173,185)(175,
     230)(177,233)(179,235)(180,237)(181,239)(183,242)(187,247)(188,244)(189,
     249)(191,251)(193,252)(194,254)(196,257)(198,259)(200,262)(201,264)(205,
     207)(206,268)(209,271)(211,273)(212,274)(216,278)(217,279)(218,281)(220,
     283)(223,234)(224,285)(225,288)(227,290)(229,293)(231,295)(232,296)(236,
     299)(238,302)(240,289)(241,305)(243,307)(245,284)(246,309)(248,292)(250,
     291)(253,314)(255,317)(256,266)(258,319)(260,321)(261,301)(263,322)(265,
     324)(267,326)(269,328)(270,329)(272,331)(275,335)(276,334)(277,337)(280,
     340)(282,343)(286,345)(287,346)(294,332)(297,351)(298,342)(300,320)(303,
     353)(304,350)(306,354)(308,344)(310,357)(311,358)(312,352)(313,361)(315,
     363)(316,364)(318,365)(323,368)(325,369)(327,371)(330,374)(333,376)(336,
     377)(338,355)(339,379)(341,380)(347,359)(348,383)(349,384)(356,375)(360,
     386)(362,385)(366,382)(367,391)(370,390)(372,387)(373,392)(378,394)(381,
     396)(388,389)(393,395)(397,400)(398,399);