z1 := (2,4)(3,6)(5,9)(8,13)(10,17)(11,18)(12,20)(14,22)(15,23)(19,25)(26,32)
     (29,35)(31,33)(34,40)(36,37);