Magma V2.19-8 Tue Aug 20 2013 16:16:11 on localhost [Seed = 1848636074] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0439 geometric_solution 4.48764093 oriented_manifold CS_known 0.0000000000000000 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.413370718270 0.082778107177 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 1 0 -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.188242167350 0.097273803683 3 1 1 3 0132 0132 1023 1023 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 0 0 -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.300730517733 0.380084853626 2 4 5 2 0132 0132 0132 1023 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 0 0 0 0 0 1 -1 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.338848543652 0.562761714287 5 3 6 5 2310 0132 0132 3201 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 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.115792736115 0.783379423556 6 4 4 3 0132 2310 3201 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 0 0 0 1 0 0 -1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.115792736115 0.783379423556 5 6 6 4 0132 1230 3012 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 -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.701010714574 1.147552984258 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : negation(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' : 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' : d['c_0101_3'], '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' : negation(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_0101_4']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], '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_0101_4']), 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], '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: 31 Groebner basis: [ t + 3177383670201964997291192488929432038788061263099232320157347199735\ 859357370919/464014442977239359569525064271826598502767053277260917\ 94839589639038155696240*c_0101_4^30 - 9450564074810320701879149836090243898092319769591371290189403715780\ 419211934853/232007221488619679784762532135913299251383526638630458\ 97419794819519077848120*c_0101_4^29 - 4985230615943368212568432409945097089915608310994533238046785137010\ 00341455001/4640144429772393595695250642718265985027670532772609179\ 4839589639038155696240*c_0101_4^28 - 1901184529056704817831981930961524154282765373832795507872066879830\ 08374069644727/4640144429772393595695250642718265985027670532772609\ 1794839589639038155696240*c_0101_4^27 - 4217459029922038100732301983414395580833660270437235420739692641428\ 8992112073024/29000902686077459973095316516989162406422940829828807\ 37177474352439884731015*c_0101_4^26 + 6146442697532541735136332949884150526043253554233815542429397594170\ 32358689215821/2320072214886196797847625321359132992513835266386304\ 5897419794819519077848120*c_0101_4^25 + 4307970280394109966550033996049727229988400760246559469612764132048\ 86983230209937/4640144429772393595695250642718265985027670532772609\ 1794839589639038155696240*c_0101_4^24 - 4933443435751018900230801050360302049256105827201131500696978671865\ 346076656141597/464014442977239359569525064271826598502767053277260\ 91794839589639038155696240*c_0101_4^23 + 3038264685084805169947954525587772293762810796638907485425963879639\ 828219198981381/232007221488619679784762532135913299251383526638630\ 45897419794819519077848120*c_0101_4^22 + 4262992057164919714759712120064299772488085039008401497060586084847\ 925135782315765/928028885954478719139050128543653197005534106554521\ 8358967917927807631139248*c_0101_4^21 - 7610749028790502373432390954273442986230214421266420258515381881707\ 542351230265431/464014442977239359569525064271826598502767053277260\ 91794839589639038155696240*c_0101_4^20 - 3126913939413421396521697712731112984728673030311930207657446042985\ 2585962563967503/46401444297723935956952506427182659850276705327726\ 091794839589639038155696240*c_0101_4^19 + 2932239530839356364488268295791401699155412236395838803887599127247\ 1930094123416677/46401444297723935956952506427182659850276705327726\ 091794839589639038155696240*c_0101_4^18 - 2509610243354757593315143305598356215960901304377431021109632671189\ 531070758597897/580018053721549199461906330339783248128458816596576\ 1474354948704879769462030*c_0101_4^17 - 3081268805391188532911192398535376525293393375176604674592389395136\ 2043175105802719/23200722148861967978476253213591329925138352663863\ 045897419794819519077848120*c_0101_4^16 + 1980030656256196631675408670399785840894792081941807175244240171242\ 445690075815761/201745409990104069378054375770359390653376979685765\ 6164993025636479919812880*c_0101_4^15 + 3673776413835408479369792414925293820451286959546640929351049535849\ 0634929748406761/11600361074430983989238126606795664962569176331931\ 522948709897409759538924060*c_0101_4^14 - 1086088833428836452817686035293813184841981169666639511540996410162\ 48324746016378599/4640144429772393595695250642718265985027670532772\ 6091794839589639038155696240*c_0101_4^13 - 9058145862793888397867635607578879494618950696086628496867186278446\ 191678270708099/928028885954478719139050128543653197005534106554521\ 8358967917927807631139248*c_0101_4^12 - 1120563902390099830673774778513881646176644613251647580073802213018\ 9193608322607853/92802888595447871913905012854365319700553410655452\ 18358967917927807631139248*c_0101_4^11 + 4181530129317802487554879006183535896661210510476456404780317704868\ 058912569189496/290009026860774599730953165169891624064229408298288\ 0737177474352439884731015*c_0101_4^10 + 1410639656733617039828562144501572477255475017303507032796805941674\ 94298975195888889/4640144429772393595695250642718265985027670532772\ 6091794839589639038155696240*c_0101_4^9 - 1584900112392488412932989535069278000310026961180762619326294164542\ 02411122934874547/4640144429772393595695250642718265985027670532772\ 6091794839589639038155696240*c_0101_4^8 + 1801605024065069492444619115784715809413758291620012088465533663928\ 734522212822741/116003610744309839892381266067956649625691763319315\ 22948709897409759538924060*c_0101_4^7 + 2284578487012077827378897816112857420503730817565217193577342559268\ 0389968771179959/23200722148861967978476253213591329925138352663863\ 045897419794819519077848120*c_0101_4^6 - 8164233441629125131040334700507255782566760762262891646531469739061\ 428379843221663/232007221488619679784762532135913299251383526638630\ 45897419794819519077848120*c_0101_4^5 - 8053765711452145857819875632878304129455651251376677951844287088579\ 94503204502481/2320072214886196797847625321359132992513835266386304\ 5897419794819519077848120*c_0101_4^4 + 1909458096332827171118278781433421634065689816646084088755232606741\ 16965180900815/4640144429772393595695250642718265985027670532772609\ 179483958963903815569624*c_0101_4^3 - 7909058024405380648930192357088187705528135056319246025938452903757\ 5161238898287/11600361074430983989238126606795664962569176331931522\ 948709897409759538924060*c_0101_4^2 - 1356434188167423188488203202512272059369742579268648006584239697867\ 09725180193/2900090268607745997309531651698916240642294082982880737\ 177474352439884731015*c_0101_4 + 3085172278016524253910011429890852\ 1525948771396044283490751249859390854539188391/46401444297723935956\ 952506427182659850276705327726091794839589639038155696240, c_0011_0 - 1, c_0011_1 - 750625333453593358127443005734946674200871021499286087061865\ 880897341585007/403490819980208138756108751540718781306753959371531\ 232998605127295983962576*c_0101_4^30 + 1947681649354939280392424942901307837265760708871452024053816732226\ 848141777/201745409990104069378054375770359390653376979685765616499\ 302563647991981288*c_0101_4^29 + 2953188002511494473153747190731261\ 385655582897475959737764258685063364089865/403490819980208138756108\ 751540718781306753959371531232998605127295983962576*c_0101_4^28 + 4775415990239308315141870283007304330377778847125692303685278027728\ 9390914319/40349081998020813875610875154071878130675395937153123299\ 8605127295983962576*c_0101_4^27 + 245405958727268171060160081124675\ 44140974924006268185860280989552312492910855/5043635249752601734451\ 3593942589847663344244921441404124825640911997995322*c_0101_4^26 - 6675837345040651324579846590340459146329820281652848020798588924218\ 7007255649/20174540999010406937805437577035939065337697968576561649\ 9302563647991981288*c_0101_4^25 - 169232206516466819659407803989899\ 411163245205306993824948037119313836305603825/403490819980208138756\ 108751540718781306753959371531232998605127295983962576*c_0101_4^24 + 1023516344494264417866077263259235901833497576112244463311885445770\ 647627430261/403490819980208138756108751540718781306753959371531232\ 998605127295983962576*c_0101_4^23 - 3471822172524299572925079445490447954170184608762544546186132424574\ 71981657001/2017454099901040693780543757703593906533769796857656164\ 99302563647991981288*c_0101_4^22 - 5405771343957877458920926746992109660727659012014411393887782494720\ 230456725961/403490819980208138756108751540718781306753959371531232\ 998605127295983962576*c_0101_4^21 - 2372935993417891296053557199195349452729559268549400442890472750174\ 491873898497/403490819980208138756108751540718781306753959371531232\ 998605127295983962576*c_0101_4^20 + 4669866429019546915170615431639121933441761526191150249859699459127\ 941149352447/403490819980208138756108751540718781306753959371531232\ 998605127295983962576*c_0101_4^19 - 4010222041738645980082686699442092583233080879715709043034842565711\ 869359506637/403490819980208138756108751540718781306753959371531232\ 998605127295983962576*c_0101_4^18 + 1499016281171184723328138838371154005156214241988359428119453537088\ 93612774661/2521817624876300867225679697129492383167212246072070206\ 2412820455998997661*c_0101_4^17 + 801129890609818150418504679262076\ 8252166579237646245232674669880608756380552051/20174540999010406937\ 8054375770359390653376979685765616499302563647991981288*c_0101_4^16 + 16697001707756247368068023620493979487730154221216493150085683312\ 20826752936889/4034908199802081387561087515407187813067539593715312\ 32998605127295983962576*c_0101_4^15 - 7670146253565103541305013067742628795832736777414820278200999699110\ 547198895649/100872704995052034689027187885179695326688489842882808\ 249651281823995990644*c_0101_4^14 + 3370785138645185879722792254384969853064900120789255152978070205112\ 038377846863/403490819980208138756108751540718781306753959371531232\ 998605127295983962576*c_0101_4^13 + 8225909315409010252706709175706693510753813647629479822349287254594\ 938672235551/403490819980208138756108751540718781306753959371531232\ 998605127295983962576*c_0101_4^12 + 1846445579374163450686837741743248344411229415920667051796589332215\ 4018683845561/40349081998020813875610875154071878130675395937153123\ 2998605127295983962576*c_0101_4^11 - 2955928429623045512170621884495082169969094040773931856030383483547\ 3656298465/50436352497526017344513593942589847663344244921441404124\ 825640911997995322*c_0101_4^10 - 2997898592190740279753992415751231\ 4635299062765582148709148822694942502728786697/40349081998020813875\ 6108751540718781306753959371531232998605127295983962576*c_0101_4^9 + 1561475582521513893530898892617740815391225781566049392144155186471\ 8930695088955/40349081998020813875610875154071878130675395937153123\ 2998605127295983962576*c_0101_4^8 + 1289260026942788865945484857563778165245740525096586178375822546638\ 831927116809/100872704995052034689027187885179695326688489842882808\ 249651281823995990644*c_0101_4^7 - 2938385576847040393022630249720756947536189609947232291572409628377\ 261652104811/201745409990104069378054375770359390653376979685765616\ 499302563647991981288*c_0101_4^6 + 4879130051991899881625862301483513086634145196487386490411387615857\ 81858814243/2017454099901040693780543757703593906533769796857656164\ 99302563647991981288*c_0101_4^5 + 220224720629077307917098395841557\ 167853901833616740713290743771948267769513397/201745409990104069378\ 054375770359390653376979685765616499302563647991981288*c_0101_4^4 - 9665074676476340251220482158673235443295758868292908751963654556231\ 9003012303/20174540999010406937805437577035939065337697968576561649\ 9302563647991981288*c_0101_4^3 + 6412662371549257650333369068776484\ 319020865960276105813984306131462532407473/100872704995052034689027\ 187885179695326688489842882808249651281823995990644*c_0101_4^2 + 8362091754587558731561493947642732715597235980850440183589623051848\ 81156425/5043635249752601734451359394258984766334424492144140412482\ 5640911997995322*c_0101_4 - 259236931981534368532174619203058795902\ 3320268968953142888716452123233239303/40349081998020813875610875154\ 0718781306753959371531232998605127295983962576, c_0011_5 - 580828473888362345161267611617155639338787298223003156905554\ 85332003326745/5043635249752601734451359394258984766334424492144140\ 4124825640911997995322*c_0101_4^30 + 5901864773366159811361867230150320891931217565096336604554351138511\ 73921421/1008727049950520346890271878851796953266884898428828082496\ 51281823995990644*c_0101_4^29 + 51836469439021354928805316278862955\ 3897750417780057007624520943862852290975/10087270499505203468902718\ 7885179695326688489842882808249651281823995990644*c_0101_4^28 + 3729184959229356667400859949917861219119544785053600784558936521637\ 356720593/504363524975260173445135939425898476633442449214414041248\ 25640911997995322*c_0101_4^27 + 31225047449139075581417774516489597\ 264732151530159839100130671991719621903191/100872704995052034689027\ 187885179695326688489842882808249651281823995990644*c_0101_4^26 - 1705036458033206330863896864560629577021690195688493665801187568125\ 7420170251/10087270499505203468902718788517969532668848984288280824\ 9651281823995990644*c_0101_4^25 - 270188285295734206728516668347500\ 46239760246393415734165412873103895625002137/1008727049950520346890\ 27187885179695326688489842882808249651281823995990644*c_0101_4^24 + 3901145158780895596704332252323254740171801999363499288369912941727\ 0626662735/25218176248763008672256796971294923831672122460720702062\ 412820455998997661*c_0101_4^23 - 9125742661158588964652615614179694\ 3951515767802061351783087653718490365425581/10087270499505203468902\ 7187885179695326688489842882808249651281823995990644*c_0101_4^22 - 8432888154059785464002810946815018506209009819370578565851335459053\ 71068201963/1008727049950520346890271878851796953266884898428828082\ 49651281823995990644*c_0101_4^21 - 2285114982982492226286043058995070633372762840685729894711143238705\ 89949502921/5043635249752601734451359394258984766334424492144140412\ 4825640911997995322*c_0101_4^20 + 650243373430537072197704387797158\ 400533397570455302358950940138830724163611993/100872704995052034689\ 027187885179695326688489842882808249651281823995990644*c_0101_4^19 - 2933202928893098809591762052952893693128245267318982076644219404628\ 84023005559/5043635249752601734451359394258984766334424492144140412\ 4825640911997995322*c_0101_4^18 + 300673519305186764465515648246185\ 193897211173732991922158918173472381855713271/100872704995052034689\ 027187885179695326688489842882808249651281823995990644*c_0101_4^17 + 2505573593969994257397305780956376853231941291579732601399810620086\ 419932540989/100872704995052034689027187885179695326688489842882808\ 249651281823995990644*c_0101_4^16 + 5219130008281420103132136967470144189580434117923239513623244519416\ 93835252271/1008727049950520346890271878851796953266884898428828082\ 49651281823995990644*c_0101_4^15 - 1155935685240432264019486177961502715975066060927212136357478521576\ 394529188840/252181762487630086722567969712949238316721224607207020\ 62412820455998997661*c_0101_4^14 + 5263070867856122814167252002827118774337503349706008221978737228515\ 7197585331/50436352497526017344513593942589847663344244921441404124\ 825640911997995322*c_0101_4^13 + 1210162868377978477177666114392733\ 829246265747189340254262897663937544585016665/100872704995052034689\ 027187885179695326688489842882808249651281823995990644*c_0101_4^12 + 1438795988610307779842104908364303084902544257281584204413659728347\ 952727171791/504363524975260173445135939425898476633442449214414041\ 24825640911997995322*c_0101_4^11 + 2731990659419366515057623453734361805721610836349350248818445110777\ 48484093237/1008727049950520346890271878851796953266884898428828082\ 49651281823995990644*c_0101_4^10 - 4525950718077787215283099119218405259772294683419916975978955767771\ 723467692987/100872704995052034689027187885179695326688489842882808\ 249651281823995990644*c_0101_4^9 + 1009515698032625294063008821659714804155605401681063010249431265575\ 903206435805/504363524975260173445135939425898476633442449214414041\ 24825640911997995322*c_0101_4^8 + 943702746425967418307594498201196\ 361830503282012213912177465540934589822533135/100872704995052034689\ 027187885179695326688489842882808249651281823995990644*c_0101_4^7 - 8665317238782304189965432504059330336828866609167300124421104810666\ 12372483091/1008727049950520346890271878851796953266884898428828082\ 49651281823995990644*c_0101_4^6 + 104256721658200202263148391047367\ 031324188450884644365185665136385012299968701/100872704995052034689\ 027187885179695326688489842882808249651281823995990644*c_0101_4^5 + 8177207059515539146117562486849383656366454970539381451265174443083\ 3254838873/10087270499505203468902718788517969532668848984288280824\ 9651281823995990644*c_0101_4^4 - 3033786266706420932508081445945688\ 0455900175928815509629128823416475372672663/10087270499505203468902\ 7187885179695326688489842882808249651281823995990644*c_0101_4^3 + 2771056910250350125081767721572755922055441637185692333855376754663\ 006762973/100872704995052034689027187885179695326688489842882808249\ 651281823995990644*c_0101_4^2 + 13752010206864141335906278271182393\ 43032724339310223603041632008382555505871/1008727049950520346890271\ 87885179695326688489842882808249651281823995990644*c_0101_4 - 3993704765209361071137244872397449000812478461309041635832461289987\ 00196761/1008727049950520346890271878851796953266884898428828082496\ 51281823995990644, c_0101_0 + 191769013400195695324533085011374050880618577572206927634781\ 1972605281606901/40349081998020813875610875154071878130675395937153\ 1232998605127295983962576*c_0101_4^30 - 5059636363641971896309626043269525441516703773633701012884051699077\ 064957897/201745409990104069378054375770359390653376979685765616499\ 302563647991981288*c_0101_4^29 - 6759897367295296263938293862193613\ 510903009328664820342440066762268389227135/403490819980208138756108\ 751540718781306753959371531232998605127295983962576*c_0101_4^28 - 1209843893776043466409720911856183564132126421392696902021246871990\ 78324480133/4034908199802081387561087515407187813067539593715312329\ 98605127295983962576*c_0101_4^27 - 1225587613177605111512955288245723145550937367061360460858218820360\ 90518159479/1008727049950520346890271878851796953266884898428828082\ 49651281823995990644*c_0101_4^26 + 1953887776529725934670812510648421973172107988605318615746781937382\ 23039945373/2017454099901040693780543757703593906533769796857656164\ 99302563647991981288*c_0101_4^25 + 4298451118855077937017053353204575737646168535885266449115238214739\ 14979657439/4034908199802081387561087515407187813067539593715312329\ 98605127295983962576*c_0101_4^24 - 2643819076818504093654693732686001965011578084552671269703353467493\ 038156135087/403490819980208138756108751540718781306753959371531232\ 998605127295983962576*c_0101_4^23 + 9927375000871733873461797023057424158913168746070794933846911841230\ 78355578705/2017454099901040693780543757703593906533769796857656164\ 99302563647991981288*c_0101_4^22 + 1375546633419049195389944652074413199431005086031712498478059254795\ 1279784677791/40349081998020813875610875154071878130675395937153123\ 2998605127295983962576*c_0101_4^21 + 4873969586029409024787588714019939589434345044123123950261826995372\ 383769307195/403490819980208138756108751540718781306753959371531232\ 998605127295983962576*c_0101_4^20 - 1307472969141256424448591265383758331393243605475268686308026166746\ 7723791429977/40349081998020813875610875154071878130675395937153123\ 2998605127295983962576*c_0101_4^19 + 1046337132014536586441916225405297932476189431390142901953271956043\ 5769445311487/40349081998020813875610875154071878130675395937153123\ 2998605127295983962576*c_0101_4^18 - 1778677292084947882802316968187193734123428468575606774341548349430\ 125826275717/100872704995052034689027187885179695326688489842882808\ 249651281823995990644*c_0101_4^17 - 2040137743911903319559796601513584650393977986769198437424839722772\ 7251186756591/20174540999010406937805437577035939065337697968576561\ 6499302563647991981288*c_0101_4^16 - 8246693309328365818674983790548453609818979998826485013661576033000\ 74774434879/4034908199802081387561087515407187813067539593715312329\ 98605127295983962576*c_0101_4^15 + 2013743226765552410533673692849659564722956454480279698857887518581\ 8042221196415/10087270499505203468902718788517969532668848984288280\ 8249651281823995990644*c_0101_4^14 - 1364260470400711958618098316993797360340974334432705888489274882753\ 5002432710453/40349081998020813875610875154071878130675395937153123\ 2998605127295983962576*c_0101_4^13 - 2244328307316953335815277202696391585367911254465105831483419094247\ 7032344867721/40349081998020813875610875154071878130675395937153123\ 2998605127295983962576*c_0101_4^12 - 4720978865225253659421620392623780409143141800054048594167320095107\ 5710941047171/40349081998020813875610875154071878130675395937153123\ 2998605127295983962576*c_0101_4^11 + 1132956835024724065816428019766654286612023303256399406280721217569\ 052397698047/100872704995052034689027187885179695326688489842882808\ 249651281823995990644*c_0101_4^10 + 7856331396503405466467008422865307353689030325690236450984888027534\ 5485412054543/40349081998020813875610875154071878130675395937153123\ 2998605127295983962576*c_0101_4^9 - 4471977794731388811397350581555548922074942849125967251870046449396\ 2516802308249/40349081998020813875610875154071878130675395937153123\ 2998605127295983962576*c_0101_4^8 - 7382553051286466368852970439772954808557382270979748118567241577670\ 12998414262/2521817624876300867225679697129492383167212246072070206\ 2412820455998997661*c_0101_4^7 + 7872038434404664168387950920147719\ 790747464453449460613806156889284734632025907/201745409990104069378\ 054375770359390653376979685765616499302563647991981288*c_0101_4^6 - 1517117789970904757118305733520752696142459495306877656056342168066\ 904864477767/201745409990104069378054375770359390653376979685765616\ 499302563647991981288*c_0101_4^5 - 5287494684464338992593798805890544437410134594774872883754200316563\ 25846083405/2017454099901040693780543757703593906533769796857656164\ 99302563647991981288*c_0101_4^4 + 254509842389869090149582694576474\ 921962554685873870208523767717253738314256831/201745409990104069378\ 054375770359390653376979685765616499302563647991981288*c_0101_4^3 - 9366508165689638958718360750150093809988576072667465849136677789912\ 797998275/504363524975260173445135939425898476633442449214414041248\ 25640911997995322*c_0101_4^2 - 402571392679515151583828838130962354\ 8629718074554379073401422906811091153375/10087270499505203468902718\ 7885179695326688489842882808249651281823995990644*c_0101_4 + 6980235913893646524886939292583301626470516515371756919254822542110\ 810726689/403490819980208138756108751540718781306753959371531232998\ 605127295983962576, c_0101_2 + 240229054112505672340356037528866893246672813239583895965868\ 1138140143610915/40349081998020813875610875154071878130675395937153\ 1232998605127295983962576*c_0101_4^30 - 6372274904802692720661149307570291159162831631729925398213830803369\ 467442607/201745409990104069378054375770359390653376979685765616499\ 302563647991981288*c_0101_4^29 - 8148689526798056600182828706523056\ 039839647104466078777116293479939425167321/403490819980208138756108\ 751540718781306753959371531232998605127295983962576*c_0101_4^28 - 1511409517224947306228318518110174750787298654549738613054841894563\ 09272142275/4034908199802081387561087515407187813067539593715312329\ 98605127295983962576*c_0101_4^27 - 1523789676438217973278897897196265535640425887232632914488554569564\ 96667347993/1008727049950520346890271878851796953266884898428828082\ 49651281823995990644*c_0101_4^26 + 2548602163122107394202456895487823164610051780084607089893625093447\ 87690051787/2017454099901040693780543757703593906533769796857656164\ 99302563647991981288*c_0101_4^25 + 5372662755832257472736986163542744200925808860048067730145428351336\ 92315142537/4034908199802081387561087515407187813067539593715312329\ 98605127295983962576*c_0101_4^24 - 3324451839540465078439778690127878054198627218731293169272289191057\ 446500172825/403490819980208138756108751540718781306753959371531232\ 998605127295983962576*c_0101_4^23 + 1286493581276462103669047025246600578161828635875453742850931236223\ 189043685471/201745409990104069378054375770359390653376979685765616\ 499302563647991981288*c_0101_4^22 + 1720893939792602446045870149421335434793225747816977730554043698026\ 6437190653401/40349081998020813875610875154071878130675395937153123\ 2998605127295983962576*c_0101_4^21 + 5618916772407516647453980472433665399793260426468794214601939181520\ 643357981869/403490819980208138756108751540718781306753959371531232\ 998605127295983962576*c_0101_4^20 - 1684435335349946894820949543311561368343482462381608900296107891343\ 5599337566623/40349081998020813875610875154071878130675395937153123\ 2998605127295983962576*c_0101_4^19 + 1321160185953073950836919209791597573965521826161800551260925700236\ 5471792018649/40349081998020813875610875154071878130675395937153123\ 2998605127295983962576*c_0101_4^18 - 2323364113655224363772916307973581283244618022797882893128720956208\ 524980506667/100872704995052034689027187885179695326688489842882808\ 249651281823995990644*c_0101_4^17 - 2552443769945321026944937352032148681022606532187759655412017211918\ 5014020320593/20174540999010406937805437577035939065337697968576561\ 6499302563647991981288*c_0101_4^16 + 3946039914866150261422550371846453369676167916037088780585986452944\ 59528949543/4034908199802081387561087515407187813067539593715312329\ 98605127295983962576*c_0101_4^15 + 2544961996364288003757379716527739621432206304387404084189560055640\ 7808228186633/10087270499505203468902718788517969532668848984288280\ 8249651281823995990644*c_0101_4^14 - 1916960847247608961769781270939698718246949061655336616126060077734\ 1423796497139/40349081998020813875610875154071878130675395937153123\ 2998605127295983962576*c_0101_4^13 - 2872993497154272473258064070046115096010142791110975479129076308075\ 9005756000767/40349081998020813875610875154071878130675395937153123\ 2998605127295983962576*c_0101_4^12 - 5911100985058458967114690395819317996837851365893733939742917762722\ 3760322538821/40349081998020813875610875154071878130675395937153123\ 2998605127295983962576*c_0101_4^11 + 1823113327369381223283273105071562924683628002319270774105662514071\ 959091652729/100872704995052034689027187885179695326688489842882808\ 249651281823995990644*c_0101_4^10 + 9924353546205748611755645266948937813576928003100241305734818405632\ 2973901374249/40349081998020813875610875154071878130675395937153123\ 2998605127295983962576*c_0101_4^9 - 5802203105631310430425233793900152277549401986867347994319604498157\ 2342455098879/40349081998020813875610875154071878130675395937153123\ 2998605127295983962576*c_0101_4^8 - 8918271402802219390534334665370708349029533824696687186075534241751\ 79839127706/2521817624876300867225679697129492383167212246072070206\ 2412820455998997661*c_0101_4^7 + 1003029026495677857657235342152298\ 5188074101459957945993639696602643139947449109/20174540999010406937\ 8054375770359390653376979685765616499302563647991981288*c_0101_4^6 - 2020466105346705806344927696552914065195125327011993029341316100323\ 639561911633/201745409990104069378054375770359390653376979685765616\ 499302563647991981288*c_0101_4^5 - 6479737882922258365340057763866707230035851586690341451192853352523\ 07769194811/2017454099901040693780543757703593906533769796857656164\ 99302563647991981288*c_0101_4^4 + 322356523126263278314721542032269\ 459519732041905969889030671696429757221836457/201745409990104069378\ 054375770359390653376979685765616499302563647991981288*c_0101_4^3 - 1225888229745921027734529438768724365145214241477479577261166174377\ 7400545871/50436352497526017344513593942589847663344244921441404124\ 825640911997995322*c_0101_4^2 - 49481385120699191701870125827874076\ 05066739080814272439163571024720276032737/1008727049950520346890271\ 87885179695326688489842882808249651281823995990644*c_0101_4 + 8566965522527034787836239410042973641956825214626148326514725350885\ 276235415/403490819980208138756108751540718781306753959371531232998\ 605127295983962576, c_0101_3 + 292146199416721114363540379360774930995978124791616824585835\ 548937988774993/403490819980208138756108751540718781306753959371531\ 232998605127295983962576*c_0101_4^30 - 7879747437795312462074384812507217623922127651066261568040346308903\ 64340013/2017454099901040693780543757703593906533769796857656164993\ 02563647991981288*c_0101_4^29 - 86913737964627964834226658907388086\ 2342777730013162109482929740111611574307/40349081998020813875610875\ 1540718781306753959371531232998605127295983962576*c_0101_4^28 - 1821927723059347823038991928924523167616637790326678573027317020676\ 5860963729/40349081998020813875610875154071878130675395937153123299\ 8605127295983962576*c_0101_4^27 - 180906816538542395423877963523924\ 23760890391923105622905049362177935013426583/1008727049950520346890\ 27187885179695326688489842882808249651281823995990644*c_0101_4^26 + 3486709582424150753621679990644120241315161560394642223143913118710\ 6002734401/20174540999010406937805437577035939065337697968576561649\ 9302563647991981288*c_0101_4^25 + 649655544347553065306813109784042\ 18527079728450525506818396663733514846387635/4034908199802081387561\ 08751540718781306753959371531232998605127295983962576*c_0101_4^24 - 4091947879348071449476895056857430377630083511741576144846683682787\ 25720256659/4034908199802081387561087515407187813067539593715312329\ 98605127295983962576*c_0101_4^23 + 1728029254836702444022905126852283024998761608346910218532478031273\ 51831440917/2017454099901040693780543757703593906533769796857656164\ 99302563647991981288*c_0101_4^22 + 2084773206402170364960359444198042896337708439335662445631222983891\ 170210141923/403490819980208138756108751540718781306753959371531232\ 998605127295983962576*c_0101_4^21 + 4967571024795713363905063154892989366754641504482875166095718338467\ 83878388527/4034908199802081387561087515407187813067539593715312329\ 98605127295983962576*c_0101_4^20 - 2229346992277929431016212421257581142769796154424412318675181815515\ 800036874869/403490819980208138756108751540718781306753959371531232\ 998605127295983962576*c_0101_4^19 + 1646478819152400293076896016252364255049542002606689947233295106165\ 646800704707/403490819980208138756108751540718781306753959371531232\ 998605127295983962576*c_0101_4^18 - 3178845374945215426236570302921728244961643546833324195901175302898\ 30733225601/1008727049950520346890271878851796953266884898428828082\ 49651281823995990644*c_0101_4^17 - 3092747041004787881880689674046127330691183438510005947681938995926\ 857049784571/201745409990104069378054375770359390653376979685765616\ 499302563647991981288*c_0101_4^16 + 5932777594552910970913299018206104867971858510884724326950826151394\ 57658861405/4034908199802081387561087515407187813067539593715312329\ 98605127295983962576*c_0101_4^15 + 3182045669682775229797179058504474838150005384111205601013078499834\ 462199916731/100872704995052034689027187885179695326688489842882808\ 249651281823995990644*c_0101_4^14 - 3131739985916641324479254400413710922818909201488662258852401600983\ 399102945377/403490819980208138756108751540718781306753959371531232\ 998605127295983962576*c_0101_4^13 - 3751337085203238176118840197602249137588149752314061577406894856252\ 498446822645/403490819980208138756108751540718781306753959371531232\ 998605127295983962576*c_0101_4^12 - 7173175402880156075820769173983607311429740318402825219085390674444\ 812323429559/403490819980208138756108751540718781306753959371531232\ 998605127295983962576*c_0101_4^11 + 3797432853223888389500973070786881305551550161749386028560692230593\ 72412511619/1008727049950520346890271878851796953266884898428828082\ 49651281823995990644*c_0101_4^10 + 1239477337357841464072572177374964079636654235139153089406612846407\ 8841204791747/40349081998020813875610875154071878130675395937153123\ 2998605127295983962576*c_0101_4^9 - 7826799464077872715177242125578821056707410964980384111335485667170\ 117568635749/403490819980208138756108751540718781306753959371531232\ 998605127295983962576*c_0101_4^8 - 9736781604583362835716204320613874508699557274515726962373661350006\ 9211001903/25218176248763008672256796971294923831672122460720702062\ 412820455998997661*c_0101_4^7 + 12890896336934215545114729700292683\ 55384956579973016745115739905181087699614751/2017454099901040693780\ 54375770359390653376979685765616499302563647991981288*c_0101_4^6 - 2866138330997782627727842921270427580967293909479013579894377045759\ 13469929971/2017454099901040693780543757703593906533769796857656164\ 99302563647991981288*c_0101_4^5 - 762825769835741927253835946801541\ 17273066794014876145761214906010833893537969/2017454099901040693780\ 54375770359390653376979685765616499302563647991981288*c_0101_4^4 + 4110167646437604783999454142083004805977222817385650686960719554715\ 7648727763/20174540999010406937805437577035939065337697968576561649\ 9302563647991981288*c_0101_4^3 - 1685051592303297332133949970189525\ 570896929388737891612531365917075007344085/504363524975260173445135\ 93942589847663344244921441404124825640911997995322*c_0101_4^2 - 6371994870845511031494799224480692794925878858653188737280186041634\ 14308579/1008727049950520346890271878851796953266884898428828082496\ 51281823995990644*c_0101_4 + 12270161042288827507480786770648720813\ 93758447100328864107093811503913895757/4034908199802081387561087515\ 40718781306753959371531232998605127295983962576, c_0101_4^31 - 5*c_0101_4^30 - 5*c_0101_4^29 - 64*c_0101_4^28 - 273*c_0101_4^27 + 134*c_0101_4^26 + 285*c_0101_4^25 - 1316*c_0101_4^24 + 651*c_0101_4^23 + 7477*c_0101_4^22 + 4526*c_0101_4^21 - 6218*c_0101_4^20 + 3450*c_0101_4^19 - 2197*c_0101_4^18 - 22378*c_0101_4^17 - 6321*c_0101_4^16 + 42189*c_0101_4^15 + 4763*c_0101_4^14 - 14074*c_0101_4^13 - 28080*c_0101_4^12 - 4471*c_0101_4^11 + 41967*c_0101_4^10 - 11734*c_0101_4^9 - 13001*c_0101_4^8 + 6526*c_0101_4^7 + 784*c_0101_4^6 - 1024*c_0101_4^5 + 108*c_0101_4^4 + 38*c_0101_4^3 - 20*c_0101_4^2 + c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.280 seconds, Total memory usage: 32.09MB