/*
Realisation of the presentation in A12P1 as permutations on 12 points.
Generators are x and y.
*/

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