bin1 := (2,5,6)(3,7,8)(9,13,14)(10,15,16)(11,17,18)(12,19,20)(21,25,26)(22,27,
     28)(23,29,30)(24,31,32)(33,36,37)(34,35,38);