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

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