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