Magma V2.19-8 Tue Aug 20 2013 18:05:58 on localhost [Seed = 3381162914] Type ? for help. Type -D to quit. Loading file "11_216__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_216 geometric_solution 12.99623402 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 14 1 2 3 3 0132 0132 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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.006884448888 1.139482520150 0 4 5 2 0132 0132 0132 1023 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 -11 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.450442193317 0.892537492464 6 0 3 1 0132 0132 3201 1023 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 -1 1 0 12 0 -1 -11 -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.213457721842 0.477345792745 2 7 0 0 2310 0132 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.006884448888 1.139482520150 6 1 8 9 1023 0132 0132 0132 0 0 0 0 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 0 -11 12 0 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.386263479492 0.765356794846 10 11 7 1 0132 0132 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 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.386263479492 0.765356794846 2 4 8 7 0132 1023 3012 1302 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 0 0 0 0 0 -12 11 1 -12 0 12 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.407194305464 1.915297278071 5 3 6 10 2310 0132 2031 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 1 0 -1 1 0 -1 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.407194305464 1.915297278071 12 6 12 4 0132 1230 1230 0132 0 0 0 0 0 1 -1 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 0 -12 12 0 -12 0 0 12 -1 1 0 0 11 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.841440445362 0.944913789500 13 11 4 12 0132 0213 0132 2031 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 11 -11 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.518342798878 0.422757083472 5 13 7 13 0132 1302 1230 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.841440445362 0.944913789500 13 5 9 12 2310 0132 0213 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.518342798878 0.422757083472 8 9 11 8 0132 1302 2031 3012 0 0 0 0 0 0 0 0 -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 0 0 0 12 0 0 -12 -11 11 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.474390151535 0.590244973900 9 10 11 10 0132 0321 3201 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.841440445362 0.944913789500 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_1'], 'c_1001_10' : d['c_0101_9'], 'c_1001_13' : d['c_0011_13'], 'c_1001_12' : d['c_0101_13'], 'c_1001_5' : negation(d['c_0101_7']), 'c_1001_4' : d['c_0101_6'], 'c_1001_7' : d['c_0101_0'], 'c_1001_6' : d['c_0011_12'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_0'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_3']), 'c_1001_9' : d['c_1001_1'], 'c_1001_8' : negation(d['c_0101_7']), 'c_1010_13' : d['c_0011_10'], 'c_1010_12' : negation(d['c_0101_8']), 'c_1010_11' : negation(d['c_0101_7']), 'c_1010_10' : d['c_0011_10'], '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' : negation(d['c_0011_13']), 'c_0101_10' : d['c_0101_1'], 's_2_0' : negation(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' : negation(d['1']), 's_2_12' : d['1'], 's_2_13' : 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' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_8'], 'c_1100_7' : negation(d['c_0101_9']), 'c_1100_6' : d['c_0101_7'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : d['c_0101_3'], 'c_1100_3' : d['c_0101_3'], 'c_1100_2' : negation(d['c_0011_3']), 's_0_10' : d['1'], 'c_1100_9' : d['c_0101_8'], 'c_1100_11' : d['c_0011_12'], 'c_1100_10' : d['c_0011_13'], 'c_1100_13' : negation(d['c_0011_10']), 's_0_11' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : negation(d['c_0101_1']), 'c_1010_6' : d['c_0101_9'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_6'], 'c_1010_0' : negation(d['c_0101_3']), 'c_1010_9' : d['c_0011_12'], 'c_1010_8' : d['c_0101_6'], 'c_1100_8' : d['c_0101_8'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(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' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0101_7'], 's_1_7' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_13']), 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0101_13' : d['c_0101_13'], 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_13']), 'c_0110_10' : negation(d['c_0011_13']), 'c_0110_13' : d['c_0101_9'], 'c_0110_12' : d['c_0101_8'], 's_0_13' : d['1'], 'c_0101_12' : d['c_0011_12'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_13']), 'c_0101_4' : d['c_0011_12'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_8'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_13'], 'c_0110_8' : d['c_0011_12'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_9'], 'c_0110_7' : d['c_0011_13'], 'c_0110_6' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 15 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_13, c_0011_3, c_0101_0, c_0101_1, c_0101_13, c_0101_3, c_0101_6, c_0101_7, c_0101_8, c_0101_9, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 3514650509710405865434196066795320722184671603617/11735949816248755\ 5649288635793827754730538998314*c_1001_1^17 - 12163042843434793192397473771646758552550809323333/2347189963249751\ 11298577271587655509461077996628*c_1001_1^16 + 7699198697107923922604965877061412101924985061949/58679749081243777\ 824644317896913877365269499157*c_1001_1^15 + 3955008608915806565202658461823490429833030484957/58679749081243777\ 824644317896913877365269499157*c_1001_1^14 + 15765411581238860187044670447925402530136322213771/5867974908124377\ 7824644317896913877365269499157*c_1001_1^13 + 159813659726221838162921982737980665169390669962857/234718996324975\ 111298577271587655509461077996628*c_1001_1^12 + 44991055708350870083746761842750000157361968554629/2347189963249751\ 11298577271587655509461077996628*c_1001_1^11 - 44512272625040487757226506242554013148083687587577/2347189963249751\ 11298577271587655509461077996628*c_1001_1^10 + 224992009222719057831349356021070637125811224900781/117359498162487\ 555649288635793827754730538998314*c_1001_1^9 - 154294298959921729927350139251850371205497371946975/117359498162487\ 555649288635793827754730538998314*c_1001_1^8 + 5257656835869050845089933677782823376091349455209/40468792469823295\ 05147883992890612232087551666*c_1001_1^7 + 1284922626208684860468332724673954434345628258010069/23471899632497\ 5111298577271587655509461077996628*c_1001_1^6 + 21246115195209195399242493538229062793252417959519/8093758493964659\ 010295767985781224464175103332*c_1001_1^5 + 1986819901146865824639480822462323617269864866527775/23471899632497\ 5111298577271587655509461077996628*c_1001_1^4 + 880535410068675191156146909503712122882145411988147/117359498162487\ 555649288635793827754730538998314*c_1001_1^3 + 709063325307461948277612148326619789923457985935781/117359498162487\ 555649288635793827754730538998314*c_1001_1^2 + 139362563222709278283372439005291023428804064257114/586797490812437\ 77824644317896913877365269499157*c_1001_1 - 310211075181361304466182208728598878784451988391967/234718996324975\ 111298577271587655509461077996628, c_0011_0 - 1, c_0011_10 + 277186474354744864200527056307620574467871/1460603586340853\ 21281006391778254828538318604*c_1001_1^17 - 935799959341987866977808497720390167890155/146060358634085321281006\ 391778254828538318604*c_1001_1^16 + 1231154822641658450454754449049324703878731/73030179317042660640503\ 195889127414269159302*c_1001_1^15 - 574471892693979939589343662105900341708831/365150896585213303202515\ 97944563707134579651*c_1001_1^14 + 3853262474247303240824599757768796923955267/14606035863408532128100\ 6391778254828538318604*c_1001_1^13 + 618441537221273878387038880042828382599527/730301793170426606405031\ 95889127414269159302*c_1001_1^12 - 445195850953788097535900087016255528761371/365150896585213303202515\ 97944563707134579651*c_1001_1^11 - 131352493007974053774853465626687265817799/146060358634085321281006\ 391778254828538318604*c_1001_1^10 + 5074887015469434084778478182563296769008885/36515089658521330320251\ 597944563707134579651*c_1001_1^9 - 25912602542398498701755524247032404506834523/7303017931704266064050\ 3195889127414269159302*c_1001_1^8 + 1614662910739149785473142992682640015389367/50365640908305283200347\ 03164767407880631676*c_1001_1^7 - 160152817663092429599093295988723\ 4521745747/73030179317042660640503195889127414269159302*c_1001_1^6 - 9369136161562086566705567632000108028609/12591410227076320800086757\ 91191851970157919*c_1001_1^5 + 335794808113831002275189465676986160\ 41193391/146060358634085321281006391778254828538318604*c_1001_1^4 + 14660065739926448910169256144475918516600927/7303017931704266064050\ 3195889127414269159302*c_1001_1^3 + 22122882456940334259707615000676857985311029/7303017931704266064050\ 3195889127414269159302*c_1001_1^2 - 69820959347414609222027932175500227271170231/1460603586340853212810\ 06391778254828538318604*c_1001_1 - 16214806425470207491305538444455938125064607/1460603586340853212810\ 06391778254828538318604, c_0011_12 + 3486765190050820317438989637159568398450403/146060358634085\ 321281006391778254828538318604*c_1001_1^17 - 7109572432252249051972728309781327637072369/14606035863408532128100\ 6391778254828538318604*c_1001_1^16 + 8170502510948444262928680723723029906316335/73030179317042660640503\ 195889127414269159302*c_1001_1^15 + 1300841323994983168733489428831319984208523/36515089658521330320251\ 597944563707134579651*c_1001_1^14 + 23121559104126687251277831304981719414538167/1460603586340853212810\ 06391778254828538318604*c_1001_1^13 + 18129982791635205648734241615421775741694386/3651508965852133032025\ 1597944563707134579651*c_1001_1^12 - 6116147385242056174164108319922681363149093/73030179317042660640503\ 195889127414269159302*c_1001_1^11 - 42525449932833115831444593500364521293912841/1460603586340853212810\ 06391778254828538318604*c_1001_1^10 + 57110319275091414642197310408551629391085453/3651508965852133032025\ 1597944563707134579651*c_1001_1^9 - 116802717004339288592099361736408848747979965/730301793170426606405\ 03195889127414269159302*c_1001_1^8 + 4576486544962275543010940590854417869762835/50365640908305283200347\ 03164767407880631676*c_1001_1^7 + 171377263841541660200411076201332\ 690297846171/36515089658521330320251597944563707134579651*c_1001_1^\ 6 - 143718271875926844639969967037029223925445/25182820454152641600\ 17351582383703940315838*c_1001_1^5 + 813229438077509502485539975299670881878476741/146060358634085321281\ 006391778254828538318604*c_1001_1^4 + 271222509237729700601738629249177996429255425/730301793170426606405\ 03195889127414269159302*c_1001_1^3 + 79190878943402302355381224137516545707701653/7303017931704266064050\ 3195889127414269159302*c_1001_1^2 - 76039577803456139931019109112325707268558387/1460603586340853212810\ 06391778254828538318604*c_1001_1 - 436066689154295567388349914428439537772462905/146060358634085321281\ 006391778254828538318604, c_0011_13 + 3486765190050820317438989637159568398450403/146060358634085\ 321281006391778254828538318604*c_1001_1^17 - 7109572432252249051972728309781327637072369/14606035863408532128100\ 6391778254828538318604*c_1001_1^16 + 8170502510948444262928680723723029906316335/73030179317042660640503\ 195889127414269159302*c_1001_1^15 + 1300841323994983168733489428831319984208523/36515089658521330320251\ 597944563707134579651*c_1001_1^14 + 23121559104126687251277831304981719414538167/1460603586340853212810\ 06391778254828538318604*c_1001_1^13 + 18129982791635205648734241615421775741694386/3651508965852133032025\ 1597944563707134579651*c_1001_1^12 - 6116147385242056174164108319922681363149093/73030179317042660640503\ 195889127414269159302*c_1001_1^11 - 42525449932833115831444593500364521293912841/1460603586340853212810\ 06391778254828538318604*c_1001_1^10 + 57110319275091414642197310408551629391085453/3651508965852133032025\ 1597944563707134579651*c_1001_1^9 - 116802717004339288592099361736408848747979965/730301793170426606405\ 03195889127414269159302*c_1001_1^8 + 4576486544962275543010940590854417869762835/50365640908305283200347\ 03164767407880631676*c_1001_1^7 + 171377263841541660200411076201332\ 690297846171/36515089658521330320251597944563707134579651*c_1001_1^\ 6 - 143718271875926844639969967037029223925445/25182820454152641600\ 17351582383703940315838*c_1001_1^5 + 813229438077509502485539975299670881878476741/146060358634085321281\ 006391778254828538318604*c_1001_1^4 + 271222509237729700601738629249177996429255425/730301793170426606405\ 03195889127414269159302*c_1001_1^3 + 79190878943402302355381224137516545707701653/7303017931704266064050\ 3195889127414269159302*c_1001_1^2 - 76039577803456139931019109112325707268558387/1460603586340853212810\ 06391778254828538318604*c_1001_1 - 436066689154295567388349914428439537772462905/146060358634085321281\ 006391778254828538318604, c_0011_3 - 1, c_0101_0 + 2790579003610860564822483552938419/1741485322969014734610883\ 85853117499*c_1001_1^17 - 7087337639117014507041609741808350/174148\ 532296901473461088385853117499*c_1001_1^16 + 16275037080348748524894197094003094/1741485322969014734610883858531\ 17499*c_1001_1^15 - 3820848469748766444740236686514042/174148532296\ 901473461088385853117499*c_1001_1^14 + 21174357559072375593972983759028734/1741485322969014734610883858531\ 17499*c_1001_1^13 + 42064428068875821390283369588064752/17414853229\ 6901473461088385853117499*c_1001_1^12 - 28870274990090633316233647337557307/1741485322969014734610883858531\ 17499*c_1001_1^11 - 29592546913526778348544656483942153/17414853229\ 6901473461088385853117499*c_1001_1^10 + 201305991726933577153275137902809537/174148532296901473461088385853\ 117499*c_1001_1^9 - 264064538504770602789981339321102514/1741485322\ 96901473461088385853117499*c_1001_1^8 + 7563947480950522718687340416887322/60051218033414301193478753742454\ 31*c_1001_1^7 + 382899772943201980147531224799571772/17414853229690\ 1473461088385853117499*c_1001_1^6 - 4480736008761506356373069972114501/60051218033414301193478753742454\ 31*c_1001_1^5 + 571781639783826564756452773850610287/17414853229690\ 1473461088385853117499*c_1001_1^4 + 132295454096272967011373447338022115/174148532296901473461088385853\ 117499*c_1001_1^3 + 56589843161465326125702586857034904/17414853229\ 6901473461088385853117499*c_1001_1^2 - 183579195701790387539841705395345824/174148532296901473461088385853\ 117499*c_1001_1 - 204435790794652974400605989622078556/174148532296\ 901473461088385853117499, c_0101_1 - 2769249948668702014298823374491609689190155/7303017931704266\ 0640503195889127414269159302*c_1001_1^17 + 5809787135227703084242653480886118447907809/73030179317042660640503\ 195889127414269159302*c_1001_1^16 - 6711083542367840204649369628095261254305218/36515089658521330320251\ 597944563707134579651*c_1001_1^15 - 1361260585899275020857875013221531497170205/36515089658521330320251\ 597944563707134579651*c_1001_1^14 - 20179928299520521837864021764482539451666101/7303017931704266064050\ 3195889127414269159302*c_1001_1^13 - 26693591895810563352817946891259622694565713/3651508965852133032025\ 1597944563707134579651*c_1001_1^12 + 4746808584152044133816179312923387611866559/36515089658521330320251\ 597944563707134579651*c_1001_1^11 + 34037414721137539530574772101261416094146683/7303017931704266064050\ 3195889127414269159302*c_1001_1^10 - 91718436105232523148496990382847171851361785/3651508965852133032025\ 1597944563707134579651*c_1001_1^9 + 93050166525751224232117692948444865085734178/3651508965852133032025\ 1597944563707134579651*c_1001_1^8 - 4647266087816389013213963321497889201406811/25182820454152641600173\ 51582383703940315838*c_1001_1^7 - 247032543962737566705313049320792\ 299967723468/36515089658521330320251597944563707134579651*c_1001_1^\ 6 - 593328626612099401860256627269618079376682/12591410227076320800\ 08675791191851970157919*c_1001_1^5 - 616572215329651053195716497990620219607520637/730301793170426606405\ 03195889127414269159302*c_1001_1^4 - 193427924133418865805546487911429293354534758/365150896585213303202\ 51597944563707134579651*c_1001_1^3 - 65061443352684756339598698110523206934785326/3651508965852133032025\ 1597944563707134579651*c_1001_1^2 + 69099391674237120269437551025671546833224997/7303017931704266064050\ 3195889127414269159302*c_1001_1 + 293940383836431245680189434161703\ 351066541823/73030179317042660640503195889127414269159302, c_0101_13 + 2769249948668702014298823374491609689190155/730301793170426\ 60640503195889127414269159302*c_1001_1^17 - 5809787135227703084242653480886118447907809/73030179317042660640503\ 195889127414269159302*c_1001_1^16 + 6711083542367840204649369628095261254305218/36515089658521330320251\ 597944563707134579651*c_1001_1^15 + 1361260585899275020857875013221531497170205/36515089658521330320251\ 597944563707134579651*c_1001_1^14 + 20179928299520521837864021764482539451666101/7303017931704266064050\ 3195889127414269159302*c_1001_1^13 + 26693591895810563352817946891259622694565713/3651508965852133032025\ 1597944563707134579651*c_1001_1^12 - 4746808584152044133816179312923387611866559/36515089658521330320251\ 597944563707134579651*c_1001_1^11 - 34037414721137539530574772101261416094146683/7303017931704266064050\ 3195889127414269159302*c_1001_1^10 + 91718436105232523148496990382847171851361785/3651508965852133032025\ 1597944563707134579651*c_1001_1^9 - 93050166525751224232117692948444865085734178/3651508965852133032025\ 1597944563707134579651*c_1001_1^8 + 4647266087816389013213963321497889201406811/25182820454152641600173\ 51582383703940315838*c_1001_1^7 + 247032543962737566705313049320792\ 299967723468/36515089658521330320251597944563707134579651*c_1001_1^\ 6 + 593328626612099401860256627269618079376682/12591410227076320800\ 08675791191851970157919*c_1001_1^5 + 616572215329651053195716497990620219607520637/730301793170426606405\ 03195889127414269159302*c_1001_1^4 + 193427924133418865805546487911429293354534758/365150896585213303202\ 51597944563707134579651*c_1001_1^3 + 65061443352684756339598698110523206934785326/3651508965852133032025\ 1597944563707134579651*c_1001_1^2 - 69099391674237120269437551025671546833224997/7303017931704266064050\ 3195889127414269159302*c_1001_1 - 293940383836431245680189434161703\ 351066541823/73030179317042660640503195889127414269159302, c_0101_3 - 10241801817864963529337793251592726292658553/730301793170426\ 60640503195889127414269159302*c_1001_1^17 + 10268731130728585950569357705945013136514442/3651508965852133032025\ 1597944563707134579651*c_1001_1^16 - 23897027970391569248465362179343143261730588/3651508965852133032025\ 1597944563707134579651*c_1001_1^15 - 7119989321478118620646786997166640260624153/36515089658521330320251\ 597944563707134579651*c_1001_1^14 - 76268325557978094504873117119683062077392735/7303017931704266064050\ 3195889127414269159302*c_1001_1^13 - 205073790534746480056077573695730604904676633/730301793170426606405\ 03195889127414269159302*c_1001_1^12 + 18280232622862355749978280770211109620337801/7303017931704266064050\ 3195889127414269159302*c_1001_1^11 + 62651539097073152850147696822676894117442682/3651508965852133032025\ 1597944563707134579651*c_1001_1^10 - 330478765658998440319749027580527574280310798/365150896585213303202\ 51597944563707134579651*c_1001_1^9 + 311474650944529651552681698357728524518489674/365150896585213303202\ 51597944563707134579651*c_1001_1^8 - 15409533024041883152263338416722504457390471/2518282045415264160017\ 351582383703940315838*c_1001_1^7 - 1850730759753387265437429842772105360242690839/73030179317042660640\ 503195889127414269159302*c_1001_1^6 - 8769232444457740578352873453880620647537455/25182820454152641600173\ 51582383703940315838*c_1001_1^5 - 116868691706831196096222116835898\ 7715513133626/36515089658521330320251597944563707134579651*c_1001_1\ ^4 - 791641210682464956361453550486406576804026410/3651508965852133\ 0320251597944563707134579651*c_1001_1^3 - 375812730748734588346457257728113588435618099/365150896585213303202\ 51597944563707134579651*c_1001_1^2 + 219432413341043668208964923539125291125726825/730301793170426606405\ 03195889127414269159302*c_1001_1 + 562660679849182932241801350732645158706882867/365150896585213303202\ 51597944563707134579651, c_0101_6 + 2769249948668702014298823374491609689190155/7303017931704266\ 0640503195889127414269159302*c_1001_1^17 - 5809787135227703084242653480886118447907809/73030179317042660640503\ 195889127414269159302*c_1001_1^16 + 6711083542367840204649369628095261254305218/36515089658521330320251\ 597944563707134579651*c_1001_1^15 + 1361260585899275020857875013221531497170205/36515089658521330320251\ 597944563707134579651*c_1001_1^14 + 20179928299520521837864021764482539451666101/7303017931704266064050\ 3195889127414269159302*c_1001_1^13 + 26693591895810563352817946891259622694565713/3651508965852133032025\ 1597944563707134579651*c_1001_1^12 - 4746808584152044133816179312923387611866559/36515089658521330320251\ 597944563707134579651*c_1001_1^11 - 34037414721137539530574772101261416094146683/7303017931704266064050\ 3195889127414269159302*c_1001_1^10 + 91718436105232523148496990382847171851361785/3651508965852133032025\ 1597944563707134579651*c_1001_1^9 - 93050166525751224232117692948444865085734178/3651508965852133032025\ 1597944563707134579651*c_1001_1^8 + 4647266087816389013213963321497889201406811/25182820454152641600173\ 51582383703940315838*c_1001_1^7 + 247032543962737566705313049320792\ 299967723468/36515089658521330320251597944563707134579651*c_1001_1^\ 6 + 593328626612099401860256627269618079376682/12591410227076320800\ 08675791191851970157919*c_1001_1^5 + 616572215329651053195716497990620219607520637/730301793170426606405\ 03195889127414269159302*c_1001_1^4 + 193427924133418865805546487911429293354534758/365150896585213303202\ 51597944563707134579651*c_1001_1^3 + 65061443352684756339598698110523206934785326/3651508965852133032025\ 1597944563707134579651*c_1001_1^2 - 69099391674237120269437551025671546833224997/7303017931704266064050\ 3195889127414269159302*c_1001_1 - 293940383836431245680189434161703\ 351066541823/73030179317042660640503195889127414269159302, c_0101_7 + 1641467174026278626772351664730117917397475/1460603586340853\ 21281006391778254828538318604*c_1001_1^17 - 3102043427860562509294791660030035894917103/14606035863408532128100\ 6391778254828538318604*c_1001_1^16 + 3760262553547399185074501561977562592908647/73030179317042660640503\ 195889127414269159302*c_1001_1^15 + 594755923802524021404378358374335165105608/365150896585213303202515\ 97944563707134579651*c_1001_1^14 + 13570357971494234780814522584013009739697771/1460603586340853212810\ 06391778254828538318604*c_1001_1^13 + 17636381546709021927544954497717805387879137/7303017931704266064050\ 3195889127414269159302*c_1001_1^12 - 347864061728483511242854960680299589378103/365150896585213303202515\ 97944563707134579651*c_1001_1^11 - 17522802269399174570110702162681553668956667/1460603586340853212810\ 06391778254828538318604*c_1001_1^10 + 24307489528896952303807334205693159684928909/3651508965852133032025\ 1597944563707134579651*c_1001_1^9 - 48284060794408065264110384403878058084840795/7303017931704266064050\ 3195889127414269159302*c_1001_1^8 + 3450289141462352418535934234364742193369659/50365640908305283200347\ 03164767407880631676*c_1001_1^7 + 143066743448314727248042325475726\ 220709587117/73030179317042660640503195889127414269159302*c_1001_1^\ 6 + 254623276720798346800558181935035928168502/12591410227076320800\ 08675791191851970157919*c_1001_1^5 + 454213107780056069271921144078421068034457963/146060358634085321281\ 006391778254828538318604*c_1001_1^4 + 120827556863475628229175386023730536221303471/730301793170426606405\ 03195889127414269159302*c_1001_1^3 + 47288017457079357100760227703581441659521213/7303017931704266064050\ 3195889127414269159302*c_1001_1^2 + 72098004072017205658391044398476234800966301/1460603586340853212810\ 06391778254828538318604*c_1001_1 - 187279235024571614180173322038952872479373675/146060358634085321281\ 006391778254828538318604, c_0101_8 + 277186474354744864200527056307620574467871/14606035863408532\ 1281006391778254828538318604*c_1001_1^17 - 935799959341987866977808497720390167890155/146060358634085321281006\ 391778254828538318604*c_1001_1^16 + 1231154822641658450454754449049324703878731/73030179317042660640503\ 195889127414269159302*c_1001_1^15 - 574471892693979939589343662105900341708831/365150896585213303202515\ 97944563707134579651*c_1001_1^14 + 3853262474247303240824599757768796923955267/14606035863408532128100\ 6391778254828538318604*c_1001_1^13 + 618441537221273878387038880042828382599527/730301793170426606405031\ 95889127414269159302*c_1001_1^12 - 445195850953788097535900087016255528761371/365150896585213303202515\ 97944563707134579651*c_1001_1^11 - 131352493007974053774853465626687265817799/146060358634085321281006\ 391778254828538318604*c_1001_1^10 + 5074887015469434084778478182563296769008885/36515089658521330320251\ 597944563707134579651*c_1001_1^9 - 25912602542398498701755524247032404506834523/7303017931704266064050\ 3195889127414269159302*c_1001_1^8 + 1614662910739149785473142992682640015389367/50365640908305283200347\ 03164767407880631676*c_1001_1^7 - 160152817663092429599093295988723\ 4521745747/73030179317042660640503195889127414269159302*c_1001_1^6 - 9369136161562086566705567632000108028609/12591410227076320800086757\ 91191851970157919*c_1001_1^5 + 335794808113831002275189465676986160\ 41193391/146060358634085321281006391778254828538318604*c_1001_1^4 + 14660065739926448910169256144475918516600927/7303017931704266064050\ 3195889127414269159302*c_1001_1^3 + 22122882456940334259707615000676857985311029/7303017931704266064050\ 3195889127414269159302*c_1001_1^2 - 69820959347414609222027932175500227271170231/1460603586340853212810\ 06391778254828538318604*c_1001_1 - 16214806425470207491305538444455938125064607/1460603586340853212810\ 06391778254828538318604, c_0101_9 - 1641467174026278626772351664730117917397475/1460603586340853\ 21281006391778254828538318604*c_1001_1^17 + 3102043427860562509294791660030035894917103/14606035863408532128100\ 6391778254828538318604*c_1001_1^16 - 3760262553547399185074501561977562592908647/73030179317042660640503\ 195889127414269159302*c_1001_1^15 - 594755923802524021404378358374335165105608/365150896585213303202515\ 97944563707134579651*c_1001_1^14 - 13570357971494234780814522584013009739697771/1460603586340853212810\ 06391778254828538318604*c_1001_1^13 - 17636381546709021927544954497717805387879137/7303017931704266064050\ 3195889127414269159302*c_1001_1^12 + 347864061728483511242854960680299589378103/365150896585213303202515\ 97944563707134579651*c_1001_1^11 + 17522802269399174570110702162681553668956667/1460603586340853212810\ 06391778254828538318604*c_1001_1^10 - 24307489528896952303807334205693159684928909/3651508965852133032025\ 1597944563707134579651*c_1001_1^9 + 48284060794408065264110384403878058084840795/7303017931704266064050\ 3195889127414269159302*c_1001_1^8 - 3450289141462352418535934234364742193369659/50365640908305283200347\ 03164767407880631676*c_1001_1^7 - 143066743448314727248042325475726\ 220709587117/73030179317042660640503195889127414269159302*c_1001_1^\ 6 - 254623276720798346800558181935035928168502/12591410227076320800\ 08675791191851970157919*c_1001_1^5 - 454213107780056069271921144078421068034457963/146060358634085321281\ 006391778254828538318604*c_1001_1^4 - 120827556863475628229175386023730536221303471/730301793170426606405\ 03195889127414269159302*c_1001_1^3 - 47288017457079357100760227703581441659521213/7303017931704266064050\ 3195889127414269159302*c_1001_1^2 - 72098004072017205658391044398476234800966301/1460603586340853212810\ 06391778254828538318604*c_1001_1 + 187279235024571614180173322038952872479373675/146060358634085321281\ 006391778254828538318604, c_1001_1^18 - 20/17*c_1001_1^17 + 3*c_1001_1^16 + 90/17*c_1001_1^15 + 145/17*c_1001_1^14 + 447/17*c_1001_1^13 + 252/17*c_1001_1^12 - 231/17*c_1001_1^11 + 933/17*c_1001_1^10 - 126/17*c_1001_1^9 - 133/17*c_1001_1^8 + 3711/17*c_1001_1^7 + 2948/17*c_1001_1^6 + 4239/17*c_1001_1^5 + 5929/17*c_1001_1^4 + 3456/17*c_1001_1^3 + 805/17*c_1001_1^2 - 2110/17*c_1001_1 - 1607/17 ], Ideal of Polynomial ring of rank 15 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_13, c_0011_3, c_0101_0, c_0101_1, c_0101_13, c_0101_3, c_0101_6, c_0101_7, c_0101_8, c_0101_9, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 1214754933898/197913030831*c_1001_1^13 - 99583156742/197913030831*c_1001_1^12 - 1672868953972/65971010277*c_1001_1^11 + 289598265977/197913030831*c_1001_1^10 - 10182332377681/197913030831*c_1001_1^9 - 6905900444300/65971010277*c_1001_1^8 - 18517006865999/197913030831*c_1001_1^7 - 68820481638650/197913030831*c_1001_1^6 - 2667292322893/21990336759*c_1001_1^5 - 67941664937618/197913030831*c_1001_1^4 - 1977476829787/21990336759*c_1001_1^3 - 23867958290911/197913030831*c_1001_1^2 - 4067551467406/197913030831*c_1001_1 - 2639024962972/197913030831, c_0011_0 - 1, c_0011_10 + 789451/220183*c_0101_9*c_1001_1^13 + 169913/220183*c_0101_9*c_1001_1^12 + 3661044/220183*c_0101_9*c_1001_1^11 - 718441/220183*c_0101_9*c_1001_1^10 + 9373113/220183*c_0101_9*c_1001_1^9 + 8498171/220183*c_0101_9*c_1001_1^8 + 25229389/220183*c_0101_9*c_1001_1^7 + 32984730/220183*c_0101_9*c_1001_1^6 + 39429968/220183*c_0101_9*c_1001_1^5 + 31506448/220183*c_0101_9*c_1001_1^4 + 24805838/220183*c_0101_9*c_1001_1^3 + 10289501/220183*c_0101_9*c_1001_1^2 + 4156466/220183*c_0101_9*c_1001_1 + 1094587/220183*c_0101_9 + 1150818/220183*c_1001_1^13 - 879870/220183*c_1001_1^12 + 5508181/220183*c_1001_1^11 - 6415973/220183*c_1001_1^10 + 16680809/220183*c_1001_1^9 - 2429265/220183*c_1001_1^8 + 30308406/220183*c_1001_1^7 + 13576611/220183*c_1001_1^6 + 22570648/220183*c_1001_1^5 + 578847/220183*c_1001_1^4 + 5941345/220183*c_1001_1^3 - 11124601/220183*c_1001_1^2 + 83841/220183*c_1001_1 - 2613889/220183, c_0011_12 + 980905/220183*c_0101_9*c_1001_1^13 - 593659/220183*c_0101_9*c_1001_1^12 + 4647720/220183*c_0101_9*c_1001_1^11 - 4736772/220183*c_0101_9*c_1001_1^10 + 13708795/220183*c_0101_9*c_1001_1^9 - 27869/220183*c_0101_9*c_1001_1^8 + 26533363/220183*c_0101_9*c_1001_1^7 + 15987546/220183*c_0101_9*c_1001_1^6 + 23431691/220183*c_0101_9*c_1001_1^5 + 5772147/220183*c_0101_9*c_1001_1^4 + 8283060/220183*c_0101_9*c_1001_1^3 - 6597106/220183*c_0101_9*c_1001_1^2 + 568156/220183*c_0101_9*c_1001_1 - 1824438/220183*c_0101_9 - 1034987/220183*c_1001_1^13 - 810992/220183*c_1001_1^12 - 4867487/220183*c_1001_1^11 - 1717285/220183*c_1001_1^10 - 11432247/220183*c_1001_1^9 - 17981690/220183*c_1001_1^8 - 38598072/220183*c_1001_1^7 - 61052839/220183*c_1001_1^6 - 73252792/220183*c_1001_1^5 - 66727201/220183*c_1001_1^4 - 50294953/220183*c_1001_1^3 - 27184567/220183*c_1001_1^2 - 9315246/220183*c_1001_1 - 2902262/220183, c_0011_13 - 980905/220183*c_0101_9*c_1001_1^13 + 593659/220183*c_0101_9*c_1001_1^12 - 4647720/220183*c_0101_9*c_1001_1^11 + 4736772/220183*c_0101_9*c_1001_1^10 - 13708795/220183*c_0101_9*c_1001_1^9 + 27869/220183*c_0101_9*c_1001_1^8 - 26533363/220183*c_0101_9*c_1001_1^7 - 15987546/220183*c_0101_9*c_1001_1^6 - 23431691/220183*c_0101_9*c_1001_1^5 - 5772147/220183*c_0101_9*c_1001_1^4 - 8283060/220183*c_0101_9*c_1001_1^3 + 6597106/220183*c_0101_9*c_1001_1^2 - 568156/220183*c_0101_9*c_1001_1 + 1824438/220183*c_0101_9 + 742884/220183*c_1001_1^13 + 808201/220183*c_1001_1^12 + 3517344/220183*c_1001_1^11 + 2294746/220183*c_1001_1^10 + 7855186/220183*c_1001_1^9 + 15691972/220183*c_1001_1^8 + 29674814/220183*c_1001_1^7 + 51044558/220183*c_1001_1^6 + 61089734/220183*c_1001_1^5 + 58386720/220183*c_1001_1^4 + 43644911/220183*c_1001_1^3 + 25223466/220183*c_1001_1^2 + 8320654/220183*c_1001_1 + 2710224/220183, c_0011_3 - 1, c_0101_0 + 28145/220183*c_1001_1^13 + 292103/220183*c_1001_1^12 + 143516/220183*c_1001_1^11 + 1293853/220183*c_1001_1^10 - 183431/220183*c_1001_1^9 + 3774076/220183*c_1001_1^8 + 3274793/220183*c_1001_1^7 + 9964623/220183*c_1001_1^6 + 11499966/220183*c_1001_1^5 + 13317003/220183*c_1001_1^4 + 9409991/220183*c_1001_1^3 + 7100362/220183*c_1001_1^2 + 2050513/220183*c_1001_1 + 1050882/220183, c_0101_1 - 195792/220183*c_1001_1^13 + 86892/220183*c_1001_1^12 - 886082/220183*c_1001_1^11 + 742316/220183*c_1001_1^10 - 2478909/220183*c_1001_1^9 - 699859/220183*c_1001_1^8 - 4923450/220183*c_1001_1^7 - 4428456/220183*c_1001_1^6 - 4985010/220183*c_1001_1^5 - 2515118/220183*c_1001_1^4 - 2514252/220183*c_1001_1^3 - 67702/220183*c_1001_1^2 - 370218/220183*c_1001_1 - 113682/220183, c_0101_13 + 195792/220183*c_1001_1^13 - 86892/220183*c_1001_1^12 + 886082/220183*c_1001_1^11 - 742316/220183*c_1001_1^10 + 2478909/220183*c_1001_1^9 + 699859/220183*c_1001_1^8 + 4923450/220183*c_1001_1^7 + 4428456/220183*c_1001_1^6 + 4985010/220183*c_1001_1^5 + 2515118/220183*c_1001_1^4 + 2514252/220183*c_1001_1^3 + 67702/220183*c_1001_1^2 + 370218/220183*c_1001_1 + 113682/220183, c_0101_3 + 290993/220183*c_1001_1^13 - 26918/220183*c_1001_1^12 + 1459327/220183*c_1001_1^11 - 702183/220183*c_1001_1^10 + 4116427/220183*c_1001_1^9 + 1718188/220183*c_1001_1^8 + 9869125/220183*c_1001_1^7 + 10112726/220183*c_1001_1^6 + 14283767/220183*c_1001_1^5 + 10885087/220183*c_1001_1^4 + 9601619/220183*c_1001_1^3 + 3373810/220183*c_1001_1^2 + 1999578/220183*c_1001_1 + 109169/220183, c_0101_6 + 195792/220183*c_1001_1^13 - 86892/220183*c_1001_1^12 + 886082/220183*c_1001_1^11 - 742316/220183*c_1001_1^10 + 2478909/220183*c_1001_1^9 + 699859/220183*c_1001_1^8 + 4923450/220183*c_1001_1^7 + 4428456/220183*c_1001_1^6 + 4985010/220183*c_1001_1^5 + 2515118/220183*c_1001_1^4 + 2514252/220183*c_1001_1^3 + 67702/220183*c_1001_1^2 + 370218/220183*c_1001_1 + 113682/220183, c_0101_7 - c_0101_9 - 361951/220183*c_1001_1^13 + 578314/220183*c_1001_1^12 - 1817860/220183*c_1001_1^11 + 3413420/220183*c_1001_1^10 - 6238007/220183*c_1001_1^9 + 4634191/220183*c_1001_1^8 - 8206655/220183*c_1001_1^7 + 4228787/220183*c_1001_1^6 + 691310/220183*c_1001_1^5 + 9482800/220183*c_1001_1^4 + 3384752/220183*c_1001_1^3 + 8104929/220183*c_1001_1^2 + 112815/220183*c_1001_1 + 1399967/220183, c_0101_8 - 789451/220183*c_0101_9*c_1001_1^13 - 169913/220183*c_0101_9*c_1001_1^12 - 3661044/220183*c_0101_9*c_1001_1^11 + 718441/220183*c_0101_9*c_1001_1^10 - 9373113/220183*c_0101_9*c_1001_1^9 - 8498171/220183*c_0101_9*c_1001_1^8 - 25229389/220183*c_0101_9*c_1001_1^7 - 32984730/220183*c_0101_9*c_1001_1^6 - 39429968/220183*c_0101_9*c_1001_1^5 - 31506448/220183*c_0101_9*c_1001_1^4 - 24805838/220183*c_0101_9*c_1001_1^3 - 10289501/220183*c_0101_9*c_1001_1^2 - 4156466/220183*c_0101_9*c_1001_1 - 1094587/220183*c_0101_9 - 810992/220183*c_1001_1^13 + 307448/220183*c_1001_1^12 - 3787259/220183*c_1001_1^11 + 3057571/220183*c_1001_1^10 - 10736781/220183*c_1001_1^9 - 2373527/220183*c_1001_1^8 - 22758320/220183*c_1001_1^7 - 18398481/220183*c_1001_1^6 - 24292734/220183*c_1001_1^5 - 10965447/220183*c_1001_1^4 - 10624775/220183*c_1001_1^3 + 2069611/220183*c_1001_1^2 - 832288/220183*c_1001_1 + 1034987/220183, c_0101_9^2 + 361951/220183*c_0101_9*c_1001_1^13 - 578314/220183*c_0101_9*c_1001_1^12 + 1817860/220183*c_0101_9*c_1001_1^11 - 3413420/220183*c_0101_9*c_1001_1^10 + 6238007/220183*c_0101_9*c_1001_1^9 - 4634191/220183*c_0101_9*c_1001_1^8 + 8206655/220183*c_0101_9*c_1001_1^7 - 4228787/220183*c_0101_9*c_1001_1^6 - 691310/220183*c_0101_9*c_1001_1^5 - 9482800/220183*c_0101_9*c_1001_1^4 - 3384752/220183*c_0101_9*c_1001_1^3 - 8104929/220183*c_0101_9*c_1001_1^2 - 112815/220183*c_0101_9*c_1001_1 - 1399967/220183*c_0101_9 - 789451/220183*c_1001_1^13 - 169913/220183*c_1001_1^12 - 3661044/220183*c_1001_1^11 + 718441/220183*c_1001_1^10 - 9373113/220183*c_1001_1^9 - 8498171/220183*c_1001_1^8 - 25229389/220183*c_1001_1^7 - 32984730/220183*c_1001_1^6 - 39429968/220183*c_1001_1^5 - 31506448/220183*c_1001_1^4 - 24805838/220183*c_1001_1^3 - 10509684/220183*c_1001_1^2 - 4156466/220183*c_1001_1 - 1094587/220183, c_1001_1^14 + 5*c_1001_1^12 - 2*c_1001_1^11 + 14*c_1001_1^10 + 7*c_1001_1^9 + 35*c_1001_1^8 + 37*c_1001_1^7 + 53*c_1001_1^6 + 41*c_1001_1^5 + 38*c_1001_1^4 + 16*c_1001_1^3 + 11*c_1001_1^2 + 2*c_1001_1 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 23.340 Total time: 23.550 seconds, Total memory usage: 143.47MB