Magma V2.19-8 Tue Aug 20 2013 16:17:17 on localhost [Seed = 846442212] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1527 geometric_solution 5.32337741 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 3201 2031 1302 0 0 0 0 0 0 -1 1 1 0 -1 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 -1 1 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.410875464126 0.058404698444 0 2 0 2 0132 0132 2310 2310 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 1 -1 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.804959209428 0.939755851259 1 1 3 4 3201 0132 0132 0132 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 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.020478293153 1.573640304227 4 5 6 2 1302 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 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 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.477086744478 0.487900099530 5 3 2 6 0132 2031 0132 3201 0 0 0 0 0 0 1 -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 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.477086744478 0.487900099530 4 3 5 5 0132 0132 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.623178459491 0.760694037791 6 4 6 3 2310 2310 3201 0132 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 -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.020688478605 1.167957656294 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(d['1']), 's_1_1' : negation(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' : negation(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' : d['c_0101_4'], 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : negation(d['c_0011_6']), 'c_1100_2' : negation(d['c_0011_6']), 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], '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' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_4']), '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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 209898892794816733210696158719097227858588868617540/372611813764429\ 08925527337282655029421413414661*c_0101_5^23 - 35346398954634663122797784631710018319167142896961/2191834198614288\ 760325137487215001730671377333*c_0101_5^22 + 338126555178869101544830943044750939342500166483147/372611813764429\ 08925527337282655029421413414661*c_0101_5^21 + 1135938844101165347501536386330882980777235252913794/37261181376442\ 908925527337282655029421413414661*c_0101_5^20 - 2319752196280905387221275174607536572221877552352491/37261181376442\ 908925527337282655029421413414661*c_0101_5^19 - 10082555363043922387624379451490013530170539271229428/3726118137644\ 2908925527337282655029421413414661*c_0101_5^18 - 12529025559686863994891573733854512092008671001593714/3726118137644\ 2908925527337282655029421413414661*c_0101_5^17 + 23935770833223105220163836859346368554598274285607268/3726118137644\ 2908925527337282655029421413414661*c_0101_5^16 + 77121872269212046069010932144834820416481220804892408/3726118137644\ 2908925527337282655029421413414661*c_0101_5^15 - 45724844098722189340760741959054488184596742315677290/3726118137644\ 2908925527337282655029421413414661*c_0101_5^14 - 164200043193088946065358190404635958314098091986564830/372611813764\ 42908925527337282655029421413414661*c_0101_5^13 + 153541789006919472483117714514735448674878576263955064/372611813764\ 42908925527337282655029421413414661*c_0101_5^12 + 66545620992031519689764421230652011852257269368139768/3726118137644\ 2908925527337282655029421413414661*c_0101_5^11 - 160615582860499612958172604927446364251678259976337799/372611813764\ 42908925527337282655029421413414661*c_0101_5^10 + 41431937949748043711668049550054166260089076904422395/3726118137644\ 2908925527337282655029421413414661*c_0101_5^9 + 73003379860050852582399528177705328139065871409897811/3726118137644\ 2908925527337282655029421413414661*c_0101_5^8 - 16571653688202340573065150823730242572018562305916032/3726118137644\ 2908925527337282655029421413414661*c_0101_5^7 - 22593434479881447261852615445427833543762578235607629/3726118137644\ 2908925527337282655029421413414661*c_0101_5^6 - 8684648108306700917139549316305639015890506179787270/37261181376442\ 908925527337282655029421413414661*c_0101_5^5 + 7446992287706267740105294288298551420055912557612284/37261181376442\ 908925527337282655029421413414661*c_0101_5^4 + 4061347863804972413970711415104624970428386419904886/37261181376442\ 908925527337282655029421413414661*c_0101_5^3 - 1484559566258047887260325500153920935996296884565160/37261181376442\ 908925527337282655029421413414661*c_0101_5^2 - 401191666930064582960468933493944063435143793678997/372611813764429\ 08925527337282655029421413414661*c_0101_5 + 89548632144875007127354465582321424601134891206206/3726118137644290\ 8925527337282655029421413414661, c_0011_0 - 1, c_0011_3 + 663601544457416408449012690202601079185651945718/11178354412\ 9328726776582011847965088264240243983*c_0101_5^23 + 127172264780080953308399123670967813336046155568/657550259584286628\ 0975412461645005192014131999*c_0101_5^22 - 46831926997178720116989811347458601244654786078/3726118137644290892\ 5527337282655029421413414661*c_0101_5^21 - 3412243697203786842425625456976353286071352108696/11178354412932872\ 6776582011847965088264240243983*c_0101_5^20 + 5945903515662085914521044012987215805984354519519/11178354412932872\ 6776582011847965088264240243983*c_0101_5^19 + 33844110650493183317315250971054618840056410176693/1117835441293287\ 26776582011847965088264240243983*c_0101_5^18 + 17893837586676788989200926840459747514778658721414/3726118137644290\ 8925527337282655029421413414661*c_0101_5^17 - 50741969770705824955371024239929237668715071324362/1117835441293287\ 26776582011847965088264240243983*c_0101_5^16 - 258230046691490976716986713650655275682045805905086/111783544129328\ 726776582011847965088264240243983*c_0101_5^15 + 12079779005577421038493739361699455950239641647057/3726118137644290\ 8925527337282655029421413414661*c_0101_5^14 + 168342262224025391059376433357088410164924487858288/372611813764429\ 08925527337282655029421413414661*c_0101_5^13 - 93026342451142937551990625994140992207434249297435/3726118137644290\ 8925527337282655029421413414661*c_0101_5^12 - 264453778026668257220950982413116857040496257079861/111783544129328\ 726776582011847965088264240243983*c_0101_5^11 + 367101995126625847560942791084521870723192908398540/111783544129328\ 726776582011847965088264240243983*c_0101_5^10 - 12359687350052075748863063655080745813803068064480/1117835441293287\ 26776582011847965088264240243983*c_0101_5^9 - 193264301823427465498005500710075757136585080928455/111783544129328\ 726776582011847965088264240243983*c_0101_5^8 - 9611291711306648643779917799256052132881327754391/37261181376442908\ 925527337282655029421413414661*c_0101_5^7 + 40043081209754944458350432195823842903730520694179/1117835441293287\ 26776582011847965088264240243983*c_0101_5^6 + 40401757488313503962152468593319233136968857906548/1117835441293287\ 26776582011847965088264240243983*c_0101_5^5 - 2388470109768095617517411232242011356166683423073/11178354412932872\ 6776582011847965088264240243983*c_0101_5^4 - 9101168288403275925596481407056338599606817006436/11178354412932872\ 6776582011847965088264240243983*c_0101_5^3 + 69722041647414614537350590717039073329613862721/3726118137644290892\ 5527337282655029421413414661*c_0101_5^2 + 129771611407034551172901524232138948300539195658/372611813764429089\ 25527337282655029421413414661*c_0101_5 - 159295736296785834092735747297358133377839785667/111783544129328726\ 776582011847965088264240243983, c_0011_6 - 643848556627260484387289691069752737009812949433/11178354412\ 9328726776582011847965088264240243983*c_0101_5^23 - 126909532790619171522561448343659014299217886468/657550259584286628\ 0975412461645005192014131999*c_0101_5^22 - 40357567781514743189474415467233998521218231665/3726118137644290892\ 5527337282655029421413414661*c_0101_5^21 + 3192081413961116916169750309971479753382745029974/11178354412932872\ 6776582011847965088264240243983*c_0101_5^20 - 5246707316600593257498133203605634454862159395670/11178354412932872\ 6776582011847965088264240243983*c_0101_5^19 - 33148011548112927403573666130763367929064478728846/1117835441293287\ 26776582011847965088264240243983*c_0101_5^18 - 18664434150885187506815435847309017569546953008827/3726118137644290\ 8925527337282655029421413414661*c_0101_5^17 + 41966019685571516188971955824252796783204207983508/1117835441293287\ 26776582011847965088264240243983*c_0101_5^16 + 253356312426549073683311449781785608930009514081924/111783544129328\ 726776582011847965088264240243983*c_0101_5^15 - 884070804183799144302421986467266032923813819810/372611813764429089\ 25527337282655029421413414661*c_0101_5^14 - 158680085504705027895378781281316181711682547509243/372611813764429\ 08925527337282655029421413414661*c_0101_5^13 + 65883224752523739447355113714038945967183745511567/3726118137644290\ 8925527337282655029421413414661*c_0101_5^12 + 247974612638486696064254207421599500378356856036766/111783544129328\ 726776582011847965088264240243983*c_0101_5^11 - 261153902506468014702373286902111244590306102117450/111783544129328\ 726776582011847965088264240243983*c_0101_5^10 - 43946235174022522246308979746815420412769020676343/1117835441293287\ 26776582011847965088264240243983*c_0101_5^9 + 153302862540413409750775596542969029700130468243592/111783544129328\ 726776582011847965088264240243983*c_0101_5^8 + 26011278928334291908224463159889938421164468427018/3726118137644290\ 8925527337282655029421413414661*c_0101_5^7 - 31929983553739438349554675879146158277788045110127/1117835441293287\ 26776582011847965088264240243983*c_0101_5^6 - 50412593071561940787454827264152030588442705672062/1117835441293287\ 26776582011847965088264240243983*c_0101_5^5 - 6343101653503347296864365087109504041709570525578/11178354412932872\ 6776582011847965088264240243983*c_0101_5^4 + 9115721060596013588668630312430785068649978748894/11178354412932872\ 6776582011847965088264240243983*c_0101_5^3 + 1099330862087507051797336987678974685122817208341/37261181376442908\ 925527337282655029421413414661*c_0101_5^2 - 86721326103992675116969714115136937313146405954/3726118137644290892\ 5527337282655029421413414661*c_0101_5 - 227706108290910800738635567605215646255160399982/111783544129328726\ 776582011847965088264240243983, c_0101_0 + 1940086306306030295651897079509034491545185910322/1117835441\ 29328726776582011847965088264240243983*c_0101_5^23 + 291872862782655038761125008462495587158600539401/657550259584286628\ 0975412461645005192014131999*c_0101_5^22 - 1767902243835078516240845716648508942769462429569/37261181376442908\ 925527337282655029421413414661*c_0101_5^21 - 11145632769327232112316835226528551315008747802781/1117835441293287\ 26776582011847965088264240243983*c_0101_5^20 + 24631292524053345233393020732162140118328775057317/1117835441293287\ 26776582011847965088264240243983*c_0101_5^19 + 89045840670135845830995732581163606809712878037454/1117835441293287\ 26776582011847965088264240243983*c_0101_5^18 + 27733488143766699427025142594623758661474306975210/3726118137644290\ 8925527337282655029421413414661*c_0101_5^17 - 281346192259903510536840089717511606805522882386685/111783544129328\ 726776582011847965088264240243983*c_0101_5^16 - 686065848568563663108226355871977662609824957906817/111783544129328\ 726776582011847965088264240243983*c_0101_5^15 + 224528050507916512783387328419843699317053255092313/372611813764429\ 08925527337282655029421413414661*c_0101_5^14 + 525534476813357195523235284231372519786548265392878/372611813764429\ 08925527337282655029421413414661*c_0101_5^13 - 631963632459554404143316935588132810560547734946987/372611813764429\ 08925527337282655029421413414661*c_0101_5^12 - 540591768873148106813247732256636276387106805373754/111783544129328\ 726776582011847965088264240243983*c_0101_5^11 + 1849961593502762877126439095605834925184536502780918/11178354412932\ 8726776582011847965088264240243983*c_0101_5^10 - 650868308874227596933509632441696255100794077276978/111783544129328\ 726776582011847965088264240243983*c_0101_5^9 - 792961490009281445508556280742389084129768276513011/111783544129328\ 726776582011847965088264240243983*c_0101_5^8 + 116696359163971744679626443536023977253125328981070/372611813764429\ 08925527337282655029421413414661*c_0101_5^7 + 291166260865872183698882059103245722684399944949302/111783544129328\ 726776582011847965088264240243983*c_0101_5^6 + 52067772090037683327836014897111927882368751353185/1117835441293287\ 26776582011847965088264240243983*c_0101_5^5 - 118228800737228577283168728699526102043680871924873/111783544129328\ 726776582011847965088264240243983*c_0101_5^4 - 47180488836389020710891975135726199812496810667351/1117835441293287\ 26776582011847965088264240243983*c_0101_5^3 + 8152453819599569795640054720510780128335670878871/37261181376442908\ 925527337282655029421413414661*c_0101_5^2 + 1983442152051273089314387330158696524711103274165/37261181376442908\ 925527337282655029421413414661*c_0101_5 - 1488595450832531415814466831300095607783200825483/11178354412932872\ 6776582011847965088264240243983, c_0101_1 - 6447931873315066526438152049961792213914000041321/1117835441\ 29328726776582011847965088264240243983*c_0101_5^23 - 1086394027311114230824408197064789744773072178493/65755025958428662\ 80975412461645005192014131999*c_0101_5^22 + 3482384165143727894833687900238801199537793912872/37261181376442908\ 925527337282655029421413414661*c_0101_5^21 + 35204513108619533980909918614895685104283767381396/1117835441293287\ 26776582011847965088264240243983*c_0101_5^20 - 71201542707652714470939482056310318382940783137040/1117835441293287\ 26776582011847965088264240243983*c_0101_5^19 - 310270856556644506135733479989848950830689673074096/111783544129328\ 726776582011847965088264240243983*c_0101_5^18 - 128197650305012563522881176626674952830378463034893/372611813764429\ 08925527337282655029421413414661*c_0101_5^17 + 739226124274980164121690175913693565410235037192430/111783544129328\ 726776582011847965088264240243983*c_0101_5^16 + 2377741368636255098463497227879312964353835336016905/11178354412932\ 8726776582011847965088264240243983*c_0101_5^15 - 468993686708836739378332280459078867477735973258330/372611813764429\ 08925527337282655029421413414661*c_0101_5^14 - 1693502689063487234502709353093853822689438128802451/37261181376442\ 908925527337282655029421413414661*c_0101_5^13 + 1570391549178651643509809575216860484463574414746580/37261181376442\ 908925527337282655029421413414661*c_0101_5^12 + 2116458414135478411589337846995722882056678020385193/11178354412932\ 8726776582011847965088264240243983*c_0101_5^11 - 4963474314465383267534650883009800064903840459453270/11178354412932\ 8726776582011847965088264240243983*c_0101_5^10 + 1232386339714535033082508903063339567099898170097387/11178354412932\ 8726776582011847965088264240243983*c_0101_5^9 + 2288353180137944000881350517326650187250844676360152/11178354412932\ 8726776582011847965088264240243983*c_0101_5^8 - 168626907379154166367914769879547706790394435104923/372611813764429\ 08925527337282655029421413414661*c_0101_5^7 - 717567949883100164884204833230232533059437753819361/111783544129328\ 726776582011847965088264240243983*c_0101_5^6 - 273688869072447974125565074849165158568580434142944/111783544129328\ 726776582011847965088264240243983*c_0101_5^5 + 231920680746870232509636157724192490567054186963280/111783544129328\ 726776582011847965088264240243983*c_0101_5^4 + 130610408119892479284896525419439059094620181709607/111783544129328\ 726776582011847965088264240243983*c_0101_5^3 - 15096114407570868527343994624300508014793361919794/3726118137644290\ 8925527337282655029421413414661*c_0101_5^2 - 4461745875601313777789634280068353719162967393452/37261181376442908\ 925527337282655029421413414661*c_0101_5 + 2798946060774956107533631332093766105815724253990/11178354412932872\ 6776582011847965088264240243983, c_0101_4 - 9450954909422236001361784014513961197132783928393/1117835441\ 29328726776582011847965088264240243983*c_0101_5^23 - 1643692896953000871695123488013761099570478188475/65755025958428662\ 80975412461645005192014131999*c_0101_5^22 + 4104464628057038600331569516665033493610433549879/37261181376442908\ 925527337282655029421413414661*c_0101_5^21 + 51266172528375228807352546975831739740960432239967/1117835441293287\ 26776582011847965088264240243983*c_0101_5^20 - 99917662998268910085473888031868880134940403100744/1117835441293287\ 26776582011847965088264240243983*c_0101_5^19 - 461914388101799972927347076699999734594726684755704/111783544129328\ 726776582011847965088264240243983*c_0101_5^18 - 203171885169286157062605344741793570868492432582218/372611813764429\ 08925527337282655029421413414661*c_0101_5^17 + 1005012760398035327992141030506267615778368687436436/11178354412932\ 8726776582011847965088264240243983*c_0101_5^16 + 3538247568821365438303141283697726930015762124542572/11178354412932\ 8726776582011847965088264240243983*c_0101_5^15 - 571168634630501509424395461096871975546498491122589/372611813764429\ 08925527337282655029421413414661*c_0101_5^14 - 2478538727773818630667281835441221589365689070556660/37261181376442\ 908925527337282655029421413414661*c_0101_5^13 + 2080083994319867251299155663029039619359222133771786/37261181376442\ 908925527337282655029421413414661*c_0101_5^12 + 3364091811596854996815841209403030051681015259168221/11178354412932\ 8726776582011847965088264240243983*c_0101_5^11 - 6876844250774139391016728182758513681385103866507386/11178354412932\ 8726776582011847965088264240243983*c_0101_5^10 + 1364773830742808801693760412027174864975490398751108/11178354412932\ 8726776582011847965088264240243983*c_0101_5^9 + 3318159346717790573720861047358545725240794932624295/11178354412932\ 8726776582011847965088264240243983*c_0101_5^8 - 165638269917827517629376464773807216767079466784546/372611813764429\ 08925527337282655029421413414661*c_0101_5^7 - 983042971298038711380021934414715291477718945123928/111783544129328\ 726776582011847965088264240243983*c_0101_5^6 - 433618000602037174378906016223244603513841372111575/111783544129328\ 726776582011847965088264240243983*c_0101_5^5 + 279756536500189539802096964378657196838158101166586/111783544129328\ 726776582011847965088264240243983*c_0101_5^4 + 186527633124088890158655087615959826687465320184325/111783544129328\ 726776582011847965088264240243983*c_0101_5^3 - 18513136219915926763139567171484945919455875078273/3726118137644290\ 8925527337282655029421413414661*c_0101_5^2 - 6186777369280476250038885951079835551708199491203/37261181376442908\ 925527337282655029421413414661*c_0101_5 + 3920055141419026403174116977096343978804769489936/11178354412932872\ 6776582011847965088264240243983, c_0101_5^24 + 31/13*c_0101_5^23 - 3*c_0101_5^22 - 61/13*c_0101_5^21 + 178/13*c_0101_5^20 + 557/13*c_0101_5^19 + 474/13*c_0101_5^18 - 1865/13*c_0101_5^17 - 4079/13*c_0101_5^16 + 5151/13*c_0101_5^15 + 8901/13*c_0101_5^14 - 14463/13*c_0101_5^13 + 245/13*c_0101_5^12 + 12182/13*c_0101_5^11 - 7322/13*c_0101_5^10 - 3512/13*c_0101_5^9 + 3321/13*c_0101_5^8 + 961/13*c_0101_5^7 - 176/13*c_0101_5^6 - 733/13*c_0101_5^5 - 37/13*c_0101_5^4 + 225/13*c_0101_5^3 - 18/13*c_0101_5^2 - 20/13*c_0101_5 + 3/13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB