Magma V2.19-8 Tue Aug 20 2013 16:15:55 on localhost [Seed = 1107549817] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0143 geometric_solution 3.64172156 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 2310 3201 0 0 0 0 0 1 -1 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 -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.669548063785 0.027756145342 0 0 2 2 0132 3201 2310 0132 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 -1 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 0 0 0 2.219208411609 0.184311513811 3 1 1 3 0132 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.620398267450 0.254932971515 2 4 4 2 0132 0132 3201 1023 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 -1 0 1 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.322861423453 0.474055645594 3 3 5 6 2310 0132 0132 0132 0 0 0 0 0 -1 0 1 1 0 -1 0 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -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 0.010129857200 0.507231680931 6 6 6 4 1023 3012 1230 0132 0 0 0 0 0 0 0 0 -1 0 0 1 -1 0 0 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 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.992568465462 0.997613452423 5 5 4 5 1230 1023 0132 3012 0 0 0 0 0 1 -1 0 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 -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.992568465462 0.997613452423 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0101_3']), '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_5'], 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : d['c_0011_5'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0011_5'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_1'])})} 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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t - 552733998422931963124291620970145930523049618840261689315933937709/\ 7828614096017257910527574425119609641716962018589364626389752089*c_\ 0101_4^30 - 3448400222242016018954574565344203247491385980034950751\ 294634830746/782861409601725791052757442511960964171696201858936462\ 6389752089*c_0101_4^29 - 363394858086273414522805277136502104829474\ 87312785306509158107449690/7828614096017257910527574425119609641716\ 962018589364626389752089*c_0101_4^28 + 1815181036088500477262270883404172870540920881702282975778456649659\ 80/7828614096017257910527574425119609641716962018589364626389752089\ *c_0101_4^27 + 1418492298970065729648476565455365968534234693051664\ 900546993270440160/782861409601725791052757442511960964171696201858\ 9364626389752089*c_0101_4^26 - 333186567945823867361477517207837784\ 2316925610266827652335292970487101/78286140960172579105275744251196\ 09641716962018589364626389752089*c_0101_4^25 - 1865067714994737942802905831226626911708273961775582290310706278045\ 3788/78286140960172579105275744251196096417169620185893646263897520\ 89*c_0101_4^24 + 40490267539820039352082220829583111131237361916591\ 459756192932359170246/782861409601725791052757442511960964171696201\ 8589364626389752089*c_0101_4^23 + 108367437659428372222689590960109\ 495031379791048973673139595054413176327/782861409601725791052757442\ 5119609641716962018589364626389752089*c_0101_4^22 - 2255207089868976221286828934278404770379911729103931113668244739434\ 42455/7828614096017257910527574425119609641716962018589364626389752\ 089*c_0101_4^21 - 3828353117229827557881670646118933334887675209175\ 68483031576262530829780/7828614096017257910527574425119609641716962\ 018589364626389752089*c_0101_4^20 + 6997253942624041751681728120283270767348308734663295080836363202051\ 52566/7828614096017257910527574425119609641716962018589364626389752\ 089*c_0101_4^19 + 9313236389829342992977315133496687172501672351116\ 91880642636701122353501/7828614096017257910527574425119609641716962\ 018589364626389752089*c_0101_4^18 - 1331962997835999009772854732361924083366990231067744054235814675404\ 625791/782861409601725791052757442511960964171696201858936462638975\ 2089*c_0101_4^17 - 157129808686190875261784986346729998635079729269\ 8866403613925331322040988/78286140960172579105275744251196096417169\ 62018589364626389752089*c_0101_4^16 + 1643684233822123106506578914025192076302148002848518532637279724893\ 294756/782861409601725791052757442511960964171696201858936462638975\ 2089*c_0101_4^15 + 180036053473126371530774571097679149611378124830\ 2686390301712009027505909/78286140960172579105275744251196096417169\ 62018589364626389752089*c_0101_4^14 - 1377111239113594197560813342983225336585137979428810274318483812862\ 509484/782861409601725791052757442511960964171696201858936462638975\ 2089*c_0101_4^13 - 138319189860915592663889985709981690397287439462\ 5012397870286482955581536/78286140960172579105275744251196096417169\ 62018589364626389752089*c_0101_4^12 + 8166703079819752399837278659724909562501258076017794692257958868432\ 70790/7828614096017257910527574425119609641716962018589364626389752\ 089*c_0101_4^11 + 7063742612512465453799725998793185706754092660737\ 70639601658374133250005/7828614096017257910527574425119609641716962\ 018589364626389752089*c_0101_4^10 - 3501190164122324086653619206786627116840191227825930793281582136327\ 68379/7828614096017257910527574425119609641716962018589364626389752\ 089*c_0101_4^9 - 23580462662430470812720224220086637113698828448372\ 0360803617449875242033/78286140960172579105275744251196096417169620\ 18589364626389752089*c_0101_4^8 + 106128199876793023213437226348605\ 572393755808288277249074231522929193688/782861409601725791052757442\ 5119609641716962018589364626389752089*c_0101_4^7 + 4973455361305198079015473256272017664446705808002771538034370397702\ 8016/78286140960172579105275744251196096417169620185893646263897520\ 89*c_0101_4^6 - 211262045997166668008086003412354892753447353042849\ 25740583161447240747/7828614096017257910527574425119609641716962018\ 589364626389752089*c_0101_4^5 - 62256885635516624694752751672524329\ 54331434056047650320763885800317086/7828614096017257910527574425119\ 609641716962018589364626389752089*c_0101_4^4 + 2418732500195483244424106748783856588706482451301906728281856014970\ 528/782861409601725791052757442511960964171696201858936462638975208\ 9*c_0101_4^3 + 4088014435046008604770149746659478127798462852517817\ 79861373171594996/7828614096017257910527574425119609641716962018589\ 364626389752089*c_0101_4^2 - 11874228815490070993910712899562177382\ 6211604631276488193468590932244/78286140960172579105275744251196096\ 41716962018589364626389752089*c_0101_4 - 1032343822039519638488171333816943426461599678301086700031519890864\ 0/7828614096017257910527574425119609641716962018589364626389752089, c_0011_0 - 1, c_0011_2 + 153576082393689304314688675146193238643356663347941765862684\ 738519/391430704800862895526378721255980482085848100929468231319487\ 60445*c_0101_4^30 + 15672687669247098801980125398449094355743754165\ 54431770776369468648/3914307048008628955263787212559804820858481009\ 2946823131948760445*c_0101_4^29 + 325951107805350314357047430770341\ 1358767828399854554900282051206022/78286140960172579105275744251196\ 09641716962018589364626389752089*c_0101_4^28 + 2825179889194456290495343766074095276993972135577767709706155483086\ /7828614096017257910527574425119609641716962018589364626389752089*c\ _0101_4^27 - 338937309472454058454126562536708190086986145912404275\ 951280500428282/391430704800862895526378721255980482085848100929468\ 23131948760445*c_0101_4^26 - 41148001522910658568468586449005774541\ 0303030111518927730641290338817/39143070480086289552637872125598048\ 208584810092946823131948760445*c_0101_4^25 + 3594424186706787150040387778893941127930624440094954678181777594883\ 111/391430704800862895526378721255980482085848100929468231319487604\ 45*c_0101_4^24 + 28814204910256003518386073735964578908072469084952\ 39068512223027487672/3914307048008628955263787212559804820858481009\ 2946823131948760445*c_0101_4^23 - 386048611410513607514117307559217\ 5401990151959528151512026782660191572/78286140960172579105275744251\ 19609641716962018589364626389752089*c_0101_4^22 - 1248635860067429428613683600272474965998210374590585521320009111659\ 9989/39143070480086289552637872125598048208584810092946823131948760\ 445*c_0101_4^21 + 6070277347126494770589885618027679562279911022199\ 5767735070296575830249/39143070480086289552637872125598048208584810\ 092946823131948760445*c_0101_4^20 + 7767443921111706487357644282618462746244895310022235760167842838531\ 948/782861409601725791052757442511960964171696201858936462638975208\ 9*c_0101_4^19 - 238574278021278368426692178343867732889506878128246\ 70263899760819483884/7828614096017257910527574425119609641716962018\ 589364626389752089*c_0101_4^18 - 8105885734920937821573589854098820\ 5520297126097648895358782479135478159/39143070480086289552637872125\ 598048208584810092946823131948760445*c_0101_4^17 + 1521930335799550375319336954296146378369600366356185092781409550570\ 95982/3914307048008628955263787212559804820858481009294682313194876\ 0445*c_0101_4^16 + 109192155267633219629327716505208809325415646338\ 964149524956469113275182/391430704800862895526378721255980482085848\ 10092946823131948760445*c_0101_4^15 - 1303461244204741890381091707044816914871845393148061222319551445762\ 34453/3914307048008628955263787212559804820858481009294682313194876\ 0445*c_0101_4^14 - 951707779537725686412317483389123460498019072255\ 17965582585920503799597/3914307048008628955263787212559804820858481\ 0092946823131948760445*c_0101_4^13 + 1545073969621594015987672968943415706815840781371397697686467032357\ 9974/78286140960172579105275744251196096417169620185893646263897520\ 89*c_0101_4^12 + 54227356505058040434680237843735745725913815577561\ 854446666108754189438/391430704800862895526378721255980482085848100\ 92946823131948760445*c_0101_4^11 - 3228849496236524889693836197143223965094700512834382485393054307397\ 1792/39143070480086289552637872125598048208584810092946823131948760\ 445*c_0101_4^10 - 2025199729908546382325946695024354234751707808515\ 3871414223150913893902/39143070480086289552637872125598048208584810\ 092946823131948760445*c_0101_4^9 + 9415582447685796899804163169696872829749672897640466030419695516951\ 642/391430704800862895526378721255980482085848100929468231319487604\ 45*c_0101_4^8 + 490834629246434151089013330430421388765937469369805\ 7888086117014306208/39143070480086289552637872125598048208584810092\ 946823131948760445*c_0101_4^7 - 17982619745796896100257191880767379\ 93522715314416353993736327298533084/3914307048008628955263787212559\ 8048208584810092946823131948760445*c_0101_4^6 - 1506696652683261817359157409501050971019867214814839335789517094247\ 66/7828614096017257910527574425119609641716962018589364626389752089\ *c_0101_4^5 + 19220687489990827129599853601322921587793763199047513\ 2990601382400761/39143070480086289552637872125598048208584810092946\ 823131948760445*c_0101_4^4 + 70213133374851129361500160179859569810\ 097370994480626166706546782504/391430704800862895526378721255980482\ 08584810092946823131948760445*c_0101_4^3 - 1359043186952443975870313133176905543433478217006839639127411518412\ /7828614096017257910527574425119609641716962018589364626389752089*c\ _0101_4^2 - 3429754396996973788291550329199917427757082004058882813\ 336191165758/391430704800862895526378721255980482085848100929468231\ 31948760445*c_0101_4 - 28958414335605131712247883984566792980934488\ 3490776018455778633833/39143070480086289552637872125598048208584810\ 092946823131948760445, c_0011_5 - 142098611959962788678014213172301848842774577685086774935049\ 1226/39143070480086289552637872125598048208584810092946823131948760\ 445*c_0101_4^30 - 3706037905159500886748836191213147920416738648890\ 4974001315757713/39143070480086289552637872125598048208584810092946\ 823131948760445*c_0101_4^29 - 7730167054396727935696165659378170775\ 4329556732182211925508197478/78286140960172579105275744251196096417\ 16962018589364626389752089*c_0101_4^28 - 518295957880535748124819889238550481811349854148315993279364364136/\ 7828614096017257910527574425119609641716962018589364626389752089*c_\ 0101_4^27 + 3643100579957795450623263011319533616010939320682497568\ 63287909038/3914307048008628955263787212559804820858481009294682313\ 1948760445*c_0101_4^26 + 519015522331064528721264419595022698862585\ 51643664904662569902650331/3914307048008628955263787212559804820858\ 4810092946823131948760445*c_0101_4^25 + 3782305163402174012099937485410298996286697352632988898365634733602\ 8/39143070480086289552637872125598048208584810092946823131948760445\ *c_0101_4^24 - 5172610810464980239981419997836755685720517068690808\ 25400328562890191/3914307048008628955263787212559804820858481009294\ 6823131948760445*c_0101_4^23 - 336215204885696059344650004120958712\ 377898474713336486597394512306282/391430704800862895526378721255980\ 48208584810092946823131948760445*c_0101_4^22 + 5239620288184129258647993002756025062688891839079348691771910423146\ 63/7828614096017257910527574425119609641716962018589364626389752089\ *c_0101_4^21 + 1685827961656020961130140969874312604713819673566095\ 891421141580947797/391430704800862895526378721255980482085848100929\ 46823131948760445*c_0101_4^20 - 76795477256722650227441123419449858\ 84030670620455895378123447940644387/3914307048008628955263787212559\ 8048208584810092946823131948760445*c_0101_4^19 - 5540445478468880782357457895455503207178034880106226443428269856685\ 266/391430704800862895526378721255980482085848100929468231319487604\ 45*c_0101_4^18 + 13589714737789069522372101895469649341236455698990\ 038666875613339920228/391430704800862895526378721255980482085848100\ 92946823131948760445*c_0101_4^17 + 1113676098948479571555358979740562567856042436842292741417226695021\ 6889/39143070480086289552637872125598048208584810092946823131948760\ 445*c_0101_4^16 - 2985179377999117932105711259530088516516224347158\ 804243918365769882510/782861409601725791052757442511960964171696201\ 8589364626389752089*c_0101_4^15 - 135220568083627175055493918684125\ 37008961902213049299670925056041484702/3914307048008628955263787212\ 5598048208584810092946823131948760445*c_0101_4^14 + 1058054886343678577356958359664916580626399188253809983564271994750\ 1003/39143070480086289552637872125598048208584810092946823131948760\ 445*c_0101_4^13 + 1014384982536334987401849377427327285504644787405\ 1214218645051648076608/39143070480086289552637872125598048208584810\ 092946823131948760445*c_0101_4^12 - 5113001221281036281774999385403544393807226344257684695692641557180\ 363/391430704800862895526378721255980482085848100929468231319487604\ 45*c_0101_4^11 - 48208026220634129858651125935206843555924246844961\ 30279446715098863122/3914307048008628955263787212559804820858481009\ 2946823131948760445*c_0101_4^10 + 176169676862470509403874500884963\ 2263438283771420560500347391106354326/39143070480086289552637872125\ 598048208584810092946823131948760445*c_0101_4^9 + 1468185287981226094472379141037266555312415880576570819241490678232\ 679/391430704800862895526378721255980482085848100929468231319487604\ 45*c_0101_4^8 - 423837193588549610620820224082613841393655612898784\ 635024109221353844/391430704800862895526378721255980482085848100929\ 46823131948760445*c_0101_4^7 - 281842784605211112781512728537284180\ 279607913617928676564831689590672/391430704800862895526378721255980\ 48208584810092946823131948760445*c_0101_4^6 + 6366116415967574629866632961620495659940840765961290644998339915111\ 2/39143070480086289552637872125598048208584810092946823131948760445\ *c_0101_4^5 + 31824183347002576767312699440811847783406526902629513\ 179438755631707/391430704800862895526378721255980482085848100929468\ 23131948760445*c_0101_4^4 - 456429524415527415728902167532865398526\ 6666054958027996267545621392/39143070480086289552637872125598048208\ 584810092946823131948760445*c_0101_4^3 - 1733526770588620543984267012110061333998841950303936763303294867964\ /39143070480086289552637872125598048208584810092946823131948760445*\ c_0101_4^2 - 800522813884547981770232730019944260834754475087981898\ 2379905780/78286140960172579105275744251196096417169620185893646263\ 89752089*c_0101_4 + 19526589200342047002550039375130580967064663745\ 355111194688495588/391430704800862895526378721255980482085848100929\ 46823131948760445, c_0101_0 + 681583885978161796858479888033955384042988856060375011051084\ 746334/391430704800862895526378721255980482085848100929468231319487\ 60445*c_0101_4^30 + 70416850771065559927705622156512993989470870042\ 38246406585932328438/3914307048008628955263787212559804820858481009\ 2946823131948760445*c_0101_4^29 + 146641692175476420183361618179181\ 50435740758746819824268066457187993/7828614096017257910527574425119\ 609641716962018589364626389752089*c_0101_4^28 + 1460988211568263188710331229127101489488302906259176477369380413044\ 2/7828614096017257910527574425119609641716962018589364626389752089*\ c_0101_4^27 - 14834951566697700852518071305909214584733339131295243\ 56406530972092322/3914307048008628955263787212559804820858481009294\ 6823131948760445*c_0101_4^26 - 199702847818387659429648488957199969\ 9750451290961697846418925602155162/39143070480086289552637872125598\ 048208584810092946823131948760445*c_0101_4^25 + 1548516335061741057717968426165885608088243509489091714325447708403\ 1171/39143070480086289552637872125598048208584810092946823131948760\ 445*c_0101_4^24 + 1434169027865585574834986014351165518393801431215\ 4268334236310572230747/39143070480086289552637872125598048208584810\ 092946823131948760445*c_0101_4^23 - 1634257195870577410177526745124124021877362553045690688902232982642\ 5254/78286140960172579105275744251196096417169620185893646263897520\ 89*c_0101_4^22 - 62576758245330669493221858365342262010611421709743\ 584112092719807972129/391430704800862895526378721255980482085848100\ 92946823131948760445*c_0101_4^21 + 2506351835572516712779041060655069228134545472996627653385568497521\ 88999/3914307048008628955263787212559804820858481009294682313194876\ 0445*c_0101_4^20 + 379273989782917199668943139097012780327610426887\ 46153898233142712222360/7828614096017257910527574425119609641716962\ 018589364626389752089*c_0101_4^19 - 9483183531680408808577737331914193720522336040978347041502883388323\ 4580/78286140960172579105275744251196096417169620185893646263897520\ 89*c_0101_4^18 - 37723122662974748216843486436412775652314175499321\ 7205107448858199212194/39143070480086289552637872125598048208584810\ 092946823131948760445*c_0101_4^17 + 5752814797747973439750126090798138737309638311062476666577823026192\ 27887/3914307048008628955263787212559804820858481009294682313194876\ 0445*c_0101_4^16 + 478339717195427869037325622518834532947053510930\ 665803850395022424798967/391430704800862895526378721255980482085848\ 10092946823131948760445*c_0101_4^15 - 4662993397727819190781557127265932633725588592409081663663347231534\ 03468/3914307048008628955263787212559804820858481009294682313194876\ 0445*c_0101_4^14 - 389500802793208116805220973937624017523466933943\ 945587562587625107570752/391430704800862895526378721255980482085848\ 10092946823131948760445*c_0101_4^13 + 5268058241658242430030267507505722814646738240786379962908641176822\ 4411/78286140960172579105275744251196096417169620185893646263897520\ 89*c_0101_4^12 + 20637820246020460707100674498284283240310427490068\ 0288878702570826934993/39143070480086289552637872125598048208584810\ 092946823131948760445*c_0101_4^11 - 1064155885649755947184555559175122467287055827504532644341378291465\ 82652/3914307048008628955263787212559804820858481009294682313194876\ 0445*c_0101_4^10 - 712970240380032305197186141193398933165818609756\ 72325100684216860570632/3914307048008628955263787212559804820858481\ 0092946823131948760445*c_0101_4^9 + 3018609116167051840372312572715406501214922541779438525709677370564\ 2402/39143070480086289552637872125598048208584810092946823131948760\ 445*c_0101_4^8 + 15821746186215442055884804571714587728639494829872\ 986299875919499342408/391430704800862895526378721255980482085848100\ 92946823131948760445*c_0101_4^7 - 553570176068855894495877829936081\ 3275496138795837281419992219316185604/39143070480086289552637872125\ 598048208584810092946823131948760445*c_0101_4^6 - 4392120392055795694548313017984252414274445690609974812107026553847\ 13/7828614096017257910527574425119609641716962018589364626389752089\ *c_0101_4^5 + 55054001222928766286220151412380065225559142181931932\ 0625063437830691/39143070480086289552637872125598048208584810092946\ 823131948760445*c_0101_4^4 + 18572142349862718517131450574952200836\ 6550633790678587722488573078079/39143070480086289552637872125598048\ 208584810092946823131948760445*c_0101_4^3 - 3407933369238834356894958131761119846604740554846544108104950039663\ /7828614096017257910527574425119609641716962018589364626389752089*c\ _0101_4^2 - 8443206597340395122059486506917679210526773419332263200\ 111936892493/391430704800862895526378721255980482085848100929468231\ 31948760445*c_0101_4 - 69415798060834910381882250689991728393962653\ 9169120466459922746098/39143070480086289552637872125598048208584810\ 092946823131948760445, c_0101_1 + 124446630737720374368299420423396162375938217468615266065151\ 952249/391430704800862895526378721255980482085848100929468231319487\ 60445*c_0101_4^30 + 20587144440170662814063340816794721296998521236\ 9500026116567027838/78286140960172579105275744251196096417169620185\ 89364626389752089*c_0101_4^29 + 21647958359813860339587544092106526\ 02904242251288591481110780857964/7828614096017257910527574425119609\ 641716962018589364626389752089*c_0101_4^28 - 2676149136907739213457692614219239125343260828104120948133866024483\ /7828614096017257910527574425119609641716962018589364626389752089*c\ _0101_4^27 - 289388068916427487959530493435938566238203801390210218\ 510478380443422/391430704800862895526378721255980482085848100929468\ 23131948760445*c_0101_4^26 + 20027184773644517185298819869754124276\ 5116647782464888798294163101247/39143070480086289552637872125598048\ 208584810092946823131948760445*c_0101_4^25 + 3392605500143583579833584239382369076145214720496427755091144725125\ 682/391430704800862895526378721255980482085848100929468231319487604\ 45*c_0101_4^24 - 34060096213555189400456152584557050471158779819484\ 26761333809283289917/3914307048008628955263787212559804820858481009\ 2946823131948760445*c_0101_4^23 - 183519667323416684085252879345333\ 13488976422053703675672651461631003071/3914307048008628955263787212\ 5598048208584810092946823131948760445*c_0101_4^22 + 2056292416525309773227206046588007161479934395758056797024614885128\ 3693/39143070480086289552637872125598048208584810092946823131948760\ 445*c_0101_4^21 + 5901220432003794396781761362953265077743521251243\ 8568844303969473719073/39143070480086289552637872125598048208584810\ 092946823131948760445*c_0101_4^20 - 6459135435536716056605197887913599041152320657209492547979889882876\ 3376/39143070480086289552637872125598048208584810092946823131948760\ 445*c_0101_4^19 - 1265391699836066781385529107666678969107445013510\ 63776101023187648973093/3914307048008628955263787212559804820858481\ 0092946823131948760445*c_0101_4^18 + 1241313312615167393822512815898032801366001893188889388259000515058\ 34952/3914307048008628955263787212559804820858481009294682313194876\ 0445*c_0101_4^17 + 187400142774487231053345690977487666972748584970\ 648286556146401679610483/391430704800862895526378721255980482085848\ 10092946823131948760445*c_0101_4^16 - 1580617979210780652138329482917686679257053373147389352153683510743\ 14359/3914307048008628955263787212559804820858481009294682313194876\ 0445*c_0101_4^15 - 383298291753125370972565517461625512389000065457\ 78437338100709983243768/7828614096017257910527574425119609641716962\ 018589364626389752089*c_0101_4^14 + 1400287628531671194084467236100302899026375851538380891401079601517\ 58418/3914307048008628955263787212559804820858481009294682313194876\ 0445*c_0101_4^13 + 133337382075215977147092695736626090363315194263\ 436774937454530069740754/391430704800862895526378721255980482085848\ 10092946823131948760445*c_0101_4^12 - 1772519860053025100062359124348960124169186522665644509074765496346\ 5696/78286140960172579105275744251196096417169620185893646263897520\ 89*c_0101_4^11 - 61308108077925442216758401432378620817806079042855\ 494049026887348164897/391430704800862895526378721255980482085848100\ 92946823131948760445*c_0101_4^10 + 3977833013531566212744460198945699285681964230513808811886477498507\ 9162/39143070480086289552637872125598048208584810092946823131948760\ 445*c_0101_4^9 + 17674398622080724761989290533152042330212855898712\ 865530354941116039073/391430704800862895526378721255980482085848100\ 92946823131948760445*c_0101_4^8 - 120197311602113489109302912256809\ 37762854147400810245666024645536482758/3914307048008628955263787212\ 5598048208584810092946823131948760445*c_0101_4^7 - 2906695066137666686017837146234782648730055776503665363510149285616\ 058/391430704800862895526378721255980482085848100929468231319487604\ 45*c_0101_4^6 + 221368852181720948334291162373529542609924535968738\ 1988671371588793436/39143070480086289552637872125598048208584810092\ 946823131948760445*c_0101_4^5 + 23253930451416033248103577113186586\ 6626570199946511366287888779587389/39143070480086289552637872125598\ 048208584810092946823131948760445*c_0101_4^4 - 2095106712838728403696625716294633523629289868032052744775317157758\ 64/3914307048008628955263787212559804820858481009294682313194876044\ 5*c_0101_4^3 - 9963165422001116171171101439153526197377779969769687\ 166254517254642/391430704800862895526378721255980482085848100929468\ 23131948760445*c_0101_4^2 + 683725832696464158719648555935861541457\ 6314637757501126871245456501/39143070480086289552637872125598048208\ 584810092946823131948760445*c_0101_4 + 179659246377684082305598303824504599949186679049909610949688453577/\ 7828614096017257910527574425119609641716962018589364626389752089, c_0101_3 - 862904756596725769732922373951793895670958157444762995955776\ 17739/3914307048008628955263787212559804820858481009294682313194876\ 0445*c_0101_4^30 - 179904170569278487370644800769560069229287054354\ 243244085361504302/782861409601725791052757442511960964171696201858\ 9364626389752089*c_0101_4^29 - 186989292602527906736071742833712222\ 9832267758857982075531763702194/78286140960172579105275744251196096\ 41716962018589364626389752089*c_0101_4^28 - 1989229689969848297358110306361284390969718568464095745930780747761\ /7828614096017257910527574425119609641716962018589364626389752089*c\ _0101_4^27 + 188678386105874636991284051204351251256805949391714384\ 370074094494432/391430704800862895526378721255980482085848100929468\ 23131948760445*c_0101_4^26 + 27197397019135424213105620448993144406\ 8112505774452594991941880114098/39143070480086289552637872125598048\ 208584810092946823131948760445*c_0101_4^25 - 1971639947338539002098361044129644966847579150971858651010108443942\ 597/391430704800862895526378721255980482085848100929468231319487604\ 45*c_0101_4^24 - 20432774176368819578507331190093279925215814866957\ 27249816040462943483/3914307048008628955263787212559804820858481009\ 2946823131948760445*c_0101_4^23 + 105361320532864973661803951384940\ 30838332513575716061740701674961080561/3914307048008628955263787212\ 5598048208584810092946823131948760445*c_0101_4^22 + 9198723314348038530609754803074462928769846285232074842043600688323\ 102/391430704800862895526378721255980482085848100929468231319487604\ 45*c_0101_4^21 - 32861719820359303542782088677512384264509110735043\ 342371854063742899043/391430704800862895526378721255980482085848100\ 92946823131948760445*c_0101_4^20 - 2829831781436463030021899331885555952909044169550145178303703257937\ 4554/39143070480086289552637872125598048208584810092946823131948760\ 445*c_0101_4^19 + 6339053389462681910892244932148433372280614883020\ 5188670041741741233198/39143070480086289552637872125598048208584810\ 092946823131948760445*c_0101_4^18 + 5733513532950899587397066250342540891197082155146416100822990003351\ 0768/39143070480086289552637872125598048208584810092946823131948760\ 445*c_0101_4^17 - 7862936048788684134268228049652965936257163106908\ 9019566065269990866833/39143070480086289552637872125598048208584810\ 092946823131948760445*c_0101_4^16 - 7507499377670690976091601039405579586835115501788916708779312409763\ 8386/39143070480086289552637872125598048208584810092946823131948760\ 445*c_0101_4^15 + 1305333875986667508523537580002781057110917481670\ 6671077260539749164912/78286140960172579105275744251196096417169620\ 18589364626389752089*c_0101_4^14 + 6417689712877490924471719527295592259289220819196721643240648548162\ 0487/39143070480086289552637872125598048208584810092946823131948760\ 445*c_0101_4^13 - 3780523531992809491644272659128323733605838992040\ 1167705683466148922669/39143070480086289552637872125598048208584810\ 092946823131948760445*c_0101_4^12 - 7265699531195942875564680677476553851247139164685350252053641777758\ 226/782861409601725791052757442511960964171696201858936462638975208\ 9*c_0101_4^11 + 157719658721298362680374602275628663447159428627668\ 79771672871489978927/3914307048008628955263787212559804820858481009\ 2946823131948760445*c_0101_4^10 + 136608433886928130572154469016572\ 89607611850800145168962036031519736978/3914307048008628955263787212\ 5598048208584810092946823131948760445*c_0101_4^9 - 4716280585941719162382385226064454713825492766441894216402181388630\ 778/391430704800862895526378721255980482085848100929468231319487604\ 45*c_0101_4^8 - 336139021330295967095094940970345280332048041882121\ 6590963468572276182/39143070480086289552637872125598048208584810092\ 946823131948760445*c_0101_4^7 + 94253145373442480802559952400021071\ 8995070713370239059509006194737878/39143070480086289552637872125598\ 048208584810092946823131948760445*c_0101_4^6 + 5218330463822410444882365718953166411367572339457348334638212868117\ 34/3914307048008628955263787212559804820858481009294682313194876044\ 5*c_0101_4^5 - 1055577541211136276387878759539801974667682717887921\ 61664297017441729/3914307048008628955263787212559804820858481009294\ 6823131948760445*c_0101_4^4 - 4791034774057308476033441176480348619\ 4046674440143815737643974147276/39143070480086289552637872125598048\ 208584810092946823131948760445*c_0101_4^3 + 3632098382471438285831861832114547677581533730438085699505362837262\ /39143070480086289552637872125598048208584810092946823131948760445*\ c_0101_4^2 + 223191427015541006899494612523504531304163954298134206\ 9096480064414/39143070480086289552637872125598048208584810092946823\ 131948760445*c_0101_4 + 4299887862621975826780002887494816016061267\ 8058482867352219732140/78286140960172579105275744251196096417169620\ 18589364626389752089, c_0101_4^31 + 10*c_0101_4^30 + 104*c_0101_4^29 + 70*c_0101_4^28 - 2228*c_0101_4^27 - 2222*c_0101_4^26 + 24021*c_0101_4^25 + 13894*c_0101_4^24 - 130357*c_0101_4^23 - 54605*c_0101_4^22 + 416706*c_0101_4^21 + 166714*c_0101_4^20 - 845294*c_0101_4^19 - 353858*c_0101_4^18 + 1138259*c_0101_4^17 + 483831*c_0101_4^16 - 1055932*c_0101_4^15 - 422567*c_0101_4^14 + 694401*c_0101_4^13 + 236373*c_0101_4^12 - 327304*c_0101_4^11 - 83472*c_0101_4^10 + 108925*c_0101_4^9 + 17775*c_0101_4^8 - 24489*c_0101_4^7 - 2089*c_0101_4^6 + 3443*c_0101_4^5 + 130*c_0101_4^4 - 264*c_0101_4^3 - 10*c_0101_4^2 + 8*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB