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

F:=GF(11);

x:=CambridgeMatrix(3,F,23,\[
0,0,0,0,0,0,0,1,10,0,0,0,0,0,0,0,1,10,1,10,0,0,1,
1,0,0,0,0,0,0,10,0,10,1,0,0,0,0,0,0,0,10,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,10,1,10,10,0,10,0,10,1,1,10,0,1,0,10,0,0,0,0,10,1,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,10,0,10,1,10,1,0,0,0,0,0,10,1,10,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,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,
0,0,10,0,1,0,0,0,0,0,10,0,0,10,0,0,1,0,0,10,0,10,0,
1,10,1,0,10,1,0,0,10,0,0,0,1,0,10,10,0,0,1,0,0,1,0,
0,10,1,0,10,0,0,0,0,0,0,0,1,1,0,0,10,1,0,1,0,1,0,
1,10,1,0,10,1,10,0,0,1,0,0,0,0,0,0,1,0,1,0,0,1,1,
1,10,0,0,0,1,0,10,0,0,0,0,0,0,0,0,0,1,10,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,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,0,
0,1,0,1,1,0,1,0,0,10,0,0,0,1,1,1,10,0,10,0,1,0,0,
0,0,0,0,0,10,0,0,0,0,1,10,0,1,1,0,10,0,10,1,10,0,0,
10,0,0,0,0,10,0,1,0,0,0,10,0,0,0,0,0,10,0,0,10,10,0,
10,1,0,1,0,0,1,0,0,10,0,0,0,0,0,0,10,10,0,0,1,0,10,
10,1,0,0,0,0,1,0,10,10,10,1,1,0,10,0,10,0,1,0,1,0,10,
0,1,10,0,1,0,0,0,1,0,0,0,10,0,1,1,1,0,10,10,0,10,0,
0,0,0,0,0,0,0,10,0,0,0,0,0,10,10,10,0,0,0,0,0,0,10]);

y:=CambridgeMatrix(3,F,23,\[
10,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
10,0,0,1,0,0,1,0,0,0,0,0,0,0,0,0,0,10,0,0,0,0,10,
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,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,1,0,0,0,0,0,0,10,0,10,0,10,0,0,0,0,10,
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,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,
1,10,1,0,0,0,0,0,0,10,1,0,1,1,0,0,10,1,10,1,0,1,1,
1,0,1,10,0,0,0,0,10,10,0,0,1,0,10,10,10,0,0,0,0,0,0,
0,0,0,1,1,0,0,0,1,0,0,10,10,0,1,0,0,0,10,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,
10,0,10,1,0,1,0,0,1,1,10,0,10,10,1,0,1,10,0,0,0,0,10,
0,1,10,0,0,0,0,10,0,0,0,0,10,0,0,0,0,0,0,10,0,0,0,
0,0,0,10,0,10,0,1,10,0,0,0,1,1,0,0,10,1,0,0,0,0,1,
10,0,0,1,10,1,0,0,0,1,10,0,0,0,0,0,0,10,1,0,0,0,10,
0,1,0,0,0,0,0,0,10,0,0,0,0,0,0,0,0,10,1,10,0,0,0,
0,1,10,10,0,0,0,0,10,0,0,0,0,0,0,0,0,0,0,10,0,0,0,
0,10,0,0,10,1,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,
1,10,1,0,10,1,0,10,0,10,0,1,1,0,10,0,10,1,0,1,1,1,0,
10,1,0,0,0,10,0,1,0,0,0,0,0,1,0,1,0,0,0,0,0,10,0,
1,10,0,0,0,0,0,10,1,0,1,0,0,0,0,0,0,1,10,1,0,1,0]);

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