/*
www-ATLAS of Group Representations.
2.G2(4).2 represented as 12 x 12 matrices over GF(25).
*/

F<w>:=GF(25);

x:=CambridgeMatrix(3,F,12,\[
16,7,0,23,0,14,7,16,14,23,0,16,
14,7,7,23,16,14,14,7,16,23,14,16,
23,23,0,23,23,14,14,7,0,7,7,14,
14,16,14,14,0,0,14,7,23,7,7,23,
23,7,0,14,23,0,16,23,7,0,0,23,
0,0,7,16,14,7,7,14,14,14,23,7,
7,23,14,0,16,7,7,0,7,23,7,16,
16,0,0,0,16,0,16,23,14,0,0,0,
14,7,14,7,7,16,23,16,0,16,7,0,
16,7,7,7,0,0,7,7,16,0,7,14,
7,7,16,23,16,16,16,0,7,16,7,16,
7,16,16,16,16,7,7,0,23,14,16,16]);

y:=CambridgeMatrix(3,F,12,\[
7,23,7,16,0,7,0,16,7,16,0,23,
14,23,14,23,0,7,7,16,7,0,23,14,
7,23,14,7,0,14,0,0,16,14,23,0,
14,23,14,14,16,0,0,23,14,14,7,7,
23,0,14,7,14,23,7,0,0,23,0,23,
23,14,7,7,16,7,23,23,0,23,16,14,
0,0,23,14,7,14,23,16,23,16,7,16,
23,23,14,14,16,7,23,14,7,0,0,7,
16,23,23,16,0,23,0,16,7,7,23,0,
0,0,16,23,0,16,23,23,14,23,7,0,
7,7,23,16,16,0,7,7,14,23,23,14,
16,0,23,16,7,7,0,23,7,16,23,16]);

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