Magma V2.19-8 Tue Aug 20 2013 16:16:26 on localhost [Seed = 1444399801] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0706 geometric_solution 4.66064551 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 2310 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.061118566510 0.320131539120 0 0 2 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 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 1.541990105439 0.710793481282 3 1 1 4 0132 3201 0132 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 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.953511006570 0.215585531072 2 4 5 4 0132 0321 0132 2031 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 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.834072404129 0.598573930819 5 3 2 3 0132 1302 0132 0321 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.834072404129 0.598573930819 4 6 6 3 0132 0132 3201 0132 0 0 0 0 0 1 -1 0 0 0 0 0 -1 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 -1 1 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.331597738143 0.254994022622 5 5 6 6 2310 0132 2031 1302 0 0 0 0 0 -1 0 1 1 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 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.899426339807 1.888850656085 ==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' : 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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_2'], 'c_0101_4' : d['c_0101_3'], '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_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : d['c_0011_2'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_2'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_2'], 'c_0110_6' : negation(d['c_0011_2']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_2'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0011_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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 640524923549071611539260988976405208675711385650645358651/382466957\ 1603466784205906705104365048757207402634308825*c_0101_6^22 + 34893976960672965957164003349943237694854101985153063978/3824669571\ 603466784205906705104365048757207402634308825*c_0101_6^21 - 32666010640347424484024644284727559984572440658392282446017/3824669\ 571603466784205906705104365048757207402634308825*c_0101_6^20 - 1508763704143167906785027513463575575575946497804866881387/76493391\ 4320693356841181341020873009751441480526861765*c_0101_6^19 + 527439699986876399157615354625636825787973625943150803699569/382466\ 9571603466784205906705104365048757207402634308825*c_0101_6^18 + 26625177093825162658432062315060389679562855145629323312079/7649339\ 14320693356841181341020873009751441480526861765*c_0101_6^17 - 2683253925511036082113549860161198420283065291447234636897464/38246\ 69571603466784205906705104365048757207402634308825*c_0101_6^16 + 1583434449247983360053586032628011430084827875234486741156033/38246\ 69571603466784205906705104365048757207402634308825*c_0101_6^15 + 4182769856912422748552048987032750862709329259358312802957987/38246\ 69571603466784205906705104365048757207402634308825*c_0101_6^14 - 18187780821540248398815882740075896230343237697907734822549882/3824\ 669571603466784205906705104365048757207402634308825*c_0101_6^13 - 355508099099880186611949509161038586815779649332606997510753/764933\ 914320693356841181341020873009751441480526861765*c_0101_6^12 + 52830935730860398972693494431667640611803957991402657486170581/3824\ 669571603466784205906705104365048757207402634308825*c_0101_6^11 + 6048818883416098631968546881571058913355657831596805568168037/38246\ 69571603466784205906705104365048757207402634308825*c_0101_6^10 - 11317873817144634568379568243545493690345818149213994104059816/7649\ 33914320693356841181341020873009751441480526861765*c_0101_6^9 - 11929791870311725673707843557985454106779693356220205940873104/3824\ 669571603466784205906705104365048757207402634308825*c_0101_6^8 + 843703097558997629405844626206288773444822160393241317272657/152986\ 782864138671368236268204174601950288296105372353*c_0101_6^7 + 7072127890938844880587323754139266600704851139792527625201717/38246\ 69571603466784205906705104365048757207402634308825*c_0101_6^6 - 2106950668149440819285378979855482134443668501342508381641298/38246\ 69571603466784205906705104365048757207402634308825*c_0101_6^5 - 1843277852848442985358257122629198316720989673491680907179708/38246\ 69571603466784205906705104365048757207402634308825*c_0101_6^4 - 305193513566792339021538022872928140359928508984920489279707/382466\ 9571603466784205906705104365048757207402634308825*c_0101_6^3 + 176358661285303184555729500645801014373902289248202994859657/382466\ 9571603466784205906705104365048757207402634308825*c_0101_6^2 + 87497968352296038998357626858082600102997905340332048161919/3824669\ 571603466784205906705104365048757207402634308825*c_0101_6 + 11191819129309180388659004908414451447930327338579913442817/3824669\ 571603466784205906705104365048757207402634308825, c_0011_0 - 1, c_0011_2 - 1298408671854640986610089772207635947321736507215779/4935057\ 511746408753814073167876600062912525680818463*c_0101_6^22 + 386122832728481033606928513128364416535608440210565/493505751174640\ 8753814073167876600062912525680818463*c_0101_6^21 + 66121092576286351505549458454051566522762074009485169/4935057511746\ 408753814073167876600062912525680818463*c_0101_6^20 - 7975871028591207513409791309780351399098168230690576/49350575117464\ 08753814073167876600062912525680818463*c_0101_6^19 - 1068382251515505868053905355865842568774565622810922120/49350575117\ 46408753814073167876600062912525680818463*c_0101_6^18 + 105839915360761696547459448931359709524425174055590445/493505751174\ 6408753814073167876600062912525680818463*c_0101_6^17 + 5434319892015741867805957880542369873952376002265420506/49350575117\ 46408753814073167876600062912525680818463*c_0101_6^16 - 5117728582657818523349733390911396851828197094696984706/49350575117\ 46408753814073167876600062912525680818463*c_0101_6^15 - 6839293788490057458302886786158982317439412701517809857/49350575117\ 46408753814073167876600062912525680818463*c_0101_6^14 + 39394893957361769252667134802262247535529403201334581432/4935057511\ 746408753814073167876600062912525680818463*c_0101_6^13 - 10040887451112616356835464219545782681961429237463693263/4935057511\ 746408753814073167876600062912525680818463*c_0101_6^12 - 104700376122823063130535429629102047654050111150782300748/493505751\ 1746408753814073167876600062912525680818463*c_0101_6^11 + 24648214392153518684047100630871103683286623852184382547/4935057511\ 746408753814073167876600062912525680818463*c_0101_6^10 + 109117904342771103029560955599499934390270069594400150659/493505751\ 1746408753814073167876600062912525680818463*c_0101_6^9 - 14252258957698059178593965604522373667340003569263054548/4935057511\ 746408753814073167876600062912525680818463*c_0101_6^8 - 40722201206221784314978931499158292962391326744956522931/4935057511\ 746408753814073167876600062912525680818463*c_0101_6^7 - 240966702717093340102488509589388341056510037196148865/493505751174\ 6408753814073167876600062912525680818463*c_0101_6^6 + 5219589560520675928769657705857350304803476160403181082/49350575117\ 46408753814073167876600062912525680818463*c_0101_6^5 + 2050951621770446581346433644432363517609494476690736039/49350575117\ 46408753814073167876600062912525680818463*c_0101_6^4 - 161710947858560250956776499688716780649363111404333899/493505751174\ 6408753814073167876600062912525680818463*c_0101_6^3 - 352543562272178327704585373720879567089414164842432484/493505751174\ 6408753814073167876600062912525680818463*c_0101_6^2 - 55641995828545768054134792506888161184986666014597037/4935057511746\ 408753814073167876600062912525680818463*c_0101_6 + 3655609007466466392580785427643589720026962656338489/49350575117464\ 08753814073167876600062912525680818463, c_0011_4 - 460943165527094533229996168451888441985151244333695/49350575\ 11746408753814073167876600062912525680818463*c_0101_6^22 + 169857192724561720868822172383524185759758186495291/493505751174640\ 8753814073167876600062912525680818463*c_0101_6^21 + 23432569832648473058823732496089533442630465872880093/4935057511746\ 408753814073167876600062912525680818463*c_0101_6^20 - 4484486142598530760988043087393512259637023758134423/49350575117464\ 08753814073167876600062912525680818463*c_0101_6^19 - 377504140528816503304925544971132489681895734030385769/493505751174\ 6408753814073167876600062912525680818463*c_0101_6^18 + 63994967781598847901307945794249314244086096112574872/4935057511746\ 408753814073167876600062912525680818463*c_0101_6^17 + 1901210433678082684679192502687361483029580102976439015/49350575117\ 46408753814073167876600062912525680818463*c_0101_6^16 - 1945663996359291043322113974331581349518123065794241065/49350575117\ 46408753814073167876600062912525680818463*c_0101_6^15 - 2172471348689952993090766012637762306974205185154025204/49350575117\ 46408753814073167876600062912525680818463*c_0101_6^14 + 14006292144774748792869902396931494536042942493687591596/4935057511\ 746408753814073167876600062912525680818463*c_0101_6^13 - 4678285522099264624374173988261192263993052809151955851/49350575117\ 46408753814073167876600062912525680818463*c_0101_6^12 - 35951780665277415229424938750303515741276141572767780508/4935057511\ 746408753814073167876600062912525680818463*c_0101_6^11 + 10916139995884644358245285928639853836658297759687532481/4935057511\ 746408753814073167876600062912525680818463*c_0101_6^10 + 35785861026201651389244135022311369458777682306059719329/4935057511\ 746408753814073167876600062912525680818463*c_0101_6^9 - 6689916465598091827375046904981293001909860544399074339/49350575117\ 46408753814073167876600062912525680818463*c_0101_6^8 - 11940615783135363864239591536992090473070856093505683056/4935057511\ 746408753814073167876600062912525680818463*c_0101_6^7 + 112316798646132763065068939174474308814191591485520973/493505751174\ 6408753814073167876600062912525680818463*c_0101_6^6 + 1291465790749089304951165412955729597179287432812099678/49350575117\ 46408753814073167876600062912525680818463*c_0101_6^5 + 740218512438756804652159498807610676846373911887985645/493505751174\ 6408753814073167876600062912525680818463*c_0101_6^4 - 92173805980574277865738694902945374399187109748017216/4935057511746\ 408753814073167876600062912525680818463*c_0101_6^3 - 99106792606578529970737138097123456408893687347214615/4935057511746\ 408753814073167876600062912525680818463*c_0101_6^2 - 19689883359718674429208386933486767292085720506280808/4935057511746\ 408753814073167876600062912525680818463*c_0101_6 + 439734213812719257197304660797928250179403548328503/493505751174640\ 8753814073167876600062912525680818463, c_0101_0 - 1086066135148892426234668455346263480158611870383856/4935057\ 511746408753814073167876600062912525680818463*c_0101_6^22 + 187824430356498757143859909540422443955734146845335/493505751174640\ 8753814073167876600062912525680818463*c_0101_6^21 + 55340173781246344782233669007254325741296544190574711/4935057511746\ 408753814073167876600062912525680818463*c_0101_6^20 + 207096434663474619935507642944655575504298666580816/493505751174640\ 8753814073167876600062912525680818463*c_0101_6^19 - 894110036743464622983528809965874335822833350924124635/493505751174\ 6408753814073167876600062912525680818463*c_0101_6^18 - 22405035918424458236346403674885849527327629156518968/4935057511746\ 408753814073167876600062912525680818463*c_0101_6^17 + 4550884666566926787347768424072230713791151309575999185/49350575117\ 46408753814073167876600062912525680818463*c_0101_6^16 - 3719594413683954345789419791484322288419308761804718380/49350575117\ 46408753814073167876600062912525680818463*c_0101_6^15 - 6230557442722567312304877120354351051297831850097299760/49350575117\ 46408753814073167876600062912525680818463*c_0101_6^14 + 32235730167843644986654301744582511253040936711758328873/4935057511\ 746408753814073167876600062912525680818463*c_0101_6^13 - 4316339554369747935535137963724889969176819569449112261/49350575117\ 46408753814073167876600062912525680818463*c_0101_6^12 - 88462839416443996515824419671214394617092542680011003998/4935057511\ 746408753814073167876600062912525680818463*c_0101_6^11 + 9792933426403590743509728418195541907591109736177441512/49350575117\ 46408753814073167876600062912525680818463*c_0101_6^10 + 93512232084414186064982685891251888793286418153932954271/4935057511\ 746408753814073167876600062912525680818463*c_0101_6^9 - 972729107262405398057189079758351749688984117113074582/493505751174\ 6408753814073167876600062912525680818463*c_0101_6^8 - 35653262647805559246646079760965492653441706437856304839/4935057511\ 746408753814073167876600062912525680818463*c_0101_6^7 - 3931538061398535738826443938672714316089371570492590586/49350575117\ 46408753814073167876600062912525680818463*c_0101_6^6 + 4794051086037258795505050271915336770812615606491456239/49350575117\ 46408753814073167876600062912525680818463*c_0101_6^5 + 2088061905173644251379087015076272519722513630469712739/49350575117\ 46408753814073167876600062912525680818463*c_0101_6^4 - 36354787919940928371156784229976517516975651142147811/4935057511746\ 408753814073167876600062912525680818463*c_0101_6^3 - 307596844644152934449123035408327721992011965426472801/493505751174\ 6408753814073167876600062912525680818463*c_0101_6^2 - 81794368554886169960919400096619302770093354169708217/4935057511746\ 408753814073167876600062912525680818463*c_0101_6 + 2776193637245923269392382426487930172248868768489024/49350575117464\ 08753814073167876600062912525680818463, c_0101_1 + 3355546402639380199745756228203651891383799935968080/4935057\ 511746408753814073167876600062912525680818463*c_0101_6^22 - 1062096982923522825832265167154289444548113807738261/49350575117464\ 08753814073167876600062912525680818463*c_0101_6^21 - 170787009562008941100209129662976228272827530432873329/493505751174\ 6408753814073167876600062912525680818463*c_0101_6^20 + 23867537254435891916958753618583221129225528457692095/4935057511746\ 408753814073167876600062912525680818463*c_0101_6^19 + 2756921968804954278428579560984233579804214938233996511/49350575117\ 46408753814073167876600062912525680818463*c_0101_6^18 - 326259950835884356835759494887386278685304934969062283/493505751174\ 6408753814073167876600062912525680818463*c_0101_6^17 - 13978786649206174864988066128970830417900559059234917774/4935057511\ 746408753814073167876600062912525680818463*c_0101_6^16 + 13494209847396898760408827792079786260846806482817993571/4935057511\ 746408753814073167876600062912525680818463*c_0101_6^15 + 17125033050460139774748459839978307686072975142179927932/4935057511\ 746408753814073167876600062912525680818463*c_0101_6^14 - 101882579597052310862425358219032095200144947571775414055/493505751\ 1746408753814073167876600062912525680818463*c_0101_6^13 + 28246682497093836992831173023790302146466348256448607311/4935057511\ 746408753814073167876600062912525680818463*c_0101_6^12 + 267922681363535977444719858001363763219168878638617090765/493505751\ 1746408753814073167876600062912525680818463*c_0101_6^11 - 68421914962794353080229097871025178251052577078953633397/4935057511\ 746408753814073167876600062912525680818463*c_0101_6^10 - 275234282834442644079724716234792670477605078880245292049/493505751\ 1746408753814073167876600062912525680818463*c_0101_6^9 + 41398746155532927657330743006752361422257593360806777109/4935057511\ 746408753814073167876600062912525680818463*c_0101_6^8 + 99455517077336036641329283263355231068976936260239226354/4935057511\ 746408753814073167876600062912525680818463*c_0101_6^7 - 1130622229229037867454461729929645493453665023605780636/49350575117\ 46408753814073167876600062912525680818463*c_0101_6^6 - 12249995756824355422208431654601710791125782028284587867/4935057511\ 746408753814073167876600062912525680818463*c_0101_6^5 - 4969831279296833626444333564443971047905572505335815346/49350575117\ 46408753814073167876600062912525680818463*c_0101_6^4 + 470336067317263636695582361851791196640290213135189908/493505751174\ 6408753814073167876600062912525680818463*c_0101_6^3 + 839369692241744285788703821709134095543500198884286718/493505751174\ 6408753814073167876600062912525680818463*c_0101_6^2 + 126440520301256202827392708989399075740843533578063065/493505751174\ 6408753814073167876600062912525680818463*c_0101_6 - 6527369660065807477731699685213943270689464233813359/49350575117464\ 08753814073167876600062912525680818463, c_0101_3 - 2913892542680905758215359634462965610280789731790780/4935057\ 511746408753814073167876600062912525680818463*c_0101_6^22 + 982075769190330116178496280944128495208045293678483/493505751174640\ 8753814073167876600062912525680818463*c_0101_6^21 + 148282370028280313585041705233892256731495406197356034/493505751174\ 6408753814073167876600062912525680818463*c_0101_6^20 - 23754897728830447283020278688103982723531716166466993/4935057511746\ 408753814073167876600062912525680818463*c_0101_6^19 - 2393282687931800880513448621178175648102644553311388366/49350575117\ 46408753814073167876600062912525680818463*c_0101_6^18 + 331809920230925734119938850441256855222259138573124193/493505751174\ 6408753814073167876600062912525680818463*c_0101_6^17 + 12127349023011478248625580095591848602784085251854227336/4935057511\ 746408753814073167876600062912525680818463*c_0101_6^16 - 11957418360654065015997263691503519591846099302074013643/4935057511\ 746408753814073167876600062912525680818463*c_0101_6^15 - 14600405471842853820701731464818640285909825142527043042/4935057511\ 746408753814073167876600062912525680818463*c_0101_6^14 + 88706346332525779048907905144847880520877985656071789260/4935057511\ 746408753814073167876600062912525680818463*c_0101_6^13 - 26346824022654688242372808272104380172785611852305672714/4935057511\ 746408753814073167876600062912525680818463*c_0101_6^12 - 231890896531947097796969656659253847500246164021952752282/493505751\ 1746408753814073167876600062912525680818463*c_0101_6^11 + 63817831503524452752336149052090560651572682861948433385/4935057511\ 746408753814073167876600062912525680818463*c_0101_6^10 + 237251741238762422959501218503781836703554559842305854664/493505751\ 1746408753814073167876600062912525680818463*c_0101_6^9 - 39894225186641018869755942296619048571078123990209723164/4935057511\ 746408753814073167876600062912525680818463*c_0101_6^8 - 85030732577143491238395511274982901894450003672849665699/4935057511\ 746408753814073167876600062912525680818463*c_0101_6^7 + 1952601162194057927307654597971265075738954330745313239/49350575117\ 46408753814073167876600062912525680818463*c_0101_6^6 + 10318213589650603115545488039086522095698053865171787363/4935057511\ 746408753814073167876600062912525680818463*c_0101_6^5 + 4236799309851967061950038109365024358957918650112252768/49350575117\ 46408753814073167876600062912525680818463*c_0101_6^4 - 432267080484458147352034223979336395305081480500990506/493505751174\ 6408753814073167876600062912525680818463*c_0101_6^3 - 705231642035659242780017766699680016277493246983696827/493505751174\ 6408753814073167876600062912525680818463*c_0101_6^2 - 104105979373192971411751845341282356304456083580299236/493505751174\ 6408753814073167876600062912525680818463*c_0101_6 + 5853526731754687196162479982859901326980804767739284/49350575117464\ 08753814073167876600062912525680818463, c_0101_6^23 - 51*c_0101_6^21 - 9*c_0101_6^20 + 824*c_0101_6^19 + 163*c_0101_6^18 - 4199*c_0101_6^17 + 2700*c_0101_6^16 + 6388*c_0101_6^15 - 28743*c_0101_6^14 - 1219*c_0101_6^13 + 82576*c_0101_6^12 + 4969*c_0101_6^11 - 88716*c_0101_6^10 - 13864*c_0101_6^9 + 33787*c_0101_6^8 + 9292*c_0101_6^7 - 3824*c_0101_6^6 - 2714*c_0101_6^5 - 333*c_0101_6^4 + 303*c_0101_6^3 + 123*c_0101_6^2 + 10*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB