bin1 := (1,2)(3,5)(4,7)(6,10)(8,12)(11,16)(13,18)(15,21)(17,24)(19,26)(20,27)
     (22,28)(23,30)(25,33)(31,34)(32,38)(35,41)(37,43)(39,46)(40,48)(42,50)
     (44,52)(47,56)(49,59)(51,61)(53,62)(54,63)(55,64)(57,67)(60,69)(65,71)
     (68,72)(70,75)(73,77)(76,78)(79,80);