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

F:=GF(29);

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,
27,2,17,12,24,5,5,9,24,20,27,4,0,2,25,1,0,
0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0]);

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

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