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