bin1 := (1,2)(3,5)(6,9)(7,11)(10,15)(12,18)(13,20)(16,24)(17,25)(19,27)(21,30)
     (22,32)(28,38)(29,40)(31,43)(33,46)(35,49)(36,51)(37,53)(39,56)(41,58)
     (44,62)(45,64)(48,67)(50,70)(54,75)(57,78)(60,82)(66,88)(68,90)(69,92)
     (72,96)(73,80)(74,99)(76,102)(77,104)(81,109)(83,111)(85,114)(86,115)(87,
     117)(91,122)(94,125)(97,129)(100,133)(103,137)(106,140)(107,142)(108,144)
     (112,149)(113,151)(116,155)(118,128)(120,159)(123,157)(124,164)(127,166)
     (130,170)(131,172)(132,173)(134,176)(135,178)(136,148)(138,180)(139,145)
     (141,183)(146,187)(147,189)(152,194)(153,190)(156,195)(158,199)(161,197)
     (162,201)(165,188)(167,203)(168,206)(174,212)(179,217)(184,193)(185,222)
     (192,227)(198,231)(200,233)(204,237)(205,224)(207,239)(209,241)(210,236)
     (211,243)(214,245)(220,251)(221,253)(223,256)(226,259)(228,262)(234,267)
     (235,263)(238,255)(244,275)(247,279)(248,280)(249,282)(258,285)(264,289)
     (266,269)(268,292)(270,272)(277,284)(287,290)(295,315)(298,316)(301,318)
     (303,319)(305,317)(307,321)(310,324)(325,330)(326,329)(327,331);