Magma V2.19-8 Tue Aug 20 2013 16:16:04 on localhost [Seed = 3002281587] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0317 geometric_solution 4.35138027 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 0.624848431163 0.059409836434 2 0 2 0 0132 2310 1023 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.789101316963 0.091389911698 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.569237632303 0.388850568040 5 2 4 4 0132 0132 2310 1230 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.249504161438 1.587366903329 3 3 2 5 3012 3201 0132 3201 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 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 0 0 0.249504161438 1.587366903329 3 4 6 6 0132 2310 0132 2310 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 -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.722159790905 1.926680804705 5 6 6 5 3201 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 -1 0 1 0 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.397134393844 0.572968897250 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_1'], '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' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_3']), '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' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0011_4'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 185556100018247490000248135955747572652769645348481/263464072614313\ 3175488082616718902455990207679897*c_0101_3^23 + 1678953015298220405013878740375662100976397507126065/26346407261431\ 33175488082616718902455990207679897*c_0101_3^22 - 847665689470359312336022324678645470562075818027749/263464072614313\ 3175488082616718902455990207679897*c_0101_3^21 - 28438437006379003485197455752980761224326435501601818/2634640726143\ 133175488082616718902455990207679897*c_0101_3^20 - 38617812645400628912952138359289688350110310163767146/8782135753810\ 44391829360872239634151996735893299*c_0101_3^19 - 199361283329987553051542798146576066116587400111272531/263464072614\ 3133175488082616718902455990207679897*c_0101_3^18 - 15527634729107021711733146231826076453318990878223327/2927378584603\ 48130609786957413211383998911964433*c_0101_3^17 + 70367111485569960921860257626955270622846155235698502/8782135753810\ 44391829360872239634151996735893299*c_0101_3^16 + 922621596965798505712767148905092895715642764805572193/263464072614\ 3133175488082616718902455990207679897*c_0101_3^15 + 1666887572401528817843552974661789317235918411108496637/26346407261\ 43133175488082616718902455990207679897*c_0101_3^14 + 2009880970494899891716675820128438729981827889406427035/26346407261\ 43133175488082616718902455990207679897*c_0101_3^13 + 615015937645010335697228991598246044076472645450655485/263464072614\ 3133175488082616718902455990207679897*c_0101_3^12 - 854087637053803086512406340320263831561534350840445252/878213575381\ 044391829360872239634151996735893299*c_0101_3^11 - 386495654027218851113481935783727189779666953548620311/292737858460\ 348130609786957413211383998911964433*c_0101_3^10 - 75513901070022922441411460123386831585183669898946257/2927378584603\ 48130609786957413211383998911964433*c_0101_3^9 + 1825732347261199002673313009759413942821697735712952268/26346407261\ 43133175488082616718902455990207679897*c_0101_3^8 + 1139166294253409843684939363230916178186795643520438890/26346407261\ 43133175488082616718902455990207679897*c_0101_3^7 - 448303848257387512469487760573536925151502920865996556/263464072614\ 3133175488082616718902455990207679897*c_0101_3^6 - 280049733914162551950685900368922700858888378311821346/263464072614\ 3133175488082616718902455990207679897*c_0101_3^5 + 185089894230920652019563327401823628136462981023825246/263464072614\ 3133175488082616718902455990207679897*c_0101_3^4 + 20507300147658427237283260517075621697698037573351182/8782135753810\ 44391829360872239634151996735893299*c_0101_3^3 - 5643099516207614043888344318823524375682898910889065/26346407261431\ 33175488082616718902455990207679897*c_0101_3^2 - 2980805886982542648065351925720839088206218585886120/26346407261431\ 33175488082616718902455990207679897*c_0101_3 + 1560935665636914733107685110876858716011352236768781/26346407261431\ 33175488082616718902455990207679897, c_0011_0 - 1, c_0011_1 - 42499705436684678456889140086480527967047503758/878213575381\ 044391829360872239634151996735893299*c_0101_3^23 - 378102407491446248124398733807029135863039085977/878213575381044391\ 829360872239634151996735893299*c_0101_3^22 + 249370912690815120353878265550415129068810319435/878213575381044391\ 829360872239634151996735893299*c_0101_3^21 + 6455116844174982141716147274344773626938442155947/87821357538104439\ 1829360872239634151996735893299*c_0101_3^20 + 8515912575880882396792995434834215585484712927480/29273785846034813\ 0609786957413211383998911964433*c_0101_3^19 + 42077950124595679816122676809217571299465540607116/8782135753810443\ 91829360872239634151996735893299*c_0101_3^18 + 9067281964373679539559105987061158185074732923474/29273785846034813\ 0609786957413211383998911964433*c_0101_3^17 - 16210089325093440064914622599632973491811017433383/2927378584603481\ 30609786957413211383998911964433*c_0101_3^16 - 198026650683360677177367670345676549004389284435385/878213575381044\ 391829360872239634151996735893299*c_0101_3^15 - 348040452983013010614057679786600042606612850888333/878213575381044\ 391829360872239634151996735893299*c_0101_3^14 - 414270587064978916559911693661610756322464599059024/878213575381044\ 391829360872239634151996735893299*c_0101_3^13 - 105226137717030139385085619429910005338763593010174/878213575381044\ 391829360872239634151996735893299*c_0101_3^12 + 183269891910095194254553215463891473709223518321451/292737858460348\ 130609786957413211383998911964433*c_0101_3^11 + 216998744699545533294539623156498410398997004342917/292737858460348\ 130609786957413211383998911964433*c_0101_3^10 + 6652535972672987804988669539002236590293648736043/29273785846034813\ 0609786957413211383998911964433*c_0101_3^9 - 406787117654120696342793927215113024865507761928882/878213575381044\ 391829360872239634151996735893299*c_0101_3^8 - 157784945057981182356892885454364843207311636419376/878213575381044\ 391829360872239634151996735893299*c_0101_3^7 + 152240958849919365108481477141255594054899941949731/878213575381044\ 391829360872239634151996735893299*c_0101_3^6 + 44574326283339310467400470135544665997052022643913/8782135753810443\ 91829360872239634151996735893299*c_0101_3^5 - 49689940246879092995893258721257123904040872124803/8782135753810443\ 91829360872239634151996735893299*c_0101_3^4 - 66353742322695590252146576224195355516139814101/2927378584603481306\ 09786957413211383998911964433*c_0101_3^3 + 3794987150310570721515668387042136666783718622671/87821357538104439\ 1829360872239634151996735893299*c_0101_3^2 - 868614872453217792787338092895849383711684649464/878213575381044391\ 829360872239634151996735893299*c_0101_3 - 254416227826850912341081341336278108826553077622/878213575381044391\ 829360872239634151996735893299, c_0011_4 + 14954571088777334714370812457975461011864838587/292737858460\ 348130609786957413211383998911964433*c_0101_3^23 + 139455191478155751557635797288134233856812896614/292737858460348130\ 609786957413211383998911964433*c_0101_3^22 - 27704630355972282803428726454271285451875686788/2927378584603481306\ 09786957413211383998911964433*c_0101_3^21 - 2281670527910981621765141887361844183465645959748/29273785846034813\ 0609786957413211383998911964433*c_0101_3^20 - 9976629207919703572116643233509200169338032358106/29273785846034813\ 0609786957413211383998911964433*c_0101_3^19 - 19125153542286089712272620987991349074268506479584/2927378584603481\ 30609786957413211383998911964433*c_0101_3^18 - 17807575167641258871369383005474814829717679855705/2927378584603481\ 30609786957413211383998911964433*c_0101_3^17 + 9775520213884937650794121639117004571880854590056/29273785846034813\ 0609786957413211383998911964433*c_0101_3^16 + 74867931554513766277193234769812505871053945730554/2927378584603481\ 30609786957413211383998911964433*c_0101_3^15 + 156008564103692912769532081384631326988914744755632/292737858460348\ 130609786957413211383998911964433*c_0101_3^14 + 213604338355386833092713418483983193898243353098742/292737858460348\ 130609786957413211383998911964433*c_0101_3^13 + 126728985981232632402332514538546834095562877071377/292737858460348\ 130609786957413211383998911964433*c_0101_3^12 - 145564809922672440134252447721352116968329765809829/292737858460348\ 130609786957413211383998911964433*c_0101_3^11 - 303671153233685166260713968892185959233862012516325/292737858460348\ 130609786957413211383998911964433*c_0101_3^10 - 150256518351535260070413383509106603934680131467574/292737858460348\ 130609786957413211383998911964433*c_0101_3^9 + 80933376530244801118889384077448221578225725700860/2927378584603481\ 30609786957413211383998911964433*c_0101_3^8 + 106117618840677295626934923942891447643280569423428/292737858460348\ 130609786957413211383998911964433*c_0101_3^7 + 1592857014795527626278176154738949438973532179269/29273785846034813\ 0609786957413211383998911964433*c_0101_3^6 - 18412628556138418821362157103875524594339025686066/2927378584603481\ 30609786957413211383998911964433*c_0101_3^5 + 4174456897067192076365656508880990116989170766894/29273785846034813\ 0609786957413211383998911964433*c_0101_3^4 + 4141145851318718113805340747571983319310609596009/29273785846034813\ 0609786957413211383998911964433*c_0101_3^3 + 1909277184508555039657012706507440831306563158508/29273785846034813\ 0609786957413211383998911964433*c_0101_3^2 - 64734571138174872817344275821332141937979286637/2927378584603481306\ 09786957413211383998911964433*c_0101_3 + 54422790766455274475143074092675023283416042496/2927378584603481306\ 09786957413211383998911964433, c_0011_6 - 51004599314640314298914340486394295684408899141/878213575381\ 044391829360872239634151996735893299*c_0101_3^23 - 468131212288225625564469825144629707178613378091/878213575381044391\ 829360872239634151996735893299*c_0101_3^22 + 171322105918047770587498039886495842725834774787/878213575381044391\ 829360872239634151996735893299*c_0101_3^21 + 7830639692917701141355574281598223193676312823973/87821357538104439\ 1829360872239634151996735893299*c_0101_3^20 + 10951555045158947157041921185118284919501576055990/2927378584603481\ 30609786957413211383998911964433*c_0101_3^19 + 59185686831520482548114123427155550120649126707922/8782135753810443\ 91829360872239634151996735893299*c_0101_3^18 + 15599974025232016854454155449275944779522642537286/2927378584603481\ 30609786957413211383998911964433*c_0101_3^17 - 16693374528689820210926423942468864879298817984813/2927378584603481\ 30609786957413211383998911964433*c_0101_3^16 - 257069934103262351579490143910524808239741903499521/878213575381044\ 391829360872239634151996735893299*c_0101_3^15 - 489204609921552087799530544891576591633414942987322/878213575381044\ 391829360872239634151996735893299*c_0101_3^14 - 618572400967833052693706514279088594785839013003889/878213575381044\ 391829360872239634151996735893299*c_0101_3^13 - 262307074020516532704590313687569867531647969104775/878213575381044\ 391829360872239634151996735893299*c_0101_3^12 + 214539355588688977272321968414788404210077482329375/292737858460348\ 130609786957413211383998911964433*c_0101_3^11 + 335279443174663373063057553920504219408114743064859/292737858460348\ 130609786957413211383998911964433*c_0101_3^10 + 98352710889924978990247017550529089698909141892735/2927378584603481\ 30609786957413211383998911964433*c_0101_3^9 - 458620740763318853668812702970436443664678712369251/878213575381044\ 391829360872239634151996735893299*c_0101_3^8 - 348184932864924576600315884262334657575694161401645/878213575381044\ 391829360872239634151996735893299*c_0101_3^7 + 97279687533624301052799258901400585469001150729352/8782135753810443\ 91829360872239634151996735893299*c_0101_3^6 + 92026787987141171428965822623711100877598538886205/8782135753810443\ 91829360872239634151996735893299*c_0101_3^5 - 42754421320544101011748296948848128459167535368392/8782135753810443\ 91829360872239634151996735893299*c_0101_3^4 - 7765996958839743617263885978616691570792460185095/29273785846034813\ 0609786957413211383998911964433*c_0101_3^3 + 778754148786294131338313677878514471043252296162/878213575381044391\ 829360872239634151996735893299*c_0101_3^2 + 1537535374963044939334365431499431501598093775585/87821357538104439\ 1829360872239634151996735893299*c_0101_3 - 395270022155279720836421911064735681633326667224/878213575381044391\ 829360872239634151996735893299, c_0101_0 + 49237115627912207537157227601151444508535594253/878213575381\ 044391829360872239634151996735893299*c_0101_3^23 + 430431377508131909715698291836212449295132401020/878213575381044391\ 829360872239634151996735893299*c_0101_3^22 - 364985602422275622273568924429501258082625579757/878213575381044391\ 829360872239634151996735893299*c_0101_3^21 - 7510949735514798603446906586901690481290993337788/87821357538104439\ 1829360872239634151996735893299*c_0101_3^20 - 9474854101212151053789251503163597543263328528061/29273785846034813\ 0609786957413211383998911964433*c_0101_3^19 - 42956900725592018606258074406547214091245955653366/8782135753810443\ 91829360872239634151996735893299*c_0101_3^18 - 6168695084204773793494162716406562047814317582279/29273785846034813\ 0609786957413211383998911964433*c_0101_3^17 + 24086694328046339465795173721735395727605563440374/2927378584603481\ 30609786957413211383998911964433*c_0101_3^16 + 233664366584395693572539528825767154764937410230023/878213575381044\ 391829360872239634151996735893299*c_0101_3^15 + 369273881564680583584949982163308712584310756315571/878213575381044\ 391829360872239634151996735893299*c_0101_3^14 + 385542774277360954585850313220134265478932182823210/878213575381044\ 391829360872239634151996735893299*c_0101_3^13 - 35020431426593143952275060689779647583413021282397/8782135753810443\ 91829360872239634151996735893299*c_0101_3^12 - 263728338429139761182441992896054500347275429559239/292737858460348\ 130609786957413211383998911964433*c_0101_3^11 - 258648092172360806663234272904638004511640004049840/292737858460348\ 130609786957413211383998911964433*c_0101_3^10 + 27719418843338041604230143370861004682579076751867/2927378584603481\ 30609786957413211383998911964433*c_0101_3^9 + 554271061705189569728408401435952322898683884389199/878213575381044\ 391829360872239634151996735893299*c_0101_3^8 + 177015919390195800361164136903792838868538503652358/878213575381044\ 391829360872239634151996735893299*c_0101_3^7 - 191251619892561383063413493354438791105939264813097/878213575381044\ 391829360872239634151996735893299*c_0101_3^6 - 20947365100706615886709250438961654037297593858086/8782135753810443\ 91829360872239634151996735893299*c_0101_3^5 + 80384171777267183558773265052511063846510381018760/8782135753810443\ 91829360872239634151996735893299*c_0101_3^4 - 449990864715457922945425798961489086847184769947/292737858460348130\ 609786957413211383998911964433*c_0101_3^3 - 5482213373322633376727621619691366867332562446646/87821357538104439\ 1829360872239634151996735893299*c_0101_3^2 + 2078135472764359479554421701296658779407643956854/87821357538104439\ 1829360872239634151996735893299*c_0101_3 + 479303253168468490618365686600669878810847800537/878213575381044391\ 829360872239634151996735893299, c_0101_1 - 18452285854408674272041883819624999966746560541/878213575381\ 044391829360872239634151996735893299*c_0101_3^23 - 174226544731842916330311915496525305306791445571/878213575381044391\ 829360872239634151996735893299*c_0101_3^22 + 27908843423662363955401759242299416282394833816/8782135753810443918\ 29360872239634151996735893299*c_0101_3^21 + 2933311044999471826774462705871776861227206522767/87821357538104439\ 1829360872239634151996735893299*c_0101_3^20 + 4162484724543994218940554644644234295841404833832/29273785846034813\ 0609786957413211383998911964433*c_0101_3^19 + 23057235627458750032212444514409039362750499542732/8782135753810443\ 91829360872239634151996735893299*c_0101_3^18 + 5875204310562142289599055986622713166886190305596/29273785846034813\ 0609786957413211383998911964433*c_0101_3^17 - 6344565606609077848857611689548801416977155170331/29273785846034813\ 0609786957413211383998911964433*c_0101_3^16 - 97524771600833422266213652234048355098062977315672/8782135753810443\ 91829360872239634151996735893299*c_0101_3^15 - 184732235829282530008644110652040849868393767090979/878213575381044\ 391829360872239634151996735893299*c_0101_3^14 - 229889795608645196340125731331077148636137591447975/878213575381044\ 391829360872239634151996735893299*c_0101_3^13 - 101234403616019867960823490332185865896788383734380/878213575381044\ 391829360872239634151996735893299*c_0101_3^12 + 84060008327079771015036189351285392376971046645522/2927378584603481\ 30609786957413211383998911964433*c_0101_3^11 + 124888455173217118342184287671538518803632589174493/292737858460348\ 130609786957413211383998911964433*c_0101_3^10 + 16193317867143108526817281812148435196388183347261/2927378584603481\ 30609786957413211383998911964433*c_0101_3^9 - 232848192966809587217405480893784506658707375793012/878213575381044\ 391829360872239634151996735893299*c_0101_3^8 - 128137116484347256752381337859091814802010946844099/878213575381044\ 391829360872239634151996735893299*c_0101_3^7 + 86245819059210982246101768077510060673988317924200/8782135753810443\ 91829360872239634151996735893299*c_0101_3^6 + 55138687767958772105825040793330774304127520976270/8782135753810443\ 91829360872239634151996735893299*c_0101_3^5 - 22800903277208692917042726290836240917801558934094/8782135753810443\ 91829360872239634151996735893299*c_0101_3^4 - 821610990237362649487792500512739242578639061898/292737858460348130\ 609786957413211383998911964433*c_0101_3^3 + 2539199515622358251693500585959892746137349267607/87821357538104439\ 1829360872239634151996735893299*c_0101_3^2 - 86405549841388417108612616231575908638620887680/8782135753810443918\ 29360872239634151996735893299*c_0101_3 + 412030842521165633748650107478754573453543831410/878213575381044391\ 829360872239634151996735893299, c_0101_3^24 + 9*c_0101_3^23 - 5*c_0101_3^22 - 153*c_0101_3^21 - 617*c_0101_3^20 - 1045*c_0101_3^19 - 704*c_0101_3^18 + 1170*c_0101_3^17 + 4916*c_0101_3^16 + 8751*c_0101_3^15 + 10421*c_0101_3^14 + 2826*c_0101_3^13 - 13936*c_0101_3^12 - 18090*c_0101_3^11 - 2841*c_0101_3^10 + 9941*c_0101_3^9 + 5688*c_0101_3^8 - 2638*c_0101_3^7 - 1371*c_0101_3^6 + 1039*c_0101_3^5 + 271*c_0101_3^4 - 37*c_0101_3^3 - 12*c_0101_3^2 + 8*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB