Magma V2.19-8 Tue Aug 20 2013 16:17:29 on localhost [Seed = 2496989263] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1711 geometric_solution 5.42143456 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 3201 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 -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.428925734936 0.232498896926 0 3 0 3 0132 0132 2310 2310 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.801958943504 0.976750594674 4 0 5 0 0132 2310 0132 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 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.769115321560 0.744251697748 1 1 4 5 3201 0132 3012 3012 0 0 0 0 0 1 -1 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 1 -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.380233384246 1.225673975761 2 3 4 4 0132 1230 1230 3012 0 0 0 0 0 0 -1 1 -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 -1 1 0 0 -1 1 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.096162623374 1.176912452000 6 6 3 2 0132 2310 1230 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.352183704650 1.959452063593 5 6 6 5 0132 1230 3012 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.184914764322 0.360903270970 ==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' : negation(d['1']), 's_1_2' : 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' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : d['c_0101_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_2']), 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0101_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : negation(d['c_0011_5']), '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' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : negation(d['c_0101_5']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0011_2'], 'c_1001_2' : negation(d['c_0101_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_2']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0011_2'], 'c_1010_0' : d['c_0101_5']})} 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_5, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 118990594732149490454794005265126875902467738414655963900879/146799\ 5786357835321081690551757515102847353194003995074022265*c_0101_5^25 + 408843249058650860245387523861709117474773691893662167992543/2935\ 991572715670642163381103515030205694706388007990148044530*c_0101_5^\ 24 + 5935784178793763750947270661860629068038506368041011644921533/\ 2935991572715670642163381103515030205694706388007990148044530*c_010\ 1_5^23 - 6285087118224378349827603877615970669843556326830847432324\ 46/293599157271567064216338110351503020569470638800799014804453*c_0\ 101_5^22 - 28612634537393689886522662894271348662425322205164288701\ 7138/133454162396166847371062777432501372986123017636726824911115*c\ _0101_5^21 - 503158224199718012505052836161063449142539820643306422\ 1319203/26690832479233369474212555486500274597224603527345364982223\ 0*c_0101_5^20 - 160116022545737394522614029832566936108960173871924\ 957977439777/293599157271567064216338110351503020569470638800799014\ 8044530*c_0101_5^19 + 267333194668806859394206309278398264723635212\ 97543517833270781/1467995786357835321081690551757515102847353194003\ 995074022265*c_0101_5^18 - 1172146947244261422195977266065591730670\ 01037740504028576736316/1467995786357835321081690551757515102847353\ 194003995074022265*c_0101_5^17 + 1051469387746924988898466852777108\ 851990802227433724798304937797/293599157271567064216338110351503020\ 5694706388007990148044530*c_0101_5^16 + 133818752679534149938141933981852098768767062081868474735697327/587\ 198314543134128432676220703006041138941277601598029608906*c_0101_5^\ 15 + 59203704292951670318848760068588327359799728864136528087486281\ /133454162396166847371062777432501372986123017636726824911115*c_010\ 1_5^14 + 1022478516821863515856634828509663282294625989943982928510\ 819742/146799578635783532108169055175751510284735319400399507402226\ 5*c_0101_5^13 - 603700326309851041903530392087277942345542455872404\ 887617099319/266908324792333694742125554865002745972246035273453649\ 822230*c_0101_5^12 + 1528230877846481505433717588899704106967506097\ 131738018321206017/146799578635783532108169055175751510284735319400\ 3995074022265*c_0101_5^11 - 655582386684521921911319014812047299503\ 9250675028279603589389868/14679957863578353210816905517575151028473\ 53194003995074022265*c_0101_5^10 + 615225626384971010418195869455981971255592860551133257172956067/266\ 908324792333694742125554865002745972246035273453649822230*c_0101_5^\ 9 + 608187621202707511833059602654669659472699687440149534171376671\ /266908324792333694742125554865002745972246035273453649822230*c_010\ 1_5^8 - 41084698026803614839077713984923333113505100822309366225299\ 69223/1467995786357835321081690551757515102847353194003995074022265\ *c_0101_5^7 + 54239050507288188509488624564535695507471466410602538\ 00715667588/1467995786357835321081690551757515102847353194003995074\ 022265*c_0101_5^6 - 26242166071036095278197697440465347981979388745\ 02835249858919527/1467995786357835321081690551757515102847353194003\ 995074022265*c_0101_5^5 + 12828986163683292041680123722221566013173\ 40150929426050885257067/1467995786357835321081690551757515102847353\ 194003995074022265*c_0101_5^4 - 61603306317575471390783915302955552\ 788306452438780719322438751/133454162396166847371062777432501372986\ 123017636726824911115*c_0101_5^3 - 297546040178278906544763110314427709040822297942458290230087733/293\ 5991572715670642163381103515030205694706388007990148044530*c_0101_5\ ^2 - 2164339910864688541640899094449773323552393851755841823419393/\ 2935991572715670642163381103515030205694706388007990148044530*c_010\ 1_5 - 5643926068038456212646140579400131942733432779350306024658563\ 3/2935991572715670642163381103515030205694706388007990148044530, c_0011_0 - 1, c_0011_2 + 711964949146268102687548902936781012929351424620210764/86099\ 4596104302241103630822145170148297567855720818225233*c_0101_5^25 + 4257962612484054353728657476706256860836664154169620842/86099459610\ 4302241103630822145170148297567855720818225233*c_0101_5^24 - 648251768316304511944098446636054255801891519734648840/860994596104\ 302241103630822145170148297567855720818225233*c_0101_5^23 - 34714550360738173390570753701676001539596322462833888477/8609945961\ 04302241103630822145170148297567855720818225233*c_0101_5^22 - 94050619151837757418105813431444657059656356467351184913/8609945961\ 04302241103630822145170148297567855720818225233*c_0101_5^21 - 239664654313464103279889723153592776379468084045426938424/860994596\ 104302241103630822145170148297567855720818225233*c_0101_5^20 - 218702666330116062444771733387821781006968142229698649047/860994596\ 104302241103630822145170148297567855720818225233*c_0101_5^19 + 124870354337091067480142241191362805366446363131913132054/860994596\ 104302241103630822145170148297567855720818225233*c_0101_5^18 + 798816137785494319150353126683237785630420473143945097888/860994596\ 104302241103630822145170148297567855720818225233*c_0101_5^17 + 2769464261504184703805999694556515041623798092729780435880/86099459\ 6104302241103630822145170148297567855720818225233*c_0101_5^16 + 2500891197970796335634327846610492693557186747721399514444/86099459\ 6104302241103630822145170148297567855720818225233*c_0101_5^15 + 2890432502343940992953088369510014114643480915766965544171/86099459\ 6104302241103630822145170148297567855720818225233*c_0101_5^14 - 2753795945802837011423172586226076234317150884674802330614/86099459\ 6104302241103630822145170148297567855720818225233*c_0101_5^13 - 10921553250180017527928744908234627756327071529422413903966/8609945\ 96104302241103630822145170148297567855720818225233*c_0101_5^12 - 5228412061676950324667067565880501371104614590159461488607/86099459\ 6104302241103630822145170148297567855720818225233*c_0101_5^11 - 15103736136473163001435733390083600369920408640692372386668/8609945\ 96104302241103630822145170148297567855720818225233*c_0101_5^10 + 17434821577139178760245854186168605730432241182805794593439/8609945\ 96104302241103630822145170148297567855720818225233*c_0101_5^9 + 5451003951137986827445434616645240327863080950301737079946/86099459\ 6104302241103630822145170148297567855720818225233*c_0101_5^8 - 6417748304102427769932639056754889243467991935167651888199/86099459\ 6104302241103630822145170148297567855720818225233*c_0101_5^7 + 15226933495712650749899310952200823838816168593033610219308/8609945\ 96104302241103630822145170148297567855720818225233*c_0101_5^6 - 7484493384293804626040988638484052804059214629107686636339/86099459\ 6104302241103630822145170148297567855720818225233*c_0101_5^5 + 1780633577447069089970265016521887743188403438928241153405/86099459\ 6104302241103630822145170148297567855720818225233*c_0101_5^4 - 1610912939350697619019541651055947319872428006292926021062/86099459\ 6104302241103630822145170148297567855720818225233*c_0101_5^3 - 998907930609812491202120881211075234468889580705664129027/860994596\ 104302241103630822145170148297567855720818225233*c_0101_5^2 + 245779000052254542753608893306047692981617620314166315527/860994596\ 104302241103630822145170148297567855720818225233*c_0101_5 + 448782984996155821260963021900104775593841258797664766710/860994596\ 104302241103630822145170148297567855720818225233, c_0011_5 - 2285614448120411136378445713554472585767498723854625030/8609\ 94596104302241103630822145170148297567855720818225233*c_0101_5^25 - 9109158638076653573389753006473225681386994534653588777/86099459610\ 4302241103630822145170148297567855720818225233*c_0101_5^24 + 15874332438502918876559856098755946887770444863457521746/8609945961\ 04302241103630822145170148297567855720818225233*c_0101_5^23 + 65848861666089529155593113052873775403432800217026726559/8609945961\ 04302241103630822145170148297567855720818225233*c_0101_5^22 + 213747624907753369078305074738327703666398455507916912723/860994596\ 104302241103630822145170148297567855720818225233*c_0101_5^21 + 439620050422769498825586555313699186976029633106897811943/860994596\ 104302241103630822145170148297567855720818225233*c_0101_5^20 + 142998720219600781030646268595029607089767352438975486926/860994596\ 104302241103630822145170148297567855720818225233*c_0101_5^19 - 138841792738113906481627331095540800117183123123380425413/860994596\ 104302241103630822145170148297567855720818225233*c_0101_5^18 - 2575845262529506289287994127205192074506188655416226450357/86099459\ 6104302241103630822145170148297567855720818225233*c_0101_5^17 - 4010480382562196862457261256982344349686893573497353117567/86099459\ 6104302241103630822145170148297567855720818225233*c_0101_5^16 - 4711627974499912209359587057512408084003667663902561858613/86099459\ 6104302241103630822145170148297567855720818225233*c_0101_5^15 - 3659926448397873909930670167130087905024119666151230610118/86099459\ 6104302241103630822145170148297567855720818225233*c_0101_5^14 + 11817136944440953499734353391460789523073328380485920439199/8609945\ 96104302241103630822145170148297567855720818225233*c_0101_5^13 + 9813757169597898305910498013956802762535962844685935053228/86099459\ 6104302241103630822145170148297567855720818225233*c_0101_5^12 + 23110551855425122769017898915253073376158830972140765057420/8609945\ 96104302241103630822145170148297567855720818225233*c_0101_5^11 + 1478628249174501656632014245279079443771562093104284339039/86099459\ 6104302241103630822145170148297567855720818225233*c_0101_5^10 - 22589322168541159759403573817161840254921854642408486450876/8609945\ 96104302241103630822145170148297567855720818225233*c_0101_5^9 - 1266828196470903055450708950276824974476898811600626147751/86099459\ 6104302241103630822145170148297567855720818225233*c_0101_5^8 - 9216823291433037797225432898893024091775513795092776912850/86099459\ 6104302241103630822145170148297567855720818225233*c_0101_5^7 - 2093628270175374088327309560754163327747605676477829865363/86099459\ 6104302241103630822145170148297567855720818225233*c_0101_5^6 + 783690977350453878774259959320425692049364192018414801246/860994596\ 104302241103630822145170148297567855720818225233*c_0101_5^5 + 889709974495812234100061419031569695111880457680535246187/860994596\ 104302241103630822145170148297567855720818225233*c_0101_5^4 + 2719596569188743980105128907619651327712661742937881423957/86099459\ 6104302241103630822145170148297567855720818225233*c_0101_5^3 + 1615862350055735000450207029217857708100157941247013336127/86099459\ 6104302241103630822145170148297567855720818225233*c_0101_5^2 + 203331506505652498283829378106453369608921595884629522884/860994596\ 104302241103630822145170148297567855720818225233*c_0101_5 + 90558847039946169302294826723436240224618648514072667270/8609945961\ 04302241103630822145170148297567855720818225233, c_0101_0 + 13297148745424078059440896782098882990442793449133982533/860\ 994596104302241103630822145170148297567855720818225233*c_0101_5^25 + 39179481287125966075635141443359867958399028922781736835/8609945961\ 04302241103630822145170148297567855720818225233*c_0101_5^24 - 137229450066724834948137625297695086765264598645509446172/860994596\ 104302241103630822145170148297567855720818225233*c_0101_5^23 - 251997574394741178617432940413242722562611184013811019287/860994596\ 104302241103630822145170148297567855720818225233*c_0101_5^22 - 935977308055219524948614711391542456762727599323946836432/860994596\ 104302241103630822145170148297567855720818225233*c_0101_5^21 - 1514904379044475687774242697202520184783921650877860701580/86099459\ 6104302241103630822145170148297567855720818225233*c_0101_5^20 + 1010899281548060630727461736515327989825150104095197925338/86099459\ 6104302241103630822145170148297567855720818225233*c_0101_5^19 + 178811220093843828266449043041525132035639761882296701448/860994596\ 104302241103630822145170148297567855720818225233*c_0101_5^18 + 14408913224411426251488757941642716303187526876771529776515/8609945\ 96104302241103630822145170148297567855720818225233*c_0101_5^17 + 8469296537775088088279951930439683658708206560902440727613/86099459\ 6104302241103630822145170148297567855720818225233*c_0101_5^16 + 14437046215074572305110520741479439548009176630449592961822/8609945\ 96104302241103630822145170148297567855720818225233*c_0101_5^15 + 4692866273303629894523197312505003004272364508260085035909/86099459\ 6104302241103630822145170148297567855720818225233*c_0101_5^14 - 77208196840519113267168260484660671148228253502976793921108/8609945\ 96104302241103630822145170148297567855720818225233*c_0101_5^13 + 21316615594414849982402664494036116888975290539665841946682/8609945\ 96104302241103630822145170148297567855720818225233*c_0101_5^12 - 134230122454869218568928084365156778967346461761324139426262/860994\ 596104302241103630822145170148297567855720818225233*c_0101_5^11 + 116126632598513761340404146728585185511397511955936875813827/860994\ 596104302241103630822145170148297567855720818225233*c_0101_5^10 + 48532768082469295242870147900280192207893591371815204474630/8609945\ 96104302241103630822145170148297567855720818225233*c_0101_5^9 - 82231827413590711143901344205336462542859973660435691476748/8609945\ 96104302241103630822145170148297567855720818225233*c_0101_5^8 + 131296873746803231935844747890459672345850606880592139289426/860994\ 596104302241103630822145170148297567855720818225233*c_0101_5^7 - 79468535442591692415996113258821795991802010952788741292448/8609945\ 96104302241103630822145170148297567855720818225233*c_0101_5^6 + 36033574917897170169245346142790370089340800153377892445407/8609945\ 96104302241103630822145170148297567855720818225233*c_0101_5^5 - 19389044230208257132089063758137789719625670931592092062854/8609945\ 96104302241103630822145170148297567855720818225233*c_0101_5^4 - 4014554566678314203956335675914500085582792738382750218949/86099459\ 6104302241103630822145170148297567855720818225233*c_0101_5^3 + 2169393186658508897516059315904100405471025331156553287448/86099459\ 6104302241103630822145170148297567855720818225233*c_0101_5^2 - 2059436280837725462469285378671667853332952912595151853563/86099459\ 6104302241103630822145170148297567855720818225233*c_0101_5 + 552049924673190140812844913619885286444949986633872636453/860994596\ 104302241103630822145170148297567855720818225233, c_0101_1 + 1, c_0101_2 + 1816271654025334682655572170235464984037114204289144098/8609\ 94596104302241103630822145170148297567855720818225233*c_0101_5^25 + 10433914094166599490998505029891170572796673004760223524/8609945961\ 04302241103630822145170148297567855720818225233*c_0101_5^24 - 3076420121420756471448176298189415524381980081303827538/86099459610\ 4302241103630822145170148297567855720818225233*c_0101_5^23 - 84788525884560160378064618232678570943210126834735405495/8609945961\ 04302241103630822145170148297567855720818225233*c_0101_5^22 - 230834577046942981226817220963602692103658522106441707241/860994596\ 104302241103630822145170148297567855720818225233*c_0101_5^21 - 576951830578993440191393996543565362840976536146825507571/860994596\ 104302241103630822145170148297567855720818225233*c_0101_5^20 - 493440382554700434979026500236294544514701670920150501828/860994596\ 104302241103630822145170148297567855720818225233*c_0101_5^19 + 320582777789852991290585307788383856271682070147244366467/860994596\ 104302241103630822145170148297567855720818225233*c_0101_5^18 + 2054893440524622392775277604069324832849385139252001949440/86099459\ 6104302241103630822145170148297567855720818225233*c_0101_5^17 + 6616298695808573367289835921635523093138374495757568250194/86099459\ 6104302241103630822145170148297567855720818225233*c_0101_5^16 + 5947511811704657330038054124576353515526868437485090784907/86099459\ 6104302241103630822145170148297567855720818225233*c_0101_5^15 + 6627251589171684931078005616972847721260751149906574883739/86099459\ 6104302241103630822145170148297567855720818225233*c_0101_5^14 - 7624045163190885733171405442165588467585225600434671796161/86099459\ 6104302241103630822145170148297567855720818225233*c_0101_5^13 - 25867519412067422349313798291856265896248425358143195572976/8609945\ 96104302241103630822145170148297567855720818225233*c_0101_5^12 - 13537689372344466198445569308457403911821390551216702365399/8609945\ 96104302241103630822145170148297567855720818225233*c_0101_5^11 - 33841872527963442974047072848985326057685343342262136988306/8609945\ 96104302241103630822145170148297567855720818225233*c_0101_5^10 + 42645053927916150797541781141717961139880976462387068932019/8609945\ 96104302241103630822145170148297567855720818225233*c_0101_5^9 + 12974705739000116338630864675771990382082204666796320861235/8609945\ 96104302241103630822145170148297567855720818225233*c_0101_5^8 - 14000108365931566334631108688813450313145569157459459749251/8609945\ 96104302241103630822145170148297567855720818225233*c_0101_5^7 + 35296590024627224900228849993905985493215631034092162505372/8609945\ 96104302241103630822145170148297567855720818225233*c_0101_5^6 - 17588933535271657172373512162909708039470411453036584581633/8609945\ 96104302241103630822145170148297567855720818225233*c_0101_5^5 + 3967427948792268269746212403282379516897518595657022067098/86099459\ 6104302241103630822145170148297567855720818225233*c_0101_5^4 - 4069905854032180207568346778482611267851854955793467401009/86099459\ 6104302241103630822145170148297567855720818225233*c_0101_5^3 - 2360957553331741208641767089624270253348611726085748850140/86099459\ 6104302241103630822145170148297567855720818225233*c_0101_5^2 + 542329519578371972549241358953314181103355181952935219338/860994596\ 104302241103630822145170148297567855720818225233*c_0101_5 - 216154965150869198232176682197874342051057412856575990446/860994596\ 104302241103630822145170148297567855720818225233, c_0101_5^26 + 3*c_0101_5^25 - 10*c_0101_5^24 - 19*c_0101_5^23 - 73*c_0101_5^22 - 121*c_0101_5^21 + 58*c_0101_5^20 - 3*c_0101_5^19 + 1093*c_0101_5^18 + 697*c_0101_5^17 + 1294*c_0101_5^16 + 541*c_0101_5^15 - 5589*c_0101_5^14 + 1396*c_0101_5^13 - 10916*c_0101_5^12 + 8340*c_0101_5^11 + 2514*c_0101_5^10 - 4873*c_0101_5^9 + 10284*c_0101_5^8 - 6459*c_0101_5^7 + 3855*c_0101_5^6 - 2021*c_0101_5^5 - 168*c_0101_5^4 + 42*c_0101_5^3 - 230*c_0101_5^2 + 60*c_0101_5 - 31 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB