Magma V2.19-8 Sun Sep 15 2013 08:43:45 on localhost [Seed = 1627822278] Type ? for help. Type -D to quit. Loading file "11_452__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_452 geometric_solution 16.09172281 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 17 1 1 2 3 0132 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 1 0 -1 -1 0 1 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.473966058893 0.567540094104 0 4 0 5 0132 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 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.133114060205 1.038033248620 6 7 8 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 0 0 1 -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 0.798557917092 0.978563374320 9 10 0 11 0132 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 0 1 -1 0 0 0 0 0 0 0 0 3 -4 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.120742290344 0.809125694395 12 1 13 6 0132 0132 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0.470576096731 0.397682856560 12 14 1 7 3012 0132 0132 3012 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 -1 4 0 -3 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.473690362937 0.757954380060 2 4 12 15 0132 2310 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 -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.903259269021 1.166236575145 9 2 5 11 1230 0132 1230 1230 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 -3 0 3 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.478491370657 0.896990801519 13 9 16 2 2310 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 1 0 0 -1 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.301911419903 0.784875473278 3 7 8 10 0132 3012 3012 1023 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 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.110179757618 1.213045300986 14 3 15 9 2031 0132 2031 1023 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 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.351294302468 0.631670720479 7 14 3 16 3012 2031 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.439645332477 0.665918615818 4 6 16 5 0132 1230 1302 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 -1 0 0 1 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.669429069622 1.177761844804 15 14 8 4 0321 0321 3201 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 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.909449249543 1.032126457463 11 5 10 13 1302 0132 1302 0321 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 1 0 0 -1 1 -1 0 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.548243733522 0.650339551657 13 16 6 10 0321 2103 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 0 0 0 0 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.024315226676 0.956977207303 12 15 11 8 2031 2103 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 1.199704386074 1.537906436721 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_15' : d['c_0011_16'], 'c_1001_14' : negation(d['c_0101_7']), 'c_1001_16' : d['c_0011_14'], 'c_1001_11' : d['c_0011_13'], 'c_1001_10' : d['c_0011_13'], 'c_1001_13' : d['c_0101_10'], 'c_1001_12' : negation(d['c_0101_10']), 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0011_0'], 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_11'], 'c_1001_9' : d['c_0011_2'], 'c_1001_8' : d['c_1001_8'], 'c_1010_13' : d['c_1001_4'], 'c_1010_12' : d['c_0101_0'], 'c_1010_11' : d['c_0011_14'], 'c_1010_10' : d['c_0101_1'], 'c_1010_16' : d['c_1001_8'], 'c_1010_15' : negation(d['c_1001_8']), 'c_1010_14' : d['c_1001_4'], 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_0_13' : d['1'], 's_3_15' : d['1'], 's_0_15' : d['1'], 's_0_16' : d['1'], 's_3_16' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : negation(d['c_0011_16']), 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 'c_0101_16' : d['c_0101_16'], 'c_0101_15' : negation(d['c_0101_13']), 'c_0101_14' : negation(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_0_8' : 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' : d['c_0011_14'], 'c_0011_14' : d['c_0011_14'], 'c_0011_16' : d['c_0011_16'], 'c_1100_9' : negation(d['c_1001_8']), 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : negation(d['c_0011_0']), 'c_1100_5' : negation(d['c_1001_0']), 'c_1100_4' : d['c_0011_2'], 'c_1100_7' : d['c_0101_16'], 'c_1100_6' : d['c_0101_10'], '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_1100_0'], 'c_1100_15' : d['c_0101_10'], 's_0_10' : d['1'], 'c_1100_16' : d['c_1100_0'], 'c_1100_11' : d['c_1100_0'], 'c_1100_10' : d['c_1001_8'], 'c_1100_13' : d['c_0011_2'], 's_3_10' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : d['c_0101_11'], 'c_1010_6' : d['c_0011_16'], 'c_1010_5' : negation(d['c_0101_7']), 's_3_12' : d['1'], 'c_1010_3' : d['c_0011_13'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_4'], 'c_1100_14' : d['c_0101_10'], 's_0_14' : d['1'], 'c_1010_9' : negation(d['c_0101_7']), 's_3_14' : d['1'], 'c_1100_8' : d['c_1100_0'], '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_16'], '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' : negation(d['c_0011_2']), 'c_0011_5' : negation(d['c_0011_14']), 'c_0011_4' : d['c_0011_0'], 'c_0101_13' : d['c_0101_13'], 'c_0011_6' : negation(d['c_0011_2']), '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' : d['c_0011_2'], 'c_0110_11' : d['c_0101_16'], 'c_0110_10' : negation(d['c_0101_7']), 'c_0110_13' : negation(d['c_0011_14']), 'c_0110_12' : negation(d['c_0011_14']), 'c_0110_15' : negation(d['c_0011_13']), 'c_0110_14' : negation(d['c_0011_13']), 'c_0110_16' : negation(d['c_0101_10']), 'c_1010_4' : negation(d['c_0011_0']), 'c_0011_7' : negation(d['c_0011_2']), 'c_1010_0' : d['c_0101_1'], 's_2_14' : d['1'], 's_0_9' : d['1'], 'c_1010_8' : d['c_0101_11'], 'c_0011_11' : d['c_0011_10'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_14']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0101_13']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_11'], 'c_0101_8' : negation(d['c_0101_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' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : negation(d['c_0101_13']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_11'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_16'], 'c_0110_4' : negation(d['c_0011_16']), 'c_0110_7' : d['c_0011_10'], 'c_0110_6' : negation(d['c_0101_13']), 's_2_9' : d['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_13, c_0011_14, c_0011_16, c_0011_2, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_13, c_0101_16, c_0101_7, c_1001_0, c_1001_4, c_1001_8, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 118838187689361061430297451864731871993398742632796/512726937489022\ 47518613498673868550671778333283*c_1100_0^19 - 501093104600315816687332905569020309008533314576039/512726937489022\ 47518613498673868550671778333283*c_1100_0^18 - 3397880440889706462769084176200576436182369265503541/51272693748902\ 247518613498673868550671778333283*c_1100_0^17 + 7122336468749534899322161421990063596718311599869615/51272693748902\ 247518613498673868550671778333283*c_1100_0^16 + 32842147405545208017631419612331569993165406399621385/5127269374890\ 2247518613498673868550671778333283*c_1100_0^15 + 109415156124064008474248111487900822340050687815836628/512726937489\ 02247518613498673868550671778333283*c_1100_0^14 + 143141455692581061304470199008460293321249173310412749/512726937489\ 02247518613498673868550671778333283*c_1100_0^13 + 144530990271105208971005570577413499184311297413642321/512726937489\ 02247518613498673868550671778333283*c_1100_0^12 + 101368903504114239076271232012692444811637304152215135/512726937489\ 02247518613498673868550671778333283*c_1100_0^11 + 229937575891733467378272053659334750369953513775194046/512726937489\ 02247518613498673868550671778333283*c_1100_0^10 + 481170274764784594267057347121492235714314778882012552/512726937489\ 02247518613498673868550671778333283*c_1100_0^9 + 675090377070264875917221132727060904274266383077598350/512726937489\ 02247518613498673868550671778333283*c_1100_0^8 + 674751072401358316519527041904748089743588406495254212/512726937489\ 02247518613498673868550671778333283*c_1100_0^7 + 529336508209313097204399063225272746856292827996440226/512726937489\ 02247518613498673868550671778333283*c_1100_0^6 + 354221274091030461372454273930815658870217979399287236/512726937489\ 02247518613498673868550671778333283*c_1100_0^5 + 210239524658708702490104550988487820766743730012377183/512726937489\ 02247518613498673868550671778333283*c_1100_0^4 + 105402138209310500843027783605923921879182258389712901/512726937489\ 02247518613498673868550671778333283*c_1100_0^3 + 36089620198262225106013958616875689181773057082426569/5127269374890\ 2247518613498673868550671778333283*c_1100_0^2 + 5937622263163725114230752121873413473492010964585504/51272693748902\ 247518613498673868550671778333283*c_1100_0 - 638990534357263407134284151215210275733389857024579/512726937489022\ 47518613498673868550671778333283, c_0011_0 - 1, c_0011_10 + 5827227778029060220152890893529133/369622375655556582096213\ 38038694383*c_1100_0^19 + 17045827287475359601647891268752231/36962\ 237565555658209621338038694383*c_1100_0^18 + 141570314843157670109216140759123629/369622375655556582096213380386\ 94383*c_1100_0^17 - 541009898277562153333832585042850432/3696223756\ 5555658209621338038694383*c_1100_0^16 - 985410617061297095052803550710402903/369622375655556582096213380386\ 94383*c_1100_0^15 - 3812471683175958606663816155809692624/369622375\ 65555658209621338038694383*c_1100_0^14 - 1571103238054972801195123737850535392/36962237565555658209621338038\ 694383*c_1100_0^13 - 3086102630378253696769290641862843725/36962237\ 565555658209621338038694383*c_1100_0^12 - 140672946309595667832863378340060312/369622375655556582096213380386\ 94383*c_1100_0^11 - 9582211546398818419330893638017868164/369622375\ 65555658209621338038694383*c_1100_0^10 - 11068952232170580929924011903542837129/3696223756555565820962133803\ 8694383*c_1100_0^9 - 13909428319616778170497384352532108223/3696223\ 7565555658209621338038694383*c_1100_0^8 - 9203688513612781909522968174153294670/36962237565555658209621338038\ 694383*c_1100_0^7 - 7048991356298768887332420380665318989/369622375\ 65555658209621338038694383*c_1100_0^6 - 3462129304469063167851342733699861080/36962237565555658209621338038\ 694383*c_1100_0^5 - 2253656617198882012304461091894452731/369622375\ 65555658209621338038694383*c_1100_0^4 - 440030565735773455645710706549195162/369622375655556582096213380386\ 94383*c_1100_0^3 - 113399724560258284769283262198136333/36962237565\ 555658209621338038694383*c_1100_0^2 + 33295706320456281861074846031982634/3696223756555565820962133803869\ 4383*c_1100_0 - 25748284699510830684367250449196411/369622375655556\ 58209621338038694383, c_0011_13 - 4039997898279826541649453328624396/369622375655556582096213\ 38038694383*c_1100_0^19 - 10261660367271540756218390916689955/36962\ 237565555658209621338038694383*c_1100_0^18 - 92458196029172941615423352349015009/3696223756555565820962133803869\ 4383*c_1100_0^17 + 416867304880970361597273697217683804/36962237565\ 555658209621338038694383*c_1100_0^16 + 568433114150446035669153348561343543/369622375655556582096213380386\ 94383*c_1100_0^15 + 2290199483206439300194044278558982797/369622375\ 65555658209621338038694383*c_1100_0^14 - 178337202102975600679324572453810070/369622375655556582096213380386\ 94383*c_1100_0^13 + 849524200843827899788988319390067012/3696223756\ 5555658209621338038694383*c_1100_0^12 - 1469200132487839415163816535353750683/36962237565555658209621338038\ 694383*c_1100_0^11 + 5736074154432096027085710230471578881/36962237\ 565555658209621338038694383*c_1100_0^10 + 4768790913735997812052598102665803329/36962237565555658209621338038\ 694383*c_1100_0^9 + 4693137263039886590918307823215735738/369622375\ 65555658209621338038694383*c_1100_0^8 - 448112909770062308445418156933083361/369622375655556582096213380386\ 94383*c_1100_0^7 - 1810274581090934506446323523582568410/3696223756\ 5555658209621338038694383*c_1100_0^6 - 2882708885787905376522716400016430965/36962237565555658209621338038\ 694383*c_1100_0^5 - 2112305925274702482117543653746718728/369622375\ 65555658209621338038694383*c_1100_0^4 - 1736784466989145368765466746645511402/36962237565555658209621338038\ 694383*c_1100_0^3 - 924384396751258854573455792230374644/3696223756\ 5555658209621338038694383*c_1100_0^2 - 378238448479796693787927137069788309/369622375655556582096213380386\ 94383*c_1100_0 - 39041187691850037323509451596513511/36962237565555\ 658209621338038694383, c_0011_14 - 2024268396998928098186933064159248/369622375655556582096213\ 38038694383*c_1100_0^19 - 5900709916291834830671775699597943/369622\ 37565555658209621338038694383*c_1100_0^18 - 48431023989214152792451471310470918/3696223756555565820962133803869\ 4383*c_1100_0^17 + 189953517356251075859632104956506962/36962237565\ 555658209621338038694383*c_1100_0^16 + 356113600877068672835567472831837744/369622375655556582096213380386\ 94383*c_1100_0^15 + 1246135553416500623573244684171452499/369622375\ 65555658209621338038694383*c_1100_0^14 + 472920988706540893098280740590175486/369622375655556582096213380386\ 94383*c_1100_0^13 + 650400993592707092318861648079919055/3696223756\ 5555658209621338038694383*c_1100_0^12 + 124664230045483508208652248629691656/369622375655556582096213380386\ 94383*c_1100_0^11 + 2824559959875896782952089404038888378/369622375\ 65555658209621338038694383*c_1100_0^10 + 4080201410786386436223391459266235786/36962237565555658209621338038\ 694383*c_1100_0^9 + 3433477220081822572626243616932630900/369622375\ 65555658209621338038694383*c_1100_0^8 + 2739044886126254654152494745378459736/36962237565555658209621338038\ 694383*c_1100_0^7 + 951494259521018156933073366034822048/3696223756\ 5555658209621338038694383*c_1100_0^6 + 762004649399080335453660309765379702/369622375655556582096213380386\ 94383*c_1100_0^5 - 6787098347650376528934631955389441/3696223756555\ 5658209621338038694383*c_1100_0^4 - 99105755030408399737612852513747687/3696223756555565820962133803869\ 4383*c_1100_0^3 - 196995896135087755565911665179580396/369622375655\ 55658209621338038694383*c_1100_0^2 - 45595918127036296200236655666889969/3696223756555565820962133803869\ 4383*c_1100_0 - 34474769919264193492554563991564881/369622375655556\ 58209621338038694383, c_0011_16 - 3855945626521812699807579011877044/369622375655556582096213\ 38038694383*c_1100_0^19 - 17750716446359983735426652680933917/36962\ 237565555658209621338038694383*c_1100_0^18 - 114581040569885085326648851198327812/369622375655556582096213380386\ 94383*c_1100_0^17 + 194800062456563011747496669853272239/3696223756\ 5555658209621338038694383*c_1100_0^16 + 1204356972779809000884211278868127252/36962237565555658209621338038\ 694383*c_1100_0^15 + 3795375149091081756453870544175747709/36962237\ 565555658209621338038694383*c_1100_0^14 + 5626692768757292882750287625135148972/36962237565555658209621338038\ 694383*c_1100_0^13 + 5113505217840023638044038721895615307/36962237\ 565555658209621338038694383*c_1100_0^12 + 4172687995337151314197723667913506868/36962237565555658209621338038\ 694383*c_1100_0^11 + 7572927879609741874654900147522441024/36962237\ 565555658209621338038694383*c_1100_0^10 + 18045395434248193366009401894467813307/3696223756555565820962133803\ 8694383*c_1100_0^9 + 24727216671443513676400751694302013648/3696223\ 7565555658209621338038694383*c_1100_0^8 + 25547910903956208862701385378083880185/3696223756555565820962133803\ 8694383*c_1100_0^7 + 19993402288848305338229120100645967697/3696223\ 7565555658209621338038694383*c_1100_0^6 + 13505933260255756794977597277282739785/3696223756555565820962133803\ 8694383*c_1100_0^5 + 7906452370549444837954513100696057172/36962237\ 565555658209621338038694383*c_1100_0^4 + 3943769348114862145296214798085420881/36962237565555658209621338038\ 694383*c_1100_0^3 + 1313862893625096981082298000689254997/369622375\ 65555658209621338038694383*c_1100_0^2 + 189934213732250070958251960889142208/369622375655556582096213380386\ 94383*c_1100_0 - 6814980900258752615762691935531270/369622375655556\ 58209621338038694383, c_0011_2 - 5833707757976642742320052179734471/3696223756555565820962133\ 8038694383*c_1100_0^19 - 21210727410177694752904992017704789/369622\ 37565555658209621338038694383*c_1100_0^18 - 154714916948781068112517228356573160/369622375655556582096213380386\ 94383*c_1100_0^17 + 438481357872049883157097282343952424/3696223756\ 5555658209621338038694383*c_1100_0^16 + 1351354810810001045811028914017325757/36962237565555658209621338038\ 694383*c_1100_0^15 + 4601362456261470322738640448437634603/36962237\ 565555658209621338038694383*c_1100_0^14 + 4431849117648225156622731536192178438/36962237565555658209621338038\ 694383*c_1100_0^13 + 4698128176205392214298735058829662114/36962237\ 565555658209621338038694383*c_1100_0^12 + 2445169504135301477075778735765919267/36962237565555658209621338038\ 694383*c_1100_0^11 + 9842316982890206461772777162305980562/36962237\ 565555658209621338038694383*c_1100_0^10 + 17903938282076068860273696321994654366/3696223756555565820962133803\ 8694383*c_1100_0^9 + 22970795316227106225227298130956685338/3696223\ 7565555658209621338038694383*c_1100_0^8 + 20638044508572616456210677537988121807/3696223756555565820962133803\ 8694383*c_1100_0^7 + 14663396956700161606589672281942870175/3696223\ 7565555658209621338038694383*c_1100_0^6 + 9099123718350290772076153951717438319/36962237565555658209621338038\ 694383*c_1100_0^5 + 4931313622250040658014435798245282098/369622375\ 65555658209621338038694383*c_1100_0^4 + 1984380336625535411929373664343207890/36962237565555658209621338038\ 694383*c_1100_0^3 + 385118490766764914468370266047928647/3696223756\ 5555658209621338038694383*c_1100_0^2 - 96047661714751112733051902960554061/3696223756555565820962133803869\ 4383*c_1100_0 - 49833648789947315247567182484420701/369622375655556\ 58209621338038694383, c_0101_0 + 11819202576750324127718687377642999/369622375655556582096213\ 38038694383*c_1100_0^19 + 38209483657157175526074995338133946/36962\ 237565555658209621338038694383*c_1100_0^18 + 299343882978449025336748034699219896/369622375655556582096213380386\ 94383*c_1100_0^17 - 1004119734710917880483864489026197164/369622375\ 65555658209621338038694383*c_1100_0^16 - 2297510023724535396442178796303373239/36962237565555658209621338038\ 694383*c_1100_0^15 - 8486219165588264727966315624641832647/36962237\ 565555658209621338038694383*c_1100_0^14 - 5859272402871402155266275501327926110/36962237565555658209621338038\ 694383*c_1100_0^13 - 8298914840008740809489357785672341736/36962237\ 565555658209621338038694383*c_1100_0^12 - 2811925868285456340363765032290175192/36962237565555658209621338038\ 694383*c_1100_0^11 - 20345933533307626548588975271615087609/3696223\ 7565555658209621338038694383*c_1100_0^10 - 28628499073219473681200570859393617207/3696223756555565820962133803\ 8694383*c_1100_0^9 - 37553800567952545680679727867171961064/3696223\ 7565555658209621338038694383*c_1100_0^8 - 30868954296340048777445544765174460424/3696223756555565820962133803\ 8694383*c_1100_0^7 - 24040919084379383416640629144137246140/3696223\ 7565555658209621338038694383*c_1100_0^6 - 14576131093682125393966006032514278155/3696223756555565820962133803\ 8694383*c_1100_0^5 - 8661348863416927930546373069526863640/36962237\ 565555658209621338038694383*c_1100_0^4 - 3437221768097310761330234079610693260/36962237565555658209621338038\ 694383*c_1100_0^3 - 1007208575545019687473113920857697491/369622375\ 65555658209621338038694383*c_1100_0^2 - 132362589455512395292815602252436163/369622375655556582096213380386\ 94383*c_1100_0 - 19046488823520288567230951290664491/36962237565555\ 658209621338038694383, c_0101_1 - 7689116554891258662785425732757251/3696223756555565820962133\ 8038694383*c_1100_0^19 - 26579575265057975049486522039385218/369622\ 37565555658209621338038694383*c_1100_0^18 - 199593875317598527275314302218630499/369622375655556582096213380386\ 94383*c_1100_0^17 + 612006829260675034040236743866642923/3696223756\ 5555658209621338038694383*c_1100_0^16 + 1659348910963726830652339829927525734/36962237565555658209621338038\ 694383*c_1100_0^15 + 5796570397371447206979742527271019740/36962237\ 565555658209621338038694383*c_1100_0^14 + 4904793420143622384957769210782763498/36962237565555658209621338038\ 694383*c_1100_0^13 + 5715648896069631779996741572291616409/36962237\ 565555658209621338038694383*c_1100_0^12 + 2640980618541000068827450164913875704/36962237565555658209621338038\ 694383*c_1100_0^11 + 13096605972672869784701835743450561160/3696223\ 7565555658209621338038694383*c_1100_0^10 + 21451284321622733732600080478128512636/3696223756555565820962133803\ 8694383*c_1100_0^9 + 27347005234798741684983857357708167770/3696223\ 7565555658209621338038694383*c_1100_0^8 + 23722001247635416592306797904851987620/3696223756555565820962133803\ 8694383*c_1100_0^7 + 17619652709398629545414526012568155664/3696223\ 7565555658209621338038694383*c_1100_0^6 + 11007607984782155883361078144449030566/3696223756555565820962133803\ 8694383*c_1100_0^5 + 6317197942079668345540448972664943600/36962237\ 565555658209621338038694383*c_1100_0^4 + 2557620745497712453370683531325729215/36962237565555658209621338038\ 694383*c_1100_0^3 + 653862665612863625720824494010373124/3696223756\ 5555658209621338038694383*c_1100_0^2 + 36566645409774567114552325068644409/3696223756555565820962133803869\ 4383*c_1100_0 + 2747556936319509046328359924147810/3696223756555565\ 8209621338038694383, c_0101_10 - 465126230591257942048912787057543/3696223756555565820962133\ 8038694383*c_1100_0^19 - 493729953117867790955172078147031/36962237\ 565555658209621338038694383*c_1100_0^18 - 7462467103257129566937616520089999/36962237565555658209621338038694\ 383*c_1100_0^17 + 68270272169003527009971209543155407/3696223756555\ 5658209621338038694383*c_1100_0^16 + 30505806121165236273950092959943113/3696223756555565820962133803869\ 4383*c_1100_0^15 + 42267111111033629914980314758507107/369622375655\ 55658209621338038694383*c_1100_0^14 - 680908094140135651700233842918809906/369622375655556582096213380386\ 94383*c_1100_0^13 - 884005590943798249370009749667288269/3696223756\ 5555658209621338038694383*c_1100_0^12 - 943577113700309897395347644368323227/369622375655556582096213380386\ 94383*c_1100_0^11 - 33792267714057483980055423647096435/36962237565\ 555658209621338038694383*c_1100_0^10 - 656865695014153606056881895611373181/369622375655556582096213380386\ 94383*c_1100_0^9 - 2720672893325635537456090469732920698/3696223756\ 5555658209621338038694383*c_1100_0^8 - 4140868783256161473835255650976426964/36962237565555658209621338038\ 694383*c_1100_0^7 - 4450812724719697740752473637980727595/369622375\ 65555658209621338038694383*c_1100_0^6 - 3316613394930195013798023248704893440/36962237565555658209621338038\ 694383*c_1100_0^5 - 2296498692628601000510061251658062402/369622375\ 65555658209621338038694383*c_1100_0^4 - 1320573857251890669575215795726659131/36962237565555658209621338038\ 694383*c_1100_0^3 - 733526268859649636973854433181568490/3696223756\ 5555658209621338038694383*c_1100_0^2 - 191991803276792640821339782632442760/369622375655556582096213380386\ 94383*c_1100_0 - 28171242681026019783468849542510758/36962237565555\ 658209621338038694383, c_0101_11 - 6408425729029999091231122756700159/369622375655556582096213\ 38038694383*c_1100_0^19 - 19926753909295115157877669224478296/36962\ 237565555658209621338038694383*c_1100_0^18 - 158244855089103325995921519425902439/369622375655556582096213380386\ 94383*c_1100_0^17 + 568889756082942138984256166198752236/3696223756\ 5555658209621338038694383*c_1100_0^16 + 1215455915727692173147646944898606662/36962237565555658209621338038\ 694383*c_1100_0^15 + 4309304286225913503578228668841410014/36962237\ 565555658209621338038694383*c_1100_0^14 + 2358835917788331757592739283317739391/36962237565555658209621338038\ 694383*c_1100_0^13 + 3094551895800924843158263523941116697/36962237\ 565555658209621338038694383*c_1100_0^12 + 496353554712517696534373406153655500/369622375655556582096213380386\ 94383*c_1100_0^11 + 9871669285890884138377452543586006332/369622375\ 65555658209621338038694383*c_1100_0^10 + 14035810323996474655426526185035906291/3696223756555565820962133803\ 8694383*c_1100_0^9 + 15891510903190607866322645530869858645/3696223\ 7565555658209621338038694383*c_1100_0^8 + 11301499907045233520172633961227061954/3696223756555565820962133803\ 8694383*c_1100_0^7 + 6942635049130056493957211100944882891/36962237\ 565555658209621338038694383*c_1100_0^6 + 3262099281258551496491418230487550068/36962237565555658209621338038\ 694383*c_1100_0^5 + 1379000308513570769296115989706705431/369622375\ 65555658209621338038694383*c_1100_0^4 - 4155308186094573155968689794155163/36962237565555658209621338038694\ 383*c_1100_0^3 - 406858820446996200001609980828070105/3696223756555\ 5658209621338038694383*c_1100_0^2 - 248820083704345653708102720046037803/369622375655556582096213380386\ 94383*c_1100_0 - 44826610916319027565117750912754252/36962237565555\ 658209621338038694383, c_0101_13 + 6591088725816065406843695284882431/369622375655556582096213\ 38038694383*c_1100_0^19 + 20490228042509977076844729424467594/36962\ 237565555658209621338038694383*c_1100_0^18 + 162352822540420488445515375508682487/369622375655556582096213380386\ 94383*c_1100_0^17 - 585845775261954135698453601248981368/3696223756\ 5555658209621338038694383*c_1100_0^16 - 1257634964870132418469331727820391800/36962237565555658209621338038\ 694383*c_1100_0^15 - 4382826271072957992168124855264192924/36962237\ 565555658209621338038694383*c_1100_0^14 - 2403986950463833900957991752395192739/36962237565555658209621338038\ 694383*c_1100_0^13 - 3015001016839203542094435859450021173/36962237\ 565555658209621338038694383*c_1100_0^12 - 739440764771204684039050691380993495/369622375655556582096213380386\ 94383*c_1100_0^11 - 10092413698356681986974431046459959818/36962237\ 565555658209621338038694383*c_1100_0^10 - 14676309995379965742976301854302873457/3696223756555565820962133803\ 8694383*c_1100_0^9 - 15692551324847219227877171202039905702/3696223\ 7565555658209621338038694383*c_1100_0^8 - 11685071909131404870700233542916755319/3696223756555565820962133803\ 8694383*c_1100_0^7 - 7217996673610111275949963004969173299/36962237\ 565555658209621338038694383*c_1100_0^6 - 3942384832979151846858755464216912591/36962237565555658209621338038\ 694383*c_1100_0^5 - 1725731587746675243451058845157027942/369622375\ 65555658209621338038694383*c_1100_0^4 - 260629996320030296538920221812957376/369622375655556582096213380386\ 94383*c_1100_0^3 + 279284555936912298463214901425376702/36962237565\ 555658209621338038694383*c_1100_0^2 + 134456883857044736021170485541959974/369622375655556582096213380386\ 94383*c_1100_0 + 42342619953691580082781838343745899/36962237565555\ 658209621338038694383, c_0101_16 - 8133188776849313103102836595871265/369622375655556582096213\ 38038694383*c_1100_0^19 - 28076977264099924312657366803742119/36962\ 237565555658209621338038694383*c_1100_0^18 - 209131761690131888269422791956065159/369622375655556582096213380386\ 94383*c_1100_0^17 + 653344679418353459398302099519251970/3696223756\ 5555658209621338038694383*c_1100_0^16 + 1796178952700687790513819021928442607/36962237565555658209621338038\ 694383*c_1100_0^15 + 5940672260493709366345467322236324633/36962237\ 565555658209621338038694383*c_1100_0^14 + 4886570288098185352301486080219330819/36962237565555658209621338038\ 694383*c_1100_0^13 + 4874520731944500104114441732414195781/36962237\ 565555658209621338038694383*c_1100_0^12 + 2512901546240817458719277880607350732/36962237565555658209621338038\ 694383*c_1100_0^11 + 12909108145769279379269789173614398927/3696223\ 7565555658209621338038694383*c_1100_0^10 + 22696880208609469579493053666012687196/3696223756555565820962133803\ 8694383*c_1100_0^9 + 25761782624262665085796848553328528340/3696223\ 7565555658209621338038694383*c_1100_0^8 + 22044473888698554281239754259428203025/3696223756555565820962133803\ 8694383*c_1100_0^7 + 14832793935497595555836149955466913578/3696223\ 7565555658209621338038694383*c_1100_0^6 + 9194442443155715299981405967590420993/36962237565555658209621338038\ 694383*c_1100_0^5 + 4760235961107337860567049873555321014/369622375\ 65555658209621338038694383*c_1100_0^4 + 1728350233628875188480077811358451715/36962237565555658209621338038\ 694383*c_1100_0^3 + 146464474396300176339685668884635047/3696223756\ 5555658209621338038694383*c_1100_0^2 - 68378411040275346920535896988092968/3696223756555565820962133803869\ 4383*c_1100_0 - 30871490103482023803648172178172489/369622375655556\ 58209621338038694383, c_0101_7 - 6854103027911546644976721229071418/3696223756555565820962133\ 8038694383*c_1100_0^19 - 28112125288249170328948146172166618/369622\ 37565555658209621338038694383*c_1100_0^18 - 193033663261658732326706998969159808/369622375655556582096213380386\ 94383*c_1100_0^17 + 432058689615309770793069460177743463/3696223756\ 5555658209621338038694383*c_1100_0^16 + 1836611882405842701092547548290969285/36962237565555658209621338038\ 694383*c_1100_0^15 + 6123250375677007027851554211353452056/36962237\ 565555658209621338038694383*c_1100_0^14 + 7598169468042812305672864684177082647/36962237565555658209621338038\ 694383*c_1100_0^13 + 7720027987901917711183178031375067440/36962237\ 565555658209621338038694383*c_1100_0^12 + 5145512585085662094327232396211054662/36962237565555658209621338038\ 694383*c_1100_0^11 + 13109433401803076266402293818718114591/3696223\ 7565555658209621338038694383*c_1100_0^10 + 26223396944876381340241786572119614232/3696223756555565820962133803\ 8694383*c_1100_0^9 + 36581917773247271012251041716434876203/3696223\ 7565555658209621338038694383*c_1100_0^8 + 35260599607040632492570163012187124055/3696223756555565820962133803\ 8694383*c_1100_0^7 + 28118987266772835393735435280875397801/3696223\ 7565555658209621338038694383*c_1100_0^6 + 18292736315886612868019281339947260688/3696223756555565820962133803\ 8694383*c_1100_0^5 + 11076400008759492658002929510097212546/3696223\ 7565555658209621338038694383*c_1100_0^4 + 5187530522606797019376711791878901803/36962237565555658209621338038\ 694383*c_1100_0^3 + 1713741125667744086554290089511652030/369622375\ 65555658209621338038694383*c_1100_0^2 + 229841888151479116166604086013772269/369622375655556582096213380386\ 94383*c_1100_0 - 14813827121323711407284365088481745/36962237565555\ 658209621338038694383, c_1001_0 + 9078625711935533854696518662663579/3696223756555565820962133\ 8038694383*c_1100_0^19 + 30183114264548879682564488325215222/369622\ 37565555658209621338038694383*c_1100_0^18 + 234203261109179212086861986837458922/369622375655556582096213380386\ 94383*c_1100_0^17 - 745572493071852620926194365811761037/3696223756\ 5555658209621338038694383*c_1100_0^16 - 1797514912525958334246763130037025691/36962237565555658209621338038\ 694383*c_1100_0^15 - 6827233098608865222241840517404608513/36962237\ 565555658209621338038694383*c_1100_0^14 - 5370121772500241391013720491023729676/36962237565555658209621338038\ 694383*c_1100_0^13 - 7796757464631492229319814776506176814/36962237\ 565555658209621338038694383*c_1100_0^12 - 3144821268244274599937769003878420945/36962237565555658209621338038\ 694383*c_1100_0^11 - 16546181608026810597765517393364981892/3696223\ 7565555658209621338038694383*c_1100_0^10 - 23488112705280394833447829695441990139/3696223756555565820962133803\ 8694383*c_1100_0^9 - 33380670673230178326806900408031824308/3696223\ 7565555658209621338038694383*c_1100_0^8 - 29421252969259069620600041684994971068/3696223756555565820962133803\ 8694383*c_1100_0^7 - 24023420572758439853189790448640822138/3696223\ 7565555658209621338038694383*c_1100_0^6 - 15201756177555891852674436149546458978/3696223756555565820962133803\ 8694383*c_1100_0^5 - 9294077337269076828401721275615101874/36962237\ 565555658209621338038694383*c_1100_0^4 - 4218578776406323097928115820916309863/36962237565555658209621338038\ 694383*c_1100_0^3 - 1492646676494918880569809476013307589/369622375\ 65555658209621338038694383*c_1100_0^2 - 296459626847021366626483104991852333/369622375655556582096213380386\ 94383*c_1100_0 - 14849764258529798498298778635271238/36962237565555\ 658209621338038694383, c_1001_4 - 14476671389490594250763238985529457/369622375655556582096213\ 38038694383*c_1100_0^19 - 55520579932498810653803778385423664/36962\ 237565555658209621338038694383*c_1100_0^18 - 395563240828775697237418254483169406/369622375655556582096213380386\ 94383*c_1100_0^17 + 1007871459684814956373539533935303878/369622375\ 65555658209621338038694383*c_1100_0^16 + 3540415873136322707175461703013203750/36962237565555658209621338038\ 694383*c_1100_0^15 + 12180454237120698352873053528552487931/3696223\ 7565555658209621338038694383*c_1100_0^14 + 13479397878891885725107502443983016728/3696223756555565820962133803\ 8694383*c_1100_0^13 + 14769782397576812429383859371365966729/369622\ 37565555658209621338038694383*c_1100_0^12 + 9090970045051038688815719861018285050/36962237565555658209621338038\ 694383*c_1100_0^11 + 26935803935049149864715775668041862025/3696223\ 7565555658209621338038694383*c_1100_0^10 + 49554078352758092035973983401619617185/3696223756555565820962133803\ 8694383*c_1100_0^9 + 68177118644089137861127329453622460594/3696223\ 7565555658209621338038694383*c_1100_0^8 + 65328565852782427893840947779590298959/3696223756555565820962133803\ 8694383*c_1100_0^7 + 51631620123494229471305097499784530114/3696223\ 7565555658209621338038694383*c_1100_0^6 + 33959747047988212100774683930202707165/3696223756555565820962133803\ 8694383*c_1100_0^5 + 20235034081179184283472225404709452118/3696223\ 7565555658209621338038694383*c_1100_0^4 + 9630068361830030135165488208547225083/36962237565555658209621338038\ 694383*c_1100_0^3 + 3232258600453228336455008047012574335/369622375\ 65555658209621338038694383*c_1100_0^2 + 515510075830485168475748316396167164/369622375655556582096213380386\ 94383*c_1100_0 - 17456324357075056047951585173381005/36962237565555\ 658209621338038694383, c_1001_8 + 9008820965005631591470884649653369/3696223756555565820962133\ 8038694383*c_1100_0^19 + 33011378434226862498328321214180791/369622\ 37565555658209621338038694383*c_1100_0^18 + 240611953414045522464092152937700534/369622375655556582096213380386\ 94383*c_1100_0^17 - 668326325308453937640809806787405261/3696223756\ 5555658209621338038694383*c_1100_0^16 - 2087790656083397112211731101529591954/36962237565555658209621338038\ 694383*c_1100_0^15 - 7239268959224519466781889572305435930/36962237\ 565555658209621338038694383*c_1100_0^14 - 7143225813727096854055506829444262962/36962237565555658209621338038\ 694383*c_1100_0^13 - 7962610114673160789460948500373276604/36962237\ 565555658209621338038694383*c_1100_0^12 - 4123406538256586793528249424319832505/36962237565555658209621338038\ 694383*c_1100_0^11 - 15943507080688102291979919299939792428/3696223\ 7565555658209621338038694383*c_1100_0^10 - 28022319217468910150902390201429095784/3696223756555565820962133803\ 8694383*c_1100_0^9 - 37672152719873013225444092781197242456/3696223\ 7565555658209621338038694383*c_1100_0^8 - 33989026860766926506174811234749341482/3696223756555565820962133803\ 8694383*c_1100_0^7 - 25686408334745648758659147963381468287/3696223\ 7565555658209621338038694383*c_1100_0^6 - 16214283765502629695970204196177932731/3696223756555565820962133803\ 8694383*c_1100_0^5 - 9254680193118655945198118893182665927/36962237\ 565555658209621338038694383*c_1100_0^4 - 4083674526116051688360573114883228695/36962237565555658209621338038\ 694383*c_1100_0^3 - 1079949471509280962299912233330119168/369622375\ 65555658209621338038694383*c_1100_0^2 - 52246704026054907523088752009867111/3696223756555565820962133803869\ 4383*c_1100_0 + 63494559767376357218883016330928704/369622375655556\ 58209621338038694383, c_1100_0^20 + 4*c_1100_0^19 + 28*c_1100_0^18 - 65*c_1100_0^17 - 255*c_1100_0^16 - 886*c_1100_0^15 - 1076*c_1100_0^14 - 1201*c_1100_0^13 - 802*c_1100_0^12 - 1988*c_1100_0^11 - 3726*c_1100_0^10 - 5345*c_1100_0^9 - 5353*c_1100_0^8 - 4404*c_1100_0^7 - 2990*c_1100_0^6 - 1828*c_1100_0^5 - 907*c_1100_0^4 - 344*c_1100_0^3 - 74*c_1100_0^2 - 7*c_1100_0 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2015.870 Total time: 2016.069 seconds, Total memory usage: 6579.00MB