Magma V2.19-8 Tue Aug 20 2013 16:17:49 on localhost [Seed = 1259001769] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2049 geometric_solution 5.57818876 oriented_manifold CS_known -0.0000000000000002 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.268932419941 0.228536188723 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 0 0 -1 0 1 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.571894549861 1.606308324346 1 4 3 5 0132 0132 0213 0132 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 1 0 -1 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.358548674372 0.560536845999 5 2 4 1 3201 0213 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 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.358548674372 0.560536845999 3 2 6 6 2310 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.963328447528 1.979252498681 5 5 2 3 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 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.518699420733 0.868481061751 6 4 4 6 3201 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.571446138911 0.357406536202 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(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' : negation(d['1']), 's_2_2' : negation(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' : 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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_6'], '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_0011_5'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_5']), 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_3'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_6'], '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' : negation(d['c_0011_5']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0011_3'], '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_0011_3'], '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_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : negation(d['c_0011_5']), 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : negation(d['c_0011_5']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0011_3'])})} 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_0011_6, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 29 Groebner basis: [ t - 2577470470947390744533053186319341768696269859883609557668261252022\ 350937472641/961076197401331128712988228032387540721610825373607545\ 9827149992519520559040725*c_0101_4^28 + 4652107898781670100182638821447640569807761287625117243532386634797\ 70129003629/1922152394802662257425976456064775081443221650747215091\ 965429998503904111808145*c_0101_4^27 + 7830083167138811621120224848003701358991006376403789740746089750700\ 46274075326/1747411268002420234023614960058886437675656046133831901\ 78675454409445828346195*c_0101_4^26 - 5244086559079902399220108539425316807826737872842443332502789757476\ 5234532977873/96107619740133112871298822803238754072161082537360754\ 59827149992519520559040725*c_0101_4^25 - 7675935051481888507651346138240371984676108567530946144468391213380\ 9252819051606/96107619740133112871298822803238754072161082537360754\ 59827149992519520559040725*c_0101_4^24 + 1904206158185528943582992180062502484416719273193878829704396581120\ 59825847969622/3203587324671103762376627426774625135738702751245358\ 486609049997506506853013575*c_0101_4^23 - 1890709893322907402451925758029169591770283754578540098505077016160\ 45263048319273/3203587324671103762376627426774625135738702751245358\ 486609049997506506853013575*c_0101_4^22 - 1052204836100350442015597110210787538393699270000532866258124214267\ 7442583353466/32035873246711037623766274267746251357387027512453584\ 86609049997506506853013575*c_0101_4^21 + 5409712253651171429345884748342823833083450447959293088378490350153\ 5285888985063/13928640542048277227724467072933152764081316309762428\ 2026480434674195950131025*c_0101_4^20 - 1510466145485049090269918568258530856711190029192483121013493948464\ 818961949643543/320358732467110376237662742677462513573870275124535\ 8486609049997506506853013575*c_0101_4^19 - 4170372172355491325698134561910002661725938373416318965250556984615\ 703332181097201/961076197401331128712988228032387540721610825373607\ 5459827149992519520559040725*c_0101_4^18 + 7310774187330940922878091838307447625349760046710874408840722752529\ 944729718255723/961076197401331128712988228032387540721610825373607\ 5459827149992519520559040725*c_0101_4^17 - 1048137030000270288421236682683439063088375829319229760244263416955\ 542725186939003/961076197401331128712988228032387540721610825373607\ 5459827149992519520559040725*c_0101_4^16 - 1672994765030388376328613537404926146145854108299059132224484000225\ 969005743645771/384430478960532451485195291212955016288644330149443\ 018393085999700780822361629*c_0101_4^15 - 1308357947431995426307695311277189073506567191456105674809336305902\ 8783726183133217/96107619740133112871298822803238754072161082537360\ 75459827149992519520559040725*c_0101_4^14 - 1138276259927729705138800557666558553092051194819590226029502291007\ 9192507183970351/96107619740133112871298822803238754072161082537360\ 75459827149992519520559040725*c_0101_4^13 + 9674742924410158128809472778406631177205315615781607936935997389900\ 264964399483572/961076197401331128712988228032387540721610825373607\ 5459827149992519520559040725*c_0101_4^12 - 3683613511447457094901476371259957605448747980081476986471650120672\ 656421759916209/961076197401331128712988228032387540721610825373607\ 5459827149992519520559040725*c_0101_4^11 + 1897608717167184171213755548047480169441509515910817922371939153396\ 9195775055606342/32035873246711037623766274267746251357387027512453\ 58486609049997506506853013575*c_0101_4^10 + 1325736488942590169285528972032597690949718222108249620584058769818\ 2867652363453593/32035873246711037623766274267746251357387027512453\ 58486609049997506506853013575*c_0101_4^9 + 7567791044591286223587320886896903787655474026164941790884251877677\ 3553964017548088/96107619740133112871298822803238754072161082537360\ 75459827149992519520559040725*c_0101_4^8 + 3153288639857695707775448569969058792126298413877421542919174491431\ 1312806149523759/96107619740133112871298822803238754072161082537360\ 75459827149992519520559040725*c_0101_4^7 + 1063211409615116315616890878600067060817156955369209737935109808212\ 1452353035645028/19221523948026622574259764560647750814432216507472\ 15091965429998503904111808145*c_0101_4^6 + 8290060537714058912764101712167962865589632323789022326675320730733\ 22545099139982/6407174649342207524753254853549250271477405502490716\ 97321809999501301370602715*c_0101_4^5 + 4729852778318443589226988321147460253883845306148343113581392035477\ 998826391158128/320358732467110376237662742677462513573870275124535\ 8486609049997506506853013575*c_0101_4^4 - 3891826210816167789273590187545453535297487681033587247670847558123\ 7329348780466/58247042266747341134120498668629547922521868204461063\ 392891818136481942782065*c_0101_4^3 + 6544345135113016659237649355079965751839609043080729465930768549429\ 856540226012849/961076197401331128712988228032387540721610825373607\ 5459827149992519520559040725*c_0101_4^2 - 2165390644322717039449140006684703103761400897176954845361360321564\ 460603319847178/961076197401331128712988228032387540721610825373607\ 5459827149992519520559040725*c_0101_4 - 1434713550670006719397902086702485787363021905485708728514350501257\ 05485195995801/9610761974013311287129882280323875407216108253736075\ 459827149992519520559040725, c_0011_0 - 1, c_0011_1 + 527748571704208322575888204171823432860009905720980592963225\ 2470566373732/50649601971084644464452607537938737323932059308227011\ 6459928853360712545931*c_0101_4^28 - 9744503850812423208062881749438426912883619891932520557130960011294\ 930143/506496019710846444644526075379387373239320593082270116459928\ 853360712545931*c_0101_4^27 - 8054735637977877184472167521475164208\ 4415686361474987004072052746506578252/50649601971084644464452607537\ 9387373239320593082270116459928853360712545931*c_0101_4^26 + 1880544454312829550243543445569205356639649109759155563871804381115\ 71990481/5064960197108464446445260753793873732393205930822701164599\ 28853360712545931*c_0101_4^25 + 79525020542155185499550374006248174\ 1880312713796200275373958225923886083/50649601971084644464452607537\ 9387373239320593082270116459928853360712545931*c_0101_4^24 - 1253510981335466673261394226123337506228636466353225068028936340153\ 513903317/506496019710846444644526075379387373239320593082270116459\ 928853360712545931*c_0101_4^23 + 2399210851421719801761856990999845\ 231450003762749489005353445161982306571902/506496019710846444644526\ 075379387373239320593082270116459928853360712545931*c_0101_4^22 - 1816589371320749884380466896234544510137121248940570597907612965802\ 346222531/506496019710846444644526075379387373239320593082270116459\ 928853360712545931*c_0101_4^21 - 7043495862654157697858314170572525\ 767966365496537330798992529691910795932114/506496019710846444644526\ 075379387373239320593082270116459928853360712545931*c_0101_4^20 + 1715537227288926404566177181598322526333266135040367359657741492429\ 3848274774/50649601971084644464452607537938737323932059308227011645\ 9928853360712545931*c_0101_4^19 - 604243860722499699720933861968120\ 1889313648454314558798084396861901714232693/50649601971084644464452\ 6075379387373239320593082270116459928853360712545931*c_0101_4^18 - 1669365648967354935920157084901548226640882477133204716325838443812\ 0070571480/50649601971084644464452607537938737323932059308227011645\ 9928853360712545931*c_0101_4^17 + 246792368972785090415152098327865\ 61426649468049905548760868419433999353721475/5064960197108464446445\ 26075379387373239320593082270116459928853360712545931*c_0101_4^16 + 6630664861131876885254908645323150786270249502234338115807613665106\ 7249906365/50649601971084644464452607537938737323932059308227011645\ 9928853360712545931*c_0101_4^15 - 480392376673084573579892926224072\ 81696766704622517410847678816317531074164871/5064960197108464446445\ 26075379387373239320593082270116459928853360712545931*c_0101_4^14 + 5539137421871358957374847012340852146919947731590077925279407139092\ 1705812038/50649601971084644464452607537938737323932059308227011645\ 9928853360712545931*c_0101_4^13 - 350029114968899192426901525078656\ 06992198375024722212745997682462515035872550/5064960197108464446445\ 26075379387373239320593082270116459928853360712545931*c_0101_4^12 + 1536110497794595484226567667833949215843135331435069680370395316356\ 2639669401/50649601971084644464452607537938737323932059308227011645\ 9928853360712545931*c_0101_4^11 - 101898591086296603131626501646820\ 293232348704333173967813605035652617886599777/506496019710846444644\ 526075379387373239320593082270116459928853360712545931*c_0101_4^10 - 4011724010647497044215328473781655722973391555206218850588037806678\ 21363745/5064960197108464446445260753793873732393205930822701164599\ 28853360712545931*c_0101_4^9 - 120687537785576667169462953353605935\ 300730754697950222415933978636632854320132/506496019710846444644526\ 075379387373239320593082270116459928853360712545931*c_0101_4^8 + 1360489034154294287361443210139377341673708757576793223653992656596\ 7925626474/50649601971084644464452607537938737323932059308227011645\ 9928853360712545931*c_0101_4^7 - 9336577477549293405231116845733430\ 5864934219033872927186816553505706726225499/50649601971084644464452\ 6075379387373239320593082270116459928853360712545931*c_0101_4^6 + 1283359251816428923275306795493027823751013777766078176249962505814\ 7281392757/50649601971084644464452607537938737323932059308227011645\ 9928853360712545931*c_0101_4^5 - 1807096391567829408524755472664600\ 3925069307176563252289554396518096975261188/50649601971084644464452\ 6075379387373239320593082270116459928853360712545931*c_0101_4^4 - 8824719044432784346284718268940486779290679726189711976257429986327\ 243131251/506496019710846444644526075379387373239320593082270116459\ 928853360712545931*c_0101_4^3 + 73199609635059742739212537182858837\ 1875982763982243901054874668442804208257/50649601971084644464452607\ 5379387373239320593082270116459928853360712545931*c_0101_4^2 - 1519342817934371057277657434681189514502359374368176878934501973046\ 739969795/506496019710846444644526075379387373239320593082270116459\ 928853360712545931*c_0101_4 + 1305473401927723240905559274159958244\ 11318701167382159593529718298802690502/5064960197108464446445260753\ 79387373239320593082270116459928853360712545931, c_0011_3 - 551947769389714073205793072077178279922902760798292131424532\ 9601441591759/50649601971084644464452607537938737323932059308227011\ 6459928853360712545931*c_0101_4^28 + 9037791668038669241375090878581892765881835114907224717487898177116\ 501585/506496019710846444644526075379387373239320593082270116459928\ 853360712545931*c_0101_4^27 + 8647453817425430952953235201223818920\ 2888910096647178195837387957486495409/50649601971084644464452607537\ 9387373239320593082270116459928853360712545931*c_0101_4^26 - 1787677660725377829891063631352759069794540434308404974660394521948\ 77757776/5064960197108464446445260753793873732393205930822701164599\ 28853360712545931*c_0101_4^25 - 44164551794062642815865495910035536\ 301058838378152395804611201247382180636/506496019710846444644526075\ 379387373239320593082270116459928853360712545931*c_0101_4^24 + 1306505033057536421031979189288571790780466504094140875505084049447\ 376185394/506496019710846444644526075379387373239320593082270116459\ 928853360712545931*c_0101_4^23 - 2221940618448802810174743395244437\ 466980101754167308995941747693097507609941/506496019710846444644526\ 075379387373239320593082270116459928853360712545931*c_0101_4^22 + 1359813676745346702336171745307870505643462117084036674861399486217\ 156118649/506496019710846444644526075379387373239320593082270116459\ 928853360712545931*c_0101_4^21 + 7697251756356360765589959525756949\ 314508645032263857941139604623558105704806/506496019710846444644526\ 075379387373239320593082270116459928853360712545931*c_0101_4^20 - 1627992778560543765993679745413004276405538823813746345656375267424\ 8534205432/50649601971084644464452607537938737323932059308227011645\ 9928853360712545931*c_0101_4^19 + 236594759034034310476355741852627\ 5854332289210272407181279364864916781283833/50649601971084644464452\ 6075379387373239320593082270116459928853360712545931*c_0101_4^18 + 1841655832143596175146012250539381492789622143254384527748678486017\ 9179932536/50649601971084644464452607537938737323932059308227011645\ 9928853360712545931*c_0101_4^17 - 210763515147733436523672840605469\ 37950994628522541943776741282466738185172658/5064960197108464446445\ 26075379387373239320593082270116459928853360712545931*c_0101_4^16 - 7484101892749436701627063023358391351513096413989590400556976472100\ 1177406610/50649601971084644464452607537938737323932059308227011645\ 9928853360712545931*c_0101_4^15 + 347291383017318143882262707081668\ 72270938056098778481213558250317106629352652/5064960197108464446445\ 26075379387373239320593082270116459928853360712545931*c_0101_4^14 - 4494212097417777990820098653743487917152384825286749077814193422396\ 3015561004/50649601971084644464452607537938737323932059308227011645\ 9928853360712545931*c_0101_4^13 + 306016436492905735932368581615201\ 47107102858896359642381452047911274194667240/5064960197108464446445\ 26075379387373239320593082270116459928853360712545931*c_0101_4^12 - 7765912022372186107657880280141011314255642448615832759351499624271\ 043831228/506496019710846444644526075379387373239320593082270116459\ 928853360712545931*c_0101_4^11 + 1060272352531908984741149847076007\ 44653513149986789744680215136504033144656155/5064960197108464446445\ 26075379387373239320593082270116459928853360712545931*c_0101_4^10 + 1997105585849347163091040323774207129132800928496690516589133480258\ 9564604543/50649601971084644464452607537938737323932059308227011645\ 9928853360712545931*c_0101_4^9 + 1235765343083782937814067295868424\ 73997473074502138746446664089489402642720251/5064960197108464446445\ 26075379387373239320593082270116459928853360712545931*c_0101_4^8 + 3011484980793520684918361865343899822912432392487523469673494484256\ 374759470/506496019710846444644526075379387373239320593082270116459\ 928853360712545931*c_0101_4^7 + 88300880993938899139593790937362568\ 994764184884817393736542981392923106806023/506496019710846444644526\ 075379387373239320593082270116459928853360712545931*c_0101_4^6 - 5026597646565147492908233500990760724480966746800665941749402436778\ 586367811/506496019710846444644526075379387373239320593082270116459\ 928853360712545931*c_0101_4^5 + 11143870768533223215124803182437228\ 769271296125425039011225970300868722704616/506496019710846444644526\ 075379387373239320593082270116459928853360712545931*c_0101_4^4 + 6260151980621823190099089195947058724759254587838917263539253579841\ 318052039/506496019710846444644526075379387373239320593082270116459\ 928853360712545931*c_0101_4^3 + 34648983374021113317581975869574026\ 8712350428548484708986692861790821598636/50649601971084644464452607\ 5379387373239320593082270116459928853360712545931*c_0101_4^2 + 5948363701042503808820133441063471272533470289755308707195815166314\ 93403118/5064960197108464446445260753793873732393205930822701164599\ 28853360712545931*c_0101_4 + 79561871560764842279077988510150632873\ 815071247655985033721391217728230719/506496019710846444644526075379\ 387373239320593082270116459928853360712545931, c_0011_5 - 197273041055546469241153511444736503484889917881410906459918\ 4645777089158/50649601971084644464452607537938737323932059308227011\ 6459928853360712545931*c_0101_4^28 + 2489380696582994270034776709928364440920404985060291389762171781635\ 189981/506496019710846444644526075379387373239320593082270116459928\ 853360712545931*c_0101_4^27 + 3264140001026815988362802533008695071\ 5130594717553630870652061253951863342/50649601971084644464452607537\ 9387373239320593082270116459928853360712545931*c_0101_4^26 - 5349093390131984383391940637577550356367613520235168480378558571203\ 2544117/50649601971084644464452607537938737323932059308227011645992\ 8853360712545931*c_0101_4^25 - 475268019329906021959332444547037407\ 42671225044956806906873562102951822411/5064960197108464446445260753\ 79387373239320593082270116459928853360712545931*c_0101_4^24 + 4836904768612484683344144755085581065589367700732013736438893659067\ 61113392/5064960197108464446445260753793873732393205930822701164599\ 28853360712545931*c_0101_4^23 - 62355787089392213952912006150942079\ 8850242027956878479298361823387496900348/50649601971084644464452607\ 5379387373239320593082270116459928853360712545931*c_0101_4^22 + 5603958242682661870571087468461226296915630322540661413204681865285\ 7871881/50649601971084644464452607537938737323932059308227011645992\ 8853360712545931*c_0101_4^21 + 322554936669816717447143039538152374\ 4175961775444037965986354019438037958811/50649601971084644464452607\ 5379387373239320593082270116459928853360712545931*c_0101_4^20 - 5016978854042652805316475844795567298736131700140388645036740640518\ 669949944/506496019710846444644526075379387373239320593082270116459\ 928853360712545931*c_0101_4^19 - 2048737962788502456466062566834688\ 548405470741467977005521678944034933027515/506496019710846444644526\ 075379387373239320593082270116459928853360712545931*c_0101_4^18 + 8967141397447685653249118955017123185353631662521452094055350561320\ 859409834/506496019710846444644526075379387373239320593082270116459\ 928853360712545931*c_0101_4^17 - 6097602881212761487872836572637525\ 117737664087135928714245579158240494497091/506496019710846444644526\ 075379387373239320593082270116459928853360712545931*c_0101_4^16 - 3166641109042057220182450356732547279387730819334327817463597688098\ 4434637871/50649601971084644464452607537938737323932059308227011645\ 9928853360712545931*c_0101_4^15 + 562523631259471036504182991337819\ 4782287040794000281613643726750206974939734/50649601971084644464452\ 6075379387373239320593082270116459928853360712545931*c_0101_4^14 - 5071615244732823946840548003611890897882209353970026186550349876829\ 587976953/506496019710846444644526075379387373239320593082270116459\ 928853360712545931*c_0101_4^13 - 3771891889873068648711401784081958\ 903559681888370348414354195585902240080239/506496019710846444644526\ 075379387373239320593082270116459928853360712545931*c_0101_4^12 + 5613497782584908411403924624959458435381781684534440416940492596536\ 732970417/506496019710846444644526075379387373239320593082270116459\ 928853360712545931*c_0101_4^11 + 3255699390379115076467291776087713\ 7912343282370630203590509163439340082844134/50649601971084644464452\ 6075379387373239320593082270116459928853360712545931*c_0101_4^10 + 2326240206722075900971661885041759684624162183824435294661632085439\ 6361732068/50649601971084644464452607537938737323932059308227011645\ 9928853360712545931*c_0101_4^9 + 3729079060274141470708245366603651\ 3360679786387690042555645722360176784741450/50649601971084644464452\ 6075379387373239320593082270116459928853360712545931*c_0101_4^8 + 2188616539747596833886490964413370415480520531070724959103849861658\ 2672508706/50649601971084644464452607537938737323932059308227011645\ 9928853360712545931*c_0101_4^7 + 2425842844222675120303899256813312\ 3606000670651062134502986091726551908352955/50649601971084644464452\ 6075379387373239320593082270116459928853360712545931*c_0101_4^6 + 1795434132780156906046127593553233745286365900090142587779660925048\ 4627784745/50649601971084644464452607537938737323932059308227011645\ 9928853360712545931*c_0101_4^5 - 1779615603196581828936194446761696\ 834229397816288348414063979381520152352261/506496019710846444644526\ 075379387373239320593082270116459928853360712545931*c_0101_4^4 + 9039514706700121139778772559643949133295436295787758682303401199498\ 996517383/506496019710846444644526075379387373239320593082270116459\ 928853360712545931*c_0101_4^3 + 12295344452691841161990150977598049\ 92894585815397146223483451415769314272619/5064960197108464446445260\ 75379387373239320593082270116459928853360712545931*c_0101_4^2 - 1302870954889352429811725233600204612471272927749750990402023535352\ 6571101/50649601971084644464452607537938737323932059308227011645992\ 8853360712545931*c_0101_4 + 495137332460029785831381591486359758736\ 774357536699224348729849203756402502/506496019710846444644526075379\ 387373239320593082270116459928853360712545931, c_0011_6 + 611764885725096423250821022226870251073723710661533773608391\ 9842097229988/50649601971084644464452607537938737323932059308227011\ 6459928853360712545931*c_0101_4^28 - 1167904921098170599092856151505669387235164854798683702406841367378\ 9485160/50649601971084644464452607537938737323932059308227011645992\ 8853360712545931*c_0101_4^27 - 927000130178914938320488928922993697\ 37884083776419422176847037451558583133/5064960197108464446445260753\ 79387373239320593082270116459928853360712545931*c_0101_4^26 + 2238065822607894600197263633512351313729129020155521255087999101190\ 62048013/5064960197108464446445260753793873732393205930822701164599\ 28853360712545931*c_0101_4^25 - 12009177515454109583793269146691697\ 733714148696809918970433355390686647004/506496019710846444644526075\ 379387373239320593082270116459928853360712545931*c_0101_4^24 - 1452798959945834906462294350896546991875309571254501898438333407949\ 595033957/506496019710846444644526075379387373239320593082270116459\ 928853360712545931*c_0101_4^23 + 2869045588431870315984889585560184\ 054079994713699061067466998539178506722715/506496019710846444644526\ 075379387373239320593082270116459928853360712545931*c_0101_4^22 - 2272498509135973265737563898637021565923619916799247501947589765726\ 364888883/506496019710846444644526075379387373239320593082270116459\ 928853360712545931*c_0101_4^21 - 8025347902246753175264915032327139\ 220175025592933429879019850110687468800684/506496019710846444644526\ 075379387373239320593082270116459928853360712545931*c_0101_4^20 + 2037202419817352532064349795455687386948718817996193431510606394397\ 3880741886/50649601971084644464452607537938737323932059308227011645\ 9928853360712545931*c_0101_4^19 - 818076876665024641255587169302746\ 6905047399986959186015605131763071534552866/50649601971084644464452\ 6075379387373239320593082270116459928853360712545931*c_0101_4^18 - 1888314252750763753886850506996795054482628859663549705950737287091\ 1943939352/50649601971084644464452607537938737323932059308227011645\ 9928853360712545931*c_0101_4^17 + 295684914709492206453294359991063\ 40682252406302362307988949076583886274600582/5064960197108464446445\ 26075379387373239320593082270116459928853360712545931*c_0101_4^16 + 7519276510643339035453659658247722351099952720772446007153057133495\ 5481417623/50649601971084644464452607537938737323932059308227011645\ 9928853360712545931*c_0101_4^15 - 603132262551433659737488984278367\ 73261481850051628306934723348777227656108344/5064960197108464446445\ 26075379387373239320593082270116459928853360712545931*c_0101_4^14 + 6683201285791211976330453927341344136628115983533207038080585802254\ 5261506503/50649601971084644464452607537938737323932059308227011645\ 9928853360712545931*c_0101_4^13 - 456499992780650654666432337219760\ 71028553825401336036700581349707282509154059/5064960197108464446445\ 26075379387373239320593082270116459928853360712545931*c_0101_4^12 + 2047233030488091736561333847734148762075970336038190418241220049692\ 1487418431/50649601971084644464452607537938737323932059308227011645\ 9928853360712545931*c_0101_4^11 - 119817966915913751346856734096973\ 546275477174687398913682519916394736579402933/506496019710846444644\ 526075379387373239320593082270116459928853360712545931*c_0101_4^10 + 7325394694101949819426398005175704222989749461593041838596624431666\ 962032671/506496019710846444644526075379387373239320593082270116459\ 928853360712545931*c_0101_4^9 - 13857471888012106108232039135602089\ 0737618514841666041455042422072363146562285/50649601971084644464452\ 6075379387373239320593082270116459928853360712545931*c_0101_4^8 + 2658209773461636251318541420298742437965766331949561918135882868299\ 9388935604/50649601971084644464452607537938737323932059308227011645\ 9928853360712545931*c_0101_4^7 - 1080891170244027558285306239017638\ 61723578033762687871485597589018591921501966/5064960197108464446445\ 26075379387373239320593082270116459928853360712545931*c_0101_4^6 + 2348218418033276916454848856725198829484785126223394038275052712888\ 3283322406/50649601971084644464452607537938737323932059308227011645\ 9928853360712545931*c_0101_4^5 - 2086145382574056943813449673201362\ 8267678111595062046845819207027277619480215/50649601971084644464452\ 6075379387373239320593082270116459928853360712545931*c_0101_4^4 - 7946582909469890205399264449518843268995934871578671557691392920521\ 036272787/506496019710846444644526075379387373239320593082270116459\ 928853360712545931*c_0101_4^3 + 96744144525391557794571080421988512\ 8076067950346606522783246320789505346828/50649601971084644464452607\ 5379387373239320593082270116459928853360712545931*c_0101_4^2 - 1808926732820350446013302511411489661930514581314846533687850218213\ 147336050/506496019710846444644526075379387373239320593082270116459\ 928853360712545931*c_0101_4 - 1172957389325059877773431879818883765\ 1892902312895447520899230740480566013/50649601971084644464452607537\ 9387373239320593082270116459928853360712545931, c_0101_1 + 131202879594873325740731673392082197968488797348153891259957\ 0781488915548/50649601971084644464452607537938737323932059308227011\ 6459928853360712545931*c_0101_4^28 - 4676429280977981494835140690537051449332791104603792273933950219491\ 178931/506496019710846444644526075379387373239320593082270116459928\ 853360712545931*c_0101_4^27 - 1616580226710300799187068446258071678\ 1717704542324255101376814504335241056/50649601971084644464452607537\ 9387373239320593082270116459928853360712545931*c_0101_4^26 + 8183805382184732232956216651087108396888017243860006622472378258003\ 4196464/50649601971084644464452607537938737323932059308227011645992\ 8853360712545931*c_0101_4^25 - 754693773045217642597878235115069991\ 76751502468735495835078021240159121040/5064960197108464446445260753\ 79387373239320593082270116459928853360712545931*c_0101_4^24 - 3250932529569706268010166537079586816162586188557199303963373127151\ 05955482/5064960197108464446445260753793873732393205930822701164599\ 28853360712545931*c_0101_4^23 + 11320744079652262708476981247869092\ 66068151057902610968789359015353951213164/5064960197108464446445260\ 75379387373239320593082270116459928853360712545931*c_0101_4^22 - 1396521765780979630500478488115103165646865334965799654120060765882\ 166653577/506496019710846444644526075379387373239320593082270116459\ 928853360712545931*c_0101_4^21 - 1138842167979167153392037500626673\ 010362803900477271777196978369883095137291/506496019710846444644526\ 075379387373239320593082270116459928853360712545931*c_0101_4^20 + 7372684349298921016867406350306126305989863156306890750409456843413\ 154536992/506496019710846444644526075379387373239320593082270116459\ 928853360712545931*c_0101_4^19 - 8375395078958555425919629038022912\ 075425082418945396117944333184771087581819/506496019710846444644526\ 075379387373239320593082270116459928853360712545931*c_0101_4^18 - 2760544488271755839277871500456290979046374662327448368349646066197\ 918081232/506496019710846444644526075379387373239320593082270116459\ 928853360712545931*c_0101_4^17 + 1364048348385509383447611224577067\ 0552965246270262484000281234453445288813270/50649601971084644464452\ 6075379387373239320593082270116459928853360712545931*c_0101_4^16 + 7466296444403073453946099505652198032779405567199711248110290846703\ 166848899/506496019710846444644526075379387373239320593082270116459\ 928853360712545931*c_0101_4^15 - 4199370229239878857203472258153230\ 7032011846889763793921023841036149773090884/50649601971084644464452\ 6075379387373239320593082270116459928853360712545931*c_0101_4^14 + 3011279726703019951013541604825737650964504013785539959957915117876\ 1993015036/50649601971084644464452607537938737323932059308227011645\ 9928853360712545931*c_0101_4^13 - 272234462941642247417959052518537\ 56529658609176787146615386696489605872353826/5064960197108464446445\ 26075379387373239320593082270116459928853360712545931*c_0101_4^12 + 1825923253112623787529829989463014976776970771750417364894380979556\ 0178547341/50649601971084644464452607537938737323932059308227011645\ 9928853360712545931*c_0101_4^11 - 295825491199669781593277859998121\ 56986823404965299264375368669198031039364750/5064960197108464446445\ 26075379387373239320593082270116459928853360712545931*c_0101_4^10 + 4286464829310633853535627753844830265774134244855079170636032143934\ 1239551427/50649601971084644464452607537938737323932059308227011645\ 9928853360712545931*c_0101_4^9 - 2510156768781473453596808755517790\ 4230149359713850001542732209740016570997139/50649601971084644464452\ 6075379387373239320593082270116459928853360712545931*c_0101_4^8 + 5226277083557030806309537805813886942259146186682390942561052835604\ 4588339405/50649601971084644464452607537938737323932059308227011645\ 9928853360712545931*c_0101_4^7 - 2669876856395369560633008563833966\ 3206908786544796682930159771871101825964780/50649601971084644464452\ 6075379387373239320593082270116459928853360712545931*c_0101_4^6 + 3784927686904904484924540936485393350213868533851561981675267939668\ 2594754499/50649601971084644464452607537938737323932059308227011645\ 9928853360712545931*c_0101_4^5 - 9482095278311213203994783708479449\ 737591543260855184538981251464007618680528/506496019710846444644526\ 075379387373239320593082270116459928853360712545931*c_0101_4^4 + 2391372643905857403842755456923062290617241827224097898237383985293\ 348105740/506496019710846444644526075379387373239320593082270116459\ 928853360712545931*c_0101_4^3 + 23688051703012498845166456245256961\ 75777068016378742316839962541018407886944/5064960197108464446445260\ 75379387373239320593082270116459928853360712545931*c_0101_4^2 - 6044354610078790721608863342742552450510188477762244600060082660921\ 58908209/5064960197108464446445260753793873732393205930822701164599\ 28853360712545931*c_0101_4 + 32184640694202482776073541462377244590\ 5300035712766137161781278647928445781/50649601971084644464452607537\ 9387373239320593082270116459928853360712545931, c_0101_4^29 - 2*c_0101_4^28 - 15*c_0101_4^27 + 38*c_0101_4^26 - 5*c_0101_4^25 - 238*c_0101_4^24 + 491*c_0101_4^23 - 410*c_0101_4^22 - 1288*c_0101_4^21 + 3463*c_0101_4^20 - 1622*c_0101_4^19 - 3030*c_0101_4^18 + 5179*c_0101_4^17 + 11844*c_0101_4^16 - 11088*c_0101_4^15 + 11677*c_0101_4^14 - 8344*c_0101_4^13 + 3393*c_0101_4^12 - 19604*c_0101_4^11 + 2883*c_0101_4^10 - 22285*c_0101_4^9 + 6352*c_0101_4^8 - 17122*c_0101_4^7 + 5575*c_0101_4^6 - 2939*c_0101_4^5 - 1042*c_0101_4^4 + 681*c_0101_4^3 - 269*c_0101_4^2 + 30*c_0101_4 + 23 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB