Magma V2.19-8 Tue Aug 20 2013 16:17:41 on localhost [Seed = 593674188] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1913 geometric_solution 5.51982004 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.440180333596 0.303617010739 2 0 3 0 0132 2310 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.020415486357 0.758196204874 1 4 3 5 0132 0132 3012 0132 0 0 0 0 0 0 -1 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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 1.157567547897 0.923492549247 5 2 4 1 1023 1230 1023 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.157567547897 0.923492549247 4 2 3 4 3201 0132 1023 2310 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 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.031608805086 0.725744923748 6 3 2 6 0132 1023 0132 3201 0 0 0 0 0 0 -1 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 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.733028494935 0.328311536916 5 5 6 6 0132 2310 1230 3012 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 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.441913878353 0.575809085828 ==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' : 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' : d['c_0101_1'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : 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_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_3']), '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' : negation(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_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), '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_6'], 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_3']), '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_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 132088013374185250686773450067281488883895163400300778505539593/948\ 39624512268254940356538748543453556585631572838445559664732*c_0101_\ 6^22 + 631281124624363184301925293819904952675367363289279285298480\ 135/31613208170756084980118846249514484518861877190946148519888244*\ c_0101_6^21 + 83002998238954171136979290278919411849493159691642237\ 58514010003/9483962451226825494035653874854345355658563157283844555\ 9664732*c_0101_6^20 + 619764881355547528405130305531303891280818244\ 945219491506054845/158066040853780424900594231247572422594309385954\ 73074259944122*c_0101_6^19 - 96765988990766027050604694794712693985\ 58715266614503361445483749/2370990612806706373508913468713586338914\ 6407893209611389916183*c_0101_6^18 + 308894049766848172440443244384289439055822533767515129580206155843/\ 94839624512268254940356538748543453556585631572838445559664732*c_01\ 01_6^17 - 580563325403238351969410005916192962493397060251294343484\ 69142873/7903302042689021245029711562378621129715469297736537129972\ 061*c_0101_6^16 + 3341566337903428890751498893141439984451703607579\ 85681408826430711/3161320817075608498011884624951448451886187719094\ 6148519888244*c_0101_6^15 - 403869308592806580969495758891883836558\ 890872127542631199852859340/237099061280670637350891346871358633891\ 46407893209611389916183*c_0101_6^14 + 235419556619251785488937952108842872107796074143252067315773513333/\ 15806604085378042490059423124757242259430938595473074259944122*c_01\ 01_6^13 - 294305280870409895664611239722668710611300744665972848771\ 105692027/316132081707560849801188462495144845188618771909461485198\ 88244*c_0101_6^12 - 63403210711136835835798139748773204068586663414\ 9361849011830055849/47419812256134127470178269374271726778292815786\ 419222779832366*c_0101_6^11 - 5602618222989410134821424441548416049\ 1836540781308032274794604325/15806604085378042490059423124757242259\ 430938595473074259944122*c_0101_6^10 - 32723260295504297285150426213295433116929444520336396241077754171/2\ 3709906128067063735089134687135863389146407893209611389916183*c_010\ 1_6^9 + 11387381725023997802435388491152630560379464780983862616774\ 84517653/4741981225613412747017826937427172677829281578641922277983\ 2366*c_0101_6^8 + 2646382048759302061798533912601694548682075003365\ 265716040684768447/948396245122682549403565387485434535565856315728\ 38445559664732*c_0101_6^7 + 207058166052253377782830954034834897012\ 5046813908112340648372826337/94839624512268254940356538748543453556\ 585631572838445559664732*c_0101_6^6 + 285762352014175811257642243756444733773576132705025419514209645408/\ 23709906128067063735089134687135863389146407893209611389916183*c_01\ 01_6^5 + 3576014921106404747920256582888264932952208359730019626351\ 04874323/9483962451226825494035653874854345355658563157283844555966\ 4732*c_0101_6^4 + 2831280184450707277880434172794422123378972952096\ 4402790818834731/31613208170756084980118846249514484518861877190946\ 148519888244*c_0101_6^3 + 82165127745657540231404039449168975055402\ 0236217435408531116907/27894007209490663217751923161336309869584009\ 28612895457637198*c_0101_6^2 + 494836100227221740589588618257098097\ 006973468174590966367789121/185960048063271088118346154408908732463\ 8933952408596971758132*c_0101_6 + 871785351923312889411015702670867\ 8958751806384278569328667992049/94839624512268254940356538748543453\ 556585631572838445559664732, c_0011_0 - 1, c_0011_1 - 81685801174091093120346642360035505290141815638494040921/232\ 7409863119788336900452495731022934466750879109633256268*c_0101_6^22 - 1110436065241725831908050849756181846574576250746550210869/232740\ 9863119788336900452495731022934466750879109633256268*c_0101_6^21 - 4287398005343024715550095112342707956676015347836337305865/23274098\ 63119788336900452495731022934466750879109633256268*c_0101_6^20 + 580996884820043903425298360542924648820575570576404386735/116370493\ 1559894168450226247865511467233375439554816628134*c_0101_6^19 + 6041273420663873496860580193318208430074343356823589836484/58185246\ 5779947084225113123932755733616687719777408314067*c_0101_6^18 - 209066001075064482840966424688090856929842517235023642297571/232740\ 9863119788336900452495731022934466750879109633256268*c_0101_6^17 + 145113533024779121108242486138331029351749410324640796294870/581852\ 465779947084225113123932755733616687719777408314067*c_0101_6^16 - 1002168787027950324574830796810060422783707499925530605218259/23274\ 09863119788336900452495731022934466750879109633256268*c_0101_6^15 + 806870143842118421160603205792297700958350390391582036524171/116370\ 4931559894168450226247865511467233375439554816628134*c_0101_6^14 - 464432716401282783078633709408629187818083935881283459318598/581852\ 465779947084225113123932755733616687719777408314067*c_0101_6^13 + 1582146507562656183089168041522864609561633425739491528607889/23274\ 09863119788336900452495731022934466750879109633256268*c_0101_6^12 - 3884868018325387985138076662299140819896452402176221067506/58185246\ 5779947084225113123932755733616687719777408314067*c_0101_6^11 - 41202992107975138857259049616037751201085441760550174943035/1163704\ 931559894168450226247865511467233375439554816628134*c_0101_6^10 + 38861419321555177132319932255579804761845161704250667957399/1163704\ 931559894168450226247865511467233375439554816628134*c_0101_6^9 - 362943290174169710262813767728748101608571187578654125762704/581852\ 465779947084225113123932755733616687719777408314067*c_0101_6^8 - 574631851820382873619328606653243275763927154980486029848659/232740\ 9863119788336900452495731022934466750879109633256268*c_0101_6^7 - 505903873546809964347554336536657037643204726560516495782003/232740\ 9863119788336900452495731022934466750879109633256268*c_0101_6^6 - 31496999243457222658218594954075700295108118998419186355163/5818524\ 65779947084225113123932755733616687719777408314067*c_0101_6^5 + 34673672892863565440891646992598313395603781598897648961753/2327409\ 863119788336900452495731022934466750879109633256268*c_0101_6^4 - 12032049121349541177598872040310252412247849320386732295665/2327409\ 863119788336900452495731022934466750879109633256268*c_0101_6^3 + 11610093334560495056018978053410655602133591917099624949/5818524657\ 79947084225113123932755733616687719777408314067*c_0101_6^2 - 9052466759417228446930155966437203066298251444029761566151/23274098\ 63119788336900452495731022934466750879109633256268*c_0101_6 + 1514662218249963243778665993277715334919135006991861325009/23274098\ 63119788336900452495731022934466750879109633256268, c_0011_3 - 125467910578727147453251745969674110214670383042153528473/23\ 27409863119788336900452495731022934466750879109633256268*c_0101_6^2\ 2 - 1698461302573973252437972021737085012905546103823118114169/2327\ 409863119788336900452495731022934466750879109633256268*c_0101_6^21 - 6491926401923433448926889960779075452850686549097270436205/23274098\ 63119788336900452495731022934466750879109633256268*c_0101_6^20 + 1055068504649830655354746597299183855572724745974706631627/11637049\ 31559894168450226247865511467233375439554816628134*c_0101_6^19 + 9207814655897775449252916916971603292701812974423790294297/58185246\ 5779947084225113123932755733616687719777408314067*c_0101_6^18 - 323144362109637644751154178066276604613306520953438874639083/232740\ 9863119788336900452495731022934466750879109633256268*c_0101_6^17 + 227728720721563209280796106664330042448925339189495523026283/581852\ 465779947084225113123932755733616687719777408314067*c_0101_6^16 - 1599947452516487897252304433701846575747334251980871892524547/23274\ 09863119788336900452495731022934466750879109633256268*c_0101_6^15 + 1297740290485954958616243934892746284112730093665046763321067/11637\ 04931559894168450226247865511467233375439554816628134*c_0101_6^14 - 762204822800685811211611961368627448628429019278962123305581/581852\ 465779947084225113123932755733616687719777408314067*c_0101_6^13 + 2682769034166525472852509767891390036965862790009217733458765/23274\ 09863119788336900452495731022934466750879109633256268*c_0101_6^12 - 68746504522208902128050953351675519635856433112787298265680/5818524\ 65779947084225113123932755733616687719777408314067*c_0101_6^11 - 7049881860363642335132615992971436395539751088111382522619/11637049\ 31559894168450226247865511467233375439554816628134*c_0101_6^10 + 42056163834860439691664073909214474912020698957002987862779/1163704\ 931559894168450226247865511467233375439554816628134*c_0101_6^9 - 553288964734586265928961589662332865431339737696385960883001/581852\ 465779947084225113123932755733616687719777408314067*c_0101_6^8 - 769467814191476703487661329657341224548111461731417213811055/232740\ 9863119788336900452495731022934466750879109633256268*c_0101_6^7 - 775828978803041288773027780604897690954038493672766295611051/232740\ 9863119788336900452495731022934466750879109633256268*c_0101_6^6 - 41088111021089137686882660206569282565542336408911651795911/5818524\ 65779947084225113123932755733616687719777408314067*c_0101_6^5 + 30346014024174971367180745166064863520569750616160106700201/2327409\ 863119788336900452495731022934466750879109633256268*c_0101_6^4 - 24859625102132743546036817362791086425309784411408670187017/2327409\ 863119788336900452495731022934466750879109633256268*c_0101_6^3 - 2668666864130374765875477921650105540389129685591346708124/58185246\ 5779947084225113123932755733616687719777408314067*c_0101_6^2 - 12299110844386716744942695659805246188286064171051185123955/2327409\ 863119788336900452495731022934466750879109633256268*c_0101_6 + 4314251337341429263552326171849453325852443423683535346293/23274098\ 63119788336900452495731022934466750879109633256268, c_0101_0 - 25873898887091139888032102172009353504241862372082461865/116\ 3704931559894168450226247865511467233375439554816628134*c_0101_6^22 - 178923193194476838406989579921764864863710491780558145187/5818524\ 65779947084225113123932755733616687719777408314067*c_0101_6^21 - 1441027895765813411809495237669279183114570536967455043045/11637049\ 31559894168450226247865511467233375439554816628134*c_0101_6^20 + 48640990670373584400277879207563518801634332339105947479/1163704931\ 559894168450226247865511467233375439554816628134*c_0101_6^19 + 7742416899926645114557795914808472404134636760376978994399/11637049\ 31559894168450226247865511467233375439554816628134*c_0101_6^18 - 32223957142183566468320319454779173810912565181566170260775/5818524\ 65779947084225113123932755733616687719777408314067*c_0101_6^17 + 84063429140066163167604614822166318825889648808141405716694/5818524\ 65779947084225113123932755733616687719777408314067*c_0101_6^16 - 273423053642652591535065382117821380389410805693627373931717/116370\ 4931559894168450226247865511467233375439554816628134*c_0101_6^15 + 434082988039109062672470460762093245349682989838533894556299/116370\ 4931559894168450226247865511467233375439554816628134*c_0101_6^14 - 464417350823661333529175354568620525649103940080579604675569/116370\ 4931559894168450226247865511467233375439554816628134*c_0101_6^13 + 179429377351007586397947729543080595242991213606289316259528/581852\ 465779947084225113123932755733616687719777408314067*c_0101_6^12 + 58504508906351540175751564581455183805552879982651999818647/5818524\ 65779947084225113123932755733616687719777408314067*c_0101_6^11 - 13546384667698386877089155932082621559819814864813400362719/5818524\ 65779947084225113123932755733616687719777408314067*c_0101_6^10 + 6335344827649996963435655153243447359670866996297887340538/58185246\ 5779947084225113123932755733616687719777408314067*c_0101_6^9 - 221879890302102642307933901908155931647890215714510624738074/581852\ 465779947084225113123932755733616687719777408314067*c_0101_6^8 - 286063537172092141516277395396146566882553373032706277741043/116370\ 4931559894168450226247865511467233375439554816628134*c_0101_6^7 - 103371242111800622399281731801930764148657656727177244697317/581852\ 465779947084225113123932755733616687719777408314067*c_0101_6^6 - 42385098894622596948936261642204298198622066166403751768028/5818524\ 65779947084225113123932755733616687719777408314067*c_0101_6^5 - 10716740551067368105972522902927133066278018386377531688643/1163704\ 931559894168450226247865511467233375439554816628134*c_0101_6^4 - 3793875283865437612887489226567999331263466987488983949895/58185246\ 5779947084225113123932755733616687719777408314067*c_0101_6^3 - 833906878331470201021057703065399941548958793493342190161/581852465\ 779947084225113123932755733616687719777408314067*c_0101_6^2 - 2958914865150105470270645581019873822895358767650496921283/11637049\ 31559894168450226247865511467233375439554816628134*c_0101_6 + 389715509994895170169156577497073385600456946388676569367/581852465\ 779947084225113123932755733616687719777408314067, c_0101_1 + 58073814389754700042232585861023798259187467518331070449/116\ 3704931559894168450226247865511467233375439554816628134*c_0101_6^22 + 392252339571045686468885133957679432640744221150146536241/5818524\ 65779947084225113123932755733616687719777408314067*c_0101_6^21 + 2981919039470505731686121619633578018311594408265703597813/11637049\ 31559894168450226247865511467233375439554816628134*c_0101_6^20 - 1072270324890640656920823142223751989590221411593120728883/11637049\ 31559894168450226247865511467233375439554816628134*c_0101_6^19 - 17071923228642138687413173665930172715809318222386753967391/1163704\ 931559894168450226247865511467233375439554816628134*c_0101_6^18 + 75003007982747350916048133771221113739310883065135457092013/5818524\ 65779947084225113123932755733616687719777408314067*c_0101_6^17 - 212806343359315865045753918536175832050813285240890584870775/581852\ 465779947084225113123932755733616687719777408314067*c_0101_6^16 + 751010370955787302666947884737322409115680956672154224564551/116370\ 4931559894168450226247865511467233375439554816628134*c_0101_6^15 - 1220334357622849896698382646139095959890439790063202541033037/11637\ 04931559894168450226247865511467233375439554816628134*c_0101_6^14 + 1445491465227502811237838450327724510279251772242775104151805/11637\ 04931559894168450226247865511467233375439554816628134*c_0101_6^13 - 642017151607156846685605813176086832390784485525496825658152/581852\ 465779947084225113123932755733616687719777408314067*c_0101_6^12 + 86220092823617692675958392072840968035030974703326166713555/5818524\ 65779947084225113123932755733616687719777408314067*c_0101_6^11 - 7108839257312690617392937664866635443186778469526779167943/58185246\ 5779947084225113123932755733616687719777408314067*c_0101_6^10 - 6525703444849545704079068613982508940898367580593634196575/58185246\ 5779947084225113123932755733616687719777408314067*c_0101_6^9 + 511783535197734989201838843835315773927888256947959731244390/581852\ 465779947084225113123932755733616687719777408314067*c_0101_6^8 + 320327391872387638422345518787984089487292020866027054258195/116370\ 4931559894168450226247865511467233375439554816628134*c_0101_6^7 + 172092740624741224241862144550599359151107869078660614775016/581852\ 465779947084225113123932755733616687719777408314067*c_0101_6^6 + 18889290272635503125351417567112105512120018144560262333114/5818524\ 65779947084225113123932755733616687719777408314067*c_0101_6^5 - 23077125093053513498236576633873998392978457291724023867933/1163704\ 931559894168450226247865511467233375439554816628134*c_0101_6^4 + 3582312708823087632612998324305383881571709683473850482844/58185246\ 5779947084225113123932755733616687719777408314067*c_0101_6^3 + 1683703365308499403363472104319243547391767548479737566697/58185246\ 5779947084225113123932755733616687719777408314067*c_0101_6^2 + 6308083227877203446436494803272477292962562250698075256371/11637049\ 31559894168450226247865511467233375439554816628134*c_0101_6 - 1227574786050487017345084507157115053542238706002331212329/58185246\ 5779947084225113123932755733616687719777408314067, c_0101_3 - 5994111675716702006508945652014472949209239226000676509/1163\ 704931559894168450226247865511467233375439554816628134*c_0101_6^22 - 37728322332459924009938912037549244990665118621556303689/5818524657\ 79947084225113123932755733616687719777408314067*c_0101_6^21 - 228028173847350537573715800251014343928087096112818084925/116370493\ 1559894168450226247865511467233375439554816628134*c_0101_6^20 + 463247536621421783095840891159672793841090720360963185785/116370493\ 1559894168450226247865511467233375439554816628134*c_0101_6^19 + 1910565376833823626600579772569115626621999136020223731783/11637049\ 31559894168450226247865511467233375439554816628134*c_0101_6^18 - 8634816374697389484254476767922731185303147603838696516335/58185246\ 5779947084225113123932755733616687719777408314067*c_0101_6^17 + 28337956953134436246723552366989025680776196011726016962509/5818524\ 65779947084225113123932755733616687719777408314067*c_0101_6^16 - 104007372302055503702037249893467442726932037849241823670333/116370\ 4931559894168450226247865511467233375439554816628134*c_0101_6^15 + 155363457720755556125311217803194425026777276746162800423393/116370\ 4931559894168450226247865511467233375439554816628134*c_0101_6^14 - 187254194450895952933815968353860167905256440174687533507703/116370\ 4931559894168450226247865511467233375439554816628134*c_0101_6^13 + 71185083164223381576428069233651908242746596568194889703015/5818524\ 65779947084225113123932755733616687719777408314067*c_0101_6^12 + 8952987446060249421284941868412845978825438692762569256030/58185246\ 5779947084225113123932755733616687719777408314067*c_0101_6^11 - 64896905325082427906735727350950036151723010071090399403152/5818524\ 65779947084225113123932755733616687719777408314067*c_0101_6^10 + 21074991559411359752107336274777000048078795012245365422524/5818524\ 65779947084225113123932755733616687719777408314067*c_0101_6^9 - 53994061066008301622960999518849356408681824732726552362805/5818524\ 65779947084225113123932755733616687719777408314067*c_0101_6^8 + 59840854777597137809974142733859006028421306404058681057931/1163704\ 931559894168450226247865511467233375439554816628134*c_0101_6^7 + 41458262298743291984639367735764900640197765356096091052691/5818524\ 65779947084225113123932755733616687719777408314067*c_0101_6^6 + 19326900289600344390452156610068384081426172146437832028908/5818524\ 65779947084225113123932755733616687719777408314067*c_0101_6^5 + 30112337541670140758427166659293412771985350615279712848981/1163704\ 931559894168450226247865511467233375439554816628134*c_0101_6^4 - 65387414896417239346380909344533179430014462439516145478/5818524657\ 79947084225113123932755733616687719777408314067*c_0101_6^3 - 1028418497788160435276482691780720613661793862376904562810/58185246\ 5779947084225113123932755733616687719777408314067*c_0101_6^2 - 128022936381590392972026059942769185793178312794974748581/116370493\ 1559894168450226247865511467233375439554816628134*c_0101_6 + 319052453521775098841085181501409541980653589874101789476/581852465\ 779947084225113123932755733616687719777408314067, c_0101_6^23 + 14*c_0101_6^22 + 58*c_0101_6^21 + 7*c_0101_6^20 - 302*c_0101_6^19 + 2439*c_0101_6^18 - 6065*c_0101_6^17 + 9371*c_0101_6^16 - 14751*c_0101_6^15 + 14698*c_0101_6^14 - 10097*c_0101_6^13 - 7689*c_0101_6^12 + 1074*c_0101_6^11 - 460*c_0101_6^10 + 17434*c_0101_6^9 + 14211*c_0101_6^8 + 8958*c_0101_6^7 + 3879*c_0101_6^6 + 131*c_0101_6^5 - 44*c_0101_6^4 + 85*c_0101_6^3 + 119*c_0101_6^2 + 10*c_0101_6 - 17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB