Magma V2.19-8 Wed Aug 21 2013 00:36:56 on localhost [Seed = 643839988] Type ? for help. Type -D to quit. Loading file "K14n24491__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n24491 geometric_solution 12.53148692 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 1 0 -1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -9 -1 10 -9 0 0 9 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.785183243946 0.887529514110 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 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 9 0 -9 0 0 -9 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.505118734735 0.426314433481 3 0 6 8 2310 0132 3012 0132 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 -9 0 0 0 0 0 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.605238321885 0.753830265664 9 10 2 0 0132 0132 3201 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 0 -1 1 1 0 -1 0 -10 9 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.605238321885 0.753830265664 7 9 0 5 2310 3120 0132 2310 0 0 0 0 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 0 0 0 0 0 0 0 10 -10 0 0 0 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.505118734735 0.426314433481 4 1 11 12 3201 0132 0132 0132 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 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.297160986941 1.718633109672 9 2 1 12 2103 1230 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 -1 1 0 0 0 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.545860717417 0.832143153400 10 8 4 1 2103 2103 3201 0132 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -9 0 0 9 0 0 0 0 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.748268013128 0.835670128980 10 7 2 12 3201 2103 0132 3201 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 -1 0 0 1 0 0 0 0 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.574220413847 0.764754361009 3 4 6 11 0132 3120 2103 0132 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 1 -1 -1 0 1 0 0 0 0 0 10 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.448862777803 0.840186977011 11 3 7 8 0132 0132 2103 2310 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 0 0 0 0 0 9 -9 -1 0 0 1 0 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.574220413847 0.764754361009 10 12 9 5 0132 2031 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.165026602622 0.777581165488 11 8 5 6 1302 2310 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.165026602622 0.777581165488 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0110_6'], 'c_1001_11' : negation(d['c_0011_4']), 'c_1001_10' : d['c_0011_7'], 'c_1001_12' : d['c_1001_1'], 'c_1001_5' : d['c_0011_12'], 'c_1001_4' : negation(d['c_0011_6']), 'c_1001_7' : d['c_0011_8'], 'c_1001_6' : d['c_0011_12'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_7'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0011_6']), 'c_1001_9' : d['c_0011_6'], 'c_1001_8' : d['c_0011_7'], 'c_1010_12' : negation(d['c_0101_2']), 'c_1010_11' : d['c_0011_12'], 'c_1010_10' : negation(d['c_0101_2']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : negation(d['c_0011_10']), 'c_1100_8' : negation(d['c_0011_12']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0110_6']), 'c_1100_4' : d['c_0011_0'], 'c_1100_7' : negation(d['c_0011_4']), 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_12']), 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0110_6']), 'c_1100_11' : negation(d['c_0110_6']), 'c_1100_10' : d['c_0011_8'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0011_10']), 'c_1010_3' : d['c_0011_7'], 'c_1010_2' : d['c_0011_7'], 'c_1010_1' : d['c_0011_12'], 'c_1010_0' : negation(d['c_0011_6']), 'c_1010_9' : negation(d['c_0011_4']), 'c_1010_8' : negation(d['c_1001_1']), 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0110_6']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : 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' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_10'], 'c_0110_10' : d['c_0101_11'], 'c_0110_12' : d['c_0011_4'], 'c_0101_12' : d['c_0011_10'], 'c_0101_7' : d['c_0101_10'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_10'], 'c_0101_4' : negation(d['c_0011_8']), 'c_0101_3' : d['c_0101_11'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_8']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : negation(d['c_0101_11']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_11'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_8']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_11']), 'c_0110_5' : d['c_0011_10'], 'c_0110_4' : negation(d['c_0101_10']), 'c_0110_7' : negation(d['c_0011_8']), 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_4, c_0011_6, c_0011_7, c_0011_8, c_0101_0, c_0101_10, c_0101_11, c_0101_2, c_0110_6, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 4 Groebner basis: [ t + 128/21*c_1001_1^3 - 128/7*c_1001_1^2 + 128/21*c_1001_1 + 64/3, c_0011_0 - 1, c_0011_10 + c_1001_1 - 1, c_0011_12 + 2/3*c_1001_1^3 - 2*c_1001_1^2 + 5/3*c_1001_1 + 1/3, c_0011_4 - 1, c_0011_6 - 2*c_1001_1^3 + 4*c_1001_1^2 + c_1001_1, c_0011_7 - 2/3*c_1001_1^3 + 2*c_1001_1^2 - 2/3*c_1001_1 + 2/3, c_0011_8 + 2/3*c_1001_1^3 - 2*c_1001_1^2 + 2/3*c_1001_1 + 1/3, c_0101_0 - 4/3*c_1001_1^3 + 2*c_1001_1^2 + 5/3*c_1001_1 + 1/3, c_0101_10 - 2/3*c_1001_1^3 + 2*c_1001_1^2 - 5/3*c_1001_1 + 2/3, c_0101_11 + 2*c_1001_1^3 - 4*c_1001_1^2 - c_1001_1, c_0101_2 - 4/3*c_1001_1^3 + 2*c_1001_1^2 + 5/3*c_1001_1 + 1/3, c_0110_6 - 2/3*c_1001_1^3 + 2*c_1001_1^2 - 2/3*c_1001_1 - 1/3, c_1001_1^4 - 2*c_1001_1^3 - 1/2*c_1001_1^2 - 1/4 ], Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_4, c_0011_6, c_0011_7, c_0011_8, c_0101_0, c_0101_10, c_0101_11, c_0101_2, c_0110_6, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 3532508838329189598448405244976715061332067847417249815/41326235122\ 66248536991957638215394694638191146579968*c_1001_1^18 + 17047375222400687274476681338251530898453255433881869843/8265247024\ 532497073983915276430789389276382293159936*c_1001_1^17 - 31052239275364413712929479403071161235833499764830692567/4132623512\ 266248536991957638215394694638191146579968*c_1001_1^16 + 193886594213843293522433844167416466481452793254533258235/330609880\ 98129988295935661105723157557105529172639744*c_1001_1^15 - 24157477804603177860008893242354738784048269410031084159/1944764005\ 772352252702097712101362209241501716037632*c_1001_1^14 + 377629911456413718354019002155141662156709965147236666835/330609880\ 98129988295935661105723157557105529172639744*c_1001_1^13 - 88052860602770955044083690299282470466512901569560943239/1944764005\ 772352252702097712101362209241501716037632*c_1001_1^12 + 2600448265660800024500949763183647262225559382855914237507/33060988\ 098129988295935661105723157557105529172639744*c_1001_1^11 - 3472887400296197357516778145316069585673610889026213721889/33060988\ 098129988295935661105723157557105529172639744*c_1001_1^10 + 332417960832220443825639282906449111016638360793505917155/194476400\ 5772352252702097712101362209241501716037632*c_1001_1^9 - 3516954710308016268891218758620475375551627930350876408759/16530494\ 049064994147967830552861578778552764586319872*c_1001_1^8 + 1956179206295062101622206283175255749768559477006416541601/47229982\ 99732855470847951586531879651015075596091392*c_1001_1^7 - 10628348711274094660839331471191728648102952356774449635415/1653049\ 4049064994147967830552861578778552764586319872*c_1001_1^6 + 867880661120574530449537373594833724693762026237658695991/103315587\ 8066562134247989409553848673659547786644992*c_1001_1^5 - 980317573054326051387841914904492433047799912153048143153/118074957\ 4933213867711987896632969912753768899022848*c_1001_1^4 + 1154930520903848295261099262827396010590153955419810062299/20663117\ 56133124268495978819107697347319095573289984*c_1001_1^3 - 9315337740853026349132198340453512197392027159423146405511/33060988\ 098129988295935661105723157557105529172639744*c_1001_1^2 + 221813007081399510853396552840155192777026039878986768667/472299829\ 9732855470847951586531879651015075596091392*c_1001_1 - 648744759527907255264435917762435199904359056789177178827/330609880\ 98129988295935661105723157557105529172639744, c_0011_0 - 1, c_0011_10 + 1124159217005512194667781560633584560/199269815205919503361\ 36946335089706711*c_1001_1^18 - 23992948478255338328414034527486014\ 72/19926981520591950336136946335089706711*c_1001_1^17 + 9003463944710693818594267496116700540/19926981520591950336136946335\ 089706711*c_1001_1^16 - 4851734879002736844009401870435580890/19926\ 981520591950336136946335089706711*c_1001_1^15 + 13454371345874562871661892762950288943/1992698152059195033613694633\ 5089706711*c_1001_1^14 - 11116563742866365829167531755923876198/199\ 26981520591950336136946335089706711*c_1001_1^13 + 54011582193894880444882090441444795477/1992698152059195033613694633\ 5089706711*c_1001_1^12 - 87769186261337466054401272153774986837/199\ 26981520591950336136946335089706711*c_1001_1^11 + 103517375280828577145364449965855793784/199269815205919503361369463\ 35089706711*c_1001_1^10 - 184616406954491088523495553113051539489/1\ 9926981520591950336136946335089706711*c_1001_1^9 + 214328276142571917010801997740596415783/199269815205919503361369463\ 35089706711*c_1001_1^8 - 459448396357505366901138470307479928788/19\ 926981520591950336136946335089706711*c_1001_1^7 + 690486738391436052615674108545921776973/199269815205919503361369463\ 35089706711*c_1001_1^6 - 837536093252282493149751730652792338908/19\ 926981520591950336136946335089706711*c_1001_1^5 + 763989741380636399097636573095843201618/199269815205919503361369463\ 35089706711*c_1001_1^4 - 411979338241937592361419453335722302967/19\ 926981520591950336136946335089706711*c_1001_1^3 + 172009770569341721585545020449011140340/199269815205919503361369463\ 35089706711*c_1001_1^2 + 11005791256290561543937024356273895445/199\ 26981520591950336136946335089706711*c_1001_1 + 13287687685486096476973793598578185677/1992698152059195033613694633\ 5089706711, c_0011_12 - 1124159217005512194667781560633584560/199269815205919503361\ 36946335089706711*c_1001_1^18 + 23992948478255338328414034527486014\ 72/19926981520591950336136946335089706711*c_1001_1^17 - 9003463944710693818594267496116700540/19926981520591950336136946335\ 089706711*c_1001_1^16 + 4851734879002736844009401870435580890/19926\ 981520591950336136946335089706711*c_1001_1^15 - 13454371345874562871661892762950288943/1992698152059195033613694633\ 5089706711*c_1001_1^14 + 11116563742866365829167531755923876198/199\ 26981520591950336136946335089706711*c_1001_1^13 - 54011582193894880444882090441444795477/1992698152059195033613694633\ 5089706711*c_1001_1^12 + 87769186261337466054401272153774986837/199\ 26981520591950336136946335089706711*c_1001_1^11 - 103517375280828577145364449965855793784/199269815205919503361369463\ 35089706711*c_1001_1^10 + 184616406954491088523495553113051539489/1\ 9926981520591950336136946335089706711*c_1001_1^9 - 214328276142571917010801997740596415783/199269815205919503361369463\ 35089706711*c_1001_1^8 + 459448396357505366901138470307479928788/19\ 926981520591950336136946335089706711*c_1001_1^7 - 690486738391436052615674108545921776973/199269815205919503361369463\ 35089706711*c_1001_1^6 + 837536093252282493149751730652792338908/19\ 926981520591950336136946335089706711*c_1001_1^5 - 763989741380636399097636573095843201618/199269815205919503361369463\ 35089706711*c_1001_1^4 + 411979338241937592361419453335722302967/19\ 926981520591950336136946335089706711*c_1001_1^3 - 172009770569341721585545020449011140340/199269815205919503361369463\ 35089706711*c_1001_1^2 - 11005791256290561543937024356273895445/199\ 26981520591950336136946335089706711*c_1001_1 - 13287687685486096476973793598578185677/1992698152059195033613694633\ 5089706711, c_0011_4 - 190913826760605044372576734212203568/19926981520591950336136\ 946335089706711*c_1001_1^18 + 292519969739029002936974226665884984/\ 19926981520591950336136946335089706711*c_1001_1^17 - 1293956284697803963672473361141765928/19926981520591950336136946335\ 089706711*c_1001_1^16 + 57999353369731639745558517057668162/1992698\ 1520591950336136946335089706711*c_1001_1^15 - 2220723418151662478511392791332160874/19926981520591950336136946335\ 089706711*c_1001_1^14 + 1564416173014752235071561023298388705/19926\ 981520591950336136946335089706711*c_1001_1^13 - 8977460777785501109668345019175200212/19926981520591950336136946335\ 089706711*c_1001_1^12 + 10042559715154857379567261098013518573/1992\ 6981520591950336136946335089706711*c_1001_1^11 - 11506940440978498044261833391649006000/1992698152059195033613694633\ 5089706711*c_1001_1^10 + 26674819269156319763069812577001320984/199\ 26981520591950336136946335089706711*c_1001_1^9 - 32107680659822437210390358366545023529/1992698152059195033613694633\ 5089706711*c_1001_1^8 + 65536147673437010275043871239534631773/1992\ 6981520591950336136946335089706711*c_1001_1^7 - 92065488703287569026702705299038708717/1992698152059195033613694633\ 5089706711*c_1001_1^6 + 101596911635375858815153890410145492512/199\ 26981520591950336136946335089706711*c_1001_1^5 - 101910647514605706922537954927981968921/199269815205919503361369463\ 35089706711*c_1001_1^4 + 85450908088208071537414656896379027852/199\ 26981520591950336136946335089706711*c_1001_1^3 - 68340396308098050348562760616693308467/1992698152059195033613694633\ 5089706711*c_1001_1^2 + 49212071683043862324891037089629853108/1992\ 6981520591950336136946335089706711*c_1001_1 - 15046575233614686654687854800721954548/1992698152059195033613694633\ 5089706711, c_0011_6 + 964625477075171935497475672981648928/19926981520591950336136\ 946335089706711*c_1001_1^18 - 2330647906192085710159136675271581008\ /19926981520591950336136946335089706711*c_1001_1^17 + 8283411679547027930038532444994488064/19926981520591950336136946335\ 089706711*c_1001_1^16 - 6426895561163338368173700493813095692/19926\ 981520591950336136946335089706711*c_1001_1^15 + 12772517871032978687903484104126857296/1992698152059195033613694633\ 5089706711*c_1001_1^14 - 13387878403579004466063451370009254036/199\ 26981520591950336136946335089706711*c_1001_1^13 + 48668717242855316217665512557823720533/1992698152059195033613694633\ 5089706711*c_1001_1^12 - 88089963577906350067012783826824695610/199\ 26981520591950336136946335089706711*c_1001_1^11 + 110822535120730279748059485286318372179/199269815205919503361369463\ 35089706711*c_1001_1^10 - 185416894434041668401967956315666183420/1\ 9926981520591950336136946335089706711*c_1001_1^9 + 233297295366043397430894144957432537554/199269815205919503361369463\ 35089706711*c_1001_1^8 - 440894872075083837021810379925512739405/19\ 926981520591950336136946335089706711*c_1001_1^7 + 709711566282125581591322196104009666277/199269815205919503361369463\ 35089706711*c_1001_1^6 - 893656830356442787383687260041817245095/19\ 926981520591950336136946335089706711*c_1001_1^5 + 867137690178650647048155371145234691469/199269815205919503361369463\ 35089706711*c_1001_1^4 - 562635175250176450767717638657240232526/19\ 926981520591950336136946335089706711*c_1001_1^3 + 248331233474365267533078751154505362711/199269815205919503361369463\ 35089706711*c_1001_1^2 - 23496263540770372640098896270962160557/199\ 26981520591950336136946335089706711*c_1001_1 - 7790101864526375711000943023550605569/19926981520591950336136946335\ 089706711, c_0011_7 + 1491627740949295796023968388845741408/1992698152059195033613\ 6946335089706711*c_1001_1^18 - 402461970004362158080459432377554570\ 4/19926981520591950336136946335089706711*c_1001_1^17 + 13919430471258302125837719388328536404/1992698152059195033613694633\ 5089706711*c_1001_1^16 - 13441044614460898789635427735068565328/199\ 26981520591950336136946335089706711*c_1001_1^15 + 22989363120131768808537084295011095115/1992698152059195033613694633\ 5089706711*c_1001_1^14 - 24926806230285562740748420083208902672/199\ 26981520591950336136946335089706711*c_1001_1^13 + 83287837186519459880427930990859216849/1992698152059195033613694633\ 5089706711*c_1001_1^12 - 155657948447277564090098007150295219441/19\ 926981520591950336136946335089706711*c_1001_1^11 + 213436977138611954259337740511342947600/199269815205919503361369463\ 35089706711*c_1001_1^10 - 331793254421177494041963090575611404515/1\ 9926981520591950336136946335089706711*c_1001_1^9 + 440894504691811233845155408932578689021/199269815205919503361369463\ 35089706711*c_1001_1^8 - 794538088675267309663343242637932950194/19\ 926981520591950336136946335089706711*c_1001_1^7 + 1274313700133143992379232034877852022927/19926981520591950336136946\ 335089706711*c_1001_1^6 - 1712075989125655696228681431509106830611/\ 19926981520591950336136946335089706711*c_1001_1^5 + 1725037828485775456390902864188724642067/19926981520591950336136946\ 335089706711*c_1001_1^4 - 1241100249599480197366572379040650643787/\ 19926981520591950336136946335089706711*c_1001_1^3 + 638353138230079994029542693716558574687/199269815205919503361369463\ 35089706711*c_1001_1^2 - 137054838042095403841724059128353272341/19\ 926981520591950336136946335089706711*c_1001_1 + 29032438643197261810517669069489930372/1992698152059195033613694633\ 5089706711, c_0011_8 - 737026674531012864861224295500758928/19926981520591950336136\ 946335089706711*c_1001_1^18 + 2074330854227837211236888408905492936\ /19926981520591950336136946335089706711*c_1001_1^17 - 7018620614667356873486884148408982008/19926981520591950336136946335\ 089706711*c_1001_1^16 + 7291524844273465047613743449392846006/19926\ 981520591950336136946335089706711*c_1001_1^15 - 11553525745177464480215620971519086014/1992698152059195033613694633\ 5089706711*c_1001_1^14 + 13668178094476174230805423789350950149/199\ 26981520591950336136946335089706711*c_1001_1^13 - 42049922860079365881265621011555187777/1992698152059195033613694633\ 5089706711*c_1001_1^12 + 81176234715854384575009785524289198498/199\ 26981520591950336136946335089706711*c_1001_1^11 - 111056320138936999260696740580293999142/199269815205919503361369463\ 35089706711*c_1001_1^10 + 170864312949289921733593824359135027622/1\ 9926981520591950336136946335089706711*c_1001_1^9 - 234976584979290584564948157308958939844/199269815205919503361369463\ 35089706711*c_1001_1^8 + 408320755266695891246153933502086805093/19\ 926981520591950336136946335089706711*c_1001_1^7 - 668071562560688261241649812611589299528/199269815205919503361369463\ 35089706711*c_1001_1^6 + 894568999012792855349880891096111500353/19\ 926981520591950336136946335089706711*c_1001_1^5 - 913978472184040149816764858357943545736/199269815205919503361369463\ 35089706711*c_1001_1^4 + 690079124179047795128136953522425996117/19\ 926981520591950336136946335089706711*c_1001_1^3 - 364933518216032504604049048460995469622/199269815205919503361369463\ 35089706711*c_1001_1^2 + 118064685746283052162528541994880662764/19\ 926981520591950336136946335089706711*c_1001_1 - 23462261088942601432490237705026313676/1992698152059195033613694633\ 5089706711, c_0101_0 - 964625477075171935497475672981648928/19926981520591950336136\ 946335089706711*c_1001_1^18 + 2330647906192085710159136675271581008\ /19926981520591950336136946335089706711*c_1001_1^17 - 8283411679547027930038532444994488064/19926981520591950336136946335\ 089706711*c_1001_1^16 + 6426895561163338368173700493813095692/19926\ 981520591950336136946335089706711*c_1001_1^15 - 12772517871032978687903484104126857296/1992698152059195033613694633\ 5089706711*c_1001_1^14 + 13387878403579004466063451370009254036/199\ 26981520591950336136946335089706711*c_1001_1^13 - 48668717242855316217665512557823720533/1992698152059195033613694633\ 5089706711*c_1001_1^12 + 88089963577906350067012783826824695610/199\ 26981520591950336136946335089706711*c_1001_1^11 - 110822535120730279748059485286318372179/199269815205919503361369463\ 35089706711*c_1001_1^10 + 185416894434041668401967956315666183420/1\ 9926981520591950336136946335089706711*c_1001_1^9 - 233297295366043397430894144957432537554/199269815205919503361369463\ 35089706711*c_1001_1^8 + 440894872075083837021810379925512739405/19\ 926981520591950336136946335089706711*c_1001_1^7 - 709711566282125581591322196104009666277/199269815205919503361369463\ 35089706711*c_1001_1^6 + 893656830356442787383687260041817245095/19\ 926981520591950336136946335089706711*c_1001_1^5 - 867137690178650647048155371145234691469/199269815205919503361369463\ 35089706711*c_1001_1^4 + 562635175250176450767717638657240232526/19\ 926981520591950336136946335089706711*c_1001_1^3 - 248331233474365267533078751154505362711/199269815205919503361369463\ 35089706711*c_1001_1^2 + 23496263540770372640098896270962160557/199\ 26981520591950336136946335089706711*c_1001_1 + 7790101864526375711000943023550605569/19926981520591950336136946335\ 089706711, c_0101_10 + c_1001_1, c_0101_11 + 1237257138578257550002525146150848872/199269815205919503361\ 36946335089706711*c_1001_1^18 - 29783276303722981811703379714664341\ 32/19926981520591950336136946335089706711*c_1001_1^17 + 10929572292446799990246271366039662096/1992698152059195033613694633\ 5089706711*c_1001_1^16 - 8338433228658987847987677281615067289/1992\ 6981520591950336136946335089706711*c_1001_1^15 + 18131896417580674632407369161883943047/1992698152059195033613694633\ 5089706711*c_1001_1^14 - 15136693540926643902025233505889185063/199\ 26981520591950336136946335089706711*c_1001_1^13 + 66442973322069729236183704151975045271/1992698152059195033613694633\ 5089706711*c_1001_1^12 - 111798097760194218436267557954555173307/19\ 926981520591950336136946335089706711*c_1001_1^11 + 154226950941595167824361350997042766985/199269815205919503361369463\ 35089706711*c_1001_1^10 - 240712136934669947981745436805346926106/1\ 9926981520591950336136946335089706711*c_1001_1^9 + 303212236541388338133894341880122483928/199269815205919503361369463\ 35089706711*c_1001_1^8 - 595037671065819237976464138124983961331/19\ 926981520591950336136946335089706711*c_1001_1^7 + 918898084149241518206748412289113362712/199269815205919503361369463\ 35089706711*c_1001_1^6 - 1206250122194356353179578454972236891263/1\ 9926981520591950336136946335089706711*c_1001_1^5 + 1170664250433993078477162277536602874509/19926981520591950336136946\ 335089706711*c_1001_1^4 - 759936757776040463256751410316559962337/1\ 9926981520591950336136946335089706711*c_1001_1^3 + 347866369342363639452244659331856326202/199269815205919503361369463\ 35089706711*c_1001_1^2 - 32796159454155435297664650857577262661/199\ 26981520591950336136946335089706711*c_1001_1 + 11023253399773035266225894937169241647/1992698152059195033613694633\ 5089706711, c_0101_2 + 1237257138578257550002525146150848872/1992698152059195033613\ 6946335089706711*c_1001_1^18 - 297832763037229818117033797146643413\ 2/19926981520591950336136946335089706711*c_1001_1^17 + 10929572292446799990246271366039662096/1992698152059195033613694633\ 5089706711*c_1001_1^16 - 8338433228658987847987677281615067289/1992\ 6981520591950336136946335089706711*c_1001_1^15 + 18131896417580674632407369161883943047/1992698152059195033613694633\ 5089706711*c_1001_1^14 - 15136693540926643902025233505889185063/199\ 26981520591950336136946335089706711*c_1001_1^13 + 66442973322069729236183704151975045271/1992698152059195033613694633\ 5089706711*c_1001_1^12 - 111798097760194218436267557954555173307/19\ 926981520591950336136946335089706711*c_1001_1^11 + 154226950941595167824361350997042766985/199269815205919503361369463\ 35089706711*c_1001_1^10 - 240712136934669947981745436805346926106/1\ 9926981520591950336136946335089706711*c_1001_1^9 + 303212236541388338133894341880122483928/199269815205919503361369463\ 35089706711*c_1001_1^8 - 595037671065819237976464138124983961331/19\ 926981520591950336136946335089706711*c_1001_1^7 + 918898084149241518206748412289113362712/199269815205919503361369463\ 35089706711*c_1001_1^6 - 1206250122194356353179578454972236891263/1\ 9926981520591950336136946335089706711*c_1001_1^5 + 1170664250433993078477162277536602874509/19926981520591950336136946\ 335089706711*c_1001_1^4 - 759936757776040463256751410316559962337/1\ 9926981520591950336136946335089706711*c_1001_1^3 + 347866369342363639452244659331856326202/199269815205919503361369463\ 35089706711*c_1001_1^2 - 32796159454155435297664650857577262661/199\ 26981520591950336136946335089706711*c_1001_1 + 11023253399773035266225894937169241647/1992698152059195033613694633\ 5089706711, c_0110_6 - 715086111983034369804751166885752264/19926981520591950336136\ 946335089706711*c_1001_1^18 + 1773956820630006323460731221410827484\ /19926981520591950336136946335089706711*c_1001_1^17 - 6601981592034323442867273892555469332/19926981520591950336136946335\ 089706711*c_1001_1^16 + 5566836092426905154142941572635725953/19926\ 981520591950336136946335089706711*c_1001_1^15 - 11923820351816314706449077059642402210/1992698152059195033613694633\ 5089706711*c_1001_1^14 + 9658026942395355230998453692109169619/1992\ 6981520591950336136946335089706711*c_1001_1^13 - 40211975943876747564952979562430330117/1992698152059195033613694633\ 5089706711*c_1001_1^12 + 68430739808973987436749388855903155956/199\ 26981520591950336136946335089706711*c_1001_1^11 - 100149094413882522491504032770967311373/199269815205919503361369463\ 35089706711*c_1001_1^10 + 156494967055276433233924487123101385317/1\ 9926981520591950336136946335089706711*c_1001_1^9 - 191828788917509859427122392104109945455/199269815205919503361369463\ 35089706711*c_1001_1^8 + 376974913882745502055798864746931261897/19\ 926981520591950336136946335089706711*c_1001_1^7 - 571420581259136463181837880796250322877/199269815205919503361369463\ 35089706711*c_1001_1^6 + 789686935833389438089565232260600521846/19\ 926981520591950336136946335089706711*c_1001_1^5 - 796333165977070615888566662933679879258/199269815205919503361369463\ 35089706711*c_1001_1^4 + 555170733797066686398127553031815184675/19\ 926981520591950336136946335089706711*c_1001_1^3 - 273861650602986383903656112339403901489/199269815205919503361369463\ 35089706711*c_1001_1^2 + 31486018069247430535416451708188709193/199\ 26981520591950336136946335089706711*c_1001_1 - 12633596232182335783881022487687749935/1992698152059195033613694633\ 5089706711, c_1001_1^19 - 5/2*c_1001_1^18 + 9*c_1001_1^17 - 61/8*c_1001_1^16 + 121/8*c_1001_1^15 - 117/8*c_1001_1^14 + 433/8*c_1001_1^13 - 773/8*c_1001_1^12 + 1047/8*c_1001_1^11 - 1685/8*c_1001_1^10 + 1065/4*c_1001_1^9 - 4049/8*c_1001_1^8 + 3177/4*c_1001_1^7 - 1048*c_1001_1^6 + 2113/2*c_1001_1^5 - 738*c_1001_1^4 + 3089/8*c_1001_1^3 - 667/8*c_1001_1^2 + 221/8*c_1001_1 - 2 ], Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_4, c_0011_6, c_0011_7, c_0011_8, c_0101_0, c_0101_10, c_0101_11, c_0101_2, c_0110_6, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 1816097694764536383507509704424800827547920205457704546033977345640\ 915667482888804/874923278426686785853367330794114715285328919681361\ 04451064751164269261133137117*c_1001_1^19 + 4731283644838845342978407846469618031323617295600535792165974870697\ 848518390037728/874923278426686785853367330794114715285328919681361\ 04451064751164269261133137117*c_1001_1^18 + 6967327570937688093018859015951752196224910097067584444964397850341\ 262373565009318/212481367617909647992960637478570716569294166208330\ 539381157252827511062751904427*c_1001_1^17 + 6682838990623135104880678175243075138513040191490558652183889730650\ 6783332110951152/14873695733253675359507244623499950159850591634583\ 13775668100769792577439263330989*c_1001_1^16 - 6807375836947558469716003195073755789557201815267863512714804997563\ 11973514016397339/1487369573325367535950724462349995015985059163458\ 313775668100769792577439263330989*c_1001_1^15 - 8924762013575333378573405811869630257261782899723177868142792834058\ 87293525783532494/1487369573325367535950724462349995015985059163458\ 313775668100769792577439263330989*c_1001_1^14 - 2212896912397584919251761144668904898858362260967789566156539801235\ 459750582181690752/148736957332536753595072446234999501598505916345\ 8313775668100769792577439263330989*c_1001_1^13 - 3476980290552105308605327769060463531707430105306861436080568932262\ 337337258827758955/148736957332536753595072446234999501598505916345\ 8313775668100769792577439263330989*c_1001_1^12 - 6152636222356081171166299138076500169930345800941875016155314674847\ 796983724186464374/148736957332536753595072446234999501598505916345\ 8313775668100769792577439263330989*c_1001_1^11 - 8657030629755451911351255122376228935007913474427197068284786518710\ 694581931737537756/148736957332536753595072446234999501598505916345\ 8313775668100769792577439263330989*c_1001_1^10 - 1190998182872445891735123661536207049398240241162875383675038709262\ 9287655412025784977/14873695733253675359507244623499950159850591634\ 58313775668100769792577439263330989*c_1001_1^9 - 1082448589201689860495553109770852703972784524061161178107634237227\ 8908518962384144377/14873695733253675359507244623499950159850591634\ 58313775668100769792577439263330989*c_1001_1^8 - 1171088268159125329727384694283501657413905388824355755673393394315\ 350593932038003539/212481367617909647992960637478570716569294166208\ 330539381157252827511062751904427*c_1001_1^7 - 4077586388270494321496551035824319227351215147113250048709660271587\ 503915114211315985/148736957332536753595072446234999501598505916345\ 8313775668100769792577439263330989*c_1001_1^6 - 2131476458252334776651805411497955396824058755376999398445410192940\ 057655722912517590/148736957332536753595072446234999501598505916345\ 8313775668100769792577439263330989*c_1001_1^5 - 6220728255499303347672247653158110836114568875655218964320514356706\ 48486964829926395/1487369573325367535950724462349995015985059163458\ 313775668100769792577439263330989*c_1001_1^4 - 5042803275790752112301650732170489971257588923791963651453682506757\ 8447372788396573/14873695733253675359507244623499950159850591634583\ 13775668100769792577439263330989*c_1001_1^3 + 2754048421115913466785312938935101978499914822832178309671386539179\ 8759681854897101/21248136761790964799296063747857071656929416620833\ 0539381157252827511062751904427*c_1001_1^2 + 7191081846021657389427629088647621747736442317040568948845014002359\ 3211009195165571/14873695733253675359507244623499950159850591634583\ 13775668100769792577439263330989*c_1001_1 + 2229513821059577547290817696678230937463244618921499003973353204112\ 3259827265796974/14873695733253675359507244623499950159850591634583\ 13775668100769792577439263330989, c_0011_0 - 1, c_0011_10 - 27524688994329694038352975916936707229391371647405418486605\ 8216227154864/13037606264921059332644453192256627232943098953416546\ 6602857288271639379*c_1001_1^19 + 474263884998609027460293902478903\ 789402985554104948686739572218412376240/130376062649210593326444531\ 922566272329430989534165466602857288271639379*c_1001_1^18 + 1209589122150103541793959832117400846470638904996814166884640657833\ 284102/130376062649210593326444531922566272329430989534165466602857\ 288271639379*c_1001_1^17 + 5512375871507597426292503785464637510485\ 11230896158576326637039338910198/1303760626492105933264445319225662\ 72329430989534165466602857288271639379*c_1001_1^16 - 5646382657919123183622432767264731375185591623741882410597642166829\ 648207/130376062649210593326444531922566272329430989534165466602857\ 288271639379*c_1001_1^15 - 1343609710049883012727472864224562522865\ 6206538684865499595870738008645703/13037606264921059332644453192256\ 6272329430989534165466602857288271639379*c_1001_1^14 - 4699693373200188526632793094138375862750165200290334229139140091189\ 8886495/26075212529842118665288906384513254465886197906833093320571\ 4576543278758*c_1001_1^13 - 909802733501457788750555692809809366127\ 19624791744805885274553028585196149/2607521252984211866528890638451\ 32544658861979068330933205714576543278758*c_1001_1^12 - 7432149518513179018807186011006757208110083611987391376540848124526\ 1313102/13037606264921059332644453192256627232943098953416546660285\ 7288271639379*c_1001_1^11 - 228250324979228749947743981367617253042\ 844993047936136095596830028599762589/260752125298421186652889063845\ 132544658861979068330933205714576543278758*c_1001_1^10 - 1542139870457772304272788311427091717749407497202428624693650061833\ 71107224/1303760626492105933264445319225662723294309895341654666028\ 57288271639379*c_1001_1^9 - 327971606535144378015943524646049989416\ 301395571264567107041975234438701323/260752125298421186652889063845\ 132544658861979068330933205714576543278758*c_1001_1^8 - 2476355197499309889427120430598642270914657099564628895470668032494\ 41817181/2607521252984211866528890638451325446588619790683309332057\ 14576543278758*c_1001_1^7 - 157540211754458708502646513854007032610\ 358999957780476224665355524568719435/260752125298421186652889063845\ 132544658861979068330933205714576543278758*c_1001_1^6 - 8268439823699608015753173583171589882255231950186366972173000289237\ 3037659/26075212529842118665288906384513254465886197906833093320571\ 4576543278758*c_1001_1^5 - 4904717465616990870143832229862794735948\ 6998811173129706623334118715321755/26075212529842118665288906384513\ 2544658861979068330933205714576543278758*c_1001_1^4 - 7504693780814414848274139376729413895537888935635957594912906990151\ 193802/130376062649210593326444531922566272329430989534165466602857\ 288271639379*c_1001_1^3 - 12108244474148264798325656270312606894456\ 96946817968156709974710755450821/1303760626492105933264445319225662\ 72329430989534165466602857288271639379*c_1001_1^2 + 1616956060913178903142912184250393656972554448374170300263698268354\ 67000/1303760626492105933264445319225662723294309895341654666028572\ 88271639379*c_1001_1 - 68484692085317584971628672770803007828959353\ 6915515201762851215471198213/26075212529842118665288906384513254465\ 8861979068330933205714576543278758, c_0011_12 - 23410371653825242814196199779197559551339921987568460423531\ 0723612383164/13037606264921059332644453192256627232943098953416546\ 6602857288271639379*c_1001_1^19 + 521394753679014182360493274806759\ 375023920914920472468637787205908698016/130376062649210593326444531\ 922566272329430989534165466602857288271639379*c_1001_1^18 + 6621654441428581125702799070129189387464727740119825870985104950119\ 66580/1303760626492105933264445319225662723294309895341654666028572\ 88271639379*c_1001_1^17 + 43573254192374257833841281301899783429595\ 8129646273190358303976867534630/13037606264921059332644453192256627\ 2329430989534165466602857288271639379*c_1001_1^16 - 4933472367333619284155876182545338272171740658420451098781864402983\ 025680/130376062649210593326444531922566272329430989534165466602857\ 288271639379*c_1001_1^15 - 8787380806553517077476671486242789473403\ 612438713365872909645922259465597/130376062649210593326444531922566\ 272329430989534165466602857288271639379*c_1001_1^14 - 3576011918095502790321977115097286183781437718724989400629188830558\ 7327167/26075212529842118665288906384513254465886197906833093320571\ 4576543278758*c_1001_1^13 - 639846863348744593357321898143237156192\ 50388060138666295996779944282769591/2607521252984211866528890638451\ 32544658861979068330933205714576543278758*c_1001_1^12 - 5353847404013350055706193989505074944880456958771171143508923754196\ 1935956/13037606264921059332644453192256627232943098953416546660285\ 7288271639379*c_1001_1^11 - 159511262231082825041629985096255602561\ 262746329910876407218338314080075427/260752125298421186652889063845\ 132544658861979068330933205714576543278758*c_1001_1^10 - 1082962599273111782822329674457598433814165699472992961811542904637\ 40254712/1303760626492105933264445319225662723294309895341654666028\ 57288271639379*c_1001_1^9 - 216665657671214987294602016446601482957\ 401807149974587614003293126363547037/260752125298421186652889063845\ 132544658861979068330933205714576543278758*c_1001_1^8 - 1656787622313748270729742402238999130634849130374720584136105078750\ 63468651/2607521252984211866528890638451325446588619790683309332057\ 14576543278758*c_1001_1^7 - 102310902634130462720676278205795554294\ 246550308944690139471788592214872915/260752125298421186652889063845\ 132544658861979068330933205714576543278758*c_1001_1^6 - 5625628319473861904669596104945005080487062873639233570421372730742\ 8464661/26075212529842118665288906384513254465886197906833093320571\ 4576543278758*c_1001_1^5 - 3094257524211861937541273442046841023146\ 0101406477264970033254590221980393/26075212529842118665288906384513\ 2544658861979068330933205714576543278758*c_1001_1^4 - 4630860167731158277567958024589188486589532460078952800475880600754\ 279038/130376062649210593326444531922566272329430989534165466602857\ 288271639379*c_1001_1^3 - 82886374622980828565973449312455731637839\ 0739204234304654867962703582819/13037606264921059332644453192256627\ 2329430989534165466602857288271639379*c_1001_1^2 + 2804797163278862140048250093352591893202818863229882571137528243730\ 2038/13037606264921059332644453192256627232943098953416546660285728\ 8271639379*c_1001_1 - 352282828116855638702270654375060361310597746\ 939590142419056799191792667/260752125298421186652889063845132544658\ 861979068330933205714576543278758, c_0011_4 - 253359433894935294547609451544741511702617742948379573247132\ 338422647768/130376062649210593326444531922566272329430989534165466\ 602857288271639379*c_1001_1^19 + 8169229577409914287160075144202124\ 86236968859861413441791846592861027788/1303760626492105933264445319\ 22566272329430989534165466602857288271639379*c_1001_1^18 - 2364066922133710450617151469107336369169900679290604632863356139940\ 9492/13037606264921059332644453192256627232943098953416546660285728\ 8271639379*c_1001_1^17 + 304230277191975939036646248738249824268650\ 247803944780810881336650032574/130376062649210593326444531922566272\ 329430989534165466602857288271639379*c_1001_1^16 - 5783694850459674917901174176916779977746358554284852396852238317955\ 556774/130376062649210593326444531922566272329430989534165466602857\ 288271639379*c_1001_1^15 - 3847483526595657555832116685710208786843\ 934874632631805416384043412044957/130376062649210593326444531922566\ 272329430989534165466602857288271639379*c_1001_1^14 - 1390377472320009228573835881313524209523493255256088810479753389977\ 0331168/13037606264921059332644453192256627232943098953416546660285\ 7288271639379*c_1001_1^13 - 185394606551462257099612733457402787171\ 62608350598621608726153654062836207/1303760626492105933264445319225\ 66272329430989534165466602857288271639379*c_1001_1^12 - 3442826018054975826789133593653551149394527490830551084878381232836\ 4270208/13037606264921059332644453192256627232943098953416546660285\ 7288271639379*c_1001_1^11 - 435101177406456740469689091466440856096\ 67861408868131440314847496189202651/1303760626492105933264445319225\ 66272329430989534165466602857288271639379*c_1001_1^10 - 5940489394427539928642829049150756382047402166708712833425806731916\ 3411770/13037606264921059332644453192256627232943098953416546660285\ 7288271639379*c_1001_1^9 - 3736637705158192313036852946398950887842\ 6922908326361036468754465523983778/13037606264921059332644453192256\ 6272329430989534165466602857288271639379*c_1001_1^8 - 2439180401368289563424596942120983857061827991233690770565249851540\ 5714330/13037606264921059332644453192256627232943098953416546660285\ 7288271639379*c_1001_1^7 - 5518418201701522950362039064818901471705\ 905246516932002146241793614456573/130376062649210593326444531922566\ 272329430989534165466602857288271639379*c_1001_1^6 - 6254830418221394930504775117815613756746560509976528349286671905663\ 412500/130376062649210593326444531922566272329430989534165466602857\ 288271639379*c_1001_1^5 + 40516763768674654054849381500147231935937\ 384884900409917218448694068742/130376062649210593326444531922566272\ 329430989534165466602857288271639379*c_1001_1^4 + 9751826375278760621707811692281044976943902839103365243847095511865\ 28636/1303760626492105933264445319225662723294309895341654666028572\ 88271639379*c_1001_1^3 + 910213517192736676791005880747654598228586\ 043052013453401290870554679847/130376062649210593326444531922566272\ 329430989534165466602857288271639379*c_1001_1^2 - 2260774129513851752106161639117455847619106072068981780328439627241\ 05346/1303760626492105933264445319225662723294309895341654666028572\ 88271639379*c_1001_1 + 94694486743735728739566480463180365064122432\ 34686233095041484647075687/1303760626492105933264445319225662723294\ 30989534165466602857288271639379, c_0011_6 + 304423840754631683761847764012617808053024138555155034915073\ 528095979750/130376062649210593326444531922566272329430989534165466\ 602857288271639379*c_1001_1^19 - 7409737453208556174506587700758563\ 29453202169552862647245667523964700294/1303760626492105933264445319\ 22566272329430989534165466602857288271639379*c_1001_1^18 - 6535140685791145861562876375253069479149015099087863326832954367972\ 69485/1303760626492105933264445319225662723294309895341654666028572\ 88271639379*c_1001_1^17 - 60313734310507999370962860360895383038976\ 3888373851513902861601847031107/13037606264921059332644453192256627\ 2329430989534165466602857288271639379*c_1001_1^16 + 1310769272848793308291032061695573150252495443772824048994327518672\ 2446739/26075212529842118665288906384513254465886197906833093320571\ 4576543278758*c_1001_1^15 + 199009611664033413030306538698626398188\ 34188934378961884299745520591378495/2607521252984211866528890638451\ 32544658861979068330933205714576543278758*c_1001_1^14 + 4481193706996979723775303759794227101538377850918894644225076901071\ 1609411/26075212529842118665288906384513254465886197906833093320571\ 4576543278758*c_1001_1^13 + 378531291819840524917293436530068243212\ 92743270858265703427933120125943873/1303760626492105933264445319225\ 66272329430989534165466602857288271639379*c_1001_1^12 + 6525387757008610338587096437929846786009919276005920644425752932085\ 4953527/13037606264921059332644453192256627232943098953416546660285\ 7288271639379*c_1001_1^11 + 948449513485311853739374466960062184799\ 84426817214474562356093945521333000/1303760626492105933264445319225\ 66272329430989534165466602857288271639379*c_1001_1^10 + 2599886049593655910694862328208938779192595867235281292403784336917\ 61955701/2607521252984211866528890638451325446588619790683309332057\ 14576543278758*c_1001_1^9 + 125644273421460068988975584542067883588\ 003951161884703761197860465428015880/130376062649210593326444531922\ 566272329430989534165466602857288271639379*c_1001_1^8 + 9820745034107674898235150953775489286676159766378728687259856612074\ 3610951/13037606264921059332644453192256627232943098953416546660285\ 7288271639379*c_1001_1^7 + 5944174986568170073575069407977286162900\ 0376388670021395259750769791573074/13037606264921059332644453192256\ 6272329430989534165466602857288271639379*c_1001_1^6 + 7170096233881395810856635518598215847018322866609208273858358174803\ 6568981/26075212529842118665288906384513254465886197906833093320571\ 4576543278758*c_1001_1^5 + 3776596786952868934313533469373122015450\ 0032425720654330152846830098299325/26075212529842118665288906384513\ 2544658861979068330933205714576543278758*c_1001_1^4 + 6592300369469720866331210953478604992318382361481886892270733916236\ 345940/130376062649210593326444531922566272329430989534165466602857\ 288271639379*c_1001_1^3 + 24096989523683757001510248561425298702651\ 35915689011859059641115552046323/2607521252984211866528890638451325\ 44658861979068330933205714576543278758*c_1001_1^2 + 2716096006346517155750960574781627905737062389173499213158957290035\ 66322/1303760626492105933264445319225662723294309895341654666028572\ 88271639379*c_1001_1 + 52308343842570150958329590797559206387652174\ 9969423460669490069030898803/26075212529842118665288906384513254465\ 8861979068330933205714576543278758, c_0011_7 - 517018969200099615714496133928680703181467439233055714050986\ 417521594376/130376062649210593326444531922566272329430989534165466\ 602857288271639379*c_1001_1^19 + 1292248395757980032694802256593247\ 167720633836960559193091668126254206456/130376062649210593326444531\ 922566272329430989534165466602857288271639379*c_1001_1^18 + 1055857676254561392307432419302214427541141606784535535293039443568\ 630108/130376062649210593326444531922566272329430989534165466602857\ 288271639379*c_1001_1^17 + 8708799861457018173905773996813796182612\ 19677332642357307571214755302016/1303760626492105933264445319225662\ 72329430989534165466602857288271639379*c_1001_1^16 - 1121522681003709808419872714278000953427661433049889129958746915051\ 9636350/13037606264921059332644453192256627232943098953416546660285\ 7288271639379*c_1001_1^15 - 162402351788070824590022003487800012172\ 81066680537921589204810511007962472/1303760626492105933264445319225\ 66272329430989534165466602857288271639379*c_1001_1^14 - 3633377047922583113623686474483548194572573436292551286141705724740\ 6669544/13037606264921059332644453192256627232943098953416546660285\ 7288271639379*c_1001_1^13 - 611495972191920650752582953912878491077\ 02647749114440402649502855789923105/1303760626492105933264445319225\ 66272329430989534165466602857288271639379*c_1001_1^12 - 1046219449078077056209131820306069750299206616978007469842525597827\ 95737489/1303760626492105933264445319225662723294309895341654666028\ 57288271639379*c_1001_1^11 - 15086485542840095482690514685229926071\ 9293395872626916819914061247543005456/13037606264921059332644453192\ 2566272329430989534165466602857288271639379*c_1001_1^10 - 2048630482531482571888007458780116837704518334308807117108371275982\ 59834910/1303760626492105933264445319225662723294309895341654666028\ 57288271639379*c_1001_1^9 - 191449125596061565602134591016986037321\ 410792098426487191373019186230906966/130376062649210593326444531922\ 566272329430989534165466602857288271639379*c_1001_1^8 - 1422842965087331766022167809463430385083950295792729175080063731239\ 20767262/1303760626492105933264445319225662723294309895341654666028\ 57288271639379*c_1001_1^7 - 804918062766544643335248986457935303303\ 38290923557616277977148187927052484/1303760626492105933264445319225\ 66272329430989534165466602857288271639379*c_1001_1^6 - 4610061377177811868297642507228623147661723609499580851550994792786\ 4877034/13037606264921059332644453192256627232943098953416546660285\ 7288271639379*c_1001_1^5 - 2336057675964490719534175662362636985716\ 2123240849771161592966960433366606/13037606264921059332644453192256\ 6272329430989534165466602857288271639379*c_1001_1^4 - 6248176922195159000157319666863606767714053740047615746871518744945\ 975085/130376062649210593326444531922566272329430989534165466602857\ 288271639379*c_1001_1^3 - 46665854517400578573281543678718855081659\ 2075751002116083407893319862761/13037606264921059332644453192256627\ 2329430989534165466602857288271639379*c_1001_1^2 - 2855653596756215839825452425875069544343885892427181628783874609624\ 4399/13037606264921059332644453192256627232943098953416546660285728\ 8271639379*c_1001_1 - 354345950781719535546569072835436513806312348\ 353787710388908781096875326/130376062649210593326444531922566272329\ 430989534165466602857288271639379, c_0011_8 - 727201860511924019189920999217767844704955581096397105655972\ 74029436172/1303760626492105933264445319225662723294309895341654666\ 02857288271639379*c_1001_1^19 + 32578275926932319729195420001974090\ 3393961005446211612078004184095752748/13037606264921059332644453192\ 2566272329430989534165466602857288271639379*c_1001_1^18 - 3049915114712588538153358829254983656033749272879757825764653452951\ 73394/1303760626492105933264445319225662723294309895341654666028572\ 88271639379*c_1001_1^17 + 11586392403308212863190884175872636883496\ 1474319735724777106733421860874/13037606264921059332644453192256627\ 2329430989534165466602857288271639379*c_1001_1^16 - 1803064838359168668733582402370415726062241901772108039381243636098\ 531761/130376062649210593326444531922566272329430989534165466602857\ 288271639379*c_1001_1^15 + 1018506327395945519538589601480639026018\ 033954532580884157944299362421511/130376062649210593326444531922566\ 272329430989534165466602857288271639379*c_1001_1^14 - 2723669388409471483233194625864768972092720812788879159781897469501\ 528674/130376062649210593326444531922566272329430989534165466602857\ 288271639379*c_1001_1^13 - 1890390426777019804726297397947929374273\ 47829438317148889794754373844709/1303760626492105933264445319225662\ 72329430989534165466602857288271639379*c_1001_1^12 - 3468437206772495604661256043087181266313944081872299070771261615171\ 102439/130376062649210593326444531922566272329430989534165466602857\ 288271639379*c_1001_1^11 + 1082977348500759186105182549862453599916\ 60828918939832975799361740793785/1303760626492105933264445319225662\ 72329430989534165466602857288271639379*c_1001_1^10 - 1604486592261277028934002953896425877904266636001798791870144811518\ 347021/130376062649210593326444531922566272329430989534165466602857\ 288271639379*c_1001_1^9 + 10859037212354688564389469066807201326668\ 067572886220547709599844493370399/130376062649210593326444531922566\ 272329430989534165466602857288271639379*c_1001_1^8 + 6452163449344970757666077760650524741726167048453785763716589350008\ 409449/130376062649210593326444531922566272329430989534165466602857\ 288271639379*c_1001_1^7 + 80641676845279852176868419836077043268811\ 76020911660751606266057712041538/1303760626492105933264445319225662\ 72329430989534165466602857288271639379*c_1001_1^6 + 4358479887003801221125966277714948791725907965959838372361911397414\ 85704/1303760626492105933264445319225662723294309895341654666028572\ 88271639379*c_1001_1^5 + 342922179610017774365882395051817134915508\ 1724101682798761812012816707409/13037606264921059332644453192256627\ 2329430989534165466602857288271639379*c_1001_1^4 + 7066095389302701747044790316058046662637529434325944130277979440020\ 62184/1303760626492105933264445319225662723294309895341654666028572\ 88271639379*c_1001_1^3 + 393281625331648252750550762900098338472003\ 017144990046403753631298908451/130376062649210593326444531922566272\ 329430989534165466602857288271639379*c_1001_1^2 - 3451193602987380077975174225204394087253314107571840130635798110526\ 29030/1303760626492105933264445319225662723294309895341654666028572\ 88271639379*c_1001_1 + 18615519635588969830381413178665470687666301\ 6237273926599694502696000783/13037606264921059332644453192256627232\ 9430989534165466602857288271639379, c_0101_0 - 157529480178022426897959720703979240010954438717512273940642\ 042027509874/130376062649210593326444531922566272329430989534165466\ 602857288271639379*c_1001_1^19 + 2108680607990389992071335685518591\ 24990051745645702310607562572184679886/1303760626492105933264445319\ 22566272329430989534165466602857288271639379*c_1001_1^18 + 9117615154815200922623951078339238190542478973233835083937541971383\ 78403/1303760626492105933264445319225662723294309895341654666028572\ 88271639379*c_1001_1^17 + 23892313601560923155619885668452998699360\ 4095769420579806098463137697019/13037606264921059332644453192256627\ 2329430989534165466602857288271639379*c_1001_1^16 - 6361086531740428714208616423283489445741596390539561702898476412445\ 845877/260752125298421186652889063845132544658861979068330933205714\ 576543278758*c_1001_1^15 - 1818273323346736063813191488951284879864\ 9589511986476762774283606813528187/26075212529842118665288906384513\ 2544658861979068330933205714576543278758*c_1001_1^14 - 2769670935943099737907800116935446976524594968579385824901350274103\ 0358771/26075212529842118665288906384513254465886197906833093320571\ 4576543278758*c_1001_1^13 - 288137825514874443297581515369312105603\ 49681822264632274867939053024624559/1303760626492105933264445319225\ 66272329430989534165466602857288271639379*c_1001_1^12 - 4556025945585825146930118033095477642691180268198410936030984462120\ 0352514/13037606264921059332644453192256627232943098953416546660285\ 7288271639379*c_1001_1^11 - 712534250202711426540469470161034079220\ 74527102444149833814097361004848385/1303760626492105933264445319225\ 66272329430989534165466602857288271639379*c_1001_1^10 - 1897378305523824340066839467362085063957896830890404575486991496759\ 67617623/2607521252984211866528890638451325446588619790683309332057\ 14576543278758*c_1001_1^9 - 102673206554488744062459466813870710852\ 629437664038759590101535725864782215/130376062649210593326444531922\ 566272329430989534165466602857288271639379*c_1001_1^8 - 7266367565983642102193598015074767815305174226510768719683481774560\ 6726063/13037606264921059332644453192256627232943098953416546660285\ 7288271639379*c_1001_1^7 - 4517152793919045762432794582548091084236\ 0317652851287380739708006958777094/13037606264921059332644453192256\ 6272329430989534165466602857288271639379*c_1001_1^6 - 4196625380983353182844954621897220487136130859416026731539598002166\ 7284237/26075212529842118665288906384513254465886197906833093320571\ 4576543278758*c_1001_1^5 - 2672302582319952243178104857246217297899\ 1388731699407766386878371665992255/26075212529842118665288906384513\ 2544658861979068330933205714576543278758*c_1001_1^4 - 3124813579381795279318831645840362774792463675280656517789286508188\ 963988/130376062649210593326444531922566272329430989534165466602857\ 288271639379*c_1001_1^3 + 24614886804541013909843822483997515647434\ 5298374113659715003139649826755/26075212529842118665288906384513254\ 4658861979068330933205714576543278758*c_1001_1^2 + 3319724235011278834469492392453512152785975970950588406607567610665\ 48753/1303760626492105933264445319225662723294309895341654666028572\ 88271639379*c_1001_1 - 50526509663349066590608130418764639100025287\ 4059052739253710496105645991/26075212529842118665288906384513254465\ 8861979068330933205714576543278758, c_0101_10 - 89347299924543105538950195969128545246621340917383582636291\ 516902981060/130376062649210593326444531922566272329430989534165466\ 602857288271639379*c_1001_1^19 - 1887860755393404389929185727793498\ 12884012098027359547935217529416300832/1303760626492105933264445319\ 22566272329430989534165466602857288271639379*c_1001_1^18 + 1484977980521031032601970040498912418338303093744403012632051278420\ 169770/130376062649210593326444531922566272329430989534165466602857\ 288271639379*c_1001_1^17 + 1368663365632383201118213669879186387841\ 88854025009085034974313824738316/1303760626492105933264445319225662\ 72329430989534165466602857288271639379*c_1001_1^16 - 1262796145657878745671662771144490165060184792114756898629696253891\ 753771/130376062649210593326444531922566272329430989534165466602857\ 288271639379*c_1001_1^15 - 1216825573672666753200423364872870739030\ 0025271278588786681173385614350932/13037606264921059332644453192256\ 6272329430989534165466602857288271639379*c_1001_1^14 - 1302803365871762767112082731500564349183184028509826208885299224768\ 3494400/13037606264921059332644453192256627232943098953416546660285\ 7288271639379*c_1001_1^13 - 349278543262148096552907656772101726739\ 37543609026649565595867972214744974/1303760626492105933264445319225\ 66272329430989534165466602857288271639379*c_1001_1^12 - 5080111645302181128879216922586976215062839500105192444868305946134\ 2025174/13037606264921059332644453192256627232943098953416546660285\ 7288271639379*c_1001_1^11 - 876999037681163623557740206478374334376\ 72897295823304639002936476431020092/1303760626492105933264445319225\ 66272329430989534165466602857288271639379*c_1001_1^10 - 1149258414111127415967986483557934859992587642627650441450872755639\ 14855099/1303760626492105933264445319225662723294309895341654666028\ 57288271639379*c_1001_1^9 - 143800361579793709615842461889178263234\ 734975850530341493129394645166336387/130376062649210593326444531922\ 566272329430989534165466602857288271639379*c_1001_1^8 - 1042784084840995576839486914843851443645877632150207377768475123901\ 02850661/1303760626492105933264445319225662723294309895341654666028\ 57288271639379*c_1001_1^7 - 750949041117273367646990860165488933769\ 30166638240586739054856487062837565/1303760626492105933264445319225\ 66272329430989534165466602857288271639379*c_1001_1^6 - 3329033160554900823129257540690457008336979130878995857730522485842\ 0031824/13037606264921059332644453192256627232943098953416546660285\ 7288271639379*c_1001_1^5 - 2550239921078424353313528739488146733785\ 4294348191370470159289787995107364/13037606264921059332644453192256\ 6272329430989534165466602857288271639379*c_1001_1^4 - 6692386809714851657818298259691534928788156433060814657483369485676\ 117487/130376062649210593326444531922566272329430989534165466602857\ 288271639379*c_1001_1^3 - 20427393369615976896104316993400905538452\ 41646319646852649356331451199893/1303760626492105933264445319225662\ 72329430989534165466602857288271639379*c_1001_1^2 + 3422938269253517225180883756908807963399451434805078877296678995419\ 02938/1303760626492105933264445319225662723294309895341654666028572\ 88271639379*c_1001_1 - 61148447304810753264329892421206369347283718\ 9215123607879626217333693670/13037606264921059332644453192256627232\ 9430989534165466602857288271639379, c_0101_11 + 68928936937476187494374121355556845391563703517505412338409\ 9647661740380/13037606264921059332644453192256627232943098953416546\ 6602857288271639379*c_1001_1^19 - 189553631525456720011715489211557\ 6658178814029660703529141971565520457334/13037606264921059332644453\ 1922566272329430989534165466602857288271639379*c_1001_1^18 - 8590866256953901371778827877841377417586914170891415588640559972605\ 38468/1303760626492105933264445319225662723294309895341654666028572\ 88271639379*c_1001_1^17 - 11748346132418953942486105513311914668333\ 51996195103786696324390713988109/1303760626492105933264445319225662\ 72329430989534165466602857288271639379*c_1001_1^16 + 1523741899545006207442690203119930936262053978134172942920832153625\ 8175416/13037606264921059332644453192256627232943098953416546660285\ 7288271639379*c_1001_1^15 + 354212221791030988683467191147712516863\ 74361550482345159970182339423805739/2607521252984211866528890638451\ 32544658861979068330933205714576543278758*c_1001_1^14 + 9134557371926454458315427999508251859209156870684963162980782535354\ 9257853/26075212529842118665288906384513254465886197906833093320571\ 4576543278758*c_1001_1^13 + 713771639581430101952080698168189615701\ 27976098190035914821502796197965628/1303760626492105933264445319225\ 66272329430989534165466602857288271639379*c_1001_1^12 + 2520435781315704896440569193208487057353018925943708961830292973265\ 11077301/2607521252984211866528890638451325446588619790683309332057\ 14576543278758*c_1001_1^11 + 17557228593722147637581175230656261629\ 2967058252084680964491475497111635621/13037606264921059332644453192\ 2566272329430989534165466602857288271639379*c_1001_1^10 + 4806936056928462266852797587235982870460972399486668832360034025403\ 87410969/2607521252984211866528890638451325446588619790683309332057\ 14576543278758*c_1001_1^9 + 419165024985657541555903181796967794885\ 524516977594930790263935742141278399/260752125298421186652889063845\ 132544658861979068330933205714576543278758*c_1001_1^8 + 3147598634320619702263028326808741759405543060778459258232034537400\ 96989957/2607521252984211866528890638451325446588619790683309332057\ 14576543278758*c_1001_1^7 + 165064968194396875744326872687661760683\ 143228980854941127937259001560267813/260752125298421186652889063845\ 132544658861979068330933205714576543278758*c_1001_1^6 + 1033039722239623702188596655829374545026579284880216580682417184058\ 09259073/2607521252984211866528890638451325446588619790683309332057\ 14576543278758*c_1001_1^5 + 221574879552390235209815954093803134742\ 85960245814768299980356052799380520/1303760626492105933264445319225\ 66272329430989534165466602857288271639379*c_1001_1^4 + 5679686684548187894489118890680171445926182111690640541118410001056\ 446539/130376062649210593326444531922566272329430989534165466602857\ 288271639379*c_1001_1^3 - 48370792633493396849482114151936711800916\ 4296519712790371881529217241953/13037606264921059332644453192256627\ 2329430989534165466602857288271639379*c_1001_1^2 + 5480895554326303587445068668347177750785594906299579717218874171521\ 95485/2607521252984211866528890638451325446588619790683309332057145\ 76543278758*c_1001_1 + 23823172892358227008580313366265538211547385\ 0684269085067402519389497050/13037606264921059332644453192256627232\ 9430989534165466602857288271639379, c_0101_2 - 266891026290277580829518410763560698437263500150582980162350\ 436321657436/130376062649210593326444531922566272329430989534165466\ 602857288271639379*c_1001_1^19 + 7817987693133474139225042274622220\ 73564800718027545025520053310328715738/1303760626492105933264445319\ 22566272329430989534165466602857288271639379*c_1001_1^18 + 1576182460834004557692050700002870406255458652388851969519732572945\ 07432/1303760626492105933264445319225662723294309895341654666028572\ 88271639379*c_1001_1^17 + 53029291962039933651684762767189092966979\ 2339380173563984352343463716475/13037606264921059332644453192256627\ 2329430989534165466602857288271639379*c_1001_1^16 - 5976535709432724051607328865330522648108756913337165161874964101043\ 137046/130376062649210593326444531922566272329430989534165466602857\ 288271639379*c_1001_1^15 - 1145650092862465482579935937466130177658\ 9877354835690358655499023038459805/26075212529842118665288906384513\ 2544658861979068330933205714576543278758*c_1001_1^14 - 3486550833606482623307307871663441882456115514159338024297615409445\ 2544727/26075212529842118665288906384513254465886197906833093320571\ 4576543278758*c_1001_1^13 - 252241774409813245278877958557847205916\ 07540721102911633695958717406677764/1303760626492105933264445319225\ 66272329430989534165466602857288271639379*c_1001_1^12 - 9292180982556008855697287743715213635169946789135295111078251822814\ 7924253/26075212529842118665288906384513254465886197906833093320571\ 4576543278758*c_1001_1^11 - 628573473133664925493023030894442140253\ 31845177170284795965228412783719958/1303760626492105933264445319225\ 66272329430989534165466602857288271639379*c_1001_1^10 - 1752311436449146419307018622473859312817898338616502004520227298680\ 57169113/2607521252984211866528890638451325446588619790683309332057\ 14576543278758*c_1001_1^9 - 146596944617593169187334694134193007406\ 204795743918001428623989621609116721/260752125298421186652889063845\ 132544658861979068330933205714576543278758*c_1001_1^8 - 1174379137691694224223482923871893586777328628695782731252944756067\ 89630821/2607521252984211866528890638451325446588619790683309332057\ 14576543278758*c_1001_1^7 - 607268033310811228600702520701392859966\ 15733400043089836003259747802969685/2607521252984211866528890638451\ 32544658861979068330933205714576543278758*c_1001_1^6 - 4317679016036322026872884710593772770772140260552476929501529620593\ 3354499/26075212529842118665288906384513254465886197906833093320571\ 4576543278758*c_1001_1^5 - 8478621625936885290512504979007397493337\ 987265563630020320345467630618241/130376062649210593326444531922566\ 272329430989534165466602857288271639379*c_1001_1^4 - 3323929223462096217039548539292585133475870467428062145660144226933\ 659532/130376062649210593326444531922566272329430989534165466602857\ 288271639379*c_1001_1^3 - 26046904783076784461266997283223682691394\ 0833515250149646862654189540112/13037606264921059332644453192256627\ 2329430989534165466602857288271639379*c_1001_1^2 - 8075846107836243548700092644227471814424333418173355633909686701806\ 19561/2607521252984211866528890638451325446588619790683309332057145\ 76543278758*c_1001_1 - 65766852467553337377827822203668222416264777\ 595826183658147510304935073/130376062649210593326444531922566272329\ 430989534165466602857288271639379, c_0110_6 - 590814519137643355531743490821025284469620177073146563912243\ 351200454376/130376062649210593326444531922566272329430989534165466\ 602857288271639379*c_1001_1^19 + 1672094229527440075697887486505957\ 623517514255166738914067934008760242232/130376062649210593326444531\ 922566272329430989534165466602857288271639379*c_1001_1^18 + 5832953178593942878010689466871174213068853824953061018138407704357\ 74052/1303760626492105933264445319225662723294309895341654666028572\ 88271639379*c_1001_1^17 + 10052727794345652510168380152531641064307\ 44063956483061194207393812083948/1303760626492105933264445319225662\ 72329430989534165466602857288271639379*c_1001_1^16 - 1309533609462777950652809122579883942289142727178145861620237205025\ 4567454/13037606264921059332644453192256627232943098953416546660285\ 7288271639379*c_1001_1^15 - 140913740316800815194233991865224820980\ 39383910050808685231080042191743990/1303760626492105933264445319225\ 66272329430989534165466602857288271639379*c_1001_1^14 - 3844803835043732735893315138459165819352793645007265049871141502269\ 4595820/13037606264921059332644453192256627232943098953416546660285\ 7288271639379*c_1001_1^13 - 587243098179136068818167679039661158222\ 01909176024453440536836727673992480/1303760626492105933264445319225\ 66272329430989534165466602857288271639379*c_1001_1^12 - 1047186827265439050705334642693418790484493558134266504503329153670\ 65133374/1303760626492105933264445319225662723294309895341654666028\ 57288271639379*c_1001_1^11 - 14440515138693341012240348828920374730\ 3487944716728281657558227131003977574/13037606264921059332644453192\ 2566272329430989534165466602857288271639379*c_1001_1^10 - 1986209810884936616600749710921088725920413391272822701771385244755\ 26940974/1303760626492105933264445319225662723294309895341654666028\ 57288271639379*c_1001_1^9 - 169545023664923390327826819794455588345\ 529896775534594193179698155744999978/130376062649210593326444531922\ 566272329430989534165466602857288271639379*c_1001_1^8 - 1294552925787261453365372303690036266431343284682953961959378336242\ 39635430/1303760626492105933264445319225662723294309895341654666028\ 57288271639379*c_1001_1^7 - 681169530288028165221850770853336782027\ 41899147031400599026832825181092002/1303760626492105933264445319225\ 66272329430989534165466602857288271639379*c_1001_1^6 - 4471191507216625777463677766342887158077067132989209976383745688645\ 4099704/13037606264921059332644453192256627232943098953416546660285\ 7288271639379*c_1001_1^5 - 1885039449323333706441236639955497967841\ 8307395639016170636594357480989396/13037606264921059332644453192256\ 6272329430989534165466602857288271639379*c_1001_1^4 - 5909756853200345524602314148196484254491214702449971312914032866329\ 788236/130376062649210593326444531922566272329430989534165466602857\ 288271639379*c_1001_1^3 - 29023612374139090491519639823279787450631\ 9950215069325390674786883156840/13037606264921059332644453192256627\ 2329430989534165466602857288271639379*c_1001_1^2 - 6314520514279767067068165819911391520050670193776108396602614674580\ 04924/1303760626492105933264445319225662723294309895341654666028572\ 88271639379*c_1001_1 - 13239170358089963272015778023006309599985405\ 7784489935875777268048249267/13037606264921059332644453192256627232\ 9430989534165466602857288271639379, c_1001_1^20 - 38/17*c_1001_1^19 - 1455/578*c_1001_1^18 - 808/289*c_1001_1^17 + 24533/1156*c_1001_1^16 + 21273/578*c_1001_1^15 + 95673/1156*c_1001_1^14 + 40502/289*c_1001_1^13 + 141595/578*c_1001_1^12 + 417105/1156*c_1001_1^11 + 580929/1156*c_1001_1^10 + 17449/34*c_1001_1^9 + 492911/1156*c_1001_1^8 + 311011/1156*c_1001_1^7 + 46870/289*c_1001_1^6 + 95899/1156*c_1001_1^5 + 40357/1156*c_1001_1^4 + 8119/1156*c_1001_1^3 + 1491/1156*c_1001_1^2 + 158/289*c_1001_1 + 457/1156 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 14.470 Total time: 14.689 seconds, Total memory usage: 139.38MB