Magma V2.19-8 Thu Sep 12 2013 15:23:53 on localhost [Seed = 3568603742] Type ? for help. Type -D to quit. Loading file "10^2_153__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation 10^2_153 geometric_solution 16.06080412 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 17 1 2 2 3 0132 0132 1302 0132 1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 -1 -1 0 0 -1 1 0 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.443082295434 0.811347153465 0 4 5 4 0132 0132 0132 1230 1 0 0 0 0 -1 0 1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 -1 -4 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.631676503034 1.311057563343 0 0 5 6 2031 0132 0321 0132 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 0 0 0 0 0 -2 2 0 1 0 0 -1 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.481536250432 0.949381394206 7 4 0 8 0132 1302 0132 0132 1 0 1 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 -1 1 0 0 0 -1 1 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.127269594046 1.043919280492 1 1 9 3 3012 0132 0132 2031 1 1 0 0 0 1 0 -1 -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 1 0 -1 -1 0 0 1 0 0 0 0 -5 4 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.198607019654 0.706947119572 7 10 2 1 3120 0132 0321 0132 1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.114454545537 0.658162009063 11 12 2 13 0132 0132 0132 0132 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 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.439176548387 1.575618485372 3 14 15 5 0132 0132 0132 3120 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.685180786846 0.794486592719 14 10 3 15 0132 1230 0132 0132 1 0 0 1 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 -1 0 1 0 0 -1 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.522049852141 0.726928834318 13 13 10 4 1023 0321 0132 0132 1 1 0 1 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 1 0 0 -1 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.935983635608 0.871104497229 12 5 8 9 2031 0132 3012 0132 1 1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.263343314862 1.121739252940 6 16 15 12 0132 0132 3012 1023 0 1 0 1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.730667074697 1.279329130062 14 6 10 11 2310 0132 1302 1023 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.433483481469 0.690411867450 16 9 6 9 3201 1023 0132 0321 1 1 0 1 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 1 0 1 -2 1 -1 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.427493871028 0.532821990328 8 7 12 16 0132 0132 3201 2310 1 0 1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 -2 0 0 2 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.504740876163 0.554665130279 16 11 8 7 2310 1230 0132 0132 1 0 1 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.522049852141 0.726928834318 14 11 15 13 3201 0132 3201 2310 0 1 1 0 0 0 0 0 -1 0 0 1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -2 0 0 2 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.336626470087 0.589401197954 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_15' : d['c_0101_10'], 'c_1001_14' : d['c_0011_10'], 'c_1001_16' : negation(d['c_0101_14']), 'c_1001_11' : d['c_0011_13'], 'c_1001_10' : d['c_0011_14'], 'c_1001_13' : d['c_0101_9'], 'c_1001_12' : d['c_0101_9'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_0101_4'], 'c_1001_7' : d['c_0101_11'], 'c_1001_6' : d['c_0101_6'], 'c_1001_1' : d['c_0011_14'], 'c_1001_0' : d['c_0101_6'], 'c_1001_3' : d['c_0110_4'], 'c_1001_2' : d['c_0110_4'], 'c_1001_9' : d['c_1001_5'], 'c_1001_8' : d['c_1001_8'], 'c_1010_13' : d['c_0101_4'], 'c_1010_12' : d['c_0101_6'], 'c_1010_11' : negation(d['c_0101_14']), 'c_1010_10' : d['c_1001_5'], 'c_1010_16' : d['c_0011_13'], 'c_1010_15' : d['c_0101_11'], 'c_1010_14' : d['c_0101_11'], 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_0_13' : d['1'], 's_3_15' : d['1'], 's_0_15' : d['1'], 's_0_16' : d['1'], 's_3_16' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 'c_0101_16' : d['c_0101_16'], 'c_0101_15' : d['c_0101_14'], 'c_0101_14' : d['c_0101_14'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_2_16' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_15' : negation(d['c_0011_13']), 'c_0011_14' : d['c_0011_14'], 'c_0011_16' : negation(d['c_0011_11']), 'c_1100_9' : negation(d['c_1001_8']), 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : d['c_0110_4'], 'c_1100_4' : negation(d['c_1001_8']), 'c_1100_7' : d['c_0101_2'], 'c_1100_6' : d['c_1001_5'], 'c_1100_1' : d['c_0110_4'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_1001_5'], 'c_1100_14' : negation(d['c_0011_11']), 'c_1100_15' : d['c_0101_2'], 's_0_10' : d['1'], 'c_1100_16' : d['c_0011_13'], 'c_1100_11' : negation(d['c_0101_10']), 'c_1100_10' : negation(d['c_1001_8']), 'c_1100_13' : d['c_1001_5'], 'c_1100_12' : d['c_0101_10'], 's_3_13' : d['1'], 'c_1010_7' : d['c_0011_10'], 'c_1010_6' : d['c_0101_9'], 'c_1010_5' : d['c_0011_14'], 's_3_12' : d['1'], 'c_1010_3' : d['c_1001_8'], 'c_1010_2' : d['c_0101_6'], 'c_1010_1' : d['c_0101_4'], 'c_1010_0' : d['c_0110_4'], 's_0_14' : d['1'], 'c_1010_9' : d['c_0101_4'], 'c_1010_8' : d['c_0101_10'], 'c_1100_8' : d['c_0101_2'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_13'], 'c_0011_8' : negation(d['c_0011_14']), 's_3_10' : d['1'], 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_14']), 'c_0011_6' : negation(d['c_0011_11']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_14'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_6'], 'c_0110_10' : d['c_0101_9'], 'c_0110_13' : negation(d['c_0011_13']), 'c_0110_12' : negation(d['c_0101_14']), 'c_0110_15' : negation(d['c_0101_16']), 'c_0110_14' : negation(d['c_0101_16']), 'c_0110_16' : negation(d['c_0101_11']), 'c_1010_4' : d['c_0011_14'], 'c_0101_12' : negation(d['c_0011_10']), 'c_0110_0' : d['c_0101_1'], 's_2_14' : d['1'], 's_2_15' : d['1'], 's_3_14' : d['1'], 'c_0101_7' : negation(d['c_0101_16']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_4'], '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_0101_9'], 'c_0101_8' : negation(d['c_0101_16']), 's_1_16' : d['1'], 's_1_15' : d['1'], 's_1_14' : d['1'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_4'], 'c_0110_8' : d['c_0101_14'], 'c_0110_1' : d['c_0011_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : negation(d['c_0101_16']), 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_11'], 'c_0101_13' : d['c_0101_11']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 18 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_13, c_0011_14, c_0101_1, c_0101_10, c_0101_11, c_0101_14, c_0101_16, c_0101_2, c_0101_4, c_0101_6, c_0101_9, c_0110_4, c_1001_5, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 6347754185770267122329935961611/20474283832898872456609184000*c_100\ 1_8^11 - 114862219253806230032598944104541/102371419164494362283045\ 92000*c_1001_8^10 + 480638624548348693251101716216847/5118570958224\ 718114152296000*c_1001_8^9 + 5036889352461206737845626302265273/204\ 74283832898872456609184000*c_1001_8^8 + 1945383021457680108069702348976523/4094856766579774491321836800*c_1\ 001_8^7 + 153162860627223944314694077525649/18783746635687038951017\ 6000*c_1001_8^6 + 193087765361551949911784646634711/187837466356870\ 389510176000*c_1001_8^5 + 3833300913558715699879465897096153/409485\ 6766579774491321836800*c_1001_8^4 + 480298748634541227968052482133649/818971353315954898264367360*c_100\ 1_8^3 + 2084493635053024334897867227549463/102371419164494362283045\ 92000*c_1001_8^2 + 2828383165399292644919751040353/1279642739556179\ 52853807400*c_1001_8 - 66828299815020265783186135891647/20474283832\ 898872456609184000, c_0011_0 - 1, c_0011_10 + 5724508914064676/13162703578761343*c_1001_8^11 - 209941891763484875/13162703578761343*c_1001_8^10 + 1835681245330934376/13162703578761343*c_1001_8^9 + 3645570880522040704/13162703578761343*c_1001_8^8 + 7076588406253853352/13162703578761343*c_1001_8^7 + 11721449328534056175/13162703578761343*c_1001_8^6 + 13494874809405546790/13162703578761343*c_1001_8^5 + 11036093724542469479/13162703578761343*c_1001_8^4 + 5759820413140310550/13162703578761343*c_1001_8^3 + 1136284699888641280/13162703578761343*c_1001_8^2 - 138106724207428627/13162703578761343*c_1001_8 - 52334131556515773/13162703578761343, c_0011_11 + 49237850530873467/144789739366374773*c_1001_8^11 - 1797729433114837231/144789739366374773*c_1001_8^10 + 15492854014308935177/144789739366374773*c_1001_8^9 + 33999522041275771677/144789739366374773*c_1001_8^8 + 65296037057425877044/144789739366374773*c_1001_8^7 + 110722538570337471768/144789739366374773*c_1001_8^6 + 131445299514926021532/144789739366374773*c_1001_8^5 + 113293506177823602749/144789739366374773*c_1001_8^4 + 65037471897640238484/144789739366374773*c_1001_8^3 + 18640636476360073927/144789739366374773*c_1001_8^2 + 1735819694386928048/144789739366374773*c_1001_8 + 17779497721703709/13162703578761343, c_0011_13 - 1607863464223754/144789739366374773*c_1001_8^11 + 4831706370675660/13162703578761343*c_1001_8^10 - 304292115894721094/144789739366374773*c_1001_8^9 - 2812553341209545056/144789739366374773*c_1001_8^8 - 6390852861701612286/144789739366374773*c_1001_8^7 - 11542140972709981655/144789739366374773*c_1001_8^6 - 17784064472107968269/144789739366374773*c_1001_8^5 - 20221642748393010019/144789739366374773*c_1001_8^4 - 16261436531292531776/144789739366374773*c_1001_8^3 - 8771186450302653978/144789739366374773*c_1001_8^2 - 197126944036050211/13162703578761343*c_1001_8 + 27107646070500792/144789739366374773, c_0011_14 + 2626245497971055/13162703578761343*c_1001_8^11 - 95176428388935673/13162703578761343*c_1001_8^10 + 800124542697431756/13162703578761343*c_1001_8^9 + 2047488911890884951/13162703578761343*c_1001_8^8 + 3881498230461995481/13162703578761343*c_1001_8^7 + 6683259745573090216/13162703578761343*c_1001_8^6 + 8290518879059528209/13162703578761343*c_1001_8^5 + 7397146146054693956/13162703578761343*c_1001_8^4 + 4513508713730172731/13162703578761343*c_1001_8^3 + 1446101436274576003/13162703578761343*c_1001_8^2 + 111241531363021171/13162703578761343*c_1001_8 - 22994423844397971/13162703578761343, c_0101_1 + 4640364139583075/13162703578761343*c_1001_8^11 - 169366737147690285/13162703578761343*c_1001_8^10 + 1457954571072664803/13162703578761343*c_1001_8^9 + 3223530510621064371/13162703578761343*c_1001_8^8 + 6185783530051193878/13162703578761343*c_1001_8^7 + 10489617738996586360/13162703578761343*c_1001_8^6 + 12491072564821961405/13162703578761343*c_1001_8^5 + 10750219521406440234/13162703578761343*c_1001_8^4 + 6192853102564086951/13162703578761343*c_1001_8^3 + 1762035511321928690/13162703578761343*c_1001_8^2 + 142292765215672983/13162703578761343*c_1001_8 - 7358784941239952/13162703578761343, c_0101_10 + 23655770763148866/144789739366374773*c_1001_8^11 - 865921866013335401/144789739366374773*c_1001_8^10 + 7526645403835146717/144789739366374773*c_1001_8^9 + 15555439795617607651/144789739366374773*c_1001_8^8 + 30598104792782770718/144789739366374773*c_1001_8^7 + 50797531986149160370/144789739366374773*c_1001_8^6 + 60020054787288448543/144789739366374773*c_1001_8^5 + 50737032443616168170/144789739366374773*c_1001_8^4 + 28350573326362844288/144789739366374773*c_1001_8^3 + 7370389557249890484/144789739366374773*c_1001_8^2 + 230458877867891484/144789739366374773*c_1001_8 - 158185227382459066/144789739366374773, c_0101_11 + 602734930182829/13162703578761343*c_1001_8^11 - 21922813637350048/13162703578761343*c_1001_8^10 + 186209905373727644/13162703578761343*c_1001_8^9 + 456871574269546087/13162703578761343*c_1001_8^8 + 726800292488841278/13162703578761343*c_1001_8^7 + 1281318941194869841/13162703578761343*c_1001_8^6 + 1388212768742832050/13162703578761343*c_1001_8^5 + 982217198201888188/13162703578761343*c_1001_8^4 + 319986528518026862/13162703578761343*c_1001_8^3 - 169672721814027150/13162703578761343*c_1001_8^2 - 169880149669814353/13162703578761343*c_1001_8 - 20843442041826890/13162703578761343, c_0101_14 - 23715865486533167/289579478732749546*c_1001_8^11 + 422703095731924878/144789739366374773*c_1001_8^10 - 3354848283558158622/144789739366374773*c_1001_8^9 - 2089981207066732121/26325407157522686*c_1001_8^8 - 44153586971378366727/289579478732749546*c_1001_8^7 - 77357300766694794015/289579478732749546*c_1001_8^6 - 103115607484117926515/289579478732749546*c_1001_8^5 - 99057984633319495455/289579478732749546*c_1001_8^4 - 65967171387658064237/289579478732749546*c_1001_8^3 - 12796006548471563284/144789739366374773*c_1001_8^2 - 1249345441017928950/144789739366374773*c_1001_8 + 737702580035980007/289579478732749546, c_0101_16 - 1, c_0101_2 - 556437131658332/13162703578761343*c_1001_8^11 + 20339764340289745/13162703578761343*c_1001_8^10 - 175912514409624839/13162703578761343*c_1001_8^9 - 378167819495208086/13162703578761343*c_1001_8^8 - 706672530733157789/13162703578761343*c_1001_8^7 - 1234270051340733625/13162703578761343*c_1001_8^6 - 1421270699907173327/13162703578761343*c_1001_8^5 - 1233370386994677821/13162703578761343*c_1001_8^4 - 730985334883236001/13162703578761343*c_1001_8^3 - 227071547550936073/13162703578761343*c_1001_8^2 - 63296163663349148/13162703578761343*c_1001_8 - 18458406326016401/13162703578761343, c_0101_4 + 2626245497971055/13162703578761343*c_1001_8^11 - 95176428388935673/13162703578761343*c_1001_8^10 + 800124542697431756/13162703578761343*c_1001_8^9 + 2047488911890884951/13162703578761343*c_1001_8^8 + 3881498230461995481/13162703578761343*c_1001_8^7 + 6683259745573090216/13162703578761343*c_1001_8^6 + 8290518879059528209/13162703578761343*c_1001_8^5 + 7397146146054693956/13162703578761343*c_1001_8^4 + 4513508713730172731/13162703578761343*c_1001_8^3 + 1446101436274576003/13162703578761343*c_1001_8^2 + 111241531363021171/13162703578761343*c_1001_8 - 22994423844397971/13162703578761343, c_0101_6 - 1, c_0101_9 + 38674416914755931/144789739366374773*c_1001_8^11 - 1414904876993493096/144789739366374773*c_1001_8^10 + 12275211997291025061/144789739366374773*c_1001_8^9 + 2339883504369762350/13162703578761343*c_1001_8^8 + 49917507297266832912/144789739366374773*c_1001_8^7 + 84134878719321890292/144789739366374773*c_1001_8^6 + 98938624373212421415/144789739366374773*c_1001_8^5 + 84295330093905096337/144789739366374773*c_1001_8^4 + 48074722666020039126/144789739366374773*c_1001_8^3 + 13361465219978109255/144789739366374773*c_1001_8^2 + 1423535963250413224/144789739366374773*c_1001_8 + 43085535764045886/144789739366374773, c_0110_4 + 4083927007924743/13162703578761343*c_1001_8^11 - 149026972807400540/13162703578761343*c_1001_8^10 + 1282042056663039964/13162703578761343*c_1001_8^9 + 2845362691125856285/13162703578761343*c_1001_8^8 + 5479110999318036089/13162703578761343*c_1001_8^7 + 9255347687655852735/13162703578761343*c_1001_8^6 + 11069801864914788078/13162703578761343*c_1001_8^5 + 9516849134411762413/13162703578761343*c_1001_8^4 + 5461867767680850950/13162703578761343*c_1001_8^3 + 1534963963770992617/13162703578761343*c_1001_8^2 + 78996601552323835/13162703578761343*c_1001_8 - 25817191267256353/13162703578761343, c_1001_5 + 4640364139583075/13162703578761343*c_1001_8^11 - 169366737147690285/13162703578761343*c_1001_8^10 + 1457954571072664803/13162703578761343*c_1001_8^9 + 3223530510621064371/13162703578761343*c_1001_8^8 + 6185783530051193878/13162703578761343*c_1001_8^7 + 10489617738996586360/13162703578761343*c_1001_8^6 + 12491072564821961405/13162703578761343*c_1001_8^5 + 10750219521406440234/13162703578761343*c_1001_8^4 + 6192853102564086951/13162703578761343*c_1001_8^3 + 1762035511321928690/13162703578761343*c_1001_8^2 + 142292765215672983/13162703578761343*c_1001_8 - 7358784941239952/13162703578761343, c_1001_8^12 - 36*c_1001_8^11 + 296*c_1001_8^10 + 851*c_1001_8^9 + 1683*c_1001_8^8 + 2921*c_1001_8^7 + 3815*c_1001_8^6 + 3649*c_1001_8^5 + 2465*c_1001_8^4 + 1016*c_1001_8^3 + 196*c_1001_8^2 + 3*c_1001_8 - 2 ], Ideal of Polynomial ring of rank 18 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_13, c_0011_14, c_0101_1, c_0101_10, c_0101_11, c_0101_14, c_0101_16, c_0101_2, c_0101_4, c_0101_6, c_0101_9, c_0110_4, c_1001_5, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 1946987892067381665271875453957427146884517/25592614468698551762444\ 219573713003475893*c_1001_8^15 - 2825756610699793743968480340205548\ 4126123996/25592614468698551762444219573713003475893*c_1001_8^14 - 280789048693607429557065076066485052602186751/255926144686985517624\ 44219573713003475893*c_1001_8^13 - 1426681337562917629864063099170192692897221711/25592614468698551762\ 444219573713003475893*c_1001_8^12 - 5303772125212290612903346308250097816363533851/25592614468698551762\ 444219573713003475893*c_1001_8^11 - 13840373408555004612862394232558793643720542024/2559261446869855176\ 2444219573713003475893*c_1001_8^10 - 46805821404902721805618497717012900403369775960/2559261446869855176\ 2444219573713003475893*c_1001_8^9 - 72294890743209176699986090926385623254780806082/2559261446869855176\ 2444219573713003475893*c_1001_8^8 - 46037650405926316368831409013525221205092462084/2559261446869855176\ 2444219573713003475893*c_1001_8^7 - 12764744592969537710942429959916505548585902812/2559261446869855176\ 2444219573713003475893*c_1001_8^6 - 4330599929205077710409268983934120841493270534/25592614468698551762\ 444219573713003475893*c_1001_8^5 - 1656383775006562968944139664094482782205461472/25592614468698551762\ 444219573713003475893*c_1001_8^4 - 969679702547510699622170728318769104638865348/255926144686985517624\ 44219573713003475893*c_1001_8^3 - 202272485732026493387026645995165\ 704490611462/25592614468698551762444219573713003475893*c_1001_8^2 + 29377962721425335319629729435425901765428228/2559261446869855176244\ 4219573713003475893*c_1001_8 - 274665570555785631781954140205385738\ 44508158/25592614468698551762444219573713003475893, c_0011_0 - 1, c_0011_10 + 31707530865529997342473628169289912/85637276580140980101804\ 655775033557*c_1001_8^15 + 444826068453143683198347481333733804/856\ 37276580140980101804655775033557*c_1001_8^14 + 4354056179004046074165616792677794068/85637276580140980101804655775\ 033557*c_1001_8^13 + 21077033793141043096488573740784730851/8563727\ 6580140980101804655775033557*c_1001_8^12 + 75683844332606048986611757910648602673/8563727658014098010180465577\ 5033557*c_1001_8^11 + 186220337317188809885446095754827180993/85637\ 276580140980101804655775033557*c_1001_8^10 + 662494140934702585454091883959881616889/856372765801409801018046557\ 75033557*c_1001_8^9 + 830657575779190207060001519878890802812/85637\ 276580140980101804655775033557*c_1001_8^8 + 262482205380747565038387354608965918421/856372765801409801018046557\ 75033557*c_1001_8^7 - 63787752933845017391436228777451052640/856372\ 76580140980101804655775033557*c_1001_8^6 - 13306773432157228728446724337761235308/8563727658014098010180465577\ 5033557*c_1001_8^5 - 8819283507005437224091077059722598662/85637276\ 580140980101804655775033557*c_1001_8^4 + 13945720125945214654456032727095700035/8563727658014098010180465577\ 5033557*c_1001_8^3 - 2322734988527716031522363987034369734/85637276\ 580140980101804655775033557*c_1001_8^2 + 211535171021111785762919638281382152/856372765801409801018046557750\ 33557*c_1001_8 - 48831153324025708841967969116193430/85637276580140\ 980101804655775033557, c_0011_11 - 34468744947493444577521447183388462/85637276580140980101804\ 655775033557*c_1001_8^15 - 484784514016560228524590163496745517/856\ 37276580140980101804655775033557*c_1001_8^14 - 4751324148132224177374970765509269088/85637276580140980101804655775\ 033557*c_1001_8^13 - 23094014497679914072927212222288150256/8563727\ 6580140980101804655775033557*c_1001_8^12 - 83222670919461840165838664076954198971/8563727658014098010180465577\ 5033557*c_1001_8^11 - 206028152563038068283947460636922775143/85637\ 276580140980101804655775033557*c_1001_8^10 - 729826117498332456092822764276311285668/856372765801409801018046557\ 75033557*c_1001_8^9 - 934751749657042937108576902096510920244/85637\ 276580140980101804655775033557*c_1001_8^8 - 338879563644259431612195957167408727580/856372765801409801018046557\ 75033557*c_1001_8^7 + 29060691063193497219665174050703946765/856372\ 76580140980101804655775033557*c_1001_8^6 + 3288049042810452234231359387578008775/85637276580140980101804655775\ 033557*c_1001_8^5 + 12004522519505314068468446292420906486/85637276\ 580140980101804655775033557*c_1001_8^4 - 12253668173128871611703591454829871166/8563727658014098010180465577\ 5033557*c_1001_8^3 + 2577235476343362843307933613029650237/85637276\ 580140980101804655775033557*c_1001_8^2 - 589321114529285882531831805863494869/856372765801409801018046557750\ 33557*c_1001_8 + 137240049494937192394404982310343775/8563727658014\ 0980101804655775033557, c_0011_13 + 19223643050330675954660401469904528/85637276580140980101804\ 655775033557*c_1001_8^15 + 266487121293793541142188053977542490/856\ 37276580140980101804655775033557*c_1001_8^14 + 2594582215399919152640968438526408637/85637276580140980101804655775\ 033557*c_1001_8^13 + 12334654098517657835352102520944788723/8563727\ 6580140980101804655775033557*c_1001_8^12 + 43713905218901268574394563521229507089/8563727658014098010180465577\ 5033557*c_1001_8^11 + 105020888201561883759843734804264194455/85637\ 276580140980101804655775033557*c_1001_8^10 + 381916342426482580772225817243509291140/856372765801409801018046557\ 75033557*c_1001_8^9 + 434054614218992584287490216694866188032/85637\ 276580140980101804655775033557*c_1001_8^8 + 66817111650776387869064087464529822965/8563727658014098010180465577\ 5033557*c_1001_8^7 - 81626772243370302469398752141955743167/8563727\ 6580140980101804655775033557*c_1001_8^6 - 17834454351972329140133817675909828501/8563727658014098010180465577\ 5033557*c_1001_8^5 - 12665647211351814509459070586183424706/8563727\ 6580140980101804655775033557*c_1001_8^4 + 6771914346607694231532908952161229855/85637276580140980101804655775\ 033557*c_1001_8^3 - 2980249997589373432708366636106779515/856372765\ 80140980101804655775033557*c_1001_8^2 + 547793215405060867881267902354507101/856372765801409801018046557750\ 33557*c_1001_8 - 116211445993103912189251552363384267/8563727658014\ 0980101804655775033557, c_0011_14 - 11121443844489599559014361703983563/85637276580140980101804\ 655775033557*c_1001_8^15 - 150665606287182382126188185448034142/856\ 37276580140980101804655775033557*c_1001_8^14 - 1452191682491612511671730464840890414/85637276580140980101804655775\ 033557*c_1001_8^13 - 6659202696384490346151244663152894505/85637276\ 580140980101804655775033557*c_1001_8^12 - 23004544277788392252034846953352168622/8563727658014098010180465577\ 5033557*c_1001_8^11 - 52609889614547462909164164482342821239/856372\ 76580140980101804655775033557*c_1001_8^10 - 201152320284595064590320023307399578827/856372765801409801018046557\ 75033557*c_1001_8^9 - 179832391933227576478121398765473255332/85637\ 276580140980101804655775033557*c_1001_8^8 + 46319773434969004591906425030527087561/8563727658014098010180465577\ 5033557*c_1001_8^7 + 67273066965679919212647339507254399400/8563727\ 6580140980101804655775033557*c_1001_8^6 + 450206053066178595713915460948319851/856372765801409801018046557750\ 33557*c_1001_8^5 + 7449511113029053811862543730710385770/8563727658\ 0140980101804655775033557*c_1001_8^4 - 4185339051239271687259426424175299048/85637276580140980101804655775\ 033557*c_1001_8^3 + 3410148156868240597365846585452544271/856372765\ 80140980101804655775033557*c_1001_8^2 - 611881041769106668095878509956707876/856372765801409801018046557750\ 33557*c_1001_8 + 107647414670288620016519956473572738/8563727658014\ 0980101804655775033557, c_0101_1 - 127730882030032401297205689690975/67430926441055889843940673\ 8386091*c_1001_8^15 - 1741592525882879130677520676568023/6743092644\ 10558898439406738386091*c_1001_8^14 - 16834546741104512314548684251763094/6743092644105588984394067383860\ 91*c_1001_8^13 - 78005871454639061479991886210514381/67430926441055\ 8898439406738386091*c_1001_8^12 - 271537648201009417107701191486579\ 594/674309264410558898439406738386091*c_1001_8^11 - 630506904106708376749168443177066072/674309264410558898439406738386\ 091*c_1001_8^10 - 2374690735078341872998137546028546254/67430926441\ 0558898439406738386091*c_1001_8^9 - 2297104313918969876044152976488970805/67430926441055889843940673838\ 6091*c_1001_8^8 + 249371886523260400609211743349402616/674309264410\ 558898439406738386091*c_1001_8^7 + 673812739409412597365175674678569693/674309264410558898439406738386\ 091*c_1001_8^6 - 6591034249775238347648881344328457/674309264410558\ 898439406738386091*c_1001_8^5 + 64138012063581537178985439415772320\ /674309264410558898439406738386091*c_1001_8^4 - 54330184630024335865759707181753502/6743092644105588984394067383860\ 91*c_1001_8^3 + 28173422521884036001587516096768297/674309264410558\ 898439406738386091*c_1001_8^2 - 6137255197932045804220240766241313/\ 674309264410558898439406738386091*c_1001_8 + 1346486925842661346034997137087772/67430926441055889843940673838609\ 1, c_0101_10 + 398366703686667449803726477929078/8563727658014098010180465\ 5775033557*c_1001_8^15 + 10096274511764664545044153972733061/856372\ 76580140980101804655775033557*c_1001_8^14 + 118731858612029198767420560500074591/856372765801409801018046557750\ 33557*c_1001_8^13 + 895277400916614658535897518517792631/8563727658\ 0140980101804655775033557*c_1001_8^12 + 4061524180523616800402068661714652261/85637276580140980101804655775\ 033557*c_1001_8^11 + 13680933725049394963153471895731804991/8563727\ 6580140980101804655775033557*c_1001_8^10 + 36968809874256015027691539905808790438/8563727658014098010180465577\ 5033557*c_1001_8^9 + 110315898525236907755578405552265258781/856372\ 76580140980101804655775033557*c_1001_8^8 + 140653230127783942211248134650319212448/856372765801409801018046557\ 75033557*c_1001_8^7 + 66517278897759269353245177602531160969/856372\ 76580140980101804655775033557*c_1001_8^6 + 11390567152540149719576907616775686523/8563727658014098010180465577\ 5033557*c_1001_8^5 + 5353971382875838378514948466951673556/85637276\ 580140980101804655775033557*c_1001_8^4 + 393415693844833631175635964918702398/856372765801409801018046557750\ 33557*c_1001_8^3 + 1573717232160670748815190403033950256/8563727658\ 0140980101804655775033557*c_1001_8^2 - 247648052815291530153181363753410146/856372765801409801018046557750\ 33557*c_1001_8 + 36635431614719550849032261872294736/85637276580140\ 980101804655775033557, c_0101_11 + 31033949974307037152341103604717935/85637276580140980101804\ 655775033557*c_1001_8^15 + 441256694356612222135209202285049373/856\ 37276580140980101804655775033557*c_1001_8^14 + 4345945225301718255637916659785759212/85637276580140980101804655775\ 033557*c_1001_8^13 + 21463785115956699309198367345992390551/8563727\ 6580140980101804655775033557*c_1001_8^12 + 78251655901951612037556370057455336066/8563727658014098010180465577\ 5033557*c_1001_8^11 + 197628131549232739306859162409062130223/85637\ 276580140980101804655775033557*c_1001_8^10 + 687820096441973667367122448375732883284/856372765801409801018046557\ 75033557*c_1001_8^9 + 948256623842847699635696331353845370056/85637\ 276580140980101804655775033557*c_1001_8^8 + 453659371208143807737505813558523371719/856372765801409801018046557\ 75033557*c_1001_8^7 + 46959817579327664573622850394339222015/856372\ 76580140980101804655775033557*c_1001_8^6 + 6060810816886534381502702095562246804/85637276580140980101804655775\ 033557*c_1001_8^5 - 8806746579991605000428391884461278127/856372765\ 80140980101804655775033557*c_1001_8^4 + 10034990468198531052849836577612532266/8563727658014098010180465577\ 5033557*c_1001_8^3 - 1045629488173325372359090315908675245/85637276\ 580140980101804655775033557*c_1001_8^2 + 345247421058378812775743658656692869/856372765801409801018046557750\ 33557*c_1001_8 - 13594124165058438819744476393753460/85637276580140\ 980101804655775033557, c_0101_14 - 15217306859297678989329430106008665/85637276580140980101804\ 655775033557*c_1001_8^15 - 208729517557057026439712810078096333/856\ 37276580140980101804655775033557*c_1001_8^14 - 2023103386943259141584835393130052537/85637276580140980101804655775\ 033557*c_1001_8^13 - 9465439337417487923427189696239724525/85637276\ 580140980101804655775033557*c_1001_8^12 - 33192435423774593191165971015822791599/8563727658014098010180465577\ 5033557*c_1001_8^11 - 78200041219208477169521082401795920576/856372\ 76580140980101804655775033557*c_1001_8^10 - 290739326361443226222765937079001172214/856372765801409801018046557\ 75033557*c_1001_8^9 - 301418370316193559988422166070845250669/85637\ 276580140980101804655775033557*c_1001_8^8 - 7794600563333877265731256499976780554/85637276580140980101804655775\ 033557*c_1001_8^7 + 55908632808407126950893264722745309054/85637276\ 580140980101804655775033557*c_1001_8^6 - 17551431808294846266864530844525512603/8563727658014098010180465577\ 5033557*c_1001_8^5 - 3693461395761022732297221817092243874/85637276\ 580140980101804655775033557*c_1001_8^4 - 9501098107137199943419131600151650591/85637276580140980101804655775\ 033557*c_1001_8^3 + 2167627285122504573163594137284261536/856372765\ 80140980101804655775033557*c_1001_8^2 - 582952856522683551107202631276797761/856372765801409801018046557750\ 33557*c_1001_8 + 20942527842205095340643236459098341/85637276580140\ 980101804655775033557, c_0101_16 + 13620905274902404496761743316580539/85637276580140980101804\ 655775033557*c_1001_8^15 + 192449948552504610787986172619817317/856\ 37276580140980101804655775033557*c_1001_8^14 + 1890888693679616393972414133189023265/85637276580140980101804655775\ 033557*c_1001_8^13 + 9260886628250317848236819859485326863/85637276\ 580140980101804655775033557*c_1001_8^12 + 33611309029394279401167612818414819269/8563727658014098010180465577\ 5033557*c_1001_8^11 + 84213536474219882610499902406978499437/856372\ 76580140980101804655775033557*c_1001_8^10 + 296138398603930456202933671043512097448/856372765801409801018046557\ 75033557*c_1001_8^9 + 394341258514852148863823121026545108641/85637\ 276580140980101804655775033557*c_1001_8^8 + 179621464317149661251987979375363245127/856372765801409801018046557\ 75033557*c_1001_8^7 + 28607409372280800310554681475888590965/856372\ 76580140980101804655775033557*c_1001_8^6 + 15269627223717891222984791304507449192/8563727658014098010180465577\ 5033557*c_1001_8^5 - 902853603287868341906709404465966066/856372765\ 80140980101804655775033557*c_1001_8^4 + 5756410687471843658320962197646216120/85637276580140980101804655775\ 033557*c_1001_8^3 - 749488447776793234419469727322422713/8563727658\ 0140980101804655775033557*c_1001_8^2 + 448763215978564964520349818908124487/856372765801409801018046557750\ 33557*c_1001_8 - 37319153538825016454160511808360206/85637276580140\ 980101804655775033557, c_0101_2 + 16772124520256906615020094753162722/856372765801409801018046\ 55775033557*c_1001_8^15 + 233323859494329841675552876160376341/8563\ 7276580140980101804655775033557*c_1001_8^14 + 2275560535218540544804409954484492347/85637276580140980101804655775\ 033557*c_1001_8^13 + 10879695004906794689310362195375690137/8563727\ 6580140980101804655775033557*c_1001_8^12 + 38739356618529302515111544147985516532/8563727658014098010180465577\ 5033557*c_1001_8^11 + 93890166199756633254140480307365626879/856372\ 76580140980101804655775033557*c_1001_8^10 + 339226583847221763059047830442143216144/856372765801409801018046557\ 75033557*c_1001_8^9 + 399250344251510726266187888737315026920/85637\ 276580140980101804655775033557*c_1001_8^8 + 90478442362730904003976076227365511107/8563727658014098010180465577\ 5033557*c_1001_8^7 - 43150266364120662979346739157623415037/8563727\ 6580140980101804655775033557*c_1001_8^6 + 3135624090797841846807803518144154819/85637276580140980101804655775\ 033557*c_1001_8^5 - 2456254898117820819725974441805206918/856372765\ 80140980101804655775033557*c_1001_8^4 + 7473758665322675127729559440938578028/85637276580140980101804655775\ 033557*c_1001_8^3 - 1818861451191495326047650151443587161/856372765\ 80140980101804655775033557*c_1001_8^2 + 406610722903915131075766193978611055/856372765801409801018046557750\ 33557*c_1001_8 - 91037154678007522785095110990213804/85637276580140\ 980101804655775033557, c_0101_4 + 11519810548176267008818088181912641/856372765801409801018046\ 55775033557*c_1001_8^15 + 160761880798947046671232339420767203/8563\ 7276580140980101804655775033557*c_1001_8^14 + 1570923541103641710439151025340965005/85637276580140980101804655775\ 033557*c_1001_8^13 + 7554480097301105004687142181670687136/85637276\ 580140980101804655775033557*c_1001_8^12 + 27066068458312009052436915615066820883/8563727658014098010180465577\ 5033557*c_1001_8^11 + 66290823339596857872317636378074626230/856372\ 76580140980101804655775033557*c_1001_8^10 + 238121130158851079618011563213208369265/856372765801409801018046557\ 75033557*c_1001_8^9 + 290148290458464484233699804317738514113/85637\ 276580140980101804655775033557*c_1001_8^8 + 94333456692814937619341709619792124887/8563727658014098010180465577\ 5033557*c_1001_8^7 - 755788067920649859402161904723238431/856372765\ 80140980101804655775033557*c_1001_8^6 + 10940361099473971123862992155827366672/8563727658014098010180465577\ 5033557*c_1001_8^5 - 2095539730153215433347595263758712214/85637276\ 580140980101804655775033557*c_1001_8^4 + 4578754745084105318435062389094001446/85637276580140980101804655775\ 033557*c_1001_8^3 - 1836430924707569848550656182418594015/856372765\ 80140980101804655775033557*c_1001_8^2 + 364232988953815137942697146203297730/856372765801409801018046557750\ 33557*c_1001_8 - 71011983055569069167487694601278002/85637276580140\ 980101804655775033557, c_0101_6 - 1, c_0101_9 - 21868035315976650604560524987406962/856372765801409801018046\ 55775033557*c_1001_8^15 - 298999937776472741494712352347819913/8563\ 7276580140980101804655775033557*c_1001_8^14 - 2893203209610943657278551299337431493/85637276580140980101804655775\ 033557*c_1001_8^13 - 13460395511747942737738655420633033155/8563727\ 6580140980101804655775033557*c_1001_8^12 - 46954477498545839995727564595326936875/8563727658014098010180465577\ 5033557*c_1001_8^11 - 109497075798730221017944234503972014156/85637\ 276580140980101804655775033557*c_1001_8^10 - 409848500677694402812366130411643987473/856372765801409801018046557\ 75033557*c_1001_8^9 - 406587184819675878215226804428577485211/85637\ 276580140980101804655775033557*c_1001_8^8 + 34909717853131737799930396444905350110/8563727658014098010180465577\ 5033557*c_1001_8^7 + 128650285861941655940737281037972795493/856372\ 76580140980101804655775033557*c_1001_8^6 + 11149260241255512080582844442364974512/8563727658014098010180465577\ 5033557*c_1001_8^5 + 12467793206440517545311591304805792077/8563727\ 6580140980101804655775033557*c_1001_8^4 - 9293370337286674691229954289126583803/85637276580140980101804655775\ 033557*c_1001_8^3 + 4378178684365218331493804420912940096/856372765\ 80140980101804655775033557*c_1001_8^2 - 807173821460650734223702697120610863/856372765801409801018046557750\ 33557*c_1001_8 + 195355655843538271940367414374297103/8563727658014\ 0980101804655775033557, c_0110_4 + 550302502442791650274972162408897/85637276580140980101804655\ 775033557*c_1001_8^15 + 12141608707204192079507750236237420/8563727\ 6580140980101804655775033557*c_1001_8^14 + 137573099098267480856727054510579409/856372765801409801018046557750\ 33557*c_1001_8^13 + 972949330167633881351392646640363750/8563727658\ 0140980101804655775033557*c_1001_8^12 + 4254075297001106542433492829189908094/85637276580140980101804655775\ 033557*c_1001_8^11 + 13815789378204669406996088023878235735/8563727\ 6580140980101804655775033557*c_1001_8^10 + 37640860492272345188284362096517841886/8563727658014098010180465577\ 5033557*c_1001_8^9 + 107518096383801552008580460723215734685/856372\ 76580140980101804655775033557*c_1001_8^8 + 122148671951184974881345967632739643339/856372765801409801018046557\ 75033557*c_1001_8^7 + 42423951540874736886030571526554935974/856372\ 76580140980101804655775033557*c_1001_8^6 + 2298562741076386576656395587414440780/85637276580140980101804655775\ 033557*c_1001_8^5 + 5689272633957034402005176363997877722/856372765\ 80140980101804655775033557*c_1001_8^4 + 573825217309584472778076628855883274/856372765801409801018046557750\ 33557*c_1001_8^3 + 1759163209087777246153964392845986558/8563727658\ 0140980101804655775033557*c_1001_8^2 - 372820687233454686060204383334035696/856372765801409801018046557750\ 33557*c_1001_8 + 79966684904010468161349525419933240/85637276580140\ 980101804655775033557, c_1001_5 - 127730882030032401297205689690975/67430926441055889843940673\ 8386091*c_1001_8^15 - 1741592525882879130677520676568023/6743092644\ 10558898439406738386091*c_1001_8^14 - 16834546741104512314548684251763094/6743092644105588984394067383860\ 91*c_1001_8^13 - 78005871454639061479991886210514381/67430926441055\ 8898439406738386091*c_1001_8^12 - 271537648201009417107701191486579\ 594/674309264410558898439406738386091*c_1001_8^11 - 630506904106708376749168443177066072/674309264410558898439406738386\ 091*c_1001_8^10 - 2374690735078341872998137546028546254/67430926441\ 0558898439406738386091*c_1001_8^9 - 2297104313918969876044152976488970805/67430926441055889843940673838\ 6091*c_1001_8^8 + 249371886523260400609211743349402616/674309264410\ 558898439406738386091*c_1001_8^7 + 673812739409412597365175674678569693/674309264410558898439406738386\ 091*c_1001_8^6 - 6591034249775238347648881344328457/674309264410558\ 898439406738386091*c_1001_8^5 + 64138012063581537178985439415772320\ /674309264410558898439406738386091*c_1001_8^4 - 54330184630024335865759707181753502/6743092644105588984394067383860\ 91*c_1001_8^3 + 28173422521884036001587516096768297/674309264410558\ 898439406738386091*c_1001_8^2 - 6137255197932045804220240766241313/\ 674309264410558898439406738386091*c_1001_8 + 1346486925842661346034997137087772/67430926441055889843940673838609\ 1, c_1001_8^16 + 14*c_1001_8^15 + 137*c_1001_8^14 + 662*c_1001_8^13 + 2380*c_1001_8^12 + 5865*c_1001_8^11 + 20947*c_1001_8^10 + 26157*c_1001_8^9 + 9481*c_1001_8^8 + 484*c_1001_8^7 + 966*c_1001_8^6 - 181*c_1001_8^5 + 402*c_1001_8^4 - 122*c_1001_8^3 + 40*c_1001_8^2 - 5*c_1001_8 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 58.680 Total time: 58.880 seconds, Total memory usage: 1380.94MB