Magma V2.19-8 Tue Aug 20 2013 23:54:33 on localhost [Seed = 2716322320] Type ? for help. Type -D to quit. Loading file "K12n552__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n552 geometric_solution 11.63072840 oriented_manifold CS_known -0.0000000000000008 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 3 0132 0132 0132 0321 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 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.520742928326 0.629380372649 0 4 6 5 0132 0132 0132 0132 0 0 0 0 0 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 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.693773423217 0.410171576305 7 0 7 8 0132 0132 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 -1 1 0 -1 0 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.103123664456 0.650241323399 4 0 6 0 2310 0321 0321 0132 0 0 0 0 0 0 0 0 0 0 1 -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 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.219618601276 0.943184647973 9 1 3 10 0132 0132 3201 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 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.421492957055 0.818069648180 11 10 1 6 0132 0132 0132 0321 0 0 0 0 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.634566832360 0.438170779721 10 5 3 1 3012 0321 0321 0132 0 0 0 0 0 -1 0 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 -1 1 0 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.325556048167 1.460807606825 2 12 8 2 0132 0132 3012 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 0 -1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.613571920089 0.428034071682 9 7 2 12 2310 1230 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 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.703649178246 1.144856536004 4 12 8 11 0132 1023 3201 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.798198276633 1.275342535023 11 5 4 6 2310 0132 0132 1230 0 0 0 0 0 1 0 -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 1 0 -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.332993064150 0.439855118293 5 12 10 9 0132 0321 3201 0213 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 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.101701892442 1.600478789797 9 7 8 11 1023 0132 1230 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0.641521894191 1.378043112100 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_10']), 'c_1001_10' : d['c_1001_1'], 'c_1001_12' : negation(d['c_0101_2']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_7' : negation(d['c_0011_8']), 'c_1001_6' : d['c_1001_3'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_1001_0'], 'c_1001_9' : d['c_0101_12'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : negation(d['c_0011_8']), 'c_1010_11' : negation(d['c_0011_8']), 'c_1010_10' : negation(d['c_0101_3']), 's_0_10' : 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' : negation(d['c_0011_6']), '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' : 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_1100_9' : negation(d['c_0011_8']), 'c_1100_8' : d['c_0101_2'], 'c_0011_12' : negation(d['c_0011_0']), 'c_1100_5' : d['c_1001_3'], 'c_1100_4' : negation(d['c_0011_3']), 'c_1100_7' : negation(d['c_1001_0']), 'c_1100_6' : d['c_1001_3'], 'c_1100_1' : d['c_1001_3'], 'c_1100_0' : d['c_1001_3'], 'c_1100_3' : d['c_1001_3'], 'c_1100_2' : d['c_0101_2'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : negation(d['c_0011_3']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0101_2']), 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_3']), 'c_1010_0' : d['c_1001_0'], 'c_1010_9' : negation(d['c_0011_10']), 'c_1010_8' : negation(d['c_0101_12']), '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_0101_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' : negation(d['c_0011_0']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_0'], 'c_0110_10' : d['c_0011_6'], 'c_0110_12' : negation(d['c_0011_10']), 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : d['c_0011_10'], 'c_0101_7' : negation(d['c_0101_12']), 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0101_0']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : negation(d['c_0101_12']), 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_0']), 'c_0110_8' : negation(d['c_0101_10']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_12']), 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0011_3'])})} 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_3, c_0011_6, c_0011_8, c_0101_0, c_0101_10, c_0101_12, c_0101_2, c_0101_3, c_1001_0, c_1001_1, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 44163680125892023553960312636093250569060228/3181360939156558924055\ 474719315124252803505*c_1001_3^16 - 44367298818266312291540251541751410752841536/3181360939156558924055\ 474719315124252803505*c_1001_3^15 + 6830003046429445596628502310355184421386289/16744004942929257495028\ 8143121848644884395*c_1001_3^14 - 179920661604316167494641689990803\ 626177635481/3181360939156558924055474719315124252803505*c_1001_3^1\ 3 - 120746227649632977535426507188304258501458813/31813609391565589\ 24055474719315124252803505*c_1001_3^12 + 102942883304295170576200194888388104760595891/636272187831311784811\ 094943863024850560701*c_1001_3^11 - 102325253143740973802934685518825817257175564/636272187831311784811\ 094943863024850560701*c_1001_3^10 - 320594524693007271890805858633672127560647103/318136093915655892405\ 5474719315124252803505*c_1001_3^9 + 1070732180639864324808089876949105647774021283/31813609391565589240\ 55474719315124252803505*c_1001_3^8 - 1346777504794231280196957991316166110224259371/31813609391565589240\ 55474719315124252803505*c_1001_3^7 + 1928556107074689261780131173091688606620842741/31813609391565589240\ 55474719315124252803505*c_1001_3^6 - 3766524245234886110694822999438773445422582887/31813609391565589240\ 55474719315124252803505*c_1001_3^5 + 2283533216497807577630633764016163175534928226/31813609391565589240\ 55474719315124252803505*c_1001_3^4 - 734504334899349665607717498910258771118175026/318136093915655892405\ 5474719315124252803505*c_1001_3^3 - 51930474038367417904578950795666024333425852/6362721878313117848110\ 94943863024850560701*c_1001_3^2 + 341393684134330222184474229674957\ 28513709540/636272187831311784811094943863024850560701*c_1001_3 - 54319431944675855476743193651448410241120928/3181360939156558924055\ 474719315124252803505, c_0011_0 - 1, c_0011_10 + 25899425387363528/90750926360672801*c_1001_3^16 - 54561590970785696/90750926360672801*c_1001_3^15 + 5659847682370046/90750926360672801*c_1001_3^14 + 100973776237639922/90750926360672801*c_1001_3^13 - 178965327986475201/90750926360672801*c_1001_3^12 - 380362461083531/90750926360672801*c_1001_3^11 + 416381759662148606/90750926360672801*c_1001_3^10 - 753684061176791482/90750926360672801*c_1001_3^9 + 826174785446930091/90750926360672801*c_1001_3^8 - 999872131931259212/90750926360672801*c_1001_3^7 + 1189335459971303671/90750926360672801*c_1001_3^6 - 527744805194290144/90750926360672801*c_1001_3^5 - 437589215187271448/90750926360672801*c_1001_3^4 + 214307653376128402/90750926360672801*c_1001_3^3 - 273114014265267325/90750926360672801*c_1001_3^2 + 6915189746222549/90750926360672801*c_1001_3 + 62505106822753331/90750926360672801, c_0011_3 - 355696198194137936/90750926360672801*c_1001_3^16 + 205694268095448944/90750926360672801*c_1001_3^15 + 46069616862534296/90750926360672801*c_1001_3^14 - 1069735995071221320/90750926360672801*c_1001_3^13 + 878879526529099747/90750926360672801*c_1001_3^12 + 776797026675891659/90750926360672801*c_1001_3^11 - 3684657357206898949/90750926360672801*c_1001_3^10 + 4925542865031339060/90750926360672801*c_1001_3^9 - 6170689109076879870/90750926360672801*c_1001_3^8 + 8077341497716106386/90750926360672801*c_1001_3^7 - 8743922552274443636/90750926360672801*c_1001_3^6 - 72751767459911040/90750926360672801*c_1001_3^5 - 262577359979635937/90750926360672801*c_1001_3^4 - 3220366387934736337/90750926360672801*c_1001_3^3 + 769506889079916397/90750926360672801*c_1001_3^2 - 540276774977618238/90750926360672801*c_1001_3 - 6201582142849967/90750926360672801, c_0011_6 - 339533661166941140/90750926360672801*c_1001_3^16 + 141608131684418464/90750926360672801*c_1001_3^15 + 71558451732065499/90750926360672801*c_1001_3^14 - 998621361506734541/90750926360672801*c_1001_3^13 + 673240781401224266/90750926360672801*c_1001_3^12 + 852375032031286364/90750926360672801*c_1001_3^11 - 3352820565649161083/90750926360672801*c_1001_3^10 + 4138230076878220534/90750926360672801*c_1001_3^9 - 5232589835011078601/90750926360672801*c_1001_3^8 + 6919406044201785125/90750926360672801*c_1001_3^7 - 7258712535375844516/90750926360672801*c_1001_3^6 - 1231730322488573348/90750926360672801*c_1001_3^5 - 570326661413163296/90750926360672801*c_1001_3^4 - 2899926622914860405/90750926360672801*c_1001_3^3 + 468765199798666040/90750926360672801*c_1001_3^2 - 457844175619394964/90750926360672801*c_1001_3 - 7166392756152843/90750926360672801, c_0011_8 + 434072561012915344/90750926360672801*c_1001_3^16 - 488470527452263000/90750926360672801*c_1001_3^15 + 90331163849506240/90750926360672801*c_1001_3^14 + 1332767763858319730/90750926360672801*c_1001_3^13 - 1789011875011296335/90750926360672801*c_1001_3^12 - 336578754801875548/90750926360672801*c_1001_3^11 + 5003095213857321237/90750926360672801*c_1001_3^10 - 8506443776219952874/90750926360672801*c_1001_3^9 + 10892617824491938056/90750926360672801*c_1001_3^8 - 14075876287232573872/90750926360672801*c_1001_3^7 + 16187817451487392238/90750926360672801*c_1001_3^6 - 5952069575064283732/90750926360672801*c_1001_3^5 + 555591561851391283/90750926360672801*c_1001_3^4 + 3632662355203212673/90750926360672801*c_1001_3^3 - 2977906629432824844/90750926360672801*c_1001_3^2 + 1166013240869303690/90750926360672801*c_1001_3 - 392250591617958761/90750926360672801, c_0101_0 + 268341530639327816/90750926360672801*c_1001_3^16 - 167698572065464620/90750926360672801*c_1001_3^15 - 22652244562205362/90750926360672801*c_1001_3^14 + 798887219902378587/90750926360672801*c_1001_3^13 - 698363087271311120/90750926360672801*c_1001_3^12 - 534806892948279410/90750926360672801*c_1001_3^11 + 2770868034229525435/90750926360672801*c_1001_3^10 - 3843038969178123191/90750926360672801*c_1001_3^9 + 4911863921227993200/90750926360672801*c_1001_3^8 - 6458158733375400080/90750926360672801*c_1001_3^7 + 7046293040482311748/90750926360672801*c_1001_3^6 - 415366329186877511/90750926360672801*c_1001_3^5 + 398249474041856957/90750926360672801*c_1001_3^4 + 2353796509909493261/90750926360672801*c_1001_3^3 - 830290085015525416/90750926360672801*c_1001_3^2 + 536661218568363011/90750926360672801*c_1001_3 - 52672139598589304/90750926360672801, c_0101_10 + 918359121866746972/90750926360672801*c_1001_3^16 - 933154530364292116/90750926360672801*c_1001_3^15 + 72430219722806391/90750926360672801*c_1001_3^14 + 2831946311241105258/90750926360672801*c_1001_3^13 - 3455390870450184827/90750926360672801*c_1001_3^12 - 1150196047295510072/90750926360672801*c_1001_3^11 + 10479089149159796522/90750926360672801*c_1001_3^10 - 16724511103952877193/90750926360672801*c_1001_3^9 + 21032876039856426094/90750926360672801*c_1001_3^8 - 27347428919608359643/90750926360672801*c_1001_3^7 + 31293534090881717881/90750926360672801*c_1001_3^6 - 9134097755904301602/90750926360672801*c_1001_3^5 + 46529665256257088/90750926360672801*c_1001_3^4 + 7516454507958777204/90750926360672801*c_1001_3^3 - 5343339484664300347/90750926360672801*c_1001_3^2 + 1992978451478376722/90750926360672801*c_1001_3 - 536624011371864410/90750926360672801, c_0101_12 - 333494624810721760/90750926360672801*c_1001_3^16 + 335233164042001588/90750926360672801*c_1001_3^15 - 29680715641167024/90750926360672801*c_1001_3^14 - 1022648555052990151/90750926360672801*c_1001_3^13 + 1244017302984397887/90750926360672801*c_1001_3^12 + 410774370228457293/90750926360672801*c_1001_3^11 - 3776895907358049927/90750926360672801*c_1001_3^10 + 6046093214790460327/90750926360672801*c_1001_3^9 - 7643459351518395386/90750926360672801*c_1001_3^8 + 9967668958120278092/90750926360672801*c_1001_3^7 - 11404907437721062209/90750926360672801*c_1001_3^6 + 3397012791883098363/90750926360672801*c_1001_3^5 - 172966321823918160/90750926360672801*c_1001_3^4 - 2684508154667088340/90750926360672801*c_1001_3^3 + 1911227027197050429/90750926360672801*c_1001_3^2 - 746775004012844762/90750926360672801*c_1001_3 + 279660725560125441/90750926360672801, c_0101_2 - 50649348448607436/90750926360672801*c_1001_3^16 + 182714325595059796/90750926360672801*c_1001_3^15 - 86803563612760547/90750926360672801*c_1001_3^14 - 197964862667637258/90750926360672801*c_1001_3^13 + 604173971588774019/90750926360672801*c_1001_3^12 - 273619112323913605/90750926360672801*c_1001_3^11 - 939108241587426258/90750926360672801*c_1001_3^10 + 2369349773975663075/90750926360672801*c_1001_3^9 - 2971796000303800893/90750926360672801*c_1001_3^8 + 3557902445237246615/90750926360672801*c_1001_3^7 - 4425783549797070258/90750926360672801*c_1001_3^6 + 3437878337184056409/90750926360672801*c_1001_3^5 + 448231098318913119/90750926360672801*c_1001_3^4 - 987637410784523901/90750926360672801*c_1001_3^3 + 1421689692783013041/90750926360672801*c_1001_3^2 - 381056138967967579/90750926360672801*c_1001_3 + 53003560556718772/90750926360672801, c_0101_3 + 17071711872338768/90750926360672801*c_1001_3^16 - 25820440900321880/90750926360672801*c_1001_3^15 + 20340769862801396/90750926360672801*c_1001_3^14 + 52412729563943662/90750926360672801*c_1001_3^13 - 103159299937251662/90750926360672801*c_1001_3^12 + 39358807372344232/90750926360672801*c_1001_3^11 + 204795330531753686/90750926360672801*c_1001_3^10 - 466842671779091944/90750926360672801*c_1001_3^9 + 642853715950017820/90750926360672801*c_1001_3^8 - 736809416475107080/90750926360672801*c_1001_3^7 + 866466917626508452/90750926360672801*c_1001_3^6 - 538924108243026735/90750926360672801*c_1001_3^5 + 159660290722104574/90750926360672801*c_1001_3^4 + 349009367747533628/90750926360672801*c_1001_3^3 - 178670364088991357/90750926360672801*c_1001_3^2 + 112005665159210630/90750926360672801*c_1001_3 - 27824491714083341/90750926360672801, c_1001_0 - 156719722728467444/90750926360672801*c_1001_3^16 + 224450831151271964/90750926360672801*c_1001_3^15 - 60049788741135089/90750926360672801*c_1001_3^14 - 498409768031842014/90750926360672801*c_1001_3^13 + 796921165379069748/90750926360672801*c_1001_3^12 + 10571594081961231/90750926360672801*c_1001_3^11 - 1943806758569741860/90750926360672801*c_1001_3^10 + 3586491629617896440/90750926360672801*c_1001_3^9 - 4562021030337578684/90750926360672801*c_1001_3^8 + 5794216143041647483/90750926360672801*c_1001_3^7 - 6817784015781911719/90750926360672801*c_1001_3^6 + 3176564515946773991/90750926360672801*c_1001_3^5 + 51505528646085408/90750926360672801*c_1001_3^4 - 1571124953035217066/90750926360672801*c_1001_3^3 + 1491929507144560133/90750926360672801*c_1001_3^2 - 514080943757210959/90750926360672801*c_1001_3 + 172994167475459735/90750926360672801, c_1001_1 + 57076100140334352/90750926360672801*c_1001_3^16 - 16381230297060948/90750926360672801*c_1001_3^15 - 36392022675806004/90750926360672801*c_1001_3^14 + 162905187341683535/90750926360672801*c_1001_3^13 - 75564296785866447/90750926360672801*c_1001_3^12 - 214145836280178832/90750926360672801*c_1001_3^11 + 544819663998678895/90750926360672801*c_1001_3^10 - 530674346615251050/90750926360672801*c_1001_3^9 + 620092294634988740/90750926360672801*c_1001_3^8 - 954830232307437062/90750926360672801*c_1001_3^7 + 914620767797735703/90750926360672801*c_1001_3^6 + 611498914264409498/90750926360672801*c_1001_3^5 - 100287021528058781/90750926360672801*c_1001_3^4 + 142041864923745254/90750926360672801*c_1001_3^3 - 42121128531601668/90750926360672801*c_1001_3^2 - 34658627812243048/90750926360672801*c_1001_3 + 34313284365997101/90750926360672801, c_1001_3^17 - c_1001_3^16 + 1/4*c_1001_3^15 + 3*c_1001_3^14 - 15/4*c_1001_3^13 - 3/4*c_1001_3^12 + 11*c_1001_3^11 - 37/2*c_1001_3^10 + 49/2*c_1001_3^9 - 127/4*c_1001_3^8 + 73/2*c_1001_3^7 - 53/4*c_1001_3^6 + 4*c_1001_3^5 + 35/4*c_1001_3^4 - 11/2*c_1001_3^3 + 15/4*c_1001_3^2 - 3/4*c_1001_3 + 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 15.250 Total time: 15.460 seconds, Total memory usage: 90.12MB