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