Magma V2.19-8 Mon Sep 9 2013 20:34:25 on localhost [Seed = 3918910096] Type ? for help. Type -D to quit. Loading file "10_105__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 10_105 geometric_solution 15.18169550 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 16 1 2 2 3 0132 0132 1302 0132 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 -1 0 1 0 0 -1 1 0 1 0 -1 -1 -4 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.344266173734 1.012897588943 0 4 6 5 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.785544729508 0.944021017235 0 0 8 7 2031 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 -5 4 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.699194432466 0.885028089722 9 10 0 9 0132 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 1 0 -1 0 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.344266173734 1.012897588943 5 1 11 12 0213 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 -1 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.650388814431 0.349559154000 4 13 1 14 0213 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.530529502733 0.539015907274 8 13 15 1 2310 0213 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.656437337868 0.948683269828 15 15 2 14 0213 2103 0132 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 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.397945912371 0.673596449646 9 14 6 2 3201 2310 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.675277453250 0.619985793695 3 3 15 8 0132 1302 1023 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 0 0 0 -1 0 1 0 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.699194432466 0.885028089722 11 3 11 12 2031 0132 3201 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.180918317165 0.888575061273 10 13 10 4 2310 0321 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 -1 1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.180918317165 0.888575061273 14 10 4 13 0321 1302 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 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.082507380411 0.621736443410 12 5 6 11 3201 0132 0213 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 -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.605176590187 0.369727409864 12 7 5 8 0321 2310 0132 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 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.656437337868 0.948683269828 7 7 9 6 0213 2103 1023 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 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.397945912371 0.673596449646 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_15' : d['c_0011_7'], 'c_1001_14' : d['c_1001_13'], 'c_1001_11' : d['c_0110_10'], 'c_1001_10' : d['c_0011_10'], 'c_1001_13' : d['c_1001_13'], 'c_1001_12' : d['c_0110_10'], 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_0011_15'], 'c_1001_6' : d['c_1001_13'], 'c_1001_1' : d['c_0110_10'], 'c_1001_0' : d['c_0011_15'], 'c_1001_3' : d['c_0011_12'], 'c_1001_2' : d['c_0011_12'], 'c_1001_9' : d['c_0011_7'], 'c_1001_8' : negation(d['c_0101_6']), 'c_1010_13' : d['c_1001_4'], 'c_1010_12' : d['c_0011_11'], 'c_1010_11' : d['c_1001_4'], 'c_1010_10' : d['c_0011_12'], 'c_1010_15' : d['c_1001_13'], 'c_1010_14' : d['c_0101_6'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_3_15' : d['1'], 's_0_15' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_10']), 'c_0101_10' : d['c_0011_13'], 'c_0101_15' : d['c_0011_7'], 'c_0101_14' : negation(d['c_0101_12']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(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_0_8' : d['1'], 's_2_15' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_15' : d['c_0011_15'], 'c_0011_14' : d['c_0011_14'], 'c_0011_11' : d['c_0011_11'], '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_0011_8']), 'c_1100_4' : d['c_0011_13'], 'c_1100_7' : negation(d['c_0011_14']), 'c_1100_6' : negation(d['c_0011_8']), 'c_1100_1' : negation(d['c_0011_8']), 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : negation(d['c_0011_14']), 'c_1100_14' : negation(d['c_0011_8']), 'c_1100_15' : negation(d['c_0011_8']), 's_3_11' : d['1'], 'c_1100_9' : d['c_0011_8'], 'c_1100_11' : d['c_0011_13'], 'c_1100_10' : negation(d['c_0011_11']), 'c_1100_13' : d['c_0110_10'], 's_0_11' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : negation(d['c_1001_13']), 'c_1010_6' : d['c_0110_10'], 'c_1010_5' : d['c_1001_13'], 'c_1010_4' : d['c_0110_10'], 'c_1010_3' : d['c_0011_10'], 'c_1010_2' : d['c_0011_15'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_0011_12'], 's_0_14' : d['1'], 'c_1010_9' : negation(d['c_0101_2']), 's_3_14' : d['1'], 'c_1100_8' : negation(d['c_0011_14']), 's_3_1' : negation(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' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(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' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_13']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_14'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_13']), 'c_0110_10' : d['c_0110_10'], 'c_0110_13' : negation(d['c_0011_11']), 'c_0110_12' : negation(d['c_0011_14']), 'c_0110_15' : d['c_0101_6'], 'c_0110_14' : negation(d['c_0011_12']), 's_0_13' : d['1'], 'c_0101_12' : d['c_0101_12'], 's_2_14' : d['1'], 's_0_9' : d['1'], 'c_1010_8' : d['c_0011_12'], 'c_0101_7' : d['c_0011_15'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_0'], 'c_0101_4' : negation(d['c_0011_13']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : d['c_0011_7'], 'c_0101_8' : negation(d['c_0101_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_1'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0011_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_7'], 'c_0110_2' : d['c_0011_15'], 'c_0110_5' : negation(d['c_0101_12']), 'c_0110_4' : d['c_0101_12'], 'c_0110_7' : negation(d['c_0101_6']), 'c_0110_6' : d['c_0101_1'], 'c_0101_13' : d['c_0011_14']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_13, c_0011_14, c_0011_15, c_0011_7, c_0011_8, c_0101_1, c_0101_12, c_0101_2, c_0101_6, c_0110_10, c_1001_13, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 530165910221258286691263/5965489407535939338880*c_1001_4^16 - 3151838448609876180030541/5965489407535939338880*c_1001_4^15 + 1387376927538860947525813/5965489407535939338880*c_1001_4^14 + 4179440965403814176600739/1491372351883984834720*c_1001_4^13 - 15267045376775193946119149/5965489407535939338880*c_1001_4^12 - 27475223076606100025815139/5965489407535939338880*c_1001_4^11 + 13569888431675698130405403/1193097881507187867776*c_1001_4^10 - 9472710270634114557852461/5965489407535939338880*c_1001_4^9 - 88120688480737150188703247/5965489407535939338880*c_1001_4^8 + 99672015468507570769417847/5965489407535939338880*c_1001_4^7 - 6758150743418033074249239/2982744703767969669440*c_1001_4^6 - 10073124453507323448828723/372843087970996208680*c_1001_4^5 + 66059270188762421230601011/2982744703767969669440*c_1001_4^4 + 26280050715832349184464677/1193097881507187867776*c_1001_4^3 - 111998155356622104177704061/5965489407535939338880*c_1001_4^2 - 23524850918813381169029571/2982744703767969669440*c_1001_4 + 4497325932181604627137347/745686175941992417360, c_0011_0 - 1, c_0011_10 - 1, c_0011_11 - 89236244089702303/1251151301916094660*c_1001_4^16 + 561281682760447411/1251151301916094660*c_1001_4^15 - 422961596704103683/1251151301916094660*c_1001_4^14 - 1339923393372403803/625575650958047330*c_1001_4^13 + 3402633416714131689/1251151301916094660*c_1001_4^12 + 3765747301133309769/1251151301916094660*c_1001_4^11 - 2501459556933459177/250230260383218932*c_1001_4^10 + 4712468675701796071/1251151301916094660*c_1001_4^9 + 13558465737142658077/1251151301916094660*c_1001_4^8 - 19544478495380903537/1251151301916094660*c_1001_4^7 + 1423260934203773992/312787825479023665*c_1001_4^6 + 6258478625143472007/312787825479023665*c_1001_4^5 - 13979863404158615291/625575650958047330*c_1001_4^4 - 3497789743860070593/250230260383218932*c_1001_4^3 + 25366155365025261971/1251151301916094660*c_1001_4^2 + 1602196842412841103/312787825479023665*c_1001_4 - 2093595088710923609/312787825479023665, c_0011_12 - 39451381052403981/625575650958047330*c_1001_4^16 + 373098545421661269/1251151301916094660*c_1001_4^15 + 300985542859853363/1251151301916094660*c_1001_4^14 - 2401421450727766829/1251151301916094660*c_1001_4^13 - 175268141668089286/312787825479023665*c_1001_4^12 + 4763838043619742881/1251151301916094660*c_1001_4^11 - 864857726128941895/250230260383218932*c_1001_4^10 - 6860610839305058221/1251151301916094660*c_1001_4^9 + 8239136237011614603/1251151301916094660*c_1001_4^8 - 1269738641612336903/1251151301916094660*c_1001_4^7 - 5351448506576814103/1251151301916094660*c_1001_4^6 + 4446120802273010923/312787825479023665*c_1001_4^5 + 1933890769363951293/312787825479023665*c_1001_4^4 - 1195851674864138524/62557565095804733*c_1001_4^3 - 15722835465936069601/1251151301916094660*c_1001_4^2 + 7854386235724485533/1251151301916094660*c_1001_4 + 1850111462829169559/312787825479023665, c_0011_13 - 116435804770906003/2502302603832189320*c_1001_4^16 + 844284412148306391/2502302603832189320*c_1001_4^15 - 1118586770878428223/2502302603832189320*c_1001_4^14 - 1855818798665410703/1251151301916094660*c_1001_4^13 + 7834334252414208909/2502302603832189320*c_1001_4^12 + 4630285903098778149/2502302603832189320*c_1001_4^11 - 4525015687452852809/500460520766437864*c_1001_4^10 + 15285266286567005451/2502302603832189320*c_1001_4^9 + 24157562562819113917/2502302603832189320*c_1001_4^8 - 39613327292183556797/2502302603832189320*c_1001_4^7 + 2076828177666943451/312787825479023665*c_1001_4^6 + 4892854527473619856/312787825479023665*c_1001_4^5 - 33690631648415624731/1251151301916094660*c_1001_4^4 - 4223449204422030149/500460520766437864*c_1001_4^3 + 65631915369205622891/2502302603832189320*c_1001_4^2 + 1050074740656457194/312787825479023665*c_1001_4 - 2765524864135018602/312787825479023665, c_0011_14 + 276562893713/13551965143016*c_1001_4^16 - 1775677284269/13551965143016*c_1001_4^15 + 1079694141949/13551965143016*c_1001_4^14 + 5350818329197/6775982571508*c_1001_4^13 - 12484990182431/13551965143016*c_1001_4^12 - 21783668867287/13551965143016*c_1001_4^11 + 47347644921311/13551965143016*c_1001_4^10 - 7486358129937/13551965143016*c_1001_4^9 - 79670050281479/13551965143016*c_1001_4^8 + 74679513637991/13551965143016*c_1001_4^7 - 271197535430/1693995642877*c_1001_4^6 - 15718565935595/1693995642877*c_1001_4^5 + 62318207389921/6775982571508*c_1001_4^4 + 114266770585763/13551965143016*c_1001_4^3 - 110149812163913/13551965143016*c_1001_4^2 - 6569481498876/1693995642877*c_1001_4 + 2956146140979/1693995642877, c_0011_15 - 310661292458038827/5004605207664378640*c_1001_4^16 + 1411732621287040479/5004605207664378640*c_1001_4^15 + 1519829172938693113/5004605207664378640*c_1001_4^14 - 4809889574944597207/2502302603832189320*c_1001_4^13 - 4374263852210279339/5004605207664378640*c_1001_4^12 + 20607771809668076541/5004605207664378640*c_1001_4^11 - 3168323296235583033/1000921041532875728*c_1001_4^10 - 34615637246687365301/5004605207664378640*c_1001_4^9 + 37328088002535359413/5004605207664378640*c_1001_4^8 + 273495840087645827/5004605207664378640*c_1001_4^7 - 2272562252592836863/312787825479023665*c_1001_4^6 + 10533929645677623579/625575650958047330*c_1001_4^5 + 20370381208014788561/2502302603832189320*c_1001_4^4 - 22400517268022165565/1000921041532875728*c_1001_4^3 - 50690097256311339861/5004605207664378640*c_1001_4^2 + 5019758857384443321/625575650958047330*c_1001_4 + 1016871792981020276/312787825479023665, c_0011_7 - 310661292458038827/5004605207664378640*c_1001_4^16 + 1411732621287040479/5004605207664378640*c_1001_4^15 + 1519829172938693113/5004605207664378640*c_1001_4^14 - 4809889574944597207/2502302603832189320*c_1001_4^13 - 4374263852210279339/5004605207664378640*c_1001_4^12 + 20607771809668076541/5004605207664378640*c_1001_4^11 - 3168323296235583033/1000921041532875728*c_1001_4^10 - 34615637246687365301/5004605207664378640*c_1001_4^9 + 37328088002535359413/5004605207664378640*c_1001_4^8 + 273495840087645827/5004605207664378640*c_1001_4^7 - 2272562252592836863/312787825479023665*c_1001_4^6 + 10533929645677623579/625575650958047330*c_1001_4^5 + 20370381208014788561/2502302603832189320*c_1001_4^4 - 22400517268022165565/1000921041532875728*c_1001_4^3 - 50690097256311339861/5004605207664378640*c_1001_4^2 + 5019758857384443321/625575650958047330*c_1001_4 + 1016871792981020276/312787825479023665, c_0011_8 - 276562893713/13551965143016*c_1001_4^16 + 1775677284269/13551965143016*c_1001_4^15 - 1079694141949/13551965143016*c_1001_4^14 - 5350818329197/6775982571508*c_1001_4^13 + 12484990182431/13551965143016*c_1001_4^12 + 21783668867287/13551965143016*c_1001_4^11 - 47347644921311/13551965143016*c_1001_4^10 + 7486358129937/13551965143016*c_1001_4^9 + 79670050281479/13551965143016*c_1001_4^8 - 74679513637991/13551965143016*c_1001_4^7 + 271197535430/1693995642877*c_1001_4^6 + 15718565935595/1693995642877*c_1001_4^5 - 62318207389921/6775982571508*c_1001_4^4 - 114266770585763/13551965143016*c_1001_4^3 + 110149812163913/13551965143016*c_1001_4^2 + 6569481498876/1693995642877*c_1001_4 - 2956146140979/1693995642877, c_0101_1 + 39451381052403981/625575650958047330*c_1001_4^16 - 373098545421661269/1251151301916094660*c_1001_4^15 - 300985542859853363/1251151301916094660*c_1001_4^14 + 2401421450727766829/1251151301916094660*c_1001_4^13 + 175268141668089286/312787825479023665*c_1001_4^12 - 4763838043619742881/1251151301916094660*c_1001_4^11 + 864857726128941895/250230260383218932*c_1001_4^10 + 6860610839305058221/1251151301916094660*c_1001_4^9 - 8239136237011614603/1251151301916094660*c_1001_4^8 + 1269738641612336903/1251151301916094660*c_1001_4^7 + 5351448506576814103/1251151301916094660*c_1001_4^6 - 4446120802273010923/312787825479023665*c_1001_4^5 - 1933890769363951293/312787825479023665*c_1001_4^4 + 1195851674864138524/62557565095804733*c_1001_4^3 + 15722835465936069601/1251151301916094660*c_1001_4^2 - 7854386235724485533/1251151301916094660*c_1001_4 - 1850111462829169559/312787825479023665, c_0101_12 - 8235425304879803/2502302603832189320*c_1001_4^16 + 199315419062990551/2502302603832189320*c_1001_4^15 - 761905046511580863/2502302603832189320*c_1001_4^14 - 365832045827030883/1251151301916094660*c_1001_4^13 + 5244251337555144229/2502302603832189320*c_1001_4^12 + 204186386729969069/2502302603832189320*c_1001_4^11 - 2255050642295158665/500460520766437864*c_1001_4^10 + 13782457053238702251/2502302603832189320*c_1001_4^9 + 12358182466950270117/2502302603832189320*c_1001_4^8 - 27072741462394840437/2502302603832189320*c_1001_4^7 + 2073980959250714311/312787825479023665*c_1001_4^6 + 1718040077809663121/312787825479023665*c_1001_4^5 - 25699746002851438211/1251151301916094660*c_1001_4^4 + 1343471204048552763/500460520766437864*c_1001_4^3 + 50077830567926130931/2502302603832189320*c_1001_4^2 - 321478503049978691/312787825479023665*c_1001_4 - 1808281797877994847/312787825479023665, c_0101_2 + 74273176723499023/5004605207664378640*c_1001_4^16 - 153250635778669891/5004605207664378640*c_1001_4^15 - 1385149809556713317/5004605207664378640*c_1001_4^14 + 1267805682961158043/2502302603832189320*c_1001_4^13 + 6093281557837414431/5004605207664378640*c_1001_4^12 - 8399840524750710009/5004605207664378640*c_1001_4^11 - 336906514231323227/1000921041532875728*c_1001_4^10 + 27044354061038932609/5004605207664378640*c_1001_4^9 - 14000491671669941137/5004605207664378640*c_1001_4^8 - 13541764532903936583/5004605207664378640*c_1001_4^7 + 2511788147422017432/312787825479023665*c_1001_4^6 - 4972059874694347061/625575650958047330*c_1001_4^5 - 20092524839186580549/2502302603832189320*c_1001_4^4 + 10666491921135126697/1000921041532875728*c_1001_4^3 + 19304448719089817569/5004605207664378640*c_1001_4^2 - 1945577431730558569/625575650958047330*c_1001_4 + 246207207199942596/312787825479023665, c_0101_6 + 5520936422048011/62557565095804733*c_1001_4^16 - 24894940901762139/62557565095804733*c_1001_4^15 - 26530887559915210/62557565095804733*c_1001_4^14 + 163714619658692762/62557565095804733*c_1001_4^13 + 78134527209682530/62557565095804733*c_1001_4^12 - 322184804361323263/62557565095804733*c_1001_4^11 + 276768128994096372/62557565095804733*c_1001_4^10 + 549378766427019056/62557565095804733*c_1001_4^9 - 537637853452525674/62557565095804733*c_1001_4^8 + 73875297734418290/62557565095804733*c_1001_4^7 + 489679539338778032/62557565095804733*c_1001_4^6 - 1301304331438191902/62557565095804733*c_1001_4^5 - 711884332732593703/62557565095804733*c_1001_4^4 + 1572209735779920910/62557565095804733*c_1001_4^3 + 1061109876691008207/62557565095804733*c_1001_4^2 - 402439212308214212/62557565095804733*c_1001_4 - 363539832092362157/62557565095804733, c_0110_10 + 8235425304879803/2502302603832189320*c_1001_4^16 - 199315419062990551/2502302603832189320*c_1001_4^15 + 761905046511580863/2502302603832189320*c_1001_4^14 + 365832045827030883/1251151301916094660*c_1001_4^13 - 5244251337555144229/2502302603832189320*c_1001_4^12 - 204186386729969069/2502302603832189320*c_1001_4^11 + 2255050642295158665/500460520766437864*c_1001_4^10 - 13782457053238702251/2502302603832189320*c_1001_4^9 - 12358182466950270117/2502302603832189320*c_1001_4^8 + 27072741462394840437/2502302603832189320*c_1001_4^7 - 2073980959250714311/312787825479023665*c_1001_4^6 - 1718040077809663121/312787825479023665*c_1001_4^5 + 25699746002851438211/1251151301916094660*c_1001_4^4 - 1343471204048552763/500460520766437864*c_1001_4^3 - 50077830567926130931/2502302603832189320*c_1001_4^2 + 321478503049978691/312787825479023665*c_1001_4 + 1808281797877994847/312787825479023665, c_1001_13 + 54380682478311465/500460520766437864*c_1001_4^16 - 264733513644867013/500460520766437864*c_1001_4^15 - 172375075511287059/500460520766437864*c_1001_4^14 + 852458848713687061/250230260383218932*c_1001_4^13 + 164018015230465841/500460520766437864*c_1001_4^12 - 3381927542490627727/500460520766437864*c_1001_4^11 + 3962646211251864895/500460520766437864*c_1001_4^10 + 4118566412035708975/500460520766437864*c_1001_4^9 - 7243238114464943383/500460520766437864*c_1001_4^8 + 3348842141012715959/500460520766437864*c_1001_4^7 + 479664485552883562/62557565095804733*c_1001_4^6 - 1881775252873779657/62557565095804733*c_1001_4^5 - 546188250227982203/250230260383218932*c_1001_4^4 + 16797435457201009107/500460520766437864*c_1001_4^3 + 4421156600126922479/500460520766437864*c_1001_4^2 - 645043594580206016/62557565095804733*c_1001_4 - 254372311252148666/62557565095804733, c_1001_4^17 - 5*c_1001_4^16 - 3*c_1001_4^15 + 34*c_1001_4^14 + c_1001_4^13 - 79*c_1001_4^12 + 79*c_1001_4^11 + 103*c_1001_4^10 - 183*c_1001_4^9 + 31*c_1001_4^8 + 152*c_1001_4^7 - 328*c_1001_4^6 - 38*c_1001_4^5 + 483*c_1001_4^4 + 23*c_1001_4^3 - 288*c_1001_4^2 - 16*c_1001_4 + 64 ], Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_13, c_0011_14, c_0011_15, c_0011_7, c_0011_8, c_0101_1, c_0101_12, c_0101_2, c_0101_6, c_0110_10, c_1001_13, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t + 1005866739622418801104538089965456413032462307486825234662061937470\ 93704019839299164867163350569/1026158949386743739283068805376193105\ 071142557140578213008303282421340834182776173813861220189*c_1001_4^\ 35 - 78966213148479747379989943951001023855860874744039039606469395\ 9458928184612044018471947689180396/10261589493867437392830688053761\ 93105071142557140578213008303282421340834182776173813861220189*c_10\ 01_4^34 + 359185793935245452158246938550730297716966695043613621803\ 4742488579227316519603426045188562209335/10261589493867437392830688\ 0537619310507114255714057821300830328242134083418277617381386122018\ 9*c_1001_4^33 - 812593069595913650977810252746128759070542743454247\ 0192937275929497094680748972483849672748440633/10261589493867437392\ 8306880537619310507114255714057821300830328242134083418277617381386\ 1220189*c_1001_4^32 + 463211474206161827640848969383274130392982798\ 0177365349961538411456947186193686824706161973876245/10261589493867\ 4373928306880537619310507114255714057821300830328242134083418277617\ 3813861220189*c_1001_4^31 + 427464195673582106122993417884669165106\ 96181844003861604875628139623686760092155724995731314175477/1026158\ 9493867437392830688053761931050711425571405782130083032824213408341\ 82776173813861220189*c_1001_4^30 - 1099483659262447005612135471096203377437289155858080316573394517956\ 11766736956600626528492539314487/1026158949386743739283068805376193\ 105071142557140578213008303282421340834182776173813861220189*c_1001\ _4^29 + 23998662942184908100499056206814419062928335786946063209629\ 87560546678391145841836277185521928326/4461560649507581475143777414\ 6791004568310545962633835348187099235710471051425051035385270443*c_\ 1001_4^28 + 3565650177557702381471039161317340342616793150069671040\ 57762664546710007860767203375751500306278957/1026158949386743739283\ 0688053761931050711425571405782130083032824213408341827761738138612\ 20189*c_1001_4^27 - 45774045548529353933498835884069281149225300301\ 8966409282832328393176978715148611840547856905962584/10261589493867\ 4373928306880537619310507114255714057821300830328242134083418277617\ 3813861220189*c_1001_4^26 - 362701346038602646915090916982703839395\ 230774077138957153249592816575923146069934350630696326381890/102615\ 8949386743739283068805376193105071142557140578213008303282421340834\ 182776173813861220189*c_1001_4^25 + 9492492762049044140242334598738514851531372907877647841741051772867\ 10619861759666008757980909521227/1026158949386743739283068805376193\ 105071142557140578213008303282421340834182776173813861220189*c_1001\ _4^24 + 30603671707472625923679152127350647132036217542184005711349\ 3167090816045676685104335828904373223342/10261589493867437392830688\ 0537619310507114255714057821300830328242134083418277617381386122018\ 9*c_1001_4^23 - 117026206007290771754556320483831405049108368852401\ 4852666245049232521103346197763618533497870268383/10261589493867437\ 3928306880537619310507114255714057821300830328242134083418277617381\ 3861220189*c_1001_4^22 - 841959725481661412654522245690486667455852\ 047486525978580665565498017887564697664679853136448371057/102615894\ 9386743739283068805376193105071142557140578213008303282421340834182\ 776173813861220189*c_1001_4^21 + 1302641619600545427371256902725607\ 511285144995207669804363300536529300578794666649503667108541845306/\ 1026158949386743739283068805376193105071142557140578213008303282421\ 340834182776173813861220189*c_1001_4^20 + 1191948583039527682303804362352606965571628863754602208722001196038\ 514759696081039027995534413336810/102615894938674373928306880537619\ 3105071142557140578213008303282421340834182776173813861220189*c_100\ 1_4^19 - 9258090467256480272368787782822620495737498395669962810537\ 61058451082334119195097316342041294772380/1026158949386743739283068\ 8053761931050711425571405782130083032824213408341827761738138612201\ 89*c_1001_4^18 - 82329466250955538017702502403665376555657988931968\ 1958373815968737746473524301597851951634881791143/10261589493867437\ 3928306880537619310507114255714057821300830328242134083418277617381\ 3861220189*c_1001_4^17 + 307782291538690048926759137820567249306347\ 378447641945363288258256514852746716979087750807431015928/102615894\ 9386743739283068805376193105071142557140578213008303282421340834182\ 776173813861220189*c_1001_4^16 + 6617420315625994463367904379966473\ 24322035814027945642827304818963472963849023243022514306495231260/1\ 0261589493867437392830688053761931050711425571405782130083032824213\ 40834182776173813861220189*c_1001_4^15 - 3641932159757701123504154704277947196301544982479545546806807271497\ 00467330032467174087980016141372/1026158949386743739283068805376193\ 105071142557140578213008303282421340834182776173813861220189*c_1001\ _4^14 - 50072507445153178572790859439401176850361226504384520334460\ 812914949749361031553900933732600180541/102615894938674373928306880\ 5376193105071142557140578213008303282421340834182776173813861220189\ *c_1001_4^13 - 5917395218452689725458805660813253291313913914044560\ 7876460159025130325623884755951295590948599478/10261589493867437392\ 8306880537619310507114255714057821300830328242134083418277617381386\ 1220189*c_1001_4^12 + 716302525372941573489772860492801209761008744\ 09976018548604911863031867175665670203191743995201145/1026158949386\ 7437392830688053761931050711425571405782130083032824213408341827761\ 73813861220189*c_1001_4^11 + 40592523947431822635685288141643374167\ 550795855610076134835695110037973336077373403629177908184467/102615\ 8949386743739283068805376193105071142557140578213008303282421340834\ 182776173813861220189*c_1001_4^10 + 1829804486913819718985298566397207247508339922950964964749877874378\ 9635707612994254685963044716863/10261589493867437392830688053761931\ 05071142557140578213008303282421340834182776173813861220189*c_1001_\ 4^9 - 6308565283984520358375137291218189817606579035164657482310467\ 1775189231643385907047789430849299268/10261589493867437392830688053\ 76193105071142557140578213008303282421340834182776173813861220189*c\ _1001_4^8 + 1075891772294618299747150346134293989931413199986817269\ 8329476005248419680327105055102835691439155/10261589493867437392830\ 6880537619310507114255714057821300830328242134083418277617381386122\ 0189*c_1001_4^7 + 2094733146695337319853797324786132270009109743877\ 4370085031557076507178619401608640358535124787457/10261589493867437\ 3928306880537619310507114255714057821300830328242134083418277617381\ 3861220189*c_1001_4^6 - 2819142652527839930901281678536131822057281\ 78877699832861106368992527906388185385609135739570213/1026158949386\ 7437392830688053761931050711425571405782130083032824213408341827761\ 73813861220189*c_1001_4^5 - 128882055181625370641087456125899338815\ 71312023693720756289251244905848881158685364935784512651787/1026158\ 9493867437392830688053761931050711425571405782130083032824213408341\ 82776173813861220189*c_1001_4^4 + 809610668036618008626843680162069\ 7330143603903056355422182500142364204762925244510199017755034491/10\ 2615894938674373928306880537619310507114255714057821300830328242134\ 0834182776173813861220189*c_1001_4^3 - 1905379663733892439449922194585889840297441426797427712799982367138\ 81307410201338347522000889507/6036229114039669054606287090448194735\ 7126032772975189000488428377725931422516245518462424717*c_1001_4^2 + 1320434683033050870097501845084999928602945121094371008545938303738\ 132772585065812294046151842157/102615894938674373928306880537619310\ 5071142557140578213008303282421340834182776173813861220189*c_1001_4 - 10343527333263727034392220699960113583083407336786049773537921386\ 086886531326395355911438847562/238641616136452032391411350087486768\ 62119594352106470069960541451659089167041306367764214423, c_0011_0 - 1, c_0011_10 - 28930516682272166474805626983725935482504472606359077860224\ 0810595876111134308/50821411588818227922669470811699867160764389283\ 7783247675323640309387092170149*c_1001_4^35 + 2425599010972348218930732872468888300567758426634632329866783346193\ 859712789059/508214115888182279226694708116998671607643892837783247\ 675323640309387092170149*c_1001_4^34 - 1143063694123681400823480706103361034487945771886283165686856597286\ 4007446950459/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^33 + 2807518012909092073802684049656454678321569879310714584112627743156\ 4743641948392/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^32 - 2232191019319702198409992022045557247474312701791556921243912529743\ 3569119179660/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^31 - 1225659941097698740379420251067300899866038200741589618697465249528\ 72580641110457/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^30 + 3822344858206702645585983230131082983590014374476058100581516466448\ 51150262007909/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^29 - 2788773143914521412484768258535779127271200815256409482642190112321\ 67619564661036/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^28 - 1031449920514354960330672691616990244020215861445267973985563911335\ 203539575920193/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^27 + 1858384428428542914025523623575712792615655534932120541507517349618\ 671604522630261/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^26 + 7465010621244111600484268019288065580409461325394765832288011730217\ 51030758966104/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^25 - 3523973917834499156624643100467484464221939864039110670614846146358\ 671533007396261/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^24 - 6210623201053244370879633887029906976149625964241709436707709862010\ 4945870377809/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^23 + 4501674870342700241579076454436490135653026120397616939402815776854\ 781303778315143/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^22 + 1568496521082157418356643980561499376795477375266139797023050259206\ 063695067949783/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^21 - 5870957718086716479562893621585891732553675014234357874129759478912\ 973732814730580/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^20 - 3149973077800840670309691543264279250557283890746091448814592923323\ 320841522714734/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^19 + 5045429546012500537047909209012637287770483909049719599961353552094\ 141937463392354/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^18 + 2994814370089884316386647397580637411937236390544103668477422602895\ 089552880594016/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^17 - 1967133384851775296239459369686760827863777959329440535366717290301\ 667284233586324/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^16 - 2700065796726027781770917269433231795379630387374578769700033485468\ 169751813064224/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^15 + 1540870937433504577809756955368065400475473221946842301171239200904\ 071794640858666/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^14 + 3111309233005785656303871614348753795214242996792307952685256472918\ 41091813817133/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^13 + 2351219733112888096757307537107537067437437036687839414262879711433\ 30783066492872/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^12 - 3900404032837394516360618169810983900512633606147127382543898306805\ 09795029924802/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^11 - 1873990063386181331794249695898983693873440517073635695610975305261\ 15760537442681/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^10 + 2049154717412111058709685269753110180973220533090347981813001077845\ 7533227161163/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^9 + 2594873909344675929628056319258877956538274666654963273177001693751\ 25125553471468/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^8 - 4451481545787353313099865387002818711760347721144623390558726128133\ 9678520082997/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^7 - 8074139011487809614796726282561971929311677952456390646637045067008\ 0312235030345/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^6 - 1324703377163000243875278072832978568891971759384244263249130614615\ 582399013237/508214115888182279226694708116998671607643892837783247\ 675323640309387092170149*c_1001_4^5 + 5251868134077681293378941472298946650192505261213746436336182747410\ 3035287363310/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^4 - 2880025911892983802795873581306163772241144056541739088135217577916\ 3504480454687/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^3 + 1204208647078490135483983550808847059973628646295195157762672918220\ 6132021248437/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^2 - 4979649680777627459564413436551503691286177607670591324854434853467\ 776231878076/508214115888182279226694708116998671607643892837783247\ 675323640309387092170149*c_1001_4 + 1293836788633604185060976252986432433092815229079503211271977684196\ 187638782447/508214115888182279226694708116998671607643892837783247\ 675323640309387092170149, c_0011_11 - 27687845865373330855838106438741418444347700702569173018788\ 134658646504759246/508214115888182279226694708116998671607643892837\ 783247675323640309387092170149*c_1001_4^35 + 1297138943420777776211082186908540973017263248973090289139761233225\ 75328995511/5082141158881822792266947081169986716076438928377832476\ 75323640309387092170149*c_1001_4^34 - 3584341905086643169849762168396595714735887304494359960941277665559\ 15797656022/5082141158881822792266947081169986716076438928377832476\ 75323640309387092170149*c_1001_4^33 - 4760078890636921260665238078188664346397958577794752628019046996256\ 72946443409/5082141158881822792266947081169986716076438928377832476\ 75323640309387092170149*c_1001_4^32 + 4012035548356882960841483025442612367117055940979514296657823320558\ 366272304070/508214115888182279226694708116998671607643892837783247\ 675323640309387092170149*c_1001_4^31 - 1231392720777284384906010612442745637063315558554804933719171830665\ 1127277178273/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^30 - 7253258760280443623832833785882413134540507988337774070017562783843\ 097240490388/508214115888182279226694708116998671607643892837783247\ 675323640309387092170149*c_1001_4^29 + 5553152017499583386607507324066662559612382309815255321707035988345\ 7250904565293/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^28 - 9899356367210931493515870275123476257749635774118927464933275159592\ 5253325315059/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^27 - 1839388578913546754733895139593216908662272901827754210986491292389\ 05977833834466/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^26 + 2895725591713234940103237088638286439321078999785402436662774746538\ 51783478026802/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^25 + 1847677150498422493779282596580698877993967742425773490576221963362\ 76091710381805/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^24 - 6000526817112702629547536569440219047045310134991729764631943408642\ 38713942438756/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^23 - 3060798878830367556277418088524165592138262320991700011964895288512\ 39669846240681/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^22 + 8172415948823424277806265182353836783592702690851581564529990600997\ 57674850061443/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^21 + 8098497991264100848798825722590819327796491915625340929507098315418\ 15897371036777/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^20 - 6685558714686490220224038753520948497417209127354277256436173545091\ 34720584839505/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^19 - 1072437446992605291749185563161194992120096108544078248433791199147\ 159625380544834/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^18 + 1023475808663463370283055579533654326569697152449231573826141918536\ 22007471766898/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^17 + 6039469855219139150203987180128920033349583060108244411231863656147\ 55591072984463/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^16 + 7817125952662970187392252283799433743600947425994318005500418999393\ 1188187014290/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^15 - 3266154046428583046390794911211854162792868013579665885554381079511\ 25267138333781/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^14 + 7310693737024402184135769998652795239177869920951634633936451819117\ 310031458856/508214115888182279226694708116998671607643892837783247\ 675323640309387092170149*c_1001_4^13 + 6664737538684739120127069121060826793463125507230482143917230900115\ 0991588557249/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^12 + 9246970968048201639596081441161634689347505857891620247475242044153\ 1972279373534/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^11 - 1235448988552790057396225203482906916892416821256646249606525193543\ 5853183773029/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^10 - 5284563964271914046826614400693972008514465483741685197328783396423\ 8855837898866/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^9 - 3392196454354240537036415284921231818359013808044130787577929918204\ 0027998065784/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^8 + 2056981831360365418320474430934976595070115428130430550978671917454\ 1660675507393/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^7 + 6529489407846581773838676838486699978139821514685627764165900196682\ 779667486141/508214115888182279226694708116998671607643892837783247\ 675323640309387092170149*c_1001_4^6 - 9358054974507131716319684506047159706187197976214940255235946715981\ 238316491055/508214115888182279226694708116998671607643892837783247\ 675323640309387092170149*c_1001_4^5 - 4802218856688722891123292576546200274149859581973235403426982083500\ 617973715947/508214115888182279226694708116998671607643892837783247\ 675323640309387092170149*c_1001_4^4 + 4574573067576916893716776856147020807506148775887567243138062192281\ 197270103202/508214115888182279226694708116998671607643892837783247\ 675323640309387092170149*c_1001_4^3 - 7823795705032054582757195087061888249299140509563659211892853128695\ 54276361538/5082141158881822792266947081169986716076438928377832476\ 75323640309387092170149*c_1001_4^2 + 9319196271422261528914472607865449689539038776415051980372082329253\ 58815125905/5082141158881822792266947081169986716076438928377832476\ 75323640309387092170149*c_1001_4 - 6320431930271476159852164348892535741370097005151564803140656670785\ 27642741778/5082141158881822792266947081169986716076438928377832476\ 75323640309387092170149, c_0011_12 + 75608097042689751493428206148013629086006909785498626643982\ 0244906373989604998/50821411588818227922669470811699867160764389283\ 7783247675323640309387092170149*c_1001_4^35 - 5807281363074921483150638864830109142823856292918533794718228387166\ 075250989723/508214115888182279226694708116998671607643892837783247\ 675323640309387092170149*c_1001_4^34 + 2601076191614280475261022572020173992711137762683478543807144513898\ 9716597602356/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^33 - 5667522311555033231723522694555695606771939287073935130451214139828\ 8583802047931/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^32 + 2533714847474657392879862594790204695617817710666917684163357766135\ 1822211508880/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^31 + 3248361547479991301248004882478401825269112121823967072269090506798\ 66601294395724/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^30 - 7694636369654076085885161161853629515047603270274726752105784744513\ 14809163797345/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^29 + 2833379254583742328981684921907930700711318052561477130138558157453\ 14666269511645/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^28 + 2716324867715977980647771555541028088063484568073462457633984473070\ 650336759157726/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^27 - 2950421250499958795423605020125666397617874748705541364390501157343\ 684315363520995/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^26 - 3233659638667299135428944433669078740907499460980100487942596351517\ 718295601145194/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^25 + 6465398055927311666026778045538259910588908634417259149820376281896\ 333120970909052/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^24 + 3531481313183410778165438510756953892983413001939367213731165267786\ 374306651343065/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^23 - 7995097526189426033333632235888246982361929940084989042014683770362\ 465558701068544/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^22 - 8042852221336248034753023332291787980150532918243699239936751073165\ 671022053387322/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^21 + 8218502824248003335042832681241445985830395139352059129479419380361\ 069808634571113/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^20 + 1089315450315770624211428371134710208232448479906883650049524694517\ 0924470235769663/50821411588818227922669470811699867160764389283778\ 3247675323640309387092170149*c_1001_4^19 - 4732649978902237991691504415440051560044070869662943867322832102723\ 277847423897443/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^18 - 7547195178088197393126625488799453784068114555145245145665149840978\ 058381427717474/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^17 + 3645732315086738708015683413758001102210726776619041610339854746674\ 08884196998587/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^16 + 5393889795933417043219946832792385261707736393350054451518266125310\ 444269008483483/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^15 - 1205025765458557575239488187306210269855870803244873983469528183312\ 839910811639377/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^14 - 6365141920414230895917623015735064022850774706885095755335582017561\ 75716354894256/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^13 - 8719485689124538231914830007001877316056361151961500783251040047763\ 68071985074583/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^12 + 3762445980889313564246513406156439074152822028371351152686728602385\ 67898540375555/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^11 + 4661124188886998731261359301722322146645513541243215506568949125240\ 34868659250940/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^10 + 2286777358468208004582731810303850295702591138892502936826319992491\ 97857560252746/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^9 - 4141352847598702044202856446296133263011763288887027758034998726005\ 14096855438044/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^8 - 4168977773499722720677257424819847859407352851686184196344809596019\ 0816324483047/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^7 + 1305888189936928080845728904823431244187559187117012405264110734880\ 22961371154238/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^6 + 5743826679188505205092217098897787250188950199066564941659658362507\ 4405478418750/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^5 - 8553838709953049712667365709113816202305675834220696769076060702562\ 6830530702886/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^4 + 3893140557819483947452993861714576301782110066716338062871768575655\ 2764680805669/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^3 - 1641023559453781588849342286320133334789912163493800312072727841844\ 6574519593290/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^2 + 7125459682586055093665596721527889039222062875839493477446291884657\ 920790695231/508214115888182279226694708116998671607643892837783247\ 675323640309387092170149*c_1001_4 - 1201165182204470455206299606050518787384878943842438198977671929787\ 918412657780/508214115888182279226694708116998671607643892837783247\ 675323640309387092170149, c_0011_13 + 19936069218238873332442899026253021428771803985426803571581\ 08103999355903498/2209626590818183822724759600508689876554973447120\ 7967290231462622147264876963*c_1001_4^35 - 1055982509079920829651481602504969030481624912792132923243227629289\ 5497582523/22096265908181838227247596005086898765549734471207967290\ 231462622147264876963*c_1001_4^34 + 3604879220961052282060888346342376415295973309901012863116228094353\ 9723675994/22096265908181838227247596005086898765549734471207967290\ 231462622147264876963*c_1001_4^33 - 1357894231326322828385590350338308113719643310117966185579136388942\ 3640551410/22096265908181838227247596005086898765549734471207967290\ 231462622147264876963*c_1001_4^32 - 1731136401572904364589056629333212025863827247011988932575945445862\ 49935549914/2209626590818183822724759600508689876554973447120796729\ 0231462622147264876963*c_1001_4^31 + 8041972991251796009436373583370361639888147130910321556621607746328\ 56211441103/2209626590818183822724759600508689876554973447120796729\ 0231462622147264876963*c_1001_4^30 - 1597067010914796312190652586452130131632049125423750150920068315487\ 2591696122/22096265908181838227247596005086898765549734471207967290\ 231462622147264876963*c_1001_4^29 - 2389638587704999893579146871418997368644352412445567220112082852530\ 544125487471/220962659081818382272475960050868987655497344712079672\ 90231462622147264876963*c_1001_4^28 + 6134599109815866069241869650306695933260835750279011516968096856759\ 279464956905/220962659081818382272475960050868987655497344712079672\ 90231462622147264876963*c_1001_4^27 + 8599817854054789262258402464411014483754505927261415857021553086044\ 858324037543/220962659081818382272475960050868987655497344712079672\ 90231462622147264876963*c_1001_4^26 - 1311044644210562070252260866735017774768535695106851638672541986888\ 2820634791266/22096265908181838227247596005086898765549734471207967\ 290231462622147264876963*c_1001_4^25 - 8572505142093763195452322829451176288049783240794708751035700089112\ 446641752257/220962659081818382272475960050868987655497344712079672\ 90231462622147264876963*c_1001_4^24 + 2780665142034934991883271382973331931643231688171579448141720134155\ 1771393019468/22096265908181838227247596005086898765549734471207967\ 290231462622147264876963*c_1001_4^23 + 1906761241142904365162414541030592526843747300205333306630053783947\ 6068741759042/22096265908181838227247596005086898765549734471207967\ 290231462622147264876963*c_1001_4^22 - 3768662475930458049968035329066655026193314889243908413554006742635\ 8831779886891/22096265908181838227247596005086898765549734471207967\ 290231462622147264876963*c_1001_4^21 - 4744951751338844580426885272416323948095614166637956578590848123635\ 1312706599281/22096265908181838227247596005086898765549734471207967\ 290231462622147264876963*c_1001_4^20 + 2085627777342539531619487073117055919242151751458082884500091202988\ 2800595879506/22096265908181838227247596005086898765549734471207967\ 290231462622147264876963*c_1001_4^19 + 5662297706626662696212733992408126032738765941290506898603773675909\ 3772507608307/22096265908181838227247596005086898765549734471207967\ 290231462622147264876963*c_1001_4^18 + 1441575090073520436054814630171042286177952238284920114806309362375\ 5925451878069/22096265908181838227247596005086898765549734471207967\ 290231462622147264876963*c_1001_4^17 - 2234340290101898575861774188880759982637374418184371322038154144133\ 7501421682216/22096265908181838227247596005086898765549734471207967\ 290231462622147264876963*c_1001_4^16 - 1157141420708462020355645798737576992918392713605550700975910816520\ 8458048880372/22096265908181838227247596005086898765549734471207967\ 290231462622147264876963*c_1001_4^15 + 6989328496968201865585862070041928111413915594785622342105148686828\ 292734397946/220962659081818382272475960050868987655497344712079672\ 90231462622147264876963*c_1001_4^14 + 2838626904584569715553724722859325757057066333195819155097447438408\ 986587596229/220962659081818382272475960050868987655497344712079672\ 90231462622147264876963*c_1001_4^13 - 6276118582356030518861104777380596383685205941602044743717408108306\ 57513732192/2209626590818183822724759600508689876554973447120796729\ 0231462622147264876963*c_1001_4^12 - 3382671698622710385618685473505886140972428195007228988740449395767\ 146908371467/220962659081818382272475960050868987655497344712079672\ 90231462622147264876963*c_1001_4^11 - 1047841993778803653885926807986060271873030687755888981179789217860\ 122932057674/220962659081818382272475960050868987655497344712079672\ 90231462622147264876963*c_1001_4^10 + 1678389303857293783215173688379484529991368258080477628159072466802\ 240713521035/220962659081818382272475960050868987655497344712079672\ 90231462622147264876963*c_1001_4^9 + 1718065632611548278118732142345150932300368568482908327633652004589\ 338963392303/220962659081818382272475960050868987655497344712079672\ 90231462622147264876963*c_1001_4^8 - 7057541617550610102393663677274808287593999019429979027279105983022\ 5136230614/22096265908181838227247596005086898765549734471207967290\ 231462622147264876963*c_1001_4^7 - 2772368286232760559998223106325260197106733906958543990290566085664\ 53365696792/2209626590818183822724759600508689876554973447120796729\ 0231462622147264876963*c_1001_4^6 + 2748131237859165082188652521250290491048186081032786878517388231873\ 94475791257/2209626590818183822724759600508689876554973447120796729\ 0231462622147264876963*c_1001_4^5 + 2064353174325487596294895534014702770223030336054224029656131567706\ 83296960691/2209626590818183822724759600508689876554973447120796729\ 0231462622147264876963*c_1001_4^4 - 3879271928579416203146406878174356309390760666514493861673955974795\ 3997113192/22096265908181838227247596005086898765549734471207967290\ 231462622147264876963*c_1001_4^3 + 5267373619123377421645992276571668313136610515135616544248686592342\ 1160600176/22096265908181838227247596005086898765549734471207967290\ 231462622147264876963*c_1001_4^2 - 2342019185474829660155183651251560798608847544711366022594708965494\ 03937315/2209626590818183822724759600508689876554973447120796729023\ 1462622147264876963*c_1001_4 - 214119442093921974746729438747320100\ 4633638550244926479994858045219557156947/22096265908181838227247596\ 005086898765549734471207967290231462622147264876963, c_0011_14 - 33139115796037446286541688349363458729465971977377889231855\ 0149860057564423242/50821411588818227922669470811699867160764389283\ 7783247675323640309387092170149*c_1001_4^35 + 2538690183424363313141766111059005929362017914002994592700672292315\ 505395953305/508214115888182279226694708116998671607643892837783247\ 675323640309387092170149*c_1001_4^34 - 1143277241998004996166677585911331341680876638990621143750415522787\ 9728250041692/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^33 + 2519079673453430719321744846798656633577156481007815465828996108932\ 8075585986789/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^32 - 1303809700002449182392809492851003176456034889121995586332805984787\ 2102047005835/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^31 - 1382030482046921935880074921265302320839496697008291388321556695536\ 34262147264038/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^30 + 3350998820270935995701837531409678515817250757042152815348170243748\ 76979313326274/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^29 - 1531273139523682661432413304863868690225246336536424737261665420612\ 88511106598238/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^28 - 1134661011094782437930016858162280298910010377661668376918245080774\ 970748103778427/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^27 + 1284968146474193111137925987563144605218679632115057866060158080633\ 765997758864609/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^26 + 1150259451687786851237528881064949407710505889123764957490611167554\ 702626260584627/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^25 - 2698396476719842159219070056527871756179089046365979777602722384854\ 881060829759554/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^24 - 1137910504692718496798022267844701601508974564891045897952365736095\ 884089128730073/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^23 + 3104672637344612092148900727997379193089286993767859421334618711420\ 945643114681214/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^22 + 2886689560497664300394296677703768700117023673200399599670408943418\ 480945601330018/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^21 - 3153939286058990314700176967476638312864334531623442405027800976366\ 871359560521873/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^20 - 3598402014598132354181967992695968899658411110150545851036980620825\ 166643845571702/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^19 + 1993145619337284153838841714363608774283960559423631047469021772857\ 152288157985435/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^18 + 2020669897569957975880368708846454093185602695280003584399087877548\ 015476031078267/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^17 - 6265309371055970807717639545218339692309529712830801493991423146459\ 12066935070009/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^16 - 1822592050151052140104685747354168796178384075097367150849745012113\ 495162056063958/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^15 + 9727679343975695558677845705477727393306664523779463092202535982393\ 42976439254674/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^14 + 7575216067265077348639855146885080459617801845203201150288721427590\ 9194585864059/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^13 + 2997455221362081237567791089802273473264740671484764503025626906831\ 46576607925372/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^12 - 1760891569901824111776862877804652541667986410492787197006265064279\ 17310993284895/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^11 - 1262587146574164455983084263347491263750963135229328906457012008712\ 32018523399675/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^10 - 6634934664453738372789941187808183051353685421073062766397403755781\ 0867167837143/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^9 + 1499276020557104388399504285633802864634852960272896108793978066884\ 40553642800518/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^8 - 3304488959998284655242875295852054999185644085675665677490237673162\ 1510011398824/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^7 - 5389285119932723817022928489796013354126712883990620248635585374218\ 1182303969210/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^6 - 1030627398208461338284903357862409961077735502414392581247382443721\ 8776039283246/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^5 + 3645765724164145671909702987802260852627938707007622806204838232247\ 3912546365835/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^4 - 2312328000084973633526224369759173425634233351686177891922138602256\ 6302501020603/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^3 + 1034758665715319134158036509699565851525121125789138033863345909319\ 9824409943676/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^2 - 4447562086501283111987820966429496870217425659045868292899731789754\ 470057767164/508214115888182279226694708116998671607643892837783247\ 675323640309387092170149*c_1001_4 + 1169162972366436400874168270079359140715540177742796115983663428169\ 837408513044/508214115888182279226694708116998671607643892837783247\ 675323640309387092170149, c_0011_15 + 33185557677474559556182418760230640230472292412275584599334\ 2389284844336625156/50821411588818227922669470811699867160764389283\ 7783247675323640309387092170149*c_1001_4^35 - 2593939826902469505515686025670748784767101834161803250188597128408\ 976178175933/508214115888182279226694708116998671607643892837783247\ 675323640309387092170149*c_1001_4^34 + 1176364636708577982187610418431692652649650024202077392040329803185\ 3473661768515/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^33 - 2642754711725167386848806794612228600757990951177341285821904300891\ 6694493687024/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^32 + 1449562230554305142716289413683256242966569535745061625175265523033\ 1064543166284/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^31 + 1411441340774285752018010493561483656901228761756816603635307534857\ 62341802354769/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^30 - 3572729148467943392671710246491944152565343821034893573226143646750\ 58394228258687/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^29 + 1704247711554290229417522973067187195416128600475654706091762338224\ 42427415443606/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^28 + 1177050728636357974638184479170743729976758631694192478288610132405\ 085196078077010/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^27 - 1459418268873844860207100889157966341076873908421063966871443972933\ 111891814211209/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^26 - 1243595957395780870522197923910892493695186095249180933703598083634\ 421319566992406/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^25 + 3049708890402329842637018351613608064796932421759506505370997076005\ 400838364371487/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^24 + 1164414748936080508192094343557949863166805816852711217154829818409\ 529850176867365/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^23 - 3755729534643385449508877667303108567594087685429474586365891162860\ 143313871757375/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^22 - 3035189556171598221674871688032209564385130058866050759466556768325\ 954828731139478/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^21 + 4154314155012374770107688157340226915132695941955783485329993752560\ 718250202630851/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^20 + 1856871906815104663022832427242394655274797396708128945955770312153\ 81063180883667/2209626590818183822724759600508689876554973447120796\ 7290231462622147264876963*c_1001_4^19 - 2838120861829611193463394864961219323297936600032093436815600122307\ 892729022885739/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^18 - 3057618289340537712985186753461267996710157492714233009595232016377\ 623674004617203/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^17 + 7246797861465580344897566912517215829801431374826567959224197754144\ 38946094527054/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^16 + 1053525835187942756618760310563616288177026345330430879711002970916\ 28541495101551/2209626590818183822724759600508689876554973447120796\ 7290231462622147264876963*c_1001_4^15 - 8961370586635684333940575166840637192014281181518183396507431335915\ 75862683982046/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^14 - 2588096082449632208934467117925242834825012747045612432819337802927\ 33449318243406/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^13 - 3297560170824545180930079926226859656331013577077419409003680640512\ 96843706910224/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^12 + 2430372951599382980592314011441064433918097253040347761608026360016\ 41480997560542/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^11 + 1784158360425143751645235563414193239096430727989345657028054984117\ 55321649639573/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^10 + 6248840675757914741697826977550845581558066596046756781139473067898\ 4164409376418/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^9 - 2020057872068670446690073631496231540897773170494582249043694227267\ 09869656460807/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^8 + 8721282897229292905054620894884048221002105053112121142398859756510\ 852007560840/508214115888182279226694708116998671607643892837783247\ 675323640309387092170149*c_1001_4^7 + 6709088086842155002354270919810940157867682766088279508880106473837\ 9365180644223/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^6 + 1821030558842691717654159393429684537537221273876531154873823965985\ 5890174356863/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^5 - 4159887792176274442417596498623805196874933447053869529975411738049\ 2086489030671/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^4 + 2122565114361960172208433179724207237552926567330623221339635159868\ 1414071401289/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^3 - 8050045317259525310053569837539250725057304744300847352854826906943\ 778391540433/508214115888182279226694708116998671607643892837783247\ 675323640309387092170149*c_1001_4^2 + 3904868258024703641801079217509769305746740146079725521072294269013\ 711095889283/508214115888182279226694708116998671607643892837783247\ 675323640309387092170149*c_1001_4 - 1148007848664887236183523719316522132333692329888443092926686911190\ 402234539579/508214115888182279226694708116998671607643892837783247\ 675323640309387092170149, c_0011_7 - 460665888943037800862645295785989626061982625903417373045389\ 471374152271231479/508214115888182279226694708116998671607643892837\ 783247675323640309387092170149*c_1001_4^35 + 3550255395981195743781853428101897351693508823594741854482680843222\ 380073811891/508214115888182279226694708116998671607643892837783247\ 675323640309387092170149*c_1001_4^34 - 1596228331558220730473023333426511092721596560718581605770363450513\ 5133895274431/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^33 + 3509100068409726272969415165453418566805398465097639745634432388527\ 7290468598167/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^32 - 1693932192281315324840295866530613762532521306427117064020780143158\ 7444362026202/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^31 - 1965285815165450435463530735990367551141759469628936804632503924297\ 98019364234659/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^30 + 4744293493359084495045214574668299400104408530668215356638134788618\ 34720359137868/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^29 - 1941245634795020587544403582328784157853639677139181315462097983364\ 44370344530613/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^28 - 1638045160936303115275292433131329855496669126883794087916209162192\ 772613626925066/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^27 + 1848141083780929648032100784242279730412054907058649596437453416810\ 570930511580628/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^26 + 1849185516390569128914043967366154121886187997818391683603683541935\ 727814009737295/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^25 - 3987189341260127686835351108478741512722210237819184221431775262018\ 849324881274712/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^24 - 1932085300134172293820143605086568415786754636922356143151636064977\ 653712028286745/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^23 + 4873041106269147015584934104102907845404912635419601796287527913921\ 722730880704370/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^22 + 4577435639414849717078592348031099858229536177522515249048731239308\ 182813108725821/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^21 - 5118194432043018628332535697656234192915726467800852867293887935388\ 369879405418967/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^20 - 2687910587523800878595305128577482035614089415964542438516445373652\ 27990056875799/2209626590818183822724759600508689876554973447120796\ 7290231462622147264876963*c_1001_4^19 + 3190995283297075439945939707901907886146914365004807230476320442903\ 851129362061173/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^18 + 4237293175852151955097353678295447620023356999733409716212843780946\ 103499086216615/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^17 - 5937968854785935307308034923051161528802934255592960806285361913710\ 10996264261525/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^16 - 1409953427567753188193423228367367574227397435955140040318218167777\ 00507596360978/2209626590818183822724759600508689876554973447120796\ 7290231462622147264876963*c_1001_4^15 + 9730891468084706250352862881700460335045322081707122550049537206879\ 17630688973060/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^14 + 3684423611867582300896581881620237851576649111283793582221303330758\ 51299814233403/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^13 + 4803633962921462136359585369123611927551327277263356045125794395965\ 22208549632145/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^12 - 2737569528419779994596608926617449575741856930304245922715738377674\ 47939949737438/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^11 - 2546522037189032610427820273291812650420494134390343986446526914381\ 10392289467911/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^10 - 1059825287214193869734341946740864563135891759821952480429094779755\ 45753064058091/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^9 + 2541986516332924386745086674047208915906879271789847072976866724998\ 58515568994060/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^8 + 4269230729091076099182625021933244873608944455210927816209331520725\ 525344645988/508214115888182279226694708116998671607643892837783247\ 675323640309387092170149*c_1001_4^7 - 8747554333149144615832612297093923983190378857690877344389051477151\ 2017896259144/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^6 - 3175656088991424081074844445917590952743204465920736074163910116069\ 5870728797173/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^5 + 5344501124334902183870295981999285569500476307813750180695398708350\ 3479915801702/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^4 - 2620400718083679997595754746553788121243039896343742077365665954372\ 1528388193952/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^3 + 9633824956842025593376704515551443273587956807182981804714884295506\ 115355924270/508214115888182279226694708116998671607643892837783247\ 675323640309387092170149*c_1001_4^2 - 4991353117842635004176218197064805929751382074024229184548305986319\ 714142665097/508214115888182279226694708116998671607643892837783247\ 675323640309387092170149*c_1001_4 + 1000905971949545860970468318739968220668187453413170000147240665576\ 998656515949/508214115888182279226694708116998671607643892837783247\ 675323640309387092170149, c_0011_8 - 615042102367640537523322261944452874673950504089564107105104\ 380640440248558527/508214115888182279226694708116998671607643892837\ 783247675323640309387092170149*c_1001_4^35 + 4715318092700502606972986806932049009245641440506226991311127329073\ 184318328201/508214115888182279226694708116998671607643892837783247\ 675323640309387092170149*c_1001_4^34 - 2107540410388306567891302129158703250046805673391756920603050605433\ 8211655798401/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^33 + 4570738661174536981389996306213626879117914582770572904656566035945\ 8390386072894/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^32 - 1958828963579108789202204893802327243589030436248851288864422731146\ 8697252496165/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^31 - 2649647261441508659234339456653783960030791316777059284723223656712\ 45348319778993/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^30 + 6214680631001918447964379282948292409261431818243184668213220857714\ 06395352430507/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^29 - 2152585936451761564148375633876676668420568797472079142017880435080\ 31338944246602/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^28 - 2217029271418773237348755943490094454989941111803827451909880699202\ 825964288382720/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^27 + 2359048669268688827418597217100504122631597290562088739308390491501\ 919821118434085/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^26 + 2711901130159351076144274576602324531133138976095812166662268342271\ 337243899667715/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^25 - 5185432016621928181767547263034469926906107793036423668797574169633\ 265493627855561/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^24 - 3012546482512877194203547520506982285929087985915537623263651180746\ 094577277851554/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^23 + 6438213508102359802529667107167581536839553590794908145488207609864\ 577029466440989/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^22 + 6766474474885509166546451805589048231798700317608202028047162680285\ 464601168486403/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^21 - 6482628568954939640722611477211995233679045485326657315798267385279\ 829903329986911/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^20 - 9128581508933524319132476962453609576353154710995056469329757465623\ 988434491179953/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^19 + 3436775975382292738338721962353667305425176708283876279276175589467\ 172765183457453/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^18 + 6197238828892168552109216368508371255541855715201030438902731863520\ 676393773904666/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^17 + 8404333436429085034360975015515306785661348095845552868398135810529\ 6661369998188/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^16 - 4140545516217575654371506842902916046761082435558918780836288806382\ 196728360197441/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^15 + 9102110626194358959006087423248175038677699819182300697533415769944\ 42227694420484/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^14 + 4035974675430818844163039200854465305360712946651333932449045451465\ 30892273307438/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^13 + 6375387558257132647165246739156152630519850782739577995707775122554\ 83692899225701/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^12 - 2693224116355571809958035853629516518447526503125650970034502852958\ 46253270384968/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^11 - 3440690806558477389069524347052750576517859907570269798788622692913\ 39753033215883/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^10 - 1948652432167349044278495488887192504573814760187120763973873028115\ 74578317137185/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^9 + 3141425810372084721416449389848063016280805506917097050233147377892\ 68913855986205/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^8 + 3917362768756806280179569640237778539819359614807425835563349848670\ 7003608818579/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^7 - 9470099224269321134643354465869095809456513869835954759762667665676\ 9310384546704/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^6 - 3889324355142071582772158507025223194918239352038363935590007275745\ 0496239316968/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^5 + 6825032030467804804059572595839506368738367121191583023696463074657\ 3444419697917/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^4 - 3149933541694939705589120117876450964322004344749694189618369941506\ 4960723957677/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^3 + 1199704170179350395978441093025472647366011419911052991440386550042\ 4129279526446/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^2 - 4569889457888227629155859110602651960771920528766288142974006396288\ 383537335486/508214115888182279226694708116998671607643892837783247\ 675323640309387092170149*c_1001_4 + 1346718337978518242321803668835723088608458219611566098198364094810\ 316396434689/508214115888182279226694708116998671607643892837783247\ 675323640309387092170149, c_0101_1 - 125404057153355705286501350350145370597009093008099104601011\ 57286242933890795/2209626590818183822724759600508689876554973447120\ 7967290231462622147264876963*c_1001_4^35 + 1025886743555879437172683709466133931865310059318913444996291404181\ 60156223684/2209626590818183822724759600508689876554973447120796729\ 0231462622147264876963*c_1001_4^34 - 4790583968063048246390331271714483248676286714063123059047276033658\ 39241234733/2209626590818183822724759600508689876554973447120796729\ 0231462622147264876963*c_1001_4^33 + 1149943153158902987229994881892995188369635240671143129186207615117\ 823209596638/220962659081818382272475960050868987655497344712079672\ 90231462622147264876963*c_1001_4^32 - 8601679536303865622387484142242881682849625340980481888764923453812\ 54839837209/2209626590818183822724759600508689876554973447120796729\ 0231462622147264876963*c_1001_4^31 - 5267949415833866198886123207327053080742273610545083132132687745497\ 681235900517/220962659081818382272475960050868987655497344712079672\ 90231462622147264876963*c_1001_4^30 + 1556405981703143584117002325053229856872715147454094357560335293762\ 6890883930211/22096265908181838227247596005086898765549734471207967\ 290231462622147264876963*c_1001_4^29 - 1083893577935483962532771449131351361582577169599314398935612793857\ 7604237017511/22096265908181838227247596005086898765549734471207967\ 290231462622147264876963*c_1001_4^28 - 4399970230099882354657048827323864645440508070179299256359769009346\ 8797291184604/22096265908181838227247596005086898765549734471207967\ 290231462622147264876963*c_1001_4^27 + 7284183556882557869770720305530181077583078570379794740248713215014\ 5249376556919/22096265908181838227247596005086898765549734471207967\ 290231462622147264876963*c_1001_4^26 + 3140813926837040507209831184602878636979538766577562519726673160143\ 4595622062571/22096265908181838227247596005086898765549734471207967\ 290231462622147264876963*c_1001_4^25 - 1423769080112937044947482639538231105544886368991173441792716867831\ 13625022371602/2209626590818183822724759600508689876554973447120796\ 7290231462622147264876963*c_1001_4^24 - 5497126672883618894846057549320987597516608656779782964120158199683\ 267458014277/220962659081818382272475960050868987655497344712079672\ 90231462622147264876963*c_1001_4^23 + 1760385520233130740257379914535171867026103767321465147641314631513\ 82353241065004/2209626590818183822724759600508689876554973447120796\ 7290231462622147264876963*c_1001_4^22 + 6222601941782146349479226423057666126111222749960178385775320489297\ 7723975142574/22096265908181838227247596005086898765549734471207967\ 290231462622147264876963*c_1001_4^21 - 2238404650388399099375530532503945439069520652345044205368478898588\ 43682692750848/2209626590818183822724759600508689876554973447120796\ 7290231462622147264876963*c_1001_4^20 - 1115384943933426232931464203226035997819821297664729796909714787105\ 89511102405979/2209626590818183822724759600508689876554973447120796\ 7290231462622147264876963*c_1001_4^19 + 2004326993781110752018656742585705671325903647552553470788474960088\ 23844472449607/2209626590818183822724759600508689876554973447120796\ 7290231462622147264876963*c_1001_4^18 + 9607495734004455490492843884389819622214836402894669604234092419558\ 4786632663409/22096265908181838227247596005086898765549734471207967\ 290231462622147264876963*c_1001_4^17 - 9734750821704371812968885965290932125072915601430756587317278208826\ 2298041216268/22096265908181838227247596005086898765549734471207967\ 290231462622147264876963*c_1001_4^16 - 1033636720326135341023352064745745292170324050747448728081140103391\ 57135164107940/2209626590818183822724759600508689876554973447120796\ 7290231462622147264876963*c_1001_4^15 + 7343742897805305631828121195598280702346042660049247176354091350909\ 0260742123375/22096265908181838227247596005086898765549734471207967\ 290231462622147264876963*c_1001_4^14 + 1203377288365946820884882589516755129462406384398632949523801512732\ 3783893862193/22096265908181838227247596005086898765549734471207967\ 290231462622147264876963*c_1001_4^13 + 3526993854545942636870256162643826179725912923773110741128326958108\ 036392805219/220962659081818382272475960050868987655497344712079672\ 90231462622147264876963*c_1001_4^12 - 1511089612308601155346891118541519501294416435814638502461178534794\ 7351386183509/22096265908181838227247596005086898765549734471207967\ 290231462622147264876963*c_1001_4^11 - 5331125989261083586835760740676219485540873219966381973679130536854\ 328082960758/220962659081818382272475960050868987655497344712079672\ 90231462622147264876963*c_1001_4^10 + 1677197157610544570017192905705299204385697610588754265230340534598\ 284921821151/220962659081818382272475960050868987655497344712079672\ 90231462622147264876963*c_1001_4^9 + 9868927836325385319771049670392898778235800942692946557954172971875\ 268332971752/220962659081818382272475960050868987655497344712079672\ 90231462622147264876963*c_1001_4^8 - 2763207350762216199414501420592394874671458694803727381194652990829\ 436191913867/220962659081818382272475960050868987655497344712079672\ 90231462622147264876963*c_1001_4^7 - 3707089514907845452047917903725588474783267176131521233260500336073\ 153919070769/220962659081818382272475960050868987655497344712079672\ 90231462622147264876963*c_1001_4^6 + 8616913104181825436648393324951694620264602740658512719557074662334\ 9857064727/22096265908181838227247596005086898765549734471207967290\ 231462622147264876963*c_1001_4^5 + 2144899226209367311384223962857626336761943504214474603732658453456\ 471734361340/220962659081818382272475960050868987655497344712079672\ 90231462622147264876963*c_1001_4^4 - 1401586698771020989698633214508545403227207885400612291575965131110\ 316766966926/220962659081818382272475960050868987655497344712079672\ 90231462622147264876963*c_1001_4^3 + 3453545980156370262551321967001964726697776536769809775777625569205\ 78976465651/2209626590818183822724759600508689876554973447120796729\ 0231462622147264876963*c_1001_4^2 - 1647390732150280720781179090648344901852414568116291380175105087604\ 75923040574/2209626590818183822724759600508689876554973447120796729\ 0231462622147264876963*c_1001_4 + 252814535431921950932162030377466\ 60840187160714481266747685329022112354990013/2209626590818183822724\ 7596005086898765549734471207967290231462622147264876963, c_0101_12 + 68100407680462655107965799876462815559156426407968210327243\ 2930866010820778748/50821411588818227922669470811699867160764389283\ 7783247675323640309387092170149*c_1001_4^35 - 5120339822888261987949704807329882030444242649246939107042112259381\ 694882013579/508214115888182279226694708116998671607643892837783247\ 675323640309387092170149*c_1001_4^34 + 2273111329423440536110442689247484307262739580696636133297498383502\ 6503994960612/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^33 - 4830932056405161897946655271770429808597674279584912951124749823012\ 9858064953607/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^32 + 1901817691022236169162167693446700183086125942100197472348998469539\ 8402835710451/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^31 + 2880317161188183082171665078744643559268712854831910889435325429898\ 58126444031409/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^30 - 6464425783246387263790684285954596060824191294885098499714671014674\ 72493801994185/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^29 + 2076939018480254619638907266460856499762820140814847310709639485711\ 03591327143295/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^28 + 2377665536874307190005108791879625627883649642661349786045568873149\ 023706035826582/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^27 - 2283482026030502103254489963453039172991498537975004035348020974853\ 855931606519267/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^26 - 2809138194307131341207191221069403096114886849785741402461501187427\ 586953830234936/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^25 + 5120305498382386687898980001312872632419943509773228038316216152884\ 912352730005379/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^24 + 3277504814793182444449589388593271673210083180177620732360960250796\ 907033435212541/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^23 - 5954596660434515518240872353592882044396756817445085705849106191320\ 689192967448023/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^22 - 7141752670495773520867839185446029704290455177051114020896525561596\ 182074149285236/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^21 + 5434553695659925594767683005344921164486581756958947573107056749891\ 091210256650842/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^20 + 8741556293340698732603053432762931451580135129538437280384407721641\ 920868600966688/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^19 - 2507066738887597603936239403356749173261705384142640574291510259933\ 233776519907274/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^18 - 4968739542650186859265981700967865740800098303106804957805151049029\ 480506188398223/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^17 + 2567377738166369753531533277206850294033829152660380728928949130920\ 2960783737483/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^16 + 3712626909952342281569496029699872152179641246269765964748310925915\ 543035638291367/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^15 - 1196295062144810531119179063074162654319988488147415551030619249976\ 751996467775198/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^14 - 2213483550246133448817161162745138678431683139115426717965116109606\ 65590248954432/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^13 - 6592442417284871817559143309505612447773558089036263425326909221855\ 30152454143362/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^12 + 2274990559320899812453009383356751018945828881316697639036953432537\ 77782472279882/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^11 + 2904383886313649290690134278884414861216376162609143096838033280330\ 25904432070717/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^10 + 2125183416995372520964830052935152677423617296242784352013748775435\ 38185535662795/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^9 - 2734857647240524800974080907988454471516326516100618600505074501812\ 73625897574838/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^8 + 8816328675566925505799168260076783314206942066459884811244640347402\ 2064795739/50821411588818227922669470811699867160764389283778324767\ 5323640309387092170149*c_1001_4^7 + 9483043601164675156876486210430758187453506086945025360948567381585\ 7756310275950/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^6 + 3748410985777972855700752242914334277102038011862640718601600992868\ 1518837844162/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^5 - 6499101419194833978575343166633841754390595544582024235950776270144\ 3256816535645/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^4 + 3718921914940803275207531724039617082601077902974408615876404049250\ 9986166696348/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^3 - 1516643388188784861773999103990347105862479791325888719440895005451\ 4018648798940/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^2 + 6201856608780877746917036667763801734742211075953854860228216105193\ 706722906491/508214115888182279226694708116998671607643892837783247\ 675323640309387092170149*c_1001_4 - 1419993734972980217747318976806200674393371472344528365977165464541\ 422642832504/508214115888182279226694708116998671607643892837783247\ 675323640309387092170149, c_0101_2 + 362018860400342293797360654788845174587126462337080448367862\ 554828419544882286/508214115888182279226694708116998671607643892837\ 783247675323640309387092170149*c_1001_4^35 - 2844887512721163259399509839091021697148399085002995392374317320710\ 236823574898/508214115888182279226694708116998671607643892837783247\ 675323640309387092170149*c_1001_4^34 + 1288830928456161408404020922301545358590368988618045780724773847217\ 3811202106445/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^33 - 2890555335526685165899508225565586656228234694505765687705169284485\ 3239203982224/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^32 + 1501688580466228339520537945380416166522093290624680444902444971940\ 3089111022990/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^31 + 1573267123374060407289051653305281590771964455822103334288716555965\ 74352039627572/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^30 - 3969454888011971283175576409074617789500163596597712968462011770486\ 72495970244680/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^29 + 1751871079416138851267155933712561523358904567595991943801917809798\ 56687566703182/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^28 + 1330065751513098475438602515903755232290822986758701285900530187738\ 235612789320801/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^27 - 1650410300599427054604525184046417867340317342016068757187213819065\ 232737792389018/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^26 - 6580134357943505327356447692227438608261570737805103650658179957625\ 1719739930048/22096265908181838227247596005086898765549734471207967\ 290231462622147264876963*c_1001_4^25 + 3541467333470226405114191297519723058425453338524800185138803471614\ 376614996126774/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^24 + 1452400923975483769788458350384252550341568054486717153802379727483\ 794791173895657/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^23 - 4536425223771268797940465923756712089349685051984184839082471991112\ 643943748267414/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^22 - 3579476906643942584837561023280666722778035443802415380114745445690\ 635010357247068/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^21 + 5118758699475511878605174457937567696574173083663778452696900347298\ 448227414725254/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^20 + 5333058380863807679118524687572355974990311426843960745737110235308\ 851720258279047/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^19 - 3573072226708469118781559076737556838331796799854830781835302645142\ 025505878583024/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^18 - 4230904384110420485234492875551154359328864130469137704620461023587\ 855435825417569/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^17 + 8074397785247076005752763001258625485254549618499751438415984908595\ 69573333634793/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^16 + 3154628559900635934955842048796169422311047153044926483917605145240\ 843810544120173/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^15 - 7863026838001866803226531575938583874511095047389650398151614524903\ 69220539681859/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^14 - 4998933427096856973775393041992983604631868233631200956764637587777\ 44549597019087/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^13 - 3812421261720448388300766392996945466197558398639677641407432152962\ 87776621810697/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^12 + 2604759285965728502372856550977814451881471952513553043462610712738\ 69619802893495/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^11 + 2703847205419248477889630689507445745593366668314120876995423788735\ 99533675310824/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^10 + 7517744337513655617424801717243648895466208763237709079870238781533\ 9763400798064/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^9 - 2516796252018574521609165804627131995305382394677779555131920570944\ 46177831665951/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^8 - 2478545641291203441849817784209716448275271624674181103422426252741\ 7604885209829/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^7 + 8398960073398029672398137401926027661079755441821653915708070924082\ 1920169064354/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^6 + 1263462880757368684716668105944603911867631505738940211339720622087\ 466423002392/220962659081818382272475960050868987655497344712079672\ 90231462622147264876963*c_1001_4^5 - 4831375210427386960496673903882455450175151151445132429594492833810\ 6480810813656/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^4 + 2126127342321501181935043012783400376714716512103375894061323570551\ 9229338179677/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^3 - 6477706075363430400331082431660589968767124309384079210173030004928\ 351496452206/508214115888182279226694708116998671607643892837783247\ 675323640309387092170149*c_1001_4^2 + 3161171036191994510781535744235507790280438526644381249788531901646\ 642279230291/508214115888182279226694708116998671607643892837783247\ 675323640309387092170149*c_1001_4 - 3440107042476705601511850659184425390690035335911016760072207701402\ 405856074/220962659081818382272475960050868987655497344712079672902\ 31462622147264876963, c_0101_6 + 134240094886438439264390454389872354317232880281667013737999\ 574060084367713627/508214115888182279226694708116998671607643892837\ 783247675323640309387092170149*c_1001_4^35 - 8889329153814213001982167609195168106262564156610996504087075458199\ 79773560410/5082141158881822792266947081169986716076438928377832476\ 75323640309387092170149*c_1001_4^34 + 3549125837133961619388470398811400762632208923364666529256322406279\ 899371254878/508214115888182279226694708116998671607643892837783247\ 675323640309387092170149*c_1001_4^33 - 5358809883774988036723845144462677416389163861181097526407674609742\ 849573819675/508214115888182279226694708116998671607643892837783247\ 675323640309387092170149*c_1001_4^32 - 5307262037770559396624276055790902769475895308065582460229720956003\ 305370930852/508214115888182279226694708116998671607643892837783247\ 675323640309387092170149*c_1001_4^31 + 6048069432815856986809560960467859527252045075533976868286057618202\ 7956353934635/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^30 - 7451706182388519950343647265304976122488368790220629589951897263617\ 2654259031791/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^29 - 8399358684162235076788651029656504207068736441416479635960102570208\ 6330047752557/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^28 + 5079173589377279652934994383698646685229522181727495920202568876760\ 35906365060865/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^27 - 2236656474807659519534903585165845822091615188318855045742507457465\ 037562263548/508214115888182279226694708116998671607643892837783247\ 675323640309387092170149*c_1001_4^26 - 1038633047566993607279788410179011001300937152155470289419951145637\ 273493466431212/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^25 + 4179135524027574961017260008955775911112583043544595108754356991397\ 85141663538819/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^24 + 1713985024192067025571102446727954275910707217809794225188348826589\ 688445547171606/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^23 - 5040096137008526261795696817563151395535983585496919761791411571141\ 33254978798285/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^22 - 2790479335124592509016676949910780020995748790566393641656240997616\ 745688388997493/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^21 - 4108996615396620247014833340266794477757122359018797652468234934569\ 81941857704063/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^20 + 3140615482714351146452108760975584750945470007348390826039275297347\ 826512562682137/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^19 + 1626814013513894342072336941232620721067223233362215913431618637907\ 236297386949259/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^18 - 1658721590683840285464657703033650935110703786488642771594105517114\ 912585743598552/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^17 - 1566152682424259164677509093871348743919797231801648648249389339246\ 556258956261933/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^16 + 4978138238366448747229969917567634207094355167878608600080493533662\ 55788407069056/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^15 + 6692202892373009702319529631075270463190443584341192878730030169825\ 47578994407932/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^14 - 5748893600624693873754992377425712609345205487274430089938719781805\ 7183831259003/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^13 - 1879855784716553812159871651113149249853578284358228854387196004940\ 74378609909725/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^12 - 1134155438635048471732083877105336859057566051760577569148418838414\ 60191271988213/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^11 + 7441335456670866908968780334973725534146784637243252136525900946556\ 2443580104522/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^10 + 1264651563579875481353749477999485116901978482864280305009945038956\ 18466077916786/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^9 + 1980637589562623454877576050878806412173282879864692175100656548159\ 942847983413/508214115888182279226694708116998671607643892837783247\ 675323640309387092170149*c_1001_4^8 - 6499390741961269405330036528245919002245857835298366064029189464283\ 6778145367880/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^7 - 5866875150154744044919520471087936509266242426786014784897246463387\ 769121906212/508214115888182279226694708116998671607643892837783247\ 675323640309387092170149*c_1001_4^6 + 2210320627632816010914946140672561513897412277433078382585195321138\ 9820027300590/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^5 - 1790298583121635862780919088525614645541351721608227824744672465321\ 055967748022/508214115888182279226694708116998671607643892837783247\ 675323640309387092170149*c_1001_4^4 - 4484755349966797756894364434525566627133881690574320114934942523365\ 145625352442/508214115888182279226694708116998671607643892837783247\ 675323640309387092170149*c_1001_4^3 + 2777538518866053938021311968864759698092981157317079211022094422705\ 888948591386/508214115888182279226694708116998671607643892837783247\ 675323640309387092170149*c_1001_4^2 - 1305201827102403435449202188599510589384889128564782454182507741286\ 314231093018/508214115888182279226694708116998671607643892837783247\ 675323640309387092170149*c_1001_4 + 7633523083478620810152928611451046414545899838442305556744870768236\ 1683893322/50821411588818227922669470811699867160764389283778324767\ 5323640309387092170149, c_0110_10 + 56293724381086280929777457661501965036870467900508670827224\ 7091691456491320075/50821411588818227922669470811699867160764389283\ 7783247675323640309387092170149*c_1001_4^35 - 4368860229906062160156489796786108575095655813150277757048477302251\ 618510995887/508214115888182279226694708116998671607643892837783247\ 675323640309387092170149*c_1001_4^34 + 1972006341761477360045205921311223182442796570940190806541014663640\ 0388550556522/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^33 - 4380614222831500245626384209490837076775850420640555301851058670587\ 1952798090757/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^32 + 2249510030435558038123210932635840881998302269838796928894213224864\ 4499088011206/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^31 + 2398387988488645545479552950024913715609361824253608696654501647972\ 86809318865030/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^30 - 5922441200734544606211817147240885386228416901363892737304463524003\ 98744750589209/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^29 + 2604366275386379525091479830126757861386724324332058863325760935176\ 28445396761174/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^28 + 1998235177172011444204203457535091286630093655905545761593426078546\ 602000043412833/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^27 - 2359497255815054684312998765728414325146969559336602383567961794523\ 196059266695863/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^26 - 2200096811885182764925676306173690749762025561842650293377126216092\ 908334403402884/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^25 + 4982768062910700038965641092944966145591258829361204196767903137563\ 107331066050747/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^24 + 2183396412983368889271967237181034367310198083149811484409139560349\ 887486261081917/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^23 - 6101340152907091374075506645884145165797903620964559898446869156615\ 673431631533141/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^22 - 5420507655533374242404210374661696489273655825403872496396473013136\ 493641329278054/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^21 + 6505509383246109729633807516957855712495573613762830552457402261624\ 065026996092153/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^20 + 7447052425476416683769417337748046211947872960640012967248627205747\ 203690869396597/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^19 - 4084943593718301587783503940933245634786512452994198617937300538368\ 080243785140870/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^18 - 5078794092593972939713905412545180825744659877445825972982096784802\ 880896637917727/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^17 + 7248424179459392857097130093906528959301003058711778050159487332757\ 68733947190602/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^16 + 3764414966495128251118593505541193457223939023905186315805598558913\ 610937922033136/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^15 - 1333509939321584470760879915662781034649668874600578641959637846655\ 351696833299703/508214115888182279226694708116998671607643892837783\ 247675323640309387092170149*c_1001_4^14 - 2874326634839793695075958874554058356465525867915734289325446587558\ 41893337840535/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^13 - 5187126048367404698587895295546959191861541827740629008864914569964\ 79482251214999/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^12 + 3276185684746059622515795398039151394329867705679378516482114519223\ 55791252594847/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^11 + 2798233355315133009244101714573784185897071843747277450667373680306\ 39914156872045/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^10 + 1268044646116987273826985677684218067155476779059383008253032907470\ 00107856831924/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^9 - 3108705422432955870863326054244960991566192717202172148375439820751\ 61664655018829/5082141158881822792266947081169986716076438928377832\ 47675323640309387092170149*c_1001_4^8 + 3978748763215536760099261935731934075345895470831050684338323075771\ 764524519498/508214115888182279226694708116998671607643892837783247\ 675323640309387092170149*c_1001_4^7 + 9704554220052216332838871078103208361750109377678750878086344874818\ 6075864382258/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^6 + 2561422778019503293575357215019362025029780716327921604283975552590\ 0081285041773/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^5 - 6629890603547996810421723813425862641233558580915768129186172757731\ 2844125728544/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^4 + 3682392890941477907133500352170537098097871945318326467868218501473\ 6668321708814/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^3 - 1339977098399678450084885492625955154211573714297836267048300291543\ 7757680382374/50821411588818227922669470811699867160764389283778324\ 7675323640309387092170149*c_1001_4^2 + 5718992015111115874965605075566484875686341315844986651271203534281\ 324249494897/508214115888182279226694708116998671607643892837783247\ 675323640309387092170149*c_1001_4 - 1635147669431236364480756774641057440981579133530194038780690712393\ 903875922974/508214115888182279226694708116998671607643892837783247\ 675323640309387092170149, c_1001_13 + 16955873867706630993885566538293196755886785254946467063385\ 340020639632324901/220962659081818382272475960050868987655497344712\ 07967290231462622147264876963*c_1001_4^35 - 1231422882156504368985613660054411083073169681307525196369470165353\ 18470981939/2209626590818183822724759600508689876554973447120796729\ 0231462622147264876963*c_1001_4^34 + 5344423862067205789736040661655750568666125269844562936569002980583\ 47249931878/2209626590818183822724759600508689876554973447120796729\ 0231462622147264876963*c_1001_4^33 - 1066461600309799224831144944848627898231784090726339804069340769226\ 250321178168/220962659081818382272475960050868987655497344712079672\ 90231462622147264876963*c_1001_4^32 + 2035712437590607360073955993665271104962593060681579516823054935792\ 10447737693/2209626590818183822724759600508689876554973447120796729\ 0231462622147264876963*c_1001_4^31 + 7212475422479792184994212218641361161981103207033992857727827235224\ 563393353241/220962659081818382272475960050868987655497344712079672\ 90231462622147264876963*c_1001_4^30 - 1423312198127462378239516640141248510918394511220546549906137236042\ 3188224360603/22096265908181838227247596005086898765549734471207967\ 290231462622147264876963*c_1001_4^29 + 1549373192775189249759030443469854388537074291682764245550306868522\ 097018120946/220962659081818382272475960050868987655497344712079672\ 90231462622147264876963*c_1001_4^28 + 5942456176021104383882458232779321144887000181086260720171173975153\ 7032698383551/22096265908181838227247596005086898765549734471207967\ 290231462622147264876963*c_1001_4^27 - 4146717941198853249504264077219651823042455858456375361267272104975\ 7475819278549/22096265908181838227247596005086898765549734471207967\ 290231462622147264876963*c_1001_4^26 - 8026933335522874665602860524736631446454458663730325676449364675702\ 7187943982592/22096265908181838227247596005086898765549734471207967\ 290231462622147264876963*c_1001_4^25 + 1057177578239562324869833208708257992519544018409594402078312017142\ 55511410030660/2209626590818183822724759600508689876554973447120796\ 7290231462622147264876963*c_1001_4^24 + 1082108225165540160402068006045403268321519815223754055422551339024\ 74658508949607/2209626590818183822724759600508689876554973447120796\ 7290231462622147264876963*c_1001_4^23 - 1183544309127896658615892797260968057815764245871830830234561944678\ 42603455327051/2209626590818183822724759600508689876554973447120796\ 7290231462622147264876963*c_1001_4^22 - 2079787217324804060828577052229535080489296865438757049176970055551\ 53190495062197/2209626590818183822724759600508689876554973447120796\ 7290231462622147264876963*c_1001_4^21 + 7822233256022590587895726170419288906423157887491052723140348300973\ 2825865763619/22096265908181838227247596005086898765549734471207967\ 290231462622147264876963*c_1001_4^20 + 2364682722088753188064859481178026055502991589377784962377910300377\ 15863485176802/2209626590818183822724759600508689876554973447120796\ 7290231462622147264876963*c_1001_4^19 + 3995527398506702178643593797292122277663803787584515345610361917074\ 073665667408/220962659081818382272475960050868987655497344712079672\ 90231462622147264876963*c_1001_4^18 - 1182061258500184526134730759619027968608975492690909895286679768054\ 84523534218332/2209626590818183822724759600508689876554973447120796\ 7290231462622147264876963*c_1001_4^17 - 3384937129582759382910295822316285318651812504261074493142987515274\ 7421702583403/22096265908181838227247596005086898765549734471207967\ 290231462622147264876963*c_1001_4^16 + 7701696951640534027059315719971928336676527267484120224203960052834\ 8364382301601/22096265908181838227247596005086898765549734471207967\ 290231462622147264876963*c_1001_4^15 - 1102118109931337849640738625684737128162835324240214527320932792736\ 0544576568035/22096265908181838227247596005086898765549734471207967\ 290231462622147264876963*c_1001_4^14 - 4581849712608578930893122200746311985578212815145718199941663047107\ 412124710456/220962659081818382272475960050868987655497344712079672\ 90231462622147264876963*c_1001_4^13 - 1578513126008934851259469381828987023403450999847748481584884131904\ 6141867108729/22096265908181838227247596005086898765549734471207967\ 290231462622147264876963*c_1001_4^12 + 1428532198042092373374283150786466086070770552196703314555606073211\ 851640926849/220962659081818382272475960050868987655497344712079672\ 90231462622147264876963*c_1001_4^11 + 6356794004013417505852070143089272234786799095208962311842297501642\ 892443754169/220962659081818382272475960050868987655497344712079672\ 90231462622147264876963*c_1001_4^10 + 6942882424930421219244855326880005671042422055778601049777018813995\ 216963012707/220962659081818382272475960050868987655497344712079672\ 90231462622147264876963*c_1001_4^9 - 4665851684485275548711872795688534453274962185676870763014322985211\ 532518619953/220962659081818382272475960050868987655497344712079672\ 90231462622147264876963*c_1001_4^8 - 8676714546363827161326076497257921399377134017749484528177674670763\ 70765394526/2209626590818183822724759600508689876554973447120796729\ 0231462622147264876963*c_1001_4^7 + 1700391190065331168923810827424019517832909928863416808266740620669\ 358304808288/220962659081818382272475960050868987655497344712079672\ 90231462622147264876963*c_1001_4^6 + 1241234285442405970996998968114287252867394624827766951962447656211\ 135864898933/220962659081818382272475960050868987655497344712079672\ 90231462622147264876963*c_1001_4^5 - 1290077977208018552063177163988408968898329901908678344595305718594\ 364751236227/220962659081818382272475960050868987655497344712079672\ 90231462622147264876963*c_1001_4^4 + 6776821958071803789316959193574657544708002450014592428671409098780\ 00107542586/2209626590818183822724759600508689876554973447120796729\ 0231462622147264876963*c_1001_4^3 - 2024284472854500475413564289019664680140685087989534239644478949548\ 86978237994/2209626590818183822724759600508689876554973447120796729\ 0231462622147264876963*c_1001_4^2 + 1024281839274460243805989340110713795860697125914101253663177537213\ 41766216761/2209626590818183822724759600508689876554973447120796729\ 0231462622147264876963*c_1001_4 - 284679325142828664140635820438950\ 01253794998734468989582353241077417894250962/2209626590818183822724\ 7596005086898765549734471207967290231462622147264876963, c_1001_4^36 - 8*c_1001_4^35 + 37*c_1001_4^34 - 87*c_1001_4^33 + 62*c_1001_4^32 + 410*c_1001_4^31 - 1154*c_1001_4^30 + 763*c_1001_4^29 + 3352*c_1001_4^28 - 5050*c_1001_4^27 - 2503*c_1001_4^26 + 9579*c_1001_4^25 + 1141*c_1001_4^24 - 11163*c_1001_4^23 - 6130*c_1001_4^22 + 13183*c_1001_4^21 + 8815*c_1001_4^20 - 10153*c_1001_4^19 - 5414*c_1001_4^18 + 3885*c_1001_4^17 + 5438*c_1001_4^16 - 4552*c_1001_4^15 + 508*c_1001_4^14 - 684*c_1001_4^13 + 793*c_1001_4^12 + 223*c_1001_4^11 + 89*c_1001_4^10 - 551*c_1001_4^9 + 209*c_1001_4^8 + 146*c_1001_4^7 - 15*c_1001_4^6 - 125*c_1001_4^5 + 105*c_1001_4^4 - 46*c_1001_4^3 + 18*c_1001_4^2 - 6*c_1001_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 497.610 Total time: 497.819 seconds, Total memory usage: 2213.62MB