/*
www-ATLAS of Group Representations.
A13 represented as permutations on 13 points.
*/

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