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