Magma V2.19-8 Tue Aug 20 2013 16:15:53 on localhost [Seed = 3684321248] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0105 geometric_solution 3.63274881 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 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.728819043307 0.030568460655 2 0 2 0 0132 2310 1023 0132 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 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.901507745221 0.026878997750 1 3 1 3 0132 0132 1023 1023 0 0 0 0 0 0 -1 1 1 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 1 -1 -1 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.839458485874 0.061889561690 4 2 4 2 0132 0132 1023 1023 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 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.666123747449 0.236680225161 3 5 3 6 0132 0132 1023 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 1 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.955940138215 1.947434730673 6 4 6 6 3201 0132 2310 3120 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.009490420173 1.005608635058 5 5 4 5 3120 3201 0132 2310 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 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.009490420173 1.005608635058 ==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_1'], 'c_1100_5' : d['c_0011_6'], '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_1'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_6']), '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_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : negation(d['c_0011_6']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0011_6']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_4'], '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_6, c_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 384567169841937081819648472825270137194963112373036748/848496284417\ 070806024756417615699390991223294021131*c_0101_5^24 + 2659701886569654721106294395090563693236431698504925564/84849628441\ 7070806024756417615699390991223294021131*c_0101_5^23 + 24445766814864124016636814788221350205755871647635627762/8484962844\ 17070806024756417615699390991223294021131*c_0101_5^22 + 68617311409929382070417859417069898526616113474853868601/8484962844\ 17070806024756417615699390991223294021131*c_0101_5^21 + 232327184508721800873565353717411473333845049405853843/282832094805\ 690268674918805871899796997074431340377*c_0101_5^20 - 442463266228361708406693157811148536863690292571934190015/848496284\ 417070806024756417615699390991223294021131*c_0101_5^19 - 292497580442583215663959159156094254454414078906210144422/282832094\ 805690268674918805871899796997074431340377*c_0101_5^18 + 115800037924293116979493999534115829336040268459606291408/848496284\ 417070806024756417615699390991223294021131*c_0101_5^17 + 2389054616228135597030187211747941146888414296320417739669/84849628\ 4417070806024756417615699390991223294021131*c_0101_5^16 + 1817724057650091982447711641854811132612203166310162804126/84849628\ 4417070806024756417615699390991223294021131*c_0101_5^15 - 2271385317596515027420568802875055537436048549899096674327/84849628\ 4417070806024756417615699390991223294021131*c_0101_5^14 - 1902599989851801815053983391788978343318190925955337760238/84849628\ 4417070806024756417615699390991223294021131*c_0101_5^13 + 1174062597162036401707247057733766832143488545235495507764/28283209\ 4805690268674918805871899796997074431340377*c_0101_5^12 + 2708461659944919374778256338997949398394212145952663357181/84849628\ 4417070806024756417615699390991223294021131*c_0101_5^11 - 4561776678587946961535544900730362495767161390125264156001/84849628\ 4417070806024756417615699390991223294021131*c_0101_5^10 - 5312690136459517770628418905902040417738187650547966976101/84849628\ 4417070806024756417615699390991223294021131*c_0101_5^9 + 382740364201132225167007115702357178402108031445749893139/848496284\ 417070806024756417615699390991223294021131*c_0101_5^8 + 471794034231183292705304315739291853176306625826851333140/282832094\ 805690268674918805871899796997074431340377*c_0101_5^7 - 865981933755692882786957479638976195069086465871985755849/848496284\ 417070806024756417615699390991223294021131*c_0101_5^6 - 712612841758669153948924253103810878517500892127525514818/848496284\ 417070806024756417615699390991223294021131*c_0101_5^5 + 68423363370574082168731318980377875392024532246053949654/2828320948\ 05690268674918805871899796997074431340377*c_0101_5^4 + 278850109882011234646921918635827175741141870210757776010/848496284\ 417070806024756417615699390991223294021131*c_0101_5^3 + 84283169208475973101374805449374793604597134722065970008/8484962844\ 17070806024756417615699390991223294021131*c_0101_5^2 - 6592145693055939216798091905752510920187014030377806774/84849628441\ 7070806024756417615699390991223294021131*c_0101_5 - 2174209609247631118897000793510429267168191938128899402/84849628441\ 7070806024756417615699390991223294021131, c_0011_0 - 1, c_0011_1 + 463287137358586702315711503901649441727416325917/91236159614\ 73879634674800189416122483776594559367*c_0101_5^24 - 3443651477084069086000570783284351348520707804267/91236159614738796\ 34674800189416122483776594559367*c_0101_5^23 - 27461060834005161076448500053728719795722363439639/9123615961473879\ 634674800189416122483776594559367*c_0101_5^22 - 70076159941854741191130422649855895948726178766473/9123615961473879\ 634674800189416122483776594559367*c_0101_5^21 + 23472265222343456693306512736116972933368520789455/9123615961473879\ 634674800189416122483776594559367*c_0101_5^20 + 493231698163526778902238563261479620509518614557268/912361596147387\ 9634674800189416122483776594559367*c_0101_5^19 + 823000238344312513679859168792570520573282836467609/912361596147387\ 9634674800189416122483776594559367*c_0101_5^18 - 345022361886773700411036958183152354313660510476512/912361596147387\ 9634674800189416122483776594559367*c_0101_5^17 - 2400936453369288642254011313114561376930161220641872/91236159614738\ 79634674800189416122483776594559367*c_0101_5^16 - 1232207563127723746709492970634391351359467996222864/91236159614738\ 79634674800189416122483776594559367*c_0101_5^15 + 2339613699155780150628644113472301434794382922044156/91236159614738\ 79634674800189416122483776594559367*c_0101_5^14 + 912658361592955713672744007420077874974748223274198/912361596147387\ 9634674800189416122483776594559367*c_0101_5^13 - 3444226597155601220602602743498904042568766565168287/91236159614738\ 79634674800189416122483776594559367*c_0101_5^12 - 1506179886523562124884287711469815856147006733438178/91236159614738\ 79634674800189416122483776594559367*c_0101_5^11 + 4490344224484731111834252188604527247525923901426494/91236159614738\ 79634674800189416122483776594559367*c_0101_5^10 + 4054774195237207895869442539269690029954793467197702/91236159614738\ 79634674800189416122483776594559367*c_0101_5^9 - 215492005416154859844914036036390296936851957078981/912361596147387\ 9634674800189416122483776594559367*c_0101_5^8 - 623178876014052724440756520354117334806082520140510/912361596147387\ 9634674800189416122483776594559367*c_0101_5^7 + 560792624009190317614260257111226202579818358923802/912361596147387\ 9634674800189416122483776594559367*c_0101_5^6 + 556548407836121989764105905069872360520319765543835/912361596147387\ 9634674800189416122483776594559367*c_0101_5^5 - 79399254657654653400957450879499386146922939592614/9123615961473879\ 634674800189416122483776594559367*c_0101_5^4 - 267976768503332797774960437357113441284305895099861/912361596147387\ 9634674800189416122483776594559367*c_0101_5^3 - 78780795114462716404047412314859783599645340729894/9123615961473879\ 634674800189416122483776594559367*c_0101_5^2 + 2269644154712985805551497473133410930311097423321/91236159614738796\ 34674800189416122483776594559367*c_0101_5 + 4392191717145721872096634980500678498851662988593/91236159614738796\ 34674800189416122483776594559367, c_0011_6 + 1301195322072177990790172643308359297914673919159/9123615961\ 473879634674800189416122483776594559367*c_0101_5^24 - 9026798173801710797610973192996846627677632800771/91236159614738796\ 34674800189416122483776594559367*c_0101_5^23 - 82465719438176224903305749464414768212864601814518/9123615961473879\ 634674800189416122483776594559367*c_0101_5^22 - 230827603561898940370313937255167077242113513864850/912361596147387\ 9634674800189416122483776594559367*c_0101_5^21 - 852924583597476737295379378193070860587885887165/912361596147387963\ 4674800189416122483776594559367*c_0101_5^20 + 1488704492920635573151379221423294557264528733868376/91236159614738\ 79634674800189416122483776594559367*c_0101_5^19 + 2941625291984588684373330707067546615234256050710121/91236159614738\ 79634674800189416122483776594559367*c_0101_5^18 - 390375356617266778501662989720228149918799751395892/912361596147387\ 9634674800189416122483776594559367*c_0101_5^17 - 7977352995342927774601907605962915503237152959853830/91236159614738\ 79634674800189416122483776594559367*c_0101_5^16 - 6052788641439738200192490937208418713936842522239752/91236159614738\ 79634674800189416122483776594559367*c_0101_5^15 + 7487824894051857406569628728703250339128570480832835/91236159614738\ 79634674800189416122483776594559367*c_0101_5^14 + 6181776096212948905712322651783388009179706467714726/91236159614738\ 79634674800189416122483776594559367*c_0101_5^13 - 11631874163013171400473924592476619428667392686419652/9123615961473\ 879634674800189416122483776594559367*c_0101_5^12 - 8856316457977625115384545371894947490797392976743935/91236159614738\ 79634674800189416122483776594559367*c_0101_5^11 + 15026106653051510302909618404386744698814941402173369/9123615961473\ 879634674800189416122483776594559367*c_0101_5^10 + 17596312961538942154706892771620224571081147825266065/9123615961473\ 879634674800189416122483776594559367*c_0101_5^9 - 905948412062540810741801354103863489056721388995622/912361596147387\ 9634674800189416122483776594559367*c_0101_5^8 - 4406272355088446347305722115593367285406891523646710/91236159614738\ 79634674800189416122483776594559367*c_0101_5^7 + 2715500508838335485253982867458182775363766078842288/91236159614738\ 79634674800189416122483776594559367*c_0101_5^6 + 2332113397424112420660252688676299991168716629153585/91236159614738\ 79634674800189416122483776594559367*c_0101_5^5 - 586355401542898070665725942941640086888001072035452/912361596147387\ 9634674800189416122483776594559367*c_0101_5^4 - 956818014518582362092275048692667110267141707754572/912361596147387\ 9634674800189416122483776594559367*c_0101_5^3 - 296265584612956105017231431816815263876219703231890/912361596147387\ 9634674800189416122483776594559367*c_0101_5^2 + 5536166289492657300542973455720560624688409601499/91236159614738796\ 34674800189416122483776594559367*c_0101_5 + 6193162718000071821186433238189626402353893134140/91236159614738796\ 34674800189416122483776594559367, c_0101_0 - 7893600852410478642147021989623889715608539629234/9123615961\ 473879634674800189416122483776594559367*c_0101_5^24 + 52375811684650501325159713355000024790488307573054/9123615961473879\ 634674800189416122483776594559367*c_0101_5^23 + 518564991477688248481975468782700890807979821776377/912361596147387\ 9634674800189416122483776594559367*c_0101_5^22 + 1538063726732725783756277543422050598548946474161340/91236159614738\ 79634674800189416122483776594559367*c_0101_5^21 + 326514289316243225548544945611835512324420722759066/912361596147387\ 9634674800189416122483776594559367*c_0101_5^20 - 9269514178308518914051918169925661290971377122306961/91236159614738\ 79634674800189416122483776594559367*c_0101_5^19 - 20407765715620333292049131990998871630192595335375134/9123615961473\ 879634674800189416122483776594559367*c_0101_5^18 - 1134130845875478947041525249956017076056393805832986/91236159614738\ 79634674800189416122483776594559367*c_0101_5^17 + 51757197879569759736797960973074133127094959482441398/9123615961473\ 879634674800189416122483776594559367*c_0101_5^16 + 48974529587687292557386358990164176646839460051611281/9123615961473\ 879634674800189416122483776594559367*c_0101_5^15 - 43430248893554232191848984064562219699155302983329666/9123615961473\ 879634674800189416122483776594559367*c_0101_5^14 - 53064481102590314884566004364935548550745418658025777/9123615961473\ 879634674800189416122483776594559367*c_0101_5^13 + 70573822543717765978984168688696700728789689238510331/9123615961473\ 879634674800189416122483776594559367*c_0101_5^12 + 75492928604237020025962744413071417784605102842510055/9123615961473\ 879634674800189416122483776594559367*c_0101_5^11 - 90851611222533861640927415725226888091714819298301930/9123615961473\ 879634674800189416122483776594559367*c_0101_5^10 - 135071063700300662908221707895584174258045249777677919/912361596147\ 3879634674800189416122483776594559367*c_0101_5^9 - 5956433382898404901922770642577304631441223277920998/91236159614738\ 79634674800189416122483776594559367*c_0101_5^8 + 37586282821720864415092957842079895010649251083989175/9123615961473\ 879634674800189416122483776594559367*c_0101_5^7 - 15969962532297187512533510948994103487655641181704959/9123615961473\ 879634674800189416122483776594559367*c_0101_5^6 - 19731853982408631743643487289473699538497255094087181/9123615961473\ 879634674800189416122483776594559367*c_0101_5^5 + 3303226799709464791485043092567910260752003766922451/91236159614738\ 79634674800189416122483776594559367*c_0101_5^4 + 7014453497176462137292477891103428096899758430453557/91236159614738\ 79634674800189416122483776594559367*c_0101_5^3 + 2535301948472358592631989826257816113703333914680250/91236159614738\ 79634674800189416122483776594559367*c_0101_5^2 - 72195266069889599518689354031464247153595831562579/9123615961473879\ 634674800189416122483776594559367*c_0101_5 - 64559705924384344443098719225069390879171278580186/9123615961473879\ 634674800189416122483776594559367, c_0101_1 - 172101681831496642041883268435418183517129679272/91236159614\ 73879634674800189416122483776594559367*c_0101_5^24 + 921054831414335318673563827082773523591002380935/912361596147387963\ 4674800189416122483776594559367*c_0101_5^23 + 12939366062070606004493050000324188990816965418572/9123615961473879\ 634674800189416122483776594559367*c_0101_5^22 + 46764199683041585729875959975217649571854118112737/9123615961473879\ 634674800189416122483776594559367*c_0101_5^21 + 40416147910752591902408875936844960620227220361074/9123615961473879\ 634674800189416122483776594559367*c_0101_5^20 - 215875300975176168062247191461422337072641176302187/912361596147387\ 9634674800189416122483776594559367*c_0101_5^19 - 688014661080153711138914045421398968229269339609576/912361596147387\ 9634674800189416122483776594559367*c_0101_5^18 - 413927369145312929083065400400814821323607348836226/912361596147387\ 9634674800189416122483776594559367*c_0101_5^17 + 1349552909023692431265828261895709399752874097788687/91236159614738\ 79634674800189416122483776594559367*c_0101_5^16 + 2281823880042344571925321863116230318021537279690812/91236159614738\ 79634674800189416122483776594559367*c_0101_5^15 - 459723659473579624921859125984208069863637629537999/912361596147387\ 9634674800189416122483776594559367*c_0101_5^14 - 2540785790831765529593550684642747344494108392979660/91236159614738\ 79634674800189416122483776594559367*c_0101_5^13 + 1178717538900240758505865513005318004175838331259483/91236159614738\ 79634674800189416122483776594559367*c_0101_5^12 + 3680674055780973638037908168383116548314377124205698/91236159614738\ 79634674800189416122483776594559367*c_0101_5^11 - 1439951990215440485207930822073982856902166281061162/91236159614738\ 79634674800189416122483776594559367*c_0101_5^10 - 5583158091653312046575451973891182088390210965175864/91236159614738\ 79634674800189416122483776594559367*c_0101_5^9 - 1850495323994715586393447231821132587151083367248722/91236159614738\ 79634674800189416122483776594559367*c_0101_5^8 + 1563003846460402513065714103104837105032279002974104/91236159614738\ 79634674800189416122483776594559367*c_0101_5^7 - 112038138676717479220689344834805276508717649157780/912361596147387\ 9634674800189416122483776594559367*c_0101_5^6 - 1001332492954354157878613549303070947635304840385094/91236159614738\ 79634674800189416122483776594559367*c_0101_5^5 - 63735966210009316782519441849315844045215845054075/9123615961473879\ 634674800189416122483776594559367*c_0101_5^4 + 293375611312461558423542511694242619805838456779011/912361596147387\ 9634674800189416122483776594559367*c_0101_5^3 + 134125225248006261225460447447279351299159025113381/912361596147387\ 9634674800189416122483776594559367*c_0101_5^2 + 799260021066934429826012792077662168133803631592/912361596147387963\ 4674800189416122483776594559367*c_0101_5 + 2570726251453442636445792654185328476220282081393/91236159614738796\ 34674800189416122483776594559367, c_0101_4 - 6650479980265618698401536730725224855423781011812/9123615961\ 473879634674800189416122483776594559367*c_0101_5^24 + 46931756409792767695950751489811303338654313401755/9123615961473879\ 634674800189416122483776594559367*c_0101_5^23 + 415224288891620215004050784448831527659514706304881/912361596147387\ 9634674800189416122483776594559367*c_0101_5^22 + 1135283314711875883910584349757663128097130202892095/91236159614738\ 79634674800189416122483776594559367*c_0101_5^21 - 95427196462854081929672287160179809400761768945615/9123615961473879\ 634674800189416122483776594559367*c_0101_5^20 - 7518243620835362874728194239165311420396749227385711/91236159614738\ 79634674800189416122483776594559367*c_0101_5^19 - 14214170303361561280949639464863078804933464750519503/9123615961473\ 879634674800189416122483776594559367*c_0101_5^18 + 3032664036571896457120875367231161711809742546495112/91236159614738\ 79634674800189416122483776594559367*c_0101_5^17 + 39607038860636036529274473938641240908886777306615788/9123615961473\ 879634674800189416122483776594559367*c_0101_5^16 + 27188559866163933385161676024023402786252615644920078/9123615961473\ 879634674800189416122483776594559367*c_0101_5^15 - 38555903319952102981596801713401948413946471506778524/9123615961473\ 879634674800189416122483776594559367*c_0101_5^14 - 26939061185196195595305639653742761059047713199806401/9123615961473\ 879634674800189416122483776594559367*c_0101_5^13 + 58937076378532216155355876377680595831517227836838947/9123615961473\ 879634674800189416122483776594559367*c_0101_5^12 + 38891664792973242817511205465110179650170436112429227/9123615961473\ 879634674800189416122483776594559367*c_0101_5^11 - 76361606138965738390191972293330051657516466894630439/9123615961473\ 879634674800189416122483776594559367*c_0101_5^10 - 81428934079352358444879504433609730944034309001442730/9123615961473\ 879634674800189416122483776594559367*c_0101_5^9 + 7603232233593965556939055334692010465023433049260959/91236159614738\ 79634674800189416122483776594559367*c_0101_5^8 + 19601884939950216952392656697725819544507042117575028/9123615961473\ 879634674800189416122483776594559367*c_0101_5^7 - 13824038999094027210227226433511145290400474020379284/9123615961473\ 879634674800189416122483776594559367*c_0101_5^6 - 10469550183047702825382826246483736912602566858034777/9123615961473\ 879634674800189416122483776594559367*c_0101_5^5 + 3063273110447171609030686646042848442422315535630415/91236159614738\ 79634674800189416122483776594559367*c_0101_5^4 + 4394123459357856668871222099230112042442866675713637/91236159614738\ 79634674800189416122483776594559367*c_0101_5^3 + 1309550939194563079340679953873304284133331208325144/91236159614738\ 79634674800189416122483776594559367*c_0101_5^2 - 55056213045085948484960969312031677615069347172947/9123615961473879\ 634674800189416122483776594559367*c_0101_5 - 33060374930052723366936378300438507455925670279647/9123615961473879\ 634674800189416122483776594559367, c_0101_5^25 - 7*c_0101_5^24 - 63*c_0101_5^23 - 173*c_0101_5^22 + 14*c_0101_5^21 + 1153*c_0101_5^20 + 2185*c_0101_5^19 - 508*c_0101_5^18 - 6216*c_0101_5^17 - 4198*c_0101_5^16 + 6386*c_0101_5^15 + 4506*c_0101_5^14 - 9661*c_0101_5^13 - 6332*c_0101_5^12 + 12585*c_0101_5^11 + 12900*c_0101_5^10 - 2326*c_0101_5^9 - 3764*c_0101_5^8 + 2597*c_0101_5^7 + 1711*c_0101_5^6 - 727*c_0101_5^5 - 701*c_0101_5^4 - 148*c_0101_5^3 + 44*c_0101_5^2 + 6*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB