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

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