Magma V2.19-8 Tue Aug 20 2013 16:17:26 on localhost [Seed = 1014866166] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1673 geometric_solution 5.40347895 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 0 1 -1 0 0 1 -1 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 -1 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.485908689755 0.557754077911 0 3 2 4 0132 0132 1230 0132 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 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.724563062862 0.837830952200 3 0 4 1 3201 0132 3201 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.724563062862 0.837830952200 3 1 3 2 2310 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.296091451483 1.007037296612 2 5 1 5 2310 0132 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 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 1.926453969127 0.596350269703 4 4 6 6 3201 0132 2310 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 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.165872816244 0.491638343864 6 5 5 6 3201 3201 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 1 0 -1 1 0 0 -1 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.127696413779 0.809679085660 ==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' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], '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_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(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_2']), 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 4887495978090082739197800015476773551643336/42581828165065128979078\ 615667376803052523*c_0101_6^26 + 3238797333367577072296661993982486\ 2020240252/42581828165065128979078615667376803052523*c_0101_6^25 + 23174693570246528020125501454399202666193588/4258182816506512897907\ 8615667376803052523*c_0101_6^24 - 149160343438790410748717470333990\ 196340813579/42581828165065128979078615667376803052523*c_0101_6^23 + 83219909041997737053635757462013371437454246/4258182816506512897907\ 8615667376803052523*c_0101_6^22 + 751019515236082985049460348932880\ 237447717703/42581828165065128979078615667376803052523*c_0101_6^21 - 1221609510648520091297356148622524030247135279/42581828165065128979\ 078615667376803052523*c_0101_6^20 - 2167449166015320287259303159070796665305258018/42581828165065128979\ 078615667376803052523*c_0101_6^19 + 5439893197966046632564426624301125554655038127/42581828165065128979\ 078615667376803052523*c_0101_6^18 + 1471765436745381070555290174560942421501962936/42581828165065128979\ 078615667376803052523*c_0101_6^17 - 14065403995680675762380397812799341262958989828/4258182816506512897\ 9078615667376803052523*c_0101_6^16 + 7418697329671586038966993497266632270972296132/42581828165065128979\ 078615667376803052523*c_0101_6^15 + 21335708961770282505308736671593176709777955245/4258182816506512897\ 9078615667376803052523*c_0101_6^14 - 22882923286936022045923037600075126366877266850/4258182816506512897\ 9078615667376803052523*c_0101_6^13 - 16637697565689853330200824746189774897720689037/4258182816506512897\ 9078615667376803052523*c_0101_6^12 + 30380712605455669939375673008146301976644539535/4258182816506512897\ 9078615667376803052523*c_0101_6^11 + 2301423178312121328993738139109632931569244644/42581828165065128979\ 078615667376803052523*c_0101_6^10 - 21625113811060761927333011487679842609289847575/4258182816506512897\ 9078615667376803052523*c_0101_6^9 + 6151225778251636952224072940377146449255261948/42581828165065128979\ 078615667376803052523*c_0101_6^8 + 7763426448846946107631882530517224024394415416/42581828165065128979\ 078615667376803052523*c_0101_6^7 - 4325836002098710193840118567666200612892996464/42581828165065128979\ 078615667376803052523*c_0101_6^6 - 889885627699480463953593421191603853887872521/425818281650651289790\ 78615667376803052523*c_0101_6^5 + 935696460748672371038472392073433\ 458581511367/42581828165065128979078615667376803052523*c_0101_6^4 - 108031933264677918623137078199471630484662492/425818281650651289790\ 78615667376803052523*c_0101_6^3 - 242007752059331066359503371502813\ 78619956912/42581828165065128979078615667376803052523*c_0101_6^2 + 6990432441776383821229408315840070886555493/42581828165065128979078\ 615667376803052523*c_0101_6 + 5435331420265564822065511378567809155\ 46594/42581828165065128979078615667376803052523, c_0011_0 - 1, c_0011_4 - 142578459524625096047742065687376954578808/42581828165065128\ 979078615667376803052523*c_0101_6^26 - 880370064145077911581596414127432582891660/425818281650651289790786\ 15667376803052523*c_0101_6^25 - 43689149822853615040589748504989501\ 7351808/42581828165065128979078615667376803052523*c_0101_6^24 + 3511200275611233850399050261303538398366821/42581828165065128979078\ 615667376803052523*c_0101_6^23 - 4824153335955199735569527827542747\ 561369475/42581828165065128979078615667376803052523*c_0101_6^22 - 15806423838389444597996395818452352309927940/4258182816506512897907\ 8615667376803052523*c_0101_6^21 + 389191197603640186499703065936061\ 91398638531/42581828165065128979078615667376803052523*c_0101_6^20 + 25320280123012294192906519917017071924386349/4258182816506512897907\ 8615667376803052523*c_0101_6^19 - 132327584075423057154052031223485\ 045035784638/42581828165065128979078615667376803052523*c_0101_6^18 + 64264479848390156393327998056451106785156701/4258182816506512897907\ 8615667376803052523*c_0101_6^17 + 236422003516938060182938275979642\ 193236757822/42581828165065128979078615667376803052523*c_0101_6^16 - 312643591527861781571823673593212791548815005/425818281650651289790\ 78615667376803052523*c_0101_6^15 - 163994046370071560077206069654964578458801491/425818281650651289790\ 78615667376803052523*c_0101_6^14 + 483973825994450333434657879273934444882462336/425818281650651289790\ 78615667376803052523*c_0101_6^13 - 100229922088791453803188880583283853759832340/425818281650651289790\ 78615667376803052523*c_0101_6^12 - 315955049780566017512264898353295478003440227/425818281650651289790\ 78615667376803052523*c_0101_6^11 + 225766274374562869243473475523317464265719492/425818281650651289790\ 78615667376803052523*c_0101_6^10 + 34765828349285490041393162301964196365993933/4258182816506512897907\ 8615667376803052523*c_0101_6^9 - 1026428891930790518460696399085640\ 31510055385/42581828165065128979078615667376803052523*c_0101_6^8 + 47581970280103850039883925708567341751533557/4258182816506512897907\ 8615667376803052523*c_0101_6^7 - 5111764081857380392133584129845464\ 905251320/42581828165065128979078615667376803052523*c_0101_6^6 - 12670789615358712827712501752816391501348174/4258182816506512897907\ 8615667376803052523*c_0101_6^5 + 9882726992562895326982148773093935\ 797550877/42581828165065128979078615667376803052523*c_0101_6^4 - 1475314183747270140484918171077313419970795/42581828165065128979078\ 615667376803052523*c_0101_6^3 - 76089329401787511372080853328655016\ 5398010/42581828165065128979078615667376803052523*c_0101_6^2 + 252901477349524271650637797067806820847847/425818281650651289790786\ 15667376803052523*c_0101_6 + 52828300302323048107402016944871136424\ 70/42581828165065128979078615667376803052523, c_0011_6 + 303460626849484060019666913826174054741352/42581828165065128\ 979078615667376803052523*c_0101_6^26 + 1865802713913755649289563877784190883900700/42581828165065128979078\ 615667376803052523*c_0101_6^25 + 7600986882222987561382173809863110\ 04510572/42581828165065128979078615667376803052523*c_0101_6^24 - 8257339666639786976287848233888457878320143/42581828165065128979078\ 615667376803052523*c_0101_6^23 + 1002975083597322483325374156309055\ 1833092868/42581828165065128979078615667376803052523*c_0101_6^22 + 36474507217365823267619593964778635743037919/4258182816506512897907\ 8615667376803052523*c_0101_6^21 - 873251583479913435213042790227978\ 46307727763/42581828165065128979078615667376803052523*c_0101_6^20 - 66323622598923490034774165460667997904557733/4258182816506512897907\ 8615667376803052523*c_0101_6^19 + 315116595479766170475866417545267\ 632043610406/42581828165065128979078615667376803052523*c_0101_6^18 - 115191055622338235969195880062582980584226909/425818281650651289790\ 78615667376803052523*c_0101_6^17 - 616231418801729066174239470124563776115536321/425818281650651289790\ 78615667376803052523*c_0101_6^16 + 711748974311215839909482757204258896917119517/425818281650651289790\ 78615667376803052523*c_0101_6^15 + 565702771092197136964192054880642188909517848/425818281650651289790\ 78615667376803052523*c_0101_6^14 - 1284782774447759424513387741795560357214062116/42581828165065128979\ 078615667376803052523*c_0101_6^13 + 11723766802863298338108405375152008963963117/4258182816506512897907\ 8615667376803052523*c_0101_6^12 + 111463255477632028405163041442856\ 2837005853898/42581828165065128979078615667376803052523*c_0101_6^11 - 472086304138329467850411453313570890193007981/4258182816506512897\ 9078615667376803052523*c_0101_6^10 - 446445206740226514603773354632655981779723828/425818281650651289790\ 78615667376803052523*c_0101_6^9 + 364541169364828397244932385496847\ 756153801079/42581828165065128979078615667376803052523*c_0101_6^8 + 43993184674932415999001897556698659350531640/4258182816506512897907\ 8615667376803052523*c_0101_6^7 - 1008566608291129875092093537226705\ 60127402944/42581828165065128979078615667376803052523*c_0101_6^6 + 13705996073428672347509318620644669702504499/4258182816506512897907\ 8615667376803052523*c_0101_6^5 + 7775346439208955628568285682124327\ 668044942/42581828165065128979078615667376803052523*c_0101_6^4 - 1869754263917891122812920283844031772834168/42581828165065128979078\ 615667376803052523*c_0101_6^3 - 16958091010027342403499265703693571\ 7307341/42581828165065128979078615667376803052523*c_0101_6^2 + 157415592145609947034250689137003980320305/425818281650651289790786\ 15667376803052523*c_0101_6 + 47053147037201368182193996286683306448\ 40/42581828165065128979078615667376803052523, c_0101_0 - 764449095872090460921703793822528421709112/42581828165065128\ 979078615667376803052523*c_0101_6^26 - 5092082242020743108970892877320458208986028/42581828165065128979078\ 615667376803052523*c_0101_6^25 - 4172969587256438950547931011115764\ 227701376/42581828165065128979078615667376803052523*c_0101_6^24 + 20713798474502791070999704859310194434446365/4258182816506512897907\ 8615667376803052523*c_0101_6^23 - 144589200628011678524026113870395\ 87794735707/42581828165065128979078615667376803052523*c_0101_6^22 - 109108415858375096698963783538668848666323308/425818281650651289790\ 78615667376803052523*c_0101_6^21 + 178819055982011569014409998636106033125758563/425818281650651289790\ 78615667376803052523*c_0101_6^20 + 296983125906312772515971107117616935413307766/425818281650651289790\ 78615667376803052523*c_0101_6^19 - 756285083625970877259488229528153016813819855/425818281650651289790\ 78615667376803052523*c_0101_6^18 - 140278948439938830603122100471946230120296598/425818281650651289790\ 78615667376803052523*c_0101_6^17 + 1867575985362420446297552580427326603766649832/42581828165065128979\ 078615667376803052523*c_0101_6^16 - 1089748365116745694206811211466607609636446835/42581828165065128979\ 078615667376803052523*c_0101_6^15 - 2642749704280299028051113178395311424294060333/42581828165065128979\ 078615667376803052523*c_0101_6^14 + 2931993438514550976924291120841200106391677510/42581828165065128979\ 078615667376803052523*c_0101_6^13 + 1840039807884331401722073803198941128479458831/42581828165065128979\ 078615667376803052523*c_0101_6^12 - 3533921523030574085859675484582326480132214964/42581828165065128979\ 078615667376803052523*c_0101_6^11 - 113676397408488930201100351023234045696717838/425818281650651289790\ 78615667376803052523*c_0101_6^10 + 2300425223285201343947412904706514926043764257/42581828165065128979\ 078615667376803052523*c_0101_6^9 - 687350103762037115469122463088422345653075865/425818281650651289790\ 78615667376803052523*c_0101_6^8 - 764792582720155243214354841251504\ 858282719452/42581828165065128979078615667376803052523*c_0101_6^7 + 419620256525242773094810052962757082092265469/425818281650651289790\ 78615667376803052523*c_0101_6^6 + 874401395444281503107383623329306\ 31785725856/42581828165065128979078615667376803052523*c_0101_6^5 - 89144712628112562057345793598347157850293315/4258182816506512897907\ 8615667376803052523*c_0101_6^4 + 7804810444214124030574530569332162\ 791005753/42581828165065128979078615667376803052523*c_0101_6^3 + 4435767661921593684812079664401290015203981/42581828165065128979078\ 615667376803052523*c_0101_6^2 - 77236854269096963184823487076261641\ 8779696/42581828165065128979078615667376803052523*c_0101_6 + 5625114071105366628132604260195346875615/42581828165065128979078615\ 667376803052523, c_0101_1 + 811020417259685462841125367879853678120456/42581828165065128\ 979078615667376803052523*c_0101_6^26 + 5561260743214010832337423558920808115313868/42581828165065128979078\ 615667376803052523*c_0101_6^25 + 5311691484472900022357292998551618\ 017181532/42581828165065128979078615667376803052523*c_0101_6^24 - 22161330038095151458029186611306783493467699/4258182816506512897907\ 8615667376803052523*c_0101_6^23 + 106868523226439019642850832231285\ 30126568976/42581828165065128979078615667376803052523*c_0101_6^22 + 123396392834909331760329275142652100233348751/425818281650651289790\ 78615667376803052523*c_0101_6^21 - 173426494712916702891812273696418987002648322/425818281650651289790\ 78615667376803052523*c_0101_6^20 - 372027345101720146084465378680996332640144006/425818281650651289790\ 78615667376803052523*c_0101_6^19 + 792451356449338610631918854831576278412722509/425818281650651289790\ 78615667376803052523*c_0101_6^18 + 335766278853181607466787452698735240167467452/425818281650651289790\ 78615667376803052523*c_0101_6^17 - 2131772802213968906042080103125654662989829933/42581828165065128979\ 078615667376803052523*c_0101_6^16 + 860503248050285462174383888181620870105617485/425818281650651289790\ 78615667376803052523*c_0101_6^15 + 3356033672710948750367718128129574115080749453/42581828165065128979\ 078615667376803052523*c_0101_6^14 - 3006417084455934675402735486021207349324049481/42581828165065128979\ 078615667376803052523*c_0101_6^13 - 2796374709857417938037401016219406649304280966/42581828165065128979\ 078615667376803052523*c_0101_6^12 + 4101620485409593118840783888982426346719692840/42581828165065128979\ 078615667376803052523*c_0101_6^11 + 716524336261143595526392636893160297142267508/425818281650651289790\ 78615667376803052523*c_0101_6^10 - 2980213590451756681414977071388660131180936491/42581828165065128979\ 078615667376803052523*c_0101_6^9 + 610286095674943517380963538154663578682406319/425818281650651289790\ 78615667376803052523*c_0101_6^8 + 111177038220517305495020393102341\ 3417989214796/42581828165065128979078615667376803052523*c_0101_6^7 - 507193185063192488398348258806568261658632203/425818281650651289790\ 78615667376803052523*c_0101_6^6 - 152578611594591604294519367112759\ 182728942759/42581828165065128979078615667376803052523*c_0101_6^5 + 120656554829194544146444011324458267351359462/425818281650651289790\ 78615667376803052523*c_0101_6^4 - 809947649537964803570151012442646\ 4086565935/42581828165065128979078615667376803052523*c_0101_6^3 - 5826853275473144472646235287577235997928318/42581828165065128979078\ 615667376803052523*c_0101_6^2 + 95335676360933896906722232116577810\ 3065235/42581828165065128979078615667376803052523*c_0101_6 + 9499910152465177791804769894019688099998/42581828165065128979078615\ 667376803052523, c_0101_2 + 54712723424171740177908846396966087027208/425818281650651289\ 79078615667376803052523*c_0101_6^26 + 566231567665370334626190367480200845639588/425818281650651289790786\ 15667376803052523*c_0101_6^25 + 15111551190530474752899789727936560\ 62207040/42581828165065128979078615667376803052523*c_0101_6^24 - 1150963221436434360525365952695141293280951/42581828165065128979078\ 615667376803052523*c_0101_6^23 - 4537435463564630299418196301427883\ 395760389/42581828165065128979078615667376803052523*c_0101_6^22 + 15200386209506896224490849782052247413347083/4258182816506512897907\ 8615667376803052523*c_0101_6^21 + 105165470491278558517239841441186\ 92028468706/42581828165065128979078615667376803052523*c_0101_6^20 - 82566185011950435668110519231817267087504767/4258182816506512897907\ 8615667376803052523*c_0101_6^19 + 178593061680736378374614754717055\ 70763365914/42581828165065128979078615667376803052523*c_0101_6^18 + 225163149943589174380418308384572195037808940/425818281650651289790\ 78615667376803052523*c_0101_6^17 - 237672204714720630113264832383180169078266438/425818281650651289790\ 78615667376803052523*c_0101_6^16 - 320243892022758498519566879881153391542111491/425818281650651289790\ 78615667376803052523*c_0101_6^15 + 714018756806605744889328823183868467593120765/425818281650651289790\ 78615667376803052523*c_0101_6^14 + 103281832043078083490446149280983517652392802/425818281650651289790\ 78615667376803052523*c_0101_6^13 - 1028746683056783449937180334621887014227840948/42581828165065128979\ 078615667376803052523*c_0101_6^12 + 367011282134026327186404071328393237806283158/425818281650651289790\ 78615667376803052523*c_0101_6^11 + 740250367735854110730644999228492368984691605/425818281650651289790\ 78615667376803052523*c_0101_6^10 - 562588787609925959598748102498927628732515400/425818281650651289790\ 78615667376803052523*c_0101_6^9 - 204379849110317152986777161790984\ 255841755836/42581828165065128979078615667376803052523*c_0101_6^8 + 324992023556107000268172883720870380064307872/425818281650651289790\ 78615667376803052523*c_0101_6^7 - 293500216918006554848258522069982\ 50702006872/42581828165065128979078615667376803052523*c_0101_6^6 - 73159201516649745451348705667432163377603104/4258182816506512897907\ 8615667376803052523*c_0101_6^5 + 2202240829764969763535034537228809\ 7466316513/42581828165065128979078615667376803052523*c_0101_6^4 + 2706149571842137051983829388256010923322740/42581828165065128979078\ 615667376803052523*c_0101_6^3 - 18351413903039697780224084039734071\ 49129389/42581828165065128979078615667376803052523*c_0101_6^2 + 216392122198892580760767269171434826696976/425818281650651289790786\ 15667376803052523*c_0101_6 + 48307590325999030522287197263493508992\ 728/42581828165065128979078615667376803052523, c_0101_6^27 + 13/2*c_0101_6^26 + 4*c_0101_6^25 - 243/8*c_0101_6^24 + 177/8*c_0101_6^23 + 150*c_0101_6^22 - 269*c_0101_6^21 - 1591/4*c_0101_6^20 + 4637/4*c_0101_6^19 + 229/2*c_0101_6^18 - 2864*c_0101_6^17 + 15535/8*c_0101_6^16 + 16037/4*c_0101_6^15 - 41947/8*c_0101_6^14 - 10177/4*c_0101_6^13 + 52617/8*c_0101_6^12 - 4273/8*c_0101_6^11 - 35313/8*c_0101_6^10 + 7645/4*c_0101_6^9 + 5707/4*c_0101_6^8 - 9115/8*c_0101_6^7 - 743/8*c_0101_6^6 + 1027/4*c_0101_6^5 - 351/8*c_0101_6^4 - 14*c_0101_6^3 + 9/2*c_0101_6^2 - 1/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB