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