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