Magma V2.19-8 Tue Aug 20 2013 16:17:20 on localhost [Seed = 896838140] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1576 geometric_solution 5.35701539 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 3 0132 0132 1023 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 0 -1 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.847262354244 0.489146955246 0 1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.760759805936 0.211892255936 4 0 5 3 0132 0132 0132 1230 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 -1 1 0 0 0 0 0 0 0 0 0 -1 -1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.415252575005 1.444840099645 2 5 0 6 3012 3120 0132 0132 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 -2 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 1.055837513099 0.547938362372 2 4 6 4 0132 1302 0132 2031 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.533378762762 0.432715338688 6 3 6 2 1023 3120 1302 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 1 0 -1 0 0 0 0 2 0 0 -2 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.121270623174 0.717395367484 5 5 3 4 2031 1023 0132 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 0 -1 1 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.869326565577 0.917283874575 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_0']), 'c_1100_5' : d['c_0101_6'], 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : d['c_0011_5'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_3'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0011_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], '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_0101_1'], 'c_0110_3' : d['c_0101_6'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0011_3'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : d['c_0011_0'], 'c_1010_3' : negation(d['c_0011_5']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_0']), 'c_1010_0' : negation(d['c_0011_3'])})} 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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 32233225223370306035027037797838672440196332452987/4948807271695843\ 78079884340147840161905912283133616*c_0101_6^24 - 979654318369010813715207187761493728422612629572899/494880727169584\ 378079884340147840161905912283133616*c_0101_6^23 - 11920789309568097433726146425064079375672162530522911/4948807271695\ 84378079884340147840161905912283133616*c_0101_6^22 - 10224135662688311856227275014424483924648625112072553/6186009089619\ 8047259985542518480020238239035391702*c_0101_6^21 - 124686230153690778727090780042027188692560296935319589/164960242389\ 861459359961446715946720635304094377872*c_0101_6^20 - 623372436701243219130244816421586382086518388366748915/247440363584\ 792189039942170073920080952956141566808*c_0101_6^19 - 1579584610978845370493702983770322688689440325184080205/24744036358\ 4792189039942170073920080952956141566808*c_0101_6^18 - 3073957984640617762739023155736737049721416651585532957/24744036358\ 4792189039942170073920080952956141566808*c_0101_6^17 - 8873988155950660079687708388551033658761104950870377849/49488072716\ 9584378079884340147840161905912283133616*c_0101_6^16 - 2065011162235080143401382837240245500338559050643356179/12372018179\ 2396094519971085036960040476478070783404*c_0101_6^15 - 244367679313575850074007280956427348056573427876126731/123720181792\ 396094519971085036960040476478070783404*c_0101_6^14 + 984564335029132909612962264690705653354593018391482637/412400605974\ 65364839990361678986680158826023594468*c_0101_6^13 + 1608561098990702179466094373556561400111405629835992741/35348623369\ 256027005706024296274297278993734509544*c_0101_6^12 + 19371682380200763528272818992116521006129112204320673473/4948807271\ 69584378079884340147840161905912283133616*c_0101_6^11 - 483640128409989634575520963191537643176800614988393849/494880727169\ 584378079884340147840161905912283133616*c_0101_6^10 - 938789364038236368025135557425788412487201114585415291/235657489128\ 37351337137349530849531519329156339696*c_0101_6^9 - 9112315733690447373822485399404143608000574853282444615/24744036358\ 4792189039942170073920080952956141566808*c_0101_6^8 - 735369936731278579146033717137244620603453483362267589/247440363584\ 792189039942170073920080952956141566808*c_0101_6^7 + 8504550302623045903948368399813488300829577885986418309/49488072716\ 9584378079884340147840161905912283133616*c_0101_6^6 + 643301270417951197040085107606723183050260645257736169/618600908961\ 98047259985542518480020238239035391702*c_0101_6^5 - 62919688378753245642797242725552991321977038625504941/7069724673851\ 2054011412048592548594557987469019088*c_0101_6^4 - 36119140821699520104074158559182087221667108586167865/1374668686582\ 1788279996787226328893386275341198156*c_0101_6^3 - 32532691791528342804264545434569132344137771340907679/7069724673851\ 2054011412048592548594557987469019088*c_0101_6^2 + 67906349433098023230572394673915339580126236183321739/4948807271695\ 84378079884340147840161905912283133616*c_0101_6 + 13809920742713061095792645793157151895269907785126507/4948807271695\ 84378079884340147840161905912283133616, c_0011_0 - 1, c_0011_3 + 26851350394428519367190486130807763906908578304/545503447056\ 42016984114235025114656294743417453*c_0101_6^24 + 501076955380145245316437262106836920555846278293/545503447056420169\ 84114235025114656294743417453*c_0101_6^23 + 4144825434618243151064752068391727592148173213734/54550344705642016\ 984114235025114656294743417453*c_0101_6^22 + 21145384662312232651250886340410140526888513973785/5455034470564201\ 6984114235025114656294743417453*c_0101_6^21 + 76075854112158163237306667515360117215459911898480/5455034470564201\ 6984114235025114656294743417453*c_0101_6^20 + 204766330275201747736591687436191563679337983104784/545503447056420\ 16984114235025114656294743417453*c_0101_6^19 + 420598214961369992379709487358260820203066187786194/545503447056420\ 16984114235025114656294743417453*c_0101_6^18 + 641913445702734351225261623751405029570973691927253/545503447056420\ 16984114235025114656294743417453*c_0101_6^17 + 647198642754204953485443778435602955594512248776655/545503447056420\ 16984114235025114656294743417453*c_0101_6^16 + 156540133508124439408623644398128013142654095800555/545503447056420\ 16984114235025114656294743417453*c_0101_6^15 - 818206851512796165082203419696404629563786958599530/545503447056420\ 16984114235025114656294743417453*c_0101_6^14 - 1744470353815059353948953400421877257418212496042985/54550344705642\ 016984114235025114656294743417453*c_0101_6^13 - 1680023004379405832034228883452689551911902228206140/54550344705642\ 016984114235025114656294743417453*c_0101_6^12 - 176599488355048927216082869354336323066762146905802/545503447056420\ 16984114235025114656294743417453*c_0101_6^11 + 1593096827010069482539325842438413746508608079752415/54550344705642\ 016984114235025114656294743417453*c_0101_6^10 + 1773139534143997215735102874943582576400915083277236/54550344705642\ 016984114235025114656294743417453*c_0101_6^9 + 358329563151108608886083555297281288916945010609425/545503447056420\ 16984114235025114656294743417453*c_0101_6^8 - 780884277665455402589528462091094908376899417779285/545503447056420\ 16984114235025114656294743417453*c_0101_6^7 - 640388206560542612708069834025033120889093255459285/545503447056420\ 16984114235025114656294743417453*c_0101_6^6 - 39465054153739015603901456467094039133045993770336/5455034470564201\ 6984114235025114656294743417453*c_0101_6^5 + 157597137677922592805850223034301868013685260796935/545503447056420\ 16984114235025114656294743417453*c_0101_6^4 + 57685997613740181725183773754801596245624774456971/5455034470564201\ 6984114235025114656294743417453*c_0101_6^3 - 3921407459464753434456026276686646243393167061423/54550344705642016\ 984114235025114656294743417453*c_0101_6^2 - 3686537724214018672513795990457846022976257536222/54550344705642016\ 984114235025114656294743417453*c_0101_6 - 316837638621877675848432002960645496070937186076/545503447056420169\ 84114235025114656294743417453, c_0011_5 + 32894991924077078965945042692726320590131084352/163651034116\ 926050952342705075343968884230252359*c_0101_6^24 + 624379489030004599563960826990687193796650387099/163651034116926050\ 952342705075343968884230252359*c_0101_6^23 + 5271821801925046811595482830271938394473789300163/16365103411692605\ 0952342705075343968884230252359*c_0101_6^22 + 27486832108870137719772210450365706943903835917778/1636510341169260\ 50952342705075343968884230252359*c_0101_6^21 + 33712298967893590614568741559918185120638407036459/5455034470564201\ 6984114235025114656294743417453*c_0101_6^20 + 278889600524956930347855420109872871917485099861681/163651034116926\ 050952342705075343968884230252359*c_0101_6^19 + 589101866716150878018616195916714082449198564997805/163651034116926\ 050952342705075343968884230252359*c_0101_6^18 + 933899503919016004196084607871468300161950986543702/163651034116926\ 050952342705075343968884230252359*c_0101_6^17 + 1008559876371323344589197048819225080710426950282004/16365103411692\ 6050952342705075343968884230252359*c_0101_6^16 + 389743135909978593884791140888397544793239897372809/163651034116926\ 050952342705075343968884230252359*c_0101_6^15 - 999694269702253449681415542494464593390828381819590/163651034116926\ 050952342705075343968884230252359*c_0101_6^14 - 826386954160507555617089776125162512912973987181764/545503447056420\ 16984114235025114656294743417453*c_0101_6^13 - 2684969652149336572605133112589846645795152760821917/16365103411692\ 6050952342705075343968884230252359*c_0101_6^12 - 739725030504582878778654201588174429989433433393921/163651034116926\ 050952342705075343968884230252359*c_0101_6^11 + 2020174767558108679778485200118708539841448702330378/16365103411692\ 6050952342705075343968884230252359*c_0101_6^10 + 940876749649553619198685084844841121843643453676359/545503447056420\ 16984114235025114656294743417453*c_0101_6^9 + 1024097685052332225758452661381823554692837473638588/16365103411692\ 6050952342705075343968884230252359*c_0101_6^8 - 942993571971909382782238223276285527410038717355677/163651034116926\ 050952342705075343968884230252359*c_0101_6^7 - 1116654185714573452316519340922030649353163400105250/16365103411692\ 6050952342705075343968884230252359*c_0101_6^6 - 247521707979481102905847625897459595302400335623889/163651034116926\ 050952342705075343968884230252359*c_0101_6^5 + 216194864551521205650566800977978850130614783639412/163651034116926\ 050952342705075343968884230252359*c_0101_6^4 + 43749637723181631643499829624627562603840079553812/5455034470564201\ 6984114235025114656294743417453*c_0101_6^3 + 7723413259793112974451591628613532279447884871823/16365103411692605\ 0952342705075343968884230252359*c_0101_6^2 - 7876987687121639323054000027419858159696319453673/16365103411692605\ 0952342705075343968884230252359*c_0101_6 - 936835124072105483833089255554696122061547664838/163651034116926050\ 952342705075343968884230252359, c_0101_0 - 178822663100880334166283464172387463771489486304/49095310235\ 0778152857028115226031906652690757077*c_0101_6^24 - 3359425449374832028122994383679837703812232222395/49095310235077815\ 2857028115226031906652690757077*c_0101_6^23 - 28011158371556942658451463012993714214647775729154/4909531023507781\ 52857028115226031906652690757077*c_0101_6^22 - 144095841745807482486909198171140641145830062648700/490953102350778\ 152857028115226031906652690757077*c_0101_6^21 - 174271794049786478822892294235753257874598419929187/163651034116926\ 050952342705075343968884230252359*c_0101_6^20 - 1419947435256623121435016699523199841341447637079179/49095310235077\ 8152857028115226031906652690757077*c_0101_6^19 - 2947035650641404680000363269525421804433599092136570/49095310235077\ 8152857028115226031906652690757077*c_0101_6^18 - 4562054754935121856049073432778603378293614786299421/49095310235077\ 8152857028115226031906652690757077*c_0101_6^17 - 4722163549212917356968727035424853298446122435463677/49095310235077\ 8152857028115226031906652690757077*c_0101_6^16 - 1410021153524185805692144292011386266412458665021274/49095310235077\ 8152857028115226031906652690757077*c_0101_6^15 + 5461150806778235992661236736949418815898139899717222/49095310235077\ 8152857028115226031906652690757077*c_0101_6^14 + 1362909330162481550988551063051122265403987160026511/54550344705642\ 016984114235025114656294743417453*c_0101_6^13 + 12331610402014274877849765770527792375691188686710831/4909531023507\ 78152857028115226031906652690757077*c_0101_6^12 + 2071925555716846428199242676289061149534102828711495/49095310235077\ 8152857028115226031906652690757077*c_0101_6^11 - 10816563829853994084238615983783198518067943838868535/4909531023507\ 78152857028115226031906652690757077*c_0101_6^10 - 4324554671851578592008942682953776417897878552158718/16365103411692\ 6050952342705075343968884230252359*c_0101_6^9 - 3296263562766064663173783496358795230441325635409131/49095310235077\ 8152857028115226031906652690757077*c_0101_6^8 + 5293640098133032518249660666108760072929031305144295/49095310235077\ 8152857028115226031906652690757077*c_0101_6^7 + 4815267247000982996432993474259155608237843057132091/49095310235077\ 8152857028115226031906652690757077*c_0101_6^6 + 505990374352730918907519865991992387659299696173303/490953102350778\ 152857028115226031906652690757077*c_0101_6^5 - 1127824691099798057473887310640804507391640291921660/49095310235077\ 8152857028115226031906652690757077*c_0101_6^4 - 154522206385312081254225397164177536038953530657410/163651034116926\ 050952342705075343968884230252359*c_0101_6^3 + 24276564416895779937480773085317692524022068136525/4909531023507781\ 52857028115226031906652690757077*c_0101_6^2 + 30238601856936501916990573256159724129892840629019/4909531023507781\ 52857028115226031906652690757077*c_0101_6 + 1872903045043283853568076725051782599994343661098/49095310235077815\ 2857028115226031906652690757077, c_0101_1 - 269893793554324121700438507881642674951334906861/49095310235\ 0778152857028115226031906652690757077*c_0101_6^24 - 5059588595492168976358102523787351912964522802221/49095310235077815\ 2857028115226031906652690757077*c_0101_6^23 - 42088359881066063563864866102417840440384181874999/4909531023507781\ 52857028115226031906652690757077*c_0101_6^22 - 216044058749208615215607578677374970199890182006727/490953102350778\ 152857028115226031906652690757077*c_0101_6^21 - 86935048139914778441233121062848649459325489757099/5455034470564201\ 6984114235025114656294743417453*c_0101_6^20 - 2121713382730550305764890099215849522107187576501078/49095310235077\ 8152857028115226031906652690757077*c_0101_6^19 - 4398131462382561949471613384165866033964443354482041/49095310235077\ 8152857028115226031906652690757077*c_0101_6^18 - 6802749050815166111430268668194914258828336516847894/49095310235077\ 8152857028115226031906652690757077*c_0101_6^17 - 7044609275097608625329007796854763834142788212549007/49095310235077\ 8152857028115226031906652690757077*c_0101_6^16 - 2134140316518554010306069155104202349560905925975495/49095310235077\ 8152857028115226031906652690757077*c_0101_6^15 + 8035152697422774090945062592908113678252128752288656/49095310235077\ 8152857028115226031906652690757077*c_0101_6^14 + 6034887503635115612482280686088694976300343364803171/16365103411692\ 6050952342705075343968884230252359*c_0101_6^13 + 18203350547081692958980701560511773389762074669612203/4909531023507\ 78152857028115226031906652690757077*c_0101_6^12 + 3092232690092438159577300015821086894761091144775201/49095310235077\ 8152857028115226031906652690757077*c_0101_6^11 - 15786599806273792917645214702531144738634982172055677/4909531023507\ 78152857028115226031906652690757077*c_0101_6^10 - 2098253371526301630181380867361936556827992199775907/54550344705642\ 016984114235025114656294743417453*c_0101_6^9 - 4800608793470116170004330320498646874363474081069680/49095310235077\ 8152857028115226031906652690757077*c_0101_6^8 + 7595980074753282233568286129948188922278746629249567/49095310235077\ 8152857028115226031906652690757077*c_0101_6^7 + 6896956991783097115204618227854371240167577663225295/49095310235077\ 8152857028115226031906652690757077*c_0101_6^6 + 748487311551769548744889829095111817793089366461699/490953102350778\ 152857028115226031906652690757077*c_0101_6^5 - 1573896158363055495680738533186998791889257944026487/49095310235077\ 8152857028115226031906652690757077*c_0101_6^4 - 217821321683230134023288691100772481791618109633137/163651034116926\ 050952342705075343968884230252359*c_0101_6^3 + 22262727426190718101410073924374235202042956662052/4909531023507781\ 52857028115226031906652690757077*c_0101_6^2 + 39086781756223520939843704834594782752412066247363/4909531023507781\ 52857028115226031906652690757077*c_0101_6 + 3215161632816234993919903766303084884163826984727/49095310235077815\ 2857028115226031906652690757077, c_0101_2 - 52686123033578192733437815740542326798371832508/163651034116\ 926050952342705075343968884230252359*c_0101_6^24 - 991731266521101789013935966754985788282771584052/163651034116926050\ 952342705075343968884230252359*c_0101_6^23 - 8292684598177664286037534237315178967887250414778/16365103411692605\ 0952342705075343968884230252359*c_0101_6^22 - 42818195299995210238537991144889369052625654022394/1636510341169260\ 50952342705075343968884230252359*c_0101_6^21 - 52025690886730868777886007484081079396605623508017/5455034470564201\ 6984114235025114656294743417453*c_0101_6^20 - 426404319771777910205464608236587260254211240842569/163651034116926\ 050952342705075343968884230252359*c_0101_6^19 - 892057039395843747198674547238318216840090389482411/163651034116926\ 050952342705075343968884230252359*c_0101_6^18 - 1398238130607306089156119418457521269780714785781787/16365103411692\ 6050952342705075343968884230252359*c_0101_6^17 - 1485712218340858662428618602887936312461171250457666/16365103411692\ 6050952342705075343968884230252359*c_0101_6^16 - 534809594210358548048791250119690209479709307720844/163651034116926\ 050952342705075343968884230252359*c_0101_6^15 + 1523970773204184986119726943351555053364962588106227/16365103411692\ 6050952342705075343968884230252359*c_0101_6^14 + 1216884498044417710324454065475921519714351366535354/54550344705642\ 016984114235025114656294743417453*c_0101_6^13 + 3836052946618203907704217871972370103810591068391646/16365103411692\ 6050952342705075343968884230252359*c_0101_6^12 + 901472268172887447962922384145280636942193251067068/163651034116926\ 050952342705075343968884230252359*c_0101_6^11 - 3012983356653067160903211277599681158168251289710696/16365103411692\ 6050952342705075343968884230252359*c_0101_6^10 - 1306935613639501194126153112991569000639593680317661/54550344705642\ 016984114235025114656294743417453*c_0101_6^9 - 1234513827782709397717363169777430489206625428880322/16365103411692\ 6050952342705075343968884230252359*c_0101_6^8 + 1401026188896429530026082285739377225311787448257182/16365103411692\ 6050952342705075343968884230252359*c_0101_6^7 + 1461173139053717269389235495297159855863556538492717/16365103411692\ 6050952342705075343968884230252359*c_0101_6^6 + 250179152193971506902419116321563446906087570066566/163651034116926\ 050952342705075343968884230252359*c_0101_6^5 - 299073724063850684558251965425267171381927280539857/163651034116926\ 050952342705075343968884230252359*c_0101_6^4 - 50681398367280319482871121873500426375517759364887/5455034470564201\ 6984114235025114656294743417453*c_0101_6^3 - 3529225863047944067086111801862379658075926922931/16365103411692605\ 0952342705075343968884230252359*c_0101_6^2 + 8907879841945385061944192670657896447617459108396/16365103411692605\ 0952342705075343968884230252359*c_0101_6 + 961399314172180051281927001000949739250958967880/163651034116926050\ 952342705075343968884230252359, c_0101_6^25 + 18*c_0101_6^24 + 142*c_0101_6^23 + 685*c_0101_6^22 + 2309*c_0101_6^21 + 5735*c_0101_6^20 + 10560*c_0101_6^19 + 13388*c_0101_6^18 + 7977*c_0101_6^17 - 10569*c_0101_6^16 - 34744*c_0101_6^15 - 44816*c_0101_6^14 - 18886*c_0101_6^13 + 36091*c_0101_6^12 + 64720*c_0101_6^11 + 26600*c_0101_6^10 - 31657*c_0101_6^9 - 39000*c_0101_6^8 - 4545*c_0101_6^7 + 14961*c_0101_6^6 + 7161*c_0101_6^5 - 1819*c_0101_6^4 - 1673*c_0101_6^3 - 46*c_0101_6^2 + 86*c_0101_6 + 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB