Magma V2.19-8 Wed Aug 21 2013 00:45:28 on localhost [Seed = 4190105130] Type ? for help. Type -D to quit. Loading file "K14n6469__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n6469 geometric_solution 11.80345899 oriented_manifold CS_known 0.0000000000000003 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 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -1 1 1 -2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.080054750557 1.009153837800 0 5 5 4 0132 0132 1302 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 0 -1 1 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.184715143571 1.295435316888 6 0 8 7 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -2 0 0 2 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.928059035960 0.320881114722 9 10 11 0 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -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.662577099652 1.163423224202 6 10 0 1 1302 1023 0132 0213 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 1 0 -1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.101689211415 0.794621980886 1 1 11 7 2031 0132 0321 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 0 0 0 1 0 0 -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.892122801514 0.756559154299 2 4 12 9 0132 2031 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 2 -1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.000603089028 0.674089432536 12 8 2 5 0132 3012 0132 0213 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 1 -1 0 -1 0 1 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.922659886180 0.815318215621 7 10 12 2 1230 1230 3120 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 0 0 0 1 0 0 -1 -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.774286254840 0.597654087298 3 6 12 11 0132 1302 3012 3201 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 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.144732438617 0.710219796842 4 3 8 11 1023 0132 3012 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0.575440966308 0.648624081483 10 9 5 3 3201 2310 0321 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 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.777245190649 1.256836331216 7 9 8 6 0132 1230 3120 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 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.304464717567 0.367402924216 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_8']), 'c_1001_10' : negation(d['c_0011_8']), 'c_1001_12' : d['c_0011_11'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_0101_10'], 'c_1001_7' : negation(d['c_0011_8']), 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : negation(d['c_0101_12']), 'c_1001_0' : negation(d['c_0011_8']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : d['c_0101_10'], 'c_1001_9' : negation(d['c_0011_12']), 'c_1001_8' : negation(d['c_0011_11']), 'c_1010_12' : d['c_0101_0'], 'c_1010_11' : negation(d['c_0101_3']), 'c_1010_10' : negation(d['c_0101_3']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : 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' : 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' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : negation(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_12']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_8']), 'c_1100_4' : d['c_1001_5'], 'c_1100_7' : negation(d['c_0101_12']), 'c_1100_6' : negation(d['c_0101_8']), 'c_1100_1' : negation(d['c_0101_11']), 'c_1100_0' : d['c_1001_5'], 'c_1100_3' : d['c_1001_5'], 'c_1100_2' : negation(d['c_0101_12']), 's_0_10' : d['1'], 'c_1100_11' : d['c_1001_5'], 'c_1100_10' : d['c_0011_11'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_8']), 'c_1010_6' : d['c_0011_10'], 'c_1010_5' : negation(d['c_0101_12']), 'c_1010_4' : negation(d['c_0101_11']), 'c_1010_3' : negation(d['c_0011_8']), 'c_1010_2' : negation(d['c_0011_8']), 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_0101_10'], 'c_1010_9' : d['c_0101_8'], 'c_1010_8' : d['c_0101_10'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_8']), 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : d['c_0011_8'], '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_0'], '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_3'], 'c_0110_10' : negation(d['c_0101_11']), 'c_0110_12' : d['c_0101_6'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_11']), 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_12']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], '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' : d['c_0101_3'], 'c_0110_8' : negation(d['c_0011_12']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0011_11']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : negation(d['c_0101_12']), 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_7' : d['c_0101_12'], 'c_0110_6' : negation(d['c_0011_12'])})} 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_11, c_0011_12, c_0011_8, c_0101_0, c_0101_10, c_0101_11, c_0101_12, c_0101_3, c_0101_6, c_0101_8, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 94716853469306436908206749588894597056/2163850606696809168484815988\ 7220507353667*c_1001_5^19 - 74884224093959194505019561869811468848/\ 21638506066968091684848159887220507353667*c_1001_5^18 + 1746926567381536563039717197565491777831/43277012133936183369696319\ 774441014707334*c_1001_5^17 + 1373990519520155310807463851897947969\ 359/43277012133936183369696319774441014707334*c_1001_5^16 - 3243356264801310439299863396890170677143/21638506066968091684848159\ 887220507353667*c_1001_5^15 - 1622202869153708385325957995005931383\ 219/43277012133936183369696319774441014707334*c_1001_5^14 + 12049986283371685487194818009619109528335/4327701213393618336969631\ 9774441014707334*c_1001_5^13 - 789073176901716108875918293327832695\ 4501/21638506066968091684848159887220507353667*c_1001_5^12 - 2091207481164663574407272574613381731146/72128353556560305616160532\ 95740169117889*c_1001_5^11 + 12403865669191188459863413893961879715\ 863/14425670711312061123232106591480338235778*c_1001_5^10 - 42071303180569199024458005919161478466258/2163850606696809168484815\ 9887220507353667*c_1001_5^9 - 9084865305379204701247121686295995536\ 5990/21638506066968091684848159887220507353667*c_1001_5^8 - 333327657374015367040593972216239094185/801426150628447840179561477\ 304463235321*c_1001_5^7 + 8322466423897470567785098303050256321/256\ 076994875362031773351004582491211286*c_1001_5^6 - 52607879544623771050618869378911568792061/1442567071131206112323210\ 6591480338235778*c_1001_5^5 - 1775123661299150085084491105693822038\ 00249/21638506066968091684848159887220507353667*c_1001_5^4 - 20211964689237581644882841913211135567973/1602852301256895680359122\ 954608926470642*c_1001_5^3 - 29340994610595017608570316713486074390\ 29/351845627105172222517856258328788737458*c_1001_5^2 - 682008487105599644990549621694815884535/175922813552586111258928129\ 164394368729*c_1001_5 - 16823346964360690731520938071370784237255/2\ 1638506066968091684848159887220507353667, c_0011_0 - 1, c_0011_10 + 199056733654742771865408656381/1385125535643666496354758810\ 0897*c_1001_5^19 - 275277953545248154391272275562/13851255356436664\ 963547588100897*c_1001_5^18 - 2457443913149738745576927887431/13851\ 255356436664963547588100897*c_1001_5^17 + 3312826098850904255978252925919/13851255356436664963547588100897*c_\ 1001_5^16 + 14081552216807710367376226093498/1385125535643666496354\ 7588100897*c_1001_5^15 - 21105993779562310732800293245937/138512553\ 56436664963547588100897*c_1001_5^14 - 43402704039186795309203487249137/13851255356436664963547588100897*c\ _1001_5^13 + 81365505796146076445084381460671/138512553564366649635\ 47588100897*c_1001_5^12 + 23792869655724154434545830719827/46170851\ 18812221654515862700299*c_1001_5^11 - 56736856845383111924009326936937/4617085118812221654515862700299*c_\ 1001_5^10 - 20816825081878586992120791363505/1385125535643666496354\ 7588100897*c_1001_5^9 + 146462660577365854442194252108766/138512553\ 56436664963547588100897*c_1001_5^8 - 2098431566222639102662650035941/513009457645802406057318077811*c_10\ 01_5^7 + 132654390568208352294744280075183/138512553564366649635475\ 88100897*c_1001_5^6 - 16508565203544357509099441985298/461708511881\ 2221654515862700299*c_1001_5^5 - 254033019886895597411540337075374/\ 13851255356436664963547588100897*c_1001_5^4 + 8159837893814507393083963365571/513009457645802406057318077811*c_10\ 01_5^3 - 18856592575133960143046226785281/4617085118812221654515862\ 700299*c_1001_5^2 + 60995226342860922632900727104134/46170851188122\ 21654515862700299*c_1001_5 + 15604173972540214533091228535179/13851\ 255356436664963547588100897, c_0011_11 + 9905800629507749151599530346/153902837293740721817195423343\ 3*c_1001_5^19 - 13868110889867893291650496618/153902837293740721817\ 1954233433*c_1001_5^18 - 122480480589015099679295484088/15390283729\ 37407218171954233433*c_1001_5^17 + 167093819528324127675128774776/1539028372937407218171954233433*c_10\ 01_5^16 + 703425329676536240979451153174/15390283729374072181719542\ 33433*c_1001_5^15 - 1062470644578024550640775263918/153902837293740\ 7218171954233433*c_1001_5^14 - 2175453350755978232268421212611/1539\ 028372937407218171954233433*c_1001_5^13 + 4083373947516293709502496642789/1539028372937407218171954233433*c_1\ 001_5^12 + 1200659635362402347905876732331/513009457645802406057318\ 077811*c_1001_5^11 - 2838124922720222509093610501996/51300945764580\ 2406057318077811*c_1001_5^10 - 1196189222201926114962613754059/1539\ 028372937407218171954233433*c_1001_5^9 + 7184972281509953352860747646803/1539028372937407218171954233433*c_1\ 001_5^8 - 85965667252473798093131521392/570010508495336006730353419\ 79*c_1001_5^7 + 7075147042825089585788192950060/1539028372937407218\ 171954233433*c_1001_5^6 - 1231283344466129515190941692838/513009457\ 645802406057318077811*c_1001_5^5 - 13408259052696387578279362907483/1539028372937407218171954233433*c_\ 1001_5^4 + 474648412821766176232895191319/5700105084953360067303534\ 1979*c_1001_5^3 - 736251900932905123787716805059/513009457645802406\ 057318077811*c_1001_5^2 + 2919058011609955193499343817674/513009457\ 645802406057318077811*c_1001_5 + 375240078438072520978258135852/153\ 9028372937407218171954233433, c_0011_12 + 11371834097907030037750512260/13851255356436664963547588100\ 897*c_1001_5^19 - 38159043099053301796481085124/1385125535643666496\ 3547588100897*c_1001_5^18 - 106315416061529696409424045819/13851255\ 356436664963547588100897*c_1001_5^17 + 488286714817434561659053473118/13851255356436664963547588100897*c_1\ 001_5^16 + 371437513423409784342332131396/1385125535643666496354758\ 8100897*c_1001_5^15 - 3090797920939417046945356842008/1385125535643\ 6664963547588100897*c_1001_5^14 + 379234595260303834461228866530/13\ 851255356436664963547588100897*c_1001_5^13 + 11367522720695121078264577776869/13851255356436664963547588100897*c\ _1001_5^12 - 2549193474651522983282983097716/4617085118812221654515\ 862700299*c_1001_5^11 - 7974645115718873059863418694339/46170851188\ 12221654515862700299*c_1001_5^10 + 27700773635744220236771663400185/13851255356436664963547588100897*c\ _1001_5^9 + 23094043428600738793248604757624/1385125535643666496354\ 7588100897*c_1001_5^8 - 1558699288090133914642534595533/51300945764\ 5802406057318077811*c_1001_5^7 + 5086247320408771844476355348569/13\ 851255356436664963547588100897*c_1001_5^6 + 3338353295122867389227862589115/4617085118812221654515862700299*c_1\ 001_5^5 - 15298885550432672811511142561372/138512553564366649635475\ 88100897*c_1001_5^4 + 1512722834423903974413304851169/5130094576458\ 02406057318077811*c_1001_5^3 - 6289685389520849470437075822730/4617\ 085118812221654515862700299*c_1001_5^2 - 3028767525322096391601258445697/4617085118812221654515862700299*c_1\ 001_5 + 5806061588212873988003635134760/138512553564366649635475881\ 00897, c_0011_8 - 244772113933892947152578498/49646076546367974779740459143*c_\ 1001_5^19 + 306575222363517435705434119/496460765463679747797404591\ 43*c_1001_5^18 + 3127647928028833465377339256/496460765463679747797\ 40459143*c_1001_5^17 - 3660737187895620894089558980/496460765463679\ 74779740459143*c_1001_5^16 - 18774659115587260514607155128/49646076\ 546367974779740459143*c_1001_5^15 + 23463081009808719448143532235/49646076546367974779740459143*c_1001_\ 5^14 + 63211291325515941462809842046/49646076546367974779740459143*\ c_1001_5^13 - 92684161807560192080340144110/49646076546367974779740\ 459143*c_1001_5^12 - 42708885460273090665563428592/1654869218212265\ 8259913486381*c_1001_5^11 + 67899247938834616734340477667/165486921\ 82122658259913486381*c_1001_5^10 + 130805736177357484756504806892/49646076546367974779740459143*c_1001\ _5^9 - 207697782067670199286325026583/49646076546367974779740459143\ *c_1001_5^8 - 3412747375284545167424041708/183874357579140647332372\ 0709*c_1001_5^7 - 72555665709090407766064505770/4964607654636797477\ 9740459143*c_1001_5^6 + 64071023273958580084674639415/1654869218212\ 2658259913486381*c_1001_5^5 + 241356019271169269799113941043/496460\ 76546367974779740459143*c_1001_5^4 - 11670471415473261456475522353/1838743575791406473323720709*c_1001_5\ ^3 + 10415652296385077567625816388/16548692182122658259913486381*c_\ 1001_5^2 - 52886771541357947905294881037/16548692182122658259913486\ 381*c_1001_5 + 28802446680048405024435797474/4964607654636797477974\ 0459143, c_0101_0 - 122903915290651243697705010776/13851255356436664963547588100\ 897*c_1001_5^19 + 185383964838585667832014262644/138512553564366649\ 63547588100897*c_1001_5^18 + 1534915182061440693834298013182/138512\ 55356436664963547588100897*c_1001_5^17 - 2290920436565313713780275180408/13851255356436664963547588100897*c_\ 1001_5^16 - 8971704485543864477158672690708/13851255356436664963547\ 588100897*c_1001_5^15 + 14842784252167990345490759936261/1385125535\ 6436664963547588100897*c_1001_5^14 + 28600438176445432570816793401538/13851255356436664963547588100897*c\ _1001_5^13 - 58514673306200433487430794825028/138512553564366649635\ 47588100897*c_1001_5^12 - 16767940450103900304714598384757/46170851\ 18812221654515862700299*c_1001_5^11 + 43830883771539486433351733665745/4617085118812221654515862700299*c_\ 1001_5^10 + 27052629915067113668894866073989/1385125535643666496354\ 7588100897*c_1001_5^9 - 145268447374189080120796833540503/138512553\ 56436664963547588100897*c_1001_5^8 + 566328349176722033713266824551/513009457645802406057318077811*c_100\ 1_5^7 - 11584048110902716576209518188360/13851255356436664963547588\ 100897*c_1001_5^6 + 17934485467502471490080923677307/46170851188122\ 21654515862700299*c_1001_5^5 + 118397929729080766431094099257773/13\ 851255356436664963547588100897*c_1001_5^4 - 6419825152497424368906767231197/513009457645802406057318077811*c_10\ 01_5^3 + 8282625713521893359253659313736/46170851188122216545158627\ 00299*c_1001_5^2 - 23119683407933519169232054047223/461708511881222\ 1654515862700299*c_1001_5 + 1575137141785295706270777896171/1385125\ 5356436664963547588100897, c_0101_10 + 689288664233809561547247152/171003152548600802019106025937*\ c_1001_5^19 - 483912598473384220689774196/1710031525486008020191060\ 25937*c_1001_5^18 - 9268013059035186195354022783/171003152548600802\ 019106025937*c_1001_5^17 + 5359017924850580730715631935/17100315254\ 8600802019106025937*c_1001_5^16 + 58549305595945345347499370680/171\ 003152548600802019106025937*c_1001_5^15 - 36059146289698022754304797815/171003152548600802019106025937*c_1001\ _5^14 - 215226084157641316636621939409/1710031525486008020191060259\ 37*c_1001_5^13 + 159515828934137137007483142389/1710031525486008020\ 19106025937*c_1001_5^12 + 170229701501256134632847290936/5700105084\ 9533600673035341979*c_1001_5^11 - 123938736269005837942253387090/57\ 001050849533600673035341979*c_1001_5^10 - 700688100331460408701896876349/171003152548600802019106025937*c_100\ 1_5^9 + 402659881625781377946014020535/1710031525486008020191060259\ 37*c_1001_5^8 + 192816287160707010905184950846/57001050849533600673\ 035341979*c_1001_5^7 + 256349222072513173906073188351/1710031525486\ 00802019106025937*c_1001_5^6 - 110372082051465851092663065449/57001\ 050849533600673035341979*c_1001_5^5 - 855211479979504316657560871435/171003152548600802019106025937*c_100\ 1_5^4 + 111757883375883197424794046604/5700105084953360067303534197\ 9*c_1001_5^3 + 115033261056769421634354036578/570010508495336006730\ 35341979*c_1001_5^2 + 148281217985466692558915491697/57001050849533\ 600673035341979*c_1001_5 + 260347228051172221199436030391/171003152\ 548600802019106025937, c_0101_11 + 144512639678061514781433020123/1385125535643666496354758810\ 0897*c_1001_5^19 - 215828111401338653235200764723/13851255356436664\ 963547588100897*c_1001_5^18 - 1796759066914035530433626701771/13851\ 255356436664963547588100897*c_1001_5^17 + 2665275417339846839442044716021/13851255356436664963547588100897*c_\ 1001_5^16 + 10419584980431734667142997016169/1385125535643666496354\ 7588100897*c_1001_5^15 - 17286927116639871364219712780060/138512553\ 56436664963547588100897*c_1001_5^14 - 32715563768935681082027244816632/13851255356436664963547588100897*c\ _1001_5^13 + 68141667093994953021925750840760/138512553564366649635\ 47588100897*c_1001_5^12 + 18490339007804125709618542106093/46170851\ 18812221654515862700299*c_1001_5^11 - 50754659299098588661306947923426/4617085118812221654515862700299*c_\ 1001_5^10 - 21920563444161690250143490219405/1385125535643666496354\ 7588100897*c_1001_5^9 + 165563857300505390970320849420600/138512553\ 56436664963547588100897*c_1001_5^8 - 1270016918748472659913511641102/513009457645802406057318077811*c_10\ 01_5^7 + 18810202527855146696485707032188/1385125535643666496354758\ 8100897*c_1001_5^6 - 16072095642727152059742582644950/4617085118812\ 221654515862700299*c_1001_5^5 - 134380267595495991550855135008044/1\ 3851255356436664963547588100897*c_1001_5^4 + 7164866495452914105913308137434/513009457645802406057318077811*c_10\ 01_5^3 - 14933236854485637395377800406660/4617085118812221654515862\ 700299*c_1001_5^2 + 33612310708284228327917637104440/46170851188122\ 21654515862700299*c_1001_5 + 125443456110948644664167416375/1385125\ 5356436664963547588100897, c_0101_12 - 214440894999866117709104276/446814688917311773017664132287*\ c_1001_5^19 + 762541814215527495483723130/4468146889173117730176641\ 32287*c_1001_5^18 + 2108528880504797018843200183/446814688917311773\ 017664132287*c_1001_5^17 - 9794334532409249541034095931/44681468891\ 7311773017664132287*c_1001_5^16 - 8644428246590899242803549971/4468\ 14688917311773017664132287*c_1001_5^15 + 61568901069231157156783255049/446814688917311773017664132287*c_1001\ _5^14 + 4979248311116860920279004661/446814688917311773017664132287\ *c_1001_5^13 - 224307488289840359343213918236/446814688917311773017\ 664132287*c_1001_5^12 + 29984151719560447862276116633/1489382296391\ 03924339221377429*c_1001_5^11 + 157055308616180580974164378025/1489\ 38229639103924339221377429*c_1001_5^10 - 352146974928905455983876360050/446814688917311773017664132287*c_100\ 1_5^9 - 456090881628707151072372624458/4468146889173117730176641322\ 87*c_1001_5^8 + 16222791887535025419960731554/165486921821226582599\ 13486381*c_1001_5^7 - 50831196781520290233495484414/446814688917311\ 773017664132287*c_1001_5^6 + 89125210004692850879810046208/14893822\ 9639103924339221377429*c_1001_5^5 + 304101111783520989160884721244/446814688917311773017664132287*c_100\ 1_5^4 - 33363291089278696598771155636/16548692182122658259913486381\ *c_1001_5^3 + 71064980388117302321912850295/14893822963910392433922\ 1377429*c_1001_5^2 - 16705896252448428149267543776/1489382296391039\ 24339221377429*c_1001_5 + 517711772426717707275755258705/4468146889\ 17311773017664132287, c_0101_3 + 64305775580714941280373154559/138512553564366649635475881008\ 97*c_1001_5^19 - 59591564403018321829547570338/13851255356436664963\ 547588100897*c_1001_5^18 - 829011979880212772911355541688/138512553\ 56436664963547588100897*c_1001_5^17 + 688542219620428313300707694155/13851255356436664963547588100897*c_1\ 001_5^16 + 4974755949403750508763107223817/138512553564366649635475\ 88100897*c_1001_5^15 - 4488579650572461890680275228365/138512553564\ 36664963547588100897*c_1001_5^14 - 16803629177615992486579187544560/13851255356436664963547588100897*c\ _1001_5^13 + 18284183658352126827340328236019/138512553564366649635\ 47588100897*c_1001_5^12 + 11469323735291719502652665878148/46170851\ 18812221654515862700299*c_1001_5^11 - 12835132892476380625914571471928/4617085118812221654515862700299*c_\ 1001_5^10 - 33320872991732070128971106248471/1385125535643666496354\ 7588100897*c_1001_5^9 + 30886521087562413609372563493677/1385125535\ 6436664963547588100897*c_1001_5^8 + 528777047664699134974651845971/513009457645802406057318077811*c_100\ 1_5^7 + 49028423383757141567096618864917/13851255356436664963547588\ 100897*c_1001_5^6 - 6706764571368987194464027698649/461708511881222\ 1654515862700299*c_1001_5^5 - 88013311630501057121429644329794/1385\ 1255356436664963547588100897*c_1001_5^4 + 1936798144705109472277729737226/513009457645802406057318077811*c_10\ 01_5^3 - 482972701222965776587837536040/461708511881222165451586270\ 0299*c_1001_5^2 + 20916361617517251885091715808280/4617085118812221\ 654515862700299*c_1001_5 + 34094517100558249730819730996976/1385125\ 5356436664963547588100897, c_0101_6 - 11371834097907030037750512260/138512553564366649635475881008\ 97*c_1001_5^19 + 38159043099053301796481085124/13851255356436664963\ 547588100897*c_1001_5^18 + 106315416061529696409424045819/138512553\ 56436664963547588100897*c_1001_5^17 - 488286714817434561659053473118/13851255356436664963547588100897*c_1\ 001_5^16 - 371437513423409784342332131396/1385125535643666496354758\ 8100897*c_1001_5^15 + 3090797920939417046945356842008/1385125535643\ 6664963547588100897*c_1001_5^14 - 379234595260303834461228866530/13\ 851255356436664963547588100897*c_1001_5^13 - 11367522720695121078264577776869/13851255356436664963547588100897*c\ _1001_5^12 + 2549193474651522983282983097716/4617085118812221654515\ 862700299*c_1001_5^11 + 7974645115718873059863418694339/46170851188\ 12221654515862700299*c_1001_5^10 - 27700773635744220236771663400185/13851255356436664963547588100897*c\ _1001_5^9 - 23094043428600738793248604757624/1385125535643666496354\ 7588100897*c_1001_5^8 + 1558699288090133914642534595533/51300945764\ 5802406057318077811*c_1001_5^7 - 5086247320408771844476355348569/13\ 851255356436664963547588100897*c_1001_5^6 - 3338353295122867389227862589115/4617085118812221654515862700299*c_1\ 001_5^5 + 15298885550432672811511142561372/138512553564366649635475\ 88100897*c_1001_5^4 - 1512722834423903974413304851169/5130094576458\ 02406057318077811*c_1001_5^3 + 6289685389520849470437075822730/4617\ 085118812221654515862700299*c_1001_5^2 + 3028767525322096391601258445697/4617085118812221654515862700299*c_1\ 001_5 - 5806061588212873988003635134760/138512553564366649635475881\ 00897, c_0101_8 + 169053566998510377321463302004/13851255356436664963547588100\ 897*c_1001_5^19 - 260879362005965268883748435015/138512553564366649\ 63547588100897*c_1001_5^18 - 2090136974003020531832314545965/138512\ 55356436664963547588100897*c_1001_5^17 + 3215498044725074623974232572830/13851255356436664963547588100897*c_\ 1001_5^16 + 12052710219265497067536198307601/1385125535643666496354\ 7588100897*c_1001_5^15 - 20734383090992652847387506243928/138512553\ 56436664963547588100897*c_1001_5^14 - 37388981189899833416498815909096/13851255356436664963547588100897*c\ _1001_5^13 + 81030096216602939191638271470109/138512553564366649635\ 47588100897*c_1001_5^12 + 20407920961305507656999711364370/46170851\ 18812221654515862700299*c_1001_5^11 - 59767226103190104242225289910867/4617085118812221654515862700299*c_\ 1001_5^10 - 16501553434789332457195925086289/1385125535643666496354\ 7588100897*c_1001_5^9 + 190234294822928950183120026413512/138512553\ 56436664963547588100897*c_1001_5^8 - 2005996296895944929609985439988/513009457645802406057318077811*c_10\ 01_5^7 + 32859819319544067876352044699200/1385125535643666496354758\ 8100897*c_1001_5^6 - 14720225624716632260252345452637/4617085118812\ 221654515862700299*c_1001_5^5 - 166440561828378087011556529385326/1\ 3851255356436664963547588100897*c_1001_5^4 + 8003410917675764796787398957182/513009457645802406057318077811*c_10\ 01_5^3 - 19319779384131923304665890886000/4617085118812221654515862\ 700299*c_1001_5^2 + 37837267319954867508235855007909/46170851188122\ 21654515862700299*c_1001_5 + 3165735537523691842614734468789/138512\ 55356436664963547588100897, c_1001_5^20 - c_1001_5^19 - 13*c_1001_5^18 + 12*c_1001_5^17 + 79*c_1001_5^16 - 80*c_1001_5^15 - 272*c_1001_5^14 + 333*c_1001_5^13 + 571*c_1001_5^12 - 756*c_1001_5^11 - 584*c_1001_5^10 + 809*c_1001_5^9 + 256*c_1001_5^8 + 365*c_1001_5^7 - 256*c_1001_5^6 - 1249*c_1001_5^5 + 770*c_1001_5^4 + 246*c_1001_5^3 + 738*c_1001_5^2 + 293*c_1001_5 + 41 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 3.190 Total time: 3.390 seconds, Total memory usage: 86.69MB