/*
www-ATLAS of Group Representations.
L2(31) represented as permutations on 32 points.
*/

G<x,y>:=PermutationGroup<32|\[
2,1,5,6,3,4,9,10,7,8,14,15,17,11,12,21,13,23,20,19,16,27,18,25,24,
28,22,26,31,32,29,30]
,\[
3,4,5,7,1,8,2,11,12,13,6,16,18,19,20,9,22,10,24,25,26,28,29,14,15,
30,27,17,32,21,31,23]
>;
print "Group G is L2(31) < Sym(32)";