bin1 := (2,6)(4,9)(5,11)(7,15)(12,21)(16,17)(19,20)(22,30)(23,24)(26,34)(27,36)
     (29,37)(31,41)(32,43)(33,45)(35,48)(38,52)(39,54)(40,56)(42,59)(46,47)
     (49,63)(50,53)(57,58);