Magma V2.19-8 Tue Aug 20 2013 16:16:28 on localhost [Seed = 4189611295] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0745 geometric_solution 4.69182740 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 3201 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0.136770351060 0.115810545995 0 1 0 1 0132 1302 2310 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -5.138463293384 3.677579753971 3 0 4 0 0132 2310 0132 0132 0 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 1 -1 -1 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 -0.401726844656 2.988148176057 2 4 4 5 0132 3201 0213 0132 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 1 0 -1 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.365217953660 0.693134416158 5 3 3 2 1023 0213 2310 0132 0 0 0 0 0 1 0 -1 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 1 0 -1 0 0 1 -1 -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.365217953660 0.693134416158 6 4 3 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.650473869976 0.244481128314 5 5 6 6 0132 2310 2031 1302 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.130529256460 0.941238034458 ==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' : 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_0101_6'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_2']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_4'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : d['c_0011_4'], 'c_0110_1' : d['c_0011_4'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0011_4'])})} 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_2, c_0011_4, c_0101_1, c_0101_2, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t + 131815110817591250635098865520571546592545836595179164/917139757192\ 063499311263460154599039630902041833013*c_0101_6^24 - 155216903857852211451424778580142585671589179926179278/917139757192\ 063499311263460154599039630902041833013*c_0101_6^23 - 2608270739849003743309319563844324364440029332878610173/91713975719\ 2063499311263460154599039630902041833013*c_0101_6^22 + 5076298997687885245279286542753558374844271785729459992/91713975719\ 2063499311263460154599039630902041833013*c_0101_6^21 + 29538563342727710110685533628758343818272372632965484086/9171397571\ 92063499311263460154599039630902041833013*c_0101_6^20 - 67052586181634132328005526659484920235284430420020128952/9171397571\ 92063499311263460154599039630902041833013*c_0101_6^19 - 19135194561068131277523563528923103613744151062207201222/8337634156\ 2914863573751223650418094511900185621183*c_0101_6^18 + 563926445449104338082308516889603015671581049203538075866/917139757\ 192063499311263460154599039630902041833013*c_0101_6^17 + 733428034338163860901935585360165641495285368969507976384/917139757\ 192063499311263460154599039630902041833013*c_0101_6^16 - 2607336332023401756894900568014910720273245184360582767454/91713975\ 7192063499311263460154599039630902041833013*c_0101_6^15 - 948730599047323616480153191280883367799921560780015984386/917139757\ 192063499311263460154599039630902041833013*c_0101_6^14 + 6320406046128233084669932836239817917904547190515577008826/91713975\ 7192063499311263460154599039630902041833013*c_0101_6^13 - 100691819609578118142911200980246482249575909557694035313/917139757\ 192063499311263460154599039630902041833013*c_0101_6^12 - 8331639429919204086232661084276676528825165695043053345839/91713975\ 7192063499311263460154599039630902041833013*c_0101_6^11 + 410972396959768836969296752123712554493561786863895264494/917139757\ 192063499311263460154599039630902041833013*c_0101_6^10 + 6651701969650614893804390372029846324512427172714016973726/91713975\ 7192063499311263460154599039630902041833013*c_0101_6^9 + 667528489024639818384835174673876670461107157396956495759/917139757\ 192063499311263460154599039630902041833013*c_0101_6^8 - 3245507323977994816985683079274004700441613204369174621922/91713975\ 7192063499311263460154599039630902041833013*c_0101_6^7 - 542174521868032233818362337554742392922712590742024694710/917139757\ 192063499311263460154599039630902041833013*c_0101_6^6 + 80526804103130368861583668326495400664179287843803208959/8337634156\ 2914863573751223650418094511900185621183*c_0101_6^5 + 49418950844414117907790055752066268055022258382198366927/9171397571\ 92063499311263460154599039630902041833013*c_0101_6^4 - 92551804085365917694485792506330698732053466869168551108/9171397571\ 92063499311263460154599039630902041833013*c_0101_6^3 + 9575667274358977982074794032920418594870026085362191021/91713975719\ 2063499311263460154599039630902041833013*c_0101_6^2 + 794665475087059307158229836670346209728341224596739647/917139757192\ 063499311263460154599039630902041833013*c_0101_6 - 705140965026264831579740211873835402222834891107846000/917139757192\ 063499311263460154599039630902041833013, c_0011_0 - 1, c_0011_2 - 186190899355864022387445728463667041693664590000/10828096306\ 87206020438327579875559668985716696379*c_0101_6^24 + 220657481827789630166208430386534790433359628934/108280963068720602\ 0438327579875559668985716696379*c_0101_6^23 + 3676264731690063369806561668304424321287248784377/10828096306872060\ 20438327579875559668985716696379*c_0101_6^22 - 7185938435003848543568366081165144151816050752162/10828096306872060\ 20438327579875559668985716696379*c_0101_6^21 - 41549326152729525855660627860148447320643623658659/1082809630687206\ 020438327579875559668985716696379*c_0101_6^20 + 94689469955903051699902475905214972490651594418982/1082809630687206\ 020438327579875559668985716696379*c_0101_6^19 + 295351653487700588664970330219276029932782132333044/108280963068720\ 6020438327579875559668985716696379*c_0101_6^18 - 794490704574423909195498423165843397237548880746823/108280963068720\ 6020438327579875559668985716696379*c_0101_6^17 - 1022064883962127964569167340729754812971415974236460/10828096306872\ 06020438327579875559668985716696379*c_0101_6^16 + 3655754202949212651587629200445894803514283543496123/10828096306872\ 06020438327579875559668985716696379*c_0101_6^15 + 1295533879842499777232493118699085394714681627323901/10828096306872\ 06020438327579875559668985716696379*c_0101_6^14 - 8783815021147391926721945897659857326262648258281064/10828096306872\ 06020438327579875559668985716696379*c_0101_6^13 + 170951587064976981628942695936457572237460412605591/108280963068720\ 6020438327579875559668985716696379*c_0101_6^12 + 11418666027277192382475627422526532024162241959458911/1082809630687\ 206020438327579875559668985716696379*c_0101_6^11 - 467996433188730379409368837679319677614381438331160/108280963068720\ 6020438327579875559668985716696379*c_0101_6^10 - 8964331084235051775288854834137612916556827120193336/10828096306872\ 06020438327579875559668985716696379*c_0101_6^9 - 1126752469274163002633469812339372480697229078464920/10828096306872\ 06020438327579875559668985716696379*c_0101_6^8 + 4241742084835854571859736419232382532444611856168372/10828096306872\ 06020438327579875559668985716696379*c_0101_6^7 + 848758076215461164349471077527541945304135574686738/108280963068720\ 6020438327579875559668985716696379*c_0101_6^6 - 1048942540895333813440676352047599505845964717577482/10828096306872\ 06020438327579875559668985716696379*c_0101_6^5 - 76194858005738208076959390289016044512482412906811/1082809630687206\ 020438327579875559668985716696379*c_0101_6^4 + 75043367524536551105614386069694826916130556654334/1082809630687206\ 020438327579875559668985716696379*c_0101_6^3 - 11457171734611779491994004229930518026534301475974/1082809630687206\ 020438327579875559668985716696379*c_0101_6^2 - 238776790493297886527669577328589445637238426750/108280963068720602\ 0438327579875559668985716696379*c_0101_6 + 1128228221768239545609917621462183223161306691065/10828096306872060\ 20438327579875559668985716696379, c_0011_4 + 68574208972452757416541676174929820551064577807/108280963068\ 7206020438327579875559668985716696379*c_0101_6^24 - 65286107217412938141099210519374761877073967849/1082809630687206020\ 438327579875559668985716696379*c_0101_6^23 - 1367388160375640465666687978854920528819646434373/10828096306872060\ 20438327579875559668985716696379*c_0101_6^22 + 2323465634336237897684315528059982125438470580913/10828096306872060\ 20438327579875559668985716696379*c_0101_6^21 + 15812690819363106842921701427550418748840820360996/1082809630687206\ 020438327579875559668985716696379*c_0101_6^20 - 31076633383684874509017566090381724464486712819368/1082809630687206\ 020438327579875559668985716696379*c_0101_6^19 - 115732984230497766590778213626439382460367575857705/108280963068720\ 6020438327579875559668985716696379*c_0101_6^18 + 264280753078056164424602959533541315889759276178873/108280963068720\ 6020438327579875559668985716696379*c_0101_6^17 + 436587584968412951764180708849608803178681776429947/108280963068720\ 6020438327579875559668985716696379*c_0101_6^16 - 1234217658902005173182820800133704153882084575985239/10828096306872\ 06020438327579875559668985716696379*c_0101_6^15 - 766275067452329394643008540980491285213422751125236/108280963068720\ 6020438327579875559668985716696379*c_0101_6^14 + 3015500919271215806476673667566939927941111847533691/10828096306872\ 06020438327579875559668985716696379*c_0101_6^13 + 675320894336665725587465637196030790443048858810683/108280963068720\ 6020438327579875559668985716696379*c_0101_6^12 - 3976332161953599144529076873439113361956543108704299/10828096306872\ 06020438327579875559668985716696379*c_0101_6^11 - 855625704028002785667396380437731601542412221547865/108280963068720\ 6020438327579875559668985716696379*c_0101_6^10 + 3053930201342597959850283533640337952797283193276114/10828096306872\ 06020438327579875559668985716696379*c_0101_6^9 + 1236235544010257399378110538115865048058584015761664/10828096306872\ 06020438327579875559668985716696379*c_0101_6^8 - 1257579530597302964855380099833788027839105123360954/10828096306872\ 06020438327579875559668985716696379*c_0101_6^7 - 670617938905647141200415371398655231340266415749327/108280963068720\ 6020438327579875559668985716696379*c_0101_6^6 + 224607766957011864383416123295479661371290626629077/108280963068720\ 6020438327579875559668985716696379*c_0101_6^5 + 112995888031641851294505739845936377245897864408683/108280963068720\ 6020438327579875559668985716696379*c_0101_6^4 - 6945697362368172068631198333935359742671210965108/10828096306872060\ 20438327579875559668985716696379*c_0101_6^3 - 6169322124743335692819812885949374077262548948345/10828096306872060\ 20438327579875559668985716696379*c_0101_6^2 + 2602118785622215891573232412527641509530398545243/10828096306872060\ 20438327579875559668985716696379*c_0101_6 + 88705296375675742595538789512481519447479328579/1082809630687206020\ 438327579875559668985716696379, c_0101_1 + 31636456414294001521702561982764357539951456942/108280963068\ 7206020438327579875559668985716696379*c_0101_6^24 + 21856887972204646111647693940862402342573499323/1082809630687206020\ 438327579875559668985716696379*c_0101_6^23 - 692070020831017523295701247954657155599536772268/108280963068720602\ 0438327579875559668985716696379*c_0101_6^22 + 52933058131332781850127967943792116883976797188/1082809630687206020\ 438327579875559668985716696379*c_0101_6^21 + 9284575186003625652763631978634428822370760574523/10828096306872060\ 20438327579875559668985716696379*c_0101_6^20 - 2874155010686667165342163110419675425673075940494/10828096306872060\ 20438327579875559668985716696379*c_0101_6^19 - 79446217036175242099473254496525429280447908964621/1082809630687206\ 020438327579875559668985716696379*c_0101_6^18 + 40965752245260907814835631772244754123999369687431/1082809630687206\ 020438327579875559668985716696379*c_0101_6^17 + 418745620917783508956188889128293818029463615192736/108280963068720\ 6020438327579875559668985716696379*c_0101_6^16 - 294269798680034713191316229441260870548289233412904/108280963068720\ 6020438327579875559668985716696379*c_0101_6^15 - 1339883060876045031030637792646779089877704030310878/10828096306872\ 06020438327579875559668985716696379*c_0101_6^14 + 1061326409145217887843549707936431318677532406958320/10828096306872\ 06020438327579875559668985716696379*c_0101_6^13 + 2616887670943973009255798938666342855651043826273755/10828096306872\ 06020438327579875559668985716696379*c_0101_6^12 - 1907696327834947055000145061916892036214546220588450/10828096306872\ 06020438327579875559668985716696379*c_0101_6^11 - 3252375007835834514593290753205606772547929351005425/10828096306872\ 06020438327579875559668985716696379*c_0101_6^10 + 1498440354275765545812316582082712370857941838702730/10828096306872\ 06020438327579875559668985716696379*c_0101_6^9 + 2674485104866096541765842926145147966492472729152286/10828096306872\ 06020438327579875559668985716696379*c_0101_6^8 - 231846625820421717420537431142962869592021544960583/108280963068720\ 6020438327579875559668985716696379*c_0101_6^7 - 1201477478062973240557787450542200328070479513821382/10828096306872\ 06020438327579875559668985716696379*c_0101_6^6 - 97467158983414588617105289235753823341520180727403/1082809630687206\ 020438327579875559668985716696379*c_0101_6^5 + 223799009998367128633503382315816083372020510023057/108280963068720\ 6020438327579875559668985716696379*c_0101_6^4 + 895928915069386405034463765623046529311661415826/108280963068720602\ 0438327579875559668985716696379*c_0101_6^3 - 1100866392875977526778919571320465940260588752060/10828096306872060\ 20438327579875559668985716696379*c_0101_6^2 + 1764844751118901323076716248216154234120383481443/10828096306872060\ 20438327579875559668985716696379*c_0101_6 - 756438375399803506359970659370243886754168734347/108280963068720602\ 0438327579875559668985716696379, c_0101_2 + 56026481121064274828234987420952756799281177060/108280963068\ 7206020438327579875559668985716696379*c_0101_6^24 - 114971139826776631049443951866368107490605332756/108280963068720602\ 0438327579875559668985716696379*c_0101_6^23 - 1079211147902793973757132069384007240988676682880/10828096306872060\ 20438327579875559668985716696379*c_0101_6^22 + 3148970061277961205123394973087327309588877948786/10828096306872060\ 20438327579875559668985716696379*c_0101_6^21 + 11234649803392272626221578172575694435078059787107/1082809630687206\ 020438327579875559668985716696379*c_0101_6^20 - 40336632290855958048673662812317453753013504036067/1082809630687206\ 020438327579875559668985716696379*c_0101_6^19 - 71187493883075830214863229056861304054746546233521/1082809630687206\ 020438327579875559668985716696379*c_0101_6^18 + 329540553375609797820684616129343317349087747954229/108280963068720\ 6020438327579875559668985716696379*c_0101_6^17 + 151546640080102419922785309679591021452702962722644/108280963068720\ 6020438327579875559668985716696379*c_0101_6^16 - 1480731750071045841034793108167777823650336302491309/10828096306872\ 06020438327579875559668985716696379*c_0101_6^15 + 371181826883220991264238770500123760511149621337905/108280963068720\ 6020438327579875559668985716696379*c_0101_6^14 + 3510736159652895843795398550413592689247866107198345/10828096306872\ 06020438327579875559668985716696379*c_0101_6^13 - 2007752527486897769458400619130833029469613171649769/10828096306872\ 06020438327579875559668985716696379*c_0101_6^12 - 4664417858115070228334739183878135256283390229076409/10828096306872\ 06020438327579875559668985716696379*c_0101_6^11 + 2833561083593504746740571751719408985702579358199634/10828096306872\ 06020438327579875559668985716696379*c_0101_6^10 + 4192988173293245532569219220982685490266857573512746/10828096306872\ 06020438327579875559668985716696379*c_0101_6^9 - 1653101702380455456780506293679111057921497120222127/10828096306872\ 06020438327579875559668985716696379*c_0101_6^8 - 2727533121282713119677315410148711145499828383198957/10828096306872\ 06020438327579875559668985716696379*c_0101_6^7 + 377594013292745149699053763226133915530782059066722/108280963068720\ 6020438327579875559668985716696379*c_0101_6^6 + 953778284384341555805759846512490377353251883851400/108280963068720\ 6020438327579875559668985716696379*c_0101_6^5 - 50486007090753230866861771870033980127255526126248/1082809630687206\ 020438327579875559668985716696379*c_0101_6^4 - 109024999030551492274049364878288140359773885612611/108280963068720\ 6020438327579875559668985716696379*c_0101_6^3 + 11696118826683493376248732480744952453781833914380/1082809630687206\ 020438327579875559668985716696379*c_0101_6^2 - 1606908832240520948464331739204954635844734330612/10828096306872060\ 20438327579875559668985716696379*c_0101_6 - 1133128360087737073806778999545363243450608343110/10828096306872060\ 20438327579875559668985716696379, c_0101_4 + 257797046314949756661815244330385961680483384225/10828096306\ 87206020438327579875559668985716696379*c_0101_6^24 - 229448691655695574415555148003176662814522537241/108280963068720602\ 0438327579875559668985716696379*c_0101_6^23 - 5138180057400205169788802737310532713468739306944/10828096306872060\ 20438327579875559668985716696379*c_0101_6^22 + 8407458279891832571762475441671413097066171317939/10828096306872060\ 20438327579875559668985716696379*c_0101_6^21 + 59632002210158206691028875177121319063530735665584/1082809630687206\ 020438327579875559668985716696379*c_0101_6^20 - 112706910160103278940968197647976948579738520799117/108280963068720\ 6020438327579875559668985716696379*c_0101_6^19 - 438055849705324344338830431296953333372158459992805/108280963068720\ 6020438327579875559668985716696379*c_0101_6^18 + 960452566014229039733038040309175120627058471136378/108280963068720\ 6020438327579875559668985716696379*c_0101_6^17 + 1670308213246105870166654229721284852471016192920044/10828096306872\ 06020438327579875559668985716696379*c_0101_6^16 - 4484121804604528192590413843919959997170479686871753/10828096306872\ 06020438327579875559668985716696379*c_0101_6^15 - 3031590156737971307179469230085334507590533854701188/10828096306872\ 06020438327579875559668985716696379*c_0101_6^14 + 10894639294411909035317994007317666222732494196062663/1082809630687\ 206020438327579875559668985716696379*c_0101_6^13 + 2932680419816153979609503121443379576987252295883333/10828096306872\ 06020438327579875559668985716696379*c_0101_6^12 - 14123521967725589829852908073889968375322151502965178/1082809630687\ 206020438327579875559668985716696379*c_0101_6^11 - 3719176522015597614381081435848601007068343944766089/10828096306872\ 06020438327579875559668985716696379*c_0101_6^10 + 10398354750196690403628967975377632956612106796402317/1082809630687\ 206020438327579875559668985716696379*c_0101_6^9 + 4865344994839033204995352050773821115393110279440394/10828096306872\ 06020438327579875559668985716696379*c_0101_6^8 - 3844709635524827598837865675821728464681746986785256/10828096306872\ 06020438327579875559668985716696379*c_0101_6^7 - 2355293003430227499244935656190316049936037232167208/10828096306872\ 06020438327579875559668985716696379*c_0101_6^6 + 535405999257304004669721518399267861769833111361861/108280963068720\ 6020438327579875559668985716696379*c_0101_6^5 + 308467248891913557472976474521761893160743214494794/108280963068720\ 6020438327579875559668985716696379*c_0101_6^4 + 23498960253234704262377936128875921397658765097845/1082809630687206\ 020438327579875559668985716696379*c_0101_6^3 - 9253311724557403606063569373693368505003187737429/10828096306872060\ 20438327579875559668985716696379*c_0101_6^2 + 1415259041275248328698301925877332743622707284926/10828096306872060\ 20438327579875559668985716696379*c_0101_6 + 44283178306213010089392856177093803515164342704/1082809630687206020\ 438327579875559668985716696379, c_0101_6^25 - c_0101_6^24 - 20*c_0101_6^23 + 35*c_0101_6^22 + 231*c_0101_6^21 - 469*c_0101_6^20 - 1688*c_0101_6^19 + 3996*c_0101_6^18 + 6330*c_0101_6^17 - 18804*c_0101_6^16 - 10735*c_0101_6^15 + 46726*c_0101_6^14 + 7803*c_0101_6^13 - 63476*c_0101_6^12 - 8172*c_0101_6^11 + 51183*c_0101_6^10 + 14104*c_0101_6^9 - 23828*c_0101_6^8 - 8561*c_0101_6^7 + 6010*c_0101_6^6 + 1590*c_0101_6^5 - 635*c_0101_6^4 - 50*c_0101_6^3 + 19*c_0101_6^2 - 5*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB