Magma V2.19-8 Wed Aug 21 2013 01:01:26 on localhost [Seed = 3785882153] Type ? for help. Type -D to quit. Loading file "L14n1154__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n1154 geometric_solution 12.29267017 oriented_manifold CS_known 0.0000000000000007 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 2 3 0132 0132 0321 0132 0 1 1 1 0 -1 -1 2 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 0 1 0 0 1 -1 1 -1 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.527801614307 0.942627450396 0 4 6 5 0132 0132 0132 0132 1 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 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.369807430130 0.984400275039 7 0 0 5 0132 0132 0321 2031 0 1 1 1 0 1 1 -2 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 1 0 -1 3 0 -3 0 1 3 0 -4 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.527801614307 0.942627450396 7 5 0 5 3012 2031 0132 2103 0 1 1 1 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 0 0 0 0 0 0 -1 1 -1 0 1 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.424823043571 0.848054280920 7 1 8 9 1023 0132 0132 0132 1 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 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.130155617143 0.763820973264 3 2 1 3 1302 1302 0132 2103 1 1 0 1 0 0 0 0 0 0 0 0 0 2 0 -2 -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 1 0 -1 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.527801614307 0.942627450396 9 10 8 1 0132 0132 0321 0132 1 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 0 0 0 0 0 0 0 0 0 -1 1 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.496595383605 0.840103972990 2 4 8 3 0132 1023 3012 1230 1 1 1 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 0 0 0 0 -1 0 1 -3 0 -1 4 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.369807430130 0.984400275039 11 7 6 4 0132 1230 0321 0132 1 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 0 0 0 0 0 0 0 0 0 1 -1 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 0 0 0 0.941529080937 1.225815849436 6 12 4 10 0132 0132 0132 0213 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.109285333432 0.535067412430 11 6 12 9 3120 0132 0132 0213 1 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 0 0 0 0 0 0 0 0 0 1 -1 0 1 0 -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.534209810957 0.462463575526 8 12 12 10 0132 2031 0321 3120 1 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 0 0 0 0 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.883758414252 0.602545192954 11 9 11 10 1302 0132 0321 0132 1 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 0 0 0 0 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.308682891777 1.600076180909 ==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_10']), 'c_1001_5' : d['c_0101_7'], 'c_1001_4' : d['c_0101_7'], 'c_1001_7' : d['c_0011_11'], 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_5'], 'c_1001_3' : negation(d['c_0110_5']), 'c_1001_2' : negation(d['c_0110_5']), 'c_1001_9' : d['c_1001_1'], 'c_1001_8' : negation(d['c_0110_3']), 'c_1010_12' : d['c_1001_1'], 'c_1010_11' : negation(d['c_0011_10']), 'c_1010_10' : d['c_1001_6'], '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' : d['c_0011_11'], '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' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : negation(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' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_1001_6'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : negation(d['c_0110_3']), 'c_1100_4' : d['c_1001_6'], 'c_1100_7' : d['c_0110_3'], 'c_1100_6' : negation(d['c_0110_3']), 'c_1100_1' : negation(d['c_0110_3']), 'c_1100_0' : negation(d['c_0110_5']), 'c_1100_3' : negation(d['c_0110_5']), 'c_1100_2' : d['c_0011_5'], 's_3_11' : d['1'], 'c_1100_9' : d['c_1001_6'], 'c_1100_11' : negation(d['c_0101_10']), 'c_1100_10' : negation(d['c_0101_10']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0101_1'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : negation(d['c_0011_5']), 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : d['c_0011_5'], 'c_1010_1' : d['c_0101_7'], 'c_1010_0' : negation(d['c_0110_5']), 'c_1010_9' : negation(d['c_0101_10']), 'c_1010_8' : d['c_0101_7'], 's_3_1' : negation(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'], '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' : negation(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' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_10']), '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' : negation(d['c_0101_6']), 'c_0110_10' : negation(d['c_0101_6']), 'c_0110_12' : d['c_0101_10'], 'c_0101_12' : negation(d['c_0011_11']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0011_11'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_3']), 'c_0101_9' : d['c_0101_1'], 'c_0101_8' : negation(d['c_0101_6']), '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' : d['c_0101_6'], 'c_0110_8' : d['c_0011_11'], 'c_0110_1' : negation(d['c_0011_3']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0110_3'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0011_3'], 'c_0110_6' : d['c_0101_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_3, c_0011_5, c_0101_1, c_0101_10, c_0101_6, c_0101_7, c_0110_3, c_0110_5, c_1001_1, c_1001_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 50009502102902954553135920016657297/2233713836571221805329320377625\ *c_1001_6^15 - 1105040672617075349154381975309122171/35739421385139\ 54888526912604200*c_1001_6^14 - 69944475710073046818032775480954133\ 1/1786971069256977444263456302100*c_1001_6^13 + 117700408398139674236826756043240613907/178697106925697744426345630\ 21000*c_1001_6^12 - 4372354521122123886514224067208741858/171824141\ 274709369640716952125*c_1001_6^11 + 1116724145850922553966051012896437276133/17869710692569774442634563\ 021000*c_1001_6^10 - 15262822069714901558418651844917720073/1374593\ 13019767495712573561700*c_1001_6^9 + 2711343894822459941974462132736945615463/17869710692569774442634563\ 021000*c_1001_6^8 - 364534149404077233749673622671501995668/2233713\ 836571221805329320377625*c_1001_6^7 + 2464696872263049635138040503158094848939/17869710692569774442634563\ 021000*c_1001_6^6 - 805960636405635270160921016066180662863/8934855\ 346284887221317281510500*c_1001_6^5 + 21549318215731208477110310630964699177/4829651538532371470982314330\ 00*c_1001_6^4 - 72383456285167782196376965446280951987/446742767314\ 2443610658640755250*c_1001_6^3 + 7399521752289713170126013802819584\ 4667/17869710692569774442634563021000*c_1001_6^2 - 470913334207221070085929362727346699/687296565098837478562867808500\ *c_1001_6 + 1033357731389484479368142157868925097/17869710692569774\ 442634563021000, c_0011_0 - 1, c_0011_10 - 844378785431052337369921120/37151165681018242084479341*c_10\ 01_6^15 - 57080531404666810965127497739/185755828405091210422396705\ *c_1001_6^14 - 55282993973509522319660409298/1857558284050912104223\ 96705*c_1001_6^13 + 257517648022700413076751397351/3715116568101824\ 2084479341*c_1001_6^12 - 5101738738885724888469990652454/1857558284\ 05091210422396705*c_1001_6^11 + 12774428960733874821350180542632/18\ 5755828405091210422396705*c_1001_6^10 - 4606123783335034115427856683432/37151165681018242084479341*c_1001_6\ ^9 + 31850606649789432257317545012586/185755828405091210422396705*c\ _1001_6^8 - 6928462533021690445110486863016/37151165681018242084479\ 341*c_1001_6^7 + 29593927712707675987943935385071/18575582840509121\ 0422396705*c_1001_6^6 - 3910561820588267927627735682603/37151165681\ 018242084479341*c_1001_6^5 + 9761084509192130813922518354989/185755\ 828405091210422396705*c_1001_6^4 - 3574270066908014513559630857498/185755828405091210422396705*c_1001_\ 6^3 + 921224010899590389828123021729/185755828405091210422396705*c_\ 1001_6^2 - 30767078795420054726032973700/37151165681018242084479341\ *c_1001_6 + 13127204986984286395260598227/1857558284050912104223967\ 05, c_0011_11 + 150224781401741681754779425643/3715116568101824208447934100\ *c_1001_6^15 + 2124992567916890021414857579149/37151165681018242084\ 47934100*c_1001_6^14 + 845813261666481005435155718559/9287791420254\ 56052111983525*c_1001_6^13 - 21194668426039889539038887736531/18575\ 58284050912104223967050*c_1001_6^12 + 158102541908872524990200975886919/3715116568101824208447934100*c_10\ 01_6^11 - 377777870244490880094212546203059/37151165681018242084479\ 34100*c_1001_6^10 + 656438764516125735289858142636113/3715116568101\ 824208447934100*c_1001_6^9 - 879981614621420937752145648544377/3715\ 116568101824208447934100*c_1001_6^8 + 929056292961508105207662035805803/3715116568101824208447934100*c_10\ 01_6^7 - 770547169087042138743398435834287/371511656810182420844793\ 4100*c_1001_6^6 + 247307212444595345921776270840951/185755828405091\ 2104223967050*c_1001_6^5 - 60090405499280668734125139239403/9287791\ 42025456052111983525*c_1001_6^4 + 85892961836501680526499760151203/\ 3715116568101824208447934100*c_1001_6^3 - 21616570825913406502240976614243/3715116568101824208447934100*c_100\ 1_6^2 + 3518382193225413446431198733231/371511656810182420844793410\ 0*c_1001_6 - 290004687824622688359692273059/37151165681018242084479\ 34100, c_0011_3 + 132799446178991136610452358223/1857558284050912104223967050*\ c_1001_6^15 + 972763832747539552238502944167/9287791420254560521119\ 83525*c_1001_6^14 + 3990401263771776152028186957411/185755828405091\ 2104223967050*c_1001_6^13 - 35192912281032218474065984633957/185755\ 8284050912104223967050*c_1001_6^12 + 122631484267937541653776195309229/1857558284050912104223967050*c_10\ 01_6^11 - 138249104405750739731651994062492/92877914202545605211198\ 3525*c_1001_6^10 + 455518998149028186585870065310493/18575582840509\ 12104223967050*c_1001_6^9 - 289882600392549733486525658666851/92877\ 9142025456052111983525*c_1001_6^8 + 578786203559112176509819816586783/1857558284050912104223967050*c_10\ 01_6^7 - 225017367933706417936830185462481/928779142025456052111983\ 525*c_1001_6^6 + 267937615607703390715888613443847/1857558284050912\ 104223967050*c_1001_6^5 - 119446532089911055099677674121727/1857558\ 284050912104223967050*c_1001_6^4 + 38800920402787491082764530601373/1857558284050912104223967050*c_100\ 1_6^3 - 4401896573340851479530212140134/928779142025456052111983525\ *c_1001_6^2 + 1273456852381099147567013959641/185755828405091210422\ 3967050*c_1001_6 - 43717798754348119203583658142/928779142025456052\ 111983525, c_0011_5 - 1, c_0101_1 - 95217179059437037320010279893/928779142025456052111983525*c_\ 1001_6^15 - 1355730995669064414043914499794/92877914202545605211198\ 3525*c_1001_6^14 - 2275357970315797105346783601151/9287791420254560\ 52111983525*c_1001_6^13 + 26580817719460965735446655816612/92877914\ 2025456052111983525*c_1001_6^12 - 97922765929395143362217638777639/\ 928779142025456052111983525*c_1001_6^11 + 231597855902722092464847737143444/928779142025456052111983525*c_100\ 1_6^10 - 398749971027057164158896743622413/928779142025456052111983\ 525*c_1001_6^9 + 529760231213055632621277238930882/9287791420254560\ 52111983525*c_1001_6^8 - 554029494545546287948743116535728/92877914\ 2025456052111983525*c_1001_6^7 + 454590489712463329118980095336392/\ 928779142025456052111983525*c_1001_6^6 - 288220628155836478047769454723652/928779142025456052111983525*c_100\ 1_6^5 + 138147840068588795964286927237257/9287791420254560521119835\ 25*c_1001_6^4 - 48668283365308879740691901695168/928779142025456052\ 111983525*c_1001_6^3 + 12086955295488342787815334992338/92877914202\ 5456052111983525*c_1001_6^2 - 1944080947949059734382574843856/92877\ 9142025456052111983525*c_1001_6 + 158389046408455805096383102094/92\ 8779142025456052111983525, c_0101_10 - 42734900547567293247557910527/928779142025456052111983525*c\ _1001_6^15 - 609349141460577881897322308746/92877914202545605211198\ 3525*c_1001_6^14 - 1032418297218450406367450343949/9287791420254560\ 52111983525*c_1001_6^13 + 11929621082936577184370698716318/92877914\ 2025456052111983525*c_1001_6^12 - 43635685941628028737320956877476/\ 928779142025456052111983525*c_1001_6^11 + 102787921646917331304733897435806/928779142025456052111983525*c_100\ 1_6^10 - 176105182619254843945067142134182/928779142025456052111983\ 525*c_1001_6^9 + 232843162721408046514746662948018/9287791420254560\ 52111983525*c_1001_6^8 - 242214363563360362641496792860717/92877914\ 2025456052111983525*c_1001_6^7 + 197480609091659161540407022589358/\ 928779142025456052111983525*c_1001_6^6 - 124271151127068490455149242613903/928779142025456052111983525*c_100\ 1_6^5 + 59060260495571129151102382755978/92877914202545605211198352\ 5*c_1001_6^4 - 20619071525395133674427314627687/9287791420254560521\ 11983525*c_1001_6^3 + 5071970341950097867186876863612/9287791420254\ 56052111983525*c_1001_6^2 - 805386043723413850637053153559/92877914\ 2025456052111983525*c_1001_6 + 64551959346409011027578676481/928779\ 142025456052111983525, c_0101_6 + 88481271521951916755740236763/1857558284050912104223967050*c\ _1001_6^15 + 1289753903364303046277966168679/1857558284050912104223\ 967050*c_1001_6^14 + 1283165690806720221834705585608/92877914202545\ 6052111983525*c_1001_6^13 - 11798608360036297647466102166371/928779\ 142025456052111983525*c_1001_6^12 + 83570835385330528286941370604599/1857558284050912104223967050*c_100\ 1_6^11 - 381767533724283969124391836558533/371511656810182420844793\ 4100*c_1001_6^10 + 318958586349915786970249763129083/18575582840509\ 12104223967050*c_1001_6^9 - 824303288844484549391472972025399/37151\ 16568101824208447934100*c_1001_6^8 + 418795485003858021405824211046573/1857558284050912104223967050*c_10\ 01_6^7 - 166502742435206647775495653218786/928779142025456052111983\ 525*c_1001_6^6 + 102019070538008389306052547442541/9287791420254560\ 52111983525*c_1001_6^5 - 94314178751005013791116241656687/185755828\ 4050912104223967050*c_1001_6^4 + 31985601298815695962381699923313/1\ 857558284050912104223967050*c_1001_6^3 - 15229543919844422494058230753191/3715116568101824208447934100*c_100\ 1_6^2 + 1163671476644575000402594119121/185755828405091210422396705\ 0*c_1001_6 - 175516178244439285939274681533/37151165681018242084479\ 34100, c_0101_7 + 95217179059437037320010279893/928779142025456052111983525*c_\ 1001_6^15 + 1355730995669064414043914499794/92877914202545605211198\ 3525*c_1001_6^14 + 2275357970315797105346783601151/9287791420254560\ 52111983525*c_1001_6^13 - 26580817719460965735446655816612/92877914\ 2025456052111983525*c_1001_6^12 + 97922765929395143362217638777639/\ 928779142025456052111983525*c_1001_6^11 - 231597855902722092464847737143444/928779142025456052111983525*c_100\ 1_6^10 + 398749971027057164158896743622413/928779142025456052111983\ 525*c_1001_6^9 - 529760231213055632621277238930882/9287791420254560\ 52111983525*c_1001_6^8 + 554029494545546287948743116535728/92877914\ 2025456052111983525*c_1001_6^7 - 454590489712463329118980095336392/\ 928779142025456052111983525*c_1001_6^6 + 288220628155836478047769454723652/928779142025456052111983525*c_100\ 1_6^5 - 138147840068588795964286927237257/9287791420254560521119835\ 25*c_1001_6^4 + 48668283365308879740691901695168/928779142025456052\ 111983525*c_1001_6^3 - 12086955295488342787815334992338/92877914202\ 5456052111983525*c_1001_6^2 + 1944080947949059734382574843856/92877\ 9142025456052111983525*c_1001_6 - 158389046408455805096383102094/92\ 8779142025456052111983525, c_0110_3 + 1, c_0110_5 - 594648750270634776/17633988606813049*c_1001_6^15 - 8465006470731136674/17633988606813049*c_1001_6^14 - 14241395719797752465/17633988606813049*c_1001_6^13 + 165174262915256511819/17633988606813049*c_1001_6^12 - 614338239570954898995/17633988606813049*c_1001_6^11 + 1461808423906315391807/17633988606813049*c_1001_6^10 - 2537251827718925946844/17633988606813049*c_1001_6^9 + 6804606437564751566825/35267977213626098*c_1001_6^8 - 3597601404612062712879/17633988606813049*c_1001_6^7 + 2993851343895882167512/17633988606813049*c_1001_6^6 - 1933533763822596714880/17633988606813049*c_1001_6^5 + 948371454285006679343/17633988606813049*c_1001_6^4 - 343121851235999308614/17633988606813049*c_1001_6^3 + 87568367928095904947/17633988606813049*c_1001_6^2 - 14475316315673384879/17633988606813049*c_1001_6 + 2441149083796206667/35267977213626098, c_1001_1 + 150224781401741681754779425643/3715116568101824208447934100*\ c_1001_6^15 + 2124992567916890021414857579149/371511656810182420844\ 7934100*c_1001_6^14 + 845813261666481005435155718559/92877914202545\ 6052111983525*c_1001_6^13 - 21194668426039889539038887736531/185755\ 8284050912104223967050*c_1001_6^12 + 158102541908872524990200975886919/3715116568101824208447934100*c_10\ 01_6^11 - 377777870244490880094212546203059/37151165681018242084479\ 34100*c_1001_6^10 + 656438764516125735289858142636113/3715116568101\ 824208447934100*c_1001_6^9 - 879981614621420937752145648544377/3715\ 116568101824208447934100*c_1001_6^8 + 929056292961508105207662035805803/3715116568101824208447934100*c_10\ 01_6^7 - 770547169087042138743398435834287/371511656810182420844793\ 4100*c_1001_6^6 + 247307212444595345921776270840951/185755828405091\ 2104223967050*c_1001_6^5 - 60090405499280668734125139239403/9287791\ 42025456052111983525*c_1001_6^4 + 85892961836501680526499760151203/\ 3715116568101824208447934100*c_1001_6^3 - 21616570825913406502240976614243/3715116568101824208447934100*c_100\ 1_6^2 + 3518382193225413446431198733231/371511656810182420844793410\ 0*c_1001_6 - 290004687824622688359692273059/37151165681018242084479\ 34100, c_1001_6^16 + 564/41*c_1001_6^15 + 700/41*c_1001_6^14 - 11892/41*c_1001_6^13 + 47744/41*c_1001_6^12 - 120500/41*c_1001_6^11 + 221268/41*c_1001_6^10 - 314108/41*c_1001_6^9 + 353622/41*c_1001_6^8 - 316948/41*c_1001_6^7 + 224340/41*c_1001_6^6 - 123580/41*c_1001_6^5 + 51952/41*c_1001_6^4 - 16220/41*c_1001_6^3 + 3596/41*c_1001_6^2 - 516/41*c_1001_6 + 37/41 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.150 Total time: 0.360 seconds, Total memory usage: 32.09MB