Magma V2.19-8 Sat Sep 14 2013 20:56:56 on localhost [Seed = 2082155421] Type ? for help. Type -D to quit. Loading file "11_365__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_365 geometric_solution 16.14429937 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 17 1 2 3 1 0132 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.361519007655 0.907278942532 0 0 5 4 0132 1302 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 0 -1 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.620990091542 0.951174631690 6 0 3 7 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 0 0 0 0 0 0 0 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.440435861665 0.976035583389 2 8 9 0 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.676192955989 0.481633741917 7 10 1 10 3120 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 1 -1 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.384223079872 0.770507733344 11 11 12 1 0132 1230 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.528975452218 0.569774532282 2 8 11 13 0132 1023 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.684535267434 0.930847669549 14 8 2 4 0132 0213 0132 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 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.235897487055 0.969767563806 6 3 7 14 1023 0132 0213 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.881217168535 0.413850476316 13 12 10 3 0132 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.513902048011 0.813539921815 4 4 15 9 3012 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 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.632953127028 0.791999932570 5 16 5 6 0132 0132 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.124876482136 0.942620476980 14 13 9 5 3120 1302 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.633740029557 1.415501271667 9 15 6 12 0132 3201 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.570817994185 1.277898708145 7 16 8 12 0132 1230 2031 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 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.388397078444 0.759915678529 16 16 13 10 3120 1023 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -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.544438983892 0.536507593998 15 11 14 15 1023 0132 3012 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 -1 1 0 0 0 0 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.919626298825 1.083030539303 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_15' : negation(d['c_0011_12']), 'c_1001_14' : d['c_0101_15'], 'c_1001_16' : negation(d['c_0011_14']), 'c_1001_11' : d['c_0011_11'], 'c_1001_10' : d['c_0101_10'], 'c_1001_13' : negation(d['c_0101_15']), 'c_1001_12' : d['c_0011_13'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_0011_14']), 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_12'], 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : negation(d['c_0110_10']), 'c_1001_8' : d['c_1001_0'], 'c_1010_13' : d['c_0011_12'], 'c_1010_12' : d['c_1001_5'], 'c_1010_11' : negation(d['c_0011_14']), 'c_1010_10' : d['c_1001_4'], 'c_1010_16' : d['c_0011_11'], 'c_1010_15' : d['c_0101_10'], 'c_1010_14' : negation(d['c_0011_12']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_0_14' : d['1'], 's_0_15' : d['1'], 's_0_16' : d['1'], 's_3_16' : d['1'], 'c_0101_13' : d['c_0101_13'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_1'], 'c_0101_10' : d['c_0101_10'], 'c_0101_16' : negation(d['c_0011_12']), 'c_0101_15' : d['c_0101_15'], 'c_0101_14' : d['c_0011_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_2_16' : d['1'], 's_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' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_15' : negation(d['c_0011_11']), 'c_0011_14' : d['c_0011_14'], 'c_0011_16' : negation(d['c_0011_11']), 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0110_10'], 'c_1100_4' : d['c_0110_10'], 'c_1100_7' : negation(d['c_0101_0']), 'c_1100_6' : negation(d['c_1001_5']), 'c_1100_1' : d['c_0110_10'], 'c_1100_0' : negation(d['c_1001_4']), 'c_1100_3' : negation(d['c_1001_4']), 'c_1100_2' : negation(d['c_0101_0']), 'c_1100_15' : d['c_0011_13'], 's_3_11' : d['1'], 'c_1100_16' : negation(d['c_0101_15']), 'c_1100_11' : negation(d['c_1001_5']), 'c_1100_10' : d['c_0011_13'], 'c_1100_13' : negation(d['c_1001_5']), 's_3_10' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : d['c_0011_10'], 'c_1010_6' : negation(d['c_0101_15']), 'c_1010_5' : d['c_0101_1'], 's_0_13' : d['1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_4'], 'c_1100_14' : negation(d['c_0101_12']), 's_2_8' : d['1'], 'c_1010_9' : d['c_0101_12'], 's_3_14' : d['1'], 'c_1100_8' : d['c_0011_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' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0110_10'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : 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' : negation(d['c_0011_13']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : negation(d['c_0011_14']), 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_5'], 'c_0110_10' : d['c_0110_10'], 'c_0110_13' : d['c_0011_13'], 'c_0110_12' : d['c_0101_5'], 'c_0110_15' : d['c_0101_10'], 'c_0110_14' : d['c_0101_5'], 'c_0110_16' : d['c_0101_10'], 'c_1010_4' : d['c_0101_10'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_1010_0' : negation(d['c_0011_0']), 's_0_8' : d['1'], 's_2_15' : d['1'], 's_3_15' : d['1'], 'c_1010_8' : d['c_0101_12'], 'c_0101_7' : d['c_0101_5'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_13'], 'c_0101_2' : d['c_0101_13'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_13'], 'c_0101_8' : negation(d['c_0011_14']), 's_1_16' : d['1'], 's_1_15' : d['1'], 's_1_14' : d['1'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_13'], 'c_0110_8' : negation(d['c_0101_15']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_1001_4']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_10'], 'c_0110_7' : d['c_0011_10'], 'c_0110_6' : d['c_0101_13']})} 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_13, c_0011_14, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_13, c_0101_15, c_0101_5, c_0110_10, c_1001_0, c_1001_4, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 19830919790963591287/105029441657647045*c_1001_5^13 + 7603747976291376229/45012617853277305*c_1001_5^12 - 49239355751650580863/28644393179358285*c_1001_5^11 - 359953269393399796973/315088324972941135*c_1001_5^10 + 2422991318168408968879/315088324972941135*c_1001_5^9 + 1414396394890486665221/315088324972941135*c_1001_5^8 - 416081056117223813968/21005888331529409*c_1001_5^7 - 2153878992875648548087/315088324972941135*c_1001_5^6 + 3705382099007833810376/105029441657647045*c_1001_5^5 + 994944288750950639672/315088324972941135*c_1001_5^4 - 7829828998740952825649/315088324972941135*c_1001_5^3 + 1195112835928706656592/45012617853277305*c_1001_5^2 + 1885898334567480731965/63017664994588227*c_1001_5 - 359701115819662950038/315088324972941135, c_0011_0 - 1, c_0011_10 - 2254677689915/38971963509331*c_1001_5^13 - 224624717218/38971963509331*c_1001_5^12 + 20628243466329/38971963509331*c_1001_5^11 - 2457649586652/38971963509331*c_1001_5^10 - 88725442770988/38971963509331*c_1001_5^9 + 14109895640071/38971963509331*c_1001_5^8 + 219114015382432/38971963509331*c_1001_5^7 - 79993773498454/38971963509331*c_1001_5^6 - 335842913520223/38971963509331*c_1001_5^5 + 197019933461090/38971963509331*c_1001_5^4 + 98082048136463/38971963509331*c_1001_5^3 - 341641961371152/38971963509331*c_1001_5^2 - 61958883031516/38971963509331*c_1001_5 + 31144806179714/38971963509331, c_0011_11 + 1837437959047/38971963509331*c_1001_5^13 + 3032460327555/38971963509331*c_1001_5^12 - 17071873676052/38971963509331*c_1001_5^11 - 23512998259691/38971963509331*c_1001_5^10 + 80904295843000/38971963509331*c_1001_5^9 + 95102114542427/38971963509331*c_1001_5^8 - 220759332307635/38971963509331*c_1001_5^7 - 190543308487207/38971963509331*c_1001_5^6 + 439132171491493/38971963509331*c_1001_5^5 + 211938180947163/38971963509331*c_1001_5^4 - 421804969092377/38971963509331*c_1001_5^3 + 234267264511686/38971963509331*c_1001_5^2 + 489398580723593/38971963509331*c_1001_5 + 20995311244501/38971963509331, c_0011_12 - 622249333079/38971963509331*c_1001_5^13 - 1675757599443/38971963509331*c_1001_5^12 + 5793160398260/38971963509331*c_1001_5^11 + 13630932898633/38971963509331*c_1001_5^10 - 28568723974235/38971963509331*c_1001_5^9 - 56246872656342/38971963509331*c_1001_5^8 + 77758015169463/38971963509331*c_1001_5^7 + 124063770522521/38971963509331*c_1001_5^6 - 158376755309240/38971963509331*c_1001_5^5 - 159937667282602/38971963509331*c_1001_5^4 + 153473777895274/38971963509331*c_1001_5^3 - 63765692569963/38971963509331*c_1001_5^2 - 211126551624297/38971963509331*c_1001_5 - 14047465302079/38971963509331, c_0011_13 + 736947897653/38971963509331*c_1001_5^13 + 1211077428780/38971963509331*c_1001_5^12 - 6707648071876/38971963509331*c_1001_5^11 - 9071570852708/38971963509331*c_1001_5^10 + 30306718994824/38971963509331*c_1001_5^9 + 35224628343417/38971963509331*c_1001_5^8 - 75796016868142/38971963509331*c_1001_5^7 - 65189224356545/38971963509331*c_1001_5^6 + 135945533958144/38971963509331*c_1001_5^5 + 63205135143072/38971963509331*c_1001_5^4 - 89600422521572/38971963509331*c_1001_5^3 + 103178387723697/38971963509331*c_1001_5^2 + 124242149729364/38971963509331*c_1001_5 - 5550196712218/38971963509331, c_0011_14 - 210190704244/38971963509331*c_1001_5^13 + 1515643423386/38971963509331*c_1001_5^12 + 1712279058853/38971963509331*c_1001_5^11 - 13806359815397/38971963509331*c_1001_5^10 - 3315185620748/38971963509331*c_1001_5^9 + 56888172864953/38971963509331*c_1001_5^8 - 2315157477470/38971963509331*c_1001_5^7 - 135155188118122/38971963509331*c_1001_5^6 + 54686383197477/38971963509331*c_1001_5^5 + 185866423342036/38971963509331*c_1001_5^4 - 173350300689462/38971963509331*c_1001_5^3 + 7860350254847/38971963509331*c_1001_5^2 + 242156782744266/38971963509331*c_1001_5 - 25071387704539/38971963509331, c_0101_0 + 675880408219/38971963509331*c_1001_5^13 + 1921086652609/38971963509331*c_1001_5^12 - 6715675009592/38971963509331*c_1001_5^11 - 15293603330393/38971963509331*c_1001_5^10 + 34752654651019/38971963509331*c_1001_5^9 + 60187206703320/38971963509331*c_1001_5^8 - 100413356860485/38971963509331*c_1001_5^7 - 122630690342319/38971963509331*c_1001_5^6 + 219746644270858/38971963509331*c_1001_5^5 + 127828637415264/38971963509331*c_1001_5^4 - 248875255755104/38971963509331*c_1001_5^3 + 162431436637426/38971963509331*c_1001_5^2 + 252710629747782/38971963509331*c_1001_5 - 27131514939925/38971963509331, c_0101_1 - 795954367936/38971963509331*c_1001_5^13 - 1112871585990/38971963509331*c_1001_5^12 + 7736537355566/38971963509331*c_1001_5^11 + 7985055138409/38971963509331*c_1001_5^10 - 37360842287343/38971963509331*c_1001_5^9 - 30446036008884/38971963509331*c_1001_5^8 + 103427114529637/38971963509331*c_1001_5^7 + 54808179112916/38971963509331*c_1001_5^6 - 204704170700682/38971963509331*c_1001_5^5 - 45480802139502/38971963509331*c_1001_5^4 + 194047616418491/38971963509331*c_1001_5^3 - 131362989719621/38971963509331*c_1001_5^2 - 181792260149622/38971963509331*c_1001_5 + 12721083240841/38971963509331, c_0101_10 - 1074948408791/38971963509331*c_1001_5^13 - 273283021990/38971963509331*c_1001_5^12 + 9630070200388/38971963509331*c_1001_5^11 - 98229289136/38971963509331*c_1001_5^10 - 41045664052787/38971963509331*c_1001_5^9 + 3599489790405/38971963509331*c_1001_5^8 + 101169966742846/38971963509331*c_1001_5^7 - 36895951715536/38971963509331*c_1001_5^6 - 160832887991647/38971963509331*c_1001_5^5 + 104265075058599/38971963509331*c_1001_5^4 + 53914995623896/38971963509331*c_1001_5^3 - 204427698685314/38971963509331*c_1001_5^2 - 69864425334097/38971963509331*c_1001_5 + 16247869658131/38971963509331, c_0101_12 + 2994097178503/38971963509331*c_1001_5^13 + 3109459741007/38971963509331*c_1001_5^12 - 27533960829017/38971963509331*c_1001_5^11 - 21520290875082/38971963509331*c_1001_5^10 + 124657282861890/38971963509331*c_1001_5^9 + 84436254590774/38971963509331*c_1001_5^8 - 324235440454311/38971963509331*c_1001_5^7 - 139438441244502/38971963509331*c_1001_5^6 + 591273769309942/38971963509331*c_1001_5^5 + 89827787807848/38971963509331*c_1001_5^4 - 439551124145810/38971963509331*c_1001_5^3 + 426890382587012/38971963509331*c_1001_5^2 + 527639649949701/38971963509331*c_1001_5 + 2724037893783/38971963509331, c_0101_13 + 2023403692587/38971963509331*c_1001_5^13 + 2105114503252/38971963509331*c_1001_5^12 - 18406916841821/38971963509331*c_1001_5^11 - 14995842800686/38971963509331*c_1001_5^10 + 82830625798953/38971963509331*c_1001_5^9 + 59362626358539/38971963509331*c_1001_5^8 - 213453546805122/38971963509331*c_1001_5^7 - 97406114955419/38971963509331*c_1001_5^6 + 382468387578003/38971963509331*c_1001_5^5 + 64151242759934/38971963509331*c_1001_5^4 - 276840990731852/38971963509331*c_1001_5^3 + 293141109529012/38971963509331*c_1001_5^2 + 336220854514976/38971963509331*c_1001_5 - 7342511796945/38971963509331, c_0101_15 + 1585997704259/38971963509331*c_1001_5^13 + 3021315340848/38971963509331*c_1001_5^12 - 14222766320114/38971963509331*c_1001_5^11 - 23677647804851/38971963509331*c_1001_5^10 + 66327758691311/38971963509331*c_1001_5^9 + 96378734170111/38971963509331*c_1001_5^8 - 176281271004151/38971963509331*c_1001_5^7 - 196745196031455/38971963509331*c_1001_5^6 + 350792643788491/38971963509331*c_1001_5^5 + 234495933169265/38971963509331*c_1001_5^4 - 331320076777946/38971963509331*c_1001_5^3 + 188624092495332/38971963509331*c_1001_5^2 + 484334578843694/38971963509331*c_1001_5 + 36012321725801/38971963509331, c_0101_5 - 2318216770284/38971963509331*c_1001_5^13 - 1188373088398/38971963509331*c_1001_5^12 + 20818285819425/38971963509331*c_1001_5^11 + 6226687544689/38971963509331*c_1001_5^10 - 89904628210871/38971963509331*c_1001_5^9 - 24249047887454/38971963509331*c_1001_5^8 + 223822083593826/38971963509331*c_1001_5^7 + 16807750902183/38971963509331*c_1001_5^6 - 371527125039084/38971963509331*c_1001_5^5 + 38000849607416/38971963509331*c_1001_5^4 + 190675868390706/38971963509331*c_1001_5^3 - 264458945949586/38971963509331*c_1001_5^2 - 274929020201919/38971963509331*c_1001_5 - 29855552833708/38971963509331, c_0110_10 - 2143477652304/38971963509331*c_1001_5^13 - 1296899436633/38971963509331*c_1001_5^12 + 19427779187795/38971963509331*c_1001_5^11 + 7687294608702/38971963509331*c_1001_5^10 - 85438813435277/38971963509331*c_1001_5^9 - 29621455664103/38971963509331*c_1001_5^8 + 216467304474274/38971963509331*c_1001_5^7 + 29583603726016/38971963509331*c_1001_5^6 - 367425914007827/38971963509331*c_1001_5^5 + 18196592515828/38971963509331*c_1001_5^4 + 222013351395239/38971963509331*c_1001_5^3 - 262072662611207/38971963509331*c_1001_5^2 - 265302484916816/38971963509331*c_1001_5 - 7067919902139/38971963509331, c_1001_0 + 1286455794934/38971963509331*c_1001_5^13 + 894037074472/38971963509331*c_1001_5^12 - 11699268769945/38971963509331*c_1001_5^11 - 5924271947978/38971963509331*c_1001_5^10 + 52523906804129/38971963509331*c_1001_5^9 + 24137998015122/38971963509331*c_1001_5^8 - 137657529936980/38971963509331*c_1001_5^7 - 32216890598874/38971963509331*c_1001_5^6 + 246522853619859/38971963509331*c_1001_5^5 + 946107616862/38971963509331*c_1001_5^4 - 187240568210280/38971963509331*c_1001_5^3 + 189962721805315/38971963509331*c_1001_5^2 + 211978704785612/38971963509331*c_1001_5 - 40764278594058/38971963509331, c_1001_4 - 1347523284368/38971963509331*c_1001_5^13 - 184027850643/38971963509331*c_1001_5^12 + 11691241832229/38971963509331*c_1001_5^11 - 297760529707/38971963509331*c_1001_5^10 - 48077971147934/38971963509331*c_1001_5^9 + 824580344781/38971963509331*c_1001_5^8 + 113040189944637/38971963509331*c_1001_5^7 - 25224575386900/38971963509331*c_1001_5^6 - 162721743307145/38971963509331*c_1001_5^5 + 63677394655330/38971963509331*c_1001_5^4 + 27965734976748/38971963509331*c_1001_5^3 - 130709672891586/38971963509331*c_1001_5^2 - 83510224767194/38971963509331*c_1001_5 - 19789003142980/38971963509331, c_1001_5^14 + c_1001_5^13 - 9*c_1001_5^12 - 7*c_1001_5^11 + 40*c_1001_5^10 + 28*c_1001_5^9 - 102*c_1001_5^8 - 47*c_1001_5^7 + 182*c_1001_5^6 + 36*c_1001_5^5 - 128*c_1001_5^4 + 127*c_1001_5^3 + 172*c_1001_5^2 + 12*c_1001_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 19666.400 Total time: 19666.610 seconds, Total memory usage: 24243.44MB