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

F:=GF(11);

x:=CambridgeMatrix(3,F,12,\[
0,1,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,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,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,1,0,0,
0,0,0,0,0,0,1,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,1,0]);

y:=CambridgeMatrix(3,F,12,\[
0,0,1,0,0,0,0,0,0,0,0,0,
2,10,10,0,0,0,0,0,0,0,0,0,
7,8,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,0,0,1,0,0,0,0,0,
0,0,0,0,0,0,0,1,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,1,0,
1,3,3,7,6,6,9,7,1,0,9,0,
3,8,4,2,8,1,1,10,0,1,0,0,
0,0,0,0,0,1,0,0,0,0,0,0,
3,6,5,7,2,3,2,7,0,0,1,1]);

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