bin1 := (1,2,4)(3,5,7)(6,8,11)(9,12,16)(10,14,15)(13,17,21)(18,22,23)(19,24,29)
     (20,26,25)(28,30,31);