/*
www-ATLAS of Group Representations.
M22 represented as permutations on 77 points.
*/

G<x,y>:=PermutationGroup<77|\[
1,2,5,6,3,4,7,12,13,10,15,8,9,20,11,19,22,23,16,14,25,17,18,30,21,
32,34,35,37,24,39,26,41,27,28,46,29,48,31,40,33,53,44,43,56,36,47,38,59,50,
61,52,42,54,55,45,57,67,49,65,51,66,63,64,60,62,58,74,72,71,70,69,76,68,77,
73,75]
,\[
2,4,1,3,7,9,11,5,14,6,8,16,18,10,15,21,12,24,13,20,17,26,28,19,31,
33,22,36,23,38,25,40,27,42,44,29,47,30,49,32,51,54,34,55,35,52,37,57,60,39,
46,41,62,43,45,64,66,48,68,50,69,71,53,72,56,58,59,73,75,61,63,65,67,74,70,
76,77]
>;
print "Group G is M22 < Sym(77)";