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

F<w>:=GF(25);

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

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

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