Magma V2.19-8 Tue Aug 20 2013 16:16:11 on localhost [Seed = 1764292013] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0440 geometric_solution 4.48773695 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 2310 2310 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 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 -2.593946631858 2.759575588602 0 0 3 3 0132 3201 2310 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 -1 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.114894219897 0.057503275741 0 0 5 4 3201 0132 0132 0132 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 0 0 0 0 0 0 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.212396725114 0.499325466773 3 1 1 3 3201 3201 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -2.715093828018 0.641507118518 5 6 2 5 1230 0132 0132 1302 0 0 0 0 0 0 0 0 -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 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.867738893282 0.796453451489 6 4 4 2 2310 3012 2031 0132 0 0 0 0 0 0 -1 1 0 0 0 0 -1 1 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 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.867738893282 0.796453451489 6 4 5 6 3012 0132 3201 1230 0 0 0 0 0 0 0 0 0 0 1 -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 0 0 0 0 0 -1 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.721669083261 1.118451792136 ==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' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : d['c_0101_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0101_5'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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_1001_5' : negation(d['c_0011_4']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : negation(d['c_0011_4']), 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_4'])})} 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_0011_4, c_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 171050642329588865853385700782892647178956004140497517153613/130370\ 577704297529626590722238974869405321424192774600459*c_0101_5^25 + 1147066909874330052970675201122482443431009746414638028601806/13037\ 0577704297529626590722238974869405321424192774600459*c_0101_5^24 - 2773293052468862352880208115665191757056219422933542413304174/13037\ 0577704297529626590722238974869405321424192774600459*c_0101_5^23 + 1238162739819460682429397987685520328329240618359696284906349/13037\ 0577704297529626590722238974869405321424192774600459*c_0101_5^22 + 292000713109643864143361305106327543742848911314305360880280/334283\ 5325751218708374121083050637677059523697250630781*c_0101_5^21 - 36314581247644381370268597976364305145532735090529897479312415/1303\ 70577704297529626590722238974869405321424192774600459*c_0101_5^20 + 696238958139881556157338968271066987519513890681721780050315/194582\ 9517974589994426727197596639841870469017802605977*c_0101_5^19 - 18537357969769892094323038443367993940939355629700748441280270/1303\ 70577704297529626590722238974869405321424192774600459*c_0101_5^18 - 22997575603931494381276613183247387010848340436403361692587057/1303\ 70577704297529626590722238974869405321424192774600459*c_0101_5^17 + 34535753601601636531498737701247038613339184414756572630358966/1303\ 70577704297529626590722238974869405321424192774600459*c_0101_5^16 + 7683970208576961386378903041597145734174974616307405460749225/43456\ 859234765843208863574079658289801773808064258200153*c_0101_5^15 + 6262593246181408743535690012656659626973354104423844910384542/13037\ 0577704297529626590722238974869405321424192774600459*c_0101_5^14 - 108422580678965803894566698229985208034343102956167392770910577/130\ 370577704297529626590722238974869405321424192774600459*c_0101_5^13 + 42358331645226819510154001635304743796855094109836266107192943/4345\ 6859234765843208863574079658289801773808064258200153*c_0101_5^12 - 112491796929433146855482371412364942647674209952279076246274/371426\ 147305690967597124564783404186339947077472292309*c_0101_5^11 - 48144861468487648849363150592645821739397738897587612582452459/1303\ 70577704297529626590722238974869405321424192774600459*c_0101_5^10 + 6589423353721472376428695249871013691960391189051065300355914/13037\ 0577704297529626590722238974869405321424192774600459*c_0101_5^9 - 12430767718965994066721507389298451023680019506557242363156876/1303\ 70577704297529626590722238974869405321424192774600459*c_0101_5^8 + 3258332498135851902043283256960673108333330920849883611471613/14485\ 619744921947736287858026552763267257936021419400051*c_0101_5^7 + 150203770739137962480002201701858162716449911099959164837677/194582\ 9517974589994426727197596639841870469017802605977*c_0101_5^6 - 990071366403779792206247546602948872705120907538503340476873/434568\ 59234765843208863574079658289801773808064258200153*c_0101_5^5 - 156168564089374701173765496644549452474066384174045377408489/482853\ 9914973982578762619342184254422419312007139800017*c_0101_5^4 - 1948602718667282850420265235922879927274080276363362319939887/13037\ 0577704297529626590722238974869405321424192774600459*c_0101_5^3 + 103276549199451654452892148703085739370732228078112008715070/434568\ 59234765843208863574079658289801773808064258200153*c_0101_5^2 + 38526001950187396580097375947994143316923685119084428524875/1448561\ 9744921947736287858026552763267257936021419400051*c_0101_5 + 47183359282107890887357448743620370191233234794118530317733/1303705\ 77704297529626590722238974869405321424192774600459, c_0011_0 - 1, c_0011_3 - 40981946072780360258658571161130726870346406779848393024/149\ 679193690353076494363630584356910913113001369431229*c_0101_5^25 + 278322771959868718232631225355329748431814448939324810764/149679193\ 690353076494363630584356910913113001369431229*c_0101_5^24 - 690275300380833195286588265243421897690405758840851337263/149679193\ 690353076494363630584356910913113001369431229*c_0101_5^23 + 369317822189173253125779772538695714090494458515257890171/149679193\ 690353076494363630584356910913113001369431229*c_0101_5^22 + 887947563975326530786054130419669719989931130757401097140/498930645\ 63451025498121210194785636971037667123143743*c_0101_5^21 - 8912616309958485414005976873756936723793392733193850400142/14967919\ 3690353076494363630584356910913113001369431229*c_0101_5^20 + 12070436789932607019810568690179673481020107382056942708361/1496791\ 93690353076494363630584356910913113001369431229*c_0101_5^19 - 5901367311096413967064788967702299243084000857463342115717/14967919\ 3690353076494363630584356910913113001369431229*c_0101_5^18 - 4443882370993580130830151807201824704134203641965344921755/14967919\ 3690353076494363630584356910913113001369431229*c_0101_5^17 + 8392620759716388607532397292258894402425927437232893291159/14967919\ 3690353076494363630584356910913113001369431229*c_0101_5^16 + 1532006765219513327760414529038885483741223184221257238139/49893064\ 563451025498121210194785636971037667123143743*c_0101_5^15 + 1487699952212005180054050213995375643739098993901181782372/14967919\ 3690353076494363630584356910913113001369431229*c_0101_5^14 - 25848536401662350380534455771032038378921719940824141290545/1496791\ 93690353076494363630584356910913113001369431229*c_0101_5^13 + 10934381520579281100839211730054423070616660506915039743237/4989306\ 4563451025498121210194785636971037667123143743*c_0101_5^12 - 1500425789101979928350089308873448475117888743617368379535/16631021\ 521150341832707070064928545657012555707714581*c_0101_5^11 - 8883240947089508236071024997189842724676953117584734982458/14967919\ 3690353076494363630584356910913113001369431229*c_0101_5^10 + 1738426913084170328510077810216564554362747104500666135206/14967919\ 3690353076494363630584356910913113001369431229*c_0101_5^9 - 3525344118766444443644678683374046525622504772972227918500/14967919\ 3690353076494363630584356910913113001369431229*c_0101_5^8 + 2443789378638569084957332970875851269392285776511775731432/49893064\ 563451025498121210194785636971037667123143743*c_0101_5^7 + 1543096387005600349630167149187782461664330675856353515376/14967919\ 3690353076494363630584356910913113001369431229*c_0101_5^6 - 171650569231296731948425878277421695007391303418104507836/498930645\ 63451025498121210194785636971037667123143743*c_0101_5^5 - 32182077632793769059933390254414010945629327721623638289/5543673840\ 383447277569023354976181885670851902571527*c_0101_5^4 - 375379643429268111792193389203101734783512239277769296899/149679193\ 690353076494363630584356910913113001369431229*c_0101_5^3 + 27904786388218462742418741947778228972534407558480224582/4989306456\ 3451025498121210194785636971037667123143743*c_0101_5^2 + 19258249874687880683381332246355472003483066183333174295/4989306456\ 3451025498121210194785636971037667123143743*c_0101_5 + 6432367744936816828070400888384312399707087977230126929/14967919369\ 0353076494363630584356910913113001369431229, c_0011_4 - 24188414859454546788490965897961185881330476689930873858584/\ 130370577704297529626590722238974869405321424192774600459*c_0101_5^\ 25 + 163726564212199172850156883384165386294852060440296005402320/1\ 30370577704297529626590722238974869405321424192774600459*c_0101_5^2\ 4 - 403284207597041466597367532907465926028890402863965711644549/13\ 0370577704297529626590722238974869405321424192774600459*c_0101_5^23 + 205892835422698233700475323555201608603715150371239173951951/1303\ 70577704297529626590722238974869405321424192774600459*c_0101_5^22 + 13542227284354906431587783656915765505360688024652527627808/1114278\ 441917072902791373694350212559019841232416876927*c_0101_5^21 - 5229296418192948370275227301795290123594718778080902394049402/13037\ 0577704297529626590722238974869405321424192774600459*c_0101_5^20 + 104163760352216666330255407413394829029972282249149590681687/194582\ 9517974589994426727197596639841870469017802605977*c_0101_5^19 - 3229994948052421400925357397892219010097727490345047994236939/13037\ 0577704297529626590722238974869405321424192774600459*c_0101_5^18 - 2831989606201531467014319125289017511995316943036232200939274/13037\ 0577704297529626590722238974869405321424192774600459*c_0101_5^17 + 4970441107642360884840409559220627969972076680698695695802438/13037\ 0577704297529626590722238974869405321424192774600459*c_0101_5^16 + 316941753379514575168409687098736889343772160437339575924679/144856\ 19744921947736287858026552763267257936021419400051*c_0101_5^15 + 859417375275313518507336120637645422500905672821259535821904/130370\ 577704297529626590722238974869405321424192774600459*c_0101_5^14 - 15276950857322017896107781243263848889295498382209878300810249/1303\ 70577704297529626590722238974869405321424192774600459*c_0101_5^13 + 6330037851979816325540802361491793233535936181960558475921056/43456\ 859234765843208863574079658289801773808064258200153*c_0101_5^12 - 62172300903835613030028591218392856818166333417061800367998/1114278\ 441917072902791373694350212559019841232416876927*c_0101_5^11 - 5771891017153156908154802624344578204451448104397846428429444/13037\ 0577704297529626590722238974869405321424192774600459*c_0101_5^10 + 1091031321045464033800287909119427599441969431257090170064433/13037\ 0577704297529626590722238974869405321424192774600459*c_0101_5^9 - 2013188031358815375923954952510941689191279028639193731942991/13037\ 0577704297529626590722238974869405321424192774600459*c_0101_5^8 + 1426386809477379050417610627007398048457059075257450253974227/43456\ 859234765843208863574079658289801773808064258200153*c_0101_5^7 + 15795320705644972747820584362742408211513701167886275222040/1945829\ 517974589994426727197596639841870469017802605977*c_0101_5^6 - 119221087097619855674321170885600545608679149684619869801257/434568\ 59234765843208863574079658289801773808064258200153*c_0101_5^5 - 58566945491462482990968166304561402063069448617772492162518/1448561\ 9744921947736287858026552763267257936021419400051*c_0101_5^4 - 237523483480173974066376799089491149814275536979927054477523/130370\ 577704297529626590722238974869405321424192774600459*c_0101_5^3 + 5557592211276685998490028653425045010440639317869360043489/14485619\ 744921947736287858026552763267257936021419400051*c_0101_5^2 + 12591076974049778310563183006645131917792151262310133791070/4345685\ 9234765843208863574079658289801773808064258200153*c_0101_5 + 4239407114974093571817527963838304706573457725201547817561/13037057\ 7704297529626590722238974869405321424192774600459, c_0101_0 + 2433544722410076185671086749715254323852578392631200710703/4\ 3456859234765843208863574079658289801773808064258200153*c_0101_5^25 - 16991387667050431227252138634900960935956025364675944508045/43456\ 859234765843208863574079658289801773808064258200153*c_0101_5^24 + 14758191218245766334223513304672091621642947034400137156265/1448561\ 9744921947736287858026552763267257936021419400051*c_0101_5^23 - 30657590440741825269496796758127783739958193672921081096023/4345685\ 9234765843208863574079658289801773808064258200153*c_0101_5^22 - 11668906219371306383044105516187255657847307274514088391318/3342835\ 325751218708374121083050637677059523697250630781*c_0101_5^21 + 185997870906388045083659562174878416762869312253994158641530/144856\ 19744921947736287858026552763267257936021419400051*c_0101_5^20 - 12329162639841887499482466537019031117290370365552276994669/6486098\ 39324863331475575732532213280623489672600868659*c_0101_5^19 + 516454427961262974995635611932960530968229099906344339816673/434568\ 59234765843208863574079658289801773808064258200153*c_0101_5^18 + 155313613780595977667867951803014327954590820275792789185462/434568\ 59234765843208863574079658289801773808064258200153*c_0101_5^17 - 524590358998495932081468093169097619417507789106961526415352/434568\ 59234765843208863574079658289801773808064258200153*c_0101_5^16 - 167866818684624105570932841003255747577964096026337697553567/434568\ 59234765843208863574079658289801773808064258200153*c_0101_5^15 - 62876492927217550237101741309367485040802345827008283012435/4345685\ 9234765843208863574079658289801773808064258200153*c_0101_5^14 + 171095005328579640008232760743327235514906462903186072103285/482853\ 9914973982578762619342184254422419312007139800017*c_0101_5^13 - 249582790840864531530261950883497607975447385733544868270983/482853\ 9914973982578762619342184254422419312007139800017*c_0101_5^12 + 32203973210177883804147716248586621777705617799950777339460/1114278\ 441917072902791373694350212559019841232416876927*c_0101_5^11 + 261676177292400792959800608582648886513190178367333637647210/434568\ 59234765843208863574079658289801773808064258200153*c_0101_5^10 - 146156465089253535465869472118106286330478204051413973442798/434568\ 59234765843208863574079658289801773808064258200153*c_0101_5^9 + 246754808392662308075020612521342248413922040583960163446723/434568\ 59234765843208863574079658289801773808064258200153*c_0101_5^8 - 479480030914304357648139928686619580487605260757939082835501/434568\ 59234765843208863574079658289801773808064258200153*c_0101_5^7 + 23035292255545013006597403302071312696526779248437473565/2162032797\ 74954443825191910844071093541163224200289553*c_0101_5^6 + 2644363577657785200874767745252222528433941495036254917376/48285399\ 14973982578762619342184254422419312007139800017*c_0101_5^5 + 4889411527066835420709971389316948974446416231383982237187/48285399\ 14973982578762619342184254422419312007139800017*c_0101_5^4 + 12748749051274442910825372436023465272744862192004173615932/4345685\ 9234765843208863574079658289801773808064258200153*c_0101_5^3 - 7073010588836917590694197572330975398669483976308637650097/43456859\ 234765843208863574079658289801773808064258200153*c_0101_5^2 - 1682385051768255854779792026123283881515038244641910611282/43456859\ 234765843208863574079658289801773808064258200153*c_0101_5 + 253668345860405518529696484135201310493225215099950140/482853991497\ 3982578762619342184254422419312007139800017, c_0101_1 - 29386063930599848613856065768309526476787868333918288152751/\ 130370577704297529626590722238974869405321424192774600459*c_0101_5^\ 25 + 200118171657323286806956351876660829509331622320601521839142/1\ 30370577704297529626590722238974869405321424192774600459*c_0101_5^2\ 4 - 498444525346904524041697341443274207592992437666417554126748/13\ 0370577704297529626590722238974869405321424192774600459*c_0101_5^23 + 272548177831113627016453382783322839261987443587106225222684/1303\ 70577704297529626590722238974869405321424192774600459*c_0101_5^22 + 48936541070579003346173195791836685522532722468899386180234/3342835\ 325751218708374121083050637677059523697250630781*c_0101_5^21 - 6427272440872679791141606151009531728042253158307658647003374/13037\ 0577704297529626590722238974869405321424192774600459*c_0101_5^20 + 130731262648253199744592814963172986432901535108194731242988/194582\ 9517974589994426727197596639841870469017802605977*c_0101_5^19 - 4348346279976537703190464360445238217254082844473197792132317/13037\ 0577704297529626590722238974869405321424192774600459*c_0101_5^18 - 3160077084444279588655698189556831430394761506448139711314108/13037\ 0577704297529626590722238974869405321424192774600459*c_0101_5^17 + 6094937758060329209536722135136084485742023922011921407450092/13037\ 0577704297529626590722238974869405321424192774600459*c_0101_5^16 + 1069659222143447506198335277865189434950699814283491826440678/43456\ 859234765843208863574079658289801773808064258200153*c_0101_5^15 + 971514869572527851156898903653932778318694147057720306009836/130370\ 577704297529626590722238974869405321424192774600459*c_0101_5^14 - 18592108389425249792425488725095863324557891756805041249362763/1303\ 70577704297529626590722238974869405321424192774600459*c_0101_5^13 + 7946321088086700458319183195177575648350905912923793612869819/43456\ 859234765843208863574079658289801773808064258200153*c_0101_5^12 - 28454439004954058049465183406843817207024903827594006863882/3714261\ 47305690967597124564783404186339947077472292309*c_0101_5^11 - 6324558151903400416176318078408367920193930014740810969276062/13037\ 0577704297529626590722238974869405321424192774600459*c_0101_5^10 + 1402135325433853093337860827261744821855602351515030653829496/13037\ 0577704297529626590722238974869405321424192774600459*c_0101_5^9 - 2504169962474700590569850166922448948736868995835654292925923/13037\ 0577704297529626590722238974869405321424192774600459*c_0101_5^8 + 1773793675615241086445474946710006225551749161329050285243104/43456\ 859234765843208863574079658289801773808064258200153*c_0101_5^7 + 15502072509126996720380786413305471744096220451236562991127/1945829\ 517974589994426727197596639841870469017802605977*c_0101_5^6 - 139961782917504850008466022231548815930007411584391469388355/434568\ 59234765843208863574079658289801773808064258200153*c_0101_5^5 - 23470685625896693283650381169210673014325534467004565305288/4828539\ 914973982578762619342184254422419312007139800017*c_0101_5^4 - 265289737018449729252933953414321791754282774091942831899474/130370\ 577704297529626590722238974869405321424192774600459*c_0101_5^3 + 22219726769878062038066176530571649001578574866723608733126/4345685\ 9234765843208863574079658289801773808064258200153*c_0101_5^2 + 14218587575583292324117680986086216231910547974598148615199/4345685\ 9234765843208863574079658289801773808064258200153*c_0101_5 + 4430680976347853212119568462804009219970603410567507698754/13037057\ 7704297529626590722238974869405321424192774600459, c_0101_4 + 2829657410822884684685260440872172741173494330658172669835/1\ 30370577704297529626590722238974869405321424192774600459*c_0101_5^2\ 5 - 20489843530120175344097665456061861717468552627564488036753/130\ 370577704297529626590722238974869405321424192774600459*c_0101_5^24 + 56565269290857999689675145566998291156135826340837820277269/1303705\ 77704297529626590722238974869405321424192774600459*c_0101_5^23 - 48798120550662461726978789972572977921845915826294082240985/1303705\ 77704297529626590722238974869405321424192774600459*c_0101_5^22 - 1431166331669670639253370063383537406409718213443841556908/11142784\ 41917072902791373694350212559019841232416876927*c_0101_5^21 + 694159848828379910030687435349786072683407975701032649193484/130370\ 577704297529626590722238974869405321424192774600459*c_0101_5^20 - 16807017393507282789450499852275839831854101460627796172568/1945829\ 517974589994426727197596639841870469017802605977*c_0101_5^19 + 844550861962646032472622516172655497561319213159440107016045/130370\ 577704297529626590722238974869405321424192774600459*c_0101_5^18 + 26627999053156381903926495647404467200943338667439925374144/1303705\ 77704297529626590722238974869405321424192774600459*c_0101_5^17 - 650176302419774762034739826746256376499485911484490917961814/130370\ 577704297529626590722238974869405321424192774600459*c_0101_5^16 - 5272276665332513482892287874523201854733234002139777919624/14485619\ 744921947736287858026552763267257936021419400051*c_0101_5^15 - 17842413452738363439772686333216460983828888381306314018803/1303705\ 77704297529626590722238974869405321424192774600459*c_0101_5^14 + 1819321875404587066331228895620146106879779700002806450387409/13037\ 0577704297529626590722238974869405321424192774600459*c_0101_5^13 - 1023587938823557231134304804780342637181614122478133080341864/43456\ 859234765843208863574079658289801773808064258200153*c_0101_5^12 + 18114746581126772848611465330033449620544533594239826040381/1114278\ 441917072902791373694350212559019841232416876927*c_0101_5^11 - 70578337571868075474872050283076938266224481929386821791394/1303705\ 77704297529626590722238974869405321424192774600459*c_0101_5^10 - 229993916757997038309141548809019469465237694846082149300583/130370\ 577704297529626590722238974869405321424192774600459*c_0101_5^9 + 307551907439424998166793673931063803418831938885595358969387/130370\ 577704297529626590722238974869405321424192774600459*c_0101_5^8 - 210871078690314448280327543781843091244919739432286154145703/434568\ 59234765843208863574079658289801773808064258200153*c_0101_5^7 + 2173306151983123164295769930387701275319705061115210116578/19458295\ 17974589994426727197596639841870469017802605977*c_0101_5^6 + 9164909254246982066467875665312914235665965553840573266857/43456859\ 234765843208863574079658289801773808064258200153*c_0101_5^5 + 1913777940293886329688264603613959916079646929878434157784/48285399\ 14973982578762619342184254422419312007139800017*c_0101_5^4 + 2196804814211538082335863917045664962959662059593010776115/13037057\ 7704297529626590722238974869405321424192774600459*c_0101_5^3 - 438279790944696628725029104611382078570479001856510886243/482853991\ 4973982578762619342184254422419312007139800017*c_0101_5^2 - 180902308808366099956954920861786534963429546167555984933/434568592\ 34765843208863574079658289801773808064258200153*c_0101_5 + 294029438591105916985849919122539495236276579119961423452/130370577\ 704297529626590722238974869405321424192774600459, c_0101_5^26 - 150/23*c_0101_5^25 + 15*c_0101_5^24 - 101/23*c_0101_5^23 - 1555/23*c_0101_5^22 + 200*c_0101_5^21 - 5407/23*c_0101_5^20 + 1431/23*c_0101_5^19 + 3451/23*c_0101_5^18 - 4058/23*c_0101_5^17 - 3883/23*c_0101_5^16 - 1487/23*c_0101_5^15 + 14328/23*c_0101_5^14 - 629*c_0101_5^13 + 2451/23*c_0101_5^12 + 7195/23*c_0101_5^11 + 327/23*c_0101_5^10 + 1651/23*c_0101_5^9 - 3598/23*c_0101_5^8 - 2011/23*c_0101_5^7 + 4*c_0101_5^6 + 588/23*c_0101_5^5 + 350/23*c_0101_5^4 + 8/23*c_0101_5^3 - 48/23*c_0101_5^2 - 13/23*c_0101_5 - 1/23 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB