//Standard generators of L2(31) are a and b where a has order 2, b has order 3
//and ab has order 31.
//Standard generators of the double cover 2.L2(31) = SL2(31) are preimages A and
//B where B has order 3 and AB has order 31.
_LR := rec < recformat< F: GrpFP, AI: SeqEnum, G: GrpMat > |
      F := FreeGroup(2) >;
_LR`AI := [ [a^-1, b^-1] ]
             where a is (_LR`F).1 where b is (_LR`F).2;
//four constituents all fixed by _LR`AI[1][1]
_LR`G :=
/*
Original group: c9Group("l231p")
Recomputed by BB method
Schur index: 1
Character: ( 30, 2, 0, 0, 0, 0, zeta(16)_16^6 - zeta(16)_16^2, -zeta(16)_16^6 + 
zeta(16)_16^2, 0, 0, 0, 0, zeta(16)_16^7 - zeta(16)_16, zeta(16)_16^5 - 
zeta(16)_16^3, -zeta(16)_16^5 + zeta(16)_16^3, -zeta(16)_16^7 + zeta(16)_16, -1,
-1 )
*/
MatrixGroup<30, K | [
Matrix(K,30,30,
[[470/3007,551/3007,-1626/3007,571/3007],[598/3007,1113/3007,
-419/3007,-40/3007],[741/3007,1027/3007,-1757/3007,427/3007],[
-1277/3007,-240/3007,1195/3007,-348/3007],[670/3007,-911/3007,
-995/3007,459/3007],[852/3007,-121/3007,-996/3007,295/3007],[
-37/3007,-555/3007,490/3007,-150/3007],[1287/3007,196/3007,
-1372/3007,420/3007],[-429/3007,-712/3007,910/3007,-237/3007],[
440/3007,101/3007,-513/3007,161/3007],[1543/3007,350/3007,
-54/97,459/3007],[-815/3007,676/3007,506/3007,-145/3007],[
-30/3007,-450/3007,46/3007,75/3007],[-927/3007,-810/3007,
238/3007,38/3007],[974/3007,-231/3007,-905/3007,281/3007],[
50/3007,944/3007,85/3007,-222/3007],[352/3007,915/3007,
-294/3007,-7/3007],[-1268/3007,-202/3007,1414/3007,-419/3007],[
-8/97,63/3007,-150/3007,38/3007],[-438/3007,705/3007,303/3007,
-166/3007],[-536/3007,-474/3007,602/3007,-115/3007],[-989/3007,
103/3007,1122/3007,-389/3007],[6/97,-7/97,49/97,-15/97],[
77/3007,-203/3007,-616/3007,244/3007],[-298/3007,-299/3007,
250/3007,-1/97],[849/3007,610/3007,-778/3007,157/3007],[
-192/3007,-164/3007,663/3007,-199/3007],[428/3007,-370/3007,
-417/3007,191/3007],[0,0,0,0],[-1513/3007,100/3007,
1628/3007,-534/3007],[808/3007,1838/3007,-1614/3007,308/3007],[
-1290/3007,826/3007,1299/3007,-461/3007],[17/3007,-812/3007,
252/3007,6/3007],[-1073/3007,-963/3007,1212/3007,-276/3007],[
195/3007,-761/3007,-202/3007,143/3007],[1607/3007,340/3007,
-1313/3007,299/3007],[326/3007,-251/3007,593/3007,-233/3007],[
977/3007,-574/3007,-1026/3007,419/3007],[383/3007,-269/3007,
719/3007,-230/3007],[785/3007,20/97,-1139/3007,317/3007],[
756/3007,379/3007,-23/97,147/3007],[440/3007,101/3007,-513/3007,
161/3007],[298/3007,299/3007,-250/3007,1/97],[-390/3007,
-127/3007,-1051/3007,393/3007],[974/3007,-231/3007,-905/3007,
281/3007],[-30/97,35/97,46/97,-22/97],[549/3007,863/3007,
-1094/3007,228/3007],[-1036/3007,-408/3007,722/3007,-126/3007],
[-750/3007,487/3007,83/3007,-65/3007],[-1007/3007,4/97,
1072/3007,-344/3007],[-1513/3007,100/3007,1628/3007,-534/3007],
[-748/3007,-65/3007,649/3007,-167/3007],[-254/3007,-1288/3007,
383/3007,150/3007],[-115/3007,-367/3007,47/3007,45/3007],[
1215/3007,-399/3007,-1378/3007,503/3007],[24/3007,-416/3007,
584/3007,-157/3007],[-644/3007,622/3007,16/97,-233/3007],[
644/3007,-622/3007,-16/97,233/3007],[0,0,0,0],[2/97,
639/3007,183/3007,-5/97],[724/3007,1839/3007,-2009/3007,421/3007
],[-210/3007,-725/3007,1195/3007,-348/3007],[192/3007,164/3007,
-663/3007,199/3007],[-1575/3007,-539/3007,1445/3007,-379/3007],
[980/3007,-141/3007,-1341/3007,460/3007],[1888/3007,287/3007,
-1718/3007,421/3007],[-232/3007,206/3007,692/3007,-293/3007],[
502/3007,-424/3007,-233/3007,103/3007],[-755/3007,-461/3007,
317/3007,-4/3007],[-204/3007,723/3007,-17/3007,-72/3007],[
569/3007,581/3007,-769/3007,178/3007],[475/3007,-150/3007,
-793/3007,316/3007],[977/3007,-574/3007,-1026/3007,419/3007],[
-812/3007,-443/3007,191/3007,-7/3007],[-241/3007,168/3007,
473/3007,-222/3007],[440/3007,1071/3007,1136/3007,-615/3007],[
-1255/3007,575/3007,1019/3007,-306/3007],[-338/3007,-1287/3007,
-12/3007,263/3007],[825/3007,1026/3007,-1362/3007,314/3007],[
10/97,770/3007,-346/3007,1/3007],[-1513/3007,100/3007,1628/3007,
-534/3007],[-345/3007,-519/3007,626/3007,-156/3007],[-197/3007,
52/3007,800/3007,-235/3007],[-363/3007,-304/3007,-103/3007,
83/3007],[452/3007,-786/3007,167/3007,34/3007],[787/3007,
-29/3007,-31/97,312/3007],[-216/3007,252/3007,79/3007,-42/3007
],[-328/3007,-749/3007,296/3007,44/3007],[0,0,0,0],[0,0,
0,0],[-469/3007,1598/3007,-419/3007,-40/3007],[-475/3007,
150/3007,793/3007,-316/3007],[-750/3007,487/3007,83/3007,
-65/3007],[-1888/3007,-287/3007,1718/3007,-421/3007],[443/3007,
-824/3007,-52/3007,105/3007],[1600/3007,-56/3007,-1645/3007,
462/3007],[-241/3007,168/3007,473/3007,-222/3007],[1287/3007,
196/3007,-1372/3007,420/3007],[-755/3007,-461/3007,317/3007,
-4/3007],[8/97,-63/3007,150/3007,-38/3007],[895/3007,330/3007,
-176/3007,-55/3007],[-502/3007,424/3007,233/3007,-103/3007],[
502/3007,-424/3007,-233/3007,103/3007],[-164/3007,-423/3007,
-1307/3007,507/3007],[1036/3007,408/3007,-722/3007,126/3007],[
-511/3007,677/3007,790/3007,-420/3007],[35/3007,-251/3007,
-280/3007,5/97],[-633/3007,-862/3007,699/3007,-115/3007],[
741/3007,1027/3007,-1757/3007,427/3007],[0,0,0,0],[
-276/3007,-648/3007,171/3007,108/3007],[7/3007,396/3007,
332/3007,-163/3007],[-1521/3007,-990/3007,1886/3007,-417/3007],
[648/3007,20/3007,-1498/3007,514/3007],[9/3007,38/3007,
219/3007,-71/3007],[41/3007,-1228/3007,836/3007,-151/3007],[
735/3007,646/3007,425/3007,-237/3007],[644/3007,-622/3007,
-16/97,233/3007],[0,0,0,0],[-974/3007,231/3007,905/3007,
-281/3007],[210/3007,725/3007,-1195/3007,348/3007],[-475/3007,
150/3007,793/3007,-316/3007],[537/3007,683/3007,-1289/3007,
355/3007],[-825/3007,-1026/3007,1362/3007,-314/3007],[232/3007,
-206/3007,-692/3007,293/3007],[1255/3007,-575/3007,-1019/3007,
306/3007],[755/3007,461/3007,-317/3007,4/3007],[1513/3007,
-100/3007,-1628/3007,534/3007],[197/3007,-52/3007,-800/3007,
235/3007],[-502/3007,424/3007,233/3007,-103/3007],[328/3007,
749/3007,-296/3007,-44/3007],[363/3007,304/3007,103/3007,
-83/3007],[1575/3007,539/3007,-1445/3007,379/3007],[-440/3007,
-1071/3007,-1136/3007,615/3007],[-569/3007,-581/3007,769/3007,
-178/3007],[338/3007,1287/3007,12/3007,-263/3007],[-192/3007,
-164/3007,663/3007,-199/3007],[-1888/3007,-287/3007,1718/3007,
-421/3007],[-452/3007,786/3007,-167/3007,-34/3007],[-977/3007,
574/3007,1026/3007,-419/3007],[0,0,0,0],[-10/97,-770/3007,
346/3007,-1/3007],[-724/3007,-1839/3007,2009/3007,-421/3007],[
812/3007,443/3007,-191/3007,7/3007],[241/3007,-168/3007,
-473/3007,222/3007],[216/3007,-252/3007,-79/3007,42/3007],[
345/3007,519/3007,-626/3007,156/3007],[204/3007,-723/3007,
17/3007,72/3007],[0,0,0,0],[-787/3007,29/3007,31/97,
-312/3007],[-228/3007,1430/3007,-892/3007,182/3007],[317/3007,
1166/3007,-14/3007,-162/3007],[825/3007,1026/3007,-1362/3007,
314/3007],[-288/3007,-343/3007,73/3007,41/3007],[635/3007,
-660/3007,-715/3007,304/3007],[1990/3007,71/3007,-594/3007,
69/3007],[211/3007,-618/3007,640/3007,-188/3007],[-30/3007,
-450/3007,46/3007,75/3007],[-7/3007,-396/3007,-332/3007,163/3007
],[37/3007,555/3007,-490/3007,150/3007],[780/3007,-37/3007,
-129/3007,-10/3007],[989/3007,964/3007,-1607/3007,389/3007],[
942/3007,-323/3007,-746/3007,264/3007],[-700/3007,-897/3007,
-705/3007,392/3007],[1036/3007,408/3007,-722/3007,126/3007],[
-735/3007,324/3007,1224/3007,-539/3007],[295/3007,-425/3007,
-711/3007,378/3007],[-710/3007,-659/3007,1315/3007,-359/3007],[
227/3007,-87/3007,-943/3007,354/3007],[-251/3007,503/3007,
359/3007,-197/3007],[-1215/3007,399/3007,1378/3007,-503/3007],[
226/3007,-296/3007,-256/3007,114/3007],[-1184/3007,-203/3007,
1809/3007,-532/3007],[-98/3007,-1179/3007,299/3007,51/3007],[
-298/3007,-299/3007,250/3007,-1/97],[-726/3007,71/3007,667/3007,
-222/3007],[571/3007,223/3007,-882/3007,270/3007],[0,0,0,0
],[0,0,0,0],[-1011/3007,-324/3007,45/97,-431/3007],[
-265/3007,875/3007,-402/3007,32/3007],[-112/3007,454/3007,
896/3007,-399/3007],[-443/3007,824/3007,52/3007,-105/3007],[
-1277/3007,-240/3007,1195/3007,-348/3007],[987/3007,255/3007,
-1009/3007,297/3007],[1063/3007,-739/3007,-356/3007,107/3007],[
952/3007,409/3007,-1117/3007,239/3007],[1513/3007,-100/3007,
-1628/3007,534/3007],[-17/97,-61/97,39/97,-6/97],[1011/3007,
324/3007,-45/97,431/3007],[532/3007,26/3007,-9/97,28/3007],[
1175/3007,747/3007,-88/3007,-76/3007],[750/3007,-487/3007,
-83/3007,65/3007],[-102/3007,216/3007,-1124/3007,352/3007],[
-241/3007,168/3007,473/3007,-222/3007],[-50/97,1000/3007,
1730/3007,-684/3007],[345/3007,519/3007,-626/3007,156/3007],[
-633/3007,-862/3007,699/3007,-115/3007],[-211/3007,618/3007,
-640/3007,188/3007],[598/3007,1113/3007,-419/3007,-40/3007],[
-787/3007,29/3007,31/97,-312/3007],[-1287/3007,-196/3007,
1372/3007,-420/3007],[-514/3007,-1114/3007,814/3007,-73/3007],[
12/97,-628/3007,-1327/3007,622/3007],[-328/3007,-749/3007,
296/3007,44/3007],[561/3007,267/3007,-705/3007,198/3007],[
35/3007,-251/3007,-280/3007,5/97],[-298/3007,-299/3007,250/3007,
-1/97],[0,0,0,0],[-571/3007,-223/3007,882/3007,-270/3007],
[520/3007,1495/3007,-1541/3007,349/3007],[0,0,0,0],[-8/97,
63/3007,-150/3007,38/3007],[-288/3007,-343/3007,73/3007,41/3007
],[1206/3007,-437/3007,-1597/3007,574/3007],[283/3007,
-702/3007,-227/3007,117/3007],[974/3007,-231/3007,-905/3007,
281/3007],[502/3007,-424/3007,-233/3007,103/3007],[-568/3007,
-663/3007,373/3007,-35/3007],[475/3007,-150/3007,-793/3007,
316/3007],[1707/3007,773/3007,-367/3007,-48/3007],[-502/3007,
424/3007,233/3007,-103/3007],[750/3007,-487/3007,-83/3007,
65/3007],[-927/3007,-810/3007,238/3007,38/3007],[228/3007,
-1430/3007,892/3007,-182/3007],[-939/3007,1047/3007,1207/3007,
-611/3007],[-644/3007,622/3007,16/97,-233/3007],[-1036/3007,
-408/3007,722/3007,-126/3007],[487/3007,-261/3007,-1374/3007,
577/3007],[-35/3007,251/3007,280/3007,-5/97],[-1826/3007,
352/3007,1901/3007,-576/3007],[-422/3007,-316/3007,1242/3007,
-400/3007],[-549/3007,-863/3007,1094/3007,-228/3007],[710/3007,
659/3007,-1315/3007,359/3007],[241/3007,-168/3007,-473/3007,
222/3007],[-419/3007,408/3007,636/3007,-262/3007],[633/3007,
862/3007,-699/3007,115/3007],[996/3007,293/3007,-790/3007,
226/3007],[0,0,0,0],[-22/3007,640/3007,-212/3007,-42/3007],
[98/3007,1179/3007,-299/3007,-51/3007],[700/3007,897/3007,
705/3007,-392/3007],[-211/3007,618/3007,-640/3007,188/3007],[
-1036/3007,-408/3007,722/3007,-126/3007],[1184/3007,203/3007,
-1809/3007,532/3007],[1600/3007,-56/3007,-1645/3007,462/3007],[
228/3007,-1430/3007,892/3007,-182/3007],[726/3007,-71/3007,
-667/3007,222/3007],[-317/3007,-1166/3007,14/3007,162/3007],[
1011/3007,324/3007,-45/97,431/3007],[30/3007,450/3007,-46/3007,
-75/3007],[735/3007,-324/3007,-1224/3007,539/3007],[298/3007,
299/3007,-250/3007,1/97],[-1990/3007,-71/3007,594/3007,-69/3007
],[-37/3007,-555/3007,490/3007,-150/3007],[-295/3007,425/3007,
711/3007,-378/3007],[-635/3007,660/3007,715/3007,-304/3007],[
-825/3007,-1026/3007,1362/3007,-314/3007],[-780/3007,37/3007,
129/3007,10/3007],[-227/3007,87/3007,943/3007,-354/3007],[
-571/3007,-223/3007,882/3007,-270/3007],[288/3007,343/3007,
-73/3007,-41/3007],[-989/3007,-964/3007,1607/3007,-389/3007],[
710/3007,659/3007,-1315/3007,359/3007],[0,0,0,0],[251/3007,
-503/3007,-359/3007,197/3007],[-942/3007,323/3007,746/3007,
-264/3007],[1215/3007,-399/3007,-1378/3007,503/3007],[0,0,0,
0],[-226/3007,296/3007,256/3007,-114/3007],[175/3007,976/3007,
-915/3007,193/3007],[10/97,770/3007,-346/3007,1/3007],[
-452/3007,786/3007,-167/3007,-34/3007],[-825/3007,-1026/3007,
1362/3007,-314/3007],[-307/3007,-337/3007,1/97,40/3007],[
852/3007,-121/3007,-996/3007,295/3007],[974/3007,-231/3007,
-905/3007,281/3007],[977/3007,-574/3007,-1026/3007,419/3007],[
219/3007,-692/3007,-588/3007,277/3007],[792/3007,1016/3007,
-807/3007,154/3007],[797/3007,-849/3007,123/3007,-4/3007],[
475/3007,-150/3007,-793/3007,316/3007],[942/3007,-323/3007,
-746/3007,264/3007],[-102/3007,216/3007,-1124/3007,352/3007],[
0,0,0,0],[-487/3007,261/3007,1374/3007,-577/3007],[
-972/3007,-127/3007,792/3007,-189/3007],[-1277/3007,-240/3007,
1195/3007,-348/3007],[537/3007,683/3007,-1289/3007,355/3007],[
-112/3007,454/3007,896/3007,-399/3007],[-1011/3007,-324/3007,
45/97,-431/3007],[288/3007,343/3007,-73/3007,-41/3007],[
-765/3007,-611/3007,1173/3007,-270/3007],[-865/3007,120/3007,
130/3007,-20/3007],[939/3007,-1047/3007,-1207/3007,611/3007],[
765/3007,611/3007,-1173/3007,270/3007],[-635/3007,660/3007,
715/3007,-304/3007],[1379/3007,24/3007,-71/3007,-4/3007],[0,
0,0,0],[-1826/3007,352/3007,1901/3007,-576/3007],[746/3007,
1199/3007,-1797/3007,463/3007],[-251/3007,503/3007,359/3007,
-197/3007],[-211/3007,618/3007,-640/3007,188/3007],[-710/3007,
-659/3007,1315/3007,-359/3007],[-9/3007,-38/3007,-219/3007,
71/3007],[1063/3007,-739/3007,-356/3007,107/3007],[-37/3007,
-555/3007,490/3007,-150/3007],[1677/3007,323/3007,-321/3007,
27/3007],[-1294/3007,-592/3007,1040/3007,-257/3007],[265/3007,
-875/3007,402/3007,-32/3007],[1267/3007,-298/3007,-1503/3007,
567/3007],[440/3007,101/3007,-513/3007,161/3007],[1575/3007,
539/3007,-1445/3007,379/3007],[-700/3007,-897/3007,-705/3007,
392/3007],[748/3007,65/3007,-649/3007,167/3007],[-1237/3007,
748/3007,47/97,-642/3007],[-644/3007,622/3007,16/97,-233/3007],
[0,0,0,0],[192/3007,164/3007,-663/3007,199/3007],[
-670/3007,911/3007,995/3007,-459/3007],[-219/3007,692/3007,
588/3007,-277/3007],[204/3007,344/3007,-468/3007,72/3007],[
22/3007,-640/3007,212/3007,42/3007],[422/3007,316/3007,
-1242/3007,400/3007],[452/3007,-786/3007,167/3007,34/3007],[
-224/3007,-353/3007,14/97,-119/3007],[-1255/3007,575/3007,
1019/3007,-306/3007],[241/3007,-168/3007,-473/3007,222/3007],[
0,0,0,0],[-536/3007,-474/3007,602/3007,-115/3007],[
-1080/3007,1551/3007,104/3007,-113/3007],[-35/3007,251/3007,
280/3007,-5/97],[227/3007,-87/3007,-943/3007,354/3007],[
-1575/3007,-539/3007,1445/3007,-379/3007],[18/97,-457/3007,
-99/3007,60/3007],[1804/3007,288/3007,-2113/3007,534/3007],[
1138/3007,192/3007,402/3007,-226/3007],[0,0,0,0],[-57/3007,
-1340/3007,-417/3007,385/3007],[475/3007,-150/3007,-793/3007,
316/3007],[972/3007,127/3007,-792/3007,189/3007],[8/97,
-63/3007,150/3007,-38/3007],[502/3007,-424/3007,-233/3007,
103/3007],[-1370/3007,14/3007,290/3007,-67/3007],[187/3007,
-202/3007,56/3007,-1/97],[-698/3007,879/3007,734/3007,-389/3007
],[-175/3007,-976/3007,915/3007,-193/3007],[-281/3007,53/3007,
405/3007,-122/3007],[763/3007,387/3007,-1545/3007,469/3007],[
-7/31,9/31,8/31,-4/31],[2/97,639/3007,183/3007,-5/97],[
-1317/3007,-646/3007,1418/3007,-345/3007],[84/3007,-1/3007,
395/3007,-113/3007],[422/3007,316/3007,-1242/3007,400/3007],[
1215/3007,-399/3007,-1378/3007,503/3007],[-428/3007,370/3007,
417/3007,-191/3007],[-13/97,454/3007,23/3007,-11/3007],[
989/3007,-103/3007,-1122/3007,389/3007],[0,0,0,0],[
-763/3007,-387/3007,1545/3007,-469/3007],[-797/3007,849/3007,
-123/3007,4/3007],[-7/31,9/31,8/31,-4/31],[227/3007,-87/3007,
-943/3007,354/3007],[-1073/3007,-963/3007,1212/3007,-276/3007],
[1268/3007,202/3007,-1414/3007,419/3007],[1255/3007,-575/3007,
-1019/3007,306/3007],[211/3007,-618/3007,640/3007,-188/3007],[
750/3007,-487/3007,-83/3007,65/3007],[-996/3007,-293/3007,
790/3007,-226/3007],[440/3007,101/3007,-513/3007,161/3007],[
1605/3007,989/3007,-1491/3007,304/3007],[0,0,0,0],[977/3007,
-574/3007,-1026/3007,419/3007],[-164/3007,-423/3007,-1307/3007,
507/3007],[-232/3007,206/3007,692/3007,-293/3007],[276/3007,
648/3007,-171/3007,-108/3007],[345/3007,519/3007,-626/3007,
156/3007],[-849/3007,-610/3007,778/3007,-157/3007],[-1063/3007,
739/3007,356/3007,-107/3007],[317/3007,1166/3007,-14/3007,
-162/3007],[-226/3007,296/3007,256/3007,-114/3007],[390/3007,
127/3007,1051/3007,-393/3007],[-952/3007,-409/3007,1117/3007,
-239/3007],[-865/3007,120/3007,130/3007,-20/3007],[1193/3007,
241/3007,-1590/3007,461/3007],[-187/3007,202/3007,-56/3007,1/97
],[-175/3007,-976/3007,915/3007,-193/3007],[567/3007,-419/3007,
120/3007,-11/3007],[0,0,0,0],[-276/3007,-648/3007,171/3007,
108/3007],[-17/3007,812/3007,-252/3007,-6/3007],[10/97,
770/3007,-346/3007,1/3007],[115/3007,367/3007,-47/3007,-45/3007
],[-2/97,-639/3007,-183/3007,5/97],[30/97,-35/97,-46/97,22/97
],[1290/3007,-826/3007,-1299/3007,461/3007],[1036/3007,
408/3007,-722/3007,126/3007],[750/3007,-487/3007,-83/3007,
65/3007],[-1607/3007,-340/3007,1313/3007,-299/3007],[1073/3007,
963/3007,-1212/3007,276/3007],[1007/3007,-4/97,-1072/3007,
344/3007],[-195/3007,761/3007,202/3007,-143/3007],[1513/3007,
-100/3007,-1628/3007,534/3007],[-383/3007,269/3007,-719/3007,
230/3007],[748/3007,65/3007,-649/3007,167/3007],[254/3007,
1288/3007,-383/3007,-150/3007],[-440/3007,-101/3007,513/3007,
-161/3007],[-808/3007,-1838/3007,1614/3007,-308/3007],[
-24/3007,416/3007,-584/3007,157/3007],[-977/3007,574/3007,
1026/3007,-419/3007],[-1215/3007,399/3007,1378/3007,-503/3007],
[-785/3007,-20/97,1139/3007,-317/3007],[-549/3007,-863/3007,
1094/3007,-228/3007],[-326/3007,251/3007,-593/3007,233/3007],[
644/3007,-622/3007,-16/97,233/3007],[-756/3007,-379/3007,23/97,
-147/3007],[-644/3007,622/3007,16/97,-233/3007],[-298/3007,
-299/3007,250/3007,-1/97],[0,0,0,0],[-974/3007,231/3007,
905/3007,-281/3007],[746/3007,1199/3007,-1797/3007,463/3007],[
536/3007,474/3007,-602/3007,115/3007],[-452/3007,786/3007,
-167/3007,-34/3007],[0,0,0,0],[-337/3007,-787/3007,77/3007,
115/3007],[1888/3007,287/3007,-1718/3007,421/3007],[-241/3007,
168/3007,473/3007,-222/3007],[767/3007,-1299/3007,169/3007,
71/3007],[-792/3007,-1016/3007,807/3007,-154/3007],[37/3007,
555/3007,-490/3007,150/3007],[1317/3007,646/3007,-1418/3007,
345/3007],[224/3007,353/3007,-14/97,119/3007],[307/3007,
337/3007,-1/97,-40/3007],[-390/3007,-127/3007,-1051/3007,
393/3007],[211/3007,-618/3007,640/3007,-188/3007],[-260/3007,
174/3007,431/3007,-223/3007],[-192/3007,-164/3007,663/3007,
-199/3007],[-1575/3007,-539/3007,1445/3007,-379/3007],[
115/3007,367/3007,-47/3007,-45/3007],[514/3007,1114/3007,
-814/3007,73/3007],[164/3007,423/3007,1307/3007,-507/3007],[
-1600/3007,56/3007,1645/3007,-462/3007],[-1491/3007,-540/3007,
1840/3007,-492/3007],[77/3007,-203/3007,-616/3007,244/3007],[
644/3007,-622/3007,-16/97,233/3007],[251/3007,-503/3007,
-359/3007,197/3007],[-440/3007,-101/3007,513/3007,-161/3007],[
939/3007,-1047/3007,-1207/3007,611/3007],[0,0,0,0],[
-219/3007,692/3007,588/3007,-277/3007],[520/3007,1495/3007,
-1541/3007,349/3007],[-670/3007,911/3007,995/3007,-459/3007],[
927/3007,810/3007,-238/3007,-38/3007],[-849/3007,-610/3007,
778/3007,-157/3007],[1268/3007,202/3007,-1414/3007,419/3007],[
815/3007,-676/3007,-506/3007,145/3007],[-852/3007,121/3007,
996/3007,-295/3007],[298/3007,299/3007,-250/3007,1/97],[
-352/3007,-915/3007,294/3007,7/3007],[8/97,-63/3007,150/3007,
-38/3007],[30/3007,450/3007,-46/3007,-75/3007],[37/3007,
555/3007,-490/3007,150/3007],[1513/3007,-100/3007,-1628/3007,
534/3007],[-6/97,7/97,-49/97,15/97],[438/3007,-705/3007,
-303/3007,166/3007],[-470/3007,-551/3007,1626/3007,-571/3007],[
-77/3007,203/3007,616/3007,-244/3007],[-598/3007,-1113/3007,
419/3007,40/3007],[192/3007,164/3007,-663/3007,199/3007],[
536/3007,474/3007,-602/3007,115/3007],[-974/3007,231/3007,
905/3007,-281/3007],[-1287/3007,-196/3007,1372/3007,-420/3007],
[-741/3007,-1027/3007,1757/3007,-427/3007],[429/3007,712/3007,
-910/3007,237/3007],[989/3007,-103/3007,-1122/3007,389/3007],[
-428/3007,370/3007,417/3007,-191/3007],[-440/3007,-101/3007,
513/3007,-161/3007],[1277/3007,240/3007,-1195/3007,348/3007],[
0,0,0,0],[-1543/3007,-350/3007,54/97,-459/3007],[17/97,
61/97,-39/97,6/97],[514/3007,1114/3007,-814/3007,73/3007],[
-1063/3007,739/3007,356/3007,-107/3007],[-598/3007,-1113/3007,
419/3007,40/3007],[443/3007,-824/3007,-52/3007,105/3007],[
50/97,-1000/3007,-1730/3007,684/3007],[748/3007,65/3007,
-649/3007,167/3007],[298/3007,299/3007,-250/3007,1/97],[
-987/3007,-255/3007,1009/3007,-297/3007],[-532/3007,-26/3007,
9/97,-28/3007],[328/3007,749/3007,-296/3007,-44/3007],[
265/3007,-875/3007,402/3007,-32/3007],[1287/3007,196/3007,
-1372/3007,420/3007],[-1175/3007,-747/3007,88/3007,76/3007],[
211/3007,-618/3007,640/3007,-188/3007],[-12/97,628/3007,
1327/3007,-622/3007],[633/3007,862/3007,-699/3007,115/3007],[
102/3007,-216/3007,1124/3007,-352/3007],[-750/3007,487/3007,
83/3007,-65/3007],[-35/3007,251/3007,280/3007,-5/97],[
-1011/3007,-324/3007,45/97,-431/3007],[-561/3007,-267/3007,
705/3007,-198/3007],[-952/3007,-409/3007,1117/3007,-239/3007],[
112/3007,-454/3007,-896/3007,399/3007],[1277/3007,240/3007,
-1195/3007,348/3007],[787/3007,-29/3007,-31/97,312/3007],[
571/3007,223/3007,-882/3007,270/3007],[241/3007,-168/3007,
-473/3007,222/3007],[0,0,0,0],[-1513/3007,100/3007,
1628/3007,-534/3007],[-460/3007,1636/3007,-200/3007,-111/3007],
[-438/3007,705/3007,303/3007,-166/3007],[487/3007,-261/3007,
-1374/3007,577/3007],[-633/3007,-862/3007,699/3007,-115/3007],[
-20/97,-85/3007,304/3007,-2/3007],[38/97,-12/97,-13/97,2/97],
[13/97,-454/3007,-23/3007,11/3007],[539/3007,131/3007,
-723/3007,253/3007],[-544/3007,-1079/3007,957/3007,-192/3007],[
-204/3007,723/3007,-17/3007,-72/3007],[1605/3007,989/3007,
-1491/3007,304/3007],[792/3007,1016/3007,-807/3007,154/3007],[
726/3007,-71/3007,-667/3007,222/3007],[-910/3007,-1622/3007,
490/3007,44/3007],[-539/3007,-131/3007,723/3007,-253/3007],[
-260/3007,174/3007,431/3007,-223/3007],[735/3007,646/3007,
425/3007,-237/3007],[-1073/3007,-963/3007,1212/3007,-276/3007],
[537/3007,683/3007,-1289/3007,355/3007],[536/3007,474/3007,
-602/3007,115/3007],[-1543/3007,-350/3007,54/97,-459/3007],[
226/3007,-296/3007,-256/3007,114/3007],[-204/3007,-344/3007,
468/3007,-72/3007],[626/3007,660/3007,-1710/3007,472/3007],[
7/31,-9/31,-8/31,4/31],[-224/3007,-353/3007,14/97,-119/3007],
[-942/3007,323/3007,746/3007,-264/3007],[452/3007,-786/3007,
167/3007,34/3007],[0,0,0,0],[-1215/3007,399/3007,1378/3007,
-503/3007],[-265/3007,875/3007,-402/3007,32/3007],[-977/3007,
574/3007,1026/3007,-419/3007],[825/3007,1026/3007,-1362/3007,
314/3007],[-84/3007,1/3007,-395/3007,113/3007],[-9/3007,
-38/3007,-219/3007,71/3007],[1290/3007,-826/3007,-1299/3007,
461/3007],[0,0,0,0],[1237/3007,-748/3007,-47/97,642/3007],
[-1324/3007,-1042/3007,1086/3007,-182/3007],[785/3007,20/97,
-1139/3007,317/3007],[972/3007,127/3007,-792/3007,189/3007],[
1011/3007,324/3007,-45/97,431/3007],[-313/3007,252/3007,
273/3007,-42/3007],[-951/3007,-394/3007,-346/3007,195/3007],[
326/3007,-251/3007,593/3007,-233/3007],[-295/3007,425/3007,
711/3007,-378/3007],[-942/3007,323/3007,746/3007,-264/3007],[
-288/3007,-343/3007,73/3007,41/3007],[-443/3007,824/3007,
52/3007,-105/3007],[-475/3007,150/3007,793/3007,-316/3007],[
-974/3007,231/3007,905/3007,-281/3007],[-10/97,-770/3007,
346/3007,-1/3007],[-1193/3007,-241/3007,1590/3007,-461/3007],[
648/3007,20/3007,-1498/3007,514/3007],[1277/3007,240/3007,
-1195/3007,348/3007],[951/3007,394/3007,346/3007,-195/3007],[
352/3007,915/3007,-294/3007,-7/3007],[452/3007,-786/3007,
167/3007,34/3007],[0,0,0,0],[-746/3007,-1199/3007,1797/3007,
-463/3007],[-228/3007,1430/3007,-892/3007,182/3007],[
-1007/3007,4/97,1072/3007,-344/3007],[537/3007,683/3007,
-1289/3007,355/3007],[-598/3007,-1113/3007,419/3007,40/3007],[
-307/3007,-337/3007,1/97,40/3007],[1039/3007,-323/3007,
-940/3007,264/3007],[1036/3007,408/3007,-722/3007,126/3007],[
942/3007,-323/3007,-746/3007,264/3007],[-544/3007,-1079/3007,
957/3007,-192/3007],[363/3007,304/3007,103/3007,-83/3007],[
337/3007,787/3007,-77/3007,-115/3007],[-204/3007,723/3007,
-17/3007,-72/3007],[1294/3007,592/3007,-1040/3007,257/3007],[
-1677/3007,-323/3007,321/3007,-27/3007],[952/3007,409/3007,
-1117/3007,239/3007],[276/3007,648/3007,-171/3007,-108/3007],[
0,0,0,0],[-2/97,-639/3007,-183/3007,5/97],[-8/97,63/3007,
-150/3007,38/3007],[700/3007,897/3007,705/3007,-392/3007],[
-763/3007,-387/3007,1545/3007,-469/3007],[-520/3007,-1495/3007,
1541/3007,-349/3007],[-1193/3007,-241/3007,1590/3007,-461/3007],
[-363/3007,-304/3007,-103/3007,83/3007],[-611/3007,-47/3007,
523/3007,-73/3007],[511/3007,-677/3007,-790/3007,420/3007],[
-13/97,454/3007,23/3007,-11/3007],[1277/3007,240/3007,
-1195/3007,348/3007],[0,0,0,0],[-226/3007,296/3007,256/3007,
-114/3007],[210/3007,725/3007,-1195/3007,348/3007],[-977/3007,
574/3007,1026/3007,-419/3007],[-750/3007,487/3007,83/3007,
-65/3007],[-338/3007,-1287/3007,-12/3007,263/3007],[1206/3007,
-437/3007,-1597/3007,574/3007],[611/3007,47/3007,-523/3007,
73/3007],[187/3007,-202/3007,56/3007,-1/97],[-313/3007,
252/3007,273/3007,-42/3007],[-352/3007,-915/3007,294/3007,7/3007
],[0,0,0,0],[1324/3007,1042/3007,-1086/3007,182/3007],[
1073/3007,963/3007,-1212/3007,276/3007],[1287/3007,196/3007,
-1372/3007,420/3007],[-1379/3007,-24/3007,71/3007,4/3007],[
1138/3007,192/3007,402/3007,-226/3007],[-698/3007,879/3007,
734/3007,-389/3007],[-440/3007,-101/3007,513/3007,-161/3007],[
-1605/3007,-989/3007,1491/3007,-304/3007],[-211/3007,618/3007,
-640/3007,188/3007],[-227/3007,87/3007,943/3007,-354/3007],[
-22/3007,640/3007,-212/3007,-42/3007],[-345/3007,-519/3007,
626/3007,-156/3007],[-204/3007,-344/3007,468/3007,-72/3007],[
-115/3007,-367/3007,47/3007,45/3007],[469/3007,-1598/3007,
419/3007,40/3007],[849/3007,610/3007,-778/3007,157/3007],[
-77/3007,203/3007,616/3007,-244/3007],[7/31,-9/31,-8/31,4/31],
[0,0,0,0],[-1206/3007,437/3007,1597/3007,-574/3007],[
-469/3007,1598/3007,-419/3007,-40/3007],[-438/3007,705/3007,
303/3007,-166/3007],[192/3007,164/3007,-663/3007,199/3007],[
-281/3007,53/3007,405/3007,-122/3007],[670/3007,-911/3007,
-995/3007,459/3007],[1826/3007,-352/3007,-1901/3007,576/3007],[
-539/3007,-131/3007,723/3007,-253/3007],[865/3007,-120/3007,
-130/3007,20/3007],[281/3007,-53/3007,-405/3007,122/3007],[
1073/3007,963/3007,-1212/3007,276/3007],[1521/3007,990/3007,
-1886/3007,417/3007],[-532/3007,-26/3007,9/97,-28/3007],[
1677/3007,323/3007,-321/3007,27/3007],[-1175/3007,-747/3007,
88/3007,76/3007],[-852/3007,121/3007,996/3007,-295/3007],[
-1237/3007,748/3007,47/97,-642/3007],[-216/3007,252/3007,
79/3007,-42/3007],[-2/97,-639/3007,-183/3007,5/97],[227/3007,
-87/3007,-943/3007,354/3007],[-210/3007,-725/3007,1195/3007,
-348/3007],[-571/3007,-223/3007,882/3007,-270/3007],[-748/3007,
-65/3007,649/3007,-167/3007],[-741/3007,-1027/3007,1757/3007,
-427/3007],[-567/3007,419/3007,-120/3007,11/3007],[204/3007,
-723/3007,17/3007,72/3007],[561/3007,267/3007,-705/3007,198/3007
],[295/3007,-425/3007,-711/3007,378/3007],[9/3007,38/3007,
219/3007,-71/3007],[0,0,0,0],[-763/3007,-387/3007,1545/3007,
-469/3007],[910/3007,1622/3007,-490/3007,-44/3007],[260/3007,
-174/3007,-431/3007,223/3007],[544/3007,1079/3007,-957/3007,
192/3007],[-1605/3007,-989/3007,1491/3007,-304/3007],[460/3007,
-1636/3007,200/3007,111/3007],[20/97,85/3007,-304/3007,2/3007],
[438/3007,-705/3007,-303/3007,166/3007],[942/3007,-323/3007,
-746/3007,264/3007],[-792/3007,-1016/3007,807/3007,-154/3007],[
224/3007,353/3007,-14/97,119/3007],[1543/3007,350/3007,-54/97,
459/3007],[1073/3007,963/3007,-1212/3007,276/3007],[539/3007,
131/3007,-723/3007,253/3007],[-735/3007,-646/3007,-425/3007,
237/3007],[-539/3007,-131/3007,723/3007,-253/3007],[-487/3007,
261/3007,1374/3007,-577/3007],[-13/97,454/3007,23/3007,-11/3007
],[-288/3007,-343/3007,73/3007,41/3007],[-452/3007,786/3007,
-167/3007,-34/3007],[-7/31,9/31,8/31,-4/31],[-226/3007,
296/3007,256/3007,-114/3007],[-537/3007,-683/3007,1289/3007,
-355/3007],[-626/3007,-660/3007,1710/3007,-472/3007],[-38/97,
12/97,13/97,-2/97],[204/3007,-723/3007,17/3007,72/3007],[
-726/3007,71/3007,667/3007,-222/3007],[633/3007,862/3007,
-699/3007,115/3007],[1215/3007,-399/3007,-1378/3007,503/3007],[
0,0,0,0],[-536/3007,-474/3007,602/3007,-115/3007],[175/3007,
976/3007,-915/3007,193/3007],[-227/3007,87/3007,943/3007,
-354/3007],[-8/97,63/3007,-150/3007,38/3007],[-2/97,-639/3007,
-183/3007,5/97],[1370/3007,-14/3007,-290/3007,67/3007],[
1080/3007,-1551/3007,-104/3007,113/3007],[698/3007,-879/3007,
-734/3007,389/3007],[1575/3007,539/3007,-1445/3007,379/3007],[
281/3007,-53/3007,-405/3007,122/3007],[-502/3007,424/3007,
233/3007,-103/3007],[1317/3007,646/3007,-1418/3007,345/3007],[
785/3007,20/97,-1139/3007,317/3007],[0,0,0,0],[-1138/3007,
-192/3007,-402/3007,226/3007],[13/97,-454/3007,-23/3007,11/3007
],[57/3007,1340/3007,417/3007,-385/3007],[35/3007,-251/3007,
-280/3007,5/97],[-84/3007,1/3007,-395/3007,113/3007],[
763/3007,387/3007,-1545/3007,469/3007],[-475/3007,150/3007,
793/3007,-316/3007],[-763/3007,-387/3007,1545/3007,-469/3007],[
-989/3007,103/3007,1122/3007,-389/3007],[-1804/3007,-288/3007,
2113/3007,-534/3007],[-18/97,457/3007,99/3007,-60/3007],[
428/3007,-370/3007,-417/3007,191/3007],[-187/3007,202/3007,
-56/3007,1/97],[-972/3007,-127/3007,792/3007,-189/3007],[7/31,
-9/31,-8/31,4/31],[0,0,0,0],[-1215/3007,399/3007,1378/3007,
-503/3007],[-767/3007,1299/3007,-169/3007,-71/3007],[536/3007,
474/3007,-602/3007,115/3007],[0,0,0,0],[-1268/3007,
-202/3007,1414/3007,-419/3007],[232/3007,-206/3007,-692/3007,
293/3007],[313/3007,-252/3007,-273/3007,42/3007],[-569/3007,
-581/3007,769/3007,-178/3007],[539/3007,131/3007,-723/3007,
253/3007],[-996/3007,-293/3007,790/3007,-226/3007],[735/3007,
-324/3007,-1224/3007,539/3007],[780/3007,-37/3007,-129/3007,
-10/3007],[1011/3007,324/3007,-45/97,431/3007],[1491/3007,
540/3007,-1840/3007,492/3007],[-735/3007,-646/3007,-425/3007,
237/3007],[13/97,-454/3007,-23/3007,11/3007],[50/3007,
944/3007,85/3007,-222/3007],[633/3007,862/3007,-699/3007,
115/3007],[-598/3007,-1113/3007,419/3007,40/3007],[825/3007,
1026/3007,-1362/3007,314/3007],[-1290/3007,826/3007,1299/3007,
-461/3007],[-746/3007,-1199/3007,1797/3007,-463/3007],[
-785/3007,-20/97,1139/3007,-317/3007],[-989/3007,-964/3007,
1607/3007,-389/3007],[-139/3007,49/3007,-537/3007,202/3007],[
567/3007,-419/3007,120/3007,-11/3007],[568/3007,663/3007,
-373/3007,35/3007],[35/3007,-251/3007,-280/3007,5/97],[
989/3007,-103/3007,-1122/3007,389/3007],[0,0,0,0],[164/3007,
423/3007,1307/3007,-507/3007],[808/3007,1838/3007,-1614/3007,
308/3007],[-227/3007,87/3007,943/3007,-354/3007],[763/3007,
387/3007,-1545/3007,469/3007],[-808/3007,-1838/3007,1614/3007,
-308/3007],[635/3007,-660/3007,-715/3007,304/3007],[313/3007,
-252/3007,-273/3007,42/3007],[748/3007,65/3007,-649/3007,
167/3007],[307/3007,337/3007,-1/97,-40/3007],[-317/3007,
-1166/3007,14/3007,162/3007],[989/3007,964/3007,-1607/3007,
389/3007],[532/3007,26/3007,-9/97,28/3007],[-204/3007,
723/3007,-17/3007,-72/3007],[539/3007,131/3007,-723/3007,
253/3007],[-1707/3007,-773/3007,367/3007,48/3007],[438/3007,
-705/3007,-303/3007,166/3007],[-939/3007,1047/3007,1207/3007,
-611/3007],[571/3007,223/3007,-882/3007,270/3007],[-1073/3007,
-963/3007,1212/3007,-276/3007],[927/3007,810/3007,-238/3007,
-38/3007],[260/3007,-174/3007,-431/3007,223/3007],[2/97,
639/3007,183/3007,-5/97],[0,0,0,0],[-1491/3007,-540/3007,
1840/3007,-492/3007],[-326/3007,251/3007,-593/3007,233/3007],[
996/3007,293/3007,-790/3007,226/3007],[216/3007,-252/3007,
-79/3007,42/3007],[-192/3007,-164/3007,663/3007,-199/3007],[
-611/3007,-47/3007,523/3007,-73/3007],[0,0,0,0],[-648/3007,
-20/3007,1498/3007,-514/3007],[-17/3007,812/3007,-252/3007,
-6/3007],[-7/31,9/31,8/31,-4/31],[-24/3007,416/3007,
-584/3007,157/3007],[102/3007,-216/3007,1124/3007,-352/3007],[
980/3007,-141/3007,-1341/3007,460/3007],[1826/3007,-352/3007,
-1901/3007,576/3007],[438/3007,-705/3007,-303/3007,166/3007],[
1575/3007,539/3007,-1445/3007,379/3007],[-1294/3007,-592/3007,
1040/3007,-257/3007],[-195/3007,761/3007,202/3007,-143/3007],[
-283/3007,702/3007,227/3007,-117/3007],[37/3007,555/3007,
-490/3007,150/3007],[767/3007,-1299/3007,169/3007,71/3007],[
-1379/3007,-24/3007,71/3007,4/3007],[-37/3007,-555/3007,
490/3007,-150/3007],[-735/3007,324/3007,1224/3007,-539/3007],[
571/3007,223/3007,-882/3007,270/3007],[-1575/3007,-539/3007,
1445/3007,-379/3007],[544/3007,1079/3007,-957/3007,192/3007],[
-438/3007,705/3007,303/3007,-166/3007],[-648/3007,-20/3007,
1498/3007,-514/3007],[-50/3007,-944/3007,-85/3007,222/3007],[
84/3007,-1/3007,395/3007,-113/3007],[-895/3007,-330/3007,
176/3007,55/3007],[7/31,-9/31,-8/31,4/31],[24/3007,-416/3007,
584/3007,-157/3007],[345/3007,519/3007,-626/3007,156/3007],[
1193/3007,241/3007,-1590/3007,461/3007],[0,0,0,0],[
-571/3007,-223/3007,882/3007,-270/3007],[-41/3007,1228/3007,
-836/3007,151/3007],[-35/3007,251/3007,280/3007,-5/97],[
-780/3007,37/3007,129/3007,10/3007],[-633/3007,-862/3007,
699/3007,-115/3007],[195/3007,-761/3007,-202/3007,143/3007],[
611/3007,47/3007,-523/3007,73/3007],[-539/3007,-131/3007,
723/3007,-253/3007],[1294/3007,592/3007,-1040/3007,257/3007],[
219/3007,-692/3007,-588/3007,277/3007],[1175/3007,747/3007,
-88/3007,-76/3007],[569/3007,581/3007,-769/3007,178/3007],[
785/3007,20/97,-1139/3007,317/3007],[865/3007,-120/3007,
-130/3007,20/3007],[-1677/3007,-323/3007,321/3007,-27/3007],[
698/3007,-879/3007,-734/3007,389/3007],[338/3007,1287/3007,
12/3007,-263/3007],[-13/97,454/3007,23/3007,-11/3007],[
-825/3007,-1026/3007,1362/3007,-314/3007],[0,0,0,0],[
598/3007,1113/3007,-419/3007,-40/3007],[-536/3007,-474/3007,
602/3007,-115/3007],[-980/3007,141/3007,1341/3007,-460/3007],[
22/3007,-640/3007,212/3007,42/3007],[112/3007,-454/3007,
-896/3007,399/3007],[989/3007,-103/3007,-1122/3007,389/3007],[
-1039/3007,323/3007,940/3007,-264/3007],[549/3007,863/3007,
-1094/3007,228/3007],[469/3007,-1598/3007,419/3007,40/3007],[
0,0,0,0],[-1011/3007,-324/3007,45/97,-431/3007],[-41/3007,
1228/3007,-836/3007,151/3007],[-251/3007,503/3007,359/3007,
-197/3007],[-24/3007,416/3007,-584/3007,157/3007],[-849/3007,
-610/3007,778/3007,-157/3007],[419/3007,-408/3007,-636/3007,
262/3007],[1039/3007,-323/3007,-940/3007,264/3007],[187/3007,
-202/3007,56/3007,-1/97],[726/3007,-71/3007,-667/3007,222/3007
],[-568/3007,-663/3007,373/3007,-35/3007],[224/3007,353/3007,
-14/97,119/3007],[756/3007,379/3007,-23/97,147/3007],[
224/3007,353/3007,-14/97,119/3007],[726/3007,-71/3007,-667/3007,
222/3007],[-951/3007,-394/3007,-346/3007,195/3007],[187/3007,
-202/3007,56/3007,-1/97],[-511/3007,677/3007,790/3007,-420/3007
],[-216/3007,252/3007,79/3007,-42/3007],[-849/3007,-610/3007,
778/3007,-157/3007],[-24/3007,416/3007,-584/3007,157/3007],[
-251/3007,503/3007,359/3007,-197/3007],[-787/3007,29/3007,31/97,
-312/3007],[-561/3007,-267/3007,705/3007,-198/3007],[-765/3007,
-611/3007,1173/3007,-270/3007],[-139/3007,49/3007,-537/3007,
202/3007],[428/3007,-370/3007,-417/3007,191/3007],[0,0,0,0
],[-216/3007,252/3007,79/3007,-42/3007],[428/3007,-370/3007,
-417/3007,191/3007],[1,0,0,0],[-787/3007,29/3007,31/97,
-312/3007],[-767/3007,1299/3007,-169/3007,-71/3007],[598/3007,
1113/3007,-419/3007,-40/3007],[763/3007,387/3007,-1545/3007,
469/3007],[-1036/3007,-408/3007,722/3007,-126/3007],[419/3007,
-408/3007,-636/3007,262/3007],[815/3007,-676/3007,-506/3007,
145/3007],[13/97,-454/3007,-23/3007,11/3007],[1491/3007,
540/3007,-1840/3007,492/3007],[-7/3007,-396/3007,-332/3007,
163/3007],[-815/3007,676/3007,506/3007,-145/3007],[1007/3007,
-4/97,-1072/3007,344/3007],[8/97,-63/3007,150/3007,-38/3007],[
1237/3007,-748/3007,-47/97,642/3007],[-1138/3007,-192/3007,
-402/3007,226/3007],[755/3007,461/3007,-317/3007,4/3007],[
-1267/3007,298/3007,1503/3007,-567/3007],[-942/3007,323/3007,
746/3007,-264/3007],[-1277/3007,-240/3007,1195/3007,-348/3007],
[17/3007,-812/3007,252/3007,6/3007],[10/97,770/3007,-346/3007,
1/3007],[-1206/3007,437/3007,1597/3007,-574/3007],[-537/3007,
-683/3007,1289/3007,-355/3007],[-514/3007,-1114/3007,814/3007,
-73/3007],[-567/3007,419/3007,-120/3007,11/3007],[1379/3007,
24/3007,-71/3007,-4/3007],[139/3007,-49/3007,537/3007,-202/3007
],[0,0,0,0],[204/3007,-723/3007,17/3007,72/3007],[0,0,0,
0],[2/97,639/3007,183/3007,-5/97]]),
Matrix(SparseMatrix(K,30,30,[
<1,4,1>,<1,17,-1>,<2,5,1>,<2,17,-1>,<3,10,1>,<3,17,-1>,
<4,15,1>,<4,17,-1>,<5,17,-1>,<5,20,1>,<6,17,-1>,<6,25,1>,
<7,14,1>,<7,17,-1>,<8,8,1>,<8,17,-1>,<9,3,1>,<9,17,-1>,
<10,9,1>,<10,17,-1>,<11,17,-1>,<11,19,1>,<12,17,-1>,<12,
26,1>,<13,17,-1>,<13,29,1>,<14,17,-1>,<14,21,1>,<15,1,1>,
<15,17,-1>,<16,17,-1>,<16,18,1>,<17,17,-1>,<17,30,1>,<18,
17,-1>,<18,23,1>,<19,17,-1>,<19,28,1>,<20,2,1>,<20,17,-1>,
<21,7,1>,<21,17,-1>,<22,12,1>,<22,17,-1>,<23,16,1>,<23,17,
-1>,<24,13,1>,<24,17,-1>,<25,17,-1>,<25,27,1>,<26,17,-1>,
<26,22,1>,<27,6,1>,<27,17,-1>,<28,11,1>,<28,17,-1>,<29,
17,-1>,<29,24,1>,<30,17,-1>]))
]> where w := K.1 where K := ext<K|Polynomial(K, [-1, 4, 2, -4, 1])> where K is 
RationalField();

return _LR;
