Magma V2.19-8 Fri Sep 13 2013 11:51:36 on localhost [Seed = 3383275296] Type ? for help. Type -D to quit. Loading file "11_157__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_157 geometric_solution 15.33163272 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 17 1 2 1 3 0132 0132 2310 0132 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 1 -1 0 0 0 1 -1 -1 -9 0 10 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.636146829855 0.435467747957 0 0 4 3 0132 3201 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 1 -1 0 0 0 0 0 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.129904085994 1.352294903846 4 0 5 3 1302 0132 0132 0321 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 -1 1 0 0 0 10 -10 0 0 0 0 0 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.202508245266 0.505922062511 6 2 0 1 0132 0321 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 10 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.461540788002 0.835870011218 6 2 7 1 3120 2031 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.072604159272 0.846372841335 8 9 9 2 0132 0132 0321 0132 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 1 0 -1 10 0 0 -10 0 -9 0 9 0 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.171154995091 1.100047752219 3 8 10 4 0132 1230 0132 3120 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 -10 10 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.387199810739 0.773273928798 11 12 10 4 0132 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.547360427288 0.382942966354 5 12 6 13 0132 0213 3012 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 0 0 -10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.515462627697 0.981609997715 14 5 5 15 0132 0132 0321 0132 0 0 0 0 0 0 0 0 1 0 -1 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 -1 0 1 9 0 -9 0 0 9 0 -9 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.171154995091 1.100047752219 7 16 11 6 2103 0132 3120 0132 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 10 -10 0 0 -1 1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.544532036555 0.757898135586 7 12 10 16 0132 0321 3120 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 1 -1 0 0 0 0 0 10 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.084068935878 0.517472941252 15 7 8 11 0132 0132 0213 0321 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 10 0 0 -10 -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.386246935779 1.084560641441 14 16 8 16 3201 2310 0132 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 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.045835150116 0.834821962594 9 15 15 13 0132 0321 0213 2310 0 0 0 0 0 0 0 0 -1 0 1 0 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -9 0 9 0 9 -9 0 0 0 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.166338053648 0.638509791182 12 14 9 14 0132 0213 0132 0321 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 0 -1 1 -10 0 0 10 0 -9 0 9 1 -10 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.756027731092 0.579048990804 11 10 13 13 3120 0132 1230 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 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.593623007205 0.519375162454 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_15' : d['c_1001_14'], 'c_1001_14' : d['c_1001_14'], 'c_1001_16' : d['c_1001_16'], 'c_1001_11' : negation(d['c_1001_10']), 'c_1001_10' : d['c_1001_10'], 'c_1001_13' : negation(d['c_1001_10']), 'c_1001_12' : d['c_0011_3'], 'c_1001_5' : d['c_1001_14'], 'c_1001_4' : d['c_0011_3'], 'c_1001_7' : d['c_0011_10'], 'c_1001_6' : d['c_1001_16'], 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_2'], 'c_1001_8' : d['c_0011_3'], 'c_1010_13' : negation(d['c_0101_10']), 'c_1010_12' : d['c_0011_10'], 'c_1010_11' : d['c_0011_10'], 'c_1010_10' : d['c_1001_16'], 'c_1010_16' : d['c_1001_10'], 'c_1010_15' : d['c_0011_13'], 'c_1010_14' : d['c_0011_13'], 's_3_11' : d['1'], 's_0_11' : d['1'], 's_3_13' : d['1'], 's_0_13' : d['1'], 's_0_14' : d['1'], 's_0_15' : d['1'], 's_0_16' : d['1'], 's_3_16' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 'c_0101_16' : d['c_0101_10'], 'c_0101_15' : negation(d['c_0011_11']), 'c_0101_14' : negation(d['c_0011_11']), 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_2_16' : d['1'], 's_2_14' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_15' : negation(d['c_0011_11']), 'c_0011_14' : d['c_0011_14'], 'c_0011_16' : negation(d['c_0011_10']), 'c_1100_9' : d['c_1001_14'], 'c_1100_8' : negation(d['c_1001_16']), 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : d['c_1001_2'], 'c_1100_4' : negation(d['c_0101_6']), 'c_1100_7' : negation(d['c_0101_6']), 'c_1100_6' : negation(d['c_0101_11']), 'c_1100_1' : negation(d['c_0101_6']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_1001_2'], 'c_1100_14' : d['c_0011_13'], 'c_1100_15' : d['c_1001_14'], 's_0_10' : d['1'], 'c_1100_16' : negation(d['c_0011_13']), 'c_1100_11' : negation(d['c_0101_10']), 'c_1100_10' : negation(d['c_0101_11']), 'c_1100_13' : negation(d['c_1001_16']), 'c_1100_12' : negation(d['c_1001_10']), 's_0_12' : d['1'], 'c_1010_7' : d['c_0011_3'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : d['c_1001_2'], 's_3_12' : d['1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_0']), 'c_1010_0' : d['c_1001_2'], 's_3_15' : d['1'], 'c_1010_9' : d['c_1001_14'], 'c_1010_8' : negation(d['c_1001_10']), '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' : negation(d['1']), 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(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_14']), 'c_0011_8' : negation(d['c_0011_14']), 's_3_10' : d['1'], 'c_0011_5' : d['c_0011_14'], 'c_0011_4' : d['c_0011_4'], 'c_0101_13' : d['c_0101_13'], '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_10'], 'c_0110_10' : d['c_0101_6'], 'c_0110_13' : negation(d['c_0011_13']), 'c_0110_12' : negation(d['c_0011_11']), 'c_0110_15' : negation(d['c_0011_14']), 'c_0110_14' : negation(d['c_0101_13']), 'c_0110_16' : d['c_0101_10'], 'c_1010_4' : negation(d['c_0011_0']), 'c_0101_12' : negation(d['c_0011_14']), 'c_0011_7' : negation(d['c_0011_11']), 'c_0110_0' : d['c_0101_1'], 's_0_8' : d['1'], 's_2_15' : d['1'], 's_3_14' : d['1'], 'c_0101_7' : d['c_0101_10'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_13'], 'c_0101_4' : d['c_0101_11'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : negation(d['c_0101_13']), 'c_0101_8' : negation(d['c_0011_4']), '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' : negation(d['c_0011_11']), 'c_0110_8' : d['c_0101_13'], 'c_0110_1' : d['c_0011_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_6'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0101_11'], 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 18 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_13, c_0011_14, c_0011_3, c_0011_4, c_0101_1, c_0101_10, c_0101_11, c_0101_13, c_0101_6, c_1001_0, c_1001_10, c_1001_14, c_1001_16, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t + 74601110066065/31675297038336*c_1001_2^24 - 5111478310346507/31675297038336*c_1001_2^23 + 8714621193677939/5279216173056*c_1001_2^22 - 2907688602906863/307527155712*c_1001_2^21 + 22728962121643837/586579574784*c_1001_2^20 - 993096210101518447/7918824259584*c_1001_2^19 + 111288915479485727/329951010816*c_1001_2^18 - 6153508610843423453/7918824259584*c_1001_2^17 + 24762682216417589473/15837648519168*c_1001_2^16 - 1399386084857127467/502782492672*c_1001_2^15 + 2501118902855071381/565630304256*c_1001_2^14 - 66571671815445380365/10558432346112*c_1001_2^13 + 256450909235385499535/31675297038336*c_1001_2^12 - 148484995943189975143/15837648519168*c_1001_2^11 + 77497964397707933461/7918824259584*c_1001_2^10 - 1412834606212247105/153763577856*c_1001_2^9 + 122360062537068800477/15837648519168*c_1001_2^8 - 183052423331163228133/31675297038336*c_1001_2^7 + 10050241680472881761/2639608086528*c_1001_2^6 - 68952323916727191839/31675297038336*c_1001_2^5 + 4785072811337666663/4525042434048*c_1001_2^4 - 1668432642081626411/3959412129792*c_1001_2^3 + 1030791196910879149/7918824259584*c_1001_2^2 - 27642626716447235/989853032448*c_1001_2 + 6202701998235577/1979706064896, c_0011_0 - 1, c_0011_10 - 21/16*c_1001_2^24 + 259/16*c_1001_2^23 - 837/8*c_1001_2^22 + 7537/16*c_1001_2^21 - 13201/8*c_1001_2^20 + 4759*c_1001_2^19 - 11684*c_1001_2^18 + 99785/4*c_1001_2^17 - 375877/8*c_1001_2^16 + 1261233/16*c_1001_2^15 - 474315/4*c_1001_2^14 + 2569647/16*c_1001_2^13 - 3140471/16*c_1001_2^12 + 1732487/8*c_1001_2^11 - 430915/2*c_1001_2^10 + 1541851/8*c_1001_2^9 - 1233997/8*c_1001_2^8 + 1754329/16*c_1001_2^7 - 68490*c_1001_2^6 + 592439/16*c_1001_2^5 - 271057/16*c_1001_2^4 + 12675/2*c_1001_2^3 - 3661/2*c_1001_2^2 + 735/2*c_1001_2 - 39, c_0011_11 - 1/16*c_1001_2^24 + 13/16*c_1001_2^23 - 11/2*c_1001_2^22 + 413/16*c_1001_2^21 - 94*c_1001_2^20 + 563/2*c_1001_2^19 - 1435/2*c_1001_2^18 + 6365/4*c_1001_2^17 - 24933/8*c_1001_2^16 + 87145/16*c_1001_2^15 - 68425/8*c_1001_2^14 + 194023/16*c_1001_2^13 - 249053/16*c_1001_2^12 + 72447/4*c_1001_2^11 - 19097*c_1001_2^10 + 145707/8*c_1001_2^9 - 125259/8*c_1001_2^8 + 193065/16*c_1001_2^7 - 66163/8*c_1001_2^6 + 79751/16*c_1001_2^5 - 41583/16*c_1001_2^4 + 9149/8*c_1001_2^3 - 1633/4*c_1001_2^2 + 219/2*c_1001_2 - 18, c_0011_13 - 3/2*c_1001_2^24 + 18*c_1001_2^23 - 455/4*c_1001_2^22 + 2013/4*c_1001_2^21 - 1740*c_1001_2^20 + 19889/4*c_1001_2^19 - 24275/2*c_1001_2^18 + 25848*c_1001_2^17 - 48707*c_1001_2^16 + 164009/2*c_1001_2^15 - 124170*c_1001_2^14 + 679243/4*c_1001_2^13 - 210232*c_1001_2^12 + 943109/4*c_1001_2^11 - 957243/4*c_1001_2^10 + 438489/2*c_1001_2^9 - 180474*c_1001_2^8 + 132555*c_1001_2^7 - 85986*c_1001_2^6 + 194163/4*c_1001_2^5 - 23328*c_1001_2^4 + 36893/4*c_1001_2^3 - 11321/4*c_1001_2^2 + 604*c_1001_2 - 67, c_0011_14 - 31/16*c_1001_2^24 + 387/16*c_1001_2^23 - 631/4*c_1001_2^22 + 11447/16*c_1001_2^21 - 2523*c_1001_2^20 + 29303/4*c_1001_2^19 - 36229/2*c_1001_2^18 + 155899/4*c_1001_2^17 - 592203/8*c_1001_2^16 + 2005479/16*c_1001_2^15 - 1523747/8*c_1001_2^14 + 4173677/16*c_1001_2^13 - 5163547/16*c_1001_2^12 + 360883*c_1001_2^11 - 1457517/4*c_1001_2^10 + 2650109/8*c_1001_2^9 - 2158941/8*c_1001_2^8 + 3129423/16*c_1001_2^7 - 998273/8*c_1001_2^6 + 1104237/16*c_1001_2^5 - 517497/16*c_1001_2^4 + 99153/8*c_1001_2^3 - 7303/2*c_1001_2^2 + 735*c_1001_2 - 74, c_0011_3 - c_1001_2^2 + c_1001_2 - 1, c_0011_4 - 1/2*c_1001_2^24 + 6*c_1001_2^23 - 75/2*c_1001_2^22 + 327/2*c_1001_2^21 - 1115/2*c_1001_2^20 + 1575*c_1001_2^19 - 3813*c_1001_2^18 + 8082*c_1001_2^17 - 15215*c_1001_2^16 + 51383/2*c_1001_2^15 - 78335/2*c_1001_2^14 + 108271/2*c_1001_2^13 - 67985*c_1001_2^12 + 155217/2*c_1001_2^11 - 80432*c_1001_2^10 + 75451*c_1001_2^9 - 63744*c_1001_2^8 + 96279/2*c_1001_2^7 - 64291/2*c_1001_2^6 + 37371/2*c_1001_2^5 - 9240*c_1001_2^4 + 7497/2*c_1001_2^3 - 1173*c_1001_2^2 + 252*c_1001_2 - 28, c_0101_1 - 21/16*c_1001_2^24 + 259/16*c_1001_2^23 - 837/8*c_1001_2^22 + 7537/16*c_1001_2^21 - 13201/8*c_1001_2^20 + 4759*c_1001_2^19 - 11684*c_1001_2^18 + 99785/4*c_1001_2^17 - 375877/8*c_1001_2^16 + 1261233/16*c_1001_2^15 - 474315/4*c_1001_2^14 + 2569647/16*c_1001_2^13 - 3140471/16*c_1001_2^12 + 1732487/8*c_1001_2^11 - 430915/2*c_1001_2^10 + 1541851/8*c_1001_2^9 - 1233997/8*c_1001_2^8 + 1754329/16*c_1001_2^7 - 68490*c_1001_2^6 + 592439/16*c_1001_2^5 - 271057/16*c_1001_2^4 + 12675/2*c_1001_2^3 - 3661/2*c_1001_2^2 + 735/2*c_1001_2 - 39, c_0101_10 - 1, c_0101_11 - 7/16*c_1001_2^24 + 77/16*c_1001_2^23 - 225/8*c_1001_2^22 + 1859/16*c_1001_2^21 - 3025/8*c_1001_2^20 + 2047/2*c_1001_2^19 - 2379*c_1001_2^18 + 19383/4*c_1001_2^17 - 70143/8*c_1001_2^16 + 227587/16*c_1001_2^15 - 20818*c_1001_2^14 + 441509/16*c_1001_2^13 - 531089/16*c_1001_2^12 + 289967/8*c_1001_2^11 - 35884*c_1001_2^10 + 256897/8*c_1001_2^9 - 206787/8*c_1001_2^8 + 297275/16*c_1001_2^7 - 47199/4*c_1001_2^6 + 104397/16*c_1001_2^5 - 49167/16*c_1001_2^4 + 4769/4*c_1001_2^3 - 721/2*c_1001_2^2 + 155/2*c_1001_2 - 9, c_0101_13 - 15/16*c_1001_2^24 + 183/16*c_1001_2^23 - 73*c_1001_2^22 + 5191/16*c_1001_2^21 - 4489/4*c_1001_2^20 + 12791/4*c_1001_2^19 - 15521/2*c_1001_2^18 + 65539/4*c_1001_2^17 - 244195/8*c_1001_2^16 + 810623/16*c_1001_2^15 - 603237/8*c_1001_2^14 + 1616693/16*c_1001_2^13 - 1954663/16*c_1001_2^12 + 533297/4*c_1001_2^11 - 524689/4*c_1001_2^10 + 927989/8*c_1001_2^9 - 733961/8*c_1001_2^8 + 1030679/16*c_1001_2^7 - 317763/8*c_1001_2^6 + 338805/16*c_1001_2^5 - 152549/16*c_1001_2^4 + 27967/8*c_1001_2^3 - 978*c_1001_2^2 + 184*c_1001_2 - 16, c_0101_6 - c_1001_2, c_1001_0 - 21/16*c_1001_2^24 + 259/16*c_1001_2^23 - 837/8*c_1001_2^22 + 7537/16*c_1001_2^21 - 13201/8*c_1001_2^20 + 4759*c_1001_2^19 - 11684*c_1001_2^18 + 99785/4*c_1001_2^17 - 375877/8*c_1001_2^16 + 1261233/16*c_1001_2^15 - 474315/4*c_1001_2^14 + 2569647/16*c_1001_2^13 - 3140471/16*c_1001_2^12 + 1732487/8*c_1001_2^11 - 430915/2*c_1001_2^10 + 1541851/8*c_1001_2^9 - 1233997/8*c_1001_2^8 + 1754329/16*c_1001_2^7 - 68490*c_1001_2^6 + 592439/16*c_1001_2^5 - 271057/16*c_1001_2^4 + 12675/2*c_1001_2^3 - 3661/2*c_1001_2^2 + 735/2*c_1001_2 - 39, c_1001_10 + 1/16*c_1001_2^24 - 13/16*c_1001_2^23 + 11/2*c_1001_2^22 - 413/16*c_1001_2^21 + 94*c_1001_2^20 - 563/2*c_1001_2^19 + 1435/2*c_1001_2^18 - 6365/4*c_1001_2^17 + 24933/8*c_1001_2^16 - 87145/16*c_1001_2^15 + 68425/8*c_1001_2^14 - 194023/16*c_1001_2^13 + 249053/16*c_1001_2^12 - 72447/4*c_1001_2^11 + 19097*c_1001_2^10 - 145707/8*c_1001_2^9 + 125259/8*c_1001_2^8 - 193065/16*c_1001_2^7 + 66163/8*c_1001_2^6 - 79751/16*c_1001_2^5 + 41567/16*c_1001_2^4 - 9133/8*c_1001_2^3 + 1625/4*c_1001_2^2 - 215/2*c_1001_2 + 17, c_1001_14 - 13/16*c_1001_2^24 + 167/16*c_1001_2^23 - 559/8*c_1001_2^22 + 5193/16*c_1001_2^21 - 9363/8*c_1001_2^20 + 6943/2*c_1001_2^19 - 17529/2*c_1001_2^18 + 77005/4*c_1001_2^17 - 298669/8*c_1001_2^16 + 1033153/16*c_1001_2^15 - 200595/2*c_1001_2^14 + 2248599/16*c_1001_2^13 - 2849643/16*c_1001_2^12 + 1634569/8*c_1001_2^11 - 424075/2*c_1001_2^10 + 1588639/8*c_1001_2^9 - 1336961/8*c_1001_2^8 + 2008889/16*c_1001_2^7 - 333583/4*c_1001_2^6 + 772575/16*c_1001_2^5 - 381829/16*c_1001_2^4 + 38973/4*c_1001_2^3 - 3108*c_1001_2^2 + 695*c_1001_2 - 83, c_1001_16 - c_1001_2^5 + 2*c_1001_2^4 - 2*c_1001_2^3 + 3*c_1001_2^2 - 2*c_1001_2 + 1, c_1001_2^25 - 13*c_1001_2^24 + 88*c_1001_2^23 - 413*c_1001_2^22 + 1504*c_1001_2^21 - 4504*c_1001_2^20 + 11480*c_1001_2^19 - 25460*c_1001_2^18 + 49866*c_1001_2^17 - 87145*c_1001_2^16 + 136850*c_1001_2^15 - 194023*c_1001_2^14 + 249053*c_1001_2^13 - 289788*c_1001_2^12 + 305552*c_1001_2^11 - 291414*c_1001_2^10 + 250518*c_1001_2^9 - 193065*c_1001_2^8 + 132326*c_1001_2^7 - 79751*c_1001_2^6 + 41583*c_1001_2^5 - 18314*c_1001_2^4 + 6564*c_1001_2^3 - 1800*c_1001_2^2 + 336*c_1001_2 - 32 ], Ideal of Polynomial ring of rank 18 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_13, c_0011_14, c_0011_3, c_0011_4, c_0101_1, c_0101_10, c_0101_11, c_0101_13, c_0101_6, c_1001_0, c_1001_10, c_1001_14, c_1001_16, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 40 Groebner basis: [ t + 9328040983162451903772202208074432822750/21549089949051109353903704\ 4716310211*c_1001_2^39 - 158679579836729954924252246187339266285949\ /215490899490511093539037044716310211*c_1001_2^38 + 1315668857838274462629459312424173047150277/21549089949051109353903\ 7044716310211*c_1001_2^37 - 716488938559848947223443922001345147118\ 4235/215490899490511093539037044716310211*c_1001_2^36 + 29121822443691506169447511633929790902819256/2154908994905110935390\ 37044716310211*c_1001_2^35 - 94957962928452035614401136305657256292\ 706850/215490899490511093539037044716310211*c_1001_2^34 + 259915575202001879343727399607340172151651979/215490899490511093539\ 037044716310211*c_1001_2^33 - 6154073826678040408187891392442879783\ 51889156/215490899490511093539037044716310211*c_1001_2^32 + 1287147961933398404514310843869962916967507565/21549089949051109353\ 9037044716310211*c_1001_2^31 - 241508510135828241653421462290204217\ 3055178717/215490899490511093539037044716310211*c_1001_2^30 + 4113181613753464517253567264086859474927424369/21549089949051109353\ 9037044716310211*c_1001_2^29 - 641669551333956073607275683420194290\ 4002298029/215490899490511093539037044716310211*c_1001_2^28 + 9234772080684834916494160630193257450566125124/21549089949051109353\ 9037044716310211*c_1001_2^27 - 123300372393315551138291725925975922\ 63333876526/215490899490511093539037044716310211*c_1001_2^26 + 15340030921433325362040984328794591646886859474/2154908994905110935\ 39037044716310211*c_1001_2^25 - 17842085296970128146067471287814705\ 577777227830/215490899490511093539037044716310211*c_1001_2^24 + 19447317175265772076910935728153019246463547945/2154908994905110935\ 39037044716310211*c_1001_2^23 - 19894749358153755062097292862106336\ 857439419054/215490899490511093539037044716310211*c_1001_2^22 + 19115563241643046426947499313758949157807045416/2154908994905110935\ 39037044716310211*c_1001_2^21 - 17248909146117869427184542417804379\ 132867916202/215490899490511093539037044716310211*c_1001_2^20 + 14603365655094742047057350383537058374853288589/2154908994905110935\ 39037044716310211*c_1001_2^19 - 11577024897596010839535279033563206\ 346588508868/215490899490511093539037044716310211*c_1001_2^18 + 8566068962570876097975191088946538550177165201/21549089949051109353\ 9037044716310211*c_1001_2^17 - 452845392400813306201901207457469141\ 560891415/16576223037731622579925926516639247*c_1001_2^16 + 3729326028013657459934195307527507066353961908/21549089949051109353\ 9037044716310211*c_1001_2^15 - 215150145032300931988078108913960478\ 3458220734/215490899490511093539037044716310211*c_1001_2^14 + 1108262659336949540254593485826264059471363001/21549089949051109353\ 9037044716310211*c_1001_2^13 - 377063961817423075855527705383657879\ 21467240/16576223037731622579925926516639247*c_1001_2^12 + 169098062234343579568929473908003520571111697/215490899490511093539\ 037044716310211*c_1001_2^11 - 2336045401724118027431593535582463248\ 949767/16576223037731622579925926516639247*c_1001_2^10 - 13819821327131325998714629953150480857480287/2154908994905110935390\ 37044716310211*c_1001_2^9 + 181454263205081366303155496521680355387\ 65552/215490899490511093539037044716310211*c_1001_2^8 - 10983964305747684891155481560496181109398944/2154908994905110935390\ 37044716310211*c_1001_2^7 + 468485782872491888338560821476975930184\ 2012/215490899490511093539037044716310211*c_1001_2^6 - 1263949411206185725589187398821575781810335/21549089949051109353903\ 7044716310211*c_1001_2^5 - 2355035143508517454795005718615206524988\ 1/215490899490511093539037044716310211*c_1001_2^4 + 141482654264694947942665648240341022341550/215490899490511093539037\ 044716310211*c_1001_2^3 - 10783702223528524911179819655453409213967\ 6/215490899490511093539037044716310211*c_1001_2^2 + 49809553166842924493026041260682810004058/2154908994905110935390370\ 44716310211*c_1001_2 + 7748795070194359763275570761173827601234/215\ 490899490511093539037044716310211, c_0011_0 - 1, c_0011_10 - 1698545822741656/73580775800106991*c_1001_2^39 + 20489649549009404/73580775800106991*c_1001_2^38 - 129037653436040072/73580775800106991*c_1001_2^37 + 593508822063291308/73580775800106991*c_1001_2^36 - 2186302354825480536/73580775800106991*c_1001_2^35 + 6354953336823699064/73580775800106991*c_1001_2^34 - 13835963926968930862/73580775800106991*c_1001_2^33 + 19532664132354672688/73580775800106991*c_1001_2^32 - 2260661835807178400/73580775800106991*c_1001_2^31 - 89108412442269849568/73580775800106991*c_1001_2^30 + 346011758057564140832/73580775800106991*c_1001_2^29 - 895592188523953157994/73580775800106991*c_1001_2^28 + 1873406929530841846568/73580775800106991*c_1001_2^27 - 3375698393926297581566/73580775800106991*c_1001_2^26 + 5403703625525543663436/73580775800106991*c_1001_2^25 - 7823467215340560233890/73580775800106991*c_1001_2^24 + 10365173486929463981708/73580775800106991*c_1001_2^23 - 12666905568798834801356/73580775800106991*c_1001_2^22 + 14354008632878675571429/73580775800106991*c_1001_2^21 - 15136008583884729882236/73580775800106991*c_1001_2^20 + 14882992442759404876954/73580775800106991*c_1001_2^19 - 13654140743904711813447/73580775800106991*c_1001_2^18 + 11680138022893161376762/73580775800106991*c_1001_2^17 - 715369705842196416187/5660059676931307*c_1001_2^16 + 6866127792453240035528/73580775800106991*c_1001_2^15 - 4671294394388587404540/73580775800106991*c_1001_2^14 + 2902883751518579740386/73580775800106991*c_1001_2^13 - 124681673877343641746/5660059676931307*c_1001_2^12 + 788182673334630043728/73580775800106991*c_1001_2^11 - 24196578459600701843/5660059676931307*c_1001_2^10 + 82964638180066966549/73580775800106991*c_1001_2^9 + 5686713796217059241/73580775800106991*c_1001_2^8 - 23531839034054758060/73580775800106991*c_1001_2^7 + 18311522100490166114/73580775800106991*c_1001_2^6 - 8556778035565199894/73580775800106991*c_1001_2^5 + 2644107384135625062/73580775800106991*c_1001_2^4 - 427884635464507560/73580775800106991*c_1001_2^3 - 243272107267863597/73580775800106991*c_1001_2^2 + 182823903223450049/73580775800106991*c_1001_2 - 87712035532567281/73580775800106991, c_0011_11 + 67732067512437840/73580775800106991*c_1001_2^39 - 1110521746084919932/73580775800106991*c_1001_2^38 + 8914617883116333631/73580775800106991*c_1001_2^37 - 47243102307208219456/73580775800106991*c_1001_2^36 + 187773536754820364304/73580775800106991*c_1001_2^35 - 601056071737027758113/73580775800106991*c_1001_2^34 + 1619350275273821966666/73580775800106991*c_1001_2^33 - 3780457357779371905843/73580775800106991*c_1001_2^32 + 7805053743313362067440/73580775800106991*c_1001_2^31 - 14466776791034403607248/73580775800106991*c_1001_2^30 + 24350650684610481098292/73580775800106991*c_1001_2^29 - 37553412669871185689456/73580775800106991*c_1001_2^28 + 53434311163153821209896/73580775800106991*c_1001_2^27 - 70536281553826554922149/73580775800106991*c_1001_2^26 + 86750963373342629170413/73580775800106991*c_1001_2^25 - 99721966089004930316479/73580775800106991*c_1001_2^24 + 107385538821840761706334/73580775800106991*c_1001_2^23 - 108477857881350261846270/73580775800106991*c_1001_2^22 + 102850400193512300671659/73580775800106991*c_1001_2^21 - 91496981728907557280570/73580775800106991*c_1001_2^20 + 76279335932460850237332/73580775800106991*c_1001_2^19 - 59453048404262203815024/73580775800106991*c_1001_2^18 + 43159518140606328511259/73580775800106991*c_1001_2^17 - 2231960466310733591808/5660059676931307*c_1001_2^16 + 17901895338064986238226/73580775800106991*c_1001_2^15 - 9990958863973802194496/73580775800106991*c_1001_2^14 + 4917543601511731494726/73580775800106991*c_1001_2^13 - 155506438323171302312/5660059676931307*c_1001_2^12 + 595985475745393527588/73580775800106991*c_1001_2^11 - 2307736377159450719/5660059676931307*c_1001_2^10 - 116078686863465565179/73580775800106991*c_1001_2^9 + 100106200857824719923/73580775800106991*c_1001_2^8 - 53547849835240517610/73580775800106991*c_1001_2^7 + 20365084663590699570/73580775800106991*c_1001_2^6 - 4172725814727737333/73580775800106991*c_1001_2^5 - 213653088781878894/73580775800106991*c_1001_2^4 + 870715830686477140/73580775800106991*c_1001_2^3 - 487385620515961166/73580775800106991*c_1001_2^2 + 149591648964986655/73580775800106991*c_1001_2 - 50083747716546566/73580775800106991, c_0011_13 - 16814905638891888/73580775800106991*c_1001_2^39 + 244875916388919780/73580775800106991*c_1001_2^38 - 1744221745848141304/73580775800106991*c_1001_2^37 + 8274412847282738892/73580775800106991*c_1001_2^36 - 30000782292830050304/73580775800106991*c_1001_2^35 + 89874696902755651560/73580775800106991*c_1001_2^34 - 232976285197256055912/73580775800106991*c_1001_2^33 + 537413904881217271974/73580775800106991*c_1001_2^32 - 1122954441136477969202/73580775800106991*c_1001_2^31 + 2150265096429045174284/73580775800106991*c_1001_2^30 - 3800984780290120299426/73580775800106991*c_1001_2^29 + 6232727538278603617570/73580775800106991*c_1001_2^28 - 9514389419554533620910/73580775800106991*c_1001_2^27 + 13558754742329318666464/73580775800106991*c_1001_2^26 - 18079426116381088560927/73580775800106991*c_1001_2^25 + 22600771844627232802388/73580775800106991*c_1001_2^24 - 26530058536394693162682/73580775800106991*c_1001_2^23 + 29277504566905757161141/73580775800106991*c_1001_2^22 - 30395769436182991474395/73580775800106991*c_1001_2^21 + 29693566719257442676375/73580775800106991*c_1001_2^20 - 27282629568867796996368/73580775800106991*c_1001_2^19 + 23548962591379744035773/73580775800106991*c_1001_2^18 - 19058263974425663624337/73580775800106991*c_1001_2^17 + 1109095021201724336479/5660059676931307*c_1001_2^16 - 10150546779787779275766/73580775800106991*c_1001_2^15 + 6608472224472266385598/73580775800106991*c_1001_2^14 - 3940267692393387163088/73580775800106991*c_1001_2^13 + 162940577006188260244/5660059676931307*c_1001_2^12 - 1001112455096035168482/73580775800106991*c_1001_2^11 + 30259936944553914550/5660059676931307*c_1001_2^10 - 110909625549874613519/73580775800106991*c_1001_2^9 + 7366790459816405164/73580775800106991*c_1001_2^8 + 16599361237100048944/73580775800106991*c_1001_2^7 - 12338295583701843244/73580775800106991*c_1001_2^6 + 5337846213689631290/73580775800106991*c_1001_2^5 - 1303392110515214452/73580775800106991*c_1001_2^4 - 87782151889487496/73580775800106991*c_1001_2^3 + 104244054946536272/73580775800106991*c_1001_2^2 - 129254595698686889/73580775800106991*c_1001_2 + 25092653979123020/73580775800106991, c_0011_14 - 54692773895727624/73580775800106991*c_1001_2^39 + 904409390873510692/73580775800106991*c_1001_2^38 - 7366616417526422846/73580775800106991*c_1001_2^37 + 39805049986798086972/73580775800106991*c_1001_2^36 - 161786198295275006264/73580775800106991*c_1001_2^35 + 530156650687424756978/73580775800106991*c_1001_2^34 - 1462173599351654577796/73580775800106991*c_1001_2^33 + 2311616996003238550/48696741098681*c_1001_2^32 - 7375105591498800649932/73580775800106991*c_1001_2^31 + 13973417806819171399696/73580775800106991*c_1001_2^30 - 24031829424765521203244/73580775800106991*c_1001_2^29 + 37855552207688467303364/73580775800106991*c_1001_2^28 - 55007778205912208775548/73580775800106991*c_1001_2^27 + 74151861658086160039488/73580775800106991*c_1001_2^26 - 93142257838636296935734/73580775800106991*c_1001_2^25 + 109389172372195135809904/73580775800106991*c_1001_2^24 - 120416518429254184416030/73580775800106991*c_1001_2^23 + 124451786137085288459920/73580775800106991*c_1001_2^22 - 120865018924772315930354/73580775800106991*c_1001_2^21 + 110314089679703597355048/73580775800106991*c_1001_2^20 - 94555075796902737324482/73580775800106991*c_1001_2^19 + 75991621937141053182588/73580775800106991*c_1001_2^18 - 57109883664922672498230/73580775800106991*c_1001_2^17 + 3074528147189804304740/5660059676931307*c_1001_2^16 - 25887606611715940276570/73580775800106991*c_1001_2^15 + 15372865802600679184148/73580775800106991*c_1001_2^14 - 8242146606460534271983/73580775800106991*c_1001_2^13 + 298714572084793020520/5660059676931307*c_1001_2^12 - 1522966768645747334476/73580775800106991*c_1001_2^11 + 32506787080192285005/5660059676931307*c_1001_2^10 - 14822403092047441598/73580775800106991*c_1001_2^9 - 75467645015468001729/73580775800106991*c_1001_2^8 + 60968707091133684658/73580775800106991*c_1001_2^7 - 28771744403313886514/73580775800106991*c_1001_2^6 + 8812798811300555101/73580775800106991*c_1001_2^5 - 1351671956601799670/73580775800106991*c_1001_2^4 - 820785911598032956/73580775800106991*c_1001_2^3 + 497565234290331034/73580775800106991*c_1001_2^2 - 151634653525509861/73580775800106991*c_1001_2 + 70719944914489218/73580775800106991, c_0011_3 - c_1001_2^2 + c_1001_2 - 1, c_0011_4 + 3146927328/14130613619*c_1001_2^39 - 52259541376/14130613619*c_1001_2^38 + 420999483074/14130613619*c_1001_2^37 - 2216707624936/14130613619*c_1001_2^36 + 8672690528608/14130613619*c_1001_2^35 - 27126916818776/14130613619*c_1001_2^34 + 71059422623146/14130613619*c_1001_2^33 - 160789979528244/14130613619*c_1001_2^32 + 321143142843248/14130613619*c_1001_2^31 - 575253790705688/14130613619*c_1001_2^30 + 935460989850106/14130613619*c_1001_2^29 - 1394020459569752/14130613619*c_1001_2^28 + 1917534443359136/14130613619*c_1001_2^27 - 2448522795165644/14130613619*c_1001_2^26 + 2914916427812922/14130613619*c_1001_2^25 - 3245408903520416/14130613619*c_1001_2^24 + 3386618787426843/14130613619*c_1001_2^23 - 3316397004442796/14130613619*c_1001_2^22 + 3048738224183225/14130613619*c_1001_2^21 - 2629557347887455/14130613619*c_1001_2^20 + 2124795393450343/14130613619*c_1001_2^19 - 1604146507316566/14130613619*c_1001_2^18 + 1126466317571206/14130613619*c_1001_2^17 - 730838069568588/14130613619*c_1001_2^16 + 433370059926802/14130613619*c_1001_2^15 - 230427955681923/14130613619*c_1001_2^14 + 106009614785755/14130613619*c_1001_2^13 - 38722484711371/14130613619*c_1001_2^12 + 7830776304572/14130613619*c_1001_2^11 + 2977855604587/14130613619*c_1001_2^10 - 4634310270830/14130613619*c_1001_2^9 + 3259191858382/14130613619*c_1001_2^8 - 1693524897996/14130613619*c_1001_2^7 + 658973887965/14130613619*c_1001_2^6 - 145267037253/14130613619*c_1001_2^5 + 6290823273/14130613619*c_1001_2^4 + 34343090246/14130613619*c_1001_2^3 - 19966229209/14130613619*c_1001_2^2 - 2054418704/14130613619*c_1001_2 - 2642880440/14130613619, c_0101_1 + 4697299144/14130613619*c_1001_2^39 - 77211205008/14130613619*c_1001_2^38 + 620537139152/14130613619*c_1001_2^37 - 3291836441072/14130613619*c_1001_2^36 + 13109959942010/14130613619*c_1001_2^35 - 42118814945128/14130613619*c_1001_2^34 + 114086923724760/14130613619*c_1001_2^33 - 268141979356408/14130613619*c_1001_2^32 + 557898171548274/14130613619*c_1001_2^31 - 1042854978071892/14130613619*c_1001_2^30 + 1771142536440672/14130613619*c_1001_2^29 - 2756903813128664/14130613619*c_1001_2^28 + 3960151897020890/14130613619*c_1001_2^27 - 5278281463021464/14130613619*c_1001_2^26 + 6555452111478112/14130613619*c_1001_2^25 - 7610831517647436/14130613619*c_1001_2^24 + 8279157283295050/14130613619*c_1001_2^23 - 8450651660226528/14130613619*c_1001_2^22 + 8098307649557139/14130613619*c_1001_2^21 - 7284448253817740/14130613619*c_1001_2^20 + 6143117477724881/14130613619*c_1001_2^19 - 4845478661683775/14130613619*c_1001_2^18 + 3561255559733247/14130613619*c_1001_2^17 - 2424798295466870/14130613619*c_1001_2^16 + 1514938651656678/14130613619*c_1001_2^15 - 854987380124604/14130613619*c_1001_2^14 + 423856031567114/14130613619*c_1001_2^13 - 172797376520339/14130613619*c_1001_2^12 + 46682788772043/14130613619*c_1001_2^11 + 3742225491061/14130613619*c_1001_2^10 - 16372472694964/14130613619*c_1001_2^9 + 13813100053739/14130613619*c_1001_2^8 - 7905917914862/14130613619*c_1001_2^7 + 3607736195470/14130613619*c_1001_2^6 - 1200387607156/14130613619*c_1001_2^5 + 210457760957/14130613619*c_1001_2^4 + 25364057363/14130613619*c_1001_2^3 - 73573656919/14130613619*c_1001_2^2 + 46081140734/14130613619*c_1001_2 - 6163365273/14130613619, c_0101_10 + 57869117396073628/73580775800106991*c_1001_2^39 - 917112976263105885/73580775800106991*c_1001_2^38 + 7103903115844263356/73580775800106991*c_1001_2^37 - 36342709911731977229/73580775800106991*c_1001_2^36 + 139809642447333537411/73580775800106991*c_1001_2^35 - 434933696840032315027/73580775800106991*c_1001_2^34 + 1144068533782804340830/73580775800106991*c_1001_2^33 - 2619427530154415435833/73580775800106991*c_1001_2^32 + 5326264521141843483374/73580775800106991*c_1001_2^31 - 9761678061725661973204/73580775800106991*c_1001_2^30 + 16306248463095743856448/73580775800106991*c_1001_2^29 - 25038697140831651050660/73580775800106991*c_1001_2^28 + 35578184114621279001180/73580775800106991*c_1001_2^27 - 47025484293202706415652/73580775800106991*c_1001_2^26 + 58049114718504193730960/73580775800106991*c_1001_2^25 - 67123456359963101306336/73580775800106991*c_1001_2^24 + 72863942535268256767545/73580775800106991*c_1001_2^23 - 74353156465884887819669/73580775800106991*c_1001_2^22 + 71364453390009981589864/73580775800106991*c_1001_2^21 - 64416457193945984178843/73580775800106991*c_1001_2^20 + 54628499788524648847707/73580775800106991*c_1001_2^19 - 43438224900252820126849/73580775800106991*c_1001_2^18 + 32284738453335197777154/73580775800106991*c_1001_2^17 - 1717138173679886856687/5660059676931307*c_1001_2^16 + 14251260044787352024059/73580775800106991*c_1001_2^15 - 8306144227541322652084/73580775800106991*c_1001_2^14 + 4338454402266427301268/73580775800106991*c_1001_2^13 - 150433335240110928886/5660059676931307*c_1001_2^12 + 699371754266197578382/73580775800106991*c_1001_2^11 - 10955944249039762502/5660059676931307*c_1001_2^10 - 45736793205855606096/73580775800106991*c_1001_2^9 + 69271591914792359390/73580775800106991*c_1001_2^8 - 44907019964894822271/73580775800106991*c_1001_2^7 + 20400448993085391615/73580775800106991*c_1001_2^6 - 5603917038703580700/73580775800106991*c_1001_2^5 + 541659303441759885/73580775800106991*c_1001_2^4 + 510020302340807387/73580775800106991*c_1001_2^3 - 429944979261320069/73580775800106991*c_1001_2^2 + 148584116570441554/73580775800106991*c_1001_2 + 21340055637418124/73580775800106991, c_0101_11 + 3963122832/14130613619*c_1001_2^39 - 64971436058/14130613619*c_1001_2^38 + 517870531266/14130613619*c_1001_2^37 - 2707388773378/14130613619*c_1001_2^36 + 10562307084746/14130613619*c_1001_2^35 - 33082916657274/14130613619*c_1001_2^34 + 87079638164182/14130613619*c_1001_2^33 - 198470192623550/14130613619*c_1001_2^32 + 399902005162238/14130613619*c_1001_2^31 - 723302414149606/14130613619*c_1001_2^30 + 1188003297180586/14130613619*c_1001_2^29 - 1787654543030570/14130613619*c_1001_2^28 + 2481314707459358/14130613619*c_1001_2^27 - 3193785207287294/14130613619*c_1001_2^26 + 3827000245442310/14130613619*c_1001_2^25 - 4280722796389121/14130613619*c_1001_2^24 + 4477110269726721/14130613619*c_1001_2^23 - 4380626939506480/14130613619*c_1001_2^22 + 4006989300708607/14130613619*c_1001_2^21 - 3419209760199971/14130613619*c_1001_2^20 + 2711008117602925/14130613619*c_1001_2^19 - 1983205351519042/14130613619*c_1001_2^18 + 1322444931939839/14130613619*c_1001_2^17 - 786302409221282/14130613619*c_1001_2^16 + 397130489847839/14130613619*c_1001_2^15 - 147720339965860/14130613619*c_1001_2^14 + 11919511047411/14130613619*c_1001_2^13 + 45319610818299/14130613619*c_1001_2^12 - 56471974284857/14130613619*c_1001_2^11 + 45972534835314/14130613619*c_1001_2^10 - 30250536858859/14130613619*c_1001_2^9 + 16803697823203/14130613619*c_1001_2^8 - 7731967795189/14130613619*c_1001_2^7 + 2984548859724/14130613619*c_1001_2^6 - 832890166743/14130613619*c_1001_2^5 + 31533813069/14130613619*c_1001_2^4 + 90493221961/14130613619*c_1001_2^3 - 82657022854/14130613619*c_1001_2^2 + 44988741271/14130613619*c_1001_2 - 962019241/14130613619, c_0101_13 - 4183386989019096/5660059676931307*c_1001_2^39 + 69517788281873612/5660059676931307*c_1001_2^38 - 570558537114308978/5660059676931307*c_1001_2^37 + 3112299655484188836/5660059676931307*c_1001_2^36 - 12779421884908445144/5660059676931307*c_1001_2^35 + 42294139710976563122/5660059676931307*c_1001_2^34 - 117707971176161039216/5660059676931307*c_1001_2^33 + 283432080613190945522/5660059676931307*c_1001_2^32 - 602574885953196558216/5660059676931307*c_1001_2^31 + 1148244583200844201424/5660059676931307*c_1001_2^30 - 1983977374047091923966/5660059676931307*c_1001_2^29 + 3136555525845993653618/5660059676931307*c_1001_2^28 - 4569893508701477362750/5660059676931307*c_1001_2^27 + 6171273269946709859314/5660059676931307*c_1001_2^26 - 7759040172146845057380/5660059676931307*c_1001_2^25 + 9113885993312532431994/5660059676931307*c_1001_2^24 - 10026621892428119600382/5660059676931307*c_1001_2^23 + 10348628207021865309356/5660059676931307*c_1001_2^22 - 10029141126386933412836/5660059676931307*c_1001_2^21 + 9126926065863328320842/5660059676931307*c_1001_2^20 - 7793321278556819757286/5660059676931307*c_1001_2^19 + 6233262457980579531828/5660059676931307*c_1001_2^18 - 4656625872146927905688/5660059676931307*c_1001_2^17 + 3235016841713991547998/5660059676931307*c_1001_2^16 - 2076206588423234693910/5660059676931307*c_1001_2^15 + 1218806718755866649980/5660059676931307*c_1001_2^14 - 643654022742739500096/5660059676931307*c_1001_2^13 + 296923309658165612666/5660059676931307*c_1001_2^12 - 112626982020454647414/5660059676931307*c_1001_2^11 + 28884680818031462461/5660059676931307*c_1001_2^10 + 679032967356889757/5660059676931307*c_1001_2^9 - 6266715667921046995/5660059676931307*c_1001_2^8 + 4578051130379922998/5660059676931307*c_1001_2^7 - 1952992182531962458/5660059676931307*c_1001_2^6 + 508255100449724629/5660059676931307*c_1001_2^5 - 47415848646991338/5660059676931307*c_1001_2^4 - 81895259539661738/5660059676931307*c_1001_2^3 + 36457004098363448/5660059676931307*c_1001_2^2 - 9511608649418151/5660059676931307*c_1001_2 + 4484562636100886/5660059676931307, c_0101_6 - c_1001_2, c_1001_0 + 4697299144/14130613619*c_1001_2^39 - 77211205008/14130613619*c_1001_2^38 + 620537139152/14130613619*c_1001_2^37 - 3291836441072/14130613619*c_1001_2^36 + 13109959942010/14130613619*c_1001_2^35 - 42118814945128/14130613619*c_1001_2^34 + 114086923724760/14130613619*c_1001_2^33 - 268141979356408/14130613619*c_1001_2^32 + 557898171548274/14130613619*c_1001_2^31 - 1042854978071892/14130613619*c_1001_2^30 + 1771142536440672/14130613619*c_1001_2^29 - 2756903813128664/14130613619*c_1001_2^28 + 3960151897020890/14130613619*c_1001_2^27 - 5278281463021464/14130613619*c_1001_2^26 + 6555452111478112/14130613619*c_1001_2^25 - 7610831517647436/14130613619*c_1001_2^24 + 8279157283295050/14130613619*c_1001_2^23 - 8450651660226528/14130613619*c_1001_2^22 + 8098307649557139/14130613619*c_1001_2^21 - 7284448253817740/14130613619*c_1001_2^20 + 6143117477724881/14130613619*c_1001_2^19 - 4845478661683775/14130613619*c_1001_2^18 + 3561255559733247/14130613619*c_1001_2^17 - 2424798295466870/14130613619*c_1001_2^16 + 1514938651656678/14130613619*c_1001_2^15 - 854987380124604/14130613619*c_1001_2^14 + 423856031567114/14130613619*c_1001_2^13 - 172797376520339/14130613619*c_1001_2^12 + 46682788772043/14130613619*c_1001_2^11 + 3742225491061/14130613619*c_1001_2^10 - 16372472694964/14130613619*c_1001_2^9 + 13813100053739/14130613619*c_1001_2^8 - 7905917914862/14130613619*c_1001_2^7 + 3607736195470/14130613619*c_1001_2^6 - 1200387607156/14130613619*c_1001_2^5 + 210457760957/14130613619*c_1001_2^4 + 25364057363/14130613619*c_1001_2^3 - 73573656919/14130613619*c_1001_2^2 + 46081140734/14130613619*c_1001_2 - 6163365273/14130613619, c_1001_10 - 39836477222673096/73580775800106991*c_1001_2^39 + 643951463519420220/73580775800106991*c_1001_2^38 - 5101292242396291944/73580775800106991*c_1001_2^37 + 26720267086051333227/73580775800106991*c_1001_2^36 - 105164960109802794353/73580775800106991*c_1001_2^35 + 333947624218979094882/73580775800106991*c_1001_2^34 - 893965986796554170253/73580775800106991*c_1001_2^33 + 2076509904626444361562/73580775800106991*c_1001_2^32 - 4270816758663773074088/73580775800106991*c_1001_2^31 + 7895131085827321457968/73580775800106991*c_1001_2^30 - 13269121142582999481504/73580775800106991*c_1001_2^29 + 20455680048209760585044/73580775800106991*c_1001_2^28 - 29128477057517427578923/73580775800106991*c_1001_2^27 + 38526882406577754752580/73580775800106991*c_1001_2^26 - 47536871862744268619885/73580775800106991*c_1001_2^25 + 54897246493096930758133/73580775800106991*c_1001_2^24 - 59480409847527726801364/73580775800106991*c_1001_2^23 + 60561035797150980583836/73580775800106991*c_1001_2^22 - 57991870252718232567234/73580775800106991*c_1001_2^21 + 52232658710858660642367/73580775800106991*c_1001_2^20 - 44221028968518611413686/73580775800106991*c_1001_2^19 + 35135901426786531060766/73580775800106991*c_1001_2^18 - 26133917695183573080032/73580775800106991*c_1001_2^17 + 1394290178610751495639/5660059676931307*c_1001_2^16 - 11652268582870737969146/73580775800106991*c_1001_2^15 + 6881474561196307411708/73580775800106991*c_1001_2^14 - 3680430147116769819016/73580775800106991*c_1001_2^13 + 133598115218376765454/5660059676931307*c_1001_2^12 - 687945620614485620841/73580775800106991*c_1001_2^11 + 15230729946002043188/5660059676931307*c_1001_2^10 - 12322282288152372831/73580775800106991*c_1001_2^9 - 31378410075005227799/73580775800106991*c_1001_2^8 + 27747960875452648248/73580775800106991*c_1001_2^7 - 14772781853319579236/73580775800106991*c_1001_2^6 + 5158071127810269038/73580775800106991*c_1001_2^5 - 1461861652110120634/73580775800106991*c_1001_2^4 - 244958733077494767/73580775800106991*c_1001_2^3 + 324628982621371370/73580775800106991*c_1001_2^2 - 162652898949962955/73580775800106991*c_1001_2 + 130362968792330367/73580775800106991, c_1001_14 + 31408362816230800/73580775800106991*c_1001_2^39 - 495077725786608712/73580775800106991*c_1001_2^38 + 3792042053752595856/73580775800106991*c_1001_2^37 - 19052846010616787444/73580775800106991*c_1001_2^36 + 71466935739583339660/73580775800106991*c_1001_2^35 - 215233626314800345984/73580775800106991*c_1001_2^34 + 544287198560914555340/73580775800106991*c_1001_2^33 - 1189645212284425798185/73580775800106991*c_1001_2^32 + 2292343912236485325177/73580775800106991*c_1001_2^31 - 3950253936213135514878/73580775800106991*c_1001_2^30 + 6151410257682196662953/73580775800106991*c_1001_2^29 - 8720216170704179905901/73580775800106991*c_1001_2^28 + 11308729850245277396587/73580775800106991*c_1001_2^27 - 13451396623585978209136/73580775800106991*c_1001_2^26 + 14674533512462925174371/73580775800106991*c_1001_2^25 - 14631360563320335098294/73580775800106991*c_1001_2^24 + 13216342334359268702363/73580775800106991*c_1001_2^23 - 10610453266651840590718/73580775800106991*c_1001_2^22 + 7242718728395669304367/73580775800106991*c_1001_2^21 - 3682270424436059237849/73580775800106991*c_1001_2^20 + 488270927094489043449/73580775800106991*c_1001_2^19 + 1926252856255672431752/73580775800106991*c_1001_2^18 - 3367496384398394142919/73580775800106991*c_1001_2^17 + 297749336589855812653/5660059676931307*c_1001_2^16 - 3648269130892315070007/73580775800106991*c_1001_2^15 + 2987323479618398963894/73580775800106991*c_1001_2^14 - 2166400855574718383999/73580775800106991*c_1001_2^13 + 107652364651241582627/5660059676931307*c_1001_2^12 - 797208780205163714345/73580775800106991*c_1001_2^11 + 30013376538010176804/5660059676931307*c_1001_2^10 - 157039889647917612541/73580775800106991*c_1001_2^9 + 42989408851947834135/73580775800106991*c_1001_2^8 - 539676235317267508/73580775800106991*c_1001_2^7 - 7485339843741788876/73580775800106991*c_1001_2^6 + 5958303295205380676/73580775800106991*c_1001_2^5 - 2266594331841143548/73580775800106991*c_1001_2^4 + 502697223430969634/73580775800106991*c_1001_2^3 - 89765676025764308/73580775800106991*c_1001_2^2 - 92478160648095798/73580775800106991*c_1001_2 + 19041221997376314/73580775800106991, c_1001_16 - c_1001_2^5 + 2*c_1001_2^4 - 2*c_1001_2^3 + 3*c_1001_2^2 - 2*c_1001_2 + 1, c_1001_2^40 - 17*c_1001_2^39 + 141*c_1001_2^38 - 769*c_1001_2^37 + 3134*c_1001_2^36 - 10258*c_1001_2^35 + 28213*c_1001_2^34 - 67183*c_1001_2^33 + 141442*c_1001_2^32 - 267362*c_1001_2^31 + 459116*c_1001_2^30 - 722764*c_1001_2^29 + 1050576*c_1001_2^28 - 1418008*c_1001_2^27 + 1785184*c_1001_2^26 - 2103408*c_1001_2^25 + 2325442*c_1001_2^24 - 2416518*c_1001_2^23 + 2362689*c_1001_2^22 - 2174091*c_1001_2^21 + 1881984*c_1001_2^20 - 1530620*c_1001_2^19 + 1166991*c_1001_2^18 - 831301*c_1001_2^17 + 550423*c_1001_2^16 - 336119*c_1001_2^15 + 187088*c_1001_2^14 - 92994*c_1001_2^13 + 39692*c_1001_2^12 - 13292*c_1001_2^11 + 2326*c_1001_2^10 + 998*c_1001_2^9 - 1258*c_1001_2^8 + 782*c_1001_2^7 - 335*c_1001_2^6 + 93*c_1001_2^5 - 16*c_1001_2^4 - 8*c_1001_2^3 + 7*c_1001_2^2 - c_1001_2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1321.580 Total time: 1321.789 seconds, Total memory usage: 1194.41MB