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