a11 := (1,12)(2,6)(3,4)(7,11)(9,10)(13,14);