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