Magma V2.19-8 Tue Sep 10 2013 18:24:46 on localhost [Seed = 2982969297] Type ? for help. Type -D to quit. Loading file "11_195__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_195 geometric_solution 14.73540122 oriented_manifold CS_known 0.0000000000000009 1 0 torus 0.000000000000 0.000000000000 16 1 2 3 4 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 -1 0 1 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.029910889519 1.129383401431 0 5 2 6 0132 0132 1023 0132 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 -6 6 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.428684279041 0.505001895517 7 0 1 3 0132 0132 1023 1302 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 1 -1 0 0 0 -6 6 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.727281717628 1.110795412473 8 4 2 0 0132 1302 2031 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 6 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.291137431531 0.614522946607 9 9 0 3 0132 1302 0132 2031 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 -1 1 0 0 0 0 5 -5 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.715234725666 0.782196690763 10 1 11 11 0132 0132 0132 3120 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 6 -6 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.486094038158 0.741594474439 8 10 1 12 2103 0213 0132 0132 0 0 0 0 0 -1 0 1 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 5 0 -5 0 0 1 -1 0 5 0 -5 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.822001976586 0.424141721901 2 10 12 11 0132 0132 3012 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 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.615548326696 0.538116390830 3 13 6 14 0132 0132 2103 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -6 6 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.603175234511 2.284798337242 4 14 12 4 0132 1023 1230 2031 0 0 0 0 0 0 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 0 -5 5 0 0 0 0 0 1 0 -1 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.410962409039 1.128836502732 5 7 6 13 0132 0132 0213 1023 0 0 0 0 0 0 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 0 0 0 0 0 0 0 -5 5 -1 0 -5 6 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.539240923887 1.279184418319 5 7 15 5 3120 0321 0132 0132 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 -6 6 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.631286253234 0.910980669517 13 7 6 9 0321 1230 0132 3012 0 0 0 0 0 0 -1 1 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 0 5 -5 -6 0 1 5 0 0 0 0 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.432729628728 0.952345350937 12 8 15 10 0321 0132 0213 1023 0 0 0 0 0 0 -1 1 -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 0 6 -6 5 0 0 -5 0 0 0 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.369010204532 0.171527512495 9 15 8 15 1023 0213 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.363325992726 0.696280932278 14 13 14 11 3201 0213 0213 0132 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 -6 0 6 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.363325992726 0.696280932278 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_15' : d['c_1001_13'], 'c_1001_14' : d['c_1001_13'], 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_1001_10'], 'c_1001_13' : d['c_1001_13'], 'c_1001_12' : negation(d['c_1001_11']), 'c_1001_5' : d['c_1001_10'], 'c_1001_4' : d['c_0101_1'], 'c_1001_7' : negation(d['c_0011_12']), 'c_1001_6' : d['c_1001_10'], 'c_1001_1' : negation(d['c_0011_11']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_7']), 'c_1001_2' : d['c_0101_1'], 'c_1001_9' : d['c_0101_14'], 'c_1001_8' : d['c_0011_6'], 'c_1010_13' : d['c_0011_6'], 'c_1010_12' : d['c_0101_7'], 'c_1010_11' : d['c_1001_10'], 'c_1010_10' : negation(d['c_0011_12']), 'c_1010_15' : d['c_1001_11'], 'c_1010_14' : negation(d['c_0101_11']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_0_14' : d['1'], 's_3_14' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_6'], 'c_0101_15' : d['c_0011_14'], 'c_0101_14' : d['c_0101_14'], '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_0_8' : d['1'], 's_2_15' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(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_15'], 'c_0011_14' : d['c_0011_14'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0011_15'], 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_11']), 'c_1100_4' : negation(d['c_1001_0']), 'c_1100_7' : d['c_1001_11'], 'c_1100_6' : negation(d['c_0101_14']), 'c_1100_1' : negation(d['c_0101_14']), 'c_1100_0' : negation(d['c_1001_0']), 'c_1100_3' : negation(d['c_1001_0']), 'c_1100_2' : d['c_0101_14'], 'c_1100_14' : d['c_0011_15'], 's_0_15' : d['1'], 'c_1100_15' : negation(d['c_0101_11']), 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0011_13']), 'c_1100_11' : negation(d['c_0101_11']), 'c_1100_10' : negation(d['c_1001_11']), 'c_1100_13' : d['c_1001_11'], 's_0_11' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : d['c_1001_10'], 'c_1010_6' : negation(d['c_1001_11']), 'c_1010_5' : negation(d['c_0011_11']), 's_0_13' : d['1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_10'], 'c_1010_0' : d['c_0101_1'], 's_3_15' : d['1'], 'c_1010_9' : negation(d['c_0011_14']), 'c_1010_8' : d['c_1001_13'], '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' : negation(d['1']), 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_14']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(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_14'], 'c_0011_8' : negation(d['c_0011_13']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_14']), 'c_0101_13' : d['c_0011_15'], '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_13'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_6'], 'c_0110_10' : d['c_0011_6'], 'c_0110_13' : negation(d['c_0011_12']), 'c_0110_12' : negation(d['c_0011_13']), 'c_0110_15' : d['c_0101_11'], 'c_0110_14' : negation(d['c_0011_14']), 'c_1010_4' : d['c_0011_13'], 'c_0101_12' : negation(d['c_0011_15']), 'c_0011_7' : d['c_0011_0'], 's_2_14' : d['1'], 's_0_9' : negation(d['1']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_14'], 'c_0101_2' : negation(d['c_0011_11']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_7']), 'c_0101_8' : d['c_0101_0'], 'c_0011_10' : negation(d['c_0011_0']), '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' : d['c_0101_14'], '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_7'], 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : negation(d['c_0101_7']), 'c_0110_7' : negation(d['c_0011_11']), 'c_0110_6' : negation(d['c_0011_15'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_11, c_0011_12, c_0011_13, c_0011_14, c_0011_15, c_0011_6, c_0101_0, c_0101_1, c_0101_11, c_0101_14, c_0101_7, c_1001_0, c_1001_10, c_1001_11, c_1001_13 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 416741166772692790818594006636912/600250595705584733252155817587085\ *c_1001_13^13 + 349645544335855623381537621946800/12005011914111694\ 6650431163517417*c_1001_13^12 + 5188593362081440700828114169892944/\ 600250595705584733252155817587085*c_1001_13^11 - 11260318458316012139679585534122352/6002505957055847332521558175870\ 85*c_1001_13^10 - 6120609926046833155395875211646261/12005011914111\ 6946650431163517417*c_1001_13^9 + 473954011778841417519098667131991\ /6744388715793086890473660871765*c_1001_13^8 + 77312395048334369814227795579975958/6002505957055847332521558175870\ 85*c_1001_13^7 - 86961189807115492551957803861101509/60025059570558\ 4733252155817587085*c_1001_13^6 - 994415120644409796359598246732458\ 94/600250595705584733252155817587085*c_1001_13^5 + 75040410852932037737669466118973997/6002505957055847332521558175870\ 85*c_1001_13^4 + 84061171711840145917370707046794036/60025059570558\ 4733252155817587085*c_1001_13^3 - 347221264667135451214024110001319\ 9/120050119141116946650431163517417*c_1001_13^2 - 27537139397917498313141375971169354/6002505957055847332521558175870\ 85*c_1001_13 - 16182590035056879760271614199173912/6002505957055847\ 33252155817587085, c_0011_0 - 1, c_0011_11 - 11746722871810443833760896/21387908202853613863503835*c_100\ 1_13^13 + 6653585750189527918313648/4277581640570722772700767*c_100\ 1_13^12 + 178783873345131348319286912/21387908202853613863503835*c_\ 1001_13^11 - 10897324761704140204654736/21387908202853613863503835*\ c_1001_13^10 - 157142110044120516349982888/427758164057072277270076\ 7*c_1001_13^9 - 2288353048726185251895047/240313575312961953522515*\ c_1001_13^8 + 1443741067124512877506194934/213879082028536138635038\ 35*c_1001_13^7 + 841565321039011511691331498/2138790820285361386350\ 3835*c_1001_13^6 - 1370390973178638456840639037/2138790820285361386\ 3503835*c_1001_13^5 - 1557911213821453890928975364/2138790820285361\ 3863503835*c_1001_13^4 + 140572625927028246897975293/21387908202853\ 613863503835*c_1001_13^3 + 216396116477668810944948981/427758164057\ 0722772700767*c_1001_13^2 + 501706876456211245880332268/21387908202\ 853613863503835*c_1001_13 + 179886185719898885748781964/21387908202\ 853613863503835, c_0011_12 - 12857245252836200932565312/21387908202853613863503835*c_100\ 1_13^13 + 7198836474484716791127232/4277581640570722772700767*c_100\ 1_13^12 + 196562187963750040534479904/21387908202853613863503835*c_\ 1001_13^11 - 5538718927825273417623072/21387908202853613863503835*c\ _1001_13^10 - 170649871050347135095714668/4277581640570722772700767\ *c_1001_13^9 - 2688463295132291346361564/240313575312961953522515*c\ _1001_13^8 + 1554720417307148821020714838/2138790820285361386350383\ 5*c_1001_13^7 + 931132034244177492047552356/21387908202853613863503\ 835*c_1001_13^6 - 1436998352870641487742683394/21387908202853613863\ 503835*c_1001_13^5 - 1694962459882437436290661608/21387908202853613\ 863503835*c_1001_13^4 + 77745841662891313206178316/2138790820285361\ 3863503835*c_1001_13^3 + 231085697377160148078876278/42775816405707\ 22772700767*c_1001_13^2 + 567456148001709913099866951/2138790820285\ 3613863503835*c_1001_13 + 204773495612771167240891968/2138790820285\ 3613863503835, c_0011_13 - 2799988747987304572028144/4277581640570722772700767*c_1001_\ 13^13 + 7783729712371882979160160/4277581640570722772700767*c_1001_\ 13^12 + 43179146935620962780814160/4277581640570722772700767*c_1001\ _13^11 - 924921867883134899817600/4277581640570722772700767*c_1001_\ 13^10 - 189184145504049739547813633/4277581640570722772700767*c_100\ 1_13^9 - 637471030593538891343448/48062715062592390704503*c_1001_13\ ^8 + 349393922580135204819976508/4277581640570722772700767*c_1001_1\ 3^7 + 213481138681090306517514809/4277581640570722772700767*c_1001_\ 13^6 - 328642408573442010622281515/4277581640570722772700767*c_1001\ _13^5 - 386926393474269254799314706/4277581640570722772700767*c_100\ 1_13^4 + 25694108768004379788043443/4277581640570722772700767*c_100\ 1_13^3 + 268067117389921498655350821/4277581640570722772700767*c_10\ 01_13^2 + 125037651512592096610252228/4277581640570722772700767*c_1\ 001_13 + 40436946379938643701053788/4277581640570722772700767, c_0011_14 - 1157854510110848524180288/4277581640570722772700767*c_1001_\ 13^13 + 3213747490862009953302640/4277581640570722772700767*c_1001_\ 13^12 + 17769221596363113161495808/4277581640570722772700767*c_1001\ _13^11 - 133086589133161059025952/4277581640570722772700767*c_1001_\ 13^10 - 76535641158235908145656492/4277581640570722772700767*c_1001\ _13^9 - 247261333361081541387839/48062715062592390704503*c_1001_13^\ 8 + 140107012174956755419728794/4277581640570722772700767*c_1001_13\ ^7 + 82962471712877144070081091/4277581640570722772700767*c_1001_13\ ^6 - 130850616462809460654756160/4277581640570722772700767*c_1001_1\ 3^5 - 150270840751089673402031732/4277581640570722772700767*c_1001_\ 13^4 + 11517724661624977449299431/4277581640570722772700767*c_1001_\ 13^3 + 99843652299522993777286395/4277581640570722772700767*c_1001_\ 13^2 + 45528795774742824343577943/4277581640570722772700767*c_1001_\ 13 + 17634228238480546988603456/4277581640570722772700767, c_0011_15 - 6027719709597758689205872/21387908202853613863503835*c_1001\ _13^13 + 3456811293499941041474464/4277581640570722772700767*c_1001\ _13^12 + 90307775860927296225624144/21387908202853613863503835*c_10\ 01_13^11 - 7427520957336675191882672/21387908202853613863503835*c_1\ 001_13^10 - 77687485927036475263282821/4277581640570722772700767*c_\ 1001_13^9 - 852692176508584261662604/240313575312961953522515*c_100\ 1_13^8 + 702538023484605338291470208/21387908202853613863503835*c_1\ 001_13^7 + 351840108010605090593491726/21387908202853613863503835*c\ _1001_13^6 - 660464452599313125209151489/21387908202853613863503835\ *c_1001_13^5 - 678723253156920724535411253/213879082028536138635038\ 35*c_1001_13^4 + 77737298388109231098904691/21387908202853613863503\ 835*c_1001_13^3 + 92985989619645999449695544/4277581640570722772700\ 767*c_1001_13^2 + 174425526006453556766391866/213879082028536138635\ 03835*c_1001_13 + 81650464929551070026729428/2138790820285361386350\ 3835, c_0011_6 + 1277762062277042612302704/4277581640570722772700767*c_1001_1\ 3^13 - 3424791096919160879914080/4277581640570722772700767*c_1001_1\ 3^12 - 19912650614536737414535520/4277581640570722772700767*c_1001_\ 13^11 - 1923332775206575712645824/4277581640570722772700767*c_1001_\ 13^10 + 84175300488592627818835769/4277581640570722772700767*c_1001\ _13^9 + 382846696110567427792664/48062715062592390704503*c_1001_13^\ 8 - 149163153765596281198208011/4277581640570722772700767*c_1001_13\ ^7 - 111667418353907069061073383/4277581640570722772700767*c_1001_1\ 3^6 + 128080210638356154704349642/4277581640570722772700767*c_1001_\ 13^5 + 187581684243073021116488333/4277581640570722772700767*c_1001\ _13^4 + 13058074705706422675945099/4277581640570722772700767*c_1001\ _13^3 - 117348056817952079715568393/4277581640570722772700767*c_100\ 1_13^2 - 68614776258261084731250652/4277581640570722772700767*c_100\ 1_13 - 23009365728617305574631222/4277581640570722772700767, c_0101_0 + 12248196402235089864420928/21387908202853613863503835*c_1001\ _13^13 - 6779658789522153747682048/4277581640570722772700767*c_1001\ _13^12 - 188471400249535391348993936/21387908202853613863503835*c_1\ 001_13^11 + 398603903775957123171008/21387908202853613863503835*c_1\ 001_13^10 + 162803291841635038812588732/4277581640570722772700767*c\ _1001_13^9 + 2691642803482530160099816/240313575312961953522515*c_1\ 001_13^8 - 1499393689062070553045215787/21387908202853613863503835*\ c_1001_13^7 - 895619439881207018485669514/2138790820285361386350383\ 5*c_1001_13^6 + 1423325019343812682580954936/2138790820285361386350\ 3835*c_1001_13^5 + 1608161466286353136505355392/2138790820285361386\ 3503835*c_1001_13^4 - 149349690321164044152691444/21387908202853613\ 863503835*c_1001_13^3 - 220335336964864504645766764/427758164057072\ 2772700767*c_1001_13^2 - 465735016052941203653648584/21387908202853\ 613863503835*c_1001_13 - 145497457301849984575343137/21387908202853\ 613863503835, c_0101_1 + 7564056600272261285086016/21387908202853613863503835*c_1001_\ 13^13 - 4181874122998057371737648/4277581640570722772700767*c_1001_\ 13^12 - 117070376837662827172958112/21387908202853613863503835*c_10\ 01_13^11 + 959620645817934282597616/21387908202853613863503835*c_10\ 01_13^10 + 102532451166870896942867932/4277581640570722772700767*c_\ 1001_13^9 + 1806039573532321038615927/240313575312961953522515*c_10\ 01_13^8 - 950444221364456287309345264/21387908202853613863503835*c_\ 1001_13^7 - 593160823505928995476891548/21387908202853613863503835*\ c_1001_13^6 + 903122590231470636957461182/2138790820285361386350383\ 5*c_1001_13^5 + 1073883104251231384404869184/2138790820285361386350\ 3835*c_1001_13^4 - 87115113671155221136674818/213879082028536138635\ 03835*c_1001_13^3 - 148987666679644208991598015/4277581640570722772\ 700767*c_1001_13^2 - 337700217268271363645094243/213879082028536138\ 63503835*c_1001_13 - 107384976556809634626208429/213879082028536138\ 63503835, c_0101_11 - 1774784049718018664184576/21387908202853613863503835*c_1001\ _13^13 + 968126632136047418435008/4277581640570722772700767*c_1001_\ 13^12 + 28224268855847261365479072/21387908202853613863503835*c_100\ 1_13^11 - 294187700152128987467856/21387908202853613863503835*c_100\ 1_13^10 - 25996810008634988797211440/4277581640570722772700767*c_10\ 01_13^9 - 569732906726913331676732/240313575312961953522515*c_1001_\ 13^8 + 249909160489672510210701294/21387908202853613863503835*c_100\ 1_13^7 + 178348464941543275126486093/21387908202853613863503835*c_1\ 001_13^6 - 248869507917423333683680382/21387908202853613863503835*c\ _1001_13^5 - 322528900495783017394710524/21387908202853613863503835\ *c_1001_13^4 + 29526490363030333890177663/2138790820285361386350383\ 5*c_1001_13^3 + 49144014380121215214311620/427758164057072277270076\ 7*c_1001_13^2 + 110056238394557241927204528/21387908202853613863503\ 835*c_1001_13 + 19213835364406899683191149/213879082028536138635038\ 35, c_0101_14 - 679448340684995896249680/4277581640570722772700767*c_1001_1\ 3^13 + 1873799494689033763702176/4277581640570722772700767*c_1001_1\ 3^12 + 10414680974534909524473904/4277581640570722772700767*c_1001_\ 13^11 + 116161383112027869195872/4277581640570722772700767*c_1001_1\ 3^10 - 43943434934231881083853387/4277581640570722772700767*c_1001_\ 13^9 - 132843773635862177989768/48062715062592390704503*c_1001_13^8 + 80253157429393633244787116/4277581640570722772700767*c_1001_13^7 + 43261484226559935446495891/4277581640570722772700767*c_1001_13^6 - 75614928516672488877665393/4277581640570722772700767*c_1001_13^5 - 78286390585255219337871374/4277581640570722772700767*c_1001_13^4 + 11535689324680458101082145/4277581640570722772700767*c_1001_13^3 + 50691147335177146689848519/4277581640570722772700767*c_1001_13^2 + 18296364224035502805521241/4277581640570722772700767*c_1001_13 + 6278489462435160852769542/4277581640570722772700767, c_0101_7 + 16630421746109302068098192/21387908202853613863503835*c_1001\ _13^13 - 9366741511182790256932448/4277581640570722772700767*c_1001\ _13^12 - 254130105666357562507325424/21387908202853613863503835*c_1\ 001_13^11 + 12632937212312489036950032/21387908202853613863503835*c\ _1001_13^10 + 222928196496854333727243067/4277581640570722772700767\ *c_1001_13^9 + 3375828461296967828431004/240313575312961953522515*c\ _1001_13^8 - 2048241849238313196167417168/2138790820285361386350383\ 5*c_1001_13^7 - 1202938380283256945948586316/2138790820285361386350\ 3835*c_1001_13^6 + 1925601852883160733932232099/2138790820285361386\ 3503835*c_1001_13^5 + 2221923267601990901842627913/2138790820285361\ 3863503835*c_1001_13^4 - 148529395604728839533711181/21387908202853\ 613863503835*c_1001_13^3 - 310361959674390351415197846/427758164057\ 0722772700767*c_1001_13^2 - 729519870652090139653550636/21387908202\ 853613863503835*c_1001_13 - 252442749517068484268150658/21387908202\ 853613863503835, c_1001_0 + 9800896202870859824738752/21387908202853613863503835*c_1001_\ 13^13 - 5624716330198014507279680/4277581640570722772700767*c_1001_\ 13^12 - 147875693563534818198469664/21387908202853613863503835*c_10\ 01_13^11 + 14521739241823890811209632/21387908202853613863503835*c_\ 1001_13^10 + 129965811373543673894811220/4277581640570722772700767*\ c_1001_13^9 + 1540057342673260743732044/240313575312961953522515*c_\ 1001_13^8 - 1196059455415769713438172538/21387908202853613863503835\ *c_1001_13^7 - 623646454049684544494525686/213879082028536138635038\ 35*c_1001_13^6 + 1149067952611832371398700194/213879082028536138635\ 03835*c_1001_13^5 + 1205684060876474190087377558/213879082028536138\ 63503835*c_1001_13^4 - 148520852329946757426437556/2138790820285361\ 3863503835*c_1001_13^3 - 172262251916876202786017112/42775816405707\ 22772700767*c_1001_13^2 - 379265065062541011047083221/2138790820285\ 3613863503835*c_1001_13 - 129319718833848387053988118/2138790820285\ 3613863503835, c_1001_10 + 5164404954523341062625008/21387908202853613863503835*c_1001\ _13^13 - 3254857031134529025312816/4277581640570722772700767*c_1001\ _13^12 - 74446226537488887217136896/21387908202853613863503835*c_10\ 01_13^11 + 30776647070659583862328048/21387908202853613863503835*c_\ 1001_13^10 + 70398210378259639280497421/4277581640570722772700767*c\ _1001_13^9 - 114500628460061879127879/240313575312961953522515*c_10\ 01_13^8 - 677789265614641649564935207/21387908202853613863503835*c_\ 1001_13^7 - 196075675096538500803635699/21387908202853613863503835*\ c_1001_13^6 + 718310758726929199399076301/2138790820285361386350383\ 5*c_1001_13^5 + 538117897345344020431715197/21387908202853613863503\ 835*c_1001_13^4 - 242355595957618976073346259/213879082028536138635\ 03835*c_1001_13^3 - 95563568968236226042786247/42775816405707227727\ 00767*c_1001_13^2 - 125914651658077073563545719/2138790820285361386\ 3503835*c_1001_13 - 54628298923986969192896242/21387908202853613863\ 503835, c_1001_11 + 1142698487100321927575408/21387908202853613863503835*c_1001\ _13^13 - 584893237887166188032928/4277581640570722772700767*c_1001_\ 13^12 - 19333546714354773369590896/21387908202853613863503835*c_100\ 1_13^11 - 914109588409598918535072/21387908202853613863503835*c_100\ 1_13^10 + 18534274453702604452098965/4277581640570722772700767*c_10\ 01_13^9 + 498891857835403110355676/240313575312961953522515*c_1001_\ 13^8 - 192249195593527203079167702/21387908202853613863503835*c_100\ 1_13^7 - 136273659161274040540021689/21387908202853613863503835*c_1\ 001_13^6 + 206213689996568565368724181/21387908202853613863503835*c\ _1001_13^5 + 239669507488908837705911922/21387908202853613863503835\ *c_1001_13^4 - 50724702177130585734038899/2138790820285361386350383\ 5*c_1001_13^3 - 36981420012761350576474543/427758164057072277270076\ 7*c_1001_13^2 - 79120017764104183814898024/213879082028536138635038\ 35*c_1001_13 + 2588763713077948735623028/21387908202853613863503835\ , c_1001_13^14 - 4*c_1001_13^13 - 12*c_1001_13^12 + 19*c_1001_13^11 + 1071/16*c_1001_13^10 - 491/8*c_1001_13^9 - 2371/16*c_1001_13^8 + 73*c_1001_13^7 + 3339/16*c_1001_13^6 - 19/16*c_1001_13^5 - 2809/16*c_1001_13^4 - 347/4*c_1001_13^3 + 273/4*c_1001_13^2 + 663/16*c_1001_13 + 311/16 ], Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_11, c_0011_12, c_0011_13, c_0011_14, c_0011_15, c_0011_6, c_0101_0, c_0101_1, c_0101_11, c_0101_14, c_0101_7, c_1001_0, c_1001_10, c_1001_11, c_1001_13 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 199063225127484136394628018518992/431125787356264884266805292029*c_\ 1001_13^16 - 60831964652344047986818198829984/479028652618072093629\ 78365781*c_1001_13^15 + 1038226707575903266861056807264412/43112578\ 7356264884266805292029*c_1001_13^14 + 3366147335698515760039829236961324/431125787356264884266805292029*c\ _1001_13^13 - 2204666656912618071486414824004812/431125787356264884\ 266805292029*c_1001_13^12 - 12345204734381386512001947222118184/431\ 125787356264884266805292029*c_1001_13^11 - 7062745941904547578385412319030885/431125787356264884266805292029*c\ _1001_13^10 + 7783654431385895372017398260323183/287417191570843256\ 177870194686*c_1001_13^9 + 17461765722644845817029064006224070/4311\ 25787356264884266805292029*c_1001_13^8 + 10331990724229091475102126317330419/862251574712529768533610584058*\ c_1001_13^7 - 268438166153343482920913429700711/1596762175393573645\ 4326121927*c_1001_13^6 - 24766991800406951151692344941997835/862251\ 574712529768533610584058*c_1001_13^5 - 10858071889872105312650227772940524/431125787356264884266805292029*\ c_1001_13^4 - 4917528272648543813637270182070301/862251574712529768\ 533610584058*c_1001_13^3 + 1900688717449924323445805478430010/43112\ 5787356264884266805292029*c_1001_13^2 - 11260253940272388646932776105967/31935243507871472908652243854*c_10\ 01_13 - 83370192560628178180049363464199/86225157471252976853361058\ 4058, c_0011_0 - 1, c_0011_11 - 1006151638326675360260512/1193503772852707256840727*c_1001_\ 13^16 - 116943178630226529271168/132611530316967472982303*c_1001_13\ ^15 + 10014756024906373142045704/1193503772852707256840727*c_1001_1\ 3^14 + 7267652671687277570200424/1193503772852707256840727*c_1001_1\ 3^13 - 43148753376765315495708068/1193503772852707256840727*c_1001_\ 13^12 - 38911945615291943697307532/1193503772852707256840727*c_1001\ _13^11 + 90103869434480729063512778/1193503772852707256840727*c_100\ 1_13^10 + 36629333443036480071700439/397834590950902418946909*c_100\ 1_13^9 - 85143785024240465382464677/1193503772852707256840727*c_100\ 1_13^8 - 312129551165960525931533831/2387007545705414513681454*c_10\ 01_13^7 + 2489364434049295376588442/132611530316967472982303*c_1001\ _13^6 + 211535901830058857435477011/2387007545705414513681454*c_100\ 1_13^5 + 12798734038113878765434193/2387007545705414513681454*c_100\ 1_13^4 - 22154071722054915798229316/1193503772852707256840727*c_100\ 1_13^3 + 6747670390911753849832697/1193503772852707256840727*c_1001\ _13^2 - 148538506610320468724245/132611530316967472982303*c_1001_13 + 2378480125309422242827213/2387007545705414513681454, c_0011_12 + 8462529502154757980960000/1193503772852707256840727*c_1001_\ 13^16 + 1745003221401016378717392/132611530316967472982303*c_1001_1\ 3^15 - 69529189209681052879241504/1193503772852707256840727*c_1001_\ 13^14 - 110649465911192329180870108/1193503772852707256840727*c_100\ 1_13^13 + 263849504796531257645556388/1193503772852707256840727*c_1\ 001_13^12 + 493346728212851402892196708/1193503772852707256840727*c\ _1001_13^11 - 342573161043278046789262900/1193503772852707256840727\ *c_1001_13^10 - 339001485108081648386969233/39783459095090241894690\ 9*c_1001_13^9 + 9917073639089341207858291/2387007545705414513681454\ *c_1001_13^8 + 1061713693997585225818674716/11935037728527072568407\ 27*c_1001_13^7 + 77392960723088932526319945/26522306063393494596460\ 6*c_1001_13^6 - 1039414296426903042226783871/2387007545705414513681\ 454*c_1001_13^5 - 163882633906615243986540587/119350377285270725684\ 0727*c_1001_13^4 + 142555871042930412208927561/11935037728527072568\ 40727*c_1001_13^3 - 10148374344055688887178506/11935037728527072568\ 40727*c_1001_13^2 - 1352323043313658045550661/265223060633934945964\ 606*c_1001_13 - 1397420603087720074423663/1193503772852707256840727\ , c_0011_13 + c_1001_13, c_0011_14 + 5676169287716787356535104/1193503772852707256840727*c_1001_\ 13^16 + 1431396968215987295905664/132611530316967472982303*c_1001_1\ 3^15 - 40510700108781529688917712/1193503772852707256840727*c_1001_\ 13^14 - 89096241397288452245590432/1193503772852707256840727*c_1001\ _13^13 + 134614243749054175061954488/1193503772852707256840727*c_10\ 01_13^12 + 373579197240254885817336460/1193503772852707256840727*c_\ 1001_13^11 - 57503363064863093179154080/1193503772852707256840727*c\ _1001_13^10 - 217256580530826171730739158/397834590950902418946909*\ c_1001_13^9 - 269834540550725932705641406/1193503772852707256840727\ *c_1001_13^8 + 508434172523395533604647770/119350377285270725684072\ 7*c_1001_13^7 + 88722056822980916774038783/265223060633934945964606\ *c_1001_13^6 - 114736281850646296070123776/119350377285270725684072\ 7*c_1001_13^5 - 97383705724788742464153530/119350377285270725684072\ 7*c_1001_13^4 + 85699850481523107258710753/238700754570541451368145\ 4*c_1001_13^3 - 2653063012096937084059939/1193503772852707256840727\ *c_1001_13^2 + 371779071656887129870389/265223060633934945964606*c_\ 1001_13 + 95302794575696877768842/1193503772852707256840727, c_0011_15 - 1235794402908345704447360/1193503772852707256840727*c_1001_\ 13^16 - 580556874273616619718112/132611530316967472982303*c_1001_13\ ^15 + 2834341064640178495222880/1193503772852707256840727*c_1001_13\ ^14 + 35552498930809299868235464/1193503772852707256840727*c_1001_1\ 3^13 + 11997588133972850385721640/1193503772852707256840727*c_1001_\ 13^12 - 131312143329088664818091320/1193503772852707256840727*c_100\ 1_13^11 - 156922233259124521905769112/1193503772852707256840727*c_1\ 001_13^10 + 45324287067930407047436410/397834590950902418946909*c_1\ 001_13^9 + 336527338096809997340752063/1193503772852707256840727*c_\ 1001_13^8 + 51906600906682549050613396/1193503772852707256840727*c_\ 1001_13^7 - 30631573551412935785190137/132611530316967472982303*c_1\ 001_13^6 - 173038902197867218935793646/1193503772852707256840727*c_\ 1001_13^5 + 39468821757336932886116045/1193503772852707256840727*c_\ 1001_13^4 + 29850075232566163805521406/1193503772852707256840727*c_\ 1001_13^3 - 16717873498517977670303552/1193503772852707256840727*c_\ 1001_13^2 - 277469735123243302635513/132611530316967472982303*c_100\ 1_13 - 113038530454649689984064/1193503772852707256840727, c_0011_6 - 4375585759713329075741440/1193503772852707256840727*c_1001_1\ 3^16 - 1048818605960237003497024/132611530316967472982303*c_1001_13\ ^15 + 32858921103905693330118304/1193503772852707256840727*c_1001_1\ 3^14 + 66480679300749997080494960/1193503772852707256840727*c_1001_\ 13^13 - 114837966099893954449880888/1193503772852707256840727*c_100\ 1_13^12 - 285335479389873225128724200/1193503772852707256840727*c_1\ 001_13^11 + 86731136948144287178522744/1193503772852707256840727*c_\ 1001_13^10 + 178093985110771905350071124/397834590950902418946909*c\ _1001_13^9 + 155197274823051287263329392/1193503772852707256840727*\ c_1001_13^8 - 474890645763057338658397819/1193503772852707256840727\ *c_1001_13^7 - 33570996759142818672324248/132611530316967472982303*\ c_1001_13^6 + 162659088802254779103849587/1193503772852707256840727\ *c_1001_13^5 + 110389932752423030659710397/119350377285270725684072\ 7*c_1001_13^4 - 43767107197562520282691172/119350377285270725684072\ 7*c_1001_13^3 - 3921600048402434029911727/1193503772852707256840727\ *c_1001_13^2 + 197106927856701379494245/132611530316967472982303*c_\ 1001_13 + 988737578055857895644252/1193503772852707256840727, c_0101_0 + 499493466659429483108432/132611530316967472982303*c_1001_13^\ 16 + 1376936773423497560156368/132611530316967472982303*c_1001_13^1\ 5 - 3025383683936693226041196/132611530316967472982303*c_1001_13^14 - 9588837972389017234707296/132611530316967472982303*c_1001_13^13 + 8145232881631747081237492/132611530316967472982303*c_1001_13^12 + 38718150065422189203376484/132611530316967472982303*c_1001_13^11 + 10485430298069565850205597/132611530316967472982303*c_1001_13^10 - 120471454008074595127331055/265223060633934945964606*c_1001_13^9 - 101678996932446619418175185/265223060633934945964606*c_1001_13^8 + 34291850048518107814292442/132611530316967472982303*c_1001_13^7 + 56380375067085097543217915/132611530316967472982303*c_1001_13^6 + 5578375500267122159334136/132611530316967472982303*c_1001_13^5 - 27318175299900345255752459/265223060633934945964606*c_1001_13^4 + 343895031202631217248391/132611530316967472982303*c_1001_13^3 + 3935418684223331321741233/265223060633934945964606*c_1001_13^2 - 66581217600595446480557/265223060633934945964606*c_1001_13 - 82491515551241255002375/265223060633934945964606, c_0101_1 + 1738096974043859155453568/397834590950902418946909*c_1001_13\ ^16 + 1217277849481098819082880/132611530316967472982303*c_1001_13^\ 15 - 13110899168670752812522880/397834590950902418946909*c_1001_13^\ 14 - 25214326563487927194888784/397834590950902418946909*c_1001_13^\ 13 + 46201936753665055688530072/397834590950902418946909*c_1001_13^\ 12 + 107506045801069403977431652/397834590950902418946909*c_1001_13\ ^11 - 38369481119824621252988980/397834590950902418946909*c_1001_13\ ^10 - 65737238711679451462163116/132611530316967472982303*c_1001_13\ ^9 - 46175262210759540282208630/397834590950902418946909*c_1001_13^\ 8 + 171492796868683424982271412/397834590950902418946909*c_1001_13^\ 7 + 62201638636079939048699959/265223060633934945964606*c_1001_13^6 - 58468064542207726506841774/397834590950902418946909*c_1001_13^5 - 22838454207991614326233532/397834590950902418946909*c_1001_13^4 + 39082741810264220204301881/795669181901804837893818*c_1001_13^3 - 3009978223641619119996895/397834590950902418946909*c_1001_13^2 + 436265353162273083775055/265223060633934945964606*c_1001_13 - 451948439725193243868229/397834590950902418946909, c_0101_11 + 1738096974043859155453568/397834590950902418946909*c_1001_1\ 3^16 + 1217277849481098819082880/132611530316967472982303*c_1001_13\ ^15 - 13110899168670752812522880/397834590950902418946909*c_1001_13\ ^14 - 25214326563487927194888784/397834590950902418946909*c_1001_13\ ^13 + 46201936753665055688530072/397834590950902418946909*c_1001_13\ ^12 + 107506045801069403977431652/397834590950902418946909*c_1001_1\ 3^11 - 38369481119824621252988980/397834590950902418946909*c_1001_1\ 3^10 - 65737238711679451462163116/132611530316967472982303*c_1001_1\ 3^9 - 46175262210759540282208630/397834590950902418946909*c_1001_13\ ^8 + 171492796868683424982271412/397834590950902418946909*c_1001_13\ ^7 + 62201638636079939048699959/265223060633934945964606*c_1001_13^\ 6 - 58468064542207726506841774/397834590950902418946909*c_1001_13^5 - 22838454207991614326233532/397834590950902418946909*c_1001_13^4 + 39082741810264220204301881/795669181901804837893818*c_1001_13^3 - 3009978223641619119996895/397834590950902418946909*c_1001_13^2 + 436265353162273083775055/265223060633934945964606*c_1001_13 - 451948439725193243868229/397834590950902418946909, c_0101_14 - 1385891722104263458610368/397834590950902418946909*c_1001_1\ 3^16 - 1084633101439579366104624/132611530316967472982303*c_1001_13\ ^15 + 9717533501894612056805584/397834590950902418946909*c_1001_13^\ 14 + 22672240260719637254236220/397834590950902418946909*c_1001_13^\ 13 - 31763684151768502444879724/397834590950902418946909*c_1001_13^\ 12 - 94824662677550102214118604/397834590950902418946909*c_1001_13^\ 11 + 9204743744140823419629584/397834590950902418946909*c_1001_13^1\ 0 + 54935025885519506739854319/132611530316967472982303*c_1001_13^9 + 150844630330354325717054725/795669181901804837893818*c_1001_13^8 - 128478944792283263788601449/397834590950902418946909*c_1001_13^7 - 71706243921383458086851147/265223060633934945964606*c_1001_13^6 + 60698667610954767724225141/795669181901804837893818*c_1001_13^5 + 30045562797041333879711200/397834590950902418946909*c_1001_13^4 - 13021045151846947893530597/397834590950902418946909*c_1001_13^3 - 2562249516605311758788902/397834590950902418946909*c_1001_13^2 + 151653484109730048425263/265223060633934945964606*c_1001_13 + 110568690596059479593600/397834590950902418946909, c_0101_7 - 1235794402908345704447360/1193503772852707256840727*c_1001_1\ 3^16 - 580556874273616619718112/132611530316967472982303*c_1001_13^\ 15 + 2834341064640178495222880/1193503772852707256840727*c_1001_13^\ 14 + 35552498930809299868235464/1193503772852707256840727*c_1001_13\ ^13 + 11997588133972850385721640/1193503772852707256840727*c_1001_1\ 3^12 - 131312143329088664818091320/1193503772852707256840727*c_1001\ _13^11 - 156922233259124521905769112/1193503772852707256840727*c_10\ 01_13^10 + 45324287067930407047436410/397834590950902418946909*c_10\ 01_13^9 + 336527338096809997340752063/1193503772852707256840727*c_1\ 001_13^8 + 51906600906682549050613396/1193503772852707256840727*c_1\ 001_13^7 - 30631573551412935785190137/132611530316967472982303*c_10\ 01_13^6 - 173038902197867218935793646/1193503772852707256840727*c_1\ 001_13^5 + 39468821757336932886116045/1193503772852707256840727*c_1\ 001_13^4 + 29850075232566163805521406/1193503772852707256840727*c_1\ 001_13^3 - 16717873498517977670303552/1193503772852707256840727*c_1\ 001_13^2 - 277469735123243302635513/132611530316967472982303*c_1001\ _13 - 113038530454649689984064/1193503772852707256840727, c_1001_0 + 7408691900021289102910976/1193503772852707256840727*c_1001_1\ 3^16 + 1505434967954912617222544/132611530316967472982303*c_1001_13\ ^15 - 61636230187371870034828160/1193503772852707256840727*c_1001_1\ 3^14 - 95860794793814325195851116/1193503772852707256840727*c_1001_\ 13^13 + 236706704262706763544709900/1193503772852707256840727*c_100\ 1_13^12 + 429607964196631450744045900/1193503772852707256840727*c_1\ 001_13^11 - 322415633051022919060411348/1193503772852707256840727*c\ _1001_13^10 - 299880180516655754458317493/397834590950902418946909*\ c_1001_13^9 + 79434207444571847695768579/2387007545705414513681454*\ c_1001_13^8 + 960756547420444591420117037/1193503772852707256840727\ *c_1001_13^7 + 62941557659367389437160945/265223060633934945964606*\ c_1001_13^6 - 975228055546799663332999823/2387007545705414513681454\ *c_1001_13^5 - 143278043083554325332535118/119350377285270725684072\ 7*c_1001_13^4 + 132588926678322898047220147/11935037728527072568407\ 27*c_1001_13^3 - 10815830696183910724678561/11935037728527072568407\ 27*c_1001_13^2 - 774184892053441967004011/265223060633934945964606*\ c_1001_13 - 1071527420454496482776119/1193503772852707256840727, c_1001_10 - 441562688632970869985872/397834590950902418946909*c_1001_13\ ^16 - 89739030326373636321296/132611530316967472982303*c_1001_13^15 + 4799555131076106268193404/397834590950902418946909*c_1001_13^14 + 1603812964625064162290552/397834590950902418946909*c_1001_13^13 - 22013359211346031965437336/397834590950902418946909*c_1001_13^12 - 11037707445588884129518604/397834590950902418946909*c_1001_13^11 + 53320377490317594696833951/397834590950902418946909*c_1001_13^10 + 27384601128424497394725201/265223060633934945964606*c_1001_13^9 - 133931925108276942111905183/795669181901804837893818*c_1001_13^8 - 145990897528955316106128347/795669181901804837893818*c_1001_13^7 + 27628345802881004254891297/265223060633934945964606*c_1001_13^6 + 63159365845982211281315288/397834590950902418946909*c_1001_13^5 - 12010574263584043379696093/397834590950902418946909*c_1001_13^4 - 40009105782453971073951385/795669181901804837893818*c_1001_13^3 + 5852992144476627653272286/397834590950902418946909*c_1001_13^2 - 714981103123695231100/132611530316967472982303*c_1001_13 - 79771040727283740010325/795669181901804837893818, c_1001_11 + 7408691900021289102910976/1193503772852707256840727*c_1001_\ 13^16 + 1505434967954912617222544/132611530316967472982303*c_1001_1\ 3^15 - 61636230187371870034828160/1193503772852707256840727*c_1001_\ 13^14 - 95860794793814325195851116/1193503772852707256840727*c_1001\ _13^13 + 236706704262706763544709900/1193503772852707256840727*c_10\ 01_13^12 + 429607964196631450744045900/1193503772852707256840727*c_\ 1001_13^11 - 322415633051022919060411348/1193503772852707256840727*\ c_1001_13^10 - 299880180516655754458317493/397834590950902418946909\ *c_1001_13^9 + 79434207444571847695768579/2387007545705414513681454\ *c_1001_13^8 + 960756547420444591420117037/119350377285270725684072\ 7*c_1001_13^7 + 62941557659367389437160945/265223060633934945964606\ *c_1001_13^6 - 975228055546799663332999823/238700754570541451368145\ 4*c_1001_13^5 - 143278043083554325332535118/11935037728527072568407\ 27*c_1001_13^4 + 132588926678322898047220147/1193503772852707256840\ 727*c_1001_13^3 - 10815830696183910724678561/1193503772852707256840\ 727*c_1001_13^2 - 774184892053441967004011/265223060633934945964606\ *c_1001_13 - 1071527420454496482776119/1193503772852707256840727, c_1001_13^17 + 2*c_1001_13^16 - 31/4*c_1001_13^15 - 55/4*c_1001_13^14 + 28*c_1001_13^13 + 237/4*c_1001_13^12 - 451/16*c_1001_13^11 - 3569/32*c_1001_13^10 - 245/16*c_1001_13^9 + 102*c_1001_13^8 + 44*c_1001_13^7 - 319/8*c_1001_13^6 - 161/16*c_1001_13^5 + 423/32*c_1001_13^4 - 43/16*c_1001_13^3 + 5/16*c_1001_13^2 - 1/8*c_1001_13 + 1/32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 3779.670 Total time: 3779.869 seconds, Total memory usage: 7474.22MB