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