Magma V2.19-8 Tue Aug 20 2013 16:16:30 on localhost [Seed = 1031578075] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0796 geometric_solution 4.73687418 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.493079296147 0.134228971141 2 0 2 0 0132 2310 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 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.618774139892 0.379773487743 1 3 1 4 0132 0132 1023 0132 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 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.093810592100 1.671633128201 4 2 5 4 3201 0132 0132 2310 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 0 0 0 0 0 -1 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.152505912464 0.702786804818 3 5 2 3 3201 1023 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.152505912464 0.702786804818 4 6 6 3 1023 0132 1023 0132 0 0 0 0 0 0 0 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 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 0 0 0 0.590100646657 0.851129929045 6 5 5 6 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.825228287875 0.480770039289 ==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' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_4'], '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' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], '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_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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' : d['c_0101_6'], 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : 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_5'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : negation(d['c_0011_4']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_5'], '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_4, c_0101_0, c_0101_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 14314344203398058810944708556298384984594217110034131184/3537809351\ 3157633521050586960633415221300688683513767*c_0101_6^22 - 157741688771725355388326357264851339629664647658902788777/353780935\ 13157633521050586960633415221300688683513767*c_0101_6^21 - 132243398831538140291661699219706146908815350246560129863/353780935\ 13157633521050586960633415221300688683513767*c_0101_6^20 + 3200644681222401051508814074400797726689771554229856768745/35378093\ 513157633521050586960633415221300688683513767*c_0101_6^19 - 626214792217414822201289585939238671040786041274002224617/353780935\ 13157633521050586960633415221300688683513767*c_0101_6^18 - 29779612288439360251662712974269633765951119504002630249019/3537809\ 3513157633521050586960633415221300688683513767*c_0101_6^17 + 31846763312557871531719876661084099310759280241806551432101/3537809\ 3513157633521050586960633415221300688683513767*c_0101_6^16 + 102657304621712052059008700979501443988516079106216165687934/353780\ 93513157633521050586960633415221300688683513767*c_0101_6^15 - 142168919551918063979383264959911519789695773119681727021849/353780\ 93513157633521050586960633415221300688683513767*c_0101_6^14 - 166312473089107292720579531020624622274974285118325396232322/353780\ 93513157633521050586960633415221300688683513767*c_0101_6^13 + 194278504204357143664096751379149699209237491921185647977121/353780\ 93513157633521050586960633415221300688683513767*c_0101_6^12 + 281218398696756353096970078596657648884718714338777351310478/353780\ 93513157633521050586960633415221300688683513767*c_0101_6^11 - 59616936584751020197261945683874067174411499287742172792909/3537809\ 3513157633521050586960633415221300688683513767*c_0101_6^10 - 345949298181328491216981146469273096194257901700886870053243/353780\ 93513157633521050586960633415221300688683513767*c_0101_6^9 - 106182976511560395563534794296049327043935559549409571642362/353780\ 93513157633521050586960633415221300688683513767*c_0101_6^8 + 153505702310963431341430508758763130281153859678258540756879/353780\ 93513157633521050586960633415221300688683513767*c_0101_6^7 + 126170289139963955956975772596123423507833159854649122121391/353780\ 93513157633521050586960633415221300688683513767*c_0101_6^6 + 18192140099991360933634129220631481281828520670467107093092/3537809\ 3513157633521050586960633415221300688683513767*c_0101_6^5 - 52102821543724954937247656679950673778123838702201039383674/3537809\ 3513157633521050586960633415221300688683513767*c_0101_6^4 - 17208446823505119742630637072477386450352641595401334733105/3537809\ 3513157633521050586960633415221300688683513767*c_0101_6^3 + 7077610727966645682860938889444649207419029755958231828378/35378093\ 513157633521050586960633415221300688683513767*c_0101_6^2 - 797689667376227504462894676886127247534764617582147492868/353780935\ 13157633521050586960633415221300688683513767*c_0101_6 + 25903938409609828880732732619186759576193932894123615990/3537809351\ 3157633521050586960633415221300688683513767, c_0011_0 - 1, c_0011_1 + 7103531807809651820897826141298116697543035828150/7527253938\ 96970925979799722566668408963844440074761*c_0101_6^22 + 84923642770595750142799791574110927869859573399057/7527253938969709\ 25979799722566668408963844440074761*c_0101_6^21 + 137006355744361918818306893440656752438061268775721/752725393896970\ 925979799722566668408963844440074761*c_0101_6^20 - 1544329840698970010538192966859330904660800061523692/75272539389697\ 0925979799722566668408963844440074761*c_0101_6^19 - 1161281235342102454530054771203746574690599320633801/75272539389697\ 0925979799722566668408963844440074761*c_0101_6^18 + 15498059204265041495123936569030965746142392047595386/7527253938969\ 70925979799722566668408963844440074761*c_0101_6^17 - 2689030511937281070426517550345477173239395247888765/75272539389697\ 0925979799722566668408963844440074761*c_0101_6^16 - 69239211910087356344097699044349029249138853910435655/7527253938969\ 70925979799722566668408963844440074761*c_0101_6^15 + 32544159341859350917102847128384228539057057301839093/7527253938969\ 70925979799722566668408963844440074761*c_0101_6^14 + 153980341763004026379082700252647589031086965969144464/752725393896\ 970925979799722566668408963844440074761*c_0101_6^13 - 53399138097617280272403808103107038635310172399597959/7527253938969\ 70925979799722566668408963844440074761*c_0101_6^12 - 221732187654837219346032878362673555960180221330953003/752725393896\ 970925979799722566668408963844440074761*c_0101_6^11 - 57536114262793926227770537867722772373089126186234181/7527253938969\ 70925979799722566668408963844440074761*c_0101_6^10 + 203899723955799854623950117330410739664412564817250262/752725393896\ 970925979799722566668408963844440074761*c_0101_6^9 + 165839609550177613410604792361512729633200375385091944/752725393896\ 970925979799722566668408963844440074761*c_0101_6^8 - 61025867188603732321859675528663203003685846611406417/7527253938969\ 70925979799722566668408963844440074761*c_0101_6^7 - 98180269932134814542338691024177922795391771070551943/7527253938969\ 70925979799722566668408963844440074761*c_0101_6^6 - 36844735965723305982041779790720441867982019459572273/7527253938969\ 70925979799722566668408963844440074761*c_0101_6^5 + 20846022136251042828999440439877130861864956042834162/7527253938969\ 70925979799722566668408963844440074761*c_0101_6^4 + 19124894065490234598259960470483419149853809895798934/7527253938969\ 70925979799722566668408963844440074761*c_0101_6^3 - 5848616040038446665174322119334597371734955059387509/75272539389697\ 0925979799722566668408963844440074761*c_0101_6^2 - 168891305784992211413525359917411413872362787623972/752725393896970\ 925979799722566668408963844440074761*c_0101_6 + 456090398795837927215214684791244938657634761506744/752725393896970\ 925979799722566668408963844440074761, c_0011_4 + 13073549897790579799676829210232627348052638123736/752725393\ 896970925979799722566668408963844440074761*c_0101_6^22 + 154573545488013853642946423098135267425994983390405/752725393896970\ 925979799722566668408963844440074761*c_0101_6^21 + 234732719046726021925520656835318162136436165777394/752725393896970\ 925979799722566668408963844440074761*c_0101_6^20 - 2844516764583370103112265871390048799285634472792652/75272539389697\ 0925979799722566668408963844440074761*c_0101_6^19 - 1777877448221414232705928190328304883087466982699577/75272539389697\ 0925979799722566668408963844440074761*c_0101_6^18 + 28057394463848586904227453811005518624964012015864307/7527253938969\ 70925979799722566668408963844440074761*c_0101_6^17 - 7683095282357252370029975073456028235665128640640607/75272539389697\ 0925979799722566668408963844440074761*c_0101_6^16 - 120401762476715847513141933591005308659360142297956085/752725393896\ 970925979799722566668408963844440074761*c_0101_6^15 + 61633314748590702537065886817240378880860665737707728/7527253938969\ 70925979799722566668408963844440074761*c_0101_6^14 + 261898803708406897808507175068136508310670664653412049/752725393896\ 970925979799722566668408963844440074761*c_0101_6^13 - 79130752959380735040821596701781076181547041363713882/7527253938969\ 70925979799722566668408963844440074761*c_0101_6^12 - 394819212363944090020207276532014624995733224565020116/752725393896\ 970925979799722566668408963844440074761*c_0101_6^11 - 129931911376918875639434279442223810290635557933286155/752725393896\ 970925979799722566668408963844440074761*c_0101_6^10 + 366011207141745738366894656428191692781915146389561376/752725393896\ 970925979799722566668408963844440074761*c_0101_6^9 + 333116796579250291229230480035969456141681490793608359/752725393896\ 970925979799722566668408963844440074761*c_0101_6^8 - 79361954022440009763452791602484027216018552748694660/7527253938969\ 70925979799722566668408963844440074761*c_0101_6^7 - 210767447744345337202529284635567027081374775801865463/752725393896\ 970925979799722566668408963844440074761*c_0101_6^6 - 105607065727431097246316133860330160647035828009041965/752725393896\ 970925979799722566668408963844440074761*c_0101_6^5 + 32176759371043476664472024612268952718498619544583705/7527253938969\ 70925979799722566668408963844440074761*c_0101_6^4 + 49943178333284967751310843891781560252976619104100926/7527253938969\ 70925979799722566668408963844440074761*c_0101_6^3 + 3865969851882538829440416486671182456263625409154672/75272539389697\ 0925979799722566668408963844440074761*c_0101_6^2 - 835633643080447750052219989706206539058050483094519/752725393896970\ 925979799722566668408963844440074761*c_0101_6 - 34293004702773116307001522325909205849894780186632/7527253938969709\ 25979799722566668408963844440074761, c_0101_0 - 140376227245723933036596051149921731540024749756619/75272539\ 3896970925979799722566668408963844440074761*c_0101_6^22 - 1571311199470043682710235812438156649858540737940729/75272539389697\ 0925979799722566668408963844440074761*c_0101_6^21 - 1563257482765131733757199422493246940912522871684638/75272539389697\ 0925979799722566668408963844440074761*c_0101_6^20 + 31186868113921320994936562727919129576802041264844238/7527253938969\ 70925979799722566668408963844440074761*c_0101_6^19 - 682377687393229260384012609100636281901231613730128/752725393896970\ 925979799722566668408963844440074761*c_0101_6^18 - 293634450433875842650460307708802697800623264905797512/752725393896\ 970925979799722566668408963844440074761*c_0101_6^17 + 262044023329176901042008978970987014711907288176862776/752725393896\ 970925979799722566668408963844440074761*c_0101_6^16 + 1065480623494669755268157603239656514586946834090601093/75272539389\ 6970925979799722566668408963844440074761*c_0101_6^15 - 1227623463988481308629904464058113949091476092905900070/75272539389\ 6970925979799722566668408963844440074761*c_0101_6^14 - 1883432333427539321679842684058122032292373141022437620/75272539389\ 6970925979799722566668408963844440074761*c_0101_6^13 + 1651155988907316120059455023856859397148470914675695950/75272539389\ 6970925979799722566668408963844440074761*c_0101_6^12 + 3092864824015606863245313262703674008493540346699482411/75272539389\ 6970925979799722566668408963844440074761*c_0101_6^11 - 135038933227391910260822025776958043588891948365248079/752725393896\ 970925979799722566668408963844440074761*c_0101_6^10 - 3515680609599493161566403008719440372020188941031207444/75272539389\ 6970925979799722566668408963844440074761*c_0101_6^9 - 1612675148192526297313430745675096122641239785314618089/75272539389\ 6970925979799722566668408963844440074761*c_0101_6^8 + 1361120399677383957374781524246717598698325473509889509/75272539389\ 6970925979799722566668408963844440074761*c_0101_6^7 + 1492010302271690440670019591187896376010201843063940110/75272539389\ 6970925979799722566668408963844440074761*c_0101_6^6 + 383216334816853817834118346594703719440926695173169569/752725393896\ 970925979799722566668408963844440074761*c_0101_6^5 - 487530896439055951714544114297193431144571166088461964/752725393896\ 970925979799722566668408963844440074761*c_0101_6^4 - 256727366120658706924799658767099161633792283913424168/752725393896\ 970925979799722566668408963844440074761*c_0101_6^3 + 43102642893035517963830613439857766806670761401202988/7527253938969\ 70925979799722566668408963844440074761*c_0101_6^2 + 1185751680970102952544125113722107446557882882174738/75272539389697\ 0925979799722566668408963844440074761*c_0101_6 - 307238331118146013532231649436480062547640411624353/752725393896970\ 925979799722566668408963844440074761, c_0101_1 - 19485974716509357726375716337673448623420903780700/752725393\ 896970925979799722566668408963844440074761*c_0101_6^22 - 208518484512786934791782678472170092116670623171249/752725393896970\ 925979799722566668408963844440074761*c_0101_6^21 - 111080257718080851223349468565162309524346578630165/752725393896970\ 925979799722566668408963844440074761*c_0101_6^20 + 4423446542198481416163947331368383670701301895897496/75272539389697\ 0925979799722566668408963844440074761*c_0101_6^19 - 2194579157583146200341400379225022384106069859855153/75272539389697\ 0925979799722566668408963844440074761*c_0101_6^18 - 40331929815965247451312088212817761243505715516508523/7527253938969\ 70925979799722566668408963844440074761*c_0101_6^17 + 55457652478962760532147603727572619725886630291697019/7527253938969\ 70925979799722566668408963844440074761*c_0101_6^16 + 127063441262147114981350316205425327264454094873034622/752725393896\ 970925979799722566668408963844440074761*c_0101_6^15 - 231537213098700104909367099788785868469395950836005875/752725393896\ 970925979799722566668408963844440074761*c_0101_6^14 - 176371021029172995610562641079480644454415728646091724/752725393896\ 970925979799722566668408963844440074761*c_0101_6^13 + 317605958078513667358157685842317022535672250058341880/752725393896\ 970925979799722566668408963844440074761*c_0101_6^12 + 337055500251108852299652669656158701093777526128433505/752725393896\ 970925979799722566668408963844440074761*c_0101_6^11 - 177107330826882050927680149850864998437777965055019740/752725393896\ 970925979799722566668408963844440074761*c_0101_6^10 - 487390259667091788971964563374350754514941429503672045/752725393896\ 970925979799722566668408963844440074761*c_0101_6^9 - 51248952078895479729392582992279605080789211606513813/7527253938969\ 70925979799722566668408963844440074761*c_0101_6^8 + 263658047948424011135917998061900490661076714857998043/752725393896\ 970925979799722566668408963844440074761*c_0101_6^7 + 168348785190996324877923579078740986334565560594705107/752725393896\ 970925979799722566668408963844440074761*c_0101_6^6 - 8979975865845101213328461976135525102966852578488074/75272539389697\ 0925979799722566668408963844440074761*c_0101_6^5 - 89653124424205935302740132935500365790990164839261400/7527253938969\ 70925979799722566668408963844440074761*c_0101_6^4 - 19402549084159982583121855139146430565430747086598793/7527253938969\ 70925979799722566668408963844440074761*c_0101_6^3 + 10412647715902488981520462244217047002689197758205747/7527253938969\ 70925979799722566668408963844440074761*c_0101_6^2 + 121373439550573809455506467120066183535038468464515/752725393896970\ 925979799722566668408963844440074761*c_0101_6 + 63974261385771875233944524665721184239262799551505/7527253938969709\ 25979799722566668408963844440074761, c_0101_5 + 5377845766161515557446205919539263127571987934777/7527253938\ 96970925979799722566668408963844440074761*c_0101_6^22 + 64086926089542084356805575853198466259623284293366/7527253938969709\ 25979799722566668408963844440074761*c_0101_6^21 + 102605979965017184487180551487697815197575684673031/752725393896970\ 925979799722566668408963844440074761*c_0101_6^20 - 1161127950529599403783686130664733213648191039719025/75272539389697\ 0925979799722566668408963844440074761*c_0101_6^19 - 852971416847489965329993566778670996613713796900193/752725393896970\ 925979799722566668408963844440074761*c_0101_6^18 + 11438914527599867913727133735309846699863765462653937/7527253938969\ 70925979799722566668408963844440074761*c_0101_6^17 - 1812143640563305881901862309394783697080851203525481/75272539389697\ 0925979799722566668408963844440074761*c_0101_6^16 - 49684212527664148815784773719791460501751126213616290/7527253938969\ 70925979799722566668408963844440074761*c_0101_6^15 + 18119770426055775951135281189357271985776087832369130/7527253938969\ 70925979799722566668408963844440074761*c_0101_6^14 + 112172337691292030885544472427323550136958310133645841/752725393896\ 970925979799722566668408963844440074761*c_0101_6^13 - 14247389270089879431870611427064191051848761264645997/7527253938969\ 70925979799722566668408963844440074761*c_0101_6^12 - 175067207508343557039261837418526875098948753448629874/752725393896\ 970925979799722566668408963844440074761*c_0101_6^11 - 79843755890661988828920835382086236957367797033328944/7527253938969\ 70925979799722566668408963844440074761*c_0101_6^10 + 154501216533150057687862993185226650997279663515294250/752725393896\ 970925979799722566668408963844440074761*c_0101_6^9 + 170607299331404480620947510243906254273848682883999079/752725393896\ 970925979799722566668408963844440074761*c_0101_6^8 - 18810368486569926586256869036914547625190570858262911/7527253938969\ 70925979799722566668408963844440074761*c_0101_6^7 - 107683448108262645335056775095058295120869440886289105/752725393896\ 970925979799722566668408963844440074761*c_0101_6^6 - 61219088072696782430756309174815897639952038072619005/7527253938969\ 70925979799722566668408963844440074761*c_0101_6^5 + 10308637574912121510142092350915559602327403064096237/7527253938969\ 70925979799722566668408963844440074761*c_0101_6^4 + 27917391107985811399868647787897788900510490191273170/7527253938969\ 70925979799722566668408963844440074761*c_0101_6^3 + 6350647833508447343200725371210974219300794230499491/75272539389697\ 0925979799722566668408963844440074761*c_0101_6^2 - 31855363424704662740068198539138207247465143936733/7527253938969709\ 25979799722566668408963844440074761*c_0101_6 - 200327088302062001719609059326929399183861642352385/752725393896970\ 925979799722566668408963844440074761, c_0101_6^23 + 11*c_0101_6^22 + 9*c_0101_6^21 - 224*c_0101_6^20 + 48*c_0101_6^19 + 2084*c_0101_6^18 - 2267*c_0101_6^17 - 7169*c_0101_6^16 + 10119*c_0101_6^15 + 11564*c_0101_6^14 - 14002*c_0101_6^13 - 19606*c_0101_6^12 + 4826*c_0101_6^11 + 24475*c_0101_6^10 + 6853*c_0101_6^9 - 11352*c_0101_6^8 - 8746*c_0101_6^7 - 882*c_0101_6^6 + 3840*c_0101_6^5 + 1154*c_0101_6^4 - 591*c_0101_6^3 + 42*c_0101_6^2 + 7*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB