z1 := (2,4)(3,5)(6,10)(7,11)(8,12)(13,19)(15,20)(17,21)(18,22);