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