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