/*
www-ATLAS of Group Representations.
L5(2) represented as 29 x 29 matrices over GF(31).
*/

F:=GF(31);

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

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

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