/*
www-ATLAS of Group Representations.
SL2(7) represented as permutations on 16 points.
*/

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