z1 := (2,4)(5,9)(8,10)(11,14);