//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 := [ ];
//two constituents
_LR`G :=
MatrixGroup<10, ext<K|Polynomial(K, [2, 0, 1])> where K is RationalField() |
[[-1,-1],[3,0],[
2,-2],[1,2],[
1,1],[1,1],[0,1],[
-1,2],[-1,0],[
0,-1],[-1,1],[-1,0],[
-1,1],[0,0],[
1,1],[1,0],[-1,-1],[
-1,-1],[0,0],[
-1,0],[3,0],[-1,2],[
2,2],[-3,0],[
-2,0],[-2,0],[-1,0],[
-2,-1],[1,-1],[
2,0],[0,0],[0,0],[
0,0],[0,0],[
-1,0],[0,0],[0,0],[
0,0],[0,0],[1,
0],[0,0],[0,-3],[
-4,-2],[3,-1],[
0,-1],[2,-1],[4,0],[
6,1],[2,1],[
-1,-1],[-1,1],[0,0],[
-1,1],[0,0],[
1,1],[0,0],[-1,-1],[
-1,-1],[0,0],[
-1,0],[4,2],[0,0],[
2,1],[-1,0],[
1,-2],[0,-1],[-1,2],[
0,2],[2,1],[2,
1],[-2,-1],[0,0],[
-2,-1],[0,0],[
-2,1],[0,1],[2,-1],[
1,-1],[0,0],[
0,-1],[0,0],[0,0],[
0,0],[0,0],[0,
0],[0,0],[0,0],[
0,0],[-1,0],[
0,0],[0,0],[0,-3],[
-4,-2],[4,-1],[
0,-1],[2,-1],[4,0],[
6,1],[2,1],[
-1,-1]],
[[0,1],[-1,-2],[
-1,0],[2,-2],[
2,-1],[2,1],[-1,1],[
1,1],[2,1],[
-1,1],[0,-2],[7,0],[
2,-4],[3,5],[
0,2],[0,2],[2,1],[
-1,3],[-2,1],[
1,-3],[-1,0],[3,0],[
1,-2],[1,2],[
1,1],[0,0],[1,1],[
0,2],[-2,1],[
0,-1],[0,0],[0,3],[
2,1],[-4,1],[
-2,1],[-2,-1],[-1,0],[
-2,-1],[-2,-1],[
2,0],[0,0],[0,3],[
2,1],[-4,1],[
-2,1],[-2,0],[-1,0],[
-3,-1],[-2,-1],[
2,0],[1,-1],[3,0],[
3,-3],[1,2],[
0,0],[3,1],[1,3],[
0,4],[0,0],[2,
-1],[-3,0],[1,-1],[
-3,0],[2,0],[
1,2],[0,-1],[1,-2],[
2,-1],[-2,0],[
-3,-1],[3,0],[-1,4],[
7,2],[-6,1],[
-2,-1],[-2,2],[-4,2],[
-7,0],[0,-1],[
4,2],[0,-1],[0,1],[
-1,-1],[-1,1],[
-2,0],[-1,-2],[3,-1],[
2,-1],[-1,-1],[
1,-1],[0,0],[0,3],[
4,2],[-4,1],[
-1,1],[-2,1],[-4,0],[
-6,-1],[-2,-1],[2,1]]>;

return _LR;
