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