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

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