/*
www-ATLAS of Group Representations.
2.J2.2 represented as 14 x 14 matrices over GF(25).
*/

F<w>:=GF(25);

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

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

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