//Standard generators of L2(37) are a and b where a has order 2, b has order 3
//and ab has order 37.
//Standard generators of the double cover 2.L2(37) = SL2(37) are preimages A and
//B where B has order 3 and AB has order 37.
_LR := rec < recformat< F: GrpFP, AI: SeqEnum, G: GrpMat > |
      F := FreeGroup(2) >;
_LR`AI:=[[a^-1, a^-1*b*a*b^-1*a*b*a*b^-1*a^-1*b*a*b*a*b^-1*a^-1*b^-1*a*b^-1*a*
                             b*a*b^-1*a^-1*b*a*b*a*b^-1*a^-1*b*a^-1*b^-1*a*b]]
             where a is (_LR`F).1 where b is (_LR`F).2;
//1 constituent
_LR`G :=
/*
Original group: c9Group("sl237p")
From DB /nb/reps/l2/2l237/d38.2l237.deg2.X25.M
Schur index: 2
Character: ( 38, -38, 2, 0, -2, 2, 2, 2, 0, 0, -2, -2, -2, 0, 0, 0, 0, 0, 0, 0, 
0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, -1 )
*/

MatrixGroup<38,K | [
Matrix(K,38,38,
[[0,0],[1/2,-1/2],[-3,0],[1,1],[-3/2,-11/2],
[1,1],[7/2,9/2],[0,0],[0,-2],[0,1],[0,-2],
[1,-1],[-1,0],[0,-2],[0,0],[0,1],[0,0],
[3/2,1/2],[0,-1],[-1,0],[0,1],[0,0],[1,1],
[1,0],[0,2],[0,0],[2,-1],[1,-1],[2,1],
[-1,-1],[2,1],[-1,0],[-2,0],[-1,2],[-1,-3
],[-1,-1],[-1,0],[1,2],[-1,1],[-1/2,-1/2],
[0,-4],[-2,0],[21/2,-3/2],[0,0],[-9/2,11/2],
[-1,0],[2,2],[0,0],[3,1],[1,1],[0,1],
[2,2],[-1,0],[-1,0],[0,0],[-1/2,1/2],[
1,0],[2,-1],[-2,0],[1,-1],[-2,0],[0,1],
[-3,0],[0,1],[0,1],[1,2],[-2,1],[2,0],[
0,2],[1,-1],[2,-1],[-2,-2],[4,-1],[0,-2],
[1,-1],[-1,1],[0,0],[0,0],[0,0],[0,-1],
[0,1],[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],
[-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,0],[0,0],[0,0],[0,0],[0,0],[0,0],
[-3,0],[0,0],[2,-5],[0,0],[-1,2],[1,1],
[0,-2],[0,0],[0,-2],[0,0],[1,-1],[0,-2],
[0,0],[0,0],[0,0],[0,0],[-1,-1],[-1,-1],
[1,1],[-1,1],[-1,1],[1,1],[1,1],[0,0],
[0,0],[0,0],[1,1],[-1,-1],[2,0],[-1,-1],
[-2,-2],[-1,1],[-1,-1],[0,0],[0,0],[1,1],
[-1,0],[1/2,-1/2],[-3,-1],[0,1],[3,-5],[1,
1],[0,4],[0,0],[1,-2],[1/2,1/2],[0,-1],[
1/2,-1/2],[0,0],[1,-1],[0,0],[-1,1],[0,0],
[1/2,1/2],[0,-1],[0,-1],[0,1],[0,0],[0,1],
[1,0],[0,2],[-1,0],[1,0],[0,0],[1,1],[
0,-1],[2,1],[-1,-1],[-1,-1],[-1,1],[0,-2],
[-1,-1],[0,0],[1,2],[0,-1],[0,1],[1,-1],
[0,-1],[2,3],[-1,-1],[-7,-3],[1,0],[1,0],
[-1/2,1/2],[0,-1],[-1/2,1/2],[1,-1],[-1,0],
[-1/2,1/2],[0,-1],[-1/2,1/2],[0,0],[0,0],
[1,0],[1,0],[-1,1],[-2,-1],[1,1],[0,0],
[0,-1],[-1,1],[-1,0],[-1,1],[-1,0],[-1,0],
[1,-1],[0,-1],[0,-1],[0,1],[1,0],[1,0],
[-1,0],[-1,0],[1/2,-1/2],[-3,-1],[0,1],[
2,-5],[1,1],[0,5],[0,0],[1,-2],[1/2,1/2],
[0,-1],[1/2,-1/2],[0,0],[1,-1],[0,0],[-1,
1],[0,0],[1/2,1/2],[0,-1],[0,-1],[0,1],
[0,0],[0,1],[1,0],[0,2],[-1,0],[1,0],
[0,0],[1,1],[0,-1],[2,1],[-1,-1],[-1,-1],
[-1,1],[0,-2],[-1,-1],[-1,-1],[1,2],[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,0],[0,0],[0,0],[0,0],[0,0],[0,1],
[0,0],[-1,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],
[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,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],[0,0],[0,0],[0,
0],[0,0],[0,0],[0,0],[0,0],[0,0],[0,0],
[0,0],[-1,0],[3,2],[0,-1],[-2,6],[0,-2],
[0,-6],[0,0],[-2,2],[0,-1],[0,1],[-1,0],
[1,0],[-1,1],[0,0],[1,0],[0,0],[0,-1],
[0,1],[1,1],[1,-1],[0,0],[0,-2],[-1,0],
[1,-2],[0,0],[-2,0],[-1,0],[-2,-2],[0,1],
[-1,-2],[1,1],[2,1],[2,-1],[-1,2],[0,1],
[0,1],[0,-2],[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],[0,0],[0,0],
[0,0],[0,0],[1,1],[-1/2,1/2],[-1,2],[0,0],
[-3,-1],[1,-1],[4,-1],[0,1],[-1,-1],[1/2,
-1/2],[0,-1],[1/2,-1/2],[1,1],[0,-1],[0,1],
[1,1],[0,0],[1/2,-1/2],[0,0],[0,0],[0,1],
[-1,0],[0,0],[0,0],[2,1],[1,0],[-1,-1],
[1,-1],[0,-1],[-1,0],[1,-1],[0,0],[0,0],
[1,1],[-2,-1],[-1,0],[-1,0],[1,-1],[0,
-1],[1/2,1/2],[1,-1],[-1,-1],[2,4],[-1,0],
[-5,-2],[0,0],[1,1],[0,0],[-1,0],[-1,1],
[0,-1],[0,1],[1/2,1/2],[-1,-1],[-1/2,1/2],
[-1/2,-1/2],[0,0],[1,0],[0,-1],[0,1],[-2,
0],[0,0],[-1,-1],[-1,-1],[0,1],[-1,0],[
0,1],[0,1],[-1,0],[1,-1],[1,-1],[0,-1],
[0,2],[1,0],[1,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],[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],[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],[0,0],[0,0],[0,0],[0,0],
[0,0],[0,0],[0,0],[0,0],[0,0],[0,0],
[0,-1],[0,0],[1,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,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/2,-1/2],
[-1,-1],[0,0],[1/2,-3/2],[1,1],[3/2,-1/2],
[0,1],[1,-1],[0,0],[1,-1],[0,0],[0,1],
[1,-1],[0,0],[0,-1],[0,-1],[-1/2,1/2],[0,
-1],[-1,0],[-1,1],[-1,-1],[0,0],[0,1],
[0,1],[1,0],[1,0],[1,0],[0,1],[0,-2],
[1,1],[0,0],[0,-1],[0,0],[0,-1],[0,0],[
0,0],[0,0],[1,-1],[-1/2,1/2],[0,1],[0,0],
[-5/2,1/2],[0,-1],[1/2,-5/2],[1,0],[0,0],
[0,0],[-1,-1],[0,-1],[0,0],[-1,0],[0,1],
[0,0],[0,0],[1/2,-1/2],[0,0],[0,1],[1,0],
[-1,0],[0,0],[1,0],[1,0],[0,-1],[-1,0],
[0,-2],[0,0],[-1,0],[0,-1],[0,0],[0,1],
[0,0],[-2,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,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,-1],[1,0],[-1,-5],[-1,0],[17/2,
3/2],[0,2],[-17/2,5/2],[-1,0],[4,-1],[0,1],
[1,0],[0,1],[0,0],[2,1],[-1/2,-1/2],[-3,
0],[-1/2,1/2],[0,1],[1,-1],[2,-1],[-1,0],
[0,0],[-2,0],[0,1],[-3,2],[-2,-1],[1,1],
[-1,1],[0,2],[1,-1],[0,3],[1,-2],[1,-2],
[-2,-1],[3,-1],[1,-2],[1,-1],[-1,3],[-1,
1],[-1/2,-1/2],[2,0],[0,-1],[1,6],[1,-1],
[-2,-2],[-1,0],[-2,1],[1,0],[0,3],[0,1],
[0,2],[-1,2],[-1/2,-1/2],[0,0],[-1/2,1/2],
[-1/2,-1/2],[0,1],[2,1],[-1,0],[0,0],[0,
-2],[-1,0],[1,-1],[0,0],[-1,-1],[0,1],
[-1,-2],[0,1],[-1,0],[1,1],[2,2],[1,-1],
[1,2],[0,0],[1,0],[0,-1],[0,-1],[1/2,1/2],
[3,-2],[-1,0],[2,4],[-1,1],[-3,-1],[0,-1],
[1,2],[-1/2,1/2],[0,1],[1/2,1/2],[-1,0],[
0,2],[0,0],[-1,-1],[0,0],[-1/2,1/2],[1,1],
[1,1],[-1,-1],[1,0],[0,0],[0,0],[-2,-1],
[0,-1],[0,1],[0,0],[-1,0],[1,1],[-2,1],
[1,0],[1,1],[0,-1],[2,1],[1,-1],[1,0],
[-2,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,0],[0,0],[0,0],[0,0],[0,-1],[-1,0],
[0,0],[0,1],[-1/2,-1/2],[-1,3],[1,0],[-6,
-2],[1,-1],[4,0],[0,0],[-2,-1],[1/2,-1/2],
[-1,0],[-1/2,-1/2],[0,0],[-1,-1],[0,0],[1,
1],[0,0],[1/2,-1/2],[-1,0],[-1,0],[1,0],
[0,0],[1,0],[0,-1],[2,1],[0,1],[0,-1],
[0,0],[1,-1],[-1,0],[1,-2],[-1,1],[-1,1],
[1,1],[-2,0],[-1,1],[-1,0],[2,-1],[0,-1],
[1/2,1/2],[1,-3],[-1,0],[11/2,5/2],[-1,1],
[-9/2,-1/2],[0,0],[2,1],[-1/2,1/2],[1,0],
[1/2,1/2],[0,0],[1,1],[1/2,-1/2],[-1,-1],
[-1/2,1/2],[-1/2,1/2],[1,0],[1,0],[-1,0],
[0,0],[-1,0],[0,1],[-2,0],[0,-1],[0,1],
[0,0],[-1,1],[1,0],[-1,2],[1,-1],[1,-1],
[-1,-1],[2,0],[1,-1],[1,0],[-2,1],[-1,1],
[0,-1],[-5,4],[2,1],[-8,-8],[3,0],[8,3],
[0,0],[-2,-4],[1,0],[-2,-2],[0,-2],[0,0],
[-1,-3],[0,0],[0,3],[0,0],[2,0],[-1,-1],
[-2,0],[2,1],[0,0],[2,1],[1,-2],[3,3],
[-1,1],[1,-2],[0,-1],[3,-1],[-2,-1],[4,
-2],[-2,1],[-3,1],[1,3],[-4,-3],[-2,0],[
-2,0],[4,1],[-1,0],[0,0],[2,-1],[-1,-1],
[3,5],[0,0],[-2,-2],[-1,0],[0,1],[1,0],
[0,2],[-1,1],[0,1],[0,2],[0,0],[0,-1],
[0,0],[-1,-1],[0,0],[2,0],[-1,-1],[0,0],
[-1,-1],[-1,0],[0,-1],[0,0],[-1,0],[-1,1],
[-1,-1],[1,1],[-1,0],[1,0],[2,0],[1,-1],
[1,2],[0,0],[1,1],[0,-1],[0,-1],[1/2,1/2],
[1,-3],[-1,0],[6,2],[-1,1],[-4,0],[0,0],
[2,1],[-1/2,1/2],[1,0],[1/2,1/2],[0,0],[1,
1],[0,0],[-1,-1],[0,0],[-1/2,1/2],[1,0],
[1,0],[-1,0],[0,0],[-1,0],[0,1],[-2,0],
[0,-1],[0,1],[0,0],[-1,1],[1,0],[-1,2],
[0,-1],[1,-1],[-1,-1],[2,0],[1,-1],[1,0],
[-2,1],[0,-1],[1/2,1/2],[2,0],[0,-1],[-1,
5],[-1,1],[-3,-3],[0,0],[0,0],[-1,0],
[-1,0],[-1,1],[-1,-1],[-1,0],[1/2,-1/2],
[0,-1],[1/2,-1/2],[-1/2,-1/2],[0,0],[-1,1],
[0,-2],[0,0],[0,0],[-1,0],[0,-1],[0,0],
[0,1],[-1,1],[0,0],[0,0],[-2,0],[0,0],
[-1,0],[1,-1],[0,2],[2,0],[0,1],[-1,-1],
[1,0],[-1/2,-1/2],[0,-1],[-1,-1],[7/2,3/2],
[0,0],[-3/2,3/2],[1,1],[-1,0],[-1/2,-1/2],
[1,0],[1/2,1/2],[0,0],[0,0],[-1/2,-1/2],
[0,0],[1/2,-1/2],[-1/2,1/2],[0,0],[-1,0],
[0,0],[0,0],[-1,0],[0,1],[0,-1],[0,1],
[0,0],[1,0],[0,0],[0,0],[0,1],[0,0],
[0,0],[-1,-1],[1,0],[1,0],[0,0],[-1,0],
[-1,0],[1/2,-1/2],[-3,-1],[0,1],[2,-6],[1,
1],[0,4],[0,0],[1,-2],[1/2,1/2],[0,-1],
[1/2,-1/2],[0,0],[1,-1],[0,0],[-1,1],[0,
0],[1/2,1/2],[0,-1],[0,-1],[0,1],[0,0],
[0,1],[1,0],[0,2],[-1,0],[1,0],[0,0],[
2,1],[0,-1],[2,1],[-1,-1],[-1,-1],[-1,1],
[0,-2],[-1,-1],[0,-1],[1,2],[0,0],[0,0],
[3,0],[0,0],[1,2],[-1,0],[-1,0],[0,-1],
[-1,2],[-1,0],[0,2],[0,1],[-1,0],[-1,1],
[0,-1],[1,-1],[0,0],[-1,0],[0,1],[0,1],
[-1,-1],[1,0],[1,0],[-1,0],[-1,-2],[1,1],
[0,0],[0,1],[-1,-1],[1,1],[-2,0],[0,1],
[0,1],[0,-1],[2,2],[1,0],[1,0],[-1,-1],
[0,0],[1,0],[0,1],[0,1],[-1,-2],[-1,1],
[2,3],[0,-1],[-1,0],[0,0],[-1,0],[0,0],
[-1,-1],[0,0],[1,0],[0,0],[0,0],[0,0],
[0,0],[-1,0],[0,-1],[1,1],[1,2],[0,-1],
[0,-1],[0,0],[1,0],[0,0],[1,0],[0,1],
[0,0],[-1,0],[-1,0],[0,1],[0,0],[0,0],
[0,0],[0,0],[0,1],[0,0],[-4,0],[0,2],
[1,-10],[0,0],[2,8],[1,0],[0,-2],[0,0],
[0,-2],[1,0],[0,-1],[1,-2],[0,0],[0,1],
[0,0],[0,1],[-1,-1],[-2,-2],[0,1],[0,1],
[0,3],[2,0],[0,1],[0,1],[2,0],[1,0],[
2,2],[-1,-1],[2,0],[-2,-1],[-3,-2],[-2,1],
[0,-2],[-1,0],[-1,-1],[1,1],[0,0],[0,0],
[0,0],[0,0],[-1,-1],[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,-1],[0,0],[0,-1],[1/2,1/2],
[1,-3],[-1,0],[4,3],[-1,1],[-4,0],[0,0],
[2,1],[-1/2,1/2],[1,0],[1/2,1/2],[0,0],[1,
1],[0,0],[-1,-1],[0,0],[-1/2,1/2],[1,0],
[1,0],[-1,0],[0,0],[-1,0],[0,1],[-2,0],
[0,-1],[0,1],[0,0],[-1,1],[1,0],[-1,2],
[1,-1],[1,-1],[-1,-1],[2,0],[1,-1],[0,-1],
[-2,1],[0,0],[1/2,-1/2],[2,-2],[0,0],[1,
4],[0,1],[1,-2],[-2,0],[2,2],[0,0],[1,
1],[0,0],[-1,1],[1,1],[1/2,-1/2],[0,-1],
[1/2,1/2],[-1/2,-1/2],[1,0],[1,0],[-2,0],[
1,-1],[0,-1],[-1,0],[-2,0],[0,-1],[0,0],
[0,0],[-1,0],[2,0],[-1,1],[1,0],[1,0],
[1,-1],[1,0],[0,0],[0,1],[-1,0]])    ,
Matrix(SparseMatrix(K,38,38,[<1,2,1/2*(-w + 1)>,<1,3,w - 3>,
<1,4,w>,<1,5,-7*w - 1>,<1,6,w + 1>,<1,7,6*w + 3>,<1,8,
1>,<1,9,-2*w - 1>,<1,10,1/2*(w - 1)>,<1,11,-2*w - 1>,<1,
12,1/2*(-w + 1)>,<1,13,-w - 1>,<1,14,-2*w>,<1,16,w>,<1,
17,-w>,<1,18,1/2*(w + 1)>,<1,19,-w - 1>,<1,20,-2>,<1,23,
2*w + 1>,<1,24,1>,<1,25,w + 1>,<1,26,w>,<1,27,2>,<1,
28,1>,<1,29,w + 2>,<1,30,-w - 1>,<1,31,2>,<1,32,-2>,
<1,33,-3>,<1,34,w - 1>,<1,35,-2*w - 1>,<1,36,-w - 1>,
<1,37,-1>,<1,38,w + 1>,<2,9,-w>,<3,5,w>,<3,7,-1>,
<3,16,-1>,<3,26,-w - 1>,<4,1,-1>,<4,2,1/2*(-w + 1)>,<4,
3,-2*w>,<4,5,-2*w + 3>,<4,6,w>,<4,7,3*w - 1>,<4,8,-w -
1>,<4,9,w + 1>,<4,10,w>,<4,11,w>,<4,12,w>,<4,13,-1>,
<4,14,w>,<4,15,1/2*(-w - 1)>,<4,16,-w - 1>,<4,17,1/2*(w -
1)>,<4,18,1/2*(w - 1)>,<4,20,1>,<4,21,-1>,<4,22,1>,<4,
25,-2>,<4,27,1>,<4,28,w>,<4,29,w>,<4,30,1>,<4,31,w>,
<4,34,-1>,<4,35,2>,<4,36,-w>,<4,37,1>,<4,38,w>,<5,
11,-1>,<6,8,-w>,<7,5,w>,<7,7,-1>,<7,11,w>,<7,35,
w + 1>,<8,5,-1>,<8,7,w>,<8,14,-1>,<8,33,w - 1>,<9,4,
1>,<9,5,1/2*(5*w - 5)>,<9,6,1>,<9,7,1/2*(-7*w + 1)>,<9,
9,-w>,<9,10,1/2*(w + 1)>,<9,11,-1>,<9,12,1/2*(-w + 1)>,
<9,13,w>,<9,14,-1>,<9,20,w>,<9,21,w>,<9,22,-1>,<9,
23,-w + 1>,<9,25,w + 1>,<9,26,-w>,<9,27,-w - 1>,<9,28,
-w>,<9,29,-w>,<9,30,-1>,<9,33,w>,<9,34,1>,<9,35,-1>,
<10,3,3*w>,<10,5,-2*w - 5>,<10,7,w + 2>,<10,8,-w + 1>,
<10,9,-2>,<10,11,-2>,<10,13,-w - 1>,<10,14,-2>,<10,19,
w - 1>,<10,20,w - 1>,<10,21,-w + 1>,<10,22,w + 1>,<10,
23,w + 1>,<10,24,-w + 1>,<10,25,-w + 1>,<10,29,-w + 1>,
<10,30,w - 1>,<10,31,-2*w>,<10,32,w - 1>,<10,33,2*w -
2>,<10,34,w + 1>,<10,35,w - 1>,<10,38,-w + 1>,<11,1,
w + 1>,<11,2,1/2*(-w - 1)>,<11,3,w>,<11,5,1/2*(-w + 1)>,
<11,6,-w>,<11,7,1/2*(-w + 5)>,<11,8,w>,<11,10,-w>,<11,
11,w + 1>,<11,13,w + 1>,<11,14,1>,<11,16,w + 1>,<11,
17,1>,<11,18,1/2*(-w - 1)>,<11,20,-w>,<11,21,w>,<11,22,
-w>,<11,24,-1>,<11,25,1>,<11,26,w>,<11,27,-1>,<11,29,
-w - 1>,<11,30,1>,<11,31,-w>,<11,33,1>,<11,36,w - 1>,
<11,38,-w + 1>,<12,3,-w>,<13,1,w - 1>,<13,2,1/2*(-w -
1)>,<13,3,-3>,<13,4,w>,<13,5,-6*w + 1>,<13,6,1>,<13,
7,5*w + 2>,<13,9,-w - 1>,<13,10,1>,<13,11,-w>,<13,12,
1>,<13,15,1/2*(w - 1)>,<13,16,w - 1>,<13,17,1/2*(w - 1)>,
<13,18,1/2*(w + 1)>,<13,19,-1>,<13,21,w>,<13,22,w>,<13,
23,w>,<13,24,1>,<13,25,w>,<13,27,-w>,<13,28,1>,<13,
29,1>,<13,30,-1>,<13,31,2>,<13,32,-1>,<13,33,-1>,<13,
34,w - 1>,<13,35,-2*w>,<13,36,-w - 1>,<13,37,-w>,<13,
38,w + 1>,<14,5,-w>,<14,6,-1>,<14,7,w>,<14,34,w - 1>,
<15,1,w>,<15,2,1/2*(-w - 1)>,<15,3,-1>,<15,4,-w>,<15,
5,1/2*(-3*w + 3)>,<15,6,1>,<15,7,1/2*(3*w - 1)>,<15,8,w>,
<15,11,1>,<15,15,-1>,<15,16,w>,<15,18,1/2*(-w + 1)>,<15,
22,-w>,<15,23,-w - 1>,<15,24,w>,<15,25,w>,<15,26,w>,
<15,28,w + 1>,<15,30,-w>,<15,31,1>,<15,35,-w>,<15,36,
-w>,<15,38,1>,<16,10,1>,<17,1,-1>,<17,2,1/2*(w - 1)>,
<17,3,-1>,<17,4,w>,<17,5,1/2*(-3*w + 1)>,<17,6,1>,<17,
7,1/2*(w - 1)>,<17,8,-w>,<17,11,-w>,<17,16,-1>,<17,17,
-1>,<17,18,1/2*(w + 1)>,<17,20,w + 1>,<17,22,w>,<17,24,
1>,<17,25,-1>,<17,26,-w>,<17,30,-1>,<17,31,1>,<17,35,
-w>,<17,36,-w>,<17,38,w>,<18,5,-1>,<18,7,-w>,<18,9,
1>,<18,25,w - 1>,<19,2,1/2*(w + 1)>,<19,3,w + 2>,<19,5,
1/2*(w - 3)>,<19,6,-2>,<19,7,1/2*(w - 1)>,<19,8,-w>,<19,
9,w>,<19,10,1/2*(-w - 1)>,<19,11,w - 1>,<19,12,1/2*(w -
1)>,<19,13,-w - 1>,<19,14,w>,<19,15,1/2*(w + 1)>,<19,16,
1>,<19,17,1/2*(w + 1)>,<19,18,1/2*(-w - 1)>,<19,19,w>,<19,
20,-w>,<19,21,-2*w>,<19,22,1>,<19,23,w>,<19,24,-w>,<19,
25,-w>,<19,26,w>,<19,27,w>,<19,28,w - 1>,<19,30,w + 1>,
<19,31,-w - 2>,<19,35,2*w>,<19,36,w>,<19,38,-w>,<20,20,
1>,<21,1,-w - 1>,<21,2,1>,<21,3,-3*w + 3>,<21,4,-w - 1>,
<21,5,1/2*(15*w + 13)>,<21,6,w - 1>,<21,7,1/2*(-3*w - 19)>,
<21,9,1>,<21,10,1/2*(w - 1)>,<21,11,2*w>,<21,12,1/2*(3*w -
1)>,<21,14,w>,<21,15,-w>,<21,16,-w - 1>,<21,18,-1>,<21,
19,1>,<21,20,1>,<21,21,-w - 1>,<21,23,-w - 1>,<21,24,
w - 1>,<21,25,-w - 1>,<21,26,-1>,<21,27,w>,<21,28,2*w -
1>,<21,29,-1>,<21,30,1>,<21,31,2*w - 2>,<21,32,-w + 1>,
<21,33,-w + 1>,<21,34,-2*w>,<21,35,3*w + 3>,<21,36,-w +
2>,<21,37,1>,<21,38,-2>,<22,1,1>,<22,4,1>,<22,5,w>,
<22,6,-w>,<22,7,-2*w + 1>,<22,12,-w>,<22,13,1>,<22,16,
1>,<22,21,w>,<22,22,-1>,<22,23,-w>,<22,25,1>,<22,27,
-1>,<22,28,-w>,<22,29,-1>,<22,33,1>,<22,35,-1>,<22,36,
w>,<23,1,w>,<23,2,1/2*(-w - 1)>,<23,3,w - 2>,<23,4,w>,
<23,5,-4*w - 2>,<23,6,1>,<23,7,2*w + 4>,<23,8,w>,<23,9,
-2*w>,<23,10,1/2*(-w + 1)>,<23,11,-w>,<23,12,1/2*(-w + 3)>,
<23,13,w>,<23,14,-w + 1>,<23,16,2*w>,<23,17,1>,<23,18,
1/2*(w + 1)>,<23,20,-w - 1>,<23,21,w>,<23,22,-w>,<23,23,
w + 1>,<23,25,2*w + 1>,<23,26,w>,<23,27,-w>,<23,28,1>,
<23,29,-w + 1>,<23,30,-w>,<23,31,1>,<23,32,-1>,<23,33,
-1>,<23,34,w>,<23,35,-2*w - 1>,<23,36,-1>,<23,37,-w -
1>,<23,38,1>,<24,5,1>,<24,7,-1>,<24,11,1>,<24,14,
1>,<24,33,-w>,<24,35,1>,<25,1,1>,<25,4,w + 1>,<25,
5,1/2*(-3*w - 5)>,<25,7,1/2*(-3*w + 7)>,<25,9,1>,<25,10,
1/2*(w - 1)>,<25,11,1>,<25,12,1/2*(-w + 1)>,<25,14,-w>,<25,
16,1>,<25,20,-1>,<25,21,w>,<25,22,-w - 1>,<25,23,1>,
<25,25,w>,<25,26,1>,<25,27,-w>,<25,28,-w + 1>,<25,30,
-w>,<25,34,w>,<25,35,-w>,<25,36,w>,<26,5,1/2*(-w - 1)>,
<26,7,1/2*(-w + 1)>,<26,10,1/2*(w - 1)>,<26,11,-w - 1>,<26,
12,1/2*(-w - 1)>,<26,35,-1>,<27,4,w>,<27,11,w>,<27,23,
1>,<27,35,1>,<28,1,w - 1>,<28,2,1/2*(-w - 1)>,<28,3,2>,
<28,4,-w>,<28,5,5*w + 1>,<28,6,-w + 1>,<28,7,-2*w - 1>,
<28,8,-1>,<28,9,w - 1>,<28,10,1>,<28,11,2*w>,<28,12,
w>,<28,13,2*w>,<28,14,2*w - 1>,<28,15,1/2*(-w - 1)>,<28,
17,1/2*(w - 1)>,<28,18,1/2*(-w - 1)>,<28,19,w>,<28,20,w +
2>,<28,21,-1>,<28,23,-2*w>,<28,24,-1>,<28,25,-w>,<28,
27,-w - 1>,<28,28,w>,<28,29,-2*w - 1>,<28,30,w>,<28,31,
-1>,<28,32,w + 1>,<28,33,2*w + 2>,<28,34,-w + 1>,<28,35,
w + 1>,<28,37,1>,<28,38,-w>,<29,5,-w>,<29,7,1>,<29,
11,-w - 1>,<29,23,w>,<29,35,-1>,<30,5,-w>,<30,11,-w +
1>,<30,13,1>,<30,21,1>,<30,35,-w>,<31,1,-1>,<31,2,
1/2*(-w + 1)>,<31,3,-w - 3>,<31,4,w>,<31,5,-5*w + 3>,<31,
6,w + 1>,<31,7,5*w + 1>,<31,9,-2*w + 1>,<31,10,1/2*(w +
1)>,<31,11,-2*w + 1>,<31,12,1/2*(-w + 1)>,<31,14,-w + 1>,
<31,16,w - 1>,<31,18,1/2*(w + 1)>,<31,19,-w>,<31,20,-w>,
<31,21,w>,<31,23,w>,<31,24,1>,<31,25,2*w>,<31,26,-1>,
<31,27,1>,<31,29,w + 1>,<31,30,-w>,<31,31,w + 2>,<31,32,
-w - 1>,<31,33,-w - 1>,<31,34,w - 1>,<31,35,-3*w>,<31,36,
-w - 1>,<31,37,-1>,<31,38,2*w + 1>,<32,5,1/2*(w - 1)>,<32,
7,1/2*(-w - 1)>,<32,11,w - 1>,<32,15,1/2*(-w + 1)>,<32,17,
1/2*(w - 1)>,<32,35,w>,<33,5,-1>,<33,6,1>,<33,7,-w +
1>,<33,34,1>,<33,35,-1>,<34,5,-1>,<34,7,-w + 1>,<34,
8,w - 1>,<34,11,-1>,<34,24,-1>,<34,35,-1>,<35,3,-w>,
<35,5,-w + 1>,<35,6,w>,<35,7,w - 1>,<35,10,1/2*(w - 1)>,
<35,11,2>,<35,12,1/2*(w + 1)>,<35,13,-w>,<35,14,-w>,<35,
15,1/2*(-w - 1)>,<35,16,-w>,<35,17,1/2*(-w - 1)>,<35,18,
w>,<35,20,-1>,<35,24,w>,<35,25,-1>,<35,26,1>,<35,27,
1>,<35,28,w + 1>,<35,29,w>,<35,30,-w>,<35,31,w>,<35,
33,-w - 1>,<35,35,-w + 2>,<35,36,1>,<35,38,-1>,<36,5,
w>,<36,7,-w - 1>,<36,11,w>,<36,35,w>,<36,36,1>,<37,
1,w>,<37,3,-2*w - 1>,<37,4,w - 1>,<37,5,1/2*(-9*w + 9)>,
<37,6,-1>,<37,7,1/2*(11*w - 1)>,<37,8,-1>,<37,9,w + 2>,
<37,11,2>,<37,12,1>,<37,14,w + 2>,<37,15,1/2*(w - 1)>,
<37,16,w>,<37,17,1/2*(w + 1)>,<37,19,1>,<37,20,-2*w +
1>,<37,21,-1>,<37,22,-w + 1>,<37,23,w - 1>,<37,25,w -
2>,<37,26,w>,<37,27,w>,<37,28,w + 1>,<37,29,w - 1>,<37,
30,2>,<37,31,w>,<37,32,-w>,<37,33,-w + 1>,<37,34,-2>,
<37,35,-w + 2>,<37,36,-w - 1>,<37,37,-w>,<37,38,w>,<38,
1,1>,<38,2,1/2*(w - 1)>,<38,3,w + 3>,<38,4,-w>,<38,5,
6*w - 2>,<38,6,-w - 1>,<38,7,-4*w - 1>,<38,8,w + 1>,<38,
9,2*w - 1>,<38,10,1/2*(-w - 1)>,<38,11,w>,<38,12,1/2*(w -
1)>,<38,14,w - 1>,<38,16,1>,<38,18,1/2*(-w - 1)>,<38,19,
w>,<38,20,w>,<38,21,-w>,<38,23,-w>,<38,24,w - 1>,<38,
25,-2*w>,<38,27,-1>,<38,29,-w - 1>,<38,30,w>,<38,31,
-w - 2>,<38,32,w + 1>,<38,33,w + 1>,<38,34,-w + 1>,<38,
35,2*w>,<38,36,w + 1>,<38,38,-2*w - 1>]))
]> where w := K.1 where K := ext<K|Polynomial(K,[1,0,1])> where K
is RationalField();

return _LR;
