Magma V2.19-8 Tue Aug 20 2013 16:17:57 on localhost [Seed = 4071845431] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2192 geometric_solution 5.64973829 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 3201 2310 1023 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 -1 1 0 1 0 0 -1 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.721813495881 0.976742919471 0 2 3 0 0132 0132 0132 1023 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 0 1 -1 0 1 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.114661438226 0.384805907686 4 1 3 5 0132 0132 2103 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 1 -1 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.991642369001 1.246996317444 2 5 4 1 2103 0132 2310 0132 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 1 0 0 -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.991642369001 1.246996317444 2 3 4 4 0132 3201 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.392084742442 0.484875816795 6 3 2 6 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.682793077743 0.402919828210 5 6 6 5 0132 3201 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.142380368433 0.498948840952 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { '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_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_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_0_6' : 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_6' : d['c_0011_3'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0101_4'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_3'], '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' : d['c_0011_0'], 'c_1001_5' : d['c_1001_1'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0011_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_3'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_1001_1'], 'c_1010_2' : d['c_1001_1'], 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : d['c_0101_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0101_0, c_0101_2, c_0101_4, c_0101_6, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 9120917427946871317014221164872807423229490350930/13111291935138170\ 9247288209340166962395271812819*c_1001_1^25 + 30728393608886501501695426537341807206522815190379/1311129193513817\ 09247288209340166962395271812819*c_1001_1^24 - 199704587908763736656314066407565198989279834876201/131112919351381\ 709247288209340166962395271812819*c_1001_1^23 - 248821756496814929026544632905720389312791999558978/131112919351381\ 709247288209340166962395271812819*c_1001_1^22 - 1279927306639497193699653643349967568172110871241192/13111291935138\ 1709247288209340166962395271812819*c_1001_1^21 - 558395700526910378880602337709170791373237531995028/131112919351381\ 709247288209340166962395271812819*c_1001_1^20 + 28030628863616675362855343020678075551023114836758985/1311129193513\ 81709247288209340166962395271812819*c_1001_1^19 + 23769338691305178681220853337774355658557677057911787/1311129193513\ 81709247288209340166962395271812819*c_1001_1^18 - 170141556377950681217885229075830394158080964556789486/131112919351\ 381709247288209340166962395271812819*c_1001_1^17 - 164175873298485470144627734220815340189815680539518851/131112919351\ 381709247288209340166962395271812819*c_1001_1^16 + 533780519666041339815766995144041645908014403802063663/131112919351\ 381709247288209340166962395271812819*c_1001_1^15 + 537548353375119694165348492435121405823509400397372841/131112919351\ 381709247288209340166962395271812819*c_1001_1^14 - 9660452433081282250532744191755391382958823750335690/12981477163503\ 13952943447617229375865299720919*c_1001_1^13 - 994494347437693626897763467756401257420436110238739872/131112919351\ 381709247288209340166962395271812819*c_1001_1^12 + 1106853205420760153080226540002086309120974159267171920/13111291935\ 1381709247288209340166962395271812819*c_1001_1^11 + 1124200460143672600379208525891578364396263708823112060/13111291935\ 1381709247288209340166962395271812819*c_1001_1^10 - 805415437064170991642782135832375572960751180256349808/131112919351\ 381709247288209340166962395271812819*c_1001_1^9 - 802721008359311131029649888897510747661835961771218297/131112919351\ 381709247288209340166962395271812819*c_1001_1^8 + 378711189299286567006232558492484201149431442112715560/131112919351\ 381709247288209340166962395271812819*c_1001_1^7 + 362140904005139997175938151461983338190442997158710852/131112919351\ 381709247288209340166962395271812819*c_1001_1^6 - 112452256812038332347181823639337256995595455768549171/131112919351\ 381709247288209340166962395271812819*c_1001_1^5 - 99476505355311315671944864500384287857408310771150584/1311129193513\ 81709247288209340166962395271812819*c_1001_1^4 + 19483316300420693386345768932056786295463662898274822/1311129193513\ 81709247288209340166962395271812819*c_1001_1^3 + 15001924288830732885271102378657118617239669708576758/1311129193513\ 81709247288209340166962395271812819*c_1001_1^2 - 1533916847362074457630753858434170009794235553616385/13111291935138\ 1709247288209340166962395271812819*c_1001_1 - 925357430149546259244760267960798665007979662542530/131112919351381\ 709247288209340166962395271812819, c_0011_0 - 1, c_0011_3 - 55797721754535466907856716485333891937864917/128529476866367\ 71811321263536924513517819019*c_1001_1^25 - 176595647107326081354061317023347916843199531/128529476866367718113\ 21263536924513517819019*c_1001_1^24 + 1265181104927729824087095286169462813406013058/12852947686636771811\ 321263536924513517819019*c_1001_1^23 + 1293965527450186931894147150810914462182062320/12852947686636771811\ 321263536924513517819019*c_1001_1^22 + 7422831808769032363734870867912456500985745198/12852947686636771811\ 321263536924513517819019*c_1001_1^21 + 1602282337559857712784090716276105880169017191/12852947686636771811\ 321263536924513517819019*c_1001_1^20 - 173047740570566165583878739817683645874118255065/128529476866367718\ 11321263536924513517819019*c_1001_1^19 - 111345775579993163089444265657673850937325368068/128529476866367718\ 11321263536924513517819019*c_1001_1^18 + 1085622583883185383053405157752832517213393568771/12852947686636771\ 811321263536924513517819019*c_1001_1^17 + 816928730011055474410437389616122095481593730253/128529476866367718\ 11321263536924513517819019*c_1001_1^16 - 3548687619285935265196992804061700898968898136998/12852947686636771\ 811321263536924513517819019*c_1001_1^15 - 2778423314493243855894971839662470976805991776575/12852947686636771\ 811321263536924513517819019*c_1001_1^14 + 6831516514466998722429686449008049929929781724325/12852947686636771\ 811321263536924513517819019*c_1001_1^13 + 5342041216702852506742286654132693830560417808888/12852947686636771\ 811321263536924513517819019*c_1001_1^12 - 8230005956477818129608567249027070535697793076056/12852947686636771\ 811321263536924513517819019*c_1001_1^11 - 6307328902538370240820802166475919986950595446035/12852947686636771\ 811321263536924513517819019*c_1001_1^10 + 6388670759899109614501477372793141756074130264085/12852947686636771\ 811321263536924513517819019*c_1001_1^9 + 4729276768279451114989609010664267649113385997513/12852947686636771\ 811321263536924513517819019*c_1001_1^8 - 3200300895786807155055832174264598651381546333554/12852947686636771\ 811321263536924513517819019*c_1001_1^7 - 2250485473713009003230237477312243481992095453763/12852947686636771\ 811321263536924513517819019*c_1001_1^6 + 1002420271561336719216768335665422709715737784760/12852947686636771\ 811321263536924513517819019*c_1001_1^5 + 654005385615898761046738282669983937749606714514/128529476866367718\ 11321263536924513517819019*c_1001_1^4 - 179434199576750297302390104680109052225054662355/128529476866367718\ 11321263536924513517819019*c_1001_1^3 - 104536485774826966850609764198725318990870369091/128529476866367718\ 11321263536924513517819019*c_1001_1^2 + 14108853803931506836261567476123846114249722085/1285294768663677181\ 1321263536924513517819019*c_1001_1 + 6871881307654311068438381702039017222501585405/12852947686636771811\ 321263536924513517819019, c_0101_0 - 107534827136350480384457802430034186315530080/12852947686636\ 771811321263536924513517819019*c_1001_1^25 - 341364833079393873513417662884528670827617739/128529476866367718113\ 21263536924513517819019*c_1001_1^24 + 2427335548028976828412975232099974765456590081/12852947686636771811\ 321263536924513517819019*c_1001_1^23 + 2493586037915971815907014476130636150335121476/12852947686636771811\ 321263536924513517819019*c_1001_1^22 + 14500797428017983456273554660940878709382356606/1285294768663677181\ 1321263536924513517819019*c_1001_1^21 + 3362643622860872168682525879403686148106651124/12852947686636771811\ 321263536924513517819019*c_1001_1^20 - 332324417065713120295989508352524911647777395716/128529476866367718\ 11321263536924513517819019*c_1001_1^19 - 217587569861584819312271341115078977108538769826/128529476866367718\ 11321263536924513517819019*c_1001_1^18 + 2067184649646827210353595802139783395228036095169/12852947686636771\ 811321263536924513517819019*c_1001_1^17 + 1581990501240206231181228994109688425510973789486/12852947686636771\ 811321263536924513517819019*c_1001_1^16 - 6691203479038981740872859563743534673969736260403/12852947686636771\ 811321263536924513517819019*c_1001_1^15 - 5332886847159057786448180398627656625975821007483/12852947686636771\ 811321263536924513517819019*c_1001_1^14 + 12721780824202219456294318589909968900284862923312/1285294768663677\ 1811321263536924513517819019*c_1001_1^13 + 10151446948949307299413429264816383376568725009812/1285294768663677\ 1811321263536924513517819019*c_1001_1^12 - 15107444634299395949285998450322564640122167738429/1285294768663677\ 1811321263536924513517819019*c_1001_1^11 - 11852187837504985254263930017840678471583215769987/1285294768663677\ 1811321263536924513517819019*c_1001_1^10 + 11545510213254605863276818484532526426079441880519/1285294768663677\ 1811321263536924513517819019*c_1001_1^9 + 8779358738995596746285900414007537188394436660655/12852947686636771\ 811321263536924513517819019*c_1001_1^8 - 5689782596113692894531181603963413572833819167776/12852947686636771\ 811321263536924513517819019*c_1001_1^7 - 4124310739325208349278748666801040572454303989857/12852947686636771\ 811321263536924513517819019*c_1001_1^6 + 1752913383018516512588177728600593733832322398807/12852947686636771\ 811321263536924513517819019*c_1001_1^5 + 1182439761448229128205577785674617695374504517087/12852947686636771\ 811321263536924513517819019*c_1001_1^4 - 308775355255535016370658696987968800274901119038/128529476866367718\ 11321263536924513517819019*c_1001_1^3 - 186303641778488526763941495628577116897538413961/128529476866367718\ 11321263536924513517819019*c_1001_1^2 + 23971810545026449033730148317756856063864308638/1285294768663677181\ 1321263536924513517819019*c_1001_1 + 12053396430034107079096605920180874589991815780/1285294768663677181\ 1321263536924513517819019, c_0101_2 - 1205238204524341676134330453869294936983034/1285294768663677\ 1811321263536924513517819019*c_1001_1^25 - 7560722529939167502514664914039740163427717/12852947686636771811321\ 263536924513517819019*c_1001_1^24 + 5146316401585452275121851704403450134556894/12852947686636771811321\ 263536924513517819019*c_1001_1^23 + 79343752699615168638043787832622881398665797/1285294768663677181132\ 1263536924513517819019*c_1001_1^22 + 471981549123883570213970780818140867393394110/128529476866367718113\ 21263536924513517819019*c_1001_1^21 + 771471958915523449219524015364361627384294402/128529476866367718113\ 21263536924513517819019*c_1001_1^20 - 2091207384639870811139082122731432360206216781/12852947686636771811\ 321263536924513517819019*c_1001_1^19 - 13475778813734067419617194433645522385967476265/1285294768663677181\ 1321263536924513517819019*c_1001_1^18 - 15047059298431456189053033448362508583175158126/1285294768663677181\ 1321263536924513517819019*c_1001_1^17 + 67481230098055892317393644483004765948742341297/1285294768663677181\ 1321263536924513517819019*c_1001_1^16 + 157585688152690529166944467426741323118132192570/128529476866367718\ 11321263536924513517819019*c_1001_1^15 - 142705969667208775708792197067023145982042570043/128529476866367718\ 11321263536924513517819019*c_1001_1^14 - 568213503564780072462845097344696864537467188076/128529476866367718\ 11321263536924513517819019*c_1001_1^13 + 90493702890885893328509257548203519994489641120/1285294768663677181\ 1321263536924513517819019*c_1001_1^12 + 1060985536922991532799629244960087701885780869524/12852947686636771\ 811321263536924513517819019*c_1001_1^11 + 140497342743858081272932838862379626186399505304/128529476866367718\ 11321263536924513517819019*c_1001_1^10 - 1152144518686987019433626871811887106495306897325/12852947686636771\ 811321263536924513517819019*c_1001_1^9 - 314566407200946815132521889984071609296382093503/128529476866367718\ 11321263536924513517819019*c_1001_1^8 + 756599258413205809862326575987116959642932828821/128529476866367718\ 11321263536924513517819019*c_1001_1^7 + 261246011249011846580550042079876064385960126986/128529476866367718\ 11321263536924513517819019*c_1001_1^6 - 296832785911910048017480944167923176126662400031/128529476866367718\ 11321263536924513517819019*c_1001_1^5 - 112565623539625159680700681431598036442557322009/128529476866367718\ 11321263536924513517819019*c_1001_1^4 + 64254101343690475675457683531716415037139172640/1285294768663677181\ 1321263536924513517819019*c_1001_1^3 + 24763043439296254227065053060906066341112880800/1285294768663677181\ 1321263536924513517819019*c_1001_1^2 - 5927784121054522062146222737527457683607133670/12852947686636771811\ 321263536924513517819019*c_1001_1 - 2155343731859948853909395180565924961791590042/12852947686636771811\ 321263536924513517819019, c_0101_4 + 144556389194666150455973681200356809957051904/12852947686636\ 771811321263536924513517819019*c_1001_1^25 + 453094028881668398340334215364307328215889366/128529476866367718113\ 21263536924513517819019*c_1001_1^24 - 3286302040823839030397365724869079604809687306/12852947686636771811\ 321263536924513517819019*c_1001_1^23 - 3237279598184223460170156086613627274122372991/12852947686636771811\ 321263536924513517819019*c_1001_1^22 - 19251188223742130013283729955078438545787739664/1285294768663677181\ 1321263536924513517819019*c_1001_1^21 - 3619816811654873851106051156115032147857420238/12852947686636771811\ 321263536924513517819019*c_1001_1^20 + 447629056710479062951694213346101644453082204710/128529476866367718\ 11321263536924513517819019*c_1001_1^19 + 274820717876780988979551898996884670982123090269/128529476866367718\ 11321263536924513517819019*c_1001_1^18 - 2805489505716354493148107320002137282109601456299/12852947686636771\ 811321263536924513517819019*c_1001_1^17 - 2026619813480516186155750285913285265441099239931/12852947686636771\ 811321263536924513517819019*c_1001_1^16 + 9168139046891610056821969298986740903412463977100/12852947686636771\ 811321263536924513517819019*c_1001_1^15 + 6888326577992188148873256116093068840297014135057/12852947686636771\ 811321263536924513517819019*c_1001_1^14 - 17655018357248799847790357280679382762957416553947/1285294768663677\ 1811321263536924513517819019*c_1001_1^13 - 13222978887935146114056784969186626406159452175674/1285294768663677\ 1811321263536924513517819019*c_1001_1^12 + 21309575581093872338758621182499598535768799604733/1285294768663677\ 1811321263536924513517819019*c_1001_1^11 + 15600246616296065415900409412069675036151847428884/1285294768663677\ 1811321263536924513517819019*c_1001_1^10 - 16613989732256414978996215229908328228095058499157/1285294768663677\ 1811321263536924513517819019*c_1001_1^9 - 11712653450898862192556505090324892260683883793683/1285294768663677\ 1811321263536924513517819019*c_1001_1^8 + 8384772302063212596564625234874641100259327553638/12852947686636771\ 811321263536924513517819019*c_1001_1^7 + 5599874910310988860295468422292099573110296463224/12852947686636771\ 811321263536924513517819019*c_1001_1^6 - 2655004699728018483534367971314721377822770329957/12852947686636771\ 811321263536924513517819019*c_1001_1^5 - 1642952293722419676484707479032860031465055491607/12852947686636771\ 811321263536924513517819019*c_1001_1^4 + 482006095149031548644946320553764919033612679487/128529476866367718\ 11321263536924513517819019*c_1001_1^3 + 266993743893342601918776979136897451867905381359/128529476866367718\ 11321263536924513517819019*c_1001_1^2 - 38551851024919077927762627436142793042337030296/1285294768663677181\ 1321263536924513517819019*c_1001_1 - 18041127484919200073987029324543252572307034755/1285294768663677181\ 1321263536924513517819019, c_0101_6 - 80760206222159353805335848285295497362072306/128529476866367\ 71811321263536924513517819019*c_1001_1^25 - 255670787855172283495334773468443523127648763/128529476866367718113\ 21263536924513517819019*c_1001_1^24 + 1831448537934899223280053101190361284089257784/12852947686636771811\ 321263536924513517819019*c_1001_1^23 + 1874066528500262498570780508452704932403007737/12852947686636771811\ 321263536924513517819019*c_1001_1^22 + 10727443159075011088913030995019059008661952162/1285294768663677181\ 1321263536924513517819019*c_1001_1^21 + 2355937393434629353168124332557025540291027373/12852947686636771811\ 321263536924513517819019*c_1001_1^20 - 250471229083438378359916789679980759371399926062/128529476866367718\ 11321263536924513517819019*c_1001_1^19 - 161075003191761142140892763507665711488160290514/128529476866367718\ 11321263536924513517819019*c_1001_1^18 + 1572888997697660226503557844161422048167546964918/12852947686636771\ 811321263536924513517819019*c_1001_1^17 + 1179172682137305620758031712498731767732722103614/12852947686636771\ 811321263536924513517819019*c_1001_1^16 - 5150782137513944568965697851689428551680626878941/12852947686636771\ 811321263536924513517819019*c_1001_1^15 - 4003706884172390366506503490721490827236302762987/12852947686636771\ 811321263536924513517819019*c_1001_1^14 + 9951902085820953668543480112290985916919313499756/12852947686636771\ 811321263536924513517819019*c_1001_1^13 + 7689211883998207618779807735931350265673432662257/12852947686636771\ 811321263536924513517819019*c_1001_1^12 - 12067165600951658614716618248460744222271872893080/1285294768663677\ 1811321263536924513517819019*c_1001_1^11 - 9084147958231767398099000582631661512297642655392/12852947686636771\ 811321263536924513517819019*c_1001_1^10 + 9461612876219276814831664530411332077408116988467/12852947686636771\ 811321263536924513517819019*c_1001_1^9 + 6835475009603771839026736393231635872536954341882/12852947686636771\ 811321263536924513517819019*c_1001_1^8 - 4805534988749564119822677105285534477517991630014/12852947686636771\ 811321263536924513517819019*c_1001_1^7 - 3277550842824169919214711847498028978245136552421/12852947686636771\ 811321263536924513517819019*c_1001_1^6 + 1531284142805261230753460779525777396107000438081/12852947686636771\ 811321263536924513517819019*c_1001_1^5 + 964696412802037076658699049503253613747162464440/128529476866367718\ 11321263536924513517819019*c_1001_1^4 - 279473985835633124523151594177455835606487339581/128529476866367718\ 11321263536924513517819019*c_1001_1^3 - 157189203906707434124551124153160856177912962509/128529476866367718\ 11321263536924513517819019*c_1001_1^2 + 22418299111249788502076199306441177734891791658/1285294768663677181\ 1321263536924513517819019*c_1001_1 + 10625484566155099920147157864878410340362673799/1285294768663677181\ 1321263536924513517819019, c_1001_1^26 + 4*c_1001_1^25 - 20*c_1001_1^24 - 42*c_1001_1^23 - 153*c_1001_1^22 - 141*c_1001_1^21 + 3072*c_1001_1^20 + 4580*c_1001_1^19 - 17698*c_1001_1^18 - 30751*c_1001_1^17 + 50899*c_1001_1^16 + 102069*c_1001_1^15 - 79689*c_1001_1^14 - 195546*c_1001_1^13 + 66169*c_1001_1^12 + 232327*c_1001_1^11 - 19495*c_1001_1^10 - 176768*c_1001_1^9 - 13154*c_1001_1^8 + 86258*c_1001_1^7 + 15294*c_1001_1^6 - 26109*c_1001_1^5 - 6388*c_1001_1^4 + 4462*c_1001_1^3 + 1278*c_1001_1^2 - 329*c_1001_1 - 101 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB