Magma V2.19-8 Sat Sep 14 2013 04:11:30 on localhost [Seed = 2498944161] Type ? for help. Type -D to quit. Loading file "11_359__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_359 geometric_solution 15.50915660 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 17 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -8 0 8 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.566577182393 0.935246794305 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 -1 -7 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.828579244086 0.433864289108 5 0 7 8 3012 0132 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.935056435521 0.826009293710 9 10 11 0 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 -8 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.986196851485 1.578131830142 12 11 0 12 0132 3120 0132 2031 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 -1 1 7 0 0 -7 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.163001480672 0.787832673930 13 1 8 2 0132 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 0 0 0 0 1 -1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.481269476639 0.618514774064 12 11 1 7 3120 3201 0132 3120 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -7 0 7 0 -1 0 0 1 7 -8 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.636653903934 0.597232299884 6 2 14 1 3120 1230 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.647550358268 0.682491301266 14 10 2 5 1230 0213 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.455174087948 0.781094594882 3 15 16 10 0132 0132 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.380821285919 0.230007912109 9 3 8 11 3120 0132 0213 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 0.266418207486 0.752012902902 10 4 6 3 3120 3120 2310 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 -8 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.631760659949 0.597811359533 4 4 16 6 0132 1302 2103 3120 0 0 0 0 0 -1 0 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 -7 -7 0 0 7 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.748162951213 1.217200326785 5 16 16 15 0132 2103 1023 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.940840350724 1.198654650440 15 8 15 7 2310 3012 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.440998944541 0.866098413185 14 9 14 13 2031 0132 3201 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.440998944541 0.866098413185 12 13 13 9 2103 2103 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.940840350724 1.198654650440 ==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' : negation(d['c_0011_10']), 'c_1001_14' : negation(d['c_0011_8']), 'c_1001_16' : negation(d['c_0011_0']), 'c_1001_11' : d['c_0011_7'], 'c_1001_10' : d['c_1001_0'], 'c_1001_13' : d['c_0011_16'], 'c_1001_12' : d['c_0011_16'], 'c_1001_5' : negation(d['c_0101_11']), 'c_1001_4' : negation(d['c_0011_7']), 'c_1001_7' : negation(d['c_0101_8']), 'c_1001_6' : negation(d['c_0101_11']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_11']), 'c_1001_2' : negation(d['c_0011_7']), 'c_1001_9' : d['c_1001_9'], 'c_1001_8' : d['c_1001_0'], 'c_1010_13' : negation(d['c_1001_9']), 'c_1010_12' : negation(d['c_0011_6']), 'c_1010_11' : negation(d['c_0011_11']), 'c_1010_10' : negation(d['c_0011_11']), 'c_1010_16' : d['c_1001_9'], 'c_1010_15' : d['c_1001_9'], 'c_1010_14' : negation(d['c_0101_8']), '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_3_14' : d['1'], 's_0_16' : d['1'], 's_3_16' : d['1'], 'c_0101_13' : negation(d['c_0011_0']), 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_8'], 'c_0101_16' : d['c_0011_16'], '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_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' : d['1'], 's_0_1' : d['1'], 'c_0011_15' : negation(d['c_0011_10']), 'c_0011_14' : d['c_0011_14'], 'c_0011_16' : d['c_0011_16'], 'c_1100_9' : negation(d['c_0011_8']), 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : negation(d['c_0011_0']), 'c_0011_12' : negation(d['c_0011_11']), 'c_1100_5' : d['c_0101_8'], 'c_1100_4' : d['c_0011_6'], 'c_1100_7' : d['c_0101_15'], 'c_1100_6' : d['c_0101_15'], 'c_1100_1' : d['c_0101_15'], 'c_1100_0' : d['c_0011_6'], 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : d['c_0101_8'], 'c_1100_14' : d['c_0101_15'], 'c_1100_15' : negation(d['c_0011_14']), 's_0_10' : d['1'], 'c_1100_16' : negation(d['c_0011_8']), 'c_1100_11' : d['c_0011_6'], 'c_1100_10' : negation(d['c_0101_11']), 'c_1100_13' : d['c_0011_8'], 's_3_10' : d['1'], 's_0_12' : d['1'], 'c_1010_7' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0011_7']), 'c_1010_5' : d['c_0101_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_0101_11']), 'c_1010_0' : negation(d['c_0011_7']), 's_2_8' : d['1'], 'c_1010_9' : negation(d['c_0011_10']), 's_0_15' : d['1'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_0']), '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' : d['c_0011_10'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_11'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_6'], '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' : d['c_0101_3'], 'c_0110_10' : d['c_0101_3'], 'c_0110_13' : d['c_0011_14'], 'c_0110_12' : d['c_0101_1'], 'c_0110_15' : negation(d['c_0011_8']), 'c_0110_14' : negation(d['c_0101_15']), 'c_0110_16' : d['c_0101_0'], 'c_1010_4' : negation(d['c_0011_11']), 'c_0101_12' : d['c_0011_16'], 'c_0110_0' : d['c_0101_1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_3_15' : d['1'], 'c_1010_8' : negation(d['c_0101_11']), 'c_0101_7' : negation(d['c_0101_15']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_14'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], '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_8'], '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_3'], 'c_0110_8' : d['c_0011_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_8'], 'c_0110_5' : negation(d['c_0011_0']), 'c_0110_4' : d['c_0011_16'], 'c_0110_7' : d['c_0101_1'], 'c_1100_8' : d['c_0101_8']})} 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_14, c_0011_16, c_0011_6, c_0011_7, c_0011_8, c_0101_0, c_0101_1, c_0101_11, c_0101_15, c_0101_2, c_0101_3, c_0101_8, c_1001_0, c_1001_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 707463299068110178188641/6815918842825839142689832*c_1001_9^11 - 633182581301438399174591/973702691832262734669976*c_1001_9^10 + 4461594919940830256854441/1703979710706459785672458*c_1001_9^9 - 13004424191537742028993253/1703979710706459785672458*c_1001_9^8 + 50082067091271685755908593/3407959421412919571344916*c_1001_9^7 - 84180741013983087261681137/6815918842825839142689832*c_1001_9^6 - 103333228943535982991361847/6815918842825839142689832*c_1001_9^5 + 138092697254463511460394919/3407959421412919571344916*c_1001_9^4 + 5604634266737754940962635/6815918842825839142689832*c_1001_9^3 - 379964299622452761542875147/6815918842825839142689832*c_1001_9^2 + 4438297755649467025277897/973702691832262734669976*c_1001_9 + 330019562113698246900307331/6815918842825839142689832, c_0011_0 - 1, c_0011_10 + 12520299814051/106109336795801*c_1001_9^11 - 74070280304255/106109336795801*c_1001_9^10 + 296603993000334/106109336795801*c_1001_9^9 - 849627088005742/106109336795801*c_1001_9^8 + 1599871783279942/106109336795801*c_1001_9^7 - 1255716996739904/106109336795801*c_1001_9^6 - 1758532684604895/106109336795801*c_1001_9^5 + 4152843930243000/106109336795801*c_1001_9^4 + 385234315442006/106109336795801*c_1001_9^3 - 5358708041952404/106109336795801*c_1001_9^2 - 238209275193457/106109336795801*c_1001_9 + 4148819757822845/106109336795801, c_0011_11 + 2830122461886/106109336795801*c_1001_9^11 - 17912530822340/106109336795801*c_1001_9^10 + 71961782424289/106109336795801*c_1001_9^9 - 210792527144230/106109336795801*c_1001_9^8 + 406294340839702/106109336795801*c_1001_9^7 - 346918089839687/106109336795801*c_1001_9^6 - 412198922010154/106109336795801*c_1001_9^5 + 1113873749419444/106109336795801*c_1001_9^4 - 530418388207/106109336795801*c_1001_9^3 - 1506873626794860/106109336795801*c_1001_9^2 + 47135234800491/106109336795801*c_1001_9 + 1243907005961427/106109336795801, c_0011_14 + 8776274696863/106109336795801*c_1001_9^11 - 52472359300299/106109336795801*c_1001_9^10 + 209590684519556/106109336795801*c_1001_9^9 - 602425923326905/106109336795801*c_1001_9^8 + 1132755332034093/106109336795801*c_1001_9^7 - 889300567763443/106109336795801*c_1001_9^6 - 1276153342265958/106109336795801*c_1001_9^5 + 3006982339925366/106109336795801*c_1001_9^4 + 261991415379041/106109336795801*c_1001_9^3 - 3931887958516564/106109336795801*c_1001_9^2 - 119120022929531/106109336795801*c_1001_9 + 3106345989716032/106109336795801, c_0011_16 - 5782198134548/106109336795801*c_1001_9^11 + 34919743806799/106109336795801*c_1001_9^10 - 140964920880221/106109336795801*c_1001_9^9 + 407021007028518/106109336795801*c_1001_9^8 - 778852808941133/106109336795801*c_1001_9^7 + 643436968479210/106109336795801*c_1001_9^6 + 796844883116392/106109336795801*c_1001_9^5 - 2080175878500626/106109336795801*c_1001_9^4 + 32892481966059/106109336795801*c_1001_9^3 + 2615525321948178/106109336795801*c_1001_9^2 - 106471297239066/106109336795801*c_1001_9 - 2084161818426873/106109336795801, c_0011_6 + 15143074548738/106109336795801*c_1001_9^11 - 90039493787788/106109336795801*c_1001_9^10 + 361148483134422/106109336795801*c_1001_9^9 - 1036996275607334/106109336795801*c_1001_9^8 + 1958129358134384/106109336795801*c_1001_9^7 - 1558286027699210/106109336795801*c_1001_9^6 - 2129272371964295/106109336795801*c_1001_9^5 + 5127083711502610/106109336795801*c_1001_9^4 + 320338690348706/106109336795801*c_1001_9^3 - 6650368386735832/106109336795801*c_1001_9^2 - 6888623782118/106109336795801*c_1001_9 + 5179847482885721/106109336795801, c_0011_7 + 3711548128960/106109336795801*c_1001_9^11 - 23461797410504/106109336795801*c_1001_9^10 + 94161988211817/106109336795801*c_1001_9^9 - 275771277599179/106109336795801*c_1001_9^8 + 530698849375403/106109336795801*c_1001_9^7 - 449410853856405/106109336795801*c_1001_9^6 - 550249787330912/106109336795801*c_1001_9^5 + 1483894696398262/106109336795801*c_1001_9^4 - 52544347071455/106109336795801*c_1001_9^3 - 1898176381055910/106109336795801*c_1001_9^2 + 170550932387043/106109336795801*c_1001_9 + 1500343901347141/106109336795801, c_0011_8 + 9937164875020/106109336795801*c_1001_9^11 - 60439431976988/106109336795801*c_1001_9^10 + 243446958472814/106109336795801*c_1001_9^9 - 706125061587673/106109336795801*c_1001_9^8 + 1352751559558862/106109336795801*c_1001_9^7 - 1138574506172014/106109336795801*c_1001_9^6 - 1338307352471010/106109336795801*c_1001_9^5 + 3525577430326278/106109336795801*c_1001_9^4 - 15905030544381/106109336795801*c_1001_9^3 - 4449969026734054/106109336795801*c_1001_9^2 + 205706743675324/106109336795801*c_1001_9 + 3584899015317976/106109336795801, c_0101_0 - 6312859346549/106109336795801*c_1001_9^11 + 39973864318036/106109336795801*c_1001_9^10 - 160689791698104/106109336795801*c_1001_9^9 + 470608465511424/106109336795801*c_1001_9^8 - 908535274137645/106109336795801*c_1001_9^7 + 773920987387467/106109336795801*c_1001_9^6 + 920452778337518/106109336795801*c_1001_9^5 - 2513791150226789/106109336795801*c_1001_9^4 + 44228962634820/106109336795801*c_1001_9^3 + 3289584590143728/106109336795801*c_1001_9^2 - 182340978721647/106109336795801*c_1001_9 - 2583733412570647/106109336795801, c_0101_1 - 20324213784401/106109336795801*c_1001_9^11 + 120726239904550/106109336795801*c_1001_9^10 - 484054829926153/106109336795801*c_1001_9^9 + 1389997093613046/106109336795801*c_1001_9^8 - 2625591858220911/106109336795801*c_1001_9^7 + 2093943215692261/106109336795801*c_1001_9^6 + 2819374100627943/106109336795801*c_1001_9^5 - 6797160779089469/106109336795801*c_1001_9^4 - 488801327601487/106109336795801*c_1001_9^3 + 8767406614788392/106109336795801*c_1001_9^2 + 191959415830002/106109336795801*c_1001_9 - 6818856976448065/106109336795801, c_0101_11 - 3414724179213/106109336795801*c_1001_9^11 + 20559921503030/106109336795801*c_1001_9^10 - 82554660158934/106109336795801*c_1001_9^9 + 238341872396141/106109336795801*c_1001_9^8 - 452815557998860/106109336795801*c_1001_9^7 + 372466581296244/106109336795801*c_1001_9^6 + 468473068592099/106109336795801*c_1001_9^5 - 1153799242496062/106109336795801*c_1001_9^4 - 90709338547517/106109336795801*c_1001_9^3 + 1609828733065950/106109336795801*c_1001_9^2 - 52895336708838/106109336795801*c_1001_9 - 1339356017500044/106109336795801, c_0101_15 + 7803913970350/106109336795801*c_1001_9^11 - 46655959600295/106109336795801*c_1001_9^10 + 187450836925819/106109336795801*c_1001_9^9 - 540370005607304/106109336795801*c_1001_9^8 + 1025720074940969/106109336795801*c_1001_9^7 - 838226218952357/106109336795801*c_1001_9^6 - 1060841416023048/106109336795801*c_1001_9^5 + 2644316848846469/106109336795801*c_1001_9^4 + 103567012159481/106109336795801*c_1001_9^3 - 3408698572835988/106109336795801*c_1001_9^2 + 46249859363455/106109336795801*c_1001_9 + 2670037218625220/106109336795801, c_0101_2 + 25312611450047/106109336795801*c_1001_9^11 - 152315397793154/106109336795801*c_1001_9^10 + 611321674617231/106109336795801*c_1001_9^9 - 1764833439866768/106109336795801*c_1001_9^8 + 3354357710797786/106109336795801*c_1001_9^7 - 2743475354824744/106109336795801*c_1001_9^6 - 3468776859554641/106109336795801*c_1001_9^5 + 8690534766427495/106109336795801*c_1001_9^4 + 437133751788387/106109336795801*c_1001_9^3 - 11165329735449931/106109336795801*c_1001_9^2 - 85283978254017/106109336795801*c_1001_9 + 8796018184625158/106109336795801, c_0101_3 - 7339160578388/106109336795801*c_1001_9^11 + 43383534187493/106109336795801*c_1001_9^10 - 173697646208603/106109336795801*c_1001_9^9 + 496626270000030/106109336795801*c_1001_9^8 - 932409283193415/106109336795801*c_1001_9^7 + 720059808746853/106109336795801*c_1001_9^6 + 1068430955941247/106109336795801*c_1001_9^5 - 2482766862656141/106109336795801*c_1001_9^4 - 216771678189225/106109336795801*c_1001_9^3 + 3241669813899844/106109336795801*c_1001_9^2 + 53138483145573/106109336795801*c_1001_9 - 2615919601056302/106109336795801, c_0101_8 - 10310720007124/106109336795801*c_1001_9^11 + 62865403926371/106109336795801*c_1001_9^10 - 252446019836678/106109336795801*c_1001_9^9 + 732053732551369/106109336795801*c_1001_9^8 - 1399549668580234/106109336795801*c_1001_9^7 + 1165011134745692/106109336795801*c_1001_9^6 + 1404565952148585/106109336795801*c_1001_9^5 - 3641869692574113/106109336795801*c_1001_9^4 - 138503019882272/106109336795801*c_1001_9^3 + 4681649131255223/106109336795801*c_1001_9^2 + 1319766612767/106109336795801*c_1001_9 - 3605117080938291/106109336795801, c_1001_0 - 3344841017388/106109336795801*c_1001_9^11 + 18047761570427/106109336795801*c_1001_9^10 - 71101098608980/106109336795801*c_1001_9^9 + 196796208270430/106109336795801*c_1001_9^8 - 348624566432149/106109336795801*c_1001_9^7 + 217872344392694/106109336795801*c_1001_9^6 + 493751429249198/106109336795801*c_1001_9^5 - 863212136677395/106109336795801*c_1001_9^4 - 254206449330613/106109336795801*c_1001_9^3 + 1033606122633886/106109336795801*c_1001_9^2 + 178045304064626/106109336795801*c_1001_9 - 779049472531099/106109336795801, c_1001_9^12 - 5*c_1001_9^11 + 18*c_1001_9^10 - 45*c_1001_9^9 + 61*c_1001_9^8 + 28*c_1001_9^7 - 250*c_1001_9^6 + 205*c_1001_9^5 + 371*c_1001_9^4 - 431*c_1001_9^3 - 457*c_1001_9^2 + 352*c_1001_9 + 361 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 11704.410 Total time: 11704.739 seconds, Total memory usage: 38390.44MB