Magma V2.19-8 Tue Aug 20 2013 16:16:11 on localhost [Seed = 1065264123] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0448 geometric_solution 4.48978136 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 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 -1 0 1 0 0 -1 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.757468186785 0.040599229272 0 2 0 2 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.588460132543 0.115207074521 3 1 3 1 0132 0132 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.487653447935 1.433072626683 2 2 5 4 0132 3201 0132 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 -1 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.862105234390 1.925064152294 5 5 3 6 1302 2031 0132 0132 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 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.393882807090 0.416168184215 4 4 6 3 1302 2031 2310 0132 0 0 0 0 0 -1 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 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.393882807090 0.416168184215 6 5 4 6 3201 3201 0132 2310 0 0 0 0 0 0 0 0 -1 0 1 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 -1 0 1 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.283329151522 1.167748543498 ==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' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 2115916301532008055916103468942188082791574297035226894474175380668\ 4/64231943247728216990727470534052487509943617180521978541754406116\ 1*c_0101_6^23 + 237310560207737622287995319709874254045305007946017\ 654721793983136724/642319432477282169907274705340524875099436171805\ 219785417544061161*c_0101_6^22 - 3461950832416817625161462856031145\ 58921318038040844271081233692620048/5839267567975292453702497321277\ 4988645403288345929071401594914651*c_0101_6^21 + 1538717063780390994624594122014393713763296312151135760014620251382\ 4895/64231943247728216990727470534052487509943617180521978541754406\ 1161*c_0101_6^20 + 732500526175900038681525085182472861563031507965\ 54193531535632104737543/6423194324772821699072747053405248750994361\ 71805219785417544061161*c_0101_6^19 - 1807019697271879770398030439960899011291959955652970920146400564078\ 52383/6423194324772821699072747053405248750994361718052197854175440\ 61161*c_0101_6^18 - 47637537380243012377233211154968480030334158851\ 6416389760361831181196604/64231943247728216990727470534052487509943\ 6171805219785417544061161*c_0101_6^17 + 6282318687404374678523586344229042461908645741995628672751677984104\ 29433/6423194324772821699072747053405248750994361718052197854175440\ 61161*c_0101_6^16 + 20648082726201642337703344498978818103289761063\ 98400607909742355692449335/6423194324772821699072747053405248750994\ 36171805219785417544061161*c_0101_6^15 - 1381640835603118238301471386215976316717943100581098493467727072824\ 191139/642319432477282169907274705340524875099436171805219785417544\ 061161*c_0101_6^14 - 4931732086643810231214146455078181938720909727\ 228606047253215550939139802/642319432477282169907274705340524875099\ 436171805219785417544061161*c_0101_6^13 + 2482818950645865334610806067395496137295867040360399443155616349576\ 442069/642319432477282169907274705340524875099436171805219785417544\ 061161*c_0101_6^12 + 2218289235292649603536278189255987756072279853\ 12716285076450592133005249/5839267567975292453702497321277498864540\ 3288345929071401594914651*c_0101_6^11 - 1388799895735943168357523470217190762260350771950843551954911814457\ 005232/642319432477282169907274705340524875099436171805219785417544\ 061161*c_0101_6^10 - 4913887432418009475501095492378706118522958181\ 89571941526807172454731586/6423194324772821699072747053405248750994\ 36171805219785417544061161*c_0101_6^9 + 5253481633331417225438360170644475510820522911498456712314724639924\ 9719/64231943247728216990727470534052487509943617180521978541754406\ 1161*c_0101_6^8 + 1757526553945544206614769702306260013944578232618\ 58950253563420292470962/6423194324772821699072747053405248750994361\ 71805219785417544061161*c_0101_6^7 + 1221065756699081308822237392702445903003832848554089736707662619586\ 73018/6423194324772821699072747053405248750994361718052197854175440\ 61161*c_0101_6^6 - 290197520718680094714188912959875977068540746993\ 62684289473568542460544/6423194324772821699072747053405248750994361\ 71805219785417544061161*c_0101_6^5 - 2281625365350763395219088803546685763106108439974110442446346927954\ 1104/64231943247728216990727470534052487509943617180521978541754406\ 1161*c_0101_6^4 - 3780137711581862629730788290292095405810577969595\ 451786889566653285977/642319432477282169907274705340524875099436171\ 805219785417544061161*c_0101_6^3 + 1884632945687141428885905746265282746982238249645768289662201994556\ 99/6423194324772821699072747053405248750994361718052197854175440611\ 61*c_0101_6^2 + 485668619418665321181040134647996957986920948735996\ 600871123448314213/642319432477282169907274705340524875099436171805\ 219785417544061161*c_0101_6 + 1489217743351413213163861115374146141\ 70902531012466673393418936190248/6423194324772821699072747053405248\ 75099436171805219785417544061161, c_0011_0 - 1, c_0011_4 - 340042891030512344616720166109995255054932147984208416165984\ 69500/5839267567975292453702497321277498864540328834592907140159491\ 4651*c_0101_6^23 + 391887998339249644648516767503435528954640056911\ 010082818058828325/583926756797529245370249732127749886454032883459\ 29071401594914651*c_0101_6^22 - 62413194324951416760813488583304902\ 12461845517683098830438422225501/5839267567975292453702497321277498\ 8645403288345929071401594914651*c_0101_6^21 + 2666037697541735747675263135951061767313337041822643375992683369532\ 5/58392675679752924537024973212774988645403288345929071401594914651\ *c_0101_6^20 + 1094369345321306839033041557552399338920302643520423\ 76524686286764636/5839267567975292453702497321277498864540328834592\ 9071401594914651*c_0101_6^19 - 324042636700585836175353320564126549\ 838820417125374687219109568998349/583926756797529245370249732127749\ 88645403288345929071401594914651*c_0101_6^18 - 6648920009771853400137395835611827230591980065453603218415278931764\ 94/5839267567975292453702497321277498864540328834592907140159491465\ 1*c_0101_6^17 + 121254215654858303327346403907361906136922426391405\ 6879998946989073368/58392675679752924537024973212774988645403288345\ 929071401594914651*c_0101_6^16 + 2941099091461846260800445062986627\ 041007000438629636260536868282468491/583926756797529245370249732127\ 74988645403288345929071401594914651*c_0101_6^15 - 3117751849868685644014767042002579460279355729386501756845780374405\ 320/583926756797529245370249732127749886454032883459290714015949146\ 51*c_0101_6^14 - 69490843047052536670269249629467219656053558761324\ 26144392114859906770/5839267567975292453702497321277498864540328834\ 5929071401594914651*c_0101_6^13 + 610008594380040217348645009829516\ 3551771114861116675815267825453621624/58392675679752924537024973212\ 774988645403288345929071401594914651*c_0101_6^12 + 2001901962100642884836205299342307138340693259388813755334550262963\ 414/583926756797529245370249732127749886454032883459290714015949146\ 51*c_0101_6^11 - 27701171379623488902955265167251116877326484584669\ 46227265481600130955/5839267567975292453702497321277498864540328834\ 5929071401594914651*c_0101_6^10 + 692906128707435387505564749063801\ 98070434427243127769457635566441162/5839267567975292453702497321277\ 4988645403288345929071401594914651*c_0101_6^9 + 3194545802107772067016155756175837138400538653405600097104154726425\ 4/58392675679752924537024973212774988645403288345929071401594914651\ *c_0101_6^8 + 27429796968727107279981597096151711526232462913051983\ 1507674353944313/58392675679752924537024973212774988645403288345929\ 071401594914651*c_0101_6^7 + 11596090032981652057092208264395500728\ 0838901360106934744716407652054/58392675679752924537024973212774988\ 645403288345929071401594914651*c_0101_6^6 - 7856640183780152741521336772717706667432355516180136222646474225480\ 1/58392675679752924537024973212774988645403288345929071401594914651\ *c_0101_6^5 - 12801992373106807044155778412426875521130871932817337\ 820071588857676/583926756797529245370249732127749886454032883459290\ 71401594914651*c_0101_6^4 - 349631928781713116991233548649888496208\ 0096076500770118928031688390/58392675679752924537024973212774988645\ 403288345929071401594914651*c_0101_6^3 + 732810075674570875860513164032161818040739686594385369419539226804/\ 58392675679752924537024973212774988645403288345929071401594914651*c\ _0101_6^2 + 6019552209954361520404680670816260387481942529620305186\ 36024348310/5839267567975292453702497321277498864540328834592907140\ 1594914651*c_0101_6 + 830737692023110364452831105671929095639231105\ 77672974268206421934/5839267567975292453702497321277498864540328834\ 5929071401594914651, c_0011_6 + 159968137102216993484458422320975988913596064042547977367298\ 01437/5839267567975292453702497321277498864540328834592907140159491\ 4651*c_0101_6^23 - 185531813899119050071445867999842401916685650194\ 686781752290970209/583926756797529245370249732127749886454032883459\ 29071401594914651*c_0101_6^22 + 29491378389414303569642993830398761\ 85503181591191550298487268553329/5839267567975292453702497321277498\ 8645403288345929071401594914651*c_0101_6^21 - 1275154884312201470593605069300085127268612295739087937337799610329\ 2/58392675679752924537024973212774988645403288345929071401594914651\ *c_0101_6^20 - 5065739656454452342479393078076397417725983106027196\ 9710524030170725/58392675679752924537024973212774988645403288345929\ 071401594914651*c_0101_6^19 + 1566003569923125855000501698779228558\ 69973240694926338187449701248967/5839267567975292453702497321277498\ 8645403288345929071401594914651*c_0101_6^18 + 3034244537681941001791850568042477995625882988976621210397925965069\ 65/5839267567975292453702497321277498864540328834592907140159491465\ 1*c_0101_6^17 - 597756289462634843162327321156801785381721866055752\ 485094767107752563/583926756797529245370249732127749886454032883459\ 29071401594914651*c_0101_6^16 - 13534423876342833000000252902078605\ 56371303184336430008636112455518082/5839267567975292453702497321277\ 4988645403288345929071401594914651*c_0101_6^15 + 1582802683878719518960544444232452011747432690421342872183457995465\ 992/583926756797529245370249732127749886454032883459290714015949146\ 51*c_0101_6^14 + 32113553031014749131637788560692095674198322206925\ 04397810687695036782/5839267567975292453702497321277498864540328834\ 5929071401594914651*c_0101_6^13 - 314017342151696789393886134026022\ 4229912894502903231048883844130340433/58392675679752924537024973212\ 774988645403288345929071401594914651*c_0101_6^12 - 8464565425538696575035684157048157309412810132060933217667300056833\ 70/5839267567975292453702497321277498864540328834592907140159491465\ 1*c_0101_6^11 + 142627710801641097037107362635063580614556914391484\ 9351618893614512036/58392675679752924537024973212774988645403288345\ 929071401594914651*c_0101_6^10 - 8544990997450756140081056003670067\ 4433983705536806082305075997074526/58392675679752924537024973212774\ 988645403288345929071401594914651*c_0101_6^9 - 3936849664684641562509351880296032743598410523957157153545477352464\ 8/58392675679752924537024973212774988645403288345929071401594914651\ *c_0101_6^8 - 13311382283619001901799447323208059251752690149632645\ 2810253776213898/58392675679752924537024973212774988645403288345929\ 071401594914651*c_0101_6^7 - 47432262309889265171733289734858159440\ 186380941227976351443440366872/583926756797529245370249732127749886\ 45403288345929071401594914651*c_0101_6^6 + 4399229356981665165606553043692777412675126515014488162531544238925\ 3/58392675679752924537024973212774988645403288345929071401594914651\ *c_0101_6^5 + 59378570399463369757529240529097340255239328777895400\ 88093480836652/5839267567975292453702497321277498864540328834592907\ 1401594914651*c_0101_6^4 + 8858641171619650642736440301462061095565\ 06964064782549181562839631/5839267567975292453702497321277498864540\ 3288345929071401594914651*c_0101_6^3 - 621275170758159480641801187123425272698889080078968040828751806252/\ 58392675679752924537024973212774988645403288345929071401594914651*c\ _0101_6^2 - 3070085213638175654650332579540872012123540578897785646\ 38823452421/5839267567975292453702497321277498864540328834592907140\ 1594914651*c_0101_6 - 421453733852712065859827840212914656307283947\ 38451299564507189586/5839267567975292453702497321277498864540328834\ 5929071401594914651, c_0101_0 + 840958707102419592922647024715296051250857967370578047697694\ 80083/5839267567975292453702497321277498864540328834592907140159491\ 4651*c_0101_6^23 - 971690684870606636357106274272002675183282303885\ 038916324052670586/583926756797529245370249732127749886454032883459\ 29071401594914651*c_0101_6^22 + 15463990642294777862841089095056820\ 166844560011915007051019121898692/583926756797529245370249732127749\ 88645403288345929071401594914651*c_0101_6^21 - 6639073825993935840453555467844912157227958888346053143929964274047\ 5/58392675679752924537024973212774988645403288345929071401594914651\ *c_0101_6^20 - 2687458139689953135145923712903895555277306510234315\ 22739837769159811/5839267567975292453702497321277498864540328834592\ 9071401594914651*c_0101_6^19 + 809796011049502995432375082667469029\ 943725952295170962299284480128354/583926756797529245370249732127749\ 88645403288345929071401594914651*c_0101_6^18 + 1621437465829170037817121320131660236919839757121616540592042565833\ 079/583926756797529245370249732127749886454032883459290714015949146\ 51*c_0101_6^17 - 30519423822152899238280108235125594929350854463313\ 44301262688528030770/5839267567975292453702497321277498864540328834\ 5929071401594914651*c_0101_6^16 - 718980250079886284653011674017866\ 0268904604564493543722885152754245291/58392675679752924537024973212\ 774988645403288345929071401594914651*c_0101_6^15 + 7944491264461913266942721600095701563958691331363201134559866047492\ 434/583926756797529245370249732127749886454032883459290714015949146\ 51*c_0101_6^14 + 16983082854124919970592062881148499202378559247645\ 193042430699491121355/583926756797529245370249732127749886454032883\ 45929071401594914651*c_0101_6^13 - 1564776512723314865848578327628704844461633890838041094895575932737\ 9604/58392675679752924537024973212774988645403288345929071401594914\ 651*c_0101_6^12 - 4568018122411052924293365435556787872018763721526\ 476753696428117992201/583926756797529245370249732127749886454032883\ 45929071401594914651*c_0101_6^11 + 7094087757304535845534711036070167349002207874707551930728268082322\ 905/583926756797529245370249732127749886454032883459290714015949146\ 51*c_0101_6^10 - 36444568682872806832269190715285122411084764419891\ 0821391733405515330/58392675679752924537024973212774988645403288345\ 929071401594914651*c_0101_6^9 - 10115346218377978542801771327504380\ 2791840787448892678725733474685066/58392675679752924537024973212774\ 988645403288345929071401594914651*c_0101_6^8 - 6775607502837040444142916202922936488312161734580575907692129827798\ 56/5839267567975292453702497321277498864540328834592907140159491465\ 1*c_0101_6^7 - 2678567539635760017448955702961764753695193427250260\ 79104417677102286/5839267567975292453702497321277498864540328834592\ 9071401594914651*c_0101_6^6 + 2101570781519247399889422377137171600\ 94610607989890983894937259266065/5839267567975292453702497321277498\ 8645403288345929071401594914651*c_0101_6^5 + 2600795836456943912993179495152165097227569224716569900109765576785\ 0/58392675679752924537024973212774988645403288345929071401594914651\ *c_0101_6^4 + 67229804552459728408332750658236776869513623411234975\ 65300489774755/5839267567975292453702497321277498864540328834592907\ 1401594914651*c_0101_6^3 - 2930233689031330542391581867844612382802\ 525525243243000616622237392/583926756797529245370249732127749886454\ 03288345929071401594914651*c_0101_6^2 - 1629737448000012440552526337196361983277171991415807162187423817826\ /58392675679752924537024973212774988645403288345929071401594914651*\ c_0101_6 - 73868408846203217612116123117011816697197411785807829638\ 276407753/583926756797529245370249732127749886454032883459290714015\ 94914651, c_0101_1 + 180349317433492620170373170885873581457490193085388049905337\ 424771/583926756797529245370249732127749886454032883459290714015949\ 14651*c_0101_6^23 - 20830607901825998428780564353108315055815882047\ 20285125212510852455/5839267567975292453702497321277498864540328834\ 5929071401594914651*c_0101_6^22 + 331546088968159458711742278574547\ 88320529662813894219497261397240419/5839267567975292453702497321277\ 4988645403288345929071401594914651*c_0101_6^21 - 1422351603455388270239485398774033388741328410873416657371921812368\ 14/5839267567975292453702497321277498864540328834592907140159491465\ 1*c_0101_6^20 - 576936664128886524892629269564356380953997496977985\ 220724488939908011/583926756797529245370249732127749886454032883459\ 29071401594914651*c_0101_6^19 + 17340381347259188214304367929550005\ 39907806847286774260861933093982633/5839267567975292453702497321277\ 4988645403288345929071401594914651*c_0101_6^18 + 3483811070524740752483818050971175936127966157772552783256680628254\ 072/583926756797529245370249732127749886454032883459290714015949146\ 51*c_0101_6^17 - 65293324805426773513409647892759437704340681851810\ 79171482776356949748/5839267567975292453702497321277498864540328834\ 5929071401594914651*c_0101_6^16 - 154384168440535443506187350261008\ 16086078286856116748138889078410501527/5839267567975292453702497321\ 2774988645403288345929071401594914651*c_0101_6^15 + 1697226899412548237951389174494584076422644892867779096195872394923\ 5815/58392675679752924537024973212774988645403288345929071401594914\ 651*c_0101_6^14 + 3645736620066750624068389063103700759389212501942\ 3527678741999319590126/58392675679752924537024973212774988645403288\ 345929071401594914651*c_0101_6^13 - 3342476124147822791580734706905266199326020370139106383134828499288\ 1705/58392675679752924537024973212774988645403288345929071401594914\ 651*c_0101_6^12 - 9847126750641911519744087270448831745270384982764\ 637844252308795604873/583926756797529245370249732127749886454032883\ 45929071401594914651*c_0101_6^11 + 1524930889334173386135433904136797177953167412900434435471856946258\ 4979/58392675679752924537024973212774988645403288345929071401594914\ 651*c_0101_6^10 - 8302493514568774750933172586202359878746410131118\ 14842401518100630125/5839267567975292453702497321277498864540328834\ 5929071401594914651*c_0101_6^9 - 2584899015648485758589718748339229\ 14856173795031890932351767010221431/5839267567975292453702497321277\ 4988645403288345929071401594914651*c_0101_6^8 - 1389663924350003610262687599752828489748128581731353459075461625213\ 012/583926756797529245370249732127749886454032883459290714015949146\ 51*c_0101_6^7 - 579545357122795402369349359280359998015592885075331\ 954120603317299368/583926756797529245370249732127749886454032883459\ 29071401594914651*c_0101_6^6 + 437988072125952719492801822601576012\ 627608174323005866035168635833773/583926756797529245370249732127749\ 88645403288345929071401594914651*c_0101_6^5 + 5459421212792109425758663444831594689466686717950449585268811531460\ 6/58392675679752924537024973212774988645403288345929071401594914651\ *c_0101_6^4 + 12716849280507715534714471350554904092701181939541494\ 859372534797285/583926756797529245370249732127749886454032883459290\ 71401594914651*c_0101_6^3 - 400241753194343118059298391055197032380\ 9438450655370847293494737537/58392675679752924537024973212774988645\ 403288345929071401594914651*c_0101_6^2 - 3227384765161979672619314406993763830475061774406399330427368538287\ /58392675679752924537024973212774988645403288345929071401594914651*\ c_0101_6 - 27734980478591785812988652971571632681507067425727387717\ 3836408618/58392675679752924537024973212774988645403288345929071401\ 594914651, c_0101_3 - 564535876970619145117711305536621584109102097818002760599336\ 81247/5839267567975292453702497321277498864540328834592907140159491\ 4651*c_0101_6^23 + 647130522371281669267241964714257549614540397963\ 392494503046456934/583926756797529245370249732127749886454032883459\ 29071401594914651*c_0101_6^22 - 10321879768292951287613923827325065\ 169198084035865284628590309059842/583926756797529245370249732127749\ 88645403288345929071401594914651*c_0101_6^21 + 4362486929507377816780929118210374397910763944739105712129636078342\ 2/58392675679752924537024973212774988645403288345929071401594914651\ *c_0101_6^20 + 1843809003936500835445127562368698107295921470989443\ 44627136469496731/5839267567975292453702497321277498864540328834592\ 9071401594914651*c_0101_6^19 - 526665668986878508097357536687809293\ 204639320078026531589461646739683/583926756797529245370249732127749\ 88645403288345929071401594914651*c_0101_6^18 - 1136267844817982202652846843992058080506482705742155142413765728481\ 290/583926756797529245370249732127749886454032883459290714015949146\ 51*c_0101_6^17 + 19439548099519540663083732818948815601619790451496\ 96665063403143435940/5839267567975292453702497321277498864540328834\ 5929071401594914651*c_0101_6^16 + 500183690919619715651598779535375\ 3633274853649318439358454660131396297/58392675679752924537024973212\ 774988645403288345929071401594914651*c_0101_6^15 - 4873190070165544701035621844593294192047717722476943600236343634548\ 545/583926756797529245370249732127749886454032883459290714015949146\ 51*c_0101_6^14 - 11835920703419604413491377858022132233647359955072\ 986495911067945886976/583926756797529245370249732127749886454032883\ 45929071401594914651*c_0101_6^13 + 9418460505730248227839323243277558345353576165970209821322528046015\ 489/583926756797529245370249732127749886454032883459290714015949146\ 51*c_0101_6^12 + 39048104571469106553736192240393269581976828273591\ 87450951942922747251/5839267567975292453702497321277498864540328834\ 5929071401594914651*c_0101_6^11 - 440365529170177877701537678022908\ 9366877228712135275243090558042168661/58392675679752924537024973212\ 774988645403288345929071401594914651*c_0101_6^10 - 1525171747471088297788905682388046365838808787702012257358124390773\ 79/5839267567975292453702497321277498864540328834592907140159491465\ 1*c_0101_6^9 + 6306985749754209917017969905256989406251291136710849\ 5908467394639805/58392675679752924537024973212774988645403288345929\ 071401594914651*c_0101_6^8 + 45626964193381487644116842636519966221\ 5617549563971644594976763008128/58392675679752924537024973212774988\ 645403288345929071401594914651*c_0101_6^7 + 2163958010234570659259431843128379038637598762974903979802369295614\ 66/5839267567975292453702497321277498864540328834592907140159491465\ 1*c_0101_6^6 - 1189488708761888540554286992242780424782823259325463\ 14474175569744934/5839267567975292453702497321277498864540328834592\ 9071401594914651*c_0101_6^5 - 2790664014395375401586602386213553595\ 4270721008052668320903366080796/58392675679752924537024973212774988\ 645403288345929071401594914651*c_0101_6^4 - 6623727705597501192008129175993953705311053512601654167619521614027\ /58392675679752924537024973212774988645403288345929071401594914651*\ c_0101_6^3 + 133129144516263118748240085439785470082045290759928176\ 6158577361868/58392675679752924537024973212774988645403288345929071\ 401594914651*c_0101_6^2 + 10386303230295489363052535564479240603218\ 09060844361358093915712073/5839267567975292453702497321277498864540\ 3288345929071401594914651*c_0101_6 + 137483275594891054314751629805421476211898294928154932872939435185/\ 58392675679752924537024973212774988645403288345929071401594914651, c_0101_6^24 - 12*c_0101_6^23 + 189*c_0101_6^22 - 871*c_0101_6^21 - 2850*c_0101_6^20 + 11079*c_0101_6^19 + 15091*c_0101_6^18 - 45200*c_0101_6^17 - 69909*c_0101_6^16 + 133779*c_0101_6^15 + 162451*c_0101_6^14 - 279340*c_0101_6^13 + 22556*c_0101_6^12 + 115194*c_0101_6^11 - 41170*c_0101_6^10 - 2027*c_0101_6^9 - 6892*c_0101_6^8 + 310*c_0101_6^7 + 4146*c_0101_6^6 - 718*c_0101_6^5 - 144*c_0101_6^4 - 62*c_0101_6^3 - 9*c_0101_6^2 + 8*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB