Magma V2.19-8 Tue Sep 10 2013 18:29:20 on localhost [Seed = 1094487630] Type ? for help. Type -D to quit. Loading file "11_199__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_199 geometric_solution 14.73540122 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 16 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 -1 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.976566238095 0.884818277009 0 5 5 3 0132 0132 1302 3012 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 5 -5 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.631286253234 0.910980669517 4 0 7 6 0213 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.296688778398 1.089325342340 4 6 1 0 3012 0132 1230 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 -1 0 0 1 0 0 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.083731936656 0.670022176509 2 8 0 3 0213 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 1 0 -1 0 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.005758731391 1.121806940009 1 1 9 6 2031 0132 0132 1230 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 -5 0 5 5 0 -1 -4 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.486094038158 0.741594474439 5 3 2 10 3012 0132 0132 0132 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 0 0 0 -5 0 0 5 4 -4 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.451983008588 0.359066352773 8 11 12 2 0321 0132 0132 0132 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 -1 1 4 0 -4 0 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.587429319899 0.630129436324 7 4 9 11 0321 0132 2310 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 1 0 -1 0 0 0 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.023046747443 1.150877856954 13 8 10 5 0132 3201 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.071056614822 0.807777757095 9 13 6 14 2031 3201 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -5 5 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.140510242263 0.803902713213 15 7 8 12 0132 0132 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.437651345778 0.509516249791 13 11 15 7 1023 2310 1023 0132 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -4 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.370376786158 1.328987174848 9 12 10 14 0132 1023 2310 1230 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 4 1 -5 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.706127634715 0.915399538030 13 15 10 15 3012 3120 0132 1023 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 5 0 -5 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.363325992726 0.696280932278 11 14 12 14 0132 3120 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.363325992726 0.696280932278 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_0' : negation(d['1']), 'c_1001_15' : d['c_0101_12'], 'c_1001_14' : negation(d['c_0101_12']), 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : negation(d['c_0101_13']), 'c_1001_13' : d['c_0101_12'], 'c_1001_12' : d['c_0101_15'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_1001_11'], 'c_1001_7' : negation(d['c_0101_15']), 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_13']), 'c_1001_2' : d['c_1001_11'], 'c_1001_9' : d['c_0101_14'], 'c_1001_8' : d['c_0101_3'], 'c_1010_13' : d['c_0101_14'], 'c_1010_12' : negation(d['c_0101_15']), 'c_1010_11' : negation(d['c_0101_15']), 'c_1010_10' : negation(d['c_0101_12']), 'c_1010_15' : d['c_0011_10'], 'c_1010_14' : d['c_0011_11'], 's_3_11' : d['1'], 's_0_11' : d['1'], 's_3_13' : d['1'], 's_3_12' : d['1'], 's_0_14' : d['1'], 's_3_14' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_11'], 'c_0101_10' : d['c_0101_10'], 'c_0101_15' : d['c_0101_15'], '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' : 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_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_2_14' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_15' : negation(d['c_0011_11']), 'c_0011_14' : negation(d['c_0011_10']), 'c_1100_9' : d['c_0101_10'], 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : d['c_0011_12'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_10'], 'c_1100_4' : d['c_0101_0'], 'c_1100_7' : d['c_1100_10'], 'c_1100_6' : d['c_1100_10'], 'c_1100_1' : d['c_0101_13'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0101_0'], 'c_1100_2' : d['c_1100_10'], 'c_1100_14' : d['c_1100_10'], 's_0_15' : d['1'], 'c_1100_15' : negation(d['c_1100_10']), 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0011_12']), 'c_1100_10' : d['c_1100_10'], 'c_1100_13' : d['c_0011_10'], 's_3_10' : d['1'], 's_0_12' : d['1'], 'c_1010_7' : d['c_1001_11'], 'c_1010_6' : negation(d['c_0101_13']), 'c_1010_5' : negation(d['c_0011_3']), 's_0_13' : d['1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_3']), 'c_1010_0' : d['c_1001_11'], 's_3_15' : d['1'], 'c_1010_9' : negation(d['c_0101_3']), 'c_1010_8' : d['c_1001_11'], 'c_1100_8' : negation(d['c_0011_12']), 's_3_1' : d['1'], 'c_0101_13' : d['c_0101_13'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_1100_10'], '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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_12']), 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_15'], 'c_0110_10' : d['c_0101_14'], 'c_0110_13' : negation(d['c_0011_10']), 'c_0110_12' : d['c_0101_14'], 'c_0110_15' : d['c_0011_11'], 'c_0110_14' : d['c_0011_10'], 'c_1010_4' : d['c_0101_3'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : negation(d['c_0011_0']), 's_0_8' : d['1'], 's_2_15' : d['1'], 'c_0101_7' : d['c_0101_14'], 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_13'], 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_10']), 'c_0101_8' : negation(d['c_0101_14']), 's_1_15' : d['1'], 's_1_14' : d['1'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_13'], 'c_0110_8' : d['c_0011_11'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : d['c_0011_3'], 'c_0110_7' : d['c_0011_4'], 'c_0110_6' : d['c_0101_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0011_4, c_0101_0, c_0101_10, c_0101_12, c_0101_13, c_0101_14, c_0101_15, c_0101_3, c_1001_0, c_1001_11, c_1100_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t + 2127602949058579416/142145666001382330913*c_1100_10^9 - 7196743776843744/409641688764790579*c_1100_10^8 - 34650713406889776905/142145666001382330913*c_1100_10^7 + 113125324152994929446/142145666001382330913*c_1100_10^6 + 34896904055523493086/142145666001382330913*c_1100_10^5 - 865992300004034606534/142145666001382330913*c_1100_10^4 + 2116639845769031621875/142145666001382330913*c_1100_10^3 - 2669819857992436365200/142145666001382330913*c_1100_10^2 + 1905801242800207623713/142145666001382330913*c_1100_10 - 564785703711897853601/142145666001382330913, c_0011_0 - 1, c_0011_10 - 1, c_0011_11 + 173321797572/6672449444803*c_1100_10^9 + 321399108669/6672449444803*c_1100_10^8 - 2527111448131/6672449444803*c_1100_10^7 + 1076405412248/6672449444803*c_1100_10^6 + 17258768614925/6672449444803*c_1100_10^5 - 34323488960941/6672449444803*c_1100_10^4 + 7873285957422/6672449444803*c_1100_10^3 + 19277661831581/6672449444803*c_1100_10^2 + 5055798889768/6672449444803*c_1100_10 - 33176619407411/6672449444803, c_0011_12 + 156503315935/6672449444803*c_1100_10^9 + 311202168617/6672449444803*c_1100_10^8 - 2222816836587/6672449444803*c_1100_10^7 + 621369243887/6672449444803*c_1100_10^6 + 14997637394409/6672449444803*c_1100_10^5 - 28493496265335/6672449444803*c_1100_10^4 + 6723346122715/6672449444803*c_1100_10^3 + 9408989111031/6672449444803*c_1100_10^2 + 8326536768558/6672449444803*c_1100_10 - 28343692437689/6672449444803, c_0011_3 - 156503315935/6672449444803*c_1100_10^9 - 311202168617/6672449444803*c_1100_10^8 + 2222816836587/6672449444803*c_1100_10^7 - 621369243887/6672449444803*c_1100_10^6 - 14997637394409/6672449444803*c_1100_10^5 + 28493496265335/6672449444803*c_1100_10^4 - 6723346122715/6672449444803*c_1100_10^3 - 9408989111031/6672449444803*c_1100_10^2 - 8326536768558/6672449444803*c_1100_10 + 28343692437689/6672449444803, c_0011_4 + 70530329795/6672449444803*c_1100_10^9 + 200566382332/6672449444803*c_1100_10^8 - 776075769361/6672449444803*c_1100_10^7 - 282781807542/6672449444803*c_1100_10^6 + 5733272196046/6672449444803*c_1100_10^5 - 7650455831480/6672449444803*c_1100_10^4 + 2019961790081/6672449444803*c_1100_10^3 - 2344407611380/6672449444803*c_1100_10^2 + 961081344156/6672449444803*c_1100_10 - 7695786515110/6672449444803, c_0101_0 - 169376622239/6672449444803*c_1100_10^9 - 296537483424/6672449444803*c_1100_10^8 + 2566172004594/6672449444803*c_1100_10^7 - 1028328345967/6672449444803*c_1100_10^6 - 17211910343819/6672449444803*c_1100_10^5 + 33631442132900/6672449444803*c_1100_10^4 - 6758267622724/6672449444803*c_1100_10^3 - 15235762724532/6672449444803*c_1100_10^2 - 12423722098246/6672449444803*c_1100_10 + 32555619433969/6672449444803, c_0101_10 - 45024169265/6672449444803*c_1100_10^9 - 99402118157/6672449444803*c_1100_10^8 + 552824443550/6672449444803*c_1100_10^7 - 288023097735/6672449444803*c_1100_10^6 - 3865425356976/6672449444803*c_1100_10^5 + 7853546972743/6672449444803*c_1100_10^4 - 4898901463316/6672449444803*c_1100_10^3 + 630028630142/6672449444803*c_1100_10^2 - 922099428874/6672449444803*c_1100_10 + 6285818971290/6672449444803, c_0101_12 + 92995728975/6672449444803*c_1100_10^9 + 123215685852/6672449444803*c_1100_10^8 - 1512715034511/6672449444803*c_1100_10^7 + 1034870316386/6672449444803*c_1100_10^6 + 9490367217603/6672449444803*c_1100_10^5 - 22018233094033/6672449444803*c_1100_10^4 + 9154543199313/6672449444803*c_1100_10^3 + 8279047486278/6672449444803*c_1100_10^2 + 10053549408844/6672449444803*c_1100_10 - 19050861260585/6672449444803, c_0101_13 - 70530329795/6672449444803*c_1100_10^9 - 200566382332/6672449444803*c_1100_10^8 + 776075769361/6672449444803*c_1100_10^7 + 282781807542/6672449444803*c_1100_10^6 - 5733272196046/6672449444803*c_1100_10^5 + 7650455831480/6672449444803*c_1100_10^4 - 2019961790081/6672449444803*c_1100_10^3 + 2344407611380/6672449444803*c_1100_10^2 - 961081344156/6672449444803*c_1100_10 + 7695786515110/6672449444803, c_0101_14 + 169376622239/6672449444803*c_1100_10^9 + 296537483424/6672449444803*c_1100_10^8 - 2566172004594/6672449444803*c_1100_10^7 + 1028328345967/6672449444803*c_1100_10^6 + 17211910343819/6672449444803*c_1100_10^5 - 33631442132900/6672449444803*c_1100_10^4 + 6758267622724/6672449444803*c_1100_10^3 + 15235762724532/6672449444803*c_1100_10^2 + 12423722098246/6672449444803*c_1100_10 - 32555619433969/6672449444803, c_0101_15 + 192397847132/6672449444803*c_1100_10^9 + 380826289072/6672449444803*c_1100_10^8 - 2710489522521/6672449444803*c_1100_10^7 + 983192947307/6672449444803*c_1100_10^6 + 18655956227030/6672449444803*c_1100_10^5 - 35939434383487/6672449444803*c_1100_10^4 + 9064804600351/6672449444803*c_1100_10^3 + 15234385596662/6672449444803*c_1100_10^2 + 8036154124146/6672449444803*c_1100_10 - 34674247995540/6672449444803, c_0101_3 - 105526931974/6672449444803*c_1100_10^9 - 106497060085/6672449444803*c_1100_10^8 + 1811716895540/6672449444803*c_1100_10^7 - 1650852890526/6672449444803*c_1100_10^6 - 11286609650168/6672449444803*c_1100_10^5 + 28833798659215/6672449444803*c_1100_10^4 - 12104266359424/6672449444803*c_1100_10^3 - 16479857369307/6672449444803*c_1100_10^2 - 6007358341971/6672449444803*c_1100_10 + 29065819827899/6672449444803, c_1001_0 - 343151524481/6672449444803*c_1100_10^9 - 639005345453/6672449444803*c_1100_10^8 + 5069973424365/6672449444803*c_1100_10^7 - 1695595545203/6672449444803*c_1100_10^6 - 34276217719610/6672449444803*c_1100_10^5 + 65448931228226/6672449444803*c_1100_10^4 - 12513469045189/6672449444803*c_1100_10^3 - 31081478482430/6672449444803*c_1100_10^2 - 16764153898582/6672449444803*c_1100_10 + 66688655658657/6672449444803, c_1001_11 - 45024169265/6672449444803*c_1100_10^9 - 99402118157/6672449444803*c_1100_10^8 + 552824443550/6672449444803*c_1100_10^7 - 288023097735/6672449444803*c_1100_10^6 - 3865425356976/6672449444803*c_1100_10^5 + 7853546972743/6672449444803*c_1100_10^4 - 4898901463316/6672449444803*c_1100_10^3 + 630028630142/6672449444803*c_1100_10^2 - 922099428874/6672449444803*c_1100_10 + 6285818971290/6672449444803, c_1100_10^10 - 18*c_1100_10^8 + 33*c_1100_10^7 + 87*c_1100_10^6 - 378*c_1100_10^5 + 418*c_1100_10^4 - 12*c_1100_10^3 - 134*c_1100_10^2 - 243*c_1100_10 + 347 ], Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0011_4, c_0101_0, c_0101_10, c_0101_12, c_0101_13, c_0101_14, c_0101_15, c_0101_3, c_1001_0, c_1001_11, c_1100_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 3800250704755176710274353368965630220959/12293546746730094895373387\ 82355623680*c_1100_10^13 - 1561929895978384535521926895798346572119\ 3/1229354674673009489537338782355623680*c_1100_10^12 + 360869023414718608913697230146294410581/245870934934601897907467756\ 4711247360*c_1100_10^11 - 13677244333670046113395961492228462818506\ 1/2458709349346018979074677564711247360*c_1100_10^10 - 720072731447513829701916027476630672855529/122935467467300948953733\ 8782355623680*c_1100_10^9 - 510265973950857427243803754222855886157\ 0133/2458709349346018979074677564711247360*c_1100_10^8 - 601738805267806175580589772972622749833715/122935467467300948953733\ 878235562368*c_1100_10^7 - 2165270527274808971834710538717033308198\ 3861/2458709349346018979074677564711247360*c_1100_10^6 - 5259928532696148582956106728270580620715041/61467733733650474476866\ 9391177811840*c_1100_10^5 - 137868788664339290465905598824422326978\ 99513/1229354674673009489537338782355623680*c_1100_10^4 - 6868505352291399884587153486308831339053721/12293546746730094895373\ 38782355623680*c_1100_10^3 - 13951563740546710267678400978684494334\ 854973/2458709349346018979074677564711247360*c_1100_10^2 - 152580118754203779705198778437141536075705/122935467467300948953733\ 878235562368*c_1100_10 - 245298392845493080721193361976359258919699\ 3/2458709349346018979074677564711247360, c_0011_0 - 1, c_0011_10 - 2467671720050561047606848/129375124428751826323109855*c_110\ 0_10^13 - 7646343800217680313564646/129375124428751826323109855*c_1\ 100_10^12 + 11070729920895637187903276/129375124428751826323109855*\ c_1100_10^11 - 43366895571307781601867661/1293751244287518263231098\ 55*c_1100_10^10 - 429746423393157685329057428/129375124428751826323\ 109855*c_1100_10^9 - 1170420941238378384359518053/12937512442875182\ 6323109855*c_1100_10^8 - 425243438813122671279550760/25875024885750\ 365264621971*c_1100_10^7 - 2935312308024612619247561281/12937512442\ 8751826323109855*c_1100_10^6 + 241442994555528869697268871/12937512\ 4428751826323109855*c_1100_10^5 - 2600941108551195019653830521/1293\ 75124428751826323109855*c_1100_10^4 + 2258469390737292206973854278/129375124428751826323109855*c_1100_10^\ 3 - 882177523246949901141011363/129375124428751826323109855*c_1100_\ 10^2 + 189650701870809013843506003/25875024885750365264621971*c_110\ 0_10 - 39782961075222024792858568/129375124428751826323109855, c_0011_11 + 2467671720050561047606848/129375124428751826323109855*c_110\ 0_10^13 + 7646343800217680313564646/129375124428751826323109855*c_1\ 100_10^12 - 11070729920895637187903276/129375124428751826323109855*\ c_1100_10^11 + 43366895571307781601867661/1293751244287518263231098\ 55*c_1100_10^10 + 429746423393157685329057428/129375124428751826323\ 109855*c_1100_10^9 + 1170420941238378384359518053/12937512442875182\ 6323109855*c_1100_10^8 + 425243438813122671279550760/25875024885750\ 365264621971*c_1100_10^7 + 2935312308024612619247561281/12937512442\ 8751826323109855*c_1100_10^6 - 241442994555528869697268871/12937512\ 4428751826323109855*c_1100_10^5 + 2600941108551195019653830521/1293\ 75124428751826323109855*c_1100_10^4 - 2258469390737292206973854278/129375124428751826323109855*c_1100_10^\ 3 + 882177523246949901141011363/129375124428751826323109855*c_1100_\ 10^2 - 189650701870809013843506003/25875024885750365264621971*c_110\ 0_10 + 169158085503973851115968423/129375124428751826323109855, c_0011_12 - 491390876689927116527162/129375124428751826323109855*c_1100\ _10^13 + 3064777904113964740119736/129375124428751826323109855*c_11\ 00_10^12 + 20741018508484910955880079/129375124428751826323109855*c\ _1100_10^11 - 12841434834771938704485224/12937512442875182632310985\ 5*c_1100_10^10 - 14057385971669950421840182/12937512442875182632310\ 9855*c_1100_10^9 + 632184393872362422583909013/12937512442875182632\ 3109855*c_1100_10^8 + 511055945415161270492259073/25875024885750365\ 264621971*c_1100_10^7 + 5956881645966987503557310666/12937512442875\ 1826323109855*c_1100_10^6 + 10833649703636985627244259059/129375124\ 428751826323109855*c_1100_10^5 + 7344130363732625362792911751/12937\ 5124428751826323109855*c_1100_10^4 + 9730725125807085275203913272/129375124428751826323109855*c_1100_10^\ 3 + 2113132957625701506187586858/129375124428751826323109855*c_1100\ _10^2 + 535576146035382377795841601/25875024885750365264621971*c_11\ 00_10 - 259756092642861232227834812/129375124428751826323109855, c_0011_3 - 3683952400641442618734738/129375124428751826323109855*c_1100\ _10^13 - 13541659964713067166648796/129375124428751826323109855*c_1\ 100_10^12 + 8104726190857460318039241/129375124428751826323109855*c\ _1100_10^11 - 61203544689299592057176916/12937512442875182632310985\ 5*c_1100_10^10 - 671593790127137289847383273/1293751244287518263231\ 09855*c_1100_10^9 - 2148421520229801648408376528/129375124428751826\ 323109855*c_1100_10^8 - 901990654410171385194786524/258750248857503\ 65264621971*c_1100_10^7 - 7138171788434474917556127161/129375124428\ 751826323109855*c_1100_10^6 - 3885544832052230899201020569/12937512\ 4428751826323109855*c_1100_10^5 - 6150808020978907926140333871/1293\ 75124428751826323109855*c_1100_10^4 + 758073001444551543041444943/129375124428751826323109855*c_1100_10^3 - 1772308543153453587680989788/129375124428751826323109855*c_1100_1\ 0^2 + 204717254646932086078068733/25875024885750365264621971*c_1100\ _10 - 160054257094034328707376123/129375124428751826323109855, c_0011_4 + 3592961341220881667100166/129375124428751826323109855*c_1100\ _10^13 + 12807725261620848546997242/129375124428751826323109855*c_1\ 100_10^12 - 10020278278629214460043847/129375124428751826323109855*\ c_1100_10^11 + 58361618854240618813076857/1293751244287518263231098\ 55*c_1100_10^10 + 650917752345423896278310421/129375124428751826323\ 109855*c_1100_10^9 + 2013026917775976374891042911/12937512442875182\ 6323109855*c_1100_10^8 + 809646796124969586018683889/25875024885750\ 365264621971*c_1100_10^7 + 6133930318349885400112104347/12937512442\ 8751826323109855*c_1100_10^6 + 2410566220395654003445835298/1293751\ 24428751826323109855*c_1100_10^5 + 4783651401105938393428612682/129375124428751826323109855*c_1100_10^\ 4 - 1328053739221606770299871501/129375124428751826323109855*c_1100\ _10^3 + 1411092445360719555941837391/129375124428751826323109855*c_\ 1100_10^2 - 188608391436189112088834670/25875024885750365264621971*\ c_1100_10 + 134987432996796216323038031/129375124428751826323109855\ , c_0101_0 + 5885663283921010588981042/129375124428751826323109855*c_1100\ _10^13 + 28477996575785164451137864/129375124428751826323109855*c_1\ 100_10^12 + 12349855958474855332638771/129375124428751826323109855*\ c_1100_10^11 + 83800479268786916225852204/1293751244287518263231098\ 55*c_1100_10^10 + 1190295656877805048637680697/12937512442875182632\ 3109855*c_1100_10^9 + 4688116812976932758790282677/1293751244287518\ 26323109855*c_1100_10^8 + 2245050121911104450557183801/258750248857\ 50365264621971*c_1100_10^7 + 19993640840977969533025304429/12937512\ 4428751826323109855*c_1100_10^6 + 20316985146433345729149090151/129\ 375124428751826323109855*c_1100_10^5 + 19075173103358460447789464824/129375124428751826323109855*c_1100_10\ ^4 + 13488896120863172948592968178/129375124428751826323109855*c_11\ 00_10^3 + 5114949182662149414919766677/129375124428751826323109855*\ c_1100_10^2 + 587708974327228282956748121/2587502488575036526462197\ 1*c_1100_10 - 257349794136088689403839833/1293751244287518263231098\ 55, c_0101_10 - 278261239313776503246/20897290329308968877905*c_1100_10^13 - 1425402560145922720162/20897290329308968877905*c_1100_10^12 - 901248976811079659713/20897290329308968877905*c_1100_10^11 - 3791630814008867028487/20897290329308968877905*c_1100_10^10 - 57168755628620840148821/20897290329308968877905*c_1100_10^9 - 236772007913033817106006/20897290329308968877905*c_1100_10^8 - 116087885293963868710030/4179458065861793775581*c_1100_10^7 - 1039682114746405637715562/20897290329308968877905*c_1100_10^6 - 1091023523180272570206148/20897290329308968877905*c_1100_10^5 - 932633637118025951222667/20897290329308968877905*c_1100_10^4 - 648419039214598297535214/20897290329308968877905*c_1100_10^3 - 232979868842210413634991/20897290329308968877905*c_1100_10^2 - 22391590713650316756270/4179458065861793775581*c_1100_10 + 22975090919054792228429/20897290329308968877905, c_0101_12 + 4196861960565941377012086/129375124428751826323109855*c_110\ 0_10^13 + 18893338027125627549385552/129375124428751826323109855*c_\ 1100_10^12 + 3400988932593414795814673/129375124428751826323109855*\ c_1100_10^11 + 62085605902913538904850652/1293751244287518263231098\ 55*c_1100_10^10 + 825355998610033261500587031/129375124428751826323\ 109855*c_1100_10^9 + 3080380960071766744363962501/12937512442875182\ 6323109855*c_1100_10^8 + 1428505424797596626019984535/2587502488575\ 0365264621971*c_1100_10^7 + 12398431390058604908539352707/129375124\ 428751826323109855*c_1100_10^6 + 11418756254401358702788646533/1293\ 75124428751826323109855*c_1100_10^5 + 11474170912336529759248055012/129375124428751826323109855*c_1100_10\ ^4 + 6595283513127247878405678824/129375124428751826323109855*c_110\ 0_10^3 + 2971097910172128474797009571/129375124428751826323109855*c\ _1100_10^2 + 271558401081475914434591845/25875024885750365264621971\ *c_1100_10 - 145138263628076830416506089/12937512442875182632310985\ 5, c_0101_13 - 3592961341220881667100166/129375124428751826323109855*c_110\ 0_10^13 - 12807725261620848546997242/129375124428751826323109855*c_\ 1100_10^12 + 10020278278629214460043847/129375124428751826323109855\ *c_1100_10^11 - 58361618854240618813076857/129375124428751826323109\ 855*c_1100_10^10 - 650917752345423896278310421/12937512442875182632\ 3109855*c_1100_10^9 - 2013026917775976374891042911/1293751244287518\ 26323109855*c_1100_10^8 - 809646796124969586018683889/2587502488575\ 0365264621971*c_1100_10^7 - 6133930318349885400112104347/1293751244\ 28751826323109855*c_1100_10^6 - 2410566220395654003445835298/129375\ 124428751826323109855*c_1100_10^5 - 4783651401105938393428612682/129375124428751826323109855*c_1100_10^\ 4 + 1328053739221606770299871501/129375124428751826323109855*c_1100\ _10^3 - 1411092445360719555941837391/129375124428751826323109855*c_\ 1100_10^2 + 188608391436189112088834670/25875024885750365264621971*\ c_1100_10 - 134987432996796216323038031/129375124428751826323109855\ , c_0101_14 + 287127358856912965452066/129375124428751826323109855*c_1100\ _10^13 + 1433844698366450654276032/129375124428751826323109855*c_11\ 00_10^12 + 993505761915852227177653/129375124428751826323109855*c_1\ 100_10^11 + 4724045650585863698372832/129375124428751826323109855*c\ _1100_10^10 + 57593581601749311681699556/12937512442875182632310985\ 5*c_1100_10^9 + 239791706219477389781402271/12937512442875182632310\ 9855*c_1100_10^8 + 123053382304165504617034656/25875024885750365264\ 621971*c_1100_10^7 + 1138550045488115635404743177/12937512442875182\ 6323109855*c_1100_10^6 + 1235587782586763842151066498/1293751244287\ 51826323109855*c_1100_10^5 + 1142194818912990098776641807/129375124\ 428751826323109855*c_1100_10^4 + 539258089587667857530495639/129375\ 124428751826323109855*c_1100_10^3 + 238898327996542125318656911/129375124428751826323109855*c_1100_10^2 + 26967902275649202927475403/25875024885750365264621971*c_1100_10 - 47041563713533214100414924/129375124428751826323109855, c_0101_15 - 2220933278353959199591064/129375124428751826323109855*c_110\ 0_10^13 - 7874834780099639993357208/129375124428751826323109855*c_1\ 100_10^12 + 6541383855203877968187078/129375124428751826323109855*c\ _1100_10^11 - 35646686886454297885476268/12937512442875182632310985\ 5*c_1100_10^10 - 402822758740512162681793809/1293751244287518263231\ 09855*c_1100_10^9 - 1232853400947123340156240054/129375124428751826\ 323109855*c_1100_10^8 - 488907345379923296865750613/258750248857503\ 65264621971*c_1100_10^7 - 3664671893651124648648657808/129375124428\ 751826323109855*c_1100_10^6 - 1284939579782607834277136417/12937512\ 4428751826323109855*c_1100_10^5 - 2730973902401608971930003393/1293\ 75124428751826323109855*c_1100_10^4 + 837587184196345049312106169/129375124428751826323109855*c_1100_10^3 - 588348309685565409355595554/129375124428751826323109855*c_1100_10\ ^2 + 123310124211426387544283776/25875024885750365264621971*c_1100_\ 10 - 14114830593468242671242579/129375124428751826323109855, c_0101_3 + 12639292515672105519031316/129375124428751826323109855*c_110\ 0_10^13 + 50159102119743497659481072/129375124428751826323109855*c_\ 1100_10^12 - 15338305184671336899563662/129375124428751826323109855\ *c_1100_10^11 + 198367949944541039995265742/12937512442875182632310\ 9855*c_1100_10^10 + 2372229950824869977812892356/129375124428751826\ 323109855*c_1100_10^9 + 8030527875099844893678109681/12937512442875\ 1826323109855*c_1100_10^8 + 3485732448164990851387252128/2587502488\ 5750365264621971*c_1100_10^7 + 28509213206285062833648457202/129375\ 124428751826323109855*c_1100_10^6 + 19800678069327286211408922448/129375124428751826323109855*c_1100_10\ ^5 + 24463339617014412453280766157/129375124428751826323109855*c_11\ 00_10^4 + 5174851140398827583139513884/129375124428751826323109855*\ c_1100_10^3 + 6016154624831613882815811161/129375124428751826323109\ 855*c_1100_10^2 - 160173203897496231187748807/258750248857503652646\ 21971*c_1100_10 - 27564119410993433740947829/1293751244287518263231\ 09855, c_1001_0 - 4015425155145298321472608/129375124428751826323109855*c_1100\ _10^13 - 15295330934075248595806266/129375124428751826323109855*c_1\ 100_10^12 + 7077603562000927332689286/129375124428751826323109855*c\ _1100_10^11 - 64913058346632423041544091/12937512442875182632310985\ 5*c_1100_10^10 - 742048244019146896024201503/1293751244287518263231\ 09855*c_1100_10^9 - 2435565899324574733722506263/129375124428751826\ 323109855*c_1100_10^8 - 1038166100735085821286686130/25875024885750\ 365264621971*c_1100_10^7 - 8343945577748076812290007216/12937512442\ 8751826323109855*c_1100_10^6 - 5119250259350026999118457454/1293751\ 24428751826323109855*c_1100_10^5 - 7055491601441058823502893686/129375124428751826323109855*c_1100_10^\ 4 - 145560347720514115653153997/129375124428751826323109855*c_1100_\ 10^3 - 1602488892081180638265847088/129375124428751826323109855*c_1\ 100_10^2 + 144131123739627404429663585/25875024885750365264621971*c\ _1100_10 + 41821234759806874549556632/129375124428751826323109855, c_1001_11 - 278261239313776503246/20897290329308968877905*c_1100_10^13 - 1425402560145922720162/20897290329308968877905*c_1100_10^12 - 901248976811079659713/20897290329308968877905*c_1100_10^11 - 3791630814008867028487/20897290329308968877905*c_1100_10^10 - 57168755628620840148821/20897290329308968877905*c_1100_10^9 - 236772007913033817106006/20897290329308968877905*c_1100_10^8 - 116087885293963868710030/4179458065861793775581*c_1100_10^7 - 1039682114746405637715562/20897290329308968877905*c_1100_10^6 - 1091023523180272570206148/20897290329308968877905*c_1100_10^5 - 932633637118025951222667/20897290329308968877905*c_1100_10^4 - 648419039214598297535214/20897290329308968877905*c_1100_10^3 - 232979868842210413634991/20897290329308968877905*c_1100_10^2 - 22391590713650316756270/4179458065861793775581*c_1100_10 + 22975090919054792228429/20897290329308968877905, c_1100_10^14 + 4*c_1100_10^13 - 1/2*c_1100_10^12 + 18*c_1100_10^11 + 375/2*c_1100_10^10 + 1301/2*c_1100_10^9 + 3019/2*c_1100_10^8 + 5349/2*c_1100_10^7 + 4909/2*c_1100_10^6 + 3323*c_1100_10^5 + 1408*c_1100_10^4 + 3273/2*c_1100_10^3 + 399/2*c_1100_10^2 + 557/2*c_1100_10 - 71/2 ], Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0011_4, c_0101_0, c_0101_10, c_0101_12, c_0101_13, c_0101_14, c_0101_15, c_0101_3, c_1001_0, c_1001_11, c_1100_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 299810001677791884693519839/3147973678698560957624932224*c_1100_10^\ 16 + 129044731612355442500730725/786993419674640239406233056*c_1100\ _10^15 - 1020458893117056158288848403/3147973678698560957624932224*\ c_1100_10^14 + 5431528904032788696734341391/31479736786985609576249\ 32224*c_1100_10^13 + 93058257246683299083448655/5246622797830934929\ 37488704*c_1100_10^12 + 28708495161746586874129935515/3147973678698\ 560957624932224*c_1100_10^11 + 432947798020306249198949527/15739868\ 39349280478812466112*c_1100_10^10 + 89343913252704172914077765533/3147973678698560957624932224*c_1100_1\ 0^9 + 129570420519760520592962261/1049324559566186985874977408*c_11\ 00_10^8 + 4950355002946241796336495075/87443713297182248822914784*c\ _1100_10^7 + 8243532813273306647990654933/5246622797830934929374887\ 04*c_1100_10^6 + 83418233818902821081296739087/10493245595661869858\ 74977408*c_1100_10^5 + 164061218260209796299716322025/3147973678698\ 560957624932224*c_1100_10^4 + 11576141967681533624306681543/1499035\ 08509455283696425344*c_1100_10^3 + 252866453211511570878159116987/3147973678698560957624932224*c_1100_\ 10^2 + 192848349005243509711767856283/3147973678698560957624932224*\ c_1100_10 + 203744655698725123805404348859/314797367869856095762493\ 2224, c_0011_0 - 1, c_0011_10 - 163461392917982947217/47249845081330465862526*c_1100_10^16 + 627422821453038611587/47249845081330465862526*c_1100_10^15 - 705390480476161574978/23624922540665232931263*c_1100_10^14 + 1586182023198882455751/15749948360443488620842*c_1100_10^13 - 7281786853220019315661/47249845081330465862526*c_1100_10^12 + 3420851042999261595097/7874974180221744310421*c_1100_10^11 - 18025429844508068678312/23624922540665232931263*c_1100_10^10 + 25249149530050575558197/15749948360443488620842*c_1100_10^9 - 60102318805688788272389/23624922540665232931263*c_1100_10^8 + 95481463724137820628856/23624922540665232931263*c_1100_10^7 - 119605851613595249329361/23624922540665232931263*c_1100_10^6 + 292231120745749842550517/47249845081330465862526*c_1100_10^5 - 49835881504690196185635/7874974180221744310421*c_1100_10^4 + 39583369674437106718963/6749977868761495123218*c_1100_10^3 - 105604980303732552505180/23624922540665232931263*c_1100_10^2 + 149118821614532144721121/47249845081330465862526*c_1100_10 - 43359271093877251902926/23624922540665232931263, c_0011_11 - 1, c_0011_12 - 16067235180131207483/15749948360443488620842*c_1100_10^16 + 24247415345183935728/7874974180221744310421*c_1100_10^15 - 155333406075272616039/15749948360443488620842*c_1100_10^14 + 521104089340364441529/15749948360443488620842*c_1100_10^13 - 271916212061575735625/7874974180221744310421*c_1100_10^12 + 2615399959339746128335/15749948360443488620842*c_1100_10^11 - 1221686398750358299028/7874974180221744310421*c_1100_10^10 + 8981497383813502647269/15749948360443488620842*c_1100_10^9 - 10243828318644450108835/15749948360443488620842*c_1100_10^8 + 10704344634596458496457/7874974180221744310421*c_1100_10^7 - 9128213176666276493264/7874974180221744310421*c_1100_10^6 + 30981019186789890967165/15749948360443488620842*c_1100_10^5 - 10190725484926326205813/15749948360443488620842*c_1100_10^4 + 2968723320237443791249/2249992622920498374406*c_1100_10^3 + 8267987860515241926239/15749948360443488620842*c_1100_10^2 + 7888972033108371636791/15749948360443488620842*c_1100_10 + 20547518581921593872997/15749948360443488620842, c_0011_3 + 47273276020435019419/15749948360443488620842*c_1100_10^16 - 55017586171123954271/7874974180221744310421*c_1100_10^15 + 230371063141466233017/15749948360443488620842*c_1100_10^14 - 928532473989023742693/15749948360443488620842*c_1100_10^13 + 174659386725671265141/7874974180221744310421*c_1100_10^12 - 4731335933682894788407/15749948360443488620842*c_1100_10^11 + 130918284853615702740/1124996311460249187203*c_1100_10^10 - 15848897627806069993031/15749948360443488620842*c_1100_10^9 + 819320789114587112071/2249992622920498374406*c_1100_10^8 - 2299145645579990851092/1124996311460249187203*c_1100_10^7 + 212769126475006264460/1124996311460249187203*c_1100_10^6 - 6657585648563568358465/2249992622920498374406*c_1100_10^5 - 6140188040459113556767/15749948360443488620842*c_1100_10^4 - 50072412386292605685805/15749948360443488620842*c_1100_10^3 - 13828482126626121054271/15749948360443488620842*c_1100_10^2 - 36264984347055914096877/15749948360443488620842*c_1100_10 - 11243040088143579935403/15749948360443488620842, c_0011_4 - 12310172710462118155/6749977868761495123218*c_1100_10^16 + 123560597540652907015/23624922540665232931263*c_1100_10^15 - 68540461161841254401/6749977868761495123218*c_1100_10^14 + 589733635684269670627/15749948360443488620842*c_1100_10^13 - 693157565311268464585/23624922540665232931263*c_1100_10^12 + 2719194356381251516745/15749948360443488620842*c_1100_10^11 - 3309532472606413780282/23624922540665232931263*c_1100_10^10 + 8971256443990646786493/15749948360443488620842*c_1100_10^9 - 20288346094205520357911/47249845081330465862526*c_1100_10^8 + 24566336540073181730966/23624922540665232931263*c_1100_10^7 - 13399168007942565055492/23624922540665232931263*c_1100_10^6 + 50485675477309696522027/47249845081330465862526*c_1100_10^5 - 2334260846489925220701/15749948360443488620842*c_1100_10^4 + 28600712955072662274485/47249845081330465862526*c_1100_10^3 + 1646261125963558940225/47249845081330465862526*c_1100_10^2 + 11578449882391336231211/47249845081330465862526*c_1100_10 - 17684239916672294914595/47249845081330465862526, c_0101_0 - 38412754894614037501/47249845081330465862526*c_1100_10^16 + 5977244689492287424/23624922540665232931263*c_1100_10^15 + 152475983020996516963/47249845081330465862526*c_1100_10^14 + 13212104039265207759/15749948360443488620842*c_1100_10^13 + 1038740500333980640748/23624922540665232931263*c_1100_10^12 - 126812126164654072145/15749948360443488620842*c_1100_10^11 + 3714372790707286814129/23624922540665232931263*c_1100_10^10 - 2734878362366685113147/15749948360443488620842*c_1100_10^9 + 30700841483735126917411/47249845081330465862526*c_1100_10^8 - 19250178648415111231024/23624922540665232931263*c_1100_10^7 + 44720496890318690994386/23624922540665232931263*c_1100_10^6 - 84286194676350246006107/47249845081330465862526*c_1100_10^5 + 6540638068712166262135/2249992622920498374406*c_1100_10^4 - 111961242764842447334353/47249845081330465862526*c_1100_10^3 + 137186582959011678397559/47249845081330465862526*c_1100_10^2 - 35632492375409722682047/47249845081330465862526*c_1100_10 + 57344454103268136280123/47249845081330465862526, c_0101_10 - 26087984017280724815/23624922540665232931263*c_1100_10^16 + 233913132451616653309/23624922540665232931263*c_1100_10^15 - 606484037233779263731/23624922540665232931263*c_1100_10^14 + 503481207362324617408/7874974180221744310421*c_1100_10^13 - 4214949695172141723901/23624922540665232931263*c_1100_10^12 + 2041758557764185138959/7874974180221744310421*c_1100_10^11 - 19356776908314316438468/23624922540665232931263*c_1100_10^10 + 9065128628508994344053/7874974180221744310421*c_1100_10^9 - 64318356159159534703189/23624922540665232931263*c_1100_10^8 + 80580865567260532686536/23624922540665232931263*c_1100_10^7 - 137359645664630561651257/23624922540665232931263*c_1100_10^6 + 133354651398122025516542/23624922540665232931263*c_1100_10^5 - 8686091581089087547695/1124996311460249187203*c_1100_10^4 + 127731564156039866753068/23624922540665232931263*c_1100_10^3 - 146589769132621028739548/23624922540665232931263*c_1100_10^2 + 61503504864537886489903/23624922540665232931263*c_1100_10 - 54006693385608379889932/23624922540665232931263, c_0101_12 - 75329888063380308157/47249845081330465862526*c_1100_10^16 + 165812046577015514909/47249845081330465862526*c_1100_10^15 - 160625831136959162491/23624922540665232931263*c_1100_10^14 + 71756735420844486375/2249992622920498374406*c_1100_10^13 - 88210225264735705475/6749977868761495123218*c_1100_10^12 + 174201902262458002572/1124996311460249187203*c_1100_10^11 - 1584418633206097743385/23624922540665232931263*c_1100_10^10 + 7741407362074459727753/15749948360443488620842*c_1100_10^9 - 5912357186290286535910/23624922540665232931263*c_1100_10^8 + 22786868577724159354286/23624922540665232931263*c_1100_10^7 - 6906553145884003614136/23624922540665232931263*c_1100_10^6 + 53564755991163382938499/47249845081330465862526*c_1100_10^5 + 1737427457690255343337/7874974180221744310421*c_1100_10^4 + 35654048648454199018907/47249845081330465862526*c_1100_10^3 + 17740629263304629660569/23624922540665232931263*c_1100_10^2 + 30002135846803212690149/47249845081330465862526*c_1100_10 + 24162338950655084199821/23624922540665232931263, c_0101_13 + 12310172710462118155/6749977868761495123218*c_1100_10^16 - 123560597540652907015/23624922540665232931263*c_1100_10^15 + 68540461161841254401/6749977868761495123218*c_1100_10^14 - 589733635684269670627/15749948360443488620842*c_1100_10^13 + 693157565311268464585/23624922540665232931263*c_1100_10^12 - 2719194356381251516745/15749948360443488620842*c_1100_10^11 + 3309532472606413780282/23624922540665232931263*c_1100_10^10 - 8971256443990646786493/15749948360443488620842*c_1100_10^9 + 20288346094205520357911/47249845081330465862526*c_1100_10^8 - 24566336540073181730966/23624922540665232931263*c_1100_10^7 + 13399168007942565055492/23624922540665232931263*c_1100_10^6 - 50485675477309696522027/47249845081330465862526*c_1100_10^5 + 2334260846489925220701/15749948360443488620842*c_1100_10^4 - 28600712955072662274485/47249845081330465862526*c_1100_10^3 - 1646261125963558940225/47249845081330465862526*c_1100_10^2 - 11578449882391336231211/47249845081330465862526*c_1100_10 + 17684239916672294914595/47249845081330465862526, c_0101_14 - 235968472736168649571/47249845081330465862526*c_1100_10^16 + 681924251648612865143/47249845081330465862526*c_1100_10^15 - 671530206500715844543/23624922540665232931263*c_1100_10^14 + 1803301624501422398219/15749948360443488620842*c_1100_10^13 - 5111083765411779691679/47249845081330465862526*c_1100_10^12 + 3989318415443851578637/7874974180221744310421*c_1100_10^11 - 13897462428561839846839/23624922540665232931263*c_1100_10^10 + 26441502071604988469373/15749948360443488620842*c_1100_10^9 - 45476054265633115082641/23624922540665232931263*c_1100_10^8 + 88119561293383747334561/23624922540665232931263*c_1100_10^7 - 78628823548562453316511/23624922540665232931263*c_1100_10^6 + 244987611010685253034591/47249845081330465862526*c_1100_10^5 - 27287857941091657865103/7874974180221744310421*c_1100_10^4 + 29946850137294349671407/6749977868761495123218*c_1100_10^3 - 42929660375787747207992/23624922540665232931263*c_1100_10^2 + 105329876216541539193581/47249845081330465862526*c_1100_10 - 15109808496658672689016/23624922540665232931263, c_0101_15 - 38412754894614037501/47249845081330465862526*c_1100_10^16 + 5977244689492287424/23624922540665232931263*c_1100_10^15 + 152475983020996516963/47249845081330465862526*c_1100_10^14 + 13212104039265207759/15749948360443488620842*c_1100_10^13 + 1038740500333980640748/23624922540665232931263*c_1100_10^12 - 126812126164654072145/15749948360443488620842*c_1100_10^11 + 3714372790707286814129/23624922540665232931263*c_1100_10^10 - 2734878362366685113147/15749948360443488620842*c_1100_10^9 + 30700841483735126917411/47249845081330465862526*c_1100_10^8 - 19250178648415111231024/23624922540665232931263*c_1100_10^7 + 44720496890318690994386/23624922540665232931263*c_1100_10^6 - 84286194676350246006107/47249845081330465862526*c_1100_10^5 + 6540638068712166262135/2249992622920498374406*c_1100_10^4 - 111961242764842447334353/47249845081330465862526*c_1100_10^3 + 137186582959011678397559/47249845081330465862526*c_1100_10^2 - 35632492375409722682047/47249845081330465862526*c_1100_10 + 57344454103268136280123/47249845081330465862526, c_0101_3 + 2279243561728055891/3374988934380747561609*c_1100_10^16 - 16047949936573199305/23624922540665232931263*c_1100_10^15 + 16640893244115966943/3374988934380747561609*c_1100_10^14 - 196643336999254584333/7874974180221744310421*c_1100_10^13 + 447135426623453549362/23624922540665232931263*c_1100_10^12 - 1178253342065502046357/7874974180221744310421*c_1100_10^11 + 1953030011642542015963/23624922540665232931263*c_1100_10^10 - 4244147437943983864036/7874974180221744310421*c_1100_10^9 + 10539302034051562744264/23624922540665232931263*c_1100_10^8 - 39082615683005380393598/23624922540665232931263*c_1100_10^7 + 30563655882634822091968/23624922540665232931263*c_1100_10^6 - 72835121658738095050154/23624922540665232931263*c_1100_10^5 + 11366946026088735097418/7874974180221744310421*c_1100_10^4 - 71642352669333861015898/23624922540665232931263*c_1100_10^3 + 9352887380749229711150/23624922540665232931263*c_1100_10^2 - 39456444045603430023826/23624922540665232931263*c_1100_10 - 9342748262186635693637/23624922540665232931263, c_1001_0 - 16067235180131207483/15749948360443488620842*c_1100_10^16 + 24247415345183935728/7874974180221744310421*c_1100_10^15 - 155333406075272616039/15749948360443488620842*c_1100_10^14 + 521104089340364441529/15749948360443488620842*c_1100_10^13 - 271916212061575735625/7874974180221744310421*c_1100_10^12 + 2615399959339746128335/15749948360443488620842*c_1100_10^11 - 1221686398750358299028/7874974180221744310421*c_1100_10^10 + 8981497383813502647269/15749948360443488620842*c_1100_10^9 - 10243828318644450108835/15749948360443488620842*c_1100_10^8 + 10704344634596458496457/7874974180221744310421*c_1100_10^7 - 9128213176666276493264/7874974180221744310421*c_1100_10^6 + 30981019186789890967165/15749948360443488620842*c_1100_10^5 - 10190725484926326205813/15749948360443488620842*c_1100_10^4 + 2968723320237443791249/2249992622920498374406*c_1100_10^3 + 8267987860515241926239/15749948360443488620842*c_1100_10^2 + 7888972033108371636791/15749948360443488620842*c_1100_10 + 20547518581921593872997/15749948360443488620842, c_1001_11 - 26087984017280724815/23624922540665232931263*c_1100_10^16 + 233913132451616653309/23624922540665232931263*c_1100_10^15 - 606484037233779263731/23624922540665232931263*c_1100_10^14 + 503481207362324617408/7874974180221744310421*c_1100_10^13 - 4214949695172141723901/23624922540665232931263*c_1100_10^12 + 2041758557764185138959/7874974180221744310421*c_1100_10^11 - 19356776908314316438468/23624922540665232931263*c_1100_10^10 + 9065128628508994344053/7874974180221744310421*c_1100_10^9 - 64318356159159534703189/23624922540665232931263*c_1100_10^8 + 80580865567260532686536/23624922540665232931263*c_1100_10^7 - 137359645664630561651257/23624922540665232931263*c_1100_10^6 + 133354651398122025516542/23624922540665232931263*c_1100_10^5 - 8686091581089087547695/1124996311460249187203*c_1100_10^4 + 127731564156039866753068/23624922540665232931263*c_1100_10^3 - 146589769132621028739548/23624922540665232931263*c_1100_10^2 + 61503504864537886489903/23624922540665232931263*c_1100_10 - 54006693385608379889932/23624922540665232931263, c_1100_10^17 - 3*c_1100_10^16 + 7*c_1100_10^15 - 26*c_1100_10^14 + 29*c_1100_10^13 - 125*c_1100_10^12 + 143*c_1100_10^11 - 449*c_1100_10^10 + 500*c_1100_10^9 - 1119*c_1100_10^8 + 1014*c_1100_10^7 - 1833*c_1100_10^6 + 1270*c_1100_10^5 - 1958*c_1100_10^4 + 918*c_1100_10^3 - 1392*c_1100_10^2 + 382*c_1100_10 - 347 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 262.840 Total time: 263.040 seconds, Total memory usage: 446.31MB