Magma V2.19-8 Tue Aug 20 2013 16:18:41 on localhost [Seed = 4223297271] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2859 geometric_solution 6.08365709 oriented_manifold CS_known -0.0000000000000008 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 1 -1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.544791289272 0.878389801713 0 3 5 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 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 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.888294961178 1.095868614784 3 0 4 5 2310 0132 3201 2310 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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 0 0 0 0.888294961178 1.095868614784 3 1 2 3 3201 0132 3201 2310 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.120258309979 0.686809631213 2 6 1 6 2310 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.965190763990 0.642971647321 2 5 5 1 3201 3201 2310 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 -1 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.310516880225 0.637223265726 6 4 6 4 2031 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.563383024013 0.196461659177 ==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_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t + 5435042717043714090736993984052973171127180600504416660/91171955111\ 19471384901191597132896152429444516747249*c_0110_6^24 - 80135498655336183524760143093129442674901681070608643481/9117195511\ 119471384901191597132896152429444516747249*c_0110_6^23 + 124614110189579403031979817548454412399406894577200251860/911719551\ 1119471384901191597132896152429444516747249*c_0110_6^22 + 48222028157580953250865832157679905244511558200915141243/9117195511\ 119471384901191597132896152429444516747249*c_0110_6^21 - 690495024338623644394631902659348267819098799806116506149/911719551\ 1119471384901191597132896152429444516747249*c_0110_6^20 + 988801563997141749873633811320258258014177331486373829814/911719551\ 1119471384901191597132896152429444516747249*c_0110_6^19 + 379309992497246500907656420905438421002448500985223555751/911719551\ 1119471384901191597132896152429444516747249*c_0110_6^18 - 2395761312767730521476484702014291653249261758490663673047/91171955\ 11119471384901191597132896152429444516747249*c_0110_6^17 + 4271032257516358207357196588337233742305987514318259094540/91171955\ 11119471384901191597132896152429444516747249*c_0110_6^16 + 1787577318660733928026117956991395976799956704616544501309/91171955\ 11119471384901191597132896152429444516747249*c_0110_6^15 - 9193576412297869803737731439473686915324698301954575995136/91171955\ 11119471384901191597132896152429444516747249*c_0110_6^14 + 222684096091868218562564388028219805975430839476355245522/701322731\ 624574721915476276702530473263803424365173*c_0110_6^13 + 5566371702069425776366703742676172532961097435054795473566/91171955\ 11119471384901191597132896152429444516747249*c_0110_6^12 - 8452646952487571907226921623545910079378195123765536962227/91171955\ 11119471384901191597132896152429444516747249*c_0110_6^11 - 1183750288047255875089394859021878413141975658458212256597/91171955\ 11119471384901191597132896152429444516747249*c_0110_6^10 + 6921961154661399990606319821359476332050086533487212541452/91171955\ 11119471384901191597132896152429444516747249*c_0110_6^9 - 1835742685977756980491653475515419873712475197718458491909/91171955\ 11119471384901191597132896152429444516747249*c_0110_6^8 - 2449370824743106784212366267775489332756312462637531354430/91171955\ 11119471384901191597132896152429444516747249*c_0110_6^7 + 1605614359462254160530387641425388606660032795941188753470/91171955\ 11119471384901191597132896152429444516747249*c_0110_6^6 + 464371132033137679296280077429084375966908268874037035053/911719551\ 1119471384901191597132896152429444516747249*c_0110_6^5 - 542608211005502906821937290576184487336855774914889868507/911719551\ 1119471384901191597132896152429444516747249*c_0110_6^4 + 2370418856114532401093025008087047359943941881855299748/91171955111\ 19471384901191597132896152429444516747249*c_0110_6^3 + 100589804221369552622874035446042017384308181718774776365/911719551\ 1119471384901191597132896152429444516747249*c_0110_6^2 - 22071296931704913606020004250793932847403251043631732445/9117195511\ 119471384901191597132896152429444516747249*c_0110_6 - 7711133645303534932477010455443118906005012757833044253/91171955111\ 19471384901191597132896152429444516747249, c_0011_0 - 1, c_0011_4 - 1597311373790205924794100727466100190573747510586710/7013227\ 31624574721915476276702530473263803424365173*c_0110_6^24 + 23506914357690107354251517893826083422472021889273736/7013227316245\ 74721915476276702530473263803424365173*c_0110_6^23 - 36009551135155288455871652520868468726585178170867790/7013227316245\ 74721915476276702530473263803424365173*c_0110_6^22 - 14697745700435129990909159374517695255228869338832473/7013227316245\ 74721915476276702530473263803424365173*c_0110_6^21 + 202758496418319808697518575447760568180502223694841217/701322731624\ 574721915476276702530473263803424365173*c_0110_6^20 - 286511503950824808605779882586073950100262145488835990/701322731624\ 574721915476276702530473263803424365173*c_0110_6^19 - 115839547929229648243457228743511242987704143138488831/701322731624\ 574721915476276702530473263803424365173*c_0110_6^18 + 703024147388791106031967257774621493278206618224550790/701322731624\ 574721915476276702530473263803424365173*c_0110_6^17 - 1247749455450244445273312782427917725794659251927191019/70132273162\ 4574721915476276702530473263803424365173*c_0110_6^16 - 552416253927631825663198113503314542987324755601401560/701322731624\ 574721915476276702530473263803424365173*c_0110_6^15 + 2684797910499872900686264169430291232573297856845381479/70132273162\ 4574721915476276702530473263803424365173*c_0110_6^14 - 835598980942472374886808632862371365362228864708430054/701322731624\ 574721915476276702530473263803424365173*c_0110_6^13 - 1641103357031614160381805647377107224886804334543632445/70132273162\ 4574721915476276702530473263803424365173*c_0110_6^12 + 2517228381323808121102562537784562896234620128488090429/70132273162\ 4574721915476276702530473263803424365173*c_0110_6^11 + 384822585039045253561232217599853065700710858952114925/701322731624\ 574721915476276702530473263803424365173*c_0110_6^10 - 2023220919854089180669194952247984196922944515502157673/70132273162\ 4574721915476276702530473263803424365173*c_0110_6^9 + 577530092525946998166723656062779790486321408514341071/701322731624\ 574721915476276702530473263803424365173*c_0110_6^8 + 736156425651969170295220737985973488483301775327735062/701322731624\ 574721915476276702530473263803424365173*c_0110_6^7 - 495272676922957842741568288157220739815469626207223917/701322731624\ 574721915476276702530473263803424365173*c_0110_6^6 - 131252718532992623204604457196375450931071196583475924/701322731624\ 574721915476276702530473263803424365173*c_0110_6^5 + 165570013482152016689129079888012873995991937767654063/701322731624\ 574721915476276702530473263803424365173*c_0110_6^4 - 7829773313802939028622243121419206569338244142670199/70132273162457\ 4721915476276702530473263803424365173*c_0110_6^3 - 30151131547961038838971887135231710300307416876701000/7013227316245\ 74721915476276702530473263803424365173*c_0110_6^2 + 7400308033835924040494976956847903155294322084010030/70132273162457\ 4721915476276702530473263803424365173*c_0110_6 + 1816861873007527014911109104001306509813897868969377/70132273162457\ 4721915476276702530473263803424365173, c_0101_0 - 460970250741822646290318753929136663768051069102565/70132273\ 1624574721915476276702530473263803424365173*c_0110_6^24 + 6561067216039229926305441648739740177367058159589329/70132273162457\ 4721915476276702530473263803424365173*c_0110_6^23 - 7388114426938298889611150473159886066154205422996710/70132273162457\ 4721915476276702530473263803424365173*c_0110_6^22 - 5311813035723718295077948043487163298821699227906128/70132273162457\ 4721915476276702530473263803424365173*c_0110_6^21 + 51629468761993626388188795306669597161571695576085720/7013227316245\ 74721915476276702530473263803424365173*c_0110_6^20 - 58085828034077178604987408236177056328196193187191249/7013227316245\ 74721915476276702530473263803424365173*c_0110_6^19 - 40966903554978327964394621812729672074984200494371767/7013227316245\ 74721915476276702530473263803424365173*c_0110_6^18 + 149148992910904139405173520156597296704973609949363975/701322731624\ 574721915476276702530473263803424365173*c_0110_6^17 - 290564519549341043106757153759267175236769403157135774/701322731624\ 574721915476276702530473263803424365173*c_0110_6^16 - 232101107778908307655330154590594606785315415125287299/701322731624\ 574721915476276702530473263803424365173*c_0110_6^15 + 520755419024056600135279080862126637230719655676528595/701322731624\ 574721915476276702530473263803424365173*c_0110_6^14 - 7821546457468803951449057334965530566047102842619092/70132273162457\ 4721915476276702530473263803424365173*c_0110_6^13 - 216277679475416580463144374807981071636469364032804458/701322731624\ 574721915476276702530473263803424365173*c_0110_6^12 + 493752158583067833945692218978934000872938864779130824/701322731624\ 574721915476276702530473263803424365173*c_0110_6^11 + 244839156187444224663797686418912441549806172153179645/701322731624\ 574721915476276702530473263803424365173*c_0110_6^10 - 229782294945382949986488515366904835923581010881892154/701322731624\ 574721915476276702530473263803424365173*c_0110_6^9 + 34921685114140825422982131130390882457112613139403085/7013227316245\ 74721915476276702530473263803424365173*c_0110_6^8 + 70254733310583241429361522415139999014636134859823839/7013227316245\ 74721915476276702530473263803424365173*c_0110_6^7 - 44581470359524030081061283660775295117499003869984668/7013227316245\ 74721915476276702530473263803424365173*c_0110_6^6 - 26193921407004405595206858375485182362195262711031008/7013227316245\ 74721915476276702530473263803424365173*c_0110_6^5 + 7645509506827648809965138140858797205382639515402852/70132273162457\ 4721915476276702530473263803424365173*c_0110_6^4 - 2246302621216521171760248152831567819694958435319420/70132273162457\ 4721915476276702530473263803424365173*c_0110_6^3 - 3124117433101891023605660352783526075298230981440539/70132273162457\ 4721915476276702530473263803424365173*c_0110_6^2 + 787303464872376717622709998165412067066434739791602/701322731624574\ 721915476276702530473263803424365173*c_0110_6 - 25920981274597618966044200128062335281900719177080/7013227316245747\ 21915476276702530473263803424365173, c_0101_1 + 497933585279433388771282882251288794664183173443485/70132273\ 1624574721915476276702530473263803424365173*c_0110_6^24 - 7170705699806770880313197144401402158642875219143006/70132273162457\ 4721915476276702530473263803424365173*c_0110_6^23 + 9021426791719330600592002922005672001589576874242533/70132273162457\ 4721915476276702530473263803424365173*c_0110_6^22 + 6541298706536813461313563487754010737187838386863950/70132273162457\ 4721915476276702530473263803424365173*c_0110_6^21 - 59553277123562711280607582326855544426005076408495771/7013227316245\ 74721915476276702530473263803424365173*c_0110_6^20 + 70242546423481477852217114073014099696396494998072421/7013227316245\ 74721915476276702530473263803424365173*c_0110_6^19 + 51259963174646460739160316951474169950380499541377268/7013227316245\ 74721915476276702530473263803424365173*c_0110_6^18 - 190133486618365232595584312261673460171774950910142554/701322731624\ 574721915476276702530473263803424365173*c_0110_6^17 + 326602642547077685754619639061407962745209186359788110/701322731624\ 574721915476276702530473263803424365173*c_0110_6^16 + 253326198891365271349316690572256261453169144321989091/701322731624\ 574721915476276702530473263803424365173*c_0110_6^15 - 701753620396059145453258103614534175565201257422294665/701322731624\ 574721915476276702530473263803424365173*c_0110_6^14 + 35404109349984537372793439037602994565148320327317961/7013227316245\ 74721915476276702530473263803424365173*c_0110_6^13 + 442576145744076995478261682758688712893123315680754653/701322731624\ 574721915476276702530473263803424365173*c_0110_6^12 - 576381478767326847117890436761453278216328275264929799/701322731624\ 574721915476276702530473263803424365173*c_0110_6^11 - 294377140592367176929408331317746068209638594194049973/701322731624\ 574721915476276702530473263803424365173*c_0110_6^10 + 440977573814499963219268251201374492734337111641234659/701322731624\ 574721915476276702530473263803424365173*c_0110_6^9 - 14402538203365204577901933761049426206443636028961499/7013227316245\ 74721915476276702530473263803424365173*c_0110_6^8 - 200379430532606262151342818809143685516929706700690465/701322731624\ 574721915476276702530473263803424365173*c_0110_6^7 + 46473835906938108163825502905061516417551229640691911/7013227316245\ 74721915476276702530473263803424365173*c_0110_6^6 + 56609866942440602557960450970756207857877880031837066/7013227316245\ 74721915476276702530473263803424365173*c_0110_6^5 - 18888423936281404816453686966021268721350168194951127/7013227316245\ 74721915476276702530473263803424365173*c_0110_6^4 - 5659739393178389364405473013262006610619116351775915/70132273162457\ 4721915476276702530473263803424365173*c_0110_6^3 + 6749965993583935123860792305023972694048752218043759/70132273162457\ 4721915476276702530473263803424365173*c_0110_6^2 + 470921221075235377371299109180427431840058897114630/701322731624574\ 721915476276702530473263803424365173*c_0110_6 + 334672235244120145816849658078746433287987975960801/701322731624574\ 721915476276702530473263803424365173, c_0101_2 - 1626770351770562681805470747215934015842457912275865/7013227\ 31624574721915476276702530473263803424365173*c_0110_6^24 + 23862648793795860714331800137773074768424462214805569/7013227316245\ 74721915476276702530473263803424365173*c_0110_6^23 - 35647021906877891676810184027024170067360627089144361/7013227316245\ 74721915476276702530473263803424365173*c_0110_6^22 - 15035830166873446017893079773157632233245122026489274/7013227316245\ 74721915476276702530473263803424365173*c_0110_6^21 + 203866997747099350615756735914207688046213684379646661/701322731624\ 574721915476276702530473263803424365173*c_0110_6^20 - 283579360785052419540719993763684413639146276824411826/701322731624\ 574721915476276702530473263803424365173*c_0110_6^19 - 118403431477214881374098725914356197462498633329270025/701322731624\ 574721915476276702530473263803424365173*c_0110_6^18 + 695669858614146415174073717412186930026678616385422527/701322731624\ 574721915476276702530473263803424365173*c_0110_6^17 - 1249424538046944722704825430864071900901196474669876537/70132273162\ 4574721915476276702530473263803424365173*c_0110_6^16 - 582970767265641111938712535924367470120866260576733971/701322731624\ 574721915476276702530473263803424365173*c_0110_6^15 + 2636251677250876435688945128560603800856586712684745308/70132273162\ 4574721915476276702530473263803424365173*c_0110_6^14 - 785798910672008659190371680486350618079039094728090508/701322731624\ 574721915476276702530473263803424365173*c_0110_6^13 - 1565305167512852386794005534625767810795456244312614560/70132273162\ 4574721915476276702530473263803424365173*c_0110_6^12 + 2499498227426087993397200323178392038303329481541945072/70132273162\ 4574721915476276702530473263803424365173*c_0110_6^11 + 431571046133012905849826879055265960697119705856392239/701322731624\ 574721915476276702530473263803424365173*c_0110_6^10 - 1929894386868677258490851647396644533868417881692718337/70132273162\ 4574721915476276702530473263803424365173*c_0110_6^9 + 567229958280468944874803028367625723834675537626825553/701322731624\ 574721915476276702530473263803424365173*c_0110_6^8 + 698305495554352663818137323919871809064736497378916058/701322731624\ 574721915476276702530473263803424365173*c_0110_6^7 - 481831078351016027272820969748404423023421049788094796/701322731624\ 574721915476276702530473263803424365173*c_0110_6^6 - 127928917015358526761721890879054787055231418101209075/701322731624\ 574721915476276702530473263803424365173*c_0110_6^5 + 158444502040881410658430440340260163642545152494308670/701322731624\ 574721915476276702530473263803424365173*c_0110_6^4 - 10285308647984468612631613374889710357682198934865525/7013227316245\ 74721915476276702530473263803424365173*c_0110_6^3 - 29955424766240636143985269135240536052657443226578384/7013227316245\ 74721915476276702530473263803424365173*c_0110_6^2 + 6685916214634165014091251126666015061879822530416976/70132273162457\ 4721915476276702530473263803424365173*c_0110_6 + 1681589528851226031829675118866393985259034517319767/70132273162457\ 4721915476276702530473263803424365173, c_0101_3 + 1203819150596547647938527524745680327035670325688815/7013227\ 31624574721915476276702530473263803424365173*c_0110_6^24 - 18300239300538692778287261671699952698301526867231439/7013227316245\ 74721915476276702530473263803424365173*c_0110_6^23 + 35530420546944008509906795645213347431959230440370386/7013227316245\ 74721915476276702530473263803424365173*c_0110_6^22 + 742041708426380824375546716275514155068241753668193/701322731624574\ 721915476276702530473263803424365173*c_0110_6^21 - 160143304365321560938188316421649306075115515086818167/701322731624\ 574721915476276702530473263803424365173*c_0110_6^20 + 285123075225291113772712072939606713098777877329198391/701322731624\ 574721915476276702530473263803424365173*c_0110_6^19 + 5852899987219295469092299384243911586234648931371252/70132273162457\ 4721915476276702530473263803424365173*c_0110_6^18 - 586897350367604402511418819561302171577381495924203526/701322731624\ 574721915476276702530473263803424365173*c_0110_6^17 + 1158360918744022524737220726403524758035516859494709844/70132273162\ 4574721915476276702530473263803424365173*c_0110_6^16 + 29064270821978783746646243683642094996416652033517335/7013227316245\ 74721915476276702530473263803424365173*c_0110_6^15 - 2316035399175817418076790289687127634431172551678178247/70132273162\ 4574721915476276702530473263803424365173*c_0110_6^14 + 1422163952298862673904013086553719053182626744878244445/70132273162\ 4574721915476276702530473263803424365173*c_0110_6^13 + 1169322630565724660377359443529707409993178299042491638/70132273162\ 4574721915476276702530473263803424365173*c_0110_6^12 - 2352071908721862020878334605392243828100629769726006731/70132273162\ 4574721915476276702530473263803424365173*c_0110_6^11 + 418591654513580406135205738467410554908132901427335418/701322731624\ 574721915476276702530473263803424365173*c_0110_6^10 + 1832066901100979811330519066205823275256604152308974623/70132273162\ 4574721915476276702530473263803424365173*c_0110_6^9 - 899471925017966682904073936932355965239212513469848189/701322731624\ 574721915476276702530473263803424365173*c_0110_6^8 - 486126361125987440900287109953656125948707621114992052/701322731624\ 574721915476276702530473263803424365173*c_0110_6^7 + 560615992680072871121194129694833289280232713045366679/701322731624\ 574721915476276702530473263803424365173*c_0110_6^6 + 28442007525796145236871098870004845951705529024386425/7013227316245\ 74721915476276702530473263803424365173*c_0110_6^5 - 170689001252109398690089035085459561663070616193395342/701322731624\ 574721915476276702530473263803424365173*c_0110_6^4 + 21819258375553989913714893689672208041460667510505613/7013227316245\ 74721915476276702530473263803424365173*c_0110_6^3 + 25871579258383339136195047535312120454325730954394261/7013227316245\ 74721915476276702530473263803424365173*c_0110_6^2 - 10403160452830311208153021912048902866302623902888678/7013227316245\ 74721915476276702530473263803424365173*c_0110_6 - 2376492498058591746557818811545262622386547839780672/70132273162457\ 4721915476276702530473263803424365173, c_0110_6^25 - 73/5*c_0110_6^24 + 104/5*c_0110_6^23 + 61/5*c_0110_6^22 - 629/5*c_0110_6^21 + 818/5*c_0110_6^20 + 481/5*c_0110_6^19 - 431*c_0110_6^18 + 3611/5*c_0110_6^17 + 2214/5*c_0110_6^16 - 8226/5*c_0110_6^15 + 1442/5*c_0110_6^14 + 5516/5*c_0110_6^13 - 7041/5*c_0110_6^12 - 2216/5*c_0110_6^11 + 6219/5*c_0110_6^10 - 154*c_0110_6^9 - 2504/5*c_0110_6^8 + 1153/5*c_0110_6^7 + 642/5*c_0110_6^6 - 438/5*c_0110_6^5 - 14*c_0110_6^4 + 93/5*c_0110_6^3 - 7/5*c_0110_6^2 - 2*c_0110_6 - 1/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.260 seconds, Total memory usage: 32.09MB