Magma V2.19-8 Tue Aug 20 2013 16:18:43 on localhost [Seed = 458917480] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2887 geometric_solution 6.09756915 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0.353907585005 0.193118519415 2 0 3 0 0132 2310 0132 0132 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 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.468807097250 0.994971633842 1 4 5 6 0132 0132 0132 0132 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 0 -1 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.705727722554 1.052525587118 6 5 4 1 1023 1023 3201 0132 0 0 0 0 0 1 0 -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 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.705727722554 1.052525587118 3 2 4 4 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.010659924497 1.276716013837 3 5 5 2 1023 1230 3012 0132 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 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.891812414959 0.522876280233 6 3 2 6 3012 1023 0132 1230 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 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 1.135229115758 0.800722381327 ==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' : negation(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' : negation(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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0101_3']), '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' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], '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_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_3'], '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_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_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), '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' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0011_3'], 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), '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_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 29 Groebner basis: [ t - 3492603818500713449085938892728922921368464718163131013838836482529\ 20493110041694892595519869766630203473041/3937199635851050165858274\ 8066492908178461527347038243549270381572967605674475207601313505230\ 14878380023087104*c_0101_4^28 - 88007679640652887131393087959141287\ 6974740657232186648530123032833840625584338813561807403956272914931\ 4318801/19685998179255250829291374033246454089230763673519121774635\ 19078648380283723760380065675261507439190011543552*c_0101_4^27 + 1753181813137441941718544613518786730947134915292818454005832450139\ 229035540260558444401940537125083102363785/393719963585105016585827\ 4806649290817846152734703824354927038157296760567447520760131350523\ 014878380023087104*c_0101_4^26 + 6372177170287685008807254016542381\ 1046352261629084622294968354867175678442677666626321907328897301695\ 786643243/131239987861701672195275826888309693928205091156794145164\ 2346052432253522482506920043783507671626126674362368*c_0101_4^25 - 1378428414529965211560544047545224423193367182398894301409934600662\ 37132259458465541471971934517754224582524947/1312399878617016721952\ 7582688830969392820509115679414516423460524322535224825069200437835\ 07671626126674362368*c_0101_4^24 + 1770962433705650056312094994525121535202024033264901014867570065539\ 6213515959772957382996551541923512702247043/12303748862034531768307\ 1087707790338057692272959494511091469942415523767732735023754104703\ 844214949375721472*c_0101_4^23 + 2583618864120394072711621206526044\ 4376903056394417371709711273211727360466792893570972449169900709925\ 82193090921/3937199635851050165858274806649290817846152734703824354\ 927038157296760567447520760131350523014878380023087104*c_0101_4^22 - 3337502998440305981261417826067507881487898797016039635749360756684\ 368002897122510377535685875931043868951250493/393719963585105016585\ 8274806649290817846152734703824354927038157296760567447520760131350\ 523014878380023087104*c_0101_4^21 + 1183241672693170564768768110978664914294972750765664814561244063446\ 15852832192572137895394170411438145386157005/1093666565514180601627\ 2985574025807827350424263066178763686217103602112687354224333698195\ 8972635510556196864*c_0101_4^20 + 101709545753475776560362846108388\ 8498886124941461267150100719223627579704813968538346282651144936291\ 43000040503/5468332827570903008136492787012903913675212131533089381\ 8431085518010563436771121668490979486317755278098432*c_0101_4^19 - 6426905551776861349379203955839509542375871628915134923926848513131\ 569530606595645516247283146408484492139510943/196859981792552508292\ 9137403324645408923076367351912177463519078648380283723760380065675\ 261507439190011543552*c_0101_4^18 - 5224901982907898145968677235562684419521049894972688431370842305004\ 829125896816486267576813426855232908261866139/492149954481381270732\ 2843508311613522307690918379780443658797696620950709309400950164188\ 15376859797502885888*c_0101_4^17 + 4974661998815892579375296887574792532263603411907084815428143072056\ 32107029139358088237435712815315097779945399/1230374886203453176830\ 7108770779033805769227295949451109146994241552376773273502375410470\ 3844214949375721472*c_0101_4^16 - 112835990996917773754317119713217\ 4576543601850792955227295680292705076908215020390496377621979169630\ 57940131873515/3937199635851050165858274806649290817846152734703824\ 354927038157296760567447520760131350523014878380023087104*c_0101_4^\ 15 - 58378472491782946030353472545503837942693311664437024061126387\ 354752483182543929040459434340900097509118043039915/984299908962762\ 5414645687016623227044615381836759560887317595393241901418618801900\ 32837630753719595005771776*c_0101_4^14 + 2673427576897034376724654587299051732547601431773597784393353449443\ 83182724789642746468728409642329091005472828919/3937199635851050165\ 8582748066492908178461527347038243549270381572967605674475207601313\ 50523014878380023087104*c_0101_4^13 - 1584039939156611645172972871098925813193782830299892298288840024816\ 8499211343101779726021198595340475524616039355/32809996965425418048\ 8189567220774234820512727891985362910586513108063380620626730010945\ 876917906531668590592*c_0101_4^12 + 1227271753232602383684937155608874861018748844729337563560332019307\ 71380251265216852158995414007569317362999746087/9842999089627625414\ 6456870166232270446153818367595608873175953932419014186188019003283\ 7630753719595005771776*c_0101_4^11 + 1081609537841156702877871690793076006450185918583801050082552578550\ 62686685377277571811344666621895634443913025955/3280999696542541804\ 8818956722077423482051272789198536291058651310806338062062673001094\ 5876917906531668590592*c_0101_4^10 - 4375449333219197688095863618754514844330001917179426669230607185326\ 235161479180095110615638021668191548832282795/492149954481381270732\ 2843508311613522307690918379780443658797696620950709309400950164188\ 15376859797502885888*c_0101_4^9 + 263228004884804674561174683461430\ 8134385168467505966951889784555661302839260652371333678953446803174\ 8191426125617/61518744310172658841535543853895169028846136479747255\ 545734971207761883866367511877052351922107474687860736*c_0101_4^8 + 4746853703776436389633338966850892990861247331406642143664892155885\ 5794450295413510128648022574528732276652933887/24607497724069063536\ 6142175415580676115384545918989022182939884831047535465470047508209\ 407688429898751442944*c_0101_4^7 - 2386695760182757447225422532934965732661509908814415473109173586057\ 628269892006577897077164221928901042789416869/683541603446362876017\ 0615983766129892094015164416361727303885689751320429596390208561372\ 435789719409762304*c_0101_4^6 - 10638539434326224288897897282311691\ 1090675864934736209093424885255628483274880014564611529721942722295\ 45791599797/1230374886203453176830710877077903380576922729594945110\ 91469942415523767732735023754104703844214949375721472*c_0101_4^5 - 6724480474927651124051922056654570790780497273509231965351964500936\ 955998281558980456177910479197445354948122131/615187443101726588415\ 3554385389516902884613647974725554573497120776188386636751187705235\ 1922107474687860736*c_0101_4^4 + 1193704036041543678795226392938863\ 1361388315745609447236011361775397380884974084091930097108611191999\ 5558233795/20506248103390886280511847951298389676282045493249085181\ 911657069253961288789170625684117307369158229286912*c_0101_4^3 - 4974532476169452288867818913664298727845961290564786380912175681632\ 3988677150791246360224634019759801795758383/51265620258477215701279\ 6198782459741907051137331227129547791426731349032219729265642102932\ 6842289557321728*c_0101_4^2 + 1205706761400764198495452060807489367\ 6903200641191351319619444112311299726264062985180972085305443526514\ 5294959/15379686077543164710383885963473792257211534119936813886433\ 742801940470966591877969263087980526868671965184*c_0101_4 + 1522157291676547667054840516181673904926331938824979502714276688702\ 4355198139417959110869583424346714375089165/76898430387715823551919\ 4298173689612860576705996840694321687140097023548329593898463154399\ 0263434335982592, c_0011_0 - 1, c_0011_1 + 648025805863614237769500025596185015249784224479331745742035\ 1996852323324693397772971803086452922251259/38449215193857911775959\ 7149086844806430288352998420347160843570048511774164796949231577199\ 5131717167991296*c_0101_4^28 + 408128763926301302058575732784795295\ 5758631081030597737422332088083059373449097218757019808422988467170\ 1/48061518992322389719949643635855600803786044124802543395105446256\ 0639717705996186539471499391464645998912*c_0101_4^27 - 3653395463943534381109437442660033208564093722046749726353945389592\ 6391224743178047833140069605685315307/38449215193857911775959714908\ 6844806430288352998420347160843570048511774164796949231577199513171\ 7167991296*c_0101_4^26 - 393918300578397672714726149418008902235157\ 358986789129696430763473379102448322635918472509858656956278741/427\ 2135021539767975106634989853831182558759477760226079564928556094575\ 26849774388035085777236857463110144*c_0101_4^25 + 2572138995142647355547840212435151351765199088302077162578872282968\ 362465240930572949757527343635749154687/128164050646193039253199049\ 6956149354767627843328067823869478566828372580549323164105257331710\ 572389330432*c_0101_4^24 - 5311536566287769051716978408665716077204\ 990504182921356152556460484921650199353256790515404722863788015173/\ 1922460759692895588797985745434224032151441764992101735804217850242\ 558870823984746157885997565858583995648*c_0101_4^23 - 4777850158194742452588071947275938899303900598892588684430180330635\ 6800256769769048670771964341546217482199/38449215193857911775959714\ 9086844806430288352998420347160843570048511774164796949231577199513\ 1717167991296*c_0101_4^22 + 624762273590381888469785770446240433284\ 0333033209704078052455389811906385086225552578773311390376372098434\ 1/38449215193857911775959714908684480643028835299842034716084357004\ 85117741647969492315771995131717167991296*c_0101_4^21 - 1333054371990598530899332422998795202658032382232827761089944210760\ 2144294787303180130637469672220417291961/64082025323096519626599524\ 8478074677383813921664033911934739283414186290274661582052628665855\ 286194665216*c_0101_4^20 - 1122280765255942403867356910780531677006\ 3992629861204303469740706785386972515278283172890431328917576323195\ /320410126615482598132997624239037338691906960832016955967369641707\ 093145137330791026314332927643097332608*c_0101_4^19 + 1199303912593994533078285463983662581439428500342266348697518355763\ 55042273071543855400005684679802241003065/1922460759692895588797985\ 7454342240321514417649921017358042178502425588708239847461578859975\ 65858583995648*c_0101_4^18 + 19302300904558604856863118335907970175\ 9969717595915071823079369081155672445721720397792282657272906290283\ 293/961230379846447794398992872717112016075720882496050867902108925\ 121279435411992373078942998782929291997824*c_0101_4^17 - 3800862696135710638806184158476164509988818952985799348797633873311\ 0079169607033961093138658546618817629793/48061518992322389719949643\ 6358556008037860441248025433951054462560639717705996186539471499391\ 464645998912*c_0101_4^16 + 2100210613593016773900893542168417137731\ 5387056514174515983233865831999217173456453645141743843012642784805\ 85/3844921519385791177595971490868448064302883529984203471608435700\ 485117741647969492315771995131717167991296*c_0101_4^15 + 2152974708430403617132996747245936770981837336475823650638501465283\ 865179065146161515560099707168391809000533/192246075969289558879798\ 5745434224032151441764992101735804217850242558870823984746157885997\ 565858583995648*c_0101_4^14 - 5005557928965287583717980916926873065\ 2952685072605539192456667557288975671354119979578853656475320142166\ 36745/3844921519385791177595971490868448064302883529984203471608435\ 700485117741647969492315771995131717167991296*c_0101_4^13 + 6008458636770373799445631870582834887339028925660168093022222449377\ 48883739992728419502024461111250072529977/6408202532309651962659952\ 4847807467738381392166403391193473928341418629027466158205262866585\ 5286194665216*c_0101_4^12 - 114618460927743981076641101990878581057\ 9785751546536249403747752321502933320736543491531876627598759275346\ 427/480615189923223897199496436358556008037860441248025433951054462\ 560639717705996186539471499391464645998912*c_0101_4^11 - 1996301249021564470293504125482949151544302403858133788972645253837\ 440763497076430419449222709492992827984749/320410126615482598132997\ 6242390373386919069608320169559673696417070931451373307910263143329\ 27643097332608*c_0101_4^10 + 56910131410939057231037282694645779811\ 3784899262731204699245326253657533525378095161712528422044993691736\ 85/2403075949616119485997482181792780040189302206240127169755272312\ 80319858852998093269735749695732322999456*c_0101_4^9 - 1959917752922547783237611310233531282716055728085969580123366420274\ 589861995865607369109910420194378251840425/240307594961611948599748\ 2181792780040189302206240127169755272312803198588529980932697357496\ 95732322999456*c_0101_4^8 - 856904451096036538168238111011089092778\ 1137030605956858858954835483718536704767343174053973046157625825618\ 19/2403075949616119485997482181792780040189302206240127169755272312\ 80319858852998093269735749695732322999456*c_0101_4^7 + 2661693266794509630831786402662733062195106411842922136349629608274\ 56908027976466695085372876500480049059121/4005126582693532476662470\ 3029879667336488370104002119495921205213386643142166348878289291615\ 955387166576*c_0101_4^6 + 18573507517152715373261508535105167178227\ 9541935904527006495375569300184828310185233570469535560301956157051\ /120153797480805974299874109089639002009465110312006358487763615640\ 159929426499046634867874847866161499728*c_0101_4^5 + 3121502860168868909594949061187246566544871224838139992519588030284\ 7577192061548702451729821352779376680639/15019224685100746787484263\ 6362048752511831387890007948109704519550199911783123808293584843559\ 83270187466*c_0101_4^4 - 874951002542620892368783504895346503782751\ 701657934476886588123824932463208943805231418248421843166485689/667\ 5210971155887461104117171646611222748061684000353249320200868897773\ 857027724813048215269325897861096*c_0101_4^3 + 1962366832329644678815247060734111172170480275221621921546957767471\ 766761803806729183915512478950744902151/100128164567338311916561757\ 5746991683412209252600052987398030130334666078554158721957232290398\ 8846791644*c_0101_4^2 - 1148960253566276654152844534098950859462634\ 434747506415371075305195321961819367035696199813630143266160455/750\ 9612342550373393742131818102437625591569394500397405485225977509995\ 589156190414679242177991635093733*c_0101_4 - 2675037701274297986662132045037045140775895217177758188645842784348\ 58309507354035445817695352523168241496/7509612342550373393742131818\ 1024376255915693945003974054852259775099955891561904146792421779916\ 35093733, c_0011_3 + 816888018589917017281054826104589675606329292612356348556486\ 872185813840910490725456088923014205352551/427213502153976797510663\ 4989853831182558759477760226079564928556094575268497743880350857772\ 36857463110144*c_0101_4^28 + 77183807609680214614340933725556737483\ 44452550381520561559504782199198437717664549013465507068603182205/8\ 0102531653870649533249406059759334672976740208004238991842410426773\ 286284332697756578583231910774333152*c_0101_4^27 - 4283977811760123811027127527892877067797481610241335576364224512282\ 906338131733015268474191342448980227/427213502153976797510663498985\ 3831182558759477760226079564928556094575268497743880350857772368574\ 63110144*c_0101_4^26 - 13409802554880138968550813831993465079723885\ 95697550571400795324716495067638410309959302606833830934155747/1281\ 6405064619303925319904969561493547676278433280678238694785668283725\ 80549323164105257331710572389330432*c_0101_4^25 + 2907693482508925352288446776729866548738153335173731427833499661290\ 733717413306031539423276233139971633375/128164050646193039253199049\ 6956149354767627843328067823869478566828372580549323164105257331710\ 572389330432*c_0101_4^24 - 1996488920492382041614731315386338326557\ 761434069073917095533088864794081064161651329071448595319997918725/\ 6408202532309651962659952484780746773838139216640339119347392834141\ 86290274661582052628665855286194665216*c_0101_4^23 - 6034609402076430017545011568962790328789752732672096488841689506664\ 644629828132756675817508348968470841007/427213502153976797510663498\ 9853831182558759477760226079564928556094575268497743880350857772368\ 57463110144*c_0101_4^22 + 23491416831652432254573284718163503370422\ 276572547859912966161512274734966474190805026287607442297991136563/\ 1281640506461930392531990496956149354767627843328067823869478566828\ 372580549323164105257331710572389330432*c_0101_4^21 - 1502182026719455689748076649661992585695647695168483944799143732534\ 7781424267552258607316020212264838615359/64082025323096519626599524\ 8478074677383813921664033911934739283414186290274661582052628665855\ 286194665216*c_0101_4^20 - 1599910137551400432792418655294749722418\ 215767490685028770439220743228725054952265856434680787819628200487/\ 4005126582693532476662470302987966733648837010400211949592120521338\ 6643142166348878289291615955387166576*c_0101_4^19 + 4517879010341806276381509064369323442434588416845643382828608838143\ 8090955816679666931687388413455772478863/64082025323096519626599524\ 8478074677383813921664033911934739283414186290274661582052628665855\ 286194665216*c_0101_4^18 + 2439476368597765907098909134902920166641\ 2575984023317871685829153955786055552031729026070934118861905383077\ /106803375538494199377665874746345779563968986944005651989123213902\ 364381712443597008771444309214365777536*c_0101_4^17 - 3525192278849433730027769363942577101833373631233846304233180463482\ 880859372333565693898410672468386916113/400512658269353247666247030\ 2987966733648837010400211949592120521338664314216634887828929161595\ 5387166576*c_0101_4^16 + 264341965207533155822303969366675259177271\ 413562552561609101328960002115736659670703306245027340555815995149/\ 4272135021539767975106634989853831182558759477760226079564928556094\ 57526849774388035085777236857463110144*c_0101_4^15 + 8174044260270785325651925958387840164673342109425138369816654901085\ 60103024367708075092532277020515053626047/6408202532309651962659952\ 4847807467738381392166403391193473928341418629027466158205262866585\ 5286194665216*c_0101_4^14 - 627103613772444237951054736218409971375\ 0536738443684744342918470475090903830083979867849697902735971922793\ 61/4272135021539767975106634989853831182558759477760226079564928556\ 09457526849774388035085777236857463110144*c_0101_4^13 + 6734498421030941333225247367778667677334638033973539757948886583158\ 96797731684901049167865763641871465386657/6408202532309651962659952\ 4847807467738381392166403391193473928341418629027466158205262866585\ 5286194665216*c_0101_4^12 - 863679671586404045093659490733297723560\ 2799879209516855500211649657945802192653657605497906962583216086423\ 15/3204101266154825981329976242390373386919069608320169559673696417\ 07093145137330791026314332927643097332608*c_0101_4^11 - 7574186974577749295865559074016044253242721030144172842938836411385\ 61400610607293782507457665604150730555271/1068033755384941993776658\ 7474634577956396898694400565198912321390236438171244359700877144430\ 9214365777536*c_0101_4^10 + 580355671825460412356492354182020898126\ 5391717849203754361648133060151414127328596143248936862277619868465\ /267008438846235498444164686865864448909922467360014129972808034755\ 91095428110899252192861077303591444384*c_0101_4^9 - 7404633737945697775205463673314772847275093335778225683529476246026\ 39293646550656117329444639264617533516177/8010253165387064953324940\ 6059759334672976740208004238991842410426773286284332697756578583231\ 910774333152*c_0101_4^8 - 10996372682768798618563747857393968110497\ 8063766806167472972678785398355228101277511795971487013332248178223\ /267008438846235498444164686865864448909922467360014129972808034755\ 91095428110899252192861077303591444384*c_0101_4^7 + 3011924381519316781947043567803245179182257815930400349528964650794\ 17444287588513746498368768414138542184229/4005126582693532476662470\ 3029879667336488370104002119495921205213386643142166348878289291615\ 955387166576*c_0101_4^6 + 72713892134375425425820750804869635061143\ 325214192554464481161567047565343810938824900954485116162343708181/\ 4005126582693532476662470302987966733648837010400211949592120521338\ 6643142166348878289291615955387166576*c_0101_4^5 + 1973183982685543213372595649937050470907701673165976083135481560078\ 363418210876450839330871197600603370856/834401371394485932638014646\ 4558264028435077105000441561650251086122217321284656016310269086657\ 37232637*c_0101_4^4 - 260762294247723422535282124452662278093663702\ 0380011537034663374866554621811579462381393079043525193075859/20025\ 6329134676623833123515149398336682441850520010597479606026066933215\ 71083174439144645807977693583288*c_0101_4^3 + 2185525913794563492139016336752971300552153484564304281262016199730\ 473690456087101873177421791239319439117/100128164567338311916561757\ 5746991683412209252600052987398030130334666078554158721957232290398\ 8846791644*c_0101_4^2 - 8603997925158335039487554787434188209995875\ 07941033314636973223655600115131438419781397371075196246351643/5006\ 4082283669155958280878787349584170610462630002649369901506516733303\ 92770793609786161451994423395822*c_0101_4 - 1034675942849196709389062461165446161481686796842670496568368477556\ 72619010650645567922966138726774217557/2503204114183457797914043939\ 3674792085305231315001324684950753258366651963853968048930807259972\ 11697911, c_0101_0 + 384301489083664044804988364487429607527425826088527808938102\ 0382050150381131542700876441964103744543133/38449215193857911775959\ 7149086844806430288352998420347160843570048511774164796949231577199\ 5131717167991296*c_0101_4^28 + 242089528773683457274764737192120188\ 7527464000737226856216735982927270559091456389843039353686409465987\ 5/48061518992322389719949643635855600803786044124802543395105446256\ 0639717705996186539471499391464645998912*c_0101_4^27 - 1944105678747846850715977972589441422253034150631344059786954316975\ 4064718612065871042226814263407104113/38449215193857911775959714908\ 6844806430288352998420347160843570048511774164796949231577199513171\ 7167991296*c_0101_4^26 - 700907148770662329664241871619758152271772\ 452463348188476247066905682481501720569147642508399082960477401/128\ 1640506461930392531990496956149354767627843328067823869478566828372\ 580549323164105257331710572389330432*c_0101_4^25 + 1517239450924939223819671090747807906900239198976619531331484750167\ 875972061334740979180945822559030195717/128164050646193039253199049\ 6956149354767627843328067823869478566828372580549323164105257331710\ 572389330432*c_0101_4^24 - 3123506775375035563718273086375994515078\ 567818621810359141569672953091453246258889802193437396474791938325/\ 1922460759692895588797985745434224032151441764992101735804217850242\ 558870823984746157885997565858583995648*c_0101_4^23 - 2840454292183580284934975001021000494528081187052321152080219541843\ 9808954051644323251737838468392793079005/38449215193857911775959714\ 9086844806430288352998420347160843570048511774164796949231577199513\ 1717167991296*c_0101_4^22 + 367181680169780888415387812352975920662\ 4280233428106297812083713822334604954648796430790518936886144540228\ 3/38449215193857911775959714908684480643028835299842034716084357004\ 85117741647969492315771995131717167991296*c_0101_4^21 - 2610724157831975370577635338028178790943425458732184741359238354908\ 729740057085586947197064907646401556315/213606751076988398755331749\ 4926915591279379738880113039782464278047287634248871940175428886184\ 28731555072*c_0101_4^20 - 11165628284037992013719742988301639889384\ 50780200638469117021016842316116594146384366402478843645867437003/5\ 3401687769247099688832937373172889781984493472002825994561606951182\ 190856221798504385722154607182888768*c_0101_4^19 + 7063850975057451044541441359580720780344510103785775412819353691191\ 7687977926343881859522666301918128773827/19224607596928955887979857\ 4543422403215144176499210173580421785024255887082398474615788599756\ 5858583995648*c_0101_4^18 + 114902499273934261176171856819206528976\ 3714762392222573327583247658386439787882783575222452518124293079679\ 67/9612303798464477943989928727171120160757208824960508679021089251\ 21279435411992373078942998782929291997824*c_0101_4^17 - 1094219031172814759504572186496244018377612619764018763611799674872\ 8440603868009247994869894139236787390537/24030759496161194859974821\ 8179278004018930220624012716975527231280319858852998093269735749695\ 732322999456*c_0101_4^16 + 1243304251707917629342712538892096291068\ 3042551579258042423579626577139653464175597462175993004993856930433\ 43/3844921519385791177595971490868448064302883529984203471608435700\ 485117741647969492315771995131717167991296*c_0101_4^15 + 1283703902171789292646575368416397243368449395624549721467568727343\ 565947403621394943691174753659077685044547/192246075969289558879798\ 5745434224032151441764992101735804217850242558870823984746157885997\ 565858583995648*c_0101_4^14 - 2938602956122847907217437775134358795\ 8751220438145723016282231750630953756408465227965854571665401185660\ 25899/3844921519385791177595971490868448064302883529984203471608435\ 700485117741647969492315771995131717167991296*c_0101_4^13 + 3503013698908830899442656359879789008148337570351816875282377555683\ 03500224971114981221825174711673918642555/6408202532309651962659952\ 4847807467738381392166403391193473928341418629027466158205262866585\ 5286194665216*c_0101_4^12 - 135354821713341064482037668991877539358\ 9792311896471486846445981017606409219721655159240051597602103134301\ 911/961230379846447794398992872717112016075720882496050867902108925\ 121279435411992373078942998782929291997824*c_0101_4^11 - 1188786328229467767232772594289165524144500881572646374102281797674\ 633300594900919643653496109183949484827665/320410126615482598132997\ 6242390373386919069608320169559673696417070931451373307910263143329\ 27643097332608*c_0101_4^10 + 23250936899557974517649660416359734388\ 6537325605659258867580716466326370676735998895123059518724874960389\ 55/2403075949616119485997482181792780040189302206240127169755272312\ 80319858852998093269735749695732322999456*c_0101_4^9 - 5805741898616648813275111533161774619583822511284519397238664355536\ 29717208187131955989782989782679257507231/1201537974808059742998741\ 0908963900200946511031200635848776361564015992942649904663486787484\ 7866161499728*c_0101_4^8 - 5212794275355052595577530568568476361689\ 4168156595537669503096645089202642266012628343305953245071813441616\ 9/24030759496161194859974821817927800401893022062401271697552723128\ 0319858852998093269735749695732322999456*c_0101_4^7 + 5229440460850416835552529984184572648047899164521542757403343657071\ 3481045688208928261906762696605317888941/13350421942311774922208234\ 3432932224454961233680007064986404017377955477140554496260964305386\ 51795722192*c_0101_4^6 + 116111418355746969336058079874493182480261\ 274106807544847214394563828693324847416376993866119569385283247739/\ 1201537974808059742998741090896390020094651103120063584877636156401\ 59929426499046634867874847866161499728*c_0101_4^5 + 3727375414763321440305140073783643453221753184363019490500471391800\ 3031969736590735721345061505972857640767/30038449370201493574968527\ 2724097505023662775780015896219409039100399823566247616587169687119\ 66540374932*c_0101_4^4 - 130081797734515779591558156225999278746463\ 5527356860196652247397997891595111547945010897113359242561760319/20\ 0256329134676623833123515149398336682441850520010597479606026066933\ 21571083174439144645807977693583288*c_0101_4^3 + 1133252831227463371953363894667158065987711267573135378278566387296\ 024350105885509050913663188219599415369/100128164567338311916561757\ 5746991683412209252600052987398030130334666078554158721957232290398\ 8846791644*c_0101_4^2 - 1328394381564698035157575123758903881268404\ 022094794709050601489219444309696163634845021749763815682440057/150\ 1922468510074678748426363620487525118313878900079481097045195501999\ 1178312380829358484355983270187466*c_0101_4 - 1640071615376971808980604146538087816254555823361032755134353494046\ 10747326353971247322376261620714380735/7509612342550373393742131818\ 1024376255915693945003974054852259775099955891561904146792421779916\ 35093733, c_0101_1 + 419497574676662649183976261147174461879145735052174131988144\ 0792347892641245035812494308213949291539033/19224607596928955887979\ 8574543422403215144176499210173580421785024255887082398474615788599\ 7565858583995648*c_0101_4^28 + 211359624238980669633400382462530804\ 3525018436907652598524397512630189275051317579482030755925999413078\ 11/1922460759692895588797985745434224032151441764992101735804217850\ 242558870823984746157885997565858583995648*c_0101_4^27 - 2370743824296471575836023596925936171422683647556612117783965230346\ 3620668732368476819593855051603569391/19224607596928955887979857454\ 3422403215144176499210173580421785024255887082398474615788599756585\ 8583995648*c_0101_4^26 - 382505980297283244608502000830959780824020\ 322943742561061481872926283929326628559675546366529279173074075/320\ 4101266154825981329976242390373386919069608320169559673696417070931\ 45137330791026314332927643097332608*c_0101_4^25 + 2081577649235821730744284161879319422593610957122817630486290902976\ 88246416985135599718725754915104718283/8010253165387064953324940605\ 9759334672976740208004238991842410426773286284332697756578583231910\ 774333152*c_0101_4^24 - 6877865218888459432017913822105429396502581\ 043211898338628046056303721824402259354688061261642605695348455/192\ 2460759692895588797985745434224032151441764992101735804217850242558\ 870823984746157885997565858583995648*c_0101_4^23 - 3092767358016984897171504668524889199780904672219931505641129724211\ 8308484344670219388605164702711696973193/19224607596928955887979857\ 4543422403215144176499210173580421785024255887082398474615788599756\ 5858583995648*c_0101_4^22 + 101130007339123817497001637022168880452\ 3373817697091609176861373873995670527343466094888350802684169349336\ 1/48061518992322389719949643635855600803786044124802543395105446256\ 0639717705996186539471499391464645998912*c_0101_4^21 - 5753610676058891250562541499711206008818216466083905995834664333621\ 645419578840025665575142015868371310807/213606751076988398755331749\ 4926915591279379738880113039782464278047287634248871940175428886184\ 28731555072*c_0101_4^20 - 24213324011997754618469094038480944385694\ 39679584442142717578114556625449980303687841936406200786463402143/5\ 3401687769247099688832937373172889781984493472002825994561606951182\ 190856221798504385722154607182888768*c_0101_4^19 + 7764766941729115293653538487673882309252794536893681434208105085780\ 1142788251582656107758067740608781196303/96123037984644779439899287\ 2717112016075720882496050867902108925121279435411992373078942998782\ 929291997824*c_0101_4^18 + 2498962014585748009881682796282998236564\ 3700929143128025579780258425374965299669569679636593739505109430420\ 7/96123037984644779439899287271711201607572088249605086790210892512\ 1279435411992373078942998782929291997824*c_0101_4^17 - 2462357554397169943905025465168842542086047516479212329514155506847\ 6594012216946189241303897134911642177901/24030759496161194859974821\ 8179278004018930220624012716975527231280319858852998093269735749695\ 732322999456*c_0101_4^16 + 1359537085683896933405175585906993259808\ 7830198097281889641111566149680822472564511393911046793177052926445\ 79/1922460759692895588797985745434224032151441764992101735804217850\ 242558870823984746157885997565858583995648*c_0101_4^15 + 2787035059767017632904196647354320327087797934476620855491614417420\ 599803536457493498046978967191051265076935/192246075969289558879798\ 5745434224032151441764992101735804217850242558870823984746157885997\ 565858583995648*c_0101_4^14 - 3241189245254424631333547995795965092\ 1506561572435162933517329531190145054233109072121709004196343896280\ 66179/1922460759692895588797985745434224032151441764992101735804217\ 850242558870823984746157885997565858583995648*c_0101_4^13 + 7780067888039280072310836729634318401449385333322826736519817837353\ 21035754751456760320215837905508405515071/6408202532309651962659952\ 4847807467738381392166403391193473928341418629027466158205262866585\ 5286194665216*c_0101_4^12 - 185509100947791732680431296260327567045\ 8559654186201164453177596366872436438701173312814499727480590527998\ 33/6007689874040298714993705454481950100473255515600317924388180782\ 0079964713249523317433937423933080749864*c_0101_4^11 - 3230350744360761185864119092642852129407906539760585893045562918492\ 18191099880741494155961717574705175983939/4005126582693532476662470\ 3029879667336488370104002119495921205213386643142166348878289291615\ 955387166576*c_0101_4^10 + 1484240254598835577575355848345437623539\ 2813232000896194237581973777088138067118643043097957061025445173845\ 5/48061518992322389719949643635855600803786044124802543395105446256\ 0639717705996186539471499391464645998912*c_0101_4^9 - 2537087042836735786580720946818686600879946817836066942910667757393\ 666508169517810488195728328832088096412021/240307594961611948599748\ 2181792780040189302206240127169755272312803198588529980932697357496\ 95732322999456*c_0101_4^8 - 554293015428154305607591412998567908163\ 3196059744594294793394832840246840796804658385171133790681216727219\ 19/1201537974808059742998741090896390020094651103120063584877636156\ 40159929426499046634867874847866161499728*c_0101_4^7 + 1148966257738744314384168046180455790956927850395353876253504694849\ 49168178560126767191199455106114315436559/1335042194231177492220823\ 4343293222445496123368000706498640401737795547714055449626096430538\ 651795722192*c_0101_4^6 + 12020858366783783991163897751883474614771\ 8780457523415328126940413060884730360541494191445461527715428882685\ /600768987404029871499370545448195010047325551560031792438818078200\ 79964713249523317433937423933080749864*c_0101_4^5 + 1615128961129003241021792311154701685854418625193896920683716081908\ 13102707762863349354899760588986609923263/6007689874040298714993705\ 4544819501004732555156003179243881807820079964713249523317433937423\ 933080749864*c_0101_4^4 - 43050338500190270532700105774209878052406\ 0748277794004199115712557546618697680121764529902755839322333697/25\ 0320411418345779791404393936747920853052313150013246849507532583666\ 5196385396804893080725997211697911*c_0101_4^3 + 2539524396690353413034479234234981082009550906522760005243536666663\ 840527472102051057403307021348558189177/100128164567338311916561757\ 5746991683412209252600052987398030130334666078554158721957232290398\ 8846791644*c_0101_4^2 - 1488904046986453817891183094821959505580531\ 878576904823237825078258231349039035015037597871826046481471817/750\ 9612342550373393742131818102437625591569394500397405485225977509995\ 589156190414679242177991635093733*c_0101_4 - 3402554196274290297526290062934634632527042926237784662371212544170\ 23651734888549200835602636699166748307/7509612342550373393742131818\ 1024376255915693945003974054852259775099955891561904146792421779916\ 35093733, c_0101_3 + 410026554965391799716698252943932447745408390240836019959726\ 695241843795885481619973871885614673686637/427213502153976797510663\ 4989853831182558759477760226079564928556094575268497743880350857772\ 36857463110144*c_0101_4^28 + 48419531159730010388334848663259265903\ 5825797758676989556585171040405494422221686400821916527748300853/10\ 0128164567338311916561757574699168341220925260005298739803013033466\ 60785541587219572322903988846791644*c_0101_4^27 - 2306001711703331158874409064421603902656917365462031868533192964662\ 143916222687664075819203256183005797/427213502153976797510663498985\ 3831182558759477760226079564928556094575268497743880350857772368574\ 63110144*c_0101_4^26 - 67298943569164051966029324678884832542488309\ 4479889369481963025476605700573303449324166396229430535465601/12816\ 4050646193039253199049695614935476762784332806782386947856682837258\ 0549323164105257331710572389330432*c_0101_4^25 + 1464578218564516075461755252960636462991916746508925535717322916615\ 115330559892522141721314579146102530769/128164050646193039253199049\ 6956149354767627843328067823869478566828372580549323164105257331710\ 572389330432*c_0101_4^24 - 1007927014064875319963812284956024084234\ 736158979661384552448370797331340723606428632757425952898728074429/\ 6408202532309651962659952484780746773838139216640339119347392834141\ 86290274661582052628665855286194665216*c_0101_4^23 - 3023617076394063685330752797356163341508564893092846486358914914035\ 908086320355316238223183235622176356177/427213502153976797510663498\ 9853831182558759477760226079564928556094575268497743880350857772368\ 57463110144*c_0101_4^22 + 11859429316199324900808158276584927418315\ 967591060628294844165250276712607847654891183735775307841200370521/\ 1281640506461930392531990496956149354767627843328067823869478566828\ 372580549323164105257331710572389330432*c_0101_4^21 - 7589647469578040826188236502739242912672996884248993438097436643534\ 775587948755735195358916421900208908015/640820253230965196265995248\ 4780746773838139216640339119347392834141862902746615820526286658552\ 86194665216*c_0101_4^20 - 63932462056543053102997220193370348160315\ 34347964202202395014738521818510352169013738457437318349486790593/3\ 2041012661548259813299762423903733869190696083201695596736964170709\ 3145137330791026314332927643097332608*c_0101_4^19 + 2277260089024326143467297826518946445079177598119755294587873555212\ 2137199765053055398045928029800965742825/64082025323096519626599524\ 8478074677383813921664033911934739283414186290274661582052628665855\ 286194665216*c_0101_4^18 + 1221252843660284410173893682382527997731\ 0117044520552219730244011840757065293706563310737287110008010294963\ /106803375538494199377665874746345779563968986944005651989123213902\ 364381712443597008771444309214365777536*c_0101_4^17 - 7208616933742679336395023263532941221158923831017823440126760304627\ 986341069165682997358217443472175553993/160205063307741299066498812\ 1195186693459534804160084779836848208535465725686653955131571664638\ 21548666304*c_0101_4^16 + 13286691089241191583804024634225109132578\ 3351940250563473187699954493681457414785170319835996589773019820607\ /427213502153976797510663498985383118255875947776022607956492855609\ 457526849774388035085777236857463110144*c_0101_4^15 + 4087685786732814836455684214590393859732451890170216971976010871040\ 06839387820028979154538253321016201921085/6408202532309651962659952\ 4847807467738381392166403391193473928341418629027466158205262866585\ 5286194665216*c_0101_4^14 - 316778708713700764452333483172117686940\ 2041689369775783306735423990196336133566919716745501090796240313567\ 59/4272135021539767975106634989853831182558759477760226079564928556\ 09457526849774388035085777236857463110144*c_0101_4^13 + 3420852266369338290404945936749556053109653743219642545006789388030\ 90934265571599573961768103628290112343367/6408202532309651962659952\ 4847807467738381392166403391193473928341418629027466158205262866585\ 5286194665216*c_0101_4^12 - 339903622572248988778214991320223201532\ 8269764642665906960577643160946298085599646353214930636982480109980\ /250320411418345779791404393936747920853052313150013246849507532583\ 6665196385396804893080725997211697911*c_0101_4^11 - 3790877028095439608672182297469470914029783367608410360857022625279\ 28735187706015274811472015307377187217891/1068033755384941993776658\ 7474634577956396898694400565198912321390236438171244359700877144430\ 9214365777536*c_0101_4^10 + 362994973472761352211126219673745413790\ 5765630672692059074646851099182611674815876995124597602982432210457\ /267008438846235498444164686865864448909922467360014129972808034755\ 91095428110899252192861077303591444384*c_0101_4^9 - 1860571283166609780329452886796632821329219792684679827161141672259\ 65963121230898517782262618086278041501951/4005126582693532476662470\ 3029879667336488370104002119495921205213386643142166348878289291615\ 955387166576*c_0101_4^8 - 54205364755663827039445810935890321589565\ 873083601727992625282314857689701714978217821374396615525809912205/\ 2670084388462354984441646868658644489099224673600141299728080347559\ 1095428110899252192861077303591444384*c_0101_4^7 + 1516883868087562185059433425582145595758440083841792643552984405184\ 12190249888578621275169417845208534584635/4005126582693532476662470\ 3029879667336488370104002119495921205213386643142166348878289291615\ 955387166576*c_0101_4^6 + 35237386799721934115644933901804884613152\ 036223893577567383352463380270035010431714857190998439640980023709/\ 4005126582693532476662470302987966733648837010400211949592120521338\ 6643142166348878289291615955387166576*c_0101_4^5 + 3964437932811501630044027321659982377030782802235053955782792812399\ 703133703972663658236817600397829752209/333760548557794373055205858\ 5823305611374030842000176624660100434448886928513862406524107634662\ 948930548*c_0101_4^4 - 15001437427940203590135436506336611699294224\ 17531887053328199301518300306575955942243398502779619342711899/2002\ 5632913467662383312351514939833668244185052001059747960602606693321\ 571083174439144645807977693583288*c_0101_4^3 + 1107925022804007896471027562196089983464001484817265254649331163739\ 250028299681469561255321179396208272439/100128164567338311916561757\ 5746991683412209252600052987398030130334666078554158721957232290398\ 8846791644*c_0101_4^2 - 2191482746372188449022871006139368888138767\ 66872234266275626046695875214175068547294802017548103492188733/2503\ 2041141834577979140439393674792085305231315001324684950753258366651\ 96385396804893080725997211697911*c_0101_4 - 5150653555806067035803136371578790187372138780301289159509254718505\ 9586836414172659127279361412583088552/25032041141834577979140439393\ 6747920853052313150013246849507532583666519638539680489308072599721\ 1697911, c_0101_4^29 + 50*c_0101_4^28 - 25*c_0101_4^27 - 545*c_0101_4^26 + 1401*c_0101_4^25 - 2096*c_0101_4^24 - 6745*c_0101_4^23 + 12477*c_0101_4^22 - 16036*c_0101_4^21 - 16056*c_0101_4^20 + 45022*c_0101_4^19 + 104952*c_0101_4^18 - 92768*c_0101_4^17 + 341947*c_0101_4^16 + 540028*c_0101_4^15 - 1028295*c_0101_4^14 + 852148*c_0101_4^13 - 1627420*c_0101_4^12 - 3154084*c_0101_4^11 + 1563416*c_0101_4^10 - 4887488*c_0101_4^9 - 257264*c_0101_4^8 + 4764224*c_0101_4^7 - 595808*c_0101_4^6 + 874176*c_0101_4^5 - 551488*c_0101_4^4 + 143616*c_0101_4^3 - 134912*c_0101_4^2 + 13824*c_0101_4 + 8192 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.280 seconds, Total memory usage: 32.09MB