Magma V2.19-8 Tue Aug 20 2013 16:16:26 on localhost [Seed = 1014866131] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0711 geometric_solution 4.66370998 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 0 0 0 0 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.628153196663 0.107789752643 0 2 2 0 3201 0132 1023 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 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 1.546166228591 0.339323835228 3 1 1 4 0132 0132 1023 0132 0 0 0 0 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 -1 0 1 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.072192858018 0.803514354217 2 4 4 5 0132 2310 1302 0132 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 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.203677019460 0.578183898932 3 5 2 3 2031 1023 0132 3201 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 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 0 0 0 0 0.203677019460 0.578183898932 4 6 3 6 1023 0132 0132 1023 0 0 0 0 0 0 -1 1 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 -1 0 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 1.291392973567 0.505074551877 6 5 6 5 2310 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 1 -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 1 -1 0 0 -1 1 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.792786213108 0.422490518552 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : 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' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0110_4']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0110_4'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : negation(d['c_0110_4']), 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : negation(d['c_0110_4']), 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : negation(d['c_0110_4']), 'c_1010_3' : negation(d['c_0110_4']), 'c_1010_2' : d['c_0101_2'], '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_4, c_0101_0, c_0101_2, c_0101_6, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t + 576186378678208276094666136751110891112269482442194199677/211416999\ 34697414895137630652868479685612238735717289777*c_0110_4^24 - 9265319379871606668566357797523135344149499405828142092892/21141699\ 934697414895137630652868479685612238735717289777*c_0110_4^23 + 39902467956141162857059902257464731486878064976168884611023/2114169\ 9934697414895137630652868479685612238735717289777*c_0110_4^22 - 10315921669224533098057833173531143341221969619598858060088/2114169\ 9934697414895137630652868479685612238735717289777*c_0110_4^21 - 186452962350008053187707540219676010485884689572552226771755/211416\ 99934697414895137630652868479685612238735717289777*c_0110_4^20 + 194325119450231852876203279022807152592024170862308476867838/704723\ 3311565804965045876884289493228537412911905763259*c_0110_4^19 - 339235383124161810425528600586232907538977103734887634351771/211416\ 99934697414895137630652868479685612238735717289777*c_0110_4^18 - 388139804222620691366214495069504991695748378712843223265913/211416\ 99934697414895137630652868479685612238735717289777*c_0110_4^17 + 416904644003149632628783761714593843923863453977539834675640/211416\ 99934697414895137630652868479685612238735717289777*c_0110_4^16 - 3612080579886753310221393189437569086834465733786189094520485/21141\ 699934697414895137630652868479685612238735717289777*c_0110_4^15 + 22069476304193288643988128620434915261671646195380367722386/2273301\ 06824703385969221834977080426727013319738895589*c_0110_4^14 + 330405323451782511075048849910922959108813644017950591991921/234907\ 7770521934988348625628096497742845804303968587753*c_0110_4^13 + 2293337429476552199000500156306249382716156918882217887942400/21141\ 699934697414895137630652868479685612238735717289777*c_0110_4^12 + 4707760533127876520274165693620111541406108847341680800071243/21141\ 699934697414895137630652868479685612238735717289777*c_0110_4^11 - 4517961714744378864663300950271233882481708296561974585216441/21141\ 699934697414895137630652868479685612238735717289777*c_0110_4^10 - 4970611994489170268719380018405218970812516309932600232442650/21141\ 699934697414895137630652868479685612238735717289777*c_0110_4^9 - 26675761167459796601382466363511749394695048579155432597193/2273301\ 06824703385969221834977080426727013319738895589*c_0110_4^8 - 1334177983353178006263816069744223547411865571635093802308821/21141\ 699934697414895137630652868479685612238735717289777*c_0110_4^7 + 236568066617331125173188166049985439648365021996016496241367/234907\ 7770521934988348625628096497742845804303968587753*c_0110_4^6 + 1705295837260954977833369600796457583321575929779163122920552/21141\ 699934697414895137630652868479685612238735717289777*c_0110_4^5 + 847060059504539649388698075995878041508111009310581913149898/211416\ 99934697414895137630652868479685612238735717289777*c_0110_4^4 + 62511364073550791580169534188625618553377835075467165381205/7047233\ 311565804965045876884289493228537412911905763259*c_0110_4^3 - 123762779273237357220786533894020279340953627270764862560733/211416\ 99934697414895137630652868479685612238735717289777*c_0110_4^2 - 4796059404413347618646045935011082644218217221842583956400/21141699\ 934697414895137630652868479685612238735717289777*c_0110_4 + 3713830534747696618282392992364938852147821191244122914152/21141699\ 934697414895137630652868479685612238735717289777, c_0011_0 - 1, c_0011_1 + 13079634914944201585038213354792836777347418241814261/335582\ 538645990712621232232585213963263686329138369679*c_0110_4^24 - 211869979854157290253600501714493842307481272402996009/335582538645\ 990712621232232585213963263686329138369679*c_0110_4^23 + 929960882059191982181104445720045944763170413478073335/335582538645\ 990712621232232585213963263686329138369679*c_0110_4^22 - 330462493527932442743422795137985176177675167197521979/335582538645\ 990712621232232585213963263686329138369679*c_0110_4^21 - 4249953657121913772912731751148517859633624478112317112/33558253864\ 5990712621232232585213963263686329138369679*c_0110_4^20 + 13743520663533560467881904153415757742427377341384445145/3355825386\ 45990712621232232585213963263686329138369679*c_0110_4^19 - 9065998746639791151952539522076729987744457505983708900/33558253864\ 5990712621232232585213963263686329138369679*c_0110_4^18 - 8527003757677598537398654127494256116572688971543280360/33558253864\ 5990712621232232585213963263686329138369679*c_0110_4^17 + 10873481085815477919502543644027201569749938483871802063/3355825386\ 45990712621232232585213963263686329138369679*c_0110_4^16 - 82902178098862499120605458244607125927762181766841433642/3355825386\ 45990712621232232585213963263686329138369679*c_0110_4^15 + 1814006848192529356468794297180772339598817964603715186/10825243182\ 128732665201039760813353653667300939947409*c_0110_4^14 + 66001940917436722458244081081788053072101277024593903749/3355825386\ 45990712621232232585213963263686329138369679*c_0110_4^13 + 42349254389625182903088231788987281091614893904597213861/3355825386\ 45990712621232232585213963263686329138369679*c_0110_4^12 + 98374394163775624354882516068126535821687462751139900572/3355825386\ 45990712621232232585213963263686329138369679*c_0110_4^11 - 120276157743836570870973861957440683945640320475637184578/335582538\ 645990712621232232585213963263686329138369679*c_0110_4^10 - 106368921902720511862007809072770418419972419001049994033/335582538\ 645990712621232232585213963263686329138369679*c_0110_4^9 - 1317535215030980524612053325655531029533544545486421525/10825243182\ 128732665201039760813353653667300939947409*c_0110_4^8 - 17568790290630943615156643338254410563578764810592015319/3355825386\ 45990712621232232585213963263686329138369679*c_0110_4^7 + 56803097932543771288854962726902530516119485598249765597/3355825386\ 45990712621232232585213963263686329138369679*c_0110_4^6 + 35599600554800578742699687535456068176165981613049238736/3355825386\ 45990712621232232585213963263686329138369679*c_0110_4^5 + 14197644278553400813447286405436145632054101097458398349/3355825386\ 45990712621232232585213963263686329138369679*c_0110_4^4 - 387234582384312472047086895732711672697681376352718738/335582538645\ 990712621232232585213963263686329138369679*c_0110_4^3 - 4216800545873678936413910866582214379918474274253966055/33558253864\ 5990712621232232585213963263686329138369679*c_0110_4^2 - 348112136117830339640158729279247434218593168735045529/335582538645\ 990712621232232585213963263686329138369679*c_0110_4 - 60277871452322666564125308671606807673972984576914481/3355825386459\ 90712621232232585213963263686329138369679, c_0011_4 + 17960129111311152547841630082497909067983713205713449/335582\ 538645990712621232232585213963263686329138369679*c_0110_4^24 - 290652876217143052134019406214100482874686777989386516/335582538645\ 990712621232232585213963263686329138369679*c_0110_4^23 + 1275161119734773406747306947628105750280323461111379814/33558253864\ 5990712621232232585213963263686329138369679*c_0110_4^22 - 477932789404032424077477737132778647983596446176066771/335582538645\ 990712621232232585213963263686329138369679*c_0110_4^21 - 5638144946987839041329001967229120018656330707172355866/33558253864\ 5990712621232232585213963263686329138369679*c_0110_4^20 + 18625933714352538926477283233814162672483638185846879947/3355825386\ 45990712621232232585213963263686329138369679*c_0110_4^19 - 12897877345633088988443016972173297631508355490275175539/3355825386\ 45990712621232232585213963263686329138369679*c_0110_4^18 - 8917429408273936406799844182797556537879976838844006348/33558253864\ 5990712621232232585213963263686329138369679*c_0110_4^17 + 11600580509242828046843881343662036363281750292686371159/3355825386\ 45990712621232232585213963263686329138369679*c_0110_4^16 - 113287160383448918559276692817579531438571672623490446071/335582538\ 645990712621232232585213963263686329138369679*c_0110_4^15 + 2463613038089640781372471819898077266768498059148786418/10825243182\ 128732665201039760813353653667300939947409*c_0110_4^14 + 75135853489902915146293101507113716791809156427753751903/3355825386\ 45990712621232232585213963263686329138369679*c_0110_4^13 + 77002213676426325549706460545926839736418379606352471492/3355825386\ 45990712621232232585213963263686329138369679*c_0110_4^12 + 138523092509555567955369062165239399931131880508519359661/335582538\ 645990712621232232585213963263686329138369679*c_0110_4^11 - 148931210946599678916738451200298324665491393053570259231/335582538\ 645990712621232232585213963263686329138369679*c_0110_4^10 - 134340750774027833707163871799990307015768467481575904006/335582538\ 645990712621232232585213963263686329138369679*c_0110_4^9 - 2623526327845702065966544655048119400812986798584559599/10825243182\ 128732665201039760813353653667300939947409*c_0110_4^8 - 36755311819041113461672628861609321634231775446935220648/3355825386\ 45990712621232232585213963263686329138369679*c_0110_4^7 + 66913687576263151173500467901548579510637412254183409362/3355825386\ 45990712621232232585213963263686329138369679*c_0110_4^6 + 47657886306266795679946149790117258737729088622214009438/3355825386\ 45990712621232232585213963263686329138369679*c_0110_4^5 + 27638972127130270869616320894866329420735877697576663506/3355825386\ 45990712621232232585213963263686329138369679*c_0110_4^4 + 5478994964930379703514324396702120508896462751581485820/33558253864\ 5990712621232232585213963263686329138369679*c_0110_4^3 - 3631829256969311219467501396551457092759801434755556515/33558253864\ 5990712621232232585213963263686329138369679*c_0110_4^2 - 200742153803644133866872604768762997592922911982528187/335582538645\ 990712621232232585213963263686329138369679*c_0110_4 - 240587983740630442625290383609889732139283331373516872/335582538645\ 990712621232232585213963263686329138369679, c_0101_0 + 7620804331011022388869902716205481662078360214590563/3355825\ 38645990712621232232585213963263686329138369679*c_0110_4^24 - 124500046321472343753561317784013297628080900520485589/335582538645\ 990712621232232585213963263686329138369679*c_0110_4^23 + 559436843693534713150438840608367380362810922194674379/335582538645\ 990712621232232585213963263686329138369679*c_0110_4^22 - 277047973375136798789714491620780519795623015676170049/335582538645\ 990712621232232585213963263686329138369679*c_0110_4^21 - 2393175125969981587148093865680776601001822001049832054/33558253864\ 5990712621232232585213963263686329138369679*c_0110_4^20 + 8243327743163348744050370659522259730882822907838469439/33558253864\ 5990712621232232585213963263686329138369679*c_0110_4^19 - 6476379852808922805039527617208296462394713874572709760/33558253864\ 5990712621232232585213963263686329138369679*c_0110_4^18 - 3395337420332075580041118302801675552631928931176318225/33558253864\ 5990712621232232585213963263686329138369679*c_0110_4^17 + 5302771912214356207110032677290120216550467321861278568/33558253864\ 5990712621232232585213963263686329138369679*c_0110_4^16 - 47930943524863383699849102633199966975620384542302183270/3355825386\ 45990712621232232585213963263686329138369679*c_0110_4^15 + 1266527830500966209050019662413482517883399944731566923/10825243182\ 128732665201039760813353653667300939947409*c_0110_4^14 + 30448436839696753682150003574911355294214361278387260039/3355825386\ 45990712621232232585213963263686329138369679*c_0110_4^13 + 29016328666799417682403765574734566165579968083536473012/3355825386\ 45990712621232232585213963263686329138369679*c_0110_4^12 + 48338358775479587003465102415023583021031578609710786015/3355825386\ 45990712621232232585213963263686329138369679*c_0110_4^11 - 74298310602333087317003801077399767971008954000881824678/3355825386\ 45990712621232232585213963263686329138369679*c_0110_4^10 - 55187341749954149374685617081203399432372435336266859940/3355825386\ 45990712621232232585213963263686329138369679*c_0110_4^9 - 812820643330630233634640873896304412437613082642715913/108252431821\ 28732665201039760813353653667300939947409*c_0110_4^8 - 3274163042325327124375262516883209051436495724149843412/33558253864\ 5990712621232232585213963263686329138369679*c_0110_4^7 + 33207297095340135469017955278297777987241301680817933402/3355825386\ 45990712621232232585213963263686329138369679*c_0110_4^6 + 19827245292419769511468905940567822573873371549311032616/3355825386\ 45990712621232232585213963263686329138369679*c_0110_4^5 + 7253855240372785771994815381115310995809034728891197666/33558253864\ 5990712621232232585213963263686329138369679*c_0110_4^4 - 1063866337175774806590676203525064701074597343528272887/33558253864\ 5990712621232232585213963263686329138369679*c_0110_4^3 - 2250700685348166873429533480825273924719996303413372700/33558253864\ 5990712621232232585213963263686329138369679*c_0110_4^2 - 220508305717599852018550988885803084852560368109986054/335582538645\ 990712621232232585213963263686329138369679*c_0110_4 + 287766049640991735418028257318525990192630633062186676/335582538645\ 990712621232232585213963263686329138369679, c_0101_2 - 7537780648760895649579766501440908054681661918463290/3355825\ 38645990712621232232585213963263686329138369679*c_0110_4^24 + 121795046913889227538341726420073725666281063721077937/335582538645\ 990712621232232585213963263686329138369679*c_0110_4^23 - 531082135828725056486969041263480194532927847918108814/335582538645\ 990712621232232585213963263686329138369679*c_0110_4^22 + 170015270422710492086179421052230601042190287961359808/335582538645\ 990712621232232585213963263686329138369679*c_0110_4^21 + 2454450528848245585004722975786803991610996436888340144/33558253864\ 5990712621232232585213963263686329138369679*c_0110_4^20 - 7840922608460552255172284981696253296736571718873436340/33558253864\ 5990712621232232585213963263686329138369679*c_0110_4^19 + 4961056256720868914569451652423508192122237518619023702/33558253864\ 5990712621232232585213963263686329138369679*c_0110_4^18 + 5106925706955150778881927311841527402194194955920145053/33558253864\ 5990712621232232585213963263686329138369679*c_0110_4^17 - 6332683412524958770747289802457401708418399642303723386/33558253864\ 5990712621232232585213963263686329138369679*c_0110_4^16 + 48024032626938713935028656858390826028815321327737568919/3355825386\ 45990712621232232585213963263686329138369679*c_0110_4^15 - 983319412538560471148905120032761092093713963243761770/108252431821\ 28732665201039760813353653667300939947409*c_0110_4^14 - 38816861261806251427575121470574981669635969621590345736/3355825386\ 45990712621232232585213963263686329138369679*c_0110_4^13 - 24917744392041767728211895310726879001196479042208200014/3355825386\ 45990712621232232585213963263686329138369679*c_0110_4^12 - 61201090344214375643675584083151801468452937083379364370/3355825386\ 45990712621232232585213963263686329138369679*c_0110_4^11 + 65646579115015300188760664235372922316303595570110331681/3355825386\ 45990712621232232585213963263686329138369679*c_0110_4^10 + 61932648115792892541598206034792196809884074247282323742/3355825386\ 45990712621232232585213963263686329138369679*c_0110_4^9 + 891973232935274730894168558910560869247206452772174291/108252431821\ 28732665201039760813353653667300939947409*c_0110_4^8 + 17280486309884485453436794815797726567560893283258702014/3355825386\ 45990712621232232585213963263686329138369679*c_0110_4^7 - 30408832225566719829429889817003371619228004255981798944/3355825386\ 45990712621232232585213963263686329138369679*c_0110_4^6 - 21231359657152293392224206085593671474755747932906979245/3355825386\ 45990712621232232585213963263686329138369679*c_0110_4^5 - 11582130597398742860644547789146207334291615554710317540/3355825386\ 45990712621232232585213963263686329138369679*c_0110_4^4 - 2168527065995989898551720842739346452699768936286231198/33558253864\ 5990712621232232585213963263686329138369679*c_0110_4^3 + 1992771603591133498733097420575668281348256194984742204/33558253864\ 5990712621232232585213963263686329138369679*c_0110_4^2 + 118210243192129740605052698162095814145732165715576268/335582538645\ 990712621232232585213963263686329138369679*c_0110_4 + 311124073044759211282888242809715683930313483494811049/335582538645\ 990712621232232585213963263686329138369679, c_0101_6 - 14324383158121500674245618376514006171300154310865693/335582\ 538645990712621232232585213963263686329138369679*c_0110_4^24 + 233885648507797304579544343441814913527630927223201390/335582538645\ 990712621232232585213963263686329138369679*c_0110_4^23 - 1051002081638766613881341120126045548882029503945024725/33558253864\ 5990712621232232585213963263686329138369679*c_0110_4^22 + 535523395157154082807997246802016919184111972640089281/335582538645\ 990712621232232585213963263686329138369679*c_0110_4^21 + 4412016108095552487697307925315791847716383269200298738/33558253864\ 5990712621232232585213963263686329138369679*c_0110_4^20 - 15508215970779542087639979729660540314493425773501057454/3355825386\ 45990712621232232585213963263686329138369679*c_0110_4^19 + 12587170075792007178055087518587854968844880695636915718/3355825386\ 45990712621232232585213963263686329138369679*c_0110_4^18 + 5223527303498860038133241509149485398367172277308614724/33558253864\ 5990712621232232585213963263686329138369679*c_0110_4^17 - 10195182237103617365745317285239113141402203528297613232/3355825386\ 45990712621232232585213963263686329138369679*c_0110_4^16 + 92082562831203161102655610963519559386138536089678966780/3355825386\ 45990712621232232585213963263686329138369679*c_0110_4^15 - 2385043298360471265617808800183924761361805925275896833/10825243182\ 128732665201039760813353653667300939947409*c_0110_4^14 - 48703790350940876863108139894007281672847925852439875930/3355825386\ 45990712621232232585213963263686329138369679*c_0110_4^13 - 53355227182042154211926999708772290041485553751491485115/3355825386\ 45990712621232232585213963263686329138369679*c_0110_4^12 - 104746479076049721885143825616156324972808996019066151585/335582538\ 645990712621232232585213963263686329138369679*c_0110_4^11 + 130710592495362869492130492023378473553439406964213120409/335582538\ 645990712621232232585213963263686329138369679*c_0110_4^10 + 87837545362302217044324332204780027640192576832169267675/3355825386\ 45990712621232232585213963263686329138369679*c_0110_4^9 + 1672257063498777387245214242678694205225762738648008463/10825243182\ 128732665201039760813353653667300939947409*c_0110_4^8 + 26239679696433447354177275963980218044089280118749999513/3355825386\ 45990712621232232585213963263686329138369679*c_0110_4^7 - 53739484988490828464084011387117731330722463384054802056/3355825386\ 45990712621232232585213963263686329138369679*c_0110_4^6 - 31512033583061758663217196391464166816711893027193944141/3355825386\ 45990712621232232585213963263686329138369679*c_0110_4^5 - 18038912041923007825384394704697963144901795392833014627/3355825386\ 45990712621232232585213963263686329138369679*c_0110_4^4 - 3053544375266872998762795908659984357767070417558574334/33558253864\ 5990712621232232585213963263686329138369679*c_0110_4^3 + 2505014897114504390682609081426028213359415555728357901/33558253864\ 5990712621232232585213963263686329138369679*c_0110_4^2 - 53228065319060409552073668841508053361054931210898509/3355825386459\ 90712621232232585213963263686329138369679*c_0110_4 + 210078551869676244776660069675171593326343521747649720/335582538645\ 990712621232232585213963263686329138369679, c_0110_4^25 - 16*c_0110_4^24 + 68*c_0110_4^23 - 13*c_0110_4^22 - 322*c_0110_4^21 + 984*c_0110_4^20 - 520*c_0110_4^19 - 676*c_0110_4^18 + 631*c_0110_4^17 - 6226*c_0110_4^16 + 3087*c_0110_4^15 + 5193*c_0110_4^14 + 4627*c_0110_4^13 + 8639*c_0110_4^12 - 7043*c_0110_4^11 - 9034*c_0110_4^10 - 5418*c_0110_4^9 - 2941*c_0110_4^8 + 3417*c_0110_4^7 + 3272*c_0110_4^6 + 1900*c_0110_4^5 + 546*c_0110_4^4 - 167*c_0110_4^3 - 43*c_0110_4^2 - 16*c_0110_4 - 3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB