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

F<w>:=GF(25);

x:=CambridgeMatrix(3,F,10,\[
0,4,0,0,0,0,0,0,0,0,
4,0,0,0,0,0,0,0,0,0,
0,0,0,4,0,0,0,0,0,0,
0,0,4,0,0,0,0,0,0,0,
0,0,0,0,0,4,0,0,0,0,
0,0,0,0,4,0,0,0,0,0,
0,0,0,0,0,0,0,0,4,0,
0,0,0,0,0,0,0,0,0,4,
0,0,0,0,0,0,4,0,0,0,
0,0,0,0,0,0,0,4,0,0]);

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

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