Magma V2.19-8 Tue Aug 20 2013 16:17:45 on localhost [Seed = 139039976] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1988 geometric_solution 5.55380935 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 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.317870526610 0.244150863959 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 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.703493167088 1.275605524897 1 3 4 5 0132 3201 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.190392091035 1.067452159011 5 4 2 1 3201 3201 2310 0132 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 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.190392091035 1.067452159011 6 6 3 2 0132 3201 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 -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.062400984864 0.578101038112 5 5 2 3 1302 2031 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.355498549457 1.418938469508 4 6 4 6 0132 2310 2310 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 0 1 0 0 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.975801718870 0.876140630161 ==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' : d['c_0011_4'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_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' : negation(d['c_0011_5']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0101_0']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : 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_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_3, c_0011_4, c_0011_5, c_0101_0, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 203179153779436854079997101118572514480455748/217339951897657959033\ 8400698568661623632055*c_0101_3^25 + 1189192149614982292152606290788808274456229381/21733995189765795903\ 38400698568661623632055*c_0101_3^24 + 1475666148673502565686788191139590114755519658/72446650632552653011\ 2800232856220541210685*c_0101_3^23 + 8053983543882394626605662232574436428686898784/21733995189765795903\ 38400698568661623632055*c_0101_3^22 + 5710860340788936552354613547704312472463154128/72446650632552653011\ 2800232856220541210685*c_0101_3^21 + 244064359568860215911602839182065280366216649/144893301265105306022\ 560046571244108242137*c_0101_3^20 - 57836702185998214972528548199101418776743863954/2173399518976579590\ 338400698568661623632055*c_0101_3^19 - 48445594504996226003991027234165840286862905538/2173399518976579590\ 338400698568661623632055*c_0101_3^18 + 160837110215208317192649049959907485583610227144/217339951897657959\ 0338400698568661623632055*c_0101_3^17 + 35836887092694443595204831926875462784914774879/4346799037953159180\ 67680139713732324726411*c_0101_3^16 - 95261833034823777218716436133010655043012112539/7244665063255265301\ 12800232856220541210685*c_0101_3^15 - 153286384335334127450790497002221901008366333087/724466506325526530\ 112800232856220541210685*c_0101_3^14 + 104340511769285043549574668395320047679844795036/217339951897657959\ 0338400698568661623632055*c_0101_3^13 + 341310481394774715672162682835679415044456448013/217339951897657959\ 0338400698568661623632055*c_0101_3^12 - 173396255913888643387944382176942820344662037599/217339951897657959\ 0338400698568661623632055*c_0101_3^11 - 202558737078868412837255345700775156536953816813/217339951897657959\ 0338400698568661623632055*c_0101_3^10 + 201053393407932412490166684088256886937551996502/217339951897657959\ 0338400698568661623632055*c_0101_3^9 + 63510395923160859453694748439759468532967665828/7244665063255265301\ 12800232856220541210685*c_0101_3^8 + 12374456053395430894450548321445025569023537218/7244665063255265301\ 12800232856220541210685*c_0101_3^7 - 1869343540625596055498909571393321379399626776/31048564556808279861\ 9771528366951660518865*c_0101_3^6 - 15449804428261139042286966939468564282217714083/7244665063255265301\ 12800232856220541210685*c_0101_3^5 - 9325381858568250331732042889807742918022548911/21733995189765795903\ 38400698568661623632055*c_0101_3^4 + 3770003468470495955610559406219270853504503034/72446650632552653011\ 2800232856220541210685*c_0101_3^3 + 698586505103760823878173724047849366123365019/310485645568082798619\ 771528366951660518865*c_0101_3^2 - 307970878487572469793947113342918300574454446/434679903795315918067\ 680139713732324726411*c_0101_3 - 4479408738456830688627001694227551\ 93240412711/2173399518976579590338400698568661623632055, c_0011_0 - 1, c_0011_1 - 30263885024368990513495443447237209559342/517476075946804664\ 366285880611586100864775*c_0101_3^25 + 211573584018641650819074254931672727022829/517476075946804664366285\ 880611586100864775*c_0101_3^24 + 4481663947453345186149758490312507\ 65565308/517476075946804664366285880611586100864775*c_0101_3^23 + 503024717186417211170420058307841416968039/517476075946804664366285\ 880611586100864775*c_0101_3^22 + 5668248635624721495285903968983878\ 7674407/20699043037872186574651435224463444034591*c_0101_3^21 - 1941559375219684644403989249061663638173524/51747607594680466436628\ 5880611586100864775*c_0101_3^20 - 838056487539880928903930410025431\ 9135168412/517476075946804664366285880611586100864775*c_0101_3^19 + 2886930296786288822434504175408040391251823/51747607594680466436628\ 5880611586100864775*c_0101_3^18 + 292181590883721423919949236608099\ 24420776336/517476075946804664366285880611586100864775*c_0101_3^17 - 3549509742686998402621874609312058244910598/51747607594680466436628\ 5880611586100864775*c_0101_3^16 - 648838269957675882842142536141299\ 24738957277/517476075946804664366285880611586100864775*c_0101_3^15 - 9137949253635159420531937319512890941266416/51747607594680466436628\ 5880611586100864775*c_0101_3^14 + 790365293986124325833644940067313\ 50625888456/517476075946804664366285880611586100864775*c_0101_3^13 + 6231886856253058385879329592247109506474846/51747607594680466436628\ 5880611586100864775*c_0101_3^12 - 783239443819054212444557776556794\ 71587032704/517476075946804664366285880611586100864775*c_0101_3^11 + 21260435948530131514573957208686368377356957/5174760759468046643662\ 85880611586100864775*c_0101_3^10 + 11015722546547959642849843214678321027905936/1034952151893609328732\ 57176122317220172955*c_0101_3^9 - 206145468513031536576423928404267\ 71645085581/517476075946804664366285880611586100864775*c_0101_3^8 - 13900991482183459359504680461513788947251367/5174760759468046643662\ 85880611586100864775*c_0101_3^7 + 316134608895612398004140816584064\ 4556037971/517476075946804664366285880611586100864775*c_0101_3^6 - 5315940023881661918913627756552926998582601/51747607594680466436628\ 5880611586100864775*c_0101_3^5 + 5731963282213818569347864294481158\ 358033128/517476075946804664366285880611586100864775*c_0101_3^4 + 533315962258826103292708713767553791601691/517476075946804664366285\ 880611586100864775*c_0101_3^3 - 23583607969450393541796500562652070\ 94012699/517476075946804664366285880611586100864775*c_0101_3^2 + 128079171029239518591933299015895832684889/517476075946804664366285\ 880611586100864775*c_0101_3 + 5158765813628696961210741468023880321\ 88682/517476075946804664366285880611586100864775, c_0011_3 + 5634308523923865982764062317657384783402/2069904303787218657\ 4651435224463444034591*c_0101_3^25 - 172984455209034669219654039295803089414651/103495215189360932873257\ 176122317220172955*c_0101_3^24 - 5590668084826199576198027018077229\ 18462577/103495215189360932873257176122317220172955*c_0101_3^23 - 984264772046083433734461600324656238867499/103495215189360932873257\ 176122317220172955*c_0101_3^22 - 2209055615581279631840087882405417\ 644226844/103495215189360932873257176122317220172955*c_0101_3^21 - 94339007665098904524166739277203090433516/1034952151893609328732571\ 76122317220172955*c_0101_3^20 + 75833721617881620378823749737455925\ 41286809/103495215189360932873257176122317220172955*c_0101_3^19 + 872086572283567030649229798938196011847344/206990430378721865746514\ 35224463444034591*c_0101_3^18 - 22119545204226807414155829359304916\ 292309396/103495215189360932873257176122317220172955*c_0101_3^17 - 16967405800483688720667628797309208625774236/1034952151893609328732\ 57176122317220172955*c_0101_3^16 + 40714606321910894272420866142261059308940422/1034952151893609328732\ 57176122317220172955*c_0101_3^15 + 46709084396724999104190815171692137180886542/1034952151893609328732\ 57176122317220172955*c_0101_3^14 - 4314419504882794396059156707245465525724036/20699043037872186574651\ 435224463444034591*c_0101_3^13 - 2807647929956249637661172339358739\ 8415451272/103495215189360932873257176122317220172955*c_0101_3^12 + 6320530336960297409061509114860711601595764/20699043037872186574651\ 435224463444034591*c_0101_3^11 + 9680099116654913131718025530404470\ 386769203/103495215189360932873257176122317220172955*c_0101_3^10 - 27886619930732693219032559947924373292702562/1034952151893609328732\ 57176122317220172955*c_0101_3^9 - 123891359847811774142026983308312\ 87006959808/103495215189360932873257176122317220172955*c_0101_3^8 - 1206084434130446267309945072742237005524349/20699043037872186574651\ 435224463444034591*c_0101_3^7 - 22482152638451251539682336534940386\ 71267296/103495215189360932873257176122317220172955*c_0101_3^6 + 5554715112790258721874037915509280599423199/10349521518936093287325\ 7176122317220172955*c_0101_3^5 - 3780695109138732105260287406083999\ 9233587/103495215189360932873257176122317220172955*c_0101_3^4 - 303561697242569174374286450838712412865439/103495215189360932873257\ 176122317220172955*c_0101_3^3 - 41490939050446685606656866665594041\ 145213/103495215189360932873257176122317220172955*c_0101_3^2 + 10947656645245522673734824141624633555126/1034952151893609328732571\ 76122317220172955*c_0101_3 - 29976637409944378910309852211555590358\ 464/103495215189360932873257176122317220172955, c_0011_4 + 59622421488494204788520710587468938824463/517476075946804664\ 366285880611586100864775*c_0101_3^25 - 392945830532872942381804301655983630723076/517476075946804664366285\ 880611586100864775*c_0101_3^24 - 1026064501789737210937621081889493\ 184061977/517476075946804664366285880611586100864775*c_0101_3^23 - 1491489092811798673301788586064837190342976/51747607594680466436628\ 5880611586100864775*c_0101_3^22 - 730941190060600059663312593591076\ 460184321/103495215189360932873257176122317220172955*c_0101_3^21 + 1913113621426419889679834392572899431249041/51747607594680466436628\ 5880611586100864775*c_0101_3^20 + 162481930010759843715173451287123\ 25759891148/517476075946804664366285880611586100864775*c_0101_3^19 + 960147122775244303927518517815674117205303/517476075946804664366285\ 880611586100864775*c_0101_3^18 - 5337537223604106250305001139186175\ 6827440399/517476075946804664366285880611586100864775*c_0101_3^17 - 12846442835897411958846558279502425273393023/5174760759468046643662\ 85880611586100864775*c_0101_3^16 + 111192350815996025530344036973143379064420293/517476075946804664366\ 285880611586100864775*c_0101_3^15 + 55901336753721016387855282013620778102969864/5174760759468046643662\ 85880611586100864775*c_0101_3^14 - 111417536888090059193021583301914260585847784/517476075946804664366\ 285880611586100864775*c_0101_3^13 - 36670193664648664882491881114074543911788959/5174760759468046643662\ 85880611586100864775*c_0101_3^12 + 124895802172858842123174205613829710651107481/517476075946804664366\ 285880611586100864775*c_0101_3^11 - 4712965839363615309175439719377200715686713/51747607594680466436628\ 5880611586100864775*c_0101_3^10 - 184447503248483144239936854971988\ 64947360682/103495215189360932873257176122317220172955*c_0101_3^9 + 7149033060078893101293092380417390376496949/51747607594680466436628\ 5880611586100864775*c_0101_3^8 + 1658515295036139360378874118384275\ 7057199088/517476075946804664366285880611586100864775*c_0101_3^7 - 4931588206451630184748062656206301288132239/51747607594680466436628\ 5880611586100864775*c_0101_3^6 + 5162348315139684455712754642858560\ 226126594/517476075946804664366285880611586100864775*c_0101_3^5 - 9497588383426762821354399459464779121045682/51747607594680466436628\ 5880611586100864775*c_0101_3^4 - 2402341812783752154386277472712826\ 111075729/517476075946804664366285880611586100864775*c_0101_3^3 + 2011123951166179873632162052848262603330676/51747607594680466436628\ 5880611586100864775*c_0101_3^2 + 3249812437566455297110509425253320\ 07952699/517476075946804664366285880611586100864775*c_0101_3 - 365455962400234952452112515029855531833203/517476075946804664366285\ 880611586100864775, c_0011_5 + 25432655076195356230347209838155829535434/517476075946804664\ 366285880611586100864775*c_0101_3^25 - 110488841866704678215690475736134159591053/517476075946804664366285\ 880611586100864775*c_0101_3^24 - 8015825099895963220711557803119591\ 45157256/517476075946804664366285880611586100864775*c_0101_3^23 - 1707738884408036857041287058244643883415983/51747607594680466436628\ 5880611586100864775*c_0101_3^22 - 635714435997104290380269164812998\ 114553741/103495215189360932873257176122317220172955*c_0101_3^21 - 2855920177713623388996668196638661680534472/51747607594680466436628\ 5880611586100864775*c_0101_3^20 + 834382973503826234695265319475118\ 6191447854/517476075946804664366285880611586100864775*c_0101_3^19 + 17129372276491588952699637753954791819508579/5174760759468046643662\ 85880611586100864775*c_0101_3^18 - 17714578541372415672436960610785250904524342/5174760759468046643662\ 85880611586100864775*c_0101_3^17 - 57510702443476680318449418241860333151297199/5174760759468046643662\ 85880611586100864775*c_0101_3^16 + 21160669381246674644076228552046179890225194/5174760759468046643662\ 85880611586100864775*c_0101_3^15 + 129698236144506369371172281285515750035537922/517476075946804664366\ 285880611586100864775*c_0101_3^14 + 37708413168745960717950976935848312532265263/5174760759468046643662\ 85880611586100864775*c_0101_3^13 - 110728238638825282023384145749361193296320257/517476075946804664366\ 285880611586100864775*c_0101_3^12 - 22174285263164088494019980911525788307319342/5174760759468046643662\ 85880611586100864775*c_0101_3^11 + 95902842221807526187592917350872618707269721/5174760759468046643662\ 85880611586100864775*c_0101_3^10 - 518429577621255336626213659504543214719441/206990430378721865746514\ 35224463444034591*c_0101_3^9 - 809526623086433536522983115851406552\ 10824398/517476075946804664366285880611586100864775*c_0101_3^8 - 11753866274782601593004792683303789924284991/5174760759468046643662\ 85880611586100864775*c_0101_3^7 + 114956555482704996441242530212386\ 79992602713/517476075946804664366285880611586100864775*c_0101_3^6 + 8384080460913768790844002411852987689206207/51747607594680466436628\ 5880611586100864775*c_0101_3^5 + 8807286932825856374705622288610285\ 757632229/517476075946804664366285880611586100864775*c_0101_3^4 - 5856056881276990578969814850568310343233912/51747607594680466436628\ 5880611586100864775*c_0101_3^3 - 3594605111443699785148357224563966\ 850596587/517476075946804664366285880611586100864775*c_0101_3^2 + 874904575490735450727189988200173347100917/517476075946804664366285\ 880611586100864775*c_0101_3 + 3052584229174658949737443216200733744\ 71456/517476075946804664366285880611586100864775, c_0101_0 - 4199021910184552163599196295264133414063/1034952151893609328\ 73257176122317220172955*c_0101_3^25 + 26125322140032956694160333075437141418637/1034952151893609328732571\ 76122317220172955*c_0101_3^24 + 86707703340186989538021490056131689\ 777054/103495215189360932873257176122317220172955*c_0101_3^23 + 21868524390647951595854866627522685082114/2069904303787218657465143\ 5224463444034591*c_0101_3^22 + 189323640022117113159914053604514249\ 677564/103495215189360932873257176122317220172955*c_0101_3^21 - 52041419955348138656809251471709012261435/2069904303787218657465143\ 5224463444034591*c_0101_3^20 - 165362907116282206233711813639416256\ 9510577/103495215189360932873257176122317220172955*c_0101_3^19 - 789950800634979736873812363268978397171233/103495215189360932873257\ 176122317220172955*c_0101_3^18 + 9735662849057664948835095128292929\ 82435260/20699043037872186574651435224463444034591*c_0101_3^17 + 3929927139626279256240311832260210626268594/10349521518936093287325\ 7176122317220172955*c_0101_3^16 - 205624975393627551467770462257662\ 2893510178/20699043037872186574651435224463444034591*c_0101_3^15 - 12269916085827054434558187545649732474211446/1034952151893609328732\ 57176122317220172955*c_0101_3^14 + 10376243725732344581460540824495964684681439/1034952151893609328732\ 57176122317220172955*c_0101_3^13 + 17849298494942925677526805814613742709719116/1034952151893609328732\ 57176122317220172955*c_0101_3^12 - 5099116601441135195312056531809292334887581/10349521518936093287325\ 7176122317220172955*c_0101_3^11 - 201703116831743242384517930154686\ 8447000624/20699043037872186574651435224463444034591*c_0101_3^10 + 7723956631168996180624426278940039092567962/10349521518936093287325\ 7176122317220172955*c_0101_3^9 + 7658343263829671325772217830730241\ 346966794/103495215189360932873257176122317220172955*c_0101_3^8 - 4150679120337870796134258768835656657567383/10349521518936093287325\ 7176122317220172955*c_0101_3^7 - 1125796964261948846660594281431219\ 688230591/20699043037872186574651435224463444034591*c_0101_3^6 - 2931291200189878094304166650185978993415468/10349521518936093287325\ 7176122317220172955*c_0101_3^5 - 5017526073997329754489414480618813\ 91322296/103495215189360932873257176122317220172955*c_0101_3^4 + 1094197237161762852517120715105189900400203/10349521518936093287325\ 7176122317220172955*c_0101_3^3 + 4427464534751755753452955554618291\ 31853177/103495215189360932873257176122317220172955*c_0101_3^2 - 48833029620886867915874175329036408643208/2069904303787218657465143\ 5224463444034591*c_0101_3 - 241703574495267629678295129937751900645\ 98/103495215189360932873257176122317220172955, c_0101_3^26 - 6*c_0101_3^25 - 21*c_0101_3^24 - 36*c_0101_3^23 - 77*c_0101_3^22 - 3*c_0101_3^21 + 293*c_0101_3^20 + 197*c_0101_3^19 - 847*c_0101_3^18 - 779*c_0101_3^17 + 1595*c_0101_3^16 + 2109*c_0101_3^15 - 955*c_0101_3^14 - 1746*c_0101_3^13 + 1159*c_0101_3^12 + 976*c_0101_3^11 - 1216*c_0101_3^10 - 847*c_0101_3^9 + 34*c_0101_3^8 + 143*c_0101_3^7 + 225*c_0101_3^6 + 9*c_0101_3^5 - 77*c_0101_3^4 - 16*c_0101_3^3 + 15*c_0101_3^2 + 2*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB