Magma V2.19-8 Sun Sep 15 2013 05:10:15 on localhost [Seed = 3383681693] Type ? for help. Type -D to quit. Loading file "11_438__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_438 geometric_solution 15.79695381 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 17 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 -1 1 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.549968346908 0.427375680932 0 5 6 3 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 0 0 -1 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 1.331201630049 0.614288215193 3 0 5 7 0321 0132 1302 0132 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 1 -1 0 0 0 2 -2 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.453662877754 0.380278978995 2 8 1 0 0321 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.127675018685 0.756289134380 6 7 0 8 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 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.624563705496 1.116526908997 2 1 9 10 2031 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 -1 0 -1 0 0 1 -2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.811017339892 0.744915682510 4 11 9 1 0132 0132 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 -1 1 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.558621931385 0.689679073714 12 4 2 10 0132 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 -1 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 -2 -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.513976950888 0.930612875030 12 3 4 9 3012 0132 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.469586915624 0.906762277335 13 8 6 5 0132 0321 0321 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 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.319976698393 1.261256776337 7 14 5 11 3012 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 -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 1 -1 0 0 0 0 0 2 -2 0 0 -1 2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.142975824147 0.703747175696 13 6 14 10 2310 0132 0132 0213 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 0 0 0 0 1.025304091755 0.949000267193 7 13 15 8 0132 2310 0132 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 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.257396695986 1.042102033998 9 15 11 12 0132 3201 3201 3201 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 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.204896517901 0.512997882779 16 10 15 11 0132 0132 0213 0132 0 0 0 0 0 0 0 0 0 0 -1 1 -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 1 0 0 0 1 -1 2 -2 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.891972160877 0.786367313241 16 14 13 12 2103 0213 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 1 -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 -1 0 1 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.171460903757 1.248115775602 14 16 15 16 0132 2310 2103 3201 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 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.814843310816 0.782370029158 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_15' : d['c_1001_12'], 'c_1001_14' : d['c_1001_12'], 'c_1001_16' : d['c_0011_15'], 'c_1001_11' : d['c_1001_1'], 'c_1001_10' : d['c_1001_1'], 'c_1001_13' : negation(d['c_0101_11']), 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_1001_3'], 'c_1001_4' : d['c_0101_10'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_10'], 'c_1001_9' : d['c_1001_9'], 'c_1001_8' : d['c_1001_0'], 'c_1010_13' : negation(d['c_1001_12']), 'c_1010_12' : d['c_0101_6'], 'c_1010_11' : d['c_1001_6'], 'c_1010_10' : d['c_1001_12'], 'c_1010_16' : negation(d['c_0011_15']), 'c_1010_15' : d['c_1001_12'], 'c_1010_14' : d['c_1001_1'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_0_14' : d['1'], 's_0_15' : d['1'], 's_0_16' : d['1'], 's_3_16' : 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'], 'c_0101_16' : d['c_0101_11'], 'c_0101_15' : d['c_0101_11'], 'c_0101_14' : d['c_0011_15'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_2_16' : d['1'], 's_2_14' : 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' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_15' : d['c_0011_15'], 'c_0011_14' : negation(d['c_0011_10']), 'c_0011_16' : d['c_0011_10'], 'c_1100_9' : d['c_1001_6'], 'c_1100_8' : d['c_1001_9'], 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : d['c_1001_6'], 'c_1100_4' : d['c_1001_9'], 'c_1100_7' : d['c_0101_13'], 'c_1100_6' : d['c_1001_9'], 'c_1100_1' : d['c_1001_9'], 'c_1100_0' : d['c_1001_9'], 'c_1100_3' : d['c_1001_9'], 'c_1100_2' : d['c_0101_13'], 'c_1100_15' : d['c_0011_13'], 'c_1100_14' : d['c_1001_12'], 'c_1100_16' : negation(d['c_0011_10']), 'c_1100_11' : d['c_1001_12'], 'c_1100_10' : d['c_1001_6'], 'c_1100_13' : negation(d['c_0011_11']), 's_3_10' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : d['c_0101_10'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 's_0_13' : d['1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_3'], 'c_1010_0' : d['c_0101_10'], 's_3_15' : d['1'], 'c_1010_9' : d['c_1001_3'], 's_3_14' : d['1'], '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' : d['c_0011_13'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_3_11' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_13']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_11'], 'c_0101_13' : d['c_0101_13'], 'c_0011_6' : negation(d['c_0011_11']), '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_0101_13']), 'c_0110_10' : d['c_0101_13'], 'c_0110_13' : negation(d['c_0101_6']), 'c_0110_12' : negation(d['c_0011_3']), 'c_0110_15' : d['c_0011_10'], 'c_0110_14' : d['c_0101_11'], 'c_0110_16' : d['c_0011_15'], 'c_1010_4' : d['c_1001_0'], 'c_0101_12' : d['c_0011_10'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0110_0' : d['c_0101_1'], 's_0_8' : d['1'], 's_2_15' : d['1'], 'c_1010_8' : d['c_1001_3'], 'c_0101_7' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_13'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : negation(d['c_0011_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : negation(d['c_0101_6']), 'c_0101_8' : d['c_0101_6'], 's_1_16' : d['1'], 's_1_15' : d['1'], 's_1_14' : d['1'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_13'], 'c_0110_8' : d['c_0011_13'], 'c_0110_1' : d['c_0011_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0101_6'], 'c_0110_7' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 18 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_13, c_0011_15, c_0011_3, c_0101_1, c_0101_10, c_0101_11, c_0101_13, c_0101_6, c_1001_0, c_1001_1, c_1001_12, c_1001_3, c_1001_6, c_1001_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t + 29647526740976443408501775276626813218024439184649147826431184661/1\ 77894959998039277959425960825452800428074661721664213768732672*c_10\ 01_6^30 + 799031165369150978648615092733873823719848317249798789633\ 52403681/1778949599980392779594259608254528004280746617216642137687\ 32672*c_1001_6^29 + 66410608926659790564777418998674672579032487217\ 6218438251161813257/17789495999803927795942596082545280042807466172\ 1664213768732672*c_1001_6^28 + 877213128026988911666047919936646243\ 981437441856407820825637896231/889474799990196389797129804127264002\ 14037330860832106884366336*c_1001_6^27 + 1684450045665233164578353051759946421909630924001396508595251977287\ /44473739999509819489856490206363200107018665430416053442183168*c_1\ 001_6^26 + 76604217015929716930706121212197722703168465095761840856\ 88780320967/8894747999901963897971298041272640021403733086083210688\ 4366336*c_1001_6^25 + 370139813976897740452299848693662986570881305\ 52824698799680370548309/1778949599980392779594259608254528004280746\ 61721664213768732672*c_1001_6^24 + 3545508479534144776230561895730813953649300559277200137747461280561\ 7/88947479999019638979712980412726400214037330860832106884366336*c_\ 1001_6^23 + 1268176539327336557833209028440669362604938478861510575\ 56286665379045/1778949599980392779594259608254528004280746617216642\ 13768732672*c_1001_6^22 + 19754477388606828997592525310692606509526\ 3310698949734269678009651447/17789495999803927795942596082545280042\ 8074661721664213768732672*c_1001_6^21 + 2871810186933266017803765727714515120525426986598016823296097611058\ 71/177894959998039277959425960825452800428074661721664213768732672*\ c_1001_6^20 + 17193119270839030771374568903806112076494610770888624\ 9507494948991333/88947479999019638979712980412726400214037330860832\ 106884366336*c_1001_6^19 + 2253067733737556632975468713243081076382\ 47309063041704099423629401413/8894747999901963897971298041272640021\ 4037330860832106884366336*c_1001_6^18 + 3670017576965827085019786908606768090540284750510447423514761421153\ 59/177894959998039277959425960825452800428074661721664213768732672*\ c_1001_6^17 + 52070319978451723172545628777773187262687259285381168\ 1835245276844723/17789495999803927795942596082545280042807466172166\ 4213768732672*c_1001_6^16 + 111688344854823416558268058458113965695\ 405416051333142056249877822109/889474799990196389797129804127264002\ 14037330860832106884366336*c_1001_6^15 + 9162027362114439052179306475029630460906108961146444551721463703537\ /3421056923039216883835114631258707700539897340801234880167936*c_10\ 01_6^14 + 339612662558945014292715204712375309974580026846213397382\ 88963238663/8894747999901963897971298041272640021403733086083210688\ 4366336*c_1001_6^13 + 344235641013588552579663107580342057318179710\ 892551254172985098458517/177894959998039277959425960825452800428074\ 661721664213768732672*c_1001_6^12 + 1134445681239552549206479334671867783112917250814612348190243742472\ 3/88947479999019638979712980412726400214037330860832106884366336*c_\ 1001_6^11 + 1678529992278919464915365074164853513718498701079988708\ 22071965354783/1778949599980392779594259608254528004280746617216642\ 13768732672*c_1001_6^10 + 15314453632595732144041865602335555637107\ 9154443065847755377085909/86356776698077319397779592633714951664113\ 9134571185503731712*c_1001_6^9 + 4201103363797761480090556429368069\ 3697688250661480326753441856942765/17789495999803927795942596082545\ 2800428074661721664213768732672*c_1001_6^8 + 6461384276133286155853029694285234415411730137503187849786009059551\ /44473739999509819489856490206363200107018665430416053442183168*c_1\ 001_6^7 + 362841717211965290465925808688860939335723088687507502970\ 1796506175/17789495999803927795942596082545280042807466172166421376\ 8732672*c_1001_6^6 + 9924892255212054979016120811362572042934531972\ 9379192582785398275/17105284615196084419175573156293538502699486704\ 00617440083968*c_1001_6^5 - 857560576155376730798936116218477731169\ 58287577165943127222085633/8894747999901963897971298041272640021403\ 7330860832106884366336*c_1001_6^4 + 1718486956528619307436570043301954696817432513740130181519188881275\ /177894959998039277959425960825452800428074661721664213768732672*c_\ 1001_6^3 - 15829129938718715181597713353478014016473912927555107662\ 3444539213/88947479999019638979712980412726400214037330860832106884\ 366336*c_1001_6^2 - 35081257475406131785691824255630050252568903408\ 0476129877290041443/17789495999803927795942596082545280042807466172\ 1664213768732672*c_1001_6 - 518824520676885166165976829212918795747\ 95847166334121657478112497/1778949599980392779594259608254528004280\ 74661721664213768732672, c_0011_0 - 1, c_0011_10 + 12689002322382820430563441598067548140255851303/34520858695\ 09139543210045539310964082780640328116*c_1001_6^30 + 109621504543207098982141622584256342968166894471/345208586950913954\ 3210045539310964082780640328116*c_1001_6^29 + 419591638819191947793483740158389026867572580111/345208586950913954\ 3210045539310964082780640328116*c_1001_6^28 + 1167985780620981444939863650716684458842307751869/17260429347545697\ 71605022769655482041390320164058*c_1001_6^27 + 1497976816682920398052969257895033357494842631701/86302146737728488\ 5802511384827741020695160082029*c_1001_6^26 + 10647564682181291347561382025495187481155562792043/1726042934754569\ 771605022769655482041390320164058*c_1001_6^25 + 42962059430833556936508284060934668749104295392939/3452085869509139\ 543210045539310964082780640328116*c_1001_6^24 + 52072879758664719051070805256009617470745303534783/1726042934754569\ 771605022769655482041390320164058*c_1001_6^23 + 179106972281346698786917102535642936059869274439003/345208586950913\ 9543210045539310964082780640328116*c_1001_6^22 + 315556489831286482247769695908356313393785809168613/345208586950913\ 9543210045539310964082780640328116*c_1001_6^21 + 458399828834128869597633796351539270746337500376745/345208586950913\ 9543210045539310964082780640328116*c_1001_6^20 + 318217314412073832397300522035476374370409034265453/172604293475456\ 9771605022769655482041390320164058*c_1001_6^19 + 355656739740026139194052116657961161419589932774299/172604293475456\ 9771605022769655482041390320164058*c_1001_6^18 + 934352771624693105112964301451072932920093913490773/345208586950913\ 9543210045539310964082780640328116*c_1001_6^17 + 546791141243669048044575256555911349810680206845205/345208586950913\ 9543210045539310964082780640328116*c_1001_6^16 + 597470816592445389379760061497538594095205132825219/172604293475456\ 9771605022769655482041390320164058*c_1001_6^15 - 39753785657419407357626958540086490507260542811807/8630214673772848\ 85802511384827741020695160082029*c_1001_6^14 + 761564145904161776443916236036215280756796766301149/172604293475456\ 9771605022769655482041390320164058*c_1001_6^13 - 899443572319058727446433505879161632320907137254433/345208586950913\ 9543210045539310964082780640328116*c_1001_6^12 + 838559360461624773135914988899346298691819616746153/172604293475456\ 9771605022769655482041390320164058*c_1001_6^11 - 1064697872462783346093041429375000607085203040641119/34520858695091\ 39543210045539310964082780640328116*c_1001_6^10 + 631004875867218763610227871556960908097419321197273/172604293475456\ 9771605022769655482041390320164058*c_1001_6^9 - 665860820018027508944250607406225249272241971819725/345208586950913\ 9543210045539310964082780640328116*c_1001_6^8 + 139560675815474976909007556144292106261281193604875/863021467377284\ 885802511384827741020695160082029*c_1001_6^7 - 216597371010266690876784580413072825741991023871675/345208586950913\ 9543210045539310964082780640328116*c_1001_6^6 + 34090187382995960607524807932340275750348812943585/8630214673772848\ 85802511384827741020695160082029*c_1001_6^5 - 10225646271142406383675167622423393621930009508437/1726042934754569\ 771605022769655482041390320164058*c_1001_6^4 + 20385000585982829729570472951998021396350852185281/3452085869509139\ 543210045539310964082780640328116*c_1001_6^3 + 468632458541439437499136445576272242564401353807/172604293475456977\ 1605022769655482041390320164058*c_1001_6^2 + 227843008320225521451023683518929196990123906747/345208586950913954\ 3210045539310964082780640328116*c_1001_6 - 3774992910730511493321063435056874137241349491439/34520858695091395\ 43210045539310964082780640328116, c_0011_11 - 9856673144642976488695426957347543356954089171/863021467377\ 284885802511384827741020695160082029*c_1001_6^30 - 55485273365292734835686295510475637913182136002/8630214673772848858\ 02511384827741020695160082029*c_1001_6^29 - 289333396159467496640592805785758294453016833035/863021467377284885\ 802511384827741020695160082029*c_1001_6^28 - 1247640112057527261012452936417255011076138659941/86302146737728488\ 5802511384827741020695160082029*c_1001_6^27 - 3840226734069979215136209665298234264904156501956/86302146737728488\ 5802511384827741020695160082029*c_1001_6^26 - 11999448923550762042630002581859671062851590649265/8630214673772848\ 85802511384827741020695160082029*c_1001_6^25 - 27256960872743783981914013160444552699202335980347/8630214673772848\ 85802511384827741020695160082029*c_1001_6^24 - 63284395963010841640036456289872953136494421791635/8630214673772848\ 85802511384827741020695160082029*c_1001_6^23 - 117479583966727458414350155316997408652945792370200/863021467377284\ 885802511384827741020695160082029*c_1001_6^22 - 209734780997593471654859751829708474024214006829067/863021467377284\ 885802511384827741020695160082029*c_1001_6^21 - 325649691063658927947310928293254079863073669976069/863021467377284\ 885802511384827741020695160082029*c_1001_6^20 - 466072534757025057310655868870189513184441798632506/863021467377284\ 885802511384827741020695160082029*c_1001_6^19 - 591672208190910520043570450043921541742645346066888/863021467377284\ 885802511384827741020695160082029*c_1001_6^18 - 728431128048101063799203205977048545837136345591704/863021467377284\ 885802511384827741020695160082029*c_1001_6^17 - 683787417452451697734153887164376953140667513708577/863021467377284\ 885802511384827741020695160082029*c_1001_6^16 - 863977743477434278842320932960332710104376084218632/863021467377284\ 885802511384827741020695160082029*c_1001_6^15 - 434649094158501636711432771015503534820136378501573/863021467377284\ 885802511384827741020695160082029*c_1001_6^14 - 870998433650215465069626513839137984108299109322980/863021467377284\ 885802511384827741020695160082029*c_1001_6^13 - 28220223259786461312147725043134059051018399135934/8630214673772848\ 85802511384827741020695160082029*c_1001_6^12 - 782526894689261252002910025919313056022329289928156/863021467377284\ 885802511384827741020695160082029*c_1001_6^11 + 195619286805017295784528752354945213082025833211090/863021467377284\ 885802511384827741020695160082029*c_1001_6^10 - 551182813170543885378935991782617122913564300637187/863021467377284\ 885802511384827741020695160082029*c_1001_6^9 + 161887676109283322839845479415275116051067308556478/863021467377284\ 885802511384827741020695160082029*c_1001_6^8 - 250531201825350291660592935241998565451761793744123/863021467377284\ 885802511384827741020695160082029*c_1001_6^7 + 55682482860284362746115680780414984354806392343185/8630214673772848\ 85802511384827741020695160082029*c_1001_6^6 - 63857001936774189633905966249552468049272386363160/8630214673772848\ 85802511384827741020695160082029*c_1001_6^5 + 4390906451692447561104055664488111672164229880942/86302146737728488\ 5802511384827741020695160082029*c_1001_6^4 - 8980020688359718432327884424248407561838750918040/86302146737728488\ 5802511384827741020695160082029*c_1001_6^3 - 2094637020576859112602210891459922620150539537891/86302146737728488\ 5802511384827741020695160082029*c_1001_6^2 - 195527120882334328931055965994343790912417418989/863021467377284885\ 802511384827741020695160082029*c_1001_6 - 573472548350079483788426614613753568794288449312/863021467377284885\ 802511384827741020695160082029, c_0011_13 + 7834330374066184693776994690384571898885278271/565915716312\ 97369560820418677228919389846562756*c_1001_6^30 + 8861634927618952090064270738455946387376545407/56591571631297369560\ 820418677228919389846562756*c_1001_6^29 + 158971260541786733458093899460143956128825421939/565915716312973695\ 60820418677228919389846562756*c_1001_6^28 + 110321981850126813720435067391442023629331052319/282957858156486847\ 80410209338614459694923281378*c_1001_6^27 + 349205220870419301104834732077731172241767862765/141478929078243423\ 90205104669307229847461640689*c_1001_6^26 + 982859673772092807444067188203416093442489997629/282957858156486847\ 80410209338614459694923281378*c_1001_6^25 + 6578241991169072553608088918949953399442365161363/56591571631297369\ 560820418677228919389846562756*c_1001_6^24 + 4685475166682973569504649581246653523925143198259/28295785815648684\ 780410209338614459694923281378*c_1001_6^23 + 19536675176837299312965204027679618792008907375847/5659157163129736\ 9560820418677228919389846562756*c_1001_6^22 + 26097930211500794943211002362376517298394325149845/5659157163129736\ 9560820418677228919389846562756*c_1001_6^21 + 41369977361290462451176745649112167328473695089149/5659157163129736\ 9560820418677228919389846562756*c_1001_6^20 + 20252434864047547886625957257727491177494387623093/2829578581564868\ 4780410209338614459694923281378*c_1001_6^19 + 37649184689641706302716635824580354726228316956273/2829578581564868\ 4780410209338614459694923281378*c_1001_6^18 + 14201575279171696934154158909025040789329131405997/5659157163129736\ 9560820418677228919389846562756*c_1001_6^17 + 140909932694667333484351605716519919255470135091837/565915716312973\ 69560820418677228919389846562756*c_1001_6^16 - 43292408312552599435681368546905542602282876983685/2829578581564868\ 4780410209338614459694923281378*c_1001_6^15 + 61964584628704747263553225135829109301563320584657/1414789290782434\ 2390205104669307229847461640689*c_1001_6^14 - 112394821490684554890025469300932552271036828165129/282957858156486\ 84780410209338614459694923281378*c_1001_6^13 + 334587522154250715330000375736687647027089954600027/565915716312973\ 69560820418677228919389846562756*c_1001_6^12 - 146224833267462477147881157563642343037596665608411/282957858156486\ 84780410209338614459694923281378*c_1001_6^11 + 308699698845144177220549571785691600148191945069869/565915716312973\ 69560820418677228919389846562756*c_1001_6^10 - 114921973509315193132010322353183071009230580913579/282957858156486\ 84780410209338614459694923281378*c_1001_6^9 + 182864860015890099247384428733786607449513082810707/565915716312973\ 69560820418677228919389846562756*c_1001_6^8 - 27208728562908703475966281085477882813943659815373/1414789290782434\ 2390205104669307229847461640689*c_1001_6^7 + 65586396259902761669275019726424533921042257342533/5659157163129736\ 9560820418677228919389846562756*c_1001_6^6 - 7267455642818986065228666301697314993089588261336/14147892907824342\ 390205104669307229847461640689*c_1001_6^5 + 6472500651061071764742365995343978578005012313777/28295785815648684\ 780410209338614459694923281378*c_1001_6^4 - 3687356740087545804343614603472263441792650441675/56591571631297369\ 560820418677228919389846562756*c_1001_6^3 + 437845571054477245528025549309676173016661533675/282957858156486847\ 80410209338614459694923281378*c_1001_6^2 + 38254702083863596986329813897340241598615492875/5659157163129736956\ 0820418677228919389846562756*c_1001_6 - 107708322158294075843149867637580697914077975487/565915716312973695\ 60820418677228919389846562756, c_0011_15 - 347121387914364828805834566511810769661120869871/3452085869\ 509139543210045539310964082780640328116*c_1001_6^30 - 518791261423624093940161016901933789544515226715/345208586950913954\ 3210045539310964082780640328116*c_1001_6^29 - 7356346868673710072258990932949529260907786835535/34520858695091395\ 43210045539310964082780640328116*c_1001_6^28 - 6336663874374735822945658974896240189307037308495/17260429347545697\ 71605022769655482041390320164058*c_1001_6^27 - 17269268519897664685818220121580274463318942940430/8630214673772848\ 85802511384827741020695160082029*c_1001_6^26 - 58594166918442852484420475831277073109323133825709/1726042934754569\ 771605022769655482041390320164058*c_1001_6^25 - 357633841094867745634452945202633502689920220538255/345208586950913\ 9543210045539310964082780640328116*c_1001_6^24 - 293530890297727083212351362694124484630138951027673/172604293475456\ 9771605022769655482041390320164058*c_1001_6^23 - 1192731687742779996825304744409494764773246616892687/34520858695091\ 39543210045539310964082780640328116*c_1001_6^22 - 1772425140270057197255107422747629503566345533142345/34520858695091\ 39543210045539310964082780640328116*c_1001_6^21 - 2812743804788974404429285099556344933853979592198333/34520858695091\ 39543210045539310964082780640328116*c_1001_6^20 - 1636699404441969636929301188444259290664969912926635/17260429347545\ 69771605022769655482041390320164058*c_1001_6^19 - 2589154758109894688843271344982590447126364910069385/17260429347545\ 69771605022769655482041390320164058*c_1001_6^18 - 3126272844399725503609117336699785690857925211139853/34520858695091\ 39543210045539310964082780640328116*c_1001_6^17 - 8341037074016540212863777301112176482902219716335833/34520858695091\ 39543210045539310964082780640328116*c_1001_6^16 + 325823008951901125868645119688110163093979306626841/172604293475456\ 9771605022769655482041390320164058*c_1001_6^15 - 3042129942875934457180109898996540309368543813094980/86302146737728\ 4885802511384827741020695160082029*c_1001_6^14 + 3300188160137605015354726420420350539716957819322421/17260429347545\ 69771605022769655482041390320164058*c_1001_6^13 - 14712074048970467678647299560195942413324054818318227/3452085869509\ 139543210045539310964082780640328116*c_1001_6^12 + 4983562095639878571488716337931515775040877246621323/17260429347545\ 69771605022769655482041390320164058*c_1001_6^11 - 13072370890973999961583686173466186343060961005420813/3452085869509\ 139543210045539310964082780640328116*c_1001_6^10 + 4102887298777067067850516324959171688040170976248955/17260429347545\ 69771605022769655482041390320164058*c_1001_6^9 - 7813433749799160808527560446676990513742406133885295/34520858695091\ 39543210045539310964082780640328116*c_1001_6^8 + 1007438370918435587975051016646703509618801027483828/86302146737728\ 4885802511384827741020695160082029*c_1001_6^7 - 2949066809435543756105739282838901051434459020301953/34520858695091\ 39543210045539310964082780640328116*c_1001_6^6 + 282971915202799092014716357740170884899302576692416/863021467377284\ 885802511384827741020695160082029*c_1001_6^5 - 330027208538671913345374359153073002773071566768795/172604293475456\ 9771605022769655482041390320164058*c_1001_6^4 + 144893050383742409158299855621858598213047735226967/345208586950913\ 9543210045539310964082780640328116*c_1001_6^3 - 35774343139886480430618390762017888266363201779559/1726042934754569\ 771605022769655482041390320164058*c_1001_6^2 - 3778202837951247439172154522945332750748542347979/34520858695091395\ 43210045539310964082780640328116*c_1001_6 - 70656154086526256212400309545452169170018062537/3452085869509139543\ 210045539310964082780640328116, c_0011_3 - 467525748843714835156373742535435189910372289697/17260429347\ 54569771605022769655482041390320164058*c_1001_6^30 - 943692826708811060252905944295946288875679290939/172604293475456977\ 1605022769655482041390320164058*c_1001_6^29 - 10313841774126149355727524005178836923854335862095/1726042934754569\ 771605022769655482041390320164058*c_1001_6^28 - 11084638074507683631692653135275072544530960278300/8630214673772848\ 85802511384827741020695160082029*c_1001_6^27 - 51236854024329013147862066958000843979030779183260/8630214673772848\ 85802511384827741020695160082029*c_1001_6^26 - 102405694379907480677459219999749925962848661693977/863021467377284\ 885802511384827741020695160082029*c_1001_6^25 - 564655155269223892418018936753409360474391465876941/172604293475456\ 9771605022769655482041390320164058*c_1001_6^24 - 512779556878991795339937780269823219515664816507124/863021467377284\ 885802511384827741020695160082029*c_1001_6^23 - 1996796856867287223263199887039378668006634008980587/17260429347545\ 69771605022769655482041390320164058*c_1001_6^22 - 3136839999864469621446426450147390568669300337776953/17260429347545\ 69771605022769655482041390320164058*c_1001_6^21 - 4886167434877273417151192262622394666438111125427667/17260429347545\ 69771605022769655482041390320164058*c_1001_6^20 - 3042267944896390583799405088184437728234970492696344/86302146737728\ 4885802511384827741020695160082029*c_1001_6^19 - 4420394926165760834465441184982989959764135700194106/86302146737728\ 4885802511384827741020695160082029*c_1001_6^18 - 7143553091991104334798590924792067686728782285748085/17260429347545\ 69771605022769655482041390320164058*c_1001_6^17 - 12810283426339542824109818690555876005684735171483109/1726042934754\ 569771605022769655482041390320164058*c_1001_6^16 - 1843338345304192919976544784613593592189077845160555/86302146737728\ 4885802511384827741020695160082029*c_1001_6^15 - 7907341717315917993301365548230821568987327292330523/86302146737728\ 4885802511384827741020695160082029*c_1001_6^14 + 1220728457925416748560849630930246312198031292547219/86302146737728\ 4885802511384827741020695160082029*c_1001_6^13 - 16319437150454384524414854406172395210165589240217605/1726042934754\ 569771605022769655482041390320164058*c_1001_6^12 + 3021448678653995904264348696864243418359885508287823/86302146737728\ 4885802511384827741020695160082029*c_1001_6^11 - 12781304718349505782877100639271224715418841438073981/1726042934754\ 569771605022769655482041390320164058*c_1001_6^10 + 2504751904291077035230581618880380705913563490516145/86302146737728\ 4885802511384827741020695160082029*c_1001_6^9 - 6839320017083580085967964655640842873709376244733953/17260429347545\ 69771605022769655482041390320164058*c_1001_6^8 + 1084826670296826973576998477721465279979329455415873/86302146737728\ 4885802511384827741020695160082029*c_1001_6^7 - 2322995974676508947609889356460671432391999537739693/17260429347545\ 69771605022769655482041390320164058*c_1001_6^6 + 219318143212669261430158628152484355170502011672911/863021467377284\ 885802511384827741020695160082029*c_1001_6^5 - 242990093703760952726781437029526450192756837610503/863021467377284\ 885802511384827741020695160082029*c_1001_6^4 - 4000228500218812277842854723605504991920771507195/17260429347545697\ 71605022769655482041390320164058*c_1001_6^3 - 26306190447991241328295553996875223572741032650276/8630214673772848\ 85802511384827741020695160082029*c_1001_6^2 - 14792276456700058987017401021305417409604279469253/1726042934754569\ 771605022769655482041390320164058*c_1001_6 + 933637309377285743911675145947635935024688586051/172604293475456977\ 1605022769655482041390320164058, c_0101_1 - 467525748843714835156373742535435189910372289697/17260429347\ 54569771605022769655482041390320164058*c_1001_6^30 - 943692826708811060252905944295946288875679290939/172604293475456977\ 1605022769655482041390320164058*c_1001_6^29 - 10313841774126149355727524005178836923854335862095/1726042934754569\ 771605022769655482041390320164058*c_1001_6^28 - 11084638074507683631692653135275072544530960278300/8630214673772848\ 85802511384827741020695160082029*c_1001_6^27 - 51236854024329013147862066958000843979030779183260/8630214673772848\ 85802511384827741020695160082029*c_1001_6^26 - 102405694379907480677459219999749925962848661693977/863021467377284\ 885802511384827741020695160082029*c_1001_6^25 - 564655155269223892418018936753409360474391465876941/172604293475456\ 9771605022769655482041390320164058*c_1001_6^24 - 512779556878991795339937780269823219515664816507124/863021467377284\ 885802511384827741020695160082029*c_1001_6^23 - 1996796856867287223263199887039378668006634008980587/17260429347545\ 69771605022769655482041390320164058*c_1001_6^22 - 3136839999864469621446426450147390568669300337776953/17260429347545\ 69771605022769655482041390320164058*c_1001_6^21 - 4886167434877273417151192262622394666438111125427667/17260429347545\ 69771605022769655482041390320164058*c_1001_6^20 - 3042267944896390583799405088184437728234970492696344/86302146737728\ 4885802511384827741020695160082029*c_1001_6^19 - 4420394926165760834465441184982989959764135700194106/86302146737728\ 4885802511384827741020695160082029*c_1001_6^18 - 7143553091991104334798590924792067686728782285748085/17260429347545\ 69771605022769655482041390320164058*c_1001_6^17 - 12810283426339542824109818690555876005684735171483109/1726042934754\ 569771605022769655482041390320164058*c_1001_6^16 - 1843338345304192919976544784613593592189077845160555/86302146737728\ 4885802511384827741020695160082029*c_1001_6^15 - 7907341717315917993301365548230821568987327292330523/86302146737728\ 4885802511384827741020695160082029*c_1001_6^14 + 1220728457925416748560849630930246312198031292547219/86302146737728\ 4885802511384827741020695160082029*c_1001_6^13 - 16319437150454384524414854406172395210165589240217605/1726042934754\ 569771605022769655482041390320164058*c_1001_6^12 + 3021448678653995904264348696864243418359885508287823/86302146737728\ 4885802511384827741020695160082029*c_1001_6^11 - 12781304718349505782877100639271224715418841438073981/1726042934754\ 569771605022769655482041390320164058*c_1001_6^10 + 2504751904291077035230581618880380705913563490516145/86302146737728\ 4885802511384827741020695160082029*c_1001_6^9 - 6839320017083580085967964655640842873709376244733953/17260429347545\ 69771605022769655482041390320164058*c_1001_6^8 + 1084826670296826973576998477721465279979329455415873/86302146737728\ 4885802511384827741020695160082029*c_1001_6^7 - 2322995974676508947609889356460671432391999537739693/17260429347545\ 69771605022769655482041390320164058*c_1001_6^6 + 219318143212669261430158628152484355170502011672911/863021467377284\ 885802511384827741020695160082029*c_1001_6^5 - 242990093703760952726781437029526450192756837610503/863021467377284\ 885802511384827741020695160082029*c_1001_6^4 - 4000228500218812277842854723605504991920771507195/17260429347545697\ 71605022769655482041390320164058*c_1001_6^3 - 26306190447991241328295553996875223572741032650276/8630214673772848\ 85802511384827741020695160082029*c_1001_6^2 - 14792276456700058987017401021305417409604279469253/1726042934754569\ 771605022769655482041390320164058*c_1001_6 + 933637309377285743911675145947635935024688586051/172604293475456977\ 1605022769655482041390320164058, c_0101_10 - 125992833271313749388547002608981020341629053289/3452085869\ 509139543210045539310964082780640328116*c_1001_6^30 - 44818200115679727550387710843713447472687355429/3452085869509139543\ 210045539310964082780640328116*c_1001_6^29 - 2396858519085485186189673888719790157522433135737/34520858695091395\ 43210045539310964082780640328116*c_1001_6^28 - 801147022266798500565283710219341425996476777813/172604293475456977\ 1605022769655482041390320164058*c_1001_6^27 - 4732391122475568797990644160572953576604168136542/86302146737728488\ 5802511384827741020695160082029*c_1001_6^26 - 7392229557148833210253946279414066147765780624145/17260429347545697\ 71605022769655482041390320164058*c_1001_6^25 - 77246221852246417219405282052210019695525167975553/3452085869509139\ 543210045539310964082780640328116*c_1001_6^24 - 37694416808524897024501958808948574952226365485769/1726042934754569\ 771605022769655482041390320164058*c_1001_6^23 - 196528322294185385416805037114648601587329605962753/345208586950913\ 9543210045539310964082780640328116*c_1001_6^22 - 216038740213629429894862073087697827312142864970587/345208586950913\ 9543210045539310964082780640328116*c_1001_6^21 - 398775226872624681919548374178245798038367245758047/345208586950913\ 9543210045539310964082780640328116*c_1001_6^20 - 145275904657124952024528467983836961110545655170495/172604293475456\ 9771605022769655482041390320164058*c_1001_6^19 - 462876547659210108534174871247627885133573168621773/172604293475456\ 9771605022769655482041390320164058*c_1001_6^18 + 284309721515245600871830713095871182729616147375265/345208586950913\ 9543210045539310964082780640328116*c_1001_6^17 - 2373418204054625805810068805839842469047570839455255/34520858695091\ 39543210045539310964082780640328116*c_1001_6^16 + 1109324295278016104403834423509546726292993360379109/17260429347545\ 69771605022769655482041390320164058*c_1001_6^15 - 1204110736689383089524480231187684113501066913615216/86302146737728\ 4885802511384827741020695160082029*c_1001_6^14 + 2489399151237301449876794715286212305473843287434511/17260429347545\ 69771605022769655482041390320164058*c_1001_6^13 - 6728770146104672740054953516578102227753272514581321/34520858695091\ 39543210045539310964082780640328116*c_1001_6^12 + 3150190346538444632555293686356407952567880190774583/17260429347545\ 69771605022769655482041390320164058*c_1001_6^11 - 6207182246630001101420837330029290170115598666220963/34520858695091\ 39543210045539310964082780640328116*c_1001_6^10 + 2402909200147516827790591244241201776077852962061749/17260429347545\ 69771605022769655482041390320164058*c_1001_6^9 - 3621452797826187552089926385966440902813911530380005/34520858695091\ 39543210045539310964082780640328116*c_1001_6^8 + 542863709582183534791459863695674136911580172605974/863021467377284\ 885802511384827741020695160082029*c_1001_6^7 - 1244621555965403228042803775501747050457141288607655/34520858695091\ 39543210045539310964082780640328116*c_1001_6^6 + 138563076777575619269564468415447262799207659900113/863021467377284\ 885802511384827741020695160082029*c_1001_6^5 - 111836380259321441623870865036689087987033612966017/172604293475456\ 9771605022769655482041390320164058*c_1001_6^4 + 68231810550867920882044575169785401887653577345973/3452085869509139\ 543210045539310964082780640328116*c_1001_6^3 - 8318438698169882722997209224998089296075220692869/17260429347545697\ 71605022769655482041390320164058*c_1001_6^2 - 3468933207603324541433755596414753852493729662805/34520858695091395\ 43210045539310964082780640328116*c_1001_6 - 1236101037735997242092069406872930835006198157023/34520858695091395\ 43210045539310964082780640328116, c_0101_11 + 107568665434393546085942905451287313838988234349/8630214673\ 77284885802511384827741020695160082029*c_1001_6^30 + 208534603706787986147677347598929614769132905263/863021467377284885\ 802511384827741020695160082029*c_1001_6^29 + 2335348947177339411035908755793576627532889949840/86302146737728488\ 5802511384827741020695160082029*c_1001_6^28 + 4851853470851208632889150812814076212376081481437/86302146737728488\ 5802511384827741020695160082029*c_1001_6^27 + 22728183705932188967334164878991276846923879339988/8630214673772848\ 85802511384827741020695160082029*c_1001_6^26 + 43960264621100330848859008877340665039515577615719/8630214673772848\ 85802511384827741020695160082029*c_1001_6^25 + 121734756834414401990771170785877714890265608882359/863021467377284\ 885802511384827741020695160082029*c_1001_6^24 + 214624040765911528010223578566622379817179466329973/863021467377284\ 885802511384827741020695160082029*c_1001_6^23 + 416388122260947256025054844433320032649078083267332/863021467377284\ 885802511384827741020695160082029*c_1001_6^22 + 634979887590941415429975121522764174051466092113991/863021467377284\ 885802511384827741020695160082029*c_1001_6^21 + 981516977874812629406689027073507106414952792467443/863021467377284\ 885802511384827741020695160082029*c_1001_6^20 + 1170747694392377892354782801308171045990066744915830/86302146737728\ 4885802511384827741020695160082029*c_1001_6^19 + 1721320672604819558586471222376984635088986346125424/86302146737728\ 4885802511384827741020695160082029*c_1001_6^18 + 1228429742486898775146041027283203769975593200274083/86302146737728\ 4885802511384827741020695160082029*c_1001_6^17 + 2491608217485289777318393102307560006846309295472417/86302146737728\ 4885802511384827741020695160082029*c_1001_6^16 + 295287313568469335610042028067355691112273159655258/863021467377284\ 885802511384827741020695160082029*c_1001_6^15 + 3232894668777558001936011618251665508178266150041688/86302146737728\ 4885802511384827741020695160082029*c_1001_6^14 - 1188861175136772636503971819184961183930658792166620/86302146737728\ 4885802511384827741020695160082029*c_1001_6^13 + 3648721581564308617123130815694787208448529671078808/86302146737728\ 4885802511384827741020695160082029*c_1001_6^12 - 2092905080275615649484362874626775913118075550585976/86302146737728\ 4885802511384827741020695160082029*c_1001_6^11 + 3201234198009207212845893512479173723211082401371074/86302146737728\ 4885802511384827741020695160082029*c_1001_6^10 - 1877032819191831162980549202186786851882878671369188/86302146737728\ 4885802511384827741020695160082029*c_1001_6^9 + 1985930884199146828178533533684788818199249926381985/86302146737728\ 4885802511384827741020695160082029*c_1001_6^8 - 1047700988082821405606018769224443824086461123804946/86302146737728\ 4885802511384827741020695160082029*c_1001_6^7 + 820424294477320656268616716567788178793716984375897/863021467377284\ 885802511384827741020695160082029*c_1001_6^6 - 352823754552492030060985434702362783778426141228456/863021467377284\ 885802511384827741020695160082029*c_1001_6^5 + 211247801688091528339735378405962951552286811799095/863021467377284\ 885802511384827741020695160082029*c_1001_6^4 - 59649292218481045442103241361078008082794518208600/8630214673772848\ 85802511384827741020695160082029*c_1001_6^3 + 25440611483298464860447753264752829722717908934937/8630214673772848\ 85802511384827741020695160082029*c_1001_6^2 - 3818044448422939347343158202838807030258409176436/86302146737728488\ 5802511384827741020695160082029*c_1001_6 - 1745617443699886558112160421458773458436688410800/86302146737728488\ 5802511384827741020695160082029, c_0101_13 - c_1001_6, c_0101_6 - 125992833271313749388547002608981020341629053289/34520858695\ 09139543210045539310964082780640328116*c_1001_6^30 - 44818200115679727550387710843713447472687355429/3452085869509139543\ 210045539310964082780640328116*c_1001_6^29 - 2396858519085485186189673888719790157522433135737/34520858695091395\ 43210045539310964082780640328116*c_1001_6^28 - 801147022266798500565283710219341425996476777813/172604293475456977\ 1605022769655482041390320164058*c_1001_6^27 - 4732391122475568797990644160572953576604168136542/86302146737728488\ 5802511384827741020695160082029*c_1001_6^26 - 7392229557148833210253946279414066147765780624145/17260429347545697\ 71605022769655482041390320164058*c_1001_6^25 - 77246221852246417219405282052210019695525167975553/3452085869509139\ 543210045539310964082780640328116*c_1001_6^24 - 37694416808524897024501958808948574952226365485769/1726042934754569\ 771605022769655482041390320164058*c_1001_6^23 - 196528322294185385416805037114648601587329605962753/345208586950913\ 9543210045539310964082780640328116*c_1001_6^22 - 216038740213629429894862073087697827312142864970587/345208586950913\ 9543210045539310964082780640328116*c_1001_6^21 - 398775226872624681919548374178245798038367245758047/345208586950913\ 9543210045539310964082780640328116*c_1001_6^20 - 145275904657124952024528467983836961110545655170495/172604293475456\ 9771605022769655482041390320164058*c_1001_6^19 - 462876547659210108534174871247627885133573168621773/172604293475456\ 9771605022769655482041390320164058*c_1001_6^18 + 284309721515245600871830713095871182729616147375265/345208586950913\ 9543210045539310964082780640328116*c_1001_6^17 - 2373418204054625805810068805839842469047570839455255/34520858695091\ 39543210045539310964082780640328116*c_1001_6^16 + 1109324295278016104403834423509546726292993360379109/17260429347545\ 69771605022769655482041390320164058*c_1001_6^15 - 1204110736689383089524480231187684113501066913615216/86302146737728\ 4885802511384827741020695160082029*c_1001_6^14 + 2489399151237301449876794715286212305473843287434511/17260429347545\ 69771605022769655482041390320164058*c_1001_6^13 - 6728770146104672740054953516578102227753272514581321/34520858695091\ 39543210045539310964082780640328116*c_1001_6^12 + 3150190346538444632555293686356407952567880190774583/17260429347545\ 69771605022769655482041390320164058*c_1001_6^11 - 6207182246630001101420837330029290170115598666220963/34520858695091\ 39543210045539310964082780640328116*c_1001_6^10 + 2402909200147516827790591244241201776077852962061749/17260429347545\ 69771605022769655482041390320164058*c_1001_6^9 - 3621452797826187552089926385966440902813911530380005/34520858695091\ 39543210045539310964082780640328116*c_1001_6^8 + 542863709582183534791459863695674136911580172605974/863021467377284\ 885802511384827741020695160082029*c_1001_6^7 - 1244621555965403228042803775501747050457141288607655/34520858695091\ 39543210045539310964082780640328116*c_1001_6^6 + 138563076777575619269564468415447262799207659900113/863021467377284\ 885802511384827741020695160082029*c_1001_6^5 - 111836380259321441623870865036689087987033612966017/172604293475456\ 9771605022769655482041390320164058*c_1001_6^4 + 68231810550867920882044575169785401887653577345973/3452085869509139\ 543210045539310964082780640328116*c_1001_6^3 - 8318438698169882722997209224998089296075220692869/17260429347545697\ 71605022769655482041390320164058*c_1001_6^2 - 3468933207603324541433755596414753852493729662805/34520858695091395\ 43210045539310964082780640328116*c_1001_6 - 1236101037735997242092069406872930835006198157023/34520858695091395\ 43210045539310964082780640328116, c_1001_0 + 322907041221371950111017895745910054460709163323/34520858695\ 09139543210045539310964082780640328116*c_1001_6^30 + 633125080120361079791472349893752560781162475343/345208586950913954\ 3210045539310964082780640328116*c_1001_6^29 + 6994333402326975803460252083825764855167434698635/34520858695091395\ 43210045539310964082780640328116*c_1001_6^28 + 7378519649292644853712178679949691766392879048035/17260429347545697\ 71605022769655482041390320164058*c_1001_6^27 + 17014440856254280558580543492793755738687495525169/8630214673772848\ 85802511384827741020695160082029*c_1001_6^26 + 67074874311671872377984944861072415102984203177689/1726042934754569\ 771605022769655482041390320164058*c_1001_6^25 + 365870413060062385487987692948355780336079161240191/345208586950913\ 9543210045539310964082780640328116*c_1001_6^24 + 329680377612825217277477819593209849851469067417293/172604293475456\ 9771605022769655482041390320164058*c_1001_6^23 + 1265948816384951746218907321137877126135298372909923/34520858695091\ 39543210045539310964082780640328116*c_1001_6^22 + 1975328806747646952353794297881068947301982263252053/34520858695091\ 39543210045539310964082780640328116*c_1001_6^21 + 3051072321942737469609702885138501914413567927636985/34520858695091\ 39543210045539310964082780640328116*c_1001_6^20 + 1873732191537120390299187147869469594302199675952665/17260429347545\ 69771605022769655482041390320164058*c_1001_6^19 + 2752628647603173413158479666508128243550935108936277/17260429347545\ 69771605022769655482041390320164058*c_1001_6^18 + 4294068566492434320282784168641429431356272875121225/34520858695091\ 39543210045539310964082780640328116*c_1001_6^17 + 8052150185566088266476663737157603882721442101788317/34520858695091\ 39543210045539310964082780640328116*c_1001_6^16 + 1078454757451439145117488792262296768094418808829137/17260429347545\ 69771605022769655482041390320164058*c_1001_6^15 + 2491019974335820268294259079548020618465694250116449/86302146737728\ 4885802511384827741020695160082029*c_1001_6^14 - 683521767091263103397081370567412477676134667308635/172604293475456\ 9771605022769655482041390320164058*c_1001_6^13 + 10003038544588548206324951316577828832461420052212187/3452085869509\ 139543210045539310964082780640328116*c_1001_6^12 - 1598316122787022229855914250828853704256594299748911/17260429347545\ 69771605022769655482041390320164058*c_1001_6^11 + 7367184596646157404387670264148502118006363722021601/34520858695091\ 39543210045539310964082780640328116*c_1001_6^10 - 1188584139957910135070149160690327331705747965609369/17260429347545\ 69771605022769655482041390320164058*c_1001_6^9 + 3614855291831943035306247536336557736325251851272723/34520858695091\ 39543210045539310964082780640328116*c_1001_6^8 - 204797165639765522404080173782303772798139867575688/863021467377284\ 885802511384827741020695160082029*c_1001_6^7 + 1115384491388470909789375529073883387224730819083609/34520858695091\ 39543210045539310964082780640328116*c_1001_6^6 - 17616747158883243192977582226260303168394855580618/8630214673772848\ 85802511384827741020695160082029*c_1001_6^5 + 107158148617213047695233101525348608071467449797219/172604293475456\ 9771605022769655482041390320164058*c_1001_6^4 + 34982109397246550522346140553412739694591931366409/3452085869509139\ 543210045539310964082780640328116*c_1001_6^3 + 9343375700901588116931346216628547596697478288401/17260429347545697\ 71605022769655482041390320164058*c_1001_6^2 + 10787280150812463237009522669594263991743887640451/3452085869509139\ 543210045539310964082780640328116*c_1001_6 - 227843008320225521451023683518929196990123906747/345208586950913954\ 3210045539310964082780640328116, c_1001_1 + 7834330374066184693776994690384571898885278271/5659157163129\ 7369560820418677228919389846562756*c_1001_6^30 + 8861634927618952090064270738455946387376545407/56591571631297369560\ 820418677228919389846562756*c_1001_6^29 + 158971260541786733458093899460143956128825421939/565915716312973695\ 60820418677228919389846562756*c_1001_6^28 + 110321981850126813720435067391442023629331052319/282957858156486847\ 80410209338614459694923281378*c_1001_6^27 + 349205220870419301104834732077731172241767862765/141478929078243423\ 90205104669307229847461640689*c_1001_6^26 + 982859673772092807444067188203416093442489997629/282957858156486847\ 80410209338614459694923281378*c_1001_6^25 + 6578241991169072553608088918949953399442365161363/56591571631297369\ 560820418677228919389846562756*c_1001_6^24 + 4685475166682973569504649581246653523925143198259/28295785815648684\ 780410209338614459694923281378*c_1001_6^23 + 19536675176837299312965204027679618792008907375847/5659157163129736\ 9560820418677228919389846562756*c_1001_6^22 + 26097930211500794943211002362376517298394325149845/5659157163129736\ 9560820418677228919389846562756*c_1001_6^21 + 41369977361290462451176745649112167328473695089149/5659157163129736\ 9560820418677228919389846562756*c_1001_6^20 + 20252434864047547886625957257727491177494387623093/2829578581564868\ 4780410209338614459694923281378*c_1001_6^19 + 37649184689641706302716635824580354726228316956273/2829578581564868\ 4780410209338614459694923281378*c_1001_6^18 + 14201575279171696934154158909025040789329131405997/5659157163129736\ 9560820418677228919389846562756*c_1001_6^17 + 140909932694667333484351605716519919255470135091837/565915716312973\ 69560820418677228919389846562756*c_1001_6^16 - 43292408312552599435681368546905542602282876983685/2829578581564868\ 4780410209338614459694923281378*c_1001_6^15 + 61964584628704747263553225135829109301563320584657/1414789290782434\ 2390205104669307229847461640689*c_1001_6^14 - 112394821490684554890025469300932552271036828165129/282957858156486\ 84780410209338614459694923281378*c_1001_6^13 + 334587522154250715330000375736687647027089954600027/565915716312973\ 69560820418677228919389846562756*c_1001_6^12 - 146224833267462477147881157563642343037596665608411/282957858156486\ 84780410209338614459694923281378*c_1001_6^11 + 308699698845144177220549571785691600148191945069869/565915716312973\ 69560820418677228919389846562756*c_1001_6^10 - 114921973509315193132010322353183071009230580913579/282957858156486\ 84780410209338614459694923281378*c_1001_6^9 + 182864860015890099247384428733786607449513082810707/565915716312973\ 69560820418677228919389846562756*c_1001_6^8 - 27208728562908703475966281085477882813943659815373/1414789290782434\ 2390205104669307229847461640689*c_1001_6^7 + 65586396259902761669275019726424533921042257342533/5659157163129736\ 9560820418677228919389846562756*c_1001_6^6 - 7267455642818986065228666301697314993089588261336/14147892907824342\ 390205104669307229847461640689*c_1001_6^5 + 6472500651061071764742365995343978578005012313777/28295785815648684\ 780410209338614459694923281378*c_1001_6^4 - 3687356740087545804343614603472263441792650441675/56591571631297369\ 560820418677228919389846562756*c_1001_6^3 + 437845571054477245528025549309676173016661533675/282957858156486847\ 80410209338614459694923281378*c_1001_6^2 + 38254702083863596986329813897340241598615492875/5659157163129736956\ 0820418677228919389846562756*c_1001_6 - 107708322158294075843149867637580697914077975487/565915716312973695\ 60820418677228919389846562756, c_1001_12 - 634129739509378125015699091223182180792587547413/3452085869\ 509139543210045539310964082780640328116*c_1001_6^30 - 1265174003078019905418848075564182345101914680237/34520858695091395\ 43210045539310964082780640328116*c_1001_6^29 - 13927254819371856716889216845928406656578172565473/3452085869509139\ 543210045539310964082780640328116*c_1001_6^28 - 14812160534704302299770819218654884653289024051211/1726042934754569\ 771605022769655482041390320164058*c_1001_6^27 - 34393135973239873505030547540076899861349996517945/8630214673772848\ 85802511384827741020695160082029*c_1001_6^26 - 136066170974410626653446173052636322842116303991083/172604293475456\ 9771605022769655482041390320164058*c_1001_6^25 - 752020325282186708497773077852437050657586542885373/345208586950913\ 9543210045539310964082780640328116*c_1001_6^24 - 676721780686641377169406238405406488647069005430089/172604293475456\ 9771605022769655482041390320164058*c_1001_6^23 - 2635822957753714524567697218937362032314060120288261/34520858695091\ 39543210045539310964082780640328116*c_1001_6^22 - 4108188222434238426880958770342093550197803631344039/34520858695091\ 39543210045539310964082780640328116*c_1001_6^21 - 6393056145452955165264861351177065202447585988173643/34520858695091\ 39543210045539310964082780640328116*c_1001_6^20 - 3942882079433667415677450675788748879870984519009011/17260429347545\ 69771605022769655482041390320164058*c_1001_6^19 - 5753253799586874292017943862804664680195867677008489/17260429347545\ 69771605022769655482041390320164058*c_1001_6^18 - 9056228435239609235622722286430957522620842669156503/34520858695091\ 39543210045539310964082780640328116*c_1001_6^17 - 16739566183502422052342614689615174645718109556269571/3452085869509\ 139543210045539310964082780640328116*c_1001_6^16 - 2077664658020611435110927788426691234283659975933447/17260429347545\ 69771605022769655482041390320164058*c_1001_6^15 - 5252293976196613691189747741016673376775868945336504/86302146737728\ 4885802511384827741020695160082029*c_1001_6^14 + 2178720621403248232208670562998656173142520968153779/17260429347545\ 69771605022769655482041390320164058*c_1001_6^13 - 22227818311564460635251034575499578363031900012021089/3452085869509\ 139543210045539310964082780640328116*c_1001_6^12 + 4712763070737838572036056943410341991755311797642607/17260429347545\ 69771605022769655482041390320164058*c_1001_6^11 - 17936197956724572493313333092410445943050464441722995/3452085869509\ 139543210045539310964082780640328116*c_1001_6^10 + 3970932082495576487927061400269219656138914714402299/17260429347545\ 69771605022769655482041390320164058*c_1001_6^9 - 9942887723512953075288067780696397908753870035466377/34520858695091\ 39543210045539310964082780640328116*c_1001_6^8 + 913926456667609340405989450616429138752394421711647/863021467377284\ 885802511384827741020695160082029*c_1001_6^7 - 3502466189291058285691486903680785012144640910742915/34520858695091\ 39543210045539310964082780640328116*c_1001_6^6 + 214912852811270290626784071130684809895959695225813/863021467377284\ 885802511384827741020695160082029*c_1001_6^5 - 374474944270239682813692527015538665572901181651477/172604293475456\ 9771605022769655482041390320164058*c_1001_6^4 + 43435721497892298862843107994390172734411024838921/3452085869509139\ 543210045539310964082780640328116*c_1001_6^3 - 41929225421698683468560639047595695888177966983485/1726042934754569\ 771605022769655482041390320164058*c_1001_6^2 - 19732324260275084407338026858087441207285415877449/3452085869509139\ 543210045539310964082780640328116*c_1001_6 + 1622148952391583186492009689926190854949383842265/34520858695091395\ 43210045539310964082780640328116, c_1001_3 - 612144456466057720201729589324960325360035416071/34520858695\ 09139543210045539310964082780640328116*c_1001_6^30 - 1254260573297261040714339538698140016970196106535/34520858695091395\ 43210045539310964082780640328116*c_1001_6^29 - 13633350145925322907994795926531908992541237025555/3452085869509139\ 543210045539310964082780640328116*c_1001_6^28 - 14790756499722722409673127590600453322669041508565/1726042934754569\ 771605022769655482041390320164058*c_1001_6^27 - 34222413168074732589281523465207088240343283658091/8630214673772848\ 85802511384827741020695160082029*c_1001_6^26 - 137736514448143088976933495138427436822713120210265/172604293475456\ 9771605022769655482041390320164058*c_1001_6^25 - 763439897478385399348050180558462940612703770513691/345208586950913\ 9543210045539310964082780640328116*c_1001_6^24 - 695878736145158373402397740946436589179860565596955/172604293475456\ 9771605022769655482041390320164058*c_1001_6^23 - 2727644897349622700307492452940880209877969645051251/34520858695091\ 39543210045539310964082780640328116*c_1001_6^22 - 4298351192981292290539058602413712190036618412301853/34520858695091\ 39543210045539310964082780640328116*c_1001_6^21 - 6721262547811809364692681640106287418462654323218349/34520858695091\ 39543210045539310964082780640328116*c_1001_6^20 - 4210803698255660777299623028499405862167741309440023/17260429347545\ 69771605022769655482041390320164058*c_1001_6^19 - 6088161204728348255772402703457851675977336291451935/17260429347545\ 69771605022769655482041390320164058*c_1001_6^18 - 9993037617489774349314397680942705942101291696374945/34520858695091\ 39543210045539310964082780640328116*c_1001_6^17 - 17568416667112997381742973643954148128648028241177901/3452085869509\ 139543210045539310964082780640328116*c_1001_6^16 - 2608221933156946694835600776964890416283736881491973/17260429347545\ 69771605022769655482041390320164058*c_1001_6^15 - 5416321742980097725007106468682800950521633042214074/86302146737728\ 4885802511384827741020695160082029*c_1001_6^14 + 1757935148759570393724617891293080146719927917785803/17260429347545\ 69771605022769655482041390320164058*c_1001_6^13 - 22635835756320220842504757495766961587869758428223023/3452085869509\ 139543210045539310964082780640328116*c_1001_6^12 + 4444581234520969578672783142899633132463176716826735/17260429347545\ 69771605022769655482041390320164058*c_1001_6^11 - 18195424840052854161366531014393947312831319154126361/3452085869509\ 139543210045539310964082780640328116*c_1001_6^10 + 3820919668624243935391014077070434080121379015422921/17260429347545\ 69771605022769655482041390320164058*c_1001_6^9 - 10063784742335217136629681774945128011093500638195183/3452085869509\ 139543210045539310964082780640328116*c_1001_6^8 + 880029504657061451172918303939161507181189587840185/863021467377284\ 885802511384827741020695160082029*c_1001_6^7 - 3530607457964546985430403183847459477559268256395777/34520858695091\ 39543210045539310964082780640328116*c_1001_6^6 + 201701396053786018237181045926224052002107156092293/863021467377284\ 885802511384827741020695160082029*c_1001_6^5 - 378822038790308857758329772533704292314046225423787/172604293475456\ 9771605022769655482041390320164058*c_1001_6^4 + 26981652396808925966660431106201729710750388352019/3452085869509139\ 543210045539310964082780640328116*c_1001_6^3 - 43269005195080894539659761777121899548784587012151/1726042934754569\ 771605022769655482041390320164058*c_1001_6^2 - 18797272762587654737025279373016570827464671298055/3452085869509139\ 543210045539310964082780640328116*c_1001_6 + 1639431610434345966372326608376342673059253265355/34520858695091395\ 43210045539310964082780640328116, c_1001_6^31 + 2*c_1001_6^30 + 22*c_1001_6^29 + 47*c_1001_6^28 + 218*c_1001_6^27 + 434*c_1001_6^26 + 1199*c_1001_6^25 + 2175*c_1001_6^24 + 4243*c_1001_6^23 + 6672*c_1001_6^22 + 10426*c_1001_6^21 + 13025*c_1001_6^20 + 19020*c_1001_6^19 + 15501*c_1001_6^18 + 27830*c_1001_6^17 + 8373*c_1001_6^16 + 34558*c_1001_6^15 - 4726*c_1001_6^14 + 35695*c_1001_6^13 - 12685*c_1001_6^12 + 28009*c_1001_6^11 - 10659*c_1001_6^10 + 15103*c_1001_6^9 - 4599*c_1001_6^8 + 5183*c_1001_6^7 - 889*c_1001_6^6 + 1086*c_1001_6^5 + 45*c_1001_6^4 + 121*c_1001_6^3 + 47*c_1001_6^2 - 1, c_1001_9 + 1 ], Ideal of Polynomial ring of rank 18 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_13, c_0011_15, c_0011_3, c_0101_1, c_0101_10, c_0101_11, c_0101_13, c_0101_6, c_1001_0, c_1001_1, c_1001_12, c_1001_3, c_1001_6, c_1001_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 38 Groebner basis: [ t - 178016234248049714274890821893702059365784069805431962339/394911619\ 5999058987775370963314786716628950964170880*c_1001_9^37 + 1848455038505593561265265244405648617025232855782807749159/15796464\ 78399623595110148385325914686651580385668352*c_1001_9^36 - 54834159466296783669332850476458638665989892892020963767447/3949116\ 195999058987775370963314786716628950964170880*c_1001_9^35 + 398080201555121214798005779016380827466325823867434721299677/394911\ 6195999058987775370963314786716628950964170880*c_1001_9^34 - 802230691016577368626390687343930774522282425805234483877351/157964\ 6478399623595110148385325914686651580385668352*c_1001_9^33 + 759022587004189682103026075038267878425743146143473803282105/394911\ 619599905898777537096331478671662895096417088*c_1001_9^32 - 23033078462411488640007519119604277493430023072752646411996227/3949\ 116195999058987775370963314786716628950964170880*c_1001_9^31 + 23768653265739753154664203001853916941021506778989503790394439/1579\ 646478399623595110148385325914686651580385668352*c_1001_9^30 - 271100484371661693597367286034743211947553617139368429746997117/789\ 8232391998117975550741926629573433257901928341760*c_1001_9^29 + 547533971040243287301036914082880705834743793386071250087726979/789\ 8232391998117975550741926629573433257901928341760*c_1001_9^28 - 188152250423972197439219661153151236888110974338378364363131353/157\ 9646478399623595110148385325914686651580385668352*c_1001_9^27 + 1254237186629023128743788150247980447864817888576149188526119729/78\ 98232391998117975550741926629573433257901928341760*c_1001_9^26 - 893247161367744571664848067803820856668047387485655436085131833/789\ 8232391998117975550741926629573433257901928341760*c_1001_9^25 - 1449944169151911037429365954050206091126139703587722038095770113/78\ 98232391998117975550741926629573433257901928341760*c_1001_9^24 + 1629600922897145336226074899195041628608688409576404536959183747/15\ 79646478399623595110148385325914686651580385668352*c_1001_9^23 - 1307779358164295946717035068694488790969085342541826945273625319/46\ 4601905411653998561808348625269025485758936961280*c_1001_9^22 + 44933594517590859330275764578699716202195433651062550322974912441/7\ 898232391998117975550741926629573433257901928341760*c_1001_9^21 - 14386388479056300308879513503543506833237786665784175314956252833/1\ 579646478399623595110148385325914686651580385668352*c_1001_9^20 + 92754564258648015740651340727832690772332365723964319690661322607/7\ 898232391998117975550741926629573433257901928341760*c_1001_9^19 - 19359286136292660779994926610070419758904468422888094448572929521/1\ 579646478399623595110148385325914686651580385668352*c_1001_9^18 + 7434249414835089230911714215049144484373606706724912368911092429/71\ 8021126545283452322794720602688493932536538940160*c_1001_9^17 - 3279057309171454742059322845942543165839101837426554866585834297/46\ 4601905411653998561808348625269025485758936961280*c_1001_9^16 + 30323246449072791921478588843780431291083622502632195185892942533/7\ 898232391998117975550741926629573433257901928341760*c_1001_9^15 - 12660573314407631301735723460190695752074471843289997950206469307/7\ 898232391998117975550741926629573433257901928341760*c_1001_9^14 + 3363000326675734565483893845342529237661743389768474672472974283/78\ 98232391998117975550741926629573433257901928341760*c_1001_9^13 + 342621229270169460490836478012950150724716281740664798596464679/789\ 8232391998117975550741926629573433257901928341760*c_1001_9^12 - 252369198606098332943290262495681750728257149958358424005087801/157\ 9646478399623595110148385325914686651580385668352*c_1001_9^11 + 220675753725001440916447309480360814404643401512466581592383869/157\ 9646478399623595110148385325914686651580385668352*c_1001_9^10 - 696214465030674169921291336921357394170875692779271798048009073/789\ 8232391998117975550741926629573433257901928341760*c_1001_9^9 + 363570396801081013465104604609478892315221345058892386296712187/789\ 8232391998117975550741926629573433257901928341760*c_1001_9^8 - 166219985155720000406918069531504921909262094628778326600440461/789\ 8232391998117975550741926629573433257901928341760*c_1001_9^7 + 6146894684142384023678750571283920266080947949166149532780727/71802\ 1126545283452322794720602688493932536538940160*c_1001_9^6 - 457822110995236797488618156091644088131504629366531718818391/151889\ 084461502268760591190896722566024190421698880*c_1001_9^5 + 3423849029225372431108807162686521710650505781373810494908813/39491\ 16195999058987775370963314786716628950964170880*c_1001_9^4 - 1500668045303599138578188094354413960785652046639301193984963/78982\ 32391998117975550741926629573433257901928341760*c_1001_9^3 + 28817449788584529030081867748215563643464514991670043197893/9872790\ 48999764746943842740828696679157237741042720*c_1001_9^2 - 5458733050389026113830195944993932235233219235114043882847/19745580\ 97999529493887685481657393358314475482085440*c_1001_9 + 55776940678002390326516575216311508072760491717571576759/4646019054\ 11653998561808348625269025485758936961280, c_0011_0 - 1, c_0011_10 + 62610924470281373207604484596876925016212790/94625982125993\ 21980758905754515620079854769*c_1001_9^37 - 1634768035959290011332725532423596864686564079/94625982125993219807\ 58905754515620079854769*c_1001_9^36 + 19523949505135226535899181616216026572784995512/9462598212599321980\ 758905754515620079854769*c_1001_9^35 - 142733490815879252016466318269225236400539384388/946259821259932198\ 0758905754515620079854769*c_1001_9^34 + 724315485920256889887199559841908260841690568486/946259821259932198\ 0758905754515620079854769*c_1001_9^33 - 2760228450423919280067239601589448194647903085038/94625982125993219\ 80758905754515620079854769*c_1001_9^32 + 8425403212573644877340169657369023652430668392918/94625982125993219\ 80758905754515620079854769*c_1001_9^31 - 21829848948879061911081515104142636918404687062180/9462598212599321\ 980758905754515620079854769*c_1001_9^30 + 4541718978905915433931583510678162767520633842629/86023620114539290\ 7341718704955965461804979*c_1001_9^29 - 101277837349129851860667198144988724196506325140974/946259821259932\ 1980758905754515620079854769*c_1001_9^28 + 175021396050062703528521347542337349996591184491616/946259821259932\ 1980758905754515620079854769*c_1001_9^27 - 21428458315982119544796455751045228522760780720806/8602362011453929\ 07341718704955965461804979*c_1001_9^26 + 173960506379134928850580183881403421507063010264322/946259821259932\ 1980758905754515620079854769*c_1001_9^25 + 251931142991999128945428740670180007068751215457013/946259821259932\ 1980758905754515620079854769*c_1001_9^24 - 87215905117471719139319454146319565123974002803262/5566234242705483\ 51809347397324448239991457*c_1001_9^23 + 4090590710265080270857055588264487884147628004247170/94625982125993\ 21980758905754515620079854769*c_1001_9^22 - 8330824354275364492340898025472019724063751822930621/94625982125993\ 21980758905754515620079854769*c_1001_9^21 + 789812183804384358866773948482105166010262477492885/556623424270548\ 351809347397324448239991457*c_1001_9^20 - 17414298231812343432789503146509040866800754712527362/9462598212599\ 321980758905754515620079854769*c_1001_9^19 + 18248705937303321763881767777265214217757635448854834/9462598212599\ 321980758905754515620079854769*c_1001_9^18 - 15441255680421658831739450293304640557836790106761207/9462598212599\ 321980758905754515620079854769*c_1001_9^17 + 10503862224542601746127883110981981069132244487543698/9462598212599\ 321980758905754515620079854769*c_1001_9^16 - 5674844867115982144683177945311880494207375069937298/94625982125993\ 21980758905754515620079854769*c_1001_9^15 + 2337774416716484892205639821206329514813380655417636/94625982125993\ 21980758905754515620079854769*c_1001_9^14 - 601137085800206634999355804752767366657698725354884/946259821259932\ 1980758905754515620079854769*c_1001_9^13 - 79892856082924048857888456602485692233734535833531/9462598212599321\ 980758905754515620079854769*c_1001_9^12 + 22130282811206761057454211791596798730947611588176/8602362011453929\ 07341718704955965461804979*c_1001_9^11 - 209252841599953205469552243907517476787734225209822/946259821259932\ 1980758905754515620079854769*c_1001_9^10 + 130685057520396359993791802086834582482666905776893/946259821259932\ 1980758905754515620079854769*c_1001_9^9 - 361526757979435508825328717432424381696723219515/506021294791407592\ 55395217938586203635587*c_1001_9^8 + 30688677088579810752436556334140275946538205227442/9462598212599321\ 980758905754515620079854769*c_1001_9^7 - 12411626123970380281670464225052871403628154031208/9462598212599321\ 980758905754515620079854769*c_1001_9^6 + 4325056785504079452114871756442776282844677898494/94625982125993219\ 80758905754515620079854769*c_1001_9^5 - 1217782467307077898335167589546743365652610365813/94625982125993219\ 80758905754515620079854769*c_1001_9^4 + 257197929239374531240815675625858729880360916244/946259821259932198\ 0758905754515620079854769*c_1001_9^3 - 37305298295952629109834528995539803182227716884/9462598212599321980\ 758905754515620079854769*c_1001_9^2 + 3266607645854830275054814585353922702927814503/94625982125993219807\ 58905754515620079854769*c_1001_9 - 135328568986787178973012900916401479569309859/946259821259932198075\ 8905754515620079854769, c_0011_11 - 229511434704224015800712259353889122803033542/9462598212599\ 321980758905754515620079854769*c_1001_9^37 + 6125248896464375582508065379845526008614903517/94625982125993219807\ 58905754515620079854769*c_1001_9^36 - 74883910561992027383287231722067422468740713385/9462598212599321980\ 758905754515620079854769*c_1001_9^35 + 560837405617410841655346381939595164514485904357/946259821259932198\ 0758905754515620079854769*c_1001_9^34 - 2914708442000412357800261780486572402523083597724/94625982125993219\ 80758905754515620079854769*c_1001_9^33 + 11355154468851616288309871918226207695087438469419/9462598212599321\ 980758905754515620079854769*c_1001_9^32 - 35304853542013236499455311395329588048797273228527/9462598212599321\ 980758905754515620079854769*c_1001_9^31 + 92736110760813899752492225763387047902486969877759/9462598212599321\ 980758905754515620079854769*c_1001_9^30 - 214531562980251369954452645287749621936218248305629/946259821259932\ 1980758905754515620079854769*c_1001_9^29 + 440287667143392473837083497016560685046654706156208/946259821259932\ 1980758905754515620079854769*c_1001_9^28 - 774968669416886937773235762155282751356541828448700/946259821259932\ 1980758905754515620079854769*c_1001_9^27 + 1077360260916111895038811397248689394892792465755595/94625982125993\ 21980758905754515620079854769*c_1001_9^26 - 883508843720714306290904508326044591712624531862637/946259821259932\ 1980758905754515620079854769*c_1001_9^25 - 77379346526346569845787180738642742358624529681413/8602362011453929\ 07341718704955965461804979*c_1001_9^24 + 6067814691948268912370800851761764657127326417596007/94625982125993\ 21980758905754515620079854769*c_1001_9^23 - 17414411650616061231121084413186534389102081317776446/9462598212599\ 321980758905754515620079854769*c_1001_9^22 + 36386013013293813938715974522641041631692088066298460/9462598212599\ 321980758905754515620079854769*c_1001_9^21 - 59994670426665941475490817396525262810405096379253923/9462598212599\ 321980758905754515620079854769*c_1001_9^20 + 79521390731012073265486351739052901740772421583244643/9462598212599\ 321980758905754515620079854769*c_1001_9^19 - 5004964339754077984649512331820936948008963261264985/55662342427054\ 8351809347397324448239991457*c_1001_9^18 + 73434017242944066627970454523763559494654284627080329/9462598212599\ 321980758905754515620079854769*c_1001_9^17 - 50903305487610421667084207559930554907740383460407930/9462598212599\ 321980758905754515620079854769*c_1001_9^16 + 2547272543684659391674906853815914238016048811716382/86023620114539\ 2907341718704955965461804979*c_1001_9^15 - 11806377216201047782344359634604774375388701480211685/9462598212599\ 321980758905754515620079854769*c_1001_9^14 + 3200392226394300119345419841942963856114360716265863/94625982125993\ 21980758905754515620079854769*c_1001_9^13 + 248267203399149482646001566026571554926114618238207/946259821259932\ 1980758905754515620079854769*c_1001_9^12 - 1126555414018827477945929890847537573640455352853943/94625982125993\ 21980758905754515620079854769*c_1001_9^11 + 1003081712784494737217766314035630194507957797740240/94625982125993\ 21980758905754515620079854769*c_1001_9^10 - 637068971098683948204558372106602847209725211718120/946259821259932\ 1980758905754515620079854769*c_1001_9^9 + 332913363839419273196847742188312263082855401089655/946259821259932\ 1980758905754515620079854769*c_1001_9^8 - 152219285763660489971212508432398464663910947057263/946259821259932\ 1980758905754515620079854769*c_1001_9^7 + 62079643010491586576933769371358818667519787777261/9462598212599321\ 980758905754515620079854769*c_1001_9^6 - 21882218853727034607105208579775837635925435494446/9462598212599321\ 980758905754515620079854769*c_1001_9^5 + 6243797626557734587170045051645675599585825137758/94625982125993219\ 80758905754515620079854769*c_1001_9^4 - 121430817379420493107263654065005046273083995328/860236201145392907\ 341718704955965461804979*c_1001_9^3 + 195856114688049102220615164343152456672220814280/946259821259932198\ 0758905754515620079854769*c_1001_9^2 - 17144873348733776570986957680499509643911612305/9462598212599321980\ 758905754515620079854769*c_1001_9 + 28194986231138792256757695080160223656991570/4114173135912748687286\ 48076283287829558903, c_0011_13 + c_1001_9 - 1, c_0011_15 - 80729057886318438072740286017850771001880208/94625982125993\ 21980758905754515620079854769*c_1001_9^37 + 1966805068009516545015634689024519338907406400/94625982125993219807\ 58905754515620079854769*c_1001_9^36 - 21543483694418338203278256831954545683551873524/9462598212599321980\ 758905754515620079854769*c_1001_9^35 + 141428589860019410398136413096476387462530285500/946259821259932198\ 0758905754515620079854769*c_1001_9^34 - 628862279871947760797051188504446094263394813870/946259821259932198\ 0758905754515620079854769*c_1001_9^33 + 2048235784346623893988394514549505929515892134919/94625982125993219\ 80758905754515620079854769*c_1001_9^32 - 5259434380542057397491701504509379132549534319194/94625982125993219\ 80758905754515620079854769*c_1001_9^31 + 11497706515848007494641788316681616156461340463816/9462598212599321\ 980758905754515620079854769*c_1001_9^30 - 2027254455844183357006040125798303903588406613264/86023620114539290\ 7341718704955965461804979*c_1001_9^29 + 36157936963137766868282114033287585101601907846337/9462598212599321\ 980758905754515620079854769*c_1001_9^28 - 38592807218288163551885144261295105458630047702896/9462598212599321\ 980758905754515620079854769*c_1001_9^27 - 714267143296694124530249414639627199731708557166/860236201145392907\ 341718704955965461804979*c_1001_9^26 + 166204150887316890248187335825343283817925402326285/946259821259932\ 1980758905754515620079854769*c_1001_9^25 - 533519545289616242938964604402977377779584391892994/946259821259932\ 1980758905754515620079854769*c_1001_9^24 + 1226197263117076158467947239699841786812366636543428/94625982125993\ 21980758905754515620079854769*c_1001_9^23 - 2187533582407191173771280339024930453603347288786200/94625982125993\ 21980758905754515620079854769*c_1001_9^22 + 2813018195586560154786302238229475760631020831569305/94625982125993\ 21980758905754515620079854769*c_1001_9^21 - 116071144919615996198985116880590420231019598038155/556623424270548\ 351809347397324448239991457*c_1001_9^20 - 979003307965410002370242425648649798716191996622576/946259821259932\ 1980758905754515620079854769*c_1001_9^19 + 5021121050257445143114880016168219558713818347885600/94625982125993\ 21980758905754515620079854769*c_1001_9^18 - 7857909713935189986707974142010430202241163367753079/94625982125993\ 21980758905754515620079854769*c_1001_9^17 + 7944190724711189688393460312164768961769910917681356/94625982125993\ 21980758905754515620079854769*c_1001_9^16 - 5809159739466123850160830795408801110640741705002892/94625982125993\ 21980758905754515620079854769*c_1001_9^15 + 3183488924133652715642521902066662227143185330135402/94625982125993\ 21980758905754515620079854769*c_1001_9^14 - 1304570667406613755785187803247373049838688345879554/94625982125993\ 21980758905754515620079854769*c_1001_9^13 + 346898836111512620732560104406534341618267351496823/946259821259932\ 1980758905754515620079854769*c_1001_9^12 + 2596893987932741911544289793801332982755310059626/86023620114539290\ 7341718704955965461804979*c_1001_9^11 - 126801916270424132488445643208010073090076416457140/946259821259932\ 1980758905754515620079854769*c_1001_9^10 + 111653492702654681842263361157181752109232639499653/946259821259932\ 1980758905754515620079854769*c_1001_9^9 - 6210149267203017825120391883899937879047675465988/86023620114539290\ 7341718704955965461804979*c_1001_9^8 + 34387813052113019506984534906404169436747547267690/9462598212599321\ 980758905754515620079854769*c_1001_9^7 - 15485653621111868565856155966367504230418361665678/9462598212599321\ 980758905754515620079854769*c_1001_9^6 + 6207664406285362391347589699168300829671498300959/94625982125993219\ 80758905754515620079854769*c_1001_9^5 - 2040241144318359806100469373140955952494055290563/94625982125993219\ 80758905754515620079854769*c_1001_9^4 + 497642646641206392366629102738447960735044500462/946259821259932198\ 0758905754515620079854769*c_1001_9^3 - 81595228013816859977194744496245841857821415582/9462598212599321980\ 758905754515620079854769*c_1001_9^2 + 7875327898251347567294321048175230814876639239/94625982125993219807\ 58905754515620079854769*c_1001_9 - 337324530686839967912071399864098105312964261/946259821259932198075\ 8905754515620079854769, c_0011_3 + 1027335452575218980536115490828649530314921632/9462598212599\ 321980758905754515620079854769*c_1001_9^37 - 26810040380155362437905725317699009702243267540/9462598212599321980\ 758905754515620079854769*c_1001_9^36 + 319992800337505493569675393683338653194804750262/946259821259932198\ 0758905754515620079854769*c_1001_9^35 - 2337662724196614495315963356204886431828862088090/94625982125993219\ 80758905754515620079854769*c_1001_9^34 + 11853056205380316120288027559258023133031331155702/9462598212599321\ 980758905754515620079854769*c_1001_9^33 - 45132077240458014349726578586667674832722599909778/9462598212599321\ 980758905754515620079854769*c_1001_9^32 + 8097666415433108461643287935022481682216218228238/55662342427054835\ 1809347397324448239991457*c_1001_9^31 - 356478971677016356788729303668212667101992027363687/946259821259932\ 1980758905754515620079854769*c_1001_9^30 + 815524581289831958979718864087665671508753366869769/946259821259932\ 1980758905754515620079854769*c_1001_9^29 - 1652599718364241633072512356298014778152722370522192/94625982125993\ 21980758905754515620079854769*c_1001_9^28 + 167887347182222020669255997238240485111939609266739/556623424270548\ 351809347397324448239991457*c_1001_9^27 - 3839506332568775810700704373297360522341980975052822/94625982125993\ 21980758905754515620079854769*c_1001_9^26 + 2823415092198043933179763535679913598780034899269251/94625982125993\ 21980758905754515620079854769*c_1001_9^25 + 376109846653282102121654790273638873181331891787823/860236201145392\ 907341718704955965461804979*c_1001_9^24 - 24230196182656940913876009579120615930721401812863971/9462598212599\ 321980758905754515620079854769*c_1001_9^23 + 66773509139488813089672751880487096434428433893901675/9462598212599\ 321980758905754515620079854769*c_1001_9^22 - 135877730117270193422375114100145930681135322457471918/946259821259\ 9321980758905754515620079854769*c_1001_9^21 + 218838423324835468940398917009284515032444175576120291/946259821259\ 9321980758905754515620079854769*c_1001_9^20 - 283700715091615145983242798657236715779602391571481950/946259821259\ 9321980758905754515620079854769*c_1001_9^19 + 17489408413534186076569942594520258822892382529304755/5566234242705\ 48351809347397324448239991457*c_1001_9^18 - 251829894993633336372918763594938104643410659199233903/946259821259\ 9321980758905754515620079854769*c_1001_9^17 + 171713614359471063258668780050934554643486274667156316/946259821259\ 9321980758905754515620079854769*c_1001_9^16 - 8470567352231872622212429334037558622563728445503025/86023620114539\ 2907341718704955965461804979*c_1001_9^15 + 38678492555890494873480754865723891896122024353494359/9462598212599\ 321980758905754515620079854769*c_1001_9^14 - 10137442045192454428416294416099004698123710052101958/9462598212599\ 321980758905754515620079854769*c_1001_9^13 - 1155028749428397841511334701586660793947001276092287/94625982125993\ 21980758905754515620079854769*c_1001_9^12 + 3921970919022314341135069084355380193060555807629928/94625982125993\ 21980758905754515620079854769*c_1001_9^11 - 3406987011784118164565233060682344470180056453247493/94625982125993\ 21980758905754515620079854769*c_1001_9^10 + 2140328452506601412878697360426349480512629703079615/94625982125993\ 21980758905754515620079854769*c_1001_9^9 - 1112722057752372699482595732481343052502990858976928/94625982125993\ 21980758905754515620079854769*c_1001_9^8 + 507096807366141093546232614196379044483131543937265/946259821259932\ 1980758905754515620079854769*c_1001_9^7 - 205826457647225430029014509208152579787612758042032/946259821259932\ 1980758905754515620079854769*c_1001_9^6 + 72134855889267740024989733271129567708492067590435/9462598212599321\ 980758905754515620079854769*c_1001_9^5 - 20530813415210561374352634457117264238788034224195/9462598212599321\ 980758905754515620079854769*c_1001_9^4 + 401944105723162068109968860737288963566816388075/860236201145392907\ 341718704955965461804979*c_1001_9^3 - 664046692329600484957800437285543430617948413601/946259821259932198\ 0758905754515620079854769*c_1001_9^2 + 61510551418386764014923576620451623726283467718/9462598212599321980\ 758905754515620079854769*c_1001_9 - 2643527626704027930169227315308443038723711439/94625982125993219807\ 58905754515620079854769, c_0101_1 + 1027335452575218980536115490828649530314921632/9462598212599\ 321980758905754515620079854769*c_1001_9^37 - 26810040380155362437905725317699009702243267540/9462598212599321980\ 758905754515620079854769*c_1001_9^36 + 319992800337505493569675393683338653194804750262/946259821259932198\ 0758905754515620079854769*c_1001_9^35 - 2337662724196614495315963356204886431828862088090/94625982125993219\ 80758905754515620079854769*c_1001_9^34 + 11853056205380316120288027559258023133031331155702/9462598212599321\ 980758905754515620079854769*c_1001_9^33 - 45132077240458014349726578586667674832722599909778/9462598212599321\ 980758905754515620079854769*c_1001_9^32 + 8097666415433108461643287935022481682216218228238/55662342427054835\ 1809347397324448239991457*c_1001_9^31 - 356478971677016356788729303668212667101992027363687/946259821259932\ 1980758905754515620079854769*c_1001_9^30 + 815524581289831958979718864087665671508753366869769/946259821259932\ 1980758905754515620079854769*c_1001_9^29 - 1652599718364241633072512356298014778152722370522192/94625982125993\ 21980758905754515620079854769*c_1001_9^28 + 167887347182222020669255997238240485111939609266739/556623424270548\ 351809347397324448239991457*c_1001_9^27 - 3839506332568775810700704373297360522341980975052822/94625982125993\ 21980758905754515620079854769*c_1001_9^26 + 2823415092198043933179763535679913598780034899269251/94625982125993\ 21980758905754515620079854769*c_1001_9^25 + 376109846653282102121654790273638873181331891787823/860236201145392\ 907341718704955965461804979*c_1001_9^24 - 24230196182656940913876009579120615930721401812863971/9462598212599\ 321980758905754515620079854769*c_1001_9^23 + 66773509139488813089672751880487096434428433893901675/9462598212599\ 321980758905754515620079854769*c_1001_9^22 - 135877730117270193422375114100145930681135322457471918/946259821259\ 9321980758905754515620079854769*c_1001_9^21 + 218838423324835468940398917009284515032444175576120291/946259821259\ 9321980758905754515620079854769*c_1001_9^20 - 283700715091615145983242798657236715779602391571481950/946259821259\ 9321980758905754515620079854769*c_1001_9^19 + 17489408413534186076569942594520258822892382529304755/5566234242705\ 48351809347397324448239991457*c_1001_9^18 - 251829894993633336372918763594938104643410659199233903/946259821259\ 9321980758905754515620079854769*c_1001_9^17 + 171713614359471063258668780050934554643486274667156316/946259821259\ 9321980758905754515620079854769*c_1001_9^16 - 8470567352231872622212429334037558622563728445503025/86023620114539\ 2907341718704955965461804979*c_1001_9^15 + 38678492555890494873480754865723891896122024353494359/9462598212599\ 321980758905754515620079854769*c_1001_9^14 - 10137442045192454428416294416099004698123710052101958/9462598212599\ 321980758905754515620079854769*c_1001_9^13 - 1155028749428397841511334701586660793947001276092287/94625982125993\ 21980758905754515620079854769*c_1001_9^12 + 3921970919022314341135069084355380193060555807629928/94625982125993\ 21980758905754515620079854769*c_1001_9^11 - 3406987011784118164565233060682344470180056453247493/94625982125993\ 21980758905754515620079854769*c_1001_9^10 + 2140328452506601412878697360426349480512629703079615/94625982125993\ 21980758905754515620079854769*c_1001_9^9 - 1112722057752372699482595732481343052502990858976928/94625982125993\ 21980758905754515620079854769*c_1001_9^8 + 507096807366141093546232614196379044483131543937265/946259821259932\ 1980758905754515620079854769*c_1001_9^7 - 205826457647225430029014509208152579787612758042032/946259821259932\ 1980758905754515620079854769*c_1001_9^6 + 72134855889267740024989733271129567708492067590435/9462598212599321\ 980758905754515620079854769*c_1001_9^5 - 20530813415210561374352634457117264238788034224195/9462598212599321\ 980758905754515620079854769*c_1001_9^4 + 401944105723162068109968860737288963566816388075/860236201145392907\ 341718704955965461804979*c_1001_9^3 - 664046692329600484957800437285543430617948413601/946259821259932198\ 0758905754515620079854769*c_1001_9^2 + 61510551418386764014923576620451623726283467718/9462598212599321980\ 758905754515620079854769*c_1001_9 - 2643527626704027930169227315308443038723711439/94625982125993219807\ 58905754515620079854769, c_0101_10 - 16370118862165061076929848465163392749631712/86023620114539\ 2907341718704955965461804979*c_1001_9^37 + 4821025336607196021233922975815077383866719622/94625982125993219807\ 58905754515620079854769*c_1001_9^36 - 59137890889857647889594907666823933776260767581/9462598212599321980\ 758905754515620079854769*c_1001_9^35 + 444447375506416074709124873247686500821978432447/946259821259932198\ 0758905754515620079854769*c_1001_9^34 - 2317738431479044157229660458537170741766076372902/94625982125993219\ 80758905754515620079854769*c_1001_9^33 + 9058143440233594283739179731160113357600110415944/94625982125993219\ 80758905754515620079854769*c_1001_9^32 - 28237987732546335532213206108586228885686661553698/9462598212599321\ 980758905754515620079854769*c_1001_9^31 + 74320107378209753425165590091826723949923978348462/9462598212599321\ 980758905754515620079854769*c_1001_9^30 - 172190063978043952323044727311372320874484284416113/946259821259932\ 1980758905754515620079854769*c_1001_9^29 + 353984773668539895916067784267031745324809607187700/946259821259932\ 1980758905754515620079854769*c_1001_9^28 - 27157337199621909752561388479433670046368667228932/4114173135912748\ 68728648076283287829558903*c_1001_9^27 + 872033097407027552717946276884948701512197410474805/946259821259932\ 1980758905754515620079854769*c_1001_9^26 - 724480624469849779270891672413880702693999505537540/946259821259932\ 1980758905754515620079854769*c_1001_9^25 - 657315210224462271889005813753689720890015654433958/946259821259932\ 1980758905754515620079854769*c_1001_9^24 + 284513778235668383423521155890962502956854614998845/556623424270548\ 351809347397324448239991457*c_1001_9^23 - 13960226914243345543063523137738158967214350497131592/9462598212599\ 321980758905754515620079854769*c_1001_9^22 + 1721962176909141026379022509055800529070360843314038/55662342427054\ 8351809347397324448239991457*c_1001_9^21 - 48418624642867123285847324160767198094320370643080017/9462598212599\ 321980758905754515620079854769*c_1001_9^20 + 5851326228187467231215295339589235276392709114462824/86023620114539\ 2907341718704955965461804979*c_1001_9^19 - 69048751628149063237251900803475410399397567538458550/9462598212599\ 321980758905754515620079854769*c_1001_9^18 + 5429842974158093595910774293855420832462407083042541/86023620114539\ 2907341718704955965461804979*c_1001_9^17 - 1803293014937806230015369546476381571159937599270736/41141731359127\ 4868728648076283287829558903*c_1001_9^16 + 22858817621517246187371127769749010641565324816808796/9462598212599\ 321980758905754515620079854769*c_1001_9^15 - 9640647844139381370997511541622310068258941518247729/94625982125993\ 21980758905754515620079854769*c_1001_9^14 + 2618549428222787935191729870961844076701827103528038/94625982125993\ 21980758905754515620079854769*c_1001_9^13 + 196877222416810907813416540141085342336343319821250/946259821259932\ 1980758905754515620079854769*c_1001_9^12 - 915766612838053711135247349825157232809308896748345/946259821259932\ 1980758905754515620079854769*c_1001_9^11 + 816955692091334904716010847638390320389118009270254/946259821259932\ 1980758905754515620079854769*c_1001_9^10 - 519211940284319230832532599632780693744789488731998/946259821259932\ 1980758905754515620079854769*c_1001_9^9 + 271341962102000886435649674355184177959132298519179/946259821259932\ 1980758905754515620079854769*c_1001_9^8 - 124066671346539534404388878168677614268770533363620/946259821259932\ 1980758905754515620079854769*c_1001_9^7 + 50611350419745153403729082848883938792445247364070/9462598212599321\ 980758905754515620079854769*c_1001_9^6 - 17841962333930786624016060067864123768255622262159/9462598212599321\ 980758905754515620079854769*c_1001_9^5 + 5086710708139790749009435205850523443824594305893/94625982125993219\ 80758905754515620079854769*c_1001_9^4 - 1085333968292007042300056451893076923156493517328/94625982125993219\ 80758905754515620079854769*c_1001_9^3 + 158262640255039344243591229851354179599804569818/946259821259932198\ 0758905754515620079854769*c_1001_9^2 - 13725075397943864007276062776212253239622371895/9462598212599321980\ 758905754515620079854769*c_1001_9 + 516416794565968017184528231220105629311953629/946259821259932198075\ 8905754515620079854769, c_0101_11 - 125019994315011950885752217177792095356376852/9462598212599\ 321980758905754515620079854769*c_1001_9^37 + 3248788675015643000581344204686512200350524594/94625982125993219807\ 58905754515620079854769*c_1001_9^36 - 38577787491684832567423511630072205791249427634/9462598212599321980\ 758905754515620079854769*c_1001_9^35 + 280109004409913421185536229423877082954068461639/946259821259932198\ 0758905754515620079854769*c_1001_9^34 - 1410268821530445603905040600639058058374699776669/94625982125993219\ 80758905754515620079854769*c_1001_9^33 + 5327947439594074645438319221867210523260901154385/94625982125993219\ 80758905754515620079854769*c_1001_9^32 - 16122747669082173035572556351007006275975645488556/9462598212599321\ 980758905754515620079854769*c_1001_9^31 + 41452554004385489343882413435126905804239144157910/9462598212599321\ 980758905754515620079854769*c_1001_9^30 - 8567225109730207600990742572171324790870174886922/86023620114539290\ 7341718704955965461804979*c_1001_9^29 + 189651534464273437340271350756871854000741671881669/946259821259932\ 1980758905754515620079854769*c_1001_9^28 - 324073471424540232698501500599634667345592868315814/946259821259932\ 1980758905754515620079854769*c_1001_9^27 + 38818755157893692986683279101196644256324645112024/8602362011453929\ 07341718704955965461804979*c_1001_9^26 - 289346926623956336067052901448053679885615142762001/946259821259932\ 1980758905754515620079854769*c_1001_9^25 - 543477431083687603255400411262374345099980427308294/946259821259932\ 1980758905754515620079854769*c_1001_9^24 + 2890589813609540976470132667985891548748189257565918/94625982125993\ 21980758905754515620079854769*c_1001_9^23 - 7784610201900774432689976411396588012159608989528738/94625982125993\ 21980758905754515620079854769*c_1001_9^22 + 15593429148175580890508202852443993607589379759646327/9462598212599\ 321980758905754515620079854769*c_1001_9^21 - 1453633605543738354325124499548122265494360867415301/55662342427054\ 8351809347397324448239991457*c_1001_9^20 + 31434327543482085049782095748756742842010073938780020/9462598212599\ 321980758905754515620079854769*c_1001_9^19 - 32191749007751683216128800096858607554632925667452124/9462598212599\ 321980758905754515620079854769*c_1001_9^18 + 26504626772966243989048583110453853900739632050939268/9462598212599\ 321980758905754515620079854769*c_1001_9^17 - 1026471343440739036893448240407351863015207495790145/55662342427054\ 8351809347397324448239991457*c_1001_9^16 + 9054567833073008502412261080751307323443040488908276/94625982125993\ 21980758905754515620079854769*c_1001_9^15 - 3519278117890393251242500228818930861684660908494738/94625982125993\ 21980758905754515620079854769*c_1001_9^14 + 773098486090001939855820754004815280247794506450575/946259821259932\ 1980758905754515620079854769*c_1001_9^13 + 241379017907891677244030770294994596040127378377116/946259821259932\ 1980758905754515620079854769*c_1001_9^12 - 40527981854092409324463428342512917350097033822922/8602362011453929\ 07341718704955965461804979*c_1001_9^11 + 356343318196292975054443970922030199391769723124956/946259821259932\ 1980758905754515620079854769*c_1001_9^10 - 213811301900550314768553993368573553347981751253663/946259821259932\ 1980758905754515620079854769*c_1001_9^9 + 9771095243579557015999316824804404552558694649881/86023620114539290\ 7341718704955965461804979*c_1001_9^8 - 47730439293709556001616960218846492667783494480976/9462598212599321\ 980758905754515620079854769*c_1001_9^7 + 18851876280785818556034674115852506476831660380978/9462598212599321\ 980758905754515620079854769*c_1001_9^6 - 6333085014713457019916142962026415239535820393506/94625982125993219\ 80758905754515620079854769*c_1001_9^5 + 1682070564761562551317789281400646766631855688583/94625982125993219\ 80758905754515620079854769*c_1001_9^4 - 324913567472582588252992767402292455998652316487/946259821259932198\ 0758905754515620079854769*c_1001_9^3 + 41020375368424345615842932823136436888200079818/9462598212599321980\ 758905754515620079854769*c_1001_9^2 - 2792898564745422422226665417040758327957850411/94625982125993219807\ 58905754515620079854769*c_1001_9 + 52343472875446723554696408083376155595303910/9462598212599321980758\ 905754515620079854769, c_0101_13 + 430656025925574173578976018432111464930216644/9462598212599\ 321980758905754515620079854769*c_1001_9^37 - 11309941430214955792857427321605078000270045610/9462598212599321980\ 758905754515620079854769*c_1001_9^36 + 135986381426224094039321413738888833169462331192/946259821259932198\ 0758905754515620079854769*c_1001_9^35 - 1001780270633255505315203131352484327033027930348/94625982125993219\ 80758905754515620079854769*c_1001_9^34 + 5126510846590475878580330324862941703941825299164/94625982125993219\ 80758905754515620079854769*c_1001_9^33 - 19708182086808771580381187519976630307475593343223/9462598212599321\ 980758905754515620079854769*c_1001_9^32 + 5514919414866612995283922321061340846957646139426/86023620114539290\ 7341718704955965461804979*c_1001_9^31 - 158309726301976791407417357805951148657599455174015/946259821259932\ 1980758905754515620079854769*c_1001_9^30 + 364508893533593419658854144649705737031123297857936/946259821259932\ 1980758905754515620079854769*c_1001_9^29 - 67627463802189194557719371052135501586709662299683/8602362011453929\ 07341718704955965461804979*c_1001_9^28 + 1298579994307444364883973005458799587444153052001980/94625982125993\ 21980758905754515620079854769*c_1001_9^27 - 104826371345127678309424957173338319888121434231096/556623424270548\ 351809347397324448239991457*c_1001_9^26 + 1405593384423208821112395799304047506670808763393401/94625982125993\ 21980758905754515620079854769*c_1001_9^25 + 1598661314923857348606269373331077818337207391355226/94625982125993\ 21980758905754515620079854769*c_1001_9^24 - 10489712970305189639567690837009041876653575420028977/9462598212599\ 321980758905754515620079854769*c_1001_9^23 + 29611589560745903898703755553594145528083859373818830/9462598212599\ 321980758905754515620079854769*c_1001_9^22 - 61222209567055759305174399236200296038478688810329217/9462598212599\ 321980758905754515620079854769*c_1001_9^21 + 100132327237265906660639511713223491387237932627446990/946259821259\ 9321980758905754515620079854769*c_1001_9^20 - 131996130428086703899655259014951829144935416515322970/946259821259\ 9321980758905754515620079854769*c_1001_9^19 + 140908632806950173372136608136825650180476165953416718/946259821259\ 9321980758905754515620079854769*c_1001_9^18 - 121797637352901458715308613896171050522488011954359125/946259821259\ 9321980758905754515620079854769*c_1001_9^17 + 7719447347831952329632612047730601063471816967550840/86023620114539\ 2907341718704955965461804979*c_1001_9^16 - 47227206366701115808210334118228029209300090450858317/9462598212599\ 321980758905754515620079854769*c_1001_9^15 + 20225618065890726358654203430793114157361344900549768/9462598212599\ 321980758905754515620079854769*c_1001_9^14 - 5678624277240018440086700905577867154352844662991927/94625982125993\ 21980758905754515620079854769*c_1001_9^13 - 23159240511664832848808893426863081970675156727292/8602362011453929\ 07341718704955965461804979*c_1001_9^12 + 1819541938428532272151218994804796102630606851873218/94625982125993\ 21980758905754515620079854769*c_1001_9^11 - 1660331868045187104350889732293797304394178185364202/94625982125993\ 21980758905754515620079854769*c_1001_9^10 + 1068773302048752514849397189177853234101356452680337/94625982125993\ 21980758905754515620079854769*c_1001_9^9 - 564419208993396091768788771262143515077714856783577/946259821259932\ 1980758905754515620079854769*c_1001_9^8 + 1390355495500929052399796010386276639732240963523/50602129479140759\ 255395217938586203635587*c_1001_9^7 - 106749579482004005405731446293162140218657570442759/946259821259932\ 1980758905754515620079854769*c_1001_9^6 + 38067429969762990257452290405671445416784165014921/9462598212599321\ 980758905754515620079854769*c_1001_9^5 - 11091111648392575487813998903239501712745254803361/9462598212599321\ 980758905754515620079854769*c_1001_9^4 + 144166509018543383178780999126022917294921371126/556623424270548351\ 809347397324448239991457*c_1001_9^3 - 376713600909198549058839413160819394126083263450/946259821259932198\ 0758905754515620079854769*c_1001_9^2 + 35406073359940071521773636669565844212068697072/9462598212599321980\ 758905754515620079854769*c_1001_9 - 66189347098908727732620262371582185882824468/4114173135912748687286\ 48076283287829558903, c_0101_6 - 49135688286080717308872148219948397349075574/946259821259932\ 1980758905754515620079854769*c_1001_9^37 + 1154929880069001555109384403215196657065243677/94625982125993219807\ 58905754515620079854769*c_1001_9^36 - 12096166237774646606330645434256134911455286815/9462598212599321980\ 758905754515620079854769*c_1001_9^35 + 75040332421861872220809683734018516762906644758/9462598212599321980\ 758905754515620079854769*c_1001_9^34 - 310459393977312761121253536679216337372162106216/946259821259932198\ 0758905754515620079854769*c_1001_9^33 + 922430886403884822843291573099892985617945381122/946259821259932198\ 0758905754515620079854769*c_1001_9^32 - 2116825180770441577147492247817944052245752207006/94625982125993219\ 80758905754515620079854769*c_1001_9^31 + 4071799849350222866133107832701448347801412909857/94625982125993219\ 80758905754515620079854769*c_1001_9^30 - 6718787792114985193827136792119606007719375240772/94625982125993219\ 80758905754515620079854769*c_1001_9^29 + 7618736166954488073722326754751178630695226349580/94625982125993219\ 80758905754515620079854769*c_1001_9^28 + 2607906768555799956015136017460866406523411699355/94625982125993219\ 80758905754515620079854769*c_1001_9^27 - 41833802834849676796503084765458400500444402077388/9462598212599321\ 980758905754515620079854769*c_1001_9^26 + 132197295728959717476041597367644788299007909841430/946259821259932\ 1980758905754515620079854769*c_1001_9^25 - 298716604026886171569058102780835444952656478286749/946259821259932\ 1980758905754515620079854769*c_1001_9^24 + 546794541184862768041422867448664531313190341912088/946259821259932\ 1980758905754515620079854769*c_1001_9^23 - 742909019507469159975902883285681485684369645059526/946259821259932\ 1980758905754515620079854769*c_1001_9^22 + 27307843217134537792228729108721045322947152994097/5566234242705483\ 51809347397324448239991457*c_1001_9^21 + 75133849735106661760683155978960457983784022072424/8602362011453929\ 07341718704955965461804979*c_1001_9^20 - 184053536099829709346103035083039890232630889773818/556623424270548\ 351809347397324448239991457*c_1001_9^19 + 496617103764480297065204201712774901914086053492707/860236201145392\ 907341718704955965461804979*c_1001_9^18 - 6478651964606292853025936196962164187151704258953440/94625982125993\ 21980758905754515620079854769*c_1001_9^17 + 5671630366430682101096352000913916866946439874470324/94625982125993\ 21980758905754515620079854769*c_1001_9^16 - 3772784528919101404024588728667184367642218636971775/94625982125993\ 21980758905754515620079854769*c_1001_9^15 + 1919468197756688411439071676403683028612044873165578/94625982125993\ 21980758905754515620079854769*c_1001_9^14 - 721995136912313462226380756527130274927351064413778/946259821259932\ 1980758905754515620079854769*c_1001_9^13 + 149452185533354255067852592645818129614864989133417/946259821259932\ 1980758905754515620079854769*c_1001_9^12 + 57685312084248447957950565264019247529602812903906/9462598212599321\ 980758905754515620079854769*c_1001_9^11 - 97788079140030205402657008639442538690994631183858/9462598212599321\ 980758905754515620079854769*c_1001_9^10 + 75924023774424024286590973119727961357957933427749/9462598212599321\ 980758905754515620079854769*c_1001_9^9 - 44051592782154195052522741309993258257912338142636/9462598212599321\ 980758905754515620079854769*c_1001_9^8 + 21591931777694158444289014995124841105232978777386/9462598212599321\ 980758905754515620079854769*c_1001_9^7 - 9473594512211664085353854467622212131813093910417/94625982125993219\ 80758905754515620079854769*c_1001_9^6 + 3660973338116490773608490988630373576403354003835/94625982125993219\ 80758905754515620079854769*c_1001_9^5 - 1157364130765175242708794322910075301846676210816/94625982125993219\ 80758905754515620079854769*c_1001_9^4 + 274088569013602083859202997962076186310718575814/946259821259932198\ 0758905754515620079854769*c_1001_9^3 - 44248423013632183005228701581641968259493297240/9462598212599321980\ 758905754515620079854769*c_1001_9^2 + 4255472853755147286740522596375023357205690419/94625982125993219807\ 58905754515620079854769*c_1001_9 - 17230355063310453984271567170119358211436691/8602362011453929073417\ 18704955965461804979, c_1001_0 + 305696632289232088733343387162413259850350416/94625982125993\ 21980758905754515620079854769*c_1001_9^37 - 7871770369761085104249391717861355889238460352/94625982125993219807\ 58905754515620079854769*c_1001_9^36 + 92444415498956319671262194190843780085339589580/9462598212599321980\ 758905754515620079854769*c_1001_9^35 - 662409835222958043824412530231336539504117849872/946259821259932198\ 0758905754515620079854769*c_1001_9^34 + 3284283174694294406764404889757012143964690361838/94625982125993219\ 80758905754515620079854769*c_1001_9^33 - 12200127602685744972022103662098421540296660287497/9462598212599321\ 980758905754515620079854769*c_1001_9^32 + 36298454246591586087040340011196694518451180271449/9462598212599321\ 980758905754515620079854769*c_1001_9^31 - 91935596715646836002008320946177617582940723950237/9462598212599321\ 980758905754515620079854769*c_1001_9^30 + 18756547183996121002739020265284920769470675066560/8602362011453929\ 07341718704955965461804979*c_1001_9^29 - 409175914725904654114824198103143390095738133069096/946259821259932\ 1980758905754515620079854769*c_1001_9^28 + 40183911791595004419365290552565096412922304334586/5566234242705483\ 51809347397324448239991457*c_1001_9^27 - 78065962463763825811320596970758422847448087495909/8602362011453929\ 07341718704955965461804979*c_1001_9^26 + 467398743098442279767081446829611597488175996017424/946259821259932\ 1980758905754515620079854769*c_1001_9^25 + 1479437993453187737556206885198755773715669494810748/94625982125993\ 21980758905754515620079854769*c_1001_9^24 - 6722047728585612530027585378158411795123540812434807/94625982125993\ 21980758905754515620079854769*c_1001_9^23 + 17315318059723977755408078048516604576449662745642354/9462598212599\ 321980758905754515620079854769*c_1001_9^22 - 33576281870415975467984295542765043206411475958043606/9462598212599\ 321980758905754515620079854769*c_1001_9^21 + 3024569572302498154790295083388865526549128523732350/55662342427054\ 8351809347397324448239991457*c_1001_9^20 - 62800781390790364291992620362099196370457364110351687/9462598212599\ 321980758905754515620079854769*c_1001_9^19 + 61190662685955060209838825012032139524678828944924993/9462598212599\ 321980758905754515620079854769*c_1001_9^18 - 47352739267138079380560686583986658093701076684461526/9462598212599\ 321980758905754515620079854769*c_1001_9^17 + 28806743547565353792197743603932072666008685209140787/9462598212599\ 321980758905754515620079854769*c_1001_9^16 - 13424535258241413432564041496727004713497859705778155/9462598212599\ 321980758905754515620079854769*c_1001_9^15 + 4344039802461390351563966324636495922684206458217066/94625982125993\ 21980758905754515620079854769*c_1001_9^14 - 378694404247613821578043136485646332674215800546352/946259821259932\ 1980758905754515620079854769*c_1001_9^13 - 828751090087772366754022026361229098206585761858722/946259821259932\ 1980758905754515620079854769*c_1001_9^12 + 81750110647786942911867469180800465351732090049327/8602362011453929\ 07341718704955965461804979*c_1001_9^11 - 621994780291661574770231144757180547104869694075585/946259821259932\ 1980758905754515620079854769*c_1001_9^10 + 339610842411482232999138655410701755705513270249348/946259821259932\ 1980758905754515620079854769*c_1001_9^9 - 14408368803559756658195315169944356628120416732288/8602362011453929\ 07341718704955965461804979*c_1001_9^8 + 66210250658018918016108875161695700812975909267896/9462598212599321\ 980758905754515620079854769*c_1001_9^7 - 24312693941913937424473470830517079324362572912921/9462598212599321\ 980758905754515620079854769*c_1001_9^6 + 7179343137662983864306096264965621716982838534756/94625982125993219\ 80758905754515620079854769*c_1001_9^5 - 1483651192270167271461130160532328170046814061976/94625982125993219\ 80758905754515620079854769*c_1001_9^4 + 9493172079352865866817173307576939515642035125/55662342427054835180\ 9347397324448239991457*c_1001_9^3 + 4515530005124221527008773305811174621326642304/94625982125993219807\ 58905754515620079854769*c_1001_9^2 - 3446777911781814931369696974357458956993324592/94625982125993219807\ 58905754515620079854769*c_1001_9 + 282424141014933013849772225759916295351242275/946259821259932198075\ 8905754515620079854769, c_1001_1 + c_1001_9 - 1, c_1001_12 + 10664221583140356155961900790890531367054064/86023620114539\ 2907341718704955965461804979*c_1001_9^37 - 267510396546881829483027333043906769441835712/860236201145392907341\ 718704955965461804979*c_1001_9^36 + 3047418819495416991834018366795107725918864668/86023620114539290734\ 1718704955965461804979*c_1001_9^35 - 21091056130519168106491504828262824655756842300/8602362011453929073\ 41718704955965461804979*c_1001_9^34 + 100632802994401574738735712377783115455893961458/860236201145392907\ 341718704955965461804979*c_1001_9^33 - 359068610119132807118850644713543755495539150117/860236201145392907\ 341718704955965461804979*c_1001_9^32 + 1028110472537579541888471889126172216530772691744/86023620114539290\ 7341718704955965461804979*c_1001_9^31 - 2520671988993480000477557648673638274749920001560/86023620114539290\ 7341718704955965461804979*c_1001_9^30 + 5498627651150439087773902408456961184308982125892/86023620114539290\ 7341718704955965461804979*c_1001_9^29 - 10530285323178909430098223366249203063416352909552/8602362011453929\ 07341718704955965461804979*c_1001_9^28 + 16577157637486289218491771439928439303571490496732/8602362011453929\ 07341718704955965461804979*c_1001_9^27 - 18305892537759315077616467730662498241404170181668/8602362011453929\ 07341718704955965461804979*c_1001_9^26 + 2734693068016890824295880768247295424649393290035/86023620114539290\ 7341718704955965461804979*c_1001_9^25 + 56073036168619935327918544252850384833468819437365/8602362011453929\ 07341718704955965461804979*c_1001_9^24 - 201160752697706946530784875858049389222833809334364/860236201145392\ 907341718704955965461804979*c_1001_9^23 + 474204559616853646999804349901449165245883523313216/860236201145392\ 907341718704955965461804979*c_1001_9^22 - 855279632827901450824874058418280015626324843550848/860236201145392\ 907341718704955965461804979*c_1001_9^21 + 71058346354341699978649897483070174302341692031552/5060212947914075\ 9255395217938586203635587*c_1001_9^20 - 1332131131115337423579445244525025714371395489524104/86023620114539\ 2907341718704955965461804979*c_1001_9^19 + 1128297846925584152681934793283166786047919437308756/86023620114539\ 2907341718704955965461804979*c_1001_9^18 - 705491860864035570616786022237278004262723547146230/860236201145392\ 907341718704955965461804979*c_1001_9^17 + 290245823929150558487531588664781846730067043591006/860236201145392\ 907341718704955965461804979*c_1001_9^16 - 36710370169377884644895229217043136298202541387036/8602362011453929\ 07341718704955965461804979*c_1001_9^15 - 52956146389436049554497272014083130342659954229700/8602362011453929\ 07341718704955965461804979*c_1001_9^14 + 56491914283380798006476149369531036412957028466882/8602362011453929\ 07341718704955965461804979*c_1001_9^13 - 37443128266755662124680495054592415555862037075976/8602362011453929\ 07341718704955965461804979*c_1001_9^12 + 20087227408790655220847103837299862418805309456060/8602362011453929\ 07341718704955965461804979*c_1001_9^11 - 8618528127263358822379900630355463723496991733968/86023620114539290\ 7341718704955965461804979*c_1001_9^10 + 2597507278698725877522770231025087765521496447722/86023620114539290\ 7341718704955965461804979*c_1001_9^9 - 334006917017483145987604966643075375326985026707/860236201145392907\ 341718704955965461804979*c_1001_9^8 - 193114369574275601385975773105106683673511528072/860236201145392907\ 341718704955965461804979*c_1001_9^7 + 220839434714842236864940624510612087997162137748/860236201145392907\ 341718704955965461804979*c_1001_9^6 - 151246487741572939255774634663591232461672370536/860236201145392907\ 341718704955965461804979*c_1001_9^5 + 74839004110082013290375546323105735973462550370/8602362011453929073\ 41718704955965461804979*c_1001_9^4 - 25440885378597053223525443456570745827811709960/8602362011453929073\ 41718704955965461804979*c_1001_9^3 + 5560915709956334985567944731389484988606823260/86023620114539290734\ 1718704955965461804979*c_1001_9^2 - 697765578293907361356935441721138622920881303/860236201145392907341\ 718704955965461804979*c_1001_9 + 3767763383910358264309361111212695\ 4182506413/860236201145392907341718704955965461804979, c_1001_3 - 108652480798708457567991802097789591251805292/94625982125993\ 21980758905754515620079854769*c_1001_9^37 + 2937445021953933058704402645625139677361554890/94625982125993219807\ 58905754515620079854769*c_1001_9^36 - 36525281937529957279987743083857310371925160762/9462598212599321980\ 758905754515620079854769*c_1001_9^35 + 279483353494790628974610291036055902771742460170/946259821259932198\ 0758905754515620079854769*c_1001_9^34 - 1490568535499254098972970952540278556481287689312/94625982125993219\ 80758905754515620079854769*c_1001_9^33 + 5979140142444103994506968592789723064089036955433/94625982125993219\ 80758905754515620079854769*c_1001_9^32 - 19153784163203899359286852735899654874696076608720/9462598212599321\ 980758905754515620079854769*c_1001_9^31 + 51681260895523437235891227571345899725688200708650/9462598212599321\ 980758905754515620079854769*c_1001_9^30 - 11116904595614904590902053442293606279492626747616/8602362011453929\ 07341718704955965461804979*c_1001_9^29 + 256822438256829101405870956989615100987707445174597/946259821259932\ 1980758905754515620079854769*c_1001_9^28 - 467333222206568432287751828495768122412499840297376/946259821259932\ 1980758905754515620079854769*c_1001_9^27 + 62709547610420306143489256937976669438496984692898/8602362011453929\ 07341718704955965461804979*c_1001_9^26 - 673928339025468522367549211694851006961365900284901/946259821259932\ 1980758905754515620079854769*c_1001_9^25 - 180478228382520588938540914096606969498354755185297/946259821259932\ 1980758905754515620079854769*c_1001_9^24 + 3030208452986776856473979494306885263488433938364622/94625982125993\ 21980758905754515620079854769*c_1001_9^23 - 9577695843435434475091847446179991375266535780212848/94625982125993\ 21980758905754515620079854769*c_1001_9^22 + 21172725173030847050976287118889148963575776204723671/9462598212599\ 321980758905754515620079854769*c_1001_9^21 - 2165116123974286887253957989099981372550101564576884/55662342427054\ 8351809347397324448239991457*c_1001_9^20 + 51664316891415638772433663702388065294662975242983334/9462598212599\ 321980758905754515620079854769*c_1001_9^19 - 58904814248732095115237512282576868896199814928580032/9462598212599\ 321980758905754515620079854769*c_1001_9^18 + 54521076741673148820130033036017494465244076387269726/9462598212599\ 321980758905754515620079854769*c_1001_9^17 - 40787759598313653016340573316497309118641822873653058/9462598212599\ 321980758905754515620079854769*c_1001_9^16 + 24422737506929294170129520390501496883420524585428590/9462598212599\ 321980758905754515620079854769*c_1001_9^15 - 11408630556838804460390496637680478053127509552540992/9462598212599\ 321980758905754515620079854769*c_1001_9^14 + 3772215576242976341136863599586579461817894388909663/94625982125993\ 21980758905754515620079854769*c_1001_9^13 - 378776306096017323206419182040609677341710876142522/946259821259932\ 1980758905754515620079854769*c_1001_9^12 - 62157075120244071047444629046871426793186413204370/8602362011453929\ 07341718704955965461804979*c_1001_9^11 + 757760022282245119249118602959316710368919538623056/946259821259932\ 1980758905754515620079854769*c_1001_9^10 - 528874787776107982120829779189333767482814561251852/946259821259932\ 1980758905754515620079854769*c_1001_9^9 + 26686597699609437766476121049038383765902378503293/8602362011453929\ 07341718704955965461804979*c_1001_9^8 - 139894501781567494189933112045460735894550616933928/946259821259932\ 1980758905754515620079854769*c_1001_9^7 + 59392046976311015365001763048623686169206766619620/9462598212599321\ 980758905754515620079854769*c_1001_9^6 - 22196772397778017616805223706882079577397705201977/9462598212599321\ 980758905754515620079854769*c_1001_9^5 + 6889913038873114772416262751882908806025397134943/94625982125993219\ 80758905754515620079854769*c_1001_9^4 - 1641201803954501567573520909965236119902263827706/94625982125993219\ 80758905754515620079854769*c_1001_9^3 + 273806994315957969244714384732184699656447940090/946259821259932198\ 0758905754515620079854769*c_1001_9^2 - 28027639778321089985407530166008228471615036401/9462598212599321980\ 758905754515620079854769*c_1001_9 + 1309759593590151994385887716588565825666163907/94625982125993219807\ 58905754515620079854769, c_1001_6 - 80670417611741211012815354457537893887885424/946259821259932\ 1980758905754515620079854769*c_1001_9^37 + 2292495258988914778593554215861725561808013820/94625982125993219807\ 58905754515620079854769*c_1001_9^36 - 29925865410311311274002904844292846995858463794/9462598212599321980\ 758905754515620079854769*c_1001_9^35 + 239632020502449409424181157734715343733030867040/946259821259932198\ 0758905754515620079854769*c_1001_9^34 - 1330481952990131108215531794350219523275321607038/94625982125993219\ 80758905754515620079854769*c_1001_9^33 + 5516626900333063749192092525810332042989663660484/94625982125993219\ 80758905754515620079854769*c_1001_9^32 - 18109844918952416752076130415990411733537156456014/9462598212599321\ 980758905754515620079854769*c_1001_9^31 + 265558801975985098029080744853863359128414504846/506021294791407592\ 55395217938586203635587*c_1001_9^30 - 6991737852651437200290956919366914371788696835726/55662342427054835\ 1809347397324448239991457*c_1001_9^29 + 252741680347719428035904664320940995340989351566685/946259821259932\ 1980758905754515620079854769*c_1001_9^28 - 467781596384738024706050668710506314516609509489848/946259821259932\ 1980758905754515620079854769*c_1001_9^27 + 707754269408227675043192534251221622352670528948391/946259821259932\ 1980758905754515620079854769*c_1001_9^26 - 66524408953887849934831654532187348154518262987618/8602362011453929\ 07341718704955965461804979*c_1001_9^25 - 47909452735723193823673133030683175232243399855509/9462598212599321\ 980758905754515620079854769*c_1001_9^24 + 2784097545406314335697095746677380731296863929648656/94625982125993\ 21980758905754515620079854769*c_1001_9^23 - 9243316093823808408950925658979659659752196614476604/94625982125993\ 21980758905754515620079854769*c_1001_9^22 + 82858396739543455652181599799649091766049285402905/3740157396284316\ 9884422552389389802687173*c_1001_9^21 - 37129696134586762543795497618386517425980470258055400/9462598212599\ 321980758905754515620079854769*c_1001_9^20 + 52838727042172116913339773598491544460643656588123145/9462598212599\ 321980758905754515620079854769*c_1001_9^19 - 60791288522530702540238509662415901194008756125872632/9462598212599\ 321980758905754515620079854769*c_1001_9^18 + 56524523843864434675902276681671105909772341916005233/9462598212599\ 321980758905754515620079854769*c_1001_9^17 - 2488778294407753395388553248743925813586203025967800/55662342427054\ 8351809347397324448239991457*c_1001_9^16 + 25264066630694632047052379978027230452707519366193730/9462598212599\ 321980758905754515620079854769*c_1001_9^15 - 11741182824885417875045741924903498841316573639151724/9462598212599\ 321980758905754515620079854769*c_1001_9^14 + 3851241132985731034895534988630026888990282742559541/94625982125993\ 21980758905754515620079854769*c_1001_9^13 - 365819859514460267516464466361439077229141194940766/946259821259932\ 1980758905754515620079854769*c_1001_9^12 - 718857377582922959833366673449923562695256002943199/946259821259932\ 1980758905754515620079854769*c_1001_9^11 + 34264671926692007451955500121731735521728165750466/4114173135912748\ 68728648076283287829558903*c_1001_9^10 - 49734761111899844662338358536661593837312040578295/8602362011453929\ 07341718704955965461804979*c_1001_9^9 + 302308653892301883284587600293413570669682538941850/946259821259932\ 1980758905754515620079854769*c_1001_9^8 - 143681051863480866801070927640539165756984061284396/946259821259932\ 1980758905754515620079854769*c_1001_9^7 + 5535614781554951880812590906868754997550674019008/86023620114539290\ 7341718704955965461804979*c_1001_9^6 - 22670043571206770714887906042306170810305534789525/9462598212599321\ 980758905754515620079854769*c_1001_9^5 + 6982675116394569268345755917025146552395375676321/94625982125993219\ 80758905754515620079854769*c_1001_9^4 - 1645087598546392715223069099714293280137245247221/94625982125993219\ 80758905754515620079854769*c_1001_9^3 + 271005504887364924863705715091576501340482575835/946259821259932198\ 0758905754515620079854769*c_1001_9^2 - 27393290420393449459984840151015881281209567031/9462598212599321980\ 758905754515620079854769*c_1001_9 + 1265470617565551120553070439776405514474183103/94625982125993219807\ 58905754515620079854769, c_1001_9^38 - 53/2*c_1001_9^37 + 322*c_1001_9^36 - 2401*c_1001_9^35 + 24909/2*c_1001_9^34 - 48579*c_1001_9^33 + 151693*c_1001_9^32 - 801941/2*c_1001_9^31 + 1867241/2*c_1001_9^30 - 3856983/2*c_1001_9^29 + 6852841/2*c_1001_9^28 - 9714385/2*c_1001_9^27 + 8511233/2*c_1001_9^26 + 5832333/2*c_1001_9^25 - 50402451/2*c_1001_9^24 + 148979119/2*c_1001_9^23 - 316879445/2*c_1001_9^22 + 532615573/2*c_1001_9^21 - 724058283/2*c_1001_9^20 + 801656441/2*c_1001_9^19 - 724058283/2*c_1001_9^18 + 532615573/2*c_1001_9^17 - 316879445/2*c_1001_9^16 + 148979119/2*c_1001_9^15 - 50402451/2*c_1001_9^14 + 5832333/2*c_1001_9^13 + 8511233/2*c_1001_9^12 - 9714385/2*c_1001_9^11 + 6852841/2*c_1001_9^10 - 3856983/2*c_1001_9^9 + 1867241/2*c_1001_9^8 - 801941/2*c_1001_9^7 + 151693*c_1001_9^6 - 48579*c_1001_9^5 + 24909/2*c_1001_9^4 - 2401*c_1001_9^3 + 322*c_1001_9^2 - 53/2*c_1001_9 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1544.690 Total time: 1544.890 seconds, Total memory usage: 1954.31MB