/*
www-ATLAS of Group Representations.
2.M12 represented as permutations on 24 points.
*/

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