Magma V2.19-8 Wed Aug 21 2013 01:13:56 on localhost [Seed = 3869309019] Type ? for help. Type -D to quit. Loading file "L14n9293__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n9293 geometric_solution 12.40269630 oriented_manifold CS_known -0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 1 1 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 0 0 0 0 0 0 0 0 -1 0 1 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.448687069528 0.826519969002 0 1 1 2 0132 3201 2310 2310 1 1 1 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 0 0 0 0 1 -1 0 -2 0 -1 3 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.507303248039 0.934495984662 1 0 6 5 3201 0132 0132 0132 1 1 1 1 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 1 -1 0 1 0 -1 0 0 0 0 0 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.448687069528 0.826519969002 7 5 8 0 0132 2310 0132 0132 1 1 1 1 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 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.773669646880 0.557251569139 5 5 0 6 0321 2103 0132 3201 1 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 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.751428765979 0.728031322242 4 4 2 3 0321 2103 0132 3201 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.751428765979 0.728031322242 7 4 8 2 2310 2310 2310 0132 1 1 1 1 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 -1 1 0 0 -1 1 3 0 0 -3 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.773669646880 0.557251569139 3 9 6 10 0132 0132 3201 0132 1 1 1 1 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 -1 1 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 0 0 0.716066589571 0.609494003718 11 6 12 3 0132 3201 0132 0132 1 1 1 1 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 -2 2 -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.716066589571 0.609494003718 11 7 11 12 1023 0132 2031 0321 1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 -2 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.707098789741 0.874237640094 11 12 7 12 2103 2031 0132 0132 1 1 0 1 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 1 -1 0 0 0 -3 3 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.707098789741 0.874237640094 8 9 10 9 0132 1023 2103 1302 0 1 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 0 0 0 2 -1 -1 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.707098789741 0.874237640094 10 9 10 8 1302 0321 0132 0132 1 1 1 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 0 -3 2 -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.707098789741 0.874237640094 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_10'], 'c_1001_10' : negation(d['c_0101_8']), 'c_1001_12' : d['c_0011_12'], 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_0011_5'], 'c_1001_7' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_1001_3']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : d['c_0011_4'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0011_5'], 'c_1001_9' : negation(d['c_0101_8']), 'c_1001_8' : negation(d['c_0101_6']), 'c_1010_12' : negation(d['c_0101_6']), 'c_1010_11' : negation(d['c_0011_12']), 'c_1010_10' : d['c_0011_12'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : negation(d['1']), 's_3_12' : negation(d['1']), 's_2_8' : negation(d['1']), 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_10'], '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' : negation(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' : negation(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' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0011_12'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_11']), 'c_1100_4' : negation(d['c_0011_6']), 'c_1100_7' : negation(d['c_0011_6']), 'c_1100_6' : negation(d['c_0011_11']), 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : negation(d['c_0011_6']), 'c_1100_3' : negation(d['c_0011_6']), 'c_1100_2' : negation(d['c_0011_11']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : negation(d['c_0011_6']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_8']), 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : negation(d['c_1001_3']), 'c_1010_4' : d['c_1001_3'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0011_4'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0011_5'], 'c_1010_9' : negation(d['c_0101_6']), 'c_1010_8' : d['c_1001_3'], 'c_1100_8' : negation(d['c_0011_6']), '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' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : negation(d['1']), 'c_1100_12' : negation(d['c_0011_6']), '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_11'], 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_11']), '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_11'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_8'], 'c_0110_10' : negation(d['c_0011_10']), 'c_0110_12' : d['c_0101_8'], 'c_0101_12' : negation(d['c_0011_10']), 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_10'], '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_0011_10'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : negation(d['1']), 'c_0110_9' : negation(d['c_0011_12']), 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_7' : d['c_0101_10'], 'c_0110_6' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_4, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_6, c_0101_8, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 102283354995005290042202038461615300553156763/319985056040606683681\ 36198112403219319050*c_1001_3^17 + 90580295712993718894515522334459335069102289/4571215086294381195448\ 028301771888474150*c_1001_3^16 - 6747677497095680830996514024448238\ 03247097613/15999252802030334184068099056201609659525*c_1001_3^15 + 5829190876740729543834354681768498203539871/16797115802656518828417\ 9517650410600100*c_1001_3^14 - 959928570563513584294545576057851306\ 97854731/85329348277495115648363194966408584850800*c_1001_3^13 - 36517626958065976084327646980448603597770799/1279940224162426734725\ 447924496128772762*c_1001_3^12 + 3850237732156249779455076966288577\ 9713061537/2437981379357003304238948427611673852880*c_1001_3^11 + 4838973156922690610093057084560937989372549639/14627888276142019825\ 4336905656700431172800*c_1001_3^10 - 94410563593636093903303711512163688965037566991/8191617434639531102\ 242866716775224145676800*c_1001_3^9 - 12720744828449454686754393634781260575021383143/1638323486927906220\ 448573343355044829135360*c_1001_3^8 - 573827853302397512611552828206776618938105139/292557765522840396508\ 673811313400862345600*c_1001_3^7 - 12395584577140603861330704733750608220012343257/2275449287399869750\ 62301853243756226268800*c_1001_3^6 - 665742149092215636826964074563647319348484075927/409580871731976555\ 1121433358387612072838400*c_1001_3^5 - 1011227450899556344046796144950301070916425547699/40958087173197655\ 51121433358387612072838400*c_1001_3^4 - 480891733158791662715026598601168334835257541743/204790435865988277\ 5560716679193806036419200*c_1001_3^3 - 18777660326475864620872116238380607368387802499/1365269572439921850\ 37381111946253735761280*c_1001_3^2 - 370588460673695959051386926114551067263348247971/819161743463953110\ 2242866716775224145676800*c_1001_3 - 51271710348054637711068567386058273344107209367/8191617434639531102\ 242866716775224145676800, c_0011_0 - 1, c_0011_10 - 1, c_0011_11 - 9654333660428449428657706354480/171612992473207665986112670\ 0461*c_1001_3^17 + 8759978060883252686736842481856/2451614178188680\ 94265875242923*c_1001_3^16 - 136629970058159968317426312867952/1716\ 129924732076659861126700461*c_1001_3^15 + 980721294378756879239921061032/13512834053008477636701785043*c_1001\ _3^14 - 17653640704008444831874889752106/17161299247320766598611267\ 00461*c_1001_3^13 - 94040594671879976639533382186450/17161299247320\ 76659861126700461*c_1001_3^12 + 3602489263367808983939224011442/817\ 20472606289364755291747641*c_1001_3^11 + 22257828743806554074108192294147/490322835637736188531750485846*c_1\ 001_3^10 - 230549438604373751176655726527605/9152692931904408852592\ 675735792*c_1001_3^9 - 44264576305100716432045840216423/45763464659\ 52204426296337867896*c_1001_3^8 - 786752674627979320042376124159/13\ 07527561700629836084667962256*c_1001_3^7 - 1337783552690908639225423126409935/13729039397856613278889013603688\ *c_1001_3^6 - 7419124919257299209104349949347849/274580787957132265\ 57778027207376*c_1001_3^5 - 5404417336858397677619562530095495/1372\ 9039397856613278889013603688*c_1001_3^4 - 9724253621404048256332403127996289/27458078795713226557778027207376\ *c_1001_3^3 - 887041236883200801126524374931831/4576346465952204426\ 296337867896*c_1001_3^2 - 391090769804115308407907214655319/6864519\ 698928306639444506801844*c_1001_3 - 13013698804109185691868670673344/1716129924732076659861126700461, c_0011_12 - 5536044608977088/3811492944440699*c_1001_3^17 + 10643337763699936/1633496976188871*c_1001_3^16 - 5424057511938752/3811492944440699*c_1001_3^15 - 2998740573963968/90035266404111*c_1001_3^14 + 802084618913450360/11434478833322097*c_1001_3^13 - 839193319365142940/11434478833322097*c_1001_3^12 + 16799657281668676/544498992062957*c_1001_3^11 + 8824943506071146/544498992062957*c_1001_3^10 + 563146814647666775/45737915333288388*c_1001_3^9 - 2367950543965572863/91475830666576776*c_1001_3^8 + 16895395877745794/1633496976188871*c_1001_3^7 - 2977814428680795611/91475830666576776*c_1001_3^6 - 2545496286998008861/22868957666644194*c_1001_3^5 - 6183602128640472251/30491943555525592*c_1001_3^4 - 4822134845884339265/22868957666644194*c_1001_3^3 - 4267414884952608759/30491943555525592*c_1001_3^2 - 745247518111237581/15245971777762796*c_1001_3 - 89189504121426901/11434478833322097, c_0011_4 - 1453570893696281351411382886848/5720433082440255532870422334\ 87*c_1001_3^17 + 4115891609376057829565340645280/245161417818868094\ 265875242923*c_1001_3^16 - 22806318733351125631418329191648/5720433\ 08244025553287042233487*c_1001_3^15 + 542576950352258552462900711104/13512834053008477636701785043*c_1001\ _3^14 - 11586814377388461061014804729736/17161299247320766598611267\ 00461*c_1001_3^13 - 60682556555001295770855954170996/17161299247320\ 76659861126700461*c_1001_3^12 + 3234415359089500957011282427928/817\ 20472606289364755291747641*c_1001_3^11 + 591232010785410714225657901678/81720472606289364755291747641*c_1001\ _3^10 - 111540681375824841380929622406013/6864519698928306639444506\ 801844*c_1001_3^9 + 5360073690710531616589724569435/137290393978566\ 13278889013603688*c_1001_3^8 + 4167538032443611358085442063123/1961\ 291342550944754127001943384*c_1001_3^7 - 643166080344474007887342248396537/13729039397856613278889013603688*\ c_1001_3^6 - 745979001744982081902454148960717/68645196989283066394\ 44506801844*c_1001_3^5 - 659141321010917103326819745338203/45763464\ 65952204426296337867896*c_1001_3^4 - 1527569564588751992685498636757163/13729039397856613278889013603688\ *c_1001_3^3 - 211695727978213467083156025821971/4576346465952204426\ 296337867896*c_1001_3^2 - 15156407426493761932153420738571/22881732\ 32976102213148168933948*c_1001_3 - 125016874428525192835604969836/1716129924732076659861126700461, c_0011_5 - 1453570893696281351411382886848/5720433082440255532870422334\ 87*c_1001_3^17 + 4115891609376057829565340645280/245161417818868094\ 265875242923*c_1001_3^16 - 22806318733351125631418329191648/5720433\ 08244025553287042233487*c_1001_3^15 + 542576950352258552462900711104/13512834053008477636701785043*c_1001\ _3^14 - 11586814377388461061014804729736/17161299247320766598611267\ 00461*c_1001_3^13 - 60682556555001295770855954170996/17161299247320\ 76659861126700461*c_1001_3^12 + 3234415359089500957011282427928/817\ 20472606289364755291747641*c_1001_3^11 + 591232010785410714225657901678/81720472606289364755291747641*c_1001\ _3^10 - 111540681375824841380929622406013/6864519698928306639444506\ 801844*c_1001_3^9 + 5360073690710531616589724569435/137290393978566\ 13278889013603688*c_1001_3^8 + 4167538032443611358085442063123/1961\ 291342550944754127001943384*c_1001_3^7 - 643166080344474007887342248396537/13729039397856613278889013603688*\ c_1001_3^6 - 745979001744982081902454148960717/68645196989283066394\ 44506801844*c_1001_3^5 - 659141321010917103326819745338203/45763464\ 65952204426296337867896*c_1001_3^4 - 1527569564588751992685498636757163/13729039397856613278889013603688\ *c_1001_3^3 - 211695727978213467083156025821971/4576346465952204426\ 296337867896*c_1001_3^2 - 15156407426493761932153420738571/22881732\ 32976102213148168933948*c_1001_3 - 125016874428525192835604969836/1716129924732076659861126700461, c_0011_6 - 9654333660428449428657706354480/1716129924732076659861126700\ 461*c_1001_3^17 + 8759978060883252686736842481856/24516141781886809\ 4265875242923*c_1001_3^16 - 136629970058159968317426312867952/17161\ 29924732076659861126700461*c_1001_3^15 + 980721294378756879239921061032/13512834053008477636701785043*c_1001\ _3^14 - 17653640704008444831874889752106/17161299247320766598611267\ 00461*c_1001_3^13 - 94040594671879976639533382186450/17161299247320\ 76659861126700461*c_1001_3^12 + 3602489263367808983939224011442/817\ 20472606289364755291747641*c_1001_3^11 + 22257828743806554074108192294147/490322835637736188531750485846*c_1\ 001_3^10 - 230549438604373751176655726527605/9152692931904408852592\ 675735792*c_1001_3^9 - 44264576305100716432045840216423/45763464659\ 52204426296337867896*c_1001_3^8 - 786752674627979320042376124159/13\ 07527561700629836084667962256*c_1001_3^7 - 1337783552690908639225423126409935/13729039397856613278889013603688\ *c_1001_3^6 - 7419124919257299209104349949347849/274580787957132265\ 57778027207376*c_1001_3^5 - 5404417336858397677619562530095495/1372\ 9039397856613278889013603688*c_1001_3^4 - 9724253621404048256332403127996289/27458078795713226557778027207376\ *c_1001_3^3 - 887041236883200801126524374931831/4576346465952204426\ 296337867896*c_1001_3^2 - 391090769804115308407907214655319/6864519\ 698928306639444506801844*c_1001_3 - 13013698804109185691868670673344/1716129924732076659861126700461, c_0101_0 - c_1001_3, c_0101_1 - 6198026658399512828206138244864/5720433082440255532870422334\ 87*c_1001_3^17 + 17537441908517969567630848288832/24516141781886809\ 4265875242923*c_1001_3^16 - 98567398932427715561846282228160/572043\ 308244025553287042233487*c_1001_3^15 + 2569598941335071073187908619328/13512834053008477636701785043*c_100\ 1_3^14 - 147901454283895813327384920913088/171612992473207665986112\ 6700461*c_1001_3^13 - 103625451423859431344256284499640/17161299247\ 32076659861126700461*c_1001_3^12 + 7002000026405979438595325978800/81720472606289364755291747641*c_100\ 1_3^11 + 5214605218957660506159849069544/81720472606289364755291747\ 641*c_1001_3^10 - 97655455343070570499777510667171/1716129924732076\ 659861126700461*c_1001_3^9 + 18049365076178967800227924308307/68645\ 19698928306639444506801844*c_1001_3^8 - 11855109167219393732080306153829/980645671275472377063500971692*c_1\ 001_3^7 - 1249085973127557627022457096958593/6864519698928306639444\ 506801844*c_1001_3^6 - 815131220622955851134408160071998/1716129924\ 732076659861126700461*c_1001_3^5 - 1501722493195558070087548734201613/2288173232976102213148168933948*\ c_1001_3^4 - 3832858878298591297359994380219299/6864519698928306639\ 444506801844*c_1001_3^3 - 642405374977297113327090779510357/2288173\ 232976102213148168933948*c_1001_3^2 - 84901719796659071569472286684007/1144086616488051106574084466974*c_\ 1001_3 - 14147325014725206878549406764279/1716129924732076659861126\ 700461, c_0101_10 - 5738447161752193877614545649136/171612992473207665986112670\ 0461*c_1001_3^17 + 5070464025816567824539772145056/2451614178188680\ 94265875242923*c_1001_3^16 - 73795909128218635195271990637968/17161\ 29924732076659861126700461*c_1001_3^15 + 398944322687946812084914429960/13512834053008477636701785043*c_1001\ _3^14 + 30075727318356505089873720225374/17161299247320766598611267\ 00461*c_1001_3^13 - 100602422641187791884061951057582/1716129924732\ 076659861126700461*c_1001_3^12 + 3585057290636926069439019498258/81\ 720472606289364755291747641*c_1001_3^11 + 10152433804449142712862987587575/490322835637736188531750485846*c_1\ 001_3^10 - 97439198347257901744696718320441/91526929319044088525926\ 75735792*c_1001_3^9 - 13235564251596939316743850312359/114408661648\ 8051106574084466974*c_1001_3^8 + 5740703542361111832724815211075/13\ 07527561700629836084667962256*c_1001_3^7 - 849987133673535596293991691460967/13729039397856613278889013603688*\ c_1001_3^6 - 4583045879288577294176167925498581/2745807879571322655\ 7778027207376*c_1001_3^5 - 427863063187322241207631830121498/171612\ 9924732076659861126700461*c_1001_3^4 - 6109525652250734612269890443627795/27458078795713226557778027207376\ *c_1001_3^3 - 554621699986637766394415567285827/4576346465952204426\ 296337867896*c_1001_3^2 - 226605020451362068388211190604209/6864519\ 698928306639444506801844*c_1001_3 - 7607101925015020990416918379076/1716129924732076659861126700461, c_0101_6 + 5738447161752193877614545649136/1716129924732076659861126700\ 461*c_1001_3^17 - 5070464025816567824539772145056/24516141781886809\ 4265875242923*c_1001_3^16 + 73795909128218635195271990637968/171612\ 9924732076659861126700461*c_1001_3^15 - 398944322687946812084914429960/13512834053008477636701785043*c_1001\ _3^14 - 30075727318356505089873720225374/17161299247320766598611267\ 00461*c_1001_3^13 + 100602422641187791884061951057582/1716129924732\ 076659861126700461*c_1001_3^12 - 3585057290636926069439019498258/81\ 720472606289364755291747641*c_1001_3^11 - 10152433804449142712862987587575/490322835637736188531750485846*c_1\ 001_3^10 + 97439198347257901744696718320441/91526929319044088525926\ 75735792*c_1001_3^9 + 13235564251596939316743850312359/114408661648\ 8051106574084466974*c_1001_3^8 - 5740703542361111832724815211075/13\ 07527561700629836084667962256*c_1001_3^7 + 849987133673535596293991691460967/13729039397856613278889013603688*\ c_1001_3^6 + 4583045879288577294176167925498581/2745807879571322655\ 7778027207376*c_1001_3^5 + 427863063187322241207631830121498/171612\ 9924732076659861126700461*c_1001_3^4 + 6109525652250734612269890443627795/27458078795713226557778027207376\ *c_1001_3^3 + 554621699986637766394415567285827/4576346465952204426\ 296337867896*c_1001_3^2 + 226605020451362068388211190604209/6864519\ 698928306639444506801844*c_1001_3 + 7607101925015020990416918379076/1716129924732076659861126700461, c_0101_8 + 3240169708859275347425252115136/1716129924732076659861126700\ 461*c_1001_3^17 - 2249505901076285367721627291456/24516141781886809\ 4265875242923*c_1001_3^16 + 11274851851962082465208680713280/171612\ 9924732076659861126700461*c_1001_3^15 + 427682513465805022080297705376/13512834053008477636701785043*c_1001\ _3^14 - 133162801016662303987867375458616/1716129924732076659861126\ 700461*c_1001_3^13 + 150437165249890431392384679641408/171612992473\ 2076659861126700461*c_1001_3^12 - 3346195792849583636780288935936/8\ 1720472606289364755291747641*c_1001_3^11 - 4684916916382709667468770015902/245161417818868094265875242923*c_10\ 01_3^10 - 19715232452916981079212520593995/228817323297610221314816\ 8933948*c_1001_3^9 + 64167707040579267741088410196797/2288173232976\ 102213148168933948*c_1001_3^8 - 4505556334674640098687794765157/326\ 881890425157459021166990564*c_1001_3^7 + 293529102770264646892907246506289/6864519698928306639444506801844*c\ _1001_3^6 + 909900617210404472982779934054995/686451969892830663944\ 4506801844*c_1001_3^5 + 1603532330167402376348756704074437/68645196\ 98928306639444506801844*c_1001_3^4 + 1606662273878749258013881988909329/6864519698928306639444506801844*\ c_1001_3^3 + 342563539504645020214050398311417/22881732329761022131\ 48168933948*c_1001_3^2 + 169469295827817148629461981542903/34322598\ 49464153319722253400922*c_1001_3 + 12993731596708009853005205435062/1716129924732076659861126700461, c_1001_3^18 - 6*c_1001_3^17 + 12*c_1001_3^16 - 17/2*c_1001_3^15 - 9/8*c_1001_3^14 + 65/8*c_1001_3^13 - 5/2*c_1001_3^12 - 371/32*c_1001_3^11 + 437/256*c_1001_3^10 + 165/64*c_1001_3^9 + 3/2*c_1001_3^8 + 1091/64*c_1001_3^7 + 6959/128*c_1001_3^6 + 5629/64*c_1001_3^5 + 1449/16*c_1001_3^4 + 3835/64*c_1001_3^3 + 6317/256*c_1001_3^2 + 183/32*c_1001_3 + 5/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.170 Total time: 0.370 seconds, Total memory usage: 32.09MB