Magma V2.19-8 Wed Aug 21 2013 00:04:05 on localhost [Seed = 3651123179] Type ? for help. Type -D to quit. Loading file "K13n1940__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1940 geometric_solution 11.76005905 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 1 2 3 0132 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 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.922378665001 0.646348905998 0 0 3 4 0132 3120 1230 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 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.285561989155 1.363803438482 5 6 6 0 0132 0132 0321 0132 0 0 0 0 0 0 0 0 -1 0 1 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 1 0 -1 4 0 -4 0 0 -1 0 1 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.305251478787 1.025014256453 7 7 0 1 0132 2310 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.005455921939 0.960089885506 8 7 1 9 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.177511270051 1.700841707737 2 10 11 12 0132 0132 0132 0132 0 0 0 0 0 -1 1 0 1 0 -1 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 4 -4 0 -4 0 4 0 0 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.363885433523 0.404301326427 11 2 2 10 2103 0132 0321 0132 0 0 0 0 0 0 0 0 1 0 -1 0 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -4 0 4 0 4 -4 0 0 -5 1 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.305251478787 1.025014256453 3 4 8 3 0132 0132 2310 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.095262595522 0.477131986829 4 7 12 11 0132 3201 1302 3120 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 -5 5 0 0 0 0 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.543438777376 0.880303181196 10 11 4 12 0132 2103 0132 2103 0 0 0 0 0 0 0 0 1 0 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 -5 0 0 5 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.607388068571 1.081714605848 9 5 6 12 0132 0132 0132 0321 0 0 0 0 0 1 0 -1 -1 0 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 -4 -1 5 5 0 0 -5 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.760669803432 0.710684252026 8 9 6 5 3120 2103 2103 0132 0 0 0 0 0 0 1 -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 0 -4 4 0 0 4 -4 0 0 0 0 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.297904039123 0.804760517179 8 10 5 9 2031 0321 0132 2103 0 0 0 0 0 1 0 -1 -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 -5 0 5 5 0 0 -5 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.488559362333 1.413861149304 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_10'], 'c_1001_11' : negation(d['c_0011_10']), 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_1001_10'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_7' : d['c_0011_11'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : negation(d['c_1001_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : d['c_1001_10'], 'c_1001_9' : d['c_0011_11'], 'c_1001_8' : negation(d['c_0101_7']), 'c_1010_12' : d['c_1001_5'], 'c_1010_11' : d['c_1001_5'], 'c_1010_10' : d['c_1001_5'], '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_11'], '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' : negation(d['1']), 's_0_1' : negation(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_0101_10']), 'c_1100_4' : d['c_0101_7'], 'c_1100_7' : negation(d['c_0011_3']), 'c_1100_6' : d['c_1001_10'], 'c_1100_1' : d['c_0101_7'], 'c_1100_0' : d['c_1001_0'], 'c_1100_3' : d['c_1001_0'], 'c_1100_2' : d['c_1001_0'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0101_10']), 'c_1100_10' : d['c_1001_10'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_0']), 'c_1010_6' : d['c_1001_10'], 'c_1010_5' : d['c_1001_10'], 'c_1010_4' : d['c_0011_11'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : d['c_0011_0'], 'c_1010_9' : negation(d['c_1001_5']), '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_10']), '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' : negation(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_10']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_3'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_10']), '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' : d['c_0011_10'], 'c_0110_11' : d['c_0101_0'], 'c_0110_10' : negation(d['c_0011_12']), 'c_0110_12' : negation(d['c_0101_7']), 'c_0101_12' : negation(d['c_0101_11']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_11'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0101_11']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_12']), 'c_0101_8' : negation(d['c_0011_12']), '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_0'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0101_7'], 'c_0110_3' : d['c_0101_7'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0101_11']), 'c_0110_4' : negation(d['c_0011_12']), 'c_0110_7' : d['c_0101_1'], 'c_1100_8' : negation(d['c_0101_11'])})} 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_3, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_7, c_1001_0, c_1001_10, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 3710651711295055766559040173725828990642703622385967258609084298191\ 4355853/15280078653896781220519296898700143008593134596487433895018\ 50505768147992*c_1001_5^24 - 26556235171598804248631659993899419809\ 0528615669037000409399009737400531335/15280078653896781220519296898\ 70014300859313459648743389501850505768147992*c_1001_5^23 - 8005749645557900485332362274843907018640752999808408602103968019421\ 22017807/7640039326948390610259648449350071504296567298243716947509\ 25252884073996*c_1001_5^22 - 81228854822109384418056981275345202993\ 77489665382583859429076681683313823237/1528007865389678122051929689\ 870014300859313459648743389501850505768147992*c_1001_5^21 - 7944828301989336562129128194021538055281526977671982693949469647503\ 013505465/152800786538967812205192968987001430085931345964874338950\ 1850505768147992*c_1001_5^20 + 102080296894874351657428226031350260\ 13914212749835600892295658565069149928086/1910009831737097652564912\ 11233751787607414182456092923687731313221018499*c_1001_5^19 + 2451947576817947461307909946039472292655445212533565405935735546174\ 79504278475/1528007865389678122051929689870014300859313459648743389\ 501850505768147992*c_1001_5^18 - 9823614050680562307401281105840242\ 8116730241178875293848604099269216464892429/15280078653896781220519\ 29689870014300859313459648743389501850505768147992*c_1001_5^17 - 1343215349745952088903250034645879399547782605419434803280470363806\ 99411154071/1389098059445161929138117899881831182599375872407948535\ 91077318706195272*c_1001_5^16 - 79311304016393376983657262740308000\ 016484200595198497089297862207914581180557/545717094782027900732832\ 03209643367887832623558883692482208946634576714*c_1001_5^15 + 8882949490936098513334818102575778171091781385679489847668922830200\ 12508002819/1528007865389678122051929689870014300859313459648743389\ 501850505768147992*c_1001_5^14 + 8998230150036418410232324028372623\ 53373100544407811929370880728304480871321277/2182868379128111602931\ 32812838573471551330494235534769928835786538306856*c_1001_5^13 + 7664820040880260662238276890644281436981491697536799949015571339888\ 14915393951/1910009831737097652564912112337517876074141824560929236\ 87731313221018499*c_1001_5^12 - 64454736412929743349890089505608190\ 952318423970893617720319960169986400345587/694549029722580964569058\ 94994091559129968793620397426795538659353097636*c_1001_5^11 - 1310704187510983719104192469683982048490823083049656240843028849693\ 88577730729/2883033708282411551041376773339649624262855584242912055\ 6638688788078264*c_1001_5^10 - 531989096795245787964718656418107241\ 7173549411143079584156590951371325048274189/15280078653896781220519\ 29689870014300859313459648743389501850505768147992*c_1001_5^9 - 1523886528382605278605435117504792500756458529231913078668876656571\ 425623417327/152800786538967812205192968987001430085931345964874338\ 9501850505768147992*c_1001_5^8 + 2576154038836913168715469207869834\ 92859867209997174043887089749585786655617093/1528007865389678122051\ 929689870014300859313459648743389501850505768147992*c_1001_5^7 + 4300180289095974868656666642009464123942945526135857788628428254994\ 7314207913/21828683791281116029313281283857347155133049423553476992\ 8835786538306856*c_1001_5^6 - 4711999653448827869541320168293528403\ 8051540202431158380305592033881760577279/76400393269483906102596484\ 4935007150429656729824371694750925252884073996*c_1001_5^5 - 1114004293008381630724595438747397721830666348849334311088378977135\ 70952423653/7640039326948390610259648449350071504296567298243716947\ 50925252884073996*c_1001_5^4 - 118278426305852501222086413350268348\ 837314872922066552385968966844841551179467/152800786538967812205192\ 9689870014300859313459648743389501850505768147992*c_1001_5^3 - 2642608401341599194545450289737358999543813129465188096080627395945\ 4015906785/15280078653896781220519296898700143008593134596487433895\ 01850505768147992*c_1001_5^2 - 466816114644867970201923016873954573\ 005474343992778731117911229080789531983/382001966347419530512982422\ 467503575214828364912185847375462626442036998*c_1001_5 + 8758359435645745061311094165904257693697033365124353461343684423642\ 5711667/15280078653896781220519296898700143008593134596487433895018\ 50505768147992, c_0011_0 - 1, c_0011_10 - 811066219325521824455746843624170473276601148742083693/4458\ 783193115197111704255534663996740878976534665158469*c_1001_5^24 - 4931332164286783186545850447918780677207735423644462065/44587831931\ 15197111704255534663996740878976534665158469*c_1001_5^23 - 29399048102605342087466326661113949915847238365005635000/4458783193\ 115197111704255534663996740878976534665158469*c_1001_5^22 - 144061188237385510826394946653594163367458545693460089973/445878319\ 3115197111704255534663996740878976534665158469*c_1001_5^21 - 7652475021110362313423704126471998534906784173634221398/44587831931\ 15197111704255534663996740878976534665158469*c_1001_5^20 + 1847053682425034723484102178224474711751316672751362947065/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^19 + 3385307826855445439892063604434277252459382767156546262326/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^18 - 6457644436243475198302773747751831513459399141605369341507/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^17 - 26723578838493805887019195016638904252921947918719186800267/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^16 - 17681815092766464119616385777819302191132759644599246601078/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^15 + 48780140143771954686187676891682233867224236323674733765207/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^14 + 93625712719482969668540536903663638858187180598474074066370/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^13 + 15974999948925109216433340074864936503943380324596768078743/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^12 - 87265224130576223618013444441144045933713793184215847409159/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^11 - 69672383133521090708324788100856635188977291583588033466254/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^10 - 6045551228434829788813842557587306836322644748574576613804/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^9 + 7556387955256293774833988664276969129457062003367905647597/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^8 + 897209703157231525761768311610624735767802715687927881055/445878319\ 3115197111704255534663996740878976534665158469*c_1001_5^7 - 1309720058814854290810228452912547328918230775284823003213/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^6 - 2002630654753424281544720807304367387205283734672042183855/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^5 - 1239255429413505402692905326735318480556845626616266224343/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^4 - 201860576773905667727774206769424102710424746988509276590/445878319\ 3115197111704255534663996740878976534665158469*c_1001_5^3 + 31248953173434604017439707456713960464088474484208114692/4458783193\ 115197111704255534663996740878976534665158469*c_1001_5^2 - 8552374842063400947325275148556163618561083206713391495/44587831931\ 15197111704255534663996740878976534665158469*c_1001_5 - 1161055354285829635953468226804808315569194593545943862/44587831931\ 15197111704255534663996740878976534665158469, c_0011_11 - 808757435991433384063789457773799209859870178342790432/4458\ 783193115197111704255534663996740878976534665158469*c_1001_5^24 - 7014509749421835446216895993416077485607511404919706965/44587831931\ 15197111704255534663996740878976534665158469*c_1001_5^23 - 42236351782332149429294401310936520621510915988378348609/4458783193\ 115197111704255534663996740878976534665158469*c_1001_5^22 - 220891981647317880224247870430807100395409469748719305640/445878319\ 3115197111704255534663996740878976534665158469*c_1001_5^21 - 387397868172773918617922143935500295724653366280211206336/445878319\ 3115197111704255534663996740878976534665158469*c_1001_5^20 + 1785237228789362949222278708146163290965397020720188391109/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^19 + 8117986082413554704459445074174857632500179883559354976143/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^18 + 2707017461539951033259327903566490824073593690222594139353/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^17 - 42207406417291168652295279663339690674388256879195270753275/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^16 - 87399567460364463192286009782611209397566806121247728809608/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^15 - 4336055194491566977332600203559433169862749267882718099926/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^14 + 209986199021687864964656809215200315371995426579133329455411/445878\ 3193115197111704255534663996740878976534665158469*c_1001_5^13 + 265462542740025986047383668717499338096995525432210857666521/445878\ 3193115197111704255534663996740878976534665158469*c_1001_5^12 - 14271366808084410507498614852930794209413379733143570173053/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^11 - 272890447778598725763744850026956901128686933423853430969573/445878\ 3193115197111704255534663996740878976534665158469*c_1001_5^10 - 204793447546117851410927429872430836403827711218111098375096/445878\ 3193115197111704255534663996740878976534665158469*c_1001_5^9 - 42244183514106169788043241817226436655246602312720734622286/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^8 + 7389583040022910503077334854728785921658144744179028129922/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^7 + 3130552898007631190193673755810655298668273553903632798499/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^6 - 3759440823410286389753208255360898905547093752948642649399/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^5 - 6605624228457864522871011663382329959493324829739655312632/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^4 - 4107487093586787584080584868412495634096421915809189320251/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^3 - 1174450722816122160029771040689729669605697149479066822724/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^2 - 190890269032419760600355057362104509336822797608004759304/445878319\ 3115197111704255534663996740878976534665158469*c_1001_5 - 17367255285113480422999758213502387781616031499522045427/4458783193\ 115197111704255534663996740878976534665158469, c_0011_12 - 487214464625393304917224833818109128681817509398786499/4458\ 783193115197111704255534663996740878976534665158469*c_1001_5^24 - 2673045788975209971882045182074431940163227554190932914/44587831931\ 15197111704255534663996740878976534665158469*c_1001_5^23 - 15853742117166991483950665793273270545834090888724054755/4458783193\ 115197111704255534663996740878976534665158469*c_1001_5^22 - 75769758604448870857422577509718155127067674916300722553/4458783193\ 115197111704255534663996740878976534665158469*c_1001_5^21 + 48483423875148441953327858533231225636195361347593920426/4458783193\ 115197111704255534663996740878976534665158469*c_1001_5^20 + 1120583238788766901010862862535425207190244113339555794678/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^19 + 1374445880845014572430334497442515360941502770570805424344/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^18 - 5194212251099681011870126126432790994254455835296421156660/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^17 - 13935967905429961497386796886322865472672041866774130305500/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^16 - 702028878462966267625532934421173850021497248297843479548/445878319\ 3115197111704255534663996740878976534665158469*c_1001_5^15 + 37111482824643812937037822419762513401089785195078167470320/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^14 + 39760829767178658440503035976194809589469273978239527632291/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^13 - 26588251059064308823594020275615155300981049505153848192322/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^12 - 63232898433895987217143569907160201455279935270303200295933/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^11 - 11484158722896683032660940146113928585356283682532892119795/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^10 + 25883626704022127002095103616474137005919070295780070679278/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^9 + 10429391903850547119666824595589464225688937038807510787197/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^8 - 1567432531137341718118361147705103296512759825650530746527/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^7 - 1432840278359905686918023668176918519625842244423269010576/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^6 - 879814971816705443125750812472126616434763606971325155814/445878319\ 3115197111704255534663996740878976534665158469*c_1001_5^5 + 45339633750049094970961536446474082112012244271773155477/4458783193\ 115197111704255534663996740878976534665158469*c_1001_5^4 + 432355555362778136746722404817357351885505314518425798036/445878319\ 3115197111704255534663996740878976534665158469*c_1001_5^3 + 159570215234901400682666787850413767397380452018233811723/445878319\ 3115197111704255534663996740878976534665158469*c_1001_5^2 + 4196320831531667967824656728980891829417156988001365351/44587831931\ 15197111704255534663996740878976534665158469*c_1001_5 + 956693417868061541684908436294607403329852122721442626/445878319311\ 5197111704255534663996740878976534665158469, c_0011_3 - 689513522537702895077912642400551792231154360798223964/44587\ 83193115197111704255534663996740878976534665158469*c_1001_5^24 - 3534259010723881046905564322805116290580199245948941967/44587831931\ 15197111704255534663996740878976534665158469*c_1001_5^23 - 20771427892915522340198487470113643943794280482190299619/4458783193\ 115197111704255534663996740878976534665158469*c_1001_5^22 - 97265382286477995013494982093661801885966120782075346136/4458783193\ 115197111704255534663996740878976534665158469*c_1001_5^21 + 118464365195219878303737768221536711281931334418158085563/445878319\ 3115197111704255534663996740878976534665158469*c_1001_5^20 + 1616190117974904081361925726731652918593611328338254620081/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^19 + 1384175234347222061571017506231791116919377602381482272331/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^18 - 8736033037758362399958492067992856558604701015753495790325/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^17 - 18427808818601617040855947688327100628950163566145451318272/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^16 + 8317350980919482584080247184399457219835943467233899035203/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^15 + 63116170893608581681461157789534843981076899290677429975717/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^14 + 45378946626886261457871904116933146247663938028427368422030/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^13 - 74843779060042031302186167379232307194189950306953249460480/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^12 - 113102020200107072656479240148555586310086083418712845098189/445878\ 3193115197111704255534663996740878976534665158469*c_1001_5^11 + 4677042608802248666895731764543626393632035198163183744006/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^10 + 73136486069411231106579364870558685262549566431993053119729/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^9 + 31797292352348094122331895965616785224628917024673785710128/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^8 - 714956932901217093239269694930291391722805703259832059829/445878319\ 3115197111704255534663996740878976534665158469*c_1001_5^7 - 2890279187773943434478062941602663108439522744189188330571/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^6 - 1267329665939321136748887653907326237303300069796002412727/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^5 + 793945644188143694438328967610068144236035425390138159956/445878319\ 3115197111704255534663996740878976534665158469*c_1001_5^4 + 1427030410121428083929375016031920850430712221705080717011/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^3 + 574314903383708357631555438573350884714352019605132876436/445878319\ 3115197111704255534663996740878976534665158469*c_1001_5^2 + 92817231212568942161677391672569797229331446784649445745/4458783193\ 115197111704255534663996740878976534665158469*c_1001_5 + 10103729358971805869257049749624552646973308524140023286/4458783193\ 115197111704255534663996740878976534665158469, c_0101_0 + 464235561032141453919088889115969725237459235875487401/44587\ 83193115197111704255534663996740878976534665158469*c_1001_5^24 + 2480812331816879484084196424162270054694097454887618662/44587831931\ 15197111704255534663996740878976534665158469*c_1001_5^23 + 14733096864405512060270986196565443941724057457968796327/4458783193\ 115197111704255534663996740878976534665158469*c_1001_5^22 + 69986560604438522731500643948947476212702808820961617501/4458783193\ 115197111704255534663996740878976534665158469*c_1001_5^21 - 56834753077389920671094950301585785384138329426270093093/4458783193\ 115197111704255534663996740878976534665158469*c_1001_5^20 - 1062836262067128196426558525148688707978061909166209853081/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^19 - 1157239453611637678697535062028540957151793717487406759074/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^18 + 5156890144730041450688818454407984555630110607366898479370/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^17 + 12607847499216108885251378101170205461630965164037337125013/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^16 - 1293967111984534393888689327565836251935931257094406352527/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^15 - 35730344254487979159227941638023984871605535284540081799722/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^14 - 33053144628370261256286454644840182536271412196229171419161/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^13 + 31146946909778733574522729127246742328118574981110876407320/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^12 + 57573392084900057124661013575747482521598944185205443706693/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^11 + 2804677315531691916091824952217268834244496265360211634197/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^10 - 26703693897495915146737583492991464001039976644997784505730/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^9 - 7312567900252175908599121629110900375940338424088774794293/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^8 + 2304168197548230389360944891745896877877364237062884715638/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^7 + 1120163185849537577710552420601997668290275527156370416364/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^6 + 733451185972672137768933966797952289934227231951623065460/445878319\ 3115197111704255534663996740878976534665158469*c_1001_5^5 - 176530271904143712409408775762097248040020737836903690636/445878319\ 3115197111704255534663996740878976534665158469*c_1001_5^4 - 419594582782558158895238873786364693724883762542596989737/445878319\ 3115197111704255534663996740878976534665158469*c_1001_5^3 - 100239428658197748868678472862131249826970382260736979208/445878319\ 3115197111704255534663996740878976534665158469*c_1001_5^2 + 5391765867280925677080876483569064218312044189493358074/44587831931\ 15197111704255534663996740878976534665158469*c_1001_5 - 1784138669178699561194577217650645854546982522904209013/44587831931\ 15197111704255534663996740878976534665158469, c_0101_1 - 966290894521998400293706660448779560213613047670824543/44587\ 83193115197111704255534663996740878976534665158469*c_1001_5^24 - 6279135237249574820178185222547523591389031118702123751/44587831931\ 15197111704255534663996740878976534665158469*c_1001_5^23 - 37440709846219320370432758778860103285208385409597921753/4458783193\ 115197111704255534663996740878976534665158469*c_1001_5^22 - 186040870191648631052334041288591182187721177765354240450/445878319\ 3115197111704255534663996740878976534665158469*c_1001_5^21 - 79467542682390422799372380308848644327832639044144905581/4458783193\ 115197111704255534663996740878976534665158469*c_1001_5^20 + 2203567788111476508098443119025473675075947776230536280915/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^19 + 4951217414274456131280219184381648863657564029111364510342/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^18 - 6100372839137011724405683102410121861873666735290401560462/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^17 - 35193003724122941816622205882949887764970824404944516554467/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^16 - 33999609531533495004379544330021661050381334670219108633353/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^15 + 50525435615872523940590838658513543642707578896135809943859/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^14 + 136296462652811282411309404699987147817864272335095187948543/445878\ 3193115197111704255534663996740878976534665158469*c_1001_5^13 + 63049713093303911772560576034717552750510277039096633811541/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^12 - 99752159523223983796221494913682056158556144798085299285264/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^11 - 125912146034577719751446070862836466804470299280447187654314/445878\ 3193115197111704255534663996740878976534665158469*c_1001_5^10 - 37830774622402494647676013293378263035480649801575249976505/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^9 + 7828815624471723671809403879021083118387837264264297919267/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^8 + 4478778124775610955212210238658524776866555238967439984302/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^7 - 1127451229390373605997287456582809097902412956759196368854/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^6 - 2925656701116042261033662131671874746652212477798387735012/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^5 - 2432206298538591217288064079109898308638436525177822071583/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^4 - 764920702982800858193861831258079700413511078821995795351/445878319\ 3115197111704255534663996740878976534665158469*c_1001_5^3 - 43890949516640977497066399938817131712871195714502368621/4458783193\ 115197111704255534663996740878976534665158469*c_1001_5^2 + 10913248453972127199195280049433924187179020307374214996/4458783193\ 115197111704255534663996740878976534665158469*c_1001_5 + 202952112266182285647718517132190515464628406647519123/445878319311\ 5197111704255534663996740878976534665158469, c_0101_10 + 5126851402928721330393596363390668248574307876708994918/445\ 8783193115197111704255534663996740878976534665158469*c_1001_5^24 + 34572942451466310701447400318905929601156229590443735339/4458783193\ 115197111704255534663996740878976534665158469*c_1001_5^23 + 206454839966667776327720644073524484936931285763501031645/445878319\ 3115197111704255534663996740878976534665158469*c_1001_5^22 + 1033882759072588689261041586476624859276710930172637684027/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^21 + 652203915235160800578291284729163680140919165169088930603/445878319\ 3115197111704255534663996740878976534665158469*c_1001_5^20 - 11642874190290164077991546033795340006066141517235978887492/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^19 - 29091054186697499066061286054550372020465378338077347278126/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^18 + 26742074457519493517705907697317488552808532506949185865504/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^17 + 195510419487017195579146128282645275754473714183112100578557/445878\ 3193115197111704255534663996740878976534665158469*c_1001_5^16 + 222274173438675861375192087451914819945893501658117447826562/445878\ 3193115197111704255534663996740878976534665158469*c_1001_5^15 - 233127691581831346856262546752540813994052884432360657963410/445878\ 3193115197111704255534663996740878976534665158469*c_1001_5^14 - 788043684373764547088737862135695856330330415448330977227168/445878\ 3193115197111704255534663996740878976534665158469*c_1001_5^13 - 486573219322366530960492025920912375519513618948282462373708/445878\ 3193115197111704255534663996740878976534665158469*c_1001_5^12 + 470505729227970744812974077693418255385687046692059289827162/445878\ 3193115197111704255534663996740878976534665158469*c_1001_5^11 + 777823588129605107277370077669912819870334154839553075122784/445878\ 3193115197111704255534663996740878976534665158469*c_1001_5^10 + 328808292002530367255411663725922583846595322535611530405127/445878\ 3193115197111704255534663996740878976534665158469*c_1001_5^9 + 5512294243490686222113636406707635719556116885180090305463/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^8 - 22232611022477112581223445068793571119664119807061187494425/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^7 + 2080666302829663614991462967679399781944609883232423640172/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^6 + 16282361929689151234980935407786785964420090386524490727457/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^5 + 16244132337067256750712760949596609084572684975115607729547/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^4 + 6829829924161627834483241429715080198022355517634801553415/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^3 + 1260955474413514100420346416062247377270002028233882013429/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^2 + 162933535896764216902012139816318905001822517787838210049/445878319\ 3115197111704255534663996740878976534665158469*c_1001_5 + 17804525722802276528982947363980035021528183501408595074/4458783193\ 115197111704255534663996740878976534665158469, c_0101_11 - 2846862468185725140642560077099480576990825320203652343/445\ 8783193115197111704255534663996740878976534665158469*c_1001_5^24 - 19862538830735293001990889779595634090132287522241138530/4458783193\ 115197111704255534663996740878976534665158469*c_1001_5^23 - 118769148154688362599823693769353837908593216533516232471/445878319\ 3115197111704255534663996740878976534665158469*c_1001_5^22 - 598747113001523507129128110897197715956988621053060918184/445878319\ 3115197111704255534663996740878976534665158469*c_1001_5^21 - 483512487968737004871169123809176297253653159264654975191/445878319\ 3115197111704255534663996740878976534665158469*c_1001_5^20 + 6442551207057788354030547714754599556338087509403841114442/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^19 + 17662281432418348798723960162964310777304078550391243538723/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^18 - 11875952703523467605855995823280787836465389149682123597226/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^17 - 113433300960770783835787130136920336426551462857385064120605/445878\ 3193115197111704255534663996740878976534665158469*c_1001_5^16 - 145933531528868228423769254175688199902222192116129154352197/445878\ 3193115197111704255534663996740878976534665158469*c_1001_5^15 + 111849781088896120682728987182479017966764913539870395504687/445878\ 3193115197111704255534663996740878976534665158469*c_1001_5^14 + 474918764742517422680488207304684680442488181058603154854275/445878\ 3193115197111704255534663996740878976534665158469*c_1001_5^13 + 351910010630241707295229565791403560984756171278027063062089/445878\ 3193115197111704255534663996740878976534665158469*c_1001_5^12 - 236485461836805150764731623781847801922233802433691528785113/445878\ 3193115197111704255534663996740878976534665158469*c_1001_5^11 - 499491306488298797965160445128522009081373272783396972769670/445878\ 3193115197111704255534663996740878976534665158469*c_1001_5^10 - 249474673490047880117167137820743811412401489444469173219175/445878\ 3193115197111704255534663996740878976534665158469*c_1001_5^9 - 17885585848191115089713775618439307360644302953450043128249/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^8 + 16754226078053454542956517988203714274178110812406604232579/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^7 + 438253277868755343610122345391386975096448610687794936764/445878319\ 3115197111704255534663996740878976534665158469*c_1001_5^6 - 9884662350092948295116538239303872367395026847148113124107/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^5 - 10729493325699341550193015733231223190348286993237913712025/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^4 - 5061088295590930855892905538641453571385882719537154037696/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^3 - 1061386483751239963675900124408261600737789103793151248890/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^2 - 112558299469716732656116589172113949151101827882764566880/445878319\ 3115197111704255534663996740878976534665158469*c_1001_5 - 13701021928033868600807967663665308186693776609916970300/4458783193\ 115197111704255534663996740878976534665158469, c_0101_7 + 778663527527895461731725721969186215568810614523592713/44587\ 83193115197111704255534663996740878976534665158469*c_1001_5^24 + 5839147615091292045624925600714554401056955709552444160/44587831931\ 15197111704255534663996740878976534665158469*c_1001_5^23 + 34949374480468442732477133786803970251421150867391773330/4458783193\ 115197111704255534663996740878976534665158469*c_1001_5^22 + 178460575383310009435588035738940839005724289868363889476/445878319\ 3115197111704255534663996740878976534665158469*c_1001_5^21 + 204216090488933335342062072293999209504017522865882210006/445878319\ 3115197111704255534663996740878976534665158469*c_1001_5^20 - 1759358904225042260234710116590651674133158003994548413286/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^19 - 5755562892846245513372602539720815455191969667767405429000/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^18 + 1568843016790715029430346109015339210612202182398685679848/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^17 + 34280179700331107269777464827764869913954992236756536874798/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^16 + 53217943129936887920357451757520546139736579749141934048121/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^15 - 21942142340343736383795669599532080093051186711741903261700/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^14 - 154280852474559765859327753490306741403150430656830090553720/445878\ 3193115197111704255534663996740878976534665158469*c_1001_5^13 - 142497124289002382535071691526664914935317378613013046272079/445878\ 3193115197111704255534663996740878976534665158469*c_1001_5^12 + 57198304533350427434294146569071935302672627680458884856088/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^11 + 179558913126575908959349782747529434322887029438958578076669/445878\ 3193115197111704255534663996740878976534665158469*c_1001_5^10 + 101953207328194105286085066053697411682409913297058363186544/445878\ 3193115197111704255534663996740878976534665158469*c_1001_5^9 + 8134263475491553908399364314587693623486752367714857318396/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^8 - 7536344306371240427826278454750612788865727301442392091389/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^7 - 481705765583634131917851982211643763729083432720799838744/445878319\ 3115197111704255534663996740878976534665158469*c_1001_5^6 + 3217524374326250020631507315575812634940783810963673000266/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^5 + 3935653184699379844086365523353899266369701150657010177143/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^4 + 1993522043734221964323335436526012932916851119412747471913/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^3 + 393984027441468613031098645220137118884494983070835059147/445878319\ 3115197111704255534663996740878976534665158469*c_1001_5^2 + 30050070353168696044322841724110782199012311649701266671/4458783193\ 115197111704255534663996740878976534665158469*c_1001_5 + 6141336644756696741591625228833256070061949008828074190/44587831931\ 15197111704255534663996740878976534665158469, c_1001_0 + 554126533036727747419967979531496142151662190419588310/44587\ 83193115197111704255534663996740878976534665158469*c_1001_5^24 + 4193553589175818499075145464432506772018937096111509061/44587831931\ 15197111704255534663996740878976534665158469*c_1001_5^23 + 25223511209972507436252259548824401132806602987511372717/4458783193\ 115197111704255534663996740878976534665158469*c_1001_5^22 + 129072442768125399426946684387372897155026653323313050201/445878319\ 3115197111704255534663996740878976534665158469*c_1001_5^21 + 156237830170240433762619808643958571375112181890497922026/445878319\ 3115197111704255534663996740878976534665158469*c_1001_5^20 - 1231694827101515558476854766539215896946953455992131184470/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^19 - 4188140954852296775850496738169640052184705469768917536354/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^18 + 687439401960774195529860287151182721262285683877657418625/445878319\ 3115197111704255534663996740878976534665158469*c_1001_5^17 + 24289670863140072778831676175351549669886871575756634493835/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^16 + 40199841419435526531268434939677337114689874748886715304074/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^15 - 11231673593834405275882024423377626056644863877599051379525/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^14 - 110581059103959914777767873172584107979544913699816565635137/445878\ 3193115197111704255534663996740878976534665158469*c_1001_5^13 - 113207735238712153194154042244182342862337396848577563569315/445878\ 3193115197111704255534663996740878976534665158469*c_1001_5^12 + 28755263114083977636419256640571483638364330702693590446004/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^11 + 132616572061079147101055457497632118384730657689094376784835/445878\ 3193115197111704255534663996740878976534665158469*c_1001_5^10 + 87426406552438269581701181074594599330789752002854137757017/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^9 + 12560008351853431847258669032365496379439483390171991057394/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^8 - 5844110658876422077544062711795425083067521905734862532675/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^7 - 873694193088841431230887019235818159688873729895251618315/445878319\ 3115197111704255534663996740878976534665158469*c_1001_5^6 + 2265065068094570409341428843498606413912764619577455451688/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^5 + 3059717822223027307121882617966689260497032807401972285876/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^4 + 1725540484965854876982906456981618550471338826090021367362/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^3 + 397657080662527199702945281923543545510667050242220035035/445878319\ 3115197111704255534663996740878976534665158469*c_1001_5^2 + 35490296728209607951016736235562110549623344290459036306/4458783193\ 115197111704255534663996740878976534665158469*c_1001_5 + 5398772750166474710896994168512973541646547431468874607/44587831931\ 15197111704255534663996740878976534665158469, c_1001_10 - 4613226485688621414714655250984642971234337368374976131/445\ 8783193115197111704255534663996740878976534665158469*c_1001_5^24 - 31085554127417548629504676030569039731136322735972444601/4458783193\ 115197111704255534663996740878976534665158469*c_1001_5^23 - 185758501900645401781485060636462788138439953706045316434/445878319\ 3115197111704255534663996740878976534665158469*c_1001_5^22 - 930195670340623970211448934713736025445564007175998579496/445878319\ 3115197111704255534663996740878976534665158469*c_1001_5^21 - 587144092104943426404098828249308558624893523804979441432/445878319\ 3115197111704255534663996740878976534665158469*c_1001_5^20 + 10454916489858347263717945764142383414992921460589478823750/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^19 + 26128895874188634681998132216389875937081696564161135423421/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^18 - 23866109155287635021324877027237337222412234952530275985066/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^17 - 175291896479860671573617344276428672198801107140093913682487/445878\ 3193115197111704255534663996740878976534665158469*c_1001_5^16 - 200415250048245033619682168889339294798596069041710424721664/445878\ 3193115197111704255534663996740878976534665158469*c_1001_5^15 + 206407403631505650844333813287743233687821650866978320355529/445878\ 3193115197111704255534663996740878976534665158469*c_1001_5^14 + 706142058460238475204182395926407172677929321042356396901913/445878\ 3193115197111704255534663996740878976534665158469*c_1001_5^13 + 443365625206118923129917949715566085255901099194097415207998/445878\ 3193115197111704255534663996740878976534665158469*c_1001_5^12 - 411707294192883208953992745107668455990092373267575155964004/445878\ 3193115197111704255534663996740878976534665158469*c_1001_5^11 - 698750862413474619113343144836947360501731709546241942509548/445878\ 3193115197111704255534663996740878976534665158469*c_1001_5^10 - 306930044066373113726444329731786430453349410430069460436252/445878\ 3193115197111704255534663996740878976534665158469*c_1001_5^9 - 11405658520459661951272171344498393421938933852547047449299/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^8 + 20631993751263786875920390002153614595537473627992820910564/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^7 - 1320871827543865443960239801041962265718817824306104786488/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^6 - 14690611219768497079783982719103074899581841087099649051918/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^5 - 14673488435137853903111270280759414663298087360158342120897/4458783\ 193115197111704255534663996740878976534665158469*c_1001_5^4 - 6353139802493244145188218458010996039954930090038344180030/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^3 - 1245796423985666944194039659178890050089430495946398309229/44587831\ 93115197111704255534663996740878976534665158469*c_1001_5^2 - 153869342935136126755370023413413508732878271248812000752/445878319\ 3115197111704255534663996740878976534665158469*c_1001_5 - 18127208423205152623834262830563401787657603246355633546/4458783193\ 115197111704255534663996740878976534665158469, c_1001_5^25 + 7*c_1001_5^24 + 42*c_1001_5^23 + 212*c_1001_5^22 + 179*c_1001_5^21 - 2238*c_1001_5^20 - 6256*c_1001_5^19 + 3758*c_1001_5^18 + 39458*c_1001_5^17 + 53131*c_1001_5^16 - 34274*c_1001_5^15 - 165225*c_1001_5^14 - 134366*c_1001_5^13 + 67024*c_1001_5^12 + 174879*c_1001_5^11 + 103272*c_1001_5^10 + 18019*c_1001_5^9 - 3911*c_1001_5^8 - 747*c_1001_5^7 + 3279*c_1001_5^6 + 3983*c_1001_5^5 + 2149*c_1001_5^4 + 596*c_1001_5^3 + 98*c_1001_5^2 + 12*c_1001_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 17.610 Total time: 17.829 seconds, Total memory usage: 134.12MB