Magma V2.19-8 Tue Aug 20 2013 23:38:21 on localhost [Seed = 3347162095] Type ? for help. Type -D to quit. Loading file "K10a112__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K10a112 geometric_solution 9.98186652 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 -1 2 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.170694287191 0.640049645597 0 5 6 2 0132 0132 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.284842736067 1.357021813547 5 0 4 1 0132 0132 2103 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.145338940226 1.648749264870 7 8 7 0 0132 0132 3012 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 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.668220398773 0.797423291769 2 7 0 7 2103 1302 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 -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.668220398773 0.797423291769 2 1 8 6 0132 0132 3120 3120 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 -2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.243739577099 0.610956466257 5 9 10 1 3120 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 -2 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.684465974454 0.740832284786 3 3 4 4 0132 1230 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.444767661980 1.068987037710 10 3 5 9 0132 0132 3120 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.684465974454 0.740832284786 10 6 8 10 2031 0132 2031 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 -1 1 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 1.114135946061 0.730907464768 8 9 9 6 0132 2310 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.505086407658 0.322262018356 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_10' : d['c_0110_9'], 'c_1001_5' : negation(d['c_1001_0']), 'c_1001_4' : d['c_0011_4'], 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : negation(d['c_0110_9']), 'c_1001_1' : negation(d['c_0011_6']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_10'], 'c_1001_2' : d['c_0011_4'], 'c_1001_9' : negation(d['c_0011_6']), 'c_1001_8' : d['c_1001_0'], 'c_1010_10' : negation(d['c_0110_9']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0011_6'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : negation(d['1']), 's_2_10' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0101_6']), 'c_1100_4' : negation(d['c_1001_7']), 'c_1100_7' : negation(d['c_1001_7']), 'c_1100_6' : negation(d['c_0101_5']), 'c_1100_1' : negation(d['c_0101_5']), 'c_1100_0' : negation(d['c_1001_7']), 'c_1100_3' : negation(d['c_1001_7']), 'c_1100_2' : negation(d['c_0101_0']), 'c_1100_10' : negation(d['c_0101_5']), 'c_1010_7' : d['c_0011_4'], 'c_1010_6' : negation(d['c_0011_6']), 'c_1010_5' : negation(d['c_0011_6']), 'c_1010_4' : d['c_1001_7'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_0']), 'c_1010_0' : d['c_0011_4'], 'c_1010_9' : negation(d['c_0110_9']), 'c_1010_8' : d['c_0011_10'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : 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_6']), 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : d['c_0101_6'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_5']), 'c_0101_8' : d['c_0101_6'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : d['c_0011_6'], '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_5'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_0'], 'c_0110_7' : d['c_0011_4'], 'c_1100_8' : negation(d['c_0101_5'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_5, c_0101_6, c_0110_9, c_1001_0, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 1123150507353862104258776182889765518815870044681357369101941342446\ 4/10497027141961535790709915504190989879279689592441181087720739077\ *c_1001_7^23 + 1326545344249107670880372900062071558880541727713972\ 18565825858755512/1049702714196153579070991550419098987927968959244\ 1181087720739077*c_1001_7^22 + 637978777645328050986503496222360371\ 21325179066887623206640347829320/1499575305994505112958559357741569\ 982754241370348740155388677011*c_1001_7^21 - 5497280002245447920032374431445484972462324752843391008562021005925\ 210/104970271419615357907099155041909898792796895924411810877207390\ 77*c_1001_7^20 - 26209518626078359183932236494255461989616097136991\ 82866995453251797376/1049702714196153579070991550419098987927968959\ 2441181087720739077*c_1001_7^19 + 363542034872077289765746938818808\ 10950471865768826524716931597536056357/1049702714196153579070991550\ 4190989879279689592441181087720739077*c_1001_7^18 + 2258217152679819542495687919085232269307391607958943113082863448604\ 892/104970271419615357907099155041909898792796895924411810877207390\ 77*c_1001_7^17 - 55929506592117341323465227340415699108675861671652\ 066837825245259929930/104970271419615357907099155041909898792796895\ 92441181087720739077*c_1001_7^16 + 2786313093003297174344155662316192758184674995423346967647705673034\ 2057/10497027141961535790709915504190989879279689592441181087720739\ 077*c_1001_7^15 + 2169769447627583196236618973264842392525782031407\ 2771042900137656601343/10497027141961535790709915504190989879279689\ 592441181087720739077*c_1001_7^14 - 4105786761851529346546917809251112266683531103516645541357717288312\ 185/104970271419615357907099155041909898792796895924411810877207390\ 77*c_1001_7^13 - 42532780371381559149166041011017135176548147829840\ 10359672338335870627/1499575305994505112958559357741569982754241370\ 348740155388677011*c_1001_7^12 + 1845943714250481232715381951605599\ 6747403737816518147976033998740725924/10497027141961535790709915504\ 190989879279689592441181087720739077*c_1001_7^11 - 1557547090088584868128020635980737846006284769877890445301334101517\ 105/104970271419615357907099155041909898792796895924411810877207390\ 77*c_1001_7^10 + 60769273809144162380473643392332707855417032647176\ 30666468872966187352/1049702714196153579070991550419098987927968959\ 2441181087720739077*c_1001_7^9 - 8185106075065626590624322222042646\ 391939326892246558416396899010303006/104970271419615357907099155041\ 90989879279689592441181087720739077*c_1001_7^8 + 3212911644927402890127199612732602337547551872142177839446924326735\ 892/104970271419615357907099155041909898792796895924411810877207390\ 77*c_1001_7^7 - 110750535832173370013172888726433709807433522555623\ 4266311886020630974/10497027141961535790709915504190989879279689592\ 441181087720739077*c_1001_7^6 + 12665075667029296848836303229899507\ 091341138675996064724046749965228/283703436269230697046213932545702\ 429169721340336248137505965921*c_1001_7^5 - 9028236732612155585855450871949787607046457339499389611696209757567\ 8/10497027141961535790709915504190989879279689592441181087720739077\ *c_1001_7^4 + 10672918122842685373487340177734584691367596470612394\ 8902257012598725/10497027141961535790709915504190989879279689592441\ 181087720739077*c_1001_7^3 - 51788301028141726871067833795467385702\ 003742326758138643322660490438/104970271419615357907099155041909898\ 79279689592441181087720739077*c_1001_7^2 + 1157781335539874644451527213062211317701625143953906697222047955156\ 0/10497027141961535790709915504190989879279689592441181087720739077\ *c_1001_7 - 4478986498052883825020852459584500652211027227870116624\ 526762518895/104970271419615357907099155041909898792796895924411810\ 87720739077, c_0011_0 - 1, c_0011_10 + 10016210108124923941517835014407132932124392192198091438088\ /420340753512872968992367914023699351834379587839725253457*c_1001_7\ ^23 + 121333883457827416696249346331369645082955714282292928553700/\ 420340753512872968992367914023699351834379587839725253457*c_1001_7^\ 22 + 434983978213866697682641109842811621378442689958827660475252/4\ 20340753512872968992367914023699351834379587839725253457*c_1001_7^2\ 1 - 4770837466756158837369701231574057116288921995215624128561619/4\ 20340753512872968992367914023699351834379587839725253457*c_1001_7^2\ 0 - 3780907106426433852520674664145521235951572584405661248342213/4\ 20340753512872968992367914023699351834379587839725253457*c_1001_7^1\ 9 + 31295531742474181699959005922811928258552325235507090937421719/\ 420340753512872968992367914023699351834379587839725253457*c_1001_7^\ 18 + 11440655699764391566245692402106056425261760658297673989938502\ /420340753512872968992367914023699351834379587839725253457*c_1001_7\ ^17 - 4665933100377522268315569574414788075316558402169845907687171\ 4/420340753512872968992367914023699351834379587839725253457*c_1001_\ 7^16 + 110147182593606376460437768734061891113953212817851839716460\ 56/420340753512872968992367914023699351834379587839725253457*c_1001\ _7^15 + 23743453999727718923226546906287820533515192650784788303663\ 954/420340753512872968992367914023699351834379587839725253457*c_100\ 1_7^14 + 3396043740083529195046290000035662361802582203457873045488\ 030/420340753512872968992367914023699351834379587839725253457*c_100\ 1_7^13 - 2646043145390045536596079082760825010102893705416529988425\ 3863/420340753512872968992367914023699351834379587839725253457*c_10\ 01_7^12 + 874983201419920492348641408967870857691244944417102475719\ 6082/420340753512872968992367914023699351834379587839725253457*c_10\ 01_7^11 + 202589126554556273277220156160192892852428772143480766434\ 9027/420340753512872968992367914023699351834379587839725253457*c_10\ 01_7^10 + 590434494312058692755238420617831360854525566310116701334\ 4443/420340753512872968992367914023699351834379587839725253457*c_10\ 01_7^9 - 6006167692108497015496287686068695056149250068298531421759\ 941/420340753512872968992367914023699351834379587839725253457*c_100\ 1_7^8 + 11064548836485349796267969879818298242645100794297202911452\ 82/420340753512872968992367914023699351834379587839725253457*c_1001\ _7^7 - 460856002926653394399694932166100777660268837280244256394008\ /420340753512872968992367914023699351834379587839725253457*c_1001_7\ ^6 + 9462042746504430542271151562767767027845740603493109931454/113\ 60560905753323486280213892532414914442691563235817661*c_1001_7^5 - 62257676735478266746253404642140495534932344174140387311560/4203407\ 53512872968992367914023699351834379587839725253457*c_1001_7^4 + 65200419536287261726127258896641493431645953094660765180519/4203407\ 53512872968992367914023699351834379587839725253457*c_1001_7^3 - 25745559701040016743484562048017358085492287724628941329499/4203407\ 53512872968992367914023699351834379587839725253457*c_1001_7^2 + 5151118754619219348416862826531619558632707268295586604305/42034075\ 3512872968992367914023699351834379587839725253457*c_1001_7 - 2162875258107537663185413742231477402505733450448728956866/42034075\ 3512872968992367914023699351834379587839725253457, c_0011_4 + 3399018806970277020589872767189963896622958373956262784256/4\ 20340753512872968992367914023699351834379587839725253457*c_1001_7^2\ 3 + 41661323059215048637478819101036271103054895722097913238896/420\ 340753512872968992367914023699351834379587839725253457*c_1001_7^22 + 153727043614650531168690978160792189775138670752758590750592/420340\ 753512872968992367914023699351834379587839725253457*c_1001_7^21 - 1595107066366768071283329137413213473094156521631065375214476/42034\ 0753512872968992367914023699351834379587839725253457*c_1001_7^20 - 1504196292000425452345854187405386802366375240264879556122210/42034\ 0753512872968992367914023699351834379587839725253457*c_1001_7^19 + 10334692346610930937589624235362839387445700677515516756641175/4203\ 40753512872968992367914023699351834379587839725253457*c_1001_7^18 + 5285273950282297621819425802439283699060188311760378676101680/42034\ 0753512872968992367914023699351834379587839725253457*c_1001_7^17 - 14632027583766992052031723379149023608219307149283996443421771/4203\ 40753512872968992367914023699351834379587839725253457*c_1001_7^16 + 1935214504471840252838331597985249577932199329793783163401777/42034\ 0753512872968992367914023699351834379587839725253457*c_1001_7^15 + 7762063303453690303352021535388469303011188350471362242403436/42034\ 0753512872968992367914023699351834379587839725253457*c_1001_7^14 + 2287965006917984590012371323556337907025244144516443536922595/42034\ 0753512872968992367914023699351834379587839725253457*c_1001_7^13 - 8364958081586335067115030074143588607359786683598345733684965/42034\ 0753512872968992367914023699351834379587839725253457*c_1001_7^12 + 1933183408935129138881971267724120424414875854129404064926939/42034\ 0753512872968992367914023699351834379587839725253457*c_1001_7^11 + 645864788494553507865240001368068854305943744737864059026445/420340\ 753512872968992367914023699351834379587839725253457*c_1001_7^10 + 2139037727686758471775773548620312328329419037867676771100024/42034\ 0753512872968992367914023699351834379587839725253457*c_1001_7^9 - 1730870927079105052852188698281049202472330734961440427108066/42034\ 0753512872968992367914023699351834379587839725253457*c_1001_7^8 + 238338646874777017592869519898790236728472526329817724135236/420340\ 753512872968992367914023699351834379587839725253457*c_1001_7^7 - 181682595766208262494916719513207869933805185470938475427319/420340\ 753512872968992367914023699351834379587839725253457*c_1001_7^6 + 2722379468802661207801616883585615055755214464017028170927/11360560\ 905753323486280213892532414914442691563235817661*c_1001_7^5 - 20236952037896508299914887450347166954027583964370213431694/4203407\ 53512872968992367914023699351834379587839725253457*c_1001_7^4 + 23264406200237585076953070306836290798177738967434219320205/4203407\ 53512872968992367914023699351834379587839725253457*c_1001_7^3 - 5905483961168019325639753343225318148563980359739779761138/42034075\ 3512872968992367914023699351834379587839725253457*c_1001_7^2 + 1801586404501690322256500754506739819523826179688250950221/42034075\ 3512872968992367914023699351834379587839725253457*c_1001_7 - 540704261802442737779098928615776781264813747013023689712/420340753\ 512872968992367914023699351834379587839725253457, c_0011_6 + 16044799806494957455131809036870583325606160278686799241568/\ 420340753512872968992367914023699351834379587839725253457*c_1001_7^\ 23 + 193609287933568985828164454651385135225135289431946072508832/4\ 20340753512872968992367914023699351834379587839725253457*c_1001_7^2\ 2 + 687292342983018643872609804853971506620659056487661940927336/42\ 0340753512872968992367914023699351834379587839725253457*c_1001_7^21 - 7679565211939740009128133871816415538080772285347041523286292/420\ 340753512872968992367914023699351834379587839725253457*c_1001_7^20 - 5713788978183502376443584195882332096725890388325982724876706/42034\ 0753512872968992367914023699351834379587839725253457*c_1001_7^19 + 50595067283671778832222073626008485264953647516661240430820758/4203\ 40753512872968992367914023699351834379587839725253457*c_1001_7^18 + 16106979640595080300018928295741231203797393662822943628069525/4203\ 40753512872968992367914023699351834379587839725253457*c_1001_7^17 - 76776699613246249935713545421282565678627796618371164322176252/4203\ 40753512872968992367914023699351834379587839725253457*c_1001_7^16 + 20770205164292851346966384872131059488240540259380037889311456/4203\ 40753512872968992367914023699351834379587839725253457*c_1001_7^15 + 38953237717204837744317418683201691463719277940244230633446412/4203\ 40753512872968992367914023699351834379587839725253457*c_1001_7^14 + 3183282313059960196815026161273712822795292084021492945939774/42034\ 0753512872968992367914023699351834379587839725253457*c_1001_7^13 - 43482536858133082367970033825548796217123748480519375320700078/4203\ 40753512872968992367914023699351834379587839725253457*c_1001_7^12 + 15898688196174644381077955644669722599452176775332429612467376/4203\ 40753512872968992367914023699351834379587839725253457*c_1001_7^11 + 3558773314633014081408279159949520406757646020029178709980038/42034\ 0753512872968992367914023699351834379587839725253457*c_1001_7^10 + 8952558787748429311906060117976605667090591547446792406948846/42034\ 0753512872968992367914023699351834379587839725253457*c_1001_7^9 - 10111565443798151963332009915017800939798403580969982089137061/4203\ 40753512872968992367914023699351834379587839725253457*c_1001_7^8 + 1996849257366483045612368087383627309477062527243764498271326/42034\ 0753512872968992367914023699351834379587839725253457*c_1001_7^7 - 597399535007990921985516816778043911524792899228811936015462/420340\ 753512872968992367914023699351834379587839725253457*c_1001_7^6 + 14804744772708163501302168881995197910395746270460402427808/1136056\ 0905753323486280213892532414914442691563235817661*c_1001_7^5 - 102672206803368204940620534627204845022090103820819332787291/420340\ 753512872968992367914023699351834379587839725253457*c_1001_7^4 + 95839639615403302321460389009144036751174428175684276348965/4203407\ 53512872968992367914023699351834379587839725253457*c_1001_7^3 - 45527800331397200054101949179002131100487574384547990472358/4203407\ 53512872968992367914023699351834379587839725253457*c_1001_7^2 + 8145700689485031458648013691685090929856410626402776102106/42034075\ 3512872968992367914023699351834379587839725253457*c_1001_7 - 3360692743130496878133445887639016333866967172287298592502/42034075\ 3512872968992367914023699351834379587839725253457, c_0101_0 + 7004360069769320020925584248638170833709071810433214950072/4\ 20340753512872968992367914023699351834379587839725253457*c_1001_7^2\ 3 + 84088155413949951203682456043529961018966243446512938028732/420\ 340753512872968992367914023699351834379587839725253457*c_1001_7^22 + 294661247271912518535074057634100832335596430163450156701716/420340\ 753512872968992367914023699351834379587839725253457*c_1001_7^21 - 3373125181628492360833552666494698798983537416859709299108825/42034\ 0753512872968992367914023699351834379587839725253457*c_1001_7^20 - 2296258404055196732320811372762148112739947391760879962278355/42034\ 0753512872968992367914023699351834379587839725253457*c_1001_7^19 + 22312670189352226224123649953613254166892775219176542587770822/4203\ 40753512872968992367914023699351834379587839725253457*c_1001_7^18 + 5787429836968118511604488765443866825224666565317729311879924/42034\ 0753512872968992367914023699351834379587839725253457*c_1001_7^17 - 34384010523067184430601973828228088472323357171400620131469471/4203\ 40753512872968992367914023699351834379587839725253457*c_1001_7^16 + 10593034994950820801824292036955605995177898216872855512740645/4203\ 40753512872968992367914023699351834379587839725253457*c_1001_7^15 + 16877968201318667500949544741267846426245087441622868983868187/4203\ 40753512872968992367914023699351834379587839725253457*c_1001_7^14 + 594583490063366952177420941561642794937947973625536772695600/420340\ 753512872968992367914023699351834379587839725253457*c_1001_7^13 - 19367317899669883873414147103080978267801661835153753475009137/4203\ 40753512872968992367914023699351834379587839725253457*c_1001_7^12 + 7771460615796150604216624060581978855037463547093043039486252/42034\ 0753512872968992367914023699351834379587839725253457*c_1001_7^11 + 1383092319053361466681151943534602316430627855724977571911894/42034\ 0753512872968992367914023699351834379587839725253457*c_1001_7^10 + 3928430789756689981281540897949795612226363823482780854120250/42034\ 0753512872968992367914023699351834379587839725253457*c_1001_7^9 - 4669007147459465422619729691780685202288419790983968151123588/42034\ 0753512872968992367914023699351834379587839725253457*c_1001_7^8 + 1014312919803235612624769354433907882975267731627912486400029/42034\ 0753512872968992367914023699351834379587839725253457*c_1001_7^7 - 296834914509241079727267292274717167307957152953694006709770/420340\ 753512872968992367914023699351834379587839725253457*c_1001_7^6 + 7386732589618272878017669777182725004177224254658343154364/11360560\ 905753323486280213892532414914442691563235817661*c_1001_7^5 - 46125881519985048379492819985500552760967360403855692888966/4203407\ 53512872968992367914023699351834379587839725253457*c_1001_7^4 + 43681677722382400294046682459686557406308044179195338501249/4203407\ 53512872968992367914023699351834379587839725253457*c_1001_7^3 - 22320466013031492899545899455779891762414765783517768857007/4203407\ 53512872968992367914023699351834379587839725253457*c_1001_7^2 + 4663107082181084684855964171206025475163106137109298821861/42034075\ 3512872968992367914023699351834379587839725253457*c_1001_7 - 1715910588042568260983001493809045111143244315640187962537/42034075\ 3512872968992367914023699351834379587839725253457, c_0101_1 - 10016210108124923941517835014407132932124392192198091438088/\ 420340753512872968992367914023699351834379587839725253457*c_1001_7^\ 23 - 121333883457827416696249346331369645082955714282292928553700/4\ 20340753512872968992367914023699351834379587839725253457*c_1001_7^2\ 2 - 434983978213866697682641109842811621378442689958827660475252/42\ 0340753512872968992367914023699351834379587839725253457*c_1001_7^21 + 4770837466756158837369701231574057116288921995215624128561619/420\ 340753512872968992367914023699351834379587839725253457*c_1001_7^20 + 3780907106426433852520674664145521235951572584405661248342213/42034\ 0753512872968992367914023699351834379587839725253457*c_1001_7^19 - 31295531742474181699959005922811928258552325235507090937421719/4203\ 40753512872968992367914023699351834379587839725253457*c_1001_7^18 - 11440655699764391566245692402106056425261760658297673989938502/4203\ 40753512872968992367914023699351834379587839725253457*c_1001_7^17 + 46659331003775222683155695744147880753165584021698459076871714/4203\ 40753512872968992367914023699351834379587839725253457*c_1001_7^16 - 11014718259360637646043776873406189111395321281785183971646056/4203\ 40753512872968992367914023699351834379587839725253457*c_1001_7^15 - 23743453999727718923226546906287820533515192650784788303663954/4203\ 40753512872968992367914023699351834379587839725253457*c_1001_7^14 - 3396043740083529195046290000035662361802582203457873045488030/42034\ 0753512872968992367914023699351834379587839725253457*c_1001_7^13 + 26460431453900455365960790827608250101028937054165299884253863/4203\ 40753512872968992367914023699351834379587839725253457*c_1001_7^12 - 8749832014199204923486414089678708576912449444171024757196082/42034\ 0753512872968992367914023699351834379587839725253457*c_1001_7^11 - 2025891265545562732772201561601928928524287721434807664349027/42034\ 0753512872968992367914023699351834379587839725253457*c_1001_7^10 - 5904344943120586927552384206178313608545255663101167013344443/42034\ 0753512872968992367914023699351834379587839725253457*c_1001_7^9 + 6006167692108497015496287686068695056149250068298531421759941/42034\ 0753512872968992367914023699351834379587839725253457*c_1001_7^8 - 1106454883648534979626796987981829824264510079429720291145282/42034\ 0753512872968992367914023699351834379587839725253457*c_1001_7^7 + 460856002926653394399694932166100777660268837280244256394008/420340\ 753512872968992367914023699351834379587839725253457*c_1001_7^6 - 9462042746504430542271151562767767027845740603493109931454/11360560\ 905753323486280213892532414914442691563235817661*c_1001_7^5 + 62257676735478266746253404642140495534932344174140387311560/4203407\ 53512872968992367914023699351834379587839725253457*c_1001_7^4 - 65200419536287261726127258896641493431645953094660765180519/4203407\ 53512872968992367914023699351834379587839725253457*c_1001_7^3 + 25745559701040016743484562048017358085492287724628941329499/4203407\ 53512872968992367914023699351834379587839725253457*c_1001_7^2 - 5151118754619219348416862826531619558632707268295586604305/42034075\ 3512872968992367914023699351834379587839725253457*c_1001_7 + 2162875258107537663185413742231477402505733450448728956866/42034075\ 3512872968992367914023699351834379587839725253457, c_0101_5 + 438544787430775960000484296584347249482567896037753228712/42\ 0340753512872968992367914023699351834379587839725253457*c_1001_7^23 + 5293924140832781910473818670222104646471101576740664060364/420340\ 753512872968992367914023699351834379587839725253457*c_1001_7^22 + 18444177770219122397508993983007698941236705498141528892200/4203407\ 53512872968992367914023699351834379587839725253457*c_1001_7^21 - 214424176853257465172095563058989978294985309317936902745263/420340\ 753512872968992367914023699351834379587839725253457*c_1001_7^20 - 175252826508014444931728670630697637648679600895791227100066/420340\ 753512872968992367914023699351834379587839725253457*c_1001_7^19 + 1548286452077069773603052289389359232640699105541865232286051/42034\ 0753512872968992367914023699351834379587839725253457*c_1001_7^18 + 663289655969822175301300571240636860413728107444870005177797/420340\ 753512872968992367914023699351834379587839725253457*c_1001_7^17 - 3142111464912859549133119502771911110220469752541494698212434/42034\ 0753512872968992367914023699351834379587839725253457*c_1001_7^16 - 350886153819042677244576992904929287829614470094834493491618/420340\ 753512872968992367914023699351834379587839725253457*c_1001_7^15 + 2361651855983607946308669741074816548024223870602136934997970/42034\ 0753512872968992367914023699351834379587839725253457*c_1001_7^14 + 286143358759572956721664345624191591246426269333852034023678/420340\ 753512872968992367914023699351834379587839725253457*c_1001_7^13 - 1983669252681993328321620558507541632758643816254551269419800/42034\ 0753512872968992367914023699351834379587839725253457*c_1001_7^12 - 45020349344721426015270341762147235194423803193297144601676/4203407\ 53512872968992367914023699351834379587839725253457*c_1001_7^11 + 842090741624193951233382112782151064913050316761003339726269/420340\ 753512872968992367914023699351834379587839725253457*c_1001_7^10 + 274653434424391120293474939795507191750777079241967300972871/420340\ 753512872968992367914023699351834379587839725253457*c_1001_7^9 - 348573841559346094716666048237231268230588710428577010759546/420340\ 753512872968992367914023699351834379587839725253457*c_1001_7^8 - 184157415629750825633787781796180787751093044604973067740568/420340\ 753512872968992367914023699351834379587839725253457*c_1001_7^7 + 86421567516147707242450639431346272676320617595487448326778/4203407\ 53512872968992367914023699351834379587839725253457*c_1001_7^6 + 798470331450156773250361170709561784291621495490026800624/113605609\ 05753323486280213892532414914442691563235817661*c_1001_7^5 + 13048061644539087285481828042694902328818332473667151256507/4203407\ 53512872968992367914023699351834379587839725253457*c_1001_7^4 + 1506255484959700825591182506691508263847863460989003497766/42034075\ 3512872968992367914023699351834379587839725253457*c_1001_7^3 - 1661770112652949005394872565969096767073271143480592458369/42034075\ 3512872968992367914023699351834379587839725253457*c_1001_7^2 - 934784729201246558763452889199759075412941448339024202188/420340753\ 512872968992367914023699351834379587839725253457*c_1001_7 - 114667679124582775518815113765971491497092291267122851630/420340753\ 512872968992367914023699351834379587839725253457, c_0101_6 - 26583555683405777347773494984022902125283499953914781480016/\ 420340753512872968992367914023699351834379587839725253457*c_1001_7^\ 23 - 320818632335204038651326462734396521843909337702435252739320/4\ 20340753512872968992367914023699351834379587839725253457*c_1001_7^2\ 2 - 1139373338647892028042157091126538829243475061948088892219472/4\ 20340753512872968992367914023699351834379587839725253457*c_1001_7^2\ 1 + 12720245362252806200989833396067589700384263697944647499526502/\ 420340753512872968992367914023699351834379587839725253457*c_1001_7^\ 20 + 9480834634355202065504715066456345169426946249225442051486768/\ 420340753512872968992367914023699351834379587839725253457*c_1001_7^\ 19 - 83732071594417091346003433800425013811525984972908447790478092\ /420340753512872968992367914023699351834379587839725253457*c_1001_7\ ^18 - 2681250296516490576995121026269405695394860264653126184247717\ 6/420340753512872968992367914023699351834379587839725253457*c_1001_\ 7^17 + 126603818665313395303702916071974229635313083054833997148161\ 296/420340753512872968992367914023699351834379587839725253457*c_100\ 1_7^16 - 3402074813651876929037457846439268420755262521822540711004\ 0028/420340753512872968992367914023699351834379587839725253457*c_10\ 01_7^15 - 635743756188073788073734043407495263416747853719832036423\ 53190/420340753512872968992367914023699351834379587839725253457*c_1\ 001_7^14 - 60939252073056418599455794690064752697194884956223519574\ 25748/420340753512872968992367914023699351834379587839725253457*c_1\ 001_7^13 + 71610304246098421549756589703716776542604927597607127639\ 575500/420340753512872968992367914023699351834379587839725253457*c_\ 1001_7^12 - 2590981569318944466986064801240573191981056706576568552\ 2310916/420340753512872968992367914023699351834379587839725253457*c\ _1001_7^11 - 540094283623857254732295465395136480786811252017138659\ 4283746/420340753512872968992367914023699351834379587839725253457*c\ _1001_7^10 - 153039075588709571225429762069185142955008919960471020\ 47160218/420340753512872968992367914023699351834379587839725253457*\ c_1001_7^9 + 167023777511278940354143468804508537344405190364439197\ 95151813/420340753512872968992367914023699351834379587839725253457*\ c_1001_7^8 - 329564144344959262770347380378595126987771698672112336\ 4734212/420340753512872968992367914023699351834379587839725253457*c\ _1001_7^7 + 1145292455603888270872978474224606508418851049340741146\ 496002/420340753512872968992367914023699351834379587839725253457*c_\ 1001_7^6 - 26261442350072534931976338681253160089260404177932694478\ 972/11360560905753323486280213892532414914442691563235817661*c_1001\ _7^5 + 161648316855814055158504287465802743631066582135848577393550\ /420340753512872968992367914023699351834379587839725253457*c_1001_7\ ^4 - 158052743690127388693793128118766548404565540019063257939488/4\ 20340753512872968992367914023699351834379587839725253457*c_1001_7^3 + 75576454515484715367192725132617768244176906033113675845880/42034\ 0753512872968992367914023699351834379587839725253457*c_1001_7^2 - 13336876910049959439815814113641298421139101091207799631054/4203407\ 53512872968992367914023699351834379587839725253457*c_1001_7 + 5640430914519115527190685469861027060828396786510765412556/42034075\ 3512872968992367914023699351834379587839725253457, c_0110_9 - 39704356428179279810084396641444644983685773605884252237352/\ 420340753512872968992367914023699351834379587839725253457*c_1001_7^\ 23 - 474233480672954316598543452063586543197464660081647322945044/4\ 20340753512872968992367914023699351834379587839725253457*c_1001_7^2\ 2 - 1639826814106631295647896164604136784115075372564860162684964/4\ 20340753512872968992367914023699351834379587839725253457*c_1001_7^2\ 1 + 19239879129322984242087059076667545767814029608811656677733959/\ 420340753512872968992367914023699351834379587839725253457*c_1001_7^\ 20 + 11916913397232920840455699527926830774091340108482814532554733\ /420340753512872968992367914023699351834379587839725253457*c_1001_7\ ^19 - 1279112129188427661321756102402914694793212260950732088382438\ 33/420340753512872968992367914023699351834379587839725253457*c_1001\ _7^18 - 25850939586905336058964565959697477742144758624851618062313\ 832/420340753512872968992367914023699351834379587839725253457*c_100\ 1_7^17 + 2009613755152379815282459558998103568337398241373985459069\ 26280/420340753512872968992367914023699351834379587839725253457*c_1\ 001_7^16 - 68867213682905947073444505795495008287971690209590470121\ 705564/420340753512872968992367914023699351834379587839725253457*c_\ 1001_7^15 - 9728349197555560519823226170332280641631358609993673188\ 5667386/420340753512872968992367914023699351834379587839725253457*c\ _1001_7^14 + 215889343180246958075649545362633052744634232939898753\ 6837262/420340753512872968992367914023699351834379587839725253457*c\ _1001_7^13 + 113068678888160629514268026382007679305122303098717449\ 260827473/420340753512872968992367914023699351834379587839725253457\ *c_1001_7^12 - 4926173351209209918787853677214176613879679661701776\ 7020322110/42034075351287296899236791402369935183437958783972525345\ 7*c_1001_7^11 - 814988902488768666219465102929921525854356250503039\ 2173255935/42034075351287296899236791402369935183437958783972525345\ 7*c_1001_7^10 - 215974304908407763518604917765014189349316081529810\ 11425948734/4203407535128729689923679140236993518343795878397252534\ 57*c_1001_7^9 + 280864708800625970408650249442958398023420256216689\ 70019549787/4203407535128729689923679140236993518343795878397252534\ 57*c_1001_7^8 - 650128658253785495161576572750974013244387130440977\ 2041272726/42034075351287296899236791402369935183437958783972525345\ 7*c_1001_7^7 + 1569986702368153232841991873158146129719233695462956\ 608499893/420340753512872968992367914023699351834379587839725253457\ *c_1001_7^6 - 44437490939738592023166906237154392043088895218210849\ 701930/11360560905753323486280213892532414914442691563235817661*c_1\ 001_7^5 + 284168794022598450884464124763238656648930157722035477595\ 878/420340753512872968992367914023699351834379587839725253457*c_100\ 1_7^4 - 25251908807106237184267856578532571531600811010960789434532\ 1/420340753512872968992367914023699351834379587839725253457*c_1001_\ 7^3 + 138473589535020345829431730815339293376947214830911511019837/\ 420340753512872968992367914023699351834379587839725253457*c_1001_7^\ 2 - 21253106340122997392562401915474652057872258708160492275196/420\ 340753512872968992367914023699351834379587839725253457*c_1001_7 + 10535853642377174059374880536887579250655120280401736501085/4203407\ 53512872968992367914023699351834379587839725253457, c_1001_0 - 13460244660389967230722734308542035114862857632471867076456/\ 420340753512872968992367914023699351834379587839725253457*c_1001_7^\ 23 - 161627894989693714201582260158714569806507172816235613547220/4\ 20340753512872968992367914023699351834379587839725253457*c_1001_7^2\ 2 - 566730080043390489435391783973316554869570229187735916057916/42\ 0340753512872968992367914023699351834379587839725253457*c_1001_7^21 + 6479999418691312821958906120367130168879264577940292315147403/420\ 340753512872968992367914023699351834379587839725253457*c_1001_7^20 + 4427730540344155085337366504893545554406081476382899185454029/42034\ 0753512872968992367914023699351834379587839725253457*c_1001_7^19 - 42844773535115492684995969494803132855371666399316328564752522/4203\ 40753512872968992367914023699351834379587839725253457*c_1001_7^18 - 11208348255582185878330435776343427788728410294181866729187605/4203\ 40753512872968992367914023699351834379587839725253457*c_1001_7^17 + 65911130513930655184099776859904654268833434722319752760327750/4203\ 40753512872968992367914023699351834379587839725253457*c_1001_7^16 - 20298166987940796474742963108782308697564074350924071125269030/4203\ 40753512872968992367914023699351834379587839725253457*c_1001_7^15 - 32326569814824498839127545324968683060130529255392020434742747/4203\ 40753512872968992367914023699351834379587839725253457*c_1001_7^14 - 1204765744198774472554806091024414191406689962928919199236537/42034\ 0753512872968992367914023699351834379587839725253457*c_1001_7^13 + 37107463883402941221161056595310857277492178002613587658036907/4203\ 40753512872968992367914023699351834379587839725253457*c_1001_7^12 - 14911705350827084737337999935244910691140926721410106394784075/4203\ 40753512872968992367914023699351834379587839725253457*c_1001_7^11 - 2596556500245747672164244269799529646221659810843188204160771/42034\ 0753512872968992367914023699351834379587839725253457*c_1001_7^10 - 7550121288798151566944990177744949640446761355349766694329921/42034\ 0753512872968992367914023699351834379587839725253457*c_1001_7^9 + 8938703460737667393163215957029637966751730173638953136444563/42034\ 0753512872968992367914023699351834379587839725253457*c_1001_7^8 - 1961343702494757803758817236196035640271711617355650991390027/42034\ 0753512872968992367914023699351834379587839725253457*c_1001_7^7 + 583420466296947179176564090680682718063800554848897273062827/420340\ 753512872968992367914023699351834379587839725253457*c_1001_7^6 - 14098354308473520786094059051960268461074260903135899353046/1136056\ 0905753323486280213892532414914442691563235817661*c_1001_7^5 + 89854563388770770455805071855399921631867302078048734536103/4203407\ 53512872968992367914023699351834379587839725253457*c_1001_7^4 - 83951411242247199136845443219249340131868863312689805720943/4203407\ 53512872968992367914023699351834379587839725253457*c_1001_7^3 + 42587003149535052659083664724482455635976736930674326801644/4203407\ 53512872968992367914023699351834379587839725253457*c_1001_7^2 - 8056354754035668984017150294016427233772227027856682962338/42034075\ 3512872968992367914023699351834379587839725253457*c_1001_7 + 3274339598204833882130156642536890428375141802684356319905/42034075\ 3512872968992367914023699351834379587839725253457, c_1001_7^24 + 23/2*c_1001_7^23 + 36*c_1001_7^22 - 4023/8*c_1001_7^21 - 339/4*c_1001_7^20 + 13413/4*c_1001_7^19 - 3127/4*c_1001_7^18 - 42727/8*c_1001_7^17 + 7981/2*c_1001_7^16 + 3343/2*c_1001_7^15 - 9127/8*c_1001_7^14 - 11287/4*c_1001_7^13 + 20077/8*c_1001_7^12 - 699/2*c_1001_7^11 + 3635/8*c_1001_7^10 - 3807/4*c_1001_7^9 + 3843/8*c_1001_7^8 - 903/8*c_1001_7^7 + 479/8*c_1001_7^6 - 105/4*c_1001_7^5 + 19/2*c_1001_7^4 - 51/8*c_1001_7^3 + 17/8*c_1001_7^2 - 1/2*c_1001_7 + 1/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.170 Total time: 0.380 seconds, Total memory usage: 32.09MB