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