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