Magma V2.19-8 Wed Aug 21 2013 00:16:37 on localhost [Seed = 2917908667] Type ? for help. Type -D to quit. Loading file "K13n571__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n571 geometric_solution 11.54073751 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 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 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.213641058119 0.954652463892 0 5 5 6 0132 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 1 -1 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 4 -4 0 -4 0 4 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.495314149752 0.560846462216 4 0 8 7 0213 0132 0132 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 -1 1 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 1.254304619094 0.500572523191 9 9 10 0 0132 2103 0132 0132 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 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.351963808236 0.886532509040 2 7 0 10 0213 0321 0132 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 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.464206445688 0.803795315418 1 1 11 12 2031 0132 0132 0132 0 0 0 0 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 -1 1 0 0 4 -4 1 0 0 -1 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.115328553879 1.001717497932 11 10 1 12 2103 3012 0132 2103 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 1 0 -1 -4 0 4 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.585323378941 0.289497154858 8 9 2 4 0213 2310 0132 0321 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 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.000503879095 0.705330846860 7 12 12 2 0213 3120 3201 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 1 0 -1 0 0 0 0 0 1 0 -1 -3 -1 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.461476195448 0.735940541632 3 3 11 7 0132 2103 2103 3201 0 0 0 0 0 -1 0 1 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 -3 0 3 0 0 0 0 0 0 0 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.843021889463 1.171033838328 6 11 4 3 1230 3120 0132 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 -1 1 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.085779999199 1.151376649992 9 10 6 5 2103 3120 2103 0132 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 -1 0 1 0 0 4 -4 0 0 0 0 3 1 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.010230235878 1.219724890811 8 8 5 6 2310 3120 0132 2103 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 0 0 0 0 0 1 -1 0 -4 0 4 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.388423931597 0.975312762543 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_6'], 'c_1001_10' : negation(d['c_0011_6']), 'c_1001_12' : d['c_0101_12'], 'c_1001_5' : negation(d['c_0011_10']), 'c_1001_4' : negation(d['c_0011_12']), 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_0011_10']), 'c_1001_1' : d['c_0101_12'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_11']), 'c_1001_2' : negation(d['c_0011_12']), 'c_1001_9' : d['c_0011_11'], 'c_1001_8' : negation(d['c_0101_12']), 'c_1010_12' : negation(d['c_0011_8']), 'c_1010_11' : negation(d['c_0011_10']), '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' : d['c_0101_0'], 'c_0101_10' : negation(d['c_0011_8']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(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_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0110_6']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_0011_12']), 'c_1100_6' : d['c_0011_7'], 'c_1100_1' : d['c_0011_7'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_0011_12']), 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0110_6']), 'c_1100_10' : d['c_1100_0'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_6']), 'c_1010_6' : d['c_0011_8'], 'c_1010_5' : d['c_0101_12'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_10']), 'c_1010_0' : negation(d['c_0011_12']), 'c_1010_9' : negation(d['c_1001_0']), 'c_1010_8' : negation(d['c_0011_12']), 'c_1100_8' : negation(d['c_0011_12']), 's_3_1' : d['1'], 's_3_0' : negation(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_0110_6']), '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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_11']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], '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_11'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_7'], 'c_0110_10' : d['c_0011_6'], 'c_0110_12' : negation(d['c_0011_7']), 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0011_8'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_7'], 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0011_7'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_6'], 'c_0110_8' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0011_7']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_8'], 'c_0110_5' : d['c_0101_12'], 'c_0110_4' : negation(d['c_0011_8']), 'c_0110_7' : negation(d['c_0011_4']), 'c_0110_6' : d['c_0110_6']})} 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_12, c_0011_4, c_0011_6, c_0011_7, c_0011_8, c_0101_0, c_0101_12, c_0110_6, c_1001_0, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 646586891099955851123615206738211664629156595899082190256490547/385\ 40489603022435759484211762469046941117129352920625293099949952*c_11\ 00_0^19 + 395121965300778417573263805317561199291935029724859967321\ 5522763/77080979206044871518968423524938093882234258705841250586199\ 899904*c_1100_0^18 - 9285087011391328236989609660574504398748738602\ 94280971904308775/7708097920604487151896842352493809388223425870584\ 1250586199899904*c_1100_0^17 + 190180207344399501884838116642914170\ 75972836919213731947914859847/7708097920604487151896842352493809388\ 2234258705841250586199899904*c_1100_0^16 - 404626973064367695302205390807240378114766283018773851731881116/301\ 097575023612779370970404394289429227477573069692385102343359*c_1100\ _0^15 - 14259518939735815991906363635045337499681216518534746068341\ 1053421/38540489603022435759484211762469046941117129352920625293099\ 949952*c_1100_0^14 - 3608710529456699759868795260917748758979295015\ 83713001488970860841/3854048960302243575948421176246904694111712935\ 2920625293099949952*c_1100_0^13 - 793697362108913103587996375613999\ 661923869328229736222890068625459/192702448015112178797421058812345\ 23470558564676460312646549974976*c_1100_0^12 - 730524784098056781025495627774237106796749969306425653169254075955/\ 38540489603022435759484211762469046941117129352920625293099949952*c\ _1100_0^11 - 552610006973645877588500182300106020772448859016300284\ 2406365965/29612362353455578762569505772162156696978201577349692887\ 514368*c_1100_0^10 - 7368721508270383546148006105372114394718389989\ 31864049281679648175/7708097920604487151896842352493809388223425870\ 5841250586199899904*c_1100_0^9 - 4328889488659352973509705098316245\ 3154831808285220695406232509502893/77080979206044871518968423524938\ 093882234258705841250586199899904*c_1100_0^8 - 987853156293342508855489924059430984566156380939060845311810965487/\ 9635122400755608939871052940617261735279282338230156323274987488*c_\ 1100_0^7 - 46260870068543461061051248540134164085031036225855281973\ 774207709129/385404896030224357594842117624690469411171293529206252\ 93099949952*c_1100_0^6 - 749543747186763276429518422374510635370512\ 3300289747993963558918963/19270244801511217879742105881234523470558\ 564676460312646549974976*c_1100_0^5 - 7681826273857539742363608945629949770431692544593069084611550073757\ /4817561200377804469935526470308630867639641169115078161637493744*c\ _1100_0^4 - 2719084029923768725453166609065925190675747068234046341\ 673754554085/385404896030224357594842117624690469411171293529206252\ 93099949952*c_1100_0^3 - 622500554157461742323737292655742803713637\ 83255846726411866320748601/7708097920604487151896842352493809388223\ 4258705841250586199899904*c_1100_0^2 + 7715862586749089954781546928300789048113845597440016108429492998545\ 9/77080979206044871518968423524938093882234258705841250586199899904\ *c_1100_0 - 1822331620398633960708689856248664055094935536860449514\ 3254151293677/77080979206044871518968423524938093882234258705841250\ 586199899904, c_0011_0 - 1, c_0011_10 - 46936813198824751920126121805748139477104083684523/14019782\ 4196615406691476683416478971686721680449254448*c_1100_0^19 + 53218475098238013410796845658395166693850925626877/1401978241966154\ 06691476683416478971686721680449254448*c_1100_0^18 - 262679861350797547794673185233585099723807963818765/140197824196615\ 406691476683416478971686721680449254448*c_1100_0^17 + 32817617963964153822012431380267004465216835381773/1752472802457692\ 5836434585427059871460840210056156806*c_1100_0^16 + 157015403729722528438772919155218223164278896573514/876236401228846\ 2918217292713529935730420105028078403*c_1100_0^15 - 394084649966580210076677781109788550109199318020691/700989120983077\ 03345738341708239485843360840224627224*c_1100_0^14 + 17240014951393108660171455390098969588259861687453381/7009891209830\ 7703345738341708239485843360840224627224*c_1100_0^13 - 8478937261270754180708895418223473272351685560578041/70098912098307\ 703345738341708239485843360840224627224*c_1100_0^12 + 172885598363258531037169348763649715602294603697120531/140197824196\ 615406691476683416478971686721680449254448*c_1100_0^11 - 74449416538961669896690453460445404123667137306935681/1401978241966\ 15406691476683416478971686721680449254448*c_1100_0^10 + 526882154591611019656635656344055344772798491146726269/140197824196\ 615406691476683416478971686721680449254448*c_1100_0^9 - 10180226552928607090479260775881382858370347632861559/1752472802457\ 6925836434585427059871460840210056156806*c_1100_0^8 + 576517196005772201490195776759732607720886827348261565/700989120983\ 07703345738341708239485843360840224627224*c_1100_0^7 + 101197409170244402256453270461312288012253214411179703/700989120983\ 07703345738341708239485843360840224627224*c_1100_0^6 + 936515290490466435762312001752617213716815490505231349/700989120983\ 07703345738341708239485843360840224627224*c_1100_0^5 + 116525474748709463214080961878689724372357723016750209/350494560491\ 53851672869170854119742921680420112313612*c_1100_0^4 + 1938871858428336093007143758011610490488032021062839731/14019782419\ 6615406691476683416478971686721680449254448*c_1100_0^3 - 111606244966729793324927162420866170375583351718916303/140197824196\ 615406691476683416478971686721680449254448*c_1100_0^2 + 949670118436997826289210553995347951142720692294275119/140197824196\ 615406691476683416478971686721680449254448*c_1100_0 - 122758084300800244568677016448900931406972891412480011/700989120983\ 07703345738341708239485843360840224627224, c_0011_11 - 82250766817601103923791417153077516456380163674087/14019782\ 4196615406691476683416478971686721680449254448*c_1100_0^19 + 109282957354630534828748796127097619656494389669605/140197824196615\ 406691476683416478971686721680449254448*c_1100_0^18 - 447827311158504672010951740064678073589814888455305/140197824196615\ 406691476683416478971686721680449254448*c_1100_0^17 + 250740623051865285090061516754045242734077249013521/700989120983077\ 03345738341708239485843360840224627224*c_1100_0^16 + 2220376438068577509331783912078244804787115044477505/70098912098307\ 703345738341708239485843360840224627224*c_1100_0^15 - 591053122058642942745142392201731977870423233769815/350494560491538\ 51672869170854119742921680420112313612*c_1100_0^14 + 29389833981955986005417525306352172148130927267142501/7009891209830\ 7703345738341708239485843360840224627224*c_1100_0^13 - 4966955243357479737910079025361299624708999058851241/17524728024576\ 925836434585427059871460840210056156806*c_1100_0^12 + 289249415257458151672711049005711141684004412965110453/140197824196\ 615406691476683416478971686721680449254448*c_1100_0^11 - 173432025756818073749984695303616897573279106073613165/140197824196\ 615406691476683416478971686721680449254448*c_1100_0^10 + 873963695366238043614046320898908323636185401924440159/140197824196\ 615406691476683416478971686721680449254448*c_1100_0^9 - 70468590490201580011426653023663580940837133751545753/3504945604915\ 3851672869170854119742921680420112313612*c_1100_0^8 + 469404211565401322098047158269961618715677106584530061/350494560491\ 53851672869170854119742921680420112313612*c_1100_0^7 - 17047042621795451047573405003303446805041221635098049/7009891209830\ 7703345738341708239485843360840224627224*c_1100_0^6 + 182528601282167581431140293570301642239378600762186662/876236401228\ 8462918217292713529935730420105028078403*c_1100_0^5 + 51502916892883372845756339522538752139161274435435501/7009891209830\ 7703345738341708239485843360840224627224*c_1100_0^4 + 2830772474748127217453132383009704348540353397787157379/14019782419\ 6615406691476683416478971686721680449254448*c_1100_0^3 - 765177093519642073643783083051670691213452709651142369/140197824196\ 615406691476683416478971686721680449254448*c_1100_0^2 + 1526117187649078382236721492324608591163871775165791717/14019782419\ 6615406691476683416478971686721680449254448*c_1100_0 - 144834164316746563580681186097157145503096387798355693/350494560491\ 53851672869170854119742921680420112313612, c_0011_12 + 31318934155217399471902128080796891949884816550831/70098912\ 098307703345738341708239485843360840224627224*c_1100_0^19 - 35020974611757964103598787605728568197437891716989/7009891209830770\ 3345738341708239485843360840224627224*c_1100_0^18 + 83053291136373245851080777326495996004382254292235/3504945604915385\ 1672869170854119742921680420112313612*c_1100_0^17 - 166964509967892315028807985968573691500487033160219/700989120983077\ 03345738341708239485843360840224627224*c_1100_0^16 - 1696433265263271532586428628923790457831290197099543/70098912098307\ 703345738341708239485843360840224627224*c_1100_0^15 + 479478649856378690027341552076342941208705829801855/700989120983077\ 03345738341708239485843360840224627224*c_1100_0^14 - 11201410216845952780579904041748677015510691728048083/3504945604915\ 3851672869170854119742921680420112313612*c_1100_0^13 + 10921753426740337359959016954621759617790875887556541/7009891209830\ 7703345738341708239485843360840224627224*c_1100_0^12 - 13812387134167044623782891836616652121583924795590610/8762364012288\ 462918217292713529935730420105028078403*c_1100_0^11 + 49587759907905229333652917920084672767955117937938279/7009891209830\ 7703345738341708239485843360840224627224*c_1100_0^10 - 337196595926864381925616143011094330956488794041693755/700989120983\ 07703345738341708239485843360840224627224*c_1100_0^9 + 33561725989552623728113339950622890942099360882887063/3504945604915\ 3851672869170854119742921680420112313612*c_1100_0^8 - 745074672874352948044142527382744123853221164054865329/700989120983\ 07703345738341708239485843360840224627224*c_1100_0^7 - 35296912302129152182854599638381319207887779567151251/3504945604915\ 3851672869170854119742921680420112313612*c_1100_0^6 - 1201311774355889576973130333792921260226648075980639557/70098912098\ 307703345738341708239485843360840224627224*c_1100_0^5 - 177114321183610046777290610383662423397941885141494393/700989120983\ 07703345738341708239485843360840224627224*c_1100_0^4 - 1175972448441194068855564074482862294456684124465432537/70098912098\ 307703345738341708239485843360840224627224*c_1100_0^3 + 108934418164018929876826788741148795430578430343278645/350494560491\ 53851672869170854119742921680420112313612*c_1100_0^2 - 573858610762200302457885940480956887163206661680384923/700989120983\ 07703345738341708239485843360840224627224*c_1100_0 + 232824579848703664097261649853600455998921457016202457/700989120983\ 07703345738341708239485843360840224627224, c_0011_4 - 70795833104939500653142429269805396829800595892355/140197824\ 196615406691476683416478971686721680449254448*c_1100_0^19 + 24686323889210251487486014767795796586787474110653/3504945604915385\ 1672869170854119742921680420112313612*c_1100_0^18 - 25976045224278109318236829070283197801724894895627/8762364012288462\ 918217292713529935730420105028078403*c_1100_0^17 + 490018127039122571264255188903168704090268796407913/140197824196615\ 406691476683416478971686721680449254448*c_1100_0^16 + 1853271817070195728114070647208964128899155673848787/70098912098307\ 703345738341708239485843360840224627224*c_1100_0^15 - 141095821218607948176440240482965245608524375284164/876236401228846\ 2918217292713529935730420105028078403*c_1100_0^14 + 26157661488066714654674612134099840522222520969631319/7009891209830\ 7703345738341708239485843360840224627224*c_1100_0^13 - 4827005639765009015086690977413962382537469357167759/17524728024576\ 925836434585427059871460840210056156806*c_1100_0^12 + 265620037923038051550679333009810587254542675374476343/140197824196\ 615406691476683416478971686721680449254448*c_1100_0^11 - 86082897510963813179191568327651388742213592241872027/7009891209830\ 7703345738341708239485843360840224627224*c_1100_0^10 + 203391019544582190827230540520868083235798087180670249/350494560491\ 53851672869170854119742921680420112313612*c_1100_0^9 - 298107420999411162309093915901292709621338136236722287/140197824196\ 615406691476683416478971686721680449254448*c_1100_0^8 + 873510437271185759879510310521301107866747382017246707/700989120983\ 07703345738341708239485843360840224627224*c_1100_0^7 - 41978704909602430872570852118809858861302999407608811/7009891209830\ 7703345738341708239485843360840224627224*c_1100_0^6 + 685809048831575325213019694479207529678494289520628571/350494560491\ 53851672869170854119742921680420112313612*c_1100_0^5 + 23847721915447033265236302535353636520629218914128549/3504945604915\ 3851672869170854119742921680420112313612*c_1100_0^4 + 2758773441060568736684381598013811390987763558740120961/14019782419\ 6615406691476683416478971686721680449254448*c_1100_0^3 - 322875286459423288310098827541303200700898026329313885/700989120983\ 07703345738341708239485843360840224627224*c_1100_0^2 + 717483209757136981723875300814983609548203736101108737/700989120983\ 07703345738341708239485843360840224627224*c_1100_0 - 509484887102097326873193162601922461328180220800662999/140197824196\ 615406691476683416478971686721680449254448, c_0011_6 - 3916475004095929754649081176318473105491885177511/7009891209\ 8307703345738341708239485843360840224627224*c_1100_0^19 + 4702751561901937256010411954946990197843117647495/70098912098307703\ 345738341708239485843360840224627224*c_1100_0^18 - 20783201539636012111882289771351207943104418716791/7009891209830770\ 3345738341708239485843360840224627224*c_1100_0^17 + 26591485706638020519325890403514241347421856210753/7009891209830770\ 3345738341708239485843360840224627224*c_1100_0^16 + 205068013978160059655572866325300221698173194740691/700989120983077\ 03345738341708239485843360840224627224*c_1100_0^15 - 9587015384702348160680408491596786040782682434021/87623640122884629\ 18217292713529935730420105028078403*c_1100_0^14 + 2784638937866262368982349450336889916686257268605937/70098912098307\ 703345738341708239485843360840224627224*c_1100_0^13 - 1872757342960179536139745704171687374466988181424809/70098912098307\ 703345738341708239485843360840224627224*c_1100_0^12 + 13924939540138775324299448702940690581168685812792637/7009891209830\ 7703345738341708239485843360840224627224*c_1100_0^11 - 4480449263032637643736596584811684941398371202084707/35049456049153\ 851672869170854119742921680420112313612*c_1100_0^10 + 10943160260977822904169502597375146122895052532076737/1752472802457\ 6925836434585427059871460840210056156806*c_1100_0^9 - 15741323314418091413139813659655884951819471592343869/7009891209830\ 7703345738341708239485843360840224627224*c_1100_0^8 + 47544270219895709093157366538188488615557086321020739/3504945604915\ 3851672869170854119742921680420112313612*c_1100_0^7 - 5125470579143212856314109314612655163946825033580761/70098912098307\ 703345738341708239485843360840224627224*c_1100_0^6 + 142092621852675180732521752718272378915362800550455857/700989120983\ 07703345738341708239485843360840224627224*c_1100_0^5 + 2002590111197218654624418276503550955631487074904833/87623640122884\ 62918217292713529935730420105028078403*c_1100_0^4 + 35065568690366522486572062706262237505158348843293399/1752472802457\ 6925836434585427059871460840210056156806*c_1100_0^3 + 662209583140669390753369713883200802472875391230472/876236401228846\ 2918217292713529935730420105028078403*c_1100_0^2 + 119219763982286927452080400492882585849221990112824903/700989120983\ 07703345738341708239485843360840224627224*c_1100_0 + 2756829473730066819509925338067423646133672617662257/35049456049153\ 851672869170854119742921680420112313612, c_0011_7 - 13740501805292246247183566497346215384146154817271/700989120\ 98307703345738341708239485843360840224627224*c_1100_0^19 + 23329489566294323452965563279404236283478614373869/7009891209830770\ 3345738341708239485843360840224627224*c_1100_0^18 - 71790523364217549996256987644195278989899043601479/7009891209830770\ 3345738341708239485843360840224627224*c_1100_0^17 + 23219666372342662320671475207365745881447012818919/1752472802457692\ 5836434585427059871460840210056156806*c_1100_0^16 + 379592597126318611083013846255599398887355338574351/350494560491538\ 51672869170854119742921680420112313612*c_1100_0^15 - 711325471073086890128163735360901117305385690046771/700989120983077\ 03345738341708239485843360840224627224*c_1100_0^14 + 9365180092696614976263720465916312643184808311083183/70098912098307\ 703345738341708239485843360840224627224*c_1100_0^13 - 4758063184599492617395837489525018926008661246701057/35049456049153\ 851672869170854119742921680420112313612*c_1100_0^12 + 11064242226740258748367850354522505614921554705300581/1752472802457\ 6925836434585427059871460840210056156806*c_1100_0^11 - 5066300760357865829896740968995297105251155247396166/87623640122884\ 62918217292713529935730420105028078403*c_1100_0^10 + 129768129343402220362027321887925904940113245260549997/700989120983\ 07703345738341708239485843360840224627224*c_1100_0^9 - 84474951454270640247796449284145745496373405379301401/7009891209830\ 7703345738341708239485843360840224627224*c_1100_0^8 + 267202686685239024519583806703813652479353213178757079/700989120983\ 07703345738341708239485843360840224627224*c_1100_0^7 - 113118981212896640447712566150003079653347611012696991/700989120983\ 07703345738341708239485843360840224627224*c_1100_0^6 + 190810448957099517477144297045761772641425257520903045/350494560491\ 53851672869170854119742921680420112313612*c_1100_0^5 - 197568753494113302819400930446869104250606068197303581/700989120983\ 07703345738341708239485843360840224627224*c_1100_0^4 + 76422008349607368069176515418499494751381823247246307/1752472802457\ 6925836434585427059871460840210056156806*c_1100_0^3 - 332083100941581495285454918026467866838717682095956809/700989120983\ 07703345738341708239485843360840224627224*c_1100_0^2 + 42250942655938337630418767167936933540338387830733349/1752472802457\ 6925836434585427059871460840210056156806*c_1100_0 - 172423903280153016231705206421548206891487229419555889/700989120983\ 07703345738341708239485843360840224627224, c_0011_8 - 59981718332176459389868296854227994662219070069177/140197824\ 196615406691476683416478971686721680449254448*c_1100_0^19 + 82953627586105044268232909412731299945654995938401/1401978241966154\ 06691476683416478971686721680449254448*c_1100_0^18 - 315297853679197547173019604573040949959973497374869/140197824196615\ 406691476683416478971686721680449254448*c_1100_0^17 + 22091340430663193808782931579393277664963632448553/8762364012288462\ 918217292713529935730420105028078403*c_1100_0^16 + 205625023532147804522510027506772472463118281637284/876236401228846\ 2918217292713529935730420105028078403*c_1100_0^15 - 121610601785221673882775153424247356946644152682520/876236401228846\ 2918217292713529935730420105028078403*c_1100_0^14 + 10489444658359802834376692974157370575306269540404069/3504945604915\ 3851672869170854119742921680420112313612*c_1100_0^13 - 15020968631372702662469488873404585402002397621610697/7009891209830\ 7703345738341708239485843360840224627224*c_1100_0^12 + 202553108854241316115642379438002075954707900022870015/140197824196\ 615406691476683416478971686721680449254448*c_1100_0^11 - 129089162932530526479653285771316869757379138095643263/140197824196\ 615406691476683416478971686721680449254448*c_1100_0^10 + 605190982124270182718688080984093035385763335640522261/140197824196\ 615406691476683416478971686721680449254448*c_1100_0^9 - 110966610938754075036077594648198979951341024764952219/700989120983\ 07703345738341708239485843360840224627224*c_1100_0^8 + 322763020892421676748432409169142601513245896616566443/350494560491\ 53851672869170854119742921680420112313612*c_1100_0^7 - 13352508885733044903747479066286370192414002344273281/1752472802457\ 6925836434585427059871460840210056156806*c_1100_0^6 + 989636670019740915497878227996465732325374962844552195/700989120983\ 07703345738341708239485843360840224627224*c_1100_0^5 - 51748991913517461186689793666903519965521747176379073/7009891209830\ 7703345738341708239485843360840224627224*c_1100_0^4 + 1810780986862255465243902572421162108412931151009249883/14019782419\ 6615406691476683416478971686721680449254448*c_1100_0^3 - 717227983730954293939515773202097981908344803399962059/140197824196\ 615406691476683416478971686721680449254448*c_1100_0^2 + 938570936261302156006801023191776372073288579355151289/140197824196\ 615406691476683416478971686721680449254448*c_1100_0 - 54335326821351742981372034417117885942959083937856767/1752472802457\ 6925836434585427059871460840210056156806, c_0101_0 + 13222587501306494155128419987138121069271512847455/350494560\ 49153851672869170854119742921680420112313612*c_1100_0^19 - 15522255737094629121459261420375437106282402370627/3504945604915385\ 1672869170854119742921680420112313612*c_1100_0^18 + 152736669584432043293661427218787088694371859962839/700989120983077\ 03345738341708239485843360840224627224*c_1100_0^17 - 41434318158159069694102706658379388088869844510651/1752472802457692\ 5836434585427059871460840210056156806*c_1100_0^16 - 697248983346495839155670567131467187390599886780097/350494560491538\ 51672869170854119742921680420112313612*c_1100_0^15 + 245554217225180798994431733284209560616130895063261/350494560491538\ 51672869170854119742921680420112313612*c_1100_0^14 - 2461898199137170607204772120691841255446724632008271/87623640122884\ 62918217292713529935730420105028078403*c_1100_0^13 + 2726146224694363291016168180626929913949180487622349/17524728024576\ 925836434585427059871460840210056156806*c_1100_0^12 - 24901225812723524807259614467189666214866109213448335/1752472802457\ 6925836434585427059871460840210056156806*c_1100_0^11 + 25013761300358623502112878437032663634459856269375187/3504945604915\ 3851672869170854119742921680420112313612*c_1100_0^10 - 304499255686558496671778391012321118836844287345086069/700989120983\ 07703345738341708239485843360840224627224*c_1100_0^9 + 35881571695145473096977042102280658302065448574072485/3504945604915\ 3851672869170854119742921680420112313612*c_1100_0^8 - 330786538741610090030779044872805433739605718148742969/350494560491\ 53851672869170854119742921680420112313612*c_1100_0^7 - 6983298654426930832776620706135930307176918657605886/87623640122884\ 62918217292713529935730420105028078403*c_1100_0^6 - 265038891656181503730253188529038947629056350637056071/175247280245\ 76925836434585427059871460840210056156806*c_1100_0^5 - 78360271431815151362535089411285986398613269961869793/3504945604915\ 3851672869170854119742921680420112313612*c_1100_0^4 - 531814521499691888135391577303288062395725343673791881/350494560491\ 53851672869170854119742921680420112313612*c_1100_0^3 + 50942709835236989368254190923090380605860244180265255/1752472802457\ 6925836434585427059871460840210056156806*c_1100_0^2 - 540401348245423407138167957878584123147890499222054485/700989120983\ 07703345738341708239485843360840224627224*c_1100_0 + 106227517775858979084259203004738491420082014740896709/350494560491\ 53851672869170854119742921680420112313612, c_0101_12 - 46185986893172101960243690302199480700681145076533/14019782\ 4196615406691476683416478971686721680449254448*c_1100_0^19 + 31551228265180312366187947747140459899016861528269/7009891209830770\ 3345738341708239485843360840224627224*c_1100_0^18 - 32883229347659530662821557787097075972882004533623/1752472802457692\ 5836434585427059871460840210056156806*c_1100_0^17 + 310981868018507600154534005153384626946435576322947/140197824196615\ 406691476683416478971686721680449254448*c_1100_0^16 + 608318260880532718169848068664006136887140833198587/350494560491538\ 51672869170854119742921680420112313612*c_1100_0^15 - 344722663693746719382237967401502454632285369476321/350494560491538\ 51672869170854119742921680420112313612*c_1100_0^14 + 8411253743654152971557615340673225773710475139467857/35049456049153\ 851672869170854119742921680420112313612*c_1100_0^13 - 12222160298469514874042913281469818680484654119211281/7009891209830\ 7703345738341708239485843360840224627224*c_1100_0^12 + 169573887233910169050269382204276752641439668747864241/140197824196\ 615406691476683416478971686721680449254448*c_1100_0^11 - 55209912468238936938179637081872959534673667544977141/7009891209830\ 7703345738341708239485843360840224627224*c_1100_0^10 + 259998397234884816594925603728832813410805484171150087/700989120983\ 07703345738341708239485843360840224627224*c_1100_0^9 - 193781485846542003404304162402729060556673716068638405/140197824196\ 615406691476683416478971686721680449254448*c_1100_0^8 + 558998589787588130000346281754233138875607075101377831/700989120983\ 07703345738341708239485843360840224627224*c_1100_0^7 - 7872995291418527817747140926997507940806583041935845/17524728024576\ 925836434585427059871460840210056156806*c_1100_0^6 + 869703078391441577822660342032366775830498086918279813/700989120983\ 07703345738341708239485843360840224627224*c_1100_0^5 + 2530077557339026519844682917679989814518811114200518/87623640122884\ 62918217292713529935730420105028078403*c_1100_0^4 + 1704352202340435389525393211226859466378783669578700089/14019782419\ 6615406691476683416478971686721680449254448*c_1100_0^3 - 210310078377556290330291263551478742732609820078517855/700989120983\ 07703345738341708239485843360840224627224*c_1100_0^2 + 470521025548451960250983700705941957788778271568193579/700989120983\ 07703345738341708239485843360840224627224*c_1100_0 - 242245251653396810905999379271221047946492944410187111/140197824196\ 615406691476683416478971686721680449254448, c_0110_6 - 2336552780900132964567703062337859523163031946589/8762364012\ 288462918217292713529935730420105028078403*c_1100_0^19 + 26340666445743263558408124331887620998630279183851/7009891209830770\ 3345738341708239485843360840224627224*c_1100_0^18 - 55344052839259516467062158025215652058941981044119/3504945604915385\ 1672869170854119742921680420112313612*c_1100_0^17 + 141185538063183613280217834164796904581451186031437/700989120983077\ 03345738341708239485843360840224627224*c_1100_0^16 + 484651331410830219602937624158285879970941776860943/350494560491538\ 51672869170854119742921680420112313612*c_1100_0^15 - 288988055989158193276535421849774760542257036495027/350494560491538\ 51672869170854119742921680420112313612*c_1100_0^14 + 6914764298463355840930308185403527273247206219556697/35049456049153\ 851672869170854119742921680420112313612*c_1100_0^13 - 1373190372351890996906450601763110632085527809145100/87623640122884\ 62918217292713529935730420105028078403*c_1100_0^12 + 35254913133824146970841891302091269266763469968164513/3504945604915\ 3851672869170854119742921680420112313612*c_1100_0^11 - 52511771257360572357570057034005820317707647014873749/7009891209830\ 7703345738341708239485843360840224627224*c_1100_0^10 + 108661463604780753292825177909244233724210984658195977/350494560491\ 53851672869170854119742921680420112313612*c_1100_0^9 - 105628073303723122290509255579862648693763479706144627/700989120983\ 07703345738341708239485843360840224627224*c_1100_0^8 + 234011626346005055740815834756949796002098234184288729/350494560491\ 53851672869170854119742921680420112313612*c_1100_0^7 - 23141187239411395095517033589879230433586442515845347/1752472802457\ 6925836434585427059871460840210056156806*c_1100_0^6 + 179351905789686634759845603683648753647801803537732931/175247280245\ 76925836434585427059871460840210056156806*c_1100_0^5 - 13696719765398562138083051502752104696811397378350318/8762364012288\ 462918217292713529935730420105028078403*c_1100_0^4 + 84799912804786545539846471832389738243544966929936632/8762364012288\ 462918217292713529935730420105028078403*c_1100_0^3 - 353673473913402946768472850558177601723681888936235639/700989120983\ 07703345738341708239485843360840224627224*c_1100_0^2 + 89104746670091226285791592876923076543010053734945635/1752472802457\ 6925836434585427059871460840210056156806*c_1100_0 - 222779259972200989011136411774646099614432662658897607/700989120983\ 07703345738341708239485843360840224627224, c_1001_0 - 18211837374348785891615718707710663885292362093987/140197824\ 196615406691476683416478971686721680449254448*c_1100_0^19 + 26237415751371390194858805613701319694698613526187/1401978241966154\ 06691476683416478971686721680449254448*c_1100_0^18 - 116829792112444402861356048927900314139757912316987/140197824196615\ 406691476683416478971686721680449254448*c_1100_0^17 + 79753366475115464589619099402095442921496442894981/7009891209830770\ 3345738341708239485843360840224627224*c_1100_0^16 + 441626344465564065172982918387661042890150946993263/700989120983077\ 03345738341708239485843360840224627224*c_1100_0^15 - 32416884388687677596539895734445582890983847126838/8762364012288462\ 918217292713529935730420105028078403*c_1100_0^14 + 6981339541350765266310429496163794003933636615279077/70098912098307\ 703345738341708239485843360840224627224*c_1100_0^13 - 1495931323266559150887749959206836270382516859033193/17524728024576\ 925836434585427059871460840210056156806*c_1100_0^12 + 75512460420302522694167403853666980248477157606653585/1401978241966\ 15406691476683416478971686721680449254448*c_1100_0^11 - 61676288422436966348879966195993725461441341907788531/1401978241966\ 15406691476683416478971686721680449254448*c_1100_0^10 + 242410009612957790309810080946886463433160761740709701/140197824196\ 615406691476683416478971686721680449254448*c_1100_0^9 - 17079491933714834625273559646029033616870614703814785/1752472802457\ 6925836434585427059871460840210056156806*c_1100_0^8 + 131506210160309470255081807979899497743683414168037657/350494560491\ 53851672869170854119742921680420112313612*c_1100_0^7 - 67612972827391759710661458188382303274207577808752399/7009891209830\ 7703345738341708239485843360840224627224*c_1100_0^6 + 99787995482143319261292606716469349651846405913475123/1752472802457\ 6925836434585427059871460840210056156806*c_1100_0^5 - 72175001961047501932769668294352360831899980144409033/7009891209830\ 7703345738341708239485843360840224627224*c_1100_0^4 + 791400022148757641791902647451482578615820582021016227/140197824196\ 615406691476683416478971686721680449254448*c_1100_0^3 - 440624681589592425889843326683027180212455467516297315/140197824196\ 615406691476683416478971686721680449254448*c_1100_0^2 + 368538624341003297662136991564431436166644028981711603/140197824196\ 615406691476683416478971686721680449254448*c_1100_0 - 40940903478092045994343787400301516458534339001849283/1752472802457\ 6925836434585427059871460840210056156806, c_1100_0^20 - 12/7*c_1100_0^19 + 43/7*c_1100_0^18 - 60/7*c_1100_0^17 - 355/7*c_1100_0^16 + 340/7*c_1100_0^15 - 5160/7*c_1100_0^14 + 774*c_1100_0^13 - 26779/7*c_1100_0^12 + 25238/7*c_1100_0^11 - 11941*c_1100_0^10 + 55752/7*c_1100_0^9 - 177451/7*c_1100_0^8 + 68338/7*c_1100_0^7 - 264022/7*c_1100_0^6 + 88516/7*c_1100_0^5 - 254153/7*c_1100_0^4 + 164130/7*c_1100_0^3 - 23253*c_1100_0^2 + 103870/7*c_1100_0 - 20921/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 11.160 Total time: 11.369 seconds, Total memory usage: 64.12MB