/*
www-ATLAS of Group Representations.
6.A7 represented as 12 x 12 matrices over GF(25).
*/

F<w>:=GF(25);

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

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

G<x,y>:=MatrixGroup<12,F|x,y>;
print "Group G is 6.A7 < GL(12,GF(25))";