Magma V2.19-8 Tue Aug 20 2013 16:16:26 on localhost [Seed = 644332233] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0712 geometric_solution 4.66504264 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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 1.383762458460 0.101876590860 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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 1.149175538125 0.104109298194 3 1 1 3 0132 0132 1023 1023 0 0 0 0 0 -1 0 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 0 0 0 0 0 1 -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 1.185086022786 0.304530032648 2 4 5 2 0132 0132 0132 1023 0 0 0 0 0 -1 0 1 0 0 1 -1 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 -1 0 1 0 0 0 0 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.610841399603 0.508191375211 5 3 6 5 2103 0132 0132 2031 0 0 0 0 0 1 0 -1 -1 0 1 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 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.638366939366 0.664721906048 6 4 4 3 1023 1302 2103 0132 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.638366939366 0.664721906048 6 5 6 4 2310 1023 3201 0132 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.803624800083 0.437180391885 ==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' : 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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_5'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_1']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0011_1']), 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_3'], '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_2'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_5, c_0101_0, c_0101_2, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 1206669094461368995281617901483796791887012507491985744754960791698\ 577199827/793794258403741199293538627469278718110511226095010200620\ 120317114328062*c_0101_4^29 + 1710133380253235388569422791338033830\ 3849922995182443553528638183658778536937/15875885168074823985870772\ 54938557436221022452190020401240240634228656124*c_0101_4^28 - 7347172127419719087042497465673265658079908428588545450466427636063\ 5296139/22679835954392605694101103641979391946014606459857434303432\ 0090604093732*c_0101_4^27 - 894123085962762363339363255721920396549\ 9624323541201373317849382891821669276/56699589885981514235252759104\ 948479865036516149643585758580022651023433*c_0101_4^26 - 2110146571379404630415671075649774552847295211978354165477176373925\ 52865997846/3968971292018705996467693137346393590552556130475051003\ 10060158557164031*c_0101_4^25 - 66701657965280245220649775271249792\ 8946114078851164244146456341317845223604811/15875885168074823985870\ 77254938557436221022452190020401240240634228656124*c_0101_4^24 + 1389200534523619681293496634193971571990612155389313212866924256789\ 541994883223/793794258403741199293538627469278718110511226095010200\ 620120317114328062*c_0101_4^23 + 9587824338181694976476309400607653\ 393132171802805800624327894717711289277254495/158758851680748239858\ 7077254938557436221022452190020401240240634228656124*c_0101_4^22 + 5934877074904458699370182633129812971500326538671349782568478562101\ 988999755521/793794258403741199293538627469278718110511226095010200\ 620120317114328062*c_0101_4^21 - 5110467879412663306778909889963299\ 677899828971436214745403654709665847931891395/158758851680748239858\ 7077254938557436221022452190020401240240634228656124*c_0101_4^20 - 9590515282402455263164693938173710609075179655800218379252552678822\ 207440175283/396897129201870599646769313734639359055255613047505100\ 310060158557164031*c_0101_4^19 - 1759678470197463460917305858122093\ 9222671738523009574824969957902195854477271861/15875885168074823985\ 87077254938557436221022452190020401240240634228656124*c_0101_4^18 + 2327985524110989048621785059509792936286270964912671576386237146938\ 1349045087079/39689712920187059964676931373463935905525561304750510\ 0310060158557164031*c_0101_4^17 + 304094517877427502936443422492303\ 02732913355837893554776318101189330706162612113/7937942584037411992\ 93538627469278718110511226095010200620120317114328062*c_0101_4^16 - 2121894690505054812053685704403653000544063133450075920010989282354\ 62848524872491/1587588516807482398587077254938557436221022452190020\ 401240240634228656124*c_0101_4^15 - 1065904459062578877580243985871823525458377321856618895070978845746\ 68035920701837/1587588516807482398587077254938557436221022452190020\ 401240240634228656124*c_0101_4^14 + 2361798179107156127498696126201797523471746553293092008910387793944\ 60237901207207/7937942584037411992935386274692787181105112260950102\ 00620120317114328062*c_0101_4^13 - 7782849606350685821873130604149249209305610856857760032613125776626\ 0669948625689/39689712920187059964676931373463935905525561304750510\ 0310060158557164031*c_0101_4^12 - 619337470494422596981256993673969\ 39063246160142386495350020721767229613913237081/3968971292018705996\ 46769313734639359055255613047505100310060158557164031*c_0101_4^11 + 6628197716714274677817068485465528504228899587577076759505823383893\ 7200472800083/22679835954392605694101103641979391946014606459857434\ 3034320090604093732*c_0101_4^10 - 172122177985980756763314822288466\ 99372926061367667446124876672709681609470070305/1133991797719630284\ 70505518209896959730073032299287171517160045302046866*c_0101_4^9 - 4167093593024406603623885252487823801138250474156571316646806154778\ 21487430324/3968971292018705996467693137346393590552556130475051003\ 10060158557164031*c_0101_4^8 + 263253423766359516854975080910158129\ 32944189689763456695332612568412297760174021/7937942584037411992935\ 38627469278718110511226095010200620120317114328062*c_0101_4^7 - 1219461110184733427953991092204709612092693454119881100527030825419\ 7838836030119/15875885168074823985870772549385574362210224521900204\ 01240240634228656124*c_0101_4^6 - 419799741959327458999320967526049\ 90913032702840151863112780013808757813767845/2737221580702555859632\ 8918188595817865879697451552075883452424728080278*c_0101_4^5 + 4053604599812907849102199802190845143218632761003766805040146830830\ 8149928079/79379425840374119929353862746927871811051122609501020062\ 0120317114328062*c_0101_4^4 + 1530050326870686840606491401529159930\ 2480756187539024353924913735407015772591/15875885168074823985870772\ 54938557436221022452190020401240240634228656124*c_0101_4^3 + 9398192842814633991359322180655592962697393721008793908312099949731\ 6492081913/15875885168074823985870772549385574362210224521900204012\ 40240634228656124*c_0101_4^2 + 737028617589069186103876855429260690\ 935240442785588565000127333050909620147/158758851680748239858707725\ 4938557436221022452190020401240240634228656124*c_0101_4 - 2507067806659584527818384796560639009614083336468951987397244291684\ 851784243/158758851680748239858707725493855743622102245219002040124\ 0240634228656124, c_0011_0 - 1, c_0011_1 - 242803749505493566005860675375768832269190547522725838482653\ 627689761453/156412661754431763407593818220547530662169699723154719\ 33401385558903016*c_0101_4^29 - 89086970422545969853798946532218916\ 8511651093204173682247362475731112337/78206330877215881703796909110\ 27376533108484986157735966700692779451508*c_0101_4^28 - 3935022047322697014299776884139941721682653879781075475628957685521\ 59065/1564126617544317634075938182205475306621696997231547193340138\ 5558903016*c_0101_4^27 + 125579856165293894679780235230142208934767\ 26871797135280621957646260322861/7820633087721588170379690911027376\ 533108484986157735966700692779451508*c_0101_4^26 + 9125187414356959685664285154339118531663431663153546770849756046307\ 3784231/15641266175443176340759381822054753066216969972315471933401\ 385558903016*c_0101_4^25 + 8971280871927502457065450759706973335927\ 1802738005264928950602976646765865/15641266175443176340759381822054\ 753066216969972315471933401385558903016*c_0101_4^24 - 2582906664993788982895177653069897723740863559285896795503368420017\ 24310293/1564126617544317634075938182205475306621696997231547193340\ 1385558903016*c_0101_4^23 - 103091518893275034696687667687219201148\ 8807977219930874604742503488565206461/15641266175443176340759381822\ 054753066216969972315471933401385558903016*c_0101_4^22 - 1449784608652501679282985110339702556878233165787514081672721205679\ 175319887/156412661754431763407593818220547530662169699723154719334\ 01385558903016*c_0101_4^21 + 16432140372708918266486332432347830071\ 8834731546451324169066822568025586791/15641266175443176340759381822\ 054753066216969972315471933401385558903016*c_0101_4^20 + 3921354858149022657292899387508754159272433501750551654744894686586\ 078558757/156412661754431763407593818220547530662169699723154719334\ 01385558903016*c_0101_4^19 + 27528295615302863113674367631880453089\ 53932277702525222771303254814171847391/1564126617544317634075938182\ 2054753066216969972315471933401385558903016*c_0101_4^18 - 1092000380293668533936573796687384186587582630442851977311483957911\ 187269830/195515827193039704259492272775684413327712124653943399167\ 5173194862877*c_0101_4^17 - 835545077450975730388109575394719027857\ 0696072316861398699254823293448135905/15641266175443176340759381822\ 054753066216969972315471933401385558903016*c_0101_4^16 + 9692335283223727792216385112517044222598065873475119088392168784796\ 442995607/782063308772158817037969091102737653310848498615773596670\ 0692779451508*c_0101_4^15 + 157219351715059040060222646207275866692\ 42416863893172168182383070134770369149/1564126617544317634075938182\ 2054753066216969972315471933401385558903016*c_0101_4^14 - 2194058957527805231607144915092878783952978389885958685945241278024\ 2626654611/78206330877215881703796909110273765331084849861577359667\ 00692779451508*c_0101_4^13 + 10027882285384039111285728434026791015\ 172756058538802471387662656856125749603/782063308772158817037969091\ 1027376533108484986157735966700692779451508*c_0101_4^12 + 3069520404920474507252833443762183859965256290876683573434238910901\ 7832667383/15641266175443176340759381822054753066216969972315471933\ 401385558903016*c_0101_4^11 - 3934292783486719719086670856480913567\ 4411526509183801483851462291565862058185/15641266175443176340759381\ 822054753066216969972315471933401385558903016*c_0101_4^10 + 6945435540750860649548939217541092760831547842339410842395368009706\ 858922725/782063308772158817037969091102737653310848498615773596670\ 0692779451508*c_0101_4^9 + 5425429126522771584159006550028449897465\ 45552970375410744920070530804420142/1955158271930397042594922727756\ 844133277121246539433991675173194862877*c_0101_4^8 - 4494922302043274682742841734994107162350533723971387420579162556689\ 598308475/156412661754431763407593818220547530662169699723154719334\ 01385558903016*c_0101_4^7 + 559167591371805945838087187070540384440\ 89384815416972503713843189162367519/1564126617544317634075938182205\ 4753066216969972315471933401385558903016*c_0101_4^6 + 1670836895988455763394409072141973310270879027280171998056239917424\ 95509331/7820633087721588170379690911027376533108484986157735966700\ 692779451508*c_0101_4^5 + 68310268840006847738476190064727690072114\ 529367346310254252548912828820645/156412661754431763407593818220547\ 53066216969972315471933401385558903016*c_0101_4^4 + 2642452868261925253618929230285922096781680230473257999673645120691\ 438479/391031654386079408518984545551368826655424249307886798335034\ 6389725754*c_0101_4^3 - 1895062115687774133613181375470284356878740\ 305878392768704041703423274331/391031654386079408518984545551368826\ 6554242493078867983350346389725754*c_0101_4^2 - 1010021212594027404525732403476242169231394087940214700562761078679\ 924787/782063308772158817037969091102737653310848498615773596670069\ 2779451508*c_0101_4 - 105773773059098284832858001405983894012945678\ 149177495013095524122327911/156412661754431763407593818220547530662\ 16969972315471933401385558903016, c_0011_5 + 511464962189270657920314410994096099793001210161492448646613\ 70434934675/3910316543860794085189845455513688266554242493078867983\ 350346389725754*c_0101_4^29 + 7667666624319483449164652200136120902\ 02927405411435020605048488370432419/7820633087721588170379690911027\ 376533108484986157735966700692779451508*c_0101_4^28 + 2826626691360768939365888909521019731082520193510628994321826950697\ 35377/7820633087721588170379690911027376533108484986157735966700692\ 779451508*c_0101_4^27 - 2641405316655309593212088116433653122052673\ 282886901133976240375707187043/195515827193039704259492272775684413\ 3277121246539433991675173194862877*c_0101_4^26 - 1002854045194119290909844803126938267243943305443001010378619152933\ 4018458/19551582719303970425949227277568441332771212465394339916751\ 73194862877*c_0101_4^25 - 43708114366852290540805986371235793607084\ 598820008798554713322409779268685/782063308772158817037969091102737\ 6533108484986157735966700692779451508*c_0101_4^24 + 5169640771997463439376820521294407128122021369464334447027254680632\ 4544429/39103165438607940851898454555136882665542424930788679833503\ 46389725754*c_0101_4^23 + 45199645746929562260716832552788517325713\ 3368058525459347090636553229038701/78206330877215881703796909110273\ 76533108484986157735966700692779451508*c_0101_4^22 + 3388731539336250142908714410298782772553598762625709731989205091627\ 92251479/3910316543860794085189845455513688266554242493078867983350\ 346389725754*c_0101_4^21 + 2105051046132478755384602048892864603129\ 5414343867944810846949391813197759/78206330877215881703796909110273\ 76533108484986157735966700692779451508*c_0101_4^20 - 4178549213330884633471136402795273358425264339970605171109724698264\ 68967001/1955158271930397042594922727756844133277121246539433991675\ 173194862877*c_0101_4^19 - 1419304208697840177142190481340109258137\ 820099668474920763671630992199895351/782063308772158817037969091102\ 7376533108484986157735966700692779451508*c_0101_4^18 + 8800458094282425225561412953464270787724987243010167280131350857818\ 30602244/1955158271930397042594922727756844133277121246539433991675\ 173194862877*c_0101_4^17 + 2057900834311048265441417437206814463790\ 000291591349244513596636638864383931/391031654386079408518984545551\ 3688266554242493078867983350346389725754*c_0101_4^16 - 7662514442459945085187405240255748305026036822584397905250377709974\ 641147017/782063308772158817037969091102737653310848498615773596670\ 0692779451508*c_0101_4^15 - 795786664059385316830587511338218113578\ 8887573798499071735968314589372629931/78206330877215881703796909110\ 27376533108484986157735966700692779451508*c_0101_4^14 + 8777906558449495261804528699280426663880067668782380946802661395780\ 997251867/391031654386079408518984545551368826655424249307886798335\ 0346389725754*c_0101_4^13 - 136205347809978343839387262190500874086\ 6366782792417902010597060817376408720/19551582719303970425949227277\ 56844133277121246539433991675173194862877*c_0101_4^12 - 3629594957442796746014086030421223451814083618275190796014033972549\ 025488369/195515827193039704259492272775684413327712124653943399167\ 5173194862877*c_0101_4^11 + 146636122147402949073020525538905299392\ 69426664457983282161303783728842517691/7820633087721588170379690911\ 027376533108484986157735966700692779451508*c_0101_4^10 - 1535251571497654452231547109207033135704475593933716804625677553087\ 281593899/391031654386079408518984545551368826655424249307886798335\ 0346389725754*c_0101_4^9 - 7455214833868664884206358918554066424028\ 20612782393925456324834904284727184/1955158271930397042594922727756\ 844133277121246539433991675173194862877*c_0101_4^8 + 8489250739586729382257162040227953390087127723460381218769284880236\ 69086477/3910316543860794085189845455513688266554242493078867983350\ 346389725754*c_0101_4^7 + 29263607203038633779522908645529996037532\ 6360976114615831395120303814114995/78206330877215881703796909110273\ 76533108484986157735966700692779451508*c_0101_4^6 - 8477848722895114284288856197667264791328809873424600132997430379236\ 6736743/39103165438607940851898454555136882665542424930788679833503\ 46389725754*c_0101_4^5 - 247015999518670652241696728347468639393620\ 23843943013890144538410434707149/3910316543860794085189845455513688\ 266554242493078867983350346389725754*c_0101_4^4 - 7421047726772883771388568643163334260838627228945954900492371398580\ 123795/782063308772158817037969091102737653310848498615773596670069\ 2779451508*c_0101_4^3 + 2752270016328739821435224032498264826257165\ 621964294619155243158076878675/782063308772158817037969091102737653\ 3108484986157735966700692779451508*c_0101_4^2 + 1396365289809733903842363314441476791044258564493581643177749895965\ 521161/782063308772158817037969091102737653310848498615773596670069\ 2779451508*c_0101_4 + 143751844476494491675126317271851820970328202\ 951718518050602684696823759/782063308772158817037969091102737653310\ 8484986157735966700692779451508, c_0101_0 + 632922425326010168909621094767544622404795265376440606199268\ 78798508089/3910316543860794085189845455513688266554242493078867983\ 350346389725754*c_0101_4^29 + 8992203255468094259060482259431819919\ 26091084423217383460240700875219073/7820633087721588170379690911027\ 376533108484986157735966700692779451508*c_0101_4^28 - 1026993767062310813459336710947252816219367644511043950429025605392\ 4707/78206330877215881703796909110273765331084849861577359667006927\ 79451508*c_0101_4^27 - 32810530191702755695740028412574714925992469\ 96958244759894905280266458452/1955158271930397042594922727756844133\ 277121246539433991675173194862877*c_0101_4^26 - 1112392502119074778479792165587731117942927379558376896240419411696\ 7765142/19551582719303970425949227277568441332771212465394339916751\ 73194862877*c_0101_4^25 - 35860251934643571984069140868077757046381\ 889460470673857488136518290439871/782063308772158817037969091102737\ 6533108484986157735966700692779451508*c_0101_4^24 + 3616984834051540324753822345394413072034188150957767072584320767834\ 4017067/19551582719303970425949227277568441332771212465394339916751\ 73194862877*c_0101_4^23 + 50479608600474906916802016463000370811754\ 0695899471865409067183848384623129/78206330877215881703796909110273\ 76533108484986157735966700692779451508*c_0101_4^22 + 3160325894603060944144855687289893365732830385948607938980537063615\ 31904733/3910316543860794085189845455513688266554242493078867983350\ 346389725754*c_0101_4^21 - 2523843603348988718605579052932119601661\ 06252844786085624406796489852588975/7820633087721588170379690911027\ 376533108484986157735966700692779451508*c_0101_4^20 - 1003883303602935028859137306405213373603129073903361420510319366672\ 784903211/391031654386079408518984545551368826655424249307886798335\ 0346389725754*c_0101_4^19 - 953357107822383650030753335402798782565\ 434868837881837420565166455250995355/782063308772158817037969091102\ 7376533108484986157735966700692779451508*c_0101_4^18 + 1213537755487774055028851182089321776858037139175841238149578661383\ 100455886/195515827193039704259492272775684413327712124653943399167\ 5173194862877*c_0101_4^17 + 162699072770302067708783384233937282966\ 4319966285425708265456586969261056139/39103165438607940851898454555\ 13688266554242493078867983350346389725754*c_0101_4^16 - 1105065480029742758173154484795686777497183290091720750625570516677\ 6802440355/78206330877215881703796909110273765331084849861577359667\ 00692779451508*c_0101_4^15 - 57311613928380305529790479286748314778\ 56593469512944731731634889903871929075/7820633087721588170379690911\ 027376533108484986157735966700692779451508*c_0101_4^14 + 1231599288250194316331627230945965579954092681869384966205755769920\ 7938672325/39103165438607940851898454555136882665542424930788679833\ 50346389725754*c_0101_4^13 - 40009091088012850413970706526073382215\ 80022129180117830389263997472181969696/1955158271930397042594922727\ 756844133277121246539433991675173194862877*c_0101_4^12 - 3291277895629950885587707191025105721538933480465394360217538286281\ 040904126/195515827193039704259492272775684413327712124653943399167\ 5173194862877*c_0101_4^11 + 241372207707592141544778406582726479516\ 37637602937371072902136342871473747049/7820633087721588170379690911\ 027376533108484986157735966700692779451508*c_0101_4^10 - 3091775144907455005182106328697896904543369312972412893666135061980\ 181365076/195515827193039704259492272775684413327712124653943399167\ 5173194862877*c_0101_4^9 - 1218315737973861123092162176123134335692\ 72438659611891721149828146325538359/3910316543860794085189845455513\ 688266554242493078867983350346389725754*c_0101_4^8 + 6975830111909734974224621206098242192519341742547351187269697773308\ 17886257/1955158271930397042594922727756844133277121246539433991675\ 173194862877*c_0101_4^7 - 63280595317113909647944139358512130335626\ 3290715004840477466347764350752469/78206330877215881703796909110273\ 76533108484986157735966700692779451508*c_0101_4^6 - 6610067670945653587000730980089184606319646345160408530253398903939\ 7469401/39103165438607940851898454555136882665542424930788679833503\ 46389725754*c_0101_4^5 + 426187404348166003951446928796519759384490\ 1093863552796551719008886091359/39103165438607940851898454555136882\ 66554242493078867983350346389725754*c_0101_4^4 + 5921354163637758829522418268078324049348422933607846854241980805664\ 09359/7820633087721588170379690911027376533108484986157735966700692\ 779451508*c_0101_4^3 + 47211909001522879160042144693437303791877182\ 15965549485697607853475440559/7820633087721588170379690911027376533\ 108484986157735966700692779451508*c_0101_4^2 - 1476689358281017024411179282682348694361917350234057052265125106875\ 8277/78206330877215881703796909110273765331084849861577359667006927\ 79451508*c_0101_4 - 15465152215774168207263284461011289922175899643\ 7229551871298529909578049/78206330877215881703796909110273765331084\ 84986157735966700692779451508, c_0101_2 + 215439496454253281267334023817444929659582055577106215976312\ 385525702541/156412661754431763407593818220547530662169699723154719\ 33401385558903016*c_0101_4^29 + 38033092281478850714037442446896231\ 5371613723400221457353480851239772319/39103165438607940851898454555\ 13688266554242493078867983350346389725754*c_0101_4^28 - 8673628190654199241920492118091292454516314661256648557607165279960\ 6389/15641266175443176340759381822054753066216969972315471933401385\ 558903016*c_0101_4^27 - 1118545925372038456426792882677430165355982\ 8085243429391481204387460074329/78206330877215881703796909110273765\ 33108484986157735966700692779451508*c_0101_4^26 - 7480157929385744056142737961892259164872359561417535801684063514928\ 3093955/15641266175443176340759381822054753066216969972315471933401\ 385558903016*c_0101_4^25 - 5736242400115834269547045797198006905603\ 8001792784911736813231589528511355/15641266175443176340759381822054\ 753066216969972315471933401385558903016*c_0101_4^24 + 2506548756074660621281240383472926659630876571818977101985884771882\ 86231517/1564126617544317634075938182205475306621696997231547193340\ 1385558903016*c_0101_4^23 + 850901151117445870651973271718499367769\ 490643002338297656437116989217425463/156412661754431763407593818220\ 54753066216969972315471933401385558903016*c_0101_4^22 + 1035215710130811177400535377599320516333943685890352184655877718117\ 258999223/156412661754431763407593818220547530662169699723154719334\ 01385558903016*c_0101_4^21 - 49528600867370211801214874035184411144\ 0251350047482012908933677178121712313/15641266175443176340759381822\ 054753066216969972315471933401385558903016*c_0101_4^20 - 3431464486860441639495610790215463845266106163768142579856316257216\ 813006689/156412661754431763407593818220547530662169699723154719334\ 01385558903016*c_0101_4^19 - 14845169004462592388040900868962282007\ 76465294668515504819413345485415024397/1564126617544317634075938182\ 2054753066216969972315471933401385558903016*c_0101_4^18 + 1049929117132819395138824318297600755280972953295156931520236764526\ 985061595/195515827193039704259492272775684413327712124653943399167\ 5173194862877*c_0101_4^17 + 525535486474220766056106022172825420927\ 9919197464146393486787772526892343881/15641266175443176340759381822\ 054753066216969972315471933401385558903016*c_0101_4^16 - 4796643695767969137794271907004113217639498280319776693776695891926\ 627253399/391031654386079408518984545551368826655424249307886798335\ 0346389725754*c_0101_4^15 - 914247088364193227136415066521122436845\ 2942239671884496974226244395857546107/15641266175443176340759381822\ 054753066216969972315471933401385558903016*c_0101_4^14 + 2132521927268573047337450092071670191832463980804033685232663215080\ 5822326397/78206330877215881703796909110273765331084849861577359667\ 00692779451508*c_0101_4^13 - 14330355442633051287506700945248478398\ 106519985107707425705243958565183437519/782063308772158817037969091\ 1027376533108484986157735966700692779451508*c_0101_4^12 - 2198871496949595210022376072764235530059438692191609322925406803422\ 7241201227/15641266175443176340759381822054753066216969972315471933\ 401385558903016*c_0101_4^11 + 4229144149063344653186070887466829309\ 7921024282333027328185321684884092713311/15641266175443176340759381\ 822054753066216969972315471933401385558903016*c_0101_4^10 - 1110337697605172864728274600452836937997580751457065491149860115617\ 2062514203/78206330877215881703796909110273765331084849861577359667\ 00692779451508*c_0101_4^9 - 171083031126354973078444979129699559907\ 75490018681667092699059312832407690/1955158271930397042594922727756\ 844133277121246539433991675173194862877*c_0101_4^8 + 4960784593344610522510055926230467182984942905550235984939805144054\ 254385747/156412661754431763407593818220547530662169699723154719334\ 01385558903016*c_0101_4^7 - 120217918561872143803282189761307744096\ 8932674684466814713146456166608783273/15641266175443176340759381822\ 054753066216969972315471933401385558903016*c_0101_4^6 - 1193894064719315725303017098761555621353943887454274710869685868148\ 87048769/7820633087721588170379690911027376533108484986157735966700\ 692779451508*c_0101_4^5 + 21495438424956979171363941219538814593806\ 106687536554621998091608043714563/156412661754431763407593818220547\ 53066216969972315471933401385558903016*c_0101_4^4 + 1201634298675141102411318456912742707263646961891211756703024046627\ 122761/782063308772158817037969091102737653310848498615773596670069\ 2779451508*c_0101_4^3 + 4330400252051077861642282371970178338559174\ 177624173629212949034996732583/782063308772158817037969091102737653\ 3108484986157735966700692779451508*c_0101_4^2 - 3013105884663963107432188250265174202985219751454204271495566446806\ 6325/39103165438607940851898454555136882665542424930788679833503463\ 89725754*c_0101_4 - 30471956794876078888634759091790048889318443074\ 5243133221909260477406171/15641266175443176340759381822054753066216\ 969972315471933401385558903016, c_0101_3 + 354251584660150023675082895699212058337952890366762649482988\ 377263882397/156412661754431763407593818220547530662169699723154719\ 33401385558903016*c_0101_4^29 + 65751689240449705901940528359808808\ 7511593625447839942992175041051689583/39103165438607940851898454555\ 13688266554242493078867983350346389725754*c_0101_4^28 + 7948895840416121905877336633715047263115745784532371939694381254797\ 38343/1564126617544317634075938182205475306621696997231547193340138\ 5558903016*c_0101_4^27 - 183087241196055874189933763965045300247544\ 26344393806474590960528757168229/7820633087721588170379690911027376\ 533108484986157735966700692779451508*c_0101_4^26 - 1362977433526849801381187864452903686749514526389866385456783772616\ 53630291/1564126617544317634075938182205475306621696997231547193340\ 1385558903016*c_0101_4^25 - 142039147543581034850196628615548988576\ 889876561036239588128252284075763339/156412661754431763407593818220\ 54753066216969972315471933401385558903016*c_0101_4^24 + 3667358771128596038882521748632223472751110848848022495121194746121\ 75519657/1564126617544317634075938182205475306621696997231547193340\ 1385558903016*c_0101_4^23 + 153773378723453037180344567481447400972\ 1959306041548142120297678873498143379/15641266175443176340759381822\ 054753066216969972315471933401385558903016*c_0101_4^22 + 2241585956026219629395275964268125229957441475233328567687247071430\ 747641039/156412661754431763407593818220547530662169699723154719334\ 01385558903016*c_0101_4^21 - 70611854294411352390135343960075463666\ 108582096766632128597219283287870177/156412661754431763407593818220\ 54753066216969972315471933401385558903016*c_0101_4^20 - 5760649340934040618717917619283423377329520174909286585799863414904\ 346182509/156412661754431763407593818220547530662169699723154719334\ 01385558903016*c_0101_4^19 - 45081286324893817542512516721937687387\ 31655802742672011054539990797990715417/1564126617544317634075938182\ 2054753066216969972315471933401385558903016*c_0101_4^18 + 1556026572041172154450906610189742865536522315014903956247823798237\ 466273229/195515827193039704259492272775684413327712124653943399167\ 5173194862877*c_0101_4^17 + 133233605104241472810075063107493987795\ 16283885347282944956047104438740731033/1564126617544317634075938182\ 2054753066216969972315471933401385558903016*c_0101_4^16 - 6834972541936935509791129778459698829809895373415583759438685174294\ 114657939/391031654386079408518984545551368826655424249307886798335\ 0346389725754*c_0101_4^15 - 254784441593676848154732889639693367665\ 59564719489381034796083776902943932863/1564126617544317634075938182\ 2054753066216969972315471933401385558903016*c_0101_4^14 + 3114301570728894303658018024253252322124245199752638515802953562008\ 7641321089/78206330877215881703796909110273765331084849861577359667\ 00692779451508*c_0101_4^13 - 11776415637188467914457385414632415388\ 823870813889308530092567388917390653251/782063308772158817037969091\ 1027376533108484986157735966700692779451508*c_0101_4^12 - 4784526658998533110181829801166589043255515869576127105931984258407\ 4246152347/15641266175443176340759381822054753066216969972315471933\ 401385558903016*c_0101_4^11 + 5380249041985513455099419436963056860\ 1645511279125816074486907722022765024119/15641266175443176340759381\ 822054753066216969972315471933401385558903016*c_0101_4^10 - 7476264024986788242095969550700252163388266132738433082396103947670\ 575280125/782063308772158817037969091102737653310848498615773596670\ 0692779451508*c_0101_4^9 - 2141135735790915044502122041676686389247\ 370752525935126010265430218753875959/391031654386079408518984545551\ 3688266554242493078867983350346389725754*c_0101_4^8 + 6199865790113929628291252640544993509700789401318044015346121332313\ 683926559/156412661754431763407593818220547530662169699723154719334\ 01385558903016*c_0101_4^7 + 526625290498781386761311119905291300604\ 848856126405639435228344888540190995/156412661754431763407593818220\ 54753066216969972315471933401385558903016*c_0101_4^6 - 2743966437966470077933916138175106606215671405870968042281998000459\ 04823681/7820633087721588170379690911027376533108484986157735966700\ 692779451508*c_0101_4^5 - 13831702365560271072340849076780221855842\ 8460278446628667322389982173660421/15641266175443176340759381822054\ 753066216969972315471933401385558903016*c_0101_4^4 - 1045749273555870668095074452407360176009464582467935964295582824541\ 8580239/78206330877215881703796909110273765331084849861577359667006\ 92779451508*c_0101_4^3 + 510606666073066932776464943602432195590970\ 6997248939793696194063546101245/78206330877215881703796909110273765\ 33108484986157735966700692779451508*c_0101_4^2 + 1004253333083081024607854539634603915333361321154077403174361913229\ 834299/391031654386079408518984545551368826655424249307886798335034\ 6389725754*c_0101_4 + 342542197617284875606122738794478768641989222\ 612241286017149770241138793/156412661754431763407593818220547530662\ 16969972315471933401385558903016, c_0101_4^30 + 7*c_0101_4^29 - c_0101_4^28 - 105*c_0101_4^27 - 341*c_0101_4^26 - 228*c_0101_4^25 + 1240*c_0101_4^24 + 3934*c_0101_4^23 + 4384*c_0101_4^22 - 3276*c_0101_4^21 - 16712*c_0101_4^20 - 5728*c_0101_4^19 + 42049*c_0101_4^18 + 23669*c_0101_4^17 - 96573*c_0101_4^16 - 42191*c_0101_4^15 + 214025*c_0101_4^14 - 135488*c_0101_4^13 - 124169*c_0101_4^12 + 217998*c_0101_4^11 - 95305*c_0101_4^10 - 22194*c_0101_4^9 + 34095*c_0101_4^8 - 4624*c_0101_4^7 - 4013*c_0101_4^6 + 401*c_0101_4^5 + 231*c_0101_4^4 + 72*c_0101_4^3 + 2*c_0101_4^2 - 7*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB