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