Magma V2.19-8 Tue Aug 20 2013 16:17:04 on localhost [Seed = 1208603802] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1319 geometric_solution 5.20512651 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 0 0 0 0 0 0 0 0 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 1.619805035672 0.160681609045 0 2 2 0 3201 0132 1023 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 1 0 -1 0 0 0 0 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.421484253680 0.441253489809 3 1 1 4 0132 0132 1023 0132 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 -1 0 1 0 0 0 0 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.222568940781 0.646888142038 2 5 5 6 0132 0132 1023 0132 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 0 0 0 0 0 0 0 0 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.261672177133 0.483422836010 5 6 2 5 3201 1023 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0.261672177133 0.483422836010 4 3 3 4 3201 0132 1023 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 1.134023212089 1.599837473431 4 6 3 6 1023 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.838094110344 1.020306145507 ==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' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : negation(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_4']), 'c_1100_5' : 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_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], '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' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : 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' : d['c_0101_3'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], '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' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], '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_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 40598039736483341107774813136945761436743580858989096929188674801/4\ 219993587140918471643299376985016416131601810456773926249829172160*\ c_0101_5^19 + 10832422676773373646040569913546981224942229917990169\ 0161270647229/10549983967852296179108248442462541040329004526141934\ 81562457293040*c_0101_5^18 + 11265918422148347027130160598828074144\ 3951755504016961583577650673/24823491689064226303784113982264802447\ 8329518262163172132342892480*c_0101_5^17 - 548920386469205253210692461231030233615293831458285817973656021197/\ 131874799598153702238853105530781763004112556576774185195307161630*\ c_0101_5^16 + 39642671491193930716232618686221891292016322866578785\ 399756617664689/421999358714091847164329937698501641613160181045677\ 3926249829172160*c_0101_5^15 - 304521579180687099078503150574102215\ 5254823301963955597380631715449/23977236290573400407064201005596684\ 182565919377595306399146756660*c_0101_5^14 - 5968708179893227476082234563917022713976441660949963384640071168727\ 53/4219993587140918471643299376985016416131601810456773926249829172\ 160*c_0101_5^13 - 4028095845332442210587317350326801880527963130509\ 32867084656751660691/2637495991963074044777062110615635260082251131\ 53548370390614323260*c_0101_5^12 - 7395716815472617067966154145683973675291948104010528270011773075348\ 717/210999679357045923582164968849250820806580090522838696312491458\ 6080*c_0101_5^11 - 170041322646457763284582823551097264369074454881\ 36208133062471150032153/2109996793570459235821649688492508208065800\ 905228386963124914586080*c_0101_5^10 - 8377568298414812625230173120361083180031334704930151046131659606259\ 8909/42199935871409184716432993769850164161316018104567739262498291\ 72160*c_0101_5^9 - 254279788117882615742574982472147789844317158394\ 5667444994302688515967/21099967935704592358216496884925082080658009\ 0522838696312491458608*c_0101_5^8 - 7049195668384306983843814447963919162630648964119571546225133806943\ 5693/21099967935704592358216496884925082080658009052283869631249145\ 86080*c_0101_5^7 + 543737149021660202610991602525908108827291722244\ 77452544796738717369043/4219993587140918471643299376985016416131601\ 810456773926249829172160*c_0101_5^6 + 1534210473453401250517775686752451183289232849645564003156672226406\ 6199/42199935871409184716432993769850164161316018104567739262498291\ 72160*c_0101_5^5 + 111535612329809901925742277926087058874905092740\ 5510526058780016673347/10549983967852296179108248442462541040329004\ 5261419348156245729304*c_0101_5^4 + 2655024394643493691207126539071172531002239460833713484967150079085\ 07/1198861814528670020353210050279834209128295968879765319957337833\ 0*c_0101_5^3 - 4335860020344188115239369017450867889805509302398895\ 4038446366439209/71283675458461460669650327313936088110331111663121\ 18118665251980*c_0101_5^2 + 177505618416061745686329586138140314196\ 9299642802618768497561186818669/26374959919630740447770621106156352\ 6008225113153548370390614323260*c_0101_5 - 2763484874827016595486420769169894935347669330035815366022436249402\ 43/1318747995981537022388531055307817630041125565767741851953071616\ 30, c_0011_0 - 1, c_0011_1 - 144321904364273262277195479804717204963119392107371224002959\ /161191504474443027946650090793927288622291894975430631254768112*c_\ 0101_5^19 + 3658646930022087710918038609081050536360222028280961093\ 3667/20148938059305378493331261349240911077786486871928828906846014\ *c_0101_5^18 + 5512822420672974959693401234664077686170902431645417\ 39153941/9481853204379001643920593576113369918958346763260625367927\ 536*c_0101_5^17 + 2312470788666247984330841220480983030072520744181\ 122605559013/201489380593053784933312613492409110777864868719288289\ 06846014*c_0101_5^16 + 29872247690448643252942641408261745806163495\ 2884922567176694049/16119150447444302794665009079392728862229189497\ 5430631254768112*c_0101_5^15 + 841621106870675295132922397707721646\ 72027462767994788076147093/2014893805930537849333126134924091107778\ 6486871928828906846014*c_0101_5^14 + 3630284277522596904804676220999935523728644868600577005005961267/16\ 1191504474443027946650090793927288622291894975430631254768112*c_010\ 1_5^13 + 5206497351179925714737696063565601116201909347335951744772\ 07730/1007446902965268924666563067462045553889324343596441445342300\ 7*c_0101_5^12 + 232631724092147587997544634957074225016142330575987\ 7282416694687/20148938059305378493331261349240911077786486871928828\ 906846014*c_0101_5^11 + 1910347293801277412871219561397129464080013\ 5823345003867393120755/80595752237221513973325045396963644311145947\ 487715315627384056*c_0101_5^10 + 2837124337320456203982820854157398\ 4694880734518578769754453922217/16119150447444302794665009079392728\ 8622291894975430631254768112*c_0101_5^9 + 14024287776914711586886490122164039288728992047615472555745586647/4\ 0297876118610756986662522698481822155572973743857657813692028*c_010\ 1_5^8 - 13702653162801924207367812390384645339755067411086949480683\ 82553/1007446902965268924666563067462045553889324343596441445342300\ 7*c_0101_5^7 - 9767717729866320444653768296424061269484031475873505\ 746560339175/161191504474443027946650090793927288622291894975430631\ 254768112*c_0101_5^6 - 22715430321812458992624819319293281589608055\ 928122476460598735399/161191504474443027946650090793927288622291894\ 975430631254768112*c_0101_5^5 - 19216943258267993061314694837331553\ 090558884534985897554719494923/805957522372215139733250453969636443\ 11145947487715315627384056*c_0101_5^4 + 4056827342412569915610477706786976516179311917299665511647005897/80\ 595752237221513973325045396963644311145947487715315627384056*c_0101\ _5^3 - 731084625353476934570626765371914420296617584917139525069158\ 35/1089131786989479918558446559418427625826296587671828589559244*c_\ 0101_5^2 + 39186993796183373940976532084404396031785418776601048609\ 2347359/20148938059305378493331261349240911077786486871928828906846\ 014*c_0101_5 + 1846623062895397706308605408580183626729049110934627\ 4192478133/10074469029652689246665630674620455538893243435964414453\ 423007, c_0011_4 + 580377094627356478146963161612602753755425021021383048939/80\ 595752237221513973325045396963644311145947487715315627384056*c_0101\ _5^19 + 295583975850747295749435081528938203732797759761475992591/1\ 61191504474443027946650090793927288622291894975430631254768112*c_01\ 01_5^18 - 238745159616723733828339496927547576164176310784568872265\ 1/4740926602189500821960296788056684959479173381630312683963768*c_0\ 101_5^17 - 32094986569544809860647238657904702062011109307540426513\ 5095/16119150447444302794665009079392728862229189497543063125476811\ 2*c_0101_5^16 - 135622709448254502759712857002021567397673794743134\ 4708893153/80595752237221513973325045396963644311145947487715315627\ 384056*c_0101_5^15 - 1078298245995119965080564907189366084903744353\ 1969484578101719/16119150447444302794665009079392728862229189497543\ 0631254768112*c_0101_5^14 - 202882224293116069252453232098095181766\ 18528640307155227424955/8059575223722151397332504539696364431114594\ 7487715315627384056*c_0101_5^13 - 129744049968920067938734186101726\ 357556549849315702907133725097/161191504474443027946650090793927288\ 622291894975430631254768112*c_0101_5^12 - 36009313633455288221753371207048523295005307436323926628717043/2014\ 8938059305378493331261349240911077786486871928828906846014*c_0101_5\ ^11 - 3011630444764825867859162329255635849082637286933183667140745\ 19/80595752237221513973325045396963644311145947487715315627384056*c\ _0101_5^10 - 206995223839783782473718670336170302704313158312478275\ 628831395/402978761186107569866625226984818221555729737438576578136\ 92028*c_0101_5^9 - 759495539622515153414879207804584115504843066353\ 761132011587333/161191504474443027946650090793927288622291894975430\ 631254768112*c_0101_5^8 - 14224114485297740513046471605387804061847\ 1954242515136553409901/40297876118610756986662522698481822155572973\ 743857657813692028*c_0101_5^7 + 18204282279779486550850998528944330\ 4915226236878686334597446325/40297876118610756986662522698481822155\ 572973743857657813692028*c_0101_5^6 + 552582106540605071267824042840874773517242883979759476904934985/161\ 191504474443027946650090793927288622291894975430631254768112*c_0101\ _5^5 + 424435499930287483756551111862226257659705725420047778608839\ 099/161191504474443027946650090793927288622291894975430631254768112\ *c_0101_5^4 + 13514341248689729511070916460365543868107511725016496\ 1637159661/40297876118610756986662522698481822155572973743857657813\ 692028*c_0101_5^3 - 26084851436052365811568503124785235404576395267\ 3101420206209/27228294674736997963961163985460690645657414691795714\ 7389811*c_0101_5^2 + 4308771142590580698144061916443105928620081182\ 754230919319637/100744690296526892466656306746204555388932434359644\ 14453423007*c_0101_5 + 24474275996567994932626030462438089994443294\ 643820451776688/100744690296526892466656306746204555388932434359644\ 14453423007, c_0101_0 + 169418801194139470765095695016269551700569175120576326270509\ /322383008948886055893300181587854577244583789950861262509536224*c_\ 0101_5^19 - 4123004753017407970608940637496598937977486191526999881\ 6173/40297876118610756986662522698481822155572973743857657813692028\ *c_0101_5^18 - 6485100889536193654609164001258565122523961435330849\ 43793781/1896370640875800328784118715222673983791669352652125073585\ 5072*c_0101_5^17 - 565398541728476034728321438990855322798266568447\ 3257034784573/80595752237221513973325045396963644311145947487715315\ 627384056*c_0101_5^16 - 3527451246998115815335032663260148717649030\ 38091604912544666133/3223830089488860558933001815878545772445837899\ 50861262509536224*c_0101_5^15 - 20491312919062595627166011978819427\ 8771240704973399435402055813/80595752237221513973325045396963644311\ 145947487715315627384056*c_0101_5^14 - 4335865304152973700178355735864676150769790033316038378384547707/32\ 2383008948886055893300181587854577244583789950861262509536224*c_010\ 1_5^13 - 2538391072558076808155793998124066692206730648901577615973\ 343183/805957522372215139733250453969636443111459474877153156273840\ 56*c_0101_5^12 - 11386618409740767890398106449798987615816630887666\ 132409222782483/161191504474443027946650090793927288622291894975430\ 631254768112*c_0101_5^11 - 2348800270722975678111648874795519132974\ 6327362014353638076124011/16119150447444302794665009079392728862229\ 1894975430631254768112*c_0101_5^10 - 37729893687676398166305269571218596575274494973739896199446128687/3\ 22383008948886055893300181587854577244583789950861262509536224*c_01\ 01_5^9 - 8774831039829119438345826350825688305680696440446229321236\ 036131/402978761186107569866625226984818221555729737438576578136920\ 28*c_0101_5^8 + 932684623194183937320932727317221303230321297692011\ 1468234639773/16119150447444302794665009079392728862229189497543063\ 1254768112*c_0101_5^7 + 1119026835225241010296579039829947340076434\ 1885993408997129258457/32238300894888605589330018158785457724458378\ 9950861262509536224*c_0101_5^6 + 2713531458545501901798408582979097\ 9880553088547245414956226230561/32238300894888605589330018158785457\ 7244583789950861262509536224*c_0101_5^5 + 12060554534462448962175047409656451112499530026713736388334721487/8\ 0595752237221513973325045396963644311145947487715315627384056*c_010\ 1_5^4 - 31222022071680554817729888210160710765522759572810342685575\ 1011/20148938059305378493331261349240911077786486871928828906846014\ *c_0101_5^3 + 45956846214132481538637986482389715212247779546275871\ 277936875/108913178698947991855844655941842762582629658767182858955\ 9244*c_0101_5^2 - 1505168275809108269175009724701205318810252743273\ 63779640464571/2014893805930537849333126134924091107778648687192882\ 8906846014*c_0101_5 - 166215195393074640866842667558580395014202521\ 87698543720845280/1007446902965268924666563067462045553889324343596\ 4414453423007, c_0101_2 - 154136403629391627057526880624839539196737802499479104217475\ /161191504474443027946650090793927288622291894975430631254768112*c_\ 0101_5^19 + 3093436196900871146690192024767965077814920811232834328\ 80345/1611915044744430279466500907939272886222918949754306312547681\ 12*c_0101_5^18 + 58930416738256039351572726682418417429683460481188\ 5821012689/94818532043790016439205935761133699189583467632606253679\ 27536*c_0101_5^17 + 19966571640393314192199109185283653033496518807\ 483400302674631/161191504474443027946650090793927288622291894975430\ 631254768112*c_0101_5^16 + 3192886711560449976882957774629740567588\ 08872755078242056744889/1611915044744430279466500907939272886222918\ 94975430631254768112*c_0101_5^15 + 725337436403130432355265004901001505528250772831656788852951831/161\ 191504474443027946650090793927288622291894975430631254768112*c_0101\ _5^14 + 38869682638425844148583046834252206006058364946371007432764\ 52867/1611915044744430279466500907939272886222918949754306312547681\ 12*c_0101_5^13 + 89621996452357329281859595316243271469321180326301\ 00671514129649/1611915044744430279466500907939272886222918949754306\ 31254768112*c_0101_5^12 + 49979376551655365539212454390638966177216\ 68851222421641601259199/4029787611861075698666252269848182215557297\ 3743857657813692028*c_0101_5^11 + 512809834468618786223286640356224\ 3307617913866256210133524800851/20148938059305378493331261349240911\ 077786486871928828906846014*c_0101_5^10 + 30720575258415997788950739362847678866256556230403117746785391055/1\ 61191504474443027946650090793927288622291894975430631254768112*c_01\ 01_5^9 + 5964151797071473667986897715432532499304409560550688229045\ 0509873/16119150447444302794665009079392728862229189497543063125476\ 8112*c_0101_5^8 - 1447156139092548437030668044660069815156571200947\ 234701258549400/100744690296526892466656306746204555388932434359644\ 14453423007*c_0101_5^7 - 120660772194609986709127931804274479062885\ 04859811408207508272593/1611915044744430279466500907939272886222918\ 94975430631254768112*c_0101_5^6 - 123411622816871321193029825501906\ 46632529349817696194227866799171/8059575223722151397332504539696364\ 4311145947487715315627384056*c_0101_5^5 - 40619986387672863317550274568314335536223636768309111125408458433/1\ 61191504474443027946650090793927288622291894975430631254768112*c_01\ 01_5^4 + 4295146880575404546462473685057468298147286285086299287399\ 696467/805957522372215139733250453969636443111459474877153156273840\ 56*c_0101_5^3 - 729454434648812764246962878216069190719880520346759\ 22120528463/1089131786989479918558446559418427625826296587671828589\ 559244*c_0101_5^2 + 41971745556271454228376925756877479565400372781\ 6217534164337065/20148938059305378493331261349240911077786486871928\ 828906846014*c_0101_5 + 1849129349308010266683017468448590339764771\ 7593807894069787213/10074469029652689246665630674620455538893243435\ 964414453423007, c_0101_3 + 10066492669962540348273418558832052898597811512400044756561/\ 322383008948886055893300181587854577244583789950861262509536224*c_0\ 101_5^19 - 11197152473312771219934692465758093374679093681018116158\ 673/161191504474443027946650090793927288622291894975430631254768112\ *c_0101_5^18 - 3828534520674465026072349873103423186992320684292681\ 5895737/18963706408758003287841187152226739837916693526521250735855\ 072*c_0101_5^17 - 5793495007191149282468346407851469917960483517913\ 83794225093/1611915044744430279466500907939272886222918949754306312\ 54768112*c_0101_5^16 - 20504850211654143817525083569262957322368507\ 071012653978350913/322383008948886055893300181587854577244583789950\ 861262509536224*c_0101_5^15 - 2138482368137701037510793868804522637\ 1062645133917436862352357/16119150447444302794665009079392728862229\ 1894975430631254768112*c_0101_5^14 - 241805343110171538903697353775027573497361319022740202422322591/322\ 383008948886055893300181587854577244583789950861262509536224*c_0101\ _5^13 - 26384435180738961995277474954566688557623387647172127353159\ 5155/16119150447444302794665009079392728862229189497543063125476811\ 2*c_0101_5^12 - 581260794664029965282654981675474861091310367751621\ 338747830379/161191504474443027946650090793927288622291894975430631\ 254768112*c_0101_5^11 - 1186310619039337396259539916751093344994729\ 464289700529347493769/161191504474443027946650090793927288622291894\ 975430631254768112*c_0101_5^10 - 1401223031389291919909574674784141\ 309524933890485205108703683759/322383008948886055893300181587854577\ 244583789950861262509536224*c_0101_5^9 - 1718332173125368505597845634708792951221151800249778496906206141/16\ 1191504474443027946650090793927288622291894975430631254768112*c_010\ 1_5^8 + 10427937814549878188720307137880015740696200028457810042817\ 50001/1611915044744430279466500907939272886222918949754306312547681\ 12*c_0101_5^7 + 231255930134133089254414169649299316640880757153833\ 791312674025/322383008948886055893300181587854577244583789950861262\ 509536224*c_0101_5^6 + 74944083767166455199661192896894652758361393\ 5738287604726886787/32238300894888605589330018158785457724458378995\ 0861262509536224*c_0101_5^5 + 1006617932085148793390595199009738857\ 655368721586722473315169453/161191504474443027946650090793927288622\ 291894975430631254768112*c_0101_5^4 - 99690487973422947288856289698465434813956784361609103389996169/4029\ 7876118610756986662522698481822155572973743857657813692028*c_0101_5\ ^3 + 3223035902373454926955972257868598593155533489820573666132697/\ 1089131786989479918558446559418427625826296587671828589559244*c_010\ 1_5^2 - 14385525045000688638536773386753191364542408007313440841978\ 33/10074469029652689246665630674620455538893243435964414453423007*c\ _0101_5 + 174406521021226678146991044629114708542755198576709459669\ 1765/10074469029652689246665630674620455538893243435964414453423007\ , c_0101_5^20 - 2*c_0101_5^19 - 65*c_0101_5^18 - 130*c_0101_5^17 - 2073*c_0101_5^16 - 4722*c_0101_5^15 - 25271*c_0101_5^14 - 58382*c_0101_5^13 - 130382*c_0101_5^12 - 267818*c_0101_5^11 - 202847*c_0101_5^10 - 391834*c_0101_5^9 + 143626*c_0101_5^8 + 74561*c_0101_5^7 + 159539*c_0101_5^6 + 267394*c_0101_5^5 - 51464*c_0101_5^4 + 72192*c_0101_5^3 - 20592*c_0101_5^2 - 2080*c_0101_5 + 64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB