bin1 := (2,3)(5,7)(6,9)(8,12)(11,14)(13,17)(15,19)(23,28)(24,30)(26,32)(29,34)
     (31,36);