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

F<w>:=GF(25);

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

y:=CambridgeMatrix(3,F,6,\[
4,4,1,0,1,0,
0,3,1,3,2,1,
4,4,0,3,0,2,
3,4,0,3,2,1,
1,4,0,4,4,0,
3,2,4,4,0,2]);

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