Magma V2.19-8 Wed Aug 21 2013 00:20:37 on localhost [Seed = 1578650746] Type ? for help. Type -D to quit. Loading file "K14n10217__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n10217 geometric_solution 12.09411342 oriented_manifold CS_known 0.0000000000000006 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 1 -1 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 -1 0 1 0 0 -7 7 0 -6 0 6 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.702142815672 0.774044599434 0 5 7 6 0132 0132 0132 0132 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 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 0 0 0 0 0 0 0.610230862776 1.200425364908 4 0 9 8 0132 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 0 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -7 0 7 0 -6 6 0 0 1 6 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.521552813719 0.603684152476 10 9 11 0 0132 0132 0132 0132 0 0 0 0 0 0 0 0 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 0 0 0 -7 0 0 7 6 0 0 -6 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.998869451366 0.788750475581 2 11 0 5 0132 0132 0132 1023 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 7 0 -7 0 -1 1 0 0 6 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.144537364895 0.868773652247 11 1 10 4 0132 0132 0132 1023 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 0 0 0 0 0 -6 6 0 -6 0 7 -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.340158578794 1.185225058168 12 8 1 12 0132 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.528006008037 1.148989074791 8 9 10 1 0132 1023 3012 0132 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 0 -6 6 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.268509765373 0.837217055346 7 9 2 6 0132 0213 0132 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 1 -1 0 0 0 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.525788761566 0.414227019798 7 3 8 2 1023 0132 0213 0132 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 0 0 0 0 0 7 -7 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.734728200170 0.922230688721 3 7 12 5 0132 1230 0132 0132 0 0 0 0 0 0 -1 1 -1 0 0 1 -1 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 6 -6 7 0 0 -7 7 -7 0 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.766171513996 0.389022605788 5 4 12 3 0132 0132 1023 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 0 0 0 6 0 -6 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.118111641269 0.552805505153 6 6 11 10 0132 1302 1023 0132 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 -6 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.669782891396 0.718582448532 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_11'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_0101_11'], 'c_1001_5' : d['c_0101_7'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0011_10']), 'c_1001_6' : d['c_0101_7'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_1001_10'], 'c_1010_11' : d['c_1001_2'], 'c_1010_10' : d['c_0101_7'], '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'], 'c_0101_12' : d['c_0101_11'], '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' : 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_0011_11' : negation(d['c_0011_0']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_1100_0']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_1001_10']), 'c_1100_6' : negation(d['c_1001_10']), 'c_1100_1' : negation(d['c_1001_10']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_0011_12']), 's_3_11' : d['1'], 'c_1100_11' : d['c_1100_0'], 'c_1100_10' : negation(d['c_1100_0']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0101_2'], 'c_1010_6' : d['c_0011_12'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_11'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_7'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : negation(d['c_0011_12']), 'c_1100_8' : negation(d['c_0011_12']), 's_3_1' : d['1'], 's_3_0' : 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_1100_0']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_10'], 'c_0011_6' : negation(d['c_0011_12']), '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' : d['c_0101_3'], 'c_0110_12' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_10']), 'c_0101_8' : d['c_0101_1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : d['c_0101_7'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0011_12']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0101_2'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_11'], 's_2_9' : d['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_0101_0, c_0101_1, c_0101_11, c_0101_2, c_0101_3, c_0101_7, c_1001_0, c_1001_10, c_1001_2, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 57094446680113096563687776790325483899414144815531537683891375/2209\ 523760255205427912424510236164359651068304800617428516864*c_1100_0^\ 19 - 19098373411908897058960636167071720374152666675455269813267175\ /157823125732514673422316036445440311403647736057186959179776*c_110\ 0_0^18 + 2915845716621291812758498773783950342978419671617023371362\ 65255/2209523760255205427912424510236164359651068304800617428516864\ *c_1100_0^17 + 4168890656411268276974375106751177830735258684606741\ 52419017999/5523809400638013569781061275590410899127670762001543571\ 29216*c_1100_0^16 - 30629031923503460927000856284601337257379723326\ 9265098003611573/55238094006380135697810612755904108991276707620015\ 4357129216*c_1100_0^15 - 321942821278673582904686001875459193521826\ 951231150426933333847/368253960042534237985404085039360726608511384\ 133436238086144*c_1100_0^14 - 3692851737161488020958061088758981141\ 52022913462620666920713551/1578231257325146734223160364454403114036\ 47736057186959179776*c_1100_0^13 + 809096652599893320022180637716912266608160736963923685777768849/184\ 126980021267118992702042519680363304255692066718119043072*c_1100_0^\ 12 + 33956956821072241942434962978243539841318611144963066614731318\ 45/1104761880127602713956212255118082179825534152400308714258432*c_\ 1100_0^11 - 2503553567455537527115743600853987431636923606086916270\ 69873465/9606625044587849686575758740157236346308992629567901863116\ 8*c_1100_0^10 - 143857645986019624316393659765227907651002016750204\ 98786695575709/2209523760255205427912424510236164359651068304800617\ 428516864*c_1100_0^9 - 16196422675858061996477667600356561975755439\ 52138425030853839735/7365079200850684759708081700787214532170227682\ 66872476172288*c_1100_0^8 + 218184084196763186803582057119524034295\ 35714874944391713437374739/2209523760255205427912424510236164359651\ 068304800617428516864*c_1100_0^7 + 3109812164186424519444492866610739742973675253665150963093773581/11\ 04761880127602713956212255118082179825534152400308714258432*c_1100_\ 0^6 - 6329487582978461558213897072238114414656016861306515351326065\ 499/1104761880127602713956212255118082179825534152400308714258432*c\ _1100_0^5 - 2679325918986386360354459721888984067671805355007913850\ 6918027/24016562611469624216439396850393090865772481573919754657792\ *c_1100_0^4 + 12861777193483446069524665986996533995355443795292324\ 04727898161/2209523760255205427912424510236164359651068304800617428\ 516864*c_1100_0^3 + 51281375309333513320419690975834071688575151893\ 992400601119165/220952376025520542791242451023616435965106830480061\ 7428516864*c_1100_0^2 + 8203091167729317279147872491817025115130341\ 252252875261314393/157823125732514673422316036445440311403647736057\ 186959179776*c_1100_0 - 3909522760284381589101731318286444418727270\ 3572220695521360035/22095237602552054279124245102361643596510683048\ 00617428516864, c_0011_0 - 1, c_0011_10 + 2629239509575757026849152466094205034308817025/162316100345\ 60829443759957405842498194515208047*c_1100_0^19 + 13268382252234613141649975559377810049964083730/1623161003456082944\ 3759957405842498194515208047*c_1100_0^18 - 9339425355895926802592002870404073607552700623/16231610034560829443\ 759957405842498194515208047*c_1100_0^17 - 84598281519824043147390090375143293671073624493/1623161003456082944\ 3759957405842498194515208047*c_1100_0^16 + 25084185806194567534933514511656447332981347230/1623161003456082944\ 3759957405842498194515208047*c_1100_0^15 + 125239518728799871116948975885230338556674855925/162316100345608294\ 43759957405842498194515208047*c_1100_0^14 + 293399710043729904551084011667737879625334016279/162316100345608294\ 43759957405842498194515208047*c_1100_0^13 - 392197591961615842702405257910705836241088195921/162316100345608294\ 43759957405842498194515208047*c_1100_0^12 - 539991539584965776216988331824675793622034678821/162316100345608294\ 43759957405842498194515208047*c_1100_0^11 + 110232021805223829079522364625652862303524133556/162316100345608294\ 43759957405842498194515208047*c_1100_0^10 + 970374503667057579128302137633773124249951862284/162316100345608294\ 43759957405842498194515208047*c_1100_0^9 + 536873605874025786794796735284511716095781546444/162316100345608294\ 43759957405842498194515208047*c_1100_0^8 - 1072988549667233768948705657312510517592848331796/16231610034560829\ 443759957405842498194515208047*c_1100_0^7 - 928444304133002207497110571725789217274206293324/162316100345608294\ 43759957405842498194515208047*c_1100_0^6 + 518770013243108471133799302450951106250160007377/162316100345608294\ 43759957405842498194515208047*c_1100_0^5 + 692877229993011312874437967381166257254166004593/162316100345608294\ 43759957405842498194515208047*c_1100_0^4 - 9104369244468839870583288569969969610980154397/16231610034560829443\ 759957405842498194515208047*c_1100_0^3 - 198210786163498844049329217383428984067647622410/162316100345608294\ 43759957405842498194515208047*c_1100_0^2 - 6836990126762621840995677203564648171544559389/16231610034560829443\ 759957405842498194515208047*c_1100_0 + 16161530881864413357161924526374930574506557908/1623161003456082944\ 3759957405842498194515208047, c_0011_12 - 3197263773497820006681003758101622427658493650/162316100345\ 60829443759957405842498194515208047*c_1100_0^19 - 15925982649123136892275507613349135592692593630/1623161003456082944\ 3759957405842498194515208047*c_1100_0^18 + 11712184894461699590922483165162959171978619153/1623161003456082944\ 3759957405842498194515208047*c_1100_0^17 + 97367471620203003844018012383968130206643727177/1623161003456082944\ 3759957405842498194515208047*c_1100_0^16 - 40993262664270984051734718623471454303437036657/1623161003456082944\ 3759957405842498194515208047*c_1100_0^15 - 124569557137872989494500710699030662239904607492/162316100345608294\ 43759957405842498194515208047*c_1100_0^14 - 319694868572866887082800528343101068501580631077/162316100345608294\ 43759957405842498194515208047*c_1100_0^13 + 456529597725254009623504622976470703109382601739/162316100345608294\ 43759957405842498194515208047*c_1100_0^12 + 521547047486598011812378090673538577305430835334/162316100345608294\ 43759957405842498194515208047*c_1100_0^11 - 209529464890143646010887568922691041716832879785/162316100345608294\ 43759957405842498194515208047*c_1100_0^10 - 880105629392092364704110359558773493496514698625/162316100345608294\ 43759957405842498194515208047*c_1100_0^9 - 476107551671182018508743888121566615586784352036/162316100345608294\ 43759957405842498194515208047*c_1100_0^8 + 1130850047372523992313081378835309475045678745106/16231610034560829\ 443759957405842498194515208047*c_1100_0^7 + 639729674409605451862229739235525675686417209038/162316100345608294\ 43759957405842498194515208047*c_1100_0^6 - 626324830509429859616433240543401311800030576789/162316100345608294\ 43759957405842498194515208047*c_1100_0^5 - 308215452055729431673703677089033570139860115254/162316100345608294\ 43759957405842498194515208047*c_1100_0^4 + 104615334177873892510666367643375497259180521104/162316100345608294\ 43759957405842498194515208047*c_1100_0^3 + 15556871284275086857476440674122918117993681998/1623161003456082944\ 3759957405842498194515208047*c_1100_0^2 - 33189559578345775604094453018419598813964655596/1623161003456082944\ 3759957405842498194515208047*c_1100_0 - 6050966797542450184259872345171692328767658306/16231610034560829443\ 759957405842498194515208047, c_0101_0 + 2636341452817483391698816904042180645200992575/1623161003456\ 0829443759957405842498194515208047*c_1100_0^19 + 12599303893191369018199473780204304090386865615/1623161003456082944\ 3759957405842498194515208047*c_1100_0^18 - 12890325233655190577359981342286126009433942224/1623161003456082944\ 3759957405842498194515208047*c_1100_0^17 - 81679271633166232725825610498296550142021823009/1623161003456082944\ 3759957405842498194515208047*c_1100_0^16 + 49560119698028034870627835540630769778966041843/1623161003456082944\ 3759957405842498194515208047*c_1100_0^15 + 113046816485302101625344939821087829744919441465/162316100345608294\ 43759957405842498194515208047*c_1100_0^14 + 247137566248667812503979642323033071624071684931/162316100345608294\ 43759957405842498194515208047*c_1100_0^13 - 447852831917939252027296300058810916742092456989/162316100345608294\ 43759957405842498194515208047*c_1100_0^12 - 417013374918378807872912322929632110996372866734/162316100345608294\ 43759957405842498194515208047*c_1100_0^11 + 281585778713328471207085582456671894454089226608/162316100345608294\ 43759957405842498194515208047*c_1100_0^10 + 812836019590702545080713177832410404047275145256/162316100345608294\ 43759957405842498194515208047*c_1100_0^9 + 260495022085485005994626392545383678095922420085/162316100345608294\ 43759957405842498194515208047*c_1100_0^8 - 1112175387747391455722742182625008620055108122397/16231610034560829\ 443759957405842498194515208047*c_1100_0^7 - 502310648224470015734342948227123127682465214844/162316100345608294\ 43759957405842498194515208047*c_1100_0^6 + 715849834298871792670796847066952422391041062905/162316100345608294\ 43759957405842498194515208047*c_1100_0^5 + 311582985795843836067570263678344732043368443725/162316100345608294\ 43759957405842498194515208047*c_1100_0^4 - 186121616587958083312920731759594098710275390897/162316100345608294\ 43759957405842498194515208047*c_1100_0^3 - 43074477372001541954537950013708678020975571058/1623161003456082944\ 3759957405842498194515208047*c_1100_0^2 + 55638193366017815795238890840356523291010255161/1623161003456082944\ 3759957405842498194515208047*c_1100_0 - 4453026053143300880823761306032025368566102161/16231610034560829443\ 759957405842498194515208047, c_0101_1 - 1116672632945298414788851914949449775735490725/1623161003456\ 0829443759957405842498194515208047*c_1100_0^19 - 4579422188991157893897294681154341225216510595/16231610034560829443\ 759957405842498194515208047*c_1100_0^18 + 8967378788904177196698907873573562311412631352/16231610034560829443\ 759957405842498194515208047*c_1100_0^17 + 31079637817741845042316123571340491678192786680/1623161003456082944\ 3759957405842498194515208047*c_1100_0^16 - 40586227535486882899369358072545553434722386009/1623161003456082944\ 3759957405842498194515208047*c_1100_0^15 - 33623026231560740796600433067722350890067631939/1623161003456082944\ 3759957405842498194515208047*c_1100_0^14 - 92729551779504004154399895142950574294503569958/1623161003456082944\ 3759957405842498194515208047*c_1100_0^13 + 272269761261912628638371752868291704663378269548/162316100345608294\ 43759957405842498194515208047*c_1100_0^12 + 49995247133719125614092885875432663826208879278/1623161003456082944\ 3759957405842498194515208047*c_1100_0^11 - 154858897311341414240236770568178617194456715786/162316100345608294\ 43759957405842498194515208047*c_1100_0^10 - 365159508516868663678376426555700318298040509359/162316100345608294\ 43759957405842498194515208047*c_1100_0^9 + 78912818315799283750242487093960136269184563763/1623161003456082944\ 3759957405842498194515208047*c_1100_0^8 + 543016337688039541434594787968180089129866145382/162316100345608294\ 43759957405842498194515208047*c_1100_0^7 + 28445376764515513540586697674037196802740506194/1623161003456082944\ 3759957405842498194515208047*c_1100_0^6 - 374019187350127144298722621691468926954038085038/162316100345608294\ 43759957405842498194515208047*c_1100_0^5 - 102261802456076133860240426600116714277588848313/162316100345608294\ 43759957405842498194515208047*c_1100_0^4 + 125298529731925253531115745107113379202854269918/162316100345608294\ 43759957405842498194515208047*c_1100_0^3 + 53641146564875867142034225129024299934461712490/1623161003456082944\ 3759957405842498194515208047*c_1100_0^2 - 34906573388844672654873549945078650335510429474/1623161003456082944\ 3759957405842498194515208047*c_1100_0 - 58630771476912348577250301472788285324159509/1623161003456082944375\ 9957405842498194515208047, c_0101_11 + 398268083931316646828132265372036845064798975/1623161003456\ 0829443759957405842498194515208047*c_1100_0^19 + 1139730417786929588272644158520176046336188845/16231610034560829443\ 759957405842498194515208047*c_1100_0^18 - 5419228792458001144101711215648018717172771522/16231610034560829443\ 759957405842498194515208047*c_1100_0^17 - 8112586905836847918149262767421721118764468677/16231610034560829443\ 759957405842498194515208047*c_1100_0^16 + 28791826285566866949572699878821062330758594176/1623161003456082944\ 3759957405842498194515208047*c_1100_0^15 - 218644281296859896792601499561424313868735489/162316100345608294437\ 59957405842498194515208047*c_1100_0^14 + 16818295606329797771397933607541970332505512639/1623161003456082944\ 3759957405842498194515208047*c_1100_0^13 - 144785123965728603590570176564395598091375681020/162316100345608294\ 43759957405842498194515208047*c_1100_0^12 + 77424165683863296091357330185489083129570286147/1623161003456082944\ 3759957405842498194515208047*c_1100_0^11 + 107917891393314249784734305183658257761265240402/162316100345608294\ 43759957405842498194515208047*c_1100_0^10 + 89099307563991529452750568598670201581063318705/1623161003456082944\ 3759957405842498194515208047*c_1100_0^9 - 173395189919440782374588159078100810045395487943/162316100345608294\ 43759957405842498194515208047*c_1100_0^8 - 239733895767062208335040254525067615763698366869/162316100345608294\ 43759957405842498194515208047*c_1100_0^7 + 189987283363634837906588966351692327382879814643/162316100345608294\ 43759957405842498194515208047*c_1100_0^6 + 203246860163773145680173148382046369271039013448/162316100345608294\ 43759957405842498194515208047*c_1100_0^5 - 57079411687593360471480151488163088918274448601/1623161003456082944\ 3759957405842498194515208047*c_1100_0^4 - 89046585461602923162819916306400947054277354969/1623161003456082944\ 3759957405842498194515208047*c_1100_0^3 - 34604748244446333126654460193434877695792625376/1623161003456082944\ 3759957405842498194515208047*c_1100_0^2 + 15226286346192160083425267762713882973848612540/1623161003456082944\ 3759957405842498194515208047*c_1100_0 + 4651767682525998864326215019123409378168976596/16231610034560829443\ 759957405842498194515208047, c_0101_2 - 1621594191941331585561144407581221602915064100/1623161003456\ 0829443759957405842498194515208047*c_1100_0^19 - 8440489383735739231817029028974907145845850970/16231610034560829443\ 759957405842498194515208047*c_1100_0^18 + 4225746861605595393180376678661336584915783917/16231610034560829443\ 759957405842498194515208047*c_1100_0^17 + 50717020594881035119116712939772042570153018129/1623161003456082944\ 3759957405842498194515208047*c_1100_0^16 - 11930735652171220718581958785908588882075075101/1623161003456082944\ 3759957405842498194515208047*c_1100_0^15 - 67021296656475439791313141692868615069232468538/1623161003456082944\ 3759957405842498194515208047*c_1100_0^14 - 164198745099723384152330110422514346966315364258/162316100345608294\ 43759957405842498194515208047*c_1100_0^13 + 180463276646905112971363582009111960803603315498/162316100345608294\ 43759957405842498194515208047*c_1100_0^12 + 322189904140501120879317376714422206480280823057/162316100345608294\ 43759957405842498194515208047*c_1100_0^11 - 97639858273814536134358635167703628629472505123/1623161003456082944\ 3759957405842498194515208047*c_1100_0^10 - 377904082489248136097602568997834776566024944355/162316100345608294\ 43759957405842498194515208047*c_1100_0^9 - 360108877874899183756829425686011809200601431431/162316100345608294\ 43759957405842498194515208047*c_1100_0^8 + 510155108329933255527293652890960902766149431901/162316100345608294\ 43759957405842498194515208047*c_1100_0^7 + 375249756762572561520691894252145123841786223078/162316100345608294\ 43759957405842498194515208047*c_1100_0^6 - 233094036074277498863268607860053436755133605053/162316100345608294\ 43759957405842498194515208047*c_1100_0^5 - 99933370670836040059208217177733891709654450446/1623161003456082944\ 3759957405842498194515208047*c_1100_0^4 - 31694507828580536775523894657552519387729209320/1623161003456082944\ 3759957405842498194515208047*c_1100_0^3 - 42085883187074707646737657301945303827535078256/1623161003456082944\ 3759957405842498194515208047*c_1100_0^2 + 14243983243347697380280197853013440184654077184/1623161003456082944\ 3759957405842498194515208047*c_1100_0 + 5189551815796355767599430213486475939942940000/16231610034560829443\ 759957405842498194515208047, c_0101_3 - 1849327935422574097179370047075264631381114850/1623161003456\ 0829443759957405842498194515208047*c_1100_0^19 - 7411734602511179842680298504183857829228965045/16231610034560829443\ 759957405842498194515208047*c_1100_0^18 + 15455679232354204537936796597237886826344436147/1623161003456082944\ 3759957405842498194515208047*c_1100_0^17 + 48626409680083064333699765346778046135290398050/1623161003456082944\ 3759957405842498194515208047*c_1100_0^16 - 76197604103246092214833553235790042970555284137/1623161003456082944\ 3759957405842498194515208047*c_1100_0^15 - 42984794371945854015632672564408772988713360455/1623161003456082944\ 3759957405842498194515208047*c_1100_0^14 - 127300672834818726892128169684730598111187810551/162316100345608294\ 43759957405842498194515208047*c_1100_0^13 + 444010108522821261765625108394009703596131227916/162316100345608294\ 43759957405842498194515208047*c_1100_0^12 + 23497255833969032888739761480051402245458457643/1623161003456082944\ 3759957405842498194515208047*c_1100_0^11 - 342709549867508439629456237311963830182843174522/162316100345608294\ 43759957405842498194515208047*c_1100_0^10 - 421314491107500520820180190728165335727811327138/162316100345608294\ 43759957405842498194515208047*c_1100_0^9 + 190726183198578119629588091606846704320808629093/162316100345608294\ 43759957405842498194515208047*c_1100_0^8 + 876373737529043913262177941600924383166527808257/162316100345608294\ 43759957405842498194515208047*c_1100_0^7 - 220281378718325987620070465794902405253606406904/162316100345608294\ 43759957405842498194515208047*c_1100_0^6 - 626097107855368577395782586905675123817640490657/162316100345608294\ 43759957405842498194515208047*c_1100_0^5 + 88404567335961931503778133104380856517382378040/1623161003456082944\ 3759957405842498194515208047*c_1100_0^4 + 180688295656812763739159538487550193999555332337/162316100345608294\ 43759957405842498194515208047*c_1100_0^3 + 10015820105219641912592229815454692147366956278/1623161003456082944\ 3759957405842498194515208047*c_1100_0^2 - 35264267487751245149416766662617550109064542416/1623161003456082944\ 3759957405842498194515208047*c_1100_0 + 2168949901479171333082179380995868779823244457/16231610034560829443\ 759957405842498194515208047, c_0101_7 + 706704399279135688440355294183509444705903200/16231610034560\ 829443759957405842498194515208047*c_1100_0^19 + 4868089941538574892822045285902304171258005690/16231610034560829443\ 759957405842498194515208047*c_1100_0^18 + 4373739679267371521412912464750422414927425341/16231610034560829443\ 759957405842498194515208047*c_1100_0^17 - 25467259945744927690873092288674488519820028748/1623161003456082944\ 3759957405842498194515208047*c_1100_0^16 - 34062078352260567042540626474091190234559210894/1623161003456082944\ 3759957405842498194515208047*c_1100_0^15 + 38313331257933823142415800463317199364933960819/1623161003456082944\ 3759957405842498194515208047*c_1100_0^14 + 133131255290077127749506613406722106498375113324/162316100345608294\ 43759957405842498194515208047*c_1100_0^13 + 39790290852330264310556466264043789273801009562/1623161003456082944\ 3759957405842498194515208047*c_1100_0^12 - 288463326816860242402663716353079674803143814242/162316100345608294\ 43759957405842498194515208047*c_1100_0^11 - 237460962640844457405297167517004090223277774675/162316100345608294\ 43759957405842498194515208047*c_1100_0^10 + 280471063984969613257125317440907176027619082523/162316100345608294\ 43759957405842498194515208047*c_1100_0^9 + 516331497344364049127453530339383281093147121932/162316100345608294\ 43759957405842498194515208047*c_1100_0^8 + 28169170159391477572084969871521253914078991336/1623161003456082944\ 3759957405842498194515208047*c_1100_0^7 - 649733194680482600649511941324420454982712632299/162316100345608294\ 43759957405842498194515208047*c_1100_0^6 - 257511970769587367186465642370775444536179728872/162316100345608294\ 43759957405842498194515208047*c_1100_0^5 + 339838011881360188804110299852461290938091676238/162316100345608294\ 43759957405842498194515208047*c_1100_0^4 + 202089787614734101334848097973235915300111642811/162316100345608294\ 43759957405842498194515208047*c_1100_0^3 - 28115026222058083400584457054479195208416503005/1623161003456082944\ 3759957405842498194515208047*c_1100_0^2 - 28138440528657458841976187863995711672285286339/1623161003456082944\ 3759957405842498194515208047*c_1100_0 + 2839303856175831875454250120761961353907886287/16231610034560829443\ 759957405842498194515208047, c_1001_0 + 3615768543475048193511744968364225839751214500/1623161003456\ 0829443759957405842498194515208047*c_1100_0^19 + 20021237825535664839248587067262427465680898000/1623161003456082944\ 3759957405842498194515208047*c_1100_0^18 - 4619376031536426655083871584560302379369737845/16231610034560829443\ 759957405842498194515208047*c_1100_0^17 - 124128422411136742111897125173051009554487800617/162316100345608294\ 43759957405842498194515208047*c_1100_0^16 - 8105890092533756536055286264269308391012577823/16231610034560829443\ 759957405842498194515208047*c_1100_0^15 + 209692607278632128136812975372572027739901849562/162316100345608294\ 43759957405842498194515208047*c_1100_0^14 + 413683680223477266848121499343262457143402198420/162316100345608294\ 43759957405842498194515208047*c_1100_0^13 - 372028734212591375779012756791612315125514733391/162316100345608294\ 43759957405842498194515208047*c_1100_0^12 - 1002506226478039640831572250639796328863383523930/16231610034560829\ 443759957405842498194515208047*c_1100_0^11 + 128113849468070656835582632334035226594883957720/162316100345608294\ 43759957405842498194515208047*c_1100_0^10 + 1349354496729798745014819763216214444595170651158/16231610034560829\ 443759957405842498194515208047*c_1100_0^9 + 930643407150978210195779041909102452399733603174/162316100345608294\ 43759957405842498194515208047*c_1100_0^8 - 1331057703314434233898173425788038521609446567950/16231610034560829\ 443759957405842498194515208047*c_1100_0^7 - 1606829783164804849583580066432111175526890291602/16231610034560829\ 443759957405842498194515208047*c_1100_0^6 + 844857689985633116969377424216263441567115756890/162316100345608294\ 43759957405842498194515208047*c_1100_0^5 + 958430981395034365714004951004333306767053588664/162316100345608294\ 43759957405842498194515208047*c_1100_0^4 - 242769454574882711971941541269482757942401891137/162316100345608294\ 43759957405842498194515208047*c_1100_0^3 - 130549125257725126471041957600384260397916951926/162316100345608294\ 43759957405842498194515208047*c_1100_0^2 + 68198650506176676459442941648907591939435747641/1623161003456082944\ 3759957405842498194515208047*c_1100_0 - 7273133536101805520109481383161711683025063450/16231610034560829443\ 759957405842498194515208047, c_1001_10 + 79362052356299506383903747924955903866878225/16231610034560\ 829443759957405842498194515208047*c_1100_0^19 + 668595261050306943187815551029099404135650295/162316100345608294437\ 59957405842498194515208047*c_1100_0^18 + 452144057875654602832817751444315176886975538/162316100345608294437\ 59957405842498194515208047*c_1100_0^17 - 6451348804252989127139419324772657585746754589/16231610034560829443\ 759957405842498194515208047*c_1100_0^16 - 5281603998813179610328187088156576068970049762/16231610034560829443\ 759957405842498194515208047*c_1100_0^15 + 22610861744174625275955011565126630714957523774/1623161003456082944\ 3759957405842498194515208047*c_1100_0^14 + 9117411462112291928833003069588299178667546791/16231610034560829443\ 759957405842498194515208047*c_1100_0^13 + 5065750673641945015035227998063266429819740702/16231610034560829443\ 759957405842498194515208047*c_1100_0^12 - 111190503368384472668799285777136008997730215637/162316100345608294\ 43759957405842498194515208047*c_1100_0^11 + 45970916057513609161776725348992260913034144534/1623161003456082944\ 3759957405842498194515208047*c_1100_0^10 + 87852974824063616032054153054870680197344567775/1623161003456082944\ 3759957405842498194515208047*c_1100_0^9 + 62839880859829794664718832868514825149567350539/1623161003456082944\ 3759957405842498194515208047*c_1100_0^8 - 107964150796042993116531889227217496694054173857/162316100345608294\ 43759957405842498194515208047*c_1100_0^7 - 159683084240199828280439240169659871019170328172/162316100345608294\ 43759957405842498194515208047*c_1100_0^6 + 136562281598281153641094942072030590024186577426/162316100345608294\ 43759957405842498194515208047*c_1100_0^5 + 93730748921497438204743668192134965441804328733/1623161003456082944\ 3759957405842498194515208047*c_1100_0^4 - 93945148677616809622105972751490222042731873479/1623161003456082944\ 3759957405842498194515208047*c_1100_0^3 - 10566195356938261522761141782405891071658297363/1623161003456082944\ 3759957405842498194515208047*c_1100_0^2 + 45779884429191142846559367865646377198788012001/1623161003456082944\ 3759957405842498194515208047*c_1100_0 - 526952119688725479250838702996193981636779435/162316100345608294437\ 59957405842498194515208047, c_1001_2 - 2222789139082544168896880598716283077057478325/1623161003456\ 0829443759957405842498194515208047*c_1100_0^19 - 11373595137415672448000630045670412194725918190/1623161003456082944\ 3759957405842498194515208047*c_1100_0^18 + 6965966145518648327262254220534577495537377679/16231610034560829443\ 759957405842498194515208047*c_1100_0^17 + 70580666606779274434791001023175369406871893625/1623161003456082944\ 3759957405842498194515208047*c_1100_0^16 - 20176424854051184116883256876936737993124050663/1623161003456082944\ 3759957405842498194515208047*c_1100_0^15 - 103157215796295183018835280758602664852372039510/162316100345608294\ 43759957405842498194515208047*c_1100_0^14 - 232674398323999015793633199651522173936006363298/162316100345608294\ 43759957405842498194515208047*c_1100_0^13 + 312648469455397700577457267310143198834439638655/162316100345608294\ 43759957405842498194515208047*c_1100_0^12 + 433685672607026342562104119918792196425069562915/162316100345608294\ 43759957405842498194515208047*c_1100_0^11 - 127357615811129857689967321830277319613603024903/162316100345608294\ 43759957405842498194515208047*c_1100_0^10 - 753774357778287137108883216527145289959377381468/162316100345608294\ 43759957405842498194515208047*c_1100_0^9 - 345337652635463211582767097199115404800752767764/162316100345608294\ 43759957405842498194515208047*c_1100_0^8 + 840135037752260653176356026460212536143242236116/162316100345608294\ 43759957405842498194515208047*c_1100_0^7 + 651893761905090076525445096650461193128509848120/162316100345608294\ 43759957405842498194515208047*c_1100_0^6 - 539816791874469321589688655612157856200797457636/162316100345608294\ 43759957405842498194515208047*c_1100_0^5 - 420417679308415704558598071000207809445658863689/162316100345608294\ 43759957405842498194515208047*c_1100_0^4 + 163035498696544864590929084822715315922416337785/162316100345608294\ 43759957405842498194515208047*c_1100_0^3 + 78467164711016338831332665059074188019416624404/1623161003456082944\ 3759957405842498194515208047*c_1100_0^2 - 46360506881808129963725465911013034794954193734/1623161003456082944\ 3759957405842498194515208047*c_1100_0 + 753431802389143346744797231391844593644127470/162316100345608294437\ 59957405842498194515208047, c_1100_0^20 + 26/5*c_1100_0^19 - 73/25*c_1100_0^18 - 824/25*c_1100_0^17 + 188/25*c_1100_0^16 + 1302/25*c_1100_0^15 + 2582/25*c_1100_0^14 - 3324/25*c_1100_0^13 - 5686/25*c_1100_0^12 + 1969/25*c_1100_0^11 + 1699/5*c_1100_0^10 + 4623/25*c_1100_0^9 - 10073/25*c_1100_0^8 - 8186/25*c_1100_0^7 + 6626/25*c_1100_0^6 + 4852/25*c_1100_0^5 - 1687/25*c_1100_0^4 - 743/25*c_1100_0^3 + 242/25*c_1100_0^2 + 29/25*c_1100_0 + 36/25 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 3.980 Total time: 4.200 seconds, Total memory usage: 122.91MB