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

F:=GF(13);

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

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

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