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