Magma V2.19-8 Tue Aug 20 2013 23:45:36 on localhost [Seed = 3886121498] Type ? for help. Type -D to quit. Loading file "K13n4127__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n4127 geometric_solution 10.95656753 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 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 -1 1 0 0 0 0 0 10 -9 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.703444868047 1.050327127836 0 5 7 6 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 -10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.492258377487 0.890222368108 7 0 8 6 0132 0132 0132 3120 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 1 -1 0 -1 0 1 0 0 1 0 -1 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.207218146053 0.781540722038 8 9 7 0 2103 0132 1023 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 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.522485903156 0.912808113413 8 10 0 11 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 0 0 0 -1 0 0 1 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.780875884863 0.549041769647 9 1 10 8 0321 0132 2031 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.411517029726 0.356607758106 2 10 1 11 3120 2031 0132 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 1 0 -1 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.522084470961 0.575264587988 2 11 3 1 0132 1023 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 9 1 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.465673286443 0.699381024879 4 5 3 2 0132 1302 2103 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 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.732261968108 0.714443715222 5 3 10 11 0321 0132 0321 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.588212543060 0.819684720788 6 4 9 5 1302 0132 0321 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.563592640522 0.347067215446 7 9 4 6 1023 0321 0132 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 -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.863441906680 0.813961510638 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_10'], 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : negation(d['c_0110_10']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0101_11'], 'c_1001_6' : negation(d['c_0110_10']), 'c_1001_1' : d['c_0011_10'], 'c_1001_0' : negation(d['c_0011_6']), 'c_1001_3' : d['c_0101_7'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_6']), 'c_1001_8' : d['c_0011_3'], 'c_1010_11' : d['c_0101_7'], 'c_1010_10' : d['c_1001_2'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_6']), 's_2_0' : negation(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_10' : d['1'], 's_2_11' : negation(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_1100_9' : d['c_1001_10'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_1001_2']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_1100_0']), 'c_1100_6' : negation(d['c_1100_0']), 'c_1100_1' : negation(d['c_1100_0']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_0101_0']), 's_3_11' : d['1'], 'c_1100_11' : d['c_1100_0'], 'c_1100_10' : negation(d['c_0011_6']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_10'], 'c_1010_6' : d['c_0011_10'], 'c_1010_5' : d['c_0011_10'], 'c_1010_4' : d['c_1001_10'], 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : negation(d['c_0011_6']), 'c_1010_1' : negation(d['c_0110_10']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0101_7'], 'c_1010_8' : d['c_1001_2'], 'c_1100_8' : negation(d['c_0101_0']), 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : negation(d['1']), 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_10'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_10'], 'c_0110_10' : d['c_0110_10'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_11'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_6'], 'c_0101_8' : d['c_0101_11'], 's_1_11' : negation(d['1']), 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_0']), 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_7']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_6, c_0101_0, c_0101_1, c_0101_11, c_0101_7, c_0110_10, c_1001_10, c_1001_2, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 77032783326440813596933028468480044515983181180925/2482080479063243\ 24867911446709369702173220183244*c_1100_0^22 + 54170000267673697000292734397192862554419827913341/4964160958126486\ 49735822893418739404346440366488*c_1100_0^21 - 567476616166760875452852587350488917098501850190083/248208047906324\ 324867911446709369702173220183244*c_1100_0^20 - 4151151518882684085233665070913641137872937530047629/49641609581264\ 8649735822893418739404346440366488*c_1100_0^19 - 4262112105468799949013855511785807396287044303173297/49641609581264\ 8649735822893418739404346440366488*c_1100_0^18 + 2498358799630371790739453903852035695952064336319497/24820804790632\ 4324867911446709369702173220183244*c_1100_0^17 + 13513606327082564454817396608993541855368041243254333/2482080479063\ 24324867911446709369702173220183244*c_1100_0^16 + 6441619438301160961797416877729437227099224905467884/62052011976581\ 081216977861677342425543305045811*c_1100_0^15 + 8959582746933676969408355992550866590710803820178329/62052011976581\ 081216977861677342425543305045811*c_1100_0^14 + 79589171240806045513307761109849830474673803998035479/4964160958126\ 48649735822893418739404346440366488*c_1100_0^13 + 81086735579218717399924202655018054135215562203356685/4964160958126\ 48649735822893418739404346440366488*c_1100_0^12 + 34977741459756214450908918454216364909838986754846215/2482080479063\ 24324867911446709369702173220183244*c_1100_0^11 + 56658648948621671004101736011003721536436435720431431/4964160958126\ 48649735822893418739404346440366488*c_1100_0^10 + 388196597023209803599492977338230066516706790968435/528102229587924\ 0954636413759773823450494046452*c_1100_0^9 + 11213035662467397671992757904634235714939910599245453/2482080479063\ 24324867911446709369702173220183244*c_1100_0^8 + 12912298275099062251904534322753255774948914078615659/4964160958126\ 48649735822893418739404346440366488*c_1100_0^7 + 3769683508187884834833757584696661354540232530479941/49641609581264\ 8649735822893418739404346440366488*c_1100_0^6 + 563272604448380926392151850228349058763745230930139/620520119765810\ 81216977861677342425543305045811*c_1100_0^5 - 2587254286579314507059193582316452605228330291107457/49641609581264\ 8649735822893418739404346440366488*c_1100_0^4 + 412968476117125034799103537042780863495198176074968/620520119765810\ 81216977861677342425543305045811*c_1100_0^3 - 1844967607335195629781753438181014757319914452243/55589708377676220\ 5751201448397244573736215416*c_1100_0^2 + 93996477866038028398385831283918897643856874069197/6205201197658108\ 1216977861677342425543305045811*c_1100_0 - 10152121803728981494101858495692287256471280933471/6205201197658108\ 1216977861677342425543305045811, c_0011_0 - 1, c_0011_10 - 171834509017418578360832792565214452891798767/2779485418883\ 81102875600724198622286868107708*c_1100_0^22 - 32304592947541464292773833142451895503469775/2779485418883811028756\ 00724198622286868107708*c_1100_0^21 + 325822451471222496455935267254388698565755128/694871354720952757189\ 00181049655571717026927*c_1100_0^20 + 4402342575152372189966528483672404365566342611/27794854188838110287\ 5600724198622286868107708*c_1100_0^19 + 3762714833048426113018473818561473136999823901/27794854188838110287\ 5600724198622286868107708*c_1100_0^18 - 6855339421850219929986722044977550865028658291/27794854188838110287\ 5600724198622286868107708*c_1100_0^17 - 29009316117506227400790025922324952671730000915/2779485418883811028\ 75600724198622286868107708*c_1100_0^16 - 50444397153561837654745293946318255172242373595/2779485418883811028\ 75600724198622286868107708*c_1100_0^15 - 33442130060245403228131078675575236735882784905/1389742709441905514\ 37800362099311143434053854*c_1100_0^14 - 73504513702557593570690930887923293141209497635/2779485418883811028\ 75600724198622286868107708*c_1100_0^13 - 76301598411207274129038589913874367920214173093/2779485418883811028\ 75600724198622286868107708*c_1100_0^12 - 32407970428755882569137833220002707215613503463/1389742709441905514\ 37800362099311143434053854*c_1100_0^11 - 24914330784520637972383483019215544262764171837/1389742709441905514\ 37800362099311143434053854*c_1100_0^10 - 7043342925224213742191391687686644307363647425/69487135472095275718\ 900181049655571717026927*c_1100_0^9 - 14946607728752419029301192065411344906885085665/2779485418883811028\ 75600724198622286868107708*c_1100_0^8 - 3757287376955707239608863249890881599600705551/13897427094419055143\ 7800362099311143434053854*c_1100_0^7 + 312255307549929364557964907355994817231867827/694871354720952757189\ 00181049655571717026927*c_1100_0^6 - 933408160767097495366814579702748698851396989/277948541888381102875\ 600724198622286868107708*c_1100_0^5 + 5499523251301740447106511390875669770307844861/27794854188838110287\ 5600724198622286868107708*c_1100_0^4 - 632127365403391125065237795735195244614629074/694871354720952757189\ 00181049655571717026927*c_1100_0^3 + 533901059797665053765600555751285403077723100/694871354720952757189\ 00181049655571717026927*c_1100_0^2 - 85861284219534038551108532739400229759878786/6948713547209527571890\ 0181049655571717026927*c_1100_0 - 132667911779887692445179447028340\ 46385494831/69487135472095275718900181049655571717026927, c_0011_3 + 130434828430622215014170456261638846256227871/69487135472095\ 275718900181049655571717026927*c_1100_0^22 + 50119767200146003554961605982677326253910563/2779485418883811028756\ 00724198622286868107708*c_1100_0^21 - 4012277272142354182739284262926830208661279445/27794854188838110287\ 5600724198622286868107708*c_1100_0^20 - 3268632545181116431846187766403382736408781715/69487135472095275718\ 900181049655571717026927*c_1100_0^19 - 9874118015305719116300497691235824998855920691/27794854188838110287\ 5600724198622286868107708*c_1100_0^18 + 23577520043686004828218248114467649893107818187/2779485418883811028\ 75600724198622286868107708*c_1100_0^17 + 88962348583678526825764478958252433172803722063/2779485418883811028\ 75600724198622286868107708*c_1100_0^16 + 144590153675780369133576625329957141273859760059/277948541888381102\ 875600724198622286868107708*c_1100_0^15 + 177258669141010052883988202055752179245612654227/277948541888381102\ 875600724198622286868107708*c_1100_0^14 + 88664680839317115530636496444629960281117365715/1389742709441905514\ 37800362099311143434053854*c_1100_0^13 + 173393503496273425817196215652285422809971022563/277948541888381102\ 875600724198622286868107708*c_1100_0^12 + 138438782974015529292535120008979349293957375869/277948541888381102\ 875600724198622286868107708*c_1100_0^11 + 52446181366872210098290473072012953024273976655/1389742709441905514\ 37800362099311143434053854*c_1100_0^10 + 27612269563770211906094588597188467731810514739/1389742709441905514\ 37800362099311143434053854*c_1100_0^9 + 7894486035509311476134887364655719543283191317/69487135472095275718\ 900181049655571717026927*c_1100_0^8 + 21102346073861057448726591307182906018864702269/2779485418883811028\ 75600724198622286868107708*c_1100_0^7 + 495819049779729213591851601182744605125897577/138974270944190551437\ 800362099311143434053854*c_1100_0^6 + 2617087969119884359172517512795085588499699393/69487135472095275718\ 900181049655571717026927*c_1100_0^5 - 11288672803111308002722496973714118197254695291/2779485418883811028\ 75600724198622286868107708*c_1100_0^4 + 11776793705525836810406699435484159193699744575/2779485418883811028\ 75600724198622286868107708*c_1100_0^3 - 1318823032291757495860443822428456733318719643/69487135472095275718\ 900181049655571717026927*c_1100_0^2 + 339959077423123264531900481658526866849940510/694871354720952757189\ 00181049655571717026927*c_1100_0 + 47729449876668120677082335911587215800124009/6948713547209527571890\ 0181049655571717026927, c_0011_6 - 56095613794725228007458423186493866446281703/277948541888381\ 102875600724198622286868107708*c_1100_0^22 + 24538704881957020232400125678838423190869245/6948713547209527571890\ 0181049655571717026927*c_1100_0^21 + 93469384416888801069163973154125356200996363/6948713547209527571890\ 0181049655571717026927*c_1100_0^20 + 132263550190793920764099109678667631744215435/694871354720952757189\ 00181049655571717026927*c_1100_0^19 - 520395499431928679328506543648474298459547725/138974270944190551437\ 800362099311143434053854*c_1100_0^18 - 2217442981302424819916225051035005285976021073/27794854188838110287\ 5600724198622286868107708*c_1100_0^17 - 1596609731371927230828177495877737658473027111/27794854188838110287\ 5600724198622286868107708*c_1100_0^16 + 789839027738188881731043472235715999954601753/277948541888381102875\ 600724198622286868107708*c_1100_0^15 - 2707966043933657219372624674852791341679129587/13897427094419055143\ 7800362099311143434053854*c_1100_0^14 - 4169477965109596591334165748413329877943366007/69487135472095275718\ 900181049655571717026927*c_1100_0^13 - 7352938912132394390928896386170535557991424338/69487135472095275718\ 900181049655571717026927*c_1100_0^12 - 7495967069390450578676073507428303284161371613/69487135472095275718\ 900181049655571717026927*c_1100_0^11 - 30651972825982439369620273361470352569237287565/2779485418883811028\ 75600724198622286868107708*c_1100_0^10 - 6170562439645917570573803182800278038022835346/69487135472095275718\ 900181049655571717026927*c_1100_0^9 - 22247073912264112718922010812885824993391037943/2779485418883811028\ 75600724198622286868107708*c_1100_0^8 - 13942273669928637135056659284609349909105885873/2779485418883811028\ 75600724198622286868107708*c_1100_0^7 - 4252980503842401869101428488891409919770945803/27794854188838110287\ 5600724198622286868107708*c_1100_0^6 - 4703689043165360784882119416278552616647074971/27794854188838110287\ 5600724198622286868107708*c_1100_0^5 + 1060619426235422408946086910222367789587934009/13897427094419055143\ 7800362099311143434053854*c_1100_0^4 - 2158541037839801339860598241458353178100465747/13897427094419055143\ 7800362099311143434053854*c_1100_0^3 + 3625471029901886291446692588203125682222958285/27794854188838110287\ 5600724198622286868107708*c_1100_0^2 - 340566731280602357667630840524343749176714324/694871354720952757189\ 00181049655571717026927*c_1100_0 - 2170356841415361543557953792267539919397638/69487135472095275718900\ 181049655571717026927, c_0101_0 + 134944198896466826984810575911040506039113619/69487135472095\ 275718900181049655571717026927*c_1100_0^22 - 66325528955305315822706052914576981261069791/2779485418883811028756\ 00724198622286868107708*c_1100_0^21 - 2019396583644873475539259061518313021500066121/13897427094419055143\ 7800362099311143434053854*c_1100_0^20 - 12558596274886201336727144938336908543755267595/2779485418883811028\ 75600724198622286868107708*c_1100_0^19 - 8179949357774278110245986927260964468375589821/27794854188838110287\ 5600724198622286868107708*c_1100_0^18 + 5794136466494359680867780318403839447540136900/69487135472095275718\ 900181049655571717026927*c_1100_0^17 + 41510586382590101215185049985837288469463673979/1389742709441905514\ 37800362099311143434053854*c_1100_0^16 + 66796524040757086117017493102187852242438062817/1389742709441905514\ 37800362099311143434053854*c_1100_0^15 + 86683810505940303043243486371380215055370459019/1389742709441905514\ 37800362099311143434053854*c_1100_0^14 + 186495959902423038747538378011106407936423209371/277948541888381102\ 875600724198622286868107708*c_1100_0^13 + 198010789448152404779716123532842666679413266279/277948541888381102\ 875600724198622286868107708*c_1100_0^12 + 42069975718534221053247238208099885823202622680/6948713547209527571\ 8900181049655571717026927*c_1100_0^11 + 141856444259909221548909349473029827677714730781/277948541888381102\ 875600724198622286868107708*c_1100_0^10 + 22205626304152068770278437466509371468349721699/6948713547209527571\ 8900181049655571717026927*c_1100_0^9 + 31554539312282031868085533500577401919649276063/1389742709441905514\ 37800362099311143434053854*c_1100_0^8 + 40325369724590518391660857527281676044694030011/2779485418883811028\ 75600724198622286868107708*c_1100_0^7 + 10046728236275814025738471348248981198767347849/2779485418883811028\ 75600724198622286868107708*c_1100_0^6 + 9117497945399024580608919614959792773602341705/13897427094419055143\ 7800362099311143434053854*c_1100_0^5 - 12490502518880723072320008555192723827271271157/2779485418883811028\ 75600724198622286868107708*c_1100_0^4 + 4208302127843490991482301490765949606745609589/69487135472095275718\ 900181049655571717026927*c_1100_0^3 - 10467102298548443747381159696912909071424325795/2779485418883811028\ 75600724198622286868107708*c_1100_0^2 + 1087935257731474065185333642488720152456973853/69487135472095275718\ 900181049655571717026927*c_1100_0 - 161089116754476762081520960498721603038060821/694871354720952757189\ 00181049655571717026927, c_0101_1 - 243561001519397104007993457250226716375886127/27794854188838\ 1102875600724198622286868107708*c_1100_0^22 + 6655532752788659700720500640464601636286726/69487135472095275718900\ 181049655571717026927*c_1100_0^21 + 883117272619001882061711394248862372708788591/138974270944190551437\ 800362099311143434053854*c_1100_0^20 + 1417871506589247577972356014530740544029994169/69487135472095275718\ 900181049655571717026927*c_1100_0^19 + 1058153282645139262834036154326707836555117061/69487135472095275718\ 900181049655571717026927*c_1100_0^18 - 8844709731970361632363771658203612584010712383/27794854188838110287\ 5600724198622286868107708*c_1100_0^17 - 36403176505997207252108531911890358430845060427/2779485418883811028\ 75600724198622286868107708*c_1100_0^16 - 64077709455895270778648043652815230647820675215/2779485418883811028\ 75600724198622286868107708*c_1100_0^15 - 45348777413375307123387472091142657799338167315/1389742709441905514\ 37800362099311143434053854*c_1100_0^14 - 25641324319543860934154366255055822606083202540/6948713547209527571\ 8900181049655571717026927*c_1100_0^13 - 53546161342637242234800010453162777040912463017/1389742709441905514\ 37800362099311143434053854*c_1100_0^12 - 43704055831393932740319549624555527289704832485/1389742709441905514\ 37800362099311143434053854*c_1100_0^11 - 69523129109551524973853127521143045019173898969/2779485418883811028\ 75600724198622286868107708*c_1100_0^10 - 19992238210954201669587875021509627888847656727/1389742709441905514\ 37800362099311143434053854*c_1100_0^9 - 24925175803243897673142352343979254143015139327/2779485418883811028\ 75600724198622286868107708*c_1100_0^8 - 11927291599845609442790515363213700045261757701/2779485418883811028\ 75600724198622286868107708*c_1100_0^7 + 1378336036896216958094009550247422597104534863/27794854188838110287\ 5600724198622286868107708*c_1100_0^6 - 4736666475454457155666160059954227474583740401/27794854188838110287\ 5600724198622286868107708*c_1100_0^5 + 3978247144667750543943647798997673855192653829/13897427094419055143\ 7800362099311143434053854*c_1100_0^4 - 1834272563966411994803929755733651825122626022/69487135472095275718\ 900181049655571717026927*c_1100_0^3 + 5773097226161348080715033352798030313219160549/27794854188838110287\ 5600724198622286868107708*c_1100_0^2 - 1368295878763592141332928335730667287687485815/13897427094419055143\ 7800362099311143434053854*c_1100_0 + 116152199430822981566425520703089584733645436/694871354720952757189\ 00181049655571717026927, c_0101_11 + 6251000030450921791285056767656072842157331/277948541888381\ 102875600724198622286868107708*c_1100_0^22 - 82702474521540739976381384374274966236395935/2779485418883811028756\ 00724198622286868107708*c_1100_0^21 - 8384015209854537822384082481811954429539991/13897427094419055143780\ 0362099311143434053854*c_1100_0^20 + 504169210528261011014428357486291736613289547/277948541888381102875\ 600724198622286868107708*c_1100_0^19 + 1680111316973921340376812731271038853296499593/27794854188838110287\ 5600724198622286868107708*c_1100_0^18 + 751632193587484535366391706698477512015541521/277948541888381102875\ 600724198622286868107708*c_1100_0^17 - 3946986995331811854751354478546462791320456869/27794854188838110287\ 5600724198622286868107708*c_1100_0^16 - 11320159048458109415310493133735304777625740623/2779485418883811028\ 75600724198622286868107708*c_1100_0^15 - 6889164678648452383934075447755079390089456655/13897427094419055143\ 7800362099311143434053854*c_1100_0^14 - 11884703520700939776515509501171788335607633061/2779485418883811028\ 75600724198622286868107708*c_1100_0^13 - 6072399524147502809955173581384612208462303123/27794854188838110287\ 5600724198622286868107708*c_1100_0^12 - 1770669793306595132643258723491263844185749045/13897427094419055143\ 7800362099311143434053854*c_1100_0^11 + 771722722969179811564856584565046354700725197/138974270944190551437\ 800362099311143434053854*c_1100_0^10 + 1441690133190477847172789702354882254919935019/13897427094419055143\ 7800362099311143434053854*c_1100_0^9 + 6515224997292948205651279712681569485201952887/27794854188838110287\ 5600724198622286868107708*c_1100_0^8 + 2550719399464790454409743491302019705418274989/13897427094419055143\ 7800362099311143434053854*c_1100_0^7 + 1434065207000607961502154961467129438562705785/13897427094419055143\ 7800362099311143434053854*c_1100_0^6 + 3982211027911115458584764555617702098245066637/27794854188838110287\ 5600724198622286868107708*c_1100_0^5 - 245004403168678579373430844484972049922256543/277948541888381102875\ 600724198622286868107708*c_1100_0^4 + 1706097274407541669801572686282445952337007613/13897427094419055143\ 7800362099311143434053854*c_1100_0^3 - 1154870004833643297692988236436456939504757937/13897427094419055143\ 7800362099311143434053854*c_1100_0^2 + 403980107340224539351838334396235708438622367/694871354720952757189\ 00181049655571717026927*c_1100_0 - 99854571580646691522892932366826487921911247/6948713547209527571890\ 0181049655571717026927, c_0101_7 - 284392060562181114615568557671176008749699131/13897427094419\ 0551437800362099311143434053854*c_1100_0^22 - 136891849841095289368433640160009660734689073/277948541888381102875\ 600724198622286868107708*c_1100_0^21 + 1055239365165950925455222551321690403401356828/69487135472095275718\ 900181049655571717026927*c_1100_0^20 + 14857282591383655175601759135416369093358870903/2779485418883811028\ 75600724198622286868107708*c_1100_0^19 + 13970213013754988994662152309221630702778149423/2779485418883811028\ 75600724198622286868107708*c_1100_0^18 - 5093833436289854881868512149532088738607945766/69487135472095275718\ 900181049655571717026927*c_1100_0^17 - 24451760729198317096055285248092567269249128150/6948713547209527571\ 8900181049655571717026927*c_1100_0^16 - 44700403449655909359681845975683185513050002352/6948713547209527571\ 8900181049655571717026927*c_1100_0^15 - 121216697506343577434773219919976532834100852123/138974270944190551\ 437800362099311143434053854*c_1100_0^14 - 262959449867092768343351852715002887517672758347/277948541888381102\ 875600724198622286868107708*c_1100_0^13 - 264525619714060100937633049281293728302144341065/277948541888381102\ 875600724198622286868107708*c_1100_0^12 - 110809469927613671837945203375948500506767770617/138974270944190551\ 437800362099311143434053854*c_1100_0^11 - 175317606212536240368014289950013088719272768051/277948541888381102\ 875600724198622286868107708*c_1100_0^10 - 52819284876261524163578131190173419761887691547/1389742709441905514\ 37800362099311143434053854*c_1100_0^9 - 15516730833039851118780715537120608552734093213/6948713547209527571\ 8900181049655571717026927*c_1100_0^8 - 33752547105295881074031890964328748793818974597/2779485418883811028\ 75600724198622286868107708*c_1100_0^7 - 4613573804804934880028929184825811335548599749/27794854188838110287\ 5600724198622286868107708*c_1100_0^6 - 5979771371754698892132583960185830846564497467/13897427094419055143\ 7800362099311143434053854*c_1100_0^5 + 13204941516049733166860291936465826699613717217/2779485418883811028\ 75600724198622286868107708*c_1100_0^4 - 6031714826450911057918470182692746771818987567/13897427094419055143\ 7800362099311143434053854*c_1100_0^3 + 7338971609744304173903560347589229657643785045/27794854188838110287\ 5600724198622286868107708*c_1100_0^2 - 1540497750790345408077597983990149528989650203/13897427094419055143\ 7800362099311143434053854*c_1100_0 + 104000871711072973437726226233384418066037490/694871354720952757189\ 00181049655571717026927, c_0110_10 + 33372317186668542922189207408488335958833512/69487135472095\ 275718900181049655571717026927*c_1100_0^22 - 260747636663049397439811215422408084888528119/277948541888381102875\ 600724198622286868107708*c_1100_0^21 - 293383285687854134850409465112082685458406858/694871354720952757189\ 00181049655571717026927*c_1100_0^20 - 1293850796275713243679672564108534368676760999/27794854188838110287\ 5600724198622286868107708*c_1100_0^19 + 5263765283758867023590502516361764813768728597/27794854188838110287\ 5600724198622286868107708*c_1100_0^18 + 7275637892616225565451946426170644089153289463/13897427094419055143\ 7800362099311143434053854*c_1100_0^17 + 6810214926553259072110673194128618127937625979/13897427094419055143\ 7800362099311143434053854*c_1100_0^16 - 7300915210333963990500088047602759599555254615/13897427094419055143\ 7800362099311143434053854*c_1100_0^15 - 26531634052878277430535809748267071685245654835/1389742709441905514\ 37800362099311143434053854*c_1100_0^14 - 87369552243635315738403733341839346896519017781/2779485418883811028\ 75600724198622286868107708*c_1100_0^13 - 98954228309728909758360878862183392963922039115/2779485418883811028\ 75600724198622286868107708*c_1100_0^12 - 53764283263733135093847176439412791555844899489/1389742709441905514\ 37800362099311143434053854*c_1100_0^11 - 97094824497993186956924215316549051390532646459/2779485418883811028\ 75600724198622286868107708*c_1100_0^10 - 42546065132665452655350705633941039854055857967/1389742709441905514\ 37800362099311143434053854*c_1100_0^9 - 27940231759791353648555193906684688656676785457/1389742709441905514\ 37800362099311143434053854*c_1100_0^8 - 32728696723280831346028449217328073978020761785/2779485418883811028\ 75600724198622286868107708*c_1100_0^7 - 22840308442189611314619043117419269708872416701/2779485418883811028\ 75600724198622286868107708*c_1100_0^6 - 1374089151221097325320503319651145528471168287/69487135472095275718\ 900181049655571717026927*c_1100_0^5 - 10665799827830389516285812887487980252242009601/2779485418883811028\ 75600724198622286868107708*c_1100_0^4 + 3242067765351763424298665550283906667457216839/13897427094419055143\ 7800362099311143434053854*c_1100_0^3 - 5594171586083514666890110373405873447717433051/27794854188838110287\ 5600724198622286868107708*c_1100_0^2 + 783040270474404508449089910838521838730995923/138974270944190551437\ 800362099311143434053854*c_1100_0 - 83456986190730006879036247520555966070034515/6948713547209527571890\ 0181049655571717026927, c_1001_10 + 150854532761321280719296797858995325288978347/6948713547209\ 5275718900181049655571717026927*c_1100_0^22 + 31907974827434911875367255879762676745262726/6948713547209527571890\ 0181049655571717026927*c_1100_0^21 - 4484996018307995497715033990580395837120551727/27794854188838110287\ 5600724198622286868107708*c_1100_0^20 - 15587527951955106023682354755819697325416780743/2779485418883811028\ 75600724198622286868107708*c_1100_0^19 - 7150282672132968165727275018361083234589505369/13897427094419055143\ 7800362099311143434053854*c_1100_0^18 + 21777714696804183561124485040838901906376777047/2779485418883811028\ 75600724198622286868107708*c_1100_0^17 + 101792544651006529890001164369226769731601824645/277948541888381102\ 875600724198622286868107708*c_1100_0^16 + 184848360617374147800727164392580153793195691071/277948541888381102\ 875600724198622286868107708*c_1100_0^15 + 252754170642080548625963665037454219951486899333/277948541888381102\ 875600724198622286868107708*c_1100_0^14 + 280374191455829374900649032447776444619603262995/277948541888381102\ 875600724198622286868107708*c_1100_0^13 + 145036930322405980998321627404349704904172119989/138974270944190551\ 437800362099311143434053854*c_1100_0^12 + 249287810448388592030504315438050365898778737623/277948541888381102\ 875600724198622286868107708*c_1100_0^11 + 200503253272476875577693107229092000395431920013/277948541888381102\ 875600724198622286868107708*c_1100_0^10 + 62419098177203798051102978251994069971027521871/1389742709441905514\ 37800362099311143434053854*c_1100_0^9 + 19118991331628772555963937912131724206520169788/6948713547209527571\ 8900181049655571717026927*c_1100_0^8 + 21918591206826900356290578980904515764364085589/1389742709441905514\ 37800362099311143434053854*c_1100_0^7 + 9302463948533135110832012894965701304286279993/27794854188838110287\ 5600724198622286868107708*c_1100_0^6 + 3655725444953363369457278311335312498715410187/69487135472095275718\ 900181049655571717026927*c_1100_0^5 - 3324650835675858519255899061715159158007728768/69487135472095275718\ 900181049655571717026927*c_1100_0^4 + 13131063802924106677582101122917603243206677291/2779485418883811028\ 75600724198622286868107708*c_1100_0^3 - 7577013929488732822302762433109634464164849871/27794854188838110287\ 5600724198622286868107708*c_1100_0^2 + 1432988092344326612694778723095975979096302903/13897427094419055143\ 7800362099311143434053854*c_1100_0 - 56402580730341016210086182146133458141660142/6948713547209527571890\ 0181049655571717026927, c_1001_2 - 203003339436037748389747695315153814638368355/27794854188838\ 1102875600724198622286868107708*c_1100_0^22 - 16562566156109349620433309327088162817580288/6948713547209527571890\ 0181049655571717026927*c_1100_0^21 + 1482095496682891919053790742315257049914709415/27794854188838110287\ 5600724198622286868107708*c_1100_0^20 + 5363055476134978472337394081187551288356989309/27794854188838110287\ 5600724198622286868107708*c_1100_0^19 + 1385476564200852213744697327227736571029814743/69487135472095275718\ 900181049655571717026927*c_1100_0^18 - 1460508731767134342207080892201821334400615356/69487135472095275718\ 900181049655571717026927*c_1100_0^17 - 16551453774105326087590499348931647578378117523/1389742709441905514\ 37800362099311143434053854*c_1100_0^16 - 32580664986694134019487512357842740318242536225/1389742709441905514\ 37800362099311143434053854*c_1100_0^15 - 97321862918087299970578951064585236082193997321/2779485418883811028\ 75600724198622286868107708*c_1100_0^14 - 120468014551369455884569244291590845640259759247/277948541888381102\ 875600724198622286868107708*c_1100_0^13 - 34208852541980735824085447490971045383965838608/6948713547209527571\ 8900181049655571717026927*c_1100_0^12 - 131582454534006010555050083244706353282704518065/277948541888381102\ 875600724198622286868107708*c_1100_0^11 - 58051709402379934392022341238933311912920013649/1389742709441905514\ 37800362099311143434053854*c_1100_0^10 - 21767299551151659375422093043335045649368635272/6948713547209527571\ 8900181049655571717026927*c_1100_0^9 - 62781361300129936762659033438192505136166097049/2779485418883811028\ 75600724198622286868107708*c_1100_0^8 - 42299009421978834030681176338657738631079583489/2779485418883811028\ 75600724198622286868107708*c_1100_0^7 - 10081515996784412254970290201254826262876302665/1389742709441905514\ 37800362099311143434053854*c_1100_0^6 - 13415002973063165761040781036508503095760924287/2779485418883811028\ 75600724198622286868107708*c_1100_0^5 + 87250461614516121032807702576484162994480555/1389742709441905514378\ 00362099311143434053854*c_1100_0^4 - 5473906187688025730470913301620736863433565589/27794854188838110287\ 5600724198622286868107708*c_1100_0^3 + 827429623984653879261707476223161289242150825/138974270944190551437\ 800362099311143434053854*c_1100_0^2 - 135119882862949229803785703682380971269445359/138974270944190551437\ 800362099311143434053854*c_1100_0 - 53537142787056394065839469834282946974163439/6948713547209527571890\ 0181049655571717026927, c_1100_0^23 - 3/23*c_1100_0^22 - 169/23*c_1100_0^21 - 534/23*c_1100_0^20 - 369/23*c_1100_0^19 + 916/23*c_1100_0^18 + 3490/23*c_1100_0^17 + 5840/23*c_1100_0^16 + 7881/23*c_1100_0^15 + 8638/23*c_1100_0^14 + 9113/23*c_1100_0^13 + 7631/23*c_1100_0^12 + 6363/23*c_1100_0^11 + 3882/23*c_1100_0^10 + 2681/23*c_1100_0^9 + 1566/23*c_1100_0^8 + 305/23*c_1100_0^7 + 737/23*c_1100_0^6 - 607/23*c_1100_0^5 + 765/23*c_1100_0^4 - 523/23*c_1100_0^3 + 266/23*c_1100_0^2 - 64/23*c_1100_0 + 8/23 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.930 Total time: 2.129 seconds, Total memory usage: 64.12MB