/*
www-ATLAS of Group Representations.
L2(17) represented as 11 x 11 matrices over GF(17).
*/

F:=GF(17);

x:=CambridgeMatrix(3,F,11,\[
0,1,0,0,0,0,0,0,0,0,0,
1,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,1,0,0,0,0,0,0,
0,0,0,0,0,1,0,0,0,0,0,
0,0,1,0,0,0,0,0,0,0,0,
0,0,0,1,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,1,0,0,
0,0,0,0,0,0,0,0,0,1,0,
0,0,0,0,0,0,1,0,0,0,0,
0,0,0,0,0,0,0,1,0,0,0,
4,4,2,14,2,14,0,8,0,8,16]);

y:=CambridgeMatrix(3,F,11,\[
0,0,1,0,0,0,0,0,0,0,0,
0,0,0,1,0,0,0,0,0,0,0,
1,16,0,1,0,0,0,0,0,0,0,
1,0,16,1,0,0,0,0,0,0,0,
0,0,0,0,0,0,1,0,0,0,0,
0,0,0,0,0,0,0,1,0,0,0,
16,0,0,16,16,0,16,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,1,
3,3,3,11,0,2,7,12,9,16,12,
4,6,9,15,10,14,12,2,6,7,12,
0,0,0,0,0,1,0,0,0,0,0]);

G<x,y>:=MatrixGroup<11,F|x,y>;
print "Group G is L2(17) < GL(11,GF(17))";