Magma V2.19-8 Wed Aug 21 2013 00:21:50 on localhost [Seed = 4038517407] Type ? for help. Type -D to quit. Loading file "K14n11252__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n11252 geometric_solution 11.47147196 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 2 3 0132 0132 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 1 -1 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.448789045040 0.908832276260 0 4 6 5 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 0 0 0 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.330261647706 1.358196869892 0 0 5 7 2031 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 1 0 0 -1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.563174603685 0.884604968969 8 9 0 10 0132 0132 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 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.354177997281 1.191231982213 9 1 7 11 2310 0132 1230 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 1 -1 9 0 -8 -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 0.784745075061 0.419755829487 9 2 1 11 3120 1230 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 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.344438121086 0.844149143225 8 8 11 1 3120 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 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.279398672810 0.685009263603 12 12 2 4 0132 1302 0132 3012 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 0 1 -1 -8 0 0 8 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.394939057916 1.389144650464 3 12 6 6 0132 2103 3012 3120 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 -1 1 0 0 0 0 0 0 0 0 0 -9 8 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.279398672810 0.685009263603 10 3 4 5 0132 0132 3201 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 0 0 0 0 0 -1 1 0 0 0 0 0 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.927210695288 0.876845008264 9 12 3 11 0132 1230 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.114805053854 0.578880727945 10 5 4 6 3201 1302 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 1 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 1.897121153744 0.916202742325 7 8 10 7 0132 2103 3012 2031 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 1 0 -1 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.263548762303 0.605075171484 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_11' : d['c_0101_10'], 'c_1001_10' : negation(d['c_0101_4']), 'c_1001_12' : negation(d['c_0011_10']), 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_0101_7'], 'c_1001_6' : d['c_0101_12'], 'c_1001_1' : d['c_0101_10'], 'c_1001_0' : d['c_0101_7'], 'c_1001_3' : negation(d['c_0011_5']), 'c_1001_2' : negation(d['c_0011_5']), 'c_1001_9' : negation(d['c_0101_4']), 'c_1001_8' : d['c_0011_12'], 'c_1010_12' : negation(d['c_0011_12']), 'c_1010_11' : d['c_1010_11'], 'c_1010_10' : d['c_0101_12'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : 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'], '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_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : 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_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_1010_11']), 'c_1100_4' : d['c_0101_12'], 'c_1100_7' : negation(d['c_1001_4']), 'c_1100_6' : negation(d['c_1010_11']), 'c_1100_1' : negation(d['c_1010_11']), 'c_1100_0' : d['c_0011_11'], 'c_1100_3' : d['c_0011_11'], 'c_1100_2' : negation(d['c_1001_4']), 's_0_10' : d['1'], 'c_1100_11' : d['c_0101_12'], 'c_1100_10' : d['c_0011_11'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_4']), 'c_1010_6' : d['c_0101_10'], 'c_1010_5' : d['c_0011_11'], 'c_1010_4' : d['c_0101_10'], 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : d['c_0101_7'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0011_5']), 'c_1010_9' : negation(d['c_0011_5']), 'c_1010_8' : d['c_0011_12'], '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_0101_4'], '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_10']), 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_12']), 'c_0011_6' : negation(d['c_0011_12']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_12']), 'c_0110_10' : negation(d['c_0101_11']), 'c_0110_12' : d['c_0101_7'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_12'], 'c_0101_5' : d['c_0011_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_11'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : negation(d['c_0101_11']), 'c_0101_8' : d['c_0101_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_10'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0011_0'], 'c_1100_9' : negation(d['c_0011_0']), 'c_0110_3' : d['c_0101_10'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0101_12'], 'c_1100_8' : negation(d['c_0101_12'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_5, c_0101_1, c_0101_10, c_0101_11, c_0101_12, c_0101_4, c_0101_7, c_1001_4, c_1010_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 18570285221443386427323514593814/130158934730045960186584449873*c_1\ 010_11^15 - 99120802999896089025447094587854/4338631157668198672886\ 1483291*c_1010_11^14 + 1934745219200370861580141126521446/130158934\ 730045960186584449873*c_1010_11^13 - 2748548713822385842988700820501081/43386311576681986728861483291*c_\ 1010_11^12 + 25009781054260758142631182976337017/130158934730045960\ 186584449873*c_1010_11^11 - 59060538401951495463000922762693126/130\ 158934730045960186584449873*c_1010_11^10 + 14935744389010189905822556317219136/18594133532863708598083492839*c\ _1010_11^9 - 45946844962703291354854629636741616/433863115766819867\ 28861483291*c_1010_11^8 + 5044086746934518853611413478878852/619804\ 4510954569532694497613*c_1010_11^7 + 1632172973736124634936794972960873/43386311576681986728861483291*c_\ 1010_11^6 - 161468866909517417769759387347703515/130158934730045960\ 186584449873*c_1010_11^5 + 234473047328847890103728097508919101/130\ 158934730045960186584449873*c_1010_11^4 - 5579224175272077777671727154186364/4488239128622274489192567237*c_1\ 010_11^3 + 58183107374499792898678629446890021/13015893473004596018\ 6584449873*c_1010_11^2 - 351319269432163096263838259020888/44882391\ 28622274489192567237*c_1010_11 + 561600778393264999357046619733747/\ 130158934730045960186584449873, c_0011_0 - 1, c_0011_10 - 1996168207263351371489583/7915765658945810386583011*c_1010_\ 11^15 + 31583368023642934669255279/7915765658945810386583011*c_1010\ _11^14 - 201923348670925827275268257/7915765658945810386583011*c_10\ 10_11^13 + 847544680115224276808804963/7915765658945810386583011*c_\ 1010_11^12 - 2525424205919743527640192193/7915765658945810386583011\ *c_1010_11^11 + 5863123229601874515216382349/7915765658945810386583\ 011*c_1010_11^10 - 10114207214177006013456077819/791576565894581038\ 6583011*c_1010_11^9 + 12883947079618912146073225771/791576565894581\ 0386583011*c_1010_11^8 - 8949626168961616070108597748/7915765658945\ 810386583011*c_1010_11^7 - 2170961276892606101363563748/79157656589\ 45810386583011*c_1010_11^6 + 16814356675808871734131084559/79157656\ 58945810386583011*c_1010_11^5 - 21891335882800692169986416109/79157\ 65658945810386583011*c_1010_11^4 + 13181174822270081579162418293/7915765658945810386583011*c_1010_11^3 - 3907215511120024004030630280/7915765658945810386583011*c_1010_11^\ 2 + 546298547344506524139640536/7915765658945810386583011*c_1010_11 - 19673230371153049608070601/7915765658945810386583011, c_0011_11 + 4886439161870579079832460/7915765658945810386583011*c_1010_\ 11^15 - 77553585024043556201703564/7915765658945810386583011*c_1010\ _11^14 + 498378155344102767888476603/7915765658945810386583011*c_10\ 10_11^13 - 2103254407104393833292723322/7915765658945810386583011*c\ _1010_11^12 + 6308631205027970587166111332/791576565894581038658301\ 1*c_1010_11^11 - 14752011055537717807018490392/79157656589458103865\ 83011*c_1010_11^10 + 25723741608373962428895098784/7915765658945810\ 386583011*c_1010_11^9 - 33309850812853394710598660517/7915765658945\ 810386583011*c_1010_11^8 + 24279392857472233647329359904/7915765658\ 945810386583011*c_1010_11^7 + 3375578314270077075825295979/79157656\ 58945810386583011*c_1010_11^6 - 41253786582356597693651279396/79157\ 65658945810386583011*c_1010_11^5 + 56374061991639703849595293621/7915765658945810386583011*c_1010_11^4 - 36645226672665069584447985236/7915765658945810386583011*c_1010_11\ ^3 + 12348988941413280563508731132/7915765658945810386583011*c_1010\ _11^2 - 1981734625566358584764943537/7915765658945810386583011*c_10\ 10_11 + 79142966812363240985885298/7915765658945810386583011, c_0011_12 - 2573370436644228940078561/23747296976837431159749033*c_1010\ _11^15 + 14137265292499456050988450/7915765658945810386583011*c_101\ 0_11^14 - 286724838616479531730919183/23747296976837431159749033*c_\ 1010_11^13 + 419231457585265869831997844/7915765658945810386583011*\ c_1010_11^12 - 3935646733888177069383450638/23747296976837431159749\ 033*c_1010_11^11 + 9539889067881210132909295675/2374729697683743115\ 9749033*c_1010_11^10 - 17544736609771750862284163512/23747296976837\ 431159749033*c_1010_11^9 + 8041851909410725362120450449/79157656589\ 45810386583011*c_1010_11^8 - 6900267568144859656191855779/791576565\ 8945810386583011*c_1010_11^7 + 880129898150020238095352204/79157656\ 58945810386583011*c_1010_11^6 + 24772355338940248936151422133/23747\ 296976837431159749033*c_1010_11^5 - 41761551813910864924173789841/23747296976837431159749033*c_1010_11^\ 4 + 32363765908184465262007210408/23747296976837431159749033*c_1010\ _11^3 - 12661248385985075733279019789/23747296976837431159749033*c_\ 1010_11^2 + 2222967673996054365862521707/23747296976837431159749033\ *c_1010_11 - 87727785197380597895318731/23747296976837431159749033, c_0011_5 - 5227342690747633903541356/23747296976837431159749033*c_1010_\ 11^15 + 27425145776658146489005478/7915765658945810386583011*c_1010\ _11^14 - 522761066981850152476404719/23747296976837431159749033*c_1\ 010_11^13 + 729356390988399962711200576/7915765658945810386583011*c\ _1010_11^12 - 6503021867519337251543756339/237472969768374311597490\ 33*c_1010_11^11 + 15096756897764113810914664894/2374729697683743115\ 9749033*c_1010_11^10 - 26021663575222345051986179524/23747296976837\ 431159749033*c_1010_11^9 + 11101942295317987999305971736/7915765658\ 945810386583011*c_1010_11^8 - 7789153032922459880735775664/79157656\ 58945810386583011*c_1010_11^7 - 1530828211858585606889273361/791576\ 5658945810386583011*c_1010_11^6 + 42463151851238592866016112940/237\ 47296976837431159749033*c_1010_11^5 - 55681826754032091022112594836/23747296976837431159749033*c_1010_11^\ 4 + 35220412952766182952223789039/23747296976837431159749033*c_1010\ _11^3 - 11981335687862915221320860497/23747296976837431159749033*c_\ 1010_11^2 + 1984257333684766846740231491/23747296976837431159749033\ *c_1010_11 - 60793518423816066591735331/23747296976837431159749033, c_0101_1 + 18195441375957882522681941/23747296976837431159749033*c_1010\ _11^15 - 96477409626408370686772463/7915765658945810386583011*c_101\ 0_11^14 + 1865377969448561966171724136/23747296976837431159749033*c\ _1010_11^13 - 2629040428373482902720619057/791576565894581038658301\ 1*c_1010_11^12 + 23704648126964953707893456533/23747296976837431159\ 749033*c_1010_11^11 - 55504416825954773363784054524/237472969768374\ 31159749033*c_1010_11^10 + 96995884754938212499261997483/2374729697\ 6837431159749033*c_1010_11^9 - 41929301860265736822085467846/791576\ 5658945810386583011*c_1010_11^8 + 30725699022781582909803489849/791\ 5765658945810386583011*c_1010_11^7 + 4138998669189728013954013253/7915765658945810386583011*c_1010_11^6 - 155485455782980867895069202100/23747296976837431159749033*c_1010_11\ ^5 + 213798371981469693248671244036/23747296976837431159749033*c_10\ 10_11^4 - 138849865497148711560142257395/23747296976837431159749033\ *c_1010_11^3 + 45986224992122929085576685263/2374729697683743115974\ 9033*c_1010_11^2 - 7106309822179279008192127897/2374729697683743115\ 9749033*c_1010_11 + 285445702807182607136498630/2374729697683743115\ 9749033, c_0101_10 + 15974329264187449982886148/23747296976837431159749033*c_101\ 0_11^15 - 84644105204252900040906085/7915765658945810386583011*c_10\ 10_11^14 + 1635247939242852550701531050/23747296976837431159749033*\ c_1010_11^13 - 2303673747412016639286368122/79157656589458103865830\ 11*c_1010_11^12 + 20761804544092249524077330324/2374729697683743115\ 9749033*c_1010_11^11 - 48604803280139543459068909255/23747296976837\ 431159749033*c_1010_11^10 + 84909381391917303773758250434/237472969\ 76837431159749033*c_1010_11^9 - 36708404815376964338787684365/79157\ 65658945810386583011*c_1010_11^8 + 26896888712504478323887215248/7915765658945810386583011*c_1010_11^7 + 3564391961225016078082471754/7915765658945810386583011*c_1010_11^\ 6 - 135944859209180015172789995483/23747296976837431159749033*c_101\ 0_11^5 + 186866846776842043710490182775/23747296976837431159749033*\ c_1010_11^4 - 121742636624555610240010529242/2374729697683743115974\ 9033*c_1010_11^3 + 40725678400360723358868374965/237472969768374311\ 59749033*c_1010_11^2 - 6408039427825211865631752560/237472969768374\ 31159749033*c_1010_11 + 257818286636360621277860665/237472969768374\ 31159749033, c_0101_11 - 1334270817071800590746560/7915765658945810386583011*c_1010_\ 11^15 + 21645405933978925889584164/7915765658945810386583011*c_1010\ _11^14 - 143393236453231510902292473/7915765658945810386583011*c_10\ 10_11^13 + 620018140072687822773445507/7915765658945810386583011*c_\ 1010_11^12 - 1911044088455892194489026361/7915765658945810386583011\ *c_1010_11^11 + 4577719023353824533099244093/7915765658945810386583\ 011*c_1010_11^10 - 8274959681251991357400260922/7915765658945810386\ 583011*c_1010_11^9 + 11185179469276563485226435399/7915765658945810\ 386583011*c_1010_11^8 - 9182392556226843934216244196/79157656589458\ 10386583011*c_1010_11^7 + 605693489847809482637275499/7915765658945\ 810386583011*c_1010_11^6 + 12107645813000799416762169316/7915765658\ 945810386583011*c_1010_11^5 - 19144878427156489519950284550/7915765\ 658945810386583011*c_1010_11^4 + 14293063875012935620358974852/7915\ 765658945810386583011*c_1010_11^3 - 5518416550817936853739740775/7915765658945810386583011*c_1010_11^2 + 979814561181340735432659067/7915765658945810386583011*c_1010_11 - 41593298830250858615408792/7915765658945810386583011, c_0101_12 - 559342278141352550752405/23747296976837431159749033*c_1010_\ 11^15 + 3100334710236450846141357/7915765658945810386583011*c_1010_\ 11^14 - 63576356322013863343657100/23747296976837431159749033*c_101\ 0_11^13 + 93664804071918229000727724/7915765658945810386583011*c_10\ 10_11^12 - 886533135562332656433078005/23747296976837431159749033*c\ _1010_11^11 + 2163250490018057534806073044/237472969768374311597490\ 33*c_1010_11^10 - 4017939436387449877869899395/23747296976837431159\ 749033*c_1010_11^9 + 1861218031360068920006972389/79157656589458103\ 86583011*c_1010_11^8 - 1641778900638686237731257704/791576565894581\ 0386583011*c_1010_11^7 + 279482315366694850209734369/79157656589458\ 10386583011*c_1010_11^6 + 5467799570597813237742036377/237472969768\ 37431159749033*c_1010_11^5 - 9668283708984524543136815950/237472969\ 76837431159749033*c_1010_11^4 + 7707449026620025797444012766/237472\ 96976837431159749033*c_1010_11^3 - 3211265049436956104105780266/23747296976837431159749033*c_1010_11^2 + 641140079540070302322048722/23747296976837431159749033*c_1010_11 - 30911502567775499464266649/23747296976837431159749033, c_0101_4 - 1052470909359145489100674/7915765658945810386583011*c_1010_1\ 1^15 + 16747325979464940308610294/7915765658945810386583011*c_1010_\ 11^14 - 107993101819011956667483374/7915765658945810386583011*c_101\ 0_11^13 + 456799581612031397915100882/7915765658945810386583011*c_1\ 010_11^12 - 1373244577218393625540561362/7915765658945810386583011*\ c_1010_11^11 + 3215394929102593319697927638/79157656589458103865830\ 11*c_1010_11^10 - 5617112147661672593069130503/79157656589458103865\ 83011*c_1010_11^9 + 7276450920224819543602697736/791576565894581038\ 6583011*c_1010_11^8 - 5305669355252488648813483852/7915765658945810\ 386583011*c_1010_11^7 - 785316649882929240868243940/791576565894581\ 0386583011*c_1010_11^6 + 9099636015450738502672620804/7915765658945\ 810386583011*c_1010_11^5 - 12427033585357576719461573620/7915765658\ 945810386583011*c_1010_11^4 + 8007268379200654170625811813/79157656\ 58945810386583011*c_1010_11^3 - 2487083038269589916756474509/791576\ 5658945810386583011*c_1010_11^2 + 300821236613559735364933561/79157\ 65658945810386583011*c_1010_11 - 5688972869024164584316149/79157656\ 58945810386583011, c_0101_7 - 7068633444992770884132250/23747296976837431159749033*c_1010_\ 11^15 + 37366325828670355578341801/7915765658945810386583011*c_1010\ _11^14 - 719545325969210565596456354/23747296976837431159749033*c_1\ 010_11^13 + 1011199198608661525449632901/7915765658945810386583011*\ c_1010_11^12 - 9088448602192707082298498489/23747296976837431159749\ 033*c_1010_11^11 + 21228208310168309535614192833/237472969768374311\ 59749033*c_1010_11^10 - 36951572020995634297927556911/2374729697683\ 7431159749033*c_1010_11^9 + 15912144633943851992545944896/791576565\ 8945810386583011*c_1010_11^8 - 11515704956366795966025083754/791576\ 5658945810386583011*c_1010_11^7 - 1762318694890392570603325784/7915\ 765658945810386583011*c_1010_11^6 + 59596439717596019504098997456/23747296976837431159749033*c_1010_11^\ 5 - 80816561080018016922193918999/23747296976837431159749033*c_1010\ _11^4 + 52059169993361011714720702258/23747296976837431159749033*c_\ 1010_11^3 - 17273397824734173053658453130/2374729697683743115974903\ 3*c_1010_11^2 + 2690347741158759072981134918/2374729697683743115974\ 9033*c_1010_11 - 90614879417951068247896126/23747296976837431159749\ 033, c_1001_4 - 508478869847563882764241/7915765658945810386583011*c_1010_11\ ^15 + 8048177308482067367899684/7915765658945810386583011*c_1010_11\ ^14 - 51492602027543030468546147/7915765658945810386583011*c_1010_1\ 1^13 + 216332172123500161775158612/7915765658945810386583011*c_1010\ _11^12 - 645314716522933002048305913/7915765658945810386583011*c_10\ 10_11^11 + 1500093390393867196836239983/7915765658945810386583011*c\ _1010_11^10 - 2592447578994268955192501039/791576565894581038658301\ 1*c_1010_11^9 + 3312209658331777537108876058/7915765658945810386583\ 011*c_1010_11^8 - 2320021354593047850372463030/79157656589458103865\ 83011*c_1010_11^7 - 518367773752391807661782246/7915765658945810386\ 583011*c_1010_11^6 + 4286238108592815920560270074/79157656589458103\ 86583011*c_1010_11^5 - 5621119223121350856675852081/791576565894581\ 0386583011*c_1010_11^4 + 3438137310757395371145965435/7915765658945\ 810386583011*c_1010_11^3 - 1041437494186394038232061643/79157656589\ 45810386583011*c_1010_11^2 + 157756626198812951649796295/7915765658\ 945810386583011*c_1010_11 - 13415968405564768459945769/791576565894\ 5810386583011, c_1010_11^16 - 16*c_1010_11^15 + 104*c_1010_11^14 - 443*c_1010_11^13 + 1343*c_1010_11^12 - 3171*c_1010_11^11 + 5612*c_1010_11^10 - 7402*c_1010_11^9 + 5694*c_1010_11^8 + 234*c_1010_11^7 - 8633*c_1010_11^6 + 12552*c_1010_11^5 - 8705*c_1010_11^4 + 3191*c_1010_11^3 - 591*c_1010_11^2 + 42*c_1010_11 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4.630 Total time: 4.849 seconds, Total memory usage: 64.12MB