Magma V2.19-8 Tue Aug 20 2013 16:16:54 on localhost [Seed = 206409937] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1159 geometric_solution 5.03412936 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 3201 0 0 0 0 0 -1 1 0 0 0 0 0 0 1 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 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 2.309318378892 1.848243717145 0 3 4 0 0132 0132 0132 3201 0 0 0 0 0 0 -1 1 0 0 1 -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 -1 1 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.496224536083 0.581807853840 2 0 2 0 2031 2310 1302 0132 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.693691972311 0.318486676972 4 1 5 4 2103 0132 0132 2031 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 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 0.725956332354 0.709278209471 5 3 3 1 2310 1302 2103 0132 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 1 0 -1 0 0 -1 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.725956332354 0.709278209471 6 6 4 3 0132 2310 3201 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.341570239253 0.440859295457 5 6 6 5 0132 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.785381221143 0.551365717796 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : negation(d['c_0011_2']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_2']), '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_4'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0011_0'], 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_1']), 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_4, c_0011_5, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 46 Groebner basis: [ t - 329696142278743830436546240278238998103908316711496410268507/191359\ 756813302779342004471776377457350380623482387718144*c_0101_3^45 + 233636917533456772430446440953613203143430077051187820784443/869817\ 0764241035424636566898926248061380937431017623552*c_0101_3^44 - 3857920152918230025465836640995375800364797360236377155117455/23919\ 969601662847417750558972047182168797577935298464768*c_0101_3^43 + 68131949833947896691772569687065282808063650769706627484553959/1913\ 59756813302779342004471776377457350380623482387718144*c_0101_3^42 + 71312773464421696444948675694725520129260566372482505778397189/9567\ 9878406651389671002235888188728675190311741193859072*c_0101_3^41 - 602769520816524352717603390858950334034109349587795934011064269/956\ 79878406651389671002235888188728675190311741193859072*c_0101_3^40 + 1145361224849650890188122995201672839468140811487607356689019315/95\ 679878406651389671002235888188728675190311741193859072*c_0101_3^39 + 1323686001785355123749991787286126996511807625227935967311727177/95\ 679878406651389671002235888188728675190311741193859072*c_0101_3^38 - 19905124617608916310138419165120035738767959077892114505743784697/1\ 91359756813302779342004471776377457350380623482387718144*c_0101_3^3\ 7 + 324279463154214410715385557662059878317203726553012481103804155\ /2174542691060258856159141724731562015345234357754405888*c_0101_3^3\ 6 + 171464303196335145885483983651651804785622437597333987526151755\ 75/95679878406651389671002235888188728675190311741193859072*c_0101_\ 3^35 - 404004673209372437431974849609512310099172940495495749700448\ 0233/4349085382120517712318283449463124030690468715508811776*c_0101\ _3^34 + 11298480420045161622123699219235247607736110616054611932036\ 91701/1173986238118421959153401667339739002149574377192562688*c_010\ 1_3^33 + 3095949299416820543584807044925006829009445471342500808515\ 044829/2174542691060258856159141724731562015345234357754405888*c_01\ 01_3^32 - 479144352717548621842304383003706937945517294503021024513\ 679865715/95679878406651389671002235888188728675190311741193859072*\ c_0101_3^31 + 69022394449025592727985453179226653700128052053067598\ 1187397952645/19135975681330277934200447177637745735038062348238771\ 8144*c_0101_3^30 + 134006690258072531533724510207681977341731619339\ 1921219945956699665/19135975681330277934200447177637745735038062348\ 2387718144*c_0101_3^29 - 414143605424371853887627279066488177492563\ 281138435913620793816211/239199696016628474177505589720471821687975\ 77935298464768*c_0101_3^28 + 15398279870305450273297645969842282921\ 81443137013128311405738701745/1913597568133027793420044717763774573\ 50380623482387718144*c_0101_3^27 + 1059100522686093775096160704332571964522671423582390143729700036007\ /47839939203325694835501117944094364337595155870596929536*c_0101_3^\ 26 - 18935522874827820663073860180106015025502453830495428027242454\ 84151/47839939203325694835501117944094364337595155870596929536*c_01\ 01_3^25 + 473000941890432238905545556407054182224055544535484498276\ 748008253/47839939203325694835501117944094364337595155870596929536*\ c_0101_3^24 + 11019639458291115516634349663888021302591395383958469\ 06135611298015/2391996960166284741775055897204718216879757793529846\ 4768*c_0101_3^23 - 288815550392465905420451310807590903915018805106\ 2089535813717428351/47839939203325694835501117944094364337595155870\ 596929536*c_0101_3^22 + 3567340482059939866317476514088475377607077\ 11087193820899518052571/9567987840665138967100223588818872867519031\ 1741193859072*c_0101_3^21 + 110376009988474309090472894869358330420\ 5716391105485855398906569563/17396341528482070849273133797852496122\ 761874862035247104*c_0101_3^20 - 1166034357506490626320250135079072\ 3643904490322111471693345434896901/19135975681330277934200447177637\ 7457350380623482387718144*c_0101_3^19 - 627710365302592108729131455335116795966466703862475612954339742985/\ 95679878406651389671002235888188728675190311741193859072*c_0101_3^1\ 8 + 546921553295047289155543690417293172399657710581735465950921475\ 0883/95679878406651389671002235888188728675190311741193859072*c_010\ 1_3^17 - 7614092564698691425241861901670565049618741119941605126315\ 005945637/191359756813302779342004471776377457350380623482387718144\ *c_0101_3^16 - 1993896846749141787065774930986639637845611292266800\ 860921725332819/191359756813302779342004471776377457350380623482387\ 718144*c_0101_3^15 + 5700997922802357525260578585031827798597982316\ 72732405725748173379/1739634152848207084927313379785249612276187486\ 2035247104*c_0101_3^14 - 310755728950334430926908012533840944523619\ 4196129490170062984759517/19135975681330277934200447177637745735038\ 0623482387718144*c_0101_3^13 - 771621666207043240156669276921866929\ 21867352686447099792820744851/1195998480083142370887527948602359108\ 4398788967649232384*c_0101_3^12 + 109369855741134522411952200940773\ 4057709994553784052217741881210493/95679878406651389671002235888188\ 728675190311741193859072*c_0101_3^11 - 69005406826478251819049850487330061186212923358909340625402063393/1\ 7396341528482070849273133797852496122761874862035247104*c_0101_3^10 - 34124966900211360245892987761190339128501403727448484004437981439\ /17396341528482070849273133797852496122761874862035247104*c_0101_3^\ 9 + 432433827714670923099624928752813963258917645549609068536477837\ 469/191359756813302779342004471776377457350380623482387718144*c_010\ 1_3^8 - 10633018401740228616921931664824230729211611726708292642870\ 1765203/191359756813302779342004471776377457350380623482387718144*c\ _0101_3^7 - 5258274742004847887014636719184568449092015828407164599\ 6623796151/19135975681330277934200447177637745735038062348238771814\ 4*c_0101_3^6 + 4290778866141810165143037553802998340341978855380990\ 7817360690931/19135975681330277934200447177637745735038062348238771\ 8144*c_0101_3^5 - 8389676022127116161079180633326136054379280075861\ 766012815981769/191359756813302779342004471776377457350380623482387\ 718144*c_0101_3^4 - 75686185561891714448614146225444438908142258819\ 454973090696981/597999240041571185443763974301179554219939448382461\ 6192*c_0101_3^3 + 2034408076180792693135998635043104888169530468256\ 15964978474003/2391996960166284741775055897204718216879757793529846\ 4768*c_0101_3^2 - 2106733977389565283103103892502678434485624181636\ 1928714780099/11959984800831423708875279486023591084398788967649232\ 384*c_0101_3 + 1614602770395495630414246865502437593570016497620544\ 085337239/11959984800831423708875279486023591084398788967649232384, c_0011_0 - 1, c_0011_2 - 1133397682940203201957361848673840581817990910386359709/1195\ 9984800831423708875279486023591084398788967649232384*c_0101_3^45 + 895105061018567507098207024818241060371668732690740589/543635672765\ 064714039785431182890503836308589438601472*c_0101_3^44 - 17049860336486472507029242087118334032889083400257133671/1494998100\ 103927963609409935752948885549848620956154048*c_0101_3^43 + 405454767146487542539571349263756778395455775028371618449/119599848\ 00831423708875279486023591084398788967649232384*c_0101_3^42 + 85755688456041901827725839517385613899483095520056256019/5979992400\ 415711854437639743011795542199394483824616192*c_0101_3^41 - 2593219270280957901687759153201201034301765415354260696739/59799924\ 00415711854437639743011795542199394483824616192*c_0101_3^40 + 7298568824237582183669005824591643968735255909244788628213/59799924\ 00415711854437639743011795542199394483824616192*c_0101_3^39 - 536267156727566069154102779206126219948873249557240816177/597999240\ 0415711854437639743011795542199394483824616192*c_0101_3^38 - 89791687278173388260362052116020207994396314657919315013135/1195998\ 4800831423708875279486023591084398788967649232384*c_0101_3^37 + 2341934732667557059457950828736244186164629534691362404733/13590891\ 8191266178509946357795722625959077147359650368*c_0101_3^36 + 1922695010982592126194217200482939753603914001482798432505/59799924\ 00415711854437639743011795542199394483824616192*c_0101_3^35 - 19866966816894398696035385935720599960655935506366619826383/2718178\ 36382532357019892715591445251918154294719300736*c_0101_3^34 + 9534361920192143824557153610652233984662561646562139841843/73374139\ 882401372447087604208733687634348398574535168*c_0101_3^33 + 3529121748772383370593187522761959453984334112734961467271/13590891\ 8191266178509946357795722625959077147359650368*c_0101_3^32 - 2605849758679580660018396302637704423866147802654509250282317/59799\ 92400415711854437639743011795542199394483824616192*c_0101_3^31 + 7063698355192132489550407512211325023742144189110237366653379/11959\ 984800831423708875279486023591084398788967649232384*c_0101_3^30 + 2834879432962550672502196681330745642454619298862483897439575/11959\ 984800831423708875279486023591084398788967649232384*c_0101_3^29 - 2506922613781175531205784148925780872706503670835455569305015/14949\ 98100103927963609409935752948885549848620956154048*c_0101_3^28 + 20476353659800285761240515318513070084354646993257475502294983/1195\ 9984800831423708875279486023591084398788967649232384*c_0101_3^27 + 3172965830304018886865054673119258313527880144245640113983145/29899\ 96200207855927218819871505897771099697241912308096*c_0101_3^26 - 12834187656306344155192286255379317354802428051846020394749325/2989\ 996200207855927218819871505897771099697241912308096*c_0101_3^25 + 9658137874428078858638209125637051812676897362533935202331515/29899\ 96200207855927218819871505897771099697241912308096*c_0101_3^24 + 4215207971504571108307153176810138430540242448479953799247961/14949\ 98100103927963609409935752948885549848620956154048*c_0101_3^23 - 22110363119595796414540590919866240529310953517238216723105865/2989\ 996200207855927218819871505897771099697241912308096*c_0101_3^22 + 23538712587684638705567868769259654542304394253458268572081437/5979\ 992400415711854437639743011795542199394483824616192*c_0101_3^21 + 5134259305461181198088503427992385486131255354807045960882845/10872\ 71345530129428079570862365781007672617178877202944*c_0101_3^20 - 102135998273917793719143749836959648858298256884774015297266179/119\ 59984800831423708875279486023591084398788967649232384*c_0101_3^19 + 17843549624810312909292641648656966389264438197561927241494233/5979\ 992400415711854437639743011795542199394483824616192*c_0101_3^18 + 30183446130919434988594434233645717408368103825802462373743117/5979\ 992400415711854437639743011795542199394483824616192*c_0101_3^17 - 77671806559059287296831543424299942792644713814969606632298883/1195\ 9984800831423708875279486023591084398788967649232384*c_0101_3^16 + 15445419634078883618409374450756027233423221964882576894710939/1195\ 9984800831423708875279486023591084398788967649232384*c_0101_3^15 + 3686983557333888961430832149006081579086170101462121663708773/10872\ 71345530129428079570862365781007672617178877202944*c_0101_3^14 - 37728569685499172561606722260614277772058024211708351682522107/1195\ 9984800831423708875279486023591084398788967649232384*c_0101_3^13 + 94968757235538510366932784781474655481573477829574380940363/3737495\ 25025981990902352483938237221387462155239038512*c_0101_3^12 + 8244856251558039367055537219175544097420658329013468571731715/59799\ 92400415711854437639743011795542199394483824616192*c_0101_3^11 - 1018092809791203429479490812833326679305120478389753606925383/10872\ 71345530129428079570862365781007672617178877202944*c_0101_3^10 - 828260013705894072637498040629370420240093491821376021785/108727134\ 5530129428079570862365781007672617178877202944*c_0101_3^9 + 3796037067160974126444653957390672343596231775618803681332955/11959\ 984800831423708875279486023591084398788967649232384*c_0101_3^8 - 1905380965765131108727887436604121994705355520274081973785621/11959\ 984800831423708875279486023591084398788967649232384*c_0101_3^7 - 64625178562373395567864466125717636340679364099399686157169/1195998\ 4800831423708875279486023591084398788967649232384*c_0101_3^6 + 438404715573040138498374822970143511655938643601798271072757/119599\ 84800831423708875279486023591084398788967649232384*c_0101_3^5 - 168236904183825468465540608963505648167518765271080474064687/119599\ 84800831423708875279486023591084398788967649232384*c_0101_3^4 + 5511193465368250939006801235638238927010972675324493463/74749905005\ 1963981804704967876474442774924310478077024*c_0101_3^3 + 2396837015254404764908725949912287157309360632894154696603/14949981\ 00103927963609409935752948885549848620956154048*c_0101_3^2 - 384246832823944178329546767060790440442662236272272174049/747499050\ 051963981804704967876474442774924310478077024*c_0101_3 + 42932384805732793969757781875381321107871056126116223413/7474990500\ 51963981804704967876474442774924310478077024, c_0011_4 + 3179419523436388736949875464087095251224032504565514598275/9\ 5679878406651389671002235888188728675190311741193859072*c_0101_3^45 - 2259296094638358266905518690635190321181811545185679349891/434908\ 5382120517712318283449463124030690468715508811776*c_0101_3^44 + 37456250182104127303957343158780169088303869283158725869407/1195998\ 4800831423708875279486023591084398788967649232384*c_0101_3^43 - 668138232196882606478921211033132377861597761496404462459695/956798\ 78406651389671002235888188728675190311741193859072*c_0101_3^42 - 678325171414284602267415320654283213483999337364283237295741/478399\ 39203325694835501117944094364337595155870596929536*c_0101_3^41 + 5850888765206573234178003368166430436939300335852534694838853/47839\ 939203325694835501117944094364337595155870596929536*c_0101_3^40 - 11264604453868009434006558904018061883194257773308356742107291/4783\ 9939203325694835501117944094364337595155870596929536*c_0101_3^39 - 12477852367633496499506768081725057932297344008048643147282561/4783\ 9939203325694835501117944094364337595155870596929536*c_0101_3^38 + 193584279108384390445129443044436504082442548384131887111559985/956\ 79878406651389671002235888188728675190311741193859072*c_0101_3^37 - 3206195149947919101516339384465898665089965733663789043675051/10872\ 71345530129428079570862365781007672617178877202944*c_0101_3^36 - 162445025082686164775946170458109207796207887293804852419578431/478\ 39939203325694835501117944094364337595155870596929536*c_0101_3^35 + 39411666258266412355814740639461827072759975027127964250094913/2174\ 542691060258856159141724731562015345234357754405888*c_0101_3^34 - 11249026848661434872250399047124374164012262180781617391506573/5869\ 93119059210979576700833669869501074787188596281344*c_0101_3^33 - 29563865508453594399686103820253981884763516126289614171905773/1087\ 271345530129428079570862365781007672617178877202944*c_0101_3^32 + 4690926868095714151014508984794148164757523765875482844134371195/47\ 839939203325694835501117944094364337595155870596929536*c_0101_3^31 - 6937106724556641062194478111567732747567184344255717220535845085/95\ 679878406651389671002235888188728675190311741193859072*c_0101_3^30 - 12888857524104473041017403010187822201916200501404617944276362953/9\ 5679878406651389671002235888188728675190311741193859072*c_0101_3^29 + 4070280493882003244945215333256799012154818602595352564142380859/\ 11959984800831423708875279486023591084398788967649232384*c_0101_3^2\ 8 - 157057046804655480439823529424913347183116886769103353264315751\ 45/95679878406651389671002235888188728675190311741193859072*c_0101_\ 3^27 - 102506201477407040177481822968304945734143477900127665763513\ 75775/23919969601662847417750558972047182168797577935298464768*c_01\ 01_3^26 + 186874498643528556467718836931347975458817075464019950968\ 94817391/23919969601662847417750558972047182168797577935298464768*c\ _0101_3^25 - 497771872444281470294723584061873293424096679317717055\ 5205051605/23919969601662847417750558972047182168797577935298464768\ *c_0101_3^24 - 1072600092607252421988443176409436777697476235420390\ 8935381124039/11959984800831423708875279486023591084398788967649232\ 384*c_0101_3^23 + 2863073304120456480080578978423425765537910574597\ 4756683442044359/23919969601662847417750558972047182168797577935298\ 464768*c_0101_3^22 - 4459378143642749643336713087990190433719135248\ 868715350299251075/478399392033256948355011179440943643375951558705\ 96929536*c_0101_3^21 - 10800377130006712098614578321451338788385774\ 592051226953785437699/869817076424103542463656689892624806138093743\ 1017623552*c_0101_3^20 + 116151055334317000946203104010856043502692\ 695186196505553107966365/956798784066513896710022358881887286751903\ 11741193859072*c_0101_3^19 + 53124843614356235116873820042230795065\ 04504223086846170446354305/4783993920332569483550111794409436433759\ 5155870596929536*c_0101_3^18 - 537856740358743072298710447996061732\ 35626685116769038520594345643/4783993920332569483550111794409436433\ 7595155870596929536*c_0101_3^17 + 762390156987788710290182296660234\ 35822367402127668786138099220477/9567987840665138967100223588818872\ 8675190311741193859072*c_0101_3^16 + 18686839710616339158162851471082452844491473765858984781754941435/9\ 5679878406651389671002235888188728675190311741193859072*c_0101_3^15 - 5632942886841499281228678574166247856782078810039721185727333547/\ 8698170764241035424636566898926248061380937431017623552*c_0101_3^14 + 31280563938941315058700048688825842491293619494958618595557171445\ /95679878406651389671002235888188728675190311741193859072*c_0101_3^\ 13 + 74219324084948832696207971508775782811906243873619436892056630\ 7/5979992400415711854437639743011795542199394483824616192*c_0101_3^\ 12 - 10851978832444929999941278955271879841105647117893944109311060\ 725/47839939203325694835501117944094364337595155870596929536*c_0101\ _3^11 + 69792217370582212872575708970733768397046866490627458073410\ 9849/8698170764241035424636566898926248061380937431017623552*c_0101\ _3^10 + 33250490305453084320404957977409932567836963726733143729110\ 3047/8698170764241035424636566898926248061380937431017623552*c_0101\ _3^9 - 430532687903813709864778667508226218176454206400087847854183\ 2245/95679878406651389671002235888188728675190311741193859072*c_010\ 1_3^8 + 10783060707776073301964109653509452628405753119964062586265\ 80027/95679878406651389671002235888188728675190311741193859072*c_01\ 01_3^7 + 5161677910141866710626813164332296103379354840858862893656\ 33279/95679878406651389671002235888188728675190311741193859072*c_01\ 01_3^6 - 4281225914528759070900801129076572066032143245719623038956\ 30171/95679878406651389671002235888188728675190311741193859072*c_01\ 01_3^5 + 8490241008850202504694148153186292596215887900856008322419\ 9681/95679878406651389671002235888188728675190311741193859072*c_010\ 1_3^4 + 74422908000989106751015840883786184957448429639988380859498\ 1/2989996200207855927218819871505897771099697241912308096*c_0101_3^\ 3 - 2031413750220178172616849848861483236103139666349178543725171/1\ 1959984800831423708875279486023591084398788967649232384*c_0101_3^2 + 211799661495279563970504920558381159952179652815609404886779/597999\ 2400415711854437639743011795542199394483824616192*c_0101_3 - 16362301870158450580265265774620992010150409861362244165007/5979992\ 400415711854437639743011795542199394483824616192, c_0011_5 + 681133049616906774080169586465787275414937294680089876351/95\ 679878406651389671002235888188728675190311741193859072*c_0101_3^45 - 482691879276471849907125840457038859409760554103601182479/434908538\ 2120517712318283449463124030690468715508811776*c_0101_3^44 + 7969872543942897132387712310467123698794986942278460579195/11959984\ 800831423708875279486023591084398788967649232384*c_0101_3^43 - 140682503409375146346279623366025833896145248317560656243611/956798\ 78406651389671002235888188728675190311741193859072*c_0101_3^42 - 147553674351013197448447161641249255764285566731782644178833/478399\ 39203325694835501117944094364337595155870596929536*c_0101_3^41 + 1245662705628862129627478302366146901422864303752944313139561/47839\ 939203325694835501117944094364337595155870596929536*c_0101_3^40 - 2364553859104644222087254868247300376135434961030807473008151/47839\ 939203325694835501117944094364337595155870596929536*c_0101_3^39 - 2743727350414353083267280367376064802535576453350304846658997/47839\ 939203325694835501117944094364337595155870596929536*c_0101_3^38 + 41141874549468611922498394445015301213707369282803779907435269/9567\ 9878406651389671002235888188728675190311741193859072*c_0101_3^37 - 669022345568396024368888563540301683437071740563612282575363/108727\ 1345530129428079570862365781007672617178877202944*c_0101_3^36 - 35563896076568547270980627418954590540383358747396569810407435/4783\ 9939203325694835501117944094364337595155870596929536*c_0101_3^35 + 8349533967718939786466909518365572817519382806059731141394693/21745\ 42691060258856159141724731562015345234357754405888*c_0101_3^34 - 2328093296556797949760904089343804965582776402738825816594129/58699\ 3119059210979576700833669869501074787188596281344*c_0101_3^33 - 6420912616228400861616429233946726873565516512857563881210141/10872\ 71345530129428079570862365781007672617178877202944*c_0101_3^32 + 989887830867384333213293089088264318888064908325268372305853239/478\ 39939203325694835501117944094364337595155870596929536*c_0101_3^31 - 1419163693067621221237194297288229931267341718371461283696536993/95\ 679878406651389671002235888188728675190311741193859072*c_0101_3^30 - 2778171315383063427820675808952546493448434411548520407397327517/95\ 679878406651389671002235888188728675190311741193859072*c_0101_3^29 + 855063199821643574111895352460387993091191576295313693995002627/119\ 59984800831423708875279486023591084398788967649232384*c_0101_3^28 - 3153262938704244010962895064467491850037638444165995434662628893/95\ 679878406651389671002235888188728675190311741193859072*c_0101_3^27 - 2194360820485226211114267670612471464843709425217587851691672995/23\ 919969601662847417750558972047182168797577935298464768*c_0101_3^26 + 3905864288548663981374929725739279170718957593507496435968090635/23\ 919969601662847417750558972047182168797577935298464768*c_0101_3^25 - 959143092888352516547973181847748844646523729048364522188197177/239\ 19969601662847417750558972047182168797577935298464768*c_0101_3^24 - 2281297543313707717494131705293734322241829699805296752150549571/11\ 959984800831423708875279486023591084398788967649232384*c_0101_3^23 + 5949493097467044213628144224834357298314991223477322644923555091/23\ 919969601662847417750558972047182168797577935298464768*c_0101_3^22 - 677558506149254448348317349157822767089009536630498051305940799/478\ 39939203325694835501117944094364337595155870596929536*c_0101_3^21 - 2282516814495087991546434979747528793507892398713853923023514303/86\ 98170764241035424636566898926248061380937431017623552*c_0101_3^20 + 23975057526108876295947849043435406476913686360550855230756435905/9\ 5679878406651389671002235888188728675190311741193859072*c_0101_3^19 + 1358019391149855586351750818460050733222941847908798762078375589/\ 47839939203325694835501117944094364337595155870596929536*c_0101_3^1\ 8 - 112936646978371690925885760205336916705460898727559160868240353\ 99/47839939203325694835501117944094364337595155870596929536*c_0101_\ 3^17 + 156156037032870815264612451226601052307932352337449948325114\ 20097/95679878406651389671002235888188728675190311741193859072*c_01\ 01_3^16 + 419389747179401359860384154230676412709436158985818111725\ 7505079/95679878406651389671002235888188728675190311741193859072*c_\ 0101_3^15 - 1175018087760142992934558907055026488016712668588743099\ 090998439/8698170764241035424636566898926248061380937431017623552*c\ _0101_3^14 + 635232538998268096327644325086126062741387014714439432\ 5525003321/95679878406651389671002235888188728675190311741193859072\ *c_0101_3^13 + 1609009719530045738226702328013075325910688009830670\ 41721456817/5979992400415711854437639743011795542199394483824616192\ *c_0101_3^12 - 2248995195074563482365355889246381199545548287077975\ 526304146489/478399392033256948355011179440943643375951558705969295\ 36*c_0101_3^11 + 14054977078770150022776036900081930739771610110556\ 4958377588493/86981707642410354246365668989262480613809374310176235\ 52*c_0101_3^10 + 70745829733459719161833793240991022664109593977187\ 765302608627/869817076424103542463656689892624806138093743101762355\ 2*c_0101_3^9 - 8869713653804742691227477271881133721022548130422652\ 88681406457/9567987840665138967100223588818872867519031174119385907\ 2*c_0101_3^8 + 2161197268613565652006506073357540205618632723658142\ 91871263351/9567987840665138967100223588818872867519031174119385907\ 2*c_0101_3^7 + 1084133123033475949357254228456005724809391678819176\ 63951469067/9567987840665138967100223588818872867519031174119385907\ 2*c_0101_3^6 - 8782725510153577494379616364070013253899291746751756\ 7010732887/95679878406651389671002235888188728675190311741193859072\ *c_0101_3^5 + 17108600422391529411183920537343251431438571286155162\ 018845301/95679878406651389671002235888188728675190311741193859072*\ c_0101_3^4 + 775238605820171663833543070285912218388894476998691833\ 69901/1494998100103927963609409935752948885549848620956154048*c_010\ 1_3^3 - 41641361530681689727722331047618993302560362702081860736797\ 5/11959984800831423708875279486023591084398788967649232384*c_0101_3\ ^2 + 43270830122496154637263593468161777436953196276287539352079/59\ 79992400415711854437639743011795542199394483824616192*c_0101_3 - 3341687083963566817403889994251348198896688584105735835499/59799924\ 00415711854437639743011795542199394483824616192, c_0101_0 + 1124110911064659154373093438365755667619836426755192623201/4\ 7839939203325694835501117944094364337595155870596929536*c_0101_3^45 - 799111540044295247952296533894156297041650437780002485351/2174542\ 691060258856159141724731562015345234357754405888*c_0101_3^44 + 13261248061702873070868704892559362615838861736845912807231/5979992\ 400415711854437639743011795542199394483824616192*c_0101_3^43 - 237422930560308177045592789519072566321133735260641074224325/478399\ 39203325694835501117944094364337595155870596929536*c_0101_3^42 - 237639042866008602279909534242258328460896907926353219101077/239199\ 69601662847417750558972047182168797577935298464768*c_0101_3^41 + 2067830350211056099233096876686341364141036907459475101702727/23919\ 969601662847417750558972047182168797577935298464768*c_0101_3^40 - 4006256983014026756006772898280011323840432073144742954248101/23919\ 969601662847417750558972047182168797577935298464768*c_0101_3^39 - 4329211838818023967261707767258519692273336604725322778070175/23919\ 969601662847417750558972047182168797577935298464768*c_0101_3^38 + 68362063284482198293037575776805846597868373157553330114599779/4783\ 9939203325694835501117944094364337595155870596929536*c_0101_3^37 - 2287458089012209887998534448780079009573605281845906969257047/10872\ 71345530129428079570862365781007672617178877202944*c_0101_3^36 - 56216133000477804989785840664202189030817243800594159159413793/2391\ 9969601662847417750558972047182168797577935298464768*c_0101_3^35 + 13921867249215237658500086730363055117755110230834166076979013/1087\ 271345530129428079570862365781007672617178877202944*c_0101_3^34 - 4035434452383382890502648171094631845759274250668368425789999/29349\ 6559529605489788350416834934750537393594298140672*c_0101_3^33 - 20477631817662440104416886331176421609713000711203079868376071/1087\ 271345530129428079570862365781007672617178877202944*c_0101_3^32 + 1659236623712856357566263705278266393991432962000559121714783949/23\ 919969601662847417750558972047182168797577935298464768*c_0101_3^31 - 2512986969480410068175798623422502066813914635394366631977800695/47\ 839939203325694835501117944094364337595155870596929536*c_0101_3^30 - 4471609971167582087689367904053970267438964783387600809687593047/47\ 839939203325694835501117944094364337595155870596929536*c_0101_3^29 + 2886361685773624255196492314598631506568489206715468488266045371/11\ 959984800831423708875279486023591084398788967649232384*c_0101_3^28 - 5794157597364163401721713549314954003854370910046308329631819675/47\ 839939203325694835501117944094364337595155870596929536*c_0101_3^27 - 1782191529507809522169102909280698041287141986579272726016792287/59\ 79992400415711854437639743011795542199394483824616192*c_0101_3^26 + 6650726749142647926267258910101498266530766786293970937701492935/11\ 959984800831423708875279486023591084398788967649232384*c_0101_3^25 - 1916750575324641461794512748409221648722223338013547821695327671/11\ 959984800831423708875279486023591084398788967649232384*c_0101_3^24 - 3740411321289867326459977519530987652479904556060097077405989711/59\ 79992400415711854437639743011795542199394483824616192*c_0101_3^23 + 10246359324221092798174803177276371891655414361111731379041639341/1\ 1959984800831423708875279486023591084398788967649232384*c_0101_3^22 - 2112266293603852872163029420532735530601318269038181322453778249/\ 23919969601662847417750558972047182168797577935298464768*c_0101_3^2\ 1 - 378059260749195709162139103626598838523196736296008369572978039\ 3/4349085382120517712318283449463124030690468715508811776*c_0101_3^\ 20 + 41913408950805235943320809095685165261359832059572781297021323\ 899/47839939203325694835501117944094364337595155870596929536*c_0101\ _3^19 + 12837663726342415566627389934592513465870928531027981635136\ 32841/23919969601662847417750558972047182168797577935298464768*c_01\ 01_3^18 - 189243132478815524679082948861061017930047459070578687843\ 89226057/23919969601662847417750558972047182168797577935298464768*c\ _0101_3^17 + 278529546596230673415709775741996567434860472489372509\ 50344048935/4783993920332569483550111794409436433759515587059692953\ 6*c_0101_3^16 + 577537104389916841938094128351014263362971396838809\ 2591689195037/47839939203325694835501117944094364337595155870596929\ 536*c_0101_3^15 - 1996126009354377190471277706970280228591129688756\ 452679375436685/434908538212051771231828344946312403069046871550881\ 1776*c_0101_3^14 + 116392004528506907362020378511196136898746504384\ 28609040178758683/4783993920332569483550111794409436433759515587059\ 6929536*c_0101_3^13 + 962948934763443164763070506204820390356639306\ 775774852280244391/119599848008314237088752794860235910843987889676\ 49232384*c_0101_3^12 - 38837592029366488885911234549308881408291269\ 16218202299725593691/2391996960166284741775055897204718216879757793\ 5298464768*c_0101_3^11 + 266526839329088262120067492960326002491663\ 225640300889517896587/434908538212051771231828344946312403069046871\ 5508811776*c_0101_3^10 + 110386039256501755606517020419337771895782\ 657702847870907650545/434908538212051771231828344946312403069046871\ 5508811776*c_0101_3^9 - 1561490196715845027765383825373302794642025\ 932063736606404920491/478399392033256948355011179440943643375951558\ 70596929536*c_0101_3^8 + 424866151851191608331039253955302868989440\ 146284002544870479133/478399392033256948355011179440943643375951558\ 70596929536*c_0101_3^7 + 173985506144296211021096832767091947899437\ 560555012044734411577/478399392033256948355011179440943643375951558\ 70596929536*c_0101_3^6 - 157892590649129211436018343619478015854171\ 364661681283647869301/478399392033256948355011179440943643375951558\ 70596929536*c_0101_3^5 + 340547728155468887398325849380440538073412\ 65726519462502309207/4783993920332569483550111794409436433759515587\ 0596929536*c_0101_3^4 + 2008428802261568900894451752057328206486846\ 580191473858892979/119599848008314237088752794860235910843987889676\ 49232384*c_0101_3^3 - 380841404693937668343180392432554276199782816\ 629983904904563/298999620020785592721881987150589777109969724191230\ 8096*c_0101_3^2 + 4144847071124302359628729544247033236143502731448\ 8163632179/1494998100103927963609409935752948885549848620956154048*\ c_0101_3 - 66503626984303493111102214449791304123921783077618052768\ 15/2989996200207855927218819871505897771099697241912308096, c_0101_1 - 2013221230498050817673279232667758297639366425602226723477/9\ 5679878406651389671002235888188728675190311741193859072*c_0101_3^45 + 1427843781601728482208755002523000665910343536491058764789/434908\ 5382120517712318283449463124030690468715508811776*c_0101_3^44 - 23603806301475048044732558450254424252267594017890399104697/1195998\ 4800831423708875279486023591084398788967649232384*c_0101_3^43 + 417925883524176682402647231226875098319562398356637068067913/956798\ 78406651389671002235888188728675190311741193859072*c_0101_3^42 + 434266710193300627712507424165752053826829361964726447241419/478399\ 39203325694835501117944094364337595155870596929536*c_0101_3^41 - 3688804571602713032045238187344689074214468842380723288430819/47839\ 939203325694835501117944094364337595155870596929536*c_0101_3^40 + 7030986910505068929410817900670841937320830049598092948151805/47839\ 939203325694835501117944094364337595155870596929536*c_0101_3^39 + 8051581683466538086903729266998589103175931401019146709678791/47839\ 939203325694835501117944094364337595155870596929536*c_0101_3^38 - 121904571218659314398363467981039104482641851643467465371332823/956\ 79878406651389671002235888188728675190311741193859072*c_0101_3^37 + 1992837058827587403565691835273676992726957816511445039489877/10872\ 71345530129428079570862365781007672617178877202944*c_0101_3^36 + 104506801972151788585569296008482607767817113272365772816324217/478\ 39939203325694835501117944094364337595155870596929536*c_0101_3^35 - 24764176878986590300007962448342686565753654322275287096237159/2174\ 542691060258856159141724731562015345234357754405888*c_0101_3^34 + 6951409081414102645114848731571095040381654970544972500672475/58699\ 3119059210979576700833669869501074787188596281344*c_0101_3^33 + 18912994736717664224765970452030025156943347795245550275067203/1087\ 271345530129428079570862365781007672617178877202944*c_0101_3^32 - 2939453616954511516984545880819200030914602951438849690448928925/47\ 839939203325694835501117944094364337595155870596929536*c_0101_3^31 + 4251683667518031428850195789109249758117414868925308076733389707/95\ 679878406651389671002235888188728675190311741193859072*c_0101_3^30 + 8201562839898752744559666217826701142006692584203645561507216575/95\ 679878406651389671002235888188728675190311741193859072*c_0101_3^29 - 2542521544119954992513639334051927104391585028509065894118386149/11\ 959984800831423708875279486023591084398788967649232384*c_0101_3^28 + 9498098240534461177424405761287355867285342407738265502365248095/95\ 679878406651389671002235888188728675190311741193859072*c_0101_3^27 + 6491295049983616144712995366374725642463607701434623602588932841/23\ 919969601662847417750558972047182168797577935298464768*c_0101_3^26 - 11631571220293165366173015932382664802384655930966918814450119721/2\ 3919969601662847417750558972047182168797577935298464768*c_0101_3^25 + 2923749632804080059512944303382912307820416175154123372328764627/\ 23919969601662847417750558972047182168797577935298464768*c_0101_3^2\ 4 + 676145863678274655121397059402914294315717837986584621832184488\ 1/11959984800831423708875279486023591084398788967649232384*c_0101_3\ ^23 - 1774762324771508918258456717351928014854430232465842892154834\ 3409/23919969601662847417750558972047182168797577935298464768*c_010\ 1_3^22 + 2226864473182870865171151948381414262882239417453835461231\ 791893/47839939203325694835501117944094364337595155870596929536*c_0\ 101_3^21 + 67778636106648833192705581741537550208987895456556012821\ 90781589/8698170764241035424636566898926248061380937431017623552*c_\ 0101_3^20 - 7165743459714246661246432181673880946144872455030883331\ 2616358155/95679878406651389671002235888188728675190311741193859072\ *c_0101_3^19 - 3844352317450203856209849211528148689828488864566210\ 307206955623/478399392033256948355011179440943643375951558705969295\ 36*c_0101_3^18 + 33600091657891398742763891982245597912550858546730\ 989694117591469/478399392033256948355011179440943643375951558705969\ 29536*c_0101_3^17 - 46774614661232619130618796795408652453324466442\ 191170191772265067/956798784066513896710022358881887286751903117411\ 93859072*c_0101_3^16 - 12264129324141803353295374838640460339044780\ 690355275515790664477/956798784066513896710022358881887286751903117\ 41193859072*c_0101_3^15 + 35025324379298353497484723827944827688319\ 71676885860652662273517/8698170764241035424636566898926248061380937\ 431017623552*c_0101_3^14 - 1907235158420097763378158699554745592353\ 6873693546161466308445683/95679878406651389671002235888188728675190\ 311741193859072*c_0101_3^13 - 4749137504207297327119760555899349679\ 15292970907823665215757057/5979992400415711854437639743011795542199\ 394483824616192*c_0101_3^12 + 6716317038615898999146804719507871375\ 896130166876535297979000307/478399392033256948355011179440943643375\ 95155870596929536*c_0101_3^11 - 42289799621549775749702430844846895\ 3338978311288983081865220527/86981707642410354246365668989262480613\ 80937431017623552*c_0101_3^10 - 20989682036174071494234912426621670\ 8941421842047281096807578417/86981707642410354246365668989262480613\ 80937431017623552*c_0101_3^9 + 265309977179572223572059034374324873\ 6425149900588852317450868147/95679878406651389671002235888188728675\ 190311741193859072*c_0101_3^8 - 65089177576014745072568542249770691\ 6440558695275466309271793373/95679878406651389671002235888188728675\ 190311741193859072*c_0101_3^7 - 32281878647952198090738012200217456\ 9470141847087941151280244025/95679878406651389671002235888188728675\ 190311741193859072*c_0101_3^6 + 26297955312072313991959863856639052\ 6532859167258967491538492477/95679878406651389671002235888188728675\ 190311741193859072*c_0101_3^5 - 51428003015985761903762690789154751\ 402556770774893767999600839/956798784066513896710022358881887286751\ 90311741193859072*c_0101_3^4 - 462791620871852106716564287093611262\ 483903143728789445504505/298999620020785592721881987150589777109969\ 7241912308096*c_0101_3^3 + 1246833654304909580516907013625149360542\ 366620245501806154229/119599848008314237088752794860235910843987889\ 67649232384*c_0101_3^2 - 129599958138909963705324046946302199174385\ 055035440696505261/597999240041571185443763974301179554219939448382\ 4616192*c_0101_3 + 100034628232856731063655148464468015077023448522\ 31214968457/5979992400415711854437639743011795542199394483824616192\ , c_0101_3^46 - 16*c_0101_3^45 + 100*c_0101_3^44 - 245*c_0101_3^43 - 348*c_0101_3^42 + 3834*c_0101_3^41 - 8446*c_0101_3^40 - 5186*c_0101_3^39 + 63671*c_0101_3^38 - 111286*c_0101_3^37 - 68602*c_0101_3^36 + 581864*c_0101_3^35 - 779413*c_0101_3^34 - 597942*c_0101_3^33 + 3245602*c_0101_3^32 - 3283635*c_0101_3^31 - 3209213*c_0101_3^30 + 11715830*c_0101_3^29 - 8783923*c_0101_3^28 - 10943782*c_0101_3^27 + 28240092*c_0101_3^26 - 15139364*c_0101_3^25 - 24404496*c_0101_3^24 + 45995588*c_0101_3^23 - 16497098*c_0101_3^22 - 35962263*c_0101_3^21 + 50449053*c_0101_3^20 - 10652464*c_0101_3^19 - 34757166*c_0101_3^18 + 36676563*c_0101_3^17 - 3389789*c_0101_3^16 - 21508669*c_0101_3^15 + 17209141*c_0101_3^14 - 104774*c_0101_3^13 - 8171438*c_0101_3^12 + 5016157*c_0101_3^11 + 198869*c_0101_3^10 - 1778317*c_0101_3^9 + 858815*c_0101_3^8 + 27915*c_0101_3^7 - 195467*c_0101_3^6 + 78645*c_0101_3^5 - 3038*c_0101_3^4 - 7944*c_0101_3^3 + 3040*c_0101_3^2 - 496*c_0101_3 + 32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.280 seconds, Total memory usage: 32.09MB