Magma V2.19-8 Tue Aug 20 2013 16:17:17 on localhost [Seed = 4206585389] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1520 geometric_solution 5.31966719 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 2310 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 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.071152151863 1.827171109249 0 1 1 0 0132 3201 2310 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.596206569141 0.341586601267 4 3 5 0 0132 1023 0132 0132 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 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.071020968053 0.791416587809 2 4 0 5 1023 3201 0132 3201 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 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.071020968053 0.791416587809 2 4 3 4 0132 2310 2310 3201 0 0 0 0 0 -1 0 1 -1 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.112484551877 1.253462782453 6 3 6 2 0132 2310 2310 0132 0 0 0 0 0 0 0 0 -1 0 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 0 0 1 0 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.666989511245 0.998427564938 5 5 6 6 0132 3201 2031 1302 0 0 0 0 0 -1 0 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 1 0 -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.492938282294 0.161357204077 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['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' : 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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(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' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0101_2'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : negation(d['c_0011_5']), 'c_1100_3' : negation(d['c_0011_5']), 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 2480376246175509226697782314114994436253027924366680068268/10495077\ 75519411746318068316326223923015375942356395741*c_0101_5^23 + 10033524962993231703624090231428432448910192893674302025746/1049507\ 775519411746318068316326223923015375942356395741*c_0101_5^22 - 9055432108514919698099114542175229628581307155632390736986/10495077\ 75519411746318068316326223923015375942356395741*c_0101_5^21 - 90835520726819875594033459894212804363802606807881114254025/2099015\ 551038823492636136632652447846030751884712791482*c_0101_5^20 + 137645462436117773116013369762739394665467046094201422899727/209901\ 5551038823492636136632652447846030751884712791482*c_0101_5^19 + 62368924156962549700246257919360959424274595956817091838827/2099015\ 551038823492636136632652447846030751884712791482*c_0101_5^18 - 342435237750908329908442049024477956946111868960817205059049/104950\ 7775519411746318068316326223923015375942356395741*c_0101_5^17 - 1241325668734060065808052742331057431350966186559244693496843/20990\ 15551038823492636136632652447846030751884712791482*c_0101_5^16 - 7579295401446719384135874505291821041519183437966006012277719/20990\ 15551038823492636136632652447846030751884712791482*c_0101_5^15 - 8630367567700021013881511149621168546326296654562099014076051/10495\ 07775519411746318068316326223923015375942356395741*c_0101_5^14 - 965295687227306989539445390370079488497918641846329184040149/807313\ 67347647057409082178178940301770413534027415057*c_0101_5^13 - 32311280398004509390229601583538516627998276814691692550540495/2099\ 015551038823492636136632652447846030751884712791482*c_0101_5^12 - 893251015555748623660011029179237865938516000786783909262803/617357\ 51501141867430474606842719054295022114256258573*c_0101_5^11 - 10651949479920581919493190184790735032136920853030534888933969/1049\ 507775519411746318068316326223923015375942356395741*c_0101_5^10 - 5379406637234718426481380824872179780005000805516436941821059/10495\ 07775519411746318068316326223923015375942356395741*c_0101_5^9 - 3411443546876184371008847706355508115390693999866096134425593/20990\ 15551038823492636136632652447846030751884712791482*c_0101_5^8 + 1226717118498659257202600993873794083944512791001696872415141/20990\ 15551038823492636136632652447846030751884712791482*c_0101_5^7 + 932246169755766135957377081060781680435372357478982665912461/209901\ 5551038823492636136632652447846030751884712791482*c_0101_5^6 + 276012106393079100683271189032570300349820080757355265626759/209901\ 5551038823492636136632652447846030751884712791482*c_0101_5^5 + 100713837457077121843550045233643449837579262398926449114297/104950\ 7775519411746318068316326223923015375942356395741*c_0101_5^4 - 27395531323704229184118548222887424285450991785655899325472/1049507\ 775519411746318068316326223923015375942356395741*c_0101_5^3 - 44020391972327956864488969593445932627489953185929525417003/2099015\ 551038823492636136632652447846030751884712791482*c_0101_5^2 + 1009693069991323555328396352371117492896426771080416610076/10495077\ 75519411746318068316326223923015375942356395741*c_0101_5 + 961253451938364235156870383306158536661074091878771551717/104950777\ 5519411746318068316326223923015375942356395741, c_0011_0 - 1, c_0011_2 + 2443483749649628509512111086737525093520640081054896/1637553\ 09021596465332823890829493512718891549751349*c_0101_5^23 + 9628958206353923205529578026774288139977423073070605/16375530902159\ 6465332823890829493512718891549751349*c_0101_5^22 - 9920060271971864784901815371233147220430394130869585/16375530902159\ 6465332823890829493512718891549751349*c_0101_5^21 - 43688809919220178182597407030856150248215596398767553/1637553090215\ 96465332823890829493512718891549751349*c_0101_5^20 + 72294638398945373559274133315156076678023375958080479/1637553090215\ 96465332823890829493512718891549751349*c_0101_5^19 + 23077501664982937237852221885972681791610174880919826/1637553090215\ 96465332823890829493512718891549751349*c_0101_5^18 - 339366289191353938063533801152132208926429993601331417/163755309021\ 596465332823890829493512718891549751349*c_0101_5^17 - 576176655838731673212683342607382252293229926626396995/163755309021\ 596465332823890829493512718891549751349*c_0101_5^16 - 3674149815646125828107057405991422421164125610134173017/16375530902\ 1596465332823890829493512718891549751349*c_0101_5^15 - 8118298115479803284467352454915862777299018528722020514/16375530902\ 1596465332823890829493512718891549751349*c_0101_5^14 - 11521600912533941332413208838604927370496527231212805816/1637553090\ 21596465332823890829493512718891549751349*c_0101_5^13 - 14718336346935651165979718797854344744606184298600018303/1637553090\ 21596465332823890829493512718891549751349*c_0101_5^12 - 13416973369029955110132242698788135646109313442786750523/1637553090\ 21596465332823890829493512718891549751349*c_0101_5^11 - 9077564710637266259502086255739844127230298515032001012/16375530902\ 1596465332823890829493512718891549751349*c_0101_5^10 - 4314513387297071318849229831817522417590191040492406889/16375530902\ 1596465332823890829493512718891549751349*c_0101_5^9 - 1181143365981023238246172060144564955828007828253994085/16375530902\ 1596465332823890829493512718891549751349*c_0101_5^8 + 772504278235580942300419758499829326481982721537253677/163755309021\ 596465332823890829493512718891549751349*c_0101_5^7 + 409941189270495426926257234602225391793909188799738095/163755309021\ 596465332823890829493512718891549751349*c_0101_5^6 + 111734629964043621104882019520774147381405691399326832/163755309021\ 596465332823890829493512718891549751349*c_0101_5^5 + 91244799897760021828187730476932259494325030470972094/1637553090215\ 96465332823890829493512718891549751349*c_0101_5^4 - 36222387993437111622605382862864972622598848658829681/1637553090215\ 96465332823890829493512718891549751349*c_0101_5^3 - 17611097027253827232658822741460977994039757707905362/1637553090215\ 96465332823890829493512718891549751349*c_0101_5^2 + 2196628299243678114409744696111723818567085157343421/16375530902159\ 6465332823890829493512718891549751349*c_0101_5 + 724741908150603393000362275579105295084450681951647/163755309021596\ 465332823890829493512718891549751349, c_0011_5 - 1148408858867573393343792788192810128390236318584829/1637553\ 09021596465332823890829493512718891549751349*c_0101_5^23 - 4736943343286684240874860391556332682581185968234685/16375530902159\ 6465332823890829493512718891549751349*c_0101_5^22 + 3940535459536314232561403939700845812973883993989344/16375530902159\ 6465332823890829493512718891549751349*c_0101_5^21 + 21824660195841176509227364304705249101266321205637934/1637553090215\ 96465332823890829493512718891549751349*c_0101_5^20 - 30668519112221769800465659546674523208222178797049747/1637553090215\ 96465332823890829493512718891549751349*c_0101_5^19 - 19048627364769083866215194621264764027391399275730880/1637553090215\ 96465332823890829493512718891549751349*c_0101_5^18 + 160884797616572144915696115335847320338978164132091065/163755309021\ 596465332823890829493512718891549751349*c_0101_5^17 + 300935057421129056605357508818471943647673730159741473/163755309021\ 596465332823890829493512718891549751349*c_0101_5^16 + 1761301145332035484643335034872898561286535114772602491/16375530902\ 1596465332823890829493512718891549751349*c_0101_5^15 + 4108062127188774116029642954391906361624114893014266833/16375530902\ 1596465332823890829493512718891549751349*c_0101_5^14 + 5950642257531794040168699668180772975174442296439239967/16375530902\ 1596465332823890829493512718891549751349*c_0101_5^13 + 7552260057674037690994008889940489364988825787659499322/16375530902\ 1596465332823890829493512718891549751349*c_0101_5^12 + 7066399108823030298626222846257749879584280886369282520/16375530902\ 1596465332823890829493512718891549751349*c_0101_5^11 + 4768134201943892649067947221507034243638651192868975931/16375530902\ 1596465332823890829493512718891549751349*c_0101_5^10 + 2215123739431237251280736367189004596097793276616578647/16375530902\ 1596465332823890829493512718891549751349*c_0101_5^9 + 519664463509214314222798880201863586761332088887061892/163755309021\ 596465332823890829493512718891549751349*c_0101_5^8 - 458362251903061654064790785535795471397369914792081705/163755309021\ 596465332823890829493512718891549751349*c_0101_5^7 - 316293897613204189221816610649160295111729266434468438/163755309021\ 596465332823890829493512718891549751349*c_0101_5^6 - 53648769528784808965170012768025966013700036748168642/1637553090215\ 96465332823890829493512718891549751349*c_0101_5^5 - 34715186845882503941922712562559734231608584327339112/1637553090215\ 96465332823890829493512718891549751349*c_0101_5^4 + 16537130678861112578425600686317748233353452929958218/1637553090215\ 96465332823890829493512718891549751349*c_0101_5^3 + 16441400305527498282952927478794685292392904136759532/1637553090215\ 96465332823890829493512718891549751349*c_0101_5^2 - 1060993608599699273647188894268943011349474653769406/16375530902159\ 6465332823890829493512718891549751349*c_0101_5 - 1090818291712506190909750537894670518459263519948946/16375530902159\ 6465332823890829493512718891549751349, c_0101_0 + 1665954263853473449455252084278937753978089568903872/1637553\ 09021596465332823890829493512718891549751349*c_0101_5^23 + 6566214281422928151850576737041975790921650323110411/16375530902159\ 6465332823890829493512718891549751349*c_0101_5^22 - 6782544512579383793664946306306852403833888324392035/16375530902159\ 6465332823890829493512718891549751349*c_0101_5^21 - 29877944327634480181352635580366143863484496283452918/1637553090215\ 96465332823890829493512718891549751349*c_0101_5^20 + 49394869586624530742893839513038780298348094289119508/1637553090215\ 96465332823890829493512718891549751349*c_0101_5^19 + 16152466253196589954476436258672899386667662808995298/1637553090215\ 96465332823890829493512718891549751349*c_0101_5^18 - 232205310649207619419773650864405036708751457323934791/163755309021\ 596465332823890829493512718891549751349*c_0101_5^17 - 392919330347391338967502805330886748804149793007076345/163755309021\ 596465332823890829493512718891549751349*c_0101_5^16 - 2502036006816116269145608011379235921982360728876253991/16375530902\ 1596465332823890829493512718891549751349*c_0101_5^15 - 5532406052074898050496930156873946063479116123912413308/16375530902\ 1596465332823890829493512718891549751349*c_0101_5^14 - 7824854166867511336815496234020279160988138080460785715/16375530902\ 1596465332823890829493512718891549751349*c_0101_5^13 - 9973013100149681320909505993425705329088283385973310454/16375530902\ 1596465332823890829493512718891549751349*c_0101_5^12 - 9064957745804266094547346714618910014766432269192377870/16375530902\ 1596465332823890829493512718891549751349*c_0101_5^11 - 6081394622593760940851794424400032597491135336026651426/16375530902\ 1596465332823890829493512718891549751349*c_0101_5^10 - 2854170342658029898060128320864137829061696422457331816/16375530902\ 1596465332823890829493512718891549751349*c_0101_5^9 - 753076530442953528399924341246666378298666671877674385/163755309021\ 596465332823890829493512718891549751349*c_0101_5^8 + 543804886772384040689821575627866852523129924225686134/163755309021\ 596465332823890829493512718891549751349*c_0101_5^7 + 276993271519733212006476578911577768250772161284825927/163755309021\ 596465332823890829493512718891549751349*c_0101_5^6 + 60660223823141338614249572456189920581363398481866493/1637553090215\ 96465332823890829493512718891549751349*c_0101_5^5 + 57267128092530419000334093092276978971803943081906112/1637553090215\ 96465332823890829493512718891549751349*c_0101_5^4 - 27319298762293830134182650623990547046840636041493639/1637553090215\ 96465332823890829493512718891549751349*c_0101_5^3 - 13273530380391165756327914076180660245645939150482954/1637553090215\ 96465332823890829493512718891549751349*c_0101_5^2 + 2125630157602086425212286643350558926434886872473459/16375530902159\ 6465332823890829493512718891549751349*c_0101_5 + 633735611520012658758899678123019854347865795953379/163755309021596\ 465332823890829493512718891549751349, c_0101_1 - 1680406928052311355625231690087115604990369536769113/1637553\ 09021596465332823890829493512718891549751349*c_0101_5^23 - 6849695265788174790156365528084215412474576000494224/16375530902159\ 6465332823890829493512718891549751349*c_0101_5^22 + 5951288832060980400118941018785245528721037346776467/16375530902159\ 6465332823890829493512718891549751349*c_0101_5^21 + 31057984678091527005976629248500943889448577429310802/1637553090215\ 96465332823890829493512718891549751349*c_0101_5^20 - 45820413810563966076942082620162891523290683091250422/1637553090215\ 96465332823890829493512718891549751349*c_0101_5^19 - 23013281406902149661480653014043299772390071114024413/1637553090215\ 96465332823890829493512718891549751349*c_0101_5^18 + 232322823386162956595544133599126653665433826821162972/163755309021\ 596465332823890829493512718891549751349*c_0101_5^17 + 427599364672021810312868270530070278297588378900149713/163755309021\ 596465332823890829493512718891549751349*c_0101_5^16 + 2576645184116439000350812572891709854378312931554098203/16375530902\ 1596465332823890829493512718891549751349*c_0101_5^15 + 5921575673128345320506395338085010950692050174000146557/16375530902\ 1596465332823890829493512718891549751349*c_0101_5^14 + 8643942622296276282061763504627060412854099939468033209/16375530902\ 1596465332823890829493512718891549751349*c_0101_5^13 + 11132936853285969524321053059462103448534156346462464459/1637553090\ 21596465332823890829493512718891549751349*c_0101_5^12 + 10528417787748468820071364445988273943371714671674537215/1637553090\ 21596465332823890829493512718891549751349*c_0101_5^11 + 7411201192896455950738222394795541421685420831080507719/16375530902\ 1596465332823890829493512718891549751349*c_0101_5^10 + 3768167299890311429301845199845386887521882350346868831/16375530902\ 1596465332823890829493512718891549751349*c_0101_5^9 + 1207555392836500607144172395600802313272075852707353079/16375530902\ 1596465332823890829493512718891549751349*c_0101_5^8 - 403806104828339766261440230460561036239304323290855207/163755309021\ 596465332823890829493512718891549751349*c_0101_5^7 - 333951669075716921684374817695645323095314137571009544/163755309021\ 596465332823890829493512718891549751349*c_0101_5^6 - 94772241836307999681532771094785271667686359175428197/1637553090215\ 96465332823890829493512718891549751349*c_0101_5^5 - 71436770704696271389347878335691241879895693523507981/1637553090215\ 96465332823890829493512718891549751349*c_0101_5^4 + 16908364938288086946725753189108619576842581971072303/1637553090215\ 96465332823890829493512718891549751349*c_0101_5^3 + 16162335165541803058139581276476630764529220480897874/1637553090215\ 96465332823890829493512718891549751349*c_0101_5^2 - 895752855801616003604543959227269181526541790088446/163755309021596\ 465332823890829493512718891549751349*c_0101_5 - 718073412494338501212107025484541830803136912536799/163755309021596\ 465332823890829493512718891549751349, c_0101_2 - 566429243297484598791712976419068203999972082515979/16375530\ 9021596465332823890829493512718891549751349*c_0101_5^23 - 2291520010345140164345711956770920123339818831653114/16375530902159\ 6465332823890829493512718891549751349*c_0101_5^22 + 2165971591955002990388607799561835070199994704299866/16375530902159\ 6465332823890829493512718891549751349*c_0101_5^21 + 10767575066740581544617793199681516358081378686933838/1637553090215\ 96465332823890829493512718891549751349*c_0101_5^20 - 16090046287844791824191225774736430583356820646000209/1637553090215\ 96465332823890829493512718891549751349*c_0101_5^19 - 8900294528818708503450048431266100083150948158272488/16375530902159\ 6465332823890829493512718891549751349*c_0101_5^18 + 81020622666880959058438215511177680198556179282068041/1637553090215\ 96465332823890829493512718891549751349*c_0101_5^17 + 142777144228596910386654049743257066044946542068513039/163755309021\ 596465332823890829493512718891549751349*c_0101_5^16 + 851882454392072679700329005015112326357222814134149704/163755309021\ 596465332823890829493512718891549751349*c_0101_5^15 + 1947237392136949595638723549819936892806114878536069637/16375530902\ 1596465332823890829493512718891549751349*c_0101_5^14 + 2715971370881893565282685055971650859399743918986955707/16375530902\ 1596465332823890829493512718891549751349*c_0101_5^13 + 3353001296732202464052116673667395611769138638485561782/16375530902\ 1596465332823890829493512718891549751349*c_0101_5^12 + 2979415180765851427734985587258711411802710247322725657/16375530902\ 1596465332823890829493512718891549751349*c_0101_5^11 + 1798917051195396585426949828384506002667483988384383120/16375530902\ 1596465332823890829493512718891549751349*c_0101_5^10 + 632920491603008536064936795233035969208147008412865021/163755309021\ 596465332823890829493512718891549751349*c_0101_5^9 - 34611186559679641116358092358298907174409361228710204/1637553090215\ 96465332823890829493512718891549751349*c_0101_5^8 - 361310758759656118453501743328754333022153114278746733/163755309021\ 596465332823890829493512718891549751349*c_0101_5^7 - 183277835324683640181427229785358226126283597957429860/163755309021\ 596465332823890829493512718891549751349*c_0101_5^6 - 13074138737438064669663464915011753028976151242879953/1637553090215\ 96465332823890829493512718891549751349*c_0101_5^5 - 7848094411768531787047769258368966495114953413636278/16375530902159\ 6465332823890829493512718891549751349*c_0101_5^4 + 12707383746368142382303460612239298063659237284563017/1637553090215\ 96465332823890829493512718891549751349*c_0101_5^3 + 9883260421241565696064041259242225054562664733066824/16375530902159\ 6465332823890829493512718891549751349*c_0101_5^2 - 1088150416619657449939494891607160065269963322732653/16375530902159\ 6465332823890829493512718891549751349*c_0101_5 - 776141840332889502593237417365961626854020138808692/163755309021596\ 465332823890829493512718891549751349, c_0101_5^24 + 26/7*c_0101_5^23 - 5*c_0101_5^22 - 120/7*c_0101_5^21 + 237/7*c_0101_5^20 + 25/7*c_0101_5^19 - 998/7*c_0101_5^18 - 1432/7*c_0101_5^17 - 10105/7*c_0101_5^16 - 20802/7*c_0101_5^15 - 27246/7*c_0101_5^14 - 4807*c_0101_5^13 - 27460/7*c_0101_5^12 - 15488/7*c_0101_5^11 - 4896/7*c_0101_5^10 + 429/7*c_0101_5^9 + 3421/7*c_0101_5^8 + 766/7*c_0101_5^7 - 71/7*c_0101_5^6 + 149/7*c_0101_5^5 - 174/7*c_0101_5^4 - 39/7*c_0101_5^3 + 25/7*c_0101_5^2 + 2/7*c_0101_5 - 1/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB