//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<16, ext<K|Polynomial(K, [3, -1, 1])> where K is RationalField() |
[[11,17],[-22,13],[
13,8],[-31,20],[
-16,-4],[-9,15],[-14,18],[
5,2],[-6,7],[
-21,14],[-24,3],[22,-10],[
-5,-8],[-3,-9],[
-8,5],[23,-8],[6,-11],[
14,-3],[0,-6],[
21,-5],[3,5],[10,-6],[
14,-7],[-1,-2],[
7,-3],[14,-3],[9,3],[
-13,1],[-3,5],[
-5,5],[6,-1],[-12,0],[
0,0],[0,0],[1,
0],[0,0],[0,0],[
0,0],[0,0],[0,
0],[0,0],[0,0],[
0,0],[0,0],[0,
0],[0,0],[0,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,0],[0,0],[
0,0],[0,0],[0,
0],[0,0],[1,-1],[
1,0],[-1,0],[
1,0],[1,0],[0,0],[
-1,0],[1,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],[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,0],[1,
0],[0,0],[0,0],[
0,0],[0,0],[0,
0],[0,0],[0,0],[
0,0],[0,0],[0,
0],[0,0],[0,0],[
0,0],[0,0],[0,
0],[0,0],[0,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,0],[0,0],[
0,0],[0,0],[0,
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,0],[1,
0],[0,0],[0,0],[
0,0],[0,0],[0,
0],[0,0],[0,0],[
0,0],[0,0],[0,
0],[-11,11],[-15,1],[
-3,7],[-22,2],[
0,-6],[-13,5],[-17,5],[
0,2],[-7,2],[
-15,1],[-7,-5],[13,1],[
5,-5],[7,-5],[
-6,0],[11,2],[-10,-6],[
6,-7],[-8,-1],[
8,-10],[9,0],[-2,-5],[
0,-8],[-3,0],[
2,-4],[6,-7],[12,-3],[
-8,6],[4,3],[
2,4],[4,-3],[-8,5],[
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,0],[0,0],[
0,0],[8,2],[
-3,5],[7,0],[-3,7],[
-6,1],[3,4],[
2,5],[2,0],[0,2],[
-2,5],[-6,3],[
3,-4],[-4,-1],[-3,-1],[
0,1],[4,-4],[
0,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,0],[0,
0],[41,-12],[17,12],[
24,-12],[30,16],[
-16,12],[29,2],[34,5],[
6,-4],[12,2],[
21,11],[-6,16],[-11,-13],[
-19,5],[-20,4],[
7,4],[-7,-14]],
[[-2,-13],[16,-6],[
-4,-7],[22,-11],[
9,4],[10,-9],[14,-11],[
-3,-2],[5,-5],[
16,-7],[14,1],[-18,5],[
1,6],[-1,7],[
7,-4],[-17,3],[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,0],[0,
0],[0,0],[0,0],[
-13,9],[-13,-1],[
-4,7],[-20,0],[2,-6],[
-13,5],[-17,4],[
-1,2],[-6,1],[-14,0],[
-3,-6],[10,2],[
6,-4],[7,-3],[-3,-1],[
9,3],[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,0],[
0,0],[0,0],[0,
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,0],[0,
0],[0,0],[0,0],[
0,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,0],[
0,0],[0,0],[0,
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,0],[0,
0],[0,0],[0,0],[
0,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,0],[
0,0],[0,0],[0,
0],[0,0],[0,0],[
0,0],[0,0],[0,
0],[0,0],[0,0],[
0,0],[1,0],[
-12,-13],[16,-12],[-15,-5],[
22,-19],[14,3],[
2,-13],[7,-16],[-5,-1],[
4,-6],[15,-13],[
19,-3],[-17,9],[5,6],[
2,7],[6,-3],[
-17,8],[6,-11],[14,-3],[
0,-6],[21,-5],[
3,5],[10,-6],[14,-7],[
-1,-2],[7,-3],[
14,-3],[9,3],[-13,1],[
-3,5],[-5,5],[
6,-1],[-12,0],[-15,-7],[
9,-10],[-13,-3],[
12,-15],[11,0],[0,-10],[
1,-12],[-4,0],[
0,-4],[8,-10],[15,-5],[
-11,9],[7,3],[
6,4],[1,-3],[-12,8],[
7,-20],[27,-7],[
-4,-12],[39,-12],[7,9],[
19,-14],[26,-15],[
-2,-3],[10,-5],[
27,-8],[18,4],[-25,4],[
-3,9],[-6,9],[
9,-2],[-23,2],[0,0],[
1,0],[0,0],[0,
0],[0,0],[0,0],[
0,0],[0,0],[0,
0],[0,0],[0,0],[
0,0],[0,0],[0,
0],[0,0],[0,0],[
2,0],[0,1],[2,
-1],[2,1],[-2,1],[
3,0],[2,1],[1,
0],[0,0],[1,1],[
-1,0],[0,-1],[
-1,0],[0,0],[0,0],[
0,-1],[8,-4],[
7,2],[4,-4],[10,2],[
-2,3],[9,-2],[
10,-1],[1,-1],[3,0],[
7,1],[1,3],[
-4,-2],[-4,2],[-3,1],[
1,0],[-4,-2]]>;

return _LR;
