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

F:=GF(17);

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

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

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