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