bin1 := (1,2)(4,5)(6,8)(7,10)(9,12)(11,14)(13,17)(15,19)(16,20)(18,22)(21,25)
     (23,27)(26,29)(28,32)(30,33)(31,35)(34,39)(37,42)(38,44)(40,47)(41,49)
     (43,45)(46,53)(48,55)(50,58)(51,60)(52,61)(62,63);