bin1 := (1,2)(3,5)(4,7)(6,10)(8,12)(9,14)(11,17)(13,20)(15,23)(16,21)(18,27)(19,
     29)(22,32)(24,35)(25,36)(26,38)(28,41)(30,43)(31,45)(33,48)(34,37)(39,54)
     (40,56)(42,58)(44,57)(46,61)(47,62)(49,65)(50,66)(51,63)(52,68)(53,70)
     (55,71)(59,76)(60,77)(64,81)(67,83)(69,84)(72,86)(73,88)(74,90)(75,91)
     (78,79)(80,97)(82,99)(85,102)(87,101)(89,95)(92,105)(93,107)(94,100)(96,
     110)(98,103)(104,113)(106,115)(108,114)(109,117)(111,118)(112,119)(116,
     120);