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