/*
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,
14,4,4,0,0,0,0,0,0,0,
12,13,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,
24,24,0,12,22,2,21,8,15,1,
24,20,14,5,2,0,23,10,17,22,
20,14,12,18,20,15,17,13,19,6]);

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