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

F:=GF(17);

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

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

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