Magma V2.19-8 Tue Aug 20 2013 23:48:50 on localhost [Seed = 2117604583] Type ? for help. Type -D to quit. Loading file "L12n1057__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L12n1057 geometric_solution 11.22956273 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 0 -1 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.112962458931 0.546217948549 0 5 6 3 0132 0132 0132 0321 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 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.063525705089 1.177063783481 5 0 8 7 0132 0132 0132 0132 0 0 1 1 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 1 -1 0 1 0 0 -1 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.331386854501 1.240125336616 6 1 9 0 0132 0321 0132 0132 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.743313716824 0.730271504614 9 5 0 10 0132 1302 0132 0132 0 1 0 1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 -1 2 0 0 1 -1 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.219754434000 1.789628675598 2 1 7 4 0132 0132 0213 2031 0 0 1 1 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 -1 0 0 1 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.131370637973 1.177550401976 3 8 8 1 0132 0132 1302 0132 0 1 1 1 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 -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.321480012334 1.083122946401 10 5 2 11 0321 0213 0132 0132 0 0 0 1 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 1 -2 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.517206224810 0.539118342615 6 6 9 2 2031 0132 3012 0132 0 0 1 1 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 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.748156032275 0.848506811903 4 8 10 3 0132 1230 0132 0132 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.360466711010 0.916751215352 7 11 4 9 0321 1302 0132 0132 0 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 0 0 0 0 0 2 -2 0 -1 0 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.073357660064 0.965900753973 11 11 7 10 1302 2031 0132 2031 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 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.580999885344 0.919093963067 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0110_11']), 'c_1001_10' : d['c_0110_11'], 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_0101_2'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_8'], 'c_1001_2' : d['c_0101_2'], 'c_1001_9' : d['c_1001_9'], 'c_1001_8' : d['c_0011_4'], 'c_1010_11' : d['c_0011_10'], 'c_1010_10' : d['c_1001_9'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_10']), 'c_0101_10' : negation(d['c_0011_7']), 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : negation(d['1']), 's_0_9' : negation(d['1']), 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(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_10'], 'c_1100_8' : negation(d['c_1001_9']), 'c_1100_5' : negation(d['c_0110_11']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_1001_9']), 'c_1100_6' : d['c_0101_8'], 'c_1100_1' : d['c_0101_8'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_1001_9']), 's_3_11' : d['1'], 'c_1100_9' : d['c_1100_0'], 'c_1100_11' : negation(d['c_1001_9']), 'c_1100_10' : d['c_1100_0'], 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0110_11']), 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0110_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_2'], 'c_1010_9' : d['c_0101_8'], 'c_1010_8' : d['c_0101_2'], 's_3_1' : d['1'], 's_3_0' : negation(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' : negation(d['1']), 's_3_9' : negation(d['1']), 's_3_8' : negation(d['1']), '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' : negation(d['c_0011_4']), 'c_0011_8' : 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' : negation(d['c_0011_3']), '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_0110_11'], 'c_0110_10' : negation(d['c_0011_7']), 'c_0101_7' : d['c_0011_7'], 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0011_7'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_3']), 'c_0101_9' : negation(d['c_0011_7']), 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : negation(d['c_0011_3']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_3']), 'c_0110_2' : d['c_0011_7'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0011_7']), 'c_0110_7' : negation(d['c_0011_10']), 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_4, c_0011_7, c_0101_1, c_0101_2, c_0101_8, c_0110_11, c_1001_0, c_1001_9, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 290636583377307279274214964446920085061441/729843158227727957720718\ 8378851971878871200*c_1001_9^15 + 231576578381114558392937082409687\ 5328346143/3649215791138639788603594189425985939435600*c_1001_9^14 + 492601714166387172673720393123730985881733/456151973892329973575449\ 273678248242429450*c_1001_9^13 - 8214486089546885563898735751734179\ 3913880183/3649215791138639788603594189425985939435600*c_1001_9^12 + 14380359897750073656171863027907521075574193/1459686316455455915441\ 43767577039437577424*c_1001_9^11 - 553890172817095804252818121115161319948520163/364921579113863978860\ 3594189425985939435600*c_1001_9^10 + 359730163724665629320363512852306475064008141/364921579113863978860\ 3594189425985939435600*c_1001_9^9 - 132153632324180804628852139957154481666608163/182460789556931989430\ 1797094712992969717800*c_1001_9^8 + 884001466402619907459610456115397186324061087/729843158227727957720\ 7188378851971878871200*c_1001_9^7 - 110246159915108843331935332744505051723835769/912303947784659947150\ 898547356496484858900*c_1001_9^6 - 78023843952354030142153899171678090871531273/9123039477846599471508\ 98547356496484858900*c_1001_9^5 + 100586150333741024215669087514137\ 7975467489217/1824607895569319894301797094712992969717800*c_1001_9^\ 4 - 6723640221015742828102772060814571684120231631/7298431582277279\ 577207188378851971878871200*c_1001_9^3 + 532800042206332729563266459964721280118628703/729843158227727957720\ 718837885197187887120*c_1001_9^2 - 687071360517543964887441197983260162914921357/364921579113863978860\ 3594189425985939435600*c_1001_9 - 123639881800458000931153135050364\ 807613598607/1824607895569319894301797094712992969717800, c_0011_0 - 1, c_0011_10 + 50724202832024970358513404025562102413/72984315822772795772\ 071883788519718788712*c_1001_9^15 + 211166532926361882227978528758783481567/182460789556931989430179709\ 47129929697178*c_1001_9^14 + 49868607326884321941179381975986715001\ 5/18246078955693198943017970947129929697178*c_1001_9^13 - 13503951320078586261260534014239421238967/3649215791138639788603594\ 1894259859394356*c_1001_9^12 + 533519157049833282231169028954256893\ 20595/36492157911386397886035941894259859394356*c_1001_9^11 - 62293016276422241026280912568044077222625/3649215791138639788603594\ 1894259859394356*c_1001_9^10 + 325041251212389356322994152526257470\ 14927/36492157911386397886035941894259859394356*c_1001_9^9 - 9025900861426502113300156650205976979910/91230394778465994715089854\ 73564964848589*c_1001_9^8 + 948194561833977744186002042358580198423\ 39/72984315822772795772071883788519718788712*c_1001_9^7 - 38244139512886845472479446411217250816271/3649215791138639788603594\ 1894259859394356*c_1001_9^6 - 2091069388350015419543251242298737859\ 0643/9123039477846599471508985473564964848589*c_1001_9^5 + 152387215477133774715500932818338597811087/182460789556931989430179\ 70947129929697178*c_1001_9^4 - 814470758316336305364946712931191401\ 630491/72984315822772795772071883788519718788712*c_1001_9^3 + 145752876022760650196042647634440527577505/182460789556931989430179\ 70947129929697178*c_1001_9^2 - 689882761564326606376606229567755582\ 91447/36492157911386397886035941894259859394356*c_1001_9 - 2888104930214050284210842688718872054080/91230394778465994715089854\ 73564964848589, c_0011_3 - 764173906011749958014522158847172578407/36492157911386397886\ 0359418942598593943560*c_1001_9^15 - 1556634498886962703139769474694072491599/45615197389232997357544927\ 367824824242945*c_1001_9^14 - 6367480359696861048553326275193928622\ 289/91230394778465994715089854735649648485890*c_1001_9^13 + 209211271806079434381575900655006112130701/182460789556931989430179\ 709471299296971780*c_1001_9^12 - 1750568246946395356239050361664647\ 84327829/36492157911386397886035941894259859394356*c_1001_9^11 + 1210507535287873653735974347117724067123711/18246078955693198943017\ 9709471299296971780*c_1001_9^10 - 767103939984850509311593365235008\ 595926537/182460789556931989430179709471299296971780*c_1001_9^9 + 163954675332534484936284713338305174116888/456151973892329973575449\ 27367824824242945*c_1001_9^8 - 180590067818396046016246175099291049\ 7099489/364921579113863978860359418942598593943560*c_1001_9^7 + 843315996980206038844656627742641790531847/182460789556931989430179\ 709471299296971780*c_1001_9^6 + 29086448151896241897532985328367057\ 3720481/45615197389232997357544927367824824242945*c_1001_9^5 - 2535375757563241669887404880214974138171729/91230394778465994715089\ 854735649648485890*c_1001_9^4 + 15797737841926840883103975345653339\ 681004217/364921579113863978860359418942598593943560*c_1001_9^3 - 314574921005798079745460786017961813041797/912303947784659947150898\ 5473564964848589*c_1001_9^2 + 1969041853117227895496910470840022177\ 383009/182460789556931989430179709471299296971780*c_1001_9 - 10219743057560680634467945650588572585118/4561519738923299735754492\ 7367824824242945, c_0011_4 - 125867585703754517618657658136225597973/72984315822772795772\ 071883788519718788712*c_1001_9^15 - 254821926287597332640690375341931054659/912303947784659947150898547\ 3564964848589*c_1001_9^14 - 991715134566187096913279573506386442813\ /18246078955693198943017970947129929697178*c_1001_9^13 + 34865086310159345279006934406072842876215/3649215791138639788603594\ 1894259859394356*c_1001_9^12 - 147125496025555493530193403120394638\ 668839/36492157911386397886035941894259859394356*c_1001_9^11 + 207578585569585289645099011350797070900253/364921579113863978860359\ 41894259859394356*c_1001_9^10 - 12311264614606573446898305632230684\ 9514899/36492157911386397886035941894259859394356*c_1001_9^9 + 24518579350650753554704572511010779216109/9123039477846599471508985\ 473564964848589*c_1001_9^8 - 31076258368612718003601027448066100816\ 7491/72984315822772795772071883788519718788712*c_1001_9^7 + 139188390308571052319256000129469362120353/364921579113863978860359\ 41894259859394356*c_1001_9^6 + 485301489192492404369357782952157503\ 04860/9123039477846599471508985473564964848589*c_1001_9^5 - 433615525812690327525502889050275911118539/182460789556931989430179\ 70947129929697178*c_1001_9^4 + 269043050558771085247656126572291021\ 0102699/72984315822772795772071883788519718788712*c_1001_9^3 - 257021959855167779706334996795962231024920/912303947784659947150898\ 5473564964848589*c_1001_9^2 + 2453539157138191786411583088577371675\ 87491/36492157911386397886035941894259859394356*c_1001_9 + 7340975820665703765460697405898620709678/91230394778465994715089854\ 73564964848589, c_0011_7 + 19526864520334743081724107351802084255/364921579113863978860\ 35941894259859394356*c_1001_9^15 + 83108369816095882814466202591113107990/9123039477846599471508985473\ 564964848589*c_1001_9^14 + 223828933810396462868944391573805685820/\ 9123039477846599471508985473564964848589*c_1001_9^13 - 5000149896229785630348414497114341587667/18246078955693198943017970\ 947129929697178*c_1001_9^12 + 1877321869769477898692357958263864752\ 1987/18246078955693198943017970947129929697178*c_1001_9^11 - 17852977863507004868688762248091067441435/1824607895569319894301797\ 0947129929697178*c_1001_9^10 + 925698016517899218462066856896471610\ 5807/18246078955693198943017970947129929697178*c_1001_9^9 - 6965159798786361490403355371064446492844/91230394778465994715089854\ 73564964848589*c_1001_9^8 + 352639157868202055143569004323668015011\ 93/36492157911386397886035941894259859394356*c_1001_9^7 - 10749342038693711371378166408722072476721/1824607895569319894301797\ 0947129929697178*c_1001_9^6 - 1735382812466724886847753279830186321\ 1019/9123039477846599471508985473564964848589*c_1001_9^5 + 51912259444951687752045855046347176294597/9123039477846599471508985\ 473564964848589*c_1001_9^4 - 25804458306770341612111687162880899262\ 2765/36492157911386397886035941894259859394356*c_1001_9^3 + 36059085830168627100345360436811652388048/9123039477846599471508985\ 473564964848589*c_1001_9^2 - 22788113855363157263670481087888405010\ 763/18246078955693198943017970947129929697178*c_1001_9 + 5835586056217581360535550906094890295149/91230394778465994715089854\ 73564964848589, c_0101_1 - 324151030131608148999448989038695975713/18246078955693198943\ 0179709471299296971780*c_1001_9^15 - 2547528909674930688377414186250718042309/91230394778465994715089854\ 735649648485890*c_1001_9^14 - 1892757215177632529112853472678632109\ 176/45615197389232997357544927367824824242945*c_1001_9^13 + 93382772328560567478918680554871128749979/9123039477846599471508985\ 4735649648485890*c_1001_9^12 - 837471646671624388943188188800528626\ 09707/18246078955693198943017970947129929697178*c_1001_9^11 + 680689328681835152100167693324067792671039/912303947784659947150898\ 54735649648485890*c_1001_9^10 - 44421927153783994969620413424789692\ 0988083/91230394778465994715089854735649648485890*c_1001_9^9 + 143999527662496823615781967864114096421209/456151973892329973575449\ 27367824824242945*c_1001_9^8 - 959597115980217455212863961383933259\ 412791/182460789556931989430179709471299296971780*c_1001_9^7 + 222749894922051346515560849280573875861239/456151973892329973575449\ 27367824824242945*c_1001_9^6 + 203746056493810380104360977249289820\ 376828/45615197389232997357544927367824824242945*c_1001_9^5 - 1265461216412007878786556917631426547113071/45615197389232997357544\ 927367824824242945*c_1001_9^4 + 85999635617611773581271763805073933\ 45714703/182460789556931989430179709471299296971780*c_1001_9^3 - 718752955600727724887984805919276454710181/182460789556931989430179\ 70947129929697178*c_1001_9^2 + 109340902357584628681595034746173212\ 0881301/91230394778465994715089854735649648485890*c_1001_9 + 147596318763538195038525796903031721657981/456151973892329973575449\ 27367824824242945, c_0101_2 + 21434042535183555026482141016594965673/182460789556931989430\ 17970947129929697178*c_1001_9^15 + 353271971319093462058882643332382763999/182460789556931989430179709\ 47129929697178*c_1001_9^14 + 39125340680258625386022379672752812887\ 5/9123039477846599471508985473564964848589*c_1001_9^13 - 5773312275225846566091619556746014585639/91230394778465994715089854\ 73564964848589*c_1001_9^12 + 23549790787044679902993035665013130247\ 187/9123039477846599471508985473564964848589*c_1001_9^11 - 30170926309940942781535508642790761655830/9123039477846599471508985\ 473564964848589*c_1001_9^10 + 1802401667163444897260249572903450458\ 4612/9123039477846599471508985473564964848589*c_1001_9^9 - 16226629731985997700147611628009478203549/9123039477846599471508985\ 473564964848589*c_1001_9^8 + 45965823155493546797171642240226653925\ 677/18246078955693198943017970947129929697178*c_1001_9^7 - 38493968967433971218620385304648810191051/1824607895569319894301797\ 0947129929697178*c_1001_9^6 - 3409560463322616786385783303548642420\ 2769/9123039477846599471508985473564964848589*c_1001_9^5 + 135255305413251329258352658409076785740754/912303947784659947150898\ 5473564964848589*c_1001_9^4 - 4028252136188015930098458175984670608\ 96201/18246078955693198943017970947129929697178*c_1001_9^3 + 299849831416494948395114044130488239473239/182460789556931989430179\ 70947129929697178*c_1001_9^2 - 432805639606698990324422394076355954\ 59126/9123039477846599471508985473564964848589*c_1001_9 - 5096819934828185100353527891019196025598/91230394778465994715089854\ 73564964848589, c_0101_8 + 159775352456153441095324754766208015771/72984315822772795772\ 071883788519718788712*c_1001_9^15 + 330409230833378947817942776078920178500/912303947784659947150898547\ 3564964848589*c_1001_9^14 + 149643024854785545224705440982367609581\ 9/18246078955693198943017970947129929697178*c_1001_9^13 - 42951119083200421375389862478455380826449/3649215791138639788603594\ 1894259859394356*c_1001_9^12 + 172490263027790651355960594736988008\ 175217/36492157911386397886035941894259859394356*c_1001_9^11 - 212071050230663981056226736088116695505579/364921579113863978860359\ 41894259859394356*c_1001_9^10 + 11384703969832677934042968542972539\ 2480733/36492157911386397886035941894259859394356*c_1001_9^9 - 28628104655861269649642666269193108713587/9123039477846599471508985\ 473564964848589*c_1001_9^8 + 32063797430001014487552289032454091605\ 0309/72984315822772795772071883788519718788712*c_1001_9^7 - 146268529889120250568012267322760140953815/364921579113863978860359\ 41894259859394356*c_1001_9^6 - 683195337421361906130569310330159663\ 55233/9123039477846599471508985473564964848589*c_1001_9^5 + 498728775676980794433654600992577542065221/182460789556931989430179\ 70947129929697178*c_1001_9^4 - 282889689322072113799348087910838866\ 1395085/72984315822772795772071883788519718788712*c_1001_9^3 + 247871316711466667214320927070659968645353/912303947784659947150898\ 5473564964848589*c_1001_9^2 - 1925290453326545805100154541032510118\ 61425/36492157911386397886035941894259859394356*c_1001_9 - 1056069683692114785897462967566198729724/91230394778465994715089854\ 73564964848589, c_0110_11 - 56548391076850296159865948964816682431/72984315822772795772\ 071883788519718788712*c_1001_9^15 - 232680055221869531894458652100825194733/182460789556931989430179709\ 47129929697178*c_1001_9^14 - 50753987766175519873765537254075082578\ 9/18246078955693198943017970947129929697178*c_1001_9^13 + 15365665952287345118211081323361496547077/3649215791138639788603594\ 1894259859394356*c_1001_9^12 - 621731099360160585424823556603686616\ 58485/36492157911386397886035941894259859394356*c_1001_9^11 + 77698509983497598277766324141681467197335/3649215791138639788603594\ 1894259859394356*c_1001_9^10 - 378061525421227939136249198039740429\ 55541/36492157911386397886035941894259859394356*c_1001_9^9 + 8995522663702240225076916193778319581437/91230394778465994715089854\ 73564964848589*c_1001_9^8 - 128579423405821443433117323752444379916\ 601/72984315822772795772071883788519718788712*c_1001_9^7 + 47979701729270432704075603473633110549085/3649215791138639788603594\ 1894259859394356*c_1001_9^6 + 2286900256912290014729193492417705510\ 0536/9123039477846599471508985473564964848589*c_1001_9^5 - 182798070515683550182039858353054792937383/182460789556931989430179\ 70947129929697178*c_1001_9^4 + 104939862635580134158174239425091667\ 5146353/72984315822772795772071883788519718788712*c_1001_9^3 - 167476829853092239433608898922655028858291/182460789556931989430179\ 70947129929697178*c_1001_9^2 + 395662366638651783163105655464876464\ 05257/36492157911386397886035941894259859394356*c_1001_9 + 2740346732635173630768316945578118542910/91230394778465994715089854\ 73564964848589, c_1001_0 - 1, c_1001_9^16 + 16*c_1001_9^15 + 28*c_1001_9^14 - 566*c_1001_9^13 + 2430*c_1001_9^12 - 3586*c_1001_9^11 + 1982*c_1001_9^10 - 1432*c_1001_9^9 + 2567*c_1001_9^8 - 2282*c_1001_9^7 - 3064*c_1001_9^6 + 14668*c_1001_9^5 - 22831*c_1001_9^4 + 17160*c_1001_9^3 - 3454*c_1001_9^2 - 1688*c_1001_9 - 160, c_1100_0 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB