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