//Standard generators of A7 are a and b where a is in class 3A, b has order 5
//and ab has order 7.
//Standard generators of the double cover 2.A7 are preimages A and B where A has
//order 3, B has order 5 and AB has order 7. Any two of these conditions implies
//the third.
//Standard generators of the triple cover 3.A7 are preimages A and B where B has
//order 5 and AB has order 7.
//Standard generators of the sextuple cover 6.A7 are preimages A and B where B
//has order 5 and AB has order 7.
_LR := rec < recformat< F: GrpFP, AI: SeqEnum, G: GrpMat > |
      F := FreeGroup(2) >;
_LR`AI := [ [ a^-1, b ] ] where a is (_LR`F).1 where b is (_LR`F).2;
//one constituent

_LR`G := sub< GL(40,Integers()) |
\[ 7,7,-2,-3,8,-7,1,3,4,1,-1,-1,-4,-5,3,-8,-4,1,-6,-3,
-8,12,-7,9,7,1,7,0,0,-1,-3,1,-10,-2,0,-9,9,-14,5,-2,-10,
-4,1,6,-12,5,2,-2,-3,-2,-2,-1,6,7,-2,7,4,-5,9,6,5,-15,
10,-9,-7,3,-5,0,0,5,5,-2,8,1,-4,5,-8,14,-11,1,1,-6,0,0,
0,0,3,-4,3,5,1,1,-2,-2,-2,3,1,5,-7,-3,5,6,-7,-2,4,-6,
0,0,0,-6,-5,4,1,2,7,4,5,-10,11,2,7,4,0,-2,7,-7,-2,2,4,
0,1,-1,-5,-4,4,-7,-3,0,-5,-5,-4,9,-5,6,5,0,7,0,0,-2,-4,
1,-7,-2,2,-7,8,-11,4,-2,10,1,0,-5,10,-5,-2,0,4,2,3,1,
-7,-7,2,-6,-3,5,-10,-7,-2,15,-10,7,7,-4,5,0,0,-6,-7,3,
-7,-1,6,-4,10,-16,12,-1,4,7,-4,-1,9,-8,3,3,4,3,0,-1,-2,
-4,1,-8,-3,4,-9,-3,-8,14,-8,10,9,0,9,0,0,-2,-4,1,-11,-2,
1,-10,13,-19,8,-2,7,-7,2,-5,5,2,-3,-4,1,3,4,3,-5,-5,-1,
2,0,7,-7,-6,7,7,-8,-1,2,-8,-3,0,0,-8,-6,4,3,2,9,7,1,
-5,13,2,-4,5,-3,4,-2,-4,5,2,2,1,-3,-2,3,2,0,-2,0,-1,0,
2,-4,0,0,1,3,3,5,0,0,2,1,0,-3,0,-2,-5,5,-6,-1,0,8,8,
-3,-3,12,-8,-2,5,3,0,2,-1,-4,-5,4,-10,-5,1,-6,-4,-8,12,
-6,10,6,1,8,0,0,-1,-3,0,-11,-3,0,-10,8,-11,3,-3,-21,-5,
-2,11,-18,7,9,-3,-4,1,-5,-2,13,12,-7,13,7,-3,10,11,6,-19,
12,-13,-7,4,-6,0,0,6,7,-2,12,3,-6,8,-10,14,-11,3,-13,-11,
1,6,-13,10,2,-5,-5,1,0,1,8,8,-6,14,6,0,8,6,13,-18,9,
-15,-9,-2,-11,0,0,1,4,0,16,4,0,15,-14,19,-6,4,-5,0,1,3,
-6,0,1,0,0,-2,-1,-1,2,4,0,2,2,-4,4,2,-1,-4,5,-3,-2,3,
1,0,0,3,2,-2,2,0,-2,-1,-1,2,-5,0,14,3,0,-7,10,-6,1,0,
5,3,1,1,-9,-9,3,-8,-5,3,-12,-6,-9,22,-14,13,10,-3,6,-1,
0,-5,-6,2,-13,-1,4,-8,13,-23,14,-2,3,6,-3,-3,9,-5,1,3,3,
2,0,0,-2,-4,0,-6,-2,5,-7,-3,-6,11,-6,8,7,-1,5,1,0,-2,
-3,1,-8,-2,1,-7,9,-13,7,-1,-23,-1,-1,15,-25,6,8,-1,-5,-4,
-6,-3,14,16,-5,11,8,-10,16,13,2,-28,21,-15,-11,10,-5,1,0,
13,12,-5,12,1,-11,3,-11,21,-24,2,-5,3,0,5,-8,-1,3,1,0,
-3,-3,-2,3,4,1,0,1,-6,6,4,-2,-8,7,-3,-2,6,2,0,0,6,4,
-2,1,0,-5,-3,-1,4,-10,0,-10,-6,3,7,-17,8,-1,-3,-5,-5,-2,
-1,6,9,-1,9,5,-9,14,7,7,-24,16,-13,-13,5,-9,0,0,8,8,-3,
13,1,-6,8,-15,26,-19,1,-8,5,-3,5,-4,-1,3,3,-1,-1,-3,-2,
6,5,-1,0,1,-3,5,5,-3,-9,7,-2,-2,5,1,1,0,6,5,-2,1,-1,
-6,-3,-3,7,-10,0,1,-3,0,-2,3,2,-2,-1,-1,1,2,1,0,-1,-1,
2,0,3,-1,-1,4,-1,-1,-1,-1,-3,-3,0,0,-2,-1,1,4,1,2,5,-4,
4,3,1,-17,2,-3,11,-13,2,5,2,-3,-2,-4,-3,11,11,-3,6,4,-6,
11,9,2,-19,13,-11,-7,7,-1,1,0,8,7,-2,7,0,-7,1,-8,15,-17,
1,5,1,0,-4,7,-2,-2,1,1,1,1,1,-3,-4,1,-3,-2,3,-4,-3,-2,
7,-5,5,3,-2,1,0,0,-3,-2,0,-4,-1,2,-2,4,-6,6,0,5,1,0,
-4,7,-2,-2,1,1,1,1,1,-3,-4,1,-3,-2,3,-4,-3,-1,6,-5,4,2,
-2,1,0,0,-3,-2,1,-3,-1,2,-1,2,-4,5,0,-3,3,-2,2,-1,-2,4,
1,1,1,-2,-1,2,1,-1,-1,0,0,-1,2,-3,1,0,2,2,2,2,0,0,2,
1,0,-3,-1,-2,-3,2,-4,-1,-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,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,-5,-1,0,4,-7,0,4,-1,1,0,-2,-1,2,3,-1,2,2,-2,2,2,1,
-4,3,-4,-1,2,1,0,0,2,1,0,2,1,-1,0,1,-1,-3,1,-5,-1,0,4,
-7,0,4,-1,1,0,-2,-1,2,3,-1,2,2,-2,2,2,1,-4,3,-4,-1,3,
1,0,0,2,1,0,2,1,-1,0,1,-1,-3,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,1,0,0,0,0,0,0,0,0,
0,0,0,0,0,3,-3,2,-2,1,2,-4,-1,-1,-1,2,1,-2,-1,1,1,0,0,
1,-2,3,0,-1,-2,-2,-1,-2,0,-1,-2,-1,0,2,0,3,3,-2,3,2,1,
-4,-2,1,3,-9,4,1,-1,-2,-3,-1,0,2,4,-1,3,3,-6,6,4,1,-13,
10,-4,-6,4,-4,0,0,7,6,-3,4,-1,-5,1,-5,12,-12,0,4,0,1,
-3,3,1,-3,0,-1,-1,1,1,-2,-2,1,-1,-1,0,0,-1,0,-1,0,2,-1,
-1,-2,0,0,0,1,-1,0,-1,0,1,-2,4,0,0,5,1,0,-4,7,-4,0,1,
3,2,0,1,-4,-5,1,-4,-2,4,-6,-4,-1,8,-5,5,4,-2,3,0,0,-4,
-3,1,-4,-1,2,-3,7,-10,7,0,9,1,1,-7,10,-1,-5,1,0,0,2,2,
-5,-6,2,-4,-3,3,-4,-4,-1,7,-5,6,2,-3,-1,0,0,-3,-2,1,-3,
-1,2,0,0,-2,5,-1,1,1,-1,-1,4,-3,1,1,2,2,0,0,-1,-2,0,
-2,-1,3,-4,-2,0,5,-4,2,3,-2,3,0,0,-3,-3,2,-2,0,2,-1,4,
-7,5,0,1,1,-1,-1,4,-1,-1,1,0,1,1,0,0,-1,0,-1,-1,2,-2,
-1,-1,6,-4,2,2,-1,1,0,0,-3,-2,0,-2,0,2,-1,2,-4,5,0,-8,
2,-2,6,-8,-2,8,0,2,1,-4,-2,4,4,-2,1,2,-2,1,4,-1,-5,4,
-2,0,4,3,0,0,4,2,0,0,0,-3,-3,3,-3,-5,0,-6,-2,1,5,-11,
3,3,-2,-1,-2,-2,-1,3,5,-1,4,3,-5,6,4,1,-8,6,-6,-4,4,-1,
0,0,4,3,-1,4,1,-3,1,-2,5,-7,1,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,2,-2,-1,1,0,1,0,0,-1,-1,1,0,1,1,
0,1,-2,2,1,3,-3,2,-2,1,2,-4,-1,-1,-1,2,1,-2,-1,1,1,0,
0,1,-2,4,-1,-1,-3,-2,-2,-2,0,0,-2,-1,1,3,1,3,4,-4,5,1,
1,3,-3,2,-2,1,2,-4,-1,-1,-1,2,1,-2,-1,1,1,0,0,1,-2,4,
-3,1,-2,-2,-2,-3,0,0,-1,0,0,3,0,2,4,-4,6,0,0,4,0,1,-3,
3,3,-5,0,-3,-2,2,1,-1,-1,1,0,-1,-1,2,0,0,-2,1,2,-3,-1,
-4,0,0,1,2,-1,0,-1,-1,2,-6,9,-3,-1 ],
\[ 10,10,-1,-5,11,-8,-3,5,3,-2,1,-1,-5,-5,5,-12,-5,-2,-5,
-3,-13,15,-6,14,7,3,8,0,-1,2,-2,-1,-15,-4,-2,-13,9,-13,2,
-5,-15,2,-2,10,-15,1,9,0,-1,-1,-6,-3,9,9,-3,6,4,-5,8,8,
0,-14,11,-8,-4,7,0,1,0,7,6,-2,5,1,-7,-1,-3,6,-13,1,8,
14,0,-2,5,-9,-2,7,3,-6,-2,-3,-4,-2,8,-14,-5,-10,2,0,-15,
3,4,13,2,9,9,0,-1,10,4,-4,-15,-6,-9,-17,6,-3,-13,-7,1,8,
1,1,-5,-2,-1,4,0,-7,-2,-2,0,3,4,-6,0,-12,7,4,-11,-3,8,
5,-1,9,4,0,-1,11,6,-5,-7,-3,-9,-11,2,3,-14,-4,2,2,-1,-2,
4,1,-4,3,-2,-2,2,0,0,0,1,-2,-1,-3,2,1,-1,-3,3,3,-2,-1,
-1,-1,1,3,2,-1,-1,-1,-3,0,-5,10,-6,-3,9,4,2,-5,6,-2,-7,
3,0,-4,2,0,-5,-3,5,-7,-3,-5,1,-2,-6,3,0,7,0,2,2,0,-1,
3,1,-2,-7,-3,-2,-6,1,2,-4,-3,5,2,1,-3,4,-1,-4,2,0,-2,1,
0,-3,-2,3,-4,-2,-3,1,-1,-2,0,1,4,-2,0,0,-1,0,2,1,-1,-3,
-2,-2,-2,-2,5,-4,-3,20,11,2,-10,15,-10,-7,5,5,-4,2,0,-12,
-10,9,-18,-7,-4,-7,-7,-16,20,-8,19,8,4,10,0,-2,2,-3,-2,
-20,-6,-1,-18,14,-18,3,-6,9,8,-1,-4,10,-6,-5,5,1,-3,2,-1,
-4,-4,5,-10,-4,-3,-2,-3,-9,9,-3,10,5,2,7,0,0,2,-1,-1,
-11,-3,-2,-10,6,-6,-1,-4,-8,3,-1,6,-7,-3,7,0,2,1,-4,-2,
4,4,-1,2,1,0,1,2,-2,-1,1,-4,1,5,4,1,0,1,0,0,1,1,-1,
-3,4,-8,-1,2,-12,-2,2,9,-19,4,5,-2,-2,-4,-5,-2,6,9,-1,7,
5,-9,12,7,5,-23,16,-12,-10,7,-3,0,1,9,8,-3,10,1,-7,3,-8,
17,-19,1,9,5,-1,-4,9,-7,1,2,5,2,1,0,-6,-6,3,-7,-4,3,-9,
-6,-8,20,-12,8,10,-1,9,0,0,-5,-7,2,-10,0,4,-8,13,-23,13,
-1,19,9,-1,-10,23,-12,-6,5,6,2,4,0,-11,-12,7,-16,-9,6,
-14,-11,-10,26,-17,18,12,-3,11,0,-1,-7,-9,3,-18,-4,6,-12,
15,-24,16,-4,16,3,2,-10,14,-3,-9,2,1,-2,5,2,-9,-8,5,-9,
-5,0,-6,-6,-7,15,-8,12,4,-3,2,-1,-1,-2,-4,0,-10,-3,2,-5,
3,-6,6,-4,6,-6,4,-3,-4,4,-2,-4,0,-1,1,2,-5,-2,1,3,1,-2,
0,-2,4,-1,-1,-2,-2,-2,-3,-1,1,-2,-1,0,4,2,3,4,0,1,3,2,
0,6,-3,0,4,-4,2,3,1,0,-1,-1,1,-1,0,-4,-1,1,-2,0,-5,6,
-3,4,5,2,6,0,1,0,-1,0,-5,0,-1,-6,5,-8,2,-1,-2,2,0,2,
-5,-1,3,0,1,-1,-2,-1,1,2,0,0,1,-3,1,2,-3,-2,3,1,0,3,1,
0,0,4,2,-1,-1,0,-3,-3,2,-2,-4,-1,5,0,1,-3,3,-1,-1,-1,1,
0,1,1,-3,-3,1,-2,-1,1,-3,-2,-3,8,-5,4,4,-1,1,0,0,-2,-2,
0,-4,0,2,-2,4,-8,6,0,-5,-1,-1,2,-1,1,1,0,-1,1,0,0,3,2,
-2,3,1,2,1,1,2,0,-1,-4,0,-1,0,0,1,-2,-1,1,3,2,1,3,-2,
0,2,1,-12,-5,1,8,-19,8,5,-3,-4,-3,-4,-1,7,9,-3,10,6,-9,
12,9,6,-24,17,-11,-10,4,-7,0,2,9,9,-3,11,2,-8,6,-11,22,
-19,1,8,7,1,-3,3,-4,-3,3,1,-4,0,-1,-4,-2,5,-8,-3,-6,1,
-1,-10,6,0,8,2,5,5,0,-1,4,1,-3,-9,-3,-4,-10,5,-5,-4,-3,
0,3,-2,1,2,-3,2,1,1,1,0,-1,1,0,0,-2,-1,1,-2,0,-4,7,-4,
3,4,1,4,0,0,-1,-2,0,-4,0,0,-4,5,-9,4,0,-4,-5,0,1,-2,3,
1,-2,-1,2,0,1,2,1,-3,5,2,3,0,1,6,-4,1,-4,-2,-3,-4,0,0,
-2,0,1,5,1,2,6,-3,4,2,2,-1,-3,0,-1,2,1,0,-1,0,2,1,1,
0,-1,-2,2,1,4,-2,-1,3,2,-2,-1,1,-3,-1,0,0,-3,-2,1,2,1,
2,3,0,-2,5,1,3,3,-2,-2,8,-5,2,1,3,3,1,0,-2,-4,0,-4,-2,
6,-8,-4,-3,13,-9,5,7,-2,6,0,0,-5,-5,2,-6,0,4,-4,9,-16,
11,0,9,4,-1,-6,14,-6,-3,2,3,2,3,1,-5,-7,2,-7,-4,7,-9,
-7,-3,15,-10,8,7,-4,5,0,0,-6,-6,2,-7,-1,5,-4,8,-14,12,
-1,1,1,-1,-1,3,-1,0,1,0,1,0,0,0,-1,0,-1,-1,1,-1,0,-2,
4,-3,2,2,0,1,0,0,-1,-1,0,-2,0,0,-1,1,-3,3,0,2,5,0,0,
-1,-1,-2,3,-1,-4,-1,-1,0,1,3,-4,-1,-6,5,2,-5,-5,6,2,-3,
5,1,0,0,6,4,-3,-2,-2,-6,-5,-2,7,-10,-2,9,5,2,-4,4,-3,
-5,2,1,-4,1,0,-5,-3,5,-7,-3,-4,0,-3,-6,4,-1,6,1,2,3,0,
0,2,0,-1,-6,-2,-1,-6,3,-2,-2,-2,-4,0,-1,3,-4,1,2,0,-1,
0,-1,-1,3,3,-1,2,1,-2,3,3,-1,-1,1,-2,0,2,0,0,0,1,1,-1,
1,1,-1,0,-1,0,-1,1,4,2,1,-2,2,-1,-3,1,0,-2,1,0,-2,-1,
2,-3,-1,-2,1,-1,-2,1,0,2,0,1,1,0,0,1,0,-1,-2,-1,-1,-2,
0,1,-2,-1,-9,-6,0,5,-8,5,2,-3,-2,1,0,0,5,5,-4,8,4,1,4,
3,9,-11,5,-10,-5,-2,-4,0,1,0,1,1,10,3,1,9,-7,10,-3,2,
-10,-6,-1,5,-7,4,5,-3,-1,3,-1,0,5,4,-5,8,4,3,1,3,7,-6,
2,-8,-2,-2,-3,0,1,-2,0,1,8,3,1,7,-3,3,1,3,0,-3,-1,-1,
3,1,1,-1,0,3,1,1,0,-2,-2,2,0,5,-3,-1,4,0,-1,0,1,-4,-3,
0,0,-3,-1,1,2,0,2,4,-1,0,4,1,-4,-4,-2,0,4,1,2,-1,0,5,
1,1,2,-1,-4,4,1,8,-4,-1,6,2,-4,-2,2,-6,-2,0,1,-6,-3,3,
3,2,4,6,-1,-2,8,2,7,3,-3,-5,14,-5,-1,2,2,4,3,1,-3,-6,
0,-5,-4,8,-10,-5,-3,17,-12,8,8,-5,4,0,0,-7,-7,3,-7,0,5,
-3,7,-15,14,-1,1,2,-3,-1,8,-4,2,1,2,4,1,0,0,-3,-1,-2,
-2,7,-7,-3,0,10,-8,3,6,-4,4,0,1,-6,-5,3,-3,1,4,-1,5,
-11,10,0,-1,3,-2,1,3,-4,3,1,2,2,-1,-1,1,-1,0,-2,-1,3,
-3,-1,-2,6,-4,2,4,0,4,0,0,-2,-2,1,-3,0,1,-3,5,-9,5,0,
-1,-2,4,1,-9,4,-3,-1,-2,-5,-2,0,0,3,2,2,2,-8,9,3,2,-13,
10,-5,-8,4,-5,0,-1,6,6,-3,5,-1,-4,2,-7,15,-12,0,-13,-2,
-2,8,-11,3,6,-1,-2,1,-3,-2,8,8,-4,7,4,-3,6,7,3,-12,8,
-7,-4,3,-2,0,0,5,4,-1,6,1,-4,3,-5,8,-8,1 ] >;

return _LR;
