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