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

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