Magma V2.19-8 Tue Aug 20 2013 23:59:57 on localhost [Seed = 2277633746] Type ? for help. Type -D to quit. Loading file "K13n1467__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1467 geometric_solution 11.62189641 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 -1 0 1 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -2 0 1 1 -2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.571038383853 0.676646651754 0 5 6 6 0132 0132 0213 0132 0 0 0 0 0 0 0 0 1 0 0 -1 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 2 0 0 -2 0 -2 0 2 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.413073342098 0.620328427486 7 0 4 8 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.323242969878 1.182470698396 9 10 11 0 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 0 1 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.533595382192 0.382478863406 11 6 0 2 0213 0321 0132 0132 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 1 -1 0 0 0 -1 1 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.008333816759 0.862181506619 12 1 8 10 0132 0132 2103 1230 0 0 0 0 0 0 0 0 0 0 0 0 -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 -1 1 0 0 0 0 0 -1 0 0 1 -1 2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.143586532763 0.717369102934 9 1 1 4 2103 0213 0132 0321 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 2 -2 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.804791576595 0.850591954620 2 12 10 11 0132 0132 2031 2031 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 -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.008333816759 0.862181506619 5 10 2 12 2103 0213 0132 1023 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 -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.738971973432 0.460949071276 3 12 6 11 0132 0213 2103 1302 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 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.097444589415 1.030932086909 5 3 8 7 3012 0132 0213 1302 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 1 0 -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.183953554858 0.866776518890 4 7 9 3 0213 1302 2031 0132 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.309378570682 0.589128808428 5 7 9 8 0132 0132 0213 1023 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 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.993288587460 0.919845806836 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_2'], 'c_1001_10' : d['c_1001_0'], 'c_1001_12' : d['c_0011_11'], 'c_1001_5' : d['c_0011_8'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0110_10']), 'c_1001_6' : d['c_0011_8'], 'c_1001_1' : d['c_0011_8'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_11'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : negation(d['c_0110_10']), 'c_1010_11' : d['c_1001_3'], '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'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_4'], 'c_0101_10' : d['c_0011_8'], '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' : negation(d['c_0011_0']), 'c_1100_5' : d['c_0110_10'], 'c_1100_4' : negation(d['c_1010_9']), 'c_1100_7' : negation(d['c_1001_3']), 'c_1100_6' : d['c_1001_2'], 'c_1100_1' : d['c_1001_2'], 'c_1100_0' : negation(d['c_1010_9']), 'c_1100_3' : negation(d['c_1010_9']), 'c_1100_2' : negation(d['c_1010_9']), 's_0_10' : d['1'], 'c_1100_9' : d['c_0011_4'], 'c_1100_11' : negation(d['c_1010_9']), 'c_1100_10' : d['c_0101_5'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_11'], 'c_1010_6' : d['c_1001_2'], 'c_1010_5' : d['c_0011_8'], 'c_1010_4' : d['c_1001_2'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_8'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1010_9'], 'c_1010_8' : d['c_0101_5'], 'c_1100_8' : negation(d['c_1010_9']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_1010_9'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_11'], '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' : negation(d['c_0101_2']), 'c_0110_10' : d['c_0110_10'], 'c_0110_12' : d['c_0101_5'], 'c_0101_12' : d['c_0011_10'], 'c_0101_7' : d['c_0101_5'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_11'], 'c_0101_3' : negation(d['c_0101_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_11'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_5'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_2']), 'c_0110_8' : negation(d['c_0110_10']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0011_10'], 'c_0110_4' : d['c_0101_2'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0011_4'])})} 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_4, c_0011_8, c_0101_0, c_0101_2, c_0101_5, c_0110_10, c_1001_0, c_1001_2, c_1001_3, c_1010_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 1254694224802508292512143985682/121187750892515680287504766145*c_10\ 10_9^14 - 5088593883195303920706449078332/1211877508925156802875047\ 66145*c_1010_9^13 - 14038586445879089186154841897024/36356325267754\ 7040862514298435*c_1010_9^12 + 17630032864872823026529968930203/363\ 563252677547040862514298435*c_1010_9^11 + 15216884088639803736125807435098/363563252677547040862514298435*c_1\ 010_9^10 - 5713448247810603059419433859284/727126505355094081725028\ 59687*c_1010_9^9 + 44300177632754021177762370293948/363563252677547\ 040862514298435*c_1010_9^8 - 50107860263312885656125689371316/36356\ 3252677547040862514298435*c_1010_9^7 - 2801860106806238248416119816267/363563252677547040862514298435*c_10\ 10_9^6 + 19085439684825083291029166221909/3635632526775470408625142\ 98435*c_1010_9^5 - 16466252178486784322563919452494/121187750892515\ 680287504766145*c_1010_9^4 + 11525957079327704843132702327976/12118\ 7750892515680287504766145*c_1010_9^3 + 17423539191528625786337665579787/363563252677547040862514298435*c_1\ 010_9^2 - 7445431052281151825272187685583/7271265053550940817250285\ 9687*c_1010_9 + 7303722415376284632458370902867/3635632526775470408\ 62514298435, c_0011_0 - 1, c_0011_10 + 1051785566309460956076/1933343339649225125371*c_1010_9^14 + 4552200320554651057836/1933343339649225125371*c_1010_9^13 + 5319211004466022974050/1933343339649225125371*c_1010_9^12 - 2790563290167251383164/1933343339649225125371*c_1010_9^11 - 4106264815101217873970/1933343339649225125371*c_1010_9^10 + 6769347282789510083665/1933343339649225125371*c_1010_9^9 - 11026839811651039212562/1933343339649225125371*c_1010_9^8 + 11367185256312322248998/1933343339649225125371*c_1010_9^7 + 1813878738810984466730/1933343339649225125371*c_1010_9^6 - 2735930250850187585160/1933343339649225125371*c_1010_9^5 + 12707104106702793345205/1933343339649225125371*c_1010_9^4 - 4895033973966425671160/1933343339649225125371*c_1010_9^3 - 4567599894790332787379/1933343339649225125371*c_1010_9^2 + 7365520961648397672906/1933343339649225125371*c_1010_9 - 407629934905736283556/1933343339649225125371, c_0011_11 - 384908300005399882137/1933343339649225125371*c_1010_9^14 - 1554205166346929781858/1933343339649225125371*c_1010_9^13 - 1397678867922103641545/1933343339649225125371*c_1010_9^12 + 1639255172671742919635/1933343339649225125371*c_1010_9^11 + 421427379299639802909/1933343339649225125371*c_1010_9^10 - 4894633437744550711992/1933343339649225125371*c_1010_9^9 + 4005994747458901077984/1933343339649225125371*c_1010_9^8 - 4175924494171372883356/1933343339649225125371*c_1010_9^7 - 746361710969085533058/1933343339649225125371*c_1010_9^6 + 3857137398472515948781/1933343339649225125371*c_1010_9^5 - 6521067853054548885529/1933343339649225125371*c_1010_9^4 + 3787411376987979921106/1933343339649225125371*c_1010_9^3 + 1412469901180046982159/1933343339649225125371*c_1010_9^2 - 5138156155792907470249/1933343339649225125371*c_1010_9 + 96776333657746484006/1933343339649225125371, c_0011_4 + 1189144569668850785205/1933343339649225125371*c_1010_9^14 + 5356864791538384155006/1933343339649225125371*c_1010_9^13 + 7047967500148826702326/1933343339649225125371*c_1010_9^12 - 1806892861717186642570/1933343339649225125371*c_1010_9^11 - 5776438559008588083910/1933343339649225125371*c_1010_9^10 + 4673961485509047500510/1933343339649225125371*c_1010_9^9 - 11662839030449459726188/1933343339649225125371*c_1010_9^8 + 12937764499674220250642/1933343339649225125371*c_1010_9^7 + 2692185741902459514526/1933343339649225125371*c_1010_9^6 + 563896446615192590432/1933343339649225125371*c_1010_9^5 + 11559901970992942950683/1933343339649225125371*c_1010_9^4 - 3667634422478965231144/1933343339649225125371*c_1010_9^3 - 6511495669548418478148/1933343339649225125371*c_1010_9^2 + 5930857878811002265645/1933343339649225125371*c_1010_9 - 671984708319195635071/1933343339649225125371, c_0011_8 - 360855780688831994280/1933343339649225125371*c_1010_9^14 - 1571920512406114313235/1933343339649225125371*c_1010_9^13 - 1656567675193614870910/1933343339649225125371*c_1010_9^12 + 1870573550347900109476/1933343339649225125371*c_1010_9^11 + 2742168183112018804824/1933343339649225125371*c_1010_9^10 - 2610958745836785313679/1933343339649225125371*c_1010_9^9 + 2217347659567798463744/1933343339649225125371*c_1010_9^8 - 3861570327662829988816/1933343339649225125371*c_1010_9^7 - 3113623178397776119335/1933343339649225125371*c_1010_9^6 + 3051756639465890518304/1933343339649225125371*c_1010_9^5 - 5261979905855411838553/1933343339649225125371*c_1010_9^4 + 2281247165863130658146/1933343339649225125371*c_1010_9^3 + 3795712803486543587341/1933343339649225125371*c_1010_9^2 - 3821902638001689644995/1933343339649225125371*c_1010_9 - 551151509849836163142/1933343339649225125371, c_0101_0 + 211429098674868565962/1933343339649225125371*c_1010_9^14 + 1400266236914330004837/1933343339649225125371*c_1010_9^13 + 3294476656627140418920/1933343339649225125371*c_1010_9^12 + 2475304986460102446327/1933343339649225125371*c_1010_9^11 - 1315826463103094207928/1933343339649225125371*c_1010_9^10 - 699779206276999814939/1933343339649225125371*c_1010_9^9 + 327011023211029945084/1933343339649225125371*c_1010_9^8 - 2041037955751285749898/1933343339649225125371*c_1010_9^7 + 4296322669187878022378/1933343339649225125371*c_1010_9^6 + 688908431208613077481/1933343339649225125371*c_1010_9^5 + 2852470005207847519305/1933343339649225125371*c_1010_9^4 + 5528004968789376300897/1933343339649225125371*c_1010_9^3 - 2445621738806403373380/1933343339649225125371*c_1010_9^2 - 85118747026419223335/1933343339649225125371*c_1010_9 + 849505166536892640313/1933343339649225125371, c_0101_2 - 850982913242903146887/1933343339649225125371*c_1010_9^14 - 3778244573908611880524/1933343339649225125371*c_1010_9^13 - 4685279694315998584690/1933343339649225125371*c_1010_9^12 + 1772759990175761602400/1933343339649225125371*c_1010_9^11 + 3162837476944463148674/1933343339649225125371*c_1010_9^10 - 5812745220193944288692/1933343339649225125371*c_1010_9^9 + 8457025416245295323968/1933343339649225125371*c_1010_9^8 - 8055568426876030874652/1933343339649225125371*c_1010_9^7 - 4447305059804495364521/1933343339649225125371*c_1010_9^6 + 3588026566437168206557/1933343339649225125371*c_1010_9^5 - 11131301586604850211631/1933343339649225125371*c_1010_9^4 + 4329519862813249726649/1933343339649225125371*c_1010_9^3 + 6081974305995381261362/1933343339649225125371*c_1010_9^2 - 7857149899683758201969/1933343339649225125371*c_1010_9 + 430442284563625615821/1933343339649225125371, c_0101_5 + 184490373163062513708/1933343339649225125371*c_1010_9^14 + 1020767874844439599014/1933343339649225125371*c_1010_9^13 + 1860815441096278505554/1933343339649225125371*c_1010_9^12 + 404973793043025223266/1933343339649225125371*c_1010_9^11 - 1817536843044799348549/1933343339649225125371*c_1010_9^10 + 17754434015512698198/1933343339649225125371*c_1010_9^9 - 374729652423202994930/1933343339649225125371*c_1010_9^8 - 836950934406533943347/1933343339649225125371*c_1010_9^7 + 2385857106744037644121/1933343339649225125371*c_1010_9^6 + 1045983516943773139603/1933343339649225125371*c_1010_9^5 + 401506034051263783057/1933343339649225125371*c_1010_9^4 + 1997472202711871075809/1933343339649225125371*c_1010_9^3 - 2256865484192396182605/1933343339649225125371*c_1010_9^2 - 689760914156630396868/1933343339649225125371*c_1010_9 + 1707666952310573698388/1933343339649225125371, c_0110_10 + 184490373163062513708/1933343339649225125371*c_1010_9^14 + 1020767874844439599014/1933343339649225125371*c_1010_9^13 + 1860815441096278505554/1933343339649225125371*c_1010_9^12 + 404973793043025223266/1933343339649225125371*c_1010_9^11 - 1817536843044799348549/1933343339649225125371*c_1010_9^10 + 17754434015512698198/1933343339649225125371*c_1010_9^9 - 374729652423202994930/1933343339649225125371*c_1010_9^8 - 836950934406533943347/1933343339649225125371*c_1010_9^7 + 2385857106744037644121/1933343339649225125371*c_1010_9^6 + 1045983516943773139603/1933343339649225125371*c_1010_9^5 + 401506034051263783057/1933343339649225125371*c_1010_9^4 + 1997472202711871075809/1933343339649225125371*c_1010_9^3 - 2256865484192396182605/1933343339649225125371*c_1010_9^2 - 689760914156630396868/1933343339649225125371*c_1010_9 + 1707666952310573698388/1933343339649225125371, c_1001_0 - 330993522064501431372/1933343339649225125371*c_1010_9^14 - 1768671574388982528075/1933343339649225125371*c_1010_9^13 - 3345062156236725673020/1933343339649225125371*c_1010_9^12 - 1918200103002276863113/1933343339649225125371*c_1010_9^11 + 348399366224539463769/1933343339649225125371*c_1010_9^10 - 1278169871682381688503/1933343339649225125371*c_1010_9^9 + 2281818870156614054288/1933343339649225125371*c_1010_9^8 - 870525204951674013790/1933343339649225125371*c_1010_9^7 - 3522054347802311382644/1933343339649225125371*c_1010_9^6 - 2028900148004417666212/1933343339649225125371*c_1010_9^5 - 4915808038977534215711/1933343339649225125371*c_1010_9^4 - 1424632533187140428277/1933343339649225125371*c_1010_9^3 + 187371093580010041582/1933343339649225125371*c_1010_9^2 - 171968232796743569411/1933343339649225125371*c_1010_9 - 1534554869882183812963/1933343339649225125371, c_1001_2 + 346402499181726030795/1933343339649225125371*c_1010_9^14 + 1420496634447324318342/1933343339649225125371*c_1010_9^13 + 1471129071581285998597/1933343339649225125371*c_1010_9^12 - 1064913661665334998847/1933343339649225125371*c_1010_9^11 - 784776897253523559429/1933343339649225125371*c_1010_9^10 + 2769889088769498763551/1933343339649225125371*c_1010_9^9 - 3573781469143793709797/1933343339649225125371*c_1010_9^8 + 5476844424056268741839/1933343339649225125371*c_1010_9^7 - 1064780572428758202734/1933343339649225125371*c_1010_9^6 - 798962103789758065182/1933343339649225125371*c_1010_9^5 + 2674136946894649130589/1933343339649225125371*c_1010_9^4 - 1864206743172224007115/1933343339649225125371*c_1010_9^3 - 493391301624524169926/1933343339649225125371*c_1010_9^2 + 4456420423389437041165/1933343339649225125371*c_1010_9 - 187674672773552350406/1933343339649225125371, c_1001_3 - 1546413539430727209501/1933343339649225125371*c_1010_9^14 - 6844886666344835847528/1933343339649225125371*c_1010_9^13 - 8439905518471408035923/1933343339649225125371*c_1010_9^12 + 3488730532105812787290/1933343339649225125371*c_1010_9^11 + 6551807016295652606765/1933343339649225125371*c_1010_9^10 - 9946888157098176310697/1933343339649225125371*c_1010_9^9 + 13677920566573063165289/1933343339649225125371*c_1010_9^8 - 16291239706655628239805/1933343339649225125371*c_1010_9^7 - 3995535770184718821560/1933343339649225125371*c_1010_9^6 + 4927659085555750831577/1933343339649225125371*c_1010_9^5 - 20462591600367762768467/1933343339649225125371*c_1010_9^4 + 9253811795386116017756/1933343339649225125371*c_1010_9^3 + 8223348404738291966962/1933343339649225125371*c_1010_9^2 - 12000319556725085592767/1933343339649225125371*c_1010_9 + 173774567948562800326/1933343339649225125371, c_1010_9^15 + 13/3*c_1010_9^14 + 46/9*c_1010_9^13 - 22/9*c_1010_9^12 - 32/9*c_1010_9^11 + 20/3*c_1010_9^10 - 92/9*c_1010_9^9 + 104/9*c_1010_9^8 + 2*c_1010_9^7 - 26/9*c_1010_9^6 + 118/9*c_1010_9^5 - 19/3*c_1010_9^4 - 38/9*c_1010_9^3 + 25/3*c_1010_9^2 - 8/9*c_1010_9 + 5/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4.050 Total time: 4.259 seconds, Total memory usage: 64.12MB