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

G<x,y>:=PermutationGroup<12|\[
1,3,2,4,6,5,7,9,8,10,12,11]
,\[
2,4,5,1,7,8,3,10,11,6,12,9]
>;
print "Group G is M12 < Sym(12)";