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