Magma V2.19-8 Tue Aug 20 2013 16:18:53 on localhost [Seed = 2513701091] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3054 geometric_solution 6.22377535 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.348834890847 0.245157717343 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 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 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.732255593409 1.103432945493 1 4 5 6 0132 0132 0132 0132 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 -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.538346798216 1.476530602874 6 5 4 1 1023 1023 3201 0132 0 0 0 0 0 0 0 0 -1 0 1 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.538346798216 1.476530602874 3 2 4 4 2310 0132 2031 1302 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 1 -1 0 0 1 -1 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.166394525350 0.515246150650 3 5 5 2 1023 3201 2310 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.242815930180 0.536330001166 6 3 2 6 3201 1023 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.772315912404 0.756042574391 ==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' : negation(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' : d['c_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_4'], 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_1']), 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_3, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 82832298517584598401881213557778149546206309584651439108706558473/3\ 12777422496307512967352171090291562590250175812666032733005536*c_01\ 01_4^22 + 494048607428070477426826086075233985634028866341809640140\ 687968761/312777422496307512967352171090291562590250175812666032733\ 005536*c_0101_4^21 + 6478348173935122440067447954083206133601052243\ 039805420651295853963/312777422496307512967352171090291562590250175\ 812666032733005536*c_0101_4^20 - 2445283157483176612513772073825180\ 0985831669661300418916927693850803/31277742249630751296735217109029\ 1562590250175812666032733005536*c_0101_4^19 - 4544879020139011683701579793851637450610813427591433485976376163664\ 3/156388711248153756483676085545145781295125087906333016366502768*c\ _0101_4^18 + 238181357153353688926188842750678035356220166628736533\ 941215294662013/312777422496307512967352171090291562590250175812666\ 032733005536*c_0101_4^17 + 5569983971724421400421856398470276194990\ 9475947592198345918586579485/39097177812038439120919021386286445323\ 781271976583254091625692*c_0101_4^16 - 7354656331085314779333172305584816676135537633007744540436279809077\ 9/78194355624076878241838042772572890647562543953166508183251384*c_\ 0101_4^15 - 2306234837392396069840653709327104087412661587690850615\ 82764955896867/1563887112481537564836760855451457812951250879063330\ 16366502768*c_0101_4^14 - 13409533739108645213457160242540889407297\ 98424213785875150448756994421/1563887112481537564836760855451457812\ 95125087906333016366502768*c_0101_4^13 - 1919710026226181716924675366868467352919688193413696879327523719352\ 091/312777422496307512967352171090291562590250175812666032733005536\ *c_0101_4^12 + 1311385423767513604639866103020847945539154846735510\ 818321359241468093/312777422496307512967352171090291562590250175812\ 666032733005536*c_0101_4^11 - 7514312649572347283796694757259457787\ 69882350457881801018828410470439/1563887112481537564836760855451457\ 81295125087906333016366502768*c_0101_4^10 + 6017932762967894502736735187764697100290548608491116030683797880009\ 875/312777422496307512967352171090291562590250175812666032733005536\ *c_0101_4^9 + 85614303910078086496119074712118197665422610647317538\ 8915953823772277/78194355624076878241838042772572890647562543953166\ 508183251384*c_0101_4^8 + 14641954322203276537540597056072133587348\ 2307301254134590152812076387/19548588906019219560459510693143222661\ 890635988291627045812846*c_0101_4^7 + 7135974635542398505690816514194369184102562730262397247025651430904\ 5/6799509184702337238420699371528077447614134256797087668108816*c_0\ 101_4^6 - 351221902613825167496537627152861366925287811026149873476\ 2324664744371/31277742249630751296735217109029156259025017581266603\ 2733005536*c_0101_4^5 - 5279595931301254425806246484364883510023454\ 01669701463124086565941657/7819435562407687824183804277257289064756\ 2543953166508183251384*c_0101_4^4 - 9663423972408606165398978743999645057185629001876228641666533912839\ 37/312777422496307512967352171090291562590250175812666032733005536*\ c_0101_4^3 - 806521438767353486199959552700693234125012880429413035\ 92966748304623/7819435562407687824183804277257289064756254395316650\ 8183251384*c_0101_4^2 - 2666145365757020902621144310577256335867593\ 9548563447553330473017869/31277742249630751296735217109029156259025\ 0175812666032733005536*c_0101_4 + 192436566968196545379826435154254\ 2542946122074814340816429207585909/31277742249630751296735217109029\ 1562590250175812666032733005536, c_0011_0 - 1, c_0011_1 + 38361627946914773919729668999852194314204650294982662319712/\ 424969324043896077401293710720504840475883391049817979256801*c_0101\ _4^22 - 23042054007472269022377236235252791976921980105867577379017\ 6/424969324043896077401293710720504840475883391049817979256801*c_01\ 01_4^21 - 598121165627345168284245770027741470557377997111663223056\ 5291/849938648087792154802587421441009680951766782099635958513602*c\ _0101_4^20 + 229014156563684738254089311847275635792059588761888511\ 23231341/8499386480877921548025874214410096809517667820996359585136\ 02*c_0101_4^19 + 83234152070550049636164419044146381652618010770496\ 889869139687/849938648087792154802587421441009680951766782099635958\ 513602*c_0101_4^18 - 2241301306324651653048300969762118442309858051\ 35141052242555051/8499386480877921548025874214410096809517667820996\ 35958513602*c_0101_4^17 - 20168765594947887738779658657056884193615\ 1292242902621161175409/42496932404389607740129371072050484047588339\ 1049817979256801*c_0101_4^16 + 289569394102349054881151650187648859\ 106089951768713993292275063/849938648087792154802587421441009680951\ 766782099635958513602*c_0101_4^15 + 415494311823176255002904374991766144358715253139602501920925233/849\ 938648087792154802587421441009680951766782099635958513602*c_0101_4^\ 14 + 12333228464288848801287677534751529054817326301457940279032484\ 04/424969324043896077401293710720504840475883391049817979256801*c_0\ 101_4^13 + 16737355399980163799280628488130913693454755745050269303\ 52683135/8499386480877921548025874214410096809517667820996359585136\ 02*c_0101_4^12 - 64350991511351629660056244379968658845117435039387\ 2045159224959/42496932404389607740129371072050484047588339104981797\ 9256801*c_0101_4^11 + 144330828465115242077805719642156082085687167\ 3393804926895338771/84993864808779215480258742144100968095176678209\ 9635958513602*c_0101_4^10 - 281723631929208966444825737910790376917\ 0871259696052082573832546/42496932404389607740129371072050484047588\ 3391049817979256801*c_0101_4^9 - 1467248214926941380088204750906428\ 294911496041318400831751366795/424969324043896077401293710720504840\ 475883391049817979256801*c_0101_4^8 - 2043828917272531410284296476111677823689421253162360203875431671/84\ 9938648087792154802587421441009680951766782099635958513602*c_0101_4\ ^7 - 29478886271595126194895175686555448598815960567856999155110380\ 71/849938648087792154802587421441009680951766782099635958513602*c_0\ 101_4^6 + 337871830503095146032795768784383629480088271540075871182\ 5280791/84993864808779215480258742144100968095176678209963595851360\ 2*c_0101_4^5 + 9084157712725215771716191308144003828910097660525098\ 85916311784/4249693240438960774012937107205048404758833910498179792\ 56801*c_0101_4^4 + 818212515654124241746941701734820706228542215038\ 538295245175363/849938648087792154802587421441009680951766782099635\ 958513602*c_0101_4^3 + 13012525493410647938140955629185132574547256\ 1232474573320166328/42496932404389607740129371072050484047588339104\ 9817979256801*c_0101_4^2 + 6462487327293366203648177029071709608307\ 769973604227422835970/424969324043896077401293710720504840475883391\ 049817979256801*c_0101_4 - 1218646660429347232510806069120620532625\ 851220650091856162909/424969324043896077401293710720504840475883391\ 049817979256801, c_0011_3 + 8943437925519043788134759249686711513582227578591840469341/3\ 399754592351168619210349685764038723807067128398543834054408*c_0101\ _4^22 - 52848244511259200075601090780872821900187845086080031367295\ /3399754592351168619210349685764038723807067128398543834054408*c_01\ 01_4^21 - 703072863236527131255221910368766985038349730482419253680\ 207/3399754592351168619210349685764038723807067128398543834054408*c\ _0101_4^20 + 260574070898232369185049003669249025967181685073804512\ 5232625/33997545923511686192103496857640387238070671283985438340544\ 08*c_0101_4^19 + 50047089606720461026480239538753555738395044773167\ 57808804247/1699877296175584309605174842882019361903533564199271917\ 027204*c_0101_4^18 - 2539233442788939886716951230950189707188560310\ 4626067721345805/33997545923511686192103496857640387238070671283985\ 43834054408*c_0101_4^17 - 25077213301000161652524498300452986601749\ 627898404963656943575/169987729617558430960517484288201936190353356\ 4199271917027204*c_0101_4^16 + 156686935642356345096893961964268513\ 27337435545340045323501711/1699877296175584309605174842882019361903\ 533564199271917027204*c_0101_4^15 + 6766337748686286828564110203965290118948071164408504245561992/42496\ 9324043896077401293710720504840475883391049817979256801*c_0101_4^14 + 72063625841374713550329779682939070178966548123095467762894779/84\ 9938648087792154802587421441009680951766782099635958513602*c_0101_4\ ^13 + 2208625239965664084962066227843244586373934296239126024946315\ 61/3399754592351168619210349685764038723807067128398543834054408*c_\ 0101_4^12 - 1492390923130628236168775360684679894440073468966239032\ 86073993/3399754592351168619210349685764038723807067128398543834054\ 408*c_0101_4^11 + 3743505303166973078505750040379833164015322847413\ 0674445554785/84993864808779215480258742144100968095176678209963595\ 8513602*c_0101_4^10 - 623987147786852348726633080872018174341559774\ 048578862487763473/339975459235116861921034968576403872380706712839\ 8543834054408*c_0101_4^9 - 5293710552896548510101490401743128195346\ 3109919237638226329970/42496932404389607740129371072050484047588339\ 1049817979256801*c_0101_4^8 - 5538861728958674661120933465098018576\ 7818107048666703903094643/84993864808779215480258742144100968095176\ 6782099635958513602*c_0101_4^7 - 1824910679926415201648493316503931\ 97773055650277847175252248349/1699877296175584309605174842882019361\ 903533564199271917027204*c_0101_4^6 + 367416872351252139980596274792928818706473603129795737893381455/339\ 9754592351168619210349685764038723807067128398543834054408*c_0101_4\ ^5 + 13271547764299881245642509248038763575148693222246353778084481\ 3/1699877296175584309605174842882019361903533564199271917027204*c_0\ 101_4^4 + 811759018239263890617775517060790379249832828131507422778\ 11519/3399754592351168619210349685764038723807067128398543834054408\ *c_0101_4^3 + 93808417564027849252404972631559886806940777949009395\ 49940079/8499386480877921548025874214410096809517667820996359585136\ 02*c_0101_4^2 + 280084234318507116060047735653449149600070761217362\ 0668455117/33997545923511686192103496857640387238070671283985438340\ 54408*c_0101_4 + 70476526513462687030398702265049193252889719162000\ 4769068757/33997545923511686192103496857640387238070671283985438340\ 54408, c_0101_0 - 31929859009357695853288068016126314792304684950633017902269/\ 849938648087792154802587421441009680951766782099635958513602*c_0101\ _4^22 + 38435696904484793477701201236037666971803852374495535396063\ 1/1699877296175584309605174842882019361903533564199271917027204*c_0\ 101_4^21 + 12435721602713951239622078669653451798186828846452346374\ 21528/424969324043896077401293710720504840475883391049817979256801*\ c_0101_4^20 - 19126439927143681070356008345447443736123718571165054\ 669155631/169987729617558430960517484288201936190353356419927191702\ 7204*c_0101_4^19 - 345449560736646509439680487256979072495749221487\ 23580906855861/8499386480877921548025874214410096809517667820996359\ 58513602*c_0101_4^18 + 93798018426044731710647664970022018497652085\ 667344669906197699/849938648087792154802587421441009680951766782099\ 635958513602*c_0101_4^17 + 3340105880536379634330693159853456731610\ 79011820937300609335461/1699877296175584309605174842882019361903533\ 564199271917027204*c_0101_4^16 - 2471115361647830702779272740334290\ 42173144528164310060765506539/1699877296175584309605174842882019361\ 903533564199271917027204*c_0101_4^15 - 345061429306955298401186359523855848500722769858112340572526139/169\ 9877296175584309605174842882019361903533564199271917027204*c_0101_4\ ^14 - 2045498322917153529906970218180442254200700460637541683864231\ 929/1699877296175584309605174842882019361903533564199271917027204*c\ _0101_4^13 - 136636073257772063596542992709791363443829350719933124\ 5191109371/16998772961755843096051748428820193619035335641992719170\ 27204*c_0101_4^12 + 55301146431558995800857074313140681109477788098\ 4935918501172839/84993864808779215480258742144100968095176678209963\ 5958513602*c_0101_4^11 - 121005996370937968429298473928960338569590\ 4149975131660526812413/16998772961755843096051748428820193619035335\ 64199271917027204*c_0101_4^10 + 46923724456309299588289802100629255\ 72284865074618397645015722193/1699877296175584309605174842882019361\ 903533564199271917027204*c_0101_4^9 + 600829179179338410050717317902913272015015847743667909957746033/424\ 969324043896077401293710720504840475883391049817979256801*c_0101_4^\ 8 + 405398134443658779174561583443419435571501357283567166960635544\ /424969324043896077401293710720504840475883391049817979256801*c_010\ 1_4^7 + 12162905027841053785072487919548550019327796106059818364647\ 42231/849938648087792154802587421441009680951766782099635958513602*\ c_0101_4^6 - 142842853568922300680989333386619106702809378854365046\ 9028359963/84993864808779215480258742144100968095176678209963595851\ 3602*c_0101_4^5 - 1496064280823946525430390245852743959625937486186\ 509245588590747/169987729617558430960517484288201936190353356419927\ 1917027204*c_0101_4^4 - 6294118530351999402229601200937209486909586\ 50431914552356200047/1699877296175584309605174842882019361903533564\ 199271917027204*c_0101_4^3 - 52534489063816598890378430842912208525\ 349549111761969626047691/424969324043896077401293710720504840475883\ 391049817979256801*c_0101_4^2 - 16266260812934239066724199095916131\ 76347708663620446239268525/8499386480877921548025874214410096809517\ 66782099635958513602*c_0101_4 + 33050182153691811831945613484844831\ 57753761873498759169301217/1699877296175584309605174842882019361903\ 533564199271917027204, c_0101_1 + 51058255312233563461534473044468818230921417536742985950848/\ 424969324043896077401293710720504840475883391049817979256801*c_0101\ _4^22 - 60538942981163286538076808266410346892859612121941362532066\ 9/849938648087792154802587421441009680951766782099635958513602*c_01\ 01_4^21 - 800922616036969171913517252511168737168252944242732514266\ 9443/849938648087792154802587421441009680951766782099635958513602*c\ _0101_4^20 + 149311853783279630487108709677535727773353591197253182\ 96534512/4249693240438960774012937107205048404758833910498179792568\ 01*c_0101_4^19 + 56600011340429383165672043596430467190783622789156\ 355055401363/424969324043896077401293710720504840475883391049817979\ 256801*c_0101_4^18 - 2898165155668652631665485976295732715217842077\ 94217626929041037/8499386480877921548025874214410096809517667820996\ 35958513602*c_0101_4^17 - 28032269961207043573228736081177376742764\ 9184622205944304741201/42496932404389607740129371072050484047588339\ 1049817979256801*c_0101_4^16 + 345070813754572233530689253276424031\ 531260448974883654542707981/849938648087792154802587421441009680951\ 766782099635958513602*c_0101_4^15 + 585006057871090736347280541421538557429032593835778028015280223/849\ 938648087792154802587421441009680951766782099635958513602*c_0101_4^\ 14 + 16618353632369786332655717141030289630461750031099262032986086\ 25/424969324043896077401293710720504840475883391049817979256801*c_0\ 101_4^13 + 12413126588185307363514745119695059926102868364674849358\ 08614205/4249693240438960774012937107205048404758833910498179792568\ 01*c_0101_4^12 - 77701565733961144204253967415861376927986275411871\ 8972305866346/42496932404389607740129371072050484047588339104981797\ 9256801*c_0101_4^11 + 891377722217967138315928195813275559751044928\ 302662155853071453/424969324043896077401293710720504840475883391049\ 817979256801*c_0101_4^10 - 7339468359944989084885929339532073415486\ 570173198179087888420629/849938648087792154802587421441009680951766\ 782099635958513602*c_0101_4^9 - 45050990344485769729081008313742556\ 72460677903240500655893263311/8499386480877921548025874214410096809\ 51766782099635958513602*c_0101_4^8 - 2984025608237314757009259178786272915138690984233518084677717245/84\ 9938648087792154802587421441009680951766782099635958513602*c_0101_4\ ^7 - 20672918303519243046425036009813140702809264174091307565405962\ 20/424969324043896077401293710720504840475883391049817979256801*c_0\ 101_4^6 + 420326775278161258441460450377299019157874324122366036197\ 6108843/84993864808779215480258742144100968095176678209963595851360\ 2*c_0101_4^5 + 1391987211753812210455372930581627504823164661983300\ 240868257668/424969324043896077401293710720504840475883391049817979\ 256801*c_0101_4^4 + 62455676217156798500209987269007147396452086191\ 4498486062130000/42496932404389607740129371072050484047588339104981\ 7979256801*c_0101_4^3 + 4311570804601455011275072420957954491971393\ 80378086078353755403/8499386480877921548025874214410096809517667820\ 99635958513602*c_0101_4^2 + 199253895656175833832481431487750219795\ 52022963844575760922394/4249693240438960774012937107205048404758833\ 91049817979256801*c_0101_4 - 12667538330583757438041932998556611788\ 44530233661894213339824/4249693240438960774012937107205048404758833\ 91049817979256801, c_0101_3 + 289462978503214088263472532771850835010959154154212861085/42\ 4969324043896077401293710720504840475883391049817979256801*c_0101_4\ ^22 - 7317096748493909701119898864507966772737924845480642288841/16\ 99877296175584309605174842882019361903533564199271917027204*c_0101_\ 4^21 - 43955687409961141728185463035308214407048834577765818998899/\ 849938648087792154802587421441009680951766782099635958513602*c_0101\ _4^20 + 37272919359300840869232966073764929976673288139878368855411\ 3/1699877296175584309605174842882019361903533564199271917027204*c_0\ 101_4^19 + 28367417898185147653247151061270728315465982188619152805\ 2358/424969324043896077401293710720504840475883391049817979256801*c\ _0101_4^18 - 185844048004794857266026633376901172200085129984901448\ 0242615/84993864808779215480258742144100968095176678209963595851360\ 2*c_0101_4^17 - 486179433123994310682535640352591061691966113370695\ 9168791189/16998772961755843096051748428820193619035335641992719170\ 27204*c_0101_4^16 + 56739136454284571037387299159199940957048731250\ 91801936264699/1699877296175584309605174842882019361903533564199271\ 917027204*c_0101_4^15 + 4216131049853392186349648932428343983708537\ 086157343015330251/169987729617558430960517484288201936190353356419\ 9271917027204*c_0101_4^14 + 363716507586130342859484020540624349620\ 19630153875709033498303/1699877296175584309605174842882019361903533\ 564199271917027204*c_0101_4^13 + 1419999372858421101313815601960392\ 9228266999974742000293989707/16998772961755843096051748428820193619\ 03533564199271917027204*c_0101_4^12 - 11144363005453927347647617026317032180851867718216095920304481/8499\ 38648087792154802587421441009680951766782099635958513602*c_0101_4^1\ 1 + 29239098610603300985674411423626842200019562836216359842739345/\ 1699877296175584309605174842882019361903533564199271917027204*c_010\ 1_4^10 - 9623404409021413338195679982696435762233104032568077535964\ 9225/1699877296175584309605174842882019361903533564199271917027204*\ c_0101_4^9 - 624297059918621574398939675630671146191116199109049944\ 8058599/84993864808779215480258742144100968095176678209963595851360\ 2*c_0101_4^8 - 1526258198503194478744801952457653084727450960414943\ 9340333285/84993864808779215480258742144100968095176678209963595851\ 3602*c_0101_4^7 - 8974927836921958274301460435970224671499775278186\ 683655851042/424969324043896077401293710720504840475883391049817979\ 256801*c_0101_4^6 + 15914519988128973962727030045533607543227464729\ 381498194602776/424969324043896077401293710720504840475883391049817\ 979256801*c_0101_4^5 + 60090511242156538145207659872323493835373024\ 76019756684539575/1699877296175584309605174842882019361903533564199\ 271917027204*c_0101_4^4 + 11717160785963408941050927589548705611962\ 678849919839348659375/169987729617558430960517484288201936190353356\ 4199271917027204*c_0101_4^3 + 1674280872507510895635375888159063346\ 12725367763313829879408/4249693240438960774012937107205048404758833\ 91049817979256801*c_0101_4^2 - 388473383427742425114005942966814489\ 577015027048436544977335/424969324043896077401293710720504840475883\ 391049817979256801*c_0101_4 + 5094505768219069166733352678863057868\ 34306146592930443802953/1699877296175584309605174842882019361903533\ 564199271917027204, c_0101_4^23 - 6*c_0101_4^22 - 78*c_0101_4^21 + 298*c_0101_4^20 + 1087*c_0101_4^19 - 2915*c_0101_4^18 - 5279*c_0101_4^17 + 3748*c_0101_4^16 + 5450*c_0101_4^15 + 32172*c_0101_4^14 + 22017*c_0101_4^13 - 16708*c_0101_4^12 + 18679*c_0101_4^11 - 73265*c_0101_4^10 - 38797*c_0101_4^9 - 26684*c_0101_4^8 - 38582*c_0101_4^7 + 43849*c_0101_4^6 + 24045*c_0101_4^5 + 10677*c_0101_4^4 + 3455*c_0101_4^3 + 169*c_0101_4^2 - 38*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.250 seconds, Total memory usage: 32.09MB