Magma V2.19-8 Wed Aug 21 2013 00:58:37 on localhost [Seed = 1427328989] Type ? for help. Type -D to quit. Loading file "L13n5915__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n5915 geometric_solution 12.12395473 oriented_manifold CS_known -0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 1 1 1 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 1 -1 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.226658595989 1.268997992339 0 5 7 6 0132 0132 0132 0132 1 1 1 1 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 -4 4 0 0 0 0 0 0 0 0 0 -3 4 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.564236562621 0.958572918491 8 0 9 8 0132 0132 0132 1023 1 1 1 1 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 -1 1 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.263551957700 1.045055309991 10 11 10 0 0132 0132 3012 0132 1 1 1 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 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.419494127378 0.464202341560 9 5 0 12 1023 1302 0132 0132 1 1 1 1 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.209300606679 2.020366376924 12 1 8 4 0132 0132 3120 2031 1 1 1 1 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 4 0 -4 0 0 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.317741292365 0.689936337433 10 12 1 9 2103 2310 0132 1302 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.543949895457 0.774776589556 10 11 11 1 3012 3012 0132 0132 1 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 0 0 0 0 0 0 0 0 0 0 0 3 1 -4 0 0 0 0 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.071616646355 1.185825793561 2 12 5 2 0132 0132 3120 1023 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.683907873547 0.464267320552 11 4 6 2 2031 1023 2031 0132 1 1 1 1 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 1 0 -1 0 0 0 0 -3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.226658595989 1.268997992339 3 3 6 7 0132 1230 2103 1230 1 1 0 1 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 -1 0 0 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 1.050744738726 0.840229515501 7 3 9 7 1230 0132 1302 0132 1 1 0 1 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 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.071616646355 1.185825793561 5 8 4 6 0132 0132 0132 3201 1 1 1 1 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 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.724659172463 0.732813945416 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_2'], 'c_1001_10' : d['c_0011_6'], 'c_1001_12' : d['c_0101_8'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_0101_12'], 'c_1001_7' : negation(d['c_0011_10']), 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0011_10']), 'c_1001_2' : d['c_0101_12'], 'c_1001_9' : d['c_0101_1'], 'c_1001_8' : negation(d['c_1001_5']), 'c_1010_12' : negation(d['c_1001_5']), 'c_1010_11' : negation(d['c_0011_10']), 'c_1010_10' : d['c_0011_7'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_4']), 'c_0101_10' : d['c_0101_0'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_0']), 'c_1100_5' : negation(d['c_0101_8']), 'c_1100_4' : negation(d['c_0011_6']), 'c_1100_7' : d['c_0101_9'], 'c_1100_6' : d['c_0101_9'], 'c_1100_1' : d['c_0101_9'], 'c_1100_0' : negation(d['c_0011_6']), 'c_1100_3' : negation(d['c_0011_6']), 'c_1100_2' : d['c_0101_5'], 's_3_11' : d['1'], 'c_1100_9' : d['c_0101_5'], 'c_1100_11' : d['c_0101_9'], 'c_1100_10' : d['c_0101_1'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_4'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0101_8'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_0101_12'], 'c_1010_9' : d['c_0101_12'], 'c_1010_8' : d['c_0101_8'], 'c_1100_8' : negation(d['c_0101_5']), '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_0011_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' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_4'], 'c_0011_8' : d['c_0011_0'], '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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_7'], 'c_0110_10' : d['c_0011_7'], 'c_0110_12' : d['c_0101_5'], 'c_0101_12' : d['c_0101_12'], 'c_0101_7' : d['c_0011_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_7'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : d['c_0101_12'], 'c_0110_4' : d['c_0101_12'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_1'])})} 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_4, c_0011_6, c_0011_7, c_0101_0, c_0101_1, c_0101_12, c_0101_2, c_0101_5, c_0101_8, c_0101_9, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 97244348155201569136880743568353524073119198396258606340931/2643611\ 02193022388956184676056597054083914953434619607087481600*c_1001_5^1\ 7 + 935724395606202320567638189146070455677164141904322018744959/39\ 6541653289533583434277014084895581125872430151929410631222400*c_100\ 1_5^16 + 2870399270008104355975000829203757625593211653669213413121\ /204034810028059471795357352243321626511897314202176182470400*c_100\ 1_5^15 - 1262146670836903962551460450961462967615657632236983513311\ 1531/19827082664476679171713850704244779056293621507596470531561120\ 0*c_1001_5^14 - 632030493306273311666120080862430455278634640767366\ 52110040433/7930833065790671668685540281697911622517448603038588212\ 62444800*c_1001_5^13 + 28040705633420994208211038653183681789932235\ 00476474769294871/8620470723685512683353848132280338720127661525041\ 943709374400*c_1001_5^12 - 6305244503910046092311671643066571383687\ 137656264288564536789/727599363834006575108765163458524002065820972\ 7558337809747200*c_1001_5^11 - 154708628937868903390519550292764151\ 4246404037832627179670331959/79308330657906716686855402816979116225\ 1744860303858821262444800*c_1001_5^10 + 138387278337226989446136335069038192124260839465512931878202257/720\ 98482416278833351686729833617378386522260027623529205676800*c_1001_\ 5^9 - 8982272686272641147965828931190816517701637355437504278545145\ 79/198270826644766791717138507042447790562936215075964705315611200*\ c_1001_5^8 - 119447281076151949340424439196420459378217595424819899\ 1757875/22987921929828033822276928352747569920340430733445183224998\ 4*c_1001_5^7 + 2789921777511355179066035855888392572038604251015071\ 0077963926777/79308330657906716686855402816979116225174486030385882\ 1262444800*c_1001_5^6 + 7981416722380509112961453198720696284103772\ 515054893568751740917/264361102193022388956184676056597054083914953\ 434619607087481600*c_1001_5^5 - 28142204696320069511224962201655831\ 23901074915586959946325322571/7930833065790671668685540281697911622\ 51744860303858821262444800*c_1001_5^4 + 2248406382259007524779302984914344921013068154396914543099281581/52\ 872220438604477791236935211319410816782990686923921417496320*c_1001\ _5^3 - 139728206695695818129775527956620665354426497334871074014750\ 85309/3965416532895335834342770140848955811258724301519294106312224\ 00*c_1001_5^2 - 214030625635400432261266715480637384462205387756620\ 942221863651/120164137360464722252811216389362297310870433379372548\ 6761280*c_1001_5 - 676742204191996926750903880016590055204113375363\ 370333815341013/677848979982108689631242759119479625856192188293896\ 4284294400, c_0011_0 - 1, c_0011_10 + 1, c_0011_4 - 36984431411214225842091305126095204001460390391/752459717923\ 17115551071405480085356605018269187317*c_1001_5^17 + 260101255428943370576353240422423097297310731991/752459717923171155\ 51071405480085356605018269187317*c_1001_5^16 + 1174431509487747004458631508425321935935381996486/75245971792317115\ 551071405480085356605018269187317*c_1001_5^15 - 6691933563851001948411383992311890757932801259488/75245971792317115\ 551071405480085356605018269187317*c_1001_5^14 - 535651413878499201844559186085888651447921386177/752459717923171155\ 51071405480085356605018269187317*c_1001_5^13 + 23014355610763279804929962894294561081323608625091/7524597179231711\ 5551071405480085356605018269187317*c_1001_5^12 - 123689504535598640111913210176716995157371674482150/752459717923171\ 15551071405480085356605018269187317*c_1001_5^11 - 83129936884654242255244043499160110550530693249457/7524597179231711\ 5551071405480085356605018269187317*c_1001_5^10 + 5751799429197579208810814060106988287588935639651/68405428902106468\ 68279218680007759691365297198847*c_1001_5^9 - 348179420419922917640405031355146827100347459338979/250819905974390\ 38517023801826695118868339423062439*c_1001_5^8 - 225551681628820897882256596453049934350840998096172/752459717923171\ 15551071405480085356605018269187317*c_1001_5^7 + 560792982115678691537255270598593820303910309787051/250819905974390\ 38517023801826695118868339423062439*c_1001_5^6 - 1512755669046242907743849378570469186858045046112813/75245971792317\ 115551071405480085356605018269187317*c_1001_5^5 + 664548001075681018605788456061938832061172036149742/250819905974390\ 38517023801826695118868339423062439*c_1001_5^4 + 6492236912209911918843561631709393468684135767494196/75245971792317\ 115551071405480085356605018269187317*c_1001_5^3 - 1060317413551042072972555296496631111175006226768226/25081990597439\ 038517023801826695118868339423062439*c_1001_5^2 + 3836901970867764786814508122584706214036770938935/25335344037817210\ 6232563654815102210791307303661*c_1001_5 + 242026633417008878831346003902806017329635394880249/278688784415989\ 3168558200202966124318704380340271, c_0011_6 - 36984431411214225842091305126095204001460390391/752459717923\ 17115551071405480085356605018269187317*c_1001_5^17 + 260101255428943370576353240422423097297310731991/752459717923171155\ 51071405480085356605018269187317*c_1001_5^16 + 1174431509487747004458631508425321935935381996486/75245971792317115\ 551071405480085356605018269187317*c_1001_5^15 - 6691933563851001948411383992311890757932801259488/75245971792317115\ 551071405480085356605018269187317*c_1001_5^14 - 535651413878499201844559186085888651447921386177/752459717923171155\ 51071405480085356605018269187317*c_1001_5^13 + 23014355610763279804929962894294561081323608625091/7524597179231711\ 5551071405480085356605018269187317*c_1001_5^12 - 123689504535598640111913210176716995157371674482150/752459717923171\ 15551071405480085356605018269187317*c_1001_5^11 - 83129936884654242255244043499160110550530693249457/7524597179231711\ 5551071405480085356605018269187317*c_1001_5^10 + 5751799429197579208810814060106988287588935639651/68405428902106468\ 68279218680007759691365297198847*c_1001_5^9 - 348179420419922917640405031355146827100347459338979/250819905974390\ 38517023801826695118868339423062439*c_1001_5^8 - 225551681628820897882256596453049934350840998096172/752459717923171\ 15551071405480085356605018269187317*c_1001_5^7 + 560792982115678691537255270598593820303910309787051/250819905974390\ 38517023801826695118868339423062439*c_1001_5^6 - 1512755669046242907743849378570469186858045046112813/75245971792317\ 115551071405480085356605018269187317*c_1001_5^5 + 664548001075681018605788456061938832061172036149742/250819905974390\ 38517023801826695118868339423062439*c_1001_5^4 + 6492236912209911918843561631709393468684135767494196/75245971792317\ 115551071405480085356605018269187317*c_1001_5^3 - 1060317413551042072972555296496631111175006226768226/25081990597439\ 038517023801826695118868339423062439*c_1001_5^2 + 3836901970867764786814508122584706214036770938935/25335344037817210\ 6232563654815102210791307303661*c_1001_5 + 242026633417008878831346003902806017329635394880249/278688784415989\ 3168558200202966124318704380340271, c_0011_7 - 21647820377839297344034242130672239833899499823/724590839481\ 57222382513205277119232286313888847046*c_1001_5^17 + 1361129090259215836415778329551821873631965848335/65213175553341500\ 1442618847494073090576824999623414*c_1001_5^16 + 53491395827494059293592382404453587578790270831/5573775688319786337\ 116400405932248637408760680542*c_1001_5^15 - 17515272576634513512221388242380698719032557428303/3260658777667075\ 00721309423747036545288412499811707*c_1001_5^14 - 2322161329823071105131162080924353177286916420797/32606587776670750\ 0721309423747036545288412499811707*c_1001_5^13 + 6824395531765309169178891849214326815435373107150/36229541974078611\ 191256602638559616143156944423523*c_1001_5^12 - 71970592920114324219986163588837233701152158002393/7245908394815722\ 2382513205277119232286313888847046*c_1001_5^11 - 236326475761007354890790842686886352564242709088380/326065877766707\ 500721309423747036545288412499811707*c_1001_5^10 + 15760184780507637755073508853296923798121005494809/2964235252424613\ 6429209947613366958662582954528337*c_1001_5^9 - 2754318090161103322500596368550401422256748050423561/32606587776670\ 7500721309423747036545288412499811707*c_1001_5^8 - 241727364902076178752465851531313817752749606470061/108688625922235\ 833573769807915678848429470833270569*c_1001_5^7 + 9040278638376436514477014674978255456758651863910015/65213175553341\ 5001442618847494073090576824999623414*c_1001_5^6 - 3909623824999016569800705723526497851596624869731266/32606587776670\ 7500721309423747036545288412499811707*c_1001_5^5 + 1672064150959661879146167937693694168027696472626107/10868862592223\ 5833573769807915678848429470833270569*c_1001_5^4 + 35130890875856170699507850259253046186047672065138653/6521317555334\ 15001442618847494073090576824999623414*c_1001_5^3 - 16160476084769196087986359820250658530821120768366945/6521317555334\ 15001442618847494073090576824999623414*c_1001_5^2 + 79038654732784649396820361977714630517674155454184/9880784174748712\ 143069982537788986220860984842779*c_1001_5 + 150951192877984183702868716651060689378794037937622/278688784415989\ 3168558200202966124318704380340271, c_0101_0 + 19151764237974870056191542828588494232664509301/752459717923\ 17115551071405480085356605018269187317*c_1001_5^17 - 133771360189912129242275805223556151175702103936/752459717923171155\ 51071405480085356605018269187317*c_1001_5^16 - 615073854468846843968009129144967927035408453003/752459717923171155\ 51071405480085356605018269187317*c_1001_5^15 + 3438658005621892042064351189292717735295733385176/75245971792317115\ 551071405480085356605018269187317*c_1001_5^14 + 466660643208476420732783513816442543094549569956/752459717923171155\ 51071405480085356605018269187317*c_1001_5^13 - 11996870569500477405657148780635910413404488173215/7524597179231711\ 5551071405480085356605018269187317*c_1001_5^12 + 63318316848080137998835683758280106418590911991084/7524597179231711\ 5551071405480085356605018269187317*c_1001_5^11 + 47081483254379915428561605785307912963774861414646/7524597179231711\ 5551071405480085356605018269187317*c_1001_5^10 - 3064217939916290208047857846516012735668908018810/68405428902106468\ 68279218680007759691365297198847*c_1001_5^9 + 59825196797628053515772643076904832544123209688931/8360663532479679\ 505674600608898372956113141020813*c_1001_5^8 + 149636036128690477035832787039121254972822880391136/752459717923171\ 15551071405480085356605018269187317*c_1001_5^7 - 298512405467364645025920676185450517234555548966641/250819905974390\ 38517023801826695118868339423062439*c_1001_5^6 + 758230990949792677499787261848288231229510490411526/752459717923171\ 15551071405480085356605018269187317*c_1001_5^5 - 105605902430191372594199702788486154290017067524014/836066353247967\ 9505674600608898372956113141020813*c_1001_5^4 - 3474641802751248375490873730257873199933301969921082/75245971792317\ 115551071405480085356605018269187317*c_1001_5^3 + 179187485742150261509971674138642963542233251576839/836066353247967\ 9505674600608898372956113141020813*c_1001_5^2 - 4291671492417443576835473722068900737457127612382/76006032113451631\ 8697690964445306632373921910983*c_1001_5 - 132707809819401036459583541652146252065160987804083/278688784415989\ 3168558200202966124318704380340271, c_0101_1 + 1075636250607865359340534077862018502547467021959/9781976333\ 00122502163928271241109635865237499435121*c_1001_5^17 - 7558915005699313243541482181845101340813081683140/97819763330012250\ 2163928271241109635865237499435121*c_1001_5^16 - 2629914090827707805079073929632310342516710536229/75245971792317115\ 551071405480085356605018269187317*c_1001_5^15 + 194366166356532766199519182361230835150974667960861/978197633300122\ 502163928271241109635865237499435121*c_1001_5^14 + 16572512622662496137619719350277537710516829107124/9781976333001225\ 02163928271241109635865237499435121*c_1001_5^13 - 667813611821041930584767877200748146068513514089817/978197633300122\ 502163928271241109635865237499435121*c_1001_5^12 + 3589470917372537264449945111282925891493766198222891/97819763330012\ 2502163928271241109635865237499435121*c_1001_5^11 + 2445847642163320502802906365073111356019194273110537/97819763330012\ 2502163928271241109635865237499435121*c_1001_5^10 - 165479188116292665934002554186167428201364383683906/889270575727384\ 09287629842840100875987748863585011*c_1001_5^9 + 3372466361412466094131859135209797150220669236505834/10868862592223\ 5833573769807915678848429470833270569*c_1001_5^8 + 6853511927189438551727772618000679010202786362103374/97819763330012\ 2502163928271241109635865237499435121*c_1001_5^7 - 16318651930860603541959435111307754942769329085784399/3260658777667\ 07500721309423747036545288412499811707*c_1001_5^6 + 43937413450335288179683908279867215396282118244759403/9781976333001\ 22502163928271241109635865237499435121*c_1001_5^5 - 19166831707586088886897848861455087228944148405019823/3260658777667\ 07500721309423747036545288412499811707*c_1001_5^4 - 189241065914998569981007523808281088750867042019535821/978197633300\ 122502163928271241109635865237499435121*c_1001_5^3 + 10241877265603207181538409421714307120506358131808811/1086886259222\ 35833573769807915678848429470833270569*c_1001_5^2 - 112171210342380567506377754275141102117771591253940/329359472491623\ 7381023327512596328740286994947593*c_1001_5 - 542843520383818477385924802126627010708218504584424/278688784415989\ 3168558200202966124318704380340271, c_0101_12 - 238788821777011526909843789304133243561360697531/3260658777\ 66707500721309423747036545288412499811707*c_1001_5^17 + 1678347783500685278341068603745498738203544205974/32606587776670750\ 0721309423747036545288412499811707*c_1001_5^16 + 583721187996144832324001238847765702735886063845/250819905974390385\ 17023801826695118868339423062439*c_1001_5^15 - 43162347409789001231540667318364661032079917198303/3260658777667075\ 00721309423747036545288412499811707*c_1001_5^14 - 3636005965703271370243507566882139143575780284654/32606587776670750\ 0721309423747036545288412499811707*c_1001_5^13 + 148332811423286019778023239986202952930869278898899/326065877766707\ 500721309423747036545288412499811707*c_1001_5^12 - 797085506234856072307936647971026489075566578230835/326065877766707\ 500721309423747036545288412499811707*c_1001_5^11 - 541443280488730032070368765652780460000709393454625/326065877766707\ 500721309423747036545288412499811707*c_1001_5^10 + 36645017405494065803283269597374287793522861532932/2964235252424613\ 6429209947613366958662582954528337*c_1001_5^9 - 2245081162058433512309755729075964440419705392624387/10868862592223\ 5833573769807915678848429470833270569*c_1001_5^8 - 1507444475173263697140578378530488931618742223753919/32606587776670\ 7500721309423747036545288412499811707*c_1001_5^7 + 3612615283826769295342356026763539554844636841533576/10868862592223\ 5833573769807915678848429470833270569*c_1001_5^6 - 9738530982944747548219086227156410640230021786321573/32606587776670\ 7500721309423747036545288412499811707*c_1001_5^5 + 4232782753654961022678420948193323159237430726367755/10868862592223\ 5833573769807915678848429470833270569*c_1001_5^4 + 41806887411863366820109614424772166502379318148589421/3260658777667\ 07500721309423747036545288412499811707*c_1001_5^3 - 2284036873702374603671963166848066335089641192697298/36229541974078\ 611191256602638559616143156944423523*c_1001_5^2 + 217413350995874478483831196551746373473844389073460/988078417474871\ 2143069982537788986220860984842779*c_1001_5 + 360559656305883359842477568757173125453768474487835/278688784415989\ 3168558200202966124318704380340271, c_0101_2 - 134301574566243346270552272352599884331708558073/97819763330\ 0122502163928271241109635865237499435121*c_1001_5^17 + 936807400961395513164396685256185176860637630635/978197633300122502\ 163928271241109635865237499435121*c_1001_5^16 + 332417055460194161527634579931234128178919913051/752459717923171155\ 51071405480085356605018269187317*c_1001_5^15 - 24067212889144119492211019708346795825723279807419/9781976333001225\ 02163928271241109635865237499435121*c_1001_5^14 - 3478109040815107685304686998188835661632159747805/97819763330012250\ 2163928271241109635865237499435121*c_1001_5^13 + 83818701114712004043632915476834925227601623364702/9781976333001225\ 02163928271241109635865237499435121*c_1001_5^12 - 443044868217568075982855167928369695570394737789927/978197633300122\ 502163928271241109635865237499435121*c_1001_5^11 - 331757099418613888786151464118646606209056142132350/978197633300122\ 502163928271241109635865237499435121*c_1001_5^10 + 20334735903326230656176887854686942093919012307943/8892705757273840\ 9287629842840100875987748863585011*c_1001_5^9 - 1251414718278829838802855519511470161591112985946581/32606587776670\ 7500721309423747036545288412499811707*c_1001_5^8 - 1066521413364019902352557418284088418005375046721350/97819763330012\ 2502163928271241109635865237499435121*c_1001_5^7 + 2076796639232115638097681669482773665360772090232065/32606587776670\ 7500721309423747036545288412499811707*c_1001_5^6 - 5021192996650289837399178944538586249438457844373724/97819763330012\ 2502163928271241109635865237499435121*c_1001_5^5 + 2238446277624466589374532624127159698784995988110660/32606587776670\ 7500721309423747036545288412499811707*c_1001_5^4 + 24499696355844301032709977206836067398308232440399232/9781976333001\ 22502163928271241109635865237499435121*c_1001_5^3 - 3427826086790229672106352045654890409189477938130527/32606587776670\ 7500721309423747036545288412499811707*c_1001_5^2 + 25957177617474148028254724792739609614602396789345/9880784174748712\ 143069982537788986220860984842779*c_1001_5 + 70570768627629702147279869079752938466028133019466/2786887844159893\ 168558200202966124318704380340271, c_0101_5 + 1, c_0101_8 + 19695919243851031899910049009450782960550383637/752459717923\ 17115551071405480085356605018269187317*c_1001_5^17 - 137834576575725874640237146771478986547277354253/752459717923171155\ 51071405480085356605018269187317*c_1001_5^16 - 630553518233321129899165376502279829833510456679/752459717923171155\ 51071405480085356605018269187317*c_1001_5^15 + 3545115792643470098965945411514719121818980260299/75245971792317115\ 551071405480085356605018269187317*c_1001_5^14 + 411509294576360226881038793877143768507636519248/752459717923171155\ 51071405480085356605018269187317*c_1001_5^13 - 12309964520526562710167255925192930731886416834077/7524597179231711\ 5551071405480085356605018269187317*c_1001_5^12 + 65626503950301368941118412457596411311027709648158/7524597179231711\ 5551071405480085356605018269187317*c_1001_5^11 + 46316509881893298465568889647258944770117975503676/7524597179231711\ 5551071405480085356605018269187317*c_1001_5^10 - 3034247546951895485806233615871209528648889677478/68405428902106468\ 68279218680007759691365297198847*c_1001_5^9 + 185919958619705870067194455178913677362561222343188/250819905974390\ 38517023801826695118868339423062439*c_1001_5^8 + 134711144740068427603869567304106900745761029492807/752459717923171\ 15551071405480085356605018269187317*c_1001_5^7 - 300867794343744167970106200495470412275357288681719/250819905974390\ 38517023801826695118868339423062439*c_1001_5^6 + 793126148745913576925228278444044835087660660191289/752459717923171\ 15551071405480085356605018269187317*c_1001_5^5 - 353722602006199389510598210604992563105577428678646/250819905974390\ 38517023801826695118868339423062439*c_1001_5^4 - 3515943817705408999199365691909143986592280450706320/75245971792317\ 115551071405480085356605018269187317*c_1001_5^3 + 555106691353021403800243540958518513966505252190934/250819905974390\ 38517023801826695118868339423062439*c_1001_5^2 - 2003612359624975806834085733313467862498884190139/25335344037817210\ 6232563654815102210791307303661*c_1001_5 - 130483928555129103148010307411641842626087293268111/278688784415989\ 3168558200202966124318704380340271, c_0101_9 + 19151764237974870056191542828588494232664509301/752459717923\ 17115551071405480085356605018269187317*c_1001_5^17 - 133771360189912129242275805223556151175702103936/752459717923171155\ 51071405480085356605018269187317*c_1001_5^16 - 615073854468846843968009129144967927035408453003/752459717923171155\ 51071405480085356605018269187317*c_1001_5^15 + 3438658005621892042064351189292717735295733385176/75245971792317115\ 551071405480085356605018269187317*c_1001_5^14 + 466660643208476420732783513816442543094549569956/752459717923171155\ 51071405480085356605018269187317*c_1001_5^13 - 11996870569500477405657148780635910413404488173215/7524597179231711\ 5551071405480085356605018269187317*c_1001_5^12 + 63318316848080137998835683758280106418590911991084/7524597179231711\ 5551071405480085356605018269187317*c_1001_5^11 + 47081483254379915428561605785307912963774861414646/7524597179231711\ 5551071405480085356605018269187317*c_1001_5^10 - 3064217939916290208047857846516012735668908018810/68405428902106468\ 68279218680007759691365297198847*c_1001_5^9 + 59825196797628053515772643076904832544123209688931/8360663532479679\ 505674600608898372956113141020813*c_1001_5^8 + 149636036128690477035832787039121254972822880391136/752459717923171\ 15551071405480085356605018269187317*c_1001_5^7 - 298512405467364645025920676185450517234555548966641/250819905974390\ 38517023801826695118868339423062439*c_1001_5^6 + 758230990949792677499787261848288231229510490411526/752459717923171\ 15551071405480085356605018269187317*c_1001_5^5 - 105605902430191372594199702788486154290017067524014/836066353247967\ 9505674600608898372956113141020813*c_1001_5^4 - 3474641802751248375490873730257873199933301969921082/75245971792317\ 115551071405480085356605018269187317*c_1001_5^3 + 179187485742150261509971674138642963542233251576839/836066353247967\ 9505674600608898372956113141020813*c_1001_5^2 - 4291671492417443576835473722068900737457127612382/76006032113451631\ 8697690964445306632373921910983*c_1001_5 - 132707809819401036459583541652146252065160987804083/278688784415989\ 3168558200202966124318704380340271, c_1001_5^18 - 6*c_1001_5^17 - 39*c_1001_5^16 + 148*c_1001_5^15 + 201*c_1001_5^14 - 604*c_1001_5^13 + 2697*c_1001_5^12 + 5703*c_1001_5^11 + 661*c_1001_5^10 + 26452*c_1001_5^9 + 35390*c_1001_5^8 - 38849*c_1001_5^7 - 6127*c_1001_5^6 - 11333*c_1001_5^5 - 230515*c_1001_5^4 - 95534*c_1001_5^3 + 57900*c_1001_5^2 - 208143*c_1001_5 - 182520 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.300 Total time: 1.500 seconds, Total memory usage: 64.12MB