Magma V2.19-8 Wed Aug 21 2013 00:16:07 on localhost [Seed = 1174416242] Type ? for help. Type -D to quit. Loading file "K13n4804__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n4804 geometric_solution 11.86045940 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 14 0 -14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.088532878670 0.941875571899 0 5 5 4 0132 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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 -14 14 0 0 0 14 -14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.750027741564 0.959625124006 6 0 7 3 0132 0132 0132 3120 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 0 0 0 0 1 -1 0 -1 0 1 0 -13 0 0 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.378772653660 0.503913746477 2 8 9 0 3120 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 -13 -1 0 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.244115900901 0.443058063489 1 6 0 10 3012 0213 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.076994352296 0.750259489936 11 1 1 12 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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 14 -14 0 0 0 -14 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.937293872992 0.589365107558 2 11 4 9 0132 0132 0213 3120 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 1 0 -1 0 0 0 0 0 13 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.146415206960 1.377256622893 8 12 8 2 2310 2031 1302 0132 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 -1 1 0 0 1 -1 -13 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.219884240228 0.872482033221 7 3 7 11 2031 0132 3201 1302 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 1 0 13 -14 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.219884240228 0.872482033221 6 12 10 3 3120 0321 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.288180355344 2.089493590334 10 9 4 10 3201 3201 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 1 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.396471370712 0.700984693650 5 6 8 12 0132 0132 2031 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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 13 0 -13 -14 0 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.666331225888 0.601685431032 7 11 5 9 1302 1302 0132 0321 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 -13 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.927487367202 0.625705635832 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_2'], 'c_1001_11' : negation(d['c_0011_9']), 'c_1001_10' : negation(d['c_0101_9']), 'c_1001_12' : d['c_0101_5'], 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : d['c_0011_12'], 'c_1001_7' : d['c_0011_9'], 'c_1001_6' : d['c_0011_12'], 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0011_3']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0011_12'], 'c_1001_9' : negation(d['c_0101_10']), 'c_1001_8' : negation(d['c_0011_3']), 'c_1010_12' : d['c_1001_3'], 'c_1010_11' : d['c_0011_12'], 'c_1010_10' : d['c_0101_10'], 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_7']), 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : negation(d['c_0011_0']), 'c_1100_8' : negation(d['c_0011_7']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_10']), 'c_1100_4' : d['c_0011_10'], 'c_1100_7' : negation(d['c_0101_2']), 'c_1100_6' : negation(d['c_0101_9']), 'c_1100_1' : d['c_0101_10'], 'c_1100_0' : d['c_0011_10'], 'c_1100_3' : d['c_0011_10'], 'c_1100_2' : negation(d['c_0101_2']), 's_0_10' : d['1'], 'c_1100_9' : d['c_0011_10'], 'c_1100_11' : negation(d['c_1001_3']), 'c_1100_10' : d['c_0011_10'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_12'], 'c_1010_6' : negation(d['c_0011_9']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_9']), 'c_1010_3' : negation(d['c_0011_3']), 'c_1010_2' : negation(d['c_0011_3']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0011_12'], 'c_1010_9' : d['c_1001_3'], 'c_1010_8' : d['c_1001_3'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_10']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_5'], 'c_0110_10' : negation(d['c_0101_10']), 'c_0110_12' : negation(d['c_0011_9']), 'c_0101_12' : negation(d['c_0011_7']), 'c_0101_7' : d['c_0011_3'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_4'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0101_2']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : d['c_0011_9'], 'c_0110_1' : d['c_0011_4'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : negation(d['c_0011_7']), 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_2'], 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_3, c_0011_4, c_0011_7, c_0011_9, c_0101_1, c_0101_10, c_0101_2, c_0101_5, c_0101_9, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 4516043945836674390422512459/4176528512191383495911567609*c_1001_3^\ 11 + 18575943760052248539785068366/4176528512191383495911567609*c_1\ 001_3^10 + 20823592561290884508354788/24713186462670908259831761*c_\ 1001_3^9 - 83995992714518080640031148616/29235699585339684471380973\ 263*c_1001_3^8 - 858901269173041688658926446612/2923569958533968447\ 1380973263*c_1001_3^7 + 2371467627512727997905487996296/29235699585\ 339684471380973263*c_1001_3^6 + 8287167365294109507185293116160/292\ 35699585339684471380973263*c_1001_3^5 + 9651735108091852275838624401396/29235699585339684471380973263*c_100\ 1_3^4 + 13075861403877981504956009526448/29235699585339684471380973\ 263*c_1001_3^3 + 11669808035001946742274146290497/29235699585339684\ 471380973263*c_1001_3^2 - 100488587665692095881701044763/2923569958\ 5339684471380973263*c_1001_3 + 4149451900933453117403631552536/2923\ 5699585339684471380973263, c_0011_0 - 1, c_0011_10 + 1143700966191016044/158343765178287777257*c_1001_3^11 + 2008032580657596199/158343765178287777257*c_1001_3^10 - 3394777666569089521/158343765178287777257*c_1001_3^9 + 2200112576642410592/158343765178287777257*c_1001_3^8 + 50717798128933325216/158343765178287777257*c_1001_3^7 + 155584035496449439488/158343765178287777257*c_1001_3^6 + 128572115067388018105/158343765178287777257*c_1001_3^5 + 31015814731034331837/158343765178287777257*c_1001_3^4 + 103854020280928790012/158343765178287777257*c_1001_3^3 + 3128799477578709757/12180289629099059789*c_1001_3^2 - 18131518204635416609/158343765178287777257*c_1001_3 + 11867319120089913644/12180289629099059789, c_0011_12 - 3504923329539834510/158343765178287777257*c_1001_3^11 + 1732768554643352030/158343765178287777257*c_1001_3^10 + 865571690663687770/158343765178287777257*c_1001_3^9 - 9785904471477079552/158343765178287777257*c_1001_3^8 - 123624481062514370782/158343765178287777257*c_1001_3^7 - 210858675398156796618/158343765178287777257*c_1001_3^6 - 143207495653373303342/158343765178287777257*c_1001_3^5 - 210309651874140449413/158343765178287777257*c_1001_3^4 - 74145804508534602976/158343765178287777257*c_1001_3^3 + 11462188262032434249/12180289629099059789*c_1001_3^2 - 269851100897665628260/158343765178287777257*c_1001_3 + 2506472329057889701/12180289629099059789, c_0011_3 + 3158726359917725065/158343765178287777257*c_1001_3^11 - 3821075107207997506/158343765178287777257*c_1001_3^10 - 964350983671317347/158343765178287777257*c_1001_3^9 + 12178229571331516512/158343765178287777257*c_1001_3^8 + 104175109548746019768/158343765178287777257*c_1001_3^7 + 102537428784309898253/158343765178287777257*c_1001_3^6 - 41401183075458582300/158343765178287777257*c_1001_3^5 + 94435126387075022623/158343765178287777257*c_1001_3^4 - 5183679383285017947/158343765178287777257*c_1001_3^3 - 20117119196787644554/12180289629099059789*c_1001_3^2 + 270144101765420925839/158343765178287777257*c_1001_3 - 13272602696668153722/12180289629099059789, c_0011_4 - 3139987913396633810/158343765178287777257*c_1001_3^11 + 4452784095089760171/158343765178287777257*c_1001_3^10 - 440704525688316470/158343765178287777257*c_1001_3^9 - 10937264889454541941/158343765178287777257*c_1001_3^8 - 99972203014031726899/158343765178287777257*c_1001_3^7 - 84562946977642394888/158343765178287777257*c_1001_3^6 + 42648777320869813790/158343765178287777257*c_1001_3^5 - 100518846362555687765/158343765178287777257*c_1001_3^4 + 116270450026240109056/158343765178287777257*c_1001_3^3 + 23158685955312503758/12180289629099059789*c_1001_3^2 - 362845002946744638596/158343765178287777257*c_1001_3 + 14287351174874610537/12180289629099059789, c_0011_7 + 10969147341881063811/158343765178287777257*c_1001_3^11 - 8937211808315132188/158343765178287777257*c_1001_3^10 - 5196054287712584408/158343765178287777257*c_1001_3^9 + 36708273181070946411/158343765178287777257*c_1001_3^8 + 379637773335516947955/158343765178287777257*c_1001_3^7 + 517061851753753907035/158343765178287777257*c_1001_3^6 + 100040471264621893041/158343765178287777257*c_1001_3^5 + 383922428782458763308/158343765178287777257*c_1001_3^4 + 147660444905901462986/158343765178287777257*c_1001_3^3 - 48722231160550753782/12180289629099059789*c_1001_3^2 + 851022558674156562453/158343765178287777257*c_1001_3 - 18280626287096095724/12180289629099059789, c_0011_9 + 7122874773924053662/158343765178287777257*c_1001_3^11 - 5340860969123544585/158343765178287777257*c_1001_3^10 - 2335180633986164209/158343765178287777257*c_1001_3^9 + 22744952174712813225/158343765178287777257*c_1001_3^8 + 248102421198784719768/158343765178287777257*c_1001_3^7 + 354739606856560356787/158343765178287777257*c_1001_3^6 + 137053799082165219232/158343765178287777257*c_1001_3^5 + 340119377188136817344/158343765178287777257*c_1001_3^4 + 165093152920294842855/158343765178287777257*c_1001_3^3 - 28479954797640982651/12180289629099059789*c_1001_3^2 + 588189935084487216395/158343765178287777257*c_1001_3 - 12491577528434809463/12180289629099059789, c_0101_1 - 38660615808993801/158343765178287777257*c_1001_3^11 + 2834523015993003104/158343765178287777257*c_1001_3^10 - 1606309881817989726/158343765178287777257*c_1001_3^9 - 3774081346292632868/158343765178287777257*c_1001_3^8 + 10298332992122884797/158343765178287777257*c_1001_3^7 + 97653694787354062582/158343765178287777257*c_1001_3^6 + 145879295319332923710/158343765178287777257*c_1001_3^5 - 6903189641820916188/158343765178287777257*c_1001_3^4 + 70641910528531244701/158343765178287777257*c_1001_3^3 + 10135811516293364152/12180289629099059789*c_1001_3^2 - 223828815348432797265/158343765178287777257*c_1001_3 + 5768868876513255113/12180289629099059789, c_0101_10 - 687546208039285084/158343765178287777257*c_1001_3^11 - 224724268016409903/158343765178287777257*c_1001_3^10 + 1896522670055102852/158343765178287777257*c_1001_3^9 - 1785091435026616674/158343765178287777257*c_1001_3^8 - 27360242587986208419/158343765178287777257*c_1001_3^7 - 59784816112883651995/158343765178287777257*c_1001_3^6 - 4387855257915256109/158343765178287777257*c_1001_3^5 + 50632074792753076659/158343765178287777257*c_1001_3^4 + 12249028631108361922/158343765178287777257*c_1001_3^3 + 125157166122126577/12180289629099059789*c_1001_3^2 + 7311478175751579781/158343765178287777257*c_1001_3 + 4696735691092192328/12180289629099059789, c_0101_2 + 1312262382851934927/158343765178287777257*c_1001_3^11 - 1385742788586078594/158343765178287777257*c_1001_3^10 + 260580070114324821/158343765178287777257*c_1001_3^9 + 3929724586498682267/158343765178287777257*c_1001_3^8 + 43718288473734332077/158343765178287777257*c_1001_3^7 + 55475467428649385898/158343765178287777257*c_1001_3^6 + 15171011992536404075/158343765178287777257*c_1001_3^5 + 65495355005127481290/158343765178287777257*c_1001_3^4 + 11549347605454814995/158343765178287777257*c_1001_3^3 - 402050550780001108/12180289629099059789*c_1001_3^2 + 194196052634559562601/158343765178287777257*c_1001_3 - 6777987153909183051/12180289629099059789, c_0101_5 - 3562322391869919566/158343765178287777257*c_1001_3^11 + 3935582582754592469/158343765178287777257*c_1001_3^10 + 664317318205331861/158343765178287777257*c_1001_3^9 - 14800950499646686991/158343765178287777257*c_1001_3^8 - 117529054605105778854/158343765178287777257*c_1001_3^7 - 131179462417470237401/158343765178287777257*c_1001_3^6 + 1424205420548388878/158343765178287777257*c_1001_3^5 - 211129121540480700459/158343765178287777257*c_1001_3^4 - 114590664622958449384/158343765178287777257*c_1001_3^3 + 18556433019800939197/12180289629099059789*c_1001_3^2 - 400979015064774712768/158343765178287777257*c_1001_3 + 7260592727364687999/12180289629099059789, c_0101_9 - 3336361912878915627/158343765178287777257*c_1001_3^11 - 1661006814600322763/158343765178287777257*c_1001_3^10 + 4520929427347102112/158343765178287777257*c_1001_3^9 - 8056292461620807877/158343765178287777257*c_1001_3^8 - 130623990717713363921/158343765178287777257*c_1001_3^7 - 310967243465956850208/158343765178287777257*c_1001_3^6 - 256608598728224917372/158343765178287777257*c_1001_3^5 - 175830111600047299960/158343765178287777257*c_1001_3^4 - 166450477184008577993/158343765178287777257*c_1001_3^3 + 7931338233673723384/12180289629099059789*c_1001_3^2 - 57523530058470649050/158343765178287777257*c_1001_3 - 16138833944941206994/12180289629099059789, c_1001_3^12 - c_1001_3^11 + 22/7*c_1001_3^9 + 237/7*c_1001_3^8 + 42*c_1001_3^7 + 82/7*c_1001_3^6 + 327/7*c_1001_3^5 + 9*c_1001_3^4 - 298/7*c_1001_3^3 + 691/7*c_1001_3^2 - 320/7*c_1001_3 + 169/7 ], Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_3, c_0011_4, c_0011_7, c_0011_9, c_0101_1, c_0101_10, c_0101_2, c_0101_5, c_0101_9, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 20148203226456583605904523705239/2758518332696450099825337059875*c_\ 1001_3^14 - 4816582211613386897039980272211/14518517540507632104343\ 8792625*c_1001_3^13 + 215098798318567800180163242685931/11034073330\ 78580039930134823950*c_1001_3^12 - 1240614479290399327448013503192937/5517036665392900199650674119750*\ c_1001_3^11 + 563881440607710691765032436966789/5517036665392900199\ 650674119750*c_1001_3^10 - 240523064426026060615009112861793/275851\ 8332696450099825337059875*c_1001_3^9 + 2252090028783950456512037762013134/2758518332696450099825337059875*\ c_1001_3^8 - 140440262368847522496441284443502/14518517540507632104\ 3438792625*c_1001_3^7 + 1674849041568007035169056160126329/27585183\ 32696450099825337059875*c_1001_3^6 - 47838769295368920285033389860727/290370350810152642086877585250*c_1\ 001_3^5 + 2576420988708246835532547674688383/2758518332696450099825\ 337059875*c_1001_3^4 - 2480039818328733843818729165828634/275851833\ 2696450099825337059875*c_1001_3^3 + 196287683966389411582638539991672/551703666539290019965067411975*c_\ 1001_3^2 - 49983623350058530588741337281449/11034073330785800399301\ 34823950*c_1001_3 + 31853927871882990074301391956797/55170366653929\ 00199650674119750, c_0011_0 - 1, c_0011_10 + 545175064541709/3029523742801613*c_1001_3^14 - 2211578839901720/3029523742801613*c_1001_3^13 + 13481898709041171/3029523742801613*c_1001_3^12 - 10132995506064234/3029523742801613*c_1001_3^11 + 2277237188072499/3029523742801613*c_1001_3^10 - 2220484599571778/3029523742801613*c_1001_3^9 + 56571223567319457/3029523742801613*c_1001_3^8 - 44086868437046997/3029523742801613*c_1001_3^7 + 23147465506165871/3029523742801613*c_1001_3^6 + 12324293829316126/3029523742801613*c_1001_3^5 + 62081837729260081/3029523742801613*c_1001_3^4 - 29840590864117120/3029523742801613*c_1001_3^3 + 10240332208882385/3029523742801613*c_1001_3^2 + 13039452158257146/3029523742801613*c_1001_3 - 3742839927235047/3029523742801613, c_0011_12 - 1334471446640242/3029523742801613*c_1001_3^14 + 6837237287478676/3029523742801613*c_1001_3^13 - 39394812749268010/3029523742801613*c_1001_3^12 + 62835126683809319/3029523742801613*c_1001_3^11 - 48860666916238037/3029523742801613*c_1001_3^10 + 31778429549665762/3029523742801613*c_1001_3^9 - 159415919223851143/3029523742801613*c_1001_3^8 + 266466248021371271/3029523742801613*c_1001_3^7 - 240426445452649054/3029523742801613*c_1001_3^6 + 116236045482194104/3029523742801613*c_1001_3^5 - 199249619363910526/3029523742801613*c_1001_3^4 + 264753331126526217/3029523742801613*c_1001_3^3 - 189535834516989513/3029523742801613*c_1001_3^2 + 64330222836406144/3029523742801613*c_1001_3 - 9312747043073257/3029523742801613, c_0011_3 - 679176537084291/3029523742801613*c_1001_3^14 + 3023318959369382/3029523742801613*c_1001_3^13 - 17973090365409633/3029523742801613*c_1001_3^12 + 19747352736815416/3029523742801613*c_1001_3^11 - 10614831779729192/3029523742801613*c_1001_3^10 + 8918426186806259/3029523742801613*c_1001_3^9 - 75570252513997136/3029523742801613*c_1001_3^8 + 83887891371831106/3029523742801613*c_1001_3^7 - 61470146833134925/3029523742801613*c_1001_3^6 + 17984027937771962/3029523742801613*c_1001_3^5 - 89682205956279025/3029523742801613*c_1001_3^4 + 73529787106903706/3029523742801613*c_1001_3^3 - 40934379632538253/3029523742801613*c_1001_3^2 + 5951919531421507/3029523742801613*c_1001_3 - 2240227360703080/3029523742801613, c_0011_4 - 679176537084291/3029523742801613*c_1001_3^14 + 3023318959369382/3029523742801613*c_1001_3^13 - 17973090365409633/3029523742801613*c_1001_3^12 + 19747352736815416/3029523742801613*c_1001_3^11 - 10614831779729192/3029523742801613*c_1001_3^10 + 8918426186806259/3029523742801613*c_1001_3^9 - 75570252513997136/3029523742801613*c_1001_3^8 + 83887891371831106/3029523742801613*c_1001_3^7 - 61470146833134925/3029523742801613*c_1001_3^6 + 17984027937771962/3029523742801613*c_1001_3^5 - 89682205956279025/3029523742801613*c_1001_3^4 + 73529787106903706/3029523742801613*c_1001_3^3 - 40934379632538253/3029523742801613*c_1001_3^2 + 5951919531421507/3029523742801613*c_1001_3 - 2240227360703080/3029523742801613, c_0011_7 - 621772060834588/3029523742801613*c_1001_3^14 + 3014167947675232/3029523742801613*c_1001_3^13 - 17622694961222337/3029523742801613*c_1001_3^12 + 24930906898767942/3029523742801613*c_1001_3^11 - 18715105565239225/3029523742801613*c_1001_3^10 + 13956392380356928/3029523742801613*c_1001_3^9 - 70964860915612430/3029523742801613*c_1001_3^8 + 103833509037165099/3029523742801613*c_1001_3^7 - 95638456942841699/3029523742801613*c_1001_3^6 + 48287188312802746/3029523742801613*c_1001_3^5 - 87359906094028195/3029523742801613*c_1001_3^4 + 98724533091302446/3029523742801613*c_1001_3^3 - 74932643039856614/3029523742801613*c_1001_3^2 + 31432018188061524/3029523742801613*c_1001_3 - 4536662772791758/3029523742801613, c_0011_9 - 1300948597918879/3029523742801613*c_1001_3^14 + 6037486907044614/3029523742801613*c_1001_3^13 - 35595785326631970/3029523742801613*c_1001_3^12 + 44678259635583358/3029523742801613*c_1001_3^11 - 29329937344968417/3029523742801613*c_1001_3^10 + 22874818567163187/3029523742801613*c_1001_3^9 - 146535113429609566/3029523742801613*c_1001_3^8 + 187721400408996205/3029523742801613*c_1001_3^7 - 157108603775976624/3029523742801613*c_1001_3^6 + 66271216250574708/3029523742801613*c_1001_3^5 - 177042112050307220/3029523742801613*c_1001_3^4 + 172254320198206152/3029523742801613*c_1001_3^3 - 115867022672394867/3029523742801613*c_1001_3^2 + 37383937719483031/3029523742801613*c_1001_3 - 3747366390693225/3029523742801613, c_0101_1 - 1150203173283215/3029523742801613*c_1001_3^14 + 5131139948827303/3029523742801613*c_1001_3^13 - 30425037450808166/3029523742801613*c_1001_3^12 + 33403299453283666/3029523742801613*c_1001_3^11 - 16439225934209956/3029523742801613*c_1001_3^10 + 12186123411159430/3029523742801613*c_1001_3^9 - 126536220145417640/3029523742801613*c_1001_3^8 + 143467364068520590/3029523742801613*c_1001_3^7 - 98075003763385271/3029523742801613*c_1001_3^6 + 18283105284407762/3029523742801613*c_1001_3^5 - 144247396173819308/3029523742801613*c_1001_3^4 + 126778965792284922/3029523742801613*c_1001_3^3 - 64728823039879579/3029523742801613*c_1001_3^2 + 195046855963480/3029523742801613*c_1001_3 + 2645178410560520/3029523742801613, c_0101_10 + 1145217250958815/3029523742801613*c_1001_3^14 - 5555254923816452/3029523742801613*c_1001_3^13 + 32431008992344488/3029523742801613*c_1001_3^12 - 45769621997696412/3029523742801613*c_1001_3^11 + 33384412249194913/3029523742801613*c_1001_3^10 - 23943531402514233/3029523742801613*c_1001_3^9 + 133309706760725732/3029523742801613*c_1001_3^8 - 194505809566140918/3029523742801613*c_1001_3^7 + 171435090654350671/3029523742801613*c_1001_3^6 - 78151180075503819/3029523742801613*c_1001_3^5 + 163262971061491202/3029523742801613*c_1001_3^4 - 189350617215101843/3029523742801613*c_1001_3^3 + 135156582808373222/3029523742801613*c_1001_3^2 - 43816895471768633/3029523742801613*c_1001_3 + 5860141981313533/3029523742801613, c_0101_2 - 545175064541709/3029523742801613*c_1001_3^14 + 2211578839901720/3029523742801613*c_1001_3^13 - 13481898709041171/3029523742801613*c_1001_3^12 + 10132995506064234/3029523742801613*c_1001_3^11 - 2277237188072499/3029523742801613*c_1001_3^10 + 2220484599571778/3029523742801613*c_1001_3^9 - 56571223567319457/3029523742801613*c_1001_3^8 + 44086868437046997/3029523742801613*c_1001_3^7 - 23147465506165871/3029523742801613*c_1001_3^6 - 12324293829316126/3029523742801613*c_1001_3^5 - 62081837729260081/3029523742801613*c_1001_3^4 + 29840590864117120/3029523742801613*c_1001_3^3 - 10240332208882385/3029523742801613*c_1001_3^2 - 16068975901058759/3029523742801613*c_1001_3 + 3742839927235047/3029523742801613, c_0101_5 - 711982221872815/3029523742801613*c_1001_3^14 + 3665771419108386/3029523742801613*c_1001_3^13 - 21166995911548218/3029523742801613*c_1001_3^12 + 34280990658202370/3029523742801613*c_1001_3^11 - 28342328159655181/3029523742801613*c_1001_3^10 + 18699778741769235/3029523742801613*c_1001_3^9 - 86337657499958006/3029523742801613*c_1001_3^8 + 144269634836313095/3029523742801613*c_1001_3^7 - 137149864190859728/3029523742801613*c_1001_3^6 + 71127603907255451/3029523742801613*c_1001_3^5 - 112859790870036436/3029523742801613*c_1001_3^4 + 142389218404733829/3029523742801613*c_1001_3^3 - 110527419168572379/3029523742801613*c_1001_3^2 + 41861448706222624/3029523742801613*c_1001_3 - 8266786916391194/3029523742801613, c_0101_9 + 1289150385220743/3029523742801613*c_1001_3^14 - 6507267590725503/3029523742801613*c_1001_3^13 + 37357742381868946/3029523742801613*c_1001_3^12 - 57064599155504314/3029523742801613*c_1001_3^11 + 37918822925143718/3029523742801613*c_1001_3^10 - 24787026928665085/3029523742801613*c_1001_3^9 + 152064711242043811/3029523742801613*c_1001_3^8 - 245540291756206044/3029523742801613*c_1001_3^7 + 194193393805839897/3029523742801613*c_1001_3^6 - 83784954825647650/3029523742801613*c_1001_3^5 + 177912892705066589/3029523742801613*c_1001_3^4 - 247863057421263263/3029523742801613*c_1001_3^3 + 143504998868644749/3029523742801613*c_1001_3^2 - 43648121151055044/3029523742801613*c_1001_3 + 1416889371988011/3029523742801613, c_1001_3^15 - 5*c_1001_3^14 + 29*c_1001_3^13 - 44*c_1001_3^12 + 34*c_1001_3^11 - 24*c_1001_3^10 + 119*c_1001_3^9 - 186*c_1001_3^8 + 169*c_1001_3^7 - 85*c_1001_3^6 + 151*c_1001_3^5 - 184*c_1001_3^4 + 134*c_1001_3^3 - 50*c_1001_3^2 + 9*c_1001_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 23.570 Total time: 23.780 seconds, Total memory usage: 136.62MB