z1 := (1,2)(3,5)(4,7,6,8)(9,12,11,10);