Magma V2.19-8 Tue Aug 20 2013 16:16:13 on localhost [Seed = 964208120] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0472 geometric_solution 4.50163275 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 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 -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.901903564632 0.568967741394 0 4 3 3 0132 0132 3201 2031 0 0 0 0 0 0 -1 1 0 0 -1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.372093653348 0.574465394447 5 0 0 5 0132 0132 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 -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 1.171931581566 0.189626796500 1 1 0 4 2310 1302 0132 1023 0 0 0 0 0 -1 0 1 0 0 0 0 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 0 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 0 0 0 0 0 0.372093653348 0.574465394447 4 1 4 3 2310 0132 3201 1023 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 1 -1 -1 0 0 1 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.205895545386 0.839729969455 2 2 6 6 0132 2310 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 1.751646980550 0.326017832730 6 5 6 5 2310 2310 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.745999362763 0.068831950971 ==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_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0101_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(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_0'], 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], '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' : negation(d['c_0101_2']), 'c_1001_4' : d['c_0011_3'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : 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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 12590185941345014804641964788378852065271/5499278406791745292692528\ 6565575274855*c_0101_5^27 - 180029488270875507644740048855421749227\ 0/10998556813583490585385057313115054971*c_0101_5^26 + 331880030005316171586285355283066543766531/109985568135834905853850\ 573131150549710*c_0101_5^25 - 9006141880629144059293525929592847523\ 8982/10998556813583490585385057313115054971*c_0101_5^24 - 250546927239094876153650045670478984767307/109985568135834905853850\ 57313115054971*c_0101_5^23 + 19021671664092909195127593305808750059\ 503631/109985568135834905853850573131150549710*c_0101_5^22 + 16310552144982275855981813416249675011185089/1099855681358349058538\ 50573131150549710*c_0101_5^21 - 15333805788783509577078574630337102\ 666938690/10998556813583490585385057313115054971*c_0101_5^20 - 37069361722816189287517795148827087092490554/5499278406791745292692\ 5286565575274855*c_0101_5^19 + 664599529783853854688345453509335938\ 843370029/109985568135834905853850573131150549710*c_0101_5^18 + 186629832589118614642321336683254751667052547/109985568135834905853\ 850573131150549710*c_0101_5^17 - 1682213978758357147858300511203231\ 420303096933/109985568135834905853850573131150549710*c_0101_5^16 - 114605880238348896796291821659958922449090122/549927840679174529269\ 25286565575274855*c_0101_5^15 + 68504977859261556590937107614024199\ 623387008/2894357056206181732996067713977646045*c_0101_5^14 + 41223413396020205762610464064239947985668033/5499278406791745292692\ 5286565575274855*c_0101_5^13 - 233239101101417168150817806438063042\ 10912392/999868801234862780489550664828641361*c_0101_5^12 + 20853047741353725367924733589518373982793029/2199711362716698117077\ 0114626230109942*c_0101_5^11 + 150860412505068054107876437609805908\ 153140839/9998688012348627804895506648286413610*c_0101_5^10 - 134055669549603325995301615438994021029371373/109985568135834905853\ 850573131150549710*c_0101_5^9 - 37514785807123973885460109159370410\ 08942431/578871411241236346599213542795529209*c_0101_5^8 + 61149404966785595291867637776992107560417539/1099855681358349058538\ 50573131150549710*c_0101_5^7 + 397145471137499305313627439287458762\ 84301957/21997113627166981170770114626230109942*c_0101_5^6 - 1224016894332475174698906915117583573922512/10998556813583490585385\ 057313115054971*c_0101_5^5 - 32801684492023698353523742434255141029\ 028587/109985568135834905853850573131150549710*c_0101_5^4 + 1067283666496404791297176991315978699118513/10998556813583490585385\ 0573131150549710*c_0101_5^3 + 2705167772174643708539913372026073513\ 640301/109985568135834905853850573131150549710*c_0101_5^2 - 16300316105521688283606111833214106031068/5499278406791745292692528\ 6565575274855*c_0101_5 - 42495319793136511727178017934631055981021/\ 54992784067917452926925286565575274855, c_0011_0 - 1, c_0011_3 - 22537865820718381496923675392009078757/536514966516267833433\ 417429908051462*c_0101_5^27 - 2715077155950654023089119659276902813\ 7/1073029933032535666866834859816102924*c_0101_5^26 + 13528849406543205642750896973425137137/2438704393255762879242806499\ 5820521*c_0101_5^25 - 1678295628379767666883576010788571360629/1073\ 029933032535666866834859816102924*c_0101_5^24 - 2135476646826946116823800754780003480885/53651496651626783343341742\ 9908051462*c_0101_5^23 + 34434356341950539197473500680066072418597/\ 1073029933032535666866834859816102924*c_0101_5^22 + 25233060404586072437316140407765176064695/1073029933032535666866834\ 859816102924*c_0101_5^21 - 6893685295299879454586103376663661794248\ 3/268257483258133916716708714954025731*c_0101_5^20 - 25564096338145093188789853069467264300459/2682574832581339167167087\ 14954025731*c_0101_5^19 + 11894182436684805473509667939336071386736\ 85/1073029933032535666866834859816102924*c_0101_5^18 + 104202542745381855156579404730579867069377/536514966516267833433417\ 429908051462*c_0101_5^17 - 1493591512028687992133787355732975796345\ 143/536514966516267833433417429908051462*c_0101_5^16 - 58229199430698771692747193379423880550557/5365149665162678334334174\ 29908051462*c_0101_5^15 + 24034782236458215469947163999255479040835\ 1/56475259633291350887728150516636996*c_0101_5^14 - 126878170083563174585909435240938396810149/536514966516267833433417\ 429908051462*c_0101_5^13 - 4431833601318435003161219657258216709634\ 259/1073029933032535666866834859816102924*c_0101_5^12 + 519355438036456210573359958557510042797513/107302993303253566686683\ 4859816102924*c_0101_5^11 + 705202563062513084785478088362454967178\ 018/268257483258133916716708714954025731*c_0101_5^10 - 103406937154195589833363888109309088810774/268257483258133916716708\ 714954025731*c_0101_5^9 - 5722629700745214973865378916424837066293/\ 5134114512117395535248013683330636*c_0101_5^8 + 42061823260468937320748037553082107844163/2682574832581339167167087\ 14954025731*c_0101_5^7 + 331259694645795314964801668918916901914337\ /1073029933032535666866834859816102924*c_0101_5^6 - 34569233183717033344163203004791432189877/1073029933032535666866834\ 859816102924*c_0101_5^5 - 13730980555722130682573147284277897517876\ /268257483258133916716708714954025731*c_0101_5^4 + 1675448391979603643763184224271248548765/53651496651626783343341742\ 9908051462*c_0101_5^3 + 1149155978980759344666637556317314848119/26\ 8257483258133916716708714954025731*c_0101_5^2 - 28775294854024773632873547960993741622/2682574832581339167167087149\ 54025731*c_0101_5 - 146138819621425946397668307122100600781/1073029\ 933032535666866834859816102924, c_0011_6 - 10223137794393553546703280819579604113/107302993303253566686\ 6834859816102924*c_0101_5^27 - 483340451123912476333098633719036422\ /268257483258133916716708714954025731*c_0101_5^26 + 67190592244424627063339826373832200659/5365149665162678334334174299\ 08051462*c_0101_5^25 - 436197771315583215738447719015046277361/1073\ 029933032535666866834859816102924*c_0101_5^24 - 769755969247473432067695463651613257023/107302993303253566686683485\ 9816102924*c_0101_5^23 + 8063809619190267476053383752376882446675/1\ 073029933032535666866834859816102924*c_0101_5^22 + 2295126062591036379549949572660482865869/10730299330325356668668348\ 59816102924*c_0101_5^21 - 1417067174974343012326425298176752415967/\ 24387043932557628792428064995820521*c_0101_5^20 + 2695148727219930308475331386072114362647/10730299330325356668668348\ 59816102924*c_0101_5^19 + 64999268200443762618039542590447495747845\ /268257483258133916716708714954025731*c_0101_5^18 - 5299092522176134312245991612693194874253/97548175730230515169712259\ 983282084*c_0101_5^17 - 617964357451347222597442209062271615616395/\ 1073029933032535666866834859816102924*c_0101_5^16 + 53647253555130110388820557778091013617194/2682574832581339167167087\ 14954025731*c_0101_5^15 + 45543299894758844888043154956990902880689\ /56475259633291350887728150516636996*c_0101_5^14 - 370684798885832675628833556329949844092201/107302993303253566686683\ 4859816102924*c_0101_5^13 - 743706022718045309842948924954937452466\ 465/1073029933032535666866834859816102924*c_0101_5^12 + 354119046335571428539619223413591135129537/107302993303253566686683\ 4859816102924*c_0101_5^11 + 204412627025906313428577088730077071476\ 371/536514966516267833433417429908051462*c_0101_5^10 - 198584571068831008549490961677265018907095/107302993303253566686683\ 4859816102924*c_0101_5^9 - 3930418412062332780064268458602088674055\ /28237629816645675443864075258318498*c_0101_5^8 + 16420170110882727244577571927229396802803/2682574832581339167167087\ 14954025731*c_0101_5^7 + 9108675068331954117630485232980946839387/2\ 68257483258133916716708714954025731*c_0101_5^6 - 275021438149602241448963212417442785110/243870439325576287924280649\ 95820521*c_0101_5^5 - 5406139589097327876017110040255152096241/1073\ 029933032535666866834859816102924*c_0101_5^4 + 1066490188604733056807505831380817938185/10730299330325356668668348\ 59816102924*c_0101_5^3 + 420622729285207885288509755059793680193/10\ 73029933032535666866834859816102924*c_0101_5^2 - 17183109913611169512718670612673804727/5365149665162678334334174299\ 08051462*c_0101_5 - 1104407963740477318712898601101805725/975481757\ 30230515169712259983282084, c_0101_0 - 1201956139470707833882610861085087809/9754817573023051516971\ 2259983282084*c_0101_5^27 - 1499189869892116313002719326178180893/5\ 36514966516267833433417429908051462*c_0101_5^26 + 173813089748806870150545747670043702375/107302993303253566686683485\ 9816102924*c_0101_5^25 - 278734872791269205826679337924807655043/53\ 6514966516267833433417429908051462*c_0101_5^24 - 1018169157443973263259511422897909971529/10730299330325356668668348\ 59816102924*c_0101_5^23 + 10395020734128901765799643239220996431495\ /1073029933032535666866834859816102924*c_0101_5^22 + 843200761968379390834914647711932013990/268257483258133916716708714\ 954025731*c_0101_5^21 - 40303087208763031940251847502468604442823/5\ 36514966516267833433417429908051462*c_0101_5^20 + 32296361919223016230138865079032927467/9754817573023051516971225998\ 3282084*c_0101_5^19 + 84251325319602482456732449501594664370090/268\ 257483258133916716708714954025731*c_0101_5^18 - 31114806762771862450390572250285902537069/5365149665162678334334174\ 29908051462*c_0101_5^17 - 36572085504050335525217420507151445402257\ /48774087865115257584856129991641042*c_0101_5^16 + 245963740109721030842109677999881279082131/107302993303253566686683\ 4859816102924*c_0101_5^15 + 298805300314308764352632924780794058810\ 03/28237629816645675443864075258318498*c_0101_5^14 - 434830087087589335089424038176592105061651/107302993303253566686683\ 4859816102924*c_0101_5^13 - 987984785961344987051059874045133883620\ 837/1073029933032535666866834859816102924*c_0101_5^12 + 209724152596167551978633789952853944396745/536514966516267833433417\ 429908051462*c_0101_5^11 + 2764186959782110847748404031014001588220\ 83/536514966516267833433417429908051462*c_0101_5^10 - 235583709801481094636151826219377181778145/107302993303253566686683\ 4859816102924*c_0101_5^9 - 5434460648969531105161355111141606322957\ /28237629816645675443864075258318498*c_0101_5^8 + 77126749369155399780934466951693187907853/1073029933032535666866834\ 859816102924*c_0101_5^7 + 51554515532023521015097927848738622415221\ /1073029933032535666866834859816102924*c_0101_5^6 - 3423422528635506063365735860048481502817/26825748325813391671670871\ 4954025731*c_0101_5^5 - 355030096722238516015679553562185549957/487\ 74087865115257584856129991641042*c_0101_5^4 + 270675838855297949385339693233022811817/268257483258133916716708714\ 954025731*c_0101_5^3 + 153160634558961446781625385388762432747/2682\ 57483258133916716708714954025731*c_0101_5^2 - 25050233192906835774115005761530806147/1073029933032535666866834859\ 816102924*c_0101_5 - 9259925154744402832698768331198127071/53651496\ 6516267833433417429908051462, c_0101_1 - 17134045746469143446766843789188150161/107302993303253566686\ 6834859816102924*c_0101_5^27 - 157309374512387236493513588303044741\ 3/268257483258133916716708714954025731*c_0101_5^26 + 224620269006097763986417552391224960815/107302993303253566686683485\ 9816102924*c_0101_5^25 - 172678774990512134248623895450331397534/26\ 8257483258133916716708714954025731*c_0101_5^24 - 1420242205124512824324561803132902026769/10730299330325356668668348\ 59816102924*c_0101_5^23 + 1207372070660408210541927746809137967733/\ 97548175730230515169712259983282084*c_0101_5^22 + 3133022358422677778924905738395272030875/53651496651626783343341742\ 9908051462*c_0101_5^21 - 51896107563459253574851608818221388585333/\ 536514966516267833433417429908051462*c_0101_5^20 - 14290425231793632854237768879092522587419/1073029933032535666866834\ 859816102924*c_0101_5^19 + 1984478872234423591953187674319069119722\ 1/48774087865115257584856129991641042*c_0101_5^18 - 9367692486264218984398135512129649902297/53651496651626783343341742\ 9908051462*c_0101_5^17 - 263542420875769476441329892190562614648174\ /268257483258133916716708714954025731*c_0101_5^16 + 15490970056721109065363499900930776794237/9754817573023051516971225\ 9983282084*c_0101_5^15 + 20002994871503906252332461902167956665863/\ 14118814908322837721932037629159249*c_0101_5^14 - 354838951820985751407955693026144367007025/107302993303253566686683\ 4859816102924*c_0101_5^13 - 137143046189393149582618306709174486147\ 5113/1073029933032535666866834859816102924*c_0101_5^12 + 183284400391401995861349799639102617409977/536514966516267833433417\ 429908051462*c_0101_5^11 + 2020099554849545403393060389779543861124\ 15/268257483258133916716708714954025731*c_0101_5^10 - 212602224328562215891251949519342791963983/107302993303253566686683\ 4859816102924*c_0101_5^9 - 4216183767640112901259389600169862056183\ /14118814908322837721932037629159249*c_0101_5^8 + 69323620732470293638631668125994104620799/1073029933032535666866834\ 859816102924*c_0101_5^7 + 84454739141167214775825774193122169535993\ /1073029933032535666866834859816102924*c_0101_5^6 - 5725251851652217391658891698425378818857/53651496651626783343341742\ 9908051462*c_0101_5^5 - 6701578361199743126600929697245297094611/53\ 6514966516267833433417429908051462*c_0101_5^4 + 184561531841845362081344484959437472877/268257483258133916716708714\ 954025731*c_0101_5^3 + 542045398384038598503755516716702237287/5365\ 14966516267833433417429908051462*c_0101_5^2 - 930742394564502526074764162890668981/975481757302305151697122599832\ 82084*c_0101_5 - 8334117573775515750144634949154326864/268257483258\ 133916716708714954025731, c_0101_2 + 12717287638074403793387928763149449221/107302993303253566686\ 6834859816102924*c_0101_5^27 + 532431848920477190276121540024022397\ /268257483258133916716708714954025731*c_0101_5^26 - 83581348339077220960976609128329262515/5365149665162678334334174299\ 08051462*c_0101_5^25 + 546091010670665883246121649649652413987/1073\ 029933032535666866834859816102924*c_0101_5^24 + 85918367944315516948537398055578235975/9754817573023051516971225998\ 3282084*c_0101_5^23 - 10047542281452805545640461355703109890617/107\ 3029933032535666866834859816102924*c_0101_5^22 - 2641073514213999093482394747021310655429/10730299330325356668668348\ 59816102924*c_0101_5^21 + 38786316780025914328592009747748900207299\ /536514966516267833433417429908051462*c_0101_5^20 - 4922136098385188670231804320220643284625/10730299330325356668668348\ 59816102924*c_0101_5^19 - 16151539012244160690310252795047500520010\ 3/536514966516267833433417429908051462*c_0101_5^18 + 78615898150944616879157791391484782690683/1073029933032535666866834\ 859816102924*c_0101_5^17 + 7661076399423600757055351105117994195512\ 53/1073029933032535666866834859816102924*c_0101_5^16 - 69974675450680085967143615515595716707098/2682574832581339167167087\ 14954025731*c_0101_5^15 - 56278205960996681351526792751819317003409\ /56475259633291350887728150516636996*c_0101_5^14 + 476360718525014949354726373849532792526633/107302993303253566686683\ 4859816102924*c_0101_5^13 + 915473501427831347404024697050025452767\ 133/1073029933032535666866834859816102924*c_0101_5^12 - 450967734284496605796615077957645685649533/107302993303253566686683\ 4859816102924*c_0101_5^11 - 125340766290632549321794376262434244871\ 039/268257483258133916716708714954025731*c_0101_5^10 + 251549204491326598481972744593318802357155/107302993303253566686683\ 4859816102924*c_0101_5^9 + 2403317879899622147571474970333047667495\ /14118814908322837721932037629159249*c_0101_5^8 - 41517790308590401549611685061802493755021/5365149665162678334334174\ 29908051462*c_0101_5^7 - 11127767279533013687942069454277728598887/\ 268257483258133916716708714954025731*c_0101_5^6 + 7657013408896431488644711634576143944161/53651496651626783343341742\ 9908051462*c_0101_5^5 + 6602720735480145929452879840196645344979/10\ 73029933032535666866834859816102924*c_0101_5^4 - 123628802702278132831649513503694974359/975481757302305151697122599\ 83282084*c_0101_5^3 - 46396379316174540733706092204642061553/975481\ 75730230515169712259983282084*c_0101_5^2 + 23641797568205486383029248185058954755/5365149665162678334334174299\ 08051462*c_0101_5 + 15293366460039455187981073634277055567/10730299\ 33032535666866834859816102924, c_0101_5^28 + c_0101_5^27 - 13*c_0101_5^26 + 32*c_0101_5^25 + 110*c_0101_5^24 - 728*c_0101_5^23 - 865*c_0101_5^22 + 5923*c_0101_5^21 + 4689*c_0101_5^20 - 25693*c_0101_5^19 - 14958*c_0101_5^18 + 65263*c_0101_5^17 + 28136*c_0101_5^16 - 102110*c_0101_5^15 - 32560*c_0101_5^14 + 102762*c_0101_5^13 + 24525*c_0101_5^12 - 68597*c_0101_5^11 - 13103*c_0101_5^10 + 30639*c_0101_5^9 + 5463*c_0101_5^8 - 8867*c_0101_5^7 - 1720*c_0101_5^6 + 1506*c_0101_5^5 + 327*c_0101_5^4 - 127*c_0101_5^3 - 30*c_0101_5^2 + 4*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB