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