Magma V2.19-8 Wed Aug 21 2013 00:25:22 on localhost [Seed = 3802460646] Type ? for help. Type -D to quit. Loading file "K14n14094__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n14094 geometric_solution 11.32235846 oriented_manifold CS_known 0.0000000000000011 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 1 -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.521807869519 0.502622895300 0 4 5 4 0132 0132 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.403825875776 0.381139517836 0 0 7 6 3012 0132 0132 0132 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 1 0 0 -1 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.993547944615 1.044308161323 8 9 10 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 -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.630796937710 0.894161798749 11 1 8 1 0132 0132 3120 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.608637408344 0.546904110596 11 8 12 1 1230 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.144416762845 1.263835640562 8 9 2 7 3120 0213 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.311437058072 0.696605521653 9 10 6 2 3120 3120 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 0 -1 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.418043182561 1.017347245728 3 5 4 6 0132 0132 3120 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 -1 0 0 1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.452902827241 1.249124170557 12 3 6 7 1230 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 -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.823888597834 1.147979826294 12 7 11 3 0132 3120 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.269056684223 0.792805843130 4 5 12 10 0132 3012 3120 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 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 1.207623472770 0.475855041503 10 9 11 5 0132 3012 3120 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.723902701041 0.525105383195 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_3']), 'c_1001_10' : d['c_0101_12'], 'c_1001_12' : d['c_0011_3'], 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : negation(d['c_1001_1']), 'c_1001_7' : negation(d['c_0101_12']), 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_7']), 'c_1001_2' : negation(d['c_0011_10']), 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_1'], 'c_1010_12' : negation(d['c_0011_6']), 'c_1010_11' : negation(d['c_0101_10']), 'c_1010_10' : negation(d['c_0011_7']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_12'], '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' : negation(d['c_0011_0']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : negation(d['c_0101_11']), 'c_1100_4' : negation(d['c_0101_0']), 'c_1100_7' : d['c_0101_7'], 'c_1100_6' : d['c_0101_7'], 'c_1100_1' : negation(d['c_0101_11']), 'c_1100_0' : d['c_0101_4'], 'c_1100_3' : d['c_0101_4'], 'c_1100_2' : d['c_0101_7'], 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0101_7']), 'c_1100_11' : negation(d['c_0101_12']), 'c_1100_10' : d['c_0101_4'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_10']), 'c_1010_6' : negation(d['c_0101_7']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_1']), 'c_1010_0' : negation(d['c_0011_10']), 'c_1010_9' : negation(d['c_0011_7']), 'c_1010_8' : negation(d['c_0011_6']), 'c_1100_8' : negation(d['c_0101_4']), '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_11']), '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_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_0'], '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_4'], 'c_0110_10' : d['c_0101_12'], 'c_0110_12' : d['c_0101_10'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : d['c_0101_10'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_12'], 'c_0101_2' : negation(d['c_0011_10']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_6'], 'c_0101_8' : d['c_0101_0'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_10']), 'c_0110_8' : d['c_0101_12'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0011_0']), 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : negation(d['c_0011_10']), 'c_0110_6' : d['c_0101_12'], 's_2_9' : d['1']})} 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_3, c_0011_6, c_0011_7, c_0101_0, c_0101_10, c_0101_11, c_0101_12, c_0101_4, c_0101_7, c_1001_0, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 45980476565517861139287111458340134818/2108378744172447611386641708\ 8470261541*c_1001_1^21 + 354124583179998372940934426183018593916/21\ 083787441724476113866417088470261541*c_1001_1^20 + 2528147900922372317799141894922771363583/21083787441724476113866417\ 088470261541*c_1001_1^19 + 907549895910765224274050235178305994483/\ 1916707949247679646715128826224569231*c_1001_1^18 + 24167197217468349478088237789151315927162/2108378744172447611386641\ 7088470261541*c_1001_1^17 + 271414328726845467259103471022278123218\ 63/21083787441724476113866417088470261541*c_1001_1^16 - 3419705471670655235159222367430770057730/21083787441724476113866417\ 088470261541*c_1001_1^15 - 4086237622541852805406484015575046634403\ 4/21083787441724476113866417088470261541*c_1001_1^14 - 34925621100904000356975473593501888225377/2108378744172447611386641\ 7088470261541*c_1001_1^13 + 287999847987295845050635560780405364644\ 4/1916707949247679646715128826224569231*c_1001_1^12 + 45800072166191398394465888406956299270952/2108378744172447611386641\ 7088470261541*c_1001_1^11 + 552429979757795216285432155410303234248\ /21083787441724476113866417088470261541*c_1001_1^10 - 4323392741555757633216054192254826540634/16218298032095750856820320\ 83728481657*c_1001_1^9 + 597976473091964865045870609878241668551/21\ 083787441724476113866417088470261541*c_1001_1^8 + 20560903700665037516656519681908244077978/2108378744172447611386641\ 7088470261541*c_1001_1^7 + 3692344130932877546713742750563938588060\ 7/21083787441724476113866417088470261541*c_1001_1^6 - 44585953962160761997996074706409778124957/2108378744172447611386641\ 7088470261541*c_1001_1^5 + 8397546442861461384997311023942634952035\ /21083787441724476113866417088470261541*c_1001_1^4 + 411384385016068814390919554417751629253/162182980320957508568203208\ 3728481657*c_1001_1^3 - 1313976262429565006805964252361903324023/21\ 083787441724476113866417088470261541*c_1001_1^2 - 596734762320276885292590300198325713896/210837874417244761138664170\ 88470261541*c_1001_1 + 186551319336807795363792150383537498462/2108\ 3787441724476113866417088470261541, c_0011_0 - 1, c_0011_10 - 8376581288119394374601191942573/275026717564312485807510625\ 5443*c_1001_1^21 - 71385324179295759408389851108988/275026717564312\ 4858075106255443*c_1001_1^20 - 514220374705458055136998767179930/27\ 50267175643124858075106255443*c_1001_1^19 - 2199165829322910977407233349595488/2750267175643124858075106255443*\ c_1001_1^18 - 5908861505416867415718260463862295/275026717564312485\ 8075106255443*c_1001_1^17 - 8526375703268755998232373711657780/2750\ 267175643124858075106255443*c_1001_1^16 - 2990958422208126773919883562013572/2750267175643124858075106255443*\ c_1001_1^15 + 9855722071464515608814393597695253/275026717564312485\ 8075106255443*c_1001_1^14 + 16326461496604236869924184124233632/275\ 0267175643124858075106255443*c_1001_1^13 + 2719789569726249407144722327777451/2750267175643124858075106255443*\ c_1001_1^12 - 14544675883500013089652412254754234/27502671756431248\ 58075106255443*c_1001_1^11 - 13774706802687687227228606117321234/27\ 50267175643124858075106255443*c_1001_1^10 + 5392493011681757805304691248189144/2750267175643124858075106255443*\ c_1001_1^9 + 10748317408935122245875353331319671/275026717564312485\ 8075106255443*c_1001_1^8 + 2710710644604284875844532625152906/27502\ 67175643124858075106255443*c_1001_1^7 - 8487127105565639523524417180241185/2750267175643124858075106255443*\ c_1001_1^6 - 13175353592745293652351983695621/275026717564312485807\ 5106255443*c_1001_1^5 + 2228026741069289965779522906485198/27502671\ 75643124858075106255443*c_1001_1^4 - 54482852937455576091402759612407/2750267175643124858075106255443*c_\ 1001_1^3 - 324160097805733293401361686938301/2750267175643124858075\ 106255443*c_1001_1^2 + 1452804850996082651351563499502/275026717564\ 3124858075106255443*c_1001_1 + 21106247073158170768396104568364/275\ 0267175643124858075106255443, c_0011_3 - 7962410771942004772320625697603/2750267175643124858075106255\ 443*c_1001_1^21 - 63437570886746843029647549362986/2750267175643124\ 858075106255443*c_1001_1^20 - 449791659791088703844347021199316/275\ 0267175643124858075106255443*c_1001_1^19 - 1806910837366489852675445930997620/2750267175643124858075106255443*\ c_1001_1^18 - 4366925980407489983266863626894210/275026717564312485\ 8075106255443*c_1001_1^17 - 4583576058227650764959397116434510/2750\ 267175643124858075106255443*c_1001_1^16 + 2826369451039401925304534300928973/2750267175643124858075106255443*\ c_1001_1^15 + 12933873213612929150839614381076678/27502671756431248\ 58075106255443*c_1001_1^14 + 11768828451202240893788112479379648/27\ 50267175643124858075106255443*c_1001_1^13 - 7080748587677944228623907670397525/2750267175643124858075106255443*\ c_1001_1^12 - 18713239633124855521204023024448207/27502671756431248\ 58075106255443*c_1001_1^11 - 7692942170337151320854855217048538/275\ 0267175643124858075106255443*c_1001_1^10 + 13925273605588914361649723613268402/2750267175643124858075106255443\ *c_1001_1^9 + 10790769511287088853325057508985927/27502671756431248\ 58075106255443*c_1001_1^8 - 2208904729961051849631292595320025/2750\ 267175643124858075106255443*c_1001_1^7 - 11177550473527171777993153582337721/2750267175643124858075106255443\ *c_1001_1^6 + 2961253256023462427711057026278677/275026717564312485\ 8075106255443*c_1001_1^5 + 2844086625768985665445736878373355/27502\ 67175643124858075106255443*c_1001_1^4 - 636134515409993214699416247221327/2750267175643124858075106255443*c\ _1001_1^3 - 412204245536713709014671153643125/275026717564312485807\ 5106255443*c_1001_1^2 + 53995424084230813616850171307266/2750267175\ 643124858075106255443*c_1001_1 + 30800947391187715548189600335285/2\ 750267175643124858075106255443, c_0011_6 - 15633466502874329543941097982159/275026717564312485807510625\ 5443*c_1001_1^21 - 128354655705521447422390088348203/27502671756431\ 24858075106255443*c_1001_1^20 - 916396261410470278110052919737968/2\ 750267175643124858075106255443*c_1001_1^19 - 3789142477495121308366237457912204/2750267175643124858075106255443*\ c_1001_1^18 - 9631176160141862125456272735701174/275026717564312485\ 8075106255443*c_1001_1^17 - 11949099393864976005679115693478752/275\ 0267175643124858075106255443*c_1001_1^16 + 899909401733317996350894245778157/2750267175643124858075106255443*c\ _1001_1^15 + 22715132079175070468731176242622572/275026717564312485\ 8075106255443*c_1001_1^14 + 26662553855163408030472548093201406/275\ 0267175643124858075106255443*c_1001_1^13 - 5618430048870925511512388522027793/2750267175643124858075106255443*\ c_1001_1^12 - 32955922774284526021044083617660697/27502671756431248\ 58075106255443*c_1001_1^11 - 20090348010775368166058636604353383/27\ 50267175643124858075106255443*c_1001_1^10 + 19802587311296840439759606403044740/2750267175643124858075106255443\ *c_1001_1^9 + 20982369206094787176553843252064978/27502671756431248\ 58075106255443*c_1001_1^8 - 127370495256666404447872476721570/27502\ 67175643124858075106255443*c_1001_1^7 - 19287062976508238412506763317850172/2750267175643124858075106255443\ *c_1001_1^6 + 3161594826169714943353310257164725/275026717564312485\ 8075106255443*c_1001_1^5 + 5052982945726147176827156190833444/27502\ 67175643124858075106255443*c_1001_1^4 - 831598594051562230646548546471490/2750267175643124858075106255443*c\ _1001_1^3 - 691490799538992779569306052240208/275026717564312485807\ 5106255443*c_1001_1^2 + 71077281660081124907273692331444/2750267175\ 643124858075106255443*c_1001_1 + 48073817418069636803783492010901/2\ 750267175643124858075106255443, c_0011_7 + 15390652695582084370063995765104/275026717564312485807510625\ 5443*c_1001_1^21 + 133460600031443850326120510406031/27502671756431\ 24858075106255443*c_1001_1^20 + 965928273024347385576417640681397/2\ 750267175643124858075106255443*c_1001_1^19 + 4194924009467648276933268124317691/2750267175643124858075106255443*\ c_1001_1^18 + 11554752668464479230670010291593438/27502671756431248\ 58075106255443*c_1001_1^17 + 17693354953740279793275918170134975/27\ 50267175643124858075106255443*c_1001_1^16 + 8931666117342329629226141034897235/2750267175643124858075106255443*\ c_1001_1^15 - 15686439957169011405512756634105796/27502671756431248\ 58075106255443*c_1001_1^14 - 32113721616687927776937527298387070/27\ 50267175643124858075106255443*c_1001_1^13 - 11353663070065488493568549701193434/2750267175643124858075106255443\ *c_1001_1^12 + 22733487519716675148315617851599266/2750267175643124\ 858075106255443*c_1001_1^11 + 28532261695454612874985414979304581/2\ 750267175643124858075106255443*c_1001_1^10 - 3391051020539958675744375781513823/2750267175643124858075106255443*\ c_1001_1^9 - 18283462004600663620945002554077070/275026717564312485\ 8075106255443*c_1001_1^8 - 8607202151696522057171501265971722/27502\ 67175643124858075106255443*c_1001_1^7 + 12685906001163332835537959675614677/2750267175643124858075106255443\ *c_1001_1^6 + 1485614943315288674818437821792882/275026717564312485\ 8075106255443*c_1001_1^5 - 2637799481509761933912236483821076/27502\ 67175643124858075106255443*c_1001_1^4 - 283352810200392600400232733628205/2750267175643124858075106255443*c\ _1001_1^3 + 306644631596486531834886268788351/275026717564312485807\ 5106255443*c_1001_1^2 + 32778303156030804919876277282971/2750267175\ 643124858075106255443*c_1001_1 - 11993157650562270245843247675821/2\ 750267175643124858075106255443, c_0101_0 + 3127133426512238993154664463144/2750267175643124858075106255\ 443*c_1001_1^21 + 26443588907878185447631470892743/2750267175643124\ 858075106255443*c_1001_1^20 + 190336150449766416070951358175859/275\ 0267175643124858075106255443*c_1001_1^19 + 809436487145544587120594335026927/2750267175643124858075106255443*c\ _1001_1^18 + 2159733810120970378314481455520835/2750267175643124858\ 075106255443*c_1001_1^17 + 3072727118113974084176537624779874/27502\ 67175643124858075106255443*c_1001_1^16 + 1005780221463056597354593133924784/2750267175643124858075106255443*\ c_1001_1^15 - 3592010084805606659172055272464213/275026717564312485\ 8075106255443*c_1001_1^14 - 5745601520823193924967922917603135/2750\ 267175643124858075106255443*c_1001_1^13 - 704183027078573996397110370788935/2750267175643124858075106255443*c\ _1001_1^12 + 5245599977185450316149658681408112/2750267175643124858\ 075106255443*c_1001_1^11 + 4661230191170251156236605991995907/27502\ 67175643124858075106255443*c_1001_1^10 - 2203848219855206005360147743511513/2750267175643124858075106255443*\ c_1001_1^9 - 3651305275467065424301160474949226/2750267175643124858\ 075106255443*c_1001_1^8 - 744867305944768613894809976543095/2750267\ 175643124858075106255443*c_1001_1^7 + 3105693906523673237266249304669170/2750267175643124858075106255443*\ c_1001_1^6 - 275425130815463792436286845977650/27502671756431248580\ 75106255443*c_1001_1^5 - 742534913792411495566309383533572/27502671\ 75643124858075106255443*c_1001_1^4 + 92527610817776791113171691222838/2750267175643124858075106255443*c_\ 1001_1^3 + 101459311216394952384862018211703/2750267175643124858075\ 106255443*c_1001_1^2 - 7202815991418091574605211473058/275026717564\ 3124858075106255443*c_1001_1 - 4403674539130963939863849052398/2750\ 267175643124858075106255443, c_0101_10 - 46033013312288808844529545609663/27502671756431248580751062\ 55443*c_1001_1^21 - 391364358406345376681022795732824/2750267175643\ 124858075106255443*c_1001_1^20 - 2818879932024764558444302622331743\ /2750267175643124858075106255443*c_1001_1^19 - 12035332038484186018249051388255741/2750267175643124858075106255443\ *c_1001_1^18 - 32276356265561496548372133128514473/2750267175643124\ 858075106255443*c_1001_1^17 - 46381507722504213453219000498783810/2\ 750267175643124858075106255443*c_1001_1^16 - 15856962561072142958500162079179554/2750267175643124858075106255443\ *c_1001_1^15 + 54409522929713076253193884716391957/2750267175643124\ 858075106255443*c_1001_1^14 + 89847253037335130232801581318538345/2\ 750267175643124858075106255443*c_1001_1^13 + 15626274664575337340716844947786222/2750267175643124858075106255443\ *c_1001_1^12 - 78609936743280201261878588014752284/2750267175643124\ 858075106255443*c_1001_1^11 - 75880098691040747293376696685533537/2\ 750267175643124858075106255443*c_1001_1^10 + 27623751877735789260874511934555688/2750267175643124858075106255443\ *c_1001_1^9 + 57179581784877943903305214537562247/27502671756431248\ 58075106255443*c_1001_1^8 + 16188763537653666015471523367567068/275\ 0267175643124858075106255443*c_1001_1^7 - 44805568081031934387442399933632073/2750267175643124858075106255443\ *c_1001_1^6 + 675091820996590811626999637624694/2750267175643124858\ 075106255443*c_1001_1^5 + 10456687588064663111352073467762720/27502\ 67175643124858075106255443*c_1001_1^4 - 337484209379814418644398034598672/2750267175643124858075106255443*c\ _1001_1^3 - 1376411940170452997730964792506273/27502671756431248580\ 75106255443*c_1001_1^2 + 23977567650659201221065640632354/275026717\ 5643124858075106255443*c_1001_1 + 80610912722289739756362451721435/\ 2750267175643124858075106255443, c_0101_11 - 1426521495780273502394155187591/275026717564312485807510625\ 5443*c_1001_1^21 - 12089545138568793461135483776651/275026717564312\ 4858075106255443*c_1001_1^20 - 87068665621217379701866844040663/275\ 0267175643124858075106255443*c_1001_1^19 - 371013490155969674230013382602467/2750267175643124858075106255443*c\ _1001_1^18 - 993183389483335153728685756789114/27502671756431248580\ 75106255443*c_1001_1^17 - 1424816100615696622437318171986080/275026\ 7175643124858075106255443*c_1001_1^16 - 498280437072401943874245845328139/2750267175643124858075106255443*c\ _1001_1^15 + 1608403997547501737024301832863623/2750267175643124858\ 075106255443*c_1001_1^14 + 2636751484663137694166693009011927/27502\ 67175643124858075106255443*c_1001_1^13 + 380113057110067632535582687787944/2750267175643124858075106255443*c\ _1001_1^12 - 2356532855830731018281618282658779/2750267175643124858\ 075106255443*c_1001_1^11 - 2155375776702855151097454518111223/27502\ 67175643124858075106255443*c_1001_1^10 + 949461994960490934215530378792810/2750267175643124858075106255443*c\ _1001_1^9 + 1657990266486342399895971999781143/27502671756431248580\ 75106255443*c_1001_1^8 + 368551330331424284128582913883814/27502671\ 75643124858075106255443*c_1001_1^7 - 1397591252368584068901458641804390/2750267175643124858075106255443*\ c_1001_1^6 + 107726828210426979955912497515340/27502671756431248580\ 75106255443*c_1001_1^5 + 332762535187887711955862675764746/27502671\ 75643124858075106255443*c_1001_1^4 - 38916642686150172521768728948823/2750267175643124858075106255443*c_\ 1001_1^3 - 45958452259289971309024084400390/27502671756431248580751\ 06255443*c_1001_1^2 - 1473726063024399911365921666189/2750267175643\ 124858075106255443*c_1001_1 + 3127133426512238993154664463144/27502\ 67175643124858075106255443, c_0101_12 + 28760143285406887588935653934047/27502671756431248580751062\ 55443*c_1001_1^21 + 245510342460357681864651190043340/2750267175643\ 124858075106255443*c_1001_1^20 + 1769409255673720442482708257836414\ /2750267175643124858075106255443*c_1001_1^19 + 7578694460655080633941156512649793/2750267175643124858075106255443*\ c_1001_1^18 + 20414042970056406134481635563147537/27502671756431248\ 58075106255443*c_1001_1^17 + 29630798974893363676059653425692206/27\ 50267175643124858075106255443*c_1001_1^16 + 10806003809036995166030024986667856/2750267175643124858075106255443\ *c_1001_1^15 - 33743068983857607179830714459837045/2750267175643124\ 858075106255443*c_1001_1^14 - 57213987126208207093759300770152483/2\ 750267175643124858075106255443*c_1001_1^13 - 11407182937227197539989434389495152/2750267175643124858075106255443\ *c_1001_1^12 + 48998362103726643640176696038688832/2750267175643124\ 858075106255443*c_1001_1^11 + 48907310340069100828163937927392055/2\ 750267175643124858075106255443*c_1001_1^10 - 15942776900700607875780408326051829/2750267175643124858075106255443\ *c_1001_1^9 - 36378508375944037860362209340053685/27502671756431248\ 58075106255443*c_1001_1^8 - 11040841890695488698876153993767889/275\ 0267175643124858075106255443*c_1001_1^7 + 27696943715870505317661006400621152/2750267175643124858075106255443\ *c_1001_1^6 + 456381140404170425602122673317415/2750267175643124858\ 075106255443*c_1001_1^5 - 6749953402461380580824260226726624/275026\ 7175643124858075106255443*c_1001_1^4 + 197270205681034639265048079174985/2750267175643124858075106255443*c\ _1001_1^3 + 835490460991245556671954659743790/275026717564312485807\ 5106255443*c_1001_1^2 - 9625331195945610430604380743965/27502671756\ 43124858075106255443*c_1001_1 - 46256185119557507210345039021641/27\ 50267175643124858075106255443, c_0101_4 - 2977153043350690437469693864807/2750267175643124858075106255\ 443*c_1001_1^21 - 26266984600991157050929973105677/2750267175643124\ 858075106255443*c_1001_1^20 - 190384372017125750318004022838766/275\ 0267175643124858075106255443*c_1001_1^19 - 836571478833049411949487106677330/2750267175643124858075106255443*c\ _1001_1^18 - 2335154934045120806994030236209469/2750267175643124858\ 075106255443*c_1001_1^17 - 3663361278027364775886622903379425/27502\ 67175643124858075106255443*c_1001_1^16 - 1984354292798022972360536006430403/2750267175643124858075106255443*\ c_1001_1^15 + 3145822078172742498963019593748177/275026717564312485\ 8075106255443*c_1001_1^14 + 6781320015412734257445234559774840/2750\ 267175643124858075106255443*c_1001_1^13 + 2644017598530190577596481515433227/2750267175643124858075106255443*\ c_1001_1^12 - 4861494612987299113136335791816288/275026717564312485\ 8075106255443*c_1001_1^11 - 6335732335822115588731860914914215/2750\ 267175643124858075106255443*c_1001_1^10 + 528030121417821641718069208254095/2750267175643124858075106255443*c\ _1001_1^9 + 4350632755178016449506541325002242/27502671756431248580\ 75106255443*c_1001_1^8 + 1996880979709399669732333637765196/2750267\ 175643124858075106255443*c_1001_1^7 - 2750023854661148254392467678866693/2750267175643124858075106255443*\ c_1001_1^6 - 857454856299034509395002559151580/27502671756431248580\ 75106255443*c_1001_1^5 + 836608527071161760272785527849698/27502671\ 75643124858075106255443*c_1001_1^4 + 182551819156750572266594641356267/2750267175643124858075106255443*c\ _1001_1^3 - 134642649341106098601424587870408/275026717564312485807\ 5106255443*c_1001_1^2 - 25123117988144165495810662654748/2750267175\ 643124858075106255443*c_1001_1 + 8479357104036816521314396062312/27\ 50267175643124858075106255443, c_0101_7 + 10320133011570474165059356832481/275026717564312485807510625\ 5443*c_1001_1^21 + 83479698920218041981529128256205/275026717564312\ 4858075106255443*c_1001_1^20 + 594966380673244840666817794917325/27\ 50267175643124858075106255443*c_1001_1^19 + 2430387271282843894101606023128366/2750267175643124858075106255443*\ c_1001_1^18 + 6071797595126450467197742781309216/275026717564312485\ 8075106255443*c_1001_1^17 + 7187897159260382536516649751932587/2750\ 267175643124858075106255443*c_1001_1^16 - 1369002911993103086134593727109016/2750267175643124858075106255443*\ c_1001_1^15 - 14684515809284523813076542502089455/27502671756431248\ 58075106255443*c_1001_1^14 - 15728100802753018565789868589658777/27\ 50267175643124858075106255443*c_1001_1^13 + 5576641206771865875076762061859722/2750267175643124858075106255443*\ c_1001_1^12 + 20951826755638187604858428348078423/27502671756431248\ 58075106255443*c_1001_1^11 + 10677994912000266111971133912256550/27\ 50267175643124858075106255443*c_1001_1^10 - 14349513299220994347314050586094065/2750267175643124858075106255443\ *c_1001_1^9 - 12080171368231906805541939459002760/27502671756431248\ 58075106255443*c_1001_1^8 + 1532095881100046735989757575811045/2750\ 267175643124858075106255443*c_1001_1^7 + 12644463081534205285759121314383644/2750267175643124858075106255443\ *c_1001_1^6 - 3580691673497481382389951476618851/275026717564312485\ 8075106255443*c_1001_1^5 - 2873731569451097434914515688876182/27502\ 67175643124858075106255443*c_1001_1^4 + 749635870038550977669620651149318/2750267175643124858075106255443*c\ _1001_1^3 + 401725508066198029993126232776908/275026717564312485807\ 5106255443*c_1001_1^2 - 60260499967858730054463544166754/2750267175\ 643124858075106255443*c_1001_1 - 31482269021548605714929696382028/2\ 750267175643124858075106255443, c_1001_0 + 8223215429990390307217859453654/2750267175643124858075106255\ 443*c_1001_1^21 + 68058018258179587401719709243854/2750267175643124\ 858075106255443*c_1001_1^20 + 487398030179878664421246395968846/275\ 0267175643124858075106255443*c_1001_1^19 + 2033062616566346049715368919959379/2750267175643124858075106255443*\ c_1001_1^18 + 5256837089298820234065767515381319/275026717564312485\ 8075106255443*c_1001_1^17 + 6882411022194385784709625308811901/2750\ 267175643124858075106255443*c_1001_1^16 + 688376439508704837002020016708845/2750267175643124858075106255443*c\ _1001_1^15 - 10755141874480383317636205743721047/275026717564312485\ 8075106255443*c_1001_1^14 - 13997203922363452827128546788667105/275\ 0267175643124858075106255443*c_1001_1^13 + 1282407175365752522349610495502515/2750267175643124858075106255443*\ c_1001_1^12 + 15421975614435227329533798715568257/27502671756431248\ 58075106255443*c_1001_1^11 + 10498091065230181316785980198872832/27\ 50267175643124858075106255443*c_1001_1^10 - 8685418033711283606001556867982564/2750267175643124858075106255443*\ c_1001_1^9 - 9765472801920427383662704864380592/2750267175643124858\ 075106255443*c_1001_1^8 - 345200472732846402360036570901235/2750267\ 175643124858075106255443*c_1001_1^7 + 9167029983769207039101652842164979/2750267175643124858075106255443*\ c_1001_1^6 - 1768010910664040782495854610999568/2750267175643124858\ 075106255443*c_1001_1^5 - 2238167104178874655671589198570071/275026\ 7175643124858075106255443*c_1001_1^4 + 469473998272976371841200890595016/2750267175643124858075106255443*c\ _1001_1^3 + 308971369876237163389182898818916/275026717564312485807\ 5106255443*c_1001_1^2 - 48986257885961267949553423600485/2750267175\ 643124858075106255443*c_1001_1 - 22095787926426297163624661623960/2\ 750267175643124858075106255443, c_1001_1^22 + 8*c_1001_1^21 + 57*c_1001_1^20 + 231*c_1001_1^19 + 572*c_1001_1^18 + 665*c_1001_1^17 - 134*c_1001_1^16 - 1308*c_1001_1^15 - 1323*c_1001_1^14 + 618*c_1001_1^13 + 1799*c_1001_1^12 + 737*c_1001_1^11 - 1394*c_1001_1^10 - 864*c_1001_1^9 + 292*c_1001_1^8 + 1111*c_1001_1^7 - 535*c_1001_1^6 - 203*c_1001_1^5 + 136*c_1001_1^4 + 20*c_1001_1^3 - 17*c_1001_1^2 - c_1001_1 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 24.740 Total time: 24.949 seconds, Total memory usage: 188.28MB