/*
www-ATLAS of Group Representations.
2.Co1 represented as 24 x 24 matrices over GF(11).
*/

F:=GF(11);

x:=CambridgeMatrix(3,F,24,\[
2,0,0,8,9,10,0,9,1,1,0,1,1,0,0,1,10,10,0,0,10,0,0,0,
7,1,0,6,4,2,2,3,10,8,10,0,9,10,10,10,1,1,0,1,0,0,0,0,
4,10,0,5,7,9,8,7,2,4,3,8,2,1,2,0,1,10,10,10,1,0,10,1,
4,1,1,5,8,9,10,7,2,2,1,0,1,0,1,2,0,10,10,0,10,0,0,1,
5,9,0,3,6,8,9,7,2,4,2,0,2,2,1,1,10,10,0,0,0,1,10,0,
8,0,10,4,1,2,1,1,0,9,0,0,0,10,10,10,0,0,0,0,10,10,0,0,
1,0,10,9,9,10,0,9,0,1,1,0,0,0,0,0,10,0,0,10,0,0,0,0,
8,1,10,5,3,1,2,2,10,9,10,0,10,10,10,10,0,0,1,0,0,0,0,0,
9,2,0,3,3,0,2,2,0,10,9,1,0,10,0,0,1,10,1,1,0,0,0,1,
9,10,10,9,2,6,7,2,4,6,4,10,3,1,2,2,10,8,10,10,9,1,10,1,
1,10,10,8,8,10,10,7,2,2,3,9,1,0,0,0,0,0,10,10,0,0,10,1,
4,10,1,5,7,9,9,8,2,3,2,10,2,1,1,1,0,10,10,0,0,0,10,1,
7,0,0,5,3,2,2,3,9,9,10,0,9,0,10,10,0,2,0,0,1,0,0,10,
8,2,2,2,6,7,0,6,2,2,2,1,0,1,1,2,10,0,10,1,10,1,0,1,
8,0,0,3,3,1,0,3,10,10,10,0,0,0,0,0,1,0,1,0,1,10,0,0,
6,2,0,6,4,3,3,2,10,7,9,1,9,9,9,0,0,1,0,0,10,10,1,0,
3,0,0,8,8,10,0,9,0,1,1,0,0,0,0,0,10,0,10,10,0,0,0,0,
0,0,0,1,1,0,0,2,10,0,9,1,0,0,0,0,0,10,1,0,0,0,0,10,
10,0,10,2,0,1,10,0,0,0,0,10,1,10,0,10,1,10,0,10,0,10,0,0,
7,10,10,4,2,2,0,2,10,9,10,1,10,10,10,0,0,1,0,0,10,0,1,10,
2,1,0,0,7,5,3,6,9,6,8,1,9,9,9,10,1,2,0,1,0,10,1,0,
5,1,0,9,5,4,3,4,9,7,10,10,9,10,10,9,1,2,0,0,1,10,0,0,
5,1,10,4,6,8,10,5,2,3,3,0,1,0,1,1,10,0,10,10,10,1,0,1,
6,0,1,5,7,9,9,8,1,2,1,0,2,1,1,1,10,10,0,0,10,0,0,0]);

y:=CambridgeMatrix(3,F,24,\[
0,0,1,0,0,0,10,1,1,0,10,0,1,0,1,0,1,0,0,1,0,1,0,1,
3,1,10,8,9,9,0,8,1,2,2,10,1,0,1,0,0,10,0,10,0,10,10,0,
7,0,10,7,4,3,1,4,8,8,9,0,10,10,10,10,0,0,1,10,0,10,1,10,
0,10,0,1,0,1,10,1,0,0,0,10,1,0,1,10,0,0,0,0,0,0,0,0,
6,0,2,5,7,9,8,9,1,2,1,10,1,1,2,1,1,10,10,0,0,1,0,1,
2,0,10,6,8,8,10,7,3,3,1,0,2,0,1,1,0,10,0,0,0,1,10,1,
1,0,0,1,8,5,4,7,8,5,8,1,8,10,8,10,0,3,1,1,1,10,1,10,
10,4,1,5,4,1,3,3,9,8,9,1,10,10,0,0,1,1,1,0,0,10,1,0,
10,0,1,3,2,1,10,3,10,10,9,0,1,0,1,0,1,0,1,0,0,0,1,0,
2,2,1,0,0,0,0,0,0,0,0,10,1,0,2,0,1,0,0,0,0,0,0,1,
6,3,0,0,7,4,4,6,7,6,8,0,9,9,10,9,1,1,1,10,1,9,1,10,
3,0,1,9,10,10,10,0,0,1,10,0,1,0,1,0,0,10,0,0,0,1,0,0,
7,0,10,5,3,2,2,2,10,8,0,0,9,10,9,10,0,1,0,0,0,10,0,10,
2,10,1,9,10,10,10,0,1,1,1,10,1,1,1,0,0,0,0,1,1,0,10,0,
2,10,1,8,10,10,10,0,10,1,10,1,10,1,0,1,10,0,0,0,0,1,1,10,
9,0,10,3,1,1,1,1,0,10,0,0,0,10,0,10,0,1,0,0,0,0,0,0,
0,9,10,1,7,5,3,7,9,6,8,1,9,10,8,9,0,2,1,1,1,0,0,10,
9,0,1,2,2,1,0,3,10,10,9,1,10,0,0,0,1,0,0,1,0,1,0,0,
5,1,10,7,5,2,2,4,9,9,8,1,10,10,10,10,1,0,1,0,1,0,0,0,
8,1,10,3,2,1,2,0,0,10,0,0,10,10,10,10,0,0,0,0,0,10,0,0,
2,9,9,5,6,9,9,5,3,4,3,10,2,0,0,0,10,10,10,10,10,0,10,0,
2,10,9,7,7,10,10,6,2,2,4,9,1,0,0,0,10,0,10,9,0,10,10,0,
5,1,0,8,5,4,3,3,9,7,10,0,9,10,9,10,0,2,0,0,0,9,1,10,
3,1,2,4,0,4,7,1,4,7,4,0,3,2,3,3,10,9,9,0,10,2,10,2]);

G<x,y>:=MatrixGroup<24,F|x,y>;
print "Group G is 2.Co1 < GL(24,GF(11))";