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