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