bin1 := (2,4)(3,5)(6,8)(7,10);