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