Magma V2.19-8 Tue Aug 20 2013 17:56:28 on localhost [Seed = 4305976] Type ? for help. Type -D to quit. Loading file "11_5__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_5 geometric_solution 9.90548557 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 11 1 2 1 3 0132 0132 1023 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 0 -1 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.579189387245 0.521536910789 0 4 0 5 0132 0132 1023 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 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 1.046540772030 0.858551954282 6 0 7 3 0132 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.412134689997 0.616864876846 2 8 0 9 3012 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 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.308297236726 0.734632248328 9 1 10 7 3120 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 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.567859726488 0.316181004799 8 10 1 10 2031 0132 0132 1230 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 -1 5 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.485942130985 0.638643558548 2 7 9 10 0132 1023 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 1 -1 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.250020110657 0.708105390964 6 8 4 2 1023 0321 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 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.720598451810 1.083255956432 9 3 5 7 1023 0132 1302 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 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.242734434188 1.113321152663 6 8 3 4 2031 1023 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.342487033591 0.928000761242 5 5 6 4 3012 0132 0132 0132 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 4 -5 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.764829252528 0.950191223513 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_0101_10'], 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_0101_0'], 'c_1001_6' : d['c_0101_7'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : d['c_0011_10'], 'c_1010_10' : d['c_1001_4'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : negation(d['1']), '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_10' : d['1'], 's_0_8' : negation(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_4']), 'c_1100_8' : d['c_0101_0'], 'c_1100_5' : d['c_0101_4'], 'c_1100_4' : d['c_0101_9'], 'c_1100_7' : d['c_0101_9'], 'c_1100_6' : d['c_0101_9'], 'c_1100_1' : d['c_0101_4'], 'c_1100_0' : negation(d['c_0101_4']), 'c_1100_3' : negation(d['c_0101_4']), 'c_1100_2' : d['c_0101_9'], 'c_1100_10' : d['c_0101_9'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : d['c_0101_10'], 'c_1010_5' : d['c_0101_10'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_0011_10'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0011_0']), 'c_1010_8' : d['c_1001_2'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(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' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : negation(d['1']), 's_1_8' : negation(d['1']), 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_0'], 'c_0110_6' : d['c_0101_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_10' : d['c_0101_4'], 'c_0011_6' : d['c_0011_0'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0011_10'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_7'], 'c_0110_8' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_9'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0011_10'], 'c_0110_4' : d['c_0101_7'], 'c_0110_7' : d['c_0101_10'], 'c_0011_10' : d['c_0011_10']})} 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_3, c_0101_0, c_0101_1, c_0101_10, c_0101_4, c_0101_7, c_0101_9, c_1001_2, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 48308957408847404214549454581339793439833/1873479000808137684935820\ 8588446630100838*c_1001_4^16 - 642201760914348597521919386441468575\ 75946/3122465001346896141559701431407771683473*c_1001_4^15 - 31733506732543652671919697106202745961807/4803792309764455602399540\ 66370426412842*c_1001_4^14 - 16304991873282043705343285543712422738\ 48231/18734790008081376849358208588446630100838*c_1001_4^13 + 2447032275887543870610431449563614560268957/18734790008081376849358\ 208588446630100838*c_1001_4^12 + 1436214789315398433603879242713786\ 2662795329/9367395004040688424679104294223315050419*c_1001_4^11 - 3951168412776593424581207105867245502120865/62449300026937922831194\ 02862815543366946*c_1001_4^10 - 37191934209047008508643164903521504\ 635582997/9367395004040688424679104294223315050419*c_1001_4^9 - 5635069252068236148221107661559735865472118/31224650013468961415597\ 01431407771683473*c_1001_4^8 + 242001853587166997888178779795365706\ 59043311/9367395004040688424679104294223315050419*c_1001_4^7 + 13548397939176781796591485782929866649562578/9367395004040688424679\ 104294223315050419*c_1001_4^6 - 12491152990053057366062288024255095\ 307951614/3122465001346896141559701431407771683473*c_1001_4^5 - 54440939748153898305509085029604602269612627/1873479000808137684935\ 8208588446630100838*c_1001_4^4 + 2919625707960555968249688148533896\ 2881404306/9367395004040688424679104294223315050419*c_1001_4^3 - 69484825572991063715235506134976964234895624/9367395004040688424679\ 104294223315050419*c_1001_4^2 + 10338078360549301748904214052728072\ 144380423/6244930002693792283119402862815543366946*c_1001_4 + 1635797648961683688426371142778105618970951/14411376929293366807198\ 62199111279238526, c_0011_0 - 1, c_0011_10 - 282402455517847020147175413052554341/2401896154882227801199\ 77033185213206421*c_1001_4^16 - 23655557353138050847842560788169494\ 56/240189615488222780119977033185213206421*c_1001_4^15 - 634033230406853813055002791758591061/184761242683248292399982333219\ 39477417*c_1001_4^14 - 13300740360385138503540225296445454100/24018\ 9615488222780119977033185213206421*c_1001_4^13 + 7540829190423799799541394877873896699/24018961548822278011997703318\ 5213206421*c_1001_4^12 + 169282145240708657099921768234175991473/24\ 0189615488222780119977033185213206421*c_1001_4^11 + 2145495911122188976009446880483942833/24018961548822278011997703318\ 5213206421*c_1001_4^10 - 398736306247887588211388602781245173025/24\ 0189615488222780119977033185213206421*c_1001_4^9 - 382167933091713240453135215070197676753/240189615488222780119977033\ 185213206421*c_1001_4^8 + 34466876671341463776513168763438752884/24\ 0189615488222780119977033185213206421*c_1001_4^7 + 138769726521783945043136818104912935760/240189615488222780119977033\ 185213206421*c_1001_4^6 - 262517626676745343739107986380325256486/2\ 40189615488222780119977033185213206421*c_1001_4^5 - 406560369555608057830879711199898694525/240189615488222780119977033\ 185213206421*c_1001_4^4 + 34861882393405454652516407225727068883/24\ 0189615488222780119977033185213206421*c_1001_4^3 - 812071271239337820430155584688907621413/240189615488222780119977033\ 185213206421*c_1001_4^2 - 7653149548781174623731172856196554533/240\ 189615488222780119977033185213206421*c_1001_4 - 2859426150174925597310844690155807052/18476124268324829239998233321\ 939477417, c_0011_3 - 274855346575010152351085599422305619/24018961548822278011997\ 7033185213206421*c_1001_4^16 - 193149867135253323251786060925013103\ 5/240189615488222780119977033185213206421*c_1001_4^15 - 382342003483920033234114311974431242/184761242683248292399982333219\ 39477417*c_1001_4^14 - 2605176263958254800587873068482380817/240189\ 615488222780119977033185213206421*c_1001_4^13 + 23013473754649939424569640761554307691/2401896154882227801199770331\ 85213206421*c_1001_4^12 + 151652198790442790524962987780751817910/2\ 40189615488222780119977033185213206421*c_1001_4^11 - 219738595583216595407716669838938579457/240189615488222780119977033\ 185213206421*c_1001_4^10 - 357918838455034953133487921967304780266/\ 240189615488222780119977033185213206421*c_1001_4^9 + 163794509422602479096291568466829692243/240189615488222780119977033\ 185213206421*c_1001_4^8 + 443269893746730673121571279133998483877/2\ 40189615488222780119977033185213206421*c_1001_4^7 - 6232383542882463353784743209665077388/24018961548822278011997703318\ 5213206421*c_1001_4^6 - 436593551285851945570601526254781750380/240\ 189615488222780119977033185213206421*c_1001_4^5 - 12369497695265732593444643110323763813/2401896154882227801199770331\ 85213206421*c_1001_4^4 + 473383542894170370650814129629321196947/24\ 0189615488222780119977033185213206421*c_1001_4^3 - 1038509720686478725324085530740714811342/24018961548822278011997703\ 3185213206421*c_1001_4^2 + 1067955309757323665335304959598006196137\ /240189615488222780119977033185213206421*c_1001_4 - 10691154949359882032864805331520901292/1847612426832482923999823332\ 1939477417, c_0101_0 - 4933077285034216770208704473448463/1847612426832482923999823\ 3321939477417*c_1001_4^16 - 40483151840592424105826937125273315/184\ 76124268324829239998233321939477417*c_1001_4^15 - 135815205876099538319082417066348068/184761242683248292399982333219\ 39477417*c_1001_4^14 - 195117570936117243149077055834275699/1847612\ 4268324829239998233321939477417*c_1001_4^13 + 228539184455625549727234935158807274/184761242683248292399982333219\ 39477417*c_1001_4^12 + 3059685094322617367218250129691975942/184761\ 24268324829239998233321939477417*c_1001_4^11 - 416517341508874013952190909541855435/184761242683248292399982333219\ 39477417*c_1001_4^10 - 7830853431278628931324727055353415922/184761\ 24268324829239998233321939477417*c_1001_4^9 - 7243220784652464503056618931846829829/18476124268324829239998233321\ 939477417*c_1001_4^8 + 5129504049893165471574549926912736518/184761\ 24268324829239998233321939477417*c_1001_4^7 + 8127628963651870793574412829364495385/18476124268324829239998233321\ 939477417*c_1001_4^6 - 5057300152706440445452680276951927012/184761\ 24268324829239998233321939477417*c_1001_4^5 - 12765116755845345394206068116389639673/1847612426832482923999823332\ 1939477417*c_1001_4^4 + 693741782063562650321447518808404871/184761\ 24268324829239998233321939477417*c_1001_4^3 - 11508260092145591166255041017367018959/1847612426832482923999823332\ 1939477417*c_1001_4^2 + 15004147166398699079189484099074803369/1847\ 6124268324829239998233321939477417*c_1001_4 + 1085576636215553685946473322897554373/18476124268324829239998233321\ 939477417, c_0101_1 - 58477809494371665822307793143076643/240189615488222780119977\ 033185213206421*c_1001_4^16 - 282154161557970873121724121642751040/\ 240189615488222780119977033185213206421*c_1001_4^15 - 670531852833483782193993267384437/184761242683248292399982333219394\ 77417*c_1001_4^14 + 2844534742906800496958129504988482025/240189615\ 488222780119977033185213206421*c_1001_4^13 + 9232119957438723583890934938796823346/24018961548822278011997703318\ 5213206421*c_1001_4^12 + 24739630858008622438181783296549797900/240\ 189615488222780119977033185213206421*c_1001_4^11 - 126289951423832403834949062099059668756/240189615488222780119977033\ 185213206421*c_1001_4^10 - 51907892636715590003235293844125576583/2\ 40189615488222780119977033185213206421*c_1001_4^9 + 284880082355970946694797405290446618074/240189615488222780119977033\ 185213206421*c_1001_4^8 + 197550445613719632321545259978302394046/2\ 40189615488222780119977033185213206421*c_1001_4^7 - 229081198738335675710399031709422287018/240189615488222780119977033\ 185213206421*c_1001_4^6 - 285681237781756169738774657357639931285/2\ 40189615488222780119977033185213206421*c_1001_4^5 + 270794514451396824667225180869124922269/240189615488222780119977033\ 185213206421*c_1001_4^4 + 397446126563956284353534445148639204390/2\ 40189615488222780119977033185213206421*c_1001_4^3 - 318565783669298430391146166866290865590/240189615488222780119977033\ 185213206421*c_1001_4^2 + 460867596652829892764799598062211608979/2\ 40189615488222780119977033185213206421*c_1001_4 + 3662069554168997574199372320951668216/18476124268324829239998233321\ 939477417, c_0101_10 + 137027956941037542330321281465137207/2401896154882227801199\ 77033185213206421*c_1001_4^16 + 11218042523903331293860780668521090\ 09/240189615488222780119977033185213206421*c_1001_4^15 + 295869448600698852324857644202404972/184761242683248292399982333219\ 39477417*c_1001_4^14 + 6265541516322250204821437034286379492/240189\ 615488222780119977033185213206421*c_1001_4^13 - 2787556623926609406666414976097714068/24018961548822278011997703318\ 5213206421*c_1001_4^12 - 77796116521573592329475141229127027433/240\ 189615488222780119977033185213206421*c_1001_4^11 + 13474337576935788424199595711096578607/2401896154882227801199770331\ 85213206421*c_1001_4^10 + 153093798710037430259464970940805092564/2\ 40189615488222780119977033185213206421*c_1001_4^9 + 131423355016067612036997681124764406298/240189615488222780119977033\ 185213206421*c_1001_4^8 + 49907993559093785399188715260011445472/24\ 0189615488222780119977033185213206421*c_1001_4^7 + 30526081765276557319579038015040338607/2401896154882227801199770331\ 85213206421*c_1001_4^6 + 124295422923260565728716797520725109476/24\ 0189615488222780119977033185213206421*c_1001_4^5 + 148148910859780836574871732219186667262/240189615488222780119977033\ 185213206421*c_1001_4^4 + 46961421516216254974555776579844048150/24\ 0189615488222780119977033185213206421*c_1001_4^3 + 558143514127885035924340210300293714236/240189615488222780119977033\ 185213206421*c_1001_4^2 - 137732104478334500553574777267692468217/2\ 40189615488222780119977033185213206421*c_1001_4 + 11010168857277317896923935309252921102/1847612426832482923999823332\ 1939477417, c_0101_4 - 11170926460356306985939308512397607/184761242683248292399982\ 33321939477417*c_1001_4^16 - 91889463155563010222417824720973657/18\ 476124268324829239998233321939477417*c_1001_4^15 - 310463905504486356718278624669292803/184761242683248292399982333219\ 39477417*c_1001_4^14 - 464646632204989255212801084207291028/1847612\ 4268324829239998233321939477417*c_1001_4^13 + 421168015066547199532951071000221698/184761242683248292399982333219\ 39477417*c_1001_4^12 + 6719696585306566553674834802862911273/184761\ 24268324829239998233321939477417*c_1001_4^11 - 994675626867390076659370493725188921/184761242683248292399982333219\ 39477417*c_1001_4^10 - 16810680563971213516097509387825981400/18476\ 124268324829239998233321939477417*c_1001_4^9 - 13083601309887860318294609552388612005/1847612426832482923999823332\ 1939477417*c_1001_4^8 + 5336085217183477708110029278313030309/18476\ 124268324829239998233321939477417*c_1001_4^7 + 10375605945721450696433140497705169470/1847612426832482923999823332\ 1939477417*c_1001_4^6 - 10922857618819588612991038105059873548/1847\ 6124268324829239998233321939477417*c_1001_4^5 - 17325739912439148740973646501807129859/1847612426832482923999823332\ 1939477417*c_1001_4^4 - 3206252974203164130055633467648642070/18476\ 124268324829239998233321939477417*c_1001_4^3 - 36782148556524227167787777280040457919/1847612426832482923999823332\ 1939477417*c_1001_4^2 - 5951463250563269602697339115597897590/18476\ 124268324829239998233321939477417*c_1001_4 - 2498749536766450945982378052143589081/18476124268324829239998233321\ 939477417, c_0101_7 - 586701705518537479693157924448572361/24018961548822278011997\ 7033185213206421*c_1001_4^16 - 441182852205921013423238031005983413\ 7/240189615488222780119977033185213206421*c_1001_4^15 - 999030425086465341074205951029910276/184761242683248292399982333219\ 39477417*c_1001_4^14 - 13655461531351205355901440249433398473/24018\ 9615488222780119977033185213206421*c_1001_4^13 + 36493039267287456093493026462396227528/2401896154882227801199770331\ 85213206421*c_1001_4^12 + 332004462168747664585655866053386978170/2\ 40189615488222780119977033185213206421*c_1001_4^11 - 300507645733914069831850670230014054961/240189615488222780119977033\ 185213206421*c_1001_4^10 - 788605093893105620914066072845448536444/\ 240189615488222780119977033185213206421*c_1001_4^9 - 35405057949697523923754918539186237746/2401896154882227801199770331\ 85213206421*c_1001_4^8 + 698012328287493891847572774261383585116/24\ 0189615488222780119977033185213206421*c_1001_4^7 + 30975480604588764682407663333871266570/2401896154882227801199770331\ 85213206421*c_1001_4^6 - 1087344256922897197394637740663757901715/2\ 40189615488222780119977033185213206421*c_1001_4^5 - 378284934696164480233416423838048513769/240189615488222780119977033\ 185213206421*c_1001_4^4 + 863059827707514541148617457018643425157/2\ 40189615488222780119977033185213206421*c_1001_4^3 - 1916736747290584294742518065862140111829/24018961548822278011997703\ 3185213206421*c_1001_4^2 + 1235815643288648386581926633534990912610\ /240189615488222780119977033185213206421*c_1001_4 - 20546122147371039569009664835089061767/1847612426832482923999823332\ 1939477417, c_0101_9 - 16742701337203452715397686721070364/184761242683248292399982\ 33321939477417*c_1001_4^16 - 133889834110017194206282960741961131/1\ 8476124268324829239998233321939477417*c_1001_4^15 - 438477091609757685761859508373283203/184761242683248292399982333219\ 39477417*c_1001_4^14 - 626279677100175602004313543139496889/1847612\ 4268324829239998233321939477417*c_1001_4^13 + 679363682091705105236971039723994678/184761242683248292399982333219\ 39477417*c_1001_4^12 + 9811573258077848935974351514937880136/184761\ 24268324829239998233321939477417*c_1001_4^11 - 3413609065636082722006009182116711290/18476124268324829239998233321\ 939477417*c_1001_4^10 - 21759405276534856571486515665107474288/1847\ 6124268324829239998233321939477417*c_1001_4^9 - 14948666741159437883231730529405483797/1847612426832482923999823332\ 1939477417*c_1001_4^8 + 5304942393389594493844618319973669940/18476\ 124268324829239998233321939477417*c_1001_4^7 + 7411708212919216940091928145317212997/18476124268324829239998233321\ 939477417*c_1001_4^6 - 12418947954906344078387516199423316279/18476\ 124268324829239998233321939477417*c_1001_4^5 - 10524090854717058301305596435168577281/1847612426832482923999823332\ 1939477417*c_1001_4^4 + 2509188714347091937615886275384121750/18476\ 124268324829239998233321939477417*c_1001_4^3 - 55844108838644129914539394976753556653/1847612426832482923999823332\ 1939477417*c_1001_4^2 + 21084590721704482331352624435710874010/1847\ 6124268324829239998233321939477417*c_1001_4 - 8712698807956540921957526340728995066/18476124268324829239998233321\ 939477417, c_1001_2 - 4933077285034216770208704473448463/1847612426832482923999823\ 3321939477417*c_1001_4^16 - 40483151840592424105826937125273315/184\ 76124268324829239998233321939477417*c_1001_4^15 - 135815205876099538319082417066348068/184761242683248292399982333219\ 39477417*c_1001_4^14 - 195117570936117243149077055834275699/1847612\ 4268324829239998233321939477417*c_1001_4^13 + 228539184455625549727234935158807274/184761242683248292399982333219\ 39477417*c_1001_4^12 + 3059685094322617367218250129691975942/184761\ 24268324829239998233321939477417*c_1001_4^11 - 416517341508874013952190909541855435/184761242683248292399982333219\ 39477417*c_1001_4^10 - 7830853431278628931324727055353415922/184761\ 24268324829239998233321939477417*c_1001_4^9 - 7243220784652464503056618931846829829/18476124268324829239998233321\ 939477417*c_1001_4^8 + 5129504049893165471574549926912736518/184761\ 24268324829239998233321939477417*c_1001_4^7 + 8127628963651870793574412829364495385/18476124268324829239998233321\ 939477417*c_1001_4^6 - 5057300152706440445452680276951927012/184761\ 24268324829239998233321939477417*c_1001_4^5 - 12765116755845345394206068116389639673/1847612426832482923999823332\ 1939477417*c_1001_4^4 + 693741782063562650321447518808404871/184761\ 24268324829239998233321939477417*c_1001_4^3 - 11508260092145591166255041017367018959/1847612426832482923999823332\ 1939477417*c_1001_4^2 + 15004147166398699079189484099074803369/1847\ 6124268324829239998233321939477417*c_1001_4 + 1085576636215553685946473322897554373/18476124268324829239998233321\ 939477417, c_1001_4^17 + 8*c_1001_4^16 + 26*c_1001_4^15 + 36*c_1001_4^14 - 44*c_1001_4^13 - 586*c_1001_4^12 + 227*c_1001_4^11 + 1429*c_1001_4^10 + 716*c_1001_4^9 - 698*c_1001_4^8 - 284*c_1001_4^7 + 1509*c_1001_4^6 + 1032*c_1001_4^5 - 955*c_1001_4^4 + 3196*c_1001_4^3 - 614*c_1001_4^2 + 65*c_1001_4 + 169 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.220 Total time: 0.440 seconds, Total memory usage: 32.09MB