Magma V2.19-8 Tue Aug 20 2013 23:38:53 on localhost [Seed = 576996957] Type ? for help. Type -D to quit. Loading file "K12n305__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n305 geometric_solution 9.08469459 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 2 0132 0132 0132 2310 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 -18 18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.940755444518 0.652140820204 0 4 6 5 0132 0132 0132 0132 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 1 -1 0 0 0 0 0 0 0 0 0 18 0 -18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.682455496132 0.568925553495 0 0 7 7 3201 0132 3201 0132 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 19 -19 0 0 0 0 0 -18 18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.545693872510 0.314717239684 5 4 8 0 0132 0213 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 -1 1 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.032968769686 0.890077467383 8 1 3 7 2310 0132 0213 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 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.270940499053 0.552543470334 3 8 1 9 0132 3120 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 -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.625114380130 0.379914971770 10 9 9 1 0132 0321 2103 0132 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 -1 1 1 0 -1 0 0 -18 0 18 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.949710767263 0.598611636444 2 4 2 10 2310 0321 0132 0132 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 -18 0 19 -1 -19 0 0 19 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.162505022510 0.824770273449 10 5 4 3 3120 3120 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.715424265818 1.459003020879 6 10 5 6 2103 0132 0132 0321 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 1 0 0 -1 1 -19 0 18 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.949710767263 0.598611636444 6 9 7 8 0132 0132 0132 3120 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 -1 0 1 0 0 0 0 0 0 19 -19 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.892924904968 1.183844158756 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_1001_1'], 'c_1001_5' : d['c_0011_3'], 'c_1001_4' : d['c_0011_3'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_0011_10']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_3'], 'c_1001_2' : negation(d['c_0101_7']), 'c_1001_9' : negation(d['c_0011_8']), 'c_1001_8' : negation(d['c_0011_3']), 'c_1010_10' : negation(d['c_0011_8']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0101_1'], 's_2_0' : negation(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_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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0011_10']), 'c_1100_4' : d['c_1001_0'], 'c_1100_7' : negation(d['c_0011_7']), 'c_1100_6' : negation(d['c_0011_10']), 'c_1100_1' : negation(d['c_0011_10']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_7']), 'c_1100_10' : negation(d['c_0011_7']), 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : negation(d['c_0011_8']), 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : negation(d['c_0101_7']), 'c_1010_9' : d['c_1001_1'], 'c_1010_8' : d['c_0011_3'], 'c_1100_8' : negation(d['c_0011_0']), 's_3_1' : negation(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' : negation(d['1']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(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' : negation(d['1']), 'c_0011_9' : negation(d['c_0011_10']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], '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_10' : d['c_0101_3'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_3'], 'c_0101_8' : d['c_0011_7'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_10'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0011_7']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_1']})} 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_0011_7, c_0011_8, c_0101_0, c_0101_1, c_0101_3, c_0101_7, c_1001_0, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 72228067821641381178480520878109952/2624291276312405288774793880161\ *c_1001_1^19 - 278584838542135482972019489240763584/262429127631240\ 5288774793880161*c_1001_1^18 - 10809472982368623146507038293571840/\ 874763758770801762924931293387*c_1001_1^17 + 510194062216720561058480396090915072/262429127631240528877479388016\ 1*c_1001_1^16 - 84371990517365710236698775861909760/874763758770801\ 762924931293387*c_1001_1^15 - 69344133198804152988669754051528376/2\ 624291276312405288774793880161*c_1001_1^14 - 25790413614133048933434266630749126/2624291276312405288774793880161\ *c_1001_1^13 + 62884492692246122905720637638157593/8747637587708017\ 62924931293387*c_1001_1^12 - 53973278882191583065725858123164842/87\ 4763758770801762924931293387*c_1001_1^11 - 85950634548178463045431485196398899/874763758770801762924931293387*\ c_1001_1^10 + 157243362793475879484535422343676818/2624291276312405\ 288774793880161*c_1001_1^9 + 65631508220817232042308081804137914/26\ 24291276312405288774793880161*c_1001_1^8 - 108177509971129027721520424516915306/262429127631240528877479388016\ 1*c_1001_1^7 - 5554990162626023807055530678962712/29158791959026725\ 4308310431129*c_1001_1^6 - 10119220406072694368823307476271747/8747\ 63758770801762924931293387*c_1001_1^5 + 98252232142156793707187711380842679/2624291276312405288774793880161\ *c_1001_1^4 - 31948586400528653251985557809953191/26242912763124052\ 88774793880161*c_1001_1^3 + 254065417644168997395619993856572/97195\ 973196755751436103477043*c_1001_1^2 - 8909988072451987524365031835957796/2624291276312405288774793880161*\ c_1001_1 + 8058068682123711255106109026063852/262429127631240528877\ 4793880161, c_0011_0 - 1, c_0011_10 + 67367582486598594226937837184/32398657732251917145367825681\ *c_1001_1^19 + 117051998570402917614741881280/323986577322519171453\ 67825681*c_1001_1^18 - 528977322013622043260027948288/3239865773225\ 1917145367825681*c_1001_1^17 - 555117484899893576846991169408/32398\ 657732251917145367825681*c_1001_1^16 + 1303140169795936501200411840960/32398657732251917145367825681*c_100\ 1_1^15 - 389079043431547168715057671508/323986577322519171453678256\ 81*c_1001_1^14 - 262072156917333648194641431288/3239865773225191714\ 5367825681*c_1001_1^13 - 116287293712731405091255061491/32398657732\ 251917145367825681*c_1001_1^12 + 497791881226834325022580926492/323\ 98657732251917145367825681*c_1001_1^11 - 100115002076290285946438382385/32398657732251917145367825681*c_1001\ _1^10 - 665300182397415429569377710932/3239865773225191714536782568\ 1*c_1001_1^9 + 281738956935862026719634854079/323986577322519171453\ 67825681*c_1001_1^8 + 274435511855885637586972832835/32398657732251\ 917145367825681*c_1001_1^7 - 224773643450355368872926621623/3239865\ 7732251917145367825681*c_1001_1^6 - 65225332623083179794597854378/32398657732251917145367825681*c_1001_\ 1^5 - 118893148972870573803350855933/32398657732251917145367825681*\ c_1001_1^4 + 160828440736327389947794594379/32398657732251917145367\ 825681*c_1001_1^3 - 48175144388729333476538519915/32398657732251917\ 145367825681*c_1001_1^2 + 19917209026514512278005979674/32398657732\ 251917145367825681*c_1001_1 - 13398256086571429454065046922/3239865\ 7732251917145367825681, c_0011_3 - 46632147329622946124363229120/32398657732251917145367825681*\ c_1001_1^19 - 146861638821971760560779052032/3239865773225191714536\ 7825681*c_1001_1^18 + 159082167801592887750228496128/32398657732251\ 917145367825681*c_1001_1^17 + 575436502922709206949782539712/323986\ 57732251917145367825681*c_1001_1^16 - 228768970210105563633520407776/32398657732251917145367825681*c_1001\ _1^15 - 137804615781618669942243996514/3239865773225191714536782568\ 1*c_1001_1^14 + 56147336304898502628577439559/323986577322519171453\ 67825681*c_1001_1^13 + 19788906770797430552707445114/32398657732251\ 917145367825681*c_1001_1^12 - 111504492772577426451403085103/323986\ 57732251917145367825681*c_1001_1^11 - 177015194426406096209778317679/32398657732251917145367825681*c_1001\ _1^10 + 331978759922910849407567262212/3239865773225191714536782568\ 1*c_1001_1^9 + 152643177189098806857369264934/323986577322519171453\ 67825681*c_1001_1^8 - 87462106422551308842980115902/323986577322519\ 17145367825681*c_1001_1^7 + 98745892828236109389172872847/323986577\ 32251917145367825681*c_1001_1^6 + 15924558248494984508640402862/323\ 98657732251917145367825681*c_1001_1^5 + 85675109078469906510237386957/32398657732251917145367825681*c_1001_\ 1^4 - 10511966443036344437840059033/32398657732251917145367825681*c\ _1001_1^3 + 12237845937694190507509959179/3239865773225191714536782\ 5681*c_1001_1^2 + 8608070212795193072665129912/32398657732251917145\ 367825681*c_1001_1 - 24372381755311799113540424147/3239865773225191\ 7145367825681, c_0011_7 + 67125573437935259411455996928/32398657732251917145367825681*\ c_1001_1^19 + 54135410491626335061022820480/32398657732251917145367\ 825681*c_1001_1^18 - 758470498671217037095753066112/323986577322519\ 17145367825681*c_1001_1^17 - 510694961888581374310077744064/3239865\ 7732251917145367825681*c_1001_1^16 + 1861112021168567536016492696064/32398657732251917145367825681*c_100\ 1_1^15 - 712881536854582668030731445472/323986577322519171453678256\ 81*c_1001_1^14 - 557634720537974701242027527508/3239865773225191714\ 5367825681*c_1001_1^13 + 77743220533614595987351226722/323986577322\ 51917145367825681*c_1001_1^12 + 705550131416044153871199740604/3239\ 8657732251917145367825681*c_1001_1^11 - 331530491785356193755135254919/32398657732251917145367825681*c_1001\ _1^10 - 920649233568892086004488798720/3239865773225191714536782568\ 1*c_1001_1^9 + 525524379659668292908635531663/323986577322519171453\ 67825681*c_1001_1^8 + 387489573194987039009580924037/32398657732251\ 917145367825681*c_1001_1^7 - 437132937678757626749581867323/3239865\ 7732251917145367825681*c_1001_1^6 - 103401851768149581248563399115/32398657732251917145367825681*c_1001\ _1^5 - 60690384774580168779414230186/32398657732251917145367825681*\ c_1001_1^4 + 280079323751532474369587230193/32398657732251917145367\ 825681*c_1001_1^3 - 81687127694740282425997929082/32398657732251917\ 145367825681*c_1001_1^2 - 30562991019082963684665748841/32398657732\ 251917145367825681*c_1001_1 - 18431083123663982433773002243/3239865\ 7732251917145367825681, c_0011_8 + 21552480944969398619959257280/32398657732251917145367825681*\ c_1001_1^19 - 129480832540770794846505263488/3239865773225191714536\ 7825681*c_1001_1^18 - 794584841033871965078431065728/32398657732251\ 917145367825681*c_1001_1^17 - 137879519347979519928210436032/323986\ 57732251917145367825681*c_1001_1^16 + 1787794581453840718943770977568/32398657732251917145367825681*c_100\ 1_1^15 - 729103754574081441311060222886/323986577322519171453678256\ 81*c_1001_1^14 - 356107863065232479862839616191/3239865773225191714\ 5367825681*c_1001_1^13 + 14989968162722324334306960560/323986577322\ 51917145367825681*c_1001_1^12 + 495787188298935172569801808397/3239\ 8657732251917145367825681*c_1001_1^11 - 430871670216660249807849508117/32398657732251917145367825681*c_1001\ _1^10 - 817726120970172316606891530655/3239865773225191714536782568\ 1*c_1001_1^9 + 615670753728360743972012521461/323986577322519171453\ 67825681*c_1001_1^8 + 307965319596440710359344377336/32398657732251\ 917145367825681*c_1001_1^7 - 347272444789979171509023874061/3239865\ 7732251917145367825681*c_1001_1^6 - 36896248661961268396056052008/32398657732251917145367825681*c_1001_\ 1^5 - 68461978887127574044221319906/32398657732251917145367825681*c\ _1001_1^4 + 266559149520608333514846864175/323986577322519171453678\ 25681*c_1001_1^3 - 66644911218864703698177061663/323986577322519171\ 45367825681*c_1001_1^2 + 10396111778950361076910439176/323986577322\ 51917145367825681*c_1001_1 - 12916411820937464852830490731/32398657\ 732251917145367825681, c_0101_0 - 214366883260114702584801167232/32398657732251917145367825681\ *c_1001_1^19 - 825596072109152296507209063040/323986577322519171453\ 67825681*c_1001_1^18 - 40815947823034558429885765568/32398657732251\ 917145367825681*c_1001_1^17 + 1693298087573729387487852703744/32398\ 657732251917145367825681*c_1001_1^16 - 811472222841550080291307440960/32398657732251917145367825681*c_1001\ _1^15 - 590148670171974592519451526020/3239865773225191714536782568\ 1*c_1001_1^14 + 249752502468323698229207218850/32398657732251917145\ 367825681*c_1001_1^13 + 579689681219915542474719746364/323986577322\ 51917145367825681*c_1001_1^12 - 592690925942323062402831242967/3239\ 8657732251917145367825681*c_1001_1^11 - 808423665477344074175960803856/32398657732251917145367825681*c_1001\ _1^10 + 607333672287151890316347527919/3239865773225191714536782568\ 1*c_1001_1^9 + 295191909717826057318828928261/323986577322519171453\ 67825681*c_1001_1^8 - 497965488606886455591213864539/32398657732251\ 917145367825681*c_1001_1^7 - 138013475572084949382595397531/3239865\ 7732251917145367825681*c_1001_1^6 + 26363093277742120769817765830/32398657732251917145367825681*c_1001_\ 1^5 + 263297930392048659516723230961/32398657732251917145367825681*\ c_1001_1^4 - 79589453524804805569389929178/323986577322519171453678\ 25681*c_1001_1^3 - 70303508346109049828161574186/323986577322519171\ 45367825681*c_1001_1^2 - 12138060613857551863949002531/323986577322\ 51917145367825681*c_1001_1 + 33447494817219655573671825633/32398657\ 732251917145367825681, c_0101_1 + 21552480944969398619959257280/32398657732251917145367825681*\ c_1001_1^19 - 129480832540770794846505263488/3239865773225191714536\ 7825681*c_1001_1^18 - 794584841033871965078431065728/32398657732251\ 917145367825681*c_1001_1^17 - 137879519347979519928210436032/323986\ 57732251917145367825681*c_1001_1^16 + 1787794581453840718943770977568/32398657732251917145367825681*c_100\ 1_1^15 - 729103754574081441311060222886/323986577322519171453678256\ 81*c_1001_1^14 - 356107863065232479862839616191/3239865773225191714\ 5367825681*c_1001_1^13 + 14989968162722324334306960560/323986577322\ 51917145367825681*c_1001_1^12 + 495787188298935172569801808397/3239\ 8657732251917145367825681*c_1001_1^11 - 430871670216660249807849508117/32398657732251917145367825681*c_1001\ _1^10 - 817726120970172316606891530655/3239865773225191714536782568\ 1*c_1001_1^9 + 615670753728360743972012521461/323986577322519171453\ 67825681*c_1001_1^8 + 307965319596440710359344377336/32398657732251\ 917145367825681*c_1001_1^7 - 347272444789979171509023874061/3239865\ 7732251917145367825681*c_1001_1^6 - 36896248661961268396056052008/32398657732251917145367825681*c_1001_\ 1^5 - 68461978887127574044221319906/32398657732251917145367825681*c\ _1001_1^4 + 266559149520608333514846864175/323986577322519171453678\ 25681*c_1001_1^3 - 66644911218864703698177061663/323986577322519171\ 45367825681*c_1001_1^2 + 10396111778950361076910439176/323986577322\ 51917145367825681*c_1001_1 - 12916411820937464852830490731/32398657\ 732251917145367825681, c_0101_3 - c_1001_1, c_0101_7 + 536467813634038093286110307776/32398657732251917145367825681\ *c_1001_1^19 + 2114241802653509194127927465472/32398657732251917145\ 367825681*c_1001_1^18 + 425833466275734531684913966912/323986577322\ 51917145367825681*c_1001_1^17 - 3718511423533598128561291569728/323\ 98657732251917145367825681*c_1001_1^16 + 1572302025765046354507666866976/32398657732251917145367825681*c_100\ 1_1^15 + 505262560286043537795918471090/323986577322519171453678256\ 81*c_1001_1^14 + 230067629104580943457413170065/3239865773225191714\ 5367825681*c_1001_1^13 - 1109510751682453178099438322788/3239865773\ 2251917145367825681*c_1001_1^12 + 1002599656147083418889179593274/3\ 2398657732251917145367825681*c_1001_1^11 + 1853839347524179937274622864673/32398657732251917145367825681*c_100\ 1_1^10 - 914430675546989151336401874732/323986577322519171453678256\ 81*c_1001_1^9 - 432403367439568533300938355511/32398657732251917145\ 367825681*c_1001_1^8 + 697068845147224851616513255203/3239865773225\ 1917145367825681*c_1001_1^7 + 316863382384351620783048714947/323986\ 57732251917145367825681*c_1001_1^6 + 352079493174714385437200005463/32398657732251917145367825681*c_1001\ _1^5 - 642846055325664155378517977867/32398657732251917145367825681\ *c_1001_1^4 + 101911921919995248220780588567/3239865773225191714536\ 7825681*c_1001_1^3 - 59013028743281140553046972270/3239865773225191\ 7145367825681*c_1001_1^2 + 80879833179516371671364098945/3239865773\ 2251917145367825681*c_1001_1 - 13164256994177497489247829044/323986\ 57732251917145367825681, c_1001_0 + 100886381938009446493306986176/32398657732251917145367825681\ *c_1001_1^19 + 281947797721660872902678187008/323986577322519171453\ 67825681*c_1001_1^18 - 296561897803174796919951193984/3239865773225\ 1917145367825681*c_1001_1^17 - 362256723120075916573435105984/32398\ 657732251917145367825681*c_1001_1^16 + 1649167282671370783299599970080/32398657732251917145367825681*c_100\ 1_1^15 - 571634189238712206995928465558/323986577322519171453678256\ 81*c_1001_1^14 - 555519804587955217644786275203/3239865773225191714\ 5367825681*c_1001_1^13 - 33148464896346480602137100446/323986577322\ 51917145367825681*c_1001_1^12 + 504613195854751529680446549629/3239\ 8657732251917145367825681*c_1001_1^11 + 77159606995734722903945468937/32398657732251917145367825681*c_1001_\ 1^10 - 626105625707930634070288371767/32398657732251917145367825681\ *c_1001_1^9 + 568984946039721228128051169737/3239865773225191714536\ 7825681*c_1001_1^8 + 589977872287854518988098475810/323986577322519\ 17145367825681*c_1001_1^7 - 267333926359315539300993488307/32398657\ 732251917145367825681*c_1001_1^6 + 13501837358769028114351596376/32398657732251917145367825681*c_1001_\ 1^5 - 66169838108388789857719823412/32398657732251917145367825681*c\ _1001_1^4 + 288120332187895280397094080713/323986577322519171453678\ 25681*c_1001_1^3 - 39227988564919298088142345469/323986577322519171\ 45367825681*c_1001_1^2 - 47092179355977539548488514578/323986577322\ 51917145367825681*c_1001_1 - 14373666424988181919216841641/32398657\ 732251917145367825681, c_1001_1^20 + 4*c_1001_1^19 + c_1001_1^18 - 7*c_1001_1^17 + 5/2*c_1001_1^16 + 47/32*c_1001_1^15 + 31/64*c_1001_1^14 - 41/16*c_1001_1^13 + 15/8*c_1001_1^12 + 249/64*c_1001_1^11 - 107/64*c_1001_1^10 - 39/32*c_1001_1^9 + 11/8*c_1001_1^8 + 29/32*c_1001_1^7 + 33/64*c_1001_1^6 - 83/64*c_1001_1^5 + 1/4*c_1001_1^4 - 1/32*c_1001_1^3 + 7/64*c_1001_1^2 - 3/32*c_1001_1 - 1/64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.220 Total time: 0.430 seconds, Total memory usage: 32.09MB