Magma V2.19-8 Tue Aug 20 2013 16:17:56 on localhost [Seed = 3381155086] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2171 geometric_solution 5.64045776 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 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.555320378779 0.226144536123 2 0 3 0 0132 2310 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 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.900072437220 0.402869792300 1 4 3 5 0132 0132 3012 0132 0 0 0 0 0 0 -1 1 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 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.756513109224 0.807832582657 5 2 4 1 3201 1230 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 1 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.756513109224 0.807832582657 4 2 4 3 2031 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 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 0 0 0 0 0.608793387087 1.157800550335 6 6 2 3 0132 2310 0132 2310 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 0 0 1 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.440760364858 1.659187166023 5 6 6 5 0132 3201 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 0 1 -1 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.605002265183 0.465267736195 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : 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_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_5, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t + 2803087447219803398052872823625125711808228063/17889706485134285575\ 018266281259873410066*c_0101_3^30 + 23082593927433129267166997684266250295583425643/3577941297026857115\ 0036532562519746820132*c_0101_3^29 - 87241629906224213924517210394659842871657821483/3577941297026857115\ 0036532562519746820132*c_0101_3^28 - 215938948205469782711905774009810329191116914203/178897064851342855\ 75018266281259873410066*c_0101_3^27 + 208943135695152647859350880377458079023773583643/178897064851342855\ 75018266281259873410066*c_0101_3^26 + 3035905398606421390790742996233184281815311947073/35779412970268571\ 150036532562519746820132*c_0101_3^25 - 237808108596991585666956375596557094936256254935/894485324256714278\ 7509133140629936705033*c_0101_3^24 - 12383376304963161959413750164941650697276539036179/3577941297026857\ 1150036532562519746820132*c_0101_3^23 + 1667328255369314070067527123594318389156140187927/35779412970268571\ 150036532562519746820132*c_0101_3^22 + 35606675600659220637039691477059299217863847960481/3577941297026857\ 1150036532562519746820132*c_0101_3^21 - 4897478327251721568340650608310297695937522267197/35779412970268571\ 150036532562519746820132*c_0101_3^20 - 78119778260933077761141539218245175771130762870503/3577941297026857\ 1150036532562519746820132*c_0101_3^19 + 4535853944042005563683896769850199429269243890852/89448532425671427\ 87509133140629936705033*c_0101_3^18 + 69607765724791139050696489206590538098539002733447/1788970648513428\ 5575018266281259873410066*c_0101_3^17 - 45767199664511195092897796520075362527358703149453/3577941297026857\ 1150036532562519746820132*c_0101_3^16 - 206907161311818886732162811436032832448758189999949/357794129702685\ 71150036532562519746820132*c_0101_3^15 + 66795258289655986802087150127904668775837183324361/3577941297026857\ 1150036532562519746820132*c_0101_3^14 + 119704567958225972400602077939204005714350968361973/178897064851342\ 85575018266281259873410066*c_0101_3^13 - 29273094437743649742192755146032299638635765299601/1788970648513428\ 5575018266281259873410066*c_0101_3^12 - 193916406747388832503322261523973569089493416340515/357794129702685\ 71150036532562519746820132*c_0101_3^11 + 10350491782520688562733201908122219869605313880289/8944853242567142\ 787509133140629936705033*c_0101_3^10 + 103320354376120084104980115788111032447355969872017/357794129702685\ 71150036532562519746820132*c_0101_3^9 - 7808038095888260250054755493074968199572416791352/89448532425671427\ 87509133140629936705033*c_0101_3^8 - 36474132573984492241046448815055218911766612620507/3577941297026857\ 1150036532562519746820132*c_0101_3^7 + 4421080282743357663323169882754809866703562327604/89448532425671427\ 87509133140629936705033*c_0101_3^6 + 4052407555821425756835974294785992214574535338255/17889706485134285\ 575018266281259873410066*c_0101_3^5 - 1306830941847999855232342855520551203587090962346/89448532425671427\ 87509133140629936705033*c_0101_3^4 - 478259385829501698149762247792889898947351453431/178897064851342855\ 75018266281259873410066*c_0101_3^3 + 668445906192148339010910276339181903385427204093/357794129702685711\ 50036532562519746820132*c_0101_3^2 + 46002804415316366033603791290806858379856072561/3577941297026857115\ 0036532562519746820132*c_0101_3 - 287560146634133486207562812741046\ 24824982875501/35779412970268571150036532562519746820132, c_0011_0 - 1, c_0011_1 + 13331337967149198041860927868757420075849962/894485324256714\ 2787509133140629936705033*c_0101_3^30 + 56544020244946782927572334044900719816113161/8944853242567142787509\ 133140629936705033*c_0101_3^29 - 1997037349277380081247587124560028\ 91911363227/8944853242567142787509133140629936705033*c_0101_3^28 - 1048319044825894530445158964736077252033401854/89448532425671427875\ 09133140629936705033*c_0101_3^27 + 854099222225716425210726579046443985218174925/894485324256714278750\ 9133140629936705033*c_0101_3^26 + 726304589490151544421290626837284\ 6419166043784/8944853242567142787509133140629936705033*c_0101_3^25 - 1340791932934607764557723075651440503136963542/89448532425671427875\ 09133140629936705033*c_0101_3^24 - 29202832214998377234898080425462291432934321274/8944853242567142787\ 509133140629936705033*c_0101_3^23 + 447283694381759917788771420721293141498186364/894485324256714278750\ 9133140629936705033*c_0101_3^22 + 831573083950167945989668670612880\ 94372278938393/8944853242567142787509133140629936705033*c_0101_3^21 - 1991375829896177921922810649258338722777967878/894485324256714278\ 7509133140629936705033*c_0101_3^20 - 181703090117807574640876461361180914444390391717/894485324256714278\ 7509133140629936705033*c_0101_3^19 + 22378037871815435848845549670815059360962057968/8944853242567142787\ 509133140629936705033*c_0101_3^18 + 324555058142993621109303190174478802619837470695/894485324256714278\ 7509133140629936705033*c_0101_3^17 - 71387571263668729960753889947115967206914793165/8944853242567142787\ 509133140629936705033*c_0101_3^16 - 484164309484326113391651092079484596521754417374/894485324256714278\ 7509133140629936705033*c_0101_3^15 + 102137250042907810336122538253318988113465288257/894485324256714278\ 7509133140629936705033*c_0101_3^14 + 556687199092050276891656790369847435026529329268/894485324256714278\ 7509133140629936705033*c_0101_3^13 - 75587062863637285069526108671368707987826768540/8944853242567142787\ 509133140629936705033*c_0101_3^12 - 442119806422703297077426694547340225603611366816/894485324256714278\ 7509133140629936705033*c_0101_3^11 + 51862439366155933226045536820812558689738374489/8944853242567142787\ 509133140629936705033*c_0101_3^10 + 231333207492630558827538853601845091205030035885/894485324256714278\ 7509133140629936705033*c_0101_3^9 - 51813766495572124286547707406794283380356088358/8944853242567142787\ 509133140629936705033*c_0101_3^8 - 83140499056668389837246872798045341561196403637/8944853242567142787\ 509133140629936705033*c_0101_3^7 + 33263470711234342019757121893536707352828247055/8944853242567142787\ 509133140629936705033*c_0101_3^6 + 19488733637198378153651520253695903742944411527/8944853242567142787\ 509133140629936705033*c_0101_3^5 - 9889256292793959285190779184100788082159261425/89448532425671427875\ 09133140629936705033*c_0101_3^4 - 237634597129971568307260033829225\ 4189005360715/8944853242567142787509133140629936705033*c_0101_3^3 + 1243292283351242674275703876169327517074887625/89448532425671427875\ 09133140629936705033*c_0101_3^2 + 111281288068240128453355796997431\ 541452554753/8944853242567142787509133140629936705033*c_0101_3 - 53226080281124564115480286196104138708300917/8944853242567142787509\ 133140629936705033, c_0011_3 - 9287789571196490426093645996697001375061743/8944853242567142\ 787509133140629936705033*c_0101_3^30 - 39019818478355394354930820692500437494853154/8944853242567142787509\ 133140629936705033*c_0101_3^29 + 1408822098630087517992842845064651\ 81054700998/8944853242567142787509133140629936705033*c_0101_3^28 + 725528717300371335324846528157500080391798845/894485324256714278750\ 9133140629936705033*c_0101_3^27 - 626571271206344339236300524979945\ 157247001613/8944853242567142787509133140629936705033*c_0101_3^26 - 5050104992604982699211832365757488023042842430/89448532425671427875\ 09133140629936705033*c_0101_3^25 + 1142196675338692719822452796121303348976581932/89448532425671427875\ 09133140629936705033*c_0101_3^24 + 20399892664009126263104081848242128150142463580/8944853242567142787\ 509133140629936705033*c_0101_3^23 - 1106379236580805925797280036966540418077371084/89448532425671427875\ 09133140629936705033*c_0101_3^22 - 58274426977937894958130030896602465131280024637/8944853242567142787\ 509133140629936705033*c_0101_3^21 + 3569162512251958379401486501216069140184627707/89448532425671427875\ 09133140629936705033*c_0101_3^20 + 127501627682656810625416321138768115333177701400/894485324256714278\ 7509133140629936705033*c_0101_3^19 - 20283578587321017762436609013611972777873832509/8944853242567142787\ 509133140629936705033*c_0101_3^18 - 227566287659625351931501343482426326418750801030/894485324256714278\ 7509133140629936705033*c_0101_3^17 + 58196082834469973535945644328139198464287185161/8944853242567142787\ 509133140629936705033*c_0101_3^16 + 339059420711435920313295550897513992169826256059/894485324256714278\ 7509133140629936705033*c_0101_3^15 - 83967223036020088437911219588723564625340698350/8944853242567142787\ 509133140629936705033*c_0101_3^14 - 390648558975892304762007735929301632218084950727/894485324256714278\ 7509133140629936705033*c_0101_3^13 + 67036425357077214206509227941932374397753656126/8944853242567142787\ 509133140629936705033*c_0101_3^12 + 312268320536170023107782979924634401362323009422/894485324256714278\ 7509133140629936705033*c_0101_3^11 - 46660045584513896659168140456191268757758679591/8944853242567142787\ 509133140629936705033*c_0101_3^10 - 164376493943849262259247962810657407377755573293/894485324256714278\ 7509133140629936705033*c_0101_3^9 + 41172951663264873447656198858923673452354986786/8944853242567142787\ 509133140629936705033*c_0101_3^8 + 58717707098517206177445113873628769460264053397/8944853242567142787\ 509133140629936705033*c_0101_3^7 - 25158314526372736192494470504310332557640952581/8944853242567142787\ 509133140629936705033*c_0101_3^6 - 13522652336532445282750522571814062547304597566/8944853242567142787\ 509133140629936705033*c_0101_3^5 + 7462047635029731713596384161204006539568899699/89448532425671427875\ 09133140629936705033*c_0101_3^4 + 163109684123382868292063566660749\ 2408461014455/8944853242567142787509133140629936705033*c_0101_3^3 - 943935155135805439127373538995991663935363821/894485324256714278750\ 9133140629936705033*c_0101_3^2 - 7696482950964073162913727043665838\ 4562094671/8944853242567142787509133140629936705033*c_0101_3 + 40469973054183426922401933795388760160846569/8944853242567142787509\ 133140629936705033, c_0011_5 + 7652440688522825492932639511940631256624062/8944853242567142\ 787509133140629936705033*c_0101_3^30 + 32378934022221016593147092729064328786555983/8944853242567142787509\ 133140629936705033*c_0101_3^29 - 1150019871133278407875411467495165\ 33123546574/8944853242567142787509133140629936705033*c_0101_3^28 - 600747540787859824922960756364014505223150131/894485324256714278750\ 9133140629936705033*c_0101_3^27 + 496896250249952217780963255371169\ 091792892306/8944853242567142787509133140629936705033*c_0101_3^26 + 4167111395964030685343214626470910871424344739/89448532425671427875\ 09133140629936705033*c_0101_3^25 - 813325520385203355864129955372497814751282933/894485324256714278750\ 9133140629936705033*c_0101_3^24 - 167749526912045036086430176106785\ 82676582478642/8944853242567142787509133140629936705033*c_0101_3^23 + 423400194648378771561907794667120885946120061/8944853242567142787\ 509133140629936705033*c_0101_3^22 + 47807108473283172850432346175168408441197846530/8944853242567142787\ 509133140629936705033*c_0101_3^21 - 1600197969852838120145312526087482830565596034/89448532425671427875\ 09133140629936705033*c_0101_3^20 - 104497598483261044257939182484956532850408168807/894485324256714278\ 7509133140629936705033*c_0101_3^19 + 13828433886095603343229842687106286624673389352/8944853242567142787\ 509133140629936705033*c_0101_3^18 + 186617093795020373791944074056624345371239843339/894485324256714278\ 7509133140629936705033*c_0101_3^17 - 42750947669297030755347968764459628644181996168/8944853242567142787\ 509133140629936705033*c_0101_3^16 - 278306840879017422319819069814678378144237744288/894485324256714278\ 7509133140629936705033*c_0101_3^15 + 61314692144363407966244366566218824096484975462/8944853242567142787\ 509133140629936705033*c_0101_3^14 + 320169527287730612911098572690893479342873967910/894485324256714278\ 7509133140629936705033*c_0101_3^13 - 46401850292467018934854168588873832931926099418/8944853242567142787\ 509133140629936705033*c_0101_3^12 - 254710380278085310401848518462787356951968136525/894485324256714278\ 7509133140629936705033*c_0101_3^11 + 31973520314260142746258490398376934471810721848/8944853242567142787\ 509133140629936705033*c_0101_3^10 + 133487249533790843576582935033939462752185937867/894485324256714278\ 7509133140629936705033*c_0101_3^9 - 30803311951312412723834727562585835433806694563/8944853242567142787\ 509133140629936705033*c_0101_3^8 - 47902288506693418616229293438897452310527737775/8944853242567142787\ 509133140629936705033*c_0101_3^7 + 19510515538909056768197510444886410345931164935/8944853242567142787\ 509133140629936705033*c_0101_3^6 + 11179521030172558016077095201934419838671018510/8944853242567142787\ 509133140629936705033*c_0101_3^5 - 5797552725727493862417113069515488025976043601/89448532425671427875\ 09133140629936705033*c_0101_3^4 - 135990942285252926321812567537059\ 6499940407467/8944853242567142787509133140629936705033*c_0101_3^3 + 730184710408662031788459599048200592088801539/894485324256714278750\ 9133140629936705033*c_0101_3^2 + 6383386367683884855032839033965982\ 3246856491/8944853242567142787509133140629936705033*c_0101_3 - 31277922001245927814998939407044494927011168/8944853242567142787509\ 133140629936705033, c_0101_0 + 13160796705958080532094859266582038175675792/894485324256714\ 2787509133140629936705033*c_0101_3^30 + 57098307562763775894880006964294318068093301/8944853242567142787509\ 133140629936705033*c_0101_3^29 - 1911647154818909089628964273597201\ 47239935503/8944853242567142787509133140629936705033*c_0101_3^28 - 1051400060911794688324803164417013350120115967/89448532425671427875\ 09133140629936705033*c_0101_3^27 + 735405372342073041388427187784950361476909369/894485324256714278750\ 9133140629936705033*c_0101_3^26 + 720431149054702006441889145310687\ 9060837982397/8944853242567142787509133140629936705033*c_0101_3^25 - 612391653346035545550818513707528331782791366/894485324256714278750\ 9133140629936705033*c_0101_3^24 - 286430654192032509482259600181216\ 96187649280254/8944853242567142787509133140629936705033*c_0101_3^23 - 2275154455087838806596503459757700752457366491/894485324256714278\ 7509133140629936705033*c_0101_3^22 + 80934249256127800648342462717261282223353959218/8944853242567142787\ 509133140629936705033*c_0101_3^21 + 5492228728994149255437747073033128367346135180/89448532425671427875\ 09133140629936705033*c_0101_3^20 - 176269043557966447848318316492944644815466647429/894485324256714278\ 7509133140629936705033*c_0101_3^19 + 6049514439436566395826154736131612608884472889/89448532425671427875\ 09133140629936705033*c_0101_3^18 + 315448516130265230088291419579949689750146689660/894485324256714278\ 7509133140629936705033*c_0101_3^17 - 41552941091456109507711380407038507840869572835/8944853242567142787\ 509133140629936705033*c_0101_3^16 - 472014169516361611400669286883510567857761947445/894485324256714278\ 7509133140629936705033*c_0101_3^15 + 57048661393442870963369454207316898211205735810/8944853242567142787\ 509133140629936705033*c_0101_3^14 + 539981905247035621701536781708455241182787798508/894485324256714278\ 7509133140629936705033*c_0101_3^13 - 25484553571154267862210601136478999344113091355/8944853242567142787\ 509133140629936705033*c_0101_3^12 - 421966740538889355958290402916515066287851733655/894485324256714278\ 7509133140629936705033*c_0101_3^11 + 15214346361128867568099559737666320899053485998/8944853242567142787\ 509133140629936705033*c_0101_3^10 + 217420055113117130409137585076947613740838952754/894485324256714278\ 7509133140629936705033*c_0101_3^9 - 33806806139006572773356279128809613569266411948/8944853242567142787\ 509133140629936705033*c_0101_3^8 - 79367030811574797450199710171217275989344411950/8944853242567142787\ 509133140629936705033*c_0101_3^7 + 26059170461013548689185600692701468255578033277/8944853242567142787\ 509133140629936705033*c_0101_3^6 + 19428873387382137385106722519096938829682587596/8944853242567142787\ 509133140629936705033*c_0101_3^5 - 7807704859345733281951208147797378775052157353/89448532425671427875\ 09133140629936705033*c_0101_3^4 - 242969362727898425684920331081123\ 5142705495258/8944853242567142787509133140629936705033*c_0101_3^3 + 961785005715982201397954133396714419297712514/894485324256714278750\ 9133140629936705033*c_0101_3^2 + 1117609782696309570401047574304491\ 36916043908/8944853242567142787509133140629936705033*c_0101_3 - 40976009957968504754646261536589352757739081/8944853242567142787509\ 133140629936705033, c_0101_1 + 23743135632622908182783754088194062693737/894485324256714278\ 7509133140629936705033*c_0101_3^30 + 694397167720977536020959673132044169186279/894485324256714278750913\ 3140629936705033*c_0101_3^29 + 242610265219754173289785812587373300\ 8061187/8944853242567142787509133140629936705033*c_0101_3^28 - 9526481856659307253187407379549624480049078/89448532425671427875091\ 33140629936705033*c_0101_3^27 - 48571700600857212125291225109493750\ 547081073/8944853242567142787509133140629936705033*c_0101_3^26 + 28743747045258797984970225141708189582056020/8944853242567142787509\ 133140629936705033*c_0101_3^25 + 3281880154198477140497966339052973\ 86533092126/8944853242567142787509133140629936705033*c_0101_3^24 + 35021249019816974884349175358128006612610041/8944853242567142787509\ 133140629936705033*c_0101_3^23 - 1261775509427468023908760942849915\ 096353455600/8944853242567142787509133140629936705033*c_0101_3^22 - 392649156573024922712921769262588950447265859/894485324256714278750\ 9133140629936705033*c_0101_3^21 + 346240899944007558653337613399898\ 4020057552414/8944853242567142787509133140629936705033*c_0101_3^20 + 1127200321252708073786697697356294666213181778/89448532425671427875\ 09133140629936705033*c_0101_3^19 - 7415584315686861048767265692681763594620489619/89448532425671427875\ 09133140629936705033*c_0101_3^18 - 1736894087403907301720316148515331385222722940/89448532425671427875\ 09133140629936705033*c_0101_3^17 + 13315315574987568644456024400752731422885782102/8944853242567142787\ 509133140629936705033*c_0101_3^16 + 1927591788966095931757104420756780649170334708/89448532425671427875\ 09133140629936705033*c_0101_3^15 - 20170572921525896676156616595748273155124503270/8944853242567142787\ 509133140629936705033*c_0101_3^14 - 3494121544577759117618267119243399406876467235/89448532425671427875\ 09133140629936705033*c_0101_3^13 + 22708611159144836047259329320911090549425271886/8944853242567142787\ 509133140629936705033*c_0101_3^12 + 5985226447894075804048031659347197999830547417/89448532425671427875\ 09133140629936705033*c_0101_3^11 - 16637939355114932981307707120745590244696837184/8944853242567142787\ 509133140629936705033*c_0101_3^10 - 4705477275601121126787195638189380270402665239/89448532425671427875\ 09133140629936705033*c_0101_3^9 + 797331211501899335223843018513146\ 4442999642476/8944853242567142787509133140629936705033*c_0101_3^8 + 1124300583927548670984597876089602159180818354/89448532425671427875\ 09133140629936705033*c_0101_3^7 - 309535679734933437603009868336063\ 9373388072311/8944853242567142787509133140629936705033*c_0101_3^6 + 118729913009136766972552264069072790916341766/894485324256714278750\ 9133140629936705033*c_0101_3^5 + 8932308162501816022581519635660239\ 00171161273/8944853242567142787509133140629936705033*c_0101_3^4 - 42452592316724465722570092061200256827666088/8944853242567142787509\ 133140629936705033*c_0101_3^3 - 12171444773916031281135242394923144\ 1138940592/8944853242567142787509133140629936705033*c_0101_3^2 + 1046392002418348109452351777195757026397235/89448532425671427875091\ 33140629936705033*c_0101_3 + 53160317805460858805248130498456931990\ 31077/8944853242567142787509133140629936705033, c_0101_3^31 + 4*c_0101_3^30 - 16*c_0101_3^29 - 75*c_0101_3^28 + 83*c_0101_3^27 + 529*c_0101_3^26 - 232*c_0101_3^25 - 2164*c_0101_3^24 + 563*c_0101_3^23 + 6221*c_0101_3^22 - 1659*c_0101_3^21 - 13570*c_0101_3^20 + 4979*c_0101_3^19 + 23889*c_0101_3^18 - 11248*c_0101_3^17 - 34933*c_0101_3^16 + 16448*c_0101_3^15 + 39769*c_0101_3^14 - 15781*c_0101_3^13 - 31639*c_0101_3^12 + 11942*c_0101_3^11 + 16299*c_0101_3^10 - 8110*c_0101_3^9 - 5243*c_0101_3^8 + 4009*c_0101_3^7 + 838*c_0101_3^6 - 1094*c_0101_3^5 + 7*c_0101_3^4 + 136*c_0101_3^3 - 15*c_0101_3^2 - 6*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.250 seconds, Total memory usage: 32.09MB