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