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