Magma V2.19-8 Tue Aug 20 2013 18:11:56 on localhost [Seed = 1646516639] Type ? for help. Type -D to quit. Loading file "11_289__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_289 geometric_solution 13.12897618 oriented_manifold CS_known -0.0000000000000007 1 0 torus 0.000000000000 0.000000000000 14 1 2 3 4 0132 0132 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 -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.008526276163 0.923005943893 0 5 7 6 0132 0132 0132 0132 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 0 1 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.416601075413 0.741413760729 7 0 9 8 1023 0132 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 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.008526276163 0.923005943893 10 6 9 0 0132 0132 0321 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 0.193784032174 0.512009886805 8 5 0 11 0213 1302 0132 0132 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 1 -1 0 0 0 0 0 0 1 0 -1 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.349962686048 0.698979843878 7 1 8 4 0132 0132 0213 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 1 -1 0 0 1 -1 -1 -3 0 4 3 1 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.818212942936 1.401430546383 12 3 1 8 0132 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.650704948215 0.594028609349 5 2 11 1 0132 1023 3012 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 -3 0 0 3 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.416601075413 0.741413760729 4 5 2 6 0213 0213 0132 0213 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 -1 1 0 0 0 0 0 0 -1 0 1 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.349962686048 0.698979843878 13 11 3 2 0132 0321 0321 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 0.193784032174 0.512009886805 3 13 12 13 0132 2310 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 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.184086207342 1.408286094035 12 7 4 9 2103 1230 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.735548438136 1.250910408214 6 13 11 10 0132 3201 2103 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 -1 0 0 1 -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.612169937409 0.825581092854 9 10 12 10 0132 2310 2310 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -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.184086207342 1.408286094035 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_0101_3'], 'c_1001_13' : negation(d['c_0101_3']), 'c_1001_12' : d['c_0011_11'], 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_0101_7'], 'c_1001_7' : negation(d['c_0011_11']), 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_7'], 'c_1001_9' : d['c_1001_9'], 'c_1001_8' : d['c_1001_0'], 'c_1010_13' : negation(d['c_0101_3']), 'c_1010_12' : d['c_0101_3'], 'c_1010_11' : d['c_0101_7'], 'c_1010_10' : d['c_0101_3'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_0_13' : d['1'], 'c_0101_13' : negation(d['c_0011_11']), 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_0'], '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' : negation(d['1']), 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_13' : 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' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_1001_3'], 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : negation(d['c_1001_11']), 'c_1100_4' : d['c_1001_9'], 'c_1100_7' : negation(d['c_1001_11']), 'c_1100_6' : negation(d['c_1001_11']), 'c_1100_1' : negation(d['c_1001_11']), 'c_1100_0' : d['c_1001_9'], 'c_1100_3' : d['c_1001_9'], 'c_1100_2' : d['c_1001_3'], 's_3_11' : d['1'], 'c_1100_11' : d['c_1001_9'], 'c_1100_10' : negation(d['c_0011_13']), 'c_1100_13' : negation(d['c_0011_10']), 's_0_11' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : d['c_0011_4'], 'c_1010_6' : d['c_1001_3'], 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_1001_11'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : d['c_0101_7'], 'c_1010_9' : d['c_0101_7'], 'c_1010_8' : negation(d['c_1001_11']), 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : 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_0011_13']), 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_13']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_10'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_13'], 'c_0110_10' : d['c_0101_3'], 'c_0110_13' : negation(d['c_0101_3']), 'c_0110_12' : d['c_0101_0'], 'c_0101_12' : d['c_0101_11'], 'c_0110_0' : d['c_0011_8'], 's_3_12' : d['1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_8'], 'c_0101_4' : d['c_0011_8'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_11']), 'c_0101_1' : d['c_0011_8'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_3']), 'c_0101_8' : d['c_0011_4'], 'c_0011_10' : d['c_0011_10'], 's_2_8' : d['1'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_11']), 'c_0110_8' : negation(d['c_0101_11']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1001_3'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : d['c_0101_7'], 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0011_8'], 'c_0110_6' : d['c_0101_11']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 15 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_13, c_0011_4, c_0011_8, c_0101_0, c_0101_11, c_0101_3, c_0101_7, c_1001_0, c_1001_11, c_1001_3, c_1001_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 127408266114063405216307609972050455652119/455670660188065271842760\ 7969264342600*c_1001_9^15 + 118035651014497198187779635666454709156\ 012/569588325235081589803450996158042825*c_1001_9^14 - 4955139846224614644568253718892626247087301/45567066018806527184276\ 07969264342600*c_1001_9^13 + 14551392897039059171201900680960013282\ 2329553/36453652815045221747420863754114740800*c_1001_9^12 - 27859605381910514657464301469750084883761943/2430243521003014783161\ 390916940982720*c_1001_9^11 + 1205912093709915656874475186360605061\ 810083889/48604870420060295663227818338819654400*c_1001_9^10 - 348533407620599731318047178198764230130666589/810081173667671594387\ 1303056469942400*c_1001_9^9 + 8341579152470456086984334232935724734\ 327486753/145814611260180886989683455016458963200*c_1001_9^8 - 8282791398161303848796865858754486834369867217/14581461126018088698\ 9683455016458963200*c_1001_9^7 + 2988863606704659135385476058601966\ 613813431891/72907305630090443494841727508229481600*c_1001_9^6 - 3155595822844559003437214726007477949424971271/14581461126018088698\ 9683455016458963200*c_1001_9^5 + 1365028992956520780310234239362541\ 66717372753/16201623473353431887742606112939884800*c_1001_9^4 - 24875797684290979931088229356801861820244857/9720974084012059132645\ 563667763930880*c_1001_9^3 + 78130412138542049764533511841567861297\ 8927/1215121760501507391580695458470491360*c_1001_9^2 - 22334838030810010362471229156922729260270711/1458146112601808869896\ 83455016458963200*c_1001_9 + 10324230844476163028061330624451457256\ 1729/4556706601880652718427607969264342600, c_0011_0 - 1, c_0011_10 - 133576375717450226540621692096/1121623246659935193823563227\ 801*c_1001_9^15 + 779788510866878688474662802368/112162324665993519\ 3823563227801*c_1001_9^14 - 3399634377497242429107065922080/1121623\ 246659935193823563227801*c_1001_9^13 + 9418248896025967773006260158184/1121623246659935193823563227801*c_1\ 001_9^12 - 17421497166210597897634918816112/11216232466599351938235\ 63227801*c_1001_9^11 + 8078861795277519407421753311850/112162324665\ 9935193823563227801*c_1001_9^10 + 44974978936696671779626947141186/\ 1121623246659935193823563227801*c_1001_9^9 - 169701943144276138919495854091499/1121623246659935193823563227801*c\ _1001_9^8 + 341906361112863400019355892463302/112162324665993519382\ 3563227801*c_1001_9^7 - 422616112135844804418245609148820/112162324\ 6659935193823563227801*c_1001_9^6 + 340028337227632496739276935385719/1121623246659935193823563227801*c\ _1001_9^5 - 178914885861441995016729328832175/112162324665993519382\ 3563227801*c_1001_9^4 + 67655008248356646715918214948393/1121623246\ 659935193823563227801*c_1001_9^3 - 19669629567369545279338406819498/1121623246659935193823563227801*c_\ 1001_9^2 + 5067700662758515471392155339417/112162324665993519382356\ 3227801*c_1001_9 - 600109830222889790574225418481/11216232466599351\ 93823563227801, c_0011_11 + 1746365508618991690230225189888/112162324665993519382356322\ 7801*c_1001_9^15 - 12333591554317901074215704291360/112162324665993\ 5193823563227801*c_1001_9^14 + 63391031403564765569924396243200/112\ 1623246659935193823563227801*c_1001_9^13 - 225871015962355397836873206672448/1121623246659935193823563227801*c\ _1001_9^12 + 630794391169846672053823178573308/11216232466599351938\ 23563227801*c_1001_9^11 - 1309379654321877086949309101739740/112162\ 3246659935193823563227801*c_1001_9^10 + 2180204562971173559100454994697977/1121623246659935193823563227801*\ c_1001_9^9 - 2728614873281966554050574926185118/1121623246659935193\ 823563227801*c_1001_9^8 + 2485502279856562168126336383084370/112162\ 3246659935193823563227801*c_1001_9^7 - 1618083237251065292180061768459898/1121623246659935193823563227801*\ c_1001_9^6 + 795985604822493633203004817796799/11216232466599351938\ 23563227801*c_1001_9^5 - 320453229669294045974349676689026/11216232\ 46659935193823563227801*c_1001_9^4 + 112364368519792075717882515772401/1121623246659935193823563227801*c\ _1001_9^3 - 32192307907885723065977786587119/1121623246659935193823\ 563227801*c_1001_9^2 + 7357806867977586172283687073148/112162324665\ 9935193823563227801*c_1001_9 - 539358789057736686120803596606/11216\ 23246659935193823563227801, c_0011_13 + 133576375717450226540621692096/1121623246659935193823563227\ 801*c_1001_9^15 - 779788510866878688474662802368/112162324665993519\ 3823563227801*c_1001_9^14 + 3399634377497242429107065922080/1121623\ 246659935193823563227801*c_1001_9^13 - 9418248896025967773006260158184/1121623246659935193823563227801*c_1\ 001_9^12 + 17421497166210597897634918816112/11216232466599351938235\ 63227801*c_1001_9^11 - 8078861795277519407421753311850/112162324665\ 9935193823563227801*c_1001_9^10 - 44974978936696671779626947141186/\ 1121623246659935193823563227801*c_1001_9^9 + 169701943144276138919495854091499/1121623246659935193823563227801*c\ _1001_9^8 - 341906361112863400019355892463302/112162324665993519382\ 3563227801*c_1001_9^7 + 422616112135844804418245609148820/112162324\ 6659935193823563227801*c_1001_9^6 - 340028337227632496739276935385719/1121623246659935193823563227801*c\ _1001_9^5 + 178914885861441995016729328832175/112162324665993519382\ 3563227801*c_1001_9^4 - 67655008248356646715918214948393/1121623246\ 659935193823563227801*c_1001_9^3 + 19669629567369545279338406819498/1121623246659935193823563227801*c_\ 1001_9^2 - 5067700662758515471392155339417/112162324665993519382356\ 3227801*c_1001_9 + 600109830222889790574225418481/11216232466599351\ 93823563227801, c_0011_4 - 602772571549942465298796408736/11216232466599351938235632278\ 01*c_1001_9^15 + 3699861316351242403341698846112/112162324665993519\ 3823563227801*c_1001_9^14 - 18384296990322319883952190547424/112162\ 3246659935193823563227801*c_1001_9^13 + 60718412048350377663919177145804/1121623246659935193823563227801*c_\ 1001_9^12 - 160773963995081780215462489507448/112162324665993519382\ 3563227801*c_1001_9^11 + 303288672583875600476766321185981/11216232\ 46659935193823563227801*c_1001_9^10 - 478651203704279751288940511847951/1121623246659935193823563227801*c\ _1001_9^9 + 535068439005626284350297795631617/112162324665993519382\ 3563227801*c_1001_9^8 - 453877968083918525248670623217190/112162324\ 6659935193823563227801*c_1001_9^7 + 319526911609541908044338491327545/1121623246659935193823563227801*c\ _1001_9^6 - 224532973786826728902898722122605/112162324665993519382\ 3563227801*c_1001_9^5 + 128862101594077033925879652419716/112162324\ 6659935193823563227801*c_1001_9^4 - 54208196282255665522403398202917/1121623246659935193823563227801*c_\ 1001_9^3 + 16688701929124334927538285904442/11216232466599351938235\ 63227801*c_1001_9^2 - 4224168200626066829430138952421/1121623246659\ 935193823563227801*c_1001_9 + 591270008420533574548338261156/112162\ 3246659935193823563227801, c_0011_8 - 602772571549942465298796408736/11216232466599351938235632278\ 01*c_1001_9^15 + 3699861316351242403341698846112/112162324665993519\ 3823563227801*c_1001_9^14 - 18384296990322319883952190547424/112162\ 3246659935193823563227801*c_1001_9^13 + 60718412048350377663919177145804/1121623246659935193823563227801*c_\ 1001_9^12 - 160773963995081780215462489507448/112162324665993519382\ 3563227801*c_1001_9^11 + 303288672583875600476766321185981/11216232\ 46659935193823563227801*c_1001_9^10 - 478651203704279751288940511847951/1121623246659935193823563227801*c\ _1001_9^9 + 535068439005626284350297795631617/112162324665993519382\ 3563227801*c_1001_9^8 - 453877968083918525248670623217190/112162324\ 6659935193823563227801*c_1001_9^7 + 319526911609541908044338491327545/1121623246659935193823563227801*c\ _1001_9^6 - 224532973786826728902898722122605/112162324665993519382\ 3563227801*c_1001_9^5 + 128862101594077033925879652419716/112162324\ 6659935193823563227801*c_1001_9^4 - 54208196282255665522403398202917/1121623246659935193823563227801*c_\ 1001_9^3 + 16688701929124334927538285904442/11216232466599351938235\ 63227801*c_1001_9^2 - 4224168200626066829430138952421/1121623246659\ 935193823563227801*c_1001_9 + 591270008420533574548338261156/112162\ 3246659935193823563227801, c_0101_0 + 1746365508618991690230225189888/1121623246659935193823563227\ 801*c_1001_9^15 - 12333591554317901074215704291360/1121623246659935\ 193823563227801*c_1001_9^14 + 63391031403564765569924396243200/1121\ 623246659935193823563227801*c_1001_9^13 - 225871015962355397836873206672448/1121623246659935193823563227801*c\ _1001_9^12 + 630794391169846672053823178573308/11216232466599351938\ 23563227801*c_1001_9^11 - 1309379654321877086949309101739740/112162\ 3246659935193823563227801*c_1001_9^10 + 2180204562971173559100454994697977/1121623246659935193823563227801*\ c_1001_9^9 - 2728614873281966554050574926185118/1121623246659935193\ 823563227801*c_1001_9^8 + 2485502279856562168126336383084370/112162\ 3246659935193823563227801*c_1001_9^7 - 1618083237251065292180061768459898/1121623246659935193823563227801*\ c_1001_9^6 + 795985604822493633203004817796799/11216232466599351938\ 23563227801*c_1001_9^5 - 320453229669294045974349676689026/11216232\ 46659935193823563227801*c_1001_9^4 + 112364368519792075717882515772401/1121623246659935193823563227801*c\ _1001_9^3 - 32192307907885723065977786587119/1121623246659935193823\ 563227801*c_1001_9^2 + 7357806867977586172283687073148/112162324665\ 9935193823563227801*c_1001_9 - 539358789057736686120803596606/11216\ 23246659935193823563227801, c_0101_11 - 710267708295504578913709780352/1121623246659935193823563227\ 801*c_1001_9^15 + 4893952728662832897897616308992/11216232466599351\ 93823563227801*c_1001_9^14 - 25110509176440649934657076607520/11216\ 23246659935193823563227801*c_1001_9^13 + 88588252894374007414680058244048/1121623246659935193823563227801*c_\ 1001_9^12 - 246465423490204813694307544846160/112162324665993519382\ 3563227801*c_1001_9^11 + 506975117664620369878384430191624/11216232\ 46659935193823563227801*c_1001_9^10 - 843335043985748057993813705269932/1121623246659935193823563227801*c\ _1001_9^9 + 1044499925522340969472873648918229/11216232466599351938\ 23563227801*c_1001_9^8 - 950065620061785329686063816467062/11216232\ 46659935193823563227801*c_1001_9^7 + 610376356979630100437074993032119/1121623246659935193823563227801*c\ _1001_9^6 - 287581528463387401942992117312840/112162324665993519382\ 3563227801*c_1001_9^5 + 93854385428300051280402471425259/1121623246\ 659935193823563227801*c_1001_9^4 - 21791960891743992978546727754714/1121623246659935193823563227801*c_\ 1001_9^3 + 522046661032704272346123998293/1121623246659935193823563\ 227801*c_1001_9^2 - 1072779781850754042352903470537/112162324665993\ 5193823563227801*c_1001_9 + 862686874741316675495936715837/11216232\ 46659935193823563227801, c_0101_3 - 1993737021590658644832910445184/1121623246659935193823563227\ 801*c_1001_9^15 + 13756128036589643890794096750688/1121623246659935\ 193823563227801*c_1001_9^14 - 70501743149601580979971844679104/1121\ 623246659935193823563227801*c_1001_9^13 + 248563736075589566969557374289424/1121623246659935193823563227801*c\ _1001_9^12 - 690260162869969831947306815560356/11216232466599351938\ 23563227801*c_1001_9^11 + 1415943405647443714631230581572624/112162\ 3246659935193823563227801*c_1001_9^10 - 2343081842332303405737953176443015/1121623246659935193823563227801*\ c_1001_9^9 + 2878341601375590662672218102424060/1121623246659935193\ 823563227801*c_1001_9^8 - 2570879342419935930620629382408551/112162\ 3246659935193823563227801*c_1001_9^7 + 1591274146832409828664683782467992/1121623246659935193823563227801*\ c_1001_9^6 - 698809424454433099214054228563088/11216232466599351938\ 23563227801*c_1001_9^5 + 202666502013508905741633383445431/11216232\ 46659935193823563227801*c_1001_9^4 - 40112941839986577232580534102554/1121623246659935193823563227801*c_\ 1001_9^3 + 1691679898348022181314684054533/112162324665993519382356\ 3227801*c_1001_9^2 - 941823708102371089842837358209/112162324665993\ 5193823563227801*c_1001_9 - 608600511241578461284947123278/11216232\ 46659935193823563227801, c_0101_7 - 885646869225341378127185443136/11216232466599351938235632278\ 01*c_1001_9^15 + 6416330347346427484979840187744/112162324665993519\ 3823563227801*c_1001_9^14 - 33047421533854801837590557434304/112162\ 3246659935193823563227801*c_1001_9^13 + 118674894231411575954908681389208/1121623246659935193823563227801*c\ _1001_9^12 - 331896749209575537532122812092236/11216232466599351938\ 23563227801*c_1001_9^11 + 690572438836299556250172661717766/1121623\ 246659935193823563227801*c_1001_9^10 - 1138281197630860713945004923478807/1121623246659935193823563227801*\ c_1001_9^9 + 1402302563891572335065272878500332/1121623246659935193\ 823563227801*c_1001_9^8 - 1212563495219306146535295742775858/112162\ 3246659935193823563227801*c_1001_9^7 + 681152765922741286276758319254083/1121623246659935193823563227801*c\ _1001_9^6 - 235282998431267182510366416332680/112162324665993519382\ 3563227801*c_1001_9^5 + 50847582595261622039262986214602/1121623246\ 659935193823563227801*c_1001_9^4 - 14577561919868683126074680276633/1121623246659935193823563227801*c_\ 1001_9^3 + 5628641849659532061013001636716/112162324665993519382356\ 3227801*c_1001_9^2 - 1897387375755216463545667679415/11216232466599\ 35193823563227801*c_1001_9 - 261102275514271283439565283165/1121623\ 246659935193823563227801, c_1001_0 - 885646869225341378127185443136/11216232466599351938235632278\ 01*c_1001_9^15 + 6416330347346427484979840187744/112162324665993519\ 3823563227801*c_1001_9^14 - 33047421533854801837590557434304/112162\ 3246659935193823563227801*c_1001_9^13 + 118674894231411575954908681389208/1121623246659935193823563227801*c\ _1001_9^12 - 331896749209575537532122812092236/11216232466599351938\ 23563227801*c_1001_9^11 + 690572438836299556250172661717766/1121623\ 246659935193823563227801*c_1001_9^10 - 1138281197630860713945004923478807/1121623246659935193823563227801*\ c_1001_9^9 + 1402302563891572335065272878500332/1121623246659935193\ 823563227801*c_1001_9^8 - 1212563495219306146535295742775858/112162\ 3246659935193823563227801*c_1001_9^7 + 681152765922741286276758319254083/1121623246659935193823563227801*c\ _1001_9^6 - 235282998431267182510366416332680/112162324665993519382\ 3563227801*c_1001_9^5 + 50847582595261622039262986214602/1121623246\ 659935193823563227801*c_1001_9^4 - 14577561919868683126074680276633/1121623246659935193823563227801*c_\ 1001_9^3 + 5628641849659532061013001636716/112162324665993519382356\ 3227801*c_1001_9^2 - 1897387375755216463545667679415/11216232466599\ 35193823563227801*c_1001_9 - 261102275514271283439565283165/1121623\ 246659935193823563227801, c_1001_11 - 2193020848643421009236501398848/112162324665993519382356322\ 7801*c_1001_9^15 + 16002268774909295706159352829888/112162324665993\ 5193823563227801*c_1001_9^14 - 83376101452624649333749389976384/112\ 1623246659935193823563227801*c_1001_9^13 + 302950496120911383280685887760216/1121623246659935193823563227801*c\ _1001_9^12 - 861395821623833173415515103929568/11216232466599351938\ 23563227801*c_1001_9^11 + 1836338080639827551446461827601962/112162\ 3246659935193823563227801*c_1001_9^10 - 3133059978761294023016706448011394/1121623246659935193823563227801*\ c_1001_9^9 + 4061745908951795832665428913705022/1121623246659935193\ 823563227801*c_1001_9^8 - 3876117413157890741514016244599440/112162\ 3246659935193823563227801*c_1001_9^7 + 2622705352350145685203247510285008/1121623246659935193823563227801*\ c_1001_9^6 - 1251332093042871092228742290520214/1121623246659935193\ 823563227801*c_1001_9^5 + 414477715893765884477570503756149/1121623\ 246659935193823563227801*c_1001_9^4 - 100133808034883349840691055973849/1121623246659935193823563227801*c\ _1001_9^3 + 20503470594638071653158361419333/1121623246659935193823\ 563227801*c_1001_9^2 - 5167038335693189823043332711509/112162324665\ 9935193823563227801*c_1001_9 + 86095995575075292658526057550/112162\ 3246659935193823563227801, c_1001_3 + c_1001_9, c_1001_9^16 - 7*c_1001_9^15 + 36*c_1001_9^14 - 1023/8*c_1001_9^13 + 357*c_1001_9^12 - 23653/32*c_1001_9^11 + 39397/32*c_1001_9^10 - 24523/16*c_1001_9^9 + 22247/16*c_1001_9^8 - 14121/16*c_1001_9^7 + 6439/16*c_1001_9^6 - 265/2*c_1001_9^5 + 1179/32*c_1001_9^4 - 135/16*c_1001_9^3 + 37/16*c_1001_9^2 + 1/32*c_1001_9 + 1/32 ], Ideal of Polynomial ring of rank 15 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_13, c_0011_4, c_0011_8, c_0101_0, c_0101_11, c_0101_3, c_0101_7, c_1001_0, c_1001_11, c_1001_3, c_1001_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 491005967958123185535676206737260831553535188/265686425035627318873\ 8595039354394109033125*c_1001_9^19 - 7073620271546220923168095026788593313907580782/26568642503562731887\ 38595039354394109033125*c_1001_9^18 + 1045559659707757658550392617159501664273404388/54221719395025983443\ 644796721518247123125*c_1001_9^17 - 256553488438154901643130054121307423801835416856/265686425035627318\ 8738595039354394109033125*c_1001_9^16 + 959618161019327455954924317243951777060717581157/265686425035627318\ 8738595039354394109033125*c_1001_9^15 - 2743583536906364041328651369253042492459770508296/26568642503562731\ 88738595039354394109033125*c_1001_9^14 + 6307296536584466253237866619616404889871350628671/26568642503562731\ 88738595039354394109033125*c_1001_9^13 - 11983092194376304492771192718640357372359662925393/2656864250356273\ 188738595039354394109033125*c_1001_9^12 + 18749163074997469311168847690727915630879694401082/2656864250356273\ 188738595039354394109033125*c_1001_9^11 - 24212145404620449753016643744839593154232748998978/2656864250356273\ 188738595039354394109033125*c_1001_9^10 + 4677447491169677292917390235218320467414637201539/53137285007125463\ 7747719007870878821806625*c_1001_9^9 - 12954683014029569012288940668946183138128657504631/2656864250356273\ 188738595039354394109033125*c_1001_9^8 + 2421891328682617129767994129735254284617523114857/26568642503562731\ 88738595039354394109033125*c_1001_9^7 + 714540848369428253404952427088709291991762221464/265686425035627318\ 8738595039354394109033125*c_1001_9^6 + 1059947416933844639114355018578086323510606319209/26568642503562731\ 88738595039354394109033125*c_1001_9^5 - 1674303514842602098936987998457600979829594296743/26568642503562731\ 88738595039354394109033125*c_1001_9^4 + 869371324604848328585010801561683209984459436719/265686425035627318\ 8738595039354394109033125*c_1001_9^3 - 53989738723668754595309567645893469170222638991/2656864250356273188\ 738595039354394109033125*c_1001_9^2 - 95430220064613529562519097131458261601933837332/2656864250356273188\ 738595039354394109033125*c_1001_9 + 1429736041339698847816088103708684038182118413/37420623244454551954\ 064718864146395901875, c_0011_0 - 1, c_0011_10 + 53509814759702532568213635104620433/81615317872310909387273\ 10548341634875*c_1001_9^19 - 152268052223183112920218189775014651/1\ 632306357446218187745462109668326975*c_1001_9^18 + 5446886498587042357060514261202704611/81615317872310909387273105483\ 41634875*c_1001_9^17 - 26983232333407910287838582329976106439/81615\ 31787231090938727310548341634875*c_1001_9^16 + 2850375891761748265055479299510715002/23318662249231688396363744423\ 8332425*c_1001_9^15 - 56259378601939023028060718425444967883/163230\ 6357446218187745462109668326975*c_1001_9^14 + 637976293402436165019466440183061723118/816153178723109093872731054\ 8341634875*c_1001_9^13 - 170811978777849132287368039971793513786/11\ 65933112461584419818187221191662125*c_1001_9^12 + 1840703230160605137597050602674401464626/81615317872310909387273105\ 48341634875*c_1001_9^11 - 2335139107609276533126161359530720860991/\ 8161531787231090938727310548341634875*c_1001_9^10 + 435783274148609560498631063211318749114/163230635744621818774546210\ 9668326975*c_1001_9^9 - 1092492274845275699155055195018945944391/81\ 61531787231090938727310548341634875*c_1001_9^8 + 154915594949263691686465686069861686758/816153178723109093872731054\ 8341634875*c_1001_9^7 + 38057637358754347377836386991283906123/8161\ 531787231090938727310548341634875*c_1001_9^6 + 126606762387593230328008833889589485709/816153178723109093872731054\ 8341634875*c_1001_9^5 - 142837863341122758423250578064447794247/816\ 1531787231090938727310548341634875*c_1001_9^4 + 56811344215851956331136095975123144248/8161531787231090938727310548\ 341634875*c_1001_9^3 + 4757692397046426659855716433785549724/816153\ 1787231090938727310548341634875*c_1001_9^2 - 7603089756899316759604926194319232206/81615317872310909387273105483\ 41634875*c_1001_9 + 46648784277944407728078345530119261/11495115193\ 2832266742638176737206125, c_0011_11 + 1386425158913202294357883659725512108/285653612553088182855\ 455869191957220625*c_1001_9^19 - 2000352270385392414525024996818204\ 2987/285653612553088182855455869191957220625*c_1001_9^18 + 20721523415478584724827337230885826831/4080765893615545469363655274\ 1708174375*c_1001_9^17 - 726995460088659797159308327809940588096/28\ 5653612553088182855455869191957220625*c_1001_9^16 + 2721890003075428685989986554408156703487/28565361255308818285545586\ 9191957220625*c_1001_9^15 - 779082075678098189405300458836000381216\ 1/285653612553088182855455869191957220625*c_1001_9^14 + 17930913316503029762758913831181382133111/2856536125530881828554558\ 69191957220625*c_1001_9^13 - 34116472617224505883764404197312013484\ 738/285653612553088182855455869191957220625*c_1001_9^12 + 53480747955438344195658527572530853016062/2856536125530881828554558\ 69191957220625*c_1001_9^11 - 69217759837692295998644396446307241794\ 573/285653612553088182855455869191957220625*c_1001_9^10 + 13433092524093324563302454339314296086074/5713072251061763657109117\ 3838391444125*c_1001_9^9 - 3761972692761234317865798499051407179929\ 6/285653612553088182855455869191957220625*c_1001_9^8 + 7379987151012256005785283256873336166012/28565361255308818285545586\ 9191957220625*c_1001_9^7 + 2056174964541712341783910174352204601324\ /285653612553088182855455869191957220625*c_1001_9^6 + 1845284315545318747084573432459002076019/28565361255308818285545586\ 9191957220625*c_1001_9^5 - 3673446306047041330643516323338021886588\ /285653612553088182855455869191957220625*c_1001_9^4 + 2500658397012166758654157795887492261279/28565361255308818285545586\ 9191957220625*c_1001_9^3 - 321525048079834948180747484463113959181/\ 285653612553088182855455869191957220625*c_1001_9^2 - 270642353963538099670767648556216427312/285653612553088182855455869\ 191957220625*c_1001_9 + 3740370822553559594431278726040317908/40232\ 90317649129335992336185802214375, c_0011_13 - 53509814759702532568213635104620433/81615317872310909387273\ 10548341634875*c_1001_9^19 + 152268052223183112920218189775014651/1\ 632306357446218187745462109668326975*c_1001_9^18 - 5446886498587042357060514261202704611/81615317872310909387273105483\ 41634875*c_1001_9^17 + 26983232333407910287838582329976106439/81615\ 31787231090938727310548341634875*c_1001_9^16 - 2850375891761748265055479299510715002/23318662249231688396363744423\ 8332425*c_1001_9^15 + 56259378601939023028060718425444967883/163230\ 6357446218187745462109668326975*c_1001_9^14 - 637976293402436165019466440183061723118/816153178723109093872731054\ 8341634875*c_1001_9^13 + 170811978777849132287368039971793513786/11\ 65933112461584419818187221191662125*c_1001_9^12 - 1840703230160605137597050602674401464626/81615317872310909387273105\ 48341634875*c_1001_9^11 + 2335139107609276533126161359530720860991/\ 8161531787231090938727310548341634875*c_1001_9^10 - 435783274148609560498631063211318749114/163230635744621818774546210\ 9668326975*c_1001_9^9 + 1092492274845275699155055195018945944391/81\ 61531787231090938727310548341634875*c_1001_9^8 - 154915594949263691686465686069861686758/816153178723109093872731054\ 8341634875*c_1001_9^7 - 38057637358754347377836386991283906123/8161\ 531787231090938727310548341634875*c_1001_9^6 - 126606762387593230328008833889589485709/816153178723109093872731054\ 8341634875*c_1001_9^5 + 142837863341122758423250578064447794247/816\ 1531787231090938727310548341634875*c_1001_9^4 - 56811344215851956331136095975123144248/8161531787231090938727310548\ 341634875*c_1001_9^3 - 4757692397046426659855716433785549724/816153\ 1787231090938727310548341634875*c_1001_9^2 + 7603089756899316759604926194319232206/81615317872310909387273105483\ 41634875*c_1001_9 - 46648784277944407728078345530119261/11495115193\ 2832266742638176737206125, c_0011_4 - 309368628463909345739460546595283772/28565361255308818285545\ 5869191957220625*c_1001_9^19 + 387408238887705078141017056654068560\ 3/285653612553088182855455869191957220625*c_1001_9^18 - 491561126336113468644651083685336637/582966556230792209909093610595\ 8310625*c_1001_9^17 + 103715455916981181314322943256706171609/28565\ 3612553088182855455869191957220625*c_1001_9^16 - 320608840298184974377493767822595117328/285653612553088182855455869\ 191957220625*c_1001_9^15 + 690325736165988259536665835290650496109/\ 285653612553088182855455869191957220625*c_1001_9^14 - 1085338037049564917988325610896834550454/28565361255308818285545586\ 9191957220625*c_1001_9^13 + 108096921226023500231313102393040684115\ 2/285653612553088182855455869191957220625*c_1001_9^12 + 168442435940752584139710315755385358907/285653612553088182855455869\ 191957220625*c_1001_9^11 - 2959910088693242356677336193208148361023\ /285653612553088182855455869191957220625*c_1001_9^10 + 1627981758392028811321866859995159590709/57130722510617636571091173\ 838391444125*c_1001_9^9 - 12824430301309228708511350943390410178936\ /285653612553088182855455869191957220625*c_1001_9^8 + 8798629515433743396950125134709976961127/28565361255308818285545586\ 9191957220625*c_1001_9^7 - 3237671362508640932694408057490648955301\ /285653612553088182855455869191957220625*c_1001_9^6 + 1678997594387643094750432093912826454329/28565361255308818285545586\ 9191957220625*c_1001_9^5 - 2295120992159762025686341056131589305023\ /285653612553088182855455869191957220625*c_1001_9^4 + 1022035800839228412087595634661714102054/28565361255308818285545586\ 9191957220625*c_1001_9^3 - 325658340956235826566017478306034420221/\ 285653612553088182855455869191957220625*c_1001_9^2 + 118362818901546541197931914457012104793/285653612553088182855455869\ 191957220625*c_1001_9 - 1603007974932524335165383765740033392/40232\ 90317649129335992336185802214375, c_0011_8 - 1932236298815840707481338670128102411/2856536125530881828554\ 55869191957220625*c_1001_9^19 + 28470543940805757995168539046665587\ 699/285653612553088182855455869191957220625*c_1001_9^18 - 30066249054015673284710817599693385057/4080765893615545469363655274\ 1708174375*c_1001_9^17 + 1071885650905346374244616885393441671902/2\ 85653612553088182855455869191957220625*c_1001_9^16 - 4080999113497902820014165282411317846924/28565361255308818285545586\ 9191957220625*c_1001_9^15 + 119086636062802040980535411387753135951\ 22/285653612553088182855455869191957220625*c_1001_9^14 - 27912315015293021315563873472605961386042/2856536125530881828554558\ 69191957220625*c_1001_9^13 + 54093212650534646871880319386978612660\ 381/285653612553088182855455869191957220625*c_1001_9^12 - 86661390353603055020109004200899265573364/2856536125530881828554558\ 69191957220625*c_1001_9^11 + 11490721226176623740533238507096617798\ 4936/285653612553088182855455869191957220625*c_1001_9^10 - 23354954777421367079858930419572474663908/5713072251061763657109117\ 3838391444125*c_1001_9^9 + 7367401686181154715561228819677535521223\ 2/285653612553088182855455869191957220625*c_1001_9^8 - 20735080492437559890606234318214541606519/2856536125530881828554558\ 69191957220625*c_1001_9^7 - 90965762749366219318530749537606461643/\ 285653612553088182855455869191957220625*c_1001_9^6 - 4661421458706767686773004664232845322898/28565361255308818285545586\ 9191957220625*c_1001_9^5 + 8235829819176950109568576209111054542256\ /285653612553088182855455869191957220625*c_1001_9^4 - 5066907820698112164608797980645429215678/28565361255308818285545586\ 9191957220625*c_1001_9^3 + 845677836488065436845518228249081935527/\ 285653612553088182855455869191957220625*c_1001_9^2 + 319440078860979734008481701980028418314/285653612553088182855455869\ 191957220625*c_1001_9 - 4448230860309686079977869882510150781/40232\ 90317649129335992336185802214375, c_0101_0 + 1386425158913202294357883659725512108/2856536125530881828554\ 55869191957220625*c_1001_9^19 - 20003522703853924145250249968182042\ 987/285653612553088182855455869191957220625*c_1001_9^18 + 20721523415478584724827337230885826831/4080765893615545469363655274\ 1708174375*c_1001_9^17 - 726995460088659797159308327809940588096/28\ 5653612553088182855455869191957220625*c_1001_9^16 + 2721890003075428685989986554408156703487/28565361255308818285545586\ 9191957220625*c_1001_9^15 - 779082075678098189405300458836000381216\ 1/285653612553088182855455869191957220625*c_1001_9^14 + 17930913316503029762758913831181382133111/2856536125530881828554558\ 69191957220625*c_1001_9^13 - 34116472617224505883764404197312013484\ 738/285653612553088182855455869191957220625*c_1001_9^12 + 53480747955438344195658527572530853016062/2856536125530881828554558\ 69191957220625*c_1001_9^11 - 69217759837692295998644396446307241794\ 573/285653612553088182855455869191957220625*c_1001_9^10 + 13433092524093324563302454339314296086074/5713072251061763657109117\ 3838391444125*c_1001_9^9 - 3761972692761234317865798499051407179929\ 6/285653612553088182855455869191957220625*c_1001_9^8 + 7379987151012256005785283256873336166012/28565361255308818285545586\ 9191957220625*c_1001_9^7 + 2056174964541712341783910174352204601324\ /285653612553088182855455869191957220625*c_1001_9^6 + 1845284315545318747084573432459002076019/28565361255308818285545586\ 9191957220625*c_1001_9^5 - 3673446306047041330643516323338021886588\ /285653612553088182855455869191957220625*c_1001_9^4 + 2500658397012166758654157795887492261279/28565361255308818285545586\ 9191957220625*c_1001_9^3 - 321525048079834948180747484463113959181/\ 285653612553088182855455869191957220625*c_1001_9^2 - 270642353963538099670767648556216427312/285653612553088182855455869\ 191957220625*c_1001_9 + 3740370822553559594431278726040317908/40232\ 90317649129335992336185802214375, c_0101_11 + 153063022761557753341159585137611703/5713072251061763657109\ 1173838391444125*c_1001_9^19 - 224669023230446992010177754640701566\ 9/57130722510617636571091173838391444125*c_1001_9^18 + 2373276255346028907273655354482221559/81615317872310909387273105483\ 41634875*c_1001_9^17 - 84857661235474993395306562896324278738/57130\ 722510617636571091173838391444125*c_1001_9^16 + 324313983824661120158268750122242052579/571307225106176365710911738\ 38391444125*c_1001_9^15 - 951837277703371325551950208446255099632/5\ 7130722510617636571091173838391444125*c_1001_9^14 + 2248417453443376485792148608214014940799/57130722510617636571091173\ 838391444125*c_1001_9^13 - 4388924703535463230979924788856947910079\ /57130722510617636571091173838391444125*c_1001_9^12 + 7088227801018609271493073698753671774113/57130722510617636571091173\ 838391444125*c_1001_9^11 - 1898043704321722003770425084220180964349\ /11426144502123527314218234767678288825*c_1001_9^10 + 1951533823435561781992315431299193965369/11426144502123527314218234\ 767678288825*c_1001_9^9 - 6397319087568361921701718715806107504416/\ 57130722510617636571091173838391444125*c_1001_9^8 + 1903446562170110565476348158182147710186/57130722510617636571091173\ 838391444125*c_1001_9^7 + 68507535226721744119967599285637203584/11\ 426144502123527314218234767678288825*c_1001_9^6 + 388621453071882207571316770627239849364/571307225106176365710911738\ 38391444125*c_1001_9^5 - 961349119962909401040892549111059929459/57\ 130722510617636571091173838391444125*c_1001_9^4 + 113690528122809838366504659756276660191/114261445021235273142182347\ 67678288825*c_1001_9^3 - 47838710500657090944043541868960202451/571\ 30722510617636571091173838391444125*c_1001_9^2 - 58802238442557012399235444464295138233/5713072251061763657109117383\ 8391444125*c_1001_9 + 178048702547910263373388624898468689/16093161\ 2705965173439693447432088575, c_0101_3 + 5071380513570729121741644702125704/5829665562307922099090936\ 105958310625*c_1001_9^19 - 492103114972392918218858595787375877/408\ 07658936155454693636552741708174375*c_1001_9^18 + 3482593815830633162837687762154569777/40807658936155454693636552741\ 708174375*c_1001_9^17 - 17313612666153815662033931052002329721/4080\ 7658936155454693636552741708174375*c_1001_9^16 + 64680605814226607353767621725227848552/4080765893615545469363655274\ 1708174375*c_1001_9^15 - 186511815668083433496292975027223543456/40\ 807658936155454693636552741708174375*c_1001_9^14 + 440576375294669812610874299517235009141/408076589361554546936365527\ 41708174375*c_1001_9^13 - 867964155298773733610463154022842814563/4\ 0807658936155454693636552741708174375*c_1001_9^12 + 1425878055793113907124639152286245618972/40807658936155454693636552\ 741708174375*c_1001_9^11 - 282916272057595249720362217566964408629/\ 5829665562307922099090936105958310625*c_1001_9^10 + 427700331844735842249066235282811766084/816153178723109093872731054\ 8341634875*c_1001_9^9 - 1665047722189372447092630940280094985286/40\ 807658936155454693636552741708174375*c_1001_9^8 + 960204537826110430860298554664711881137/408076589361554546936365527\ 41708174375*c_1001_9^7 - 18413568450149003551341296509106288173/582\ 9665562307922099090936105958310625*c_1001_9^6 - 70581643839243892062172666753664621921/4080765893615545469363655274\ 1708174375*c_1001_9^5 - 78278632245653644216405428854082915938/4080\ 7658936155454693636552741708174375*c_1001_9^4 + 151414881398464944357302071852014903844/408076589361554546936365527\ 41708174375*c_1001_9^3 + 145094704687128535117948108367780679/40807\ 658936155454693636552741708174375*c_1001_9^2 - 3258260948163959202764159854996614796/58296655623079220990909361059\ 58310625*c_1001_9 + 245183626256412433137070192514564338/5747557596\ 64161333713190883686030625, c_0101_7 - 347693376026467772175340935165149662/57130722510617636571091\ 173838391444125*c_1001_9^19 + 1041760722460854068439719039649276202\ /11426144502123527314218234767678288825*c_1001_9^18 - 5581895482174147089389017908581944132/81615317872310909387273105483\ 41634875*c_1001_9^17 + 201358799700318878804660355143841772811/5713\ 0722510617636571091173838391444125*c_1001_9^16 - 155175104018819230905126062289358532544/114261445021235273142182347\ 67678288825*c_1001_9^15 + 458906746628553250623451913522173270686/1\ 1426144502123527314218234767678288825*c_1001_9^14 - 5444137585715023130770934011929545913962/57130722510617636571091173\ 838391444125*c_1001_9^13 + 1067740517196290756986959292958459942349\ 8/57130722510617636571091173838391444125*c_1001_9^12 - 17341580122436747566672507735847698811084/5713072251061763657109117\ 3838391444125*c_1001_9^11 + 233330685733875046396631529182437929367\ 14/57130722510617636571091173838391444125*c_1001_9^10 - 4869817995952091563007510037871237603436/11426144502123527314218234\ 767678288825*c_1001_9^9 + 16313993978037783638245878710813861346824\ /57130722510617636571091173838391444125*c_1001_9^8 - 5233249166411052656238327107000450107342/57130722510617636571091173\ 838391444125*c_1001_9^7 + 381545988876257246873944407941687286858/5\ 7130722510617636571091173838391444125*c_1001_9^6 - 1138867203114152878306730282888458891376/57130722510617636571091173\ 838391444125*c_1001_9^5 + 1929965840963239494805104293293273605128/\ 57130722510617636571091173838391444125*c_1001_9^4 - 1139335353664818077941977186187330514992/57130722510617636571091173\ 838391444125*c_1001_9^3 + 209323603751300289865688403599022573714/5\ 7130722510617636571091173838391444125*c_1001_9^2 + 49226686363180615399538942267993788904/5713072251061763657109117383\ 8391444125*c_1001_9 - 691264918711166024476148222176847244/80465806\ 3529825867198467237160442875, c_1001_0 + 176657422353158220402757823765574847/57130722510617636571091\ 173838391444125*c_1001_9^19 - 2740582887138493415932903269241534947\ /57130722510617636571091173838391444125*c_1001_9^18 + 604952955519234104261962063532192239/163230635744621818774546210966\ 8326975*c_1001_9^17 - 111637670353585327124734054975800321728/57130\ 722510617636571091173838391444125*c_1001_9^16 + 439931929949964332845295812281641410567/571307225106176365710911738\ 38391444125*c_1001_9^15 - 1332900016009724160409819090469674297616/\ 57130722510617636571091173838391444125*c_1001_9^14 + 646157927709422367322455392293052630657/114261445021235273142182347\ 67678288825*c_1001_9^13 - 6465863322848832371783783686865198220139/\ 57130722510617636571091173838391444125*c_1001_9^12 + 2147828025998391183722070894665018674281/11426144502123527314218234\ 767678288825*c_1001_9^11 - 1478716010631136482966102243195363537084\ 6/57130722510617636571091173838391444125*c_1001_9^10 + 3211041896964888821960588193818633806011/11426144502123527314218234\ 767678288825*c_1001_9^9 - 11668022051459788584557288258239686700024\ /57130722510617636571091173838391444125*c_1001_9^8 + 4321956401212740558664161921674204411466/57130722510617636571091173\ 838391444125*c_1001_9^7 - 636038421019516208919750134476897449982/5\ 7130722510617636571091173838391444125*c_1001_9^6 + 911439293359391709319130455316255532866/571307225106176365710911738\ 38391444125*c_1001_9^5 - 1476513336769210144157360527364984934999/5\ 7130722510617636571091173838391444125*c_1001_9^4 + 830492629095474679168568276168085944523/571307225106176365710911738\ 38391444125*c_1001_9^3 - 169624714260901357445937750503035862489/57\ 130722510617636571091173838391444125*c_1001_9^2 - 3158915520676596058481949738365793949/11426144502123527314218234767\ 678288825*c_1001_9 + 229091316173435860333753237734873991/804658063\ 529825867198467237160442875, c_1001_11 - 368148257527000932438077841431/9812903213778364234127649233\ 6639375*c_1001_9^19 + 4751081411381025919913671457819/9812903213778\ 3642341276492336639375*c_1001_9^18 - 92136881916530156319764239993/286090472704908578254450414975625*c_1\ 001_9^17 + 148976851080055562806637757175357/9812903213778364234127\ 6492336639375*c_1001_9^16 - 522216251959633795273647402564369/98129\ 032137783642341276492336639375*c_1001_9^15 + 1395844794770694302771431907486732/98129032137783642341276492336639\ 375*c_1001_9^14 - 3063220358847665037156044093945792/98129032137783\ 642341276492336639375*c_1001_9^13 + 5546164280310523849034986621059671/98129032137783642341276492336639\ 375*c_1001_9^12 - 8360463357541229436427728003029214/98129032137783\ 642341276492336639375*c_1001_9^11 + 10542939261530483775341625050601146/9812903213778364234127649233663\ 9375*c_1001_9^10 - 1823216842146070835579047137476218/1962580642755\ 6728468255298467327875*c_1001_9^9 + 4665288421648296747218675955391822/98129032137783642341276492336639\ 375*c_1001_9^8 - 1047120045758220891913912096156529/981290321377836\ 42341276492336639375*c_1001_9^7 + 314703680392318542249911120421052\ /98129032137783642341276492336639375*c_1001_9^6 - 698578860429208552326032930077708/981290321377836423412764923366393\ 75*c_1001_9^5 + 681136494337032214554426511150771/98129032137783642\ 341276492336639375*c_1001_9^4 - 292936721006684143454610390119033/9\ 8129032137783642341276492336639375*c_1001_9^3 + 53676660728513145847875784203892/9812903213778364234127649233663937\ 5*c_1001_9^2 + 23252310339331258392098640949314/9812903213778364234\ 1276492336639375*c_1001_9 + 37468554685159697567951563975949814/981\ 29032137783642341276492336639375, c_1001_3 - 474922380888807464238053136006617321/28565361255308818285545\ 5869191957220625*c_1001_9^19 + 696800491252030725471848941981438612\ 4/285653612553088182855455869191957220625*c_1001_9^18 - 7358244233330038187050534635634322067/40807658936155454693636552741\ 708174375*c_1001_9^17 + 263039629803411411724657672568372868257/285\ 653612553088182855455869191957220625*c_1001_9^16 - 1005082964274944586611173883655584016149/28565361255308818285545586\ 9191957220625*c_1001_9^15 + 294920531810843649435166628112521159452\ 2/285653612553088182855455869191957220625*c_1001_9^14 - 6965455519610887760854046750634336932202/28565361255308818285545586\ 9191957220625*c_1001_9^13 + 135943783544462889941114862128471834695\ 21/285653612553088182855455869191957220625*c_1001_9^12 - 21951465080809165954965983015493978362984/2856536125530881828554558\ 69191957220625*c_1001_9^11 + 29385071705250674792243120146490127005\ 706/285653612553088182855455869191957220625*c_1001_9^10 - 6040505200850202309587576977650215594463/57130722510617636571091173\ 838391444125*c_1001_9^9 + 19793845878272986901020966993146212828552\ /285653612553088182855455869191957220625*c_1001_9^8 - 5887647741693599248980857611308792690579/28565361255308818285545586\ 9191957220625*c_1001_9^7 - 1056606164114484952536986182914760322328\ /285653612553088182855455869191957220625*c_1001_9^6 - 1204810835828569470379099711991287521953/28565361255308818285545586\ 9191957220625*c_1001_9^5 + 2974434028564608986653203046261342417171\ /285653612553088182855455869191957220625*c_1001_9^4 - 1758185517688096817671294237657480190613/28565361255308818285545586\ 9191957220625*c_1001_9^3 + 148108929539549664487151843505970777047/\ 285653612553088182855455869191957220625*c_1001_9^2 - 103817956429938975058466669552204412341/285653612553088182855455869\ 191957220625*c_1001_9 + 321510851529271936435540007682680174/402329\ 0317649129335992336185802214375, c_1001_9^20 - 15*c_1001_9^19 + 113*c_1001_9^18 - 586*c_1001_9^17 + 2276*c_1001_9^16 - 6806*c_1001_9^15 + 16384*c_1001_9^14 - 32678*c_1001_9^13 + 54200*c_1001_9^12 - 74970*c_1001_9^11 + 81771*c_1001_9^10 - 61277*c_1001_9^9 + 27626*c_1001_9^8 - 6536*c_1001_9^7 + 3715*c_1001_9^6 - 5629*c_1001_9^5 + 4424*c_1001_9^4 - 1695*c_1001_9^3 + 218*c_1001_9^2 + 160*c_1001_9 - 71 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 27.680 Total time: 27.899 seconds, Total memory usage: 139.84MB