Magma V2.19-8 Tue Aug 20 2013 16:17:32 on localhost [Seed = 2227509336] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1768 geometric_solution 5.45130069 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1302 2031 0132 0132 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 0 0 0 0.540788054176 0.826169477213 3 4 2 0 0132 0132 1230 0132 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 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.933032451611 0.961871417299 4 3 0 1 2310 3201 0132 3012 0 0 0 0 0 -1 1 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 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 0 0 0.933032451611 0.961871417299 1 5 2 5 0132 0132 2310 2310 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 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.951322617576 0.570104564995 4 1 2 4 3012 0132 3201 1230 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 -1 0 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.486914066153 0.809155836206 3 3 6 6 3201 0132 3201 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 -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.453298859041 0.211844430741 5 6 5 6 2310 2310 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 -1.380067589766 0.306566973659 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : negation(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' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0101_4']), 'c_1100_0' : negation(d['c_0101_4']), 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0101_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0101_2'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0011_1']), 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_1, c_0011_6, c_0101_1, c_0101_2, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 32314473180217867070639591002433317559335071989/9892866712240472790\ 551405351288025910582978699*c_0101_6^25 - 616255766480170093034283095660315363170130171691/989286671224047279\ 0551405351288025910582978699*c_0101_6^24 + 4564219477800290243664400417094299713167946187170/98928667122404727\ 90551405351288025910582978699*c_0101_6^23 - 14576561605966076778078889377650271626247645715789/9892866712240472\ 790551405351288025910582978699*c_0101_6^22 - 5116822719472062941662992310398404385125360591255/98928667122404727\ 90551405351288025910582978699*c_0101_6^21 + 230559898329389964777944793524260073886317310098955/989286671224047\ 2790551405351288025910582978699*c_0101_6^20 - 982119128363930692051138335692981971078242289842649/989286671224047\ 2790551405351288025910582978699*c_0101_6^19 + 2218779223128348754036424805752688364417165702077193/98928667122404\ 72790551405351288025910582978699*c_0101_6^18 - 2655708582525234260750291527296704625531364974710257/98928667122404\ 72790551405351288025910582978699*c_0101_6^17 + 195994738226365717059626301665261188051953532004580/989286671224047\ 2790551405351288025910582978699*c_0101_6^16 + 4997508604662150034654610131258320645553914111059956/98928667122404\ 72790551405351288025910582978699*c_0101_6^15 - 8230261216781902892482348715302575526525051392302691/98928667122404\ 72790551405351288025910582978699*c_0101_6^14 + 4604863733228514741502818169643958167135943662225712/98928667122404\ 72790551405351288025910582978699*c_0101_6^13 + 3341462659541308175625018603223068196311627083079214/98928667122404\ 72790551405351288025910582978699*c_0101_6^12 - 7145677920251717200111041633962262348997610203325912/98928667122404\ 72790551405351288025910582978699*c_0101_6^11 + 3624620306452323391463842719855874073715138405976686/98928667122404\ 72790551405351288025910582978699*c_0101_6^10 + 1362295411116294994838093146028339747223876242328639/98928667122404\ 72790551405351288025910582978699*c_0101_6^9 - 2381486057785272845451284086604393991638262725457201/98928667122404\ 72790551405351288025910582978699*c_0101_6^8 + 709613776474800069445211027211424022662245534365151/989286671224047\ 2790551405351288025910582978699*c_0101_6^7 + 411340002866003318780120942851661798456893083576950/989286671224047\ 2790551405351288025910582978699*c_0101_6^6 - 389861228686634314078515212652989566633026657635963/989286671224047\ 2790551405351288025910582978699*c_0101_6^5 + 90130708275240956183927732919505612307740220016597/9892866712240472\ 790551405351288025910582978699*c_0101_6^4 + 37216095015588983462067478722978321731221109720075/9892866712240472\ 790551405351288025910582978699*c_0101_6^3 - 31961477928380564866054566052987910668609175045334/9892866712240472\ 790551405351288025910582978699*c_0101_6^2 + 9347784315191706795200695845281188458483324859484/98928667122404727\ 90551405351288025910582978699*c_0101_6 - 1256859758330489687479422391511666633161645700083/98928667122404727\ 90551405351288025910582978699, c_0011_0 - 1, c_0011_1 + 4370100862896306240743187570286504938322433/5206771953810775\ 15292179229015159258451735721*c_0101_6^25 - 84634808363225376314231061251219022328482808/5206771953810775152921\ 79229015159258451735721*c_0101_6^24 + 616682105258932147114847292748601121754021587/520677195381077515292\ 179229015159258451735721*c_0101_6^23 - 1709202110663866568224548061536952174415245214/52067719538107751529\ 2179229015159258451735721*c_0101_6^22 - 3016848011305545457766715313296375264248637038/52067719538107751529\ 2179229015159258451735721*c_0101_6^21 + 38343328980652720600412548396594295498629807655/5206771953810775152\ 92179229015159258451735721*c_0101_6^20 - 126594965969357261659247864987622436893592406419/520677195381077515\ 292179229015159258451735721*c_0101_6^19 + 178472483862832297278674078498627608379109924731/520677195381077515\ 292179229015159258451735721*c_0101_6^18 + 78426279756756267312177657786835204697507876152/5206771953810775152\ 92179229015159258451735721*c_0101_6^17 - 761611258052344706390686898480851854794088078426/520677195381077515\ 292179229015159258451735721*c_0101_6^16 + 1200636174971754677217086594424717490423856593161/52067719538107751\ 5292179229015159258451735721*c_0101_6^15 - 279523719351597444135820863013680412002979469680/520677195381077515\ 292179229015159258451735721*c_0101_6^14 - 1700522877544719764179542030481337811487542702358/52067719538107751\ 5292179229015159258451735721*c_0101_6^13 + 2380050009503319948668949014274249371728540957184/52067719538107751\ 5292179229015159258451735721*c_0101_6^12 - 420609090555953053703591914482243324639555840267/520677195381077515\ 292179229015159258451735721*c_0101_6^11 - 1828371169306573742950849936208873317195093989238/52067719538107751\ 5292179229015159258451735721*c_0101_6^10 + 1565837507653029274099407380392537979530604758904/52067719538107751\ 5292179229015159258451735721*c_0101_6^9 + 173070892274506410865498028399704085159554119599/520677195381077515\ 292179229015159258451735721*c_0101_6^8 - 794412213074579228748875876113653887417331335501/520677195381077515\ 292179229015159258451735721*c_0101_6^7 + 249878133503723617898915974023306181247551807694/520677195381077515\ 292179229015159258451735721*c_0101_6^6 + 141238167944348684353057727405232043278609307777/520677195381077515\ 292179229015159258451735721*c_0101_6^5 - 115179387889450239567546579373319049217999957679/520677195381077515\ 292179229015159258451735721*c_0101_6^4 + 15645862916246600313961391473788186648027211291/5206771953810775152\ 92179229015159258451735721*c_0101_6^3 + 15332939524841660971199436550856953403356590844/5206771953810775152\ 92179229015159258451735721*c_0101_6^2 - 6793222432980859122150744016785743373355302774/52067719538107751529\ 2179229015159258451735721*c_0101_6 + 731586406527374688665421531761725638438578652/520677195381077515292\ 179229015159258451735721, c_0011_6 + 227826814258393819962668391803808494775314064/52067719538107\ 7515292179229015159258451735721*c_0101_6^25 - 4208624152174316827812080110143795497833702180/52067719538107751529\ 2179229015159258451735721*c_0101_6^24 + 29658875095534497558922689174696574660013629682/5206771953810775152\ 92179229015159258451735721*c_0101_6^23 - 84955806061877713485592310681673614005393912089/5206771953810775152\ 92179229015159258451735721*c_0101_6^22 - 87446917333842417795220721384631667357660796770/5206771953810775152\ 92179229015159258451735721*c_0101_6^21 + 1574960709489308687940874341378663591435008708124/52067719538107751\ 5292179229015159258451735721*c_0101_6^20 - 5981620747662448333232231562678694354149543724054/52067719538107751\ 5292179229015159258451735721*c_0101_6^19 + 12038562714091792517551626826448554128378652155946/5206771953810775\ 15292179229015159258451735721*c_0101_6^18 - 11407873226569291152353549650104573687072864943505/5206771953810775\ 15292179229015159258451735721*c_0101_6^17 - 5711103627149604714208281372740617672105472571656/52067719538107751\ 5292179229015159258451735721*c_0101_6^16 + 32169910569370055135933068101993639821879160789164/5206771953810775\ 15292179229015159258451735721*c_0101_6^15 - 38872962437428625528384895271750264712623998839113/5206771953810775\ 15292179229015159258451735721*c_0101_6^14 + 8619335366273259462446521066247284752857253725871/52067719538107751\ 5292179229015159258451735721*c_0101_6^13 + 29884792757867042841945826978763571032161121227559/5206771953810775\ 15292179229015159258451735721*c_0101_6^12 - 33324847217376954517940042094788192556862706637762/5206771953810775\ 15292179229015159258451735721*c_0101_6^11 + 5203782924288406647322142311138022053910224712749/52067719538107751\ 5292179229015159258451735721*c_0101_6^10 + 13986085554125306999364219363048837985064646906970/5206771953810775\ 15292179229015159258451735721*c_0101_6^9 - 9176247550247636011751438266508191067631398610055/52067719538107751\ 5292179229015159258451735721*c_0101_6^8 - 813019134067094523640676747391572792310370236455/520677195381077515\ 292179229015159258451735721*c_0101_6^7 + 3009281217894474744126335449384081785135183968382/52067719538107751\ 5292179229015159258451735721*c_0101_6^6 - 1072474799105614209707324191374036196091601096895/52067719538107751\ 5292179229015159258451735721*c_0101_6^5 - 163492489882522822321829839334199804276647239423/520677195381077515\ 292179229015159258451735721*c_0101_6^4 + 251348717115272279302092443904925083535692754263/520677195381077515\ 292179229015159258451735721*c_0101_6^3 - 74046299747945199476856995005682744364483836248/5206771953810775152\ 92179229015159258451735721*c_0101_6^2 + 6382266575776984059550960158256907885377064198/52067719538107751529\ 2179229015159258451735721*c_0101_6 + 360470467071437469275716025127308267346690246/520677195381077515292\ 179229015159258451735721, c_0101_1 - 4314224639507151884390294188529592/2106431299345191243606694\ 9023850027*c_0101_6^25 + 79013108320205284074525464153957451/210643\ 12993451912436066949023850027*c_0101_6^24 - 549728139590780215931102828259379021/210643129934519124360669490238\ 50027*c_0101_6^23 + 1532535761601604435801451145436828612/210643129\ 93451912436066949023850027*c_0101_6^22 + 1826474180416039801890701169307491595/21064312993451912436066949023\ 850027*c_0101_6^21 - 29354278806703880298527486881393949865/2106431\ 2993451912436066949023850027*c_0101_6^20 + 108968819845121536960662449091424295832/210643129934519124360669490\ 23850027*c_0101_6^19 - 214684717834197659505030854389962069969/2106\ 4312993451912436066949023850027*c_0101_6^18 + 195447904083307579920880703064050631354/210643129934519124360669490\ 23850027*c_0101_6^17 + 115483347054790186680518796503430288244/2106\ 4312993451912436066949023850027*c_0101_6^16 - 575329177966415702236387151073266790497/210643129934519124360669490\ 23850027*c_0101_6^15 + 669965422405617375474635536857937288976/2106\ 4312993451912436066949023850027*c_0101_6^14 - 127304415272421188875322365112086749041/210643129934519124360669490\ 23850027*c_0101_6^13 - 526022203920997177469907551032830782784/2106\ 4312993451912436066949023850027*c_0101_6^12 + 561907047163816690688741997170097122096/210643129934519124360669490\ 23850027*c_0101_6^11 - 80623195139326712797016644226752332214/21064\ 312993451912436066949023850027*c_0101_6^10 - 232034223941701658909339012248580826619/210643129934519124360669490\ 23850027*c_0101_6^9 + 150694518558719090997351090557112459081/21064\ 312993451912436066949023850027*c_0101_6^8 + 10202336980421941157000134028779712663/2106431299345191243606694902\ 3850027*c_0101_6^7 - 48216679548535457284731258832308908723/2106431\ 2993451912436066949023850027*c_0101_6^6 + 19112094696906540860106254535429924975/2106431299345191243606694902\ 3850027*c_0101_6^5 + 1817273650609894681129181246338404187/21064312\ 993451912436066949023850027*c_0101_6^4 - 4136071304868896066170808774067764134/21064312993451912436066949023\ 850027*c_0101_6^3 + 1439462810996838063371518220798902630/210643129\ 93451912436066949023850027*c_0101_6^2 - 193376838900200325662841121780514290/210643129934519124360669490238\ 50027*c_0101_6 - 14681376701479825162987728492673797/21064312993451\ 912436066949023850027, c_0101_2 + 391208129353722396242433743584839582143388804/52067719538107\ 7515292179229015159258451735721*c_0101_6^25 - 7249543856836712939286115250294826413805889885/52067719538107751529\ 2179229015159258451735721*c_0101_6^24 + 51357828304598161063278244013585281255124415971/5206771953810775152\ 92179229015159258451735721*c_0101_6^23 - 149007348720549744759283828708936977480081689060/520677195381077515\ 292179229015159258451735721*c_0101_6^22 - 140535611017705056207410279882297454278969420665/520677195381077515\ 292179229015159258451735721*c_0101_6^21 + 2710015943661409482913789748298682603789451502602/52067719538107751\ 5292179229015159258451735721*c_0101_6^20 - 10432624780224455981927243522998739576843746647310/5206771953810775\ 15292179229015159258451735721*c_0101_6^19 + 21331035632785244522371854517379699512504044758854/5206771953810775\ 15292179229015159258451735721*c_0101_6^18 - 21016625685527053298141232032362874481938072132250/5206771953810775\ 15292179229015159258451735721*c_0101_6^17 - 8236748044695400775275227902316198706860719395172/52067719538107751\ 5292179229015159258451735721*c_0101_6^16 + 55458520505368606361279100004969185069462697909727/5206771953810775\ 15292179229015159258451735721*c_0101_6^15 - 70296938961342429066272196699911818995950981076270/5206771953810775\ 15292179229015159258451735721*c_0101_6^14 + 19931511592727505239535444884298213321251964173788/5206771953810775\ 15292179229015159258451735721*c_0101_6^13 + 49178842860778733970142311418900581321376978939085/5206771953810775\ 15292179229015159258451735721*c_0101_6^12 - 60216088585537244493959841096513565156526150302625/5206771953810775\ 15292179229015159258451735721*c_0101_6^11 + 13542971890958875069722779856982184985629194577811/5206771953810775\ 15292179229015159258451735721*c_0101_6^10 + 22432722030271291808590953536483571635707245074830/5206771953810775\ 15292179229015159258451735721*c_0101_6^9 - 17230849127831006222163224885222090145106140271228/5206771953810775\ 15292179229015159258451735721*c_0101_6^8 + 97478613775241301739257082536680594632763659572/5206771953810775152\ 92179229015159258451735721*c_0101_6^7 + 5008140029059754907059140734434223611441846530084/52067719538107751\ 5292179229015159258451735721*c_0101_6^6 - 2229974040948906977822495166023598914587051214510/52067719538107751\ 5292179229015159258451735721*c_0101_6^5 - 70424503133298390701031489937191137616262236920/5206771953810775152\ 92179229015159258451735721*c_0101_6^4 + 425093857246863050638062243172747021357267888000/520677195381077515\ 292179229015159258451735721*c_0101_6^3 - 165949336822881725164109366276699211003584267528/520677195381077515\ 292179229015159258451735721*c_0101_6^2 + 26737558874680647089585065821583263409457192440/5206771953810775152\ 92179229015159258451735721*c_0101_6 - 1222996891794163060507990814593897242281836465/52067719538107751529\ 2179229015159258451735721, c_0101_4 + 284806919682595274945039589952029330059206369/52067719538107\ 7515292179229015159258451735721*c_0101_6^25 - 5216660825419143550159871542992518133556726667/52067719538107751529\ 2179229015159258451735721*c_0101_6^24 + 36307230709069537250218061789091683778047918357/5206771953810775152\ 92179229015159258451735721*c_0101_6^23 - 101346088293107421479303908369629671101630342402/520677195381077515\ 292179229015159258451735721*c_0101_6^22 - 119787310713462695273165929684021508139121071346/520677195381077515\ 292179229015159258451735721*c_0101_6^21 + 1937174056792231986250581443498250779280861179103/52067719538107751\ 5292179229015159258451735721*c_0101_6^20 - 7202807270659542962835765758600421058913652295236/52067719538107751\ 5292179229015159258451735721*c_0101_6^19 + 14219921021565975938939764812680224234462339476978/5206771953810775\ 15292179229015159258451735721*c_0101_6^18 - 13013978660878147146331126699120695254265854698749/5206771953810775\ 15292179229015159258451735721*c_0101_6^17 - 7500764924303225940644237655836468843041006664484/52067719538107751\ 5292179229015159258451735721*c_0101_6^16 + 38008677203407670402679328551430680274557098323179/5206771953810775\ 15292179229015159258451735721*c_0101_6^15 - 44504128820554851531608502540004501152035543176765/5206771953810775\ 15292179229015159258451735721*c_0101_6^14 + 8724643035117692512753396102442652326219106505432/52067719538107751\ 5292179229015159258451735721*c_0101_6^13 + 34692881843941952481825966275355386808978904851687/5206771953810775\ 15292179229015159258451735721*c_0101_6^12 - 37315466706487897183292201950342039686269979994402/5206771953810775\ 15292179229015159258451735721*c_0101_6^11 + 5428582470692770989372478631856672907491373151244/52067719538107751\ 5292179229015159258451735721*c_0101_6^10 + 15394708164120036569376625055831032261026209160351/5206771953810775\ 15292179229015159258451735721*c_0101_6^9 - 9942562322478408720769521806377157449677525787612/52067719538107751\ 5292179229015159258451735721*c_0101_6^8 - 768974778736518014035671426789359217225891296238/520677195381077515\ 292179229015159258451735721*c_0101_6^7 + 3179902499763435498325262405870626357863114563308/52067719538107751\ 5292179229015159258451735721*c_0101_6^6 - 1209002038813808488546949959168484843255165465181/52067719538107751\ 5292179229015159258451735721*c_0101_6^5 - 122216356635155342869711234678443682575940720217/520677195381077515\ 292179229015159258451735721*c_0101_6^4 + 261768091120907819658221459727131309024838696796/520677195381077515\ 292179229015159258451735721*c_0101_6^3 - 89640948396836365403699219924434678643129022188/5206771953810775152\ 92179229015159258451735721*c_0101_6^2 + 12523375860068319472441069412032287102746872567/5206771953810775152\ 92179229015159258451735721*c_0101_6 - 569294477390239249515640326151029529797541874/520677195381077515292\ 179229015159258451735721, c_0101_6^26 - 19*c_0101_6^25 + 140*c_0101_6^24 - 443*c_0101_6^23 - 177*c_0101_6^22 + 7087*c_0101_6^21 - 29935*c_0101_6^20 + 67231*c_0101_6^19 - 79947*c_0101_6^18 + 5257*c_0101_6^17 + 150954*c_0101_6^16 - 247427*c_0101_6^15 + 138497*c_0101_6^14 + 99172*c_0101_6^13 - 213679*c_0101_6^12 + 110010*c_0101_6^11 + 39235*c_0101_6^10 - 71670*c_0101_6^9 + 22159*c_0101_6^8 + 12462*c_0101_6^7 - 12039*c_0101_6^6 + 2677*c_0101_6^5 + 1179*c_0101_6^4 - 966*c_0101_6^3 + 276*c_0101_6^2 - 35*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.240 seconds, Total memory usage: 32.09MB