Magma V2.19-8 Tue Aug 20 2013 16:16:25 on localhost [Seed = 2766485577] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0697 geometric_solution 4.65489456 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 -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.673263133766 0.067095267052 2 0 2 0 0132 2310 1023 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 0 -1 1 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.856039702301 0.079469744483 1 3 1 3 0132 0132 1023 1023 0 0 0 0 0 0 -1 1 1 0 0 -1 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 -1 -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.768296388219 0.233315065519 4 2 5 2 0132 0132 0132 1023 0 0 0 0 0 0 -1 1 1 0 0 -1 1 0 0 -1 0 1 -1 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 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.093888632150 1.015538763914 3 5 6 5 0132 0213 0132 1230 0 0 0 0 0 0 0 0 -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 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.630293537374 0.726506040732 4 6 4 3 3012 3201 0213 0132 0 0 0 0 0 -1 0 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 -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.630293537374 0.726506040732 6 6 5 4 1230 3012 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.318661222650 0.785343190400 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : 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_5'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_1']), 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_0'], '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_1']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_6'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_6'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0011_6'], 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 164892656689135881073928182462296151493768819142399/783293345835621\ 403371137527720827222163929480491*c_0101_6^24 - 2455214366462445295821771025402278406545426997477087/78329334583562\ 1403371137527720827222163929480491*c_0101_6^23 - 11279358442333879910596773306881647812810562602834052/7832933458356\ 21403371137527720827222163929480491*c_0101_6^22 - 1676071807295843291704116429813993489842902595942482/78329334583562\ 1403371137527720827222163929480491*c_0101_6^21 + 138111311727490141014469593982419294595181764376439068/783293345835\ 621403371137527720827222163929480491*c_0101_6^20 + 335562649559561585265893441167137977041227679357680657/783293345835\ 621403371137527720827222163929480491*c_0101_6^19 - 307371767096922061339890637073153262489889097959940644/783293345835\ 621403371137527720827222163929480491*c_0101_6^18 - 1985522032359944145826526872852037101525926830861321931/78329334583\ 5621403371137527720827222163929480491*c_0101_6^17 - 436090011642886810200586375132773535169734952033348218/783293345835\ 621403371137527720827222163929480491*c_0101_6^16 + 315363903647313369935020711574618530776109495212976384/412259655702\ 95863335323027774780380113891025289*c_0101_6^15 + 3438889761018305322357864154910104670825342067728894035/78329334583\ 5621403371137527720827222163929480491*c_0101_6^14 - 11676552281216110791347750262937798818077261509953236621/7832933458\ 35621403371137527720827222163929480491*c_0101_6^13 - 7070690753706041176395589086848804762651998430840925087/78329334583\ 5621403371137527720827222163929480491*c_0101_6^12 + 14895041118191872661615402379012326781132528317910501361/7832933458\ 35621403371137527720827222163929480491*c_0101_6^11 + 6951133484183287597882967690504627169391021401130844462/78329334583\ 5621403371137527720827222163929480491*c_0101_6^10 - 11947693749162648679852901316812828301340869943488586687/7832933458\ 35621403371137527720827222163929480491*c_0101_6^9 - 180638070391608214295203885225208838682040202370739215/412259655702\ 95863335323027774780380113891025289*c_0101_6^8 + 5948725514515804818148675967655045632816579426762114133/78329334583\ 5621403371137527720827222163929480491*c_0101_6^7 + 501128515619516586880903608909965445415532266867110215/783293345835\ 621403371137527720827222163929480491*c_0101_6^6 - 1617796783332812406815066228126223333930992249181441123/78329334583\ 5621403371137527720827222163929480491*c_0101_6^5 + 136036267797926298057944404707565503805787482819646084/783293345835\ 621403371137527720827222163929480491*c_0101_6^4 + 189256284085914962222405890634504431285951288676233447/783293345835\ 621403371137527720827222163929480491*c_0101_6^3 - 33650434098370781405719304609130556926847315603495329/7832933458356\ 21403371137527720827222163929480491*c_0101_6^2 - 7538243801486332039614814461268584466910609309117500/78329334583562\ 1403371137527720827222163929480491*c_0101_6 + 1638538244029906869878467131955437393862548538803376/78329334583562\ 1403371137527720827222163929480491, c_0011_0 - 1, c_0011_1 - 347326543864608416314440993082211921085220722642/78329334583\ 5621403371137527720827222163929480491*c_0101_6^24 - 5247099047812995504661082464260826480063725054928/78329334583562140\ 3371137527720827222163929480491*c_0101_6^23 - 24910600213670877914182398907555246911950032116402/7832933458356214\ 03371137527720827222163929480491*c_0101_6^22 - 9107752424200302443498613262594266405475495862277/78329334583562140\ 3371137527720827222163929480491*c_0101_6^21 + 288291691607771666391398594461035247745968747788683/783293345835621\ 403371137527720827222163929480491*c_0101_6^20 + 770142662943760927240547271268084871388913843521014/783293345835621\ 403371137527720827222163929480491*c_0101_6^19 - 469568504387419773739259217002212456873996882196982/783293345835621\ 403371137527720827222163929480491*c_0101_6^18 - 4267963932204309895263162578929370769227036140653887/78329334583562\ 1403371137527720827222163929480491*c_0101_6^17 - 1893211096224733050588338972042030028072967135694889/78329334583562\ 1403371137527720827222163929480491*c_0101_6^16 + 12065559044376551359263637538786190259555598664902231/7832933458356\ 21403371137527720827222163929480491*c_0101_6^15 + 9942583548450017343536816523951083376008767421896264/78329334583562\ 1403371137527720827222163929480491*c_0101_6^14 - 21897775772437178067854062020804062801182683869763460/7832933458356\ 21403371137527720827222163929480491*c_0101_6^13 - 19640729631471041156749540289265131685254276944115719/7832933458356\ 21403371137527720827222163929480491*c_0101_6^12 + 25912327983056718025097638130007337136641984808305964/7832933458356\ 21403371137527720827222163929480491*c_0101_6^11 + 1056958710458628384633601198679182124104152763577716/41225965570295\ 863335323027774780380113891025289*c_0101_6^10 - 19165111409060329228440807506004366374101439126538323/7832933458356\ 21403371137527720827222163929480491*c_0101_6^9 - 11165073346560712529730155693392521787651795557425053/7832933458356\ 21403371137527720827222163929480491*c_0101_6^8 + 8788252955830522823211855199845905335262593342658249/78329334583562\ 1403371137527720827222163929480491*c_0101_6^7 + 151345503455538194628658026850342460491289318211328/412259655702958\ 63335323027774780380113891025289*c_0101_6^6 - 2182659836474228269179709337974929970475889288122747/78329334583562\ 1403371137527720827222163929480491*c_0101_6^5 - 226012595127151629330752892217012655821940683007370/783293345835621\ 403371137527720827222163929480491*c_0101_6^4 + 218149960072013132536001304854023155847033278064505/783293345835621\ 403371137527720827222163929480491*c_0101_6^3 + 3834140106464865818505012571813686899122901039843/78329334583562140\ 3371137527720827222163929480491*c_0101_6^2 - 7687350933433146405152723167879841145674363874915/78329334583562140\ 3371137527720827222163929480491*c_0101_6 - 284494324473785201111638642739582942544981149290/783293345835621403\ 371137527720827222163929480491, c_0011_5 - 57614889871646541115794305764786052918813449105/783293345835\ 621403371137527720827222163929480491*c_0101_6^24 - 855376483512878589073191440700303792463802240949/783293345835621403\ 371137527720827222163929480491*c_0101_6^23 - 3915603254683139282297198176753277320179215803780/78329334583562140\ 3371137527720827222163929480491*c_0101_6^22 - 594460910931914590525198407027964840623447747853/783293345835621403\ 371137527720827222163929480491*c_0101_6^21 + 47390103691506129759693056423808330695978611381031/7832933458356214\ 03371137527720827222163929480491*c_0101_6^20 + 114524515606661450186186276152954592094699622284733/783293345835621\ 403371137527720827222163929480491*c_0101_6^19 - 103349951861033114526374859784084029061980154929836/783293345835621\ 403371137527720827222163929480491*c_0101_6^18 - 660968848962787662556943716046103957245122043816987/783293345835621\ 403371137527720827222163929480491*c_0101_6^17 - 126432314070884283810115306308923389767336634425820/783293345835621\ 403371137527720827222163929480491*c_0101_6^16 + 1967870470321056864831062813702877887460920965974255/78329334583562\ 1403371137527720827222163929480491*c_0101_6^15 + 1010181077707851430260540195829568789755427113548921/78329334583562\ 1403371137527720827222163929480491*c_0101_6^14 - 3809830666527990791546137584265778893921732971784076/78329334583562\ 1403371137527720827222163929480491*c_0101_6^13 - 1920366068759788074230351668469113737981412523447283/78329334583562\ 1403371137527720827222163929480491*c_0101_6^12 + 4806227496878724337271102668992875322176399324068402/78329334583562\ 1403371137527720827222163929480491*c_0101_6^11 + 83203704243089547256170839567850124280275950330960/4122596557029586\ 3335323027774780380113891025289*c_0101_6^10 - 3763287079262479590892222536944367389473790508931441/78329334583562\ 1403371137527720827222163929480491*c_0101_6^9 - 498832663688836187610397730541728903093993005879932/783293345835621\ 403371137527720827222163929480491*c_0101_6^8 + 1793940701673065215621379339888970076774419569682995/78329334583562\ 1403371137527720827222163929480491*c_0101_6^7 - 6398480164386853189584985496771580370454128858799/41225965570295863\ 335323027774780380113891025289*c_0101_6^6 - 428008942196783032931948341355323855211812850798672/783293345835621\ 403371137527720827222163929480491*c_0101_6^5 + 90009899483751308727298129589719495356195177137774/7832933458356214\ 03371137527720827222163929480491*c_0101_6^4 + 33906591351554576823229860459032953660058488573424/7832933458356214\ 03371137527720827222163929480491*c_0101_6^3 - 6959126936316858327267257562590243666961340152109/78329334583562140\ 3371137527720827222163929480491*c_0101_6^2 - 925296484274250769005707228022689000582532423742/783293345835621403\ 371137527720827222163929480491*c_0101_6 - 134528146699997332387253827399100915597457875559/783293345835621403\ 371137527720827222163929480491, c_0011_6 + 159146802549755176047793806930521545782786433799/78329334583\ 5621403371137527720827222163929480491*c_0101_6^24 + 2546184761462898785717390129779479620128934663091/78329334583562140\ 3371137527720827222163929480491*c_0101_6^23 + 13617760438102804318377235540333697296180533349036/7832933458356214\ 03371137527720827222163929480491*c_0101_6^22 + 15291993926528378732013155603818501480705295478846/7832933458356214\ 03371137527720827222163929480491*c_0101_6^21 - 123451715296268294406980162678595865150746427513041/783293345835621\ 403371137527720827222163929480491*c_0101_6^20 - 465689422822398933995666701071450452055165913372664/783293345835621\ 403371137527720827222163929480491*c_0101_6^19 - 145582377429074921029035625780898310737116936576706/783293345835621\ 403371137527720827222163929480491*c_0101_6^18 + 1982894206706076094486235159787982024501157605946706/78329334583562\ 1403371137527720827222163929480491*c_0101_6^17 + 2578196340761370442978847214376683645888010803929886/78329334583562\ 1403371137527720827222163929480491*c_0101_6^16 - 4038950385667415049811453666638174990973085418809041/78329334583562\ 1403371137527720827222163929480491*c_0101_6^15 - 8658854732080887590085347951337515716818213082201145/78329334583562\ 1403371137527720827222163929480491*c_0101_6^14 + 4439752291413483195289699664678478125597388975768648/78329334583562\ 1403371137527720827222163929480491*c_0101_6^13 + 15132255569531305866137681292676922389563972110658066/7832933458356\ 21403371137527720827222163929480491*c_0101_6^12 - 1942318170833509025713186334030122285242355153123423/78329334583562\ 1403371137527720827222163929480491*c_0101_6^11 - 786353554323401473781876281189059422394569367077831/412259655702958\ 63335323027774780380113891025289*c_0101_6^10 - 706577098691179125758806292739000329942026360290526/783293345835621\ 403371137527720827222163929480491*c_0101_6^9 + 8335050148696364594201752355320621027927972165476796/78329334583562\ 1403371137527720827222163929480491*c_0101_6^8 + 882780768983242150939101078799715759957104445512565/783293345835621\ 403371137527720827222163929480491*c_0101_6^7 - 130836464700385855156412192743781830518303557861305/412259655702958\ 63335323027774780380113891025289*c_0101_6^6 - 192368350362130983771902583549333352748838592135675/783293345835621\ 403371137527720827222163929480491*c_0101_6^5 + 350345178918243884184283067741959858293125123248631/783293345835621\ 403371137527720827222163929480491*c_0101_6^4 - 2035038433978986393646610518113503518364239643813/78329334583562140\ 3371137527720827222163929480491*c_0101_6^3 - 18360270719603613599794609220850324109629656879444/7832933458356214\ 03371137527720827222163929480491*c_0101_6^2 + 215123593793803935507316054597676090966544952542/783293345835621403\ 371137527720827222163929480491*c_0101_6 - 14161704101282881789953004709376003084131985038/7832933458356214033\ 71137527720827222163929480491, c_0101_0 + 331439400434666171538626454068540780755186880947/78329334583\ 5621403371137527720827222163929480491*c_0101_6^24 + 5081461695480086709789427239991107166369023993401/78329334583562140\ 3371137527720827222163929480491*c_0101_6^23 + 25006304545845491885354749243313826835733147431681/7832933458356214\ 03371137527720827222163929480491*c_0101_6^22 + 15769741671861734206256544600596455028076507572329/7832933458356214\ 03371137527720827222163929480491*c_0101_6^21 - 264229752062768742542678470418782234301173351678040/783293345835621\ 403371137527720827222163929480491*c_0101_6^20 - 788951529622938196999194375614750251986872690030687/783293345835621\ 403371137527720827222163929480491*c_0101_6^19 + 195043881206425125106061682770066793213849856952941/783293345835621\ 403371137527720827222163929480491*c_0101_6^18 + 3880090162840450370065778249475531287161524954352527/78329334583562\ 1403371137527720827222163929480491*c_0101_6^17 + 2713397329407719193657464324856635995645823651828800/78329334583562\ 1403371137527720827222163929480491*c_0101_6^16 - 9755974790744499065751579126449638200499949911585145/78329334583562\ 1403371137527720827222163929480491*c_0101_6^15 - 10757829559963223360539787010567358101990769592553419/7832933458356\ 21403371137527720827222163929480491*c_0101_6^14 + 15643416197607607777878647447887299745849096035127501/7832933458356\ 21403371137527720827222163929480491*c_0101_6^13 + 18675515562314739570688492668429201673966953129083769/7832933458356\ 21403371137527720827222163929480491*c_0101_6^12 - 16110259685284337319853517495876840427625151218191442/7832933458356\ 21403371137527720827222163929480491*c_0101_6^11 - 859851040764802220704981792254465042054088329341258/412259655702958\ 63335323027774780380113891025289*c_0101_6^10 + 10207235887117513925952600704829733731874598333463548/7832933458356\ 21403371137527720827222163929480491*c_0101_6^9 + 6727940514902652439899569656252745800020995349529151/78329334583562\ 1403371137527720827222163929480491*c_0101_6^8 - 4139608525938666067865209955344591567966158107499338/78329334583562\ 1403371137527720827222163929480491*c_0101_6^7 - 22018520721178247211896333124914574114691759198947/4122596557029586\ 3335323027774780380113891025289*c_0101_6^6 + 868524918516561012489487263610476510573990903725438/783293345835621\ 403371137527720827222163929480491*c_0101_6^5 - 391846964537285522394260297546171545952769667580481/783293345835621\ 403371137527720827222163929480491*c_0101_6^4 - 27339133521863248962686049720436363895962339372314/7832933458356214\ 03371137527720827222163929480491*c_0101_6^3 + 54526673926031335424585984200542153614126446596390/7832933458356214\ 03371137527720827222163929480491*c_0101_6^2 - 5827356050008660868875805234987995915245803840791/78329334583562140\ 3371137527720827222163929480491*c_0101_6 - 1563447038899446308933657021446073092534468940191/78329334583562140\ 3371137527720827222163929480491, c_0101_1 + 580555346108104590639246670320873730543647784468/78329334583\ 5621403371137527720827222163929480491*c_0101_6^24 + 8830007414947209774758511144125621391586332406853/78329334583562140\ 3371137527720827222163929480491*c_0101_6^23 + 42638976926534999261679287668431999929363838113159/7832933458356214\ 03371137527720827222163929480491*c_0101_6^22 + 21108195995291267810589357104343908553570968417730/7832933458356214\ 03371137527720827222163929480491*c_0101_6^21 - 471809248607190760309796206144916497865576158628031/783293345835621\ 403371137527720827222163929480491*c_0101_6^20 - 1327680499731639388472474717610102489832379337919350/78329334583562\ 1403371137527720827222163929480491*c_0101_6^19 + 575446213191503349884456113617025071517478638658940/783293345835621\ 403371137527720827222163929480491*c_0101_6^18 + 6932405725630588101012489588053464032664898924897282/78329334583562\ 1403371137527720827222163929480491*c_0101_6^17 + 3822374680073485287707447956131954080353210761917839/78329334583562\ 1403371137527720827222163929480491*c_0101_6^16 - 18666237510517260865399252727756013372979901673377824/7832933458356\ 21403371137527720827222163929480491*c_0101_6^15 - 17282578722795711409396589649374852583630893835847765/7832933458356\ 21403371137527720827222163929480491*c_0101_6^14 + 32471620788851413854591028168198191712026271848758602/7832933458356\ 21403371137527720827222163929480491*c_0101_6^13 + 32022376876111897373101638943643807837829419795795624/7832933458356\ 21403371137527720827222163929480491*c_0101_6^12 - 37022400879555606200998516498002356176841921072389119/7832933458356\ 21403371137527720827222163929480491*c_0101_6^11 - 1605863673318409609035968314740864530599853421662175/41225965570295\ 863335323027774780380113891025289*c_0101_6^10 + 26651736977176884447755262037116419685584038100592008/7832933458356\ 21403371137527720827222163929480491*c_0101_6^9 + 15281361320609185578051522805696857821949393308718937/7832933458356\ 21403371137527720827222163929480491*c_0101_6^8 - 12120888463847090249560821860210538305278316882660758/7832933458356\ 21403371137527720827222163929480491*c_0101_6^7 - 163977652307506323129725429321888282097981616019965/412259655702958\ 63335323027774780380113891025289*c_0101_6^6 + 2928304606219190589605312000206616516660327272106247/78329334583562\ 1403371137527720827222163929480491*c_0101_6^5 + 1016883803710807936579442515469227157898903128716/78329334583562140\ 3371137527720827222163929480491*c_0101_6^4 - 244676046535429840156238230390850516993119974024280/783293345835621\ 403371137527720827222163929480491*c_0101_6^3 + 23065041306577207634600417686695385317013635876173/7832933458356214\ 03371137527720827222163929480491*c_0101_6^2 + 4385194481465858087084641839949289278568479048297/78329334583562140\ 3371137527720827222163929480491*c_0101_6 + 469821573317766852640629306725016025632583640203/783293345835621403\ 371137527720827222163929480491, c_0101_6^25 + 15*c_0101_6^24 + 70*c_0101_6^23 + 17*c_0101_6^22 - 840*c_0101_6^21 - 2130*c_0101_6^20 + 1676*c_0101_6^19 + 12361*c_0101_6^18 + 3959*c_0101_6^17 - 36594*c_0101_6^16 - 25317*c_0101_6^15 + 69844*c_0101_6^14 + 52423*c_0101_6^13 - 87632*c_0101_6^12 - 55198*c_0101_6^11 + 69766*c_0101_6^10 + 31725*c_0101_6^9 - 34933*c_0101_6^8 - 8492*c_0101_6^7 + 9920*c_0101_6^6 + 584*c_0101_6^5 - 1339*c_0101_6^4 + 64*c_0101_6^3 + 76*c_0101_6^2 - 6*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB