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