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