Magma V2.19-8 Tue Aug 20 2013 16:17:24 on localhost [Seed = 1865348004] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1633 geometric_solution 5.37907116 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 0 0 0 0 0 -1 0 1 -1 0 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 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.309412120355 0.141720263133 0 0 2 2 0132 2310 2310 0132 0 0 0 0 0 -1 1 0 1 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 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 1.916620946157 1.141920046347 3 1 1 4 0132 3201 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 1 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.790629270311 0.462196453178 2 5 4 6 0132 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.232098144208 0.689946952056 3 6 2 5 2310 1023 0132 1023 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 -1 1 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.232098144208 0.689946952056 5 3 5 4 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.457648692298 0.893918501812 4 6 3 6 1023 2310 0132 3201 0 0 0 0 0 1 -1 0 1 0 0 -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 1 -1 0 1 0 0 -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.438006690011 1.302041348862 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_2']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], '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_2'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), '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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 3425516255500070293409786672042385163401/92699019368903937805273636\ 1390789473*c_0101_5^27 - 15859148202162154978069545507760004791225/\ 926990193689039378052736361390789473*c_0101_5^26 - 320023274779275209073244030787678055503009/185398038737807875610547\ 2722781578946*c_0101_5^25 + 614466752242735550404416686409766516378\ 985/1853980387378078756105472722781578946*c_0101_5^24 + 2949691616130900183335745869442880595773481/92699019368903937805273\ 6361390789473*c_0101_5^23 + 104919715976712514433773795663444995183\ 8209/1853980387378078756105472722781578946*c_0101_5^22 - 35585360061895099703529893734690826565520677/1853980387378078756105\ 472722781578946*c_0101_5^21 - 2567007830029617858304484595619814231\ 5714685/1853980387378078756105472722781578946*c_0101_5^20 + 108234676140365881643067935764316900825528349/185398038737807875610\ 5472722781578946*c_0101_5^19 + 953808482054141716183351562265062688\ 70692945/1853980387378078756105472722781578946*c_0101_5^18 - 210392032549698132869619917600756503965967143/185398038737807875610\ 5472722781578946*c_0101_5^17 - 892984710489636546032138625451368615\ 13052321/926990193689039378052736361390789473*c_0101_5^16 + 298785719315245309057327420177981531076758745/185398038737807875610\ 5472722781578946*c_0101_5^15 + 218298536340303109676901001363292914\ 447867789/1853980387378078756105472722781578946*c_0101_5^14 - 313945659671720593645661937872849732593011361/185398038737807875610\ 5472722781578946*c_0101_5^13 - 975291967383092676154149397909910579\ 80788714/926990193689039378052736361390789473*c_0101_5^12 + 243839653363381367231432897441083778629805777/185398038737807875610\ 5472722781578946*c_0101_5^11 + 665437382545178258000772532390930194\ 67141885/926990193689039378052736361390789473*c_0101_5^10 - 72585552163415011671075002913014392653030349/9269901936890393780527\ 36361390789473*c_0101_5^9 - 330543495197054018949310738519831920964\ 32614/926990193689039378052736361390789473*c_0101_5^8 + 32261551222233896775092289390150309796338769/9269901936890393780527\ 36361390789473*c_0101_5^7 + 960667467754926354018917289453218538963\ 6765/926990193689039378052736361390789473*c_0101_5^6 - 8544203656881844049071485311184350202058152/92699019368903937805273\ 6361390789473*c_0101_5^5 - 1220435328699611949550173138528993411162\ 091/926990193689039378052736361390789473*c_0101_5^4 + 837044351761979144933224644199469217861936/926990193689039378052736\ 361390789473*c_0101_5^3 + 16847247673464782750578087350792819255114\ 0/926990193689039378052736361390789473*c_0101_5^2 - 34579068899875652806185523522219383068644/9269901936890393780527363\ 61390789473*c_0101_5 - 18348970055951571132228284458675396926387/18\ 53980387378078756105472722781578946, c_0011_0 - 1, c_0011_2 + 5162461569576317934742245816354751085/1853980387378078756105\ 472722781578946*c_0101_5^27 - 2388371696750002538518368008905700307\ 1/1853980387378078756105472722781578946*c_0101_5^26 - 120871245618617521435185652861653808850/926990193689039378052736361\ 390789473*c_0101_5^25 + 465115158160860798564057514805126697271/185\ 3980387378078756105472722781578946*c_0101_5^24 + 4467756031142832924790510499244055266951/18539803873780787561054727\ 22781578946*c_0101_5^23 + 741455832199242376468861621666316032983/1\ 853980387378078756105472722781578946*c_0101_5^22 - 27175986869017467846788692346340249851687/1853980387378078756105472\ 722781578946*c_0101_5^21 - 1921804188640728597617271618135189365689\ 3/1853980387378078756105472722781578946*c_0101_5^20 + 83633047410178884313976003494901072524043/1853980387378078756105472\ 722781578946*c_0101_5^19 + 3609685522295524231935408830828456222886\ 1/926990193689039378052736361390789473*c_0101_5^18 - 164544526769162931644284590310256990366435/185398038737807875610547\ 2722781578946*c_0101_5^17 - 136119052775339984820538266063511975753\ 597/1853980387378078756105472722781578946*c_0101_5^16 + 235904320659899654080355847091599692056907/185398038737807875610547\ 2722781578946*c_0101_5^15 + 833479672072089663688687761621944207951\ 14/926990193689039378052736361390789473*c_0101_5^14 - 250028761075793609366971255064949012500147/185398038737807875610547\ 2722781578946*c_0101_5^13 - 744752974213937071415673756639881284182\ 29/926990193689039378052736361390789473*c_0101_5^12 + 97928656816734472394194547976415147940189/9269901936890393780527363\ 61390789473*c_0101_5^11 + 50909487273967042478315980726398871391561\ /926990193689039378052736361390789473*c_0101_5^10 - 58768476463716718904552635873251300790133/9269901936890393780527363\ 61390789473*c_0101_5^9 - 25344577201859581056859164143281063887806/\ 926990193689039378052736361390789473*c_0101_5^8 + 26378970007209954108078171749037586864321/9269901936890393780527363\ 61390789473*c_0101_5^7 + 7337955715683740500135361275415654094137/9\ 26990193689039378052736361390789473*c_0101_5^6 - 7089261878509499827709141874646986053464/92699019368903937805273636\ 1390789473*c_0101_5^5 - 914587290899494751958615203782461145934/926\ 990193689039378052736361390789473*c_0101_5^4 + 713185082888956245130106838951025056171/926990193689039378052736361\ 390789473*c_0101_5^3 + 263613605302823927318980676462399076067/1853\ 980387378078756105472722781578946*c_0101_5^2 - 29515702739229471685198160576800595017/9269901936890393780527363613\ 90789473*c_0101_5 - 7949875418517797622875819918729224447/926990193\ 689039378052736361390789473, c_0011_4 + 12353638232802161753072784020534858747/185398038737807875610\ 5472722781578946*c_0101_5^27 - 282068950112953621905572446424651193\ 41/926990193689039378052736361390789473*c_0101_5^26 - 290570490382039153220608703422014312894/926990193689039378052736361\ 390789473*c_0101_5^25 + 537456407567055980881446765456972764665/926\ 990193689039378052736361390789473*c_0101_5^24 + 5361286332309673066201221457189203314541/92699019368903937805273636\ 1390789473*c_0101_5^23 + 2476373674012930446524146515373243796737/1\ 853980387378078756105472722781578946*c_0101_5^22 - 64289808787800675049426759303315331242891/1853980387378078756105472\ 722781578946*c_0101_5^21 - 4963900361859601309138315473089168684368\ 7/1853980387378078756105472722781578946*c_0101_5^20 + 193894288556899789139773340143154679913063/185398038737807875610547\ 2722781578946*c_0101_5^19 + 907003320983414710599618162630353324575\ 87/926990193689039378052736361390789473*c_0101_5^18 - 187135682945305377190086250344223409069821/926990193689039378052736\ 361390789473*c_0101_5^17 - 1691717094692612074273998569391156783833\ 48/926990193689039378052736361390789473*c_0101_5^16 + 530024036881129497661589605957981042573591/185398038737807875610547\ 2722781578946*c_0101_5^15 + 206863172836449755862385875269395852108\ 525/926990193689039378052736361390789473*c_0101_5^14 - 277995338533713323268527859370789400336377/926990193689039378052736\ 361390789473*c_0101_5^13 - 3696966213858978385782655510333707088902\ 31/1853980387378078756105472722781578946*c_0101_5^12 + 430639798878902451797090283850284430204189/185398038737807875610547\ 2722781578946*c_0101_5^11 + 125913190538387934137817058337277090276\ 323/926990193689039378052736361390789473*c_0101_5^10 - 127871943253955593478490088100732718649279/926990193689039378052736\ 361390789473*c_0101_5^9 - 62525323601626685265827595333521897930732\ /926990193689039378052736361390789473*c_0101_5^8 + 56786651746268471741744062763194729865680/9269901936890393780527363\ 61390789473*c_0101_5^7 + 18223171455250608839174117675612402661422/\ 926990193689039378052736361390789473*c_0101_5^6 - 14998700463272977610662799487818030434643/9269901936890393780527363\ 61390789473*c_0101_5^5 - 2303834712172949423438856608186081881356/9\ 26990193689039378052736361390789473*c_0101_5^4 + 1441361515688653409039421915218689924438/92699019368903937805273636\ 1390789473*c_0101_5^3 + 599651736019274119579111100320726148945/185\ 3980387378078756105472722781578946*c_0101_5^2 - 115073456796314801586038565517016782471/185398038737807875610547272\ 2781578946*c_0101_5 - 31886569488042467178659079027639801989/185398\ 0387378078756105472722781578946, c_0101_0 - 10328525806123012374932952653162911631/185398038737807875610\ 5472722781578946*c_0101_5^27 + 474118823838857382541627096144968038\ 33/1853980387378078756105472722781578946*c_0101_5^26 + 242182739695589135851896843000352620377/926990193689039378052736361\ 390789473*c_0101_5^25 - 907835920027814463482459147479426599581/185\ 3980387378078756105472722781578946*c_0101_5^24 - 8929273386458884307784328154066500920251/18539803873780787561054727\ 22781578946*c_0101_5^23 - 1915997144389492250396943807397395837199/\ 1853980387378078756105472722781578946*c_0101_5^22 + 53558454295214788366262799113609688948925/1853980387378078756105472\ 722781578946*c_0101_5^21 + 4057805106359786468483187515454162738564\ 3/1853980387378078756105472722781578946*c_0101_5^20 - 161559286570473000808063810408778805387041/185398038737807875610547\ 2722781578946*c_0101_5^19 - 744360037294820260357613448562796457167\ 53/926990193689039378052736361390789473*c_0101_5^18 + 311554270309057551223635923911416377262071/185398038737807875610547\ 2722781578946*c_0101_5^17 + 277709817801673697907393123921685169543\ 903/1853980387378078756105472722781578946*c_0101_5^16 - 440225219883942068386298181949927887335271/185398038737807875610547\ 2722781578946*c_0101_5^15 - 169697226158840587784319160553648427447\ 106/926990193689039378052736361390789473*c_0101_5^14 + 460605805826915173106661880033779567628347/185398038737807875610547\ 2722781578946*c_0101_5^13 + 151632440223623780999639251083275082603\ 193/926990193689039378052736361390789473*c_0101_5^12 - 177904055149903771067843088968712532818197/926990193689039378052736\ 361390789473*c_0101_5^11 - 1032716781930194389165321342152516552875\ 43/926990193689039378052736361390789473*c_0101_5^10 + 105309727103440245583939646999887154422361/926990193689039378052736\ 361390789473*c_0101_5^9 + 51214714258489410621932095338848508693795\ /926990193689039378052736361390789473*c_0101_5^8 - 46529274944235471409638414110813317211313/9269901936890393780527363\ 61390789473*c_0101_5^7 - 14887448602730656812409979118094393123631/\ 926990193689039378052736361390789473*c_0101_5^6 + 12165030782838585456958046522257073717753/9269901936890393780527363\ 61390789473*c_0101_5^5 + 1868095146193763402923415559356444661471/9\ 26990193689039378052736361390789473*c_0101_5^4 - 1127924779413603929855658048557831396576/92699019368903937805273636\ 1390789473*c_0101_5^3 - 482673530165613430453208856403973149273/185\ 3980387378078756105472722781578946*c_0101_5^2 + 42277371918842620668733047451292162846/9269901936890393780527363613\ 90789473*c_0101_5 + 12206927873468643531570966175685298266/92699019\ 3689039378052736361390789473, c_0101_1 + 2037727198076354008056490984420496095/1853980387378078756105\ 472722781578946*c_0101_5^27 - 4662617401567530370674543310272282575\ /926990193689039378052736361390789473*c_0101_5^26 - 96058297117928585685331052063130516873/1853980387378078756105472722\ 781578946*c_0101_5^25 + 179827706337634524279931043789922294235/185\ 3980387378078756105472722781578946*c_0101_5^24 + 889429169483823043250062376577243590935/926990193689039378052736361\ 390789473*c_0101_5^23 + 178328048816979306636797302714886951788/926\ 990193689039378052736361390789473*c_0101_5^22 - 5408565936287621074141342103893208957364/92699019368903937805273636\ 1390789473*c_0101_5^21 - 3992310712842197827503208404267642221600/9\ 26990193689039378052736361390789473*c_0101_5^20 + 16642052921642823145205961933404014494120/9269901936890393780527363\ 61390789473*c_0101_5^19 + 29758677030010560192279615067914816371607\ /1853980387378078756105472722781578946*c_0101_5^18 - 65571821976182725134632208051653645590623/1853980387378078756105472\ 722781578946*c_0101_5^17 - 2806747147298359055852335330023004657206\ 0/926990193689039378052736361390789473*c_0101_5^16 + 47146991733865255359863636555618883946437/9269901936890393780527363\ 61390789473*c_0101_5^15 + 68847060618406041800257153667674747127247\ /1853980387378078756105472722781578946*c_0101_5^14 - 100267871265590585085484902702980728839445/185398038737807875610547\ 2722781578946*c_0101_5^13 - 615337374315358630318282019276167662070\ 33/1853980387378078756105472722781578946*c_0101_5^12 + 39366596370864945927275240678834032454362/9269901936890393780527363\ 61390789473*c_0101_5^11 + 21033398781775007829596252617178580052009\ /926990193689039378052736361390789473*c_0101_5^10 - 23676419233150663638421139886825747642696/9269901936890393780527363\ 61390789473*c_0101_5^9 - 10484445511233994072975825918470199294044/\ 926990193689039378052736361390789473*c_0101_5^8 + 10674533681863916506387685170608381327565/9269901936890393780527363\ 61390789473*c_0101_5^7 + 3041130004012033969960801941913635618211/9\ 26990193689039378052736361390789473*c_0101_5^6 - 2883844231875293132614313712222215302200/92699019368903937805273636\ 1390789473*c_0101_5^5 - 377503305098968134201042994089307054220/926\ 990193689039378052736361390789473*c_0101_5^4 + 290127429804288005236935160297794734819/926990193689039378052736361\ 390789473*c_0101_5^3 + 107950174818198775071791047495759637065/1853\ 980387378078756105472722781578946*c_0101_5^2 - 24016864926861127771055238684068209315/1853980387378078756105472722\ 781578946*c_0101_5 - 3825594597268455019011166711265102951/92699019\ 3689039378052736361390789473, c_0101_3 + 3808532515698639574806547475258067608/9269901936890393780527\ 36361390789473*c_0101_5^27 - 35504708872469950966840374287588383917\ /1853980387378078756105472722781578946*c_0101_5^26 - 177436418964785495400866711052817926530/926990193689039378052736361\ 390789473*c_0101_5^25 + 695180842549037000934356888339501290737/185\ 3980387378078756105472722781578946*c_0101_5^24 + 6545786248703251227346958257908798312017/18539803873780787561054727\ 22781578946*c_0101_5^23 + 472704126765861385705638953985564446470/9\ 26990193689039378052736361390789473*c_0101_5^22 - 19875908065026657013378880897813202647005/9269901936890393780527363\ 61390789473*c_0101_5^21 - 13674423297852398111280887891074620597200\ /926990193689039378052736361390789473*c_0101_5^20 + 61043431222382456521645849832767648121936/9269901936890393780527363\ 61390789473*c_0101_5^19 + 51524302129643429238817104555219581636176\ /926990193689039378052736361390789473*c_0101_5^18 - 239584850265159345303114943119169991314069/185398038737807875610547\ 2722781578946*c_0101_5^17 - 193894815370932335510166174897904603369\ 845/1853980387378078756105472722781578946*c_0101_5^16 + 171218454937538773758751658970457164227954/926990193689039378052736\ 361390789473*c_0101_5^15 + 1185221847732358988695224116596776744467\ 66/926990193689039378052736361390789473*c_0101_5^14 - 361756300310795597367841777352221208359303/185398038737807875610547\ 2722781578946*c_0101_5^13 - 211649776614312325160820415781288030064\ 519/1853980387378078756105472722781578946*c_0101_5^12 + 282675502904710511455703438788847536451803/185398038737807875610547\ 2722781578946*c_0101_5^11 + 722860929770121753573616819777933473557\ 39/926990193689039378052736361390789473*c_0101_5^10 - 84633310266603791735908625266057724845592/9269901936890393780527363\ 61390789473*c_0101_5^9 - 35924869699671243297859193012874861696048/\ 926990193689039378052736361390789473*c_0101_5^8 + 37840824717265694269529387726342315984778/9269901936890393780527363\ 61390789473*c_0101_5^7 + 10377024431764709202032672608621320323147/\ 926990193689039378052736361390789473*c_0101_5^6 - 10124580024654105452521759681528639430057/9269901936890393780527363\ 61390789473*c_0101_5^5 - 1297543494038931570167139298136123051515/9\ 26990193689039378052736361390789473*c_0101_5^4 + 1017833403240654896693062465836320838025/92699019368903937805273636\ 1390789473*c_0101_5^3 + 187565886824803512656465212665502285047/926\ 990193689039378052736361390789473*c_0101_5^2 - 84127083786967848454820028865586385415/1853980387378078756105472722\ 781578946*c_0101_5 - 21411518175456151833097904459960460481/1853980\ 387378078756105472722781578946, c_0101_5^28 - 5*c_0101_5^27 - 45*c_0101_5^26 + 107*c_0101_5^25 + 828*c_0101_5^24 - 166*c_0101_5^23 - 5253*c_0101_5^22 - 1823*c_0101_5^21 + 17199*c_0101_5^20 + 8076*c_0101_5^19 - 35907*c_0101_5^18 - 14714*c_0101_5^17 + 53350*c_0101_5^16 + 15742*c_0101_5^15 - 57745*c_0101_5^14 - 11527*c_0101_5^13 + 46259*c_0101_5^12 + 6259*c_0101_5^11 - 28476*c_0101_5^10 - 1806*c_0101_5^9 + 13044*c_0101_5^8 - 686*c_0101_5^7 - 3554*c_0101_5^6 + 572*c_0101_5^5 + 380*c_0101_5^4 - 43*c_0101_5^3 - 28*c_0101_5^2 + c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB