//Standard generators of M11 are a and b where a has order 2, b has order 4, ab
//has order 11 and ababababbababbabb has order 4. Two equivalent conditions to
//the last one are that ababbabbb has order 5 or that ababbbabb has order 3.

_LR := rec < recformat< F: GrpFP, AI: SeqEnum, G: GrpMat > |
      F := FreeGroup(2) >;
_LR`AI := [ ];
//irreducible
_LR`G := sub<GL(10,Integers()) |
\[1,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,1,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,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,1,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,1,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,1,0,
0,0,0,0,0,0,0,1,0,0,
-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,
0,0,0,0,0,0,0,0,0,1]>;



return _LR;
