Magma V2.19-8 Tue Aug 20 2013 23:39:27 on localhost [Seed = 3398217361] Type ? for help. Type -D to quit. Loading file "K13n468__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n468 geometric_solution 9.90548557 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 11 1 0 2 0 0132 1302 0132 2031 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 -1 0 1 -3 0 2 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.420810612755 0.521536910789 0 3 2 4 0132 0132 3012 0132 0 0 0 0 0 0 -1 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 0 -3 3 3 0 0 -3 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.062954400648 1.161339216128 5 1 6 0 0132 1230 0132 0132 0 0 0 0 0 0 0 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 0 0 0 2 0 0 -2 0 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.062954400648 1.161339216128 6 1 7 6 2310 0132 0132 3201 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 -2 0 -1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.413764163232 0.727332282099 8 8 1 9 0132 1230 0132 0132 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 3 -3 0 -3 0 3 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.514057869015 0.638643558548 2 7 10 9 0132 3012 0132 3120 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 0 0 -2 0 2 0 3 0 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.479705910889 0.275128068601 9 3 3 2 3120 2310 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -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 0 0 0 0 3 -3 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.413764163232 0.727332282099 5 8 10 3 1230 1302 1302 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 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.363369186326 0.663777315537 4 10 4 7 0132 2103 3012 2031 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 3 0 -3 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.235170747472 0.950191223513 5 10 4 6 3120 1230 0132 3120 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 -2 0 2 0 0 0 0 3 0 0 -3 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.514057869015 0.638643558548 7 8 9 5 2031 2103 3012 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 0 0 2 -2 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.380925827522 0.539313977311 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_2'], 'c_1001_10' : d['c_0011_10'], 'c_1001_5' : negation(d['c_0011_7']), 'c_1001_4' : d['c_1001_3'], 'c_1001_7' : d['c_0101_0'], 'c_1001_6' : d['c_0011_2'], 'c_1001_1' : negation(d['c_0011_2']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_6'], 'c_1001_9' : d['c_0101_8'], 'c_1001_8' : d['c_0011_10'], 'c_1010_10' : negation(d['c_0011_7']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : negation(d['c_0011_6']), '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_10' : 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_0101_6']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0101_8']), 'c_1100_4' : negation(d['c_0101_6']), 'c_1100_7' : negation(d['c_0011_6']), 'c_1100_6' : negation(d['c_0011_0']), 'c_1100_1' : negation(d['c_0101_6']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_6']), 'c_1100_2' : negation(d['c_0011_0']), 'c_1100_10' : negation(d['c_0101_8']), 'c_1010_7' : d['c_1001_3'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_10'], 'c_1010_4' : d['c_0101_8'], 'c_1010_3' : negation(d['c_0011_2']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_1001_3'], 'c_1010_0' : d['c_0011_0'], 'c_1010_9' : negation(d['c_0011_6']), 'c_1010_8' : d['c_0011_7'], 's_3_1' : d['1'], 's_3_0' : negation(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'], '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' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_10']), 'c_0011_8' : d['c_0011_10'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_7'], '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_0'], 'c_0011_2' : d['c_0011_2'], 'c_0110_10' : d['c_0101_0'], 'c_0101_7' : negation(d['c_0011_10']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_8'], 'c_0101_8' : d['c_0101_8'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_6']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_8'], 'c_0110_7' : negation(d['c_0011_2']), 'c_1100_8' : negation(d['c_1001_3'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_2, c_0011_6, c_0011_7, c_0101_0, c_0101_1, c_0101_2, c_0101_6, c_0101_8, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 23000299330813129295421032673967800966579/3639586814399749862322466\ 3165065001562698*c_1001_3^16 + 102518380489465106106461402612459333\ 169152/18197934071998749311612331582532500781349*c_1001_3^15 + 163391006690679577513661431106496169599775/363958681439974986232246\ 63165065001562698*c_1001_3^14 - 21832883711585854919656443838170378\ 76326798/18197934071998749311612331582532500781349*c_1001_3^13 - 15920589816066734835489679669631225988942367/3639586814399749862322\ 4663165065001562698*c_1001_3^12 - 127794315457402346732906906162211\ 0625135677/2799682164922884509478820243466538581746*c_1001_3^11 - 29485375232791831097527232338999655486946451/3639586814399749862322\ 4663165065001562698*c_1001_3^10 - 447720769452868908735108701455758\ 33133757910/18197934071998749311612331582532500781349*c_1001_3^9 - 28441637124078200534014778645723818343057786/1819793407199874931161\ 2331582532500781349*c_1001_3^8 - 2378000507190357184444330553876945\ 0348531294/18197934071998749311612331582532500781349*c_1001_3^7 + 4489359492356670658066465040407624638562328/18197934071998749311612\ 331582532500781349*c_1001_3^6 - 59503246313070039497714123042588694\ 631123753/36395868143997498623224663165065001562698*c_1001_3^5 - 24117047263380137115905247938248586377897099/3639586814399749862322\ 4663165065001562698*c_1001_3^4 - 7204565433993550718055987210541536\ 9884268081/36395868143997498623224663165065001562698*c_1001_3^3 - 11615691486436119256364750814324202303009729/3639586814399749862322\ 4663165065001562698*c_1001_3^2 - 2313266250988362063177542434463085\ 6508217665/36395868143997498623224663165065001562698*c_1001_3 + 232274819073775376329818321314911431953353/139984108246144225473941\ 0121733269290873, c_0011_0 - 1, c_0011_10 + 250568261626233816641566998496526362/1076800832662647888261\ 08470902559176221*c_1001_3^16 + 24265561750409602193210937969142407\ 62/107680083266264788826108470902559176221*c_1001_3^15 + 3510756169606573192672792248948502158/10768008326626478882610847090\ 2559176221*c_1001_3^14 - 46118236094231483933263722507752146528/107\ 680083266264788826108470902559176221*c_1001_3^13 - 210130187010074451147647063889776149909/107680083266264788826108470\ 902559176221*c_1001_3^12 - 24347200014132767478761206825362364139/8\ 283083328174214525085266992504552017*c_1001_3^11 - 463925217042128436784199873717161739372/107680083266264788826108470\ 902559176221*c_1001_3^10 - 1221814463766570279477827814936597028289\ /107680083266264788826108470902559176221*c_1001_3^9 - 1398983624488226078004710978727423890748/10768008326626478882610847\ 0902559176221*c_1001_3^8 - 1064762414353627093906672244058279455048\ /107680083266264788826108470902559176221*c_1001_3^7 - 312020236900997839913279536845588587878/107680083266264788826108470\ 902559176221*c_1001_3^6 - 704646838692451007524216777556848041986/1\ 07680083266264788826108470902559176221*c_1001_3^5 - 946047993766306431469898986594564192895/107680083266264788826108470\ 902559176221*c_1001_3^4 - 1158020810613213037595394849959457306252/\ 107680083266264788826108470902559176221*c_1001_3^3 - 716676787593155711803879568148143672462/107680083266264788826108470\ 902559176221*c_1001_3^2 - 369827523867858059994312084615071046904/1\ 07680083266264788826108470902559176221*c_1001_3 - 14384464015936139626708330752257447888/8283083328174214525085266992\ 504552017, c_0011_2 - 23387088957010025977411305373643278/828308332817421452508526\ 6992504552017*c_1001_3^16 - 203955033952892445493574687286121630/82\ 83083328174214525085266992504552017*c_1001_3^15 - 122654378650802988646908794039221749/828308332817421452508526699250\ 4552017*c_1001_3^14 + 4498381028599628924985822186125789294/8283083\ 328174214525085266992504552017*c_1001_3^13 + 15336820218074752031098998523074682814/8283083328174214525085266992\ 504552017*c_1001_3^12 + 13151561300982623937821238425022929025/8283\ 083328174214525085266992504552017*c_1001_3^11 + 24821285027833622780101477191469503792/8283083328174214525085266992\ 504552017*c_1001_3^10 + 84102194406930224505959567558621909199/8283\ 083328174214525085266992504552017*c_1001_3^9 + 37977961369300737688564340728541009372/8283083328174214525085266992\ 504552017*c_1001_3^8 + 28414969959155823241109106869376231143/82830\ 83328174214525085266992504552017*c_1001_3^7 - 19244815117533799993794277538779639772/8283083328174214525085266992\ 504552017*c_1001_3^6 + 63001837092718199831115203015085708449/82830\ 83328174214525085266992504552017*c_1001_3^5 + 24624235232457695347367327890170704103/8283083328174214525085266992\ 504552017*c_1001_3^4 + 60423889250720957439554020142983816917/82830\ 83328174214525085266992504552017*c_1001_3^3 - 1606880444518717282593111911139651512/82830833281742145250852669925\ 04552017*c_1001_3^2 + 12660671635969862159225939874582218889/828308\ 3328174214525085266992504552017*c_1001_3 - 3642425850145430544834634505205691289/82830833281742145250852669925\ 04552017, c_0011_6 + 10733743768346810014250201132152358/828308332817421452508526\ 6992504552017*c_1001_3^16 + 93707286479020310409278656602144010/828\ 3083328174214525085266992504552017*c_1001_3^15 + 59168250359798225016071915754362159/8283083328174214525085266992504\ 552017*c_1001_3^14 - 2044807300124792453281891776389354167/82830833\ 28174214525085266992504552017*c_1001_3^13 - 7031540802550044392497515258945657113/82830833281742145250852669925\ 04552017*c_1001_3^12 - 6471808228880461502314358945077157772/828308\ 3328174214525085266992504552017*c_1001_3^11 - 13100655797118871402478483093621844698/8283083328174214525085266992\ 504552017*c_1001_3^10 - 41128351790950773504640868098736063162/8283\ 083328174214525085266992504552017*c_1001_3^9 - 21366221802648484579455948777461954154/8283083328174214525085266992\ 504552017*c_1001_3^8 - 22615089436107216170212358503915355476/82830\ 83328174214525085266992504552017*c_1001_3^7 - 1099471924058143835690089116593667519/82830833281742145250852669925\ 04552017*c_1001_3^6 - 36032936410808810896277107299446674073/828308\ 3328174214525085266992504552017*c_1001_3^5 - 13564140332253016261497329552879878049/8283083328174214525085266992\ 504552017*c_1001_3^4 - 29988854579952339251146273456725729682/82830\ 83328174214525085266992504552017*c_1001_3^3 - 5436629731206435626669650746857855670/82830833281742145250852669925\ 04552017*c_1001_3^2 - 10995391498369034661604608128855109804/828308\ 3328174214525085266992504552017*c_1001_3 - 1723836600198877403815611042900769754/82830833281742145250852669925\ 04552017, c_0011_7 + 29577437680696747587229173570420110/828308332817421452508526\ 6992504552017*c_1001_3^16 + 276817125877161934370448324266822457/82\ 83083328174214525085266992504552017*c_1001_3^15 + 325932854930166181231013724019669235/828308332817421452508526699250\ 4552017*c_1001_3^14 - 5533506345145843672286820827165110668/8283083\ 328174214525085266992504552017*c_1001_3^13 - 22971787755169177975623300950453534262/8283083328174214525085266992\ 504552017*c_1001_3^12 - 30183622483184124688995387022713074683/8283\ 083328174214525085266992504552017*c_1001_3^11 - 46550235864558726134031635339489028713/8283083328174214525085266992\ 504552017*c_1001_3^10 - 131651933631496678704865846204645219309/828\ 3083328174214525085266992504552017*c_1001_3^9 - 124429915295107868622492575802758726643/828308332817421452508526699\ 2504552017*c_1001_3^8 - 92667342363164092706720284013350488721/8283\ 083328174214525085266992504552017*c_1001_3^7 - 19383908931757754511091404577952253148/8283083328174214525085266992\ 504552017*c_1001_3^6 - 78058825335799677036326339557347052571/82830\ 83328174214525085266992504552017*c_1001_3^5 - 84994103090694333653041857012006989376/8283083328174214525085266992\ 504552017*c_1001_3^4 - 117777988622941863860279604659085962765/8283\ 083328174214525085266992504552017*c_1001_3^3 - 55528769739587452690452585876009100597/8283083328174214525085266992\ 504552017*c_1001_3^2 - 35241465688161475972398148690811119993/82830\ 83328174214525085266992504552017*c_1001_3 - 12904516038331649316484142353029312558/8283083328174214525085266992\ 504552017, c_0101_0 - 10733743768346810014250201132152358/828308332817421452508526\ 6992504552017*c_1001_3^16 - 93707286479020310409278656602144010/828\ 3083328174214525085266992504552017*c_1001_3^15 - 59168250359798225016071915754362159/8283083328174214525085266992504\ 552017*c_1001_3^14 + 2044807300124792453281891776389354167/82830833\ 28174214525085266992504552017*c_1001_3^13 + 7031540802550044392497515258945657113/82830833281742145250852669925\ 04552017*c_1001_3^12 + 6471808228880461502314358945077157772/828308\ 3328174214525085266992504552017*c_1001_3^11 + 13100655797118871402478483093621844698/8283083328174214525085266992\ 504552017*c_1001_3^10 + 41128351790950773504640868098736063162/8283\ 083328174214525085266992504552017*c_1001_3^9 + 21366221802648484579455948777461954154/8283083328174214525085266992\ 504552017*c_1001_3^8 + 22615089436107216170212358503915355476/82830\ 83328174214525085266992504552017*c_1001_3^7 + 1099471924058143835690089116593667519/82830833281742145250852669925\ 04552017*c_1001_3^6 + 36032936410808810896277107299446674073/828308\ 3328174214525085266992504552017*c_1001_3^5 + 13564140332253016261497329552879878049/8283083328174214525085266992\ 504552017*c_1001_3^4 + 29988854579952339251146273456725729682/82830\ 83328174214525085266992504552017*c_1001_3^3 + 5436629731206435626669650746857855670/82830833281742145250852669925\ 04552017*c_1001_3^2 + 10995391498369034661604608128855109804/828308\ 3328174214525085266992504552017*c_1001_3 + 1723836600198877403815611042900769754/82830833281742145250852669925\ 04552017, c_0101_1 + 126028782054675164167768964422379050/10768008326626478882610\ 8470902559176221*c_1001_3^16 + 143234374688012841648356653694194174\ 9/107680083266264788826108470902559176221*c_1001_3^15 + 3617450030592793933361089524532217451/10768008326626478882610847090\ 2559176221*c_1001_3^14 - 22021740891291520226128663974722150830/107\ 680083266264788826108470902559176221*c_1001_3^13 - 146182352765858769097148506894366420943/107680083266264788826108470\ 902559176221*c_1001_3^12 - 22987652732466082335777584260044748787/8\ 283083328174214525085266992504552017*c_1001_3^11 - 360617478169004742887109073757238739513/107680083266264788826108470\ 902559176221*c_1001_3^10 - 858550144834567747846545880401983985578/\ 107680083266264788826108470902559176221*c_1001_3^9 - 1478627969607184793074284330564956280820/10768008326626478882610847\ 0902559176221*c_1001_3^8 - 913506039554665980505788666492224619010/\ 107680083266264788826108470902559176221*c_1001_3^7 - 511775595092074587191528074355077082769/107680083266264788826108470\ 902559176221*c_1001_3^6 - 199733924732272499953615383023584706025/1\ 07680083266264788826108470902559176221*c_1001_3^5 - 1044230358629826820256442363167455465564/10768008326626478882610847\ 0902559176221*c_1001_3^4 - 788987793842929387008490532855319276185/\ 107680083266264788826108470902559176221*c_1001_3^3 - 990680957225351988597248909504827536377/107680083266264788826108470\ 902559176221*c_1001_3^2 - 254525948789456812760114225980941140151/1\ 07680083266264788826108470902559176221*c_1001_3 - 17706268398790935948523740264553921892/8283083328174214525085266992\ 504552017, c_0101_2 - c_1001_3, c_0101_6 + 23387088957010025977411305373643278/828308332817421452508526\ 6992504552017*c_1001_3^16 + 203955033952892445493574687286121630/82\ 83083328174214525085266992504552017*c_1001_3^15 + 122654378650802988646908794039221749/828308332817421452508526699250\ 4552017*c_1001_3^14 - 4498381028599628924985822186125789294/8283083\ 328174214525085266992504552017*c_1001_3^13 - 15336820218074752031098998523074682814/8283083328174214525085266992\ 504552017*c_1001_3^12 - 13151561300982623937821238425022929025/8283\ 083328174214525085266992504552017*c_1001_3^11 - 24821285027833622780101477191469503792/8283083328174214525085266992\ 504552017*c_1001_3^10 - 84102194406930224505959567558621909199/8283\ 083328174214525085266992504552017*c_1001_3^9 - 37977961369300737688564340728541009372/8283083328174214525085266992\ 504552017*c_1001_3^8 - 28414969959155823241109106869376231143/82830\ 83328174214525085266992504552017*c_1001_3^7 + 19244815117533799993794277538779639772/8283083328174214525085266992\ 504552017*c_1001_3^6 - 63001837092718199831115203015085708449/82830\ 83328174214525085266992504552017*c_1001_3^5 - 24624235232457695347367327890170704103/8283083328174214525085266992\ 504552017*c_1001_3^4 - 60423889250720957439554020142983816917/82830\ 83328174214525085266992504552017*c_1001_3^3 + 1606880444518717282593111911139651512/82830833281742145250852669925\ 04552017*c_1001_3^2 - 12660671635969862159225939874582218889/828308\ 3328174214525085266992504552017*c_1001_3 + 3642425850145430544834634505205691289/82830833281742145250852669925\ 04552017, c_0101_8 - 214669461051430189524814496879054787/10768008326626478882610\ 8470902559176221*c_1001_3^16 - 190138568226495676050947614121940197\ 4/107680083266264788826108470902559176221*c_1001_3^15 - 1397819957626990503328270527278546723/10768008326626478882610847090\ 2559176221*c_1001_3^14 + 40962415493710139821619260302968478045/107\ 680083266264788826108470902559176221*c_1001_3^13 + 146022572010137783466606450698134775279/107680083266264788826108470\ 902559176221*c_1001_3^12 + 10972822230629226960806886241361468025/8\ 283083328174214525085266992504552017*c_1001_3^11 + 260957686781702929761487746532242914047/107680083266264788826108470\ 902559176221*c_1001_3^10 + 839413325215324579876400067129021792045/\ 107680083266264788826108470902559176221*c_1001_3^9 + 508383729011899019102974640398369151393/107680083266264788826108470\ 902559176221*c_1001_3^8 + 407141621522511585426827435358545390108/1\ 07680083266264788826108470902559176221*c_1001_3^7 + 27218342166689732050055364587542227117/1076800832662647888261084709\ 02559176221*c_1001_3^6 + 739536721102852507310405847405146051909/10\ 7680083266264788826108470902559176221*c_1001_3^5 + 314533887754930918794861864927450444535/107680083266264788826108470\ 902559176221*c_1001_3^4 + 636343838954927792913902055792671258467/1\ 07680083266264788826108470902559176221*c_1001_3^3 + 120563607653518788375951100811216194637/107680083266264788826108470\ 902559176221*c_1001_3^2 + 273719053682414240518940247761950667862/1\ 07680083266264788826108470902559176221*c_1001_3 + 2899869890054831207522869181914564497/82830833281742145250852669925\ 04552017, c_1001_3^17 + 9*c_1001_3^16 + 8*c_1001_3^15 - 188*c_1001_3^14 - 707*c_1001_3^13 - 806*c_1001_3^12 - 1444*c_1001_3^11 - 4142*c_1001_3^10 - 3069*c_1001_3^9 - 2960*c_1001_3^8 - 419*c_1001_3^7 - 3272*c_1001_3^6 - 1793*c_1001_3^5 - 3807*c_1001_3^4 - 1070*c_1001_3^3 - 1661*c_1001_3^2 - 234*c_1001_3 - 169 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.300 Total time: 0.510 seconds, Total memory usage: 32.09MB