//Standard generators of 2F4(2)' = T are a, b where a is in class 2A,
//b has order 3 and ab has order 13.
_LR := rec < recformat< F: GrpFP, AI: SeqEnum, G: GrpMat > |
      F := FreeGroup(2) >;
_LR`AI:=[[a,b*a*b*a*b*a*b*a*b^-1*a*b*a*b*a*b*a*b*a*b^-1*a]]
                            where a is (_LR`F).1 where b is (_LR`F).2;
//two constituents interchanged by _LR`AI[1]

_LR`G :=
MatrixGroup<26, ext<K|Polynomial(K, [2, 0, 1])> where K is  RationalField() |
[[-9,2],[-1,6],[
1,-3],[-13,0],[
-2,4],[-4,-6],[1,2],[
-8,1],[-10,-3],[
2,0],[-7,-11],[-7,-2],[
3,-4],[-5,-3],[
2,-1],[-2,2],[-3,-8],[
-5,-5],[-15,4],[
-3,-14],[7,0],[-5,-6],[
3,1],[-5,-12],[
-14,-18],[-2,-5],[0,-1],[
0,1],[3,-3],[
4,-2],[9,-2],[0,-3],[
9,9],[-2,-3],[
4,7],[17,2],[4,3],[
11,13],[7,3],[
4,7],[16,6],[5,-2],[
7,6],[10,8],[
-3,3],[13,10],[8,6],[
-6,21],[9,5],[
7,7],[4,4],[1,-1],[
-3,-7],[0,0],[
2,0],[1,-4],[-10,5],[
10,-7],[-10,1],[
7,-1],[-2,-6],[2,7],[
6,3],[-7,-6],[
11,5],[6,-4],[-6,18],[
1,2],[4,6],[
-1,9],[2,-11],[5,1],[
-3,2],[-1,-7],[
0,2],[1,-2],[7,-12],[
7,-1],[11,6],[
11,1],[-9,1],[13,12],[
9,-4],[-3,6],[
7,-3],[2,4],[1,11],[
5,-3],[-14,17],[
3,10],[-13,6],[-3,14],[
-5,2],[6,1],[
-18,13],[-12,14],[11,17],[
-19,14],[1,-5],[
-8,19],[6,-2],[-12,16],[
-14,23],[-8,3],[
3,-4],[5,2],[3,-1],[
4,1],[1,4],[9,
-4],[-7,7],[7,0],[
-4,7],[8,11],[
-3,9],[-3,7],[5,10],[
2,6],[-5,22],[
7,2],[-4,12],[-5,16],[
5,-1],[0,12],[
-2,6],[-19,8],[4,6],[
-4,6],[-1,0],[
4,1],[-1,-2],[3,3],[
2,-3],[1,0],[
5,2],[4,-5],[5,7],[
-2,0],[-3,5],[
13,7],[-2,4],[2,8],[
6,6],[2,8],[1,
10],[3,-1],[0,6],[
-1,8],[0,4],[
3,5],[4,6],[-12,16],[
8,6],[-1,4],[
-2,-2],[2,-2],[6,-2],[
0,-2],[3,2],[
3,0],[-2,-1],[5,5],[
-10,1],[11,0],[
2,3],[-5,4],[-1,5],[
2,1],[-4,3],[
0,-2],[-8,8],[3,2],[
0,4],[-1,4],[
8,-7],[1,10],[-8,1],[
-7,-6],[-4,2],[
1,4],[7,7],[2,4],[
13,5],[10,-2],[
-10,3],[16,9],[3,-5],[
-1,9],[3,-8],[
2,3],[4,7],[-6,-7],[
-7,17],[5,2],[
-15,6],[-1,10],[-6,-3],[
5,0],[-13,12],[
-6,10],[16,14],[-14,11],[
-4,-8],[4,10],[
2,-6],[-6,13],[-6,23],[
-8,5],[2,0],[
0,-1],[1,1],[3,1],[
1,-1],[1,2],[
-1,0],[1,0],[1,1],[
-1,1],[0,2],[
0,2],[-2,2],[0,2],[
-3,0],[0,0],[
-2,2],[-2,1],[3,0],[
-2,4],[-2,1],[
-2,2],[-2,1],[0,3],[
3,4],[0,1],[
-3,1],[3,2],[-2,-3],[
-1,4],[1,-1],[
-2,-3],[8,0],[-2,2],[
2,-1],[10,-1],[
-6,2],[2,2],[3,0],[
2,3],[0,2],[
-1,0],[-5,2],[-5,3],[
-1,4],[-4,-2],[
8,-1],[2,9],[6,1],[
-6,1],[-7,-3],[
-1,-3],[1,3],[3,-1],[
-1,0],[3,5],[
4,0],[-4,2],[0,1],[
2,1],[-1,3],[
2,-1],[-5,4],[-1,5],[
-2,0],[-2,2],[
2,2],[1,1],[-4,4],[
-2,4],[2,3],[
-9,5],[0,-1],[-6,3],[
0,1],[-7,5],[
-10,6],[-3,0],[5,-2],[
1,-2],[1,2],[
4,-2],[-1,-5],[3,3],[
0,-3],[2,2],[
8,2],[-2,-1],[4,3],[
8,0],[0,4],[8,
2],[-6,-1],[-1,-1],[
2,3],[2,1],[
12,-1],[5,5],[-1,0],[
11,3],[-1,-1],[
7,2],[13,5],[1,3],[
0,-2],[0,0],[
2,0],[0,-1],[0,0],[
2,-1],[0,3],[
0,-2],[3,1],[2,2],[
2,0],[1,1],[1,
2],[0,1],[4,2],[
2,-1],[2,1],[
3,1],[-1,-1],[5,1],[
0,2],[-4,3],[
0,1],[2,0],[4,-1],[
2,0],[-3,0],[
-2,0],[1,0],[-2,0],[
-1,3],[0,-1],[
-3,1],[-1,-2],[-4,-3],[
-2,1],[1,-2],[
-6,-1],[0,-1],[-5,-2],[
1,0],[-1,0],[
0,-2],[-1,-2],[-6,-2],[
-2,-3],[-2,1],[
-5,-5],[-3,1],[-2,-2],[
-2,-4],[1,-1],[
-3,0],[-1,2],[0,-2],[
-3,1],[-1,1],[
1,-2],[3,1],[-3,-1],[
-1,-2],[2,1],[
-3,-2],[-2,-2],[0,-1],[
-3,0],[-1,-1],[
-1,0],[-3,-3],[-4,-2],[
-7,1],[0,-5],[
3,1],[-3,1],[2,1],[
-2,-3],[-2,-5],[
1,-2],[2,1],[1,-2],[
-2,0],[2,1],[
3,-4],[-4,3],[3,-1],[
4,-1],[7,2],[
4,-5],[1,3],[8,2],[
-2,-2],[2,-1],[
7,-1],[1,-1],[2,2],[
6,1],[3,-1],[
5,4],[2,-2],[7,3],[
1,-2],[3,4],[
3,7],[-1,1],[-2,1],[
-2,0],[-2,-2],[
-2,1],[-1,-1],[-1,0],[
3,-1],[0,-2],[
2,-3],[2,-3],[0,-1],[
2,-3],[-1,-3],[
-2,-3],[4,-2],[-1,0],[
-1,-3],[0,-3],[
-6,-2],[3,-4],[4,-1],[
4,-2],[2,-1],[
0,-2],[0,-2],[0,-1],[
-3,-1],[-3,2],[
4,0],[-6,-3],[1,6],[
1,-3],[-6,6],[
-1,-2],[-9,1],[-2,7],[
0,-6],[-10,2],[
1,-1],[-7,-2],[2,3],[
2,1],[2,-4],[
0,-2],[-9,-2],[0,-2],[
-4,4],[-17,-6],[
-3,3],[-2,-4],[-4,-6],[
2,-1],[4,-1],[
-1,-2],[-2,4],[7,-2],[
-5,0],[4,2],[
-7,-6],[2,2],[-2,-4],[
-9,0],[5,3],[
-5,-4],[-2,3],[3,0],[
-12,0],[-2,1],[
0,4],[-3,2],[8,-2],[
-5,3],[-7,-3],[
7,-7],[-5,-2],[2,3],[
7,3],[0,2],[
-2,3],[3,2],[-4,-3],[
-2,6],[0,0],[
-3,-1],[6,-2],[-2,2],[
-1,-1],[4,-3],[
-9,1],[0,-2],[-1,-2],[
-2,1],[-1,-1],[
-1,1],[-8,-1],[-8,0],[
-3,5],[-9,-5],[
6,-3],[1,3],[5,-1],[
-9,-1],[-13,-2],[
-3,-2],[7,-1],[-3,0],[
0,4],[4,-2],[
-6,0],[7,5],[-11,-4],[
2,1],[-4,-3],[
-14,3],[1,1],[-5,-3],[
-8,5],[-3,0],[
-17,-1],[0,2],[-4,2],[
-7,0],[5,-1],[
-4,3],[-10,-2],[-3,-12],[
-8,0],[1,0],[
10,2],[1,4],[0,1],[
1,1],[0,-1],[
-3,1],[2,-1],[-2,0],[
3,0],[-2,3],[
1,2],[1,1],[-5,-2],[
1,1],[0,-1],[
1,1],[-3,-3],[-1,0],[
-3,-2],[-3,-2],[
2,3],[-3,-2],[3,0],[
0,2],[1,0],[
-3,-2],[-4,0],[-1,0],[
1,-1],[-3,-1],[
-1,1],[3,-3],[-5,0],[
3,1],[-1,-4],[
-1,0],[0,-5],[-7,-1],[
4,-1],[-1,-6],[
-1,-1],[1,-2],[-5,-5],[
-2,0],[2,-2],[
0,-3],[1,-2],[2,-2],[
-3,-2],[8,-5],[
-3,-2],[4,-1],[7,0],[
1,1],[0,2],[0,
3],[2,0],[-4,2],[
6,1],[-2,1],[
-1,4],[-1,1],[-6,5],[
2,4],[-8,-2],[
-4,7],[-5,0],[-6,3],[
-4,1],[1,1],[
-6,-1],[-6,0],[-4,4],[
-6,2],[-1,3],[
-15,2],[-1,4],[-5,1],[
-6,1],[-1,-1],[
-3,0],[-4,1],[0,-1],[
-4,-2],[-4,2],[
0,-1],[-1,-1],[-1,-2],[
-3,-5],[-3,-1],[
1,-5],[-3,-5],[-1,-4],[
-4,-5],[1,-3],[
-1,1],[1,-6],[0,-5],[
-9,-3],[3,-6],[
0,-1],[1,-8],[-1,-1],[
1,-5],[0,-6],[
1,-1],[-1,0],[-4,1],[
0,0],[-1,-3],[
3,-1],[0,0],[2,1],[
-3,-2],[-1,0],[
1,0],[3,-3],[1,1],[
-2,-2],[-2,0],[
2,-4],[-1,-1],[2,-3],[
2,-3],[-6,0],[
6,-1],[1,2],[0,1],[
0,1],[6,0],[7,
0],[1,-1]],
[[-4,-5],[2,7],[
8,-2],[-11,-2],[
4,-2],[3,-7],[9,7],[
-13,1],[6,7],[
11,7],[-5,-10],[4,5],[
5,7],[5,9],[
-3,-3],[1,-4],[-5,-2],[
-4,-2],[-3,10],[
8,-8],[10,8],[-6,17],[
3,5],[5,-9],[
10,-14],[5,-4],[4,-5],[
1,2],[-1,6],[
2,-8],[-13,2],[11,-2],[
-9,-6],[-3,5],[
-4,-5],[-18,4],[4,-1],[
-9,-13],[0,5],[
6,1],[-19,-1],[-1,2],[
2,-1],[-2,-1],[
10,1],[-1,-5],[-10,-3],[
5,-11],[-5,-5],[
6,-6],[10,-7],[2,1],[
-7,0],[1,3],[
-10,-4],[-3,-1],[-8,-2],[
-2,-6],[15,-10],[
-13,-1],[7,-9],[3,-14],[
1,-5],[5,-17],[
4,-4],[4,-3],[9,-13],[
-4,-3],[1,-7],[
2,-7],[-8,6],[7,-22],[
14,-8],[33,2],[
8,-9],[6,-10],[1,-13],[
-1,-5],[9,1],[
2,-5],[-10,2],[14,0],[
-11,-5],[4,7],[
1,-14],[4,3],[8,-7],[
-14,-11],[6,10],[
9,-15],[-5,0],[8,-2],[
-7,-8],[-2,0],[
2,5],[2,0],[16,-1],[
-1,1],[-4,-12],[
29,-6],[-1,-9],[4,4],[
7,11],[-3,5],[
-2,5],[12,1],[-17,-5],[
6,9],[-7,-8],[
-7,-2],[28,-18],[-17,9],[
16,-7],[1,-21],[
-12,4],[13,-19],[3,-3],[
14,5],[0,-22],[
-7,-3],[-9,-2],[-6,-4],[
12,20],[-12,-20],[
20,-16],[47,15],[
14,-14],[-6,-5],[-16,-1],[
-9,-4],[3,3],[
5,-2],[-11,3],[7,0],[
-6,0],[-2,-1],[
4,-12],[0,6],[-1,-5],[
-9,-8],[2,7],[
-6,-11],[0,-4],[6,-1],[
-3,-6],[-2,2],[
-2,-1],[-1,0],[10,4],[
-12,-3],[0,-10],[
21,-4],[2,-11],[-2,2],[
-9,7],[-6,1],[
-4,3],[4,-1],[-1,-7],[
0,8],[4,-3],[
-6,0],[12,0],[-1,3],[
8,1],[13,-4],[
-10,2],[11,3],[5,-2],[
5,1],[4,0],[
-3,-1],[-4,2],[-3,2],[
4,3],[-5,-1],[
12,-1],[9,12],[8,2],[
-9,1],[-13,1],[
-3,-2],[10,5],[5,-5],[
-10,3],[13,6],[
-4,-2],[-1,9],[-6,-12],[
7,6],[0,-2],[
-15,-7],[-3,13],[-1,-6],[
-8,1],[1,0],[
-13,-3],[-2,2],[-7,8],[
-7,4],[18,2],[
-19,7],[-8,-11],[12,-10],[
-4,-6],[-10,7],[
-9,16],[-6,6],[4,0],[
-3,-1],[-1,1],[
5,-1],[0,-2],[3,3],[
0,0],[1,-3],[
1,0],[-2,-1],[5,2],[
4,0],[-4,1],[
-2,1],[2,-2],[1,0],[
2,1],[2,0],[
-2,-1],[5,4],[-2,0],[
-1,1],[0,0],[
5,4],[8,6],[1,2],[
1,-3],[-3,-2],[
-2,2],[5,-7],[-7,0],[
5,-1],[-2,-3],[
3,-3],[2,-5],[-4,-3],[
13,2],[2,-8],[
2,-1],[4,-4],[6,1],[
1,0],[10,0],[
10,0],[0,-7],[12,0],[
-3,-2],[13,-4],[
-1,-4],[12,1],[13,0],[
2,1],[2,2],[0,
-1],[-3,2],[4,0],[
-1,-1],[-2,3],[
-1,-4],[-2,1],[-1,-2],[
-7,-4],[0,1],[
-1,-2],[-4,-1],[-1,0],[
-2,-6],[-1,0],[
0,0],[1,-1],[2,3],[
-4,0],[-3,-4],[
5,-4],[-2,-3],[1,1],[
-1,4],[-3,1],[
3,-3],[-3,-2],[3,2],[
4,-3],[0,0],[
4,1],[-4,2],[4,-3],[
1,1],[-1,4],[
7,1],[0,2],[-1,2],[
1,0],[0,3],[2,
0],[4,2],[3,2],[
1,-5],[7,7],[
-5,3],[-5,1],[-3,1],[
6,4],[11,5],[
3,2],[2,1],[2,-3],[
-4,0],[8,2],[
-3,-2],[1,2],[1,-4],[
2,3],[4,-3],[
-3,-3],[0,6],[3,-4],[
2,0],[5,0],[
-3,0],[-2,1],[1,4],[
0,3],[9,-1],[
-5,3],[0,-4],[9,0],[
2,-2],[-3,4],[
-3,5],[-2,1],[-3,3],[
-3,2],[-2,0],[
-4,1],[3,4],[-3,-1],[
-2,2],[-4,-2],[
-9,-1],[-3,0],[-2,-5],[
-9,0],[-3,-4],[
-10,-1],[4,-4],[-1,1],[
-2,-5],[-3,-4],[
-13,2],[-7,-5],[-1,0],[
-11,-7],[-1,1],[
-5,-2],[-10,-3],[-1,-2],[
-3,3],[0,1],[
-4,-3],[-1,3],[2,0],[
-4,-1],[6,-1],[
-2,-1],[-1,-1],[5,-5],[
-3,0],[2,-1],[
0,-4],[-3,-1],[7,-2],[
-1,0],[-2,-2],[
-1,-1],[-7,2],[-2,-4],[
6,-2],[4,2],[
5,-1],[-3,0],[-8,-1],[
-2,-2],[3,0],[
-2,-6],[-4,3],[11,-3],[
-6,0],[0,3],[
-5,-8],[6,1],[1,-7],[
-10,-4],[8,5],[
-3,-7],[0,-3],[5,-6],[
-3,-2],[-1,1],[
6,2],[5,1],[9,-7],[
-1,5],[-7,-6],[
16,-9],[-4,-6],[4,5],[
5,9],[-2,3],[
0,0],[-1,-1],[-2,-1],[
3,-1],[-1,-1],[
0,0],[2,-1],[2,-2],[
2,-1],[2,-3],[
3,2],[4,-2],[1,-2],[
1,-2],[6,1],[
1,0],[3,0],[4,1],[
-2,-3],[6,1],[
2,-1],[6,1],[3,-2],[
4,2],[3,2],[0,
0],[1,0],[5,2],[
2,-1],[-3,3],[
0,-3],[0,1],[2,1],[
-1,5],[4,3],[
3,1],[-9,1],[6,3],[
2,4],[4,4],[
-8,2],[-1,0],[-4,3],[
-4,2],[9,5],[
-4,0],[3,0],[-1,5],[
2,2],[-5,-2],[
-4,-3],[-1,0],[2,-1],[
-5,0],[2,1],[
1,-3],[4,0],[2,1],[
-1,5],[0,-7],[
-1,3],[1,1],[9,-2],[
2,4],[-3,0],[
-6,1],[11,-1],[3,-1],[
5,-1],[6,-1],[
-10,-2],[11,4],[-2,4],[
-9,2],[-1,2],[
8,3],[10,4],[3,1],[
-3,2],[0,1],[
-2,-3],[-3,2],[2,-1],[
-4,-1],[7,0],[
-3,-2],[2,0],[5,-5],[
-1,-2],[5,-1],[
0,-4],[-2,-1],[10,-4],[
0,-1],[-1,-3],[
2,-3],[-7,2],[3,-5],[
7,-1],[5,3],[
4,-1],[0,-2],[-4,-2],[
-1,-2],[-4,-5],[
-3,5],[8,-4],[-9,-4],[
1,0],[7,-4],[
3,11],[-4,-6],[2,4],[
10,6],[1,-7],[
8,3],[5,4],[-2,2],[
7,6],[2,-2],[
6,-3],[4,-2],[-12,-2],[
20,-4],[5,10],[
-13,8],[5,7],[8,-6],[
11,-13],[7,-3],[
0,-2],[3,-1],[2,-1],[
1,1],[-1,-2],[
1,-1],[3,0],[2,2],[
6,1],[5,1],[
-1,3],[5,1],[5,2],[
7,1],[-2,4],[
0,-1],[0,3],[0,3],[
8,-1],[2,2],[
3,1],[5,7],[2,0],[
0,1],[2,0],[1,
0],[-3,0],[0,3],[
1,-3],[-6,1],[
2,0],[0,-2],[5,5],[
-3,-3],[0,2],[
7,0],[-3,-3],[4,1],[
1,0],[-4,1],[
8,1],[1,-1],[1,-3],[
1,-2],[-9,2],[
6,-5],[5,3],[-7,5],[
5,2],[0,-3],[
-3,-6],[1,-2],[5,2],[
4,0],[1,1],[4,
4],[3,-2],[0,4],[
0,0],[1,4],[0,
5],[-1,2],[-7,5],[
2,6],[-5,4],[
1,6],[-9,1],[1,1],[
-7,5],[-6,4],[
9,6],[-9,7],[-2,0],[
-6,6],[-1,2],[
-5,5],[-4,8],[-3,2],[
-7,1],[0,3],[
1,-5],[-8,2],[3,1],[
-3,-4],[8,6],[
-5,-3],[0,1],[10,-1],[
-4,-5],[4,1],[
4,-3],[-4,0],[13,0],[
0,-1],[1,-5],[
2,-3],[-13,2],[5,-8],[
9,3],[-6,6],[
7,2],[-2,-5],[-9,-9],[
0,-4],[4,0],[
2,1],[2,2],[-1,2],[
2,2],[2,2],[
-6,2],[3,1],[-5,5],[
-3,5],[-5,2],[
-5,4],[-5,4],[-4,3],[
-7,4],[3,1],[
-6,2],[-6,2],[3,2],[
-7,4],[-6,2],[
-14,-1],[-4,2],[-5,2],[
-3,4],[0,2]]>;

return _LR;
