Magma V2.19-8 Wed Aug 21 2013 00:53:09 on localhost [Seed = 1932879592] Type ? for help. Type -D to quit. Loading file "L12n129__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L12n129 geometric_solution 12.72241474 oriented_manifold CS_known -0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 1 0132 0132 0132 2103 1 0 1 1 0 0 0 0 0 0 -1 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 1 0 -1 1 0 -1 0 4 0 0 -4 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.605009135385 0.773884954950 0 4 5 0 0132 0132 0132 2103 1 0 1 1 0 -1 0 1 0 0 1 -1 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 -4 0 4 -1 0 1 0 -1 0 0 1 -4 -1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.605009135385 0.773884954950 6 0 5 7 0132 0132 3012 0132 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 0 0 0 0 0 0 0 0 0 0 -1 0 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.814339084970 0.893614259614 5 4 5 0 0132 1230 3120 0132 1 0 1 1 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 0 -1 1 0 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.523225124537 1.025127637637 7 1 3 6 1023 0132 3012 1023 1 1 1 1 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 4 -5 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.814339084970 0.893614259614 3 2 3 1 0132 1230 3120 0132 1 0 1 1 0 0 0 0 0 0 1 -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 0 1 -1 5 0 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.523225124537 1.025127637637 2 8 9 4 0132 0132 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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.456125684119 0.669452246853 8 4 2 9 0132 1023 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.456125684119 0.669452246853 7 6 11 10 0132 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.705167183388 0.818582477245 10 12 7 6 0132 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 1 -1 0 1 0 0 -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.705167183388 0.818582477245 9 12 8 11 0132 0213 0132 3120 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 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.919811881467 0.653127765410 10 12 12 8 3120 0321 1302 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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.392455745644 0.537514560238 11 9 10 11 2031 0132 0213 0321 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 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.392455745644 0.537514560238 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_11']), 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_1001_10'], 'c_1001_5' : negation(d['c_1001_3']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_7' : d['c_0101_4'], 'c_1001_6' : d['c_1001_10'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_0101_4'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0011_3'], 'c_1001_9' : d['c_0110_4'], 'c_1001_8' : d['c_0110_4'], 'c_1010_12' : d['c_0110_4'], 'c_1010_11' : d['c_0110_4'], 'c_1010_10' : negation(d['c_0011_11']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_10']), 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : negation(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_2_7' : negation(d['1']), 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : negation(d['1']), 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0011_10'], 'c_0011_12' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0101_1']), 'c_1100_4' : negation(d['c_1001_3']), 'c_1100_7' : d['c_1001_3'], 'c_1100_6' : d['c_1001_3'], 'c_1100_1' : negation(d['c_0101_1']), 'c_1100_0' : negation(d['c_0101_0']), 'c_1100_3' : negation(d['c_0101_0']), 'c_1100_2' : d['c_1001_3'], 's_0_10' : d['1'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : d['c_0011_10'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0110_4'], 'c_1010_6' : d['c_0110_4'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : d['c_0101_4'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : d['c_0011_3'], 'c_1010_9' : d['c_1001_10'], 'c_1010_8' : d['c_1001_10'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_11']), 's_1_7' : d['1'], 's_1_6' : negation(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_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : negation(d['c_0011_10']), 'c_0011_8' : negation(d['c_0011_0']), 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_0'], '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_0110_11' : d['c_0101_8'], 'c_0110_10' : d['c_0101_8'], 'c_0110_12' : negation(d['c_0011_11']), 'c_0101_12' : d['c_0011_10'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_10'], 'c_0101_6' : d['c_0101_10'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_8'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_10'], 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1001_3'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_10'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_8'], 'c_0110_6' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_4, c_0101_8, c_0110_4, c_1001_10, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 102018793747035097634583488216449/4971572777959797349500191148368*c\ _1001_10^17 - 12019006183965963311376135949405/99431455559195946990\ 00382296736*c_1001_10^16 + 66554309732251377508591625005043/1242893\ 194489949337375047787092*c_1001_10^15 - 135465224541840409356325728300703/4971572777959797349500191148368*c\ _1001_10^14 - 13812937999809786893334966530943/29244545752704690291\ 1775949904*c_1001_10^13 + 538084029549617558902781861627671/9943145\ 555919594699000382296736*c_1001_10^12 + 740923596158139725609394095368027/2485786388979898674750095574184*c\ _1001_10^11 - 3836018886808951011667130606789105/497157277795979734\ 9500191148368*c_1001_10^10 + 3216171312894352413874009170130145/248\ 5786388979898674750095574184*c_1001_10^9 - 416615949658194957806747732265093/261661725155778807868431113072*c_\ 1001_10^8 + 3846253256065362528194376358318033/24857863889798986747\ 50095574184*c_1001_10^7 - 694651896165915088027227897476747/6214465\ 97244974668687523893546*c_1001_10^6 + 2885691947454323182834562732406007/4971572777959797349500191148368*\ c_1001_10^5 - 2243877922517710801718539813980669/994314555591959469\ 9000382296736*c_1001_10^4 + 284860354268798518546760596829415/24857\ 86388979898674750095574184*c_1001_10^3 - 12863601361820837992831617572777/2485786388979898674750095574184*c_\ 1001_10^2 + 16665196506387528785681900665827/6214465972449746686875\ 23893546*c_1001_10 + 16174347041881402717454332669743/2485786388979\ 898674750095574184, c_0011_0 - 1, c_0011_10 + 10028129910471312493056006/1278438909941976039168077*c_1001\ _10^17 + 8073528017721029335675346/1278438909941976039168077*c_1001\ _10^16 + 10947377743125282813645626/1278438909941976039168077*c_100\ 1_10^15 - 2203228247935467643447122/1278438909941976039168077*c_100\ 1_10^14 + 58276524070862284820034585/1278438909941976039168077*c_10\ 01_10^13 - 38930101933043084707585198/1278438909941976039168077*c_1\ 001_10^12 + 62216227153055215657618397/1278438909941976039168077*c_\ 1001_10^11 - 26325271982746949733244622/1278438909941976039168077*c\ _1001_10^10 + 10261773984589253716568874/1278438909941976039168077*\ c_1001_10^9 + 32919612702034145867473614/1278438909941976039168077*\ c_1001_10^8 - 27337222105648400788345296/1278438909941976039168077*\ c_1001_10^7 + 30485630688354084761572076/1278438909941976039168077*\ c_1001_10^6 + 1856424357874535848209726/1278438909941976039168077*c\ _1001_10^5 + 25764723390155320098416108/1278438909941976039168077*c\ _1001_10^4 + 13175599681054171079087127/1278438909941976039168077*c\ _1001_10^3 + 12318285945962726766602688/1278438909941976039168077*c\ _1001_10^2 + 5318982167579226292372449/1278438909941976039168077*c_\ 1001_10 + 2424396167979986076598117/1278438909941976039168077, c_0011_11 - 9272871307976658804946395/1278438909941976039168077*c_1001_\ 10^17 - 2148534610506777805377797/269145033671994955614332*c_1001_1\ 0^16 - 18747283414126722756007263/2556877819883952078336154*c_1001_\ 10^15 - 980488017149004531360856/1278438909941976039168077*c_1001_1\ 0^14 - 50880996287311995822524323/1278438909941976039168077*c_1001_\ 10^13 + 66868785678243004216327223/5113755639767904156672308*c_1001\ _10^12 - 54780087619714740021751717/2556877819883952078336154*c_100\ 1_10^11 - 19876310606219978918944192/1278438909941976039168077*c_10\ 01_10^10 + 33375726213869695461343502/1278438909941976039168077*c_1\ 001_10^9 - 271005295655632499555546565/5113755639767904156672308*c_\ 1001_10^8 + 91826876668687747599995069/2556877819883952078336154*c_\ 1001_10^7 - 151554317615448441465047945/5113755639767904156672308*c\ _1001_10^6 - 198994826930877593146340/1278438909941976039168077*c_1\ 001_10^5 - 5751497652297133028862237/269145033671994955614332*c_100\ 1_10^4 - 25762544485683970268099029/2556877819883952078336154*c_100\ 1_10^3 - 51160360886241311719182771/5113755639767904156672308*c_100\ 1_10^2 - 12472159855221971667415833/2556877819883952078336154*c_100\ 1_10 - 5143874788426814401614767/2556877819883952078336154, c_0011_3 + 68752644647738739922140637/2556877819883952078336154*c_1001_\ 10^17 + 19695116721522708325567310/1278438909941976039168077*c_1001\ _10^16 + 37497285883519587844186965/1278438909941976039168077*c_100\ 1_10^15 - 14207632024071728779638054/1278438909941976039168077*c_10\ 01_10^14 + 419049957590801929215152411/2556877819883952078336154*c_\ 1001_10^13 - 372765103698798969137498181/2556877819883952078336154*\ c_1001_10^12 + 284714050321505537360522002/127843890994197603916807\ 7*c_1001_10^11 - 186925895946668400917166185/1278438909941976039168\ 077*c_1001_10^10 + 133750166050842125025291229/12784389099419760391\ 68077*c_1001_10^9 + 26731580600592579682861464/12784389099419760391\ 68077*c_1001_10^8 - 49246272177465088810982796/12784389099419760391\ 68077*c_1001_10^7 + 89114391073364517991480251/12784389099419760391\ 68077*c_1001_10^6 + 4749568614151545909126201/255687781988395207833\ 6154*c_1001_10^5 + 172367648157011209761830417/25568778198839520783\ 36154*c_1001_10^4 + 29996616569589431235505551/12784389099419760391\ 68077*c_1001_10^3 + 81043233187898975944355585/25568778198839520783\ 36154*c_1001_10^2 + 16519026381348192815608093/12784389099419760391\ 68077*c_1001_10 + 5280238415114787320914733/12784389099419760391680\ 77, c_0101_0 - 1, c_0101_1 - 27081297377858473/1420342311990307*c_1001_10^17 - 31098321108042699/2840684623980614*c_1001_10^16 - 30663189750056941/1420342311990307*c_1001_10^15 + 13580228071341864/1420342311990307*c_1001_10^14 - 330133251996533965/2840684623980614*c_1001_10^13 + 149122642434139067/1420342311990307*c_1001_10^12 - 233916242397281107/1420342311990307*c_1001_10^11 + 341909310100379295/2840684623980614*c_1001_10^10 - 134156431656751193/1420342311990307*c_1001_10^9 + 17766506731849855/2840684623980614*c_1001_10^8 + 14953185806926935/1420342311990307*c_1001_10^7 - 56509691168191209/1420342311990307*c_1001_10^6 - 4736114879028889/2840684623980614*c_1001_10^5 - 137432250979359669/2840684623980614*c_1001_10^4 - 46854943696887069/2840684623980614*c_1001_10^3 - 59200894711896353/2840684623980614*c_1001_10^2 - 11379787744772841/1420342311990307*c_1001_10 - 4324856537836478/1420342311990307, c_0101_10 + 73127747474013841120455/134572516835997477807166*c_1001_10^\ 17 + 20714508013635490790167471/2556877819883952078336154*c_1001_10\ ^16 - 834540251976866017864393/2556877819883952078336154*c_1001_10^\ 15 + 41213555827084797690316285/5113755639767904156672308*c_1001_10\ ^14 - 29615436782498159682387613/5113755639767904156672308*c_1001_1\ 0^13 + 257660795262885362835815131/5113755639767904156672308*c_1001\ _10^12 - 379728741645536640376846799/5113755639767904156672308*c_10\ 01_10^11 + 141392232220560792726266932/1278438909941976039168077*c_\ 1001_10^10 - 578099411057290835566085571/5113755639767904156672308*\ c_1001_10^9 + 265651531235684812462618513/2556877819883952078336154\ *c_1001_10^8 - 161561783997420397456484865/255687781988395207833615\ 4*c_1001_10^7 + 174178661136590875942699539/51137556397679041566723\ 08*c_1001_10^6 - 600767298338362161824721/67286258417998738903583*c\ _1001_10^5 + 40023318891193353667939343/2556877819883952078336154*c\ _1001_10^4 + 20974476719346380020951975/5113755639767904156672308*c\ _1001_10^3 + 32870500372213343604167475/5113755639767904156672308*c\ _1001_10^2 + 3641689535112837720295467/1278438909941976039168077*c_\ 1001_10 + 4831194817372609368737415/2556877819883952078336154, c_0101_2 + 25497548991345723332818390/1278438909941976039168077*c_1001_\ 10^17 - 1433450475186237212330706/1278438909941976039168077*c_1001_\ 10^16 + 26018700408909769277868344/1278438909941976039168077*c_1001\ _10^15 - 30428651129771453449956306/1278438909941976039168077*c_100\ 1_10^14 + 171518413123051450673735532/1278438909941976039168077*c_1\ 001_10^13 - 246786493018114935977276165/1278438909941976039168077*c\ _1001_10^12 + 352635901320948332454058648/1278438909941976039168077\ *c_1001_10^11 - 359019156984899815351998757/12784389099419760391680\ 77*c_1001_10^10 + 320836287298515529352764902/127843890994197603916\ 8077*c_1001_10^9 - 10069632671294465243711326/672862584179987389035\ 83*c_1001_10^8 + 99438450601356013455696006/12784389099419760391680\ 77*c_1001_10^7 - 24230854506062050896006504/12784389099419760391680\ 77*c_1001_10^6 + 38558294108436019993587834/12784389099419760391680\ 77*c_1001_10^5 + 20489742173866659881676054/12784389099419760391680\ 77*c_1001_10^4 + 14630269955684533720992802/12784389099419760391680\ 77*c_1001_10^3 + 8597588221668019632083633/127843890994197603916807\ 7*c_1001_10^2 + 3857597318473379759155909/1278438909941976039168077\ *c_1001_10 - 735153135427186142652289/1278438909941976039168077, c_0101_4 + 25497548991345723332818390/1278438909941976039168077*c_1001_\ 10^17 - 1433450475186237212330706/1278438909941976039168077*c_1001_\ 10^16 + 26018700408909769277868344/1278438909941976039168077*c_1001\ _10^15 - 30428651129771453449956306/1278438909941976039168077*c_100\ 1_10^14 + 171518413123051450673735532/1278438909941976039168077*c_1\ 001_10^13 - 246786493018114935977276165/1278438909941976039168077*c\ _1001_10^12 + 352635901320948332454058648/1278438909941976039168077\ *c_1001_10^11 - 359019156984899815351998757/12784389099419760391680\ 77*c_1001_10^10 + 320836287298515529352764902/127843890994197603916\ 8077*c_1001_10^9 - 10069632671294465243711326/672862584179987389035\ 83*c_1001_10^8 + 99438450601356013455696006/12784389099419760391680\ 77*c_1001_10^7 - 24230854506062050896006504/12784389099419760391680\ 77*c_1001_10^6 + 38558294108436019993587834/12784389099419760391680\ 77*c_1001_10^5 + 20489742173866659881676054/12784389099419760391680\ 77*c_1001_10^4 + 14630269955684533720992802/12784389099419760391680\ 77*c_1001_10^3 + 8597588221668019632083633/127843890994197603916807\ 7*c_1001_10^2 + 3857597318473379759155909/1278438909941976039168077\ *c_1001_10 - 735153135427186142652289/1278438909941976039168077, c_0101_8 + c_1001_10, c_0110_4 + 73127747474013841120455/134572516835997477807166*c_1001_10^1\ 7 + 20714508013635490790167471/2556877819883952078336154*c_1001_10^\ 16 - 834540251976866017864393/2556877819883952078336154*c_1001_10^1\ 5 + 41213555827084797690316285/5113755639767904156672308*c_1001_10^\ 14 - 29615436782498159682387613/5113755639767904156672308*c_1001_10\ ^13 + 257660795262885362835815131/5113755639767904156672308*c_1001_\ 10^12 - 379728741645536640376846799/5113755639767904156672308*c_100\ 1_10^11 + 141392232220560792726266932/1278438909941976039168077*c_1\ 001_10^10 - 578099411057290835566085571/5113755639767904156672308*c\ _1001_10^9 + 265651531235684812462618513/2556877819883952078336154*\ c_1001_10^8 - 161561783997420397456484865/2556877819883952078336154\ *c_1001_10^7 + 174178661136590875942699539/511375563976790415667230\ 8*c_1001_10^6 - 600767298338362161824721/67286258417998738903583*c_\ 1001_10^5 + 40023318891193353667939343/2556877819883952078336154*c_\ 1001_10^4 + 20974476719346380020951975/5113755639767904156672308*c_\ 1001_10^3 + 32870500372213343604167475/5113755639767904156672308*c_\ 1001_10^2 + 3641689535112837720295467/1278438909941976039168077*c_1\ 001_10 + 4831194817372609368737415/2556877819883952078336154, c_1001_10^18 + 30/89*c_1001_10^17 + 119/89*c_1001_10^16 - 68/89*c_1001_10^15 + 591/89*c_1001_10^14 - 658/89*c_1001_10^13 + 1095/89*c_1001_10^12 - 1036/89*c_1001_10^11 + 1028/89*c_1001_10^10 - 632/89*c_1001_10^9 + 462/89*c_1001_10^8 - 180/89*c_1001_10^7 + 241/89*c_1001_10^6 + 78/89*c_1001_10^5 + 141/89*c_1001_10^4 + 76/89*c_1001_10^3 + 52/89*c_1001_10^2 + 16/89*c_1001_10 + 4/89, c_1001_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.150 Total time: 0.350 seconds, Total memory usage: 32.09MB