/*
www-ATLAS of Group Representations.
M23 represented as permutations on 23 points.
*/

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