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