bin1 := (1,3,10,16,6,15,14,5)(2,7,18,13,4,12,20,8)(9,21,34,26,11,25,38,22)(17,
     27,42,32,19,31,46,28)(23,39,49,33,24,40,52,35)(29,47,59,41,30,48,62,43)
     (36,53,67,56,37,55,68,54)(44,63,58,66,45,65,57,64)(50,71,78,70,51,72,77,
     69)(60,75,80,74,61,76,79,73);