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

F:=GF(17);

x:=CambridgeMatrix(3,F,13,\[
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,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,0,
0,0,0,0,0,0,0,0,1,0,0,0,0,
0,0,0,0,0,0,0,0,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,1,0,0,0,0,0,
0,14,6,2,6,1,0,8,10,14,5,16,3,
0,6,5,13,15,5,11,1,3,6,9,3,11,
1,7,8,16,6,15,6,5,7,10,12,14,10]);

y:=CambridgeMatrix(3,F,13,\[
0,0,1,0,0,0,0,0,0,0,0,0,0,
0,16,16,0,0,0,0,0,0,0,0,0,0,
1,2,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,0,0,0,1,0,0,0,0,0,0,
0,0,0,0,0,0,0,1,0,0,0,0,0,
0,0,0,1,0,0,0,0,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,0,0,1,0,
0,0,0,0,0,0,0,0,0,0,0,0,1,
0,0,0,0,0,1,0,0,0,0,0,0,0,
8,15,8,11,1,12,5,8,2,10,14,16,7,
0,2,1,13,1,7,3,14,15,16,13,2,2]);

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