bin1 := (2,3)(6,7)(9,10)(12,14)(17,19)(20,22);