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