Magma V2.19-8 Tue Aug 20 2013 16:17:31 on localhost [Seed = 661044220] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1757 geometric_solution 5.44549150 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 0 0 0 0 0 0 1 -1 0 0 1 -1 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 1 1 -2 -1 0 2 -1 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.473881481501 0.453971012957 0 2 4 3 0132 2031 0132 0132 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 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 0 0 0.521537114493 0.720135196254 1 0 3 4 1302 0132 2310 2310 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.521537114493 0.720135196254 5 2 1 5 0132 3201 0132 1023 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 1 -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.338928184547 0.429581100126 2 4 4 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.893979040951 0.786826282531 3 6 6 3 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.475285785709 0.608215198946 6 5 5 6 3012 0132 1023 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 1 -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 1.672442919394 0.177601351628 ==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' : 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_3'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0011_3'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), '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_3, c_0101_0, c_0101_1, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 4263340517627917105692179950665416087737402837/12214879724031038494\ 81906742617514178361123161*c_0101_6^25 - 8474710994401547152570163257593526473747059933/12214879724031038494\ 81906742617514178361123161*c_0101_6^24 + 106566476501099713066880190977955167284310363294/122148797240310384\ 9481906742617514178361123161*c_0101_6^23 + 62420753458818127029527705842925986280730775429/1221487972403103849\ 481906742617514178361123161*c_0101_6^22 - 654279049970443476277003173622630364965494945016/122148797240310384\ 9481906742617514178361123161*c_0101_6^21 + 623390322889230159122949550764988688143850145521/122148797240310384\ 9481906742617514178361123161*c_0101_6^20 - 2392679838997793580447903449604029374190909733760/12214879724031038\ 49481906742617514178361123161*c_0101_6^19 + 1699609156194027094125780229354833772520160174518/12214879724031038\ 49481906742617514178361123161*c_0101_6^18 + 4166976521292477025925198512650503164486190944432/40716265746770128\ 3160635580872504726120374387*c_0101_6^17 - 279157569393887506299733126729579535134412237245/394028378194549628\ 86513120729597231560036231*c_0101_6^16 - 7366339338175555097966938723579444131976615522867/40716265746770128\ 3160635580872504726120374387*c_0101_6^15 + 2639373385833950765583379101832583483304751354804/40716265746770128\ 3160635580872504726120374387*c_0101_6^14 + 25858878764307465242263700024229635361892041392863/1221487972403103\ 849481906742617514178361123161*c_0101_6^13 + 3729869326299087914609021241742418261861606092262/12214879724031038\ 49481906742617514178361123161*c_0101_6^12 - 19582914584022544115107426319006859949215130895743/1221487972403103\ 849481906742617514178361123161*c_0101_6^11 - 378867342886443000798231183046919293102047882416/394028378194549628\ 86513120729597231560036231*c_0101_6^10 + 1695204555518736171440985290323835248271499543140/40716265746770128\ 3160635580872504726120374387*c_0101_6^9 + 7607651528050187877662056983818206416185014574527/12214879724031038\ 49481906742617514178361123161*c_0101_6^8 + 648822890124550148123907186347385530489813990372/122148797240310384\ 9481906742617514178361123161*c_0101_6^7 - 2738994963520800749091302170372860509252250226565/12214879724031038\ 49481906742617514178361123161*c_0101_6^6 - 340862416377915613434759752346099691808571304336/122148797240310384\ 9481906742617514178361123161*c_0101_6^5 + 163109306702315433105819981496884021774568924285/135720885822567094\ 386878526957501575373458129*c_0101_6^4 + 544567781743156691434348898829522655800113890004/122148797240310384\ 9481906742617514178361123161*c_0101_6^3 - 28821614974954152951447465568892633415570418243/4071626574677012831\ 60635580872504726120374387*c_0101_6^2 - 37373601666861443563231474866434352543417521372/1221487972403103849\ 481906742617514178361123161*c_0101_6 - 18680965959277412025349120452622164794056588753/1221487972403103849\ 481906742617514178361123161, c_0011_0 - 1, c_0011_3 + 27053586880782035913297317326206848463661/528096831994424491\ 777737458978605351647697*c_0101_6^25 + 58057741429661071303837715509713563098324/5280968319944244917777374\ 58978605351647697*c_0101_6^24 - 67759504455497340491169397828331271\ 8552747/528096831994424491777737458978605351647697*c_0101_6^23 - 513907246174246792225878079508638543879818/528096831994424491777737\ 458978605351647697*c_0101_6^22 + 4346601741924513845782485586815127\ 822660914/528096831994424491777737458978605351647697*c_0101_6^21 - 3383673993797919391095018200989449943639679/52809683199442449177773\ 7458978605351647697*c_0101_6^20 + 130893423349194883456296735902933\ 76671162857/528096831994424491777737458978605351647697*c_0101_6^19 - 5601678890652002739552377962779704617739463/52809683199442449177773\ 7458978605351647697*c_0101_6^18 - 888979213166334221459749841741384\ 36436940169/528096831994424491777737458978605351647697*c_0101_6^17 + 1706809543692508248632278360360337768166204/17035381677239499734765\ 724483180817795087*c_0101_6^16 + 1694631786193057743077325981354776\ 51334903178/528096831994424491777737458978605351647697*c_0101_6^15 - 68081565206463462640880147866918804202053441/5280968319944244917777\ 37458978605351647697*c_0101_6^14 - 189044707163972687959506032046509232015011148/528096831994424491777\ 737458978605351647697*c_0101_6^13 - 10247866566887842132775109055001243223249728/5280968319944244917777\ 37458978605351647697*c_0101_6^12 + 144811258360600717203840875911578165075112902/528096831994424491777\ 737458978605351647697*c_0101_6^11 + 2407115128660853788574509020592327797797703/17035381677239499734765\ 724483180817795087*c_0101_6^10 - 4880500061257401755253832484032802\ 2378715769/528096831994424491777737458978605351647697*c_0101_6^9 - 49258777397062389338146544711790407480732912/5280968319944244917777\ 37458978605351647697*c_0101_6^8 - 127659818518443238101592745767189\ 8103490005/528096831994424491777737458978605351647697*c_0101_6^7 + 20319153029959238790411347835514240916450695/5280968319944244917777\ 37458978605351647697*c_0101_6^6 + 137858774289700097834758609652197\ 0532570012/528096831994424491777737458978605351647697*c_0101_6^5 - 9971807288866698436868361431451159543119275/52809683199442449177773\ 7458978605351647697*c_0101_6^4 - 2707925325839804657244869645953889\ 111426407/528096831994424491777737458978605351647697*c_0101_6^3 + 744631257536737147346755836819837667288171/528096831994424491777737\ 458978605351647697*c_0101_6^2 - 27741701616568204335073275904738754\ 3733953/528096831994424491777737458978605351647697*c_0101_6 + 491403251797073377711987950768790768699951/528096831994424491777737\ 458978605351647697, c_0101_0 + 24368120526176749758184732476781452954054/528096831994424491\ 777737458978605351647697*c_0101_6^25 + 48940405112301099819837063604189232977857/5280968319944244917777374\ 58978605351647697*c_0101_6^24 - 59771946187848929714262152666629392\ 2470846/528096831994424491777737458978605351647697*c_0101_6^23 - 356758385381766592346059026834748344829140/528096831994424491777737\ 458978605351647697*c_0101_6^22 + 3462012106516731536300580554869342\ 392962654/528096831994424491777737458978605351647697*c_0101_6^21 - 3429510446899904632129691331663095845105114/52809683199442449177773\ 7458978605351647697*c_0101_6^20 + 151718591962363875732893733940745\ 56100903489/528096831994424491777737458978605351647697*c_0101_6^19 - 12160002220892025742969022834498113278040589/5280968319944244917777\ 37458978605351647697*c_0101_6^18 - 63785559614311333672553112397563552762873868/5280968319944244917777\ 37458978605351647697*c_0101_6^17 + 1220790589171896552744170631299266995641196/17035381677239499734765\ 724483180817795087*c_0101_6^16 + 1041512901694369080560008585453692\ 76882077140/528096831994424491777737458978605351647697*c_0101_6^15 - 3299725067630997300245310222128245292110065/52809683199442449177773\ 7458978605351647697*c_0101_6^14 - 123548628357738066776509122799385\ 559734085648/528096831994424491777737458978605351647697*c_0101_6^13 - 64560613569693061623033596137918480986473748/52809683199442449177\ 7737458978605351647697*c_0101_6^12 + 79960283954146834110077154046461585622303001/5280968319944244917777\ 37458978605351647697*c_0101_6^11 + 2726635933906184886264052377873546694499194/17035381677239499734765\ 724483180817795087*c_0101_6^10 + 4991821703371926832734900711387952\ 696058391/528096831994424491777737458978605351647697*c_0101_6^9 - 38305700227171834862024620502169681756335071/5280968319944244917777\ 37458978605351647697*c_0101_6^8 - 172604985477267087124548471305521\ 85681552006/528096831994424491777737458978605351647697*c_0101_6^7 + 7015682858205985401590610758192167089709035/52809683199442449177773\ 7458978605351647697*c_0101_6^6 + 4149443259315376908255564134029768\ 283824877/528096831994424491777737458978605351647697*c_0101_6^5 - 5372911186294957369090275081760669001271007/52809683199442449177773\ 7458978605351647697*c_0101_6^4 - 5094262688333288986546500560602321\ 081726564/528096831994424491777737458978605351647697*c_0101_6^3 - 1258000837414235435959193809167732425343306/52809683199442449177773\ 7458978605351647697*c_0101_6^2 + 7279377011817904224369176201815240\ 01884314/528096831994424491777737458978605351647697*c_0101_6 - 47113176651830595192197304639196654300032/5280968319944244917777374\ 58978605351647697, c_0101_1 + 32851461611827247333563792509386401389064181/407162657467701\ 283160635580872504726120374387*c_0101_6^25 + 9062680432805937181503889653872414980684528/13572088582256709438687\ 8526957501575373458129*c_0101_6^24 - 886535452650493184849832960028722024657088283/407162657467701283160\ 635580872504726120374387*c_0101_6^23 + 488101027638764403189176391956196251059190128/407162657467701283160\ 635580872504726120374387*c_0101_6^22 + 1777171550932661358710498115296304646604556733/13572088582256709438\ 6878526957501575373458129*c_0101_6^21 - 3565943560604548536160974132974650077431622843/13572088582256709438\ 6878526957501575373458129*c_0101_6^20 + 8555986838187155121087678786402030355457377807/13572088582256709438\ 6878526957501575373458129*c_0101_6^19 - 12225924620352798213868662412350915053705919442/1357208858225670943\ 86878526957501575373458129*c_0101_6^18 - 74658553576213591667446760018549101781394269525/4071626574677012831\ 60635580872504726120374387*c_0101_6^17 + 5548624554432336228183560650538205501805304623/13134279273151654295\ 504373576532410520012077*c_0101_6^16 + 21255952507857823388688324639740602859834403043/1357208858225670943\ 86878526957501575373458129*c_0101_6^15 - 74668056139592174776171257934596443163644628019/1357208858225670943\ 86878526957501575373458129*c_0101_6^14 - 84998921675395349790243629612833781354300837909/4071626574677012831\ 60635580872504726120374387*c_0101_6^13 + 53782061545363360642152872073499658948883457613/1357208858225670943\ 86878526957501575373458129*c_0101_6^12 + 44188542767203845656756681780135890965611101699/1357208858225670943\ 86878526957501575373458129*c_0101_6^11 - 2274280752597963241609459322938388499435469771/13134279273151654295\ 504373576532410520012077*c_0101_6^10 - 31595247815285444415652070179358662000432383965/1357208858225670943\ 86878526957501575373458129*c_0101_6^9 - 2615512086688881725879879312589092154243832826/40716265746770128316\ 0635580872504726120374387*c_0101_6^8 + 13494827146780617733453721304137809472868723889/1357208858225670943\ 86878526957501575373458129*c_0101_6^7 + 13074202224017104030506399968648691335004809117/4071626574677012831\ 60635580872504726120374387*c_0101_6^6 - 16479585504752345495213300600202688899422213380/4071626574677012831\ 60635580872504726120374387*c_0101_6^5 - 6942490697589560584864232859666736749555294526/40716265746770128316\ 0635580872504726120374387*c_0101_6^4 + 2238509463446064241045543457006472080393792682/13572088582256709438\ 6878526957501575373458129*c_0101_6^3 + 1248177586404485126601604248540232684674759523/40716265746770128316\ 0635580872504726120374387*c_0101_6^2 - 125239988895486672022507188126362970755005634/135720885822567094386\ 878526957501575373458129*c_0101_6 + 254052664020456174541484265393471367509553237/407162657467701283160\ 635580872504726120374387, c_0101_4 + 79268159505539897165358715080306689912000828/407162657467701\ 283160635580872504726120374387*c_0101_6^25 + 58944386687046014891330574559707178699790095/1357208858225670943868\ 78526957501575373458129*c_0101_6^24 - 1960309111882680317641344388330203419055679661/40716265746770128316\ 0635580872504726120374387*c_0101_6^23 - 1667021816164598005395932330045287704308661899/40716265746770128316\ 0635580872504726120374387*c_0101_6^22 + 4109840974515245904082023834022825368375052881/13572088582256709438\ 6878526957501575373458129*c_0101_6^21 - 2872738464790630067017940385324632214204775467/13572088582256709438\ 6878526957501575373458129*c_0101_6^20 + 12983069953323151501411559783480832913977854187/1357208858225670943\ 86878526957501575373458129*c_0101_6^19 - 5609214333861748106232103916821940735205114349/13572088582256709438\ 6878526957501575373458129*c_0101_6^18 - 251507316028244609080980435294741658291901075843/407162657467701283\ 160635580872504726120374387*c_0101_6^17 + 3770965717746438198443527469007001579980948247/13134279273151654295\ 504373576532410520012077*c_0101_6^16 + 165229773709044441694637900623800770546409009009/135720885822567094\ 386878526957501575373458129*c_0101_6^15 - 36287633165212388743870496724387138954490673565/1357208858225670943\ 86878526957501575373458129*c_0101_6^14 - 579214619404942369713036876942152584856198961911/407162657467701283\ 160635580872504726120374387*c_0101_6^13 - 38137469882816774261559886986496230135494662873/1357208858225670943\ 86878526957501575373458129*c_0101_6^12 + 140889376809060490601413199294732705101365572046/135720885822567094\ 386878526957501575373458129*c_0101_6^11 + 8914314494703285833340135474390090189736237199/13134279273151654295\ 504373576532410520012077*c_0101_6^10 - 38420008552038873111680770496541800847969270720/1357208858225670943\ 86878526957501575373458129*c_0101_6^9 - 172534976083925981633292242495237577586723960586/407162657467701283\ 160635580872504726120374387*c_0101_6^8 - 4652972510094151329397356043382954082883563494/13572088582256709438\ 6878526957501575373458129*c_0101_6^7 + 64895623725707321754315180943605862106273056049/4071626574677012831\ 60635580872504726120374387*c_0101_6^6 + 10363775034453109010535574846027890836757071231/4071626574677012831\ 60635580872504726120374387*c_0101_6^5 - 34083827180063858097163136684501972825842398862/4071626574677012831\ 60635580872504726120374387*c_0101_6^4 - 4321952612825012676806722815203025141019701945/13572088582256709438\ 6878526957501575373458129*c_0101_6^3 + 4148817417096147712765101443749816185727672180/40716265746770128316\ 0635580872504726120374387*c_0101_6^2 + 157422407333752450090162452253909004187155614/135720885822567094386\ 878526957501575373458129*c_0101_6 + 172064081767430749107878871368094338595650497/407162657467701283160\ 635580872504726120374387, c_0101_5 - 35766260352897673548933890980708065718995/528096831994424491\ 777737458978605351647697*c_0101_6^25 - 74270682791516575927525870262972481248398/5280968319944244917777374\ 58978605351647697*c_0101_6^24 + 88974921200107992777984987132874123\ 6911057/528096831994424491777737458978605351647697*c_0101_6^23 + 603386872582977605026077128485745815562790/528096831994424491777737\ 458978605351647697*c_0101_6^22 - 5498443825453060425249216280775178\ 350157762/528096831994424491777737458978605351647697*c_0101_6^21 + 4809495040455612250090688382963663585162432/52809683199442449177773\ 7458978605351647697*c_0101_6^20 - 193021119205812183810789202951381\ 03213392683/528096831994424491777737458978605351647697*c_0101_6^19 + 11582290540038566366201613467277865638239507/5280968319944244917777\ 37458978605351647697*c_0101_6^18 + 108201880814752703643959040545629457510607402/528096831994424491777\ 737458978605351647697*c_0101_6^17 - 2148143430119112642787833843619691702380026/17035381677239499734765\ 724483180817795087*c_0101_6^16 - 1949576726564377142499175876766670\ 63934362847/528096831994424491777737458978605351647697*c_0101_6^15 + 64033858387237389851051064604586568882465653/5280968319944244917777\ 37458978605351647697*c_0101_6^14 + 218595386533351770298406739178744826742165764/528096831994424491777\ 737458978605351647697*c_0101_6^13 + 34229084579357728224286955220782548255143600/5280968319944244917777\ 37458978605351647697*c_0101_6^12 - 156572035759948557388500008957736874085114921/528096831994424491777\ 737458978605351647697*c_0101_6^11 - 3216958513478127705101729370772989408532937/17035381677239499734765\ 724483180817795087*c_0101_6^10 + 3502694815718009860607619905801187\ 3637129076/528096831994424491777737458978605351647697*c_0101_6^9 + 57665997950892489318389311338964672824882813/5280968319944244917777\ 37458978605351647697*c_0101_6^8 + 811446728112231136580163600519290\ 4626639078/528096831994424491777737458978605351647697*c_0101_6^7 - 19373333201486150446827247509428824434962382/5280968319944244917777\ 37458978605351647697*c_0101_6^6 - 155857381632645210226172521688336\ 9228437806/528096831994424491777737458978605351647697*c_0101_6^5 + 10858584381942990988991080560716455557049567/5280968319944244917777\ 37458978605351647697*c_0101_6^4 + 473733060317304326586419645539830\ 3225472853/528096831994424491777737458978605351647697*c_0101_6^3 + 363009312127334495078200551681949426060763/528096831994424491777737\ 458978605351647697*c_0101_6^2 + 40297083231296505194257942259574723\ 1980528/528096831994424491777737458978605351647697*c_0101_6 - 475393993904000681426233614244352664322018/528096831994424491777737\ 458978605351647697, c_0101_6^26 + 2*c_0101_6^25 - 25*c_0101_6^24 - 15*c_0101_6^23 + 154*c_0101_6^22 - 144*c_0101_6^21 + 555*c_0101_6^20 - 387*c_0101_6^19 - 2953*c_0101_6^18 + 2004*c_0101_6^17 + 5296*c_0101_6^16 - 1872*c_0101_6^15 - 6217*c_0101_6^14 - 857*c_0101_6^13 + 4710*c_0101_6^12 + 2794*c_0101_6^11 - 1258*c_0101_6^10 - 1828*c_0101_6^9 - 149*c_0101_6^8 + 661*c_0101_6^7 + 78*c_0101_6^6 - 351*c_0101_6^5 - 124*c_0101_6^4 + 26*c_0101_6^3 + 10*c_0101_6^2 + 5*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB