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

F:=GF(23);

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,9,14,9,8,15,4,15,19,8,7,1,17,16,22,1,6,
0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0]);

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

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