Magma V2.19-8 Tue Aug 20 2013 16:18:06 on localhost [Seed = 543276260] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2324 geometric_solution 5.71536127 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.632333452637 0.434424982177 0 2 3 0 3201 0132 0132 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 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.853604581842 0.594479700346 4 1 3 5 0132 0132 1302 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 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.476354878598 0.630343253224 2 5 4 1 2031 2310 0132 0132 0 0 0 0 0 1 0 -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 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.476354878598 0.630343253224 2 6 6 3 0132 0132 1023 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 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.406296321956 0.495979457664 5 5 2 3 1230 3012 0132 3201 0 0 0 0 0 0 0 0 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.388819872840 0.802302425855 6 4 4 6 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.780456497729 0.772977326469 ==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' : negation(d['c_0011_1']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : 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' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_0']), '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_1']), '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' : negation(d['c_0011_5']), 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : negation(d['c_0011_5']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_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' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : negation(d['c_0011_1']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0011_5']), 'c_1010_2' : negation(d['c_0011_5']), '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_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 110411084349656951449667485864765404268166839056482/163071255046484\ 867692471823341953144991135103569*c_0101_6^26 + 28950618486240640813661445586526312655615460343385/1630712550464848\ 67692471823341953144991135103569*c_0101_6^25 - 4408773285894336985750201960556660084721625413840438/16307125504648\ 4867692471823341953144991135103569*c_0101_6^24 + 5800059286779860934609174875431857729788045366397658/16307125504648\ 4867692471823341953144991135103569*c_0101_6^23 + 48994478694194214077900802057615426293249400409702824/1630712550464\ 84867692471823341953144991135103569*c_0101_6^22 - 101541071401363803685470873267208865836080970856224738/163071255046\ 484867692471823341953144991135103569*c_0101_6^21 - 246631306065796027224932426063445512400162754651890117/163071255046\ 484867692471823341953144991135103569*c_0101_6^20 + 473578328741560651573211322752227844272632130116953442/163071255046\ 484867692471823341953144991135103569*c_0101_6^19 + 104084013979203953501457633239630699505120155128972860/232958935780\ 69266813210260477421877855876443367*c_0101_6^18 - 793364583067751333012875940182828376754853501653766005/163071255046\ 484867692471823341953144991135103569*c_0101_6^17 - 108536527637118090945077134095380950298818110243959558/125439426958\ 83451360959371026304088076241161813*c_0101_6^16 - 20165666217644617402042360353504260307203951042602469/1630712550464\ 84867692471823341953144991135103569*c_0101_6^15 + 1731390700809010709690818658906986529307198732490205004/16307125504\ 6484867692471823341953144991135103569*c_0101_6^14 + 1651794389255333796064118923611361158053545622762388853/16307125504\ 6484867692471823341953144991135103569*c_0101_6^13 - 1217948210488562038224138406901124393775789849466985233/16307125504\ 6484867692471823341953144991135103569*c_0101_6^12 - 2098816088002204593509377027776008657997898204987600670/16307125504\ 6484867692471823341953144991135103569*c_0101_6^11 + 476903667030823331576635590856777251261059399700141647/163071255046\ 484867692471823341953144991135103569*c_0101_6^10 + 1152294490703504085546110973117130600455105498435653393/16307125504\ 6484867692471823341953144991135103569*c_0101_6^9 - 222659263269325764742022270079528087868734136964643954/163071255046\ 484867692471823341953144991135103569*c_0101_6^8 - 245242561100230056415137598968858548846767030261495554/163071255046\ 484867692471823341953144991135103569*c_0101_6^7 + 175177463148795417248083588982377781374424062824385458/163071255046\ 484867692471823341953144991135103569*c_0101_6^6 - 55593829046406149679036307246558068658570064299131258/1630712550464\ 84867692471823341953144991135103569*c_0101_6^5 - 54060653275505474669017874714896494232381048146974877/1630712550464\ 84867692471823341953144991135103569*c_0101_6^4 + 36950604092795199300736038535041069807455323228009309/1630712550464\ 84867692471823341953144991135103569*c_0101_6^3 - 228691357558854876238694864712167270014994464228054/163071255046484\ 867692471823341953144991135103569*c_0101_6^2 - 3044978289532309870193718271396201446089825425087344/16307125504648\ 4867692471823341953144991135103569*c_0101_6 + 434398156041266135569618257537989397382915411674857/163071255046484\ 867692471823341953144991135103569, c_0011_0 - 1, c_0011_1 - 387555682691847583370961962626121801336198937075/12543942695\ 883451360959371026304088076241161813*c_0101_6^26 - 99085521178234127585177391732469494405390825011/1254394269588345136\ 0959371026304088076241161813*c_0101_6^25 + 15476322911002794354499842507337913844610194314995/1254394269588345\ 1360959371026304088076241161813*c_0101_6^24 - 20459637332524232802264069906742884113853440489483/1254394269588345\ 1360959371026304088076241161813*c_0101_6^23 - 171857296946579676451181239064048238026204723993000/125439426958834\ 51360959371026304088076241161813*c_0101_6^22 + 357550254888329378984980227342200037068191302502421/125439426958834\ 51360959371026304088076241161813*c_0101_6^21 + 863553328768948261164294631618115224025224177413074/125439426958834\ 51360959371026304088076241161813*c_0101_6^20 - 1668158603485976096667662640992129642028160284883057/12543942695883\ 451360959371026304088076241161813*c_0101_6^19 - 363957595648798997074019871989613285224426977243443/179199181369763\ 5908708481575186298296605880259*c_0101_6^18 + 2802426187708012094909209617668561455787517726801052/12543942695883\ 451360959371026304088076241161813*c_0101_6^17 + 4938322771260762836122108422509333783078170176479808/12543942695883\ 451360959371026304088076241161813*c_0101_6^16 + 37511090514188629400811589428686678028863740234243/1254394269588345\ 1360959371026304088076241161813*c_0101_6^15 - 6084669223880781821636936493760245345172962904879303/12543942695883\ 451360959371026304088076241161813*c_0101_6^14 - 5761664302412317665913139998524092880485731095677592/12543942695883\ 451360959371026304088076241161813*c_0101_6^13 + 4318533149558801908896054012084158505490546041408172/12543942695883\ 451360959371026304088076241161813*c_0101_6^12 + 7348915686489531592438215801172467458808883785262500/12543942695883\ 451360959371026304088076241161813*c_0101_6^11 - 1722113418618519166592352578645200096564021258356587/12543942695883\ 451360959371026304088076241161813*c_0101_6^10 - 4043810386494109810419863112836742651245762166902191/12543942695883\ 451360959371026304088076241161813*c_0101_6^9 + 805050009539096114501974830841098574678416546665454/125439426958834\ 51360959371026304088076241161813*c_0101_6^8 + 860834330026754219413407217790008756124659165627785/125439426958834\ 51360959371026304088076241161813*c_0101_6^7 - 619137940351272915238298939130470818888436985596140/125439426958834\ 51360959371026304088076241161813*c_0101_6^6 + 197719866716685660914204983914181608408226139111628/125439426958834\ 51360959371026304088076241161813*c_0101_6^5 + 188806772199076738387740472982488782158086821562495/125439426958834\ 51360959371026304088076241161813*c_0101_6^4 - 130789386462969583931951966943491507723224184486160/125439426958834\ 51360959371026304088076241161813*c_0101_6^3 + 1296469729262897740922619329869009301106126088011/12543942695883451\ 360959371026304088076241161813*c_0101_6^2 + 10754516007241255215473251790462520997144215304920/1254394269588345\ 1360959371026304088076241161813*c_0101_6 - 1530032699775112534385970594703483633639982241497/12543942695883451\ 360959371026304088076241161813, c_0011_3 - 13463070340199645820416978570790978488451826434/125439426958\ 83451360959371026304088076241161813*c_0101_6^26 - 7812461367609090370921808681633578263766537468/12543942695883451360\ 959371026304088076241161813*c_0101_6^25 + 534883336946168138689858482643751152265863262674/125439426958834513\ 60959371026304088076241161813*c_0101_6^24 - 537615943413949477941466051810822945994682233729/125439426958834513\ 60959371026304088076241161813*c_0101_6^23 - 6136324163793134312578424059058356990287921137758/12543942695883451\ 360959371026304088076241161813*c_0101_6^22 + 10436158380892820589127182977793135295564246195953/1254394269588345\ 1360959371026304088076241161813*c_0101_6^21 + 33262450206563562393222433835983539003734476998855/1254394269588345\ 1360959371026304088076241161813*c_0101_6^20 - 47141397104998771615092204658591748719630246913832/1254394269588345\ 1360959371026304088076241161813*c_0101_6^19 - 14694111267513251059767482407843117981318915973224/1791991813697635\ 908708481575186298296605880259*c_0101_6^18 + 63772754663785362196225198464166533300985398842283/1254394269588345\ 1360959371026304088076241161813*c_0101_6^17 + 188896826339444169175698410793424648233347198127913/125439426958834\ 51360959371026304088076241161813*c_0101_6^16 + 62325104089921008903039428586338532161544036402870/1254394269588345\ 1360959371026304088076241161813*c_0101_6^15 - 185587234840333898931110650268150068346253187781585/125439426958834\ 51360959371026304088076241161813*c_0101_6^14 - 256404508930447267236154475366473995890576807376892/125439426958834\ 51360959371026304088076241161813*c_0101_6^13 + 63597881253228735095451214209751113952610519073033/1254394269588345\ 1360959371026304088076241161813*c_0101_6^12 + 267059680979848903126642130154431367120287886942680/125439426958834\ 51360959371026304088076241161813*c_0101_6^11 + 24441696270593251602168190542157894094442961744170/1254394269588345\ 1360959371026304088076241161813*c_0101_6^10 - 124370912165037170764968854407656405305364804666206/125439426958834\ 51360959371026304088076241161813*c_0101_6^9 - 7998896651626379631225607291619043033665543299360/12543942695883451\ 360959371026304088076241161813*c_0101_6^8 + 23747628398909425932395677996074009023373115811750/1254394269588345\ 1360959371026304088076241161813*c_0101_6^7 - 15646761788671551054601782454082969258307373223180/1254394269588345\ 1360959371026304088076241161813*c_0101_6^6 + 2691287042593374871733104333193473867975490122159/12543942695883451\ 360959371026304088076241161813*c_0101_6^5 + 7183639862113175730148443919790188717205465375802/12543942695883451\ 360959371026304088076241161813*c_0101_6^4 - 2361610093911415340570249726240459213906168241766/12543942695883451\ 360959371026304088076241161813*c_0101_6^3 - 438636925649358951165876619529072886483528918767/125439426958834513\ 60959371026304088076241161813*c_0101_6^2 + 202269260822179982311828747765477108216175773199/125439426958834513\ 60959371026304088076241161813*c_0101_6 - 20318544803972679347416668656443657549754012764/1254394269588345136\ 0959371026304088076241161813, c_0011_5 + 398579102076118953887373191367865757295093831345/12543942695\ 883451360959371026304088076241161813*c_0101_6^26 + 103598654326126544226050860398379963276231140805/125439426958834513\ 60959371026304088076241161813*c_0101_6^25 - 15915868483807416416559170172374424724899771228929/1254394269588345\ 1360959371026304088076241161813*c_0101_6^24 + 20973865328736679964219178006006677959516271300002/1254394269588345\ 1360959371026304088076241161813*c_0101_6^23 + 176826001183201537147377720640184468220533327961124/125439426958834\ 51360959371026304088076241161813*c_0101_6^22 - 366953508833597051105729472513722834522920704755930/125439426958834\ 51360959371026304088076241161813*c_0101_6^21 - 889581156959360658642332941660571318348969583625315/125439426958834\ 51360959371026304088076241161813*c_0101_6^20 + 1711585042960462499207602661289590641319904733165562/12543942695883\ 451360959371026304088076241161813*c_0101_6^19 + 375284682071804179518666621577192374313077042230873/179199181369763\ 5908708481575186298296605880259*c_0101_6^18 - 2869789543735162039382445476443223869325194761092547/12543942695883\ 451360959371026304088076241161813*c_0101_6^17 - 5089579926830050241604558408766133606572071214006272/12543942695883\ 451360959371026304088076241161813*c_0101_6^16 - 62571638051522143976197736369248225362101444523420/1254394269588345\ 1360959371026304088076241161813*c_0101_6^15 + 6254114985367736520815672332100463357457501256290453/12543942695883\ 451360959371026304088076241161813*c_0101_6^14 + 5953151033680459446630890157235747069172260946395578/12543942695883\ 451360959371026304088076241161813*c_0101_6^13 - 4410678636209612340064423908895881706964579483601092/12543942695883\ 451360959371026304088076241161813*c_0101_6^12 - 7573081299047634633121039248021708661443621665793656/12543942695883\ 451360959371026304088076241161813*c_0101_6^11 + 1734335158376320699665370344799877560050509551636352/12543942695883\ 451360959371026304088076241161813*c_0101_6^10 + 4159843241744678624527171341427497044667783427351507/12543942695883\ 451360959371026304088076241161813*c_0101_6^9 - 808968583866928256987498523831266752006685098280766/125439426958834\ 51360959371026304088076241161813*c_0101_6^8 - 884735717530625087477907881220132657904850675780445/125439426958834\ 51360959371026304088076241161813*c_0101_6^7 + 633179708609882635814653670442690958864574465996341/125439426958834\ 51360959371026304088076241161813*c_0101_6^6 - 201457843926466235034540139981992447296847211165269/125439426958834\ 51360959371026304088076241161813*c_0101_6^5 - 194822394189336676116502580245398909127673098712872/125439426958834\ 51360959371026304088076241161813*c_0101_6^4 + 133516437452470228518557109284846605115515576993347/125439426958834\ 51360959371026304088076241161813*c_0101_6^3 - 990983289561806267600293729198766711992590530963/125439426958834513\ 60959371026304088076241161813*c_0101_6^2 - 10993767632855319805284832400688673094322529390709/1254394269588345\ 1360959371026304088076241161813*c_0101_6 + 1556039327287051571588024572692297064252867975558/12543942695883451\ 360959371026304088076241161813, c_0101_0 + 591095050271429124477781647915178269102137252586/12543942695\ 883451360959371026304088076241161813*c_0101_6^26 + 162896719260917179326709936973133515485490525185/125439426958834513\ 60959371026304088076241161813*c_0101_6^25 - 23599168293625670716640489851069535613526374780629/1254394269588345\ 1360959371026304088076241161813*c_0101_6^24 + 30735114388160912961912934840549132482206379651535/1254394269588345\ 1360959371026304088076241161813*c_0101_6^23 + 262651213690377251527415133957425466212635410005940/125439426958834\ 51360959371026304088076241161813*c_0101_6^22 - 539995915070818109267812647647064733922347956226670/125439426958834\ 51360959371026304088076241161813*c_0101_6^21 - 1326992945289122591704893163934595790370578296242910/12543942695883\ 451360959371026304088076241161813*c_0101_6^20 + 2516020344971844108243632182905520497492969875983282/12543942695883\ 451360959371026304088076241161813*c_0101_6^19 + 561655292030062993996067051705831024248143960989335/179199181369763\ 5908708481575186298296605880259*c_0101_6^18 - 4187276078523476306450585800585095441583924836121385/12543942695883\ 451360959371026304088076241161813*c_0101_6^17 - 7602493952644597540499830855195710776197682029183709/12543942695883\ 451360959371026304088076241161813*c_0101_6^16 - 224094724891288821151827776134343741660282991154142/125439426958834\ 51360959371026304088076241161813*c_0101_6^15 + 9249779959823033388273332309252898974982803731886836/12543942695883\ 451360959371026304088076241161813*c_0101_6^14 + 8973872710284586645154976162824503276256260708109681/12543942695883\ 451360959371026304088076241161813*c_0101_6^13 - 6373147520518616337201358712019601679865346909303465/12543942695883\ 451360959371026304088076241161813*c_0101_6^12 - 11305688553792363165647388351477417339460251609442336/1254394269588\ 3451360959371026304088076241161813*c_0101_6^11 + 2374921689385381464629533725966239637182511513272941/12543942695883\ 451360959371026304088076241161813*c_0101_6^10 + 6172568872372942350416346631763010183740681858452266/12543942695883\ 451360959371026304088076241161813*c_0101_6^9 - 1095574241465091704146251369658995777328417187655464/12543942695883\ 451360959371026304088076241161813*c_0101_6^8 - 1309542605510365630204174929620695144718252923677684/12543942695883\ 451360959371026304088076241161813*c_0101_6^7 + 916143124853339056208417937233825580338307825605937/125439426958834\ 51360959371026304088076241161813*c_0101_6^6 - 289012821327059535243956584468463188175248691378822/125439426958834\ 51360959371026304088076241161813*c_0101_6^5 - 291453650233491946646294032047361670719800305006195/125439426958834\ 51360959371026304088076241161813*c_0101_6^4 + 192652893945655566912528658299785850469608081940019/125439426958834\ 51360959371026304088076241161813*c_0101_6^3 + 749605427352223084332823730913344906006998548447/125439426958834513\ 60959371026304088076241161813*c_0101_6^2 - 15763109163410482598966159428560511804852978653994/1254394269588345\ 1360959371026304088076241161813*c_0101_6 + 2122441458757785360318002713841415197760376659467/12543942695883451\ 360959371026304088076241161813, c_0101_4 - 382508292625342724586654941189150748436469211686/12543942695\ 883451360959371026304088076241161813*c_0101_6^26 - 95699964208722180876848776468216643092417775020/1254394269588345136\ 0959371026304088076241161813*c_0101_6^25 + 15276464296485904819629737263000200308043621844662/1254394269588345\ 1360959371026304088076241161813*c_0101_6^24 - 20275911622087758126798699284799726054953931481040/1254394269588345\ 1360959371026304088076241161813*c_0101_6^23 - 169554547350605689723888266249810946243266190540723/125439426958834\ 51360959371026304088076241161813*c_0101_6^22 + 353859115636552349013120774082035887973416691879193/125439426958834\ 51360959371026304088076241161813*c_0101_6^21 + 850913212063718734298298001417567982940736122339477/125439426958834\ 51360959371026304088076241161813*c_0101_6^20 - 1651888346941784466665526554715318575427661406893043/12543942695883\ 451360959371026304088076241161813*c_0101_6^19 - 358365579080050544067156383401070213222595683985415/179199181369763\ 5908708481575186298296605880259*c_0101_6^18 + 2783142835997979406595939014162090654336100296978691/12543942695883\ 451360959371026304088076241161813*c_0101_6^17 + 4868500518442576954325340324357321963322752752178832/12543942695883\ 451360959371026304088076241161813*c_0101_6^16 + 6795487711003667677587299764409207571356337489753/12543942695883451\ 360959371026304088076241161813*c_0101_6^15 - 6022664936660841402795774023058221119811505144227648/12543942695883\ 451360959371026304088076241161813*c_0101_6^14 - 5662638889170310408267915191118475338795323232473943/12543942695883\ 451360959371026304088076241161813*c_0101_6^13 + 4307477171898802368044612906862711669593488356432562/12543942695883\ 451360959371026304088076241161813*c_0101_6^12 + 7254871958130775488952203756356443880010632412148564/12543942695883\ 451360959371026304088076241161813*c_0101_6^11 - 1739624354568006399433981562762622098465944040245320/12543942695883\ 451360959371026304088076241161813*c_0101_6^10 - 4004761962097423219802451026667323913219266775914951/12543942695883\ 451360959371026304088076241161813*c_0101_6^9 + 809747227152273042082266220713576301537062967455794/125439426958834\ 51360959371026304088076241161813*c_0101_6^8 + 854452190045238643192525689141367883726015852920413/125439426958834\ 51360959371026304088076241161813*c_0101_6^7 - 613418124940288389988509000839430086178471881766474/125439426958834\ 51360959371026304088076241161813*c_0101_6^6 + 196984812446525752990536868863906568695293751570047/125439426958834\ 51360959371026304088076241161813*c_0101_6^5 + 186420560593960135183195830037545327088879654885106/125439426958834\ 51360959371026304088076241161813*c_0101_6^4 - 130143593988264362772474105787143149455586582441070/125439426958834\ 51360959371026304088076241161813*c_0101_6^3 + 1365590257004784470871495000653176827265708170300/12543942695883451\ 360959371026304088076241161813*c_0101_6^2 + 10707854245086157704830578985406921958569625971606/1254394269588345\ 1360959371026304088076241161813*c_0101_6 - 1523898234919087899448995820078390904527845324316/12543942695883451\ 360959371026304088076241161813, c_0101_6^27 - 40*c_0101_6^25 + 63*c_0101_6^24 + 430*c_0101_6^23 - 1036*c_0101_6^22 - 1993*c_0101_6^21 + 4875*c_0101_6^20 + 5477*c_0101_6^19 - 8916*c_0101_6^18 - 10905*c_0101_6^17 + 3165*c_0101_6^16 + 15745*c_0101_6^15 + 10864*c_0101_6^14 - 14960*c_0101_6^13 - 16143*c_0101_6^12 + 9291*c_0101_6^11 + 9324*c_0101_6^10 - 4737*c_0101_6^9 - 1700*c_0101_6^8 + 2163*c_0101_6^7 - 917*c_0101_6^6 - 358*c_0101_6^5 + 462*c_0101_6^4 - 89*c_0101_6^3 - 27*c_0101_6^2 + 11*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.250 seconds, Total memory usage: 32.09MB