z1 := (3,5,6)(4,7,8)(9,17,25)(10,18,26)(11,19,27)(12,20,28)(13,21,29)(14,22,
     30)(15,23,31)(16,24,32)(33,48,51)(34,43,56)(35,46,52)(36,44,54)(37,45,55)
     (38,42,49)(39,41,50)(40,47,53);