Magma V2.19-10 Fri Nov 15 2013 17:59:17 on iw-h31-4 [Seed = 870827548] +-------------------------------------------------------------------+ | This copy of Magma has been made available through a | | generous initiative of the | | | | Simons Foundation | | | | covering U.S. Colleges, Universities, Nonprofit Research entities,| | and their students, faculty, and staff | +-------------------------------------------------------------------+ Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation 11_117 geometric_solution 16.30931989 oriented_manifold CS_unknown 1 0 torus 0.000000000000 0.000000000000 18 1 2 3 1 0132 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 -17 1 0 16 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.080794136477 0.697710775967 0 0 5 4 0132 1302 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 -1 1 0 0 17 -16 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.163773662354 1.414293834010 6 0 6 4 0132 0132 3012 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.081886831177 0.707146917005 7 8 4 0 0132 0132 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -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.095184212958 0.938770997845 2 3 1 9 3012 1230 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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.142791962859 0.420997099709 10 10 11 1 0132 1230 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.163773662354 1.414293834010 2 2 12 8 0132 1230 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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.683634396418 0.526547240799 3 12 8 13 0132 3201 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.138735683424 1.065124580275 6 3 7 12 3201 0132 1023 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.161588272955 1.395421551934 12 14 4 13 1230 0132 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 -1 1 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.407789132355 1.042770139875 5 15 5 16 0132 0132 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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.653080848546 0.421598832034 16 15 13 5 0132 3201 2103 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.260120711686 0.352649833432 8 9 7 6 3201 3012 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.419205863523 0.697710775967 11 17 7 9 2103 0132 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 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.249226614643 0.718212623848 17 9 16 16 3120 0132 3012 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 1 0 0 -1 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.443216508097 0.988973236217 17 10 11 17 0213 0132 2310 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.085340689579 1.189389939512 11 14 10 14 0132 1230 0132 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 -1 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.622636750655 0.842031258123 15 13 15 14 0213 0132 1230 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.060017442394 0.836460808209 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_15' : d['c_1001_15'], 'c_1001_14' : d['c_0011_11'], 'c_1001_17' : negation(d['c_0011_11']), 'c_1001_16' : d['c_1001_15'], 'c_1001_11' : d['c_0011_13'], 'c_1001_10' : d['c_0011_10'], 'c_1001_13' : negation(d['c_0011_14']), 'c_1001_12' : d['c_0011_14'], 'c_1001_5' : negation(d['c_1001_15']), 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : negation(d['c_0101_12']), 'c_1001_6' : negation(d['c_0101_9']), 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : d['c_0101_0'], 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : d['c_0101_11'], 'c_1001_8' : d['c_0101_0'], 'c_1010_13' : negation(d['c_0011_11']), 'c_1010_12' : negation(d['c_0101_9']), 'c_1010_11' : negation(d['c_1001_15']), 'c_1010_10' : d['c_1001_15'], 'c_1010_17' : negation(d['c_0011_14']), 'c_1010_16' : d['c_0101_14'], 'c_1010_15' : d['c_0011_10'], 'c_1010_14' : d['c_0101_11'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_3_15' : d['1'], 's_3_14' : d['1'], 's_0_16' : d['1'], 's_3_16' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_1'], 'c_0101_17' : negation(d['c_0011_10']), 'c_0101_16' : d['c_0101_16'], 'c_0101_15' : negation(d['c_0011_13']), 'c_0101_14' : d['c_0101_14'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(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_2_17' : d['1'], 's_2_14' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : 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_10']), 'c_0011_14' : d['c_0011_14'], 'c_0011_17' : negation(d['c_0011_13']), 'c_0011_16' : negation(d['c_0011_11']), 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0110_13']), 'c_1100_4' : negation(d['c_0110_13']), 'c_1100_7' : negation(d['c_0011_12']), 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_1' : negation(d['c_0110_13']), 'c_1100_0' : negation(d['c_1001_4']), 'c_1100_3' : negation(d['c_1001_4']), 'c_1100_2' : d['c_0101_9'], 'c_1100_15' : d['c_0011_11'], 'c_1100_14' : negation(d['c_1001_15']), 'c_1100_17' : negation(d['c_0101_14']), 'c_1100_16' : d['c_1001_15'], 'c_1100_11' : negation(d['c_0110_13']), 'c_1100_10' : d['c_1001_15'], 'c_1100_13' : negation(d['c_0011_12']), 's_3_10' : d['1'], 'c_1100_9' : negation(d['c_0110_13']), 's_3_13' : d['1'], 'c_1010_7' : negation(d['c_0011_14']), 'c_1010_6' : d['c_0101_12'], 'c_1010_5' : d['c_0101_1'], 's_0_13' : d['1'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0011_0']), 's_0_14' : d['1'], 'c_1010_9' : d['c_0011_11'], 's_0_15' : d['1'], 'c_1100_8' : d['c_0011_12'], 's_3_17' : d['1'], 's_0_17' : d['1'], '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'], 'c_1100_12' : negation(d['c_0011_3']), 's_1_7' : d['1'], 's_1_6' : negation(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_3_11' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_14']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_4'], 'c_0101_13' : d['c_0101_11'], 'c_0011_6' : d['c_0011_0'], '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_16'], 'c_0110_10' : d['c_0101_16'], 'c_0110_13' : d['c_0110_13'], 'c_0110_12' : d['c_0011_4'], 'c_0110_15' : negation(d['c_0101_14']), 'c_0110_14' : d['c_0101_14'], 'c_0110_17' : d['c_0101_14'], 'c_0110_16' : d['c_0101_11'], 'c_1010_4' : d['c_0101_11'], 'c_0011_7' : negation(d['c_0011_3']), 's_0_8' : d['1'], 's_2_15' : d['1'], 'c_1010_8' : negation(d['c_0011_4']), 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_16'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_11'], 'c_0101_2' : d['c_0101_12'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0101_12']), 's_1_17' : d['1'], '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_0011_12'], 'c_0110_8' : negation(d['c_0101_12']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_9'], 'c_0110_7' : d['c_0101_11'], 'c_0110_6' : d['c_0101_12'], 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY_DECOMPOSITION_TIME: 1361.630 PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 19 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_13, c_0011_14, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_14, c_0101_16, c_0101_9, c_0110_13, c_1001_15, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t - 1068389373258693/656372537216*c_1001_4^10 + 2075286625805433/656372537216*c_1001_4^9 - 3442405248165009/164093134304*c_1001_4^8 + 776525957196527/20511641788*c_1001_4^7 - 72288729152398277/656372537216*c_1001_4^6 + 731420853954491/4826268656*c_1001_4^5 - 138507642559471767/656372537216*c_1001_4^4 + 1689607904481009/9652537312*c_1001_4^3 - 31950870917145713/328186268608*c_1001_4^2 + 48673877689207895/656372537216*c_1001_4 - 18566911487065453/656372537216, c_0011_0 - 1, c_0011_10 + 1, c_0011_11 + 366045/552584*c_1001_4^10 - 441179/552584*c_1001_4^9 + 1094657/138146*c_1001_4^8 - 661271/69073*c_1001_4^7 + 20718805/552584*c_1001_4^6 - 9407925/276292*c_1001_4^5 + 33014301/552584*c_1001_4^4 - 3772651/138146*c_1001_4^3 + 5161549/276292*c_1001_4^2 - 9248155/552584*c_1001_4 - 91377/552584, c_0011_12 - 27567/69073*c_1001_4^10 + 42664/69073*c_1001_4^9 - 341144/69073*c_1001_4^8 + 1009317/138146*c_1001_4^7 - 1692722/69073*c_1001_4^6 + 3772337/138146*c_1001_4^5 - 2911394/69073*c_1001_4^4 + 1752933/69073*c_1001_4^3 - 1995911/138146*c_1001_4^2 + 779473/69073*c_1001_4 - 270243/138146, c_0011_13 + 91926/69073*c_1001_4^10 - 473709/276292*c_1001_4^9 + 1109088/69073*c_1001_4^8 - 2841741/138146*c_1001_4^7 + 5319593/69073*c_1001_4^6 - 20657475/276292*c_1001_4^5 + 34892755/276292*c_1001_4^4 - 4488294/69073*c_1001_4^3 + 5903327/138146*c_1001_4^2 - 4967535/138146*c_1001_4 + 398067/276292, c_0011_14 + 221999/552584*c_1001_4^10 - 310835/552584*c_1001_4^9 + 338035/69073*c_1001_4^8 - 460653/69073*c_1001_4^7 + 13144571/552584*c_1001_4^6 - 1682715/69073*c_1001_4^5 + 21833565/552584*c_1001_4^4 - 1463290/69073*c_1001_4^3 + 3448407/276292*c_1001_4^2 - 5904833/552584*c_1001_4 - 151281/552584, c_0011_3 + 186989/552584*c_1001_4^10 - 231395/552584*c_1001_4^9 + 567509/138146*c_1001_4^8 - 697129/138146*c_1001_4^7 + 10945253/552584*c_1001_4^6 - 5083247/276292*c_1001_4^5 + 18261757/552584*c_1001_4^4 - 2216353/138146*c_1001_4^3 + 3319923/276292*c_1001_4^2 - 5201931/552584*c_1001_4 + 65507/552584, c_0011_4 - 137109/276292*c_1001_4^10 + 162487/276292*c_1001_4^9 - 821119/138146*c_1001_4^8 + 487728/69073*c_1001_4^7 - 7793931/276292*c_1001_4^6 + 3462945/138146*c_1001_4^5 - 12592669/276292*c_1001_4^4 + 2789773/138146*c_1001_4^3 - 2177303/138146*c_1001_4^2 + 3813349/276292*c_1001_4 + 44761/276292, c_0101_0 + 186989/552584*c_1001_4^10 - 231395/552584*c_1001_4^9 + 567509/138146*c_1001_4^8 - 697129/138146*c_1001_4^7 + 10945253/552584*c_1001_4^6 - 5083247/276292*c_1001_4^5 + 18261757/552584*c_1001_4^4 - 2216353/138146*c_1001_4^3 + 3319923/276292*c_1001_4^2 - 5201931/552584*c_1001_4 + 65507/552584, c_0101_1 - 221999/552584*c_1001_4^10 + 310835/552584*c_1001_4^9 - 338035/69073*c_1001_4^8 + 460653/69073*c_1001_4^7 - 13144571/552584*c_1001_4^6 + 1682715/69073*c_1001_4^5 - 21833565/552584*c_1001_4^4 + 1463290/69073*c_1001_4^3 - 3448407/276292*c_1001_4^2 + 5904833/552584*c_1001_4 + 151281/552584, c_0101_11 + 137109/276292*c_1001_4^10 - 162487/276292*c_1001_4^9 + 821119/138146*c_1001_4^8 - 487728/69073*c_1001_4^7 + 7793931/276292*c_1001_4^6 - 3462945/138146*c_1001_4^5 + 12592669/276292*c_1001_4^4 - 2789773/138146*c_1001_4^3 + 2177303/138146*c_1001_4^2 - 3537057/276292*c_1001_4 - 44761/276292, c_0101_12 - 1, c_0101_14 + 97883/276292*c_1001_4^10 - 49673/138146*c_1001_4^9 + 285664/69073*c_1001_4^8 - 295416/69073*c_1001_4^7 + 5220219/276292*c_1001_4^6 - 3877227/276292*c_1001_4^5 + 3854675/138146*c_1001_4^4 - 522402/69073*c_1001_4^3 + 1026763/138146*c_1001_4^2 - 1932203/276292*c_1001_4 - 152747/138146, c_0101_16 + c_1001_4, c_0101_9 + 461207/552584*c_1001_4^10 - 556369/552584*c_1001_4^9 + 694314/69073*c_1001_4^8 - 1672585/138146*c_1001_4^7 + 26533115/552584*c_1001_4^6 - 12009137/276292*c_1001_4^5 + 43447095/552584*c_1001_4^4 - 2503063/69073*c_1001_4^3 + 7674529/276292*c_1001_4^2 - 12828629/552584*c_1001_4 - 24015/552584, c_0110_13 + 26913/276292*c_1001_4^10 - 6211/69073*c_1001_4^9 + 156821/138146*c_1001_4^8 - 153789/138146*c_1001_4^7 + 1436535/276292*c_1001_4^6 - 1015097/276292*c_1001_4^5 + 554774/69073*c_1001_4^4 - 277573/138146*c_1001_4^3 + 208341/69073*c_1001_4^2 - 29043/276292*c_1001_4 - 39123/138146, c_1001_15 + 186989/552584*c_1001_4^10 - 231395/552584*c_1001_4^9 + 567509/138146*c_1001_4^8 - 697129/138146*c_1001_4^7 + 10945253/552584*c_1001_4^6 - 5083247/276292*c_1001_4^5 + 18261757/552584*c_1001_4^4 - 2216353/138146*c_1001_4^3 + 3319923/276292*c_1001_4^2 - 5201931/552584*c_1001_4 + 65507/552584, c_1001_4^11 - 2*c_1001_4^10 + 13*c_1001_4^9 - 24*c_1001_4^8 + 69*c_1001_4^7 - 97*c_1001_4^6 + 135*c_1001_4^5 - 115*c_1001_4^4 + 66*c_1001_4^3 - 49*c_1001_4^2 + 20*c_1001_4 - 1 ], Ideal of Polynomial ring of rank 19 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_13, c_0011_14, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_14, c_0101_16, c_0101_9, c_0110_13, c_1001_15, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 13/21*c_1001_15*c_1001_4^5 + 134/21*c_1001_15*c_1001_4^4 - 17/21*c_1001_15*c_1001_4^3 + 377/84*c_1001_15*c_1001_4^2 - 37/14*c_1001_15*c_1001_4 + 53/84*c_1001_15 + 107/42*c_1001_4^5 - 131/28*c_1001_4^4 - 653/84*c_1001_4^3 - 809/84*c_1001_4^2 + 601/84*c_1001_4 - 37/21, c_0011_0 - 1, c_0011_10 - 5/6*c_1001_15*c_1001_4^5 + 7/3*c_1001_15*c_1001_4^4 - 8/3*c_1001_15*c_1001_4^3 + 7/3*c_1001_15*c_1001_4^2 - 23/3*c_1001_15*c_1001_4 + 5/2*c_1001_15 - 5/6*c_1001_4^5 + 2*c_1001_4^4 - 2*c_1001_4^3 + 5/3*c_1001_4^2 - 20/3*c_1001_4 - 5/6, c_0011_11 - 2/3*c_1001_15*c_1001_4^5 + 2*c_1001_15*c_1001_4^4 - 8/3*c_1001_15*c_1001_4^3 + 7/3*c_1001_15*c_1001_4^2 - 20/3*c_1001_15*c_1001_4 + 8/3*c_1001_15 - 11/6*c_1001_4^5 + 5*c_1001_4^4 - 6*c_1001_4^3 + 17/3*c_1001_4^2 - 50/3*c_1001_4 + 25/6, c_0011_12 - 5/6*c_1001_15*c_1001_4^5 + 7/3*c_1001_15*c_1001_4^4 - 8/3*c_1001_15*c_1001_4^3 + 7/3*c_1001_15*c_1001_4^2 - 23/3*c_1001_15*c_1001_4 + 5/2*c_1001_15 - 5/6*c_1001_4^5 + 2*c_1001_4^4 - 2*c_1001_4^3 + 5/3*c_1001_4^2 - 20/3*c_1001_4 - 5/6, c_0011_13 + 1/3*c_1001_15*c_1001_4^4 - c_1001_15*c_1001_4^3 + 2/3*c_1001_15*c_1001_4^2 - 2/3*c_1001_15*c_1001_4 + 2*c_1001_15 - 17/6*c_1001_4^5 + 8*c_1001_4^4 - 10*c_1001_4^3 + 29/3*c_1001_4^2 - 80/3*c_1001_4 + 55/6, c_0011_14 + 1/6*c_1001_4^5 - 2/3*c_1001_4^4 + c_1001_4^3 - 2/3*c_1001_4^2 + 5/3*c_1001_4 - 11/6, c_0011_3 + c_1001_15 - 13/6*c_1001_4^5 + 6*c_1001_4^4 - 7*c_1001_4^3 + 19/3*c_1001_4^2 - 58/3*c_1001_4 + 35/6, c_0011_4 + 5/6*c_1001_4^5 - 7/3*c_1001_4^4 + 8/3*c_1001_4^3 - 7/3*c_1001_4^2 + 23/3*c_1001_4 - 5/2, c_0101_0 + 1/2*c_1001_4^5 - 4/3*c_1001_4^4 + 5/3*c_1001_4^3 - 5/3*c_1001_4^2 + 4*c_1001_4 - 5/6, c_0101_1 - 1/6*c_1001_4^5 + 2/3*c_1001_4^4 - c_1001_4^3 + 2/3*c_1001_4^2 - 5/3*c_1001_4 + 11/6, c_0101_11 - 1/6*c_1001_15*c_1001_4^5 + 2/3*c_1001_15*c_1001_4^4 - c_1001_15*c_1001_4^3 + 2/3*c_1001_15*c_1001_4^2 - 5/3*c_1001_15*c_1001_4 + 5/6*c_1001_15 - 11/6*c_1001_4^5 + 5*c_1001_4^4 - 6*c_1001_4^3 + 17/3*c_1001_4^2 - 50/3*c_1001_4 + 25/6, c_0101_12 - 5/6*c_1001_15*c_1001_4^5 + 7/3*c_1001_15*c_1001_4^4 - 8/3*c_1001_15*c_1001_4^3 + 7/3*c_1001_15*c_1001_4^2 - 23/3*c_1001_15*c_1001_4 + 5/2*c_1001_15 - 5/6*c_1001_4^5 + 2*c_1001_4^4 - 2*c_1001_4^3 + 5/3*c_1001_4^2 - 20/3*c_1001_4 + 1/6, c_0101_14 + 2/3*c_1001_4^5 - 5/3*c_1001_4^4 + 5/3*c_1001_4^3 - 5/3*c_1001_4^2 + 6*c_1001_4 - 2/3, c_0101_16 - 1/6*c_1001_15*c_1001_4^5 + 2/3*c_1001_15*c_1001_4^4 - c_1001_15*c_1001_4^3 + 2/3*c_1001_15*c_1001_4^2 - 5/3*c_1001_15*c_1001_4 + 17/6*c_1001_15 - 11/6*c_1001_4^5 + 5*c_1001_4^4 - 6*c_1001_4^3 + 17/3*c_1001_4^2 - 50/3*c_1001_4 + 25/6, c_0101_9 - c_1001_15, c_0110_13 + 2/3*c_1001_4^5 - 5/3*c_1001_4^4 + 5/3*c_1001_4^3 - 5/3*c_1001_4^2 + 6*c_1001_4 - 2/3, c_1001_15^2 - 13/6*c_1001_15*c_1001_4^5 + 6*c_1001_15*c_1001_4^4 - 7*c_1001_15*c_1001_4^3 + 19/3*c_1001_15*c_1001_4^2 - 58/3*c_1001_15*c_1001_4 + 35/6*c_1001_15 - 2/3*c_1001_4^5 + 4/3*c_1001_4^4 - c_1001_4^3 + c_1001_4^2 - 5*c_1001_4 - 8/3, c_1001_4^6 - 3*c_1001_4^5 + 4*c_1001_4^4 - 4*c_1001_4^3 + 10*c_1001_4^2 - 5*c_1001_4 + 1 ], Ideal of Polynomial ring of rank 19 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_13, c_0011_14, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_14, c_0101_16, c_0101_9, c_0110_13, c_1001_15, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 20478328411747774309418291463913/125171714851141892644721780047872*\ c_1001_4^16 + 41291955649550459748858098996177/62585857425570946322\ 360890023936*c_1001_4^15 - 2717604198020936509883836928429/86924801\ 9799596476699456805888*c_1001_4^14 + 578909544965517612918030952783325/62585857425570946322360890023936*\ c_1001_4^13 - 3203470535035713463070677099918223/125171714851141892\ 644721780047872*c_1001_4^12 + 761999868841169734825452376900183/139\ 07968316793543627191308894208*c_1001_4^11 - 99679566364899722824868207150549/948270567054105247308498333696*c_1\ 001_4^10 + 24520901150486586444417656124871/14830771901794063109564\ 1919488*c_1001_4^9 - 1749044049799566674423376921562057/78232321781\ 96368290295111252992*c_1001_4^8 + 301501597608470208179912483381162\ 47/125171714851141892644721780047872*c_1001_4^7 - 12564653414772394104466934481253591/6258585742557094632236089002393\ 6*c_1001_4^6 + 54998104953739668282505246499555/4851616854695422195\ 53185193984*c_1001_4^5 - 4158294109535996633772070352451779/1251717\ 14851141892644721780047872*c_1001_4^4 - 88411551473983269443264658823499/31292928712785473161180445011968*c\ _1001_4^3 + 775356681456673202117063286597145/125171714851141892644\ 721780047872*c_1001_4^2 - 352103636471975224845720063200105/1251717\ 14851141892644721780047872*c_1001_4 + 184533950441598092734631724539/217312004949899119174864201472, c_0011_0 - 1, c_0011_10 + 51917959387361/142917857505221*c_1001_4^16 - 200360814581547/142917857505221*c_1001_4^15 + 961145246538276/142917857505221*c_1001_4^14 - 2785511736650410/142917857505221*c_1001_4^13 + 7715042767705235/142917857505221*c_1001_4^12 - 16292248214505722/142917857505221*c_1001_4^11 + 31196022266180869/142917857505221*c_1001_4^10 - 48569204151074722/142917857505221*c_1001_4^9 + 65436219528317642/142917857505221*c_1001_4^8 - 69997048093027607/142917857505221*c_1001_4^7 + 58398528186572737/142917857505221*c_1001_4^6 - 34061420818232819/142917857505221*c_1001_4^5 + 12259348125426063/142917857505221*c_1001_4^4 - 2792141438893217/142917857505221*c_1001_4^3 + 610283801714697/142917857505221*c_1001_4^2 - 257287074928188/142917857505221*c_1001_4 - 105875771543450/142917857505221, c_0011_11 - 119373269842266/142917857505221*c_1001_4^16 + 407539407372409/142917857505221*c_1001_4^15 - 2025577856634864/142917857505221*c_1001_4^14 + 5491452287737432/142917857505221*c_1001_4^13 - 15241762044426317/142917857505221*c_1001_4^12 + 30507787336200777/142917857505221*c_1001_4^11 - 57706352757035039/142917857505221*c_1001_4^10 + 84943092082801594/142917857505221*c_1001_4^9 - 110680289629338148/142917857505221*c_1001_4^8 + 108156937173507933/142917857505221*c_1001_4^7 - 81312354180549299/142917857505221*c_1001_4^6 + 35725906211329694/142917857505221*c_1001_4^5 - 6309733296899418/142917857505221*c_1001_4^4 - 1821244985046249/142917857505221*c_1001_4^3 + 557433460738852/142917857505221*c_1001_4^2 - 262299538411665/142917857505221*c_1001_4 - 211350222098858/142917857505221, c_0011_12 - 91185331606353/142917857505221*c_1001_4^16 + 311364827817276/142917857505221*c_1001_4^15 - 1549159058294502/142917857505221*c_1001_4^14 + 4190624465442592/142917857505221*c_1001_4^13 - 11645723993094027/142917857505221*c_1001_4^12 + 23225699489170765/142917857505221*c_1001_4^11 - 43936702160291126/142917857505221*c_1001_4^10 + 64236211002005772/142917857505221*c_1001_4^9 - 83449631270750984/142917857505221*c_1001_4^8 + 80045531748482017/142917857505221*c_1001_4^7 - 58749746528871064/142917857505221*c_1001_4^6 + 22318574137184094/142917857505221*c_1001_4^5 - 613470626084951/142917857505221*c_1001_4^4 - 4669666631881072/142917857505221*c_1001_4^3 + 1242795516535821/142917857505221*c_1001_4^2 - 254728123472331/142917857505221*c_1001_4 - 278929855079813/142917857505221, c_0011_13 - 91223886054866/142917857505221*c_1001_4^16 + 290899015643321/142917857505221*c_1001_4^15 - 1461625106619361/142917857505221*c_1001_4^14 + 3802260156763458/142917857505221*c_1001_4^13 - 10456080321354148/142917857505221*c_1001_4^12 + 20092068479688682/142917857505221*c_1001_4^11 - 37145016595827305/142917857505221*c_1001_4^10 + 51849646353528932/142917857505221*c_1001_4^9 - 64014260708703113/142917857505221*c_1001_4^8 + 55541906852721801/142917857505221*c_1001_4^7 - 33240486562628496/142917857505221*c_1001_4^6 + 4379328885801791/142917857505221*c_1001_4^5 + 7456893519936026/142917857505221*c_1001_4^4 - 4549528382019649/142917857505221*c_1001_4^3 + 473941282400728/142917857505221*c_1001_4^2 - 321819034254209/142917857505221*c_1001_4 - 182566105970102/142917857505221, c_0011_14 + 777617154698/142917857505221*c_1001_4^16 - 3436049944267/142917857505221*c_1001_4^15 + 15873324241475/142917857505221*c_1001_4^14 - 45376134853985/142917857505221*c_1001_4^13 + 125335043479910/142917857505221*c_1001_4^12 - 240501964745425/142917857505221*c_1001_4^11 + 441537931517428/142917857505221*c_1001_4^10 - 522552188163831/142917857505221*c_1001_4^9 + 550981741866682/142917857505221*c_1001_4^8 + 29850901970803/142917857505221*c_1001_4^7 - 680813830035622/142917857505221*c_1001_4^6 + 1840730375127689/142917857505221*c_1001_4^5 - 1928911970927961/142917857505221*c_1001_4^4 + 1613758191860023/142917857505221*c_1001_4^3 - 506458816179106/142917857505221*c_1001_4^2 + 15837243896529/142917857505221*c_1001_4 - 106618730017160/142917857505221, c_0011_3 - 5018621995167/142917857505221*c_1001_4^16 - 9668684564641/142917857505221*c_1001_4^15 + 7692861535494/142917857505221*c_1001_4^14 - 227122615093960/142917857505221*c_1001_4^13 + 613693682751925/142917857505221*c_1001_4^12 - 2185544257891833/142917857505221*c_1001_4^11 + 4576266809589817/142917857505221*c_1001_4^10 - 9649160330597270/142917857505221*c_1001_4^9 + 14986883007638368/142917857505221*c_1001_4^8 - 21050601327333211/142917857505221*c_1001_4^7 + 21969133762941906/142917857505221*c_1001_4^6 - 17733112192946594/142917857505221*c_1001_4^5 + 8636830350938983/142917857505221*c_1001_4^4 - 1818364240977877/142917857505221*c_1001_4^3 - 278722296981883/142917857505221*c_1001_4^2 + 149507365089853/142917857505221*c_1001_4 - 34227280737225/142917857505221, c_0011_4 + 63413742598470/142917857505221*c_1001_4^16 - 164024873096923/142917857505221*c_1001_4^15 + 900368381442188/142917857505221*c_1001_4^14 - 2033757175702768/142917857505221*c_1001_4^13 + 5729257907028228/142917857505221*c_1001_4^12 - 9594894893959363/142917857505221*c_1001_4^11 + 17523030990348535/142917857505221*c_1001_4^10 - 20169875073418320/142917857505221*c_1001_4^9 + 22290618397059450/142917857505221*c_1001_4^8 - 9665672723362350/142917857505221*c_1001_4^7 - 3247777523077983/142917857505221*c_1001_4^6 + 16292478053399538/142917857505221*c_1001_4^5 - 12239252743571482/142917857505221*c_1001_4^4 + 4217639597546993/142917857505221*c_1001_4^3 + 173875396191626/142917857505221*c_1001_4^2 + 214018314011681/142917857505221*c_1001_4 + 159639893080803/142917857505221, c_0101_0 - 5018621995167/142917857505221*c_1001_4^16 - 9668684564641/142917857505221*c_1001_4^15 + 7692861535494/142917857505221*c_1001_4^14 - 227122615093960/142917857505221*c_1001_4^13 + 613693682751925/142917857505221*c_1001_4^12 - 2185544257891833/142917857505221*c_1001_4^11 + 4576266809589817/142917857505221*c_1001_4^10 - 9649160330597270/142917857505221*c_1001_4^9 + 14986883007638368/142917857505221*c_1001_4^8 - 21050601327333211/142917857505221*c_1001_4^7 + 21969133762941906/142917857505221*c_1001_4^6 - 17733112192946594/142917857505221*c_1001_4^5 + 8636830350938983/142917857505221*c_1001_4^4 - 1818364240977877/142917857505221*c_1001_4^3 - 278722296981883/142917857505221*c_1001_4^2 + 149507365089853/142917857505221*c_1001_4 - 34227280737225/142917857505221, c_0101_1 - 777617154698/142917857505221*c_1001_4^16 + 3436049944267/142917857505221*c_1001_4^15 - 15873324241475/142917857505221*c_1001_4^14 + 45376134853985/142917857505221*c_1001_4^13 - 125335043479910/142917857505221*c_1001_4^12 + 240501964745425/142917857505221*c_1001_4^11 - 441537931517428/142917857505221*c_1001_4^10 + 522552188163831/142917857505221*c_1001_4^9 - 550981741866682/142917857505221*c_1001_4^8 - 29850901970803/142917857505221*c_1001_4^7 + 680813830035622/142917857505221*c_1001_4^6 - 1840730375127689/142917857505221*c_1001_4^5 + 1928911970927961/142917857505221*c_1001_4^4 - 1613758191860023/142917857505221*c_1001_4^3 + 506458816179106/142917857505221*c_1001_4^2 - 15837243896529/142917857505221*c_1001_4 + 106618730017160/142917857505221, c_0101_11 - 63413742598470/142917857505221*c_1001_4^16 + 164024873096923/142917857505221*c_1001_4^15 - 900368381442188/142917857505221*c_1001_4^14 + 2033757175702768/142917857505221*c_1001_4^13 - 5729257907028228/142917857505221*c_1001_4^12 + 9594894893959363/142917857505221*c_1001_4^11 - 17523030990348535/142917857505221*c_1001_4^10 + 20169875073418320/142917857505221*c_1001_4^9 - 22290618397059450/142917857505221*c_1001_4^8 + 9665672723362350/142917857505221*c_1001_4^7 + 3247777523077983/142917857505221*c_1001_4^6 - 16292478053399538/142917857505221*c_1001_4^5 + 12239252743571482/142917857505221*c_1001_4^4 - 4217639597546993/142917857505221*c_1001_4^3 - 173875396191626/142917857505221*c_1001_4^2 - 71100456506460/142917857505221*c_1001_4 - 159639893080803/142917857505221, c_0101_12 - 1, c_0101_14 - 1369949822557/142917857505221*c_1001_4^16 + 31010363514426/142917857505221*c_1001_4^15 - 112784315544541/142917857505221*c_1001_4^14 + 509962347341602/142917857505221*c_1001_4^13 - 1382299871969584/142917857505221*c_1001_4^12 + 3712889849770359/142917857505221*c_1001_4^11 - 7376184916774021/142917857505221*c_1001_4^10 + 13714388967383159/142917857505221*c_1001_4^9 - 19991422258230698/142917857505221*c_1001_4^8 + 25733210097673057/142917857505221*c_1001_4^7 - 24889733375896053/142917857505221*c_1001_4^6 + 18618704125606511/142917857505221*c_1001_4^5 - 8344355690480688/142917857505221*c_1001_4^4 + 1831008615682602/142917857505221*c_1001_4^3 - 173562703066450/142917857505221*c_1001_4^2 + 143093237341117/142917857505221*c_1001_4 - 77003564245119/142917857505221, c_0101_16 + 129020343701747/142917857505221*c_1001_4^16 - 486749794382168/142917857505221*c_1001_4^15 + 2326494792329616/142917857505221*c_1001_4^14 - 6649186992423477/142917857505221*c_1001_4^13 + 18251531158563018/142917857505221*c_1001_4^12 - 37935433554549708/142917857505221*c_1001_4^11 + 71586572428118704/142917857505221*c_1001_4^10 - 109019846376648165/142917857505221*c_1001_4^9 + 142908821003921597/142917857505221*c_1001_4^8 - 145919241094456089/142917857505221*c_1001_4^7 + 112168750260865287/142917857505221*c_1001_4^6 - 53828775653322121/142917857505221*c_1001_4^5 + 9575971281704558/142917857505221*c_1001_4^4 + 2855443041267805/142917857505221*c_1001_4^3 - 750577554389349/142917857505221*c_1001_4^2 + 85438195689559/142917857505221*c_1001_4 - 71587157317082/142917857505221, c_0101_9 - 68432364593637/142917857505221*c_1001_4^16 + 154356188532282/142917857505221*c_1001_4^15 - 892675519906694/142917857505221*c_1001_4^14 + 1806634560608808/142917857505221*c_1001_4^13 - 5115564224276303/142917857505221*c_1001_4^12 + 7409350636067530/142917857505221*c_1001_4^11 - 12946764180758718/142917857505221*c_1001_4^10 + 10520714742821050/142917857505221*c_1001_4^9 - 7303735389421082/142917857505221*c_1001_4^8 - 11384928603970861/142917857505221*c_1001_4^7 + 25216911286019889/142917857505221*c_1001_4^6 - 34025590246346132/142917857505221*c_1001_4^5 + 20876083094510465/142917857505221*c_1001_4^4 - 6036003838524870/142917857505221*c_1001_4^3 - 452597693173509/142917857505221*c_1001_4^2 - 64510948921828/142917857505221*c_1001_4 - 193867173818028/142917857505221, c_0110_13 - 4693040669692/142917857505221*c_1001_4^16 - 10767282866854/142917857505221*c_1001_4^15 + 9522435726391/142917857505221*c_1001_4^14 - 231926999595680/142917857505221*c_1001_4^13 + 596804369292312/142917857505221*c_1001_4^12 - 2133295296176031/142917857505221*c_1001_4^11 + 4323534694519742/142917857505221*c_1001_4^10 - 9151914147931048/142917857505221*c_1001_4^9 + 13828709614200767/142917857505221*c_1001_4^8 - 19427315505803613/142917857505221*c_1001_4^7 + 19591069933917899/142917857505221*c_1001_4^6 - 15635457299449167/142917857505221*c_1001_4^5 + 7019961690460168/142917857505221*c_1001_4^4 - 1327457767892731/142917857505221*c_1001_4^3 - 289116220795526/142917857505221*c_1001_4^2 + 398266335457536/142917857505221*c_1001_4 - 35004897891923/142917857505221, c_1001_15 - 76494913113372/142917857505221*c_1001_4^16 + 307770694961386/142917857505221*c_1001_4^15 - 1449270518576098/142917857505221*c_1001_4^14 + 4280473242635829/142917857505221*c_1001_4^13 - 11776808562199822/142917857505221*c_1001_4^12 + 25119386011358228/142917857505221*c_1001_4^11 - 47889640934878818/142917857505221*c_1001_4^10 + 74934254577739919/142917857505221*c_1001_4^9 - 100484232349634579/142917857505221*c_1001_4^8 + 107281428037095167/142917857505221*c_1001_4^7 - 88174194161437148/142917857505221*c_1001_4^6 + 49159274854461607/142917857505221*c_1001_4^5 - 15257456137012120/142917857505221*c_1001_4^4 + 1342836335026097/142917857505221*c_1001_4^3 - 239594290683643/142917857505221*c_1001_4^2 - 18269224586411/142917857505221*c_1001_4 + 89097140516600/142917857505221, c_1001_4^17 - 4*c_1001_4^16 + 19*c_1001_4^15 - 56*c_1001_4^14 + 155*c_1001_4^13 - 331*c_1001_4^12 + 635*c_1001_4^11 - 997*c_1001_4^10 + 1348*c_1001_4^9 - 1451*c_1001_4^8 + 1212*c_1001_4^7 - 691*c_1001_4^6 + 217*c_1001_4^5 - 4*c_1001_4^4 - 20*c_1001_4^3 + 7*c_1001_4^2 - c_1001_4 - 1 ], Ideal of Polynomial ring of rank 19 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_13, c_0011_14, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_14, c_0101_16, c_0101_9, c_0110_13, c_1001_15, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 18606898282264456226787785257/4686370067100337920846839*c_1001_4^16 + 136010911338471391295300237210/4686370067100337920846839*c_1001_4\ ^15 - 475824627862188416942828934336/4686370067100337920846839*c_10\ 01_4^14 + 1106845861059135962990538548113/4686370067100337920846839\ *c_1001_4^13 - 2249334373504249407612481290813/46863700671003379208\ 46839*c_1001_4^12 + 4415006523271352789382815649835/468637006710033\ 7920846839*c_1001_4^11 - 7715632407383953781592555943321/4686370067\ 100337920846839*c_1001_4^10 + 13897542904793852493906838131599/4686\ 370067100337920846839*c_1001_4^9 - 24596436758258456809630190972335/4686370067100337920846839*c_1001_4\ ^8 + 33151835701637047930529073133917/4686370067100337920846839*c_1\ 001_4^7 - 2873075049244786578205631093965/426033642463667083713349*\ c_1001_4^6 + 19894790541536459629577167758394/468637006710033792084\ 6839*c_1001_4^5 - 7632813688395626766958537690819/46863700671003379\ 20846839*c_1001_4^4 + 1427347608848231307017991638084/4686370067100\ 337920846839*c_1001_4^3 - 1179952440236034671337347748461/468637006\ 7100337920846839*c_1001_4^2 + 1377869001134056252769231060804/46863\ 70067100337920846839*c_1001_4 - 910166304916943570089252990240/4686\ 370067100337920846839, c_0011_0 - 1, c_0011_10 - 28235355144896466185561/2458423641757554319132768*c_1001_4^\ 16 + 75163141604195595858631/1229211820878777159566384*c_1001_4^15 - 940048894600095128057/6984158073174870224809*c_1001_4^14 + 202257169760583711288773/1229211820878777159566384*c_1001_4^13 - 690404452769181759009251/2458423641757554319132768*c_1001_4^12 + 1391468380339863316274719/2458423641757554319132768*c_1001_4^11 - 83071088680476546224387/153651477609847144945798*c_1001_4^10 + 903837097317402685781547/614605910439388579783192*c_1001_4^9 - 738034061834012808725471/307302955219694289891596*c_1001_4^8 - 5914166626461204605944453/2458423641757554319132768*c_1001_4^7 + 9536669491185902743152705/1229211820878777159566384*c_1001_4^6 - 8830371597679892300195009/1229211820878777159566384*c_1001_4^5 + 6147008360249144314293893/2458423641757554319132768*c_1001_4^4 + 1712855607877766717035471/614605910439388579783192*c_1001_4^3 - 7645258443653764556253827/2458423641757554319132768*c_1001_4^2 + 992867274626200700699463/2458423641757554319132768*c_1001_4 + 146358563764273975959029/307302955219694289891596, c_0011_11 - 25481190581905460361911/2458423641757554319132768*c_1001_4^\ 16 + 79313828343906347501193/1229211820878777159566384*c_1001_4^15 - 1121767043844027892909/6984158073174870224809*c_1001_4^14 + 266003422294781584510395/1229211820878777159566384*c_1001_4^13 - 798588566840486647762573/2458423641757554319132768*c_1001_4^12 + 1741509929793736149442833/2458423641757554319132768*c_1001_4^11 - 127168207779111747500441/153651477609847144945798*c_1001_4^10 + 951669389596006674688613/614605910439388579783192*c_1001_4^9 - 1024235580792971329857293/307302955219694289891596*c_1001_4^8 - 2702637520410394289474251/2458423641757554319132768*c_1001_4^7 + 11570145350214262234009743/1229211820878777159566384*c_1001_4^6 - 11424382855897589948092575/1229211820878777159566384*c_1001_4^5 + 8451372081472904278622283/2458423641757554319132768*c_1001_4^4 + 267304082412203098889433/614605910439388579783192*c_1001_4^3 - 4268489332588403103138093/2458423641757554319132768*c_1001_4^2 - 2577380645443063040962263/2458423641757554319132768*c_1001_4 + 280164159291145350792443/307302955219694289891596, c_0011_12 + 28235355144896466185561/2458423641757554319132768*c_1001_4^\ 16 - 75163141604195595858631/1229211820878777159566384*c_1001_4^15 + 940048894600095128057/6984158073174870224809*c_1001_4^14 - 202257169760583711288773/1229211820878777159566384*c_1001_4^13 + 690404452769181759009251/2458423641757554319132768*c_1001_4^12 - 1391468380339863316274719/2458423641757554319132768*c_1001_4^11 + 83071088680476546224387/153651477609847144945798*c_1001_4^10 - 903837097317402685781547/614605910439388579783192*c_1001_4^9 + 738034061834012808725471/307302955219694289891596*c_1001_4^8 + 5914166626461204605944453/2458423641757554319132768*c_1001_4^7 - 9536669491185902743152705/1229211820878777159566384*c_1001_4^6 + 8830371597679892300195009/1229211820878777159566384*c_1001_4^5 - 6147008360249144314293893/2458423641757554319132768*c_1001_4^4 - 1712855607877766717035471/614605910439388579783192*c_1001_4^3 + 7645258443653764556253827/2458423641757554319132768*c_1001_4^2 - 992867274626200700699463/2458423641757554319132768*c_1001_4 - 453661518983968265850625/307302955219694289891596, c_0011_13 - 268422366452790999895/153651477609847144945798*c_1001_4^16 + 6000543187703679188021/153651477609847144945798*c_1001_4^15 - 1117578657912996288356/6984158073174870224809*c_1001_4^14 + 23134100553941887297734/76825738804923572472899*c_1001_4^13 - 56941138443532553791309/153651477609847144945798*c_1001_4^12 + 60143321509149878252945/76825738804923572472899*c_1001_4^11 - 210865330693177560572391/153651477609847144945798*c_1001_4^10 + 100330429986019237889843/76825738804923572472899*c_1001_4^9 - 330671559321392760666378/76825738804923572472899*c_1001_4^8 + 664836739904128711597761/153651477609847144945798*c_1001_4^7 + 1195894180439384815433719/153651477609847144945798*c_1001_4^6 - 1082369700247901522754611/76825738804923572472899*c_1001_4^5 + 1841908266910181870446127/153651477609847144945798*c_1001_4^4 - 875939860834641306739767/153651477609847144945798*c_1001_4^3 + 85648378579511209934281/153651477609847144945798*c_1001_4^2 - 52635283122720226418585/76825738804923572472899*c_1001_4 + 224737828367430625168921/153651477609847144945798, c_0011_14 + 10830429938727626533/1634590187338799414317*c_1001_4^16 - 72995550688595701486/1634590187338799414317*c_1001_4^15 + 18235099975085675335/148599107939890855847*c_1001_4^14 - 302429927892835178307/1634590187338799414317*c_1001_4^13 + 436276179102347811061/1634590187338799414317*c_1001_4^12 - 888464713268969820541/1634590187338799414317*c_1001_4^11 + 1202474388624216279147/1634590187338799414317*c_1001_4^10 - 1981619368828898242483/1634590187338799414317*c_1001_4^9 + 4277587944214749824054/1634590187338799414317*c_1001_4^8 - 334629207592658045318/1634590187338799414317*c_1001_4^7 - 10687800331108504668125/1634590187338799414317*c_1001_4^6 + 14163425505420154999009/1634590187338799414317*c_1001_4^5 - 8031077643024680055246/1634590187338799414317*c_1001_4^4 - 830649093813831491256/1634590187338799414317*c_1001_4^3 + 1750334235683451487559/1634590187338799414317*c_1001_4^2 + 172956904209245024329/1634590187338799414317*c_1001_4 - 3692425658875046049169/1634590187338799414317, c_0011_3 - 527274005853405866859/76825738804923572472899*c_1001_4^16 + 4750957781567446904421/153651477609847144945798*c_1001_4^15 - 377426003449250745183/6984158073174870224809*c_1001_4^14 + 4088986927583540168575/76825738804923572472899*c_1001_4^13 - 11068257332749734647162/76825738804923572472899*c_1001_4^12 + 44773328345875734344919/153651477609847144945798*c_1001_4^11 - 28677031420852211798375/153651477609847144945798*c_1001_4^10 + 66521565755917184096423/76825738804923572472899*c_1001_4^9 - 82637624813683975558199/76825738804923572472899*c_1001_4^8 - 150394207693401654562304/76825738804923572472899*c_1001_4^7 + 370669056285780587577511/153651477609847144945798*c_1001_4^6 - 15458851810681868343900/76825738804923572472899*c_1001_4^5 + 51354087256997929957396/76825738804923572472899*c_1001_4^4 - 252922224689918506647091/153651477609847144945798*c_1001_4^3 + 166260811432762673420324/76825738804923572472899*c_1001_4^2 - 335049858580698694759283/153651477609847144945798*c_1001_4 + 21815959592014121093809/153651477609847144945798, c_0011_4 + 514458867884061658713/26153442997420790629072*c_1001_4^16 - 1456733164142363963875/13076721498710395314536*c_1001_4^15 + 40133028835951450657/148599107939890855847*c_1001_4^14 - 5083276484685262133789/13076721498710395314536*c_1001_4^13 + 17282852472729288471747/26153442997420790629072*c_1001_4^12 - 33661831697203306061351/26153442997420790629072*c_1001_4^11 + 4911035855954861922187/3269180374677598828634*c_1001_4^10 - 21427504707590279477775/6538360749355197657268*c_1001_4^9 + 18158492581356854839693/3269180374677598828634*c_1001_4^8 + 42204004845348852590501/26153442997420790629072*c_1001_4^7 - 165760494779988810174565/13076721498710395314536*c_1001_4^6 + 211340364120235539732401/13076721498710395314536*c_1001_4^5 - 282185012250614500483013/26153442997420790629072*c_1001_4^4 + 27038459234568370531011/6538360749355197657268*c_1001_4^3 - 32325363612731585232477/26153442997420790629072*c_1001_4^2 + 32635477581891778729361/26153442997420790629072*c_1001_4 - 1370419699442939951810/1634590187338799414317, c_0101_0 + 19067250730064461653/6538360749355197657268*c_1001_4^16 - 49418628484081072779/3269180374677598828634*c_1001_4^15 + 4647099745204207148/148599107939890855847*c_1001_4^14 - 129856246350592059821/3269180374677598828634*c_1001_4^13 + 575507343974896747399/6538360749355197657268*c_1001_4^12 - 1195938706577347524791/6538360749355197657268*c_1001_4^11 + 268982502303476453804/1634590187338799414317*c_1001_4^10 - 755158574128169585017/1634590187338799414317*c_1001_4^9 + 1311855363937550487054/1634590187338799414317*c_1001_4^8 + 3795637923878946506545/6538360749355197657268*c_1001_4^7 - 4008378162115338315591/3269180374677598828634*c_1001_4^6 + 1148084153525621563969/3269180374677598828634*c_1001_4^5 - 10346613257853708198233/6538360749355197657268*c_1001_4^4 + 2927810140121737416489/1634590187338799414317*c_1001_4^3 - 7397238512702893577105/6538360749355197657268*c_1001_4^2 + 4497494959504766849417/6538360749355197657268*c_1001_4 - 247020688400678079188/1634590187338799414317, c_0101_1 - 10830429938727626533/1634590187338799414317*c_1001_4^16 + 72995550688595701486/1634590187338799414317*c_1001_4^15 - 18235099975085675335/148599107939890855847*c_1001_4^14 + 302429927892835178307/1634590187338799414317*c_1001_4^13 - 436276179102347811061/1634590187338799414317*c_1001_4^12 + 888464713268969820541/1634590187338799414317*c_1001_4^11 - 1202474388624216279147/1634590187338799414317*c_1001_4^10 + 1981619368828898242483/1634590187338799414317*c_1001_4^9 - 4277587944214749824054/1634590187338799414317*c_1001_4^8 + 334629207592658045318/1634590187338799414317*c_1001_4^7 + 10687800331108504668125/1634590187338799414317*c_1001_4^6 - 14163425505420154999009/1634590187338799414317*c_1001_4^5 + 8031077643024680055246/1634590187338799414317*c_1001_4^4 + 830649093813831491256/1634590187338799414317*c_1001_4^3 - 1750334235683451487559/1634590187338799414317*c_1001_4^2 - 172956904209245024329/1634590187338799414317*c_1001_4 + 3692425658875046049169/1634590187338799414317, c_0101_11 - 18221286097309214052223/1229211820878777159566384*c_1001_4^\ 16 + 47540043014920854511349/614605910439388579783192*c_1001_4^15 - 1168288502842325296815/6984158073174870224809*c_1001_4^14 + 132398014478777055791963/614605910439388579783192*c_1001_4^13 - 500927108832078390490821/1229211820878777159566384*c_1001_4^12 + 1003272808514292847690129/1229211820878777159566384*c_1001_4^11 - 122061536678326024579849/153651477609847144945798*c_1001_4^10 + 672976323796303780184969/307302955219694289891596*c_1001_4^9 - 517127946855719149410643/153651477609847144945798*c_1001_4^8 - 3283230067674360977313875/1229211820878777159566384*c_1001_4^7 + 4813604188674473337098819/614605910439388579783192*c_1001_4^6 - 4704397465000522035642535/614605910439388579783192*c_1001_4^5 + 5288015969173658007219443/1229211820878777159566384*c_1001_4^4 - 734990067365733323617501/307302955219694289891596*c_1001_4^3 + 2286480194721394050237403/1229211820878777159566384*c_1001_4^2 - 3516394051194167642919399/1229211820878777159566384*c_1001_4 + 19548987938857115085784/76825738804923572472899, c_0101_12 + 28235355144896466185561/2458423641757554319132768*c_1001_4^\ 16 - 75163141604195595858631/1229211820878777159566384*c_1001_4^15 + 940048894600095128057/6984158073174870224809*c_1001_4^14 - 202257169760583711288773/1229211820878777159566384*c_1001_4^13 + 690404452769181759009251/2458423641757554319132768*c_1001_4^12 - 1391468380339863316274719/2458423641757554319132768*c_1001_4^11 + 83071088680476546224387/153651477609847144945798*c_1001_4^10 - 903837097317402685781547/614605910439388579783192*c_1001_4^9 + 738034061834012808725471/307302955219694289891596*c_1001_4^8 + 5914166626461204605944453/2458423641757554319132768*c_1001_4^7 - 9536669491185902743152705/1229211820878777159566384*c_1001_4^6 + 8830371597679892300195009/1229211820878777159566384*c_1001_4^5 - 6147008360249144314293893/2458423641757554319132768*c_1001_4^4 - 1712855607877766717035471/614605910439388579783192*c_1001_4^3 + 7645258443653764556253827/2458423641757554319132768*c_1001_4^2 - 992867274626200700699463/2458423641757554319132768*c_1001_4 - 146358563764273975959029/307302955219694289891596, c_0101_14 + 1924279447491941188361/144613155397503195243104*c_1001_4^16 - 4638225654368860505023/72306577698751597621552*c_1001_4^15 + 56894569299510117953/410832827833815895577*c_1001_4^14 - 14262389135278905565589/72306577698751597621552*c_1001_4^13 + 57668762140512896241395/144613155397503195243104*c_1001_4^12 - 100518654639967937196447/144613155397503195243104*c_1001_4^11 + 3217116925259884286350/4519161106171974851347*c_1001_4^10 - 77464706144250755425795/36153288849375798810776*c_1001_4^9 + 46281780916816993652823/18076644424687899405388*c_1001_4^8 + 260634109567187767069045/144613155397503195243104*c_1001_4^7 - 360056956602151943343465/72306577698751597621552*c_1001_4^6 + 563679124761017466003713/72306577698751597621552*c_1001_4^5 - 984002860911693801651061/144613155397503195243104*c_1001_4^4 + 149390344072863400959413/36153288849375798810776*c_1001_4^3 - 93031391560529527988173/144613155397503195243104*c_1001_4^2 + 109422035532802856072505/144613155397503195243104*c_1001_4 + 4922475902150080259485/18076644424687899405388, c_0101_16 - 1857669597362530155349/111746529170797923596944*c_1001_4^16 + 6360601497448751474767/55873264585398961798472*c_1001_4^15 - 2286191576887805046489/6984158073174870224809*c_1001_4^14 + 29893830260738505143609/55873264585398961798472*c_1001_4^13 - 89624322753731308560567/111746529170797923596944*c_1001_4^12 + 172203551923808076534507/111746529170797923596944*c_1001_4^11 - 30253680124798195074921/13968316146349740449618*c_1001_4^10 + 99361474231094252901899/27936632292699480899236*c_1001_4^9 - 100531696814304435895805/13968316146349740449618*c_1001_4^8 + 245591672638357990303599/111746529170797923596944*c_1001_4^7 + 846334550846690665941129/55873264585398961798472*c_1001_4^6 - 1395084979550576592159373/55873264585398961798472*c_1001_4^5 + 2134942815919378687462065/111746529170797923596944*c_1001_4^4 - 172344801328162977119003/27936632292699480899236*c_1001_4^3 - 162443663654249327531223/111746529170797923596944*c_1001_4^2 + 262653360921359096687347/111746529170797923596944*c_1001_4 + 10061313538766259884929/6984158073174870224809, c_0101_9 - 21753696312349710420021/614605910439388579783192*c_1001_4^16 + 63609894229059833334509/307302955219694289891596*c_1001_4^15 - 3613492395154783352531/6984158073174870224809*c_1001_4^14 + 234764534226828813236957/307302955219694289891596*c_1001_4^13 - 777845697889918975250319/614605910439388579783192*c_1001_4^12 + 1515431014803323114834175/614605910439388579783192*c_1001_4^11 - 458244694255431595544779/153651477609847144945798*c_1001_4^10 + 945034495712956708254177/153651477609847144945798*c_1001_4^9 - 832468728615153074798910/76825738804923572472899*c_1001_4^8 - 1137224531028803806870345/614605910439388579783192*c_1001_4^7 + 7426192689326754704715087/307302955219694289891596*c_1001_4^6 - 9979081616839751321060333/307302955219694289891596*c_1001_4^5 + 13824444523961146653676345/614605910439388579783192*c_1001_4^4 - 646549756253119112730196/76825738804923572472899*c_1001_4^3 + 884546018530355114811697/614605910439388579783192*c_1001_4^2 - 616432538219566905088033/614605910439388579783192*c_1001_4 + 259042888612922329290143/153651477609847144945798, c_0110_13 + 273364358048044015/34964495985856671964*c_1001_4^16 - 556241015490277439/17482247992928335982*c_1001_4^15 + 384795971567717471/8741123996464167991*c_1001_4^14 - 379634384089367915/17482247992928335982*c_1001_4^13 + 3780483082421636605/34964495985856671964*c_1001_4^12 - 8023408591248770073/34964495985856671964*c_1001_4^11 + 220289645090582265/8741123996464167991*c_1001_4^10 - 6989725237543400437/8741123996464167991*c_1001_4^9 + 5850976709385559247/8741123996464167991*c_1001_4^8 + 102036732212297883911/34964495985856671964*c_1001_4^7 - 39243833552792974735/17482247992928335982*c_1001_4^6 - 22525941065391783999/17482247992928335982*c_1001_4^5 + 69005209650590644853/34964495985856671964*c_1001_4^4 + 4153743297889645707/8741123996464167991*c_1001_4^3 - 41172035570832508659/34964495985856671964*c_1001_4^2 + 126877624578205585075/34964495985856671964*c_1001_4 + 2385704960844331652/8741123996464167991, c_1001_15 - 527274005853405866859/76825738804923572472899*c_1001_4^16 + 4750957781567446904421/153651477609847144945798*c_1001_4^15 - 377426003449250745183/6984158073174870224809*c_1001_4^14 + 4088986927583540168575/76825738804923572472899*c_1001_4^13 - 11068257332749734647162/76825738804923572472899*c_1001_4^12 + 44773328345875734344919/153651477609847144945798*c_1001_4^11 - 28677031420852211798375/153651477609847144945798*c_1001_4^10 + 66521565755917184096423/76825738804923572472899*c_1001_4^9 - 82637624813683975558199/76825738804923572472899*c_1001_4^8 - 150394207693401654562304/76825738804923572472899*c_1001_4^7 + 370669056285780587577511/153651477609847144945798*c_1001_4^6 - 15458851810681868343900/76825738804923572472899*c_1001_4^5 + 51354087256997929957396/76825738804923572472899*c_1001_4^4 - 252922224689918506647091/153651477609847144945798*c_1001_4^3 + 166260811432762673420324/76825738804923572472899*c_1001_4^2 - 335049858580698694759283/153651477609847144945798*c_1001_4 + 21815959592014121093809/153651477609847144945798, c_1001_4^17 - 6*c_1001_4^16 + 16*c_1001_4^15 - 26*c_1001_4^14 + 43*c_1001_4^13 - 79*c_1001_4^12 + 104*c_1001_4^11 - 204*c_1001_4^10 + 344*c_1001_4^9 - 51*c_1001_4^8 - 634*c_1001_4^7 + 1154*c_1001_4^6 - 989*c_1001_4^5 + 460*c_1001_4^4 - 37*c_1001_4^3 + 9*c_1001_4^2 - 48*c_1001_4 + 64 ], Ideal of Polynomial ring of rank 19 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_13, c_0011_14, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_14, c_0101_16, c_0101_9, c_0110_13, c_1001_15, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 22642219777157112814476387/24549857890816842496*c_1001_4^16 + 75809146611542892296096599/24549857890816842496*c_1001_4^15 - 3121185582559921051702325/201228343367351168*c_1001_4^14 + 509871546539661828739687303/12274928945408421248*c_1001_4^13 - 2844806479123741193252398511/24549857890816842496*c_1001_4^12 + 1410034320603518965664583735/6137464472704210624*c_1001_4^11 - 972835118031196647459779001/2231805262801531136*c_1001_4^10 + 974908471867260538503064821/1534366118176052656*c_1001_4^9 - 5088382795242312492296975849/6137464472704210624*c_1001_4^8 + 19586052021313767429694060077/24549857890816842496*c_1001_4^7 - 14674856821341977287286608025/24549857890816842496*c_1001_4^6 + 94995467692880484660134891/383591529544013164*c_1001_4^5 - 950196251017129848749629591/24549857890816842496*c_1001_4^4 - 528832872426679560049523769/24549857890816842496*c_1001_4^3 + 108115230888635637948138111/24549857890816842496*c_1001_4^2 - 22004688349298487201097229/6137464472704210624*c_1001_4 - 34734353317999037330798175/24549857890816842496, c_0011_0 - 1, c_0011_10 + 1, c_0011_11 - 25109471538857/142917857505221*c_1001_4^16 + 121898463008354/142917857505221*c_1001_4^15 - 549271364535954/142917857505221*c_1001_4^14 + 1759822967187689/142917857505221*c_1001_4^13 - 4842166559641480/142917857505221*c_1001_4^12 + 10903785521333087/142917857505221*c_1001_4^11 - 21055907707359816/142917857505221*c_1001_4^10 + 34490029391997898/142917857505221*c_1001_4^9 - 47449526053781153/142917857505221*c_1001_4^8 + 53500204820599742/142917857505221*c_1001_4^7 - 46260512280994122/142917857505221*c_1001_4^6 + 28007720713181934/142917857505221*c_1001_4^5 - 9133027824300453/142917857505221*c_1001_4^4 + 262477762249109/142917857505221*c_1001_4^3 + 190949578041727/142917857505221*c_1001_4^2 + 234068978812021/142917857505221*c_1001_4 - 9210670030713/142917857505221, c_0011_12 - 51917959387361/142917857505221*c_1001_4^16 + 200360814581547/142917857505221*c_1001_4^15 - 961145246538276/142917857505221*c_1001_4^14 + 2785511736650410/142917857505221*c_1001_4^13 - 7715042767705235/142917857505221*c_1001_4^12 + 16292248214505722/142917857505221*c_1001_4^11 - 31196022266180869/142917857505221*c_1001_4^10 + 48569204151074722/142917857505221*c_1001_4^9 - 65436219528317642/142917857505221*c_1001_4^8 + 69997048093027607/142917857505221*c_1001_4^7 - 58398528186572737/142917857505221*c_1001_4^6 + 34061420818232819/142917857505221*c_1001_4^5 - 12259348125426063/142917857505221*c_1001_4^4 + 2792141438893217/142917857505221*c_1001_4^3 - 610283801714697/142917857505221*c_1001_4^2 + 257287074928188/142917857505221*c_1001_4 - 37042085961771/142917857505221, c_0011_13 - 40870473324165/142917857505221*c_1001_4^16 + 198080253380027/142917857505221*c_1001_4^15 - 898628710885908/142917857505221*c_1001_4^14 + 2875903516247063/142917857505221*c_1001_4^13 - 7954594896958640/142917857505221*c_1001_4^12 + 17926604749130587/142917857505221*c_1001_4^11 - 34802548680715648/142917857505221*c_1001_4^10 + 57120724235734467/142917857505221*c_1001_4^9 - 79123207829246189/142917857505221*c_1001_4^8 + 89634854108579082/142917857505221*c_1001_4^7 - 78521119324142595/142917857505221*c_1001_4^6 + 48208216266070580/142917857505221*c_1001_4^5 - 16396634047358220/142917857505221*c_1001_4^4 + 364059026227259/142917857505221*c_1001_4^3 + 786007006214992/142917857505221*c_1001_4^2 + 70553113225028/142917857505221*c_1001_4 + 45454627616945/142917857505221, c_0011_14 + 777617154698/142917857505221*c_1001_4^16 - 3436049944267/142917857505221*c_1001_4^15 + 15873324241475/142917857505221*c_1001_4^14 - 45376134853985/142917857505221*c_1001_4^13 + 125335043479910/142917857505221*c_1001_4^12 - 240501964745425/142917857505221*c_1001_4^11 + 441537931517428/142917857505221*c_1001_4^10 - 522552188163831/142917857505221*c_1001_4^9 + 550981741866682/142917857505221*c_1001_4^8 + 29850901970803/142917857505221*c_1001_4^7 - 680813830035622/142917857505221*c_1001_4^6 + 1840730375127689/142917857505221*c_1001_4^5 - 1928911970927961/142917857505221*c_1001_4^4 + 1613758191860023/142917857505221*c_1001_4^3 - 506458816179106/142917857505221*c_1001_4^2 + 15837243896529/142917857505221*c_1001_4 - 106618730017160/142917857505221, c_0011_3 - 76494913113372/142917857505221*c_1001_4^16 + 307770694961386/142917857505221*c_1001_4^15 - 1449270518576098/142917857505221*c_1001_4^14 + 4280473242635829/142917857505221*c_1001_4^13 - 11776808562199822/142917857505221*c_1001_4^12 + 25119386011358228/142917857505221*c_1001_4^11 - 47889640934878818/142917857505221*c_1001_4^10 + 74934254577739919/142917857505221*c_1001_4^9 - 100484232349634579/142917857505221*c_1001_4^8 + 107281428037095167/142917857505221*c_1001_4^7 - 88174194161437148/142917857505221*c_1001_4^6 + 49159274854461607/142917857505221*c_1001_4^5 - 15257456137012120/142917857505221*c_1001_4^4 + 1342836335026097/142917857505221*c_1001_4^3 - 239594290683643/142917857505221*c_1001_4^2 - 18269224586411/142917857505221*c_1001_4 + 89097140516600/142917857505221, c_0011_4 + 36299127488061/142917857505221*c_1001_4^16 - 144418892797546/142917857505221*c_1001_4^15 + 686247372328892/142917857505221*c_1001_4^14 - 2016877815089941/142917857505221*c_1001_4^13 + 5580988625795470/142917857505221*c_1001_4^12 - 11889676155068281/142917857505221*c_1001_4^11 + 22809443990173310/142917857505221*c_1001_4^10 - 35748692174079389/142917857505221*c_1001_4^9 + 48408671665742397/142917857505221*c_1001_4^8 - 52119052243309829/142917857505221*c_1001_4^7 + 44024393417500735/142917857505221*c_1001_4^6 - 25763510924285773/142917857505221*c_1001_4^5 + 9717641040036926/142917857505221*c_1001_4^4 - 2074108480880205/142917857505221*c_1001_4^3 + 887775642098803/142917857505221*c_1001_4^2 - 252364923762679/142917857505221*c_1001_4 - 20461883591532/142917857505221, c_0101_0 - 5018621995167/142917857505221*c_1001_4^16 - 9668684564641/142917857505221*c_1001_4^15 + 7692861535494/142917857505221*c_1001_4^14 - 227122615093960/142917857505221*c_1001_4^13 + 613693682751925/142917857505221*c_1001_4^12 - 2185544257891833/142917857505221*c_1001_4^11 + 4576266809589817/142917857505221*c_1001_4^10 - 9649160330597270/142917857505221*c_1001_4^9 + 14986883007638368/142917857505221*c_1001_4^8 - 21050601327333211/142917857505221*c_1001_4^7 + 21969133762941906/142917857505221*c_1001_4^6 - 17733112192946594/142917857505221*c_1001_4^5 + 8636830350938983/142917857505221*c_1001_4^4 - 1818364240977877/142917857505221*c_1001_4^3 - 278722296981883/142917857505221*c_1001_4^2 + 149507365089853/142917857505221*c_1001_4 - 34227280737225/142917857505221, c_0101_1 - 777617154698/142917857505221*c_1001_4^16 + 3436049944267/142917857505221*c_1001_4^15 - 15873324241475/142917857505221*c_1001_4^14 + 45376134853985/142917857505221*c_1001_4^13 - 125335043479910/142917857505221*c_1001_4^12 + 240501964745425/142917857505221*c_1001_4^11 - 441537931517428/142917857505221*c_1001_4^10 + 522552188163831/142917857505221*c_1001_4^9 - 550981741866682/142917857505221*c_1001_4^8 - 29850901970803/142917857505221*c_1001_4^7 + 680813830035622/142917857505221*c_1001_4^6 - 1840730375127689/142917857505221*c_1001_4^5 + 1928911970927961/142917857505221*c_1001_4^4 - 1613758191860023/142917857505221*c_1001_4^3 + 506458816179106/142917857505221*c_1001_4^2 - 15837243896529/142917857505221*c_1001_4 + 106618730017160/142917857505221, c_0101_11 - 38591528460791/142917857505221*c_1001_4^16 + 179383559183770/142917857505221*c_1001_4^15 - 815834222906192/142917857505221*c_1001_4^14 + 2576241367519621/142917857505221*c_1001_4^13 - 7087278651258164/142917857505221*c_1001_4^12 + 15847102357753480/142917857505221*c_1001_4^11 - 30578712157887322/142917857505221*c_1001_4^10 + 49947042230521645/142917857505221*c_1001_4^9 - 68731465651413969/142917857505221*c_1001_4^8 + 77695692161551835/142917857505221*c_1001_4^7 - 67807416298876273/142917857505221*c_1001_4^6 + 42503472178863641/142917857505221*c_1001_4^5 - 15770001789632136/142917857505221*c_1001_4^4 + 2243829732396165/142917857505221*c_1001_4^3 + 11659445522795/142917857505221*c_1001_4^2 + 13897513323694/142917857505221*c_1001_4 + 2771204941396/142917857505221, c_0101_12 - 51917959387361/142917857505221*c_1001_4^16 + 200360814581547/142917857505221*c_1001_4^15 - 961145246538276/142917857505221*c_1001_4^14 + 2785511736650410/142917857505221*c_1001_4^13 - 7715042767705235/142917857505221*c_1001_4^12 + 16292248214505722/142917857505221*c_1001_4^11 - 31196022266180869/142917857505221*c_1001_4^10 + 48569204151074722/142917857505221*c_1001_4^9 - 65436219528317642/142917857505221*c_1001_4^8 + 69997048093027607/142917857505221*c_1001_4^7 - 58398528186572737/142917857505221*c_1001_4^6 + 34061420818232819/142917857505221*c_1001_4^5 - 12259348125426063/142917857505221*c_1001_4^4 + 2792141438893217/142917857505221*c_1001_4^3 - 610283801714697/142917857505221*c_1001_4^2 + 257287074928188/142917857505221*c_1001_4 + 105875771543450/142917857505221, c_0101_14 - 1369949822557/142917857505221*c_1001_4^16 + 31010363514426/142917857505221*c_1001_4^15 - 112784315544541/142917857505221*c_1001_4^14 + 509962347341602/142917857505221*c_1001_4^13 - 1382299871969584/142917857505221*c_1001_4^12 + 3712889849770359/142917857505221*c_1001_4^11 - 7376184916774021/142917857505221*c_1001_4^10 + 13714388967383159/142917857505221*c_1001_4^9 - 19991422258230698/142917857505221*c_1001_4^8 + 25733210097673057/142917857505221*c_1001_4^7 - 24889733375896053/142917857505221*c_1001_4^6 + 18618704125606511/142917857505221*c_1001_4^5 - 8344355690480688/142917857505221*c_1001_4^4 + 1831008615682602/142917857505221*c_1001_4^3 - 173562703066450/142917857505221*c_1001_4^2 + 143093237341117/142917857505221*c_1001_4 - 77003564245119/142917857505221, c_0101_16 + c_1001_4, c_0101_9 + 8915280132417/142917857505221*c_1001_4^16 - 9264224801653/142917857505221*c_1001_4^15 + 69082912382820/142917857505221*c_1001_4^14 - 19594997361987/142917857505221*c_1001_4^13 + 1137627856957/142917857505221*c_1001_4^12 + 845510556670167/142917857505221*c_1001_4^11 - 2305513855057619/142917857505221*c_1001_4^10 + 6212290101016129/142917857505221*c_1001_4^9 - 11319993989488583/142917857505221*c_1001_4^8 + 18007277776857702/142917857505221*c_1001_4^7 - 21843726436506228/142917857505221*c_1001_4^6 + 20100859187056533/142917857505221*c_1001_4^5 - 12814656294000715/142917857505221*c_1001_4^4 + 4623744867712190/142917857505221*c_1001_4^3 - 1257234696532080/142917857505221*c_1001_4^2 + 373491707021916/142917857505221*c_1001_4 - 13946092596311/142917857505221, c_0110_13 - 4693040669692/142917857505221*c_1001_4^16 - 10767282866854/142917857505221*c_1001_4^15 + 9522435726391/142917857505221*c_1001_4^14 - 231926999595680/142917857505221*c_1001_4^13 + 596804369292312/142917857505221*c_1001_4^12 - 2133295296176031/142917857505221*c_1001_4^11 + 4323534694519742/142917857505221*c_1001_4^10 - 9151914147931048/142917857505221*c_1001_4^9 + 13828709614200767/142917857505221*c_1001_4^8 - 19427315505803613/142917857505221*c_1001_4^7 + 19591069933917899/142917857505221*c_1001_4^6 - 15635457299449167/142917857505221*c_1001_4^5 + 7019961690460168/142917857505221*c_1001_4^4 - 1327457767892731/142917857505221*c_1001_4^3 - 289116220795526/142917857505221*c_1001_4^2 + 398266335457536/142917857505221*c_1001_4 - 35004897891923/142917857505221, c_1001_15 - 5018621995167/142917857505221*c_1001_4^16 - 9668684564641/142917857505221*c_1001_4^15 + 7692861535494/142917857505221*c_1001_4^14 - 227122615093960/142917857505221*c_1001_4^13 + 613693682751925/142917857505221*c_1001_4^12 - 2185544257891833/142917857505221*c_1001_4^11 + 4576266809589817/142917857505221*c_1001_4^10 - 9649160330597270/142917857505221*c_1001_4^9 + 14986883007638368/142917857505221*c_1001_4^8 - 21050601327333211/142917857505221*c_1001_4^7 + 21969133762941906/142917857505221*c_1001_4^6 - 17733112192946594/142917857505221*c_1001_4^5 + 8636830350938983/142917857505221*c_1001_4^4 - 1818364240977877/142917857505221*c_1001_4^3 - 278722296981883/142917857505221*c_1001_4^2 + 149507365089853/142917857505221*c_1001_4 - 34227280737225/142917857505221, c_1001_4^17 - 4*c_1001_4^16 + 19*c_1001_4^15 - 56*c_1001_4^14 + 155*c_1001_4^13 - 331*c_1001_4^12 + 635*c_1001_4^11 - 997*c_1001_4^10 + 1348*c_1001_4^9 - 1451*c_1001_4^8 + 1212*c_1001_4^7 - 691*c_1001_4^6 + 217*c_1001_4^5 - 4*c_1001_4^4 - 20*c_1001_4^3 + 7*c_1001_4^2 - c_1001_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE FREE=VARIABLES=IN=COMPONENTS=BEGINS=HERE [ [ ], [ ], [ ], [ ], [ ] ] FREE=VARIABLES=IN=COMPONENTS=ENDS=HERE CPUTIME: 1361.660 Total time: 1362.569 seconds, Total memory usage: 1987.06MB