Magma V2.19-8 Tue Aug 20 2013 16:18:43 on localhost [Seed = 1680210199] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2884 geometric_solution 6.09594313 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 2031 0132 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 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.015340086659 0.789088076361 0 1 4 1 0132 2310 0132 3201 0 0 0 0 0 -1 0 1 0 0 0 0 -1 0 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 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.795801212209 1.011935822117 5 0 4 0 0132 0132 0213 1302 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 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.525727466341 0.608447155784 4 4 0 5 0321 0213 0132 2031 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 -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.563826997339 0.488594347387 3 2 3 1 0321 0213 0213 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.527946309168 0.424178907202 2 3 6 6 0132 1302 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.075467332534 0.559266692037 6 5 6 5 2031 2310 1302 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.987921821688 2.007586453899 ==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' : negation(d['1']), 's_3_0' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(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' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0101_5'], 'c_1100_3' : d['c_0101_5'], 'c_1100_2' : d['c_0101_0'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], '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' : negation(d['c_0011_4']), 'c_1001_4' : d['c_1001_2'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_5']), 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : negation(d['c_0101_5']), 'c_1010_1' : negation(d['c_0101_0']), 'c_1010_0' : d['c_1001_2']})} 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_0011_4, c_0011_6, c_0101_0, c_0101_5, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 29 Groebner basis: [ t + 18602296810292902596084608476284548469/3244791553839769662688482448\ 6837438592*c_1001_2^28 + 41113241381126959777717879308494773321/405\ 5989442299712078360603060854679824*c_1001_2^27 - 488512124651022788497929350886409632791/162239577691988483134424122\ 43418719296*c_1001_2^26 - 10744892410283442574608082256760352475697\ /32447915538397696626884824486837438592*c_1001_2^25 + 7638817481440749360735970855375841589057/81119788845994241567212061\ 21709359648*c_1001_2^24 + 81670647077334586580355232936310067323245\ /32447915538397696626884824486837438592*c_1001_2^23 - 67716651396111018310737877474040797390567/8111978884599424156721206\ 121709359648*c_1001_2^22 - 1338569499414419066430835244448022572855\ 11/16223957769198848313442412243418719296*c_1001_2^21 + 149536828890251817288726507014864822744509/405598944229971207836060\ 3060854679824*c_1001_2^20 + 352004246989836406296941807689284570522\ 589/32447915538397696626884824486837438592*c_1001_2^19 - 797376295414058603358049307496134786844391/811197888459942415672120\ 6121709359648*c_1001_2^18 + 299374362697620032983202647735883902121\ 005/32447915538397696626884824486837438592*c_1001_2^17 + 5581642127390903452550162112425226648557249/32447915538397696626884\ 824486837438592*c_1001_2^16 - 1002616736312958255796186376463037812\ 832889/16223957769198848313442412243418719296*c_1001_2^15 - 827853664924326468590676417535923275928763/405598944229971207836060\ 3060854679824*c_1001_2^14 + 191841885173094854659455676798529461656\ 7259/16223957769198848313442412243418719296*c_1001_2^13 + 1313753396064316119884235670956378602194779/81119788845994241567212\ 06121709359648*c_1001_2^12 - 10671294529445908706981459657862710414\ 45357/8111978884599424156721206121709359648*c_1001_2^11 - 2527143115739384716261331072428628347015671/32447915538397696626884\ 824486837438592*c_1001_2^10 + 1859838221988930924269739606820173080\ 51623/2027994721149856039180301530427339912*c_1001_2^9 + 439058476490042689213161280185280996681633/324479155383976966268848\ 24486837438592*c_1001_2^8 - 120796474861711039498138681458903495863\ 9585/32447915538397696626884824486837438592*c_1001_2^7 + 219205237429943833546514126317642332740907/324479155383976966268848\ 24486837438592*c_1001_2^6 + 982056139748033716636235602444045060341\ 03/16223957769198848313442412243418719296*c_1001_2^5 - 125524550978412567499934202680146136217201/324479155383976966268848\ 24486837438592*c_1001_2^4 + 245053248342662764545223255962160131682\ 85/32447915538397696626884824486837438592*c_1001_2^3 + 17207963691016284871978302199006818817923/3244791553839769662688482\ 4486837438592*c_1001_2^2 - 8160560212992352121533041008848697047623\ /32447915538397696626884824486837438592*c_1001_2 - 986594472588390598777192456104381573585/324479155383976966268848244\ 86837438592, c_0011_0 - 1, c_0011_3 + 51454782506046004061677201034480427/253499340143732004897537\ 691303417489*c_1001_2^28 + 595628193432673239899800021754507274/253\ 499340143732004897537691303417489*c_1001_2^27 - 6654779564034870278730289643619378057/25349934014373200489753769130\ 3417489*c_1001_2^26 + 6112410810702835829483849030946044436/2534993\ 40143732004897537691303417489*c_1001_2^25 + 73211279032700575656109390704193524874/2534993401437320048975376913\ 03417489*c_1001_2^24 - 134841155558926632890969986173747720103/2534\ 99340143732004897537691303417489*c_1001_2^23 - 354030322819878675935810169317795063190/253499340143732004897537691\ 303417489*c_1001_2^22 + 887079822894762462499559760322267937092/253\ 499340143732004897537691303417489*c_1001_2^21 + 925234911130098458054978839992560656691/253499340143732004897537691\ 303417489*c_1001_2^20 - 3223501288761678489109349389836264122487/25\ 3499340143732004897537691303417489*c_1001_2^19 - 1245535768156105292926884513508616167679/25349934014373200489753769\ 1303417489*c_1001_2^18 + 7567429984845901836183280515453328941651/2\ 53499340143732004897537691303417489*c_1001_2^17 + 142084810014150844282041241987525561436/253499340143732004897537691\ 303417489*c_1001_2^16 - 12271258642267432642387025983427458147669/2\ 53499340143732004897537691303417489*c_1001_2^15 + 2777703721293364443571423434325451273443/25349934014373200489753769\ 1303417489*c_1001_2^14 + 14135609134305508596272651472492696260604/\ 253499340143732004897537691303417489*c_1001_2^13 - 5852121607495243618800476690490711219857/25349934014373200489753769\ 1303417489*c_1001_2^12 - 11559406179932580044484361518409130185172/\ 253499340143732004897537691303417489*c_1001_2^11 + 6687568078478003202605644386384913549718/25349934014373200489753769\ 1303417489*c_1001_2^10 + 6487106572640346481717282871369701972465/2\ 53499340143732004897537691303417489*c_1001_2^9 - 4852427288055527871559713536477397271454/25349934014373200489753769\ 1303417489*c_1001_2^8 - 2283411878632310503707353023121457164177/25\ 3499340143732004897537691303417489*c_1001_2^7 + 2212251794180791405789872599946964913805/25349934014373200489753769\ 1303417489*c_1001_2^6 + 400401998426042806736496552691099307373/253\ 499340143732004897537691303417489*c_1001_2^5 - 566741978849692071705108067254597472996/253499340143732004897537691\ 303417489*c_1001_2^4 - 11553746471130347437885864219950245589/25349\ 9340143732004897537691303417489*c_1001_2^3 + 60715731095061514750834562885498802211/2534993401437320048975376913\ 03417489*c_1001_2^2 - 797494500542563271665529006015714228/25349934\ 0143732004897537691303417489*c_1001_2 - 535768936711299759099203778253159982/253499340143732004897537691303\ 417489, c_0011_4 + 282269596567567754201666086949742493/25349934014373200489753\ 7691303417489*c_1001_2^28 + 3618049972872334800559981929312171982/2\ 53499340143732004897537691303417489*c_1001_2^27 - 31645283815865126202083069586226181504/2534993401437320048975376913\ 03417489*c_1001_2^26 - 966499543289459084714694704023669254/2534993\ 40143732004897537691303417489*c_1001_2^25 + 360555795130567676878480397916769453971/253499340143732004897537691\ 303417489*c_1001_2^24 - 299873765076457482280047258524836746753/253\ 499340143732004897537691303417489*c_1001_2^23 - 1874636102405588209270690886821469087564/25349934014373200489753769\ 1303417489*c_1001_2^22 + 2272899040286204268998736228402144530604/2\ 53499340143732004897537691303417489*c_1001_2^21 + 5659881199893404028453883460390059445550/25349934014373200489753769\ 1303417489*c_1001_2^20 - 8643332490077103561191134655459369642790/2\ 53499340143732004897537691303417489*c_1001_2^19 - 10821951566843925392211353430695972586700/2534993401437320048975376\ 91303417489*c_1001_2^18 + 20755163474116685760083439445213968056360\ /253499340143732004897537691303417489*c_1001_2^17 + 13187853450767355130265226857961236568639/2534993401437320048975376\ 91303417489*c_1001_2^16 - 34211178306929876073160532938560595239057\ /253499340143732004897537691303417489*c_1001_2^15 - 8994368223939986823658093675192241789965/25349934014373200489753769\ 1303417489*c_1001_2^14 + 40056707557835042256531405260297972039307/\ 253499340143732004897537691303417489*c_1001_2^13 + 321675062692176638428282168899214745870/253499340143732004897537691\ 303417489*c_1001_2^12 - 33437548077937647224037829284217845865799/2\ 53499340143732004897537691303417489*c_1001_2^11 + 6162693763157252151902707602017003461505/25349934014373200489753769\ 1303417489*c_1001_2^10 + 19356036248828635638811077126033077566927/\ 253499340143732004897537691303417489*c_1001_2^9 - 6636991728417724959198367563540015236248/25349934014373200489753769\ 1303417489*c_1001_2^8 - 7209517112469777400985881691058998939422/25\ 3499340143732004897537691303417489*c_1001_2^7 + 3515800937246311318551827158744032888615/25349934014373200489753769\ 1303417489*c_1001_2^6 + 1450760760476535340485148210399843417856/25\ 3499340143732004897537691303417489*c_1001_2^5 - 942077354239205327049493773547655151440/253499340143732004897537691\ 303417489*c_1001_2^4 - 90381641959605660076370583164403050708/25349\ 9340143732004897537691303417489*c_1001_2^3 + 93976468668860131664772361609275053545/2534993401437320048975376913\ 03417489*c_1001_2^2 - 4008312441404231905603807804246886122/2534993\ 40143732004897537691303417489*c_1001_2 - 331583885727707745141135341783255744/253499340143732004897537691303\ 417489, c_0011_6 - 577820550805964435159675932231118601/25349934014373200489753\ 7691303417489*c_1001_2^28 - 7410461441261818369545480804062422139/2\ 53499340143732004897537691303417489*c_1001_2^27 + 64689922703775614997711139724294164466/2534993401437320048975376913\ 03417489*c_1001_2^26 + 2034952807984880621095334722854433089/253499\ 340143732004897537691303417489*c_1001_2^25 - 733152550598466803963458590311493360927/253499340143732004897537691\ 303417489*c_1001_2^24 + 600970176061279456062682610693069255240/253\ 499340143732004897537691303417489*c_1001_2^23 + 3800996111137486567856722091174386005067/25349934014373200489753769\ 1303417489*c_1001_2^22 - 4516708404176103022901744227834480065466/2\ 53499340143732004897537691303417489*c_1001_2^21 - 11489559227818237389581045634730166088394/2534993401437320048975376\ 91303417489*c_1001_2^20 + 17055048365220903953043044168498422642507\ /253499340143732004897537691303417489*c_1001_2^19 + 22150948060234707865165029211191094681879/2534993401437320048975376\ 91303417489*c_1001_2^18 - 40743642616878659149309231114480784882704\ /253499340143732004897537691303417489*c_1001_2^17 - 27637789015150613032708207765499500421479/2534993401437320048975376\ 91303417489*c_1001_2^16 + 66958956217132224785340554965063015162817\ /253499340143732004897537691303417489*c_1001_2^15 + 20338563322955660434608472848181391930334/2534993401437320048975376\ 91303417489*c_1001_2^14 - 78364440620514703049188362942961073053968\ /253499340143732004897537691303417489*c_1001_2^13 - 3789754841659575919509453371011843346078/25349934014373200489753769\ 1303417489*c_1001_2^12 + 65607802223187174434676922993000910758103/\ 253499340143732004897537691303417489*c_1001_2^11 - 9344048436285359105337943452768019267391/25349934014373200489753769\ 1303417489*c_1001_2^10 - 38311328704024579584345523183128743624165/\ 253499340143732004897537691303417489*c_1001_2^9 + 11338199175908954537662129866210828273679/2534993401437320048975376\ 91303417489*c_1001_2^8 + 14582097659213311556786978110754595091027/\ 253499340143732004897537691303417489*c_1001_2^7 - 6237343447934013168774851996029939506016/25349934014373200489753769\ 1303417489*c_1001_2^6 - 3120153613013481278957822274181690042743/25\ 3499340143732004897537691303417489*c_1001_2^5 + 1715172181577058045072665635550602262501/25349934014373200489753769\ 1303417489*c_1001_2^4 + 260787720103367336124721929831623111244/253\ 499340143732004897537691303417489*c_1001_2^3 - 178016769477002690189769836326270747313/253499340143732004897537691\ 303417489*c_1001_2^2 - 1562318392115067782162289824955470541/253499\ 340143732004897537691303417489*c_1001_2 + 856997093844855929118597261196075897/253499340143732004897537691303\ 417489, c_0101_0 + 228822885366781346252910935973401441/25349934014373200489753\ 7691303417489*c_1001_2^28 + 2876372859743561171953414046491514237/2\ 53499340143732004897537691303417489*c_1001_2^27 - 26387400160915134284453630585573987016/2534993401437320048975376913\ 03417489*c_1001_2^26 + 5426540238470806008490126348033388208/253499\ 340143732004897537691303417489*c_1001_2^25 + 293073869252016545075497728890725939796/253499340143732004897537691\ 303417489*c_1001_2^24 - 311760888838147444370818947192593049349/253\ 499340143732004897537691303417489*c_1001_2^23 - 1473726459930371645646792349161582301892/25349934014373200489753769\ 1303417489*c_1001_2^22 + 2194192132156894080246506737794237997114/2\ 53499340143732004897537691303417489*c_1001_2^21 + 4248960291212914176643231005569889521637/25349934014373200489753769\ 1303417489*c_1001_2^20 - 8079408929790188135957980778413917064527/2\ 53499340143732004897537691303417489*c_1001_2^19 - 7537984403441892486278523967194548084165/25349934014373200489753769\ 1303417489*c_1001_2^18 + 18991059482201370431802473261370890173012/\ 253499340143732004897537691303417489*c_1001_2^17 + 7839285302382735234390759184221013545312/25349934014373200489753769\ 1303417489*c_1001_2^16 - 30769872070321118084191844664989507999039/\ 253499340143732004897537691303417489*c_1001_2^15 - 2726355163280304683041184124806448479577/25349934014373200489753769\ 1303417489*c_1001_2^14 + 35461831477979953994298900186787291193079/\ 253499340143732004897537691303417489*c_1001_2^13 - 4996402195813840745108662276044844257265/25349934014373200489753769\ 1303417489*c_1001_2^12 - 29114803137547735438612609551495538873171/\ 253499340143732004897537691303417489*c_1001_2^11 + 9383180615509544398072984549555162678728/25349934014373200489753769\ 1303417489*c_1001_2^10 + 16515140118165332086365482775366551455850/\ 253499340143732004897537691303417489*c_1001_2^9 - 7983577840114561148958194250619551776155/25349934014373200489753769\ 1303417489*c_1001_2^8 - 5965007868855738678757768081880067841837/25\ 3499340143732004897537691303417489*c_1001_2^7 + 3892608175692054927214851728852318555304/25349934014373200489753769\ 1303417489*c_1001_2^6 + 1122288942668108536245802074095795966556/25\ 3499340143732004897537691303417489*c_1001_2^5 - 1016049615964665226231327457636120421261/25349934014373200489753769\ 1303417489*c_1001_2^4 - 47940090944874535690492230405855162059/2534\ 99340143732004897537691303417489*c_1001_2^3 + 104158266199073309354766798436275574504/253499340143732004897537691\ 303417489*c_1001_2^2 - 4901303218703377762600849002221577258/253499\ 340143732004897537691303417489*c_1001_2 - 369446444565814550501072076054496996/253499340143732004897537691303\ 417489, c_0101_5 - 98324650024596329334428121162704496/253499340143732004897537\ 691303417489*c_1001_2^28 - 1216882770569186196633427628499828506/25\ 3499340143732004897537691303417489*c_1001_2^27 + 11604758143373902357318721619315227115/2534993401437320048975376913\ 03417489*c_1001_2^26 - 4167058839432423707033576938722532063/253499\ 340143732004897537691303417489*c_1001_2^25 - 128016111888622023329731465605951692226/253499340143732004897537691\ 303417489*c_1001_2^24 + 155263660995744758327680604033062556587/253\ 499340143732004897537691303417489*c_1001_2^23 + 638654157433514488419218195047055001196/253499340143732004897537691\ 303417489*c_1001_2^22 - 1058357711984212368346785243397183500917/25\ 3499340143732004897537691303417489*c_1001_2^21 - 1822704775206285785364637056093201463264/25349934014373200489753769\ 1303417489*c_1001_2^20 + 3848013549523780521920071295905934218554/2\ 53499340143732004897537691303417489*c_1001_2^19 + 3175508114305544122840028099697302775415/25349934014373200489753769\ 1303417489*c_1001_2^18 - 8986061458636697155585781937903194411418/2\ 53499340143732004897537691303417489*c_1001_2^17 - 3151636275206709935504253425807874274662/25349934014373200489753769\ 1303417489*c_1001_2^16 + 14512703374482268380960619969557669282481/\ 253499340143732004897537691303417489*c_1001_2^15 + 737958623570884700419665652823622521329/253499340143732004897537691\ 303417489*c_1001_2^14 - 16716252738529647737490254594730519262403/2\ 53499340143732004897537691303417489*c_1001_2^13 + 2735511922425293709022569448514154502501/25349934014373200489753769\ 1303417489*c_1001_2^12 + 13758045360837036957082388734430624829207/\ 253499340143732004897537691303417489*c_1001_2^11 - 4597203400200748825659344732219332498015/25349934014373200489753769\ 1303417489*c_1001_2^10 - 7862072887984800254097898543617675610984/2\ 53499340143732004897537691303417489*c_1001_2^9 + 3813051668637561809321622034135322534975/25349934014373200489753769\ 1303417489*c_1001_2^8 + 2893567458180687569474642582392447863898/25\ 3499340143732004897537691303417489*c_1001_2^7 - 1847145640736612994078223142031034533301/25349934014373200489753769\ 1303417489*c_1001_2^6 - 576938498945811822771991371503163055982/253\ 499340143732004897537691303417489*c_1001_2^5 + 484759586188992438386284428540223392589/253499340143732004897537691\ 303417489*c_1001_2^4 + 37341983671973156248916805132042353732/25349\ 9340143732004897537691303417489*c_1001_2^3 - 50412380951915915008285498505598447969/2534993401437320048975376913\ 03417489*c_1001_2^2 + 545845096901310834510571667839108768/25349934\ 0143732004897537691303417489*c_1001_2 - 24676454776950658644626755330016048/2534993401437320048975376913034\ 17489, c_1001_2^29 + 13*c_1001_2^28 - 110*c_1001_2^27 - 27*c_1001_2^26 + 1299*c_1001_2^25 - 803*c_1001_2^24 - 7119*c_1001_2^23 + 6798*c_1001_2^22 + 23194*c_1001_2^21 - 27343*c_1001_2^20 - 49759*c_1001_2^19 + 69117*c_1001_2^18 + 73530*c_1001_2^17 - 120697*c_1001_2^16 - 75338*c_1001_2^15 + 151750*c_1001_2^14 + 51218*c_1001_2^13 - 139192*c_1001_2^12 - 19119*c_1001_2^11 + 92265*c_1001_2^10 - 531*c_1001_2^9 - 42732*c_1001_2^8 + 4366*c_1001_2^7 + 12977*c_1001_2^6 - 1919*c_1001_2^5 - 2328*c_1001_2^4 + 292*c_1001_2^3 + 200*c_1001_2^2 - 4*c_1001_2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB