Magma V2.19-8 Fri Sep 13 2013 21:11:03 on localhost [Seed = 4288551498] Type ? for help. Type -D to quit. Loading file "11_312__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_312 geometric_solution 15.39715776 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 17 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 1 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 0.399617920605 0.875038060741 0 5 2 6 0132 0132 2031 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 -1 0 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.399268613914 0.665825903619 7 0 8 1 0132 0132 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 1 -1 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.399268613914 0.665825903619 9 10 11 0 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.005765934972 0.613133309353 6 12 0 11 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.040743124464 1.312639005764 10 1 13 7 0213 0132 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 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 1.234567320069 0.729896582007 4 7 1 10 0132 3120 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 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.307225043580 1.090466158743 2 6 5 12 0132 3120 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 0 0 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.484648847085 1.671485583085 14 15 10 2 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.858256018652 0.719527023324 3 13 11 14 0132 3012 2103 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.600650478390 0.658586940017 5 3 6 8 0213 0132 1230 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.415317522958 0.922375096137 9 16 4 3 2103 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.583311026070 1.151652957771 7 4 14 15 3120 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 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.587086108611 1.011708534381 9 16 16 5 1230 1023 1230 0132 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.086301499646 0.942878924605 8 9 15 12 0132 0321 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 -1 1 -1 0 1 0 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.842931858056 0.637267314236 14 8 12 16 2103 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.098084387004 0.803061156305 13 11 15 13 1023 0132 0132 3012 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 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.086301499646 0.942878924605 ==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_14'], 'c_1001_16' : d['c_1001_16'], 'c_1001_11' : negation(d['c_0101_13']), 'c_1001_10' : d['c_1001_0'], 'c_1001_13' : d['c_0101_16'], 'c_1001_12' : negation(d['c_0101_13']), 'c_1001_5' : d['c_0110_16'], 'c_1001_4' : d['c_1001_15'], 'c_1001_7' : negation(d['c_0110_16']), 'c_1001_6' : d['c_0110_16'], 'c_1001_1' : negation(d['c_0101_7']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_16'], 'c_1001_2' : d['c_1001_15'], 'c_1001_9' : d['c_0011_11'], 'c_1001_8' : d['c_1001_16'], 'c_1010_13' : d['c_0110_16'], 'c_1010_12' : d['c_1001_15'], 'c_1010_11' : d['c_1001_16'], 'c_1010_10' : d['c_1001_16'], 'c_1010_16' : negation(d['c_0101_13']), 'c_1010_15' : d['c_1001_16'], 'c_1010_14' : negation(d['c_0101_13']), 's_3_11' : d['1'], 's_0_11' : d['1'], 's_3_13' : 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'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_0'], 'c_0101_10' : d['c_0011_0'], 'c_0101_16' : d['c_0101_16'], 'c_0101_15' : d['c_0101_14'], 'c_0101_14' : d['c_0101_14'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_13' : d['1'], 's_2_10' : negation(d['1']), 's_2_11' : d['1'], 's_2_16' : d['1'], 's_2_14' : d['1'], 's_2_15' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_15' : d['c_0011_14'], 'c_0011_14' : d['c_0011_14'], 'c_0011_16' : negation(d['c_0011_11']), 'c_1100_9' : d['c_0011_14'], 'c_1100_8' : d['c_0101_1'], 'c_0011_13' : negation(d['c_0011_11']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0110_16'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_0101_12']), 'c_1100_6' : negation(d['c_1001_0']), 'c_1100_1' : negation(d['c_1001_0']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_0101_1'], 'c_1100_14' : negation(d['c_0101_16']), 's_0_15' : d['1'], 'c_1100_15' : negation(d['c_0101_16']), 's_0_10' : d['1'], 'c_1100_16' : negation(d['c_0101_16']), 'c_1100_11' : d['c_1100_0'], 'c_1100_10' : d['c_0101_1'], 'c_1100_13' : d['c_0110_16'], 's_3_10' : d['1'], 's_0_12' : d['1'], 'c_1010_7' : negation(d['c_0011_12']), 'c_1010_6' : negation(d['c_0011_0']), 'c_1010_5' : negation(d['c_0101_7']), 's_0_13' : d['1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0110_16'], 'c_1010_0' : d['c_1001_15'], 's_0_14' : d['1'], 'c_1010_9' : negation(d['c_0101_13']), 'c_1010_8' : d['c_1001_15'], 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : negation(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' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_16']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : negation(d['c_0011_14']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_12']), 'c_0101_13' : d['c_0101_13'], 'c_0011_6' : d['c_0011_12'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_14']), 'c_0110_10' : d['c_0101_12'], 'c_0110_13' : d['c_0011_10'], 'c_0110_12' : d['c_0101_14'], 'c_0110_15' : d['c_0101_16'], 'c_0110_14' : d['c_0101_12'], 'c_0110_16' : d['c_0110_16'], 'c_1010_4' : negation(d['c_0101_13']), 'c_0101_12' : d['c_0101_12'], 'c_0011_7' : d['c_0011_0'], 'c_0110_0' : d['c_0101_1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_10'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_14']), 'c_0101_2' : d['c_0101_14'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_12'], 'c_0011_10' : d['c_0011_10'], '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' : negation(d['1']), 'c_0110_9' : negation(d['c_0011_14']), 'c_0110_8' : d['c_0101_14'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : negation(d['c_0101_12']), 'c_0110_4' : d['c_0101_0'], 'c_0110_7' : d['c_0101_14'], 'c_0110_6' : d['c_0101_1']})} 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_12, c_0011_14, c_0101_0, c_0101_1, c_0101_12, c_0101_13, c_0101_14, c_0101_16, c_0101_7, c_0110_16, c_1001_0, c_1001_15, c_1001_16, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 9576936013196705317/6366048388318280*c_1100_0^13 - 47610381329050379171/25464193553273120*c_1100_0^12 + 67931532880050183631/12732096776636560*c_1100_0^11 - 26624711337960086819/2546419355327312*c_1100_0^10 + 139674412964946712165/5092838710654624*c_1100_0^9 - 644349920546180868737/12732096776636560*c_1100_0^8 + 958818327777634559629/12732096776636560*c_1100_0^7 - 2088258711312704688819/25464193553273120*c_1100_0^6 + 837635693481048270747/12732096776636560*c_1100_0^5 - 207084342821037904463/6366048388318280*c_1100_0^4 + 58826705713552118143/25464193553273120*c_1100_0^3 + 289551588921971454067/25464193553273120*c_1100_0^2 - 284479842516022708271/25464193553273120*c_1100_0 + 118838988695293469091/25464193553273120, c_0011_0 - 1, c_0011_10 + 64567738/7559550169*c_1100_0^13 + 9483629785/15119100338*c_1100_0^12 - 20173494809/15119100338*c_1100_0^11 + 20770199662/7559550169*c_1100_0^10 - 42505190722/7559550169*c_1100_0^9 + 224751527217/15119100338*c_1100_0^8 - 446428351269/15119100338*c_1100_0^7 + 351288895770/7559550169*c_1100_0^6 - 405228103465/7559550169*c_1100_0^5 + 352030351077/7559550169*c_1100_0^4 - 214339412780/7559550169*c_1100_0^3 + 162167443271/15119100338*c_1100_0^2 - 16840922917/15119100338*c_1100_0 - 10953740501/15119100338, c_0011_11 + 2959006374/7559550169*c_1100_0^13 - 3698076197/15119100338*c_1100_0^12 + 8403678411/7559550169*c_1100_0^11 - 21801380745/15119100338*c_1100_0^10 + 78851209033/15119100338*c_1100_0^9 - 57485685602/7559550169*c_1100_0^8 + 153047752143/15119100338*c_1100_0^7 - 47948642819/15119100338*c_1100_0^6 - 39563023468/7559550169*c_1100_0^5 + 212575161253/15119100338*c_1100_0^4 - 98781277288/7559550169*c_1100_0^3 + 54502337593/7559550169*c_1100_0^2 - 13664716877/15119100338*c_1100_0 - 5596307149/7559550169, c_0011_12 + 4404398764/7559550169*c_1100_0^13 - 7429564457/7559550169*c_1100_0^12 + 13691934297/7559550169*c_1100_0^11 - 68129292389/15119100338*c_1100_0^10 + 84742727003/7559550169*c_1100_0^9 - 161891825947/7559550169*c_1100_0^8 + 228672589803/7559550169*c_1100_0^7 - 242836649015/7559550169*c_1100_0^6 + 386400072919/15119100338*c_1100_0^5 - 220088808571/15119100338*c_1100_0^4 + 82814417345/15119100338*c_1100_0^3 - 9425319891/15119100338*c_1100_0^2 + 3345685550/7559550169*c_1100_0 + 6608370119/7559550169, c_0011_14 + 7480733410/7559550169*c_1100_0^13 - 19050774823/15119100338*c_1100_0^12 + 26277696963/7559550169*c_1100_0^11 - 106821457719/15119100338*c_1100_0^10 + 279449345699/15119100338*c_1100_0^9 - 258260823227/7559550169*c_1100_0^8 + 773160489601/15119100338*c_1100_0^7 - 872949394359/15119100338*c_1100_0^6 + 384044558315/7559550169*c_1100_0^5 - 519956447935/15119100338*c_1100_0^4 + 127644048013/7559550169*c_1100_0^3 - 48159629018/7559550169*c_1100_0^2 + 6293100231/15119100338*c_1100_0 + 1563978996/7559550169, c_0101_0 - 4386692248/7559550169*c_1100_0^13 + 6215517416/7559550169*c_1100_0^12 - 31500074433/15119100338*c_1100_0^11 + 30469353627/7559550169*c_1100_0^10 - 81957783467/7559550169*c_1100_0^9 + 307603712719/15119100338*c_1100_0^8 - 226694818791/7559550169*c_1100_0^7 + 465129843553/15119100338*c_1100_0^6 - 345398655953/15119100338*c_1100_0^5 + 155759640471/15119100338*c_1100_0^4 - 6948692188/7559550169*c_1100_0^3 - 19989372341/15119100338*c_1100_0^2 + 13867141139/15119100338*c_1100_0 + 3883207253/15119100338, c_0101_1 - 2793935852/7559550169*c_1100_0^13 + 1211521455/7559550169*c_1100_0^12 - 14519287435/15119100338*c_1100_0^11 + 11410660690/7559550169*c_1100_0^10 - 38092795088/7559550169*c_1100_0^9 + 110684229261/15119100338*c_1100_0^8 - 69380821629/7559550169*c_1100_0^7 + 108822486047/15119100338*c_1100_0^6 - 68808319941/15119100338*c_1100_0^5 + 22902383521/15119100338*c_1100_0^4 - 6134627822/7559550169*c_1100_0^3 + 14770633607/15119100338*c_1100_0^2 - 9152897461/15119100338*c_1100_0 + 4364306883/15119100338, c_0101_12 + 1950472598/7559550169*c_1100_0^13 + 1258424575/15119100338*c_1100_0^12 + 12215050853/15119100338*c_1100_0^11 - 10427356966/7559550169*c_1100_0^10 + 27721759552/7559550169*c_1100_0^9 - 79169534375/15119100338*c_1100_0^8 + 139603441155/15119100338*c_1100_0^7 - 107624402588/7559550169*c_1100_0^6 + 156065514231/7559550169*c_1100_0^5 - 177111078248/7559550169*c_1100_0^4 + 150616249565/7559550169*c_1100_0^3 - 183119862763/15119100338*c_1100_0^2 + 62612906303/15119100338*c_1100_0 - 10197885891/15119100338, c_0101_13 - 6053047536/7559550169*c_1100_0^13 + 5158908094/7559550169*c_1100_0^12 - 37862676315/15119100338*c_1100_0^11 + 33842065605/7559550169*c_1100_0^10 - 97192493899/7559550169*c_1100_0^9 + 323889304939/15119100338*c_1100_0^8 - 236409302081/7559550169*c_1100_0^7 + 455768193625/15119100338*c_1100_0^6 - 343564413741/15119100338*c_1100_0^5 + 151621646211/15119100338*c_1100_0^4 - 21914078537/7559550169*c_1100_0^3 + 7303955191/15119100338*c_1100_0^2 - 6495524493/15119100338*c_1100_0 + 4181449053/15119100338, c_0101_14 - 5494396724/7559550169*c_1100_0^13 + 10785902695/7559550169*c_1100_0^12 - 25301606953/7559550169*c_1100_0^11 + 101517131233/15119100338*c_1100_0^10 - 131639813044/7559550169*c_1100_0^9 + 260657427310/7559550169*c_1100_0^8 - 420159477402/7559550169*c_1100_0^7 + 509968831964/7559550169*c_1100_0^6 - 983145759059/15119100338*c_1100_0^5 + 714774284407/15119100338*c_1100_0^4 - 406116355635/15119100338*c_1100_0^3 + 169621018141/15119100338*c_1100_0^2 - 26415580143/7559550169*c_1100_0 + 6198411884/7559550169, c_0101_16 - 321545184/7559550169*c_1100_0^13 - 952157270/7559550169*c_1100_0^12 + 5351569037/15119100338*c_1100_0^11 - 10193251237/15119100338*c_1100_0^10 + 18523577917/15119100338*c_1100_0^9 - 26886514315/7559550169*c_1100_0^8 + 65165173642/7559550169*c_1100_0^7 - 224606972305/15119100338*c_1100_0^6 + 142393937467/7559550169*c_1100_0^5 - 261082542715/15119100338*c_1100_0^4 + 183547225961/15119100338*c_1100_0^3 - 39640464279/7559550169*c_1100_0^2 + 29440170947/15119100338*c_1100_0 - 4363784260/7559550169, c_0101_7 + 4404398764/7559550169*c_1100_0^13 - 7429564457/7559550169*c_1100_0^12 + 13691934297/7559550169*c_1100_0^11 - 68129292389/15119100338*c_1100_0^10 + 84742727003/7559550169*c_1100_0^9 - 161891825947/7559550169*c_1100_0^8 + 228672589803/7559550169*c_1100_0^7 - 242836649015/7559550169*c_1100_0^6 + 386400072919/15119100338*c_1100_0^5 - 220088808571/15119100338*c_1100_0^4 + 82814417345/15119100338*c_1100_0^3 - 9425319891/15119100338*c_1100_0^2 - 4213864619/7559550169*c_1100_0 + 6608370119/7559550169, c_0110_16 + 5494396724/7559550169*c_1100_0^13 - 10785902695/7559550169*c_1100_0^12 + 25301606953/7559550169*c_1100_0^11 - 101517131233/15119100338*c_1100_0^10 + 131639813044/7559550169*c_1100_0^9 - 260657427310/7559550169*c_1100_0^8 + 420159477402/7559550169*c_1100_0^7 - 509968831964/7559550169*c_1100_0^6 + 983145759059/15119100338*c_1100_0^5 - 714774284407/15119100338*c_1100_0^4 + 406116355635/15119100338*c_1100_0^3 - 169621018141/15119100338*c_1100_0^2 + 26415580143/7559550169*c_1100_0 - 6198411884/7559550169, c_1001_0 - 2793935852/7559550169*c_1100_0^13 + 1211521455/7559550169*c_1100_0^12 - 14519287435/15119100338*c_1100_0^11 + 11410660690/7559550169*c_1100_0^10 - 38092795088/7559550169*c_1100_0^9 + 110684229261/15119100338*c_1100_0^8 - 69380821629/7559550169*c_1100_0^7 + 108822486047/15119100338*c_1100_0^6 - 68808319941/15119100338*c_1100_0^5 + 22902383521/15119100338*c_1100_0^4 - 6134627822/7559550169*c_1100_0^3 + 14770633607/15119100338*c_1100_0^2 - 9152897461/15119100338*c_1100_0 + 4364306883/15119100338, c_1001_15 + 4386692248/7559550169*c_1100_0^13 - 6215517416/7559550169*c_1100_0^12 + 31500074433/15119100338*c_1100_0^11 - 30469353627/7559550169*c_1100_0^10 + 81957783467/7559550169*c_1100_0^9 - 307603712719/15119100338*c_1100_0^8 + 226694818791/7559550169*c_1100_0^7 - 465129843553/15119100338*c_1100_0^6 + 345398655953/15119100338*c_1100_0^5 - 155759640471/15119100338*c_1100_0^4 + 6948692188/7559550169*c_1100_0^3 + 19989372341/15119100338*c_1100_0^2 - 13867141139/15119100338*c_1100_0 - 3883207253/15119100338, c_1001_16 + 7480733410/7559550169*c_1100_0^13 - 19050774823/15119100338*c_1100_0^12 + 26277696963/7559550169*c_1100_0^11 - 106821457719/15119100338*c_1100_0^10 + 279449345699/15119100338*c_1100_0^9 - 258260823227/7559550169*c_1100_0^8 + 773160489601/15119100338*c_1100_0^7 - 872949394359/15119100338*c_1100_0^6 + 384044558315/7559550169*c_1100_0^5 - 519956447935/15119100338*c_1100_0^4 + 127644048013/7559550169*c_1100_0^3 - 48159629018/7559550169*c_1100_0^2 + 21412200569/15119100338*c_1100_0 + 1563978996/7559550169, c_1100_0^14 - 7/4*c_1100_0^13 + 9/2*c_1100_0^12 - 37/4*c_1100_0^11 + 93/4*c_1100_0^10 - 183/4*c_1100_0^9 + 149/2*c_1100_0^8 - 377/4*c_1100_0^7 + 95*c_1100_0^6 - 297/4*c_1100_0^5 + 175/4*c_1100_0^4 - 37/2*c_1100_0^3 + 17/4*c_1100_0^2 + 1/4 ], 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_12, c_0011_14, c_0101_0, c_0101_1, c_0101_12, c_0101_13, c_0101_14, c_0101_16, c_0101_7, c_0110_16, c_1001_0, c_1001_15, c_1001_16, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t + 35072792499199654522693385200470135997253/1353201871006665946028761\ 9152425123960*c_1001_16*c_1100_0^17 - 673016138910745875841745519876495887541801/135320187100666594602876\ 19152425123960*c_1001_16*c_1100_0^16 + 109837346047062158920476205305863875192627/676600935503332973014380\ 957621256198*c_1001_16*c_1100_0^15 + 2424362531271112264523397896535750967045639/27064037420133318920575\ 238304850247920*c_1001_16*c_1100_0^14 - 2502539495869435615551312555661769912036769/38662910600190455600821\ 76900692892560*c_1001_16*c_1100_0^13 - 3108602907919337106582850743478589372764443/54128074840266637841150\ 47660970049584*c_1001_16*c_1100_0^12 + 7472292684207733375903202789704542534175337/67660093550333297301438\ 09576212561980*c_1001_16*c_1100_0^11 + 57583702881027602574287735442922005737219921/2706403742013331892057\ 5238304850247920*c_1001_16*c_1100_0^10 + 9228376708217497982512281247725379058570939/27064037420133318920575\ 238304850247920*c_1001_16*c_1100_0^9 - 10226630284602622824401840574883225247760755/5412807484026663784115\ 047660970049584*c_1001_16*c_1100_0^8 - 5328018322548623463926829449681037638407751/27064037420133318920575\ 23830485024792*c_1001_16*c_1100_0^7 - 3123450059936969124536207439488011833340573/27064037420133318920575\ 23830485024792*c_1001_16*c_1100_0^6 - 3840943397811609334185417203390694438671233/33830046775166648650719\ 04788106280990*c_1001_16*c_1100_0^5 - 886864219319930369950763004131027238673421/676600935503332973014380\ 957621256198*c_1001_16*c_1100_0^4 - 12912859733326116955963779431111142847771481/1353201871006665946028\ 7619152425123960*c_1001_16*c_1100_0^3 - 10811911387228401874197503333105058035319643/2706403742013331892057\ 5238304850247920*c_1001_16*c_1100_0^2 - 2442527439821491631966131158751304240636511/27064037420133318920575\ 238304850247920*c_1001_16*c_1100_0 - 202074435371192287479643460249196119345851/270640374201333189205752\ 38304850247920*c_1001_16 - 1618441070290824275800462482166738405558\ 9/13532018710066659460287619152425123960*c_1100_0^17 + 310817804186249026746080394988500981704493/135320187100666594602876\ 19152425123960*c_1100_0^16 - 10189075441185864558703371773459922448\ 6279/1353201871006665946028761915242512396*c_1100_0^15 - 1073096202677220362694738898430868969537887/27064037420133318920575\ 238304850247920*c_1100_0^14 + 8051915571968742510187837881002248139\ 344939/27064037420133318920575238304850247920*c_1100_0^13 + 201023327032240433400359300773013506270887/773258212003809112016435\ 380138578512*c_1100_0^12 - 2449567625535973498274051484533091054711\ 19/483286382502380695010272112586611570*c_1100_0^11 - 26253732136157662295469250185820911394695023/2706403742013331892057\ 5238304850247920*c_1100_0^10 - 421468780083911389940346696400019228\ 0137167/27064037420133318920575238304850247920*c_1100_0^9 + 662296347298723245506091531940150773395691/773258212003809112016435\ 380138578512*c_1100_0^8 + 30438057453983556650206318279894655327810\ 9/338300467751666486507190478810628099*c_1100_0^7 + 1458343885736705387047972717022190454435173/27064037420133318920575\ 23830485024792*c_1100_0^6 + 714027174342949833530742935513433213153\ 3531/13532018710066659460287619152425123960*c_1100_0^5 + 406411950029339882852511885135462471530467/676600935503332973014380\ 957621256198*c_1100_0^4 + 59499135475638704578637511020057618646221\ 53/13532018710066659460287619152425123960*c_1100_0^3 + 725180525364997901742396423752471229569307/386629106001904556008217\ 6900692892560*c_1100_0^2 + 1179383184669641658423617275743866046653\ 633/27064037420133318920575238304850247920*c_1100_0 + 14384769118522661872504220740697140558489/3866291060019045560082176\ 900692892560, c_0011_0 - 1, c_0011_10 - 289163040884440611/10554144407064616*c_1001_16*c_1100_0^17 + 5539042127152838555/10554144407064616*c_1001_16*c_1100_0^16 - 8959225057724410045/5277072203532308*c_1001_16*c_1100_0^15 - 21445387095933939173/21108288814129232*c_1001_16*c_1100_0^14 + 144631252048489833181/21108288814129232*c_1001_16*c_1100_0^13 + 132979585439827503987/21108288814129232*c_1001_16*c_1100_0^12 - 122576702466949073467/10554144407064616*c_1001_16*c_1100_0^11 - 484051932142988282973/21108288814129232*c_1001_16*c_1100_0^10 - 86316626552132425027/21108288814129232*c_1001_16*c_1100_0^9 + 425733685592954974359/21108288814129232*c_1001_16*c_1100_0^8 + 225629152144113950313/10554144407064616*c_1001_16*c_1100_0^7 + 66165916434590855187/5277072203532308*c_1001_16*c_1100_0^6 + 128595773769858981889/10554144407064616*c_1001_16*c_1100_0^5 + 149181968778543877945/10554144407064616*c_1001_16*c_1100_0^4 + 109480730539032782909/10554144407064616*c_1001_16*c_1100_0^3 + 92364523831152045755/21108288814129232*c_1001_16*c_1100_0^2 + 20945797972490456353/21108288814129232*c_1001_16*c_1100_0 + 1759565287353432779/21108288814129232*c_1001_16 - 63766122062277285/10554144407064616*c_1100_0^17 + 309260165213890973/2638536101766154*c_1100_0^16 - 532312921903508221/1319268050883077*c_1100_0^15 - 2453739456843146997/21108288814129232*c_1100_0^14 + 15906371044161333049/10554144407064616*c_1100_0^13 + 21367999457886043847/21108288814129232*c_1100_0^12 - 14155082790001206033/5277072203532308*c_1100_0^11 - 91452843815534250913/21108288814129232*c_1100_0^10 - 211069630233961835/2638536101766154*c_1100_0^9 + 87413547471048015951/21108288814129232*c_1100_0^8 + 39675774596777505843/10554144407064616*c_1100_0^7 + 5810402252580973719/2638536101766154*c_1100_0^6 + 3156857486031479372/1319268050883077*c_1100_0^5 + 27908946864087903665/10554144407064616*c_1100_0^4 + 9533531806274972203/5277072203532308*c_1100_0^3 + 15013914073242132601/21108288814129232*c_1100_0^2 + 1599853536206349713/10554144407064616*c_1100_0 + 219403434165382395/21108288814129232, c_0011_11 + c_1001_16 - 249100362688478263/10554144407064616*c_1100_0^1\ 7 + 2388853080873862655/5277072203532308*c_1100_0^16 - 15561824614971606527/10554144407064616*c_1100_0^15 - 17344397774459096135/21108288814129232*c_1100_0^14 + 61789394646115173219/10554144407064616*c_1100_0^13 + 55960346007447846919/10554144407064616*c_1100_0^12 - 104661595112314214991/10554144407064616*c_1100_0^11 - 411379791517060610091/21108288814129232*c_1100_0^10 - 18323398314347397929/5277072203532308*c_1100_0^9 + 180111676069164461751/10554144407064616*c_1100_0^8 + 48150118549235173313/2638536101766154*c_1100_0^7 + 114537920702636921603/10554144407064616*c_1100_0^6 + 110512698874113795581/10554144407064616*c_1100_0^5 + 31835108763079017927/2638536101766154*c_1100_0^4 + 93879189106632627841/10554144407064616*c_1100_0^3 + 79890238129779892009/21108288814129232*c_1100_0^2 + 2299018448197410605/2638536101766154*c_1100_0 + 387525846469401397/5277072203532308, c_0011_12 - 280378236041217691/10554144407064616*c_1001_16*c_1100_0^17 + 2682828729704846547/5277072203532308*c_1001_16*c_1100_0^16 - 17279597188573552621/10554144407064616*c_1001_16*c_1100_0^15 - 21289052324334648767/21108288814129232*c_1001_16*c_1100_0^14 + 69629158767264634553/10554144407064616*c_1001_16*c_1100_0^13 + 32987590557470283547/5277072203532308*c_1001_16*c_1100_0^12 - 29225608576825829747/2638536101766154*c_1001_16*c_1100_0^11 - 474502266027290383723/21108288814129232*c_1001_16*c_1100_0^10 - 47727420242204927689/10554144407064616*c_1001_16*c_1100_0^9 + 25641951409676734389/1319268050883077*c_1001_16*c_1100_0^8 + 224220878051668916337/10554144407064616*c_1001_16*c_1100_0^7 + 16684252701298812663/1319268050883077*c_1001_16*c_1100_0^6 + 126898857794146600105/10554144407064616*c_1001_16*c_1100_0^5 + 147135773158069928393/10554144407064616*c_1001_16*c_1100_0^4 + 109503653909701449041/10554144407064616*c_1001_16*c_1100_0^3 + 94094580556896357645/21108288814129232*c_1001_16*c_1100_0^2 + 10944511684763120923/10554144407064616*c_1001_16*c_1100_0 + 475844726968683565/5277072203532308*c_1001_16 - 8846255766893177/5277072203532308*c_1100_0^17 + 330041679855782233/10554144407064616*c_1100_0^16 - 918970170214674793/10554144407064616*c_1100_0^15 - 338379241312403791/2638536101766154*c_1100_0^14 + 9264819064851212747/21108288814129232*c_1100_0^13 + 12655012658891572285/21108288814129232*c_1100_0^12 - 7429128986910021949/10554144407064616*c_1100_0^11 - 4838029572329555741/2638536101766154*c_1100_0^10 - 12593727755359461423/21108288814129232*c_1100_0^9 + 32471380659142568903/21108288814129232*c_1100_0^8 + 18928827665297277277/10554144407064616*c_1100_0^7 + 2456726555708362119/2638536101766154*c_1100_0^6 + 1095415207247969866/1319268050883077*c_1100_0^5 + 11519956600372523893/10554144407064616*c_1100_0^4 + 8779793788535431947/10554144407064616*c_1100_0^3 + 3559838121261430579/10554144407064616*c_1100_0^2 + 1330167937416017723/21108288814129232*c_1100_0 + 37700369169928515/21108288814129232, c_0011_14 + 17658983682160461/2638536101766154*c_1100_0^17 - 169285045717791949/1319268050883077*c_1100_0^16 + 4401481263089199251/10554144407064616*c_1100_0^15 + 315287334281736293/1319268050883077*c_1100_0^14 - 17623147240001950497/10554144407064616*c_1100_0^13 - 31963135714782778833/21108288814129232*c_1100_0^12 + 29992874780862377711/10554144407064616*c_1100_0^11 + 58596765814686419221/10554144407064616*c_1100_0^10 + 9982479936385877151/10554144407064616*c_1100_0^9 - 103504672824976552281/21108288814129232*c_1100_0^8 - 27241279639095295637/5277072203532308*c_1100_0^7 - 31893996353871238291/10554144407064616*c_1100_0^6 - 3896113296682301656/1319268050883077*c_1100_0^5 - 36092079139697957767/10554144407064616*c_1100_0^4 - 26383230331050235523/10554144407064616*c_1100_0^3 - 2772429988584328093/2638536101766154*c_1100_0^2 - 2509594707600774047/10554144407064616*c_1100_0 - 405478151309629849/21108288814129232, c_0101_0 + 73802107314282721/5277072203532308*c_1001_16*c_1100_0^17 - 2837510530756550541/10554144407064616*c_1001_16*c_1100_0^16 + 1168183966663548644/1319268050883077*c_1001_16*c_1100_0^15 + 592143108597904163/1319268050883077*c_1001_16*c_1100_0^14 - 73789400999580103237/21108288814129232*c_1001_16*c_1100_0^13 - 31335368430295596551/10554144407064616*c_1001_16*c_1100_0^12 + 63368358809843173851/10554144407064616*c_1001_16*c_1100_0^11 + 14819439279275901351/1319268050883077*c_1001_16*c_1100_0^10 + 32919240326601309891/21108288814129232*c_1001_16*c_1100_0^9 - 26624697179638223087/2638536101766154*c_1001_16*c_1100_0^8 - 108645976664711060329/10554144407064616*c_1001_16*c_1100_0^7 - 15949844867089384481/2638536101766154*c_1001_16*c_1100_0^6 - 63628524097289725165/10554144407064616*c_1001_16*c_1100_0^5 - 72909582507162674401/10554144407064616*c_1001_16*c_1100_0^4 - 6580003052568745529/1319268050883077*c_1001_16*c_1100_0^3 - 10936803882398633191/5277072203532308*c_1001_16*c_1100_0^2 - 9792251678242316437/21108288814129232*c_1001_16*c_1100_0 - 195958078859868011/5277072203532308*c_1001_16 - 108598410911154165/5277072203532308*c_1100_0^17 + 4159932617995100853/10554144407064616*c_1100_0^16 - 13448157364343122855/10554144407064616*c_1100_0^15 - 1010989348879343709/1319268050883077*c_1100_0^14 + 108575212200352557115/21108288814129232*c_1100_0^13 + 100213429823576776559/21108288814129232*c_1100_0^12 - 91933330973357533243/10554144407064616*c_1100_0^11 - 91052593202924289401/5277072203532308*c_1100_0^10 - 65845942193572537675/21108288814129232*c_1100_0^9 + 319881484866604765253/21108288814129232*c_1100_0^8 + 170035334560265752415/10554144407064616*c_1100_0^7 + 49881218487066235057/5277072203532308*c_1100_0^6 + 24170105523599281339/2638536101766154*c_1100_0^5 + 112247113488968473217/10554144407064616*c_1100_0^4 + 82504519401854165691/10554144407064616*c_1100_0^3 + 34832180645460791617/10554144407064616*c_1100_0^2 + 15767888407028216531/21108288814129232*c_1100_0 + 1308228549903720233/21108288814129232, c_0101_1 - 37605481914834701/10554144407064616*c_1001_16*c_1100_0^17 + 358728647759653759/5277072203532308*c_1001_16*c_1100_0^16 - 1137515075822069751/5277072203532308*c_1001_16*c_1100_0^15 - 3138448873039047705/21108288814129232*c_1001_16*c_1100_0^14 + 4626490967606721575/5277072203532308*c_1001_16*c_1100_0^13 + 19029267573720386913/21108288814129232*c_1001_16*c_1100_0^12 - 7667792656394638557/5277072203532308*c_1001_16*c_1100_0^11 - 66125973832320411835/21108288814129232*c_1001_16*c_1100_0^10 - 7987475174857317739/10554144407064616*c_1001_16*c_1100_0^9 + 55847060896123704549/21108288814129232*c_1001_16*c_1100_0^8 + 7983368297209336407/2638536101766154*c_1001_16*c_1100_0^7 + 9457966529467749529/5277072203532308*c_1001_16*c_1100_0^6 + 17434814893653173195/10554144407064616*c_1001_16*c_1100_0^5 + 20538956401850687795/10554144407064616*c_1001_16*c_1100_0^4 + 7781252277810128251/5277072203532308*c_1001_16*c_1100_0^3 + 13521164758346260931/21108288814129232*c_1001_16*c_1100_0^2 + 1573072933663421091/10554144407064616*c_1001_16*c_1100_0 + 257873936681064407/21108288814129232*c_1001_16 + 131917896248084303/10554144407064616*c_1100_0^17 - 632698986523199289/2638536101766154*c_1100_0^16 + 4127013422944709921/5277072203532308*c_1100_0^15 + 9078062586531911551/21108288814129232*c_1100_0^14 - 32696661495369844483/10554144407064616*c_1100_0^13 - 58907888571510373551/21108288814129232*c_1100_0^12 + 27677568344856002489/5277072203532308*c_1100_0^11 + 217084856827865500269/21108288814129232*c_1100_0^10 + 19306364978707972027/10554144407064616*c_1100_0^9 - 189910362539098350113/21108288814129232*c_1100_0^8 - 101690668672584995177/10554144407064616*c_1100_0^7 - 30394354375977344277/5277072203532308*c_1100_0^6 - 58557190989949721465/10554144407064616*c_1100_0^5 - 8409223383529697583/1319268050883077*c_1100_0^4 - 49671240602508205783/10554144407064616*c_1100_0^3 - 42396594416376808967/21108288814129232*c_1100_0^2 - 613322622520604651/1319268050883077*c_1100_0 - 829702202817916555/21108288814129232, c_0101_12 - 134921857750591343/10554144407064616*c_1001_16*c_1100_0^17 + 645133270010697573/2638536101766154*c_1001_16*c_1100_0^16 - 4142554610148556897/5277072203532308*c_1001_16*c_1100_0^15 - 10486526777409907839/21108288814129232*c_1001_16*c_1100_0^14 + 33556992556117142283/10554144407064616*c_1001_16*c_1100_0^13 + 64229851706877706127/21108288814129232*c_1001_16*c_1100_0^12 - 28141069144118494369/5277072203532308*c_1001_16*c_1100_0^11 - 229811228834081945405/21108288814129232*c_1001_16*c_1100_0^10 - 23483662890117640259/10554144407064616*c_1001_16*c_1100_0^9 + 198511845554197450913/21108288814129232*c_1001_16*c_1100_0^8 + 108619750970909185385/10554144407064616*c_1001_16*c_1100_0^7 + 32226701364359842197/5277072203532308*c_1001_16*c_1100_0^6 + 61285182508853587441/10554144407064616*c_1001_16*c_1100_0^5 + 8905588334971159318/1319268050883077*c_1001_16*c_1100_0^4 + 53014429021366868103/10554144407064616*c_1001_16*c_1100_0^3 + 45545322689171618823/21108288814129232*c_1001_16*c_1100_0^2 + 663357098732150651/1319268050883077*c_1001_16*c_1100_0 + 935123749564641131/21108288814129232*c_1001_16 - 33049350628045387/5277072203532308*c_1100_0^17 + 1266847005513124511/10554144407064616*c_1100_0^16 - 4109656906865396275/10554144407064616*c_1100_0^15 - 1200089672810149089/5277072203532308*c_1100_0^14 + 33048140100513810045/21108288814129232*c_1100_0^13 + 30085689139212763415/21108288814129232*c_1100_0^12 - 7020628341051495765/2638536101766154*c_1100_0^11 - 6883868156749583445/1319268050883077*c_1100_0^10 - 18944220804467982355/21108288814129232*c_1100_0^9 + 97385174011090891221/21108288814129232*c_1100_0^8 + 6407532077672508397/1319268050883077*c_1100_0^7 + 29853579679996191703/10554144407064616*c_1100_0^6 + 3630498698043547108/1319268050883077*c_1100_0^5 + 8455644236845996809/2638536101766154*c_1100_0^4 + 24766480290757573781/10554144407064616*c_1100_0^3 + 10340811240291932191/10554144407064616*c_1100_0^2 + 4536708362550687787/21108288814129232*c_1100_0 + 328598025955008319/21108288814129232, c_0101_13 + 141065407751142703/10554144407064616*c_1100_0^17 - 676816153996344173/2638536101766154*c_1100_0^16 + 4422068931604166569/5277072203532308*c_1100_0^15 + 9625273124963914559/21108288814129232*c_1100_0^14 - 35079779975451840283/10554144407064616*c_1100_0^13 - 62427280077979042879/21108288814129232*c_1100_0^12 + 29829721145096828897/5277072203532308*c_1100_0^11 + 231223674657056518349/21108288814129232*c_1100_0^10 + 19320900695111677635/10554144407064616*c_1100_0^9 - 203940482033590885617/21108288814129232*c_1100_0^8 - 107574780143146969449/10554144407064616*c_1100_0^7 - 31878995999393165209/5277072203532308*c_1100_0^6 - 62123395176959517817/10554144407064616*c_1100_0^5 - 8930847361885208855/1319268050883077*c_1100_0^4 - 52349957441031303431/10554144407064616*c_1100_0^3 - 44274256640054127911/21108288814129232*c_1100_0^2 - 633287222920437211/1319268050883077*c_1100_0 - 848853800253085515/21108288814129232, c_0101_14 + 72348252746363967/5277072203532308*c_1001_16*c_1100_0^17 - 2772776172336483351/10554144407064616*c_1001_16*c_1100_0^16 + 1123497681277967857/1319268050883077*c_1001_16*c_1100_0^15 + 2635812240888097533/5277072203532308*c_1001_16*c_1100_0^14 - 72245327123752216915/21108288814129232*c_1001_16*c_1100_0^13 - 32993954497168518995/10554144407064616*c_1001_16*c_1100_0^12 + 15298944829984316397/2638536101766154*c_1001_16*c_1100_0^11 + 120485105913822319235/10554144407064616*c_1001_16*c_1100_0^10 + 42904926919693607309/21108288814129232*c_1001_16*c_1100_0^9 - 105747203101537047147/10554144407064616*c_1001_16*c_1100_0^8 - 56190899747850142315/5277072203532308*c_1001_16*c_1100_0^7 - 66447609824815206039/10554144407064616*c_1001_16*c_1100_0^6 - 32257643219414721963/5277072203532308*c_1001_16*c_1100_0^5 - 74476172793876754035/10554144407064616*c_1001_16*c_1100_0^4 - 54729714446986939331/10554144407064616*c_1001_16*c_1100_0^3 - 11617981165565995265/5277072203532308*c_1001_16*c_1100_0^2 - 10685337972186726855/21108288814129232*c_1001_16*c_1100_0 - 462213565625668235/10554144407064616*c_1001_16 + 13965660777613479/5277072203532308*c_1100_0^17 - 273171998908999395/5277072203532308*c_1100_0^16 + 976290915677024125/5277072203532308*c_1100_0^15 + 234910740120924751/10554144407064616*c_1100_0^14 - 7064349572999477777/10554144407064616*c_1100_0^13 - 431456193567989098/1319268050883077*c_1100_0^12 + 13028644496610062271/10554144407064616*c_1100_0^11 + 8865004023337647593/5277072203532308*c_1100_0^10 - 667420022910383715/2638536101766154*c_1100_0^9 - 4620749221798715265/2638536101766154*c_1100_0^8 - 1750330697049932448/1319268050883077*c_1100_0^7 - 8034143142170379745/10554144407064616*c_1100_0^6 - 10054245688293681469/10554144407064616*c_1100_0^5 - 10632024563437286279/10554144407064616*c_1100_0^4 - 1649819054003480795/2638536101766154*c_1100_0^3 - 1163359574204770151/5277072203532308*c_1100_0^2 - 421103811571999253/10554144407064616*c_1100_0 - 3742494834283243/2638536101766154, c_0101_16 - 86856096119585835/5277072203532308*c_1001_16*c_1100_0^17 + 1666396657601105167/5277072203532308*c_1001_16*c_1100_0^16 - 10867985382778551567/10554144407064616*c_1001_16*c_1100_0^15 - 6059385647331467841/10554144407064616*c_1001_16*c_1100_0^14 + 21714232257622817233/5277072203532308*c_1001_16*c_1100_0^13 + 77288797433194224223/21108288814129232*c_1001_16*c_1100_0^12 - 37064117211646494363/5277072203532308*c_1001_16*c_1100_0^11 - 71484491937619563419/5277072203532308*c_1001_16*c_1100_0^10 - 11435714640187279303/5277072203532308*c_1001_16*c_1100_0^9 + 254293790550011471449/21108288814129232*c_1001_16*c_1100_0^8 + 66107637120470405045/5277072203532308*c_1001_16*c_1100_0^7 + 38565358142207968981/5277072203532308*c_1001_16*c_1100_0^6 + 37966771244697711427/5277072203532308*c_1001_16*c_1100_0^5 + 87921803641445298379/10554144407064616*c_1001_16*c_1100_0^4 + 15985696239374020223/2638536101766154*c_1001_16*c_1100_0^3 + 13323199511972529457/5277072203532308*c_1001_16*c_1100_0^2 + 5961247484416162313/10554144407064616*c_1001_16*c_1100_0 + 959063919271195175/21108288814129232*c_1001_16 + 121339501611724653/10554144407064616*c_1100_0^17 - 1162067302734704225/5277072203532308*c_1100_0^16 + 3758337708683366869/5277072203532308*c_1100_0^15 + 8977938450858566701/21108288814129232*c_1100_0^14 - 7561386527752035273/2638536101766154*c_1100_0^13 - 56043477928542000217/21108288814129232*c_1100_0^12 + 51190051906338215291/10554144407064616*c_1100_0^11 + 203440567418817723959/21108288814129232*c_1100_0^10 + 18686693165236641279/10554144407064616*c_1100_0^9 - 178148768884540452135/21108288814129232*c_1100_0^8 - 23794351253100244983/2638536101766154*c_1100_0^7 - 56008771892918883747/10554144407064616*c_1100_0^6 - 54172450170763301239/10554144407064616*c_1100_0^5 - 62829057000289095299/10554144407064616*c_1100_0^4 - 46261982819541013599/10554144407064616*c_1100_0^3 - 39213301768001444373/21108288814129232*c_1100_0^2 - 2244112138849742131/5277072203532308*c_1100_0 - 758244879618876339/21108288814129232, c_0101_7 - 13495187052860007/10554144407064616*c_1100_0^17 + 126250418222782501/5277072203532308*c_1100_0^16 - 717434601002670253/10554144407064616*c_1100_0^15 - 1892621642866134435/21108288814129232*c_1100_0^14 + 3411665295114150919/10554144407064616*c_1100_0^13 + 582762180953642029/1319268050883077*c_1100_0^12 - 1331538892151840547/2638536101766154*c_1100_0^11 - 28754270923905068159/21108288814129232*c_1100_0^10 - 5171308029552820891/10554144407064616*c_1100_0^9 + 2900696889426740907/2638536101766154*c_1100_0^8 + 14466995146975966793/10554144407064616*c_1100_0^7 + 1006643907077217527/1319268050883077*c_1100_0^6 + 6839751490414856661/10554144407064616*c_1100_0^5 + 8799241238929244371/10554144407064616*c_1100_0^4 + 6917781328260808117/10554144407064616*c_1100_0^3 + 5891817421102335933/21108288814129232*c_1100_0^2 + 626251828786199481/10554144407064616*c_1100_0 + 21228742895597335/5277072203532308, c_0110_16 + 72348252746363967/5277072203532308*c_1001_16*c_1100_0^17 - 2772776172336483351/10554144407064616*c_1001_16*c_1100_0^16 + 1123497681277967857/1319268050883077*c_1001_16*c_1100_0^15 + 2635812240888097533/5277072203532308*c_1001_16*c_1100_0^14 - 72245327123752216915/21108288814129232*c_1001_16*c_1100_0^13 - 32993954497168518995/10554144407064616*c_1001_16*c_1100_0^12 + 15298944829984316397/2638536101766154*c_1001_16*c_1100_0^11 + 120485105913822319235/10554144407064616*c_1001_16*c_1100_0^10 + 42904926919693607309/21108288814129232*c_1001_16*c_1100_0^9 - 105747203101537047147/10554144407064616*c_1001_16*c_1100_0^8 - 56190899747850142315/5277072203532308*c_1001_16*c_1100_0^7 - 66447609824815206039/10554144407064616*c_1001_16*c_1100_0^6 - 32257643219414721963/5277072203532308*c_1001_16*c_1100_0^5 - 74476172793876754035/10554144407064616*c_1001_16*c_1100_0^4 - 54729714446986939331/10554144407064616*c_1001_16*c_1100_0^3 - 11617981165565995265/5277072203532308*c_1001_16*c_1100_0^2 - 10685337972186726855/21108288814129232*c_1001_16*c_1100_0 - 462213565625668235/10554144407064616*c_1001_16 + 46643271319996741/10554144407064616*c_1100_0^17 - 224275263643875961/2638536101766154*c_1100_0^16 + 1480847009306138807/5277072203532308*c_1100_0^15 + 2935933191856010073/21108288814129232*c_1100_0^14 - 11658691968225148809/10554144407064616*c_1100_0^13 - 19695344614923091969/21108288814129232*c_1100_0^12 + 20158927893319595221/10554144407064616*c_1100_0^11 + 74815042002331406407/21108288814129232*c_1100_0^10 + 4776049111697880293/10554144407064616*c_1100_0^9 - 67938445413934988545/21108288814129232*c_1100_0^8 - 34092682777531938577/10554144407064616*c_1100_0^7 - 19552366103346127059/10554144407064616*c_1100_0^6 - 19756039824609612991/10554144407064616*c_1100_0^5 - 5719387068929264049/2638536101766154*c_1100_0^4 - 8177340048028060273/5277072203532308*c_1100_0^3 - 13245267340970724051/21108288814129232*c_1100_0^2 - 1437647669690707335/10554144407064616*c_1100_0 - 217719289439661773/21108288814129232, c_1001_0 + 37605481914834701/10554144407064616*c_1001_16*c_1100_0^17 - 358728647759653759/5277072203532308*c_1001_16*c_1100_0^16 + 1137515075822069751/5277072203532308*c_1001_16*c_1100_0^15 + 3138448873039047705/21108288814129232*c_1001_16*c_1100_0^14 - 4626490967606721575/5277072203532308*c_1001_16*c_1100_0^13 - 19029267573720386913/21108288814129232*c_1001_16*c_1100_0^12 + 7667792656394638557/5277072203532308*c_1001_16*c_1100_0^11 + 66125973832320411835/21108288814129232*c_1001_16*c_1100_0^10 + 7987475174857317739/10554144407064616*c_1001_16*c_1100_0^9 - 55847060896123704549/21108288814129232*c_1001_16*c_1100_0^8 - 7983368297209336407/2638536101766154*c_1001_16*c_1100_0^7 - 9457966529467749529/5277072203532308*c_1001_16*c_1100_0^6 - 17434814893653173195/10554144407064616*c_1001_16*c_1100_0^5 - 20538956401850687795/10554144407064616*c_1001_16*c_1100_0^4 - 7781252277810128251/5277072203532308*c_1001_16*c_1100_0^3 - 13521164758346260931/21108288814129232*c_1001_16*c_1100_0^2 - 1573072933663421091/10554144407064616*c_1001_16*c_1100_0 - 257873936681064407/21108288814129232*c_1001_16 + 81113730565190681/10554144407064616*c_1100_0^17 - 777789089525158619/5277072203532308*c_1100_0^16 + 5060403768424610531/10554144407064616*c_1100_0^15 + 5816768052296442837/21108288814129232*c_1100_0^14 - 20411138404150633833/10554144407064616*c_1100_0^13 - 9071386780679849189/5277072203532308*c_1100_0^12 + 4368459636759149130/1319268050883077*c_1100_0^11 + 133980377160482143449/21108288814129232*c_1100_0^10 + 2562469473920912321/2638536101766154*c_1100_0^9 - 59941160110421372305/10554144407064616*c_1100_0^8 - 30738964527205086085/5277072203532308*c_1100_0^7 - 8884669785470220531/2638536101766154*c_1100_0^6 - 35481555862471652885/10554144407064616*c_1100_0^5 - 5138480889552436863/1319268050883077*c_1100_0^4 - 14827463987850857433/5277072203532308*c_1100_0^3 - 24577824763907781465/21108288814129232*c_1100_0^2 - 2738117441522715775/10554144407064616*c_1100_0 - 224690023035376137/10554144407064616, c_1001_15 + 73802107314282721/5277072203532308*c_1001_16*c_1100_0^17 - 2837510530756550541/10554144407064616*c_1001_16*c_1100_0^16 + 1168183966663548644/1319268050883077*c_1001_16*c_1100_0^15 + 592143108597904163/1319268050883077*c_1001_16*c_1100_0^14 - 73789400999580103237/21108288814129232*c_1001_16*c_1100_0^13 - 31335368430295596551/10554144407064616*c_1001_16*c_1100_0^12 + 63368358809843173851/10554144407064616*c_1001_16*c_1100_0^11 + 14819439279275901351/1319268050883077*c_1001_16*c_1100_0^10 + 32919240326601309891/21108288814129232*c_1001_16*c_1100_0^9 - 26624697179638223087/2638536101766154*c_1001_16*c_1100_0^8 - 108645976664711060329/10554144407064616*c_1001_16*c_1100_0^7 - 15949844867089384481/2638536101766154*c_1001_16*c_1100_0^6 - 63628524097289725165/10554144407064616*c_1001_16*c_1100_0^5 - 72909582507162674401/10554144407064616*c_1001_16*c_1100_0^4 - 6580003052568745529/1319268050883077*c_1001_16*c_1100_0^3 - 10936803882398633191/5277072203532308*c_1001_16*c_1100_0^2 - 9792251678242316437/21108288814129232*c_1001_16*c_1100_0 - 195958078859868011/5277072203532308*c_1001_16 - c_1100_0, c_1001_16^2 - 115076105225240633/10554144407064616*c_1001_16*c_1100_0^1\ 7 + 1108886557062861913/5277072203532308*c_1001_16*c_1100_0^16 - 7401323602659590679/10554144407064616*c_1001_16*c_1100_0^15 - 6355713417206782465/21108288814129232*c_1001_16*c_1100_0^14 + 28320624614968470747/10554144407064616*c_1001_16*c_1100_0^13 + 11575468397695197015/5277072203532308*c_1001_16*c_1100_0^12 - 48482677814282639579/10554144407064616*c_1001_16*c_1100_0^11 - 179513420681865203733/21108288814129232*c_1001_16*c_1100_0^10 - 1557115841664092250/1319268050883077*c_1001_16*c_1100_0^9 + 39919751711269294419/5277072203532308*c_1001_16*c_1100_0^8 + 41569966981622698149/5277072203532308*c_1001_16*c_1100_0^7 + 50498122647908048895/10554144407064616*c_1001_16*c_1100_0^6 + 49338798375018084089/10554144407064616*c_1001_16*c_1100_0^5 + 27840676154801069165/5277072203532308*c_1001_16*c_1100_0^4 + 40715518953892007405/10554144407064616*c_1001_16*c_1100_0^3 + 34584315713289174187/21108288814129232*c_1001_16*c_1100_0^2 + 496249736745495807/1319268050883077*c_1001_16*c_1100_0 + 325552944191037101/10554144407064616*c_1001_16 + 47571007265851169/10554144407064616*c_1100_0^17 - 113898410119884599/1319268050883077*c_1100_0^16 + 2945748169849786431/10554144407064616*c_1100_0^15 + 3576368979553793897/21108288814129232*c_1100_0^14 - 5994511377421052397/5277072203532308*c_1100_0^13 - 1357204240272933752/1319268050883077*c_1100_0^12 + 10169520468882925123/5277072203532308*c_1100_0^11 + 79387785355640215501/21108288814129232*c_1100_0^10 + 6751152930060242499/10554144407064616*c_1100_0^9 - 35099716081644177121/10554144407064616*c_1100_0^8 - 4592220832384964625/1319268050883077*c_1100_0^7 - 5396777098408958171/2638536101766154*c_1100_0^6 - 21172922583432247211/10554144407064616*c_1100_0^5 - 12216856131205405959/5277072203532308*c_1100_0^4 - 8931965980532452535/5277072203532308*c_1100_0^3 - 15058449399658968477/21108288814129232*c_1100_0^2 - 214053995564766494/1319268050883077*c_1100_0 - 144478289589149813/10554144407064616, c_1100_0^18 - 19*c_1100_0^17 + 59*c_1100_0^16 + 93/2*c_1100_0^15 - 487/2*c_1100_0^14 - 269*c_1100_0^13 + 771/2*c_1100_0^12 + 1805/2*c_1100_0^11 + 569/2*c_1100_0^10 - 708*c_1100_0^9 - 1795/2*c_1100_0^8 - 585*c_1100_0^7 - 519*c_1100_0^6 - 587*c_1100_0^5 - 462*c_1100_0^4 - 443/2*c_1100_0^3 - 125/2*c_1100_0^2 - 9*c_1100_0 - 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 13094.030 Total time: 13094.379 seconds, Total memory usage: 23361.25MB