Magma V2.19-8 Tue Aug 20 2013 23:48:41 on localhost [Seed = 3802433614] Type ? for help. Type -D to quit. Loading file "L12a1306__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L12a1306 geometric_solution 11.27135516 oriented_manifold CS_known -0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 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 0 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 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.697270900447 1.357259090020 0 5 7 6 0132 0132 0132 0132 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 1 -6 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 0.700528610051 0.582930201087 8 0 2 2 0132 0132 2031 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 -1 0 1 0 0 -1 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.580296868059 1.511701705032 6 8 6 0 0132 2310 3012 0132 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.368079997863 0.383487190948 9 5 0 5 0132 1302 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 -1 1 0 0 0 0 0 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.401057220102 1.165860402173 10 1 4 4 0132 0132 1230 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 -1 0 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.348635450223 0.678629545010 3 3 1 11 0132 1230 0132 0132 0 0 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -5 5 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 1.156546461097 0.701862185192 11 7 7 1 3201 1230 3012 0132 0 0 0 0 0 0 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 -6 6 0 0 0 0 0 0 0 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.170514490043 0.614165169886 2 10 10 3 0132 0132 0321 3201 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 0 0 0 0 0 0 0 7 -6 -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.348635450223 0.678629545010 4 11 10 11 0132 3012 0132 3201 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 -1 1 0 0 0 0 -1 6 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.736159995726 0.766974381896 5 8 8 9 0132 0132 0321 0132 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 0 0 0 0 0 0 0 -7 6 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.348635450223 0.678629545010 9 9 6 7 1230 2310 0132 2310 0 0 0 1 0 -1 1 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 -5 0 -6 0 0 6 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.401057220102 1.165860402173 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_11'], 'c_1001_10' : negation(d['c_0011_3']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_0101_10'], 'c_1001_7' : negation(d['c_0011_7']), 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0011_3'], 'c_1001_2' : d['c_0101_10'], 'c_1001_9' : negation(d['c_0011_11']), 'c_1001_8' : negation(d['c_0011_11']), 'c_1010_11' : negation(d['c_0101_1']), 'c_1010_10' : negation(d['c_0011_11']), 's_0_10' : d['1'], 's_0_11' : 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' : negation(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_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : negation(d['c_1001_5']), 'c_1100_7' : d['c_0011_7'], 'c_1100_6' : d['c_0011_7'], 'c_1100_1' : d['c_0011_7'], 'c_1100_0' : negation(d['c_1001_5']), 'c_1100_3' : negation(d['c_1001_5']), 'c_1100_2' : d['c_0101_2'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_7'], 'c_1100_10' : negation(d['c_0011_11']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_4'], 'c_1010_6' : d['c_0101_11'], 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_0101_10'], 'c_1010_9' : negation(d['c_0101_11']), 'c_1010_8' : negation(d['c_0011_3']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(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'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_4']), 'c_0011_8' : d['c_0011_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' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_4']), 'c_0110_10' : d['c_0101_5'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_4'], '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_0101_11'], '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_5'], 'c_0101_8' : negation(d['c_0101_10']), 'c_0011_10' : negation(d['c_0011_0']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0011_11']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_10']), 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0101_5'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_11']})} 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_11, c_0011_3, c_0011_4, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_2, c_0101_5, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 4 Groebner basis: [ t + 95680/42681*c_1001_5^3 + 214124/42681*c_1001_5^2 + 711457/85362*c_1001_5 + 158457/28454, c_0011_0 - 1, c_0011_11 - 376/1041*c_1001_5^3 - 275/1041*c_1001_5^2 - 1109/1041*c_1001_5 - 23/347, c_0011_3 - 1, c_0011_4 - 40/1041*c_1001_5^3 + 69/347*c_1001_5^2 - 22/1041*c_1001_5 + 886/1041, c_0011_7 + 208/1041*c_1001_5^3 + 34/1041*c_1001_5^2 + 15/347*c_1001_5 + 112/1041, c_0101_0 + 208/1041*c_1001_5^3 + 34/1041*c_1001_5^2 - 332/347*c_1001_5 + 112/1041, c_0101_1 + 1, c_0101_10 - 40/1041*c_1001_5^3 + 69/347*c_1001_5^2 - 22/1041*c_1001_5 + 886/1041, c_0101_11 + 1, c_0101_2 + 208/1041*c_1001_5^3 + 34/1041*c_1001_5^2 + 15/347*c_1001_5 + 112/1041, c_0101_5 - 104/1041*c_1001_5^3 - 17/1041*c_1001_5^2 - 181/347*c_1001_5 - 56/1041, c_1001_5^4 + 5/8*c_1001_5^3 + 7/2*c_1001_5^2 + 1/8*c_1001_5 + 41/8 ], Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_11, c_0011_3, c_0011_4, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_2, c_0101_5, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 1246256507663831483294360652938290514268591257317970953794375544752\ 5516380555/44200430756199293013546541709037330969252382473358321312\ 8206830209688833023*c_1001_5^15 + 393735026550974748095708283701200\ 66745484919333707625681387340016107254222362781/3885849298195006417\ 21950596682022478263970231058638727655854976158632154060506*c_1001_\ 5^14 + 388063000664077612962499458161735799999723777566912134262979\ 6855227847821795635279/19040661561155531444375579237419101434934541\ 321873297655136893831772975548964794*c_1001_5^13 + 5379679348758169251087482966644274886494837089338615580183586501802\ 244025808089583/190406615611555314443755792374191014349345413218732\ 97655136893831772975548964794*c_1001_5^12 + 8629022113889606262295083520865087766394987643605461441878640579069\ 017271363020523/190406615611555314443755792374191014349345413218732\ 97655136893831772975548964794*c_1001_5^11 + 1244119142449913569699004477448559678331152882804156555229591603229\ 631760426622789/272009450873650449205365417677415734784779161741047\ 1093590984833110425078423542*c_1001_5^10 + 6794834760779322673650053202775517117403668110792269005847974592032\ 586544092496501/190406615611555314443755792374191014349345413218732\ 97655136893831772975548964794*c_1001_5^9 + 2214755039673520465303166877489860572799564151973238368100089504613\ 905793264857360/952033078057776572218778961870955071746727066093664\ 8827568446915886487774482397*c_1001_5^8 + 3034626556158022196705897912128981513282812147538202846127537015585\ 851080369492321/190406615611555314443755792374191014349345413218732\ 97655136893831772975548964794*c_1001_5^7 + 9249135126729171223895285534333740560937682515142645516185897125156\ 89902611751822/9520330780577765722187789618709550717467270660936648\ 827568446915886487774482397*c_1001_5^6 - 1389324331804174372675411158384092782156243361413115774055355002114\ 183880941136645/190406615611555314443755792374191014349345413218732\ 97655136893831772975548964794*c_1001_5^5 + 1020592784210438601840420355164465062911383085593971746461539172550\ 762748809935/814399553513923500614866519992262678996344795631877572\ 9314325847636003228813*c_1001_5^4 + 1106594926206860873241175161452740842041596514868442687117124522952\ 798149859917886/952033078057776572218778961870955071746727066093664\ 8827568446915886487774482397*c_1001_5^3 + 9530713744901497180214638773130667798276244008010462734500362555927\ 42962923801727/9520330780577765722187789618709550717467270660936648\ 827568446915886487774482397*c_1001_5^2 - 6413904195022143694460239725563706267975460476557796031778247067002\ 2757910177031/95203307805777657221877896187095507174672706609366488\ 27568446915886487774482397*c_1001_5 + 4574073644620685988621369063540971827795215327038322356701490729273\ 34107688285/1601401308759926950746474284055433257774141406381269777\ 5556681103257338560946, c_0011_0 - 1, c_0011_11 + 10061390999961885784877554264253889576547297932448511902887\ 4422703/32024459172509454891903661261057669208895080659047582554210\ 513954*c_1001_5^15 + 1083051378540689192212934171208561239178545310\ 78034626197298159966/1601222958625472744595183063052883460444754032\ 9523791277105256977*c_1001_5^14 + 110009670049016809023220370497086\ 0562211216903388579468078255168489/11208560710378309212166281441370\ 1842231132782306666538939736798839*c_1001_5^13 + 781786898811069997563107979426487576558413601732381260186857368460/\ 112085607103783092121662814413701842231132782306666538939736798839*\ c_1001_5^12 + 25644755061901923119784745224658775354551430007266231\ 90235308842324/1120856071037830921216628144137018422311327823066665\ 38939736798839*c_1001_5^11 + 46106636437097495786688489385497147835\ 058976411327897281504963451/160122295862547274459518306305288346044\ 47540329523791277105256977*c_1001_5^10 + 3282097664425885890617135910488984345987613334370408373575805433445\ /224171214207566184243325628827403684462265564613333077879473597678\ *c_1001_5^9 - 14613104747285543236553338668572248641291424113341970\ 40228717578771/2241712142075661842433256288274036844622655646133330\ 77879473597678*c_1001_5^8 + 569852463666544041524943518946080271938\ 7403871160043648853638931053/22417121420756618424332562882740368446\ 2265564613333077879473597678*c_1001_5^7 - 440607826292152768696445316660906504147788224521840208677740796055/\ 32024459172509454891903661261057669208895080659047582554210513954*c\ _1001_5^6 + 5248822575529495910016765812284716144209086065461618196\ 78575157537/2241712142075661842433256288274036844622655646133330778\ 79473597678*c_1001_5^5 - 136118492674382571411356784449603224776512\ 5480847475514382973633/67117130002265324623750188271677749839001666\ 0518961311016388017*c_1001_5^4 + 1466264777050046621284493170162139\ 834275001245819877318552261375357/112085607103783092121662814413701\ 842231132782306666538939736798839*c_1001_5^3 - 283540469452702240811832322733175567390252867389333376716201336039/\ 112085607103783092121662814413701842231132782306666538939736798839*\ c_1001_5^2 - 117679778172617525467598617559938517916886767677235703\ 263832396311/224171214207566184243325628827403684462265564613333077\ 879473597678*c_1001_5 + 6985201683015365434185907894766631485479492\ 14459897564216455257/5467590590428443518129893386034236206396721088\ 130075070231063358, c_0011_3 - 1, c_0011_4 + 353199190637662446524495226465200612943611771823452617691985\ 79263/3202445917250945489190366126105766920889508065904758255421051\ 3954*c_1001_5^15 + 508450170785330671281504370698795022139231016998\ 12648559680036532/1601222958625472744595183063052883460444754032952\ 3791277105256977*c_1001_5^14 + 615316376364721210166405883090683432\ 183127984364342104434155816046/112085607103783092121662814413701842\ 231132782306666538939736798839*c_1001_5^13 + 652908324785651927377730434424791412661859303345337523326417353549/\ 112085607103783092121662814413701842231132782306666538939736798839*\ c_1001_5^12 + 12428384614329933171956991164709310851013975454901308\ 77621015654356/1120856071037830921216628144137018422311327823066665\ 38939736798839*c_1001_5^11 + 12496277571114711407040160253966902994\ 0208439755102075116814201168/16012229586254727445951830630528834604\ 447540329523791277105256977*c_1001_5^10 + 1822286663616361465957745088890921893954004105320866193714220593671\ /224171214207566184243325628827403684462265564613333077879473597678\ *c_1001_5^9 + 58369684760911541072216189592545418869462986930570585\ 5214248460051/22417121420756618424332562882740368446226556461333307\ 7879473597678*c_1001_5^8 + 1746102622763997422866272831341462014052\ 522531945121443189541660979/224171214207566184243325628827403684462\ 265564613333077879473597678*c_1001_5^7 + 214306504342907332386253556213842742373343311686074802421559345739/\ 224171214207566184243325628827403684462265564613333077879473597678*\ c_1001_5^6 - 295549913960749379888365662663259052582962793308935719\ 577555028093/224171214207566184243325628827403684462265564613333077\ 879473597678*c_1001_5^5 - 11752202147773691805408158891612515314710\ 7010204701844311554652/95881614288950463748214554673825356912859522\ 931280187288055431*c_1001_5^4 + 24459607211801185318863094119661555\ 2250653419501060457260890816864/11208560710378309212166281441370184\ 2231132782306666538939736798839*c_1001_5^3 + 184179668167018504453704041215632827365874914714421941667760953588/\ 112085607103783092121662814413701842231132782306666538939736798839*\ c_1001_5^2 + 675593003489033145692076406637705031694928319416246077\ 83871701879/2241712142075661842433256288274036844622655646133330778\ 79473597678*c_1001_5 - 33939309053078693836250100335773208245650300\ 88442253971298663905/5467590590428443518129893386034236206396721088\ 130075070231063358, c_0011_7 + 638509872251334235088051638716436763351065692204707891313014\ 71779/3202445917250945489190366126105766920889508065904758255421051\ 3954*c_1001_5^15 + 187131721866457953414676133206273185425158871674\ 183750376677864029/320244591725094548919036612610576692088950806590\ 47582554210513954*c_1001_5^14 + 21386424551204149391813377512159801\ 51987010455439141740741906112005/2241712142075661842433256288274036\ 84462265564613333077879473597678*c_1001_5^13 + 2071237780373778355339201959827347278506097818723403490404451430763\ /224171214207566184243325628827403684462265564613333077879473597678\ *c_1001_5^12 + 4003289321659866160605296384782829697054400252032283\ 644816431570391/224171214207566184243325628827403684462265564613333\ 077879473597678*c_1001_5^11 + 4059316049210507211050301650979580828\ 79779362275769291053945874369/3202445917250945489190366126105766920\ 8895080659047582554210513954*c_1001_5^10 + 1084349934266542942430904726859867686818393936378826971845165031420\ /112085607103783092121662814413701842231132782306666538939736798839\ *c_1001_5^9 + 46550765779234685127365517275737529355909737926324019\ 8250477787879/22417121420756618424332562882740368446226556461333307\ 7879473597678*c_1001_5^8 + 1259186996995173914083462594167247332065\ 124813155719005367394200477/112085607103783092121662814413701842231\ 132782306666538939736798839*c_1001_5^7 + 33827396959498446463785155619343249960416233661320114668971133063/3\ 2024459172509454891903661261057669208895080659047582554210513954*c_\ 1001_5^6 - 80836128387782986398997459488453358833684474698739018857\ 4376699526/11208560710378309212166281441370184223113278230666653893\ 9736798839*c_1001_5^5 - 1464268399106340404267715058055863839606067\ 378933461966519017529/671171300022653246237501882716777498390016660\ 518961311016388017*c_1001_5^4 + 66939781379752950639476532578695586\ 1589142682753854671588028860051/11208560710378309212166281441370184\ 2231132782306666538939736798839*c_1001_5^3 + 286157168267860607036650538063859826211781777107213663448359032201/\ 112085607103783092121662814413701842231132782306666538939736798839*\ c_1001_5^2 - 256843893361918203866174917760314356935796455840201842\ 093060182069/224171214207566184243325628827403684462265564613333077\ 879473597678*c_1001_5 - 4301992574159358090423272431270758754427681\ 78521849695675682931/2733795295214221759064946693017118103198360544\ 065037535115531679, c_0101_0 + 181283576999581818157946415000845239794784986707447354477214\ 7234/69618389505455336721529698393603628714989305780538222943935899\ 9*c_1001_5^15 + 470079671341980777569678352233115624779450289280515\ 9715508344343/69618389505455336721529698393603628714989305780538222\ 9439358999*c_1001_5^14 + 523353918018993538100407440269320057869111\ 25886056870735349115916/4873287265381873570507078887552254010049251\ 404637675606075512993*c_1001_5^13 + 49097795035185997374511898139406904643040423805475616680919249348/4\ 873287265381873570507078887552254010049251404637675606075512993*c_1\ 001_5^12 + 11063001853062087112954241010152225879494118381217360425\ 8419714971/48732872653818735705070788875522540100492514046376756060\ 75512993*c_1001_5^11 + 82630239451947256211952761779562593774136440\ 83413141953647152255/6961838950545533672152969839360362871498930578\ 05382229439358999*c_1001_5^10 + 69939480417460300824410942686632699\ 742233949133390348634513425516/487328726538187357050707888755225401\ 0049251404637675606075512993*c_1001_5^9 + 1483453415830386844310377808374389130127669875616115436113436289/69\ 6183895054553367215296983936036287149893057805382229439358999*c_100\ 1_5^8 + 86651462586815951843529674067470523037028067317102190204857\ 141730/487328726538187357050707888755225401004925140463767560607551\ 2993*c_1001_5^7 - 1451436317874746190964599152029788170235530276912\ 6018080708693341/48732872653818735705070788875522540100492514046376\ 75606075512993*c_1001_5^6 - 213809814011935246813719466698378157640\ 00889828062652268956165909/4873287265381873570507078887552254010049\ 251404637675606075512993*c_1001_5^5 - 18624181567390517973987882380167941174748099097334319028089172/2918\ 1360870550141140760951422468586886522463500824404826799479*c_1001_5\ ^4 + 31258361942982220353194119897677006771402251172233593536148012\ 839/487328726538187357050707888755225401004925140463767560607551299\ 3*c_1001_5^3 + 4292318205775793410819234111430366576155996683334164\ 353362547307/487328726538187357050707888755225401004925140463767560\ 6075512993*c_1001_5^2 - 1330125729222724203229618009153423887037856\ 165318739981918465793/696183895054553367215296983936036287149893057\ 805382229439358999*c_1001_5 + 4447747861357720320140873459009838222\ 8018745224044503379100478/11886066500931398952456289969639643926949\ 3936698479892831110073, c_0101_1 - 167369487446426350351158512319089797453302389704560469759385\ 3373/69618389505455336721529698393603628714989305780538222943935899\ 9*c_1001_5^15 - 443184200236980105938505420784320916828999017917023\ 9331792937098/69618389505455336721529698393603628714989305780538222\ 9439358999*c_1001_5^14 - 553737444642688750921936807698695211935930\ 07090462337662483325949/4873287265381873570507078887552254010049251\ 404637675606075512993*c_1001_5^13 - 61162300368340390997534147391823804680234104674635305693248075323/4\ 873287265381873570507078887552254010049251404637675606075512993*c_1\ 001_5^12 - 12540599280528375963743851334933719875893816021568463186\ 5109762341/48732872653818735705070788875522540100492514046376756060\ 75512993*c_1001_5^11 - 11126065376551431911171062115793864814694955\ 773871998469778955438/696183895054553367215296983936036287149893057\ 805382229439358999*c_1001_5^10 - 1127006433437864735447471288969128\ 55428459077720579081758355826832/4873287265381873570507078887552254\ 010049251404637675606075512993*c_1001_5^9 - 30637184441394675148247287077731168456292790783701053595693995498/4\ 873287265381873570507078887552254010049251404637675606075512993*c_1\ 001_5^8 - 109014011673463480599857493063518277084679950103318639022\ 761623394/487328726538187357050707888755225401004925140463767560607\ 5512993*c_1001_5^7 + 1009968110784342072869625513962426689420180899\ 3619112703851606511/48732872653818735705070788875522540100492514046\ 37675606075512993*c_1001_5^6 - 207593222452090235795190602616261855\ 7619886054764872380701788858/69618389505455336721529698393603628714\ 9893057805382229439358999*c_1001_5^5 + 105750027702985596293732088686617596028802805071475554795929336/291\ 81360870550141140760951422468586886522463500824404826799479*c_1001_\ 5^4 - 2467197452113323827386501341258796834899302750038720387459854\ 7802/48732872653818735705070788875522540100492514046376756060755129\ 93*c_1001_5^3 - 331459400488957281486306937464531015828018147609425\ 4254577896084/48732872653818735705070788875522540100492514046376756\ 06075512993*c_1001_5^2 - 102068262739032885276551657499422083193692\ 25158769323270752934716/4873287265381873570507078887552254010049251\ 404637675606075512993*c_1001_5 - 1417873267188096601195943325166635\ 37903889150206588628570575461/1188606650093139895245628996963964392\ 69493936698479892831110073, c_0101_10 + 12756109560920097095670404801638321711066231341615479543996\ 9088637/32024459172509454891903661261057669208895080659047582554210\ 513954*c_1001_5^15 + 1625428545815176905858994760257941634086697909\ 07938943090787342699/1601222958625472744595183063052883460444754032\ 9523791277105256977*c_1001_5^14 + 192012917401153003382237838845342\ 3804460117725862996621149470091981/11208560710378309212166281441370\ 1842231132782306666538939736798839*c_1001_5^13 + 1963103739041359927919420902772406495510822736093813369714114218863\ /112085607103783092121662814413701842231132782306666538939736798839\ *c_1001_5^12 + 4309409331764944756818953667142512699674857750166879\ 243349645243193/112085607103783092121662814413701842231132782306666\ 538939736798839*c_1001_5^11 + 3283004149156933928381688819080214530\ 11999609058966133448566199843/1601222958625472744595183063052883460\ 4447540329523791277105256977*c_1001_5^10 + 6884450277277576832366378941042363338208380519807533179753842345607\ /224171214207566184243325628827403684462265564613333077879473597678\ *c_1001_5^9 + 13393205139788146142556948950515441477170132401604564\ 49888990400017/2241712142075661842433256288274036844622655646133330\ 77879473597678*c_1001_5^8 + 742052699552589130852140820324304370291\ 7562524034228354097150874219/22417121420756618424332562882740368446\ 2265564613333077879473597678*c_1001_5^7 - 1350420593222198113130575672713265813986739318828716739233236108603\ /224171214207566184243325628827403684462265564613333077879473597678\ *c_1001_5^6 + 25919575230000992835494229285219889511617127262471959\ 4471622115573/22417121420756618424332562882740368446226556461333307\ 7879473597678*c_1001_5^5 - 2403523926152008615940563427471666605758\ 017243365499054460933133/671171300022653246237501882716777498390016\ 660518961311016388017*c_1001_5^4 + 1004474985340401566661087191504350180530024631149099362405152875283\ /112085607103783092121662814413701842231132782306666538939736798839\ *c_1001_5^3 - 22032325341174641599182717544252511864245071404991699\ 75083902875/1601222958625472744595183063052883460444754032952379127\ 7105256977*c_1001_5^2 + 4471271080156301130069045666322778102453408\ 36577598232403871358295/2241712142075661842433256288274036844622655\ 64613333077879473597678*c_1001_5 + 6294868993839849171406427099075419684195730146445449328393949489/54\ 67590590428443518129893386034236206396721088130075070231063358, c_0101_11 - 10201120859342424124456899372003595545152110848332478131680\ 8303627/32024459172509454891903661261057669208895080659047582554210\ 513954*c_1001_5^15 - 2791885447422082959777991519952319484280316254\ 12025952228764469155/3202445917250945489190366126105766920889508065\ 9047582554210513954*c_1001_5^14 - 487224285768677027864699535659990\ 100618629757587667295952391611941/320244591725094548919036612610576\ 69208895080659047582554210513954*c_1001_5^13 - 3562031267013446737927273664519264966994160504272718415375077841295\ /224171214207566184243325628827403684462265564613333077879473597678\ *c_1001_5^12 - 7092609419684800684312651871052105664276574602200341\ 701824565133107/224171214207566184243325628827403684462265564613333\ 077879473597678*c_1001_5^11 - 6274463772365144429096602052145487367\ 42559682792824565368363584085/3202445917250945489190366126105766920\ 8895080659047582554210513954*c_1001_5^10 - 403926606984531888517302192542811954439051795308926583709885594500/\ 16012229586254727445951830630528834604447540329523791277105256977*c\ _1001_5^9 - 8467016972616832198520606707024687781384697977888709960\ 86738266061/2241712142075661842433256288274036844622655646133330778\ 79473597678*c_1001_5^8 - 272954403676050860478201386277667885893034\ 3978749147676972908043028/11208560710378309212166281441370184223113\ 2782306666538939736798839*c_1001_5^7 + 638641843241298677463900444362237822718670397740346750509111061385/\ 224171214207566184243325628827403684462265564613333077879473597678*\ c_1001_5^6 + 111139562404853673342444358115860574667177225210831867\ 351845680414/112085607103783092121662814413701842231132782306666538\ 939736798839*c_1001_5^5 + 46968982599978629840321575414112632495633\ 78600959082252192717700/6711713000226532462375018827167774983900166\ 60518961311016388017*c_1001_5^4 - 772722842122273748439475632784581\ 805479625131657097990732366992623/112085607103783092121662814413701\ 842231132782306666538939736798839*c_1001_5^3 - 350647339106998203362103512039123950286636891808334810941386661762/\ 112085607103783092121662814413701842231132782306666538939736798839*\ c_1001_5^2 - 225269883454334229477271553335795779131815509914202897\ 136065393503/224171214207566184243325628827403684462265564613333077\ 879473597678*c_1001_5 + 1026642035366906227106655610167910537991908\ 584633234577429661603/273379529521422175906494669301711810319836054\ 4065037535115531679, c_0101_2 + 179526361603444071520292969996036579751015573585131115358816\ 173655/320244591725094548919036612610576692088950806590475825542105\ 13954*c_1001_5^15 + 44887579053101290275749231524205716919672183663\ 3591348913621879071/32024459172509454891903661261057669208895080659\ 047582554210513954*c_1001_5^14 + 5036729322767908619552282875681005\ 629603170773676298036785818115419/224171214207566184243325628827403\ 684462265564613333077879473597678*c_1001_5^13 + 4805236901588660193984120013279707463621924451103579283471792963989\ /224171214207566184243325628827403684462265564613333077879473597678\ *c_1001_5^12 + 1119756586358071859201510805792594792518446925496303\ 2214678574690051/22417121420756618424332562882740368446226556461333\ 3077879473597678*c_1001_5^11 + 775061876355576763210684233734873790\ 989671654794354298999052955967/320244591725094548919036612610576692\ 08895080659047582554210513954*c_1001_5^10 + 3960818161575427769397859690204886472713499510523627539236907427056\ /112085607103783092121662814413701842231132782306666538939736798839\ *c_1001_5^9 + 14185877377360796896480888861917930576830802660361663\ 68134211658739/2241712142075661842433256288274036844622655646133330\ 77879473597678*c_1001_5^8 + 481965459991271165867079498758850864519\ 7441031888613642955031734008/11208560710378309212166281441370184223\ 1132782306666538939736798839*c_1001_5^7 - 1644771151229788272368799583744903060804654188287458577358630581875\ /224171214207566184243325628827403684462265564613333077879473597678\ *c_1001_5^6 - 34903279214204465712618912279453384246007356151054897\ 5246712891337/11208560710378309212166281441370184223113278230666653\ 8939736798839*c_1001_5^5 - 3162728672195862125492668036670601863280\ 9427325863016978832637/95881614288950463748214554673825356912859522\ 931280187288055431*c_1001_5^4 + 15452948273280643713646283840374862\ 92859110779037246502060971224393/1120856071037830921216628144137018\ 42231132782306666538939736798839*c_1001_5^3 + 25220785505129080863785611377401913376862688549936589827607069180/1\ 12085607103783092121662814413701842231132782306666538939736798839*c\ _1001_5^2 + 9937789965450092630416350075898944597307643332250992214\ 0550949245/22417121420756618424332562882740368446226556461333307787\ 9473597678*c_1001_5 + 344965092630640313317864754491531527283288942\ 8198950888849654546/27337952952142217590649466930171181031983605440\ 65037535115531679, c_0101_5 + 855760541497994264639434638109214835543460128354687531922745\ 65/16980095001330569932080414242342348467070562385497127547301439*c\ _1001_5^15 + 228254062745784242964143372045422868667993742985205530\ 694083876/169800950013305699320804142423423484670705623854971275473\ 01439*c_1001_5^14 + 26728397149888972953165923565563875915377005332\ 05787274655804883/1188606650093139895245628996963964392694939366984\ 79892831110073*c_1001_5^13 + 27100627463921369361677242918014014799\ 73514527598730589026352459/1188606650093139895245628996963964392694\ 93936698479892831110073*c_1001_5^12 + 5740412400272744648680989232651558806772902673488160726901113472/11\ 8860665009313989524562899696396439269493936698479892831110073*c_100\ 1_5^11 + 4944064064948436737968678190204028876987630805896882632488\ 63220/1698009500133056993208041424234234846707056238549712754730143\ 9*c_1001_5^10 + 431350141136360661377953158968049102949350827567527\ 2331393790931/11886066500931398952456289969639643926949393669847989\ 2831110073*c_1001_5^9 + 1098416597284270006149138849865529171667139\ 147551451177959131974/118860665009313989524562899696396439269493936\ 698479892831110073*c_1001_5^8 + 48252289653971251210215635198410110\ 14864538383298298177207900218/1188606650093139895245628996963964392\ 69493936698479892831110073*c_1001_5^7 - 233577006612602745894106532325397350391961370489815267399552707/118\ 860665009313989524562899696396439269493936698479892831110073*c_1001\ _5^6 - 299940017571254691778943303779450738901607068579907933290888\ 879/118860665009313989524562899696396439269493936698479892831110073\ *c_1001_5^5 - 23459497437819254136598943552027479862640613271452871\ 61889060/7117405090378083205063646688406972411346942317274245079707\ 19*c_1001_5^4 + 164137272098776301223577470518463435803526429759514\ 8036320519827/11886066500931398952456289969639643926949393669847989\ 2831110073*c_1001_5^3 + 3361590582082359523324589017506804784491130\ 9792810679490477076/16980095001330569932080414242342348467070562385\ 497127547301439*c_1001_5^2 + 28144430205224234997058086402709090080\ 767586954751632121142709/118860665009313989524562899696396439269493\ 936698479892831110073*c_1001_5 + 8306514684689954672277546361850096\ 1762577371565515847059018156/11886066500931398952456289969639643926\ 9493936698479892831110073, c_1001_5^16 + 8664/3077*c_1001_5^15 + 105285/21539*c_1001_5^14 + 16355/3077*c_1001_5^13 + 32265/3077*c_1001_5^12 + 160631/21539*c_1001_5^11 + 181192/21539*c_1001_5^10 + 4266/1267*c_1001_5^9 + 182317/21539*c_1001_5^8 + 19228/21539*c_1001_5^7 - 10033/21539*c_1001_5^6 - 11663/21539*c_1001_5^5 + 50110/21539*c_1001_5^4 + 880/1267*c_1001_5^3 + 6583/21539*c_1001_5^2 + 5699/21539*c_1001_5 + 1681/21539 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.240 Total time: 0.440 seconds, Total memory usage: 32.09MB