Magma V2.19-8 Wed Aug 21 2013 00:16:45 on localhost [Seed = 2547120777] Type ? for help. Type -D to quit. Loading file "K13n574__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n574 geometric_solution 11.76133953 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 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 1 0 5 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.879569014320 0.910056502115 0 5 6 6 0132 0132 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.597359115355 0.444085720715 7 0 9 8 0132 0132 0132 0132 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 -6 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.114693702884 1.315082244126 9 10 4 0 1230 0132 2310 0132 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 1 -1 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.667700966514 0.452273298175 11 3 0 7 0132 3201 0132 0213 0 0 0 0 0 0 0 0 0 0 -1 1 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 -6 -5 -1 0 6 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.737740048163 0.664043552313 10 1 12 9 0213 0132 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.720821767442 0.422347547560 9 1 1 12 0213 1230 0132 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 -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.021751078966 1.146024607743 2 10 8 4 0132 0213 0213 0213 0 0 0 0 0 0 0 0 -1 0 0 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 6 0 0 -6 0 -6 0 6 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.113138498808 0.625783971625 11 7 2 10 1230 0213 0132 2103 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 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.363918554461 0.689619543999 6 3 5 2 0213 3012 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.883462760571 1.594955681538 5 3 7 8 0213 0132 0213 2103 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 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.799046327800 0.629403293115 4 8 12 12 0132 3012 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -1 0 1 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 -5 0 0 5 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.543143409342 0.694885775194 11 6 11 5 3012 1302 1023 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 -1 1 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.301756452197 0.893317493399 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_8']), 'c_1001_10' : d['c_1001_0'], 'c_1001_12' : d['c_0101_11'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : negation(d['c_0011_6']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0101_3']), 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_1001_5'], 'c_1010_11' : negation(d['c_0011_8']), 'c_1010_10' : d['c_1001_3'], 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : negation(d['c_0011_8']), 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_0'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_10']), 'c_1100_4' : negation(d['c_0011_11']), 'c_1100_7' : negation(d['c_1001_3']), 'c_1100_6' : negation(d['c_1001_5']), 'c_1100_1' : negation(d['c_1001_5']), 'c_1100_0' : negation(d['c_0011_11']), 'c_1100_3' : negation(d['c_0011_11']), 'c_1100_2' : negation(d['c_0110_10']), 's_0_10' : d['1'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : negation(d['c_0011_11']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0011_11']), 'c_1010_6' : d['c_0011_12'], 'c_1010_5' : negation(d['c_0011_6']), 'c_1010_4' : negation(d['c_1001_3']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : negation(d['c_0101_3']), 'c_1010_9' : negation(d['c_0101_3']), 'c_1010_8' : negation(d['c_1001_3']), 'c_1100_8' : negation(d['c_0110_10']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_10']), '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_9'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : d['c_0011_0'], '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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_12'], 'c_0110_10' : d['c_0110_10'], 'c_0110_12' : d['c_0011_10'], 'c_0110_0' : d['c_0011_12'], 'c_0101_7' : d['c_0011_8'], 'c_0101_6' : d['c_0011_9'], 'c_0101_5' : d['c_0011_10'], 'c_0101_4' : d['c_0011_12'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_11']), 'c_0101_1' : d['c_0011_12'], 'c_0101_0' : d['c_0011_9'], 'c_0101_9' : d['c_0011_6'], 'c_0101_8' : d['c_0011_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_11']), 'c_0110_8' : d['c_0011_11'], 'c_0110_1' : d['c_0011_9'], 'c_1100_9' : negation(d['c_0110_10']), 'c_0110_3' : d['c_0011_9'], 'c_0110_2' : d['c_0011_8'], 'c_0110_5' : negation(d['c_0110_10']), 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : negation(d['c_0101_11']), 'c_0110_6' : d['c_0101_11'], 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_6, c_0011_8, c_0011_9, c_0101_11, c_0101_3, c_0110_10, c_1001_0, c_1001_3, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 2508987881303297300095543155/1340109110837240039415346*c_1001_5^15 - 170954074231631104368476811145/17421418440884120512399498*c_1001_5^\ 14 - 794155264082843844118666580394/8710709220442060256199749*c_100\ 1_5^13 - 2730749679423766350866874308590/8710709220442060256199749*\ c_1001_5^12 - 5832409129788067540642985683286/871070922044206025619\ 9749*c_1001_5^11 - 9471568806194878803146338388084/8710709220442060\ 256199749*c_1001_5^10 - 20092975309046562010619590371173/1742141844\ 0884120512399498*c_1001_5^9 - 12867156655341483694856741611675/1742\ 1418440884120512399498*c_1001_5^8 - 175692909687636080766934277296/458458380023266329273671*c_1001_5^7 - 1775295787559665140268769623737/8710709220442060256199749*c_1001_5^\ 6 - 132839044154871637397010031613/17421418440884120512399498*c_100\ 1_5^5 + 734804386092083482744721443217/17421418440884120512399498*c\ _1001_5^4 - 292016549888095607586234065458/871070922044206025619974\ 9*c_1001_5^3 + 86465692007085121748608722686/8710709220442060256199\ 749*c_1001_5^2 - 50163455381089823016445759443/17421418440884120512\ 399498*c_1001_5 + 4691606074827126799825436791/17421418440884120512\ 399498, c_0011_0 - 1, c_0011_10 + 2830217113855564899443679/670054555418620019707673*c_1001_5\ ^15 + 14026662288524340212995121/670054555418620019707673*c_1001_5^\ 14 + 133709744667763698568230710/670054555418620019707673*c_1001_5^\ 13 + 435271039473065322385360505/670054555418620019707673*c_1001_5^\ 12 + 883110573032047180959337351/670054555418620019707673*c_1001_5^\ 11 + 1377447839673561641280206932/670054555418620019707673*c_1001_5\ ^10 + 1324985193512535610993460086/670054555418620019707673*c_1001_\ 5^9 + 703221562195278014152178794/670054555418620019707673*c_1001_5\ ^8 + 18706137889385914839666022/35266029232558948405667*c_1001_5^7 + 206596522198745280398967497/670054555418620019707673*c_1001_5^6 - 315057606677369132781700/4267863410309681654189*c_1001_5^5 - 57969781112769397677975248/670054555418620019707673*c_1001_5^4 + 66563239619141648640383215/670054555418620019707673*c_1001_5^3 - 35662623758524718635478272/670054555418620019707673*c_1001_5^2 + 9110761730824161205717049/670054555418620019707673*c_1001_5 - 1196718792381344272549296/670054555418620019707673, c_0011_11 + 10269003232094987404751389/670054555418620019707673*c_1001_\ 5^15 + 52335312237557618025624436/670054555418620019707673*c_1001_5\ ^14 + 492251171227955521540992621/670054555418620019707673*c_1001_5\ ^13 + 1647187278596583638999831324/670054555418620019707673*c_1001_\ 5^12 + 3423911237127324294181417471/670054555418620019707673*c_1001\ _5^11 + 5439753112094120115421012114/670054555418620019707673*c_100\ 1_5^10 + 5491561999095227743975144100/670054555418620019707673*c_10\ 01_5^9 + 3200360451729864878381499998/670054555418620019707673*c_10\ 01_5^8 + 545032480182516141840175/224624390016299034431*c_1001_5^7 + 933765603691607762736461470/670054555418620019707673*c_1001_5^6 - 44158632177916995274589195/670054555418620019707673*c_1001_5^5 - 203769383127400954282284200/670054555418620019707673*c_1001_5^4 + 232001256283294118611031428/670054555418620019707673*c_1001_5^3 - 83985130943365584913746436/670054555418620019707673*c_1001_5^2 + 17217630218740276090289751/670054555418620019707673*c_1001_5 - 1169499700877476976062196/670054555418620019707673, c_0011_12 + 10415117014292441798014226/670054555418620019707673*c_1001_\ 5^15 + 54011466853514966086867288/670054555418620019707673*c_1001_5\ ^14 + 504282080863662591905837704/670054555418620019707673*c_1001_5\ ^13 + 1716776667538739275389462630/670054555418620019707673*c_1001_\ 5^12 + 3635808227401646511937560954/670054555418620019707673*c_1001\ _5^11 + 5876088598955448350179531078/670054555418620019707673*c_100\ 1_5^10 + 6167409273252061953220803968/670054555418620019707673*c_10\ 01_5^9 + 3913690130960414435741382424/670054555418620019707673*c_10\ 01_5^8 + 111615391021191646760412152/35266029232558948405667*c_1001\ _5^7 + 7697612876341266986308107/4267863410309681654189*c_1001_5^6 + 92640224863223658893621839/670054555418620019707673*c_1001_5^5 - 184139772332046033514517045/670054555418620019707673*c_1001_5^4 + 217029610572595121351904814/670054555418620019707673*c_1001_5^3 - 71785391793977507873191163/670054555418620019707673*c_1001_5^2 + 14956801824081452681925483/670054555418620019707673*c_1001_5 - 330378721578563479728907/670054555418620019707673, c_0011_6 - 7709923495872982542560077/670054555418620019707673*c_1001_5^\ 15 - 39579821749042020319829960/670054555418620019707673*c_1001_5^1\ 4 - 371223760599043493342745966/670054555418620019707673*c_1001_5^1\ 3 - 1251393603517314882681041409/670054555418620019707673*c_1001_5^\ 12 - 2625489141519192893071459089/670054555418620019707673*c_1001_5\ ^11 - 4209898298683835282182872572/670054555418620019707673*c_1001_\ 5^10 - 4338550727617473457763418612/670054555418620019707673*c_1001\ _5^9 - 2657848304649839383486123407/670054555418620019707673*c_1001\ _5^8 - 74427816456435925561446000/35266029232558948405667*c_1001_5^\ 7 - 807084563892713399260819462/670054555418620019707673*c_1001_5^6 - 19396909918778233373156098/670054555418620019707673*c_1001_5^5 + 141355893779023155523006757/670054555418620019707673*c_1001_5^4 - 167176978384354020924636461/670054555418620019707673*c_1001_5^3 + 61108981827891171311096996/670054555418620019707673*c_1001_5^2 - 13791182999978041288873465/670054555418620019707673*c_1001_5 + 518562980456670833417460/670054555418620019707673, c_0011_8 + 3759440433272599157387305/670054555418620019707673*c_1001_5^\ 15 + 18015186191268868867605953/670054555418620019707673*c_1001_5^1\ 4 + 174223321110925607063440812/670054555418620019707673*c_1001_5^1\ 3 + 547382341817199967909144159/670054555418620019707673*c_1001_5^1\ 2 + 1062522091546049995592654132/670054555418620019707673*c_1001_5^\ 11 + 1585446102927384207587307155/670054555418620019707673*c_1001_5\ ^10 + 1354269248818506487615224034/670054555418620019707673*c_1001_\ 5^9 + 482004719149958862385526681/670054555418620019707673*c_1001_5\ ^8 + 8626710594496274205546009/35266029232558948405667*c_1001_5^7 + 123766171038675055121484367/670054555418620019707673*c_1001_5^6 - 133526383574480039412107755/670054555418620019707673*c_1001_5^5 - 75076498438908238398113707/670054555418620019707673*c_1001_5^4 + 115137164706186141947455819/670054555418620019707673*c_1001_5^3 - 49699327768727428816985549/670054555418620019707673*c_1001_5^2 + 12808875365317523779304857/670054555418620019707673*c_1001_5 - 1512877986219585116844575/670054555418620019707673, c_0011_9 + 1973156996103754578346073/670054555418620019707673*c_1001_5^\ 15 + 9864944696055222671501740/670054555418620019707673*c_1001_5^14 + 93562638825871600909252620/670054555418620019707673*c_1001_5^13 + 307090823577701462632038972/670054555418620019707673*c_1001_5^12 + 624902275391776879376498609/670054555418620019707673*c_1001_5^11 + 973501055229080600338808822/670054555418620019707673*c_1001_5^10 + 936501502049205031349085077/670054555418620019707673*c_1001_5^9 + 483651706998524638692552202/670054555418620019707673*c_1001_5^8 + 11606697021086643826820125/35266029232558948405667*c_1001_5^7 + 125711204611160159387032798/670054555418620019707673*c_1001_5^6 - 40044888575332020707523149/670054555418620019707673*c_1001_5^5 - 45444468898136840766419596/670054555418620019707673*c_1001_5^4 + 47641605053872242494314346/670054555418620019707673*c_1001_5^3 - 20345831169921925047375564/670054555418620019707673*c_1001_5^2 + 3476225578574280261087982/670054555418620019707673*c_1001_5 - 504632642645603847531388/670054555418620019707673, c_0101_11 + 9378596530565103644053160/670054555418620019707673*c_1001_5\ ^15 + 49756643627698673597246392/670054555418620019707673*c_1001_5^\ 14 + 459875443895139939242149961/670054555418620019707673*c_1001_5^\ 13 + 1600006834664002964335011368/670054555418620019707673*c_1001_5\ ^12 + 3457155849517834784432092780/670054555418620019707673*c_1001_\ 5^11 + 5677130852146944671034908066/670054555418620019707673*c_1001\ _5^10 + 6174490862769895799205304715/670054555418620019707673*c_100\ 1_5^9 + 4169311846747917230484491862/670054555418620019707673*c_100\ 1_5^8 + 774639051776545683410511/224624390016299034431*c_1001_5^7 + 1303178306312473691591541803/670054555418620019707673*c_1001_5^6 + 205099028590509252850864823/670054555418620019707673*c_1001_5^5 - 162061638912465958403121153/670054555418620019707673*c_1001_5^4 + 173884468800773197341327930/670054555418620019707673*c_1001_5^3 - 40723693374990355113024159/670054555418620019707673*c_1001_5^2 + 5038764256533926377507419/670054555418620019707673*c_1001_5 + 1182730040248206144697839/670054555418620019707673, c_0101_3 - 9260736571246332920499986/670054555418620019707673*c_1001_5^\ 15 - 45410748780676697717515704/670054555418620019707673*c_1001_5^1\ 4 - 434725128393763929639301181/670054555418620019707673*c_1001_5^1\ 3 - 1399384347743847741431721071/670054555418620019707673*c_1001_5^\ 12 - 2796867914615650558815614310/670054555418620019707673*c_1001_5\ ^11 - 4295697228212574976060927987/670054555418620019707673*c_1001_\ 5^10 - 3975944119507345850429819823/670054555418620019707673*c_1001\ _5^9 - 1881392811268703702037053204/670054555418620019707673*c_1001\ _5^8 - 45080383902132451293174907/35266029232558948405667*c_1001_5^\ 7 - 521471584111364926627663593/670054555418620019707673*c_1001_5^6 + 228986852910181019147337426/670054555418620019707673*c_1001_5^5 + 192321098478125753608217771/670054555418620019707673*c_1001_5^4 - 243210452140167805974455502/670054555418620019707673*c_1001_5^3 + 114642435192285254729337691/670054555418620019707673*c_1001_5^2 - 27819629978261072557829254/670054555418620019707673*c_1001_5 + 2931291699566134961660968/670054555418620019707673, c_0110_10 - 15964227508166981915090427/670054555418620019707673*c_1001_\ 5^15 - 81718005123250505888811528/670054555418620019707673*c_1001_5\ ^14 - 767262198650531096424190502/670054555418620019707673*c_1001_5\ ^13 - 2578824636707060641337115962/670054555418620019707673*c_1001_\ 5^12 - 5389141618424331055426471185/670054555418620019707673*c_1001\ _5^11 - 8606644551732208604783150740/670054555418620019707673*c_100\ 1_5^10 - 8790914160067663121387705589/670054555418620019707673*c_10\ 01_5^9 - 5267663314175456584306473876/670054555418620019707673*c_10\ 01_5^8 - 144183687685568637589273922/35266029232558948405667*c_1001\ _5^7 - 1559841233774083285552432197/670054555418620019707673*c_1001\ _5^6 + 20033218230591807811935123/670054555418620019707673*c_1001_5\ ^5 + 310540359137754457920434969/670054555418620019707673*c_1001_5^\ 4 - 349964223520278076072504385/670054555418620019707673*c_1001_5^3 + 128606292577369340158192965/670054555418620019707673*c_1001_5^2 - 27189790726492409377410662/670054555418620019707673*c_1001_5 + 1741016717348487350054405/670054555418620019707673, c_1001_0 - 5732597429376353735733378/670054555418620019707673*c_1001_5^\ 15 - 27880130887324091539107693/670054555418620019707673*c_1001_5^1\ 4 - 267785959936797207972693432/670054555418620019707673*c_1001_5^1\ 3 - 854473165394901430541183131/670054555418620019707673*c_1001_5^1\ 2 - 1687424366937826874969152741/670054555418620019707673*c_1001_5^\ 11 - 2558947158156464807926115977/670054555418620019707673*c_1001_5\ ^10 - 2290770750867711518964309111/670054555418620019707673*c_1001_\ 5^9 - 965656426148483501078078883/670054555418620019707673*c_1001_5\ ^8 - 20233407615582918032366134/35266029232558948405667*c_1001_5^7 - 249477375649835214508517165/670054555418620019707673*c_1001_5^6 + 173571272149812060119630904/670054555418620019707673*c_1001_5^5 + 120520967337045079164533303/670054555418620019707673*c_1001_5^4 - 162778769760058384441770165/670054555418620019707673*c_1001_5^3 + 70045158938649353864361113/670054555418620019707673*c_1001_5^2 - 16285100943891804040392839/670054555418620019707673*c_1001_5 + 1347456073446568944668290/670054555418620019707673, c_1001_3 - 17327180084490700413399631/670054555418620019707673*c_1001_5\ ^15 - 87454823661214166753909188/670054555418620019707673*c_1001_5^\ 14 - 826236933941389475370849518/670054555418620019707673*c_1001_5^\ 13 - 2738379533415537192500856750/670054555418620019707673*c_1001_5\ ^12 - 5639672220051429170618467061/670054555418620019707673*c_1001_\ 5^11 - 8889128788953892685268930004/670054555418620019707673*c_1001\ _5^10 - 8796429875491216613530204601/670054555418620019707673*c_100\ 1_5^9 - 4903723574005040252247598156/670054555418620019707673*c_100\ 1_5^8 - 126869818787742831515922250/35266029232558948405667*c_1001_\ 5^7 - 1362046024123061297149669013/670054555418620019707673*c_1001_\ 5^6 + 212324557288102145573615852/670054555418620019707673*c_1001_5\ ^5 + 371170158417812674734832637/670054555418620019707673*c_1001_5^\ 4 - 396260529227352979742863043/670054555418620019707673*c_1001_5^3 + 163601027751936964891067897/670054555418620019707673*c_1001_5^2 - 37366283301394811007858421/670054555418620019707673*c_1001_5 + 3525938909425087709457621/670054555418620019707673, c_1001_5^16 + 62/13*c_1001_5^15 + 602/13*c_1001_5^14 + 1884/13*c_1001_5^13 + 3677/13*c_1001_5^12 + 5552/13*c_1001_5^11 + 4874/13*c_1001_5^10 + 2056/13*c_1001_5^9 + 1017/13*c_1001_5^8 + 52*c_1001_5^7 - 359/13*c_1001_5^6 - 190/13*c_1001_5^5 + 380/13*c_1001_5^4 - 212/13*c_1001_5^3 + 68/13*c_1001_5^2 - 12/13*c_1001_5 + 1/13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 6.030 Total time: 6.240 seconds, Total memory usage: 86.00MB