Magma V2.19-8 Tue Aug 20 2013 16:17:23 on localhost [Seed = 3330759179] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1615 geometric_solution 5.37329766 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 0 0 0 0 0 0 0 0 0 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.630142953996 0.126141854405 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 1 -1 -1 0 1 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.844057293309 0.179292347525 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 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.950582101307 0.494132021200 4 2 6 5 3120 0132 0132 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 -1 1 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.715414617060 0.623487751048 5 6 2 3 1023 1023 0132 3120 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 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.715414617060 0.623487751048 5 4 3 5 3012 1023 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.205584803448 0.692337188094 4 6 6 3 1023 1230 3012 0132 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 0 1 -1 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.557075212319 0.924206703284 ==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' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(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' : negation(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' : negation(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' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0011_4'], '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' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_1']), '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_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], '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' : d['c_0101_1'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_6'], '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_0101_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0011_1']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_6'], '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_0101_0, c_0101_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 38 Groebner basis: [ t + 184401388599102573605952020191134943342352663869286348318194676597/\ 4797309517662363852992086669008824708606795901668963792877411340288\ *c_0101_6^37 - 1113079151430302745106562406763659670627221139077343\ 4170103358879589/47973095176623638529920866690088247086067959016689\ 63792877411340288*c_0101_6^35 - 42027755721055440535078032293807016\ 3168684406889008501516818039629/66721968256778356787094390389552499\ 42429479696340700685504049152*c_0101_6^33 - 3229420462982268835040248139043187081627755310414996967900394707057\ 027/479730951766236385299208666900882470860679590166896379287741134\ 0288*c_0101_6^31 - 189205618903204045018023539132485253538641478345\ 17435299249458286976875/4797309517662363852992086669008824708606795\ 901668963792877411340288*c_0101_6^29 - 5857387618914670195559431217907566833559674942301055721957890956192\ 939/436119047060214895726553333546256791691526900151723981170673758\ 208*c_0101_6^27 - 1122035485212722905763520698092723710529660965724\ 76818412807371122595961/4797309517662363852992086669008824708606795\ 901668963792877411340288*c_0101_6^25 - 7381125786869023582211787145747175445437657447017051929029094736488\ 765/479730951766236385299208666900882470860679590166896379287741134\ 0288*c_0101_6^23 + 182997924957072190957139927430898774974084832101\ 992677845259652647500203/239865475883118192649604333450441235430339\ 7950834481896438705670144*c_0101_6^21 + 6059846343665160153959760006834096698152540763762601752802798964103\ 51451/4797309517662363852992086669008824708606795901668963792877411\ 340288*c_0101_6^19 + 9890612023266261646805360333902819982681905140\ 571450907082812708650797/299831844853897740812005416813051544287924\ 743854310237054838208768*c_0101_6^17 - 3161531900896718325932073240851411106250197515988020052663265573260\ 9977/21805952353010744786327666677312839584576345007586199058533687\ 9104*c_0101_6^15 - 569353256454181442450825337436693792132781288083\ 154784237676184034285893/479730951766236385299208666900882470860679\ 5901668963792877411340288*c_0101_6^13 - 1515724615014781650863196279147787230606821090573611985959914544035\ 5693/11993273794155909632480216672522061771516989754172409482193528\ 35072*c_0101_6^11 + 37656461131637702201100217615849952217760999506\ 1951434154543034437317149/47973095176623638529920866690088247086067\ 95901668963792877411340288*c_0101_6^9 + 6567661735831355049371691987213913863489840674650192548035920857931\ 689/239865475883118192649604333450441235430339795083448189643870567\ 0144*c_0101_6^7 - 2799977469442575220890761264857996740945737470588\ 3559708820225176691851/47973095176623638529920866690088247086067959\ 01668963792877411340288*c_0101_6^5 - 1760340628734672028989049405813293391746521158049064364731114719383\ 67/4361190470602148957265533335462567916915269001517239811706737582\ 08*c_0101_6^3 - 289659140090329367581523239454109270012050078541152\ 8180722586096653025/47973095176623638529920866690088247086067959016\ 68963792877411340288*c_0101_6, c_0011_0 - 1, c_0011_1 + 50659795270901969847353911128144265857706241808681893941455/\ 23579100727736531992136317773910942457370615276369159881632448*c_01\ 01_6^36 - 120589566466898452274159098938816459038692127645388462169\ 61181/9431640291094612796854527109564376982948246110547663952652979\ 2*c_0101_6^34 - 238034997177795561024321334600511951691083371128374\ 337046313/655885972955119109656086725282640958480406544544343807555\ 84*c_0101_6^32 - 38434604856767876528842632594552217803334015113882\ 99741346978219/9431640291094612796854527109564376982948246110547663\ 9526529792*c_0101_6^30 - 120747360159551732513626426991450760292780\ 44879617271760397092109/4715820145547306398427263554782188491474123\ 0552738319763264896*c_0101_6^28 - 922960256140698926378676757976479\ 23280572315629704054876493847711/9431640291094612796854527109564376\ 9829482461105476639526529792*c_0101_6^26 - 25950339322760860667201706404960561942343101747181345398615776659/1\ 1789550363868265996068158886955471228685307638184579940816224*c_010\ 1_6^24 - 2061610044880796009385644366352314446631693472054611404919\ 15856923/9431640291094612796854527109564376982948246110547663952652\ 9792*c_0101_6^22 + 451834841329793132463297327468561635281749053100\ 30725275805632679/2357910072773653199213631777391094245737061527636\ 9159881632448*c_0101_6^20 + 389846831762016508907443972928075309461\ 331208809326280872871923745/471582014554730639842726355478218849147\ 41230552738319763264896*c_0101_6^18 + 890632001640307984183261870732127213978894519623676523769084275963/\ 94316402910946127968545271095643769829482461105476639526529792*c_01\ 01_6^16 + 172621730841005563908621300052043369439664166771093679970\ 066982497/943164029109461279685452710956437698294824611054766395265\ 29792*c_0101_6^14 - 30039085580592094839198881355256764441817621594\ 4297353569207676395/94316402910946127968545271095643769829482461105\ 476639526529792*c_0101_6^12 - 7975292566048363504067563874671508497\ 1068871585297779196793548085/23579100727736531992136317773910942457\ 370615276369159881632448*c_0101_6^10 + 16791261712181051527992333131684553378625340501598852172862734905/2\ 3579100727736531992136317773910942457370615276369159881632448*c_010\ 1_6^8 + 10394915777534141113512532179820931191264668768959507462902\ 292311/943164029109461279685452710956437698294824611054766395265297\ 92*c_0101_6^6 + 775778199941368669587386475143958321547668862946196\ 3389617171079/94316402910946127968545271095643769829482461105476639\ 526529792*c_0101_6^4 + 36208111693295007094688093173730082214733014\ 6921407914537212387/23579100727736531992136317773910942457370615276\ 369159881632448*c_0101_6^2 + 61501620039375523324973971845242471366\ 433677982684791520582749/943164029109461279685452710956437698294824\ 61105476639526529792, c_0011_4 + 882629087950155056943380328479587031580465765132188789966143\ 1/8299843456163259261231983856416651744994456577281944278334621696*\ c_0101_6^36 - 52622991434575121776696718781888082050838467098744920\ 2116135051/82998434561632592612319838564166517449944565772819442783\ 34621696*c_0101_6^34 - 20654692576957466969210907058596261451978504\ 950355615357604871/115435931240100963299471263649744808692551551839\ 80451012982784*c_0101_6^32 - 16575354654811163688653343956140347345\ 4874310097058664528278040029/82998434561632592612319838564166517449\ 94456577281944278334621696*c_0101_6^30 - 1033350263758263394589049006691348716725132792748677466636699890657\ /8299843456163259261231983856416651744994456577281944278334621696*c\ _0101_6^28 - 354931217907485271641629403606417839772476083930075001\ 646342385165/754531223287569023748362168765150158635859688843813116\ 212238336*c_0101_6^26 - 8602529955771298554298363343539602391201573\ 169337474618887932286915/829984345616325926123198385641665174499445\ 6577281944278334621696*c_0101_6^24 - 8001805211919733021819367447752944150460041722361746007900705444123\ /8299843456163259261231983856416651744994456577281944278334621696*c\ _0101_6^22 + 440338991308905171430029268283571434729545758212406872\ 6796592416417/41499217280816296306159919282083258724972282886409721\ 39167310848*c_0101_6^20 + 33017778005169046951243327373047755716798\ 442710270721123524677159825/829984345616325926123198385641665174499\ 4456577281944278334621696*c_0101_6^18 + 8766053745580744007771669418403448977783728047826620879331778485655\ /2074960864040814815307995964104162936248614144320486069583655424*c\ _0101_6^16 + 156695468572036748326214895557778746460194700143629406\ 672129561115/377265611643784511874181084382575079317929844421906558\ 106119168*c_0101_6^14 - 1362273530848029061752111408151662480857584\ 0254946378231435562186883/82998434561632592612319838564166517449944\ 56577281944278334621696*c_0101_6^12 - 3090414972916217966630861674404902749361182974697576842318879863831\ /2074960864040814815307995964104162936248614144320486069583655424*c\ _0101_6^10 + 436091548997727670160793178558139213464942676674518392\ 4761267485471/82998434561632592612319838564166517449944565772819442\ 78334621696*c_0101_6^8 - 441921473529148238549326873153371664711019\ 7958595283884814950967/41499217280816296306159919282083258724972282\ 88640972139167310848*c_0101_6^6 + 278776614083499844120535279276066\ 586115305286235414854304602559651/829984345616325926123198385641665\ 1744994456577281944278334621696*c_0101_6^4 + 3918487303136665891268958488165393790035473755546919921671500075/75\ 4531223287569023748362168765150158635859688843813116212238336*c_010\ 1_6^2 + 35294452474072560106775194758463727229216326414168461709162\ 01433/8299843456163259261231983856416651744994456577281944278334621\ 696, c_0101_0 - 178993364801054360385498925168898523007336665966169885984866\ 9/12827030795888673403722156869007552696809614710344822975608051712\ *c_0101_6^37 + 1147394209375248649743122352238243418734157657124004\ 10471959609/1282703079588867340372215686900755269680961471034482297\ 5608051712*c_0101_6^35 + 352317256228172662816698630940827202076463\ 6937443653174941517/17840098464379239782645558927687834070667058011\ 606151565518848*c_0101_6^33 + 2012838338905373837391919787182774133\ 2869431923510879764564167679/12827030795888673403722156869007552696\ 809614710344822975608051712*c_0101_6^31 + 59267198023075230176353049058058032911581007973620381041759565675/1\ 2827030795888673403722156869007552696809614710344822975608051712*c_\ 0101_6^29 - 1431787854579432341950961625174382138640624353382132424\ 44291195803/1282703079588867340372215686900755269680961471034482297\ 5608051712*c_0101_6^27 - 177538770040368433504469912535406127744446\ 1277506925910555794951839/12827030795888673403722156869007552696809\ 614710344822975608051712*c_0101_6^25 - 6075910292183107664911055738918807945182166517414868398352028418263\ /12827030795888673403722156869007552696809614710344822975608051712*\ c_0101_6^23 - 43703973487933950495807634322078546290292662742987589\ 85837381302763/6413515397944336701861078434503776348404807355172411\ 487804025856*c_0101_6^21 + 1788242670025468785335162326040327910204\ 107115806911893468268421893/128270307958886734037221568690075526968\ 09614710344822975608051712*c_0101_6^19 + 5771084207922859245768295102740692877050896481594309785386680070051\ /3206757698972168350930539217251888174202403677586205743902012928*c\ _0101_6^17 + 152093885095739637831617365425028559695972676314210559\ 82158129338909/6413515397944336701861078434503776348404807355172411\ 487804025856*c_0101_6^15 + 4209005995751187651278082599231957139501\ 242372298195359283588715617/128270307958886734037221568690075526968\ 09614710344822975608051712*c_0101_6^13 - 2863602747328459968557240518140617545272113783007267368649276431827\ /3206757698972168350930539217251888174202403677586205743902012928*c\ _0101_6^11 - 128222000899359875489456264849525759518151249205047785\ 33861744866517/1282703079588867340372215686900755269680961471034482\ 2975608051712*c_0101_6^9 + 2060145291424248543708506880864067916247\ 906910377220719613892605117/641351539794433670186107843450377634840\ 4807355172411487804025856*c_0101_6^7 + 179871228112990938254376021571681015994486023081907672197184157887/\ 12827030795888673403722156869007552696809614710344822975608051712*c\ _0101_6^5 + 3644525012802633877747677717301570666162027950300989059\ 15320867373/1282703079588867340372215686900755269680961471034482297\ 5608051712*c_0101_6^3 + 3260389640036280447259808834095558807576713\ 1776877826088117288493/12827030795888673403722156869007552696809614\ 710344822975608051712*c_0101_6, c_0101_1 + 168601284444151603650435894096718851752424886385207346090023\ 1/754531223287569023748362168765150158635859688843813116212238336*c\ _0101_6^36 - 100357389386326275002744882402189000012894813733231304\ 537682779/754531223287569023748362168765150158635859688843813116212\ 238336*c_0101_6^34 - 3959081563945813044848216210672615321525268162\ 995644635168407/104941755672819057544973876045222553356865047127095\ 0092089344*c_0101_6^32 - 319385862015953138253044894955888385613165\ 45925238875639705393165/7545312232875690237483621687651501586358596\ 88843813116212238336*c_0101_6^30 - 200477244873550741490938903022367114184869598062810174689960850513/\ 754531223287569023748362168765150158635859688843813116212238336*c_0\ 101_6^28 - 76505299097591707223776282203241779864321240408204648239\ 3707963679/75453122328756902374836216876515015863585968884381311621\ 2238336*c_0101_6^26 - 171614031158779622873022083457843942509517725\ 5534304271364038402195/75453122328756902374836216876515015863585968\ 8843813116212238336*c_0101_6^24 - 168935038101418700564401529058541\ 0906021993427216217678511114872939/75453122328756902374836216876515\ 0158635859688843813116212238336*c_0101_6^22 + 766272121217948102967658678128397645832055195749377907110820623761/\ 377265611643784511874181084382575079317929844421906558106119168*c_0\ 101_6^20 + 64734740167917792187502001297610254957773145459775871347\ 91370977025/7545312232875690237483621687651501586358596888438131162\ 12238336*c_0101_6^18 + 18305414460130306913021093022575886939972226\ 52619057637519188099559/1886328058218922559370905421912875396589649\ 22210953279053059584*c_0101_6^16 + 660251372779189334173431255356523201171370767462157347927449873625/\ 377265611643784511874181084382575079317929844421906558106119168*c_0\ 101_6^14 - 25454382512507559003778755205464086145546176778454895031\ 94155124435/7545312232875690237483621687651501586358596888438131162\ 12238336*c_0101_6^12 - 66047446624324201471185298121299779799513753\ 3098708450364071996935/18863280582189225593709054219128753965896492\ 2210953279053059584*c_0101_6^10 + 588558487311808342794277742284897\ 832497927185875023497649543637807/754531223287569023748362168765150\ 158635859688843813116212238336*c_0101_6^8 + 40815041203878623620471260209416944931848162611586417786581953401/3\ 77265611643784511874181084382575079317929844421906558106119168*c_01\ 01_6^6 + 6565144676796394815815963265500491826014029947120394843492\ 8323059/75453122328756902374836216876515015863585968884381311621223\ 8336*c_0101_6^4 + 1131206880267865293930748600539464848727247567196\ 3234613977742153/75453122328756902374836216876515015863585968884381\ 3116212238336*c_0101_6^2 + 1054994312208844106706715428386448074500\ 268489872579343026916937/754531223287569023748362168765150158635859\ 688843813116212238336, c_0101_5 - 103761613466343696799497879539626880793110661700072566973439\ /483210064228682902195012758763983149537348499362304975108522496*c_\ 0101_6^37 + 6287624661010750258486477622133325110384112230354122170\ 382527/483210064228682902195012758763983149537348499362304975108522\ 496*c_0101_6^35 + 2343999654936712843743325372432649925018157396356\ 00333017399/6720585037951083479763737952211170369086905415331084493\ 85984*c_0101_6^33 + 17789333435045500155629488483824883772440131027\ 70505667119545897/4832100642286829021950127587639831495373484993623\ 04975108522496*c_0101_6^31 + 10267340390396865447879846972794888945\ 534309064416969929798447073/483210064228682902195012758763983149537\ 348499362304975108522496*c_0101_6^29 + 3116354170205528703216879842716557049271581027147050713291053905/43\ 928187657152991108637523523998468139758954487482270464411136*c_0101\ _6^27 + 57833699132972678528591363332742348496339516506960245483101\ 195291/483210064228682902195012758763983149537348499362304975108522\ 496*c_0101_6^25 + 1098238901572994048458326986643226716007387950733\ 646539247696151/483210064228682902195012758763983149537348499362304\ 975108522496*c_0101_6^23 - 9122749033684308911008426522964813569900\ 1172330377682822121168049/24160503211434145109750637938199157476867\ 4249681152487554261248*c_0101_6^21 - 274360108982485498269592900566494298998202915001952420115337303025/\ 483210064228682902195012758763983149537348499362304975108522496*c_0\ 101_6^19 - 87342058354707509068863761088831107137577893660486359857\ 868532/943769656696646293349634294460904588940133787817001904508833\ *c_0101_6^17 + 1424918787956224560954386263755685230648233791639095\ 5174525551755/21964093828576495554318761761999234069879477243741135\ 232205568*c_0101_6^15 + 1452067284949119650846233994570355707570101\ 74778350740994797326431/4832100642286829021950127587639831495373484\ 99362304975108522496*c_0101_6^13 - 5176649516620871686742889168952770822390183609449421190526757469/12\ 0802516057170725548753189690995787384337124840576243777130624*c_010\ 1_6^11 - 1749898366763719014331575084665877055554015931936417699547\ 41582119/4832100642286829021950127587639831495373484993623049751085\ 22496*c_0101_6^9 + 337802530038848684692356440678615471187121626909\ 68321810942448341/2416050321143414510975063793819915747686742496811\ 52487554261248*c_0101_6^7 - 883529862548545788062476946856260483303\ 5864265699061564952575631/48321006422868290219501275876398314953734\ 8499362304975108522496*c_0101_6^5 + 232078733089447565488532528957523461199594537807806069580942061/439\ 28187657152991108637523523998468139758954487482270464411136*c_0101_\ 6^3 + 7071243969879302377143612380496220810749992737864848154339645\ 79/483210064228682902195012758763983149537348499362304975108522496*\ c_0101_6, c_0101_6^38 - 60*c_0101_6^36 - 1660*c_0101_6^34 - 18138*c_0101_6^32 - 109858*c_0101_6^30 - 396864*c_0101_6^28 - 800142*c_0101_6^26 - 511266*c_0101_6^24 + 1398977*c_0101_6^22 + 3418085*c_0101_6^20 + 2500587*c_0101_6^18 - 1334142*c_0101_6^16 - 1933879*c_0101_6^14 - 852841*c_0101_6^12 + 1114581*c_0101_6^10 - 100633*c_0101_6^8 + 9747*c_0101_6^6 - 11276*c_0101_6^4 - 3314*c_0101_6^2 - 289 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB