Magma V2.19-8 Tue Aug 20 2013 16:16:11 on localhost [Seed = 3701293080] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0451 geometric_solution 4.49183876 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 2310 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 1 0 0 -1 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.725372126142 0.080315468066 0 0 2 2 0132 3201 2310 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 1 0 -1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.832049779147 0.410736014186 3 1 1 3 0132 3201 0132 1023 0 0 0 0 0 0 1 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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 1.184004394239 0.264365605539 2 4 5 2 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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.678537269873 0.559367749699 6 3 5 5 0132 0132 1302 2031 0 0 0 0 0 0 0 0 1 0 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.403520002078 0.420792282571 4 4 6 3 2031 1302 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 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.403520002078 0.420792282571 4 6 6 5 0132 3201 2310 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.295902910019 1.135464480734 ==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' : negation(d['c_0011_2']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(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' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_5']), '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' : negation(d['c_0011_2']), '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' : d['c_0101_6'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_5'], '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_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0011_5']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], '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_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 33 Groebner basis: [ t + 1691243043971666150861570600035700205861254043841003150815639406261\ 852454754943083110641448924/584081363853868542870290526010675389565\ 012454004515366058446098595835106343769506179484255*c_0101_6^32 - 1166278000449202710125421506123568177496362203728996397108748492774\ 6531075799744376607410086608/58408136385386854287029052601067538956\ 5012454004515366058446098595835106343769506179484255*c_0101_6^31 - 7153848596156955549512344647462892367049845342130710885893131612201\ 6407678848020333426171074011/58408136385386854287029052601067538956\ 5012454004515366058446098595835106343769506179484255*c_0101_6^30 + 4150741918788511769572966109934320955503974212076290044739229820202\ 65718445260775594272310334772/5840813638538685428702905260106753895\ 65012454004515366058446098595835106343769506179484255*c_0101_6^29 + 1670172031558697697442476673354017598399120368534066771316957537976\ 672485317898315068100633351907/584081363853868542870290526010675389\ 565012454004515366058446098595835106343769506179484255*c_0101_6^28 - 1217660351002744209814592511664617959209653966498277100612911041960\ 185090987523666061622138473873/116816272770773708574058105202135077\ 913002490800903073211689219719167021268753901235896851*c_0101_6^27 - 1998121416623059104400297514491559348144216307044731830505943334653\ 2342194792170654675052916233404/58408136385386854287029052601067538\ 9565012454004515366058446098595835106343769506179484255*c_0101_6^26 + 53540473736618847447351925171919790042501393237751882337272003424\ 715353839241579450200882176264264/584081363853868542870290526010675\ 389565012454004515366058446098595835106343769506179484255*c_0101_6^\ 25 + 13747169714539917844091533160902998564857810413463708921915840\ 5286397305624330493195488760110798152/58408136385386854287029052601\ 0675389565012454004515366058446098595835106343769506179484255*c_010\ 1_6^24 - 3000905372887438159637429862652470232377537102955128246094\ 76731091856213183101608063010029623326736/5840813638538685428702905\ 26010675389565012454004515366058446098595835106343769506179484255*c\ _0101_6^23 - 121089949814235041633691144741767337039967161051074411\ 877367732872319005389917482606001495807351576/116816272770773708574\ 0581052021350779130024908009030732116892197191670212687539012358968\ 51*c_0101_6^22 + 11128300059278232909711320545649492356950365990520\ 88831908338255134983912176619324035084995370438509/5840813638538685\ 4287029052601067538956501245400451536605844609859583510634376950617\ 9484255*c_0101_6^21 + 278694143205726456459521897686471267435421714\ 09619018853756526872688822728586324249759787141602053/8985867136213\ 3621980044696309334675317694223693002364008991707476282324052887616\ 33530527*c_0101_6^20 - 28259553039351783898473727034499846317937188\ 22160468458076652379176860853554355179890678019870196918/5840813638\ 5386854287029052601067538956501245400451536605844609859583510634376\ 9506179484255*c_0101_6^19 - 381463890517335961174093283138940238826\ 4004809939788586814824105347478000121336440750027816071135174/58408\ 1363853868542870290526010675389565012454004515366058446098595835106\ 343769506179484255*c_0101_6^18 + 9958172402595549600298694257022970\ 30707909055830700289491533648355798868952204205406186991590260634/1\ 1681627277077370857405810520213507791300249080090307321168921971916\ 7021268753901235896851*c_0101_6^17 + 1142734410307070796295908238835097981262037009983408353671947068863\ 961970450779932063269828277458961/116816272770773708574058105202135\ 077913002490800903073211689219719167021268753901235896851*c_0101_6^\ 16 - 12123060581964842655275685678339280858184348091474331682690987\ 58177737275600767253337634652987439022/1168162727707737085740581052\ 02135077913002490800903073211689219719167021268753901235896851*c_01\ 01_6^15 - 602083046495159498543573720610571822968296464491153731514\ 7455254438197890446237798398503657978577299/58408136385386854287029\ 0526010675389565012454004515366058446098595835106343769506179484255\ *c_0101_6^14 + 1002237318113776958071843620335445686579701126586878\ 471449119283983043465485358880495083249554671937/116816272770773708\ 5740581052021350779130024908009030732116892197191670212687539012358\ 96851*c_0101_6^13 + 43548570867109179912170101663730860071246803458\ 71879868630915150660023965474468608422977823979346971/5840813638538\ 6854287029052601067538956501245400451536605844609859583510634376950\ 6179484255*c_0101_6^12 - 543468942101221946451412777714893400459185\ 878307054891710559588074553614329552892968167550187664206/116816272\ 7707737085740581052021350779130024908009030732116892197191670212687\ 53901235896851*c_0101_6^11 - 16061595598169172917756548642997996096\ 6702097031663359435980260902464309131086770018336028705362297/44929\ 3356810668109900223481546673376588471118465011820044958537381411620\ 26443808167652635*c_0101_6^10 + 69940625240559565017798707575930400\ 933403920314610543455795030715806467342639693379606187066950533/449\ 2933568106681099002234815466733765884711184650118200449585373814116\ 2026443808167652635*c_0101_6^9 + 6318066845393158903865819441906376\ 17094027867935468226885668229680168074969556716275367795764906321/5\ 8408136385386854287029052601067538956501245400451536605844609859583\ 5106343769506179484255*c_0101_6^8 - 3357344909596245371946033346632522460745592886904859342196269154891\ 0890647402675620140294795444950/11681627277077370857405810520213507\ 7913002490800903073211689219719167021268753901235896851*c_0101_6^7 - 1116732081560232802221757056967757480739436895695525930919766598728\ 33596323866640237561451441410427/5840813638538685428702905260106753\ 89565012454004515366058446098595835106343769506179484255*c_0101_6^6 + 13464059600438973222469321903798501558110951392272929687185905582\ 605303410522205919287542040279046/584081363853868542870290526010675\ 389565012454004515366058446098595835106343769506179484255*c_0101_6^\ 5 + 791027821542073917859302239708634790800364953055061956313269103\ 138617313224859951632777147672474/449293356810668109900223481546673\ 37658847111846501182004495853738141162026443808167652635*c_0101_6^4 - 92093393662718709257369469310967986749244384032949909063943863269\ 279801875217142147752825427327/584081363853868542870290526010675389\ 565012454004515366058446098595835106343769506179484255*c_0101_6^3 - 7778411754110123436041398312533566299376396750805651924365386211413\ 4003199240522797293392821134/11681627277077370857405810520213507791\ 3002490800903073211689219719167021268753901235896851*c_0101_6^2 - 1928544576467741397918844173274286540114366387426453942003179122760\ 3651261597419843534042284838/58408136385386854287029052601067538956\ 5012454004515366058446098595835106343769506179484255*c_0101_6 + 3027050996104112237822012125348781528064726004206849263294901414643\ 218417333593445643151245984/584081363853868542870290526010675389565\ 012454004515366058446098595835106343769506179484255, c_0011_0 - 1, c_0011_2 - 178276169170969839470895929801707484828435904950382598755343\ 56418810596376777695785131994/2849177384653017282294100126881343363\ 731768068314709102724127310223585884603753688680411*c_0101_6^32 + 1313178870993960042569883405359713434540157770554006033992765405669\ 37641623487105308593875/2849177384653017282294100126881343363731768\ 068314709102724127310223585884603753688680411*c_0101_6^31 + 6929656109163780359319098364219364457202393227786216123148011338338\ 23165924426577093782134/2849177384653017282294100126881343363731768\ 068314709102724127310223585884603753688680411*c_0101_6^30 - 4705389831702452255054048414901736972501646570747798123705144337703\ 242796159381897245031789/284917738465301728229410012688134336373176\ 8068314709102724127310223585884603753688680411*c_0101_6^29 - 1541679779124178994605428473537241457472107811213101963065922798575\ 2601778207719429340893815/28491773846530172822941001268813433637317\ 68068314709102724127310223585884603753688680411*c_0101_6^28 + 7157939244403844100336253772791923846210770617218302510842496454945\ 7829130873526798106464946/28491773846530172822941001268813433637317\ 68068314709102724127310223585884603753688680411*c_0101_6^27 + 1774897761716981001039422551721075481515108788744855934328222342180\ 78952272953666293810277939/2849177384653017282294100126881343363731\ 768068314709102724127310223585884603753688680411*c_0101_6^26 - 6501762117668532177776024368028619140783506918287435605304674946377\ 80891994651325729628210571/2849177384653017282294100126881343363731\ 768068314709102724127310223585884603753688680411*c_0101_6^25 - 1149373274842018446508939430888635813376581890970862133663351792576\ 882382783782285197986909670/284917738465301728229410012688134336373\ 1768068314709102724127310223585884603753688680411*c_0101_6^24 + 3725169198896417100176577406782935978967548283082294623596973241883\ 650986753616596691996168329/284917738465301728229410012688134336373\ 1768068314709102724127310223585884603753688680411*c_0101_6^23 + 4669239829742700498063938442637056757387917594898917674979687294701\ 206099469706690133888418266/284917738465301728229410012688134336373\ 1768068314709102724127310223585884603753688680411*c_0101_6^22 - 1404958531577259332477892407572046666417593999439272492139614743802\ 0262776799090325046125105024/28491773846530172822941001268813433637\ 31768068314709102724127310223585884603753688680411*c_0101_6^21 - 9728211810147860645864509472470251359056556161916555137626538161678\ 98507189704077180134038801/2191674911271551755610846251447187202870\ 59082178054546363394408478737375738750283744647*c_0101_6^20 + 3620431650166126353478552688634211450243062005148668719168762496464\ 6437043225469166315990851850/28491773846530172822941001268813433637\ 31768068314709102724127310223585884603753688680411*c_0101_6^19 + 2361542388607664214307401263881646687432580029436958506305186380093\ 9896169387743685234973127418/28491773846530172822941001268813433637\ 31768068314709102724127310223585884603753688680411*c_0101_6^18 - 6480565448075937217995277719612585822917665478889671055338124047593\ 5223089285080300733586831765/28491773846530172822941001268813433637\ 31768068314709102724127310223585884603753688680411*c_0101_6^17 - 3056260137146018758981540036951155231104018190952069544180562236450\ 4945105956665655046503479752/28491773846530172822941001268813433637\ 31768068314709102724127310223585884603753688680411*c_0101_6^16 + 8045944954490593486143989273599508010985246537326770589160191880890\ 8148724953355129232885411064/28491773846530172822941001268813433637\ 31768068314709102724127310223585884603753688680411*c_0101_6^15 + 2669227662874575118274311793490016839432339714928966593759139784100\ 4073128172711225992584520804/28491773846530172822941001268813433637\ 31768068314709102724127310223585884603753688680411*c_0101_6^14 - 6812256982572785326493456751044513619618653398784160806950617908475\ 5707083275344429161107574794/28491773846530172822941001268813433637\ 31768068314709102724127310223585884603753688680411*c_0101_6^13 - 1482432585798711348872610740338601491406303729171506233982795108713\ 3243209930284841961410411208/28491773846530172822941001268813433637\ 31768068314709102724127310223585884603753688680411*c_0101_6^12 + 3796877163952269960964551290517013664152081434072050186134312200028\ 8470877843006556485746548367/28491773846530172822941001268813433637\ 31768068314709102724127310223585884603753688680411*c_0101_6^11 + 3628255007795024606833913419715699478669525692761643135638844911866\ 79317796849497278710856920/2191674911271551755610846251447187202870\ 59082178054546363394408478737375738750283744647*c_0101_6^10 - 1010422540384249769934116789722465964241949628020900009519718995016\ 959937919061332325379940580/219167491127155175561084625144718720287\ 059082178054546363394408478737375738750283744647*c_0101_6^9 - 6876093778648681515255814324055880697651917019508552605692681577651\ 71501258633525146087071809/2849177384653017282294100126881343363731\ 768068314709102724127310223585884603753688680411*c_0101_6^8 + 2564580098786039427868216170313336054379701759400932137102822142757\ 958265241057663405773151813/284917738465301728229410012688134336373\ 1768068314709102724127310223585884603753688680411*c_0101_6^7 + 1472360996135755390801152830578974991327165749581542590979888021993\ 5981008584066447773157906/28491773846530172822941001268813433637317\ 68068314709102724127310223585884603753688680411*c_0101_6^6 - 2438516606159010420979369156647063565052228287530659663915711424869\ 64039837448441526703188054/2849177384653017282294100126881343363731\ 768068314709102724127310223585884603753688680411*c_0101_6^5 + 6491215474382694955704650403641952476447370252960107660129255452769\ 2684236146011011884769/21916749112715517556108462514471872028705908\ 2178054546363394408478737375738750283744647*c_0101_6^4 + 9850391898643866809759033781496955322758846847980703573684699752972\ 878339404222226904543980/284917738465301728229410012688134336373176\ 8068314709102724127310223585884603753688680411*c_0101_6^3 - 5694293339157331030018158920112512085107436558083361930474785108519\ 4047543515382530304689/28491773846530172822941001268813433637317680\ 68314709102724127310223585884603753688680411*c_0101_6^2 - 1085125415878774248385308582447589498387162782089605201149083305813\ 73726212813220798277554/2849177384653017282294100126881343363731768\ 068314709102724127310223585884603753688680411*c_0101_6 + 5191227512735552326032007887720576861930169258025310682193300238589\ 599511720358129175323/284917738465301728229410012688134336373176806\ 8314709102724127310223585884603753688680411, c_0011_5 - 311453782502724559902428680967457080677022161555095973967260\ 51461628019702376183394608478/2849177384653017282294100126881343363\ 731768068314709102724127310223585884603753688680411*c_0101_6^32 + 2253169788972695597576342326904585556186431774816061486822481854164\ 61825250732067948399013/2849177384653017282294100126881343363731768\ 068314709102724127310223585884603753688680411*c_0101_6^31 + 1240810049388592118929888648681221382670914590055021809873269946075\ 469305194131013489041726/284917738465301728229410012688134336373176\ 8068314709102724127310223585884603753688680411*c_0101_6^30 - 8060991982704724156490476468938118282341516893354414723523323655186\ 672630380322339148929380/284917738465301728229410012688134336373176\ 8068314709102724127310223585884603753688680411*c_0101_6^29 - 2801484640383116718132090075016822868575371401484779403626639642303\ 8165998430192597173606764/28491773846530172822941001268813433637317\ 68068314709102724127310223585884603753688680411*c_0101_6^28 + 1215014721253291421970297120436698050832194912040816336735887096453\ 72776487597837742888051728/2849177384653017282294100126881343363731\ 768068314709102724127310223585884603753688680411*c_0101_6^27 + 3265219604153312860604545663567840053052853182609267226020696574742\ 24501558051134435912048895/2849177384653017282294100126881343363731\ 768068314709102724127310223585884603753688680411*c_0101_6^26 - 1094980475217406817616956764819408719816100543539619541546927990730\ 878016078235240935319832395/284917738465301728229410012688134336373\ 1768068314709102724127310223585884603753688680411*c_0101_6^25 - 2157270750115154607060864887956914318496742449663373686451848124987\ 225358523783017407175946379/284917738465301728229410012688134336373\ 1768068314709102724127310223585884603753688680411*c_0101_6^24 + 6242820758888108948542097139014945916221420662904948102195612847795\ 318759909561932452244782846/284917738465301728229410012688134336373\ 1768068314709102724127310223585884603753688680411*c_0101_6^23 + 9012188138500690134059571421989294865678374904224438133648726751434\ 034138222421190759197077214/284917738465301728229410012688134336373\ 1768068314709102724127310223585884603753688680411*c_0101_6^22 - 2346554165867426992735736636178759130569452041154417557971799093909\ 7705409906239794718316082150/28491773846530172822941001268813433637\ 31768068314709102724127310223585884603753688680411*c_0101_6^21 - 1947428969300427990049352324329260353795052699594947024379971659815\ 578384992297929203541893738/219167491127155175561084625144718720287\ 059082178054546363394408478737375738750283744647*c_0101_6^20 + 6031563880768492943443989951827250543708223133471712686085515746355\ 6487371016034704794766877725/28491773846530172822941001268813433637\ 31768068314709102724127310223585884603753688680411*c_0101_6^19 + 4955549591523389952995332567925690826434831499215405487157516390187\ 3252641086689414346201854977/28491773846530172822941001268813433637\ 31768068314709102724127310223585884603753688680411*c_0101_6^18 - 1077050616606021938218669777451218181152371220044465861504975588988\ 75636301223912176383454542282/2849177384653017282294100126881343363\ 731768068314709102724127310223585884603753688680411*c_0101_6^17 - 6823685330989034898113413689593707491133820387234974642311962927752\ 0189524467482237646360964273/28491773846530172822941001268813433637\ 31768068314709102724127310223585884603753688680411*c_0101_6^16 + 1333576871787734629559533070370240632776940581524559728606322309999\ 36128909826404794253038397479/2849177384653017282294100126881343363\ 731768068314709102724127310223585884603753688680411*c_0101_6^15 + 6504223757835048520087288988824666441361462457858248915838424618633\ 7810623670464560250812717971/28491773846530172822941001268813433637\ 31768068314709102724127310223585884603753688680411*c_0101_6^14 - 1125981394957259730946315291009300169320386371888956157598231415120\ 19396034683101407815438413735/2849177384653017282294100126881343363\ 731768068314709102724127310223585884603753688680411*c_0101_6^13 - 4146497483430119467332178248127570252497233708117230472185441401285\ 4429246855763976900689679258/28491773846530172822941001268813433637\ 31768068314709102724127310223585884603753688680411*c_0101_6^12 + 6262986406034250359589228249701892575449528501913098390169935641422\ 3387311915888529509810439307/28491773846530172822941001268813433637\ 31768068314709102724127310223585884603753688680411*c_0101_6^11 + 1300086202717264495571623399620035150972810665181672580404445450965\ 792446760909029182648067217/219167491127155175561084625144718720287\ 059082178054546363394408478737375738750283744647*c_0101_6^10 - 1665733099602743916297457086714200383384320488146687167005463370275\ 870585301164696282355570060/219167491127155175561084625144718720287\ 059082178054546363394408478737375738750283744647*c_0101_6^9 - 4190820512296770264416153869348612893484521285040278105204569096193\ 009742501208555088363165017/284917738465301728229410012688134336373\ 1768068314709102724127310223585884603753688680411*c_0101_6^8 + 4229037867354010222653107250734222060108888265456509428383130646376\ 830900637482709748100249178/284917738465301728229410012688134336373\ 1768068314709102724127310223585884603753688680411*c_0101_6^7 + 6074393481599442639313228671567444770637422327701263344194728538803\ 95803353363946352488676054/2849177384653017282294100126881343363731\ 768068314709102724127310223585884603753688680411*c_0101_6^6 - 3991347985888292674243592602159436895505377198340349538158675491592\ 97322420518897227122352738/2849177384653017282294100126881343363731\ 768068314709102724127310223585884603753688680411*c_0101_6^5 - 4097320888731609663703462292836210906514818771461477395066405013201\ 091653307204073914815581/219167491127155175561084625144718720287059\ 082178054546363394408478737375738750283744647*c_0101_6^4 + 1461842956307189625098789473374698177124199293957716589771266126280\ 2300394393404881054507177/28491773846530172822941001268813433637317\ 68068314709102724127310223585884603753688680411*c_0101_6^3 + 2001129401050370053995129274066584145454964200448608845167660416008\ 412126124834450131381666/284917738465301728229410012688134336373176\ 8068314709102724127310223585884603753688680411*c_0101_6^2 - 8006421566583878750862768248567301435426752547319111326329279031145\ 8273158048513324790929/28491773846530172822941001268813433637317680\ 68314709102724127310223585884603753688680411*c_0101_6 - 1001903361327946859207671010431904658831156777702087467768791599538\ 2052115515956192860320/28491773846530172822941001268813433637317680\ 68314709102724127310223585884603753688680411, c_0101_0 + 708667972128786924879332131945315474523144638607967215465435\ 882731971523929130055047232/284917738465301728229410012688134336373\ 1768068314709102724127310223585884603753688680411*c_0101_6^32 + 4089696949297654477324549255886554546473241139808759898682130515048\ 090077883274769135232/284917738465301728229410012688134336373176806\ 8314709102724127310223585884603753688680411*c_0101_6^31 - 9575258521638882548946106865940188469273043832171664523315999418754\ 9124724024618649234236/28491773846530172822941001268813433637317680\ 68314709102724127310223585884603753688680411*c_0101_6^30 - 1775127985052005112861355040676331273238190305070618496511915857266\ 52755383642653440033606/2849177384653017282294100126881343363731768\ 068314709102724127310223585884603753688680411*c_0101_6^29 + 3055432805705853148083810038831363366968149984961726522773478986240\ 171489265412479659116286/284917738465301728229410012688134336373176\ 8068314709102724127310223585884603753688680411*c_0101_6^28 + 5301676754459421772041473975939841563141609496494104348736736717541\ 519256583559134063053187/284917738465301728229410012688134336373176\ 8068314709102724127310223585884603753688680411*c_0101_6^27 - 4410653695791826270385185170235324887634458898271554452665540663533\ 1041505336708138278145308/28491773846530172822941001268813433637317\ 68068314709102724127310223585884603753688680411*c_0101_6^26 - 6829991309260765147869179590329513360757436034284422074169637232909\ 4555435601295561754892109/28491773846530172822941001268813433637317\ 68068314709102724127310223585884603753688680411*c_0101_6^25 + 3813989856997353279397881688121584944269206991945463068114920032557\ 54080616028928962665311593/2849177384653017282294100126881343363731\ 768068314709102724127310223585884603753688680411*c_0101_6^24 + 4653461565205199554192582272206205335207017650570338102857476386654\ 65194276994492062047941164/2849177384653017282294100126881343363731\ 768068314709102724127310223585884603753688680411*c_0101_6^23 - 2105796553092287630311268299812870360555702965675155746383150568604\ 158257952493266803261267018/284917738465301728229410012688134336373\ 1768068314709102724127310223585884603753688680411*c_0101_6^22 - 1955571889742988789948340165884149908985841800966563170605593100093\ 793136422276888875270111513/284917738465301728229410012688134336373\ 1768068314709102724127310223585884603753688680411*c_0101_6^21 + 5950143555723299505918184827123362825315543036391541625463576344539\ 43959281033275361485636852/2191674911271551755610846251447187202870\ 59082178054546363394408478737375738750283744647*c_0101_6^20 + 5451507011551296421739504176576813547090396544190622057269070462734\ 964944736937522985293525651/284917738465301728229410012688134336373\ 1768068314709102724127310223585884603753688680411*c_0101_6^19 - 1955429169163505181907855586707452188287430686577422900168666443065\ 0548441073704465879498055710/28491773846530172822941001268813433637\ 31768068314709102724127310223585884603753688680411*c_0101_6^18 - 1049783197393887244267405045579161371261161658963086090531976993631\ 0527958775326225687828830022/28491773846530172822941001268813433637\ 31768068314709102724127310223585884603753688680411*c_0101_6^17 + 3449479289688512820116259636814641633219438165697107543813019252928\ 1494323669201057047545491288/28491773846530172822941001268813433637\ 31768068314709102724127310223585884603753688680411*c_0101_6^16 + 1409848755237166020972667280432807786373215396420457516272091410574\ 1043427579960521980602791347/28491773846530172822941001268813433637\ 31768068314709102724127310223585884603753688680411*c_0101_6^15 - 4231660501906010745521566410684225661653972963194832883824268746269\ 6672608731261733965839124335/28491773846530172822941001268813433637\ 31768068314709102724127310223585884603753688680411*c_0101_6^14 - 1290620873931820244461354877115655728752103066528569837008774590959\ 4597800332102478907637036527/28491773846530172822941001268813433637\ 31768068314709102724127310223585884603753688680411*c_0101_6^13 + 3545637117548278690020131795762624654352327263140071893601929508519\ 1101409791808226171661947416/28491773846530172822941001268813433637\ 31768068314709102724127310223585884603753688680411*c_0101_6^12 + 7669229828953322726100073517729092066366835857891453698370101365786\ 627449577714334143766615019/284917738465301728229410012688134336373\ 1768068314709102724127310223585884603753688680411*c_0101_6^11 - 1506392290028051039769125561265300971229950065753156342160497929941\ 645844891361111628719409101/219167491127155175561084625144718720287\ 059082178054546363394408478737375738750283744647*c_0101_6^10 - 2121043039614066419973423656989235646331096677100231702925291618696\ 39224073536419736187114149/2191674911271551755610846251447187202870\ 59082178054546363394408478737375738750283744647*c_0101_6^9 + 6723776849255148130600467428092440341831099091464553961383088057894\ 533724544717696067163653486/284917738465301728229410012688134336373\ 1768068314709102724127310223585884603753688680411*c_0101_6^8 + 5472586121524530644523851203890418044181834704225209753499652846558\ 87269012860909994523482267/2849177384653017282294100126881343363731\ 768068314709102724127310223585884603753688680411*c_0101_6^7 - 1304745837844509824049457523172402276398902648944500482049624036667\ 158835962396035786229271654/284917738465301728229410012688134336373\ 1768068314709102724127310223585884603753688680411*c_0101_6^6 - 5665654590472171794733244245122788717822858481173472986389835714694\ 4450090939564163083710108/28491773846530172822941001268813433637317\ 68068314709102724127310223585884603753688680411*c_0101_6^5 + 9473089319461940294188403147060318074086117049748178623638086397043\ 825014441434681914587484/219167491127155175561084625144718720287059\ 082178054546363394408478737375738750283744647*c_0101_6^4 + 4951700673765887026493590831047983881287501635559516740388113423641\ 798170953294293430289994/284917738465301728229410012688134336373176\ 8068314709102724127310223585884603753688680411*c_0101_6^3 - 4762482500542125900592407021997790785095066224201598056412631165870\ 515624818236325054457627/284917738465301728229410012688134336373176\ 8068314709102724127310223585884603753688680411*c_0101_6^2 - 2049580277983708733782350272725698943973352242187754989951482145021\ 56770446502977990251891/2849177384653017282294100126881343363731768\ 068314709102724127310223585884603753688680411*c_0101_6 + 4198624959134826862703034740674732162202207621415851712923677446551\ 9662798789092047000832/28491773846530172822941001268813433637317680\ 68314709102724127310223585884603753688680411, c_0101_1 - 214367586587863527850192479522928964597562847094669474345273\ 17167192845245621486052258816/2849177384653017282294100126881343363\ 731768068314709102724127310223585884603753688680411*c_0101_6^32 + 1436378003216636728530732481438269332797603716195455995549091161452\ 57046417048439214473934/2849177384653017282294100126881343363731768\ 068314709102724127310223585884603753688680411*c_0101_6^31 + 9378111773631007022076406840315310849866443221307117041165614661812\ 74611202599948377556341/2849177384653017282294100126881343363731768\ 068314709102724127310223585884603753688680411*c_0101_6^30 - 5099645551073100405125097238007817318622563849884473134363162211153\ 105791895786476862287961/284917738465301728229410012688134336373176\ 8068314709102724127310223585884603753688680411*c_0101_6^29 - 2228299463501631653791673157477092837153954112116386101716871814295\ 0355253042741326928863168/28491773846530172822941001268813433637317\ 68068314709102724127310223585884603753688680411*c_0101_6^28 + 7359613987974424817085946425155100440327415570841209583506940748837\ 2963489711592236843575123/28491773846530172822941001268813433637317\ 68068314709102724127310223585884603753688680411*c_0101_6^27 + 2702556342814129693214378082316658493401758134275984222495941627128\ 60447053942026231996821728/2849177384653017282294100126881343363731\ 768068314709102724127310223585884603753688680411*c_0101_6^26 - 6376632257937566789201748685021485241535517290751807930976622834299\ 89495209818973112355111562/2849177384653017282294100126881343363731\ 768068314709102724127310223585884603753688680411*c_0101_6^25 - 1897236649299207625487231260184269064582931117493482184736503355849\ 712053941036744332974263820/284917738465301728229410012688134336373\ 1768068314709102724127310223585884603753688680411*c_0101_6^24 + 3540272200579743071688716599170179593943142613602558666199352981921\ 807925201475154395109976132/284917738465301728229410012688134336373\ 1768068314709102724127310223585884603753688680411*c_0101_6^23 + 8562556526010287708079221329162359809250991631143202727583616265988\ 657305375835374586016068439/284917738465301728229410012688134336373\ 1768068314709102724127310223585884603753688680411*c_0101_6^22 - 1304617139573042108413360912331515468038586904858498185802375013361\ 6865536818546787291265110657/28491773846530172822941001268813433637\ 31768068314709102724127310223585884603753688680411*c_0101_6^21 - 2024370404005795340557543321495478117216848102708048583910369090414\ 127038716074991407490826686/219167491127155175561084625144718720287\ 059082178054546363394408478737375738750283744647*c_0101_6^20 + 3299101150418885780016359796232307549245201307978308028120887452005\ 3433106379044939478320411183/28491773846530172822941001268813433637\ 31768068314709102724127310223585884603753688680411*c_0101_6^19 + 5701003998326859545071185625800498478928493548784896932197830928630\ 4700165645104509748519380931/28491773846530172822941001268813433637\ 31768068314709102724127310223585884603753688680411*c_0101_6^18 - 5793039400611981483933053965793498845796810980601559552963631780375\ 5610721822225558101612441370/28491773846530172822941001268813433637\ 31768068314709102724127310223585884603753688680411*c_0101_6^17 - 8794479783827372856138214113679407256653437312731370557045184946924\ 8968793399264115755830374094/28491773846530172822941001268813433637\ 31768068314709102724127310223585884603753688680411*c_0101_6^16 + 7030870203141250418082072793890708892708208735815705272700333091180\ 1119214909974722679632494668/28491773846530172822941001268813433637\ 31768068314709102724127310223585884603753688680411*c_0101_6^15 + 9562511110605718045753825550387699902104000981377056701511201312211\ 9221750847153329446555937149/28491773846530172822941001268813433637\ 31768068314709102724127310223585884603753688680411*c_0101_6^14 - 5806293985749298069917297340007580093764753406169570466308418407230\ 3068016068720930350464478957/28491773846530172822941001268813433637\ 31768068314709102724127310223585884603753688680411*c_0101_6^13 - 7158799680493913758937732756275111026504287795902318799385879721568\ 5653217941345959173463700631/28491773846530172822941001268813433637\ 31768068314709102724127310223585884603753688680411*c_0101_6^12 + 3165033568492931310103736281878568642635937315814255474879199549888\ 1904531146014885535029628906/28491773846530172822941001268813433637\ 31768068314709102724127310223585884603753688680411*c_0101_6^11 + 2740672265427523700025104041375069096642524708934851294372402184205\ 604589154218404323724341359/219167491127155175561084625144718720287\ 059082178054546363394408478737375738750283744647*c_0101_6^10 - 8308231380666604733605256148343332076325172395024980200285946704490\ 31470827050959924371905992/2191674911271551755610846251447187202870\ 59082178054546363394408478737375738750283744647*c_0101_6^9 - 1119099772838615207168007431277978885891791539860924716091457731040\ 9325349763153021903474015939/28491773846530172822941001268813433637\ 31768068314709102724127310223585884603753688680411*c_0101_6^8 + 2098695261033756417169934104845452113153649366345356074641615436680\ 222253820496651848277392478/284917738465301728229410012688134336373\ 1768068314709102724127310223585884603753688680411*c_0101_6^7 + 2040506413572645012292607717911053505515877012928497487524661094744\ 866461537223306715948111634/284917738465301728229410012688134336373\ 1768068314709102724127310223585884603753688680411*c_0101_6^6 - 1926455729734646845968535213222686137119890273902379609493419189865\ 10871433999919698185971328/2849177384653017282294100126881343363731\ 768068314709102724127310223585884603753688680411*c_0101_6^5 - 1463188102478322855312626115581744649732179605413031426306979271129\ 8155889867957319002189086/21916749112715517556108462514471872028705\ 9082178054546363394408478737375738750283744647*c_0101_6^4 + 3544017334927811782445687921865728980338119750645753318580593981148\ 023661643977567651784563/284917738465301728229410012688134336373176\ 8068314709102724127310223585884603753688680411*c_0101_6^3 + 7323330054022497236906957543936265722030882235259237988531204577778\ 714325100172627784003416/284917738465301728229410012688134336373176\ 8068314709102724127310223585884603753688680411*c_0101_6^2 + 1998257081602815531482865349811891302889624181659431482286185137112\ 16133310800232469593272/2849177384653017282294100126881343363731768\ 068314709102724127310223585884603753688680411*c_0101_6 - 5963004124329364065172934191575571913606776620844005578138509533688\ 2054367555930947318849/28491773846530172822941001268813433637317680\ 68314709102724127310223585884603753688680411, c_0101_3 - 206223849392138245454311435362156416921933328619898228153090\ 14247690434439354946014118738/2849177384653017282294100126881343363\ 731768068314709102724127310223585884603753688680411*c_0101_6^32 + 1538494509909652103500178999600915456424656075194666908712191045380\ 76656614215379042715575/2849177384653017282294100126881343363731768\ 068314709102724127310223585884603753688680411*c_0101_6^31 + 7874525790638166009571201212988156548629007381662454024767783312751\ 49731796178056268406524/2849177384653017282294100126881343363731768\ 068314709102724127310223585884603753688680411*c_0101_6^30 - 5519983357984543081241606024221617366145360211862016636581400814564\ 522243264657863216927134/284917738465301728229410012688134336373176\ 8068314709102724127310223585884603753688680411*c_0101_6^29 - 1732735958871771394007367816854320076016077042863956188548502873135\ 4111770272478299667380187/28491773846530172822941001268813433637317\ 68068314709102724127310223585884603753688680411*c_0101_6^28 + 8453023377122747278668306312352436842459699056427517383292070293949\ 3248138183141624560140561/28491773846530172822941001268813433637317\ 68068314709102724127310223585884603753688680411*c_0101_6^27 + 1976641487832751295179620773065361114655349557383685259215922515403\ 33490163462663769847530144/2849177384653017282294100126881343363731\ 768068314709102724127310223585884603753688680411*c_0101_6^26 - 7721789117148337577229635530690391756664530188125604042571115612807\ 34536159646794200829434874/2849177384653017282294100126881343363731\ 768068314709102724127310223585884603753688680411*c_0101_6^25 - 1260458495634658999450569746021387920986556653743369027048224766962\ 492445178542996649050545458/284917738465301728229410012688134336373\ 1768068314709102724127310223585884603753688680411*c_0101_6^24 + 4440913777462292305118154539162390449680006245548238267664975030545\ 671442551028323688764288758/284917738465301728229410012688134336373\ 1768068314709102724127310223585884603753688680411*c_0101_6^23 + 5006708270104287480096183059392195577534717989210884038973271132905\ 291347756351404926084727365/284917738465301728229410012688134336373\ 1768068314709102724127310223585884603753688680411*c_0101_6^22 - 1679729368996657827881832679160544740044044020560792841545838949601\ 5614672389643394492878755021/28491773846530172822941001268813433637\ 31768068314709102724127310223585884603753688680411*c_0101_6^21 - 1011150041114492641027353736868193680196193345246440040589849605420\ 718119477973725515218715081/219167491127155175561084625144718720287\ 059082178054546363394408478737375738750283744647*c_0101_6^20 + 4339161237633024090640368456393642502779636304095409505832420559954\ 5012790620165603340654933120/28491773846530172822941001268813433637\ 31768068314709102724127310223585884603753688680411*c_0101_6^19 + 2349980566627457040099967878424801601474219235250014635083133108938\ 9499923596876669362059676898/28491773846530172822941001268813433637\ 31768068314709102724127310223585884603753688680411*c_0101_6^18 - 7787198461994410850032871107232686223744549821694314860611543527899\ 6813803493297374735555684958/28491773846530172822941001268813433637\ 31768068314709102724127310223585884603753688680411*c_0101_6^17 - 2853286063215747928016881361009220220498080868252275538477741956401\ 2434419885876362196311429604/28491773846530172822941001268813433637\ 31768068314709102724127310223585884603753688680411*c_0101_6^16 + 9697794331057079901843575563433624019393234129522293155829114275731\ 0714201272714368542080499763/28491773846530172822941001268813433637\ 31768068314709102724127310223585884603753688680411*c_0101_6^15 + 2242678716377700343209939990456026152451555071567965753230598196292\ 6047744593810475492701975423/28491773846530172822941001268813433637\ 31768068314709102724127310223585884603753688680411*c_0101_6^14 - 8238956328879616485237663472280606685182304732812392679301840706024\ 1509237681410524232318840893/28491773846530172822941001268813433637\ 31768068314709102724127310223585884603753688680411*c_0101_6^13 - 1001087573968959295446744555197309738654398173917332612682306091941\ 2885373267062175568830621171/28491773846530172822941001268813433637\ 31768068314709102724127310223585884603753688680411*c_0101_6^12 + 4607418498557795687024283698850658437505577591794729643176864794539\ 8372141324047458585771844856/28491773846530172822941001268813433637\ 31768068314709102724127310223585884603753688680411*c_0101_6^11 + 1143634913991023934930892148080482864707462961038358250543492544997\ 71135657587314829684499689/2191674911271551755610846251447187202870\ 59082178054546363394408478737375738750283744647*c_0101_6^10 - 1229384813967472526817035206120778285238142673196016813491798191197\ 611800764934336496054701613/219167491127155175561084625144718720287\ 059082178054546363394408478737375738750283744647*c_0101_6^9 + 5751666361156249959348143583990462965724238432178710873706099458108\ 59667890429670497839908044/2849177384653017282294100126881343363731\ 768068314709102724127310223585884603753688680411*c_0101_6^8 + 3124611526609495800516329364349604254814240931090277659060902296213\ 310116235450493214008104117/284917738465301728229410012688134336373\ 1768068314709102724127310223585884603753688680411*c_0101_6^7 - 2499258483333997721595871277101373161511462036992130280504182326294\ 19007257480811009281759781/2849177384653017282294100126881343363731\ 768068314709102724127310223585884603753688680411*c_0101_6^6 - 2972051795257490491131037855289217511858587920044791495954752409565\ 08217076557315513867381216/2849177384653017282294100126881343363731\ 768068314709102724127310223585884603753688680411*c_0101_6^5 + 2019589906674518913961396887334295664209008569124623912136011242160\ 685230105034749044932839/219167491127155175561084625144718720287059\ 082178054546363394408478737375738750283744647*c_0101_6^4 + 1233462812463403096468401283034220314509172655814247157490831896146\ 8702956611728915711510410/28491773846530172822941001268813433637317\ 68068314709102724127310223585884603753688680411*c_0101_6^3 - 1052335475328416645741402865615363662990578586040382247771811164543\ 566237701209245104878608/284917738465301728229410012688134336373176\ 8068314709102724127310223585884603753688680411*c_0101_6^2 - 1578804484691676358991347053668124773459140415128031987115214172413\ 02899420465717667545661/2849177384653017282294100126881343363731768\ 068314709102724127310223585884603753688680411*c_0101_6 + 1433087645009632120772056348170729346203192931602555836105856196096\ 1836129192245542557024/28491773846530172822941001268813433637317680\ 68314709102724127310223585884603753688680411, c_0101_6^33 - 15/2*c_0101_6^32 - 38*c_0101_6^31 + 270*c_0101_6^30 + 834*c_0101_6^29 - 8323/2*c_0101_6^28 - 9521*c_0101_6^27 + 76533/2*c_0101_6^26 + 60780*c_0101_6^25 - 443551/2*c_0101_6^24 - 241738*c_0101_6^23 + 1694147/2*c_0101_6^22 + 1272149/2*c_0101_6^21 - 2215847*c_0101_6^20 - 1141760*c_0101_6^19 + 8088571/2*c_0101_6^18 + 2796525/2*c_0101_6^17 - 10314425/2*c_0101_6^16 - 1121606*c_0101_6^15 + 9071431/2*c_0101_6^14 + 1059503/2*c_0101_6^13 - 5351919/2*c_0101_6^12 - 105684*c_0101_6^11 + 2029001/2*c_0101_6^10 - 26643/2*c_0101_6^9 - 465699/2*c_0101_6^8 + 8627*c_0101_6^7 + 60301/2*c_0101_6^6 - 789*c_0101_6^5 - 2092*c_0101_6^4 - 17/2*c_0101_6^3 + 131/2*c_0101_6^2 + 2*c_0101_6 - 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.280 seconds, Total memory usage: 32.09MB