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