//Standard generators of L2(17) are a and b where a has order 2, b has order 3
//and ab has order 17.
//Standard generators of the double cover 2.L2(17) = SL2(17) are preimages A and
//B where B has order 3 and AB has order 17.
_LR := rec < recformat< F: GrpFP, AI: SeqEnum, G: GrpMat > |
      F := FreeGroup(2) >;
_LR`AI := [ [a^-1, (b*a)^3*(b^-1*a*b*a)^2] ]
             where a is (_LR`F).1 where b is (_LR`F).2;
//three constituents all fixed by _LR`AI[1][1]
_LR`G :=
/*
Original group: c9Group("sl217p")
From DB /nb/reps/l2/2l217/d16.2l217.deg6.si2.X9.M
Schur index: 2
Character: ( 16, -16, 1, 0, -1, 0, 0, -zeta(9)_9^5 - zeta(9)_9^4, zeta(9)_9^5 + 
zeta(9)_9^2 - zeta(9)_9, zeta(9)_9^4 - zeta(9)_9^2 + zeta(9)_9, 0, 0, 0, 0, -1, 
-1, -zeta(9)_9^5 - zeta(9)_9^2 + zeta(9)_9, zeta(9)_9^5 + zeta(9)_9^4, 
-zeta(9)_9^4 + zeta(9)_9^2 - zeta(9)_9, 1, 1 )
*/
MatrixGroup<16,K|[
Matrix(K,16,16,
[[1,0,0,0,0,0],[-1,0,0,0,0,0],[-2,0,0,-1,0,0],[
2,0,0,1,0,0],[1,0,0,0,0,0],[0,0,0,-1,0,0],[-2,
0,0,-1,0,0],[-2,0,0,-1,0,0],[1,0,0,1,0,0],[1,0,
0,1,0,0],[1,0,0,1,0,0],[0,0,0,0,0,0],[1,0,0,1,
0,0],[1,0,0,1,0,0],[0,0,0,-2,0,0],[0,0,0,1,0,0
],[1,0,0,0,0,0],[3,0,0,3,0,0],[3,0,0,1,0,0],[
-3,0,0,-3,0,0],[-1,0,0,0,0,0],[-1,0,0,0,0,0],[1,
0,0,1,0,0],[0,0,0,1,0,0],[-1,0,0,-2,0,0],[-1,0,
0,-2,0,0],[0,0,0,0,0,0],[0,0,0,2,0,0],[1,0,0,0,
0,0],[-1,0,0,-2,0,0],[0,0,0,1,0,0],[0,0,0,0,0,0
],[1,0,0,-1,0,0],[-1,0,0,-4,0,0],[-1,0,0,-6,0,0
],[-2,0,0,4,0,0],[4,0,0,2,0,0],[3,0,0,1,0,0],[
0,0,0,0,0,0],[2,0,0,0,0,0],[-3,0,0,1,0,0],[-2,
0,0,1,0,0],[-1,0,0,0,0,0],[2,0,0,-1,0,0],[-2,0,
0,-2,0,0],[-2,0,0,0,0,0],[3,0,0,3,0,0],[-1,0,0,
0,0,0],[0,0,0,0,0,0],[0,0,0,-1,0,0],[-1,0,0,-1,
0,0],[1,0,0,1,0,0],[1,0,0,0,0,0],[0,0,0,0,0,0
],[-1,0,0,0,0,0],[0,0,0,0,0,0],[1,0,0,1,0,0],[
1,0,0,1,0,0],[0,0,0,-1,0,0],[0,0,0,-1,0,0],[0,
0,0,0,0,0],[0,0,0,1,0,0],[0,0,0,-1,0,0],[0,0,0,
0,0,0],[0,0,0,2,0,0],[1,0,0,-1,0,0],[4,0,0,2,0,
0],[-3,0,0,-1,0,0],[0,0,0,2,0,0],[1,0,0,3,0,0],
[0,0,0,0,0,0],[2,0,0,1,0,0],[-1,0,0,-2,0,0],[
-1,0,0,-1,0,0],[-1,0,0,-2,0,0],[1,0,0,0,0,0],[
-1,0,0,-1,0,0],[-1,0,0,-1,0,0],[-1,0,0,2,0,0],[
-1,0,0,-2,0,0],[1,0,0,1,0,0],[1,0,0,2,0,0],[2,
0,0,2,0,0],[-1,0,0,-1,0,0],[-1,0,0,0,0,0],[-1,0,
0,-1,0,0],[2,0,0,1,0,0],[1,0,0,1,0,0],[-1,0,0,
-2,0,0],[0,0,0,-1,0,0],[-1,0,0,0,0,0],[0,0,0,1,
0,0],[-1,0,0,0,0,0],[-1,0,0,-2,0,0],[-1,0,0,1,0,
0],[0,0,0,-1,0,0],[1,0,0,1,0,0],[-1,0,0,-4,0,0
],[1,0,0,-2,0,0],[-2,0,0,2,0,0],[3,0,0,3,0,0],[
3,0,0,3,0,0],[-1,0,0,-1,0,0],[2,0,0,0,0,0],[-2,
0,0,0,0,0],[-1,0,0,1,0,0],[-1,0,0,-1,0,0],[2,0,
0,-1,0,0],[-2,0,0,-2,0,0],[-1,0,0,0,0,0],[0,0,0,
2,0,0],[-1,0,0,-1,0,0],[0,0,0,1,0,0],[2,0,0,5,
0,0],[4,0,0,7,0,0],[0,0,0,-4,0,0],[-3,0,0,-1,0,
0],[-4,0,0,-2,0,0],[1,0,0,0,0,0],[0,0,0,2,0,0],
[0,0,0,-3,0,0],[1,0,0,-3,0,0],[0,0,0,0,0,0],[0,
0,0,3,0,0],[0,0,0,2,0,0],[0,0,0,-2,0,0],[-4,0,
0,-1,0,0],[0,0,0,-2,0,0],[-1,0,0,0,0,0],[-2,0,0,
-2,0,0],[-1,0,0,0,0,0],[2,0,0,3,0,0],[1,0,0,0,
0,0],[0,0,0,0,0,0],[-1,0,0,0,0,0],[1,0,0,0,0,0
],[1,0,0,1,0,0],[2,0,0,2,0,0],[0,0,0,-1,0,0],[
0,0,0,-2,0,0],[-2,0,0,-1,0,0],[0,0,0,1,0,0],[-1,
0,0,-1,0,0],[0,0,0,-1,0,0],[0,0,0,1,0,0],[1,0,
0,2,0,0],[3,0,0,3,0,0],[-2,0,0,-4,0,0],[-1,0,0,
0,0,0],[0,0,0,1,0,0],[1,0,0,1,0,0],[0,0,0,1,0,
0],[-1,0,0,-2,0,0],[0,0,0,-2,0,0],[-1,0,0,-1,0,0
],[0,0,0,2,0,0],[0,0,0,0,0,0],[1,0,0,-1,0,0],[
-3,0,0,0,0,0],[0,0,0,-1,0,0],[1,0,0,1,0,0],[0,
0,0,0,0,0],[0,0,0,0,0,0],[1,0,0,1,0,0],[0,0,0,
1,0,0],[0,0,0,0,0,0],[0,0,0,-2,0,0],[0,0,0,-1,
0,0],[-1,0,0,0,0,0],[0,0,0,0,0,0],[0,0,0,1,0,0
],[1,0,0,1,0,0],[-1,0,0,1,0,0],[-1,0,0,0,0,0],[
0,0,0,0,0,0],[-1,0,0,-1,0,0],[2,0,0,2,0,0],[1,
0,0,-1,0,0],[4,0,0,0,0,0],[-3,0,0,-3,0,0],[2,0,
0,2,0,0],[2,0,0,3,0,0],[-1,0,0,1,0,0],[1,0,0,1,
0,0],[-2,0,0,-2,0,0],[-1,0,0,-2,0,0],[-2,0,0,-2,
0,0],[1,0,0,0,0,0],[1,0,0,0,0,0],[1,0,0,0,0,0
],[-2,0,0,2,0,0],[-2,0,0,-1,0,0],[-1,0,0,1,0,0],
[1,0,0,0,0,0],[1,0,0,2,0,0],[1,0,0,1,0,0],[-1,
0,0,1,0,0],[-1,0,0,1,0,0],[0,0,0,-2,0,0],[1,0,
0,0,0,0],[0,0,0,0,0,0],[0,0,0,1,0,0],[1,0,0,0,
0,0],[1,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,-1,0,0],[1,0,0,-1,0,0],[
2,0,0,3,0,0],[1,0,0,1,0,0],[-1,0,0,-4,0,0],[0,
0,0,-1,0,0],[-1,0,0,-1,0,0],[-1,0,0,1,0,0],[-2,
0,0,1,0,0],[0,0,0,-1,0,0],[0,0,0,-2,0,0],[1,0,
0,0,0,0],[0,0,0,2,0,0],[2,0,0,1,0,0],[1,0,0,-1,
0,0],[-2,0,0,-1,0,0],[0,0,0,1,0,0],[1,0,0,1,0,0
],[2,0,0,2,0,0],[3,0,0,3,0,0],[-3,0,0,-6,0,0],[
-1,0,0,0,0,0],[0,0,0,1,0,0],[0,0,0,2,0,0],[-1,
0,0,2,0,0],[0,0,0,-3,0,0],[0,0,0,-3,0,0],[-1,0,
0,-2,0,0],[0,0,0,2,0,0],[2,0,0,0,0,0],[2,0,0,
-1,0,0],[-4,0,0,-1,0,0],[0,0,0,0,0,0],[0,0,0,-1,
0,0],[-1,0,0,0,0,0],[-4,0,0,-5,0,0],[2,0,0,4,0,
0],[1,0,0,-2,0,0],[0,0,0,-2,0,0],[0,0,0,0,0,0],
[-1,0,0,-2,0,0],[1,0,0,3,0,0],[-1,0,0,1,0,0],[
1,0,0,2,0,0],[0,0,0,-1,0,0],[0,0,0,2,0,0],[0,0,
0,1,0,0],[4,0,0,1,0,0],[-1,0,0,1,0,0]]),
Matrix(K,16,16,
[[-22/17,40/17,-18/17,-32/17,11/17,-16/17],[-16/17,23/17,
31/17,-41/17,27/17,1],[-31/17,42/17,-4/17,-5/17,-26/17,53/17
],[15/17,-37/17,-2/17,8/17,-14/17,-25/17],[11/17,21/17,
-30/17,-3/17,13/17,-19/17],[-3/17,11/17,-45/17,5/17,15/17,
-23/17],[-8/17,-18/17,21/17,-5/17,-5/17,19/17],[11/17,5/17,
9/17,1,-12/17,49/17],[10/17,-43/17,12/17,23/17,-22/17,-20/17
],[-7/17,-15/17,-3/17,8/17,-1,-9/17],[15/17,-1,10/17,1/17,
14/17,-1],[1,12/17,21/17,-14/17,21/17,18/17],[13/17,16/17,
8/17,5/17,2/17,12/17],[1,-8/17,-12/17,16/17,1/17,-23/17],[
-10/17,18/17,-38/17,-10/17,15/17,-11/17],[11/17,-12/17,25/17,
9/17,4/17,14/17],[9/17,-2,33/17,-1,3/17,5/17],[50/17,
-41/17,-5/17,35/17,-4/17,13/17],[-16/17,-31/17,-49/17,2/17,
64/17,-103/17],[-6/17,30/17,11/17,1/17,-1/17,21/17],[-9/17,
-37/17,2,7/17,-55/17,7/17],[-48/17,-10/17,33/17,-27/17,
-23/17,-1],[4/17,9/17,-32/17,-8/17,43/17,-35/17],[-2/17,
-10/17,-49/17,19/17,16/17,-56/17],[-1,78/17,4/17,-18/17,
14/17,41/17],[3/17,44/17,-19/17,4/17,23/17,6/17],[25/17,
1/17,12/17,13/17,-19/17,46/17],[18/17,-27/17,4/17,29/17,
-41/17,23/17],[-4/17,5/17,20/17,-9/17,-4/17,30/17],[-37/17,
37/17,27/17,-10/17,-23/17,40/17],[-22/17,-39/17,57/17,-41/17,
-8/17,-26/17],[1,28/17,-28/17,1,1/17,13/17],[-49/17,5/17,
-9/17,-15/17,26/17,-65/17],[13/17,-54/17,24/17,46/17,-88/17,
38/17],[1/17,-22/17,-94/17,122/17,-24/17,-66/17],[64/17,
7/17,13/17,-14/17,64/17,22/17],[-62/17,26/17,-30/17,-2,50/17,
-74/17],[-80/17,48/17,-40/17,-33/17,29/17,-57/17],[-14/17,
16/17,8/17,6/17,-39/17,25/17],[-22/17,1,-20/17,30/17,-26/17,
1/17],[62/17,-8/17,14/17,-14/17,20/17,42/17],[42/17,45/17,
2/17,-32/17,36/17,41/17],[46/17,-45/17,54/17,-4/17,-9/17,
43/17],[-9/17,-19/17,16/17,13/17,-36/17,1/17],[-16/17,
-60/17,35/17,24/17,-62/17,4/17],[41/17,-56/17,5/17,28/17,
1/17,-16/17],[-94/17,35/17,20/17,-71/17,20/17,-38/17],[
26/17,10/17,35/17,-25/17,-18/17,65/17],[-39/17,8/17,11/17,
-14/17,-3/17,-25/17],[23/17,-43/17,-1/17,35/17,-30/17,16/17],
[-14/17,-45/17,-28/17,58/17,-43/17,-61/17],[52/17,1/17,
-16/17,0,48/17,-6/17],[-56/17,39/17,-7/17,-20/17,-15/17,
-20/17],[-66/17,42/17,12/17,-36/17,0,-11/17],[29/17,-23/17,
46/17,-1,13/17,8/17],[-5/17,-8/17,3/17,7/17,-12/17,-22/17],
[30/17,18/17,-36/17,0,39/17,24/17],[26/17,12/17,-25/17,8/17,
14/17,0],[26/17,2/17,-26/17,7/17,16/17,28/17],[-28/17,
14/17,-16/17,5/17,-20/17,-1/17],[-6/17,-27/17,30/17,4/17,
-18/17,10/17],[-28/17,21/17,-10/17,-16/17,1,-1],[-12/17,
-11/17,67/17,-36/17,-8/17,42/17],[16/17,1/17,18/17,-13/17,0,
2],[-30/17,-22/17,11/17,2/17,-28/17,-2/17],[55/17,-43/17,
26/17,31/17,-41/17,67/17],[37/17,-81/17,4/17,56/17,-15/17,0
],[-33/17,25/17,-14/17,-20/17,40/17,-2],[-49/17,-4/17,-8/17,
-1/17,-36/17,-20/17],[-39/17,10/17,-22/17,-1/17,-28/17,-26/17
],[-2/17,30/17,-11/17,-9/17,13/17,-2/17],[1/17,9/17,-20/17,
18/17,4/17,0],[21/17,28/17,6/17,-21/17,44/17,3/17],[15/17,
19/17,-23/17,-9/17,47/17,-14/17],[24/17,-19/17,35/17,-9/17,
-6/17,38/17],[21/17,-9/17,1/17,39/17,-36/17,36/17],[-21/17,
-6/17,27/17,-25/17,-15/17,22/17],[-29/17,-5/17,12/17,-12/17,
-4/17,-28/17],[-28/17,-1/17,11/17,-26/17,-10/17,-12/17],[
18/17,30/17,-6/17,-22/17,23/17,10/17],[22/17,-6/17,-4/17,
-4/17,30/17,-15/17],[32/17,-5/17,-70/17,83/17,10/17,-21/17],
[16/17,-1,-123/17,3,26/17,-94/17],[1/17,18/17,115/17,-49/17,
-30/17,99/17],[-32/17,-21/17,21/17,-30/17,-3/17,-41/17],[
-53/17,-3/17,24/17,-50/17,-11/17,-49/17],[14/17,1/17,-22/17,
3/17,8/17,-21/17],[-21/17,-2,-65/17,1,-2/17,-88/17],[
-11/17,56/17,62/17,-44/17,10/17,89/17],[9/17,25/17,53/17,
-19/17,-5/17,69/17],[6/17,4/17,40/17,18/17,-27/17,46/17],[
-1,-24/17,-55/17,46/17,-2/17,-54/17],[21/17,0,-23/17,22/17,
15/17,5/17],[-9/17,16/17,32/17,-26/17,-10/17,54/17],[-18/17,
-20/17,60/17,-30/17,-9/17,-3],[23/17,-13/17,-12/17,26/17,
-6/17,13/17],[-46/17,5/17,-5/17,-1/17,-20/17,-18/17],[11/17,
-2,26/17,31/17,-59/17,55/17],[25/17,-74/17,-22/17,104/17,-4,
3/17],[14/17,5/17,12/17,-33/17,59/17,13/17],[-62/17,28/17,
-25/17,-37/17,26/17,-55/17],[-41/17,22/17,-42/17,-13/17,-9/17,
-50/17],[-23/17,37/17,-1/17,8/17,-2,24/17],[-26/17,21/17,
-15/17,22/17,-21/17,16/17],[64/17,-28/17,23/17,-1,41/17,8/17
],[53/17,3/17,-3/17,-1,44/17,24/17],[29/17,-38/17,64/17,
-20/17,12/17,33/17],[5/17,-11/17,8/17,33/17,-29/17,13/17],[
-20/17,-22/17,8/17,-4/17,-29/17,2/17],[29/17,-49/17,-7/17,
18/17,0,-44/17],[-80/17,48/17,14/17,-65/17,1,-21/17],[
29/17,16/17,8/17,-25/17,28/17,16/17],[-27/17,27/17,6/17,
-88/17,48/17,-28/17],[57/17,31/17,-91/17,35/17,40/17,-2/17],
[-74/17,36/17,-191/17,-4/17,45/17,-117/17],[-2,-59/17,161/17,
-12/17,-130/17,92/17],[-40/17,-21/17,37/17,-56/17,-3/17,-57/17
],[-66/17,11/17,12/17,-63/17,7/17,-86/17],[25/17,-16/17,
-13/17,4/17,31/17,-25/17],[3/17,-40/17,-98/17,41/17,36/17,
-109/17],[5/17,41/17,5,12/17,-32/17,122/17],[-1,-5/17,
52/17,33/17,-63/17,54/17],[44/17,-22/17,25/17,43/17,-50/17,
49/17],[28/17,10/17,-88/17,37/17,55/17,-56/17],[40/17,43/17,
-11/17,-33/17,28/17,60/17],[-2,46/17,54/17,-49/17,-22/17,
84/17],[9/17,-60/17,81/17,-45/17,-16/17,-59/17],[80/17,
-20/17,-6/17,4,-1/17,46/17],[-47/17,20/17,-20/17,-18/17,
-1/17,-37/17],[38/17,-80/17,-11/17,66/17,-59/17,23/17],[
39/17,-107/17,-53/17,132/17,-6,-26/17],[15/17,22/17,41/17,
-65/17,65/17,15/17],[-76/17,56/17,-20/17,-42/17,-6/17,-47/17
],[-77/17,76/17,-1,-33/17,-11/17,-23/17],[18/17,-21/17,
20/17,22/17,-15/17,8/17],[-4/17,-36/17,-11/17,50/17,-53/17,
-24/17],[43/17,40/17,4/17,-36/17,86/17,43/17],[10/17,21/17,
9/17,-32/17,32/17,18/17],[35/17,-15/17,1,-1,32/17,29/17],[
-14/17,-14/17,-23/17,21/17,-29/17,-21/17],[19/17,-33/17,23/17,
16/17,-24/17,24/17],[5/17,22/17,1,-41/17,42/17,2/17],[
-66/17,38/17,28/17,-27/17,-20/17,0],[24/17,-2/17,26/17,
-12/17,10/17,31/17],[7/17,-31/17,35/17,-14/17,-14/17,27/17],
[9/17,42/17,-32/17,-9/17,11/17,-19/17],[-47/17,-7/17,-13/17,
-73/17,30/17,-73/17],[-45/17,2/17,42/17,9/17,-49/17,58/17],[
1/17,-47/17,53/17,-16/17,-14/17,20/17],[35/17,-35/17,40/17,
-2/17,-1/17,1/17],[4/17,36/17,-31/17,10/17,16/17,-13/17],[
-12/17,3/17,-18/17,-14/17,26/17,-45/17],[-2/17,7/17,-3/17,
22/17,-6/17,20/17],[-4/17,-4/17,-1/17,2,-8/17,23/17],[
-7/17,8/17,5/17,7/17,-29/17,12/17],[8/17,-2/17,-18/17,12/17,
11/17,-29/17],[5/17,26/17,-12/17,-42/17,13/17,12/17],[-6/17,
-7/17,9/17,-2/17,-31/17,39/17],[32/17,-19/17,54/17,-16/17,
2/17,1/17],[28/17,11/17,-44/17,40/17,11/17,-13/17],[0,
48/17,-33/17,1/17,7/17,7/17],[13/17,61/17,-16/17,-19/17,
65/17,21/17],[54/17,27/17,-63/17,28/17,2/17,69/17],[-40/17,
-27/17,95/17,-40/17,-64/17,24/17],[2/17,-10/17,-35/17,8/17,
24/17,-48/17],[18/17,-41/17,-43/17,2,-27/17,-50/17],[-8/17,
15/17,-20/17,1/17,-19/17,13/17],[16/17,-6/17,-56/17,21/17,
21/17,0],[-26/17,-41/17,99/17,-26/17,-3,1],[1/17,-2,67/17,
-14/17,-47/17,42/17],[-24/17,-5/17,61/17,-27/17,1/17,-13/17],
[24/17,0,-35/17,29/17,53/17,-19/17],[9/17,30/17,-1,-9/17,
31/17,6/17],[4/17,-37/17,31/17,3/17,-26/17,-7/17],[-16/17,
16/17,-59/17,12/17,5/17,-86/17],[11/17,-19/17,12/17,-7/17,
25/17,-5/17],[-74/17,0,7/17,2/17,-25/17,-28/17],[-1/17,-1,
49/17,-11/17,-69/17,59/17],[-20/17,-63/17,0,57/17,-77/17,
-12/17],[18/17,-22/17,-32/17,8/17,74/17,-41/17],[-73/17,
27/17,-35/17,-7/17,-1/17,-33/17],[-37/17,37/17,-37/17,1/17,
3/17,-25/17],[-4/17,31/17,27/17,-40/17,14/17,-7/17],[-8/17,
2,2/17,-9/17,-3/17,10/17],[62/17,-23/17,-16/17,18/17,40/17,
8/17],[61/17,-15/17,-30/17,36/17,52/17,-3/17],[19/17,-19/17,
1,-11/17,3/17,39/17],[-6/17,27/17,5/17,11/17,-37/17,36/17],
[-46/17,-12/17,41/17,-45/17,-37/17,8/17],[-15/17,-32/17,
-28/17,25/17,-20/17,-31/17],[-37/17,31/17,48/17,-77/17,35/17,
0],[33/17,16/17,21/17,-28/17,29/17,23/17],[-5/17,50/17,
-13/17,-20/17,13/17,18/17],[28/17,9/17,-11/17,-14/17,18/17,
-2/17],[-10/17,31/17,57/17,-58/17,-56/17,6],[-36/17,-39/17,
29/17,11/17,-38/17,-36/17],[3/17,50/17,-6/17,-14/17,36/17,
12/17],[2,19/17,-23/17,14/17,8/17,19/17],[19/17,-12/17,
7/17,12/17,-18/17,35/17],[6/17,0,14/17,-7/17,-6/17,35/17],[
-1,-61/17,-8/17,27/17,-21/17,-63/17],[-18/17,-41/17,23/17,
24/17,-36/17,-24/17],[-7/17,-28/17,-14/17,2/17,4/17,-60/17],
[18/17,16/17,-31/17,3/17,43/17,-19/17],[21/17,16/17,-1,
-18/17,32/17,4/17],[-15/17,-3/17,19/17,-26/17,21/17,-10/17],
[44/17,30/17,-82/17,32/17,15/17,-1/17],[1,-39/17,-4/17,
15/17,8/17,-1],[-44/17,-9/17,29/17,-46/17,-23/17,-4/17],[
23/17,6/17,32/17,-10/17,-10/17,26/17],[-56/17,-24/17,-19/17,
-4/17,2/17,-54/17],[-26/17,-4/17,-7/17,-4/17,8/17,-8/17],[
-35/17,2/17,-1/17,-22/17,-1,-8/17],[-40/17,-1/17,-15/17,-1,
0,-27/17],[3/17,-1/17,2/17,8/17,12/17,-9/17],[13/17,0,
-10/17,38/17,6/17,4/17],[27/17,1/17,-4/17,1,8/17,10/17],[
7/17,5/17,-19/17,13/17,16/17,3/17],[29/17,-3/17,9/17,2/17,
4/17,10/17],[38/17,6/17,21/17,15/17,-9/17,30/17],[-4/17,
19/17,22/17,-41/17,-7/17,27/17],[-6/17,8/17,-19/17,0,-13/17,
3/17],[-39/17,-10/17,44/17,-57/17,2/17,-11/17],[45/17,30/17,
-10/17,21/17,26/17,19/17],[-13/17,-52/17,63/17,-26/17,-46/17,
12/17],[-13/17,44/17,1/17,-31/17,-4/17,-9/17],[-111/17,
-33/17,19/17,-79/17,3/17,-112/17],[0,-4/17,-53/17,38/17,0,
4/17],[-2/17,-47/17,62/17,-13/17,-46/17,38/17],[0,-16/17,
56/17,-36/17,5/17,14/17],[-7/17,38/17,-4/17,-29/17,41/17,
-23/17],[-21/17,14/17,9/17,-21/17,18/17,-26/17],[38/17,
11/17,-61/17,61/17,21/17,16/17],[26/17,-4/17,-57/17,52/17,
33/17,-14/17],[10/17,21/17,-26/17,23/17,-19/17,40/17],[8/17,
10/17,21/17,5/17,-19/17,21/17],[-22/17,30/17,12/17,-41/17,
-14/17,3/17],[-20/17,-3/17,-22/17,25/17,-40/17,9/17],[24/17,
-13/17,91/17,-59/17,6/17,57/17],[27/17,37/17,-40/17,37/17,
25/17,-1/17],[-46/17,58/17,-53/17,-24/17,4,-90/17],[6,
-84/17,63/17,79/17,-35/17,91/17],[88/17,4,-143/17,118/17,
64/17,36/17],[1/17,1,44/17,-79/17,33/17,-39/17],[-62/17,
63/17,-108/17,2/17,57/17,-98/17],[-99/17,35/17,-110/17,9/17,
7/17,-105/17],[20/17,-37/17,15/17,7/17,-30/17,19/17],[25/17,
16/17,-74/17,4,-1/17,31/17],[-1,-13/17,96/17,-57/17,-56/17,
43/17],[-32/17,27/17,45/17,-4,-30/17,22/17],[46/17,-53/17,
86/17,-12/17,-16/17,40/17],[24/17,-20/17,-8/17,58/17,-18/17,
35/17],[22/17,-55/17,37/17,40/17,0,-11/17],[2/17,-19/17,
19/17,-13/17,16/17,-25/17],[-72/17,-11/17,-66/17,-1,22/17,
-140/17],[10/17,-37/17,92/17,-28/17,-53/17,76/17]])
]> where w := K.1 where K := CyclotomicField(9);

return _LR;
