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