Magma V2.19-8 Tue Aug 20 2013 16:17:19 on localhost [Seed = 997894124] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1549 geometric_solution 5.34009439 oriented_manifold CS_known 0.0000000000000007 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.486667603312 0.144026999353 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 0 0 0 0 0 0 0 0 -2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.624015101763 0.415107611132 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 0 0 0 0 0 -1 1 2 -1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.303877922494 1.469501964353 5 2 6 4 0132 0132 0132 3120 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 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.501680335331 0.486445423210 3 6 2 5 3120 0132 0132 1023 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 1 0 -1 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.501680335331 0.486445423210 3 5 5 4 0132 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.468353721133 0.861754247416 6 4 6 3 2031 0132 1302 0132 0 0 0 0 0 0 0 0 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 0 -1 1 1 0 0 -1 -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.644231503196 0.359128616547 ==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_4'], 'c_1100_5' : negation(d['c_0011_1']), '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_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(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' : negation(d['c_0101_5']), 'c_1001_4' : d['c_1001_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_1001_3'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : d['c_1001_3'], '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_3, c_0101_5, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 4739623829876277510313164145349213206387696321512470004690844718/30\ 87540742383002698706912745546349896098877744885577126917760905975*c\ _1001_3^19 - 790097695399048751434669134123017483094037438743023047\ 26384728563/3087540742383002698706912745546349896098877744885577126\ 917760905975*c_1001_3^18 - 2936691856409421569850334105462069895083\ 7681588321568678638658752/20583604949220017991379418303642332640659\ 1849659038475127850727065*c_1001_3^17 - 548798870844478495829930626911580306439013578249966720490926366527/\ 3087540742383002698706912745546349896098877744885577126917760905975\ *c_1001_3^16 + 4176377263092560605364706747815755074449336171680425\ 224818679364391/308754074238300269870691274554634989609887774488557\ 7126917760905975*c_1001_3^15 + 229269728249468593790741857312883167\ 58614363936759648670087736165356/3087540742383002698706912745546349\ 896098877744885577126917760905975*c_1001_3^14 + 3603658318965324731727061198460954001822282389990287879039799883316\ /237503134029461746054377903503565376622990595760429009762904685075\ *c_1001_3^13 - 1198334905788318524650228237911031820419919197700106\ 1830523652958847/61750814847660053974138254910926997921977554897711\ 5425383552181195*c_1001_3^12 - 801038847101133817504940948772643326\ 542166612064509838344940875298/457413443316000399808431517858718503\ 1257596659089743891730016157*c_1001_3^11 - 1105594957578684247161629985975721685966668638136594664365610458117\ 021/308754074238300269870691274554634989609887774488557712691776090\ 5975*c_1001_3^10 - 939168894162916254815300558216181982354995504013\ 77113002548891559574/2375031340294617460543779035035653766229905957\ 60429009762904685075*c_1001_3^9 + 797728322673475984795628823530800\ 833503427561349226562716856095959118/308754074238300269870691274554\ 6349896098877744885577126917760905975*c_1001_3^8 + 1507508440370666085170998339114183576477326911982388282479149883768\ 91/2058360494922001799137941830364233264065918496590384751278507270\ 65*c_1001_3^7 - 148346344089285680379176053893826819032712088493026\ 78764120136296963/2940514992745716855911345471948904662951312137986\ 2639303978675295*c_1001_3^6 - 3232317531144115015561311841177681896\ 728263608600499582507432175206103/308754074238300269870691274554634\ 9896098877744885577126917760905975*c_1001_3^5 + 2204003699776276961702096591981970442478329120856793633467081609424\ 1/61750814847660053974138254910926997921977554897711542538355218119\ 5*c_1001_3^4 + 3682520124148141187498923968984965562924260203390161\ 21598466455282063/3430600824870002998563236383940388773443197494317\ 30791879751211775*c_1001_3^3 - 610086326590717079406087507092442960\ 71452191831199952322551730184708/4410772489118575283867018207923356\ 99442696820697939589559680129425*c_1001_3^2 - 3052847296713181364527676950122165274794148267449261348940881189242\ 93/6175081484766005397413825491092699792197755489771154253835521811\ 95*c_1001_3 + 43419391266298968081219763304604916923699625665038781\ 793279353190328/147025749637285842795567273597445233147565606899313\ 196519893376475, c_0011_0 - 1, c_0011_1 - 1026572799350854140162770788663851764874826291866017856925/2\ 1542234379089500775907292834790510351291664014551384105478883*c_100\ 1_3^19 - 1167576905827515529590223345096257773756453130789850783513\ 1/21542234379089500775907292834790510351291664014551384105478883*c_\ 1001_3^18 - 1178520222120373257121455605124759617720750318660251244\ 9957/7180744793029833591969097611596836783763888004850461368492961*\ c_1001_3^17 + 47205030610505232332388383827539488966571235279163449\ 261120/215422343790895007759072928347905103512916640145513841054788\ 83*c_1001_3^16 + 58282293797395276791152693964994158724234503150253\ 6536470762/21542234379089500775907292834790510351291664014551384105\ 478883*c_1001_3^15 + 1926868275009114436567248541037068240648934530\ 546719415738693/215422343790895007759072928347905103512916640145513\ 84105478883*c_1001_3^14 + 97447815371164403972244942624244969144752\ 1597530217669847471/21542234379089500775907292834790510351291664014\ 551384105478883*c_1001_3^13 - 1431418476552598387712966598552734201\ 2462072714103360356952302/21542234379089500775907292834790510351291\ 664014551384105478883*c_1001_3^12 - 4196501666939874751957439434689087007073913223701547601906834/23935\ 81597676611197323032537198945594587962668283487122830987*c_1001_3^1\ 1 - 62428895669967031340733714033570252724175653193279329061911814/\ 21542234379089500775907292834790510351291664014551384105478883*c_10\ 01_3^10 - 942656776187962846136941428210119469778071322829240959993\ 1785/21542234379089500775907292834790510351291664014551384105478883\ *c_1001_3^9 + 79576581499807259899241162836493889033376204380013449\ 600586228/215422343790895007759072928347905103512916640145513841054\ 78883*c_1001_3^8 - 822790368329737051137242966673064279779642868584\ 6702120829412/71807447930298335919690976115968367837638880048504613\ 68492961*c_1001_3^7 - 622013795546906493447138415984007706383683537\ 0175096577107446/10258206847185476559955853730852623976805554292643\ 51624070423*c_1001_3^6 - 615583335872670986089412674312143388471660\ 36631805170087793973/2154223437908950077590729283479051035129166401\ 4551384105478883*c_1001_3^5 + 9899994446361070297939757815904381076\ 1154781827507619540096835/21542234379089500775907292834790510351291\ 664014551384105478883*c_1001_3^4 + 1344320669357569875138774035656809363293514201533319554433668/23935\ 81597676611197323032537198945594587962668283487122830987*c_1001_3^3 - 8562196653620587675333326601729699846016807116453670497138040/307\ 7462054155642967986756119255787193041666287793054872211269*c_1001_3\ ^2 + 9988498964864648100433725462929407044578762689242994512938809/\ 21542234379089500775907292834790510351291664014551384105478883*c_10\ 01_3 + 580681687682834310734912243737120547511921200894246232018328\ /1025820684718547655995585373085262397680555429264351624070423, c_0011_4 - 873444120670943046145517139921562522205846562422200064249/21\ 542234379089500775907292834790510351291664014551384105478883*c_1001\ _3^19 - 9543496549828643651392161301474581348794758221396243226756/\ 21542234379089500775907292834790510351291664014551384105478883*c_10\ 01_3^18 - 848132565801188074812035040411312828909397296099128918267\ 2/7180744793029833591969097611596836783763888004850461368492961*c_1\ 001_3^17 + 55885834176195472258744819027188788979501365416610904629\ 822/21542234379089500775907292834790510351291664014551384105478883*\ c_1001_3^16 + 48531135869710828976492027545897595405637942530544695\ 8345657/21542234379089500775907292834790510351291664014551384105478\ 883*c_1001_3^15 + 1411211530598163093295119449027286740679892495407\ 862183151243/215422343790895007759072928347905103512916640145513841\ 05478883*c_1001_3^14 - 16465648848609824564826857674641223717859709\ 711748211265680/215422343790895007759072928347905103512916640145513\ 84105478883*c_1001_3^13 - 12953875318731151524059497011345711227915\ 757665367237407898875/215422343790895007759072928347905103512916640\ 14551384105478883*c_1001_3^12 - 30006576515439943189112674205274623\ 54731925899679454415409210/2393581597676611197323032537198945594587\ 962668283487122830987*c_1001_3^11 - 36134771066159892760178596015980269354778654196453232540386879/2154\ 2234379089500775907292834790510351291664014551384105478883*c_1001_3\ ^10 + 2385581116651564748112054041043897639923716932963757667464966\ 6/21542234379089500775907292834790510351291664014551384105478883*c_\ 1001_3^9 + 86226590519534626609233831689331158640335922135448772635\ 486166/215422343790895007759072928347905103512916640145513841054788\ 83*c_1001_3^8 - 151881734201412156291888428206098714553222330124511\ 36126637312/7180744793029833591969097611596836783763888004850461368\ 492961*c_1001_3^7 - 55521999886577552403193702971417340175913382795\ 26742477624490/1025820684718547655995585373085262397680555429264351\ 624070423*c_1001_3^6 - 12535875749153503117829475078335842531244137\ 051967391781873022/215422343790895007759072928347905103512916640145\ 51384105478883*c_1001_3^5 + 126751131609923574621747006587944513404\ 761171758938245813963057/215422343790895007759072928347905103512916\ 64014551384105478883*c_1001_3^4 - 753681840663261458773803412575409\ 189415248498045660178562824/239358159767661119732303253719894559458\ 7962668283487122830987*c_1001_3^3 - 8277978318976490894071403138260309784503842241201518973825921/30774\ 62054155642967986756119255787193041666287793054872211269*c_1001_3^2 + 16608788238237163933779523866167224042044305228686290405286619/21\ 542234379089500775907292834790510351291664014551384105478883*c_1001\ _3 - 272148089832312530287554069834313226775359030486301502744447/1\ 025820684718547655995585373085262397680555429264351624070423, c_0101_0 - 25004043475094545431968628289609399135167791314140756057922/\ 452386921960879516294053149530600717377124944305579066215056543*c_1\ 001_3^19 - 28414327585431874781085300997255378035759129504732222403\ 5992/45238692196087951629405314953060071737712494430557906621505654\ 3*c_1001_3^18 - 280129185585993708420498689156461423007441386008558\ 750570419/150795640653626505431351049843533572459041648101859688738\ 352181*c_1001_3^17 + 1371773599670273403804696496711475358090510935\ 290692930430342/452386921960879516294053149530600717377124944305579\ 066215056543*c_1001_3^16 + 1491064710290405682343722258475267583620\ 4619981333602173574171/45238692196087951629405314953060071737712494\ 4305579066215056543*c_1001_3^15 + 463351259129385398819934533207219\ 52983514273733651426651564042/4523869219608795162940531495306007173\ 77124944305579066215056543*c_1001_3^14 + 12858107683246474169041803104264076546951773711879662448218724/4523\ 86921960879516294053149530600717377124944305579066215056543*c_1001_\ 3^13 - 387910673030079925776371402524313205555142930371511070258071\ 741/452386921960879516294053149530600717377124944305579066215056543\ *c_1001_3^12 - 3531424858346507305329063120788404184549767726709056\ 3117225782/16755071183736278381261227760392619162115738677984409859\ 816909*c_1001_3^11 - 1280327358719583148591267446658743828729316605\ 744611093085575885/452386921960879516294053149530600717377124944305\ 579066215056543*c_1001_3^10 + 5631195582943733319632201804527068493\ 63442730705668380619541950/4523869219608795162940531495306007173771\ 24944305579066215056543*c_1001_3^9 + 3440971250326307751805858564963946223052087228780500480749357869/45\ 2386921960879516294053149530600717377124944305579066215056543*c_100\ 1_3^8 + 10501886960743694219686599585287721433302928820429638307336\ 1400/15079564065362650543135104984353357245904164810185968873835218\ 1*c_1001_3^7 - 1950310129897323930650670330315458694568589624680441\ 26488628790/2154223437908950077590729283479051035129166401455138410\ 5478883*c_1001_3^6 - 1679157793330734984778761248725637460529737914\ 796455973061706062/452386921960879516294053149530600717377124944305\ 579066215056543*c_1001_3^5 + 42860646990836247943223315621954287169\ 87910435627214368357606730/4523869219608795162940531495306007173771\ 24944305579066215056543*c_1001_3^4 + 234724468937390158775852878619678600940121165826559184472071337/502\ 65213551208835143783683281177857486347216033953229579450727*c_1001_\ 3^3 - 3013770118300722407615791224497240036038346031549134876503498\ 64/64626703137268502327721878504371531053874992043654152316436649*c\ _1001_3^2 - 1172137096595936552069554070115433716889963096024033717\ 30543619/4523869219608795162940531495306007173771249443055790662150\ 56543*c_1001_3 + 21463914637991514495635305076091678633526630508800\ 835366814655/215422343790895007759072928347905103512916640145513841\ 05478883, c_0101_3 - 32262232485683825040566814901370760045055099287548967343582/\ 280049046928163510086794806852276634566791632189167993371225479*c_1\ 001_3^19 - 35944806232330683533578891655500641923134315699244994521\ 8067/28004904692816351008679480685227663456679163218916799337122547\ 9*c_1001_3^18 - 339896192445570396157339277337492869673266077934857\ 086691811/933496823093878366955982689507588781889305440630559977904\ 08493*c_1001_3^17 + 18175187417604784792462695691050720015471733710\ 95713946367085/2800490469281635100867948068522766345667916321891679\ 93371225479*c_1001_3^16 + 18246087092996959343968954311977086192272\ 108121341907749455306/280049046928163510086794806852276634566791632\ 189167993371225479*c_1001_3^15 + 5622055345348796032329596758244414\ 5183427364465637141110459592/28004904692816351008679480685227663456\ 6791632189167993371225479*c_1001_3^14 + 992296372877754728283823528798140940348464114061714659590525/215422\ 34379089500775907292834790510351291664014551384105478883*c_1001_3^1\ 3 - 471632541012550460647739654857196827849578296595342598334547847\ /280049046928163510086794806852276634566791632189167993371225479*c_\ 1001_3^12 - 1221555492103554036693294557409624540299612561684844235\ 06259433/3111656076979594556519942298358629272964351468768533259680\ 2831*c_1001_3^11 - 160988474934510811582487642875806155155444139855\ 5966697094755321/28004904692816351008679480685227663456679163218916\ 7993371225479*c_1001_3^10 + 349534209579745817699118403398092260476\ 43927650422430914037470/2154223437908950077590729283479051035129166\ 4014551384105478883*c_1001_3^9 + 3175961678035907870049939610790325\ 208828290066711050301624106864/280049046928163510086794806852276634\ 566791632189167993371225479*c_1001_3^8 - 296308943846362965311267661693535868750132168305066522183834952/933\ 49682309387836695598268950758878188930544063055997790408493*c_1001_\ 3^7 - 1974035985269966962985562269377086841064528703991600891073583\ 34/13335668901341119527942609850108411169847220580436571112915499*c\ _1001_3^6 - 1250140656610514550552339092431397443575876828961783836\ 183350179/280049046928163510086794806852276634566791632189167993371\ 225479*c_1001_3^5 + 42296161871464565718007441087718623925675728283\ 14570397741510881/2800490469281635100867948068522766345667916321891\ 67993371225479*c_1001_3^4 + 525394256059036130183830935840515228319\ 56825504594534808845027/3111656076979594556519942298358629272964351\ 4687685332596802831*c_1001_3^3 - 3126524610374701074102513214110888\ 16751375692954114940281007183/4000700670402335858382782955032523350\ 9541661741309713338746497*c_1001_3^2 + 525220004366363051876137021107460416743351255264532887152191241/280\ 049046928163510086794806852276634566791632189167993371225479*c_1001\ _3 + 4401407509230564647693224146254495897219986847823459197263981/\ 13335668901341119527942609850108411169847220580436571112915499, c_0101_5 + 871027414968680309573769385390704089238439636561002597330532\ /5881029985491433711822690943897809325902624275972527860795735059*c\ _1001_3^19 + 985847192105574235218272937712084646949612426933630858\ 1799936/58810299854914337118226909438978093259026242759725278607957\ 35059*c_1001_3^18 + 97737882556136011718712069434764239660042422555\ 34349254013115/1960343328497144570607563647965936441967541425324175\ 953598578353*c_1001_3^17 - 4327298582466151745253659018597479843099\ 2501585619667070373084/58810299854914337118226909438978093259026242\ 75972527860795735059*c_1001_3^16 - 497898272152254451319721858238384708471640334674122559546667770/588\ 1029985491433711822690943897809325902624275972527860795735059*c_100\ 1_3^15 - 1605954445996455693775115584087810696803584382356379470578\ 464121/588102998549143371182269094389780932590262427597252786079573\ 5059*c_1001_3^14 - 509599320134637542385427777792969532048814247098\ 27953893232714/4523869219608795162940531495306007173771249443055790\ 66215056543*c_1001_3^13 + 12489043880292314759133252776390009764616\ 232169859768387906113651/588102998549143371182269094389780932590262\ 4275972527860795735059*c_1001_3^12 + 1175007574065006032319213962388875939812309001939664644746207460/21\ 7815925388571618956395960885104049107504602813797328177619817*c_100\ 1_3^11 + 4968747559431922333348015689894285634144639141032496547567\ 7181448/58810299854914337118226909438978093259026242759725278607957\ 35059*c_1001_3^10 - 62111447470657973015708033041097189176090853920\ 936091273185853/452386921960879516294053149530600717377124944305579\ 066215056543*c_1001_3^9 - 80461995214773898041263672829765993305506\ 563803346107157983000074/588102998549143371182269094389780932590262\ 4275972527860795735059*c_1001_3^8 + 4648026844082511569007331460124310884670511765654647109483204495/19\ 60343328497144570607563647965936441967541425324175953598578353*c_10\ 01_3^7 + 5275938462102950614602110158501302290724856329456788384978\ 892895/280049046928163510086794806852276634566791632189167993371225\ 479*c_1001_3^6 + 46613021961182160920539229551255259041730199044231\ 100334318880266/588102998549143371182269094389780932590262427597252\ 7860795735059*c_1001_3^5 - 1021663988429611257537373893556998783547\ 65868942289146928524990078/5881029985491433711822690943897809325902\ 624275972527860795735059*c_1001_3^4 - 2490643641316183916713914076939237691374368921523031360920569308/65\ 3447776165714856869187882655312147322513808441391984532859451*c_100\ 1_3^3 + 76626214415774295218361154333708172278153808449783632753112\ 69577/8401471407844905302603844205568299037003748965675039801136764\ 37*c_1001_3^2 - 779098218945243248577877561200228833292408904216345\ 5771458124133/58810299854914337118226909438978093259026242759725278\ 60795735059*c_1001_3 - 25151230133507154370341164046094413913963856\ 5478769562354616728/28004904692816351008679480685227663456679163218\ 9167993371225479, c_1001_3^20 + 11*c_1001_3^19 + 30*c_1001_3^18 - 61*c_1001_3^17 - 557*c_1001_3^16 - 1657*c_1001_3^15 - 146*c_1001_3^14 + 14650*c_1001_3^13 + 31800*c_1001_3^12 + 44672*c_1001_3^11 - 20051*c_1001_3^10 - 93796*c_1001_3^9 + 47550*c_1001_3^8 + 122430*c_1001_3^7 + 5071*c_1001_3^6 - 136540*c_1001_3^5 + 15081*c_1001_3^4 + 72737*c_1001_3^3 - 40930*c_1001_3^2 - 1491*c_1001_3 + 2205 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB