Magma V2.19-8 Fri Sep 13 2013 13:54:27 on localhost [Seed = 3720142568] Type ? for help. Type -D to quit. Loading file "11_167__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_167 geometric_solution 15.69431664 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 17 1 1 2 3 0132 1302 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 -1 -3 0 4 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.484966078781 1.500514795309 0 3 4 0 0132 3012 0132 2031 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3 3 0 0 -1 1 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.204638025165 0.596198370230 5 5 6 0 0132 1230 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 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.650398020059 0.534409166064 1 7 0 4 1230 0132 0132 3120 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 -1 1 -1 0 0 1 1 -1 0 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.320012844270 0.897107620743 3 8 6 1 3120 0132 3120 0132 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 -3 0 3 -1 0 0 1 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.658170744591 1.527600327610 2 9 2 10 0132 0132 3012 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.082150492253 0.754164642080 7 11 4 2 3012 0132 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.591077656248 1.087866971002 8 3 9 6 2103 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 -4 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.333670628153 0.681174047461 12 4 7 13 0132 0132 2103 0132 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 -4 1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.140681246532 1.193035734425 12 5 7 10 1302 0132 1023 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.303868609925 0.495796427954 9 12 5 11 3120 1302 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.734968281925 0.980064187976 13 6 10 14 3201 0132 1230 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 -1 0 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.167748682362 0.598996465664 8 9 14 10 0132 2031 1230 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.300247640894 0.452889606292 15 16 8 11 0132 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 0 1 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.468985885666 0.721346243308 15 16 11 12 2310 2310 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.468985885666 0.721346243308 13 16 14 16 0132 0213 3201 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.668733934682 0.458541020039 15 13 15 14 3120 0132 0213 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.668733934682 0.458541020039 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_15' : negation(d['c_0101_14']), 'c_1001_14' : negation(d['c_1001_13']), 'c_1001_16' : negation(d['c_0101_14']), 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_0101_7'], 'c_1001_13' : d['c_1001_13'], 'c_1001_12' : negation(d['c_0110_10']), 'c_1001_5' : negation(d['c_0011_10']), 'c_1001_4' : d['c_1001_13'], 'c_1001_7' : negation(d['c_0011_12']), 'c_1001_6' : negation(d['c_1001_13']), 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_0101_0'], 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : d['c_1001_11'], 'c_1001_9' : d['c_0101_7'], 'c_1001_8' : negation(d['c_0011_3']), 'c_1010_13' : negation(d['c_0101_14']), 'c_1010_12' : d['c_0011_10'], 'c_1010_11' : negation(d['c_1001_13']), 'c_1010_10' : negation(d['c_0101_11']), 'c_1010_16' : d['c_1001_13'], 'c_1010_15' : d['c_0011_13'], 'c_1010_14' : negation(d['c_0101_12']), 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_0_13' : d['1'], 's_3_15' : d['1'], 's_3_14' : 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' : negation(d['c_0011_13']), 'c_0101_15' : negation(d['c_0101_11']), 'c_0101_14' : d['c_0101_14'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(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_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : 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' : negation(d['c_0011_13']), 'c_0011_14' : negation(d['c_0011_13']), 'c_0011_16' : negation(d['c_0011_13']), 'c_1100_9' : negation(d['c_0101_10']), 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_1001_11']), 'c_1100_4' : negation(d['c_0101_6']), 'c_1100_7' : d['c_0101_10'], 'c_1100_6' : negation(d['c_0101_4']), 'c_1100_1' : negation(d['c_0101_6']), 'c_1100_0' : negation(d['c_0101_4']), 'c_1100_3' : negation(d['c_0101_4']), 'c_1100_2' : negation(d['c_0101_4']), 's_0_15' : d['1'], 'c_1100_15' : d['c_0011_13'], 's_0_10' : d['1'], 'c_1100_16' : d['c_0011_13'], 'c_1100_11' : d['c_0110_10'], 'c_1100_10' : negation(d['c_1001_11']), 'c_1100_13' : d['c_0011_11'], 's_3_10' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : d['c_0101_6'], 'c_1010_6' : d['c_1001_11'], 'c_1010_5' : d['c_0101_7'], 's_3_12' : d['1'], 'c_1010_3' : negation(d['c_0011_12']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0011_0'], 'c_1100_14' : d['c_0110_10'], 's_0_14' : d['1'], 'c_1010_9' : negation(d['c_0011_10']), 'c_1010_8' : d['c_1001_13'], 'c_1100_8' : d['c_0011_11'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(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_0101_11'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_12'], 'c_0011_7' : negation(d['c_0011_3']), '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' : d['c_0011_10'], 'c_0110_11' : d['c_0101_14'], 'c_0110_10' : d['c_0110_10'], 'c_0110_13' : negation(d['c_0101_11']), 'c_0110_12' : d['c_0101_7'], 'c_0110_15' : d['c_0101_12'], 'c_0110_14' : d['c_0101_11'], 'c_0110_16' : d['c_0101_12'], 'c_1010_4' : negation(d['c_0011_3']), 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : negation(d['c_0011_0']), 'c_1010_0' : d['c_0101_6'], 's_2_14' : d['1'], 's_2_15' : d['1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_10'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_12']), 'c_0101_8' : d['c_0101_7'], '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_0110_10'], 'c_0110_8' : d['c_0101_12'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_7' : negation(d['c_0011_11']), 'c_0110_6' : d['c_0101_10'], 'c_0101_13' : d['c_0101_12']})} 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_12, c_0011_13, c_0011_3, c_0101_0, c_0101_10, c_0101_11, c_0101_12, c_0101_14, c_0101_4, c_0101_6, c_0101_7, c_0110_10, c_1001_11, c_1001_13 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 353504049897604145803641918966942225736979556529458113603799/216506\ 5690012697312152019558099696070391081626250597360000*c_1001_13^27 + 54829172070854493867625369101872700020706221911331424371679/5035036\ 4884016216561674873444178978381187944796525520000*c_1001_13^26 + 503137948607072841997259860634227420618769796009322567476607/166543\ 514616361331704001504469207390030083202019276720000*c_1001_13^25 + 10290007448258965985139238568277295668288619224378119023391699/2165\ 065690012697312152019558099696070391081626250597360000*c_1001_13^24 + 13791970080979990922457251041494051490557301721765664741557851/21\ 65065690012697312152019558099696070391081626250597360000*c_1001_13^\ 23 + 442573305638052016456591184722239011675437317093709982315181/4\ 1635878654090332926000376117301847507520800504819180000*c_1001_13^2\ 2 + 1377152411279008775777611577406777830217146336987074319651509/8\ 6602627600507892486080782323987842815643265050023894400*c_1001_13^2\ 1 + 1352245333857281241002942436131986811130629402213123860536837/1\ 35316605625793582009501222381231004399442601640662335000*c_1001_13^\ 20 - 30230005022755742933604047379778037362893260580131343334874623\ /2165065690012697312152019558099696070391081626250597360000*c_1001_\ 13^19 - 40021444632301750749961274923706960122081360520872793960427\ 63/108253284500634865607600977904984803519554081312529868000*c_1001\ _13^18 - 4940622154850558825578511775776723978354335053061790447268\ 2339/1082532845006348656076009779049848035195540813125298680000*c_1\ 001_13^17 - 1709847327595027913184944463896107907492156386654688366\ 97943263/2165065690012697312152019558099696070391081626250597360000\ *c_1001_13^16 - 311534493444633020250473699898116135687097280352876\ 162182221453/216506569001269731215201955809969607039108162625059736\ 0000*c_1001_13^15 - 27763625457100503291990182570491342070655038671\ 532212306646857/270633211251587164019002444762462008798885203281324\ 670000*c_1001_13^14 + 104700320076284890889472120622332118679691356\ 293516000595181169/433013138002539462430403911619939214078216325250\ 119472000*c_1001_13^13 + 580999627675572075497185469575473659645166\ 9694117441167816881/69840828710087010069419985745151486141647794395\ 18056000*c_1001_13^12 + 1241655487914439005666115457608762155331082\ 039250612841612239543/108253284500634865607600977904984803519554081\ 3125298680000*c_1001_13^11 + 14837752236112584832851337080687072673\ 60986785503062045163199533/2165065690012697312152019558099696070391\ 081626250597360000*c_1001_13^10 - 783220080345658794030014912809039\ 517327995191123842793362829861/216506569001269731215201955809969607\ 0391081626250597360000*c_1001_13^9 - 2414976897966180921624631328522447497080314485453837800032622181/21\ 65065690012697312152019558099696070391081626250597360000*c_1001_13^\ 8 - 33106476453861007318779959911887008873827444466528979896915377/\ 41635878654090332926000376117301847507520800504819180000*c_1001_13^\ 7 + 163913463211027997276064803030454428114625104282191594517966319\ /1082532845006348656076009779049848035195540813125298680000*c_1001_\ 13^6 + 128564604608730666059177011497458799486086722706159486803034\ 6703/2165065690012697312152019558099696070391081626250597360000*c_1\ 001_13^5 + 16101251674265305729879541976960845936026565613492475980\ 889199/33829151406448395502375305595307751099860650410165583750*c_1\ 001_13^4 + 25352761252671276705359906314704073235192363706890035940\ 57383/12587591221004054140418718361044744595296986199131380000*c_10\ 01_13^3 - 468625150437345001845123519962367299923488803964844438284\ 051/13531660562579358200950122238123100439944260164066233500*c_1001\ _13^2 - 62589428488919768024857881945291485034327432043318625564504\ 1/27063321125158716401900244476246200879888520328132467000*c_1001_1\ 3 + 466908242271806684548576637531718243608388388625002492979281/33\ 829151406448395502375305595307751099860650410165583750, c_0011_0 - 1, c_0011_10 - 1594342257908812584613583455343118110877222417/112426850249\ 0034979606450227624851588281521598672*c_1001_13^27 - 8794696835143258395795741754580339596300642877/11242685024900349796\ 06450227624851588281521598672*c_1001_13^26 - 20208700413810510448674639223558347031447664195/1124268502490034979\ 606450227624851588281521598672*c_1001_13^25 - 29750042162614753200220993156705472901745242643/1124268502490034979\ 606450227624851588281521598672*c_1001_13^24 - 50056146227203530708239667946194435686638688491/1124268502490034979\ 606450227624851588281521598672*c_1001_13^23 - 44069696276848638022162765436616946287477886853/5621342512450174898\ 03225113812425794140760799336*c_1001_13^22 - 111977937184244960333646094421534851576874443447/112426850249003497\ 9606450227624851588281521598672*c_1001_13^21 - 27227476460821185611026357127714836758870547133/5621342512450174898\ 03225113812425794140760799336*c_1001_13^20 + 62865179794792938002195194638163783509150237089/1124268502490034979\ 606450227624851588281521598672*c_1001_13^19 + 77843276611032311550652620314016055935586209193/5621342512450174898\ 03225113812425794140760799336*c_1001_13^18 + 153781625491023704756142858956569287737733047641/562134251245017489\ 803225113812425794140760799336*c_1001_13^17 + 729425767878375580382048441708467777975920563977/112426850249003497\ 9606450227624851588281521598672*c_1001_13^16 + 1035277891987675371906547495581649205684359726621/11242685024900349\ 79606450227624851588281521598672*c_1001_13^15 + 228880136653253089717567729726708473243030655427/562134251245017489\ 803225113812425794140760799336*c_1001_13^14 - 1720973386621414569432351455353298445111650351279/11242685024900349\ 79606450227624851588281521598672*c_1001_13^13 - 38785521881563465556704023929796400761295467327/9066681471693830480\ 697179255039125711947754828*c_1001_13^12 - 3248146058011950296703654399935405349765135608271/56213425124501748\ 9803225113812425794140760799336*c_1001_13^11 - 5309187582988266510107608669798903845568197224427/11242685024900349\ 79606450227624851588281521598672*c_1001_13^10 - 1361397557716030620190379148424753246066186720835/11242685024900349\ 79606450227624851588281521598672*c_1001_13^9 + 2789845781037164659711381150212473073220302189161/11242685024900349\ 79606450227624851588281521598672*c_1001_13^8 + 2008607172981421418982791924950699291822626790563/56213425124501748\ 9803225113812425794140760799336*c_1001_13^7 + 1792621722794621438361339465417318133819756475033/56213425124501748\ 9803225113812425794140760799336*c_1001_13^6 + 1342886991670828419158029147537679316240834371095/11242685024900349\ 79606450227624851588281521598672*c_1001_13^5 - 1427027183961952336858734529505278100924005423857/56213425124501748\ 9803225113812425794140760799336*c_1001_13^4 - 752119456207498869999743267551714579443242468619/281067125622508744\ 901612556906212897070380399668*c_1001_13^3 - 309315104089559239715809410723885163133176623251/281067125622508744\ 901612556906212897070380399668*c_1001_13^2 - 79423419096851987739509960527936831343449969010/7026678140562718622\ 5403139226553224267595099917*c_1001_13 - 13920524689937750056039471848106303706256098506/7026678140562718622\ 5403139226553224267595099917, c_0011_11 + 2633290403824446094928778565656538724416700175/112426850249\ 0034979606450227624851588281521598672*c_1001_13^27 + 16444164251597691282982566017962904756873322859/1124268502490034979\ 606450227624851588281521598672*c_1001_13^26 + 43924883160473455766640059304207668526053965925/1124268502490034979\ 606450227624851588281521598672*c_1001_13^25 + 68980165434613656727334562234883770093352278805/1124268502490034979\ 606450227624851588281521598672*c_1001_13^24 + 93154679523172023519597137149724978422702206461/1124268502490034979\ 606450227624851588281521598672*c_1001_13^23 + 73638082146043112145545132193051798668961718279/5621342512450174898\ 03225113812425794140760799336*c_1001_13^22 + 215748493177737189917901900342960178616834856825/112426850249003497\ 9606450227624851588281521598672*c_1001_13^21 + 61799115141513249830536719907859193949858532175/5621342512450174898\ 03225113812425794140760799336*c_1001_13^20 - 225676380317790519311803947488078802658013381903/112426850249003497\ 9606450227624851588281521598672*c_1001_13^19 - 290253947806342971820865946254068736787208260467/562134251245017489\ 803225113812425794140760799336*c_1001_13^18 - 360548628607498925481336351121456172200521652223/562134251245017489\ 803225113812425794140760799336*c_1001_13^17 - 1136029196929431131615692581038390340609279476807/11242685024900349\ 79606450227624851588281521598672*c_1001_13^16 - 1924766017869599300961820932008328873012552217819/11242685024900349\ 79606450227624851588281521598672*c_1001_13^15 - 658329581832417244822227614041909622299024989945/562134251245017489\ 803225113812425794140760799336*c_1001_13^14 + 3812060145957435286302732496417722069078515329089/11242685024900349\ 79606450227624851588281521598672*c_1001_13^13 + 100890134549120733272841643821880929222080266511/906668147169383048\ 0697179255039125711947754828*c_1001_13^12 + 8496460706279943051882580283649324672593463852601/56213425124501748\ 9803225113812425794140760799336*c_1001_13^11 + 9402392043900328925486382206210840387924884398773/11242685024900349\ 79606450227624851588281521598672*c_1001_13^10 - 7764846393416050175922074457670196219566499951051/11242685024900349\ 79606450227624851588281521598672*c_1001_13^9 - 19440041121389342196436225428179985676110113712863/1124268502490034\ 979606450227624851588281521598672*c_1001_13^8 - 6635059201722349408148236706985604894693881668625/56213425124501748\ 9803225113812425794140760799336*c_1001_13^7 + 1591055461470179531549038758992214949530244488409/56213425124501748\ 9803225113812425794140760799336*c_1001_13^6 + 12451455527644935416579967550298555487843760122983/1124268502490034\ 979606450227624851588281521598672*c_1001_13^5 + 4561085661899997276156261255876118171701773304363/56213425124501748\ 9803225113812425794140760799336*c_1001_13^4 + 353159855389560393448121383163783202286774493329/281067125622508744\ 901612556906212897070380399668*c_1001_13^3 - 244554173144531519573717022436141560679211988283/281067125622508744\ 901612556906212897070380399668*c_1001_13^2 - 96799350288572965391227552281432846496003583121/7026678140562718622\ 5403139226553224267595099917*c_1001_13 + 9499476640807392950717634033868990602864911474/70266781405627186225\ 403139226553224267595099917, c_0011_12 + 49437212908470614856745464454497825/10795961173727819968021\ 496383123997168*c_1001_13^27 + 191684651579956188117085227650706889\ /5397980586863909984010748191561998584*c_1001_13^26 + 629911465571435842814215176759462645/539798058686390998401074819156\ 1998584*c_1001_13^25 + 590351554845551404955181698238138301/2698990\ 293431954992005374095780999292*c_1001_13^24 + 834000914806068932231745012977839673/269899029343195499200537409578\ 0999292*c_1001_13^23 + 5126811659116618070357767041263122355/107959\ 61173727819968021496383123997168*c_1001_13^22 + 8063407630067491984591542405790996211/10795961173727819968021496383\ 123997168*c_1001_13^21 + 7784684339136510239295611013602716945/1079\ 5961173727819968021496383123997168*c_1001_13^20 - 1570693080103372010371210429896361473/10795961173727819968021496383\ 123997168*c_1001_13^19 - 15779640436457925031692905703679724135/107\ 95961173727819968021496383123997168*c_1001_13^18 - 12369863318556274384710434235341857087/5397980586863909984010748191\ 561998584*c_1001_13^17 - 37288551385973202253351297954332517435/107\ 95961173727819968021496383123997168*c_1001_13^16 - 34091684302875120632586141499758511041/5397980586863909984010748191\ 561998584*c_1001_13^15 - 74923256985619282393487919433452471805/107\ 95961173727819968021496383123997168*c_1001_13^14 + 45436501532283939831273152468878033991/1079596117372781996802149638\ 3123997168*c_1001_13^13 + 10698883767957955370785063236443161629/34\ 8256812055736128000693431713677328*c_1001_13^12 + 37496515291401531153932419368994528672/6747475733579887480013435239\ 45249823*c_1001_13^11 + 540751501880065630339810273547890369357/107\ 95961173727819968021496383123997168*c_1001_13^10 + 39209240370873671184178681644375628773/5397980586863909984010748191\ 561998584*c_1001_13^9 - 28203227311571162287579695159182123443/6747\ 47573357988748001343523945249823*c_1001_13^8 - 557398511754232166949240617573464321421/107959611737278199680214963\ 83123997168*c_1001_13^7 - 84607248833659401230243904234704686719/53\ 97980586863909984010748191561998584*c_1001_13^6 + 217883210516586508749103244206073689075/107959611737278199680214963\ 83123997168*c_1001_13^5 + 288620169390960613070471188224624593271/1\ 0795961173727819968021496383123997168*c_1001_13^4 + 46936086251709011778887468195397972299/2698990293431954992005374095\ 780999292*c_1001_13^3 + 3282431445749719682617216671596658001/67474\ 7573357988748001343523945249823*c_1001_13^2 - 275064301900760354015015530268101348/674747573357988748001343523945\ 249823*c_1001_13 - 335050709776052401006607209170790731/67474757335\ 7988748001343523945249823, c_0011_13 - 1594342257908812584613583455343118110877222417/112426850249\ 0034979606450227624851588281521598672*c_1001_13^27 - 8794696835143258395795741754580339596300642877/11242685024900349796\ 06450227624851588281521598672*c_1001_13^26 - 20208700413810510448674639223558347031447664195/1124268502490034979\ 606450227624851588281521598672*c_1001_13^25 - 29750042162614753200220993156705472901745242643/1124268502490034979\ 606450227624851588281521598672*c_1001_13^24 - 50056146227203530708239667946194435686638688491/1124268502490034979\ 606450227624851588281521598672*c_1001_13^23 - 44069696276848638022162765436616946287477886853/5621342512450174898\ 03225113812425794140760799336*c_1001_13^22 - 111977937184244960333646094421534851576874443447/112426850249003497\ 9606450227624851588281521598672*c_1001_13^21 - 27227476460821185611026357127714836758870547133/5621342512450174898\ 03225113812425794140760799336*c_1001_13^20 + 62865179794792938002195194638163783509150237089/1124268502490034979\ 606450227624851588281521598672*c_1001_13^19 + 77843276611032311550652620314016055935586209193/5621342512450174898\ 03225113812425794140760799336*c_1001_13^18 + 153781625491023704756142858956569287737733047641/562134251245017489\ 803225113812425794140760799336*c_1001_13^17 + 729425767878375580382048441708467777975920563977/112426850249003497\ 9606450227624851588281521598672*c_1001_13^16 + 1035277891987675371906547495581649205684359726621/11242685024900349\ 79606450227624851588281521598672*c_1001_13^15 + 228880136653253089717567729726708473243030655427/562134251245017489\ 803225113812425794140760799336*c_1001_13^14 - 1720973386621414569432351455353298445111650351279/11242685024900349\ 79606450227624851588281521598672*c_1001_13^13 - 38785521881563465556704023929796400761295467327/9066681471693830480\ 697179255039125711947754828*c_1001_13^12 - 3248146058011950296703654399935405349765135608271/56213425124501748\ 9803225113812425794140760799336*c_1001_13^11 - 5309187582988266510107608669798903845568197224427/11242685024900349\ 79606450227624851588281521598672*c_1001_13^10 - 1361397557716030620190379148424753246066186720835/11242685024900349\ 79606450227624851588281521598672*c_1001_13^9 + 2789845781037164659711381150212473073220302189161/11242685024900349\ 79606450227624851588281521598672*c_1001_13^8 + 2008607172981421418982791924950699291822626790563/56213425124501748\ 9803225113812425794140760799336*c_1001_13^7 + 1792621722794621438361339465417318133819756475033/56213425124501748\ 9803225113812425794140760799336*c_1001_13^6 + 1342886991670828419158029147537679316240834371095/11242685024900349\ 79606450227624851588281521598672*c_1001_13^5 - 1427027183961952336858734529505278100924005423857/56213425124501748\ 9803225113812425794140760799336*c_1001_13^4 - 752119456207498869999743267551714579443242468619/281067125622508744\ 901612556906212897070380399668*c_1001_13^3 - 309315104089559239715809410723885163133176623251/281067125622508744\ 901612556906212897070380399668*c_1001_13^2 - 79423419096851987739509960527936831343449969010/7026678140562718622\ 5403139226553224267595099917*c_1001_13 - 13920524689937750056039471848106303706256098506/7026678140562718622\ 5403139226553224267595099917, c_0011_3 - 1067714333563562796803850722315067062926285467/1124268502490\ 034979606450227624851588281521598672*c_1001_13^27 - 4742834117643289647890214690851456146266145055/11242685024900349796\ 06450227624851588281521598672*c_1001_13^26 - 8108194526772355104864016996361356817120331647/11242685024900349796\ 06450227624851588281521598672*c_1001_13^25 - 7347573209670333115766229885758865002934214771/11242685024900349796\ 06450227624851588281521598672*c_1001_13^24 - 7380298952170966022586277264497806466063209847/11242685024900349796\ 06450227624851588281521598672*c_1001_13^23 - 1019397459357327325985202612267372111696398773/28106712562250874490\ 1612556906212897070380399668*c_1001_13^22 + 8379029641022485196849274709246644781901882389/11242685024900349796\ 06450227624851588281521598672*c_1001_13^21 + 34269998274517517763758105632000723240725121501/5621342512450174898\ 03225113812425794140760799336*c_1001_13^20 + 147624026930058302804547955127671582482260688049/112426850249003497\ 9606450227624851588281521598672*c_1001_13^19 + 96449011867343712582291123122788073424056671451/5621342512450174898\ 03225113812425794140760799336*c_1001_13^18 + 42214835814803883208017001781648164806922218387/2810671256225087449\ 01612556906212897070380399668*c_1001_13^17 + 152365928253205287177779754932165043483148791315/112426850249003497\ 9606450227624851588281521598672*c_1001_13^16 - 13075305941552592252257901308377953935731051845/1124268502490034979\ 606450227624851588281521598672*c_1001_13^15 - 62918322054111474094221421002224392612529520619/1405335628112543724\ 50806278453106448535190199834*c_1001_13^14 - 1957072067942117351013573753413289879896318845243/11242685024900349\ 79606450227624851588281521598672*c_1001_13^13 - 26357807324240779035488913937827083608650959137/9066681471693830480\ 697179255039125711947754828*c_1001_13^12 - 568006935662458462741378525745007400047054377729/281067125622508744\ 901612556906212897070380399668*c_1001_13^11 + 2384546306190058277568582515088384277418281435307/11242685024900349\ 79606450227624851588281521598672*c_1001_13^10 + 8740867545424427230387617251579240234962166231371/11242685024900349\ 79606450227624851588281521598672*c_1001_13^9 + 10280825534459713119570146345589920690173530431561/1124268502490034\ 979606450227624851588281521598672*c_1001_13^8 + 1053479078977034833199621958748213994649666093321/28106712562250874\ 4901612556906212897070380399668*c_1001_13^7 - 524346000571775879858844923104385243013695464533/140533562811254372\ 450806278453106448535190199834*c_1001_13^6 - 8901955673804770748175264101557250908858216685275/11242685024900349\ 79606450227624851588281521598672*c_1001_13^5 - 2595427975671598983857864335182905935543669430889/56213425124501748\ 9803225113812425794140760799336*c_1001_13^4 + 1440910872155432234816868146073670076026492513235/56213425124501748\ 9803225113812425794140760799336*c_1001_13^3 + 974959122901923597188165031515625743701249758835/281067125622508744\ 901612556906212897070380399668*c_1001_13^2 + 179145697360724360119540808427332169536497178267/702667814056271862\ 25403139226553224267595099917*c_1001_13 + 6596228380631459613736985070277656154826911334/70266781405627186225\ 403139226553224267595099917, c_0101_0 - 1067714333563562796803850722315067062926285467/1124268502490\ 034979606450227624851588281521598672*c_1001_13^27 - 4742834117643289647890214690851456146266145055/11242685024900349796\ 06450227624851588281521598672*c_1001_13^26 - 8108194526772355104864016996361356817120331647/11242685024900349796\ 06450227624851588281521598672*c_1001_13^25 - 7347573209670333115766229885758865002934214771/11242685024900349796\ 06450227624851588281521598672*c_1001_13^24 - 7380298952170966022586277264497806466063209847/11242685024900349796\ 06450227624851588281521598672*c_1001_13^23 - 1019397459357327325985202612267372111696398773/28106712562250874490\ 1612556906212897070380399668*c_1001_13^22 + 8379029641022485196849274709246644781901882389/11242685024900349796\ 06450227624851588281521598672*c_1001_13^21 + 34269998274517517763758105632000723240725121501/5621342512450174898\ 03225113812425794140760799336*c_1001_13^20 + 147624026930058302804547955127671582482260688049/112426850249003497\ 9606450227624851588281521598672*c_1001_13^19 + 96449011867343712582291123122788073424056671451/5621342512450174898\ 03225113812425794140760799336*c_1001_13^18 + 42214835814803883208017001781648164806922218387/2810671256225087449\ 01612556906212897070380399668*c_1001_13^17 + 152365928253205287177779754932165043483148791315/112426850249003497\ 9606450227624851588281521598672*c_1001_13^16 - 13075305941552592252257901308377953935731051845/1124268502490034979\ 606450227624851588281521598672*c_1001_13^15 - 62918322054111474094221421002224392612529520619/1405335628112543724\ 50806278453106448535190199834*c_1001_13^14 - 1957072067942117351013573753413289879896318845243/11242685024900349\ 79606450227624851588281521598672*c_1001_13^13 - 26357807324240779035488913937827083608650959137/9066681471693830480\ 697179255039125711947754828*c_1001_13^12 - 568006935662458462741378525745007400047054377729/281067125622508744\ 901612556906212897070380399668*c_1001_13^11 + 2384546306190058277568582515088384277418281435307/11242685024900349\ 79606450227624851588281521598672*c_1001_13^10 + 8740867545424427230387617251579240234962166231371/11242685024900349\ 79606450227624851588281521598672*c_1001_13^9 + 10280825534459713119570146345589920690173530431561/1124268502490034\ 979606450227624851588281521598672*c_1001_13^8 + 1053479078977034833199621958748213994649666093321/28106712562250874\ 4901612556906212897070380399668*c_1001_13^7 - 524346000571775879858844923104385243013695464533/140533562811254372\ 450806278453106448535190199834*c_1001_13^6 - 8901955673804770748175264101557250908858216685275/11242685024900349\ 79606450227624851588281521598672*c_1001_13^5 - 2595427975671598983857864335182905935543669430889/56213425124501748\ 9803225113812425794140760799336*c_1001_13^4 + 1440910872155432234816868146073670076026492513235/56213425124501748\ 9803225113812425794140760799336*c_1001_13^3 + 974959122901923597188165031515625743701249758835/281067125622508744\ 901612556906212897070380399668*c_1001_13^2 + 179145697360724360119540808427332169536497178267/702667814056271862\ 25403139226553224267595099917*c_1001_13 + 6596228380631459613736985070277656154826911334/70266781405627186225\ 403139226553224267595099917, c_0101_10 - 6721990280465618622360255350516625745529790119/112426850249\ 0034979606450227624851588281521598672*c_1001_13^27 - 2860407923354546491573767705403156785855650712/70266781405627186225\ 403139226553224267595099917*c_1001_13^26 - 67590143876028494531623599246437028239056344195/5621342512450174898\ 03225113812425794140760799336*c_1001_13^25 - 29659973550955430228337595008615909840753662815/1405335628112543724\ 50806278453106448535190199834*c_1001_13^24 - 85188804412888987732861607189650502793434987783/2810671256225087449\ 01612556906212897070380399668*c_1001_13^23 - 536216003479221121138167872573691808961653378229/112426850249003497\ 9606450227624851588281521598672*c_1001_13^22 - 808958661143782485463903179174842145834932461627/112426850249003497\ 9606450227624851588281521598672*c_1001_13^21 - 676604747262115205093672506681781260204789823321/112426850249003497\ 9606450227624851588281521598672*c_1001_13^20 + 306222121723440016187555292302738174195360775521/112426850249003497\ 9606450227624851588281521598672*c_1001_13^19 + 1611561903078138102019619587734186956340645997743/11242685024900349\ 79606450227624851588281521598672*c_1001_13^18 + 616605548761498325539576374743535898085368671025/281067125622508744\ 901612556906212897070380399668*c_1001_13^17 + 4009239721971545460981034210002863141667101763453/11242685024900349\ 79606450227624851588281521598672*c_1001_13^16 + 1739302228024708690709125110222595738120278456999/28106712562250874\ 4901612556906212897070380399668*c_1001_13^15 + 6512833034218728480918109589315621878824426026235/11242685024900349\ 79606450227624851588281521598672*c_1001_13^14 - 7250145978964820810052325826614623609328500463399/11242685024900349\ 79606450227624851588281521598672*c_1001_13^13 - 1149844179077434277211751580365650219628321060753/36266725886775321\ 922788717020156502847791019312*c_1001_13^12 - 29368412225027924840224941573921898883578305280837/5621342512450174\ 89803225113812425794140760799336*c_1001_13^11 - 48616648270857765030128635777531557942452238794791/1124268502490034\ 979606450227624851588281521598672*c_1001_13^10 - 225253691990690402909559024781076127502905641645/140533562811254372\ 450806278453106448535190199834*c_1001_13^9 + 2882472605002547357399184996055830246179177294636/70266781405627186\ 225403139226553224267595099917*c_1001_13^8 + 50295645269824517180726996338010365293794011971891/1124268502490034\ 979606450227624851588281521598672*c_1001_13^7 + 3013445473984000025676445345622516945660049067691/28106712562250874\ 4901612556906212897070380399668*c_1001_13^6 - 22710613081517961123047619669219004692798517008453/1124268502490034\ 979606450227624851588281521598672*c_1001_13^5 - 28637206488043932524856318903578188856618722898959/1124268502490034\ 979606450227624851588281521598672*c_1001_13^4 - 8180922629423358620506993122996940360359638278199/56213425124501748\ 9803225113812425794140760799336*c_1001_13^3 - 1060428200347533231419911952041805524149890366877/28106712562250874\ 4901612556906212897070380399668*c_1001_13^2 + 81169756914344928018465342743209400204373661675/1405335628112543724\ 50806278453106448535190199834*c_1001_13 + 18958945782439939338857711114547365374817046542/7026678140562718622\ 5403139226553224267595099917, c_0101_11 - c_1001_13, c_0101_12 + 627754199276730511459741700472929034525675111/1124268502490\ 034979606450227624851588281521598672*c_1001_13^27 + 5156208234755566432775052243132093808835299047/11242685024900349796\ 06450227624851588281521598672*c_1001_13^26 + 17476622644230261461190453501001346280481793459/1124268502490034979\ 606450227624851588281521598672*c_1001_13^25 + 33048699394195247981634096719480177492729543039/1124268502490034979\ 606450227624851588281521598672*c_1001_13^24 + 46950518676478065719669886452834448218014602283/1124268502490034979\ 606450227624851588281521598672*c_1001_13^23 + 18550217715190087270707137038972392289732917833/2810671256225087449\ 01612556906212897070380399668*c_1001_13^22 + 116772748636280264785057176750423602298192857699/112426850249003497\ 9606450227624851588281521598672*c_1001_13^21 + 56309556998508781937410581463044927660232869649/5621342512450174898\ 03225113812425794140760799336*c_1001_13^20 - 15407671466400902187840521821132849029444871129/1124268502490034979\ 606450227624851588281521598672*c_1001_13^19 - 104973380315958969072840801404951479700727134949/562134251245017489\ 803225113812425794140760799336*c_1001_13^18 - 42524953343246943843671968316150569655707659853/1405335628112543724\ 50806278453106448535190199834*c_1001_13^17 - 547694849365385506457333889568039628339398006111/112426850249003497\ 9606450227624851588281521598672*c_1001_13^16 - 1011945713596162819253090367672001827316797443419/11242685024900349\ 79606450227624851588281521598672*c_1001_13^15 - 135216618762437201673952217908979523980015366443/140533562811254372\ 450806278453106448535190199834*c_1001_13^14 + 569149105478691576737450361500797049825492095659/112426850249003497\ 9606450227624851588281521598672*c_1001_13^13 + 9044216678304188746897874158553291813809604553/22666703679234576201\ 74294813759781427986938707*c_1001_13^12 + 1045302640979477091771893157629779923676111149687/14053356281125437\ 2450806278453106448535190199834*c_1001_13^11 + 8023839754856490428070315596626080411796822138473/11242685024900349\ 79606450227624851588281521598672*c_1001_13^10 + 2231918928095778530461264913697562629869177475053/11242685024900349\ 79606450227624851588281521598672*c_1001_13^9 - 5388640405793450027193201835845592567902667452773/11242685024900349\ 79606450227624851588281521598672*c_1001_13^8 - 2098360165987091464014868814794381206717190704651/28106712562250874\ 4901612556906212897070380399668*c_1001_13^7 - 1064310465805475746381396863605407296747743812423/28106712562250874\ 4901612556906212897070380399668*c_1001_13^6 + 1079428647707130146577372460204858160929314378815/11242685024900349\ 79606450227624851588281521598672*c_1001_13^5 + 2033694795580624776306177987397498629051564512743/56213425124501748\ 9803225113812425794140760799336*c_1001_13^4 + 2579411815547901328636208752415260777155339391759/56213425124501748\ 9803225113812425794140760799336*c_1001_13^3 + 517778729220099553469575779938655636082713506801/281067125622508744\ 901612556906212897070380399668*c_1001_13^2 - 10600123206222698504063785069194168955066270853/1405335628112543724\ 50806278453106448535190199834*c_1001_13 - 14523018130654312160649937299823434894760207641/7026678140562718622\ 5403139226553224267595099917, c_0101_14 + 627754199276730511459741700472929034525675111/1124268502490\ 034979606450227624851588281521598672*c_1001_13^27 + 5156208234755566432775052243132093808835299047/11242685024900349796\ 06450227624851588281521598672*c_1001_13^26 + 17476622644230261461190453501001346280481793459/1124268502490034979\ 606450227624851588281521598672*c_1001_13^25 + 33048699394195247981634096719480177492729543039/1124268502490034979\ 606450227624851588281521598672*c_1001_13^24 + 46950518676478065719669886452834448218014602283/1124268502490034979\ 606450227624851588281521598672*c_1001_13^23 + 18550217715190087270707137038972392289732917833/2810671256225087449\ 01612556906212897070380399668*c_1001_13^22 + 116772748636280264785057176750423602298192857699/112426850249003497\ 9606450227624851588281521598672*c_1001_13^21 + 56309556998508781937410581463044927660232869649/5621342512450174898\ 03225113812425794140760799336*c_1001_13^20 - 15407671466400902187840521821132849029444871129/1124268502490034979\ 606450227624851588281521598672*c_1001_13^19 - 104973380315958969072840801404951479700727134949/562134251245017489\ 803225113812425794140760799336*c_1001_13^18 - 42524953343246943843671968316150569655707659853/1405335628112543724\ 50806278453106448535190199834*c_1001_13^17 - 547694849365385506457333889568039628339398006111/112426850249003497\ 9606450227624851588281521598672*c_1001_13^16 - 1011945713596162819253090367672001827316797443419/11242685024900349\ 79606450227624851588281521598672*c_1001_13^15 - 135216618762437201673952217908979523980015366443/140533562811254372\ 450806278453106448535190199834*c_1001_13^14 + 569149105478691576737450361500797049825492095659/112426850249003497\ 9606450227624851588281521598672*c_1001_13^13 + 9044216678304188746897874158553291813809604553/22666703679234576201\ 74294813759781427986938707*c_1001_13^12 + 1045302640979477091771893157629779923676111149687/14053356281125437\ 2450806278453106448535190199834*c_1001_13^11 + 8023839754856490428070315596626080411796822138473/11242685024900349\ 79606450227624851588281521598672*c_1001_13^10 + 2231918928095778530461264913697562629869177475053/11242685024900349\ 79606450227624851588281521598672*c_1001_13^9 - 5388640405793450027193201835845592567902667452773/11242685024900349\ 79606450227624851588281521598672*c_1001_13^8 - 2098360165987091464014868814794381206717190704651/28106712562250874\ 4901612556906212897070380399668*c_1001_13^7 - 1064310465805475746381396863605407296747743812423/28106712562250874\ 4901612556906212897070380399668*c_1001_13^6 + 1079428647707130146577372460204858160929314378815/11242685024900349\ 79606450227624851588281521598672*c_1001_13^5 + 2033694795580624776306177987397498629051564512743/56213425124501748\ 9803225113812425794140760799336*c_1001_13^4 + 2579411815547901328636208752415260777155339391759/56213425124501748\ 9803225113812425794140760799336*c_1001_13^3 + 517778729220099553469575779938655636082713506801/281067125622508744\ 901612556906212897070380399668*c_1001_13^2 - 10600123206222698504063785069194168955066270853/1405335628112543724\ 50806278453106448535190199834*c_1001_13 - 14523018130654312160649937299823434894760207641/7026678140562718622\ 5403139226553224267595099917, c_0101_4 - 6522213531093312681473221394898194204981233697/2248537004980\ 069959212900455249703176563043197344*c_1001_13^27 - 47962324448915015588668073639792456124457808437/2248537004980069959\ 212900455249703176563043197344*c_1001_13^26 - 154670897197830410318811754048702124457747147207/224853700498006995\ 9212900455249703176563043197344*c_1001_13^25 - 299309527166683629089834334506692363193279351467/224853700498006995\ 9212900455249703176563043197344*c_1001_13^24 - 455562397183671497680305657182254922569949688187/224853700498006995\ 9212900455249703176563043197344*c_1001_13^23 - 352173193576437743088683304512120089686629206253/112426850249003497\ 9606450227624851588281521598672*c_1001_13^22 - 1059441472610961506971392942485857508134499485399/22485370049800699\ 59212900455249703176563043197344*c_1001_13^21 - 528723096020090671841817504835234210328073776983/112426850249003497\ 9606450227624851588281521598672*c_1001_13^20 - 54051491462717435737469432706447086045978357899/2248537004980069959\ 212900455249703176563043197344*c_1001_13^19 + 847699308512820566449470121143972250624424080367/112426850249003497\ 9606450227624851588281521598672*c_1001_13^18 + 1634042522214826937182315433317763304260098264015/11242685024900349\ 79606450227624851588281521598672*c_1001_13^17 + 5326050877792986203667192122446269878453723510565/22485370049800699\ 59212900455249703176563043197344*c_1001_13^16 + 8875484626916681265893077136543138056046601390773/22485370049800699\ 59212900455249703176563043197344*c_1001_13^15 + 4821704688774334334220739766224702094171471857165/11242685024900349\ 79606450227624851588281521598672*c_1001_13^14 - 3754328325890774566122736900112765721012325386247/22485370049800699\ 59212900455249703176563043197344*c_1001_13^13 - 153306306637623732553357588470209028381901976441/906668147169383048\ 0697179255039125711947754828*c_1001_13^12 - 37742411881702920924621656219237513246970387334317/1124268502490034\ 979606450227624851588281521598672*c_1001_13^11 - 79268647693125556604531199464473704400548640524975/2248537004980069\ 959212900455249703176563043197344*c_1001_13^10 - 29322954917817081546354467190648491962745712454539/2248537004980069\ 959212900455249703176563043197344*c_1001_13^9 + 44527510974250907973281572312106902131485664145445/2248537004980069\ 959212900455249703176563043197344*c_1001_13^8 + 39535035739601600133268323135372997748756905672183/1124268502490034\ 979606450227624851588281521598672*c_1001_13^7 + 22498365506881832639985176759316337668648651918801/1124268502490034\ 979606450227624851588281521598672*c_1001_13^6 - 14364841929183476181125284339532861530637733392117/2248537004980069\ 959212900455249703176563043197344*c_1001_13^5 - 24374855943878683681572061039982381750226613921037/1124268502490034\ 979606450227624851588281521598672*c_1001_13^4 - 5033825747480125859444200110895179935632030768403/28106712562250874\ 4901612556906212897070380399668*c_1001_13^3 - 399272376409529449013739108840292822163502280404/702667814056271862\ 25403139226553224267595099917*c_1001_13^2 + 105164478253222165156131198854194607807308514429/140533562811254372\ 450806278453106448535190199834*c_1001_13 + 57581452668662490608668674043998633206426127955/7026678140562718622\ 5403139226553224267595099917, c_0101_6 - 13689849742166860467466082937515565/269899029343195499200537\ 4095780999292*c_1001_13^27 - 375443458336417195483327493108855547/1\ 0795961173727819968021496383123997168*c_1001_13^26 - 1139764322776750246985322106230201917/10795961173727819968021496383\ 123997168*c_1001_13^25 - 2106318815829604942074784567006524587/1079\ 5961173727819968021496383123997168*c_1001_13^24 - 3158151745602181988282590032523310179/10795961173727819968021496383\ 123997168*c_1001_13^23 - 4894812312979060000579177336211220951/1079\ 5961173727819968021496383123997168*c_1001_13^22 - 1833321702178213467099552893909134405/26989902934319549920053740957\ 80999292*c_1001_13^21 - 6790906020548582300538787689329740781/10795\ 961173727819968021496383123997168*c_1001_13^20 + 56152278269171255909329518991396239/6747475733579887480013435239452\ 49823*c_1001_13^19 + 12912692733925340896264964348441565967/1079596\ 1173727819968021496383123997168*c_1001_13^18 + 1413783981465767064711328260395328328/67474757335798874800134352394\ 5249823*c_1001_13^17 + 18454458293213899632429493776792977769/53979\ 80586863909984010748191561998584*c_1001_13^16 + 61718441963175241532001097733424774027/1079596117372781996802149638\ 3123997168*c_1001_13^15 + 63486637120086262716387746848922514641/10\ 795961173727819968021496383123997168*c_1001_13^14 - 5469504964664043164593541764545809977/13494951467159774960026870478\ 90499646*c_1001_13^13 - 9321903809234741908734258808481243027/34825\ 6812055736128000693431713677328*c_1001_13^12 - 262638906237467341232685494851445074233/539798058686390998401074819\ 1561998584*c_1001_13^11 - 249372660266306810982007224102038662389/5\ 397980586863909984010748191561998584*c_1001_13^10 - 121735011189918137902807085051144319585/107959611737278199680214963\ 83123997168*c_1001_13^9 + 345711900706777791916412428721484704517/1\ 0795961173727819968021496383123997168*c_1001_13^8 + 484290269707936688063947953250334476905/107959611737278199680214963\ 83123997168*c_1001_13^7 + 26607403008960659585229163955097554955/13\ 49495146715977496002687047890499646*c_1001_13^6 - 68521439144011193529756022507851160373/5397980586863909984010748191\ 561998584*c_1001_13^5 - 270065050378846459970808359361267741775/107\ 95961173727819968021496383123997168*c_1001_13^4 - 45182757841571956287148520482181262591/2698990293431954992005374095\ 780999292*c_1001_13^3 - 18567021522211749826781622892317600243/2698\ 990293431954992005374095780999292*c_1001_13^2 - 748694678698044366839698440275679461/674747573357988748001343523945\ 249823*c_1001_13 - 624083150243895096661065335865728020/67474757335\ 7988748001343523945249823, c_0101_7 - 627754199276730511459741700472929034525675111/11242685024900\ 34979606450227624851588281521598672*c_1001_13^27 - 5156208234755566432775052243132093808835299047/11242685024900349796\ 06450227624851588281521598672*c_1001_13^26 - 17476622644230261461190453501001346280481793459/1124268502490034979\ 606450227624851588281521598672*c_1001_13^25 - 33048699394195247981634096719480177492729543039/1124268502490034979\ 606450227624851588281521598672*c_1001_13^24 - 46950518676478065719669886452834448218014602283/1124268502490034979\ 606450227624851588281521598672*c_1001_13^23 - 18550217715190087270707137038972392289732917833/2810671256225087449\ 01612556906212897070380399668*c_1001_13^22 - 116772748636280264785057176750423602298192857699/112426850249003497\ 9606450227624851588281521598672*c_1001_13^21 - 56309556998508781937410581463044927660232869649/5621342512450174898\ 03225113812425794140760799336*c_1001_13^20 + 15407671466400902187840521821132849029444871129/1124268502490034979\ 606450227624851588281521598672*c_1001_13^19 + 104973380315958969072840801404951479700727134949/562134251245017489\ 803225113812425794140760799336*c_1001_13^18 + 42524953343246943843671968316150569655707659853/1405335628112543724\ 50806278453106448535190199834*c_1001_13^17 + 547694849365385506457333889568039628339398006111/112426850249003497\ 9606450227624851588281521598672*c_1001_13^16 + 1011945713596162819253090367672001827316797443419/11242685024900349\ 79606450227624851588281521598672*c_1001_13^15 + 135216618762437201673952217908979523980015366443/140533562811254372\ 450806278453106448535190199834*c_1001_13^14 - 569149105478691576737450361500797049825492095659/112426850249003497\ 9606450227624851588281521598672*c_1001_13^13 - 9044216678304188746897874158553291813809604553/22666703679234576201\ 74294813759781427986938707*c_1001_13^12 - 1045302640979477091771893157629779923676111149687/14053356281125437\ 2450806278453106448535190199834*c_1001_13^11 - 8023839754856490428070315596626080411796822138473/11242685024900349\ 79606450227624851588281521598672*c_1001_13^10 - 2231918928095778530461264913697562629869177475053/11242685024900349\ 79606450227624851588281521598672*c_1001_13^9 + 5388640405793450027193201835845592567902667452773/11242685024900349\ 79606450227624851588281521598672*c_1001_13^8 + 2098360165987091464014868814794381206717190704651/28106712562250874\ 4901612556906212897070380399668*c_1001_13^7 + 1064310465805475746381396863605407296747743812423/28106712562250874\ 4901612556906212897070380399668*c_1001_13^6 - 1079428647707130146577372460204858160929314378815/11242685024900349\ 79606450227624851588281521598672*c_1001_13^5 - 2033694795580624776306177987397498629051564512743/56213425124501748\ 9803225113812425794140760799336*c_1001_13^4 - 2579411815547901328636208752415260777155339391759/56213425124501748\ 9803225113812425794140760799336*c_1001_13^3 - 517778729220099553469575779938655636082713506801/281067125622508744\ 901612556906212897070380399668*c_1001_13^2 + 10600123206222698504063785069194168955066270853/1405335628112543724\ 50806278453106448535190199834*c_1001_13 + 14523018130654312160649937299823434894760207641/7026678140562718622\ 5403139226553224267595099917, c_0110_10 - 2633290403824446094928778565656538724416700175/112426850249\ 0034979606450227624851588281521598672*c_1001_13^27 - 16444164251597691282982566017962904756873322859/1124268502490034979\ 606450227624851588281521598672*c_1001_13^26 - 43924883160473455766640059304207668526053965925/1124268502490034979\ 606450227624851588281521598672*c_1001_13^25 - 68980165434613656727334562234883770093352278805/1124268502490034979\ 606450227624851588281521598672*c_1001_13^24 - 93154679523172023519597137149724978422702206461/1124268502490034979\ 606450227624851588281521598672*c_1001_13^23 - 73638082146043112145545132193051798668961718279/5621342512450174898\ 03225113812425794140760799336*c_1001_13^22 - 215748493177737189917901900342960178616834856825/112426850249003497\ 9606450227624851588281521598672*c_1001_13^21 - 61799115141513249830536719907859193949858532175/5621342512450174898\ 03225113812425794140760799336*c_1001_13^20 + 225676380317790519311803947488078802658013381903/112426850249003497\ 9606450227624851588281521598672*c_1001_13^19 + 290253947806342971820865946254068736787208260467/562134251245017489\ 803225113812425794140760799336*c_1001_13^18 + 360548628607498925481336351121456172200521652223/562134251245017489\ 803225113812425794140760799336*c_1001_13^17 + 1136029196929431131615692581038390340609279476807/11242685024900349\ 79606450227624851588281521598672*c_1001_13^16 + 1924766017869599300961820932008328873012552217819/11242685024900349\ 79606450227624851588281521598672*c_1001_13^15 + 658329581832417244822227614041909622299024989945/562134251245017489\ 803225113812425794140760799336*c_1001_13^14 - 3812060145957435286302732496417722069078515329089/11242685024900349\ 79606450227624851588281521598672*c_1001_13^13 - 100890134549120733272841643821880929222080266511/906668147169383048\ 0697179255039125711947754828*c_1001_13^12 - 8496460706279943051882580283649324672593463852601/56213425124501748\ 9803225113812425794140760799336*c_1001_13^11 - 9402392043900328925486382206210840387924884398773/11242685024900349\ 79606450227624851588281521598672*c_1001_13^10 + 7764846393416050175922074457670196219566499951051/11242685024900349\ 79606450227624851588281521598672*c_1001_13^9 + 19440041121389342196436225428179985676110113712863/1124268502490034\ 979606450227624851588281521598672*c_1001_13^8 + 6635059201722349408148236706985604894693881668625/56213425124501748\ 9803225113812425794140760799336*c_1001_13^7 - 1591055461470179531549038758992214949530244488409/56213425124501748\ 9803225113812425794140760799336*c_1001_13^6 - 12451455527644935416579967550298555487843760122983/1124268502490034\ 979606450227624851588281521598672*c_1001_13^5 - 4561085661899997276156261255876118171701773304363/56213425124501748\ 9803225113812425794140760799336*c_1001_13^4 - 353159855389560393448121383163783202286774493329/281067125622508744\ 901612556906212897070380399668*c_1001_13^3 + 244554173144531519573717022436141560679211988283/281067125622508744\ 901612556906212897070380399668*c_1001_13^2 + 96799350288572965391227552281432846496003583121/7026678140562718622\ 5403139226553224267595099917*c_1001_13 - 9499476640807392950717634033868990602864911474/70266781405627186225\ 403139226553224267595099917, c_1001_11 - 1510321504095917436087819225402400838388959797/281067125622\ 508744901612556906212897070380399668*c_1001_13^27 - 17426411207758914443478033716660512080519319019/5621342512450174898\ 03225113812425794140760799336*c_1001_13^26 - 10605667704238851242696283301376116533060933307/1405335628112543724\ 50806278453106448535190199834*c_1001_13^25 - 31174167007294859857664900808978049338556929045/2810671256225087449\ 01612556906212897070380399668*c_1001_13^24 - 11361070455732440441007365818083299011351476384/7026678140562718622\ 5403139226553224267595099917*c_1001_13^23 - 76975648301898771150022670146184486401810872827/2810671256225087449\ 01612556906212897070380399668*c_1001_13^22 - 211325089798377615118934009179116841053688931547/562134251245017489\ 803225113812425794140760799336*c_1001_13^21 - 93484432927152848025374534753337389021320615529/5621342512450174898\ 03225113812425794140760799336*c_1001_13^20 + 212475140458946607527036997705765499131601130261/562134251245017489\ 803225113812425794140760799336*c_1001_13^19 + 462848711576859781629514004549739154566984224559/562134251245017489\ 803225113812425794140760799336*c_1001_13^18 + 617041565976975418341521962184616227835191783795/562134251245017489\ 803225113812425794140760799336*c_1001_13^17 + 611578888255938357286572014770941295905854916047/281067125622508744\ 901612556906212897070380399668*c_1001_13^16 + 1936154233075041075323515941454269022021909405861/56213425124501748\ 9803225113812425794140760799336*c_1001_13^15 + 475756387533708746446857664858825789605947018249/281067125622508744\ 901612556906212897070380399668*c_1001_13^14 - 4080823239809728136514793686870184544409992366915/56213425124501748\ 9803225113812425794140760799336*c_1001_13^13 - 366819289425658840165145260894005482203451730943/181333629433876609\ 61394358510078251423895509656*c_1001_13^12 - 14295621067608034765970557329933475625923631610443/5621342512450174\ 89803225113812425794140760799336*c_1001_13^11 - 1955976508702410523727277534554638629039372085357/14053356281125437\ 2450806278453106448535190199834*c_1001_13^10 + 5016318749339694070191303173566037828431193019421/56213425124501748\ 9803225113812425794140760799336*c_1001_13^9 + 1643552865035293708608740426300711026932166060902/70266781405627186\ 225403139226553224267595099917*c_1001_13^8 + 4317832921218339288615896143829345473700135771999/28106712562250874\ 4901612556906212897070380399668*c_1001_13^7 - 1168465125753964798811630778199635180964828236609/56213425124501748\ 9803225113812425794140760799336*c_1001_13^6 - 3072518708183520119431623107553834292083752839515/28106712562250874\ 4901612556906212897070380399668*c_1001_13^5 - 6205995468150043285627184811218678440439847828695/56213425124501748\ 9803225113812425794140760799336*c_1001_13^4 - 2687249638261656260537186694905398653995253155507/56213425124501748\ 9803225113812425794140760799336*c_1001_13^3 - 332862811487024412289443068272736124127090616639/281067125622508744\ 901612556906212897070380399668*c_1001_13^2 + 65086892149213478054652230845513968102320316733/1405335628112543724\ 50806278453106448535190199834*c_1001_13 - 6779976029183644455813600585270423396547721293/70266781405627186225\ 403139226553224267595099917, c_1001_13^28 + 7*c_1001_13^27 + 21*c_1001_13^26 + 37*c_1001_13^25 + 53*c_1001_13^24 + 84*c_1001_13^23 + 127*c_1001_13^22 + 108*c_1001_13^21 - 45*c_1001_13^20 - 248*c_1001_13^19 - 382*c_1001_13^18 - 625*c_1001_13^17 - 1095*c_1001_13^16 - 1032*c_1001_13^15 + 1079*c_1001_13^14 + 5510*c_1001_13^13 + 9174*c_1001_13^12 + 7723*c_1001_13^11 + 529*c_1001_13^10 - 7075*c_1001_13^9 - 7972*c_1001_13^8 - 2122*c_1001_13^7 + 3345*c_1001_13^6 + 4652*c_1001_13^5 + 2880*c_1001_13^4 + 656*c_1001_13^3 - 80*c_1001_13^2 - 64*c_1001_13 + 64 ], 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_12, c_0011_13, c_0011_3, c_0101_0, c_0101_10, c_0101_11, c_0101_12, c_0101_14, c_0101_4, c_0101_6, c_0101_7, c_0110_10, c_1001_11, c_1001_13 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 42 Groebner basis: [ t - 224233059655969191677653686903492070859/163215869892030889563437078\ 36297511*c_1001_11*c_1001_13^20 - 137932684453063714907239803826994\ 2703630/16321586989203088956343707836297511*c_1001_11*c_1001_13^19 - 3541029737168257009052902618653970559417/16321586989203088956343707\ 836297511*c_1001_11*c_1001_13^18 - 5280015172425304615276958900710881494941/16321586989203088956343707\ 836297511*c_1001_11*c_1001_13^17 - 2424558322909610424464639381097505508784/54405289964010296521145692\ 78765837*c_1001_11*c_1001_13^16 - 122863861782893916456112761346427\ 35422205/16321586989203088956343707836297511*c_1001_11*c_1001_13^15 - 17486923378644231699474075883756151757674/16321586989203088956343\ 707836297511*c_1001_11*c_1001_13^14 - 7659283675757087623365814548686357409277/54405289964010296521145692\ 78765837*c_1001_11*c_1001_13^13 - 426463496326786474759513633097624\ 43875011/16321586989203088956343707836297511*c_1001_11*c_1001_13^12 - 73147194589592564534080142591482705893872/16321586989203088956343\ 707836297511*c_1001_11*c_1001_13^11 - 82252513224507558198956205202592079202636/1632158698920308895634370\ 7836297511*c_1001_11*c_1001_13^10 - 22725074054494084702817778744165493951881/5440528996401029652114569\ 278765837*c_1001_11*c_1001_13^9 - 625680286799317453482068502028962\ 31656259/16321586989203088956343707836297511*c_1001_11*c_1001_13^8 - 18671932622905735677350813689692891026391/5440528996401029652114569\ 278765837*c_1001_11*c_1001_13^7 - 905768291199286220109135921522776\ 3542236/5440528996401029652114569278765837*c_1001_11*c_1001_13^6 - 9842097437869303273820274133983423933419/16321586989203088956343707\ 836297511*c_1001_11*c_1001_13^5 - 205481157492710604770935272898629\ 77679421/16321586989203088956343707836297511*c_1001_11*c_1001_13^4 - 24043467933594446307004537793569329107539/1632158698920308895634370\ 7836297511*c_1001_11*c_1001_13^3 - 3722138633139683323604079792284104990063/54405289964010296521145692\ 78765837*c_1001_11*c_1001_13^2 - 6452084387769315691648236277895877\ 57849/5440528996401029652114569278765837*c_1001_11*c_1001_13 - 32646507096004384681755461589934694269/1632158698920308895634370783\ 6297511*c_1001_11 - 113493942749179378905839770246163264890/5440528\ 996401029652114569278765837*c_1001_13^20 - 682198508690723673116571241316774937010/544052899640102965211456927\ 8765837*c_1001_13^19 - 1698236041710868884496697784349866218309/544\ 0528996401029652114569278765837*c_1001_13^18 - 2443650190774972615960084351503671840756/54405289964010296521145692\ 78765837*c_1001_13^17 - 3359438878740327938196330725339266064263/54\ 40528996401029652114569278765837*c_1001_13^16 - 5772528278896873899385119540131150545826/54405289964010296521145692\ 78765837*c_1001_13^15 - 8076209449172906866602916372090638513772/54\ 40528996401029652114569278765837*c_1001_13^14 - 10563196953587027947918704376944224148060/5440528996401029652114569\ 278765837*c_1001_13^13 - 20186779732083162249355384438292507911653/\ 5440528996401029652114569278765837*c_1001_13^12 - 34298434587210879253898810724175248220064/5440528996401029652114569\ 278765837*c_1001_13^11 - 37059105822752621477435405928512545436818/\ 5440528996401029652114569278765837*c_1001_13^10 - 29691141250188430287645805582456549080519/5440528996401029652114569\ 278765837*c_1001_13^9 - 27836648341361193271097810215221695079502/5\ 440528996401029652114569278765837*c_1001_13^8 - 24673348003019821039680399951458795775192/5440528996401029652114569\ 278765837*c_1001_13^7 - 10550233653383638459503133373980219090681/5\ 440528996401029652114569278765837*c_1001_13^6 - 3708131507226495990237315931221895860482/54405289964010296521145692\ 78765837*c_1001_13^5 - 9894416594933418024621986567451946089699/544\ 0528996401029652114569278765837*c_1001_13^4 - 10798129462005197321909273336212521185022/5440528996401029652114569\ 278765837*c_1001_13^3 - 4272046593434912165181023974643828254577/54\ 40528996401029652114569278765837*c_1001_13^2 - 470336311565778412487191995107514507651/544052899640102965211456927\ 8765837*c_1001_13 + 48870050060662233849934894026410355593/54405289\ 96401029652114569278765837, c_0011_0 - 1, c_0011_10 + 104151536215311133066/138971613631509136409*c_1001_11*c_100\ 1_13^20 + 598495356564944982632/138971613631509136409*c_1001_11*c_1\ 001_13^19 + 1411567171348492332344/138971613631509136409*c_1001_11*\ c_1001_13^18 + 1938939989794719589125/138971613631509136409*c_1001_\ 11*c_1001_13^17 + 2753371853701543789201/138971613631509136409*c_10\ 01_11*c_1001_13^16 + 4853724283337897685331/138971613631509136409*c\ _1001_11*c_1001_13^15 + 6520750792761039291922/13897161363150913640\ 9*c_1001_11*c_1001_13^14 + 8612798904064234544999/13897161363150913\ 6409*c_1001_11*c_1001_13^13 + 17188054354539243911379/1389716136315\ 09136409*c_1001_11*c_1001_13^12 + 28182562036481660729799/138971613\ 631509136409*c_1001_11*c_1001_13^11 + 28778971469435641983061/138971613631509136409*c_1001_11*c_1001_13^1\ 0 + 23492155499956236960827/138971613631509136409*c_1001_11*c_1001_\ 13^9 + 23872307869626037834721/138971613631509136409*c_1001_11*c_10\ 01_13^8 + 20149725981907866995994/138971613631509136409*c_1001_11*c\ _1001_13^7 + 7730955748919925388867/138971613631509136409*c_1001_11\ *c_1001_13^6 + 4487461441906685528786/138971613631509136409*c_1001_\ 11*c_1001_13^5 + 9591140568203447900026/138971613631509136409*c_100\ 1_11*c_1001_13^4 + 7835144907847853516212/138971613631509136409*c_1\ 001_11*c_1001_13^3 + 2782801758785127047772/138971613631509136409*c\ _1001_11*c_1001_13^2 + 1064181030291423933131/138971613631509136409\ *c_1001_11*c_1001_13 + 293874739248080481522/138971613631509136409*\ c_1001_11 + 84746580963712544234/138971613631509136409*c_1001_13^20 + 484679691445780965796/138971613631509136409*c_1001_13^19 + 1130438210343442731277/138971613631509136409*c_1001_13^18 + 1525089034418015038851/138971613631509136409*c_1001_13^17 + 2164244127975921187193/138971613631509136409*c_1001_13^16 + 3856351207607898894609/138971613631509136409*c_1001_13^15 + 5124524786046473171360/138971613631509136409*c_1001_13^14 + 6730893036227765697670/138971613631509136409*c_1001_13^13 + 13678265529854433446710/138971613631509136409*c_1001_13^12 + 22326565648786821021464/138971613631509136409*c_1001_13^11 + 22259987333667228577484/138971613631509136409*c_1001_13^10 + 17903699922123337354900/138971613631509136409*c_1001_13^9 + 18513666034890361413424/138971613631509136409*c_1001_13^8 + 15309703952273715355427/138971613631509136409*c_1001_13^7 + 5146264234917109822984/138971613631509136409*c_1001_13^6 + 3171328899132968429550/138971613631509136409*c_1001_13^5 + 7518404101064814301987/138971613631509136409*c_1001_13^4 + 5766233502155415253110/138971613631509136409*c_1001_13^3 + 1999734801759825052122/138971613631509136409*c_1001_13^2 + 845979570863434296129/138971613631509136409*c_1001_13 + 128422207901055151790/138971613631509136409, c_0011_11 - 171121764707895544707/138971613631509136409*c_1001_11*c_100\ 1_13^20 - 956907259858969166171/138971613631509136409*c_1001_11*c_1\ 001_13^19 - 2189452743226300027665/138971613631509136409*c_1001_11*\ c_1001_13^18 - 2937524697826346808646/138971613631509136409*c_1001_\ 11*c_1001_13^17 - 4243656765879827883580/138971613631509136409*c_10\ 01_11*c_1001_13^16 - 7514562978467385589015/138971613631509136409*c\ _1001_11*c_1001_13^15 - 9871760181935913798478/13897161363150913640\ 9*c_1001_11*c_1001_13^14 - 13212991107093663718235/1389716136315091\ 36409*c_1001_11*c_1001_13^13 - 26845238472457556433296/138971613631\ 509136409*c_1001_11*c_1001_13^12 - 43114351522004339177306/138971613631509136409*c_1001_11*c_1001_13^1\ 1 - 42845321529687043454734/138971613631509136409*c_1001_11*c_1001_\ 13^10 - 35064775794763588414910/138971613631509136409*c_1001_11*c_1\ 001_13^9 - 36241295806022197449284/138971613631509136409*c_1001_11*\ c_1001_13^8 - 29576786995622956159765/138971613631509136409*c_1001_\ 11*c_1001_13^7 - 10542255779712820395129/138971613631509136409*c_10\ 01_11*c_1001_13^6 - 7103254512557310745431/138971613631509136409*c_\ 1001_11*c_1001_13^5 - 14739890052687724478586/138971613631509136409\ *c_1001_11*c_1001_13^4 - 11334608727940675667999/138971613631509136\ 409*c_1001_11*c_1001_13^3 - 3903815517929848376587/1389716136315091\ 36409*c_1001_11*c_1001_13^2 - 1539695322706725919493/13897161363150\ 9136409*c_1001_11*c_1001_13 - 436234506640498682304/138971613631509\ 136409*c_1001_11 - 31443100027827926415/138971613631509136409*c_100\ 1_13^20 - 159816516381057980938/138971613631509136409*c_1001_13^19 - 318732423556434114485/138971613631509136409*c_1001_13^18 - 371890351931173257947/138971613631509136409*c_1001_13^17 - 595457438937300947262/138971613631509136409*c_1001_13^16 - 1101372676737654026727/138971613631509136409*c_1001_13^15 - 1262790642218357313389/138971613631509136409*c_1001_13^14 - 1793452910130442652089/138971613631509136409*c_1001_13^13 - 4090237862231030889479/138971613631509136409*c_1001_13^12 - 5874867517713700118654/138971613631509136409*c_1001_13^11 - 4849691186418895502317/138971613631509136409*c_1001_13^10 - 4181361647345623283561/138971613631509136409*c_1001_13^9 - 5005531498857190541869/138971613631509136409*c_1001_13^8 - 3155621519345893405314/138971613631509136409*c_1001_13^7 - 401773773450169335240/138971613631509136409*c_1001_13^6 - 1350813365708525256581/138971613631509136409*c_1001_13^5 - 2171862574352092574696/138971613631509136409*c_1001_13^4 - 767238541421815574917/138971613631509136409*c_1001_13^3 - 274890703515621138296/138971613631509136409*c_1001_13^2 - 228388290734364640977/138971613631509136409*c_1001_13 - 12074224989062582349/138971613631509136409, c_0011_12 - 688572559642386/1107017163318457*c_1001_13^20 - 3886743776234517/1107017163318457*c_1001_13^19 - 8951815255444707/1107017163318457*c_1001_13^18 - 12059392132367447/1107017163318457*c_1001_13^17 - 17425497355782591/1107017163318457*c_1001_13^16 - 30946389099996079/1107017163318457*c_1001_13^15 - 40744015487222682/1107017163318457*c_1001_13^14 - 54387995509177115/1107017163318457*c_1001_13^13 - 110316713675714187/1107017163318457*c_1001_13^12 - 177477855368575109/1107017163318457*c_1001_13^11 - 177373946316846981/1107017163318457*c_1001_13^10 - 146841647846685171/1107017163318457*c_1001_13^9 - 152583159774800860/1107017163318457*c_1001_13^8 - 125586337067764750/1107017163318457*c_1001_13^7 - 47397349746226246/1107017163318457*c_1001_13^6 - 32638312208766432/1107017163318457*c_1001_13^5 - 61950160948788514/1107017163318457*c_1001_13^4 - 47117505229727854/1107017163318457*c_1001_13^3 - 17847152424316111/1107017163318457*c_1001_13^2 - 6927615322265992/1107017163318457*c_1001_13 - 2639029392977344/1107017163318457, c_0011_13 - 104151536215311133066/138971613631509136409*c_1001_11*c_100\ 1_13^20 - 598495356564944982632/138971613631509136409*c_1001_11*c_1\ 001_13^19 - 1411567171348492332344/138971613631509136409*c_1001_11*\ c_1001_13^18 - 1938939989794719589125/138971613631509136409*c_1001_\ 11*c_1001_13^17 - 2753371853701543789201/138971613631509136409*c_10\ 01_11*c_1001_13^16 - 4853724283337897685331/138971613631509136409*c\ _1001_11*c_1001_13^15 - 6520750792761039291922/13897161363150913640\ 9*c_1001_11*c_1001_13^14 - 8612798904064234544999/13897161363150913\ 6409*c_1001_11*c_1001_13^13 - 17188054354539243911379/1389716136315\ 09136409*c_1001_11*c_1001_13^12 - 28182562036481660729799/138971613\ 631509136409*c_1001_11*c_1001_13^11 - 28778971469435641983061/138971613631509136409*c_1001_11*c_1001_13^1\ 0 - 23492155499956236960827/138971613631509136409*c_1001_11*c_1001_\ 13^9 - 23872307869626037834721/138971613631509136409*c_1001_11*c_10\ 01_13^8 - 20149725981907866995994/138971613631509136409*c_1001_11*c\ _1001_13^7 - 7730955748919925388867/138971613631509136409*c_1001_11\ *c_1001_13^6 - 4487461441906685528786/138971613631509136409*c_1001_\ 11*c_1001_13^5 - 9591140568203447900026/138971613631509136409*c_100\ 1_11*c_1001_13^4 - 7835144907847853516212/138971613631509136409*c_1\ 001_11*c_1001_13^3 - 2782801758785127047772/138971613631509136409*c\ _1001_11*c_1001_13^2 - 1064181030291423933131/138971613631509136409\ *c_1001_11*c_1001_13 - 293874739248080481522/138971613631509136409*\ c_1001_11 + 25512926938449828107/138971613631509136409*c_1001_13^20 + 134356740727042791531/138971613631509136409*c_1001_13^19 + 292339341352165390737/138971613631509136409*c_1001_13^18 + 385103046950835675601/138971613631509136409*c_1001_13^17 + 571691559478024035381/138971613631509136409*c_1001_13^16 + 986189622598698706765/138971613631509136409*c_1001_13^15 + 1267277081542710720203/138971613631509136409*c_1001_13^14 + 1785475429064783855479/138971613631509136409*c_1001_13^13 + 3607472575726014842402/138971613631509136409*c_1001_13^12 + 5599660989346358460666/138971613631509136409*c_1001_13^11 + 5499324128488639077836/138971613631509136409*c_1001_13^10 + 4465394178626095615461/138971613631509136409*c_1001_13^9 + 4409050892165770098060/138971613631509136409*c_1001_13^8 + 3514720289585557619955/138971613631509136409*c_1001_13^7 + 1366700593758904256325/138971613631509136409*c_1001_13^6 + 961818243355683520516/138971613631509136409*c_1001_13^5 + 1816514458008359391165/138971613631509136409*c_1001_13^4 + 1687484038821400177554/138971613631509136409*c_1001_13^3 + 536352355408777689324/138971613631509136409*c_1001_13^2 + 43752583734769080067/138971613631509136409*c_1001_13 + 64740373292810525348/138971613631509136409, c_0011_3 - 1920669012099083/1107017163318457*c_1001_13^20 - 10417459503450396/1107017163318457*c_1001_13^19 - 22908685245738445/1107017163318457*c_1001_13^18 - 29606171667567172/1107017163318457*c_1001_13^17 - 43647970516614816/1107017163318457*c_1001_13^16 - 78016779301544389/1107017163318457*c_1001_13^15 - 99172516345886581/1107017163318457*c_1001_13^14 - 134879083370850227/1107017163318457*c_1001_13^13 - 282220320953344574/1107017163318457*c_1001_13^12 - 440894366180489911/1107017163318457*c_1001_13^11 - 418740457091043586/1107017163318457*c_1001_13^10 - 340949162436178860/1107017163318457*c_1001_13^9 - 361373304079438738/1107017163318457*c_1001_13^8 - 279463357527929979/1107017163318457*c_1001_13^7 - 84972174847310434/1107017163318457*c_1001_13^6 - 74442121125859204/1107017163318457*c_1001_13^5 - 151606858348185294/1107017163318457*c_1001_13^4 - 106394971966512187/1107017163318457*c_1001_13^3 - 35189585487554863/1107017163318457*c_1001_13^2 - 13474660856231156/1107017163318457*c_1001_13 - 3018795191594920/1107017163318457, c_0101_0 - 1920669012099083/1107017163318457*c_1001_13^20 - 10417459503450396/1107017163318457*c_1001_13^19 - 22908685245738445/1107017163318457*c_1001_13^18 - 29606171667567172/1107017163318457*c_1001_13^17 - 43647970516614816/1107017163318457*c_1001_13^16 - 78016779301544389/1107017163318457*c_1001_13^15 - 99172516345886581/1107017163318457*c_1001_13^14 - 134879083370850227/1107017163318457*c_1001_13^13 - 282220320953344574/1107017163318457*c_1001_13^12 - 440894366180489911/1107017163318457*c_1001_13^11 - 418740457091043586/1107017163318457*c_1001_13^10 - 340949162436178860/1107017163318457*c_1001_13^9 - 361373304079438738/1107017163318457*c_1001_13^8 - 279463357527929979/1107017163318457*c_1001_13^7 - 84972174847310434/1107017163318457*c_1001_13^6 - 74442121125859204/1107017163318457*c_1001_13^5 - 151606858348185294/1107017163318457*c_1001_13^4 - 106394971966512187/1107017163318457*c_1001_13^3 - 35189585487554863/1107017163318457*c_1001_13^2 - 13474660856231156/1107017163318457*c_1001_13 - 3018795191594920/1107017163318457, c_0101_10 - 76814598281873107697/138971613631509136409*c_1001_11*c_1001\ _13^20 - 403931562724960891660/138971613631509136409*c_1001_11*c_10\ 01_13^19 - 858045717119995842986/138971613631509136409*c_1001_11*c_\ 1001_13^18 - 1078849397292608864112/138971613631509136409*c_1001_11\ *c_1001_13^17 - 1624259147856057405059/138971613631509136409*c_1001\ _11*c_1001_13^16 - 2904024710523949725298/138971613631509136409*c_1\ 001_11*c_1001_13^15 - 3596717973522257236086/138971613631509136409*\ c_1001_11*c_1001_13^14 - 4997762907862496520714/1389716136315091364\ 09*c_1001_11*c_1001_13^13 - 10631772342951298416377/138971613631509\ 136409*c_1001_11*c_1001_13^12 - 16191629627705490761886/13897161363\ 1509136409*c_1001_11*c_1001_13^11 - 14872878703622417360751/138971613631509136409*c_1001_11*c_1001_13^1\ 0 - 12080847383399412867371/138971613631509136409*c_1001_11*c_1001_\ 13^9 - 12938146291234624363835/138971613631509136409*c_1001_11*c_10\ 01_13^8 - 9558623384599696961230/138971613631509136409*c_1001_11*c_\ 1001_13^7 - 2547409984893321898371/138971613631509136409*c_1001_11*\ c_1001_13^6 - 2686772333139566654861/138971613631509136409*c_1001_1\ 1*c_1001_13^5 - 5368828219123101992603/138971613631509136409*c_1001\ _11*c_1001_13^4 - 3616268197544985696142/138971613631509136409*c_10\ 01_11*c_1001_13^3 - 1078748940722947201591/138971613631509136409*c_\ 1001_11*c_1001_13^2 - 340975915303697787835/138971613631509136409*c\ _1001_11*c_1001_13 - 111932116940231817441/138971613631509136409*c_\ 1001_11 + 159609580986431150149/138971613631509136409*c_1001_13^20 + 910768656983198080269/138971613631509136409*c_1001_13^19 + 2109107748036448075952/138971613631509136409*c_1001_13^18 + 2818699960636732970254/138971613631509136409*c_1001_13^17 + 4011946215942498657227/138971613631509136409*c_1001_13^16 + 7193171935632922945613/138971613631509136409*c_1001_13^15 + 9505641385319866140903/138971613631509136409*c_1001_13^14 + 12501992140970712080868/138971613631509136409*c_1001_13^13 + 25587511532809031238898/138971613631509136409*c_1001_13^12 + 41570528528803724448117/138971613631509136409*c_1001_13^11 + 41057253380204727532674/138971613631509136409*c_1001_13^10 + 32980337643093812316401/138971613631509136409*c_1001_13^9 + 34564772769562823387498/138971613631509136409*c_1001_13^8 + 28732498241906957705286/138971613631509136409*c_1001_13^7 + 9815237895443334158609/138971613631509136409*c_1001_13^6 + 6533695344107976242829/138971613631509136409*c_1001_13^5 + 14697664832798904641947/138971613631509136409*c_1001_13^4 + 11007784313724288810390/138971613631509136409*c_1001_13^3 + 3568478681027957950316/138971613631509136409*c_1001_13^2 + 1389512799387812897599/138971613631509136409*c_1001_13 + 541521338215953608019/138971613631509136409, c_0101_11 - c_1001_13, c_0101_12 - 38495139562160938001/138971613631509136409*c_1001_11*c_1001\ _13^20 - 216650073536332884704/138971613631509136409*c_1001_11*c_10\ 01_13^19 - 493588592134343065128/138971613631509136409*c_1001_11*c_\ 1001_13^18 - 644659220922717344892/138971613631509136409*c_1001_11*\ c_1001_13^17 - 909945554159453109053/138971613631509136409*c_1001_1\ 1*c_1001_13^16 - 1642351249603623675701/138971613631509136409*c_100\ 1_11*c_1001_13^15 - 2152123388852423458922/138971613631509136409*c_\ 1001_11*c_1001_13^14 - 2820815905960151456364/138971613631509136409\ *c_1001_11*c_1001_13^13 - 5872922397817746294196/138971613631509136\ 409*c_1001_11*c_1001_13^12 - 9522245418641939928536/138971613631509\ 136409*c_1001_11*c_1001_13^11 - 9125382938244717028780/138971613631\ 509136409*c_1001_11*c_1001_13^10 - 6981773963313037166798/138971613631509136409*c_1001_11*c_1001_13^9 - 7342272360853368680559/138971613631509136409*c_1001_11*c_1001_13^8 - 6039174543936398812376/138971613631509136409*c_1001_11*c_1001_13^7 - 1624272407431808588110/138971613631509136409*c_1001_11*c_1001_13^6 - 1032624882178790365260/138971613631509136409*c_1001_11*c_1001_13^5 - 3249505059384523996692/138971613631509136409*c_1001_11*c_1001_13^4 - 2452768943920794554650/138971613631509136409*c_1001_11*c_1001_13^3 - 596272925661439384178/138971613631509136409*c_1001_11*c_1001_13^2 - 128828601612232168436/138971613631509136409*c_1001_11*c_1001_13 + 26116419484761109363/138971613631509136409*c_1001_11 - 2038261906720365415/138971613631509136409*c_1001_13^20 - 17661168263753559823/138971613631509136409*c_1001_13^19 - 60695593503706907315/138971613631509136409*c_1001_13^18 - 102576040962457338055/138971613631509136409*c_1001_13^17 - 114666894565942777268/138971613631509136409*c_1001_13^16 - 186912882684514533730/138971613631509136409*c_1001_13^15 - 332527896544054125004/138971613631509136409*c_1001_13^14 - 373340921323665192170/138971613631509136409*c_1001_13^13 - 593646101763553083310/138971613631509136409*c_1001_13^12 - 1321027738136819204116/138971613631509136409*c_1001_13^11 - 1649416730343471969206/138971613631509136409*c_1001_13^10 - 1065040662791615119477/138971613631509136409*c_1001_13^9 - 855223720385696518080/138971613631509136409*c_1001_13^8 - 1112002523616956816938/138971613631509136409*c_1001_13^7 - 424134076210229255851/138971613631509136409*c_1001_13^6 + 243698579602696665256/138971613631509136409*c_1001_13^5 - 457571716741983678550/138971613631509136409*c_1001_13^4 - 669571395886483914587/138971613631509136409*c_1001_13^3 - 61686218129906924740/138971613631509136409*c_1001_13^2 - 34252390718758953806/138971613631509136409*c_1001_13 - 23799794336494299608/138971613631509136409, c_0101_14 - 38495139562160938001/138971613631509136409*c_1001_11*c_1001\ _13^20 - 216650073536332884704/138971613631509136409*c_1001_11*c_10\ 01_13^19 - 493588592134343065128/138971613631509136409*c_1001_11*c_\ 1001_13^18 - 644659220922717344892/138971613631509136409*c_1001_11*\ c_1001_13^17 - 909945554159453109053/138971613631509136409*c_1001_1\ 1*c_1001_13^16 - 1642351249603623675701/138971613631509136409*c_100\ 1_11*c_1001_13^15 - 2152123388852423458922/138971613631509136409*c_\ 1001_11*c_1001_13^14 - 2820815905960151456364/138971613631509136409\ *c_1001_11*c_1001_13^13 - 5872922397817746294196/138971613631509136\ 409*c_1001_11*c_1001_13^12 - 9522245418641939928536/138971613631509\ 136409*c_1001_11*c_1001_13^11 - 9125382938244717028780/138971613631\ 509136409*c_1001_11*c_1001_13^10 - 6981773963313037166798/138971613631509136409*c_1001_11*c_1001_13^9 - 7342272360853368680559/138971613631509136409*c_1001_11*c_1001_13^8 - 6039174543936398812376/138971613631509136409*c_1001_11*c_1001_13^7 - 1624272407431808588110/138971613631509136409*c_1001_11*c_1001_13^6 - 1032624882178790365260/138971613631509136409*c_1001_11*c_1001_13^5 - 3249505059384523996692/138971613631509136409*c_1001_11*c_1001_13^4 - 2452768943920794554650/138971613631509136409*c_1001_11*c_1001_13^3 - 596272925661439384178/138971613631509136409*c_1001_11*c_1001_13^2 - 128828601612232168436/138971613631509136409*c_1001_11*c_1001_13 + 26116419484761109363/138971613631509136409*c_1001_11 - 2038261906720365415/138971613631509136409*c_1001_13^20 - 17661168263753559823/138971613631509136409*c_1001_13^19 - 60695593503706907315/138971613631509136409*c_1001_13^18 - 102576040962457338055/138971613631509136409*c_1001_13^17 - 114666894565942777268/138971613631509136409*c_1001_13^16 - 186912882684514533730/138971613631509136409*c_1001_13^15 - 332527896544054125004/138971613631509136409*c_1001_13^14 - 373340921323665192170/138971613631509136409*c_1001_13^13 - 593646101763553083310/138971613631509136409*c_1001_13^12 - 1321027738136819204116/138971613631509136409*c_1001_13^11 - 1649416730343471969206/138971613631509136409*c_1001_13^10 - 1065040662791615119477/138971613631509136409*c_1001_13^9 - 855223720385696518080/138971613631509136409*c_1001_13^8 - 1112002523616956816938/138971613631509136409*c_1001_13^7 - 424134076210229255851/138971613631509136409*c_1001_13^6 + 243698579602696665256/138971613631509136409*c_1001_13^5 - 457571716741983678550/138971613631509136409*c_1001_13^4 - 669571395886483914587/138971613631509136409*c_1001_13^3 - 61686218129906924740/138971613631509136409*c_1001_13^2 - 34252390718758953806/138971613631509136409*c_1001_13 - 23799794336494299608/138971613631509136409, c_0101_4 - 184480315788979/1107017163318457*c_1001_13^20 - 685491637142969/1107017163318457*c_1001_13^19 - 462283655949093/1107017163318457*c_1001_13^18 + 896413730992314/1107017163318457*c_1001_13^17 + 337288557541215/1107017163318457*c_1001_13^16 - 770704948347047/1107017163318457*c_1001_13^15 + 3163664405323742/1107017163318457*c_1001_13^14 + 2398191233794677/1107017163318457*c_1001_13^13 - 6800701143256119/1107017163318457*c_1001_13^12 + 3620384252118951/1107017163318457*c_1001_13^11 + 30197133083061775/1107017163318457*c_1001_13^10 + 28121494444351707/1107017163318457*c_1001_13^9 + 14315259963733939/1107017163318457*c_1001_13^8 + 30869381459112879/1107017163318457*c_1001_13^7 + 31928464579184259/1107017163318457*c_1001_13^6 - 1771776028992325/1107017163318457*c_1001_13^5 - 1306512864259369/1107017163318457*c_1001_13^4 + 15937893840788624/1107017163318457*c_1001_13^3 + 7666014675487860/1107017163318457*c_1001_13^2 + 2984982822552680/1107017163318457*c_1001_13 + 2385772345959439/1107017163318457, c_0101_6 + 1713574672052057/1107017163318457*c_1001_13^20 + 9858690435774034/1107017163318457*c_1001_13^19 + 23079984299613110/1107017163318457*c_1001_13^18 + 31165752180781495/1107017163318457*c_1001_13^17 + 44089409817322599/1107017163318457*c_1001_13^16 + 78698799085446130/1107017163318457*c_1001_13^15 + 104851174331363198/1107017163318457*c_1001_13^14 + 137407628866141379/1107017163318457*c_1001_13^13 + 278966001564550147/1107017163318457*c_1001_13^12 + 456649541848439701/1107017163318457*c_1001_13^11 + 456245918494966579/1107017163318457*c_1001_13^10 + 366106281120582037/1107017163318457*c_1001_13^9 + 378840845223495668/1107017163318457*c_1001_13^8 + 316831805197587431/1107017163318457*c_1001_13^7 + 109601319906214760/1107017163318457*c_1001_13^6 + 66886855013300755/1107017163318457*c_1001_13^5 + 157168182203088505/1107017163318457*c_1001_13^4 + 122254377907064026/1107017163318457*c_1001_13^3 + 41227101821097882/1107017163318457*c_1001_13^2 + 15785347078730906/1107017163318457*c_1001_13 + 3830634549728507/1107017163318457, c_0101_7 - 38495139562160938001/138971613631509136409*c_1001_11*c_1001_\ 13^20 - 216650073536332884704/138971613631509136409*c_1001_11*c_100\ 1_13^19 - 493588592134343065128/138971613631509136409*c_1001_11*c_1\ 001_13^18 - 644659220922717344892/138971613631509136409*c_1001_11*c\ _1001_13^17 - 909945554159453109053/138971613631509136409*c_1001_11\ *c_1001_13^16 - 1642351249603623675701/138971613631509136409*c_1001\ _11*c_1001_13^15 - 2152123388852423458922/138971613631509136409*c_1\ 001_11*c_1001_13^14 - 2820815905960151456364/138971613631509136409*\ c_1001_11*c_1001_13^13 - 5872922397817746294196/1389716136315091364\ 09*c_1001_11*c_1001_13^12 - 9522245418641939928536/1389716136315091\ 36409*c_1001_11*c_1001_13^11 - 9125382938244717028780/1389716136315\ 09136409*c_1001_11*c_1001_13^10 - 6981773963313037166798/1389716136\ 31509136409*c_1001_11*c_1001_13^9 - 7342272360853368680559/138971613631509136409*c_1001_11*c_1001_13^8 - 6039174543936398812376/138971613631509136409*c_1001_11*c_1001_13^7 - 1624272407431808588110/138971613631509136409*c_1001_11*c_1001_13^6 - 1032624882178790365260/138971613631509136409*c_1001_11*c_1001_13^5 - 3249505059384523996692/138971613631509136409*c_1001_11*c_1001_13^4 - 2452768943920794554650/138971613631509136409*c_1001_11*c_1001_13^3 - 596272925661439384178/138971613631509136409*c_1001_11*c_1001_13^2 - 128828601612232168436/138971613631509136409*c_1001_11*c_1001_13 + 26116419484761109363/138971613631509136409*c_1001_11 + 161520130806738291880/138971613631509136409*c_1001_13^20 + 888404770486999909054/138971613631509136409*c_1001_13^19 + 1998742239768735156635/138971613631509136409*c_1001_13^18 + 2643670050498884439135/138971613631509136409*c_1001_13^17 + 3842389377834681812956/138971613631509136409*c_1001_13^16 + 6818163418757514905430/138971613631509136409*c_1001_13^15 + 8872740238301731717669/138971613631509136409*c_1001_13^14 + 11948882418915580931425/138971613631509136409*c_1001_13^13 + 24490858697841310055013/138971613631509136409*c_1001_13^12 + 38990338882805776879722/138971613631509136409*c_1001_13^11 + 38106525174433588257839/138971613631509136409*c_1001_13^10 + 30886429438045062510117/138971613631509136409*c_1001_13^9 + 32218942455681864293764/138971613631509136409*c_1001_13^8 + 26079225190169472148229/138971613631509136409*c_1001_13^7 + 8800623364305253541633/138971613631509136409*c_1001_13^6 + 6223130356617891345618/138971613631509136409*c_1001_13^5 + 13571416609308930807197/138971613631509136409*c_1001_13^4 + 10427591745024116027769/138971613631509136409*c_1001_13^3 + 3265571105019077295670/138971613631509136409*c_1001_13^2 + 1313921755501647295706/138971613631509136409*c_1001_13 + 496479205843675400581/138971613631509136409, c_0110_10 + 171121764707895544707/138971613631509136409*c_1001_11*c_100\ 1_13^20 + 956907259858969166171/138971613631509136409*c_1001_11*c_1\ 001_13^19 + 2189452743226300027665/138971613631509136409*c_1001_11*\ c_1001_13^18 + 2937524697826346808646/138971613631509136409*c_1001_\ 11*c_1001_13^17 + 4243656765879827883580/138971613631509136409*c_10\ 01_11*c_1001_13^16 + 7514562978467385589015/138971613631509136409*c\ _1001_11*c_1001_13^15 + 9871760181935913798478/13897161363150913640\ 9*c_1001_11*c_1001_13^14 + 13212991107093663718235/1389716136315091\ 36409*c_1001_11*c_1001_13^13 + 26845238472457556433296/138971613631\ 509136409*c_1001_11*c_1001_13^12 + 43114351522004339177306/138971613631509136409*c_1001_11*c_1001_13^1\ 1 + 42845321529687043454734/138971613631509136409*c_1001_11*c_1001_\ 13^10 + 35064775794763588414910/138971613631509136409*c_1001_11*c_1\ 001_13^9 + 36241295806022197449284/138971613631509136409*c_1001_11*\ c_1001_13^8 + 29576786995622956159765/138971613631509136409*c_1001_\ 11*c_1001_13^7 + 10542255779712820395129/138971613631509136409*c_10\ 01_11*c_1001_13^6 + 7103254512557310745431/138971613631509136409*c_\ 1001_11*c_1001_13^5 + 14739890052687724478586/138971613631509136409\ *c_1001_11*c_1001_13^4 + 11334608727940675667999/138971613631509136\ 409*c_1001_11*c_1001_13^3 + 3903815517929848376587/1389716136315091\ 36409*c_1001_11*c_1001_13^2 + 1539695322706725919493/13897161363150\ 9136409*c_1001_11*c_1001_13 + 436234506640498682304/138971613631509\ 136409*c_1001_11 + 31443100027827926415/138971613631509136409*c_100\ 1_13^20 + 159816516381057980938/138971613631509136409*c_1001_13^19 + 318732423556434114485/138971613631509136409*c_1001_13^18 + 371890351931173257947/138971613631509136409*c_1001_13^17 + 595457438937300947262/138971613631509136409*c_1001_13^16 + 1101372676737654026727/138971613631509136409*c_1001_13^15 + 1262790642218357313389/138971613631509136409*c_1001_13^14 + 1793452910130442652089/138971613631509136409*c_1001_13^13 + 4090237862231030889479/138971613631509136409*c_1001_13^12 + 5874867517713700118654/138971613631509136409*c_1001_13^11 + 4849691186418895502317/138971613631509136409*c_1001_13^10 + 4181361647345623283561/138971613631509136409*c_1001_13^9 + 5005531498857190541869/138971613631509136409*c_1001_13^8 + 3155621519345893405314/138971613631509136409*c_1001_13^7 + 401773773450169335240/138971613631509136409*c_1001_13^6 + 1350813365708525256581/138971613631509136409*c_1001_13^5 + 2171862574352092574696/138971613631509136409*c_1001_13^4 + 767238541421815574917/138971613631509136409*c_1001_13^3 + 274890703515621138296/138971613631509136409*c_1001_13^2 + 228388290734364640977/138971613631509136409*c_1001_13 + 12074224989062582349/138971613631509136409, c_1001_11^2 + 3370934997596302/1107017163318457*c_1001_11*c_1001_13^20 + 18201347745316399/1107017163318457*c_1001_11*c_1001_13^19 + 39776320000067103/1107017163318457*c_1001_11*c_1001_13^18 + 50922136450629707/1107017163318457*c_1001_11*c_1001_13^17 + 75049028476119085/1107017163318457*c_1001_11*c_1001_13^16 + 134851744864697614/1107017163318457*c_1001_11*c_1001_13^15 + 170914457735823978/1107017163318457*c_1001_11*c_1001_13^14 + 232028539929502102/1107017163318457*c_1001_11*c_1001_13^13 + 488679733487214777/1107017163318457*c_1001_11*c_1001_13^12 + 762305903530493778/1107017163318457*c_1001_11*c_1001_13^11 + 715246245909747312/1107017163318457*c_1001_11*c_1001_13^10 + 575718854792638422/1107017163318457*c_1001_11*c_1001_13^9 + 618262920816614615/1107017163318457*c_1001_11*c_1001_13^8 + 480555475930458320/1107017163318457*c_1001_11*c_1001_13^7 + 139149684047756954/1107017163318457*c_1001_11*c_1001_13^6 + 124662484520376470/1107017163318457*c_1001_11*c_1001_13^5 + 267692155388850564/1107017163318457*c_1001_11*c_1001_13^4 + 185762014329746657/1107017163318457*c_1001_11*c_1001_13^3 + 54582668935987012/1107017163318457*c_1001_11*c_1001_13^2 + 21188274100598487/1107017163318457*c_1001_11*c_1001_13 + 7424690359568155/1107017163318457*c_1001_11 - 678487869617252/1107017163318457*c_1001_13^20 - 3799093218449995/1107017163318457*c_1001_13^19 - 8508601174903853/1107017163318457*c_1001_13^18 - 10958563505287616/1107017163318457*c_1001_13^17 - 15850518978424162/1107017163318457*c_1001_13^16 - 28772435471539280/1107017163318457*c_1001_13^15 - 36711012166080398/1107017163318457*c_1001_13^14 - 48762526453447515/1107017163318457*c_1001_13^13 - 103163000162860454/1107017163318457*c_1001_13^12 - 163482909536442373/1107017163318457*c_1001_13^11 - 154447197707678754/1107017163318457*c_1001_13^10 - 122791250968062062/1107017163318457*c_1001_13^9 - 131288114048901771/1107017163318457*c_1001_13^8 - 102278379658536905/1107017163318457*c_1001_13^7 - 26155349163056640/1107017163318457*c_1001_13^6 - 22461039375144687/1107017163318457*c_1001_13^5 - 54591418190493965/1107017163318457*c_1001_13^4 - 37644175176242083/1107017163318457*c_1001_13^3 - 11409151551299222/1107017163318457*c_1001_13^2 - 4035455284405399/1107017163318457*c_1001_13 - 1332624194372790/1107017163318457, c_1001_13^21 + 6*c_1001_13^20 + 15*c_1001_13^19 + 22*c_1001_13^18 + 31*c_1001_13^17 + 53*c_1001_13^16 + 74*c_1001_13^15 + 98*c_1001_13^14 + 185*c_1001_13^13 + 311*c_1001_13^12 + 343*c_1001_13^11 + 292*c_1001_13^10 + 281*c_1001_13^9 + 247*c_1001_13^8 + 120*c_1001_13^7 + 58*c_1001_13^6 + 100*c_1001_13^5 + 99*c_1001_13^4 + 46*c_1001_13^3 + 15*c_1001_13^2 + 5*c_1001_13 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1198.120 Total time: 1198.329 seconds, Total memory usage: 1264.94MB