Magma V2.19-8 Tue Aug 20 2013 16:17:22 on localhost [Seed = 1494795669] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1602 geometric_solution 5.36591554 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.629938804187 0.248187437262 0 2 2 0 3201 0132 1023 0132 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 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 1.231754267276 0.579372839759 3 1 1 4 0132 0132 1023 0132 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 0 0 0 1 0 -1 0 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.364456853222 0.386261033468 2 5 4 6 0132 0132 1302 0132 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 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.557480293041 0.699073866870 3 6 2 5 2031 2310 0132 0132 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 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.557480293041 0.699073866870 5 3 4 5 3012 0132 0132 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.302703842214 0.874401350974 6 6 3 4 1302 2031 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.469969629554 0.391054988039 ==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' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : negation(d['c_0011_6']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], '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_0110_6']), 'c_1001_4' : negation(d['c_0011_6']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0011_6']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_6']), 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : negation(d['c_0011_1']), 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : negation(d['c_0110_6']), 'c_1010_2' : negation(d['c_0011_6']), '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_0011_6, c_0101_0, c_0101_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t - 103844896431219535762373916477955025625831/710383399984676759938238\ 090663231744264*c_0110_6^26 + 1383289059629772855694098839965351089\ 77463/177595849996169189984559522665807936066*c_0110_6^25 + 1780924714629493818322592860005297790306665/71038339998467675993823\ 8090663231744264*c_0110_6^24 - 202664161332227841483078362733002337\ 9903525/88797924998084594992279761332903968033*c_0110_6^23 - 458954217096191218770850701305619405425229/355191699992338379969119\ 045331615872132*c_0110_6^22 + 1749622807823021746016488308958378631\ 81985901/710383399984676759938238090663231744264*c_0110_6^21 - 98993198664128437486689849056473523523365529/7103833999846767599382\ 38090663231744264*c_0110_6^20 - 50462347642502554161927294958643815\ 1847668345/355191699992338379969119045331615872132*c_0110_6^19 + 576569904805383477641654043960217858517576711/710383399984676759938\ 238090663231744264*c_0110_6^18 + 3391386717228512465652917418438268\ 109065119963/710383399984676759938238090663231744264*c_0110_6^17 - 211244382205545514259072977292595458828828938/887979249980845949922\ 79761332903968033*c_0110_6^16 - 71251602340370366447387223683360232\ 86742336037/710383399984676759938238090663231744264*c_0110_6^15 + 3313807522948907135929891565853962387188750209/71038339998467675993\ 8238090663231744264*c_0110_6^14 + 976511861885882534033564538390339\ 8043517420315/710383399984676759938238090663231744264*c_0110_6^13 - 2317384098271778089248775555496705934686005115/35519169999233837996\ 9119045331615872132*c_0110_6^12 - 878471758701299972482346589500822\ 0379569295661/710383399984676759938238090663231744264*c_0110_6^11 + 4451618777271085819497564919803993760762108041/71038339998467675993\ 8238090663231744264*c_0110_6^10 + 503759558469389397905271309313664\ 1200639291393/710383399984676759938238090663231744264*c_0110_6^9 - 683599591696810114836628946629886614275596639/177595849996169189984\ 559522665807936066*c_0110_6^8 - 21680841120131790479295302386449486\ 0241928410/88797924998084594992279761332903968033*c_0110_6^7 + 495396141645569925737000280783879380451551077/355191699992338379969\ 119045331615872132*c_0110_6^6 + 32412325784488758297639107433276443\ 8553561493/710383399984676759938238090663231744264*c_0110_6^5 - 23754937576626842905772644355272669760661565/8879792499808459499227\ 9761332903968033*c_0110_6^4 - 2637172465952891751073632368523471342\ 2974175/710383399984676759938238090663231744264*c_0110_6^3 + 15447354994470660941023809875626870801114221/7103833999846767599382\ 38090663231744264*c_0110_6^2 + 161670349333115110156403002965836639\ 496353/355191699992338379969119045331615872132*c_0110_6 - 189398095848251102007748259055375137486969/710383399984676759938238\ 090663231744264, c_0011_0 - 1, c_0011_1 + 5204629501396920238140711799930387213135/7103833999846767599\ 38238090663231744264*c_0110_6^26 - 7027717829561352817494403819795136984119/17759584999616918998455952\ 2665807936066*c_0110_6^25 - 873422391770259169539360164169845285950\ 57/710383399984676759938238090663231744264*c_0110_6^24 + 102436821270935086278830343677150101312141/887979249980845949922797\ 61332903968033*c_0110_6^23 - 53607394524661713477966824912297368778\ 51/355191699992338379969119045331615872132*c_0110_6^22 - 8785480421374425449136088516071783008028237/71038339998467675993823\ 8090663231744264*c_0110_6^21 + 557838862912109569360404936850016603\ 1335713/710383399984676759938238090663231744264*c_0110_6^20 + 25189913097935247691308605211151484051732669/3551916999923383799691\ 19045331615872132*c_0110_6^19 - 32446122060888334771146932750473080\ 895270943/710383399984676759938238090663231744264*c_0110_6^18 - 168845911259868113604766474118492445977202051/710383399984676759938\ 238090663231744264*c_0110_6^17 + 1203501829187020607081472459015620\ 3975908863/88797924998084594992279761332903968033*c_0110_6^16 + 354104988929245848943252894656180218988614533/710383399984676759938\ 238090663231744264*c_0110_6^15 - 1893468468547236789258543099593156\ 82702420785/710383399984676759938238090663231744264*c_0110_6^14 - 483410211416933814218543574437573434650095291/710383399984676759938\ 238090663231744264*c_0110_6^13 + 1312991442246520576935497579618677\ 61793742427/355191699992338379969119045331615872132*c_0110_6^12 + 430993289430661900395659499602555001787575181/710383399984676759938\ 238090663231744264*c_0110_6^11 - 2488935287020165312357277693409606\ 39100117953/710383399984676759938238090663231744264*c_0110_6^10 - 242714601239959275285610471481260418395828321/710383399984676759938\ 238090663231744264*c_0110_6^9 + 37696407941355244990902078342974691\ 497985325/177595849996169189984559522665807936066*c_0110_6^8 + 10073621206106585002302673134777997878659818/8879792499808459499227\ 9761332903968033*c_0110_6^7 - 2693815261211821346431193019206096934\ 4442877/355191699992338379969119045331615872132*c_0110_6^6 - 13888073909690822428122575608657358081745845/7103833999846767599382\ 38090663231744264*c_0110_6^5 + 127032447827046009849061587471086919\ 7985794/88797924998084594992279761332903968033*c_0110_6^4 + 873067076651960608383708127178476951690783/710383399984676759938238\ 090663231744264*c_0110_6^3 - 80409972451405862099149562943640774655\ 4141/710383399984676759938238090663231744264*c_0110_6^2 + 7788087316046737699506872037163108561915/35519169999233837996911904\ 5331615872132*c_0110_6 + 8799876243432952347219491826002492894465/7\ 10383399984676759938238090663231744264, c_0011_4 + 5827485487240576658307977680578901975731/7103833999846767599\ 38238090663231744264*c_0110_6^26 - 3930459837568824147948247037251431692859/88797924998084594992279761\ 332903968033*c_0110_6^25 - 9780847571186898506965718172810708931930\ 1/710383399984676759938238090663231744264*c_0110_6^24 + 114540219392711742593925345452751337641836/887979249980845949922797\ 61332903968033*c_0110_6^23 - 51007824948724109079236919978439545967\ 63/355191699992338379969119045331615872132*c_0110_6^22 - 9815084946882544733390832258497039213924497/71038339998467675993823\ 8090663231744264*c_0110_6^21 + 620905586569354694599365313092751149\ 1348273/710383399984676759938238090663231744264*c_0110_6^20 + 28099223892744763409985575458468700470361719/3551916999923383799691\ 19045331615872132*c_0110_6^19 - 36047752338289641183760244390696384\ 818118519/710383399984676759938238090663231744264*c_0110_6^18 - 187824569699482321051688171609202475445582655/710383399984676759938\ 238090663231744264*c_0110_6^17 + 1336917082051634391666460603189406\ 9916267603/88797924998084594992279761332903968033*c_0110_6^16 + 392518241219397893362254487259801391430684257/710383399984676759938\ 238090663231744264*c_0110_6^15 - 2107178642072548448501939969344360\ 97706461905/710383399984676759938238090663231744264*c_0110_6^14 - 533672458197734428769982208338003985342140019/710383399984676759938\ 238090663231744264*c_0110_6^13 + 1464048482855338335268231811251634\ 71693500355/355191699992338379969119045331615872132*c_0110_6^12 + 473366470447485741040497650465082864637096933/710383399984676759938\ 238090663231744264*c_0110_6^11 - 2777712624384865485324144142197735\ 01918248169/710383399984676759938238090663231744264*c_0110_6^10 - 264568256446741702242406504456538203511514093/710383399984676759938\ 238090663231744264*c_0110_6^9 + 42072054489102211981308004526795157\ 855323617/177595849996169189984559522665807936066*c_0110_6^8 + 10845194944692073027286866209361744192025946/8879792499808459499227\ 9761332903968033*c_0110_6^7 - 3007533942437949822794285199880519529\ 4746241/355191699992338379969119045331615872132*c_0110_6^6 - 14590309566237054409417335855768129002503657/7103833999846767599382\ 38090663231744264*c_0110_6^5 + 284518863097930923535314178300869789\ 0604661/177595849996169189984559522665807936066*c_0110_6^4 + 839296415637958961708697034000925153627699/710383399984676759938238\ 090663231744264*c_0110_6^3 - 90908212807198658879726984796251422338\ 4705/710383399984676759938238090663231744264*c_0110_6^2 + 12903966664111205262645419530742122280621/3551916999923383799691190\ 45331615872132*c_0110_6 + 10292571378032775998668081412995699187757\ /710383399984676759938238090663231744264, c_0011_6 + 1896239450650706157620333343462683072105/1775958499961691899\ 84559522665807936066*c_0110_6^26 - 5169085365969110732807607586166516355041/88797924998084594992279761\ 332903968033*c_0110_6^25 - 1564723703627620409632794741862117642440\ 2/88797924998084594992279761332903968033*c_0110_6^24 + 150083400113900123930638149926749083485468/887979249980845949922797\ 61332903968033*c_0110_6^23 - 96288105163687647195336590678451104585\ 32/88797924998084594992279761332903968033*c_0110_6^22 - 3199953501986525148387705619951458950012031/17759584999616918998455\ 9522665807936066*c_0110_6^21 + 219704590399785456617475235096836605\ 5080673/177595849996169189984559522665807936066*c_0110_6^20 + 18243793452363176760857961563787065311507395/1775958499961691899845\ 59522665807936066*c_0110_6^19 - 63853415741437861606598613610794504\ 46156201/88797924998084594992279761332903968033*c_0110_6^18 - 30437240411874234835228252350959338595228351/8879792499808459499227\ 9761332903968033*c_0110_6^17 + 191548727015677076610884613020083225\ 91935423/88797924998084594992279761332903968033*c_0110_6^16 + 127166946245481149026422246625138392329978725/177595849996169189984\ 559522665807936066*c_0110_6^15 - 7588387294734494004284402631249969\ 9980877047/177595849996169189984559522665807936066*c_0110_6^14 - 86353886739072010496477511955981644051099808/8879792499808459499227\ 9761332903968033*c_0110_6^13 + 105240746370401700901387589564295383\ 150362817/177595849996169189984559522665807936066*c_0110_6^12 + 152624248320444633866910251303873384508832985/177595849996169189984\ 559522665807936066*c_0110_6^11 - 4967937181332949882083671338565074\ 0880940297/88797924998084594992279761332903968033*c_0110_6^10 - 42287484987442506070389181132417767206488292/8879792499808459499227\ 9761332903968033*c_0110_6^9 + 2998718580043965092239861563014133444\ 1105457/88797924998084594992279761332903968033*c_0110_6^8 + 13626524936372234702223664555881653083644114/8879792499808459499227\ 9761332903968033*c_0110_6^7 - 1070869236174648955884418228881478214\ 5731745/88797924998084594992279761332903968033*c_0110_6^6 - 4415200575449944197023572328476188400100089/17759584999616918998455\ 9522665807936066*c_0110_6^5 + 2031314636032678441972739851810127078\ 144356/88797924998084594992279761332903968033*c_0110_6^4 + 111887864943918382039112606153583838442340/887979249980845949922797\ 61332903968033*c_0110_6^3 - 326854537023101383531859837963499216272\ 773/177595849996169189984559522665807936066*c_0110_6^2 + 5204156529925842265649403089886383297866/88797924998084594992279761\ 332903968033*c_0110_6 + 1863344746825075536318990804449464054495/88\ 797924998084594992279761332903968033, c_0101_0 + 864783796606560677190926033853670794693/35519169999233837996\ 9119045331615872132*c_0110_6^26 - 465637800199533570143404176229004\ 2913821/355191699992338379969119045331615872132*c_0110_6^25 - 7294051080723682448704194059320108837727/17759584999616918998455952\ 2665807936066*c_0110_6^24 + 679512594921873426900017753017344515853\ 91/177595849996169189984559522665807936066*c_0110_6^23 + 119900629117695805020281154128737866576/887979249980845949922797613\ 32903968033*c_0110_6^22 - 14592573230919252921941978464205568158544\ 79/355191699992338379969119045331615872132*c_0110_6^21 + 450802370211290195481998248961085274430115/177595849996169189984559\ 522665807936066*c_0110_6^20 + 2095241698815509474534588914916088498\ 440734/88797924998084594992279761332903968033*c_0110_6^19 - 5237870971431683474918272980928941241364129/35519169999233837996911\ 9045331615872132*c_0110_6^18 - 702827301345970764934618182966754875\ 8674420/88797924998084594992279761332903968033*c_0110_6^17 + 3861691123908007859741791367498968727404306/88797924998084594992279\ 761332903968033*c_0110_6^16 + 5897454729919370716559378837090104915\ 0049219/355191699992338379969119045331615872132*c_0110_6^15 - 15108617785406008259480890232768342562566033/1775958499961691899845\ 59522665807936066*c_0110_6^14 - 80503627131437112286941762667418572\ 343218807/355191699992338379969119045331615872132*c_0110_6^13 + 41794465872451992024150860599680909936801097/3551916999923383799691\ 19045331615872132*c_0110_6^12 + 35883952003776399435775253617619440\ 095043557/177595849996169189984559522665807936066*c_0110_6^11 - 39542337840562675878133893635626534890246773/3551916999923383799691\ 19045331615872132*c_0110_6^10 - 20205962925952080881704769278537819\ 245543561/177595849996169189984559522665807936066*c_0110_6^9 + 11931886362286078659121109113843656387841161/1775958499961691899845\ 59522665807936066*c_0110_6^8 + 669809445408544689074122925281381319\ 7595867/177595849996169189984559522665807936066*c_0110_6^7 - 2111739931541554406893010123997395804728323/88797924998084594992279\ 761332903968033*c_0110_6^6 - 22831865538982124851043935016605648014\ 83059/355191699992338379969119045331615872132*c_0110_6^5 + 1557600346867728432819651910267390642098655/35519169999233837996911\ 9045331615872132*c_0110_6^4 + 6652293548071631356521822768899901105\ 7419/177595849996169189984559522665807936066*c_0110_6^3 - 115646863413229447934082760937402663817641/355191699992338379969119\ 045331615872132*c_0110_6^2 + 41772626724101535575024072819273741646\ 79/355191699992338379969119045331615872132*c_0110_6 + 226624818687718298229351392577132380796/887979249980845949922797613\ 32903968033, c_0101_5 - 7903102927245137853283365162956811357291/7103833999846767599\ 38238090663231744264*c_0110_6^26 + 21519164243386117074217353403693272830661/3551916999923383799691190\ 45331615872132*c_0110_6^25 + 13047799357820034864254063598323288857\ 7831/710383399984676759938238090663231744264*c_0110_6^24 - 312278569608756092261526812104970512176003/177595849996169189984559\ 522665807936066*c_0110_6^23 + 3818831591951029038718882300413107690\ 5749/355191699992338379969119045331615872132*c_0110_6^22 + 13304765795612485635241973144565496939774769/7103833999846767599382\ 38090663231744264*c_0110_6^21 - 90814825916382445378218488295675969\ 13588799/710383399984676759938238090663231744264*c_0110_6^20 - 37872860876875571874338011907092894419822655/3551916999923383799691\ 19045331615872132*c_0110_6^19 + 52623289682930406400146055648147513\ 757696747/710383399984676759938238090663231744264*c_0110_6^18 + 252080075010868186586039285695883352095319105/710383399984676759938\ 238090663231744264*c_0110_6^17 - 1967658262526309697604987879905693\ 2063265044/88797924998084594992279761332903968033*c_0110_6^16 - 524735058644841425246370137927547590894957313/710383399984676759938\ 238090663231744264*c_0110_6^15 + 3112878061102559622362949677086750\ 08461014215/710383399984676759938238090663231744264*c_0110_6^14 + 709589662617781450219286432794756038433235803/710383399984676759938\ 238090663231744264*c_0110_6^13 - 5388473264076221537663670532974133\ 9237101213/88797924998084594992279761332903968033*c_0110_6^12 - 623680253082099967893801995369673710716901619/710383399984676759938\ 238090663231744264*c_0110_6^11 + 4058604746959026787228216987739207\ 85689586489/710383399984676759938238090663231744264*c_0110_6^10 + 343055953588518281460799328030984284469847751/710383399984676759938\ 238090663231744264*c_0110_6^9 - 30469280093279306227526369301764937\ 749947283/88797924998084594992279761332903968033*c_0110_6^8 - 27357042242538264944862455616078871303410485/1775958499961691899845\ 59522665807936066*c_0110_6^7 + 431807942164549328445297153991065391\ 04700759/355191699992338379969119045331615872132*c_0110_6^6 + 17524573034141811777756529876631267270830745/7103833999846767599382\ 38090663231744264*c_0110_6^5 - 810215638920250399084990899084281077\ 6608045/355191699992338379969119045331615872132*c_0110_6^4 - 898746609370223891768884482145790411729377/710383399984676759938238\ 090663231744264*c_0110_6^3 + 12856079131923472139015520214447705560\ 47213/710383399984676759938238090663231744264*c_0110_6^2 - 8694123719450564017424920782153452708103/17759584999616918998455952\ 2665807936066*c_0110_6 - 14352931490314118719628139749002691714995/\ 710383399984676759938238090663231744264, c_0110_6^27 - 5*c_0110_6^26 - 19*c_0110_6^25 + 151*c_0110_6^24 + 62*c_0110_6^23 - 1697*c_0110_6^22 + 394*c_0110_6^21 + 10199*c_0110_6^20 - 2399*c_0110_6^19 - 35468*c_0110_6^18 + 5765*c_0110_6^17 + 77283*c_0110_6^16 - 9866*c_0110_6^15 - 111454*c_0110_6^14 + 14591*c_0110_6^13 + 108713*c_0110_6^12 - 16394*c_0110_6^11 - 71144*c_0110_6^10 + 11875*c_0110_6^9 + 30356*c_0110_6^8 - 5062*c_0110_6^7 - 8045*c_0110_6^6 + 1179*c_0110_6^5 + 1209*c_0110_6^4 - 132*c_0110_6^3 - 83*c_0110_6^2 + 5*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB