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

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