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