Magma V2.19-8 Wed Aug 21 2013 00:01:15 on localhost [Seed = 459108992] Type ? for help. Type -D to quit. Loading file "K13n1621__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1621 geometric_solution 11.41639461 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 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 0 1 0 0 0 0 7 0 0 -7 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.167021963493 0.832862303542 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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 -1 0 0 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.596753382879 0.483123718881 8 0 9 9 0132 0132 0213 0132 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 1 -1 0 -7 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.478916133505 0.564681281894 10 4 6 0 0132 0132 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.342309059525 0.658331358878 11 3 0 5 0132 0132 0132 3012 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 -1 1 0 0 0 0 0 0 0 0 -6 -1 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.750799066383 0.879382742372 11 1 4 8 1230 0132 1230 0213 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 -7 0 7 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.152336842234 1.640597549418 11 3 1 12 3120 1230 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 0 0 1 0 0 -1 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.722267435953 0.756325784288 12 10 12 1 0132 1302 0213 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 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.099642970172 0.591614881997 2 11 10 5 0132 1230 1023 0213 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 0 -1 1 0 7 0 0 -7 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.698024858152 1.523814619787 10 2 2 12 1023 0213 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 6 -7 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.882604571999 0.956449265018 3 9 8 7 0132 1023 1023 2031 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 -1 1 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.250372362564 0.536969176646 4 5 8 6 0132 3012 3012 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 0 0 1 -1 6 0 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.193006992576 0.752708529256 7 7 6 9 0132 0213 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 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.499051653872 0.327232105659 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_0']), 'c_1001_10' : d['c_0101_8'], 'c_1001_12' : d['c_0101_3'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_0'], 'c_1001_7' : d['c_0101_3'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_6']), 'c_1001_2' : d['c_1001_0'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_0101_0'], 'c_1010_12' : d['c_1010_12'], 'c_1010_11' : negation(d['c_0011_6']), 'c_1010_10' : negation(d['c_0011_12']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : negation(d['1']), 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_0'], '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_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_1100_9' : d['c_1010_12'], 'c_1100_8' : d['c_1001_1'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_11'], 'c_1100_4' : negation(d['c_1001_5']), 'c_1100_7' : d['c_1010_12'], 'c_1100_6' : d['c_1010_12'], 'c_1100_1' : d['c_1010_12'], 'c_1100_0' : negation(d['c_1001_5']), 'c_1100_3' : negation(d['c_1001_5']), 'c_1100_2' : d['c_1010_12'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_0']), 'c_1100_10' : negation(d['c_1001_1']), 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_1001_0'], 'c_1010_9' : d['c_1010_12'], 'c_1010_8' : d['c_0101_11'], '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'], 'c_1100_12' : d['c_1010_12'], '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' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_10'], 'c_0011_7' : negation(d['c_0011_12']), '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_0101_1'], 'c_0110_10' : d['c_0101_3'], 'c_0110_12' : d['c_0011_12'], 'c_0101_12' : d['c_0101_1'], 'c_0011_11' : negation(d['c_0011_10']), 'c_0101_7' : d['c_0011_12'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_8'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_12']), 'c_0110_8' : d['c_0011_10'], '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' : negation(d['c_0011_10']), 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : 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_12, c_0011_6, c_0101_0, c_0101_1, c_0101_11, c_0101_3, c_0101_8, c_1001_0, c_1001_1, c_1001_5, c_1010_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 8 Groebner basis: [ t - 142777/7638464*c_1001_5*c_1010_12^3 - 2625091/3819232*c_1001_5*c_1010_12^2 + 808395/7638464*c_1001_5*c_1010_12 - 12725873/7638464*c_1001_5 - 12854761/145130816*c_1010_12^3 - 67868691/72565408*c_1010_12^2 - 3215205/145130816*c_1010_12 - 336799457/145130816, c_0011_0 - 1, c_0011_10 + c_1001_5*c_1010_12^3 - c_1001_5*c_1010_12^2 + 2*c_1001_5*c_1010_12 - c_1001_5 - 2*c_1010_12 + 1, c_0011_12 + c_1010_12^2, c_0011_6 - c_1001_5*c_1010_12^3 + c_1001_5*c_1010_12^2 - 2*c_1001_5*c_1010_12 + c_1001_5 + c_1010_12 - 1, c_0101_0 + c_1001_5 + c_1010_12^3 - c_1010_12^2 + 2*c_1010_12 - 1, c_0101_1 + c_1010_12^3 - c_1010_12^2 + 2*c_1010_12 - 1, c_0101_11 + c_1001_5 + 2*c_1010_12^3 - 2*c_1010_12^2 + 4*c_1010_12 - 2, c_0101_3 - c_1010_12^3 - c_1010_12, c_0101_8 + c_1001_5*c_1010_12^3 - c_1001_5*c_1010_12^2 + 2*c_1001_5*c_1010_12 - c_1001_5 - c_1010_12 + 1, c_1001_0 - 1, c_1001_1 - c_1010_12^3 + c_1010_12^2 - 2*c_1010_12 + 1, c_1001_5^2 + c_1001_5*c_1010_12^3 - c_1001_5*c_1010_12^2 + 2*c_1001_5*c_1010_12 - c_1001_5 + c_1010_12 - 3, c_1010_12^4 - c_1010_12^3 + 3*c_1010_12^2 - 2*c_1010_12 + 1 ], Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_6, c_0101_0, c_0101_1, c_0101_11, c_0101_3, c_0101_8, c_1001_0, c_1001_1, c_1001_5, c_1010_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 26777909774755935605388736088543824002047883758840496322053789037/1\ 52060318866554255885081957556268558875095578462529138989997*c_1010_\ 12^21 + 53175084375285042533237639936032867463568865782762255702783\ 332275/43445805390444073110023416444648159678598736703579753997142*\ c_1010_12^20 - 1009028938856873256008611174849259570008345316786161\ 1968220433275435/24329651018648680941613113209002969420015292554004\ 66223839952*c_1010_12^19 + 2711819263325401129380935929502090332423\ 7434529372512652694733632713/32439534691531574588817484278670625893\ 35372340533954965119936*c_1010_12^18 - 1348556500887565172708539887291401160918397191540761260135389466168\ 55/12975813876612629835526993711468250357341489362135819860479744*c\ _1010_12^17 + 33733260066791781821644528004432277123245457532136268\ 155181538329601/556106308997684135808299730491496443886063829805820\ 8511634176*c_1010_12^16 + 25865347143842071459723217835174978438316\ 089862072516463870495636285/648790693830631491776349685573412517867\ 0744681067909930239872*c_1010_12^15 - 2320966611633356464339698341363642664197094004847544237169024422794\ 59/19463720814918944753290490567202375536012234043203729790719616*c\ _1010_12^14 + 99685537130142810696524719924890350066635916439483621\ 5523421329285/11585548104118419496006244385239509247626329787621267\ 7325712*c_1010_12^13 + 22923439533434115063028763381803572823883978\ 5633939018903032327473143/38927441629837889506580981134404751072024\ 468086407459581439232*c_1010_12^12 - 7187531418158958510541085703164241717267685961088864253380360617138\ 95/38927441629837889506580981134404751072024468086407459581439232*c\ _1010_12^11 + 43207681479326124177119584168087517593509300488997295\ 56163515371825/3816415846062538186919704032784779516865143930039947\ 01778816*c_1010_12^10 + 2069426253219795442610396532145923774368688\ 50074243225220568233670031/3892744162983788950658098113440475107202\ 4468086407459581439232*c_1010_12^9 - 2753955368785692836248728650979884412676299102470480855216521989115\ 19/38927441629837889506580981134404751072024468086407459581439232*c\ _1010_12^8 - 128982302984239581345907181269870889662363355929122910\ 7235893984131/48659302037297361883226226418005938840030585108009324\ 47679904*c_1010_12^7 + 20540165808009180040442408706848776784667608\ 848693160277666413448761/129758138766126298355269937114682503573414\ 89362135819860479744*c_1010_12^6 - 4813111762745159047769646279681230436414276366059912015897542700069\ /38927441629837889506580981134404751072024468086407459581439232*c_1\ 010_12^5 - 32570770943619125971631074552452710066794451429341091986\ 02753446713/3892744162983788950658098113440475107202446808640745958\ 1439232*c_1010_12^4 - 155533253761670976990475390145071118112515252\ 268340010727251791063/973186040745947237664524528360118776800611702\ 1601864895359808*c_1010_12^3 + 339117160800255597970662110196477260\ 417799408182940760960350386159/389274416298378895065809811344047510\ 72024468086407459581439232*c_1010_12^2 + 2155217354950731974690265335651902226256750166151361720684336567/32\ 43953469153157458881748427867062589335372340533954965119936*c_1010_\ 12 - 35986895306386487490628309191488045196437812574571209547804817\ 173/12975813876612629835526993711468250357341489362135819860479744, c_0011_0 - 1, c_0011_10 - 210415567459682520643780393959094785036853050695424/3249969\ 386293077763508509785730467569349156324551*c_1010_12^21 + 1416834967681112967144876073235488833753628843305088/32499693862930\ 77763508509785730467569349156324551*c_1010_12^20 - 4641027557696796106233390755650201405152016658162704/32499693862930\ 77763508509785730467569349156324551*c_1010_12^19 + 8927439732534820242407792345607696991687406897308820/32499693862930\ 77763508509785730467569349156324551*c_1010_12^18 - 10281051571445103954826817191473103484851678433840131/3249969386293\ 077763508509785730467569349156324551*c_1010_12^17 + 4571721529665101484436021117038969600924182527047102/32499693862930\ 77763508509785730467569349156324551*c_1010_12^16 + 6392079544531646734330203691105935255335673798969804/32499693862930\ 77763508509785730467569349156324551*c_1010_12^15 - 13379762426449499570534121662055030546991021801922202/3249969386293\ 077763508509785730467569349156324551*c_1010_12^14 + 7389937052664333305550807230071406403309614961135599/32499693862930\ 77763508509785730467569349156324551*c_1010_12^13 + 9196284323806239129979342017988588525715715896155382/32499693862930\ 77763508509785730467569349156324551*c_1010_12^12 - 20697746204028102385940020526039511640583835959339967/3249969386293\ 077763508509785730467569349156324551*c_1010_12^11 + 9023415969152290419939202841084277834465379882147825/32499693862930\ 77763508509785730467569349156324551*c_1010_12^10 + 9173921693261301738886353479499126999971116680660820/32499693862930\ 77763508509785730467569349156324551*c_1010_12^9 - 7352718141724471371720908807226292181973341465252356/32499693862930\ 77763508509785730467569349156324551*c_1010_12^8 - 1830429190647328999651842043685251098523371240620915/32499693862930\ 77763508509785730467569349156324551*c_1010_12^7 + 1856990288719493850552780440709325591845743437613490/32499693862930\ 77763508509785730467569349156324551*c_1010_12^6 + 122998807918894319911974875034088698236207859049677/324996938629307\ 7763508509785730467569349156324551*c_1010_12^5 - 127723863346178540576582282573676845164453091216298/324996938629307\ 7763508509785730467569349156324551*c_1010_12^4 - 22463766719900800052684864709597241980799057819689/3249969386293077\ 763508509785730467569349156324551*c_1010_12^3 + 3963952726636850979784566264030275307328442958822/32499693862930777\ 63508509785730467569349156324551*c_1010_12^2 + 4163513898752356324570962010270513220615302335102/32499693862930777\ 63508509785730467569349156324551*c_1010_12 - 1964703501829968661298793584707579858402009660621/32499693862930777\ 63508509785730467569349156324551, c_0011_12 - 26265617350664241502107393675952752941108561215744/32499693\ 86293077763508509785730467569349156324551*c_1010_12^21 + 202740447801207912337018619265196561993918418519424/324996938629307\ 7763508509785730467569349156324551*c_1010_12^20 - 741204087957280238183980923727430587227994721944048/324996938629307\ 7763508509785730467569349156324551*c_1010_12^19 + 1606081829727394599592274409247602936378270927175564/32499693862930\ 77763508509785730467569349156324551*c_1010_12^18 - 2133304531221428631501587807002592108068737251202645/32499693862930\ 77763508509785730467569349156324551*c_1010_12^17 + 1379842915069947251958893594974943746964064966196124/32499693862930\ 77763508509785730467569349156324551*c_1010_12^16 + 736980793456088621084184644697013443295752726141701/324996938629307\ 7763508509785730467569349156324551*c_1010_12^15 - 2663334988546767327212782371964181076037710234992775/32499693862930\ 77763508509785730467569349156324551*c_1010_12^14 + 2267360385829027643265336406966226591953467169021913/32499693862930\ 77763508509785730467569349156324551*c_1010_12^13 + 815934114271018129064818455186911940413571510592682/324996938629307\ 7763508509785730467569349156324551*c_1010_12^12 - 3962204812953967971325839274182577000666752065569503/32499693862930\ 77763508509785730467569349156324551*c_1010_12^11 + 3167075875008560734256101963008749550417136726075026/32499693862930\ 77763508509785730467569349156324551*c_1010_12^10 + 970532306141891681285742973566682480443406300620138/324996938629307\ 7763508509785730467569349156324551*c_1010_12^9 - 2300800779151001662931042555835470578668008317654849/32499693862930\ 77763508509785730467569349156324551*c_1010_12^8 + 254456983866184021978136552269451767908619400765051/324996938629307\ 7763508509785730467569349156324551*c_1010_12^7 + 591900242846545183149858845436250649075831095601426/324996938629307\ 7763508509785730467569349156324551*c_1010_12^6 - 80366004585909741473942615710284946732832756516144/3249969386293077\ 763508509785730467569349156324551*c_1010_12^5 - 50232068261608896504199768977311491693963941317493/3249969386293077\ 763508509785730467569349156324551*c_1010_12^4 + 12288091884402794123142548381620757138401550389218/3249969386293077\ 763508509785730467569349156324551*c_1010_12^3 + 780348828054419854205346077620086270144189348614/324996938629307776\ 3508509785730467569349156324551*c_1010_12^2 - 2296601418472971770935355750136312656377519808341/32499693862930777\ 63508509785730467569349156324551*c_1010_12 - 1396114330290781595862032515763151835766873346362/32499693862930777\ 63508509785730467569349156324551, c_0011_6 - 56031263597684077434575733701753744876807786991360/324996938\ 6293077763508509785730467569349156324551*c_1010_12^21 + 368374627333479525735283010713301101933843818188416/324996938629307\ 7763508509785730467569349156324551*c_1010_12^20 - 1155289386529758809949338558793509958546602096872208/32499693862930\ 77763508509785730467569349156324551*c_1010_12^19 + 2040186969182722706305446827427731376131558527582836/32499693862930\ 77763508509785730467569349156324551*c_1010_12^18 - 1886360686118105455899499210867889412113170280469771/32499693862930\ 77763508509785730467569349156324551*c_1010_12^17 - 173776891892626905287263964542111680942457228011184/324996938629307\ 7763508509785730467569349156324551*c_1010_12^16 + 3109579821661853437152490092517078243232750768177379/32499693862930\ 77763508509785730467569349156324551*c_1010_12^15 - 4072549812173686277189972639035960158573872978520900/32499693862930\ 77763508509785730467569349156324551*c_1010_12^14 + 1096883438759223219859704774623310160198786911066184/32499693862930\ 77763508509785730467569349156324551*c_1010_12^13 + 3985332564203490881282868530984517737790818433597717/32499693862930\ 77763508509785730467569349156324551*c_1010_12^12 - 6092462425479594055321596225155638661334765661583742/32499693862930\ 77763508509785730467569349156324551*c_1010_12^11 + 1003324773757884370270068418449831083929007609570008/32499693862930\ 77763508509785730467569349156324551*c_1010_12^10 + 4746427320328757677984797870541513252515265171265032/32499693862930\ 77763508509785730467569349156324551*c_1010_12^9 - 2838369333490759519478141339753401873795368893619950/32499693862930\ 77763508509785730467569349156324551*c_1010_12^8 - 1136441715750513474477755880926637683856014002782674/32499693862930\ 77763508509785730467569349156324551*c_1010_12^7 + 998607756948302649978884970697784077318557188847612/324996938629307\ 7763508509785730467569349156324551*c_1010_12^6 + 82825236503249328472401348751644860092694383323958/3249969386293077\ 763508509785730467569349156324551*c_1010_12^5 - 111984367508450376667907288034464781708451284765465/324996938629307\ 7763508509785730467569349156324551*c_1010_12^4 + 5460775131754178081995981441231620957086203905572/32499693862930777\ 63508509785730467569349156324551*c_1010_12^3 - 1444395692694638200266203936992428551672922847538/32499693862930777\ 63508509785730467569349156324551*c_1010_12^2 + 4435969512736199301127842233540457136952491385403/32499693862930777\ 63508509785730467569349156324551*c_1010_12 + 280931804371070681873691887411416326691730613851/324996938629307776\ 3508509785730467569349156324551, c_0101_0 + 56088264208417481301913642400387663805552519944704/324996938\ 6293077763508509785730467569349156324551*c_1010_12^21 - 381216303443263421607622112418018344238820529068032/324996938629307\ 7763508509785730467569349156324551*c_1010_12^20 + 1272739841616788471273154017325830916503215272469216/32499693862930\ 77763508509785730467569349156324551*c_1010_12^19 - 2531813786862463758201898030508450152022803406246696/32499693862930\ 77763508509785730467569349156324551*c_1010_12^18 + 3119957347417663261022964196299313597817142739479326/32499693862930\ 77763508509785730467569349156324551*c_1010_12^17 - 1807374309305200630037965773958625036063196081462809/32499693862930\ 77763508509785730467569349156324551*c_1010_12^16 - 1173170512408907741970598931181884373320663893634231/32499693862930\ 77763508509785730467569349156324551*c_1010_12^15 + 3489357765503260526698097007585893180338951421446460/32499693862930\ 77763508509785730467569349156324551*c_1010_12^14 - 2468907486394987570483655024269657950827086178704609/32499693862930\ 77763508509785730467569349156324551*c_1010_12^13 - 1799638382491907044062832957686820066025305698424887/32499693862930\ 77763508509785730467569349156324551*c_1010_12^12 + 5428098219100589096729780965086468224899759008851310/32499693862930\ 77763508509785730467569349156324551*c_1010_12^11 - 3173084504321706710303331792056177331153456617667405/32499693862930\ 77763508509785730467569349156324551*c_1010_12^10 - 1483475545008230651442608843620871486899228582303899/32499693862930\ 77763508509785730467569349156324551*c_1010_12^9 + 1894607668148291424765291836892614680229869502270265/32499693862930\ 77763508509785730467569349156324551*c_1010_12^8 + 52388570321374128492343203053188390970433083197828/3249969386293077\ 763508509785730467569349156324551*c_1010_12^7 - 462248769755938003210109493704687690646960794360972/324996938629307\ 7763508509785730467569349156324551*c_1010_12^6 + 61894290029164720945424918676488412315635306526400/3249969386293077\ 763508509785730467569349156324551*c_1010_12^5 + 91162844156743982413948223724613406949963418958970/3249969386293077\ 763508509785730467569349156324551*c_1010_12^4 - 3387465922171291537819877241433073722807510564518/32499693862930777\ 63508509785730467569349156324551*c_1010_12^3 - 17150143317227241758593809421571899439668787088659/3249969386293077\ 763508509785730467569349156324551*c_1010_12^2 + 329996127654960458393147217133809565448687169070/324996938629307776\ 3508509785730467569349156324551*c_1010_12 + 787958395250556347052861912896199132358990144113/324996938629307776\ 3508509785730467569349156324551, c_0101_1 - 78741321148238531150293752051311714070047310568192/324996938\ 6293077763508509785730467569349156324551*c_1010_12^21 + 532780085252876269500939022731116579085163161506688/324996938629307\ 7763508509785730467569349156324551*c_1010_12^20 - 1762310117916537835114505920167687134688887329748176/32499693862930\ 77763508509785730467569349156324551*c_1010_12^19 + 3452316754038350644496535495119142490943661294734036/32499693862930\ 77763508509785730467569349156324551*c_1010_12^18 - 4133276748084788028828037523477579714122849007286027/32499693862930\ 77763508509785730467569349156324551*c_1010_12^17 + 2170524253591411827425742221450719751500057739773415/32499693862930\ 77763508509785730467569349156324551*c_1010_12^16 + 1958792921556516817388583216163565786647200819254949/32499693862930\ 77763508509785730467569349156324551*c_1010_12^15 - 4917953621384792797238381041360142585299404979554601/32499693862930\ 77763508509785730467569349156324551*c_1010_12^14 + 3142407203344193180053189114281507038213646861878670/32499693862930\ 77763508509785730467569349156324551*c_1010_12^13 + 2919620438158941452076149920542144455130212028417641/32499693862930\ 77763508509785730467569349156324551*c_1010_12^12 - 7659948848410018802899873714945771316999634229941059/32499693862930\ 77763508509785730467569349156324551*c_1010_12^11 + 3991992972294969483023887256418371150703308315505015/32499693862930\ 77763508509785730467569349156324551*c_1010_12^10 + 2627846701160561704571796199831333055882722101651742/32499693862930\ 77763508509785730467569349156324551*c_1010_12^9 - 2650529389752704938578261515161231416293873024591902/32499693862930\ 77763508509785730467569349156324551*c_1010_12^8 - 231679186880263686546615008847881276888118230992702/324996938629307\ 7763508509785730467569349156324551*c_1010_12^7 + 591439765692490783775246559566598738039690246879569/324996938629307\ 7763508509785730467569349156324551*c_1010_12^6 - 156756622525574457531344806520040633643898537170713/324996938629307\ 7763508509785730467569349156324551*c_1010_12^5 - 25821427381723865893350627348963766597860071306284/3249969386293077\ 763508509785730467569349156324551*c_1010_12^4 + 46959518768750076058724168471266546552443993133148/3249969386293077\ 763508509785730467569349156324551*c_1010_12^3 + 2648312945532708496156312302205484621472822274496/32499693862930777\ 63508509785730467569349156324551*c_1010_12^2 - 2527370492021283325926085623333403302925917283645/32499693862930777\ 63508509785730467569349156324551*c_1010_12 - 1072894181235734251033071531539783423780888381158/32499693862930777\ 63508509785730467569349156324551, c_0101_11 + 15798901717982726743615780367396924051031858825984/32499693\ 86293077763508509785730467569349156324551*c_1010_12^21 - 99555736084927879261023928745205362842319127964800/3249969386293077\ 763508509785730467569349156324551*c_1010_12^20 + 315751863310937037914139599275385021261150315041872/324996938629307\ 7763508509785730467569349156324551*c_1010_12^19 - 609518640236208201670734171172717550960136682055812/324996938629307\ 7763508509785730467569349156324551*c_1010_12^18 + 776767062721723437161413840760826634473231441739895/324996938629307\ 7763508509785730467569349156324551*c_1010_12^17 - 576951610956697852718349889424081146891745523174680/324996938629307\ 7763508509785730467569349156324551*c_1010_12^16 + 29426802135081005507159299825301230521399356205396/3249969386293077\ 763508509785730467569349156324551*c_1010_12^15 + 481164241518158306669700950394323115139490239391060/324996938629307\ 7763508509785730467569349156324551*c_1010_12^14 - 460655726892406316672029495168348034365130201341408/324996938629307\ 7763508509785730467569349156324551*c_1010_12^13 - 183168050716843446199786567062511453661336195293294/324996938629307\ 7763508509785730467569349156324551*c_1010_12^12 + 873522712519075948457246533806331464560095471452125/324996938629307\ 7763508509785730467569349156324551*c_1010_12^11 - 591640314843185013733852194062910718232545795521172/324996938629307\ 7763508509785730467569349156324551*c_1010_12^10 + 233472323591935034316008239749255202650987378637781/324996938629307\ 7763508509785730467569349156324551*c_1010_12^9 - 204748733384486320188461380607824766266448793784781/324996938629307\ 7763508509785730467569349156324551*c_1010_12^8 - 218781525845725004098385868024093141904374945694533/324996938629307\ 7763508509785730467569349156324551*c_1010_12^7 + 214563522866922538108852087244200738393930026674655/324996938629307\ 7763508509785730467569349156324551*c_1010_12^6 + 202382292748610364526760773548638190916483149423381/324996938629307\ 7763508509785730467569349156324551*c_1010_12^5 - 81264219244383178017015746429206135143860362719977/3249969386293077\ 763508509785730467569349156324551*c_1010_12^4 - 67418929895669693153443383635521208600736940530923/3249969386293077\ 763508509785730467569349156324551*c_1010_12^3 + 6155403946114272104945469559029703630199947561089/32499693862930777\ 63508509785730467569349156324551*c_1010_12^2 + 5024269353377109993573147662840512083680116156962/32499693862930777\ 63508509785730467569349156324551*c_1010_12 - 541957196474203328223048240326946492282062220471/324996938629307776\ 3508509785730467569349156324551, c_0101_3 - 18454330662081527297272898757789539471536753133056/324996938\ 6293077763508509785730467569349156324551*c_1010_12^21 + 139802775647895102747581278857795880334808206332160/324996938629307\ 7763508509785730467569349156324551*c_1010_12^20 - 514605434585083899174390206122224216576800684792992/324996938629307\ 7763508509785730467569349156324551*c_1010_12^19 + 1152974785938040112008767223025299633637247057560776/32499693862930\ 77763508509785730467569349156324551*c_1010_12^18 - 1673868409797796070332908273166114922146188095389486/32499693862930\ 77763508509785730467569349156324551*c_1010_12^17 + 1437741007755951695976496476847564970106654382118900/32499693862930\ 77763508509785730467569349156324551*c_1010_12^16 - 208291966572253040733605003231049325592413411022891/324996938629307\ 7763508509785730467569349156324551*c_1010_12^15 - 1248090908273532236849639075362763990508263269123538/32499693862930\ 77763508509785730467569349156324551*c_1010_12^14 + 1556355040149984894280054584191302517072262437330880/32499693862930\ 77763508509785730467569349156324551*c_1010_12^13 - 76813628205880803056130504866838793027183111181662/3249969386293077\ 763508509785730467569349156324551*c_1010_12^12 - 2025760965410035629428351854446440703189774489221551/32499693862930\ 77763508509785730467569349156324551*c_1010_12^11 + 2230915977729713246686643147897152770235099653685916/32499693862930\ 77763508509785730467569349156324551*c_1010_12^10 - 386668292839175697909625433665011168073370962311842/324996938629307\ 7763508509785730467569349156324551*c_1010_12^9 - 631303283929118512713536929327920153845559592796033/324996938629307\ 7763508509785730467569349156324551*c_1010_12^8 + 270244986555198731791359736074485950768519579244806/324996938629307\ 7763508509785730467569349156324551*c_1010_12^7 + 36804468461534792392297934077917951030146878239358/3249969386293077\ 763508509785730467569349156324551*c_1010_12^6 - 59239328433215594005386356926263445618395234212323/3249969386293077\ 763508509785730467569349156324551*c_1010_12^5 + 17180677009962168231977871312571529159550234707241/3249969386293077\ 763508509785730467569349156324551*c_1010_12^4 + 23296472439653218300012494298991244714378516824525/3249969386293077\ 763508509785730467569349156324551*c_1010_12^3 + 2937796677693229644737070725224258638083004089049/32499693862930777\ 63508509785730467569349156324551*c_1010_12^2 - 4213232064058149635694202228488857486523240608565/32499693862930777\ 63508509785730467569349156324551*c_1010_12 + 183047509014848641773934656078991975113113774680/324996938629307776\ 3508509785730467569349156324551, c_0101_8 - 324333774194880834259102231218622868032974951755008/32499693\ 86293077763508509785730467569349156324551*c_1010_12^21 + 2181081036627177527062599773686537241883868653287040/32499693862930\ 77763508509785730467569349156324551*c_1010_12^20 - 7141191065501804648775927014789402688002068629711536/32499693862930\ 77763508509785730467569349156324551*c_1010_12^19 + 13738287945912014712893544361903370438252797961377836/3249969386293\ 077763508509785730467569349156324551*c_1010_12^18 - 15845326097908626630442581461007961087827391907243093/3249969386293\ 077763508509785730467569349156324551*c_1010_12^17 + 7104944701342614101875644934456092541887182958781683/32499693862930\ 77763508509785730467569349156324551*c_1010_12^16 + 9742302917742222843012488568962771148808491507096548/32499693862930\ 77763508509785730467569349156324551*c_1010_12^15 - 20557927441930686223372731292493774871155082367180651/3249969386293\ 077763508509785730467569349156324551*c_1010_12^14 + 11479227380668853307807474087278427912659804281321172/3249969386293\ 077763508509785730467569349156324551*c_1010_12^13 + 13947542416264990105049472673121651888118202943557109/3249969386293\ 077763508509785730467569349156324551*c_1010_12^12 - 31724331387174611549097038755391426540206536011271385/3249969386293\ 077763508509785730467569349156324551*c_1010_12^11 + 13987772801582640128556637141369286991063688170464341/3249969386293\ 077763508509785730467569349156324551*c_1010_12^10 + 13778758773920995878680082826568669178844552167032299/3249969386293\ 077763508509785730467569349156324551*c_1010_12^9 - 11218328434449864882175993569213712939988402588233613/3249969386293\ 077763508509785730467569349156324551*c_1010_12^8 - 2566032161147284401322187600230449430800738419303480/32499693862930\ 77763508509785730467569349156324551*c_1010_12^7 + 2727223083529619148501021361974147913189075629252779/32499693862930\ 77763508509785730467569349156324551*c_1010_12^6 + 136010459027731954140148854156448299431814151143769/324996938629307\ 7763508509785730467569349156324551*c_1010_12^5 - 175772205441308064310009019819758925640464091615636/324996938629307\ 7763508509785730467569349156324551*c_1010_12^4 - 29509377668373285927975844211773479086160648089580/3249969386293077\ 763508509785730467569349156324551*c_1010_12^3 + 876027707092055373372891839480379801470371456546/324996938629307776\ 3508509785730467569349156324551*c_1010_12^2 + 2366989629199148089005074005874449192970055342179/32499693862930777\ 63508509785730467569349156324551*c_1010_12 - 2685424350700953818992407260364501411088611995501/32499693862930777\ 63508509785730467569349156324551, c_1001_0 + 79390132987033729759870054102254919337382037414144/324996938\ 6293077763508509785730467569349156324551*c_1010_12^21 - 583202690222852831306277991681091323383524147488128/324996938629307\ 7763508509785730467569349156324551*c_1010_12^20 + 2079285305015001826228772519341957730696092843821040/32499693862930\ 77763508509785730467569349156324551*c_1010_12^19 - 4452270387818243572347119517327785292158550209042444/32499693862930\ 77763508509785730467569349156324551*c_1010_12^18 + 5999532130375308155825267827242979668025269666890805/32499693862930\ 77763508509785730467569349156324551*c_1010_12^17 - 4262853644234222547884837476289323485888469427274348/32499693862930\ 77763508509785730467569349156324551*c_1010_12^16 - 1073472547294192196226824853365180664157156026337837/32499693862930\ 77763508509785730467569349156324551*c_1010_12^15 + 6230556443876431017037123022816038716185141934461344/32499693862930\ 77763508509785730467569349156324551*c_1010_12^14 - 5778973975996771984132744652204519187701252311771082/32499693862930\ 77763508509785730467569349156324551*c_1010_12^13 - 1549405758352663568169059627212932595118578060238042/32499693862930\ 77763508509785730467569349156324551*c_1010_12^12 + 9562462298464571552763613066488601853233212004488886/32499693862930\ 77763508509785730467569349156324551*c_1010_12^11 - 8032029596827607429592854891827434209843700373718781/32499693862930\ 77763508509785730467569349156324551*c_1010_12^10 - 1062889510987808911244687693286362973835656910540604/32499693862930\ 77763508509785730467569349156324551*c_1010_12^9 + 4332337604543617740451771642190195905914502106478401/32499693862930\ 77763508509785730467569349156324551*c_1010_12^8 - 826806270238156677499674564767495354697593680092421/324996938629307\ 7763508509785730467569349156324551*c_1010_12^7 - 886808123230522538850587778365205011986198200854270/324996938629307\ 7763508509785730467569349156324551*c_1010_12^6 + 244749558408582343010715034222145520992436374506673/324996938629307\ 7763508509785730467569349156324551*c_1010_12^5 + 40036265020278313214226370428886982942993927663953/3249969386293077\ 763508509785730467569349156324551*c_1010_12^4 + 789963800586718430440293042101892197173881916444/324996938629307776\ 3508509785730467569349156324551*c_1010_12^3 - 6379630418931323297619790371397579919359834042911/32499693862930777\ 63508509785730467569349156324551*c_1010_12^2 - 1215121354014081438394648477654622395643422771766/32499693862930777\ 63508509785730467569349156324551*c_1010_12 + 3016854563735246131318491275350855084358353801127/32499693862930777\ 63508509785730467569349156324551, c_1001_1 + 42939584231156301988204670897589177424178550225920/324996938\ 6293077763508509785730467569349156324551*c_1010_12^21 - 302240746518928380547194588674411755070717437485568/324996938629307\ 7763508509785730467569349156324551*c_1010_12^20 + 1009266606176088267143133139251352424247496755987776/32499693862930\ 77763508509785730467569349156324551*c_1010_12^19 - 1942044076285911758918377788491384234041546424004048/32499693862930\ 77763508509785730467569349156324551*c_1010_12^18 + 2120906224905205456943226313887724466626833061230780/32499693862930\ 77763508509785730467569349156324551*c_1010_12^17 - 590708430889773373492636049817673935992202941042548/324996938629307\ 7763508509785730467569349156324551*c_1010_12^16 - 2095983814258219049355267187467381746233422084748599/32499693862930\ 77763508509785730467569349156324551*c_1010_12^15 + 3553798186173434951807452921564379924519051818208541/32499693862930\ 77763508509785730467569349156324551*c_1010_12^14 - 1657911077468666488234447701359282030553948660040284/32499693862930\ 77763508509785730467569349156324551*c_1010_12^13 - 2679249826256791340637204283322670595189385402695945/32499693862930\ 77763508509785730467569349156324551*c_1010_12^12 + 5302935358254565432760533001797919886907954793841760/32499693862930\ 77763508509785730467569349156324551*c_1010_12^11 - 1980578340869628855691603240357105872016425031963431/32499693862930\ 77763508509785730467569349156324551*c_1010_12^10 - 3361565009710677372299474672845966583815903620710698/32499693862930\ 77763508509785730467569349156324551*c_1010_12^9 + 2583115346354735364341587952770564282544124050541155/32499693862930\ 77763508509785730467569349156324551*c_1010_12^8 + 977265806386775233028823306335951590996784288948478/324996938629307\ 7763508509785730467569349156324551*c_1010_12^7 - 805966953623682364313410829296311475228431138155313/324996938629307\ 7763508509785730467569349156324551*c_1010_12^6 - 346344258530156439150542792856429949095939117037878/324996938629307\ 7763508509785730467569349156324551*c_1010_12^5 + 87750675537345564706988750347385269858829294432870/3249969386293077\ 763508509785730467569349156324551*c_1010_12^4 + 79262579238502900595405597006674528974788026311474/3249969386293077\ 763508509785730467569349156324551*c_1010_12^3 + 954332239170963720603644228636636344139808240080/324996938629307776\ 3508509785730467569349156324551*c_1010_12^2 - 6115518224064804917320731581685652865863414876925/32499693862930777\ 63508509785730467569349156324551*c_1010_12 + 1846715173404803739795512356626198385949156420964/32499693862930777\ 63508509785730467569349156324551, c_1001_5 + 56088264208417481301913642400387663805552519944704/324996938\ 6293077763508509785730467569349156324551*c_1010_12^21 - 381216303443263421607622112418018344238820529068032/324996938629307\ 7763508509785730467569349156324551*c_1010_12^20 + 1272739841616788471273154017325830916503215272469216/32499693862930\ 77763508509785730467569349156324551*c_1010_12^19 - 2531813786862463758201898030508450152022803406246696/32499693862930\ 77763508509785730467569349156324551*c_1010_12^18 + 3119957347417663261022964196299313597817142739479326/32499693862930\ 77763508509785730467569349156324551*c_1010_12^17 - 1807374309305200630037965773958625036063196081462809/32499693862930\ 77763508509785730467569349156324551*c_1010_12^16 - 1173170512408907741970598931181884373320663893634231/32499693862930\ 77763508509785730467569349156324551*c_1010_12^15 + 3489357765503260526698097007585893180338951421446460/32499693862930\ 77763508509785730467569349156324551*c_1010_12^14 - 2468907486394987570483655024269657950827086178704609/32499693862930\ 77763508509785730467569349156324551*c_1010_12^13 - 1799638382491907044062832957686820066025305698424887/32499693862930\ 77763508509785730467569349156324551*c_1010_12^12 + 5428098219100589096729780965086468224899759008851310/32499693862930\ 77763508509785730467569349156324551*c_1010_12^11 - 3173084504321706710303331792056177331153456617667405/32499693862930\ 77763508509785730467569349156324551*c_1010_12^10 - 1483475545008230651442608843620871486899228582303899/32499693862930\ 77763508509785730467569349156324551*c_1010_12^9 + 1894607668148291424765291836892614680229869502270265/32499693862930\ 77763508509785730467569349156324551*c_1010_12^8 + 52388570321374128492343203053188390970433083197828/3249969386293077\ 763508509785730467569349156324551*c_1010_12^7 - 462248769755938003210109493704687690646960794360972/324996938629307\ 7763508509785730467569349156324551*c_1010_12^6 + 61894290029164720945424918676488412315635306526400/3249969386293077\ 763508509785730467569349156324551*c_1010_12^5 + 91162844156743982413948223724613406949963418958970/3249969386293077\ 763508509785730467569349156324551*c_1010_12^4 - 3387465922171291537819877241433073722807510564518/32499693862930777\ 63508509785730467569349156324551*c_1010_12^3 - 17150143317227241758593809421571899439668787088659/3249969386293077\ 763508509785730467569349156324551*c_1010_12^2 + 329996127654960458393147217133809565448687169070/324996938629307776\ 3508509785730467569349156324551*c_1010_12 + 787958395250556347052861912896199132358990144113/324996938629307776\ 3508509785730467569349156324551, c_1010_12^22 - 13/2*c_1010_12^21 + 327/16*c_1010_12^20 - 2367/64*c_1010_12^19 + 9745/256*c_1010_12^18 - 2253/256*c_1010_12^17 - 1179/32*c_1010_12^16 + 7229/128*c_1010_12^15 - 1175/64*c_1010_12^14 - 13907/256*c_1010_12^13 + 22673/256*c_1010_12^12 - 1099/64*c_1010_12^11 - 14687/256*c_1010_12^10 + 6361/256*c_1010_12^9 + 2525/128*c_1010_12^8 - 1959/256*c_1010_12^7 - 913/256*c_1010_12^6 + 179/256*c_1010_12^5 + 45/128*c_1010_12^4 - 3/256*c_1010_12^3 - 3/128*c_1010_12^2 + 3/256*c_1010_12 + 1/128 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 8.810 Total time: 9.009 seconds, Total memory usage: 83.69MB