Magma V2.19-8 Wed Aug 21 2013 00:59:06 on localhost [Seed = 1916037395] Type ? for help. Type -D to quit. Loading file "L13n6576__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n6576 geometric_solution 12.21651199 oriented_manifold CS_known -0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 0 1 0 0 0 0 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 -1 0 1 1 0 -1 0 5 -5 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.615028493107 0.540129539406 0 5 2 6 0132 0132 3120 0132 1 0 0 1 0 0 1 -1 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 0 5 -5 -1 0 0 1 -1 1 0 0 -5 4 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.082046979552 0.806163531751 6 0 1 4 0132 0132 3120 3120 1 0 0 1 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 0 0 0 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.082046979552 0.806163531751 4 7 8 0 3120 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 -1 1 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.437524320188 0.613863117947 2 9 0 3 3120 0132 0132 3120 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 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 1.082046979552 0.806163531751 10 1 8 11 0132 0132 3201 0132 1 1 1 0 0 0 0 0 0 0 1 -1 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 4 -4 4 -4 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.279598138678 0.620266082268 2 10 1 12 0132 0132 0132 0132 1 0 1 0 0 0 1 -1 0 0 0 0 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 -5 0 0 -1 1 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.811411061234 0.885541085354 12 3 9 11 0321 0132 2103 3120 1 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 0 0 0 0 0 0 0 -4 0 0 4 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.333553984271 0.521140754524 5 12 10 3 2310 2103 1230 0132 1 0 1 1 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 0 0 0 0 0 0 0 -1 0 0 1 -4 5 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.843136983917 0.788804628790 7 4 12 11 2103 0132 2031 3201 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 0.279598138678 0.620266082268 5 6 11 8 0132 0132 1230 3012 1 1 0 1 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.128751427658 1.361228346174 7 9 5 10 3120 2310 0132 3012 1 1 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 0 0 0 0 0 0 0 0 0 0 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.433786454145 0.653310898835 7 8 6 9 0321 2103 0132 1302 1 0 1 1 0 -1 1 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 -5 5 0 1 0 -1 0 0 0 0 0 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.367533125216 0.591710253378 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_1'], 'c_1001_10' : d['c_0011_8'], 'c_1001_12' : d['c_0011_8'], 'c_1001_5' : negation(d['c_0101_8']), 'c_1001_4' : negation(d['c_1001_1']), 'c_1001_7' : negation(d['c_0011_4']), 'c_1001_6' : negation(d['c_0101_8']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_4']), 'c_1001_3' : negation(d['c_0011_11']), 'c_1001_2' : negation(d['c_1001_1']), 'c_1001_9' : negation(d['c_0011_3']), 'c_1001_8' : d['c_0011_12'], 'c_1010_12' : d['c_0011_11'], 'c_1010_11' : negation(d['c_0101_10']), 'c_1010_10' : negation(d['c_0101_8']), 's_0_10' : d['1'], 's_0_11' : 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' : d['c_0101_10'], 'c_0101_10' : d['c_0101_10'], '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_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0101_3']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_8']), 'c_1100_4' : negation(d['c_0101_3']), 'c_1100_7' : negation(d['c_0101_10']), 'c_1100_6' : negation(d['c_0101_12']), 'c_1100_1' : negation(d['c_0101_12']), 'c_1100_0' : negation(d['c_0101_3']), 'c_1100_3' : negation(d['c_0101_3']), 'c_1100_2' : negation(d['c_0101_1']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_8']), 'c_1100_10' : negation(d['c_0011_12']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0011_11']), 'c_1010_6' : d['c_0011_8'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(d['c_0011_4']), 'c_1010_1' : negation(d['c_0101_8']), 'c_1010_0' : negation(d['c_1001_1']), 'c_1010_9' : negation(d['c_1001_1']), 'c_1010_8' : negation(d['c_0011_11']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : 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_0101_12']), 's_1_7' : 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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_4']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_3']), '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' : negation(d['c_0011_12']), 'c_0110_10' : negation(d['c_0101_3']), 'c_0110_12' : d['c_0011_3'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0101_12']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_12'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_12']), 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : negation(d['c_0011_0']), '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_3'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0011_11']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0101_0'], 'c_0110_7' : negation(d['c_0011_12']), 'c_0110_6' : d['c_0101_12']})} 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_11, c_0011_12, c_0011_3, c_0011_4, c_0011_8, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_3, c_0101_8, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 698646176398234592349878808230194764363/804671949214989664154472269\ 08169696*c_1001_1^13 + 131797089655986956995595483656639220015537/1\ 367942313665482429062602857438884832*c_1001_1^12 - 2089279150291376068776615494091021946233223/68397115683274121453130\ 14287194424160*c_1001_1^11 + 80337672534475357036561457976118673840\ 9767/3419855784163706072656507143597212080*c_1001_1^10 + 384335359836677779899152325431644842103733/136794231366548242906260\ 2857438884832*c_1001_1^9 - 1839408634532353790999242215670824763199\ 353/6839711568327412145313014287194424160*c_1001_1^8 + 148735545838900206870290316336018295770743/341985578416370607265650\ 7143597212080*c_1001_1^7 + 1322565963403928935916487715473208708114\ 17/854963946040926518164126785899303020*c_1001_1^6 - 308691012639855510773567237178695239754453/683971156832741214531301\ 4287194424160*c_1001_1^5 - 4057074283886885676545528546292295289687\ /3419855784163706072656507143597212080*c_1001_1^4 + 68164582348320392348788787285119792832253/3419855784163706072656507\ 143597212080*c_1001_1^3 - 17667138515115082760358455838675814419363\ /6839711568327412145313014287194424160*c_1001_1^2 - 1390819169583864538866837003783870953489/34198557841637060726565071\ 43597212080*c_1001_1 + 11092537894611359274074051212445015781891/68\ 39711568327412145313014287194424160, c_0011_0 - 1, c_0011_11 - 625303007026073734861073916795/5060384300847659100170250852\ 64*c_1001_1^13 + 32868080293963543495369479260663/25301921504238295\ 50085125426320*c_1001_1^12 - 87209425079923252861361226732383/25301\ 92150423829550085125426320*c_1001_1^11 - 412323372555540427284724651162/158137009401489346880320339145*c_100\ 1_1^10 + 229077703081393363822771739268019/253019215042382955008512\ 5426320*c_1001_1^9 - 83627934567794321725692019083417/2530192150423\ 829550085125426320*c_1001_1^8 - 27077150007143767300486338021529/63\ 2548037605957387521281356580*c_1001_1^7 + 42820426694749853691409583652067/1265096075211914775042562713160*c_\ 1001_1^6 - 14882669579528927005374363280187/25301921504238295500851\ 25426320*c_1001_1^5 - 15662078400339057773111976766829/126509607521\ 1914775042562713160*c_1001_1^4 + 1021176669488697402190771186753/12\ 65096075211914775042562713160*c_1001_1^3 - 8845588155383062463787614008383/2530192150423829550085125426320*c_1\ 001_1^2 - 1056430539678586241953103891773/6325480376059573875212813\ 56580*c_1001_1 - 110151512609918550308603868927/2530192150423829550\ 085125426320, c_0011_12 + 360169737174411044352699125579/3162740188029786937606406782\ 90*c_1001_1^13 - 713497058139892197092601046547/6325480376059573875\ 2128135658*c_1001_1^12 + 7903475013388100708840968562563/3162740188\ 02978693760640678290*c_1001_1^11 + 2717716362511522096711876794988/158137009401489346880320339145*c_10\ 01_1^10 - 23814082931673508351638226587621/316274018802978693760640\ 678290*c_1001_1^9 - 171142469329966969499515785983/6325480376059573\ 8752128135658*c_1001_1^8 + 4513321224664902915993162031584/15813700\ 9401489346880320339145*c_1001_1^7 - 1011020196636799838522835133093/31627401880297869376064067829*c_100\ 1_1^6 - 814347755485763847536952021943/3162740188029786937606406782\ 90*c_1001_1^5 + 260415552123351855547305742623/31627401880297869376\ 064067829*c_1001_1^4 - 1121996522742885070093788778391/158137009401\ 489346880320339145*c_1001_1^3 + 80329740265112047548551416083/63254\ 803760595738752128135658*c_1001_1^2 + 74697872139000932349672524581/31627401880297869376064067829*c_1001_\ 1 - 11465568648817291250538641569/63254803760595738752128135658, c_0011_3 - 8324180721663979808473238104949/2530192150423829550085125426\ 320*c_1001_1^13 + 86872801590807425775528031593133/2530192150423829\ 550085125426320*c_1001_1^12 - 232902770405374490020136787629453/253\ 0192150423829550085125426320*c_1001_1^11 + 2684549550779456562318310206311/158137009401489346880320339145*c_10\ 01_1^10 + 77593436833733339555094927684197/506038430084765910017025\ 085264*c_1001_1^9 - 76434213312252532082371744741163/25301921504238\ 29550085125426320*c_1001_1^8 - 17242981968579009925217453650437/632\ 548037605957387521281356580*c_1001_1^7 + 80480098046362436597589829014213/1265096075211914775042562713160*c_\ 1001_1^6 + 35147719286225179594207039072239/25301921504238295500851\ 25426320*c_1001_1^5 - 7657640880859299803923886570839/1265096075211\ 914775042562713160*c_1001_1^4 + 10549630808518402022350803136071/12\ 65096075211914775042562713160*c_1001_1^3 + 4218093566229494156613577072339/2530192150423829550085125426320*c_1\ 001_1^2 - 508666813884432991251182635651/63254803760595738752128135\ 6580*c_1001_1 - 230930744276455200322276483437/25301921504238295500\ 85125426320, c_0011_4 + 626539038036801859903746958375/50603843008476591001702508526\ 4*c_1001_1^13 - 34872997260663191732623223909811/253019215042382955\ 0085125426320*c_1001_1^12 + 112975442797617445651479983936883/25301\ 92150423829550085125426320*c_1001_1^11 - 1290899334602788843973415389141/31627401880297869376064067829*c_100\ 1_1^10 - 71619625004342274977112919782519/2530192150423829550085125\ 426320*c_1001_1^9 + 147463608337545044836332915323869/2530192150423\ 829550085125426320*c_1001_1^8 - 35891314900745101416702697752623/63\ 2548037605957387521281356580*c_1001_1^7 - 36871998357878550339985984991171/1265096075211914775042562713160*c_\ 1001_1^6 + 75387576607046149511585121721983/25301921504238295500851\ 25426320*c_1001_1^5 - 18182878188367864525812018351771/126509607521\ 1914775042562713160*c_1001_1^4 - 14503228897466813622313005065633/1\ 265096075211914775042562713160*c_1001_1^3 + 6513360617918150931012415534099/2530192150423829550085125426320*c_1\ 001_1^2 - 732873274947500536368100665863/63254803760595738752128135\ 6580*c_1001_1 - 2629558276180129953044681214269/2530192150423829550\ 085125426320, c_0011_8 - 1955981969697096773412447360477/2530192150423829550085125426\ 320*c_1001_1^13 + 24002495777135031361426022781813/2530192150423829\ 550085125426320*c_1001_1^12 - 93946562113288148523927719893333/2530\ 192150423829550085125426320*c_1001_1^11 + 16219428849792423688025561608661/316274018802978693760640678290*c_1\ 001_1^10 + 2802694621313810259751943739077/506038430084765910017025\ 085264*c_1001_1^9 - 29759281575087114864074456351975/50603843008476\ 5910017025085264*c_1001_1^8 + 22210702800744500850244788469499/6325\ 48037605957387521281356580*c_1001_1^7 - 24381644099621570097246116379/1265096075211914775042562713160*c_100\ 1_1^6 - 7635553024110638018877551739501/506038430084765910017025085\ 264*c_1001_1^5 + 11478027799040000194993923324089/12650960752119147\ 75042562713160*c_1001_1^4 - 7260653820792047578484417465653/1265096\ 075211914775042562713160*c_1001_1^3 + 733674295463078255172462013931/2530192150423829550085125426320*c_10\ 01_1^2 + 1656788311175719575890326420239/63254803760595738752128135\ 6580*c_1001_1 - 3243302698869502817716388585261/2530192150423829550\ 085125426320, c_0101_0 - 1, c_0101_1 - 9726548775932417532882370669949/2530192150423829550085125426\ 320*c_1001_1^13 + 102411592621559344958005456683733/253019215042382\ 9550085125426320*c_1001_1^12 - 280951332112557907033002288874621/25\ 30192150423829550085125426320*c_1001_1^11 + 8628636446131436597510753062359/316274018802978693760640678290*c_10\ 01_1^10 + 466457202655760982964580496497881/25301921504238295500851\ 25426320*c_1001_1^9 - 140690872892927080763895650253651/25301921504\ 23829550085125426320*c_1001_1^8 - 19939010559292184357828037082409/\ 632548037605957387521281356580*c_1001_1^7 + 89887735539134754319790920259793/1265096075211914775042562713160*c_\ 1001_1^6 + 10513703009836393473850561410919/25301921504238295500851\ 25426320*c_1001_1^5 - 293919622118533852248288971459/25301921504238\ 2955008512542632*c_1001_1^4 + 11950806712043565748223814120899/1265\ 096075211914775042562713160*c_1001_1^3 - 4577885502404920342502381377213/2530192150423829550085125426320*c_1\ 001_1^2 - 817342866060637368200019994441/63254803760595738752128135\ 6580*c_1001_1 + 2185160842100908836584601704931/2530192150423829550\ 085125426320, c_0101_10 - 5002443860611605548729399505889/253019215042382955008512542\ 6320*c_1001_1^13 + 59746996100245419929659765184653/253019215042382\ 9550085125426320*c_1001_1^12 - 219053971541170933312661042126713/25\ 30192150423829550085125426320*c_1001_1^11 + 60006446231051580607463427570621/632548037605957387521281356580*c_1\ 001_1^10 + 38565404722822898477845456319501/50603843008476591001702\ 5085264*c_1001_1^9 - 423995642767393671043308598143207/253019215042\ 3829550085125426320*c_1001_1^8 + 3972542726378985118384707075499/15\ 8137009401489346880320339145*c_1001_1^7 + 91022180494703791328764641930627/1265096075211914775042562713160*c_\ 1001_1^6 - 137424873121977361828054671012721/2530192150423829550085\ 125426320*c_1001_1^5 - 13691590207892254040502869697631/12650960752\ 11914775042562713160*c_1001_1^4 + 14075005214090183193500083445911/\ 1265096075211914775042562713160*c_1001_1^3 - 10528645274575490714702872036137/2530192150423829550085125426320*c_\ 1001_1^2 - 175807711321255655669173554453/3162740188029786937606406\ 78290*c_1001_1 + 1277416300092090277705508412979/253019215042382955\ 0085125426320, c_0101_12 - 75777275135196436225174179312/31627401880297869376064067829\ *c_1001_1^13 + 8557525805138598415637769810543/31627401880297869376\ 0640678290*c_1001_1^12 - 2796280552339921058021156270726/3162740188\ 0297869376064067829*c_1001_1^11 + 10867144374120315975826936474892/\ 158137009401489346880320339145*c_1001_1^10 + 3440372958400380004746023868936/31627401880297869376064067829*c_100\ 1_1^9 - 21630428420234352345948243089439/15813700940148934688032033\ 9145*c_1001_1^8 + 2087578172228727139768834281131/31627401880297869\ 3760640678290*c_1001_1^7 + 5546770493608337382683988307727/63254803\ 760595738752128135658*c_1001_1^6 - 6731700271153969298094351010553/158137009401489346880320339145*c_10\ 01_1^5 - 2046501229189623441590473492533/15813700940148934688032033\ 9145*c_1001_1^4 + 1095429858667941689356601380285/63254803760595738\ 752128135658*c_1001_1^3 - 149741042779051059300229542120/3162740188\ 0297869376064067829*c_1001_1^2 - 206721546813759421933228874253/158\ 137009401489346880320339145*c_1001_1 + 32197834480870388924659263046/31627401880297869376064067829, c_0101_3 + 615785440313919545829873889409/25301921504238295500851254263\ 20*c_1001_1^13 - 11760594147857154729202001449201/25301921504238295\ 50085125426320*c_1001_1^12 + 73060059792871772779049901025233/25301\ 92150423829550085125426320*c_1001_1^11 - 1923008140714798657306222424081/31627401880297869376064067829*c_100\ 1_1^10 + 196059505253750995120697427403/253019215042382955008512542\ 6320*c_1001_1^9 + 264411260778623581274121699521679/253019215042382\ 9550085125426320*c_1001_1^8 - 16329644713394961521003581678581/6325\ 48037605957387521281356580*c_1001_1^7 - 4893399882299741572999569396037/253019215042382955008512542632*c_10\ 01_1^6 + 99922990318793950852368672995941/2530192150423829550085125\ 426320*c_1001_1^5 + 5382209861478751082168751485539/126509607521191\ 4775042562713160*c_1001_1^4 - 3477359939337375044614373112471/12650\ 96075211914775042562713160*c_1001_1^3 + 11415063537404154842679698875201/2530192150423829550085125426320*c_\ 1001_1^2 + 351810311166010660823585750851/6325480376059573875212813\ 56580*c_1001_1 - 241061673451658732894983559239/2530192150423829550\ 085125426320, c_0101_8 - 8294090653539569456732860548837/2530192150423829550085125426\ 320*c_1001_1^13 + 87883674753948020331410295751853/2530192150423829\ 550085125426320*c_1001_1^12 - 48987540795558857821268800815009/5060\ 38430084765910017025085264*c_1001_1^11 + 8509931149803177941954349517059/316274018802978693760640678290*c_10\ 01_1^10 + 426580930916554206288483190564569/25301921504238295500851\ 25426320*c_1001_1^9 - 203012314735423873340200133419627/25301921504\ 23829550085125426320*c_1001_1^8 - 17246903574538016279746539427009/\ 632548037605957387521281356580*c_1001_1^7 + 130428844968728949157141494781761/1265096075211914775042562713160*c\ _1001_1^6 - 8176555425988456544844242323421/50603843008476591001702\ 5085264*c_1001_1^5 - 3320198526421809252152266041111/25301921504238\ 2955008512542632*c_1001_1^4 + 31324511756554063431463978533719/1265\ 096075211914775042562713160*c_1001_1^3 - 3660478335434181952211161504917/2530192150423829550085125426320*c_1\ 001_1^2 - 1313137198076559881990638086781/6325480376059573875212813\ 56580*c_1001_1 + 6249157738231256301640423108211/253019215042382955\ 0085125426320, c_1001_1^14 - 2972/289*c_1001_1^13 + 7564/289*c_1001_1^12 + 405/289*c_1001_1^11 - 917/17*c_1001_1^10 + 1310/289*c_1001_1^9 + 5639/289*c_1001_1^8 - 6278/289*c_1001_1^7 - 2629/289*c_1001_1^6 + 1231/289*c_1001_1^5 - 632/289*c_1001_1^4 - 445/289*c_1001_1^3 + 81/289*c_1001_1^2 - 43/289*c_1001_1 - 43/289 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.320 Total time: 0.530 seconds, Total memory usage: 32.09MB