/* Realisation of the presentation in A8P1 as permutations on 8 points. Generators are x and y. */ G:=PermutationGroup<8|(1,2,3),(1,2)(3,4,5,6,7,8)>;