/*
Realisation of the presentations in M12P1 and M12P1a as permutations
on 12 points.
Generators are x and y.
*/

G<x,y>:=PermutationGroup<12|
(12,11)(1,10)(2,8)(3,6),
(12,1,11)(2,9,10)(3,7,8)(4,5,6)
>;