Magma V2.19-8 Tue Aug 20 2013 17:57:21 on localhost [Seed = 3869725339] Type ? for help. Type -D to quit. Loading file "9_25__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 9_25 geometric_solution 11.39030515 oriented_manifold CS_known 0.0000000000000002 1 0 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 0 -1 1 1 0 -1 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.940042538978 1.270240835653 0 3 6 5 0132 3120 0132 0132 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 -1 0 1 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.742436745892 0.767759486943 7 0 3 7 0132 0132 3120 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 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.360540429679 1.008359253521 8 1 2 0 0132 3120 3120 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 -1 0 1 0 0 -1 1 -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.019754074528 0.897040563009 9 6 0 5 0132 0132 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0.799495526306 0.569081111390 7 10 1 4 3120 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 7 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.478695876427 0.791110149377 9 4 11 1 3120 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 1 0 0 0 1 -1 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.503885342387 0.369723464931 2 2 8 5 0132 1302 3120 3120 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 6 -7 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.685605673385 0.879297860656 3 10 7 10 0132 1302 3120 1230 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 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.376322549597 0.859790262078 4 11 11 6 0132 3012 3120 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.814669520628 0.587478990965 8 5 11 8 3012 0132 2310 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 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.572777259953 0.976082756731 9 10 9 6 1230 3201 3120 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 1 0 0 -1 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.488381446939 1.548120096736 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_11' : d['c_0011_11'], 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : d['c_0101_7'], 'c_1001_6' : negation(d['c_1001_10']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : negation(d['c_1001_1']), 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : negation(d['c_0011_11']), 'c_1001_8' : negation(d['c_0101_7']), 'c_1010_11' : negation(d['c_1001_10']), 'c_1010_10' : negation(d['c_0011_3']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_4']), 'c_0101_10' : negation(d['c_0011_11']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_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' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(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_0101_7']), 'c_1100_5' : negation(d['c_0101_9']), 'c_1100_4' : negation(d['c_0101_2']), 'c_1100_7' : negation(d['c_0101_0']), 'c_1100_6' : negation(d['c_0101_9']), 'c_1100_1' : negation(d['c_0101_9']), 'c_1100_0' : negation(d['c_0101_2']), 'c_1100_3' : negation(d['c_0101_2']), 'c_1100_2' : negation(d['c_0011_10']), 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0101_9']), 'c_1100_10' : d['c_0011_11'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_10'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_10'], 'c_1010_4' : negation(d['c_1001_10']), 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : d['c_0011_4'], 'c_1010_8' : negation(d['c_0011_11']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : 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' : negation(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' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_4']), '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' : negation(d['c_0101_7']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_10'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_0'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0011_10'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0011_4'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_9'], 'c_0110_7' : d['c_0101_2'], 'c_0011_10' : d['c_0011_10']})} 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_10, c_0011_11, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_7, c_0101_9, c_1001_1, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t + 411973060604673442685678366261370260524470816736205589964/404981678\ 938881706218304447199929543403107669592987457*c_1001_10^24 - 614716020540257328583339451119378007281437254793509931802/404981678\ 938881706218304447199929543403107669592987457*c_1001_10^23 + 444698833993459707881387957552148553941243392495947160697/134993892\ 979627235406101482399976514467702556530995819*c_1001_10^22 - 1507081275861601347032083825382655835452347547233035703350/13499389\ 2979627235406101482399976514467702556530995819*c_1001_10^21 - 320815266646065071834040212011911284421252444205419773759/134993892\ 979627235406101482399976514467702556530995819*c_1001_10^20 - 2376711661047606000435313254115702820087759946322974619619/40498167\ 8938881706218304447199929543403107669592987457*c_1001_10^19 + 95001601201442308140713773940719520521438693696486863449/9877601925\ 338578200446449931705598619587991941292377*c_1001_10^18 + 30207571814695175037819183055616617465633379814876952592627/4049816\ 78938881706218304447199929543403107669592987457*c_1001_10^17 + 11030980309529635067752350303584138879396455307680289132872/1349938\ 92979627235406101482399976514467702556530995819*c_1001_10^16 - 7462264508854031452207966390150404461175105547998460520773/40498167\ 8938881706218304447199929543403107669592987457*c_1001_10^15 - 7160009602977778985785825513128111369323018776933602765155/13499389\ 2979627235406101482399976514467702556530995819*c_1001_10^14 - 70366791895159290654342850793051447186916349083151723456857/1349938\ 92979627235406101482399976514467702556530995819*c_1001_10^13 - 105892223150792327621069928110471555048385564249180228575146/404981\ 678938881706218304447199929543403107669592987457*c_1001_10^12 - 8879033191634690221496033906164794782436852715388056783541/40498167\ 8938881706218304447199929543403107669592987457*c_1001_10^11 + 133407364071640959667897634395058746100566033850100431496748/404981\ 678938881706218304447199929543403107669592987457*c_1001_10^10 + 466890366080775304640326064096698403517076644518974495782035/404981\ 678938881706218304447199929543403107669592987457*c_1001_10^9 + 380638801549315120483189027025610005157266038594504257892034/404981\ 678938881706218304447199929543403107669592987457*c_1001_10^8 - 19946093989438626175466680304122971333309135410435054792500/4049816\ 78938881706218304447199929543403107669592987457*c_1001_10^7 + 163099767845601915444813447251803953815295706997384162204119/404981\ 678938881706218304447199929543403107669592987457*c_1001_10^6 - 346224441645206588515807056304342957614301527623966220476782/404981\ 678938881706218304447199929543403107669592987457*c_1001_10^5 + 49596037488754710526554476310994195495226264490380136843127/1349938\ 92979627235406101482399976514467702556530995819*c_1001_10^4 + 22046016899498883851177788449318271149689359497195553962977/1349938\ 92979627235406101482399976514467702556530995819*c_1001_10^3 + 229697598443891010934289270069371488923001805501777792782893/404981\ 678938881706218304447199929543403107669592987457*c_1001_10^2 + 49703676983005733830565574624111716085169658866268541780247/4049816\ 78938881706218304447199929543403107669592987457*c_1001_10 + 4425953611623524559716126841029781941669152624752010279824/13499389\ 2979627235406101482399976514467702556530995819, c_0011_0 - 1, c_0011_10 + 10312715564900977855150715531961632542501025357787720/13499\ 3892979627235406101482399976514467702556530995819*c_1001_10^24 - 16770750870714993008441308546225719156996866934292176/1349938929796\ 27235406101482399976514467702556530995819*c_1001_10^23 + 35113122202909612668699988915229181010837746732184460/1349938929796\ 27235406101482399976514467702556530995819*c_1001_10^22 - 116628372382576375603123190955169090960996810463088595/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^21 - 10883846111409320683397501280943592012975253051788181/1349938929796\ 27235406101482399976514467702556530995819*c_1001_10^20 - 51019439652907086246553585516587154125674393710962932/1349938929796\ 27235406101482399976514467702556530995819*c_1001_10^19 + 2462545307936422068059052042030155153208386520579729/32925339751128\ 59400148816643901866206529330647097459*c_1001_10^18 + 744050576085572601974904179385519629815647449026338032/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^17 + 724081896714585155759312097737946447219833451617066724/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^16 - 316364389346547850106824201189063558461892886948118965/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^15 - 506699213919023107480957504302078214550304788830114824/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^14 - 5173721860709422661272864927370279801526218664614377792/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^13 - 1964688097693654564506948871373547204323614074300577829/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^12 + 267586811490637642199982022799769799989584652152660335/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^11 + 3238682208075198297395268419735526244978889274822687129/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^10 + 11186163283069836845377330723378114940811603760154227600/1349938929\ 79627235406101482399976514467702556530995819*c_1001_10^9 + 8003220850433147192922771913751360481756678419046921125/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^8 - 1983578518068047927671695225260988987302650975187692679/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^7 + 4223961605270255076013366039075199714452737348951248770/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^6 - 8925779242820207191629114302525421938865447757829883038/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^5 + 4398615143087776749940386978822679458117737676349734960/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^4 + 1558079165833213337980541766454441818261936032746740475/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^3 + 5267767326508326106068687182964711606227290024990744495/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^2 + 589669555672811012751137387430975492300254540388079370/134993892979\ 627235406101482399976514467702556530995819*c_1001_10 + 179941365415453061904110029322025849503980676446543140/134993892979\ 627235406101482399976514467702556530995819, c_0011_11 + 75342215903586883193878864449458711314340116275792/13499389\ 2979627235406101482399976514467702556530995819*c_1001_10^24 - 1117501282524742004088243736139138922247608644114240/13499389297962\ 7235406101482399976514467702556530995819*c_1001_10^23 + 2136637593159489272378703669088638259187732620789456/13499389297962\ 7235406101482399976514467702556530995819*c_1001_10^22 - 4598094849977004955489699382791033012265662939102070/13499389297962\ 7235406101482399976514467702556530995819*c_1001_10^21 + 11787045766228745693556963651223880829229604992646686/1349938929796\ 27235406101482399976514467702556530995819*c_1001_10^20 - 1953497753365402331029548419417629059801214069519105/13499389297962\ 7235406101482399976514467702556530995819*c_1001_10^19 + 106920157984042475145481370411032586047079545693010/329253397511285\ 9400148816643901866206529330647097459*c_1001_10^18 - 4095526530693903158348373662958917435608774726405209/13499389297962\ 7235406101482399976514467702556530995819*c_1001_10^17 - 62558823412632058117081535271423184858491650837961435/1349938929796\ 27235406101482399976514467702556530995819*c_1001_10^16 - 51361083282890556572175963197898452526268905071996165/1349938929796\ 27235406101482399976514467702556530995819*c_1001_10^15 + 45654626728799022546476510008900356677345941976206556/1349938929796\ 27235406101482399976514467702556530995819*c_1001_10^14 - 6590402473704813417273611815847360111757483886617709/13499389297962\ 7235406101482399976514467702556530995819*c_1001_10^13 + 447064657251188926866058337220151626838757276546555647/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^12 + 60621053334997488382406220376338422240544952965707044/1349938929796\ 27235406101482399976514467702556530995819*c_1001_10^11 - 49245074331733012226446349385361771180636855088473434/1349938929796\ 27235406101482399976514467702556530995819*c_1001_10^10 - 129598558681961839806346252432957852257732055523957261/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^9 - 856457784609406094205352007222374839839228921870039154/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^8 - 516950614695118155105634959590276673270701472217012672/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^7 + 316650874229899584494484062072044147480933235547951944/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^6 - 687390735234169894414260957675120149907514530659286307/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^5 + 816144951124136603505655049214838687948337573670494640/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^4 - 539688838901066350267346528114845581880622535759449450/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^3 + 30188198871886457256322574291243855865243648128100783/1349938929796\ 27235406101482399976514467702556530995819*c_1001_10^2 - 294070338156103356839465785284473683717217728753485425/134993892979\ 627235406101482399976514467702556530995819*c_1001_10 - 14238515440094307451600084261842894752649623401603332/1349938929796\ 27235406101482399976514467702556530995819, c_0011_3 + 7984843496506752893301758414298832392986166428513752/1349938\ 92979627235406101482399976514467702556530995819*c_1001_10^24 - 13009515841769349265525403355071774590214142779070648/1349938929796\ 27235406101482399976514467702556530995819*c_1001_10^23 + 27148642131553167769929405409419511619648115271123964/1349938929796\ 27235406101482399976514467702556530995819*c_1001_10^22 - 90227549398735230925602797893559443347848541210606881/1349938929796\ 27235406101482399976514467702556530995819*c_1001_10^21 - 8270889489841676938415476710236710612258168479084934/13499389297962\ 7235406101482399976514467702556530995819*c_1001_10^20 - 38690996594695630729358841501831446214708193645509361/1349938929796\ 27235406101482399976514467702556530995819*c_1001_10^19 + 1906264572530076342955969727714471911468067360764354/32925339751128\ 59400148816643901866206529330647097459*c_1001_10^18 + 574864597425015429088960320474038204276487195861475205/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^17 + 555898541048782626154186416626795749121970411618381941/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^16 - 250073420243461560188891371870318944024898922216835290/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^15 - 391278403655334219844708819925570526408009126904137881/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^14 - 3987070708853753714387377456521158102686845206494046404/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^13 - 1491130280158589741226173280916541043416118273546937079/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^12 + 228985221263764189763501426664013667764591288821445216/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^11 + 2468335226576949048565049239445133874996897274105219962/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^10 + 8581054692391850879131318724482323593284444263888063709/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^9 + 6107765511327206160549103508903551679998899801849694780/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^8 - 1510861025576697985338878172901328548478330098442904301/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^7 + 3352863762684431734285465991072935833817814395941424221/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^6 - 6812837960613120306225498918542787266725045546204500794/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^5 + 3462127891682342153792236870814264542409814900521548635/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^4 + 1162457126487499293210788343288231854862219239047551837/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^3 + 3970750018572058189784393014906078988132045395201666143/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^2 + 569977757993671223754780839059837155025910441180282411/134993892979\ 627235406101482399976514467702556530995819*c_1001_10 + 166630304811495318943076161029919373393286153593321867/134993892979\ 627235406101482399976514467702556530995819, c_0011_4 - 3066948737302739379956142821797185206103651109649072/1349938\ 92979627235406101482399976514467702556530995819*c_1001_10^24 + 5094878722364905429610293028741648175794208820456536/13499389297962\ 7235406101482399976514467702556530995819*c_1001_10^23 - 10759966606727639103565477077978614853015099378987436/1349938929796\ 27235406101482399976514467702556530995819*c_1001_10^22 + 35711622496556992890183903276923125687544344443799596/1349938929796\ 27235406101482399976514467702556530995819*c_1001_10^21 + 642984611313804316757466912395635789168630698312416/134993892979627\ 235406101482399976514467702556530995819*c_1001_10^20 + 18166092765929002407008854647689947229527452954243681/1349938929796\ 27235406101482399976514467702556530995819*c_1001_10^19 - 863068248773394577863528308174030716151259372511336/329253397511285\ 9400148816643901866206529330647097459*c_1001_10^18 - 218524584254274098409655064084282156630224638921204946/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^17 - 208043188286616380729677041729744322904942000955753185/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^16 + 96928458242562546553694732782337366886986218425460057/1349938929796\ 27235406101482399976514467702556530995819*c_1001_10^15 + 164439917961574393009841120139711093221808395827774313/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^14 + 1550485138317436702383395934184333763429292686372152142/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^13 + 493140915749906738330075757733544568780389585099540029/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^12 - 56101948119280119383892622846515817387883348136053169/1349938929796\ 27235406101482399976514467702556530995819*c_1001_10^11 - 1103096628594704015627194006390142162127273935491631215/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^10 - 3265734244230850296153651446907706435412330702335493923/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^9 - 2152959062347106044715774382631324456090384323239238183/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^8 + 637471778112599604067591126661742594866409416583755791/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^7 - 1103549447806184216372742018260869683268053272579564011/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^6 + 2802170550796232269369488507737204509334432746900593566/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^5 - 1824485803932259441853748795475203152846537928342431786/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^4 - 191789116308907207880597629036338945621462185740795414/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^3 - 1840814988464101189349464064841224721502422376342295458/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^2 + 409987655731647838271671452911662905191385896984476/134993892979627\ 235406101482399976514467702556530995819*c_1001_10 - 65471339509718584758104785090794161833213308328895860/1349938929796\ 27235406101482399976514467702556530995819, c_0101_0 - 876816754664869341371579692521866226459099715170792/13499389\ 2979627235406101482399976514467702556530995819*c_1001_10^24 + 1488784182668259590148228749968600599133637448022620/13499389297962\ 7235406101482399976514467702556530995819*c_1001_10^23 - 3609548045930460691635478950927176273057803698940482/13499389297962\ 7235406101482399976514467702556530995819*c_1001_10^22 + 11110163673707440830571746338347634273784501158479476/1349938929796\ 27235406101482399976514467702556530995819*c_1001_10^21 - 1697997630503064112438868841474777496381132848090376/13499389297962\ 7235406101482399976514467702556530995819*c_1001_10^20 + 10264297879843511168617068785553618864242575726393955/1349938929796\ 27235406101482399976514467702556530995819*c_1001_10^19 - 222772674062014406430992454321949910474597869386680/329253397511285\ 9400148816643901866206529330647097459*c_1001_10^18 - 61886409076105391713501827398708901885937583488126858/1349938929796\ 27235406101482399976514467702556530995819*c_1001_10^17 - 60290995092040419748031580320769109572287368945172817/1349938929796\ 27235406101482399976514467702556530995819*c_1001_10^16 - 5514646913654778745547812926283148062399177476626107/13499389297962\ 7235406101482399976514467702556530995819*c_1001_10^15 + 14761520082841690513772740994394464825912894728195741/1349938929796\ 27235406101482399976514467702556530995819*c_1001_10^14 + 465676535733462810338258853994503168130882825657446497/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^13 + 147055269967180770141705493934474318325431710878483375/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^12 + 207609030056850161116762184632519796150272764487597024/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^11 - 227004321439113570552682783759582612099945902315302384/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^10 - 996769398717962119357992246802025824422295739492993215/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^9 - 692428400131072472213178612865571000432246755733965106/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^8 - 290150004893338079214653095727907364670108151355915782/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^7 - 684840055946694885100791442842519148377513230029327164/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^6 + 1018141355968871224721239694360411110307978937691634544/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^5 - 784366196850962999207503423403297983506626133428641496/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^4 + 308643228022889482750829881414059460767496844933723490/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^3 - 542240967752482401430549118036867969108919225981401971/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^2 - 171418389836009704228732176155467642882796446940636977/134993892979\ 627235406101482399976514467702556530995819*c_1001_10 - 173546118491907530744982047707950655005552987810276431/134993892979\ 627235406101482399976514467702556530995819, c_0101_1 + 75342215903586883193878864449458711314340116275792/134993892\ 979627235406101482399976514467702556530995819*c_1001_10^24 - 1117501282524742004088243736139138922247608644114240/13499389297962\ 7235406101482399976514467702556530995819*c_1001_10^23 + 2136637593159489272378703669088638259187732620789456/13499389297962\ 7235406101482399976514467702556530995819*c_1001_10^22 - 4598094849977004955489699382791033012265662939102070/13499389297962\ 7235406101482399976514467702556530995819*c_1001_10^21 + 11787045766228745693556963651223880829229604992646686/1349938929796\ 27235406101482399976514467702556530995819*c_1001_10^20 - 1953497753365402331029548419417629059801214069519105/13499389297962\ 7235406101482399976514467702556530995819*c_1001_10^19 + 106920157984042475145481370411032586047079545693010/329253397511285\ 9400148816643901866206529330647097459*c_1001_10^18 - 4095526530693903158348373662958917435608774726405209/13499389297962\ 7235406101482399976514467702556530995819*c_1001_10^17 - 62558823412632058117081535271423184858491650837961435/1349938929796\ 27235406101482399976514467702556530995819*c_1001_10^16 - 51361083282890556572175963197898452526268905071996165/1349938929796\ 27235406101482399976514467702556530995819*c_1001_10^15 + 45654626728799022546476510008900356677345941976206556/1349938929796\ 27235406101482399976514467702556530995819*c_1001_10^14 - 6590402473704813417273611815847360111757483886617709/13499389297962\ 7235406101482399976514467702556530995819*c_1001_10^13 + 447064657251188926866058337220151626838757276546555647/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^12 + 60621053334997488382406220376338422240544952965707044/1349938929796\ 27235406101482399976514467702556530995819*c_1001_10^11 - 49245074331733012226446349385361771180636855088473434/1349938929796\ 27235406101482399976514467702556530995819*c_1001_10^10 - 129598558681961839806346252432957852257732055523957261/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^9 - 856457784609406094205352007222374839839228921870039154/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^8 - 516950614695118155105634959590276673270701472217012672/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^7 + 316650874229899584494484062072044147480933235547951944/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^6 - 687390735234169894414260957675120149907514530659286307/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^5 + 816144951124136603505655049214838687948337573670494640/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^4 - 539688838901066350267346528114845581880622535759449450/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^3 + 30188198871886457256322574291243855865243648128100783/1349938929796\ 27235406101482399976514467702556530995819*c_1001_10^2 - 294070338156103356839465785284473683717217728753485425/134993892979\ 627235406101482399976514467702556530995819*c_1001_10 - 14238515440094307451600084261842894752649623401603332/1349938929796\ 27235406101482399976514467702556530995819, c_0101_2 + 4401143066926535560766299592874141146830873019021140/1349938\ 92979627235406101482399976514467702556530995819*c_1001_10^24 - 8754049007116469415514637994952812094523329771326978/13499389297962\ 7235406101482399976514467702556530995819*c_1001_10^23 + 17634662045656108761124298499673292806404900848689443/1349938929796\ 27235406101482399976514467702556530995819*c_1001_10^22 - 55320869960498861543502115041517938171309734308006611/1349938929796\ 27235406101482399976514467702556530995819*c_1001_10^21 + 13737866028625088503035161757160828738744154312191626/1349938929796\ 27235406101482399976514467702556530995819*c_1001_10^20 - 20976568382933968621151049193570319523259502867146536/1349938929796\ 27235406101482399976514467702556530995819*c_1001_10^19 + 1255543069845494536342320588917176675440436115736792/32925339751128\ 59400148816643901866206529330647097459*c_1001_10^18 + 300725163683685170151494607988485192830777541638228185/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^17 + 194186018856300099220703850883984138966650467395472764/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^16 - 242333087180132332174765291646699564944967035902167466/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^15 - 164380269175358054033688889545551256243989743239428404/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^14 - 2126966941259389091330521892617513355689571474256600535/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^13 - 34752206445237091424195170626929847676079924913483528/1349938929796\ 27235406101482399976514467702556530995819*c_1001_10^12 + 376267065308968279672179443562047243029120823836528962/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^11 + 1336710346182808837484742071737747760342970772287837658/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^10 + 4244276304257388931578027845224113787139417636952675709/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^9 + 1704040152114601861001018820915307339648220056285893282/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^8 - 1964358366005320049505849748105310669975759212581072838/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^7 + 2144387697212600356918476840363012236883139363160181916/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^6 - 4447713433943439623723988738782862522878434076832577899/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^5 + 3295042684263379893772461140313543715813780985265033360/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^4 - 241717570887355868567130835291897834688478672241205571/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^3 + 2067053635108379640560121813310832810959997133163400604/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^2 - 501580069857990703568154099493953189886739122912347959/134993892979\ 627235406101482399976514467702556530995819*c_1001_10 + 77955622106386111821705006914193237080177209058207700/1349938929796\ 27235406101482399976514467702556530995819, c_0101_7 + 10816334089715606211468453672616908087540232530893932/134993\ 892979627235406101482399976514467702556530995819*c_1001_10^24 - 17422552812784576489775934303039997036974317335039110/1349938929796\ 27235406101482399976514467702556530995819*c_1001_10^23 + 37128464245950941482958243179976687575554083067682253/1349938929796\ 27235406101482399976514467702556530995819*c_1001_10^22 - 123006910568838155856273724691617414609308432874101613/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^21 - 10923617533251321534422922255124303980613366610792417/1349938929796\ 27235406101482399976514467702556530995819*c_1001_10^20 - 60772397859117607632424225635865337889085028002256412/1349938929796\ 27235406101482399976514467702556530995819*c_1001_10^19 + 2616336437380825194967217793640043419229481765437067/32925339751128\ 59400148816643901866206529330647097459*c_1001_10^18 + 781306828658419513786116921222186542782794963413544972/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^17 + 775625136663950271493486373654963500283275499731221367/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^16 - 283401831496298554953256000029241817408578567800099068/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^15 - 517924821233204770355650727931249216877810173296664782/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^14 - 5479094521515003021476710068218402806178015786317084928/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^13 - 2141968612132018570055492876328079456894728013732827453/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^12 + 613822486908056874521740113436130205212431266297223/134993892979627\ 235406101482399976514467702556530995819*c_1001_10^11 + 3426151660088919254661000769043234368416568590198102874/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^10 + 11879990911366709696721529133362578645854465454696672916/1349938929\ 79627235406101482399976514467702556530995819*c_1001_10^9 + 8605097278784400724063176265272823649851154220382540659/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^8 - 1473448860537286342745747758614543288436193375294364653/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^7 + 4601068636762896004767938203529083183829552137478194679/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^6 - 9654482942504867979490144050987142135314748158102329126/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^5 + 5002339588995030978584873971775128584941311275116527983/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^4 + 1221351714448424552419751895838886155582985051942147996/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^3 + 5797930458326312162515801470237182601230031273447808766/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^2 + 849687855038543032983609008982554697239779158102005663/134993892979\ 627235406101482399976514467702556530995819*c_1001_10 + 206430778417182024919881659345572598089155076647183055/134993892979\ 627235406101482399976514467702556530995819, c_0101_9 + 4056454905568590172512947290066558117689068136102056/1349938\ 92979627235406101482399976514467702556530995819*c_1001_10^24 - 7126685373357493419200992016060693054847665153825864/13499389297962\ 7235406101482399976514467702556530995819*c_1001_10^23 + 14674809734158622364786115778107394270894482499869148/1349938929796\ 27235406101482399976514467702556530995819*c_1001_10^22 - 48149945159096236548190370688449577645787919496903867/1349938929796\ 27235406101482399976514467702556530995819*c_1001_10^21 + 2706488947102509208529341478510635376079673422220972/13499389297962\ 7235406101482399976514467702556530995819*c_1001_10^20 - 21037531393046034972318032237389480593663774290307675/1349938929796\ 27235406101482399976514467702556530995819*c_1001_10^19 + 1158794132833962757008961809629219537244882844074603/32925339751128\ 59400148816643901866206529330647097459*c_1001_10^18 + 286625666258663222118440517709963542328415033142078999/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^17 + 244086577272778466443389201999782204753112298773002726/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^16 - 167218773141494262587762646216669272125952918071318747/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^15 - 211147418358453554479748470828169520551362719236662509/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^14 - 2019534714279401460535858694083646718197712749509751923/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^13 - 451616666340036741652689754742085714365866261849593778/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^12 + 233938138107035260920801169417463451078718117549412874/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^11 + 1422411716199083347621434201823203721065632572801571697/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^10 + 4181605183167492941598165024047752570317450053746162456/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^9 + 2374736376602376962633284978079480670080685650651124670/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^8 - 1264166174386171354083582597831924490090762384760804375/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^7 + 1545572685784795957546579821042214587820764149176571720/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^6 - 3773047936964685246762986903553049891866802403730221210/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^5 + 2552822780397014405561825293158680464494956060979919675/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^4 + 163255962615103917006207421571263437064568735401764063/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^3 + 2075704256916513074693158515869157327177053615320880754/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^2 - 159148793118115401383905076483917905651138240292063167/134993892979\ 627235406101482399976514467702556530995819*c_1001_10 + 70852199752566727572038298625099905718743991790784752/1349938929796\ 27235406101482399976514467702556530995819, c_1001_1 - 3617706685857231611433895005005580027855866396340476/1349938\ 92979627235406101482399976514467702556530995819*c_1001_10^24 + 6691309055736919973650592159668453482341568342737894/13499389297962\ 7235406101482399976514467702556530995819*c_1001_10^23 - 13764362514777544939562046571089511652460013477563961/1349938929796\ 27235406101482399976514467702556530995819*c_1001_10^22 + 44189435071819935023961263812590921373530358449704525/1349938929796\ 27235406101482399976514467702556530995819*c_1001_10^21 - 6524649176595142910301219719920288113421795224245360/13499389297962\ 7235406101482399976514467702556530995819*c_1001_10^20 + 19791927250165348773272985977940040328075355302891567/1349938929796\ 27235406101482399976514467702556530995819*c_1001_10^19 - 1051686101157808703913588965203869830780154227217354/32925339751128\ 59400148816643901866206529330647097459*c_1001_10^18 - 250713638513271793845620082417336357895001892641150568/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^17 - 195725937271356322502043048588492525488282005093174923/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^16 + 161371478616804094064099399345205616136741996416246109/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^15 + 162427608006459212734559107223758928540520348613380818/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^14 + 1779729222915504476603005382877187016346421900528154661/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^13 + 252122352812039990351310116133503301301988872293404094/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^12 - 191418152830970212172311658625951516361689405726400246/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^11 - 1200496085318976196856517285129892435769814227314032459/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^10 - 3602650436489396502342249244396921303093792784859025241/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^9 - 1843362757534606881383273229493358780491805822369340384/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^8 + 1210607639173010420938383924181041562548847420049814055/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^7 - 1576438292327879470479858519084945482694926505086094527/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^6 + 3438890855765170915942786139027251663471941022005369478/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^5 - 2607136932721415035581868808078101155984252738737657393/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^4 + 155044789414368700979493196490713303362017448635146662/134993892979\ 627235406101482399976514467702556530995819*c_1001_10^3 - 1946731606085941685870083469749994509254756787003681098/13499389297\ 9627235406101482399976514467702556530995819*c_1001_10^2 + 282026648185174279644749420654530181041400156460276586/134993892979\ 627235406101482399976514467702556530995819*c_1001_10 - 72078697971933329021819143627824975540231420231799208/1349938929796\ 27235406101482399976514467702556530995819, c_1001_10^25 - 3/2*c_1001_10^24 + 13/4*c_1001_10^23 - 11*c_1001_10^22 - 9/4*c_1001_10^21 - 23/4*c_1001_10^20 + 19/2*c_1001_10^19 + 293/4*c_1001_10^18 + 319/4*c_1001_10^17 - 75/4*c_1001_10^16 - 52*c_1001_10^15 - 512*c_1001_10^14 - 253*c_1001_10^13 - 39/2*c_1001_10^12 + 324*c_1001_10^11 + 4523/4*c_1001_10^10 + 915*c_1001_10^9 - 223/4*c_1001_10^8 + 1585/4*c_1001_10^7 - 1687/2*c_1001_10^6 + 1471/4*c_1001_10^5 + 631/4*c_1001_10^4 + 2225/4*c_1001_10^3 + 465/4*c_1001_10^2 + 125/4*c_1001_10 - 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.420 Total time: 0.630 seconds, Total memory usage: 32.09MB