Magma V2.19-8 Tue Aug 20 2013 23:39:06 on localhost [Seed = 4122186143] Type ? for help. Type -D to quit. Loading file "K13a2829__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13a2829 geometric_solution 8.76545527 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 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 -1 0 1 0 0 0 0 0 -19 0 19 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.239990448538 1.754331535918 0 3 4 5 0132 0213 0213 0132 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 1 -1 0 0 0 0 0 20 -20 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.492019127633 0.403881428809 6 0 3 7 0132 0132 0213 0132 0 0 0 0 0 0 0 0 1 0 0 -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 1 0 -1 19 0 1 -20 -19 0 0 19 -19 19 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.660151268166 0.624264903139 8 2 1 0 0132 0213 0213 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 0 0 0 0 0 0 0 1 -1 0 0 20 0 -20 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.006335491336 0.957943110820 5 1 0 5 3120 0213 0132 0321 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 -1 1 0 0 0 0 0 -1 0 1 -1 20 -19 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.161751401183 0.597018628046 8 4 1 4 2103 0321 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 -1 0 1 -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.791478581574 0.563708018798 2 9 9 7 0132 0132 3201 1230 0 0 0 0 0 0 0 0 -1 0 1 0 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 -19 0 19 0 19 0 0 -19 19 -19 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.894577125915 0.343359127339 6 8 2 8 3012 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 1 -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 1 -1 0 0 20 -20 0 -1 0 1 19 0 -19 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.672696269850 1.235669379943 3 7 5 7 0132 0132 2103 0213 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 -1 1 0 0 1 -1 -20 0 0 20 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.672696269850 1.235669379943 6 6 10 10 2310 0132 2310 0132 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 -19 19 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.645632461028 0.673655991589 10 9 9 10 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.735808068421 0.144774792525 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0011_3'], 'c_1001_10' : negation(d['c_0101_9']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_0101_9']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_1'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : negation(d['c_0101_10']), 'c_1001_8' : d['c_0011_5'], 'c_1010_10' : d['c_0101_10'], '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_10'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(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' : 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' : d['c_0011_10'], 'c_1100_8' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_1001_5'], 'c_1100_7' : d['c_1001_0'], 'c_1100_6' : d['c_0011_0'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_1001_5'], 'c_1100_3' : d['c_1001_5'], 'c_1100_2' : d['c_1001_0'], 'c_1100_10' : d['c_0011_10'], 'c_1010_7' : d['c_0011_5'], 'c_1010_6' : negation(d['c_0101_10']), 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : negation(d['c_0011_4']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : negation(d['c_0101_9']), 'c_1010_8' : d['c_1001_0'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : 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' : negation(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' : d['1'], 'c_0011_9' : negation(d['c_0011_0']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_3'], 'c_0011_6' : d['c_0011_0'], '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' : negation(d['c_0101_10']), 'c_0101_7' : negation(d['c_0101_10']), 'c_0101_6' : negation(d['c_0101_10']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_4'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0011_4'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_0'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_10'], 'c_0110_8' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_4'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_10']), 'c_0110_5' : negation(d['c_0011_5']), 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_7' : d['c_0011_0'], '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_0011_4, c_0011_5, c_0101_0, c_0101_10, c_0101_9, c_1001_0, c_1001_1, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 2164730458164956951421359885221663835275269326649532297512097835053\ 1953/30874394140772063802999272684727238368181702937876399372045943\ 52969*c_1001_5^29 + 33875780464218108555354654895129492368999804660\ 6597877638381058233889348/87009656214903088899361586656958580855784\ 79918856076186667493176549*c_1001_5^28 + 1528465429475740216960215344682939601043760079413085138796581178439\ 470424/870096562149030888993615866569585808557847991885607618666749\ 3176549*c_1001_5^27 + 129565852210184932118382847294882502827415071\ 2381527859493880298882702692/23344054106437414094950669590891326571\ 06421441644313123252254266879*c_1001_5^26 + 1431951373173943867788933744485057794485229266900382849055876817528\ 17486474/9571062183639339778929774532265443894136327910741683805334\ 2424942039*c_1001_5^25 + 321778268892584285712478974716259059430188\ 452213264697116434258737128464355/957106218363933977892977453226544\ 38941363279107416838053342424942039*c_1001_5^24 + 6369608387878129695425600770328370286041481156534894935952961099027\ 27808053/9571062183639339778929774532265443894136327910741683805334\ 2424942039*c_1001_5^23 + 111027750353323363983341288226657014632752\ 4972400078290822105494814903440620/95710621836393397789297745322654\ 438941363279107416838053342424942039*c_1001_5^22 + 1579112613049032563209627178537144225062792697409983454894709062480\ 82881566/8700965621490308889936158665695858085578479918856076186667\ 493176549*c_1001_5^21 + 2451407940294821824182241463142494527053298\ 736350333323317733338584291785953/957106218363933977892977453226544\ 38941363279107416838053342424942039*c_1001_5^20 + 3141230089603989300209710154931223912801182152463844764242244643571\ 177253133/957106218363933977892977453226544389413632791074168380533\ 42424942039*c_1001_5^19 + 36765593191652964720116521887393012464718\ 00721488434913669885751080714289000/9571062183639339778929774532265\ 4438941363279107416838053342424942039*c_1001_5^18 + 3936743132766842208412899682769192204105626036108917389140958486334\ 017294907/957106218363933977892977453226544389413632791074168380533\ 42424942039*c_1001_5^17 + 38792052416777994854637282477694607173658\ 53934330985956222837973223297410580/9571062183639339778929774532265\ 4438941363279107416838053342424942039*c_1001_5^16 + 3519656085208628182675952338199560521514663017760188842441006367075\ 437186239/957106218363933977892977453226544389413632791074168380533\ 42424942039*c_1001_5^15 + 29559533475285692484843653576126780801885\ 56151547866230544520806237716059626/9571062183639339778929774532265\ 4438941363279107416838053342424942039*c_1001_5^14 + 2303565807918384739720292292920463754585831825355636698507582036242\ 284903525/957106218363933977892977453226544389413632791074168380533\ 42424942039*c_1001_5^13 + 16724590856634777725247811570316255032193\ 46971156479399426764131664483873057/9571062183639339778929774532265\ 4438941363279107416838053342424942039*c_1001_5^12 + 5991289467471520118114937922328676150173095730580986906446042793116\ 9539753/50374011492838630415419865959291809969138567951272020028074\ 96049581*c_1001_5^11 + 72571300025016762488089714422585924586223168\ 9748902232359636665277388425466/95710621836393397789297745322654438\ 941363279107416838053342424942039*c_1001_5^10 + 4369496394018318019047930423613332526985364802121699535623378175298\ 98360850/9571062183639339778929774532265443894136327910741683805334\ 2424942039*c_1001_5^9 + 2463582824966581785732764593968487703806681\ 37012841445109878130174319134963/9571062183639339778929774532265443\ 8941363279107416838053342424942039*c_1001_5^8 + 1183889543184324057271436486033870153870338295641665015359336481994\ 9302065/87009656214903088899361586656958580855784799188560761866674\ 93176549*c_1001_5^7 + 639997882382798829826307469868031311084147007\ 53201993775371839009871789109/9571062183639339778929774532265443894\ 1363279107416838053342424942039*c_1001_5^6 + 2877518606523518640480085184633890028702020787627122995865944920625\ 8442255/95710621836393397789297745322654438941363279107416838053342\ 424942039*c_1001_5^5 + 11109048768591780363432888756674347847804036\ 82029038570456629548233919988/8700965621490308889936158665695858085\ 578479918856076186667493176549*c_1001_5^4 + 4021567332221802246400211235935155885903672034134874035830103642931\ 65327/8700965621490308889936158665695858085578479918856076186667493\ 176549*c_1001_5^3 + 14089152210868278570497817653285252328815152547\ 56156400825840840091809239/9571062183639339778929774532265443894136\ 3279107416838053342424942039*c_1001_5^2 + 2428404491257143613185434102810373140896606111615468714502283955503\ 404/669305047806946837687396820438142929659883070681236629743653321\ 273*c_1001_5 + 4442122183173793822196164465851023694686704304404119\ 7703998756963971995/95710621836393397789297745322654438941363279107\ 416838053342424942039, c_0011_0 - 1, c_0011_10 - 32039504500196538399991706845307347513460125452225822242487\ 79/37974129634716317114966785119696386136708037039273882477609*c_10\ 01_5^29 - 183051710625016733831058214371197905607047531259504013125\ 76851/37974129634716317114966785119696386136708037039273882477609*c\ _1001_5^28 - 830404664913652595345622260043280141247373188661258473\ 99786897/3797412963471631711496678511969638613670803703927388247760\ 9*c_1001_5^27 - 266167073737331629998186459620402866744349452068419\ 486643792876/379741296347163171149667851196963861367080370392738824\ 77609*c_1001_5^26 - 72271172568088054707187180801013005896918781510\ 6315976798755745/37974129634716317114966785119696386136708037039273\ 882477609*c_1001_5^25 - 1641621651241250939857831836639903273730630\ 775187420109533116821/379741296347163171149667851196963861367080370\ 39273882477609*c_1001_5^24 - 32754021365161079490789006203013697776\ 42927616816407863764599807/3797412963471631711496678511969638613670\ 8037039273882477609*c_1001_5^23 - 576423069640466150593544637777675\ 6057649807772204871166921056180/37974129634716317114966785119696386\ 136708037039273882477609*c_1001_5^22 - 9093970855653605518677872349778288561544559843145969044544785724/37\ 974129634716317114966785119696386136708037039273882477609*c_1001_5^\ 21 - 12953065613062258455518488322440943955163428038995783179315878\ 145/37974129634716317114966785119696386136708037039273882477609*c_1\ 001_5^20 - 16744925294010774559028928234350661500194506318421383153\ 777313675/379741296347163171149667851196963861367080370392738824776\ 09*c_1001_5^19 - 19779878420270578043307526218516214793219454950968\ 724239766455316/379741296347163171149667851196963861367080370392738\ 82477609*c_1001_5^18 - 21375034188515070098343322333677661907097859\ 634268749554075954634/379741296347163171149667851196963861367080370\ 39273882477609*c_1001_5^17 - 21256097286450463216037158808168141003\ 796257214113721396604392765/379741296347163171149667851196963861367\ 08037039273882477609*c_1001_5^16 - 19465173225234772568276507026876905256786955193043350583775576907/3\ 7974129634716317114966785119696386136708037039273882477609*c_1001_5\ ^15 - 1649025378517489400743741733550564152943800591462892113161566\ 1158/37974129634716317114966785119696386136708037039273882477609*c_\ 1001_5^14 - 1296300952669514417963779455378889617987842208970227394\ 9322804634/37974129634716317114966785119696386136708037039273882477\ 609*c_1001_5^13 - 9482085804705275322156967952923916444693451811917\ 610575667217468/379741296347163171149667851196963861367080370392738\ 82477609*c_1001_5^12 - 65012639455334218690430795788918793284628017\ 11380392058660737013/3797412963471631711496678511969638613670803703\ 9273882477609*c_1001_5^11 - 416928266000334984132144932143714226627\ 8590722920440585715773337/37974129634716317114966785119696386136708\ 037039273882477609*c_1001_5^10 - 2524442561346423294599190120255705\ 819955555032440785532067933058/379741296347163171149667851196963861\ 36708037039273882477609*c_1001_5^9 - 1430658684063923798363497557093667699507141946782054343694223887/37\ 974129634716317114966785119696386136708037039273882477609*c_1001_5^\ 8 - 759337732821844286209275648458966672139075916306832151281178770\ /37974129634716317114966785119696386136708037039273882477609*c_1001\ _5^7 - 375531407649326270219637590258952236805672532363525443209901\ 790/37974129634716317114966785119696386136708037039273882477609*c_1\ 001_5^6 - 168697568752888703074678236653497161374631716293323606374\ 184820/37974129634716317114966785119696386136708037039273882477609*\ c_1001_5^5 - 723139399362823777027019817079872368910592640414131264\ 82099639/3797412963471631711496678511969638613670803703927388247760\ 9*c_1001_5^4 - 2613684486413198872998645194717995743040294765835573\ 6790218792/37974129634716317114966785119696386136708037039273882477\ 609*c_1001_5^3 - 85563006533379396441720228465592089546326775291859\ 88086086622/3797412963471631711496678511969638613670803703927388247\ 7609*c_1001_5^2 - 2034701768235962293479240108413032241075710505420\ 331705702730/379741296347163171149667851196963861367080370392738824\ 77609*c_1001_5 - 27991023129173258177217958267089433032872390629314\ 4294701215/37974129634716317114966785119696386136708037039273882477\ 609, c_0011_3 + 111884508977415175847083475370856995356274014793095147978377\ /37974129634716317114966785119696386136708037039273882477609*c_1001\ _5^29 + 61992945460631536864758987149666851451793367181018609928324\ 9/37974129634716317114966785119696386136708037039273882477609*c_100\ 1_5^28 + 2756846882070224811315068274598359354435819035726158662710\ 233/37974129634716317114966785119696386136708037039273882477609*c_1\ 001_5^27 + 86586818381922439055920991318927010739794674736737187477\ 12534/37974129634716317114966785119696386136708037039273882477609*c\ _1001_5^26 + 230908144750946705018550992770786172131237013862800144\ 54240670/3797412963471631711496678511969638613670803703927388247760\ 9*c_1001_5^25 + 516114304577037511453287573273510413526468871141933\ 55756300836/3797412963471631711496678511969638613670803703927388247\ 7609*c_1001_5^24 + 101451954538585277128070525925537765225725164079\ 604552930817770/379741296347163171149667851196963861367080370392738\ 82477609*c_1001_5^23 + 17635010106635431160288441068398371172787050\ 4385941192998366988/37974129634716317114966785119696386136708037039\ 273882477609*c_1001_5^22 + 2751930418455976419544943003354647833080\ 46903174438932664296182/3797412963471631711496678511969638613670803\ 7039273882477609*c_1001_5^21 + 388828114080525793085087854290384141\ 760220093246993004747970070/379741296347163171149667851196963861367\ 08037039273882477609*c_1001_5^20 + 499651821051984948289240881459340124476186349920000328828182602/379\ 74129634716317114966785119696386136708037039273882477609*c_1001_5^1\ 9 + 588445045213769312356802566667700933535631157995074160986358059\ /37974129634716317114966785119696386136708037039273882477609*c_1001\ _5^18 + 63568928579260425762302475758370663835535204982564196613354\ 3167/37974129634716317114966785119696386136708037039273882477609*c_\ 1001_5^17 + 6337133205435820662766164094114144550964473829185872806\ 49254835/3797412963471631711496678511969638613670803703927388247760\ 9*c_1001_5^16 + 583454262483268722532889844086676164411811341246492\ 940916773928/379741296347163171149667851196963861367080370392738824\ 77609*c_1001_5^15 + 49787560069241415104298026584575282150374458029\ 2986325388495806/37974129634716317114966785119696386136708037039273\ 882477609*c_1001_5^14 + 3951274376710424053886346646753182445688307\ 38312017978983448116/3797412963471631711496678511969638613670803703\ 9273882477609*c_1001_5^13 + 291945809872177989713579126755433257183\ 027709580378586278738119/379741296347163171149667851196963861367080\ 37039273882477609*c_1001_5^12 + 20242723919859102960162090558256119\ 2631209921432728939816603323/37974129634716317114966785119696386136\ 708037039273882477609*c_1001_5^11 + 131315400723230416639032376280934814687143247377320357063531831/379\ 74129634716317114966785119696386136708037039273882477609*c_1001_5^1\ 0 + 80564190323964031732075503976833354368702264415657238271256251/\ 37974129634716317114966785119696386136708037039273882477609*c_1001_\ 5^9 + 4651546220090652044178158150304922896214201807653123015290325\ 4/37974129634716317114966785119696386136708037039273882477609*c_100\ 1_5^8 + 25192392827711279984780927082219232678426303387381676473022\ 655/37974129634716317114966785119696386136708037039273882477609*c_1\ 001_5^7 + 128317573839981641850140564137123865176857068378743378132\ 37789/37974129634716317114966785119696386136708037039273882477609*c\ _1001_5^6 + 5938428131358015370814387515297615409211205000817841148\ 554036/37974129634716317114966785119696386136708037039273882477609*\ c_1001_5^5 + 271099503333932755719107943801036241117465884501294675\ 4277363/37974129634716317114966785119696386136708037039273882477609\ *c_1001_5^4 + 10626298837929574259604324527443699331478240968774248\ 05758330/3797412963471631711496678511969638613670803703927388247760\ 9*c_1001_5^3 + 4274005612564991975451577548231141991416445130795330\ 01461596/3797412963471631711496678511969638613670803703927388247760\ 9*c_1001_5^2 + 1849880873615704934707104392904622976476090149736629\ 90704308/3797412963471631711496678511969638613670803703927388247760\ 9*c_1001_5 + 860445305991491581705626958107947052933989783781683261\ 68944/37974129634716317114966785119696386136708037039273882477609, c_0011_4 - 5145504614802814308491518681713310023954237215667413668186/3\ 7974129634716317114966785119696386136708037039273882477609*c_1001_5\ ^29 - 61659524623552759609557477192470615046506668593663542506725/3\ 7974129634716317114966785119696386136708037039273882477609*c_1001_5\ ^28 - 242638576808441316645941951378604835499758495723762116259079/\ 37974129634716317114966785119696386136708037039273882477609*c_1001_\ 5^27 - 838104658920122353879497102615184241182915275519171351136158\ /37974129634716317114966785119696386136708037039273882477609*c_1001\ _5^26 - 19764579148538238429057489480750566107026551699380863587797\ 47/37974129634716317114966785119696386136708037039273882477609*c_10\ 01_5^25 - 408294088510483455790279133825274765228755152986090713298\ 4274/37974129634716317114966785119696386136708037039273882477609*c_\ 1001_5^24 - 6527438307271663709213637809275263740151351125419946441\ 119666/37974129634716317114966785119696386136708037039273882477609*\ c_1001_5^23 - 87102693481617101291279722690504963910946924781254376\ 06050134/3797412963471631711496678511969638613670803703927388247760\ 9*c_1001_5^22 - 844080985068801038906734055182364837406074801597398\ 9575393159/37974129634716317114966785119696386136708037039273882477\ 609*c_1001_5^21 - 3937347675812192388762306843289941922244575044595\ 514714514116/379741296347163171149667851196963861367080370392738824\ 77609*c_1001_5^20 + 58897361054587354027072463094770770387108668008\ 63269621765772/3797412963471631711496678511969638613670803703927388\ 2477609*c_1001_5^19 + 209058788832150663737059846701279591776361839\ 89949933563990687/3797412963471631711496678511969638613670803703927\ 3882477609*c_1001_5^18 + 374794772721044318274448273356079852336469\ 14218703913299591480/3797412963471631711496678511969638613670803703\ 9273882477609*c_1001_5^17 + 526975617084383398282586522600715001470\ 82255171541057136306727/3797412963471631711496678511969638613670803\ 7039273882477609*c_1001_5^16 + 616063265598336842691453596290576390\ 59310699067471045930272304/3797412963471631711496678511969638613670\ 8037039273882477609*c_1001_5^15 + 631879719512552604000763293955498\ 56518701214859523522179800145/3797412963471631711496678511969638613\ 6708037039273882477609*c_1001_5^14 + 57725075621272820174228499277315851808598543142518992929173167/3797\ 4129634716317114966785119696386136708037039273882477609*c_1001_5^13 + 47317966572286812860099907609353530002184783257646491382843839/37\ 974129634716317114966785119696386136708037039273882477609*c_1001_5^\ 12 + 35918958150262363994116913941198916067227064067488873476632998\ /37974129634716317114966785119696386136708037039273882477609*c_1001\ _5^11 + 24825349563795305453224209581158107394360502079930839386367\ 610/37974129634716317114966785119696386136708037039273882477609*c_1\ 001_5^10 + 16403729661456311758808574779747321615953793033938349908\ 569201/37974129634716317114966785119696386136708037039273882477609*\ c_1001_5^9 + 997548674614892236220279985833260570856378062087852179\ 6379506/37974129634716317114966785119696386136708037039273882477609\ *c_1001_5^8 + 56488216097619914709931108304994201655695959707457376\ 63346343/3797412963471631711496678511969638613670803703927388247760\ 9*c_1001_5^7 + 3116093403892270913668308610162728219612615156205674\ 191501566/379741296347163171149667851196963861367080370392738824776\ 09*c_1001_5^6 + 142530545991924956086111324389943816488432887864182\ 9243308758/37974129634716317114966785119696386136708037039273882477\ 609*c_1001_5^5 + 72234675266474368179867568167393669411477896157461\ 6692447526/37974129634716317114966785119696386136708037039273882477\ 609*c_1001_5^4 + 28128633480820085847246914217889725739978854683221\ 3778105109/37974129634716317114966785119696386136708037039273882477\ 609*c_1001_5^3 + 12830644047279750710872741164384406556528321589622\ 2724033089/37974129634716317114966785119696386136708037039273882477\ 609*c_1001_5^2 + 63927960535624024052268568627980405035268337728856\ 945988402/379741296347163171149667851196963861367080370392738824776\ 09*c_1001_5 - 33688699714506847916514227273071796324629825848730348\ 142023/37974129634716317114966785119696386136708037039273882477609, c_0011_5 - 203180470403044401030949239590868242019242233243983638993442\ 5/37974129634716317114966785119696386136708037039273882477609*c_100\ 1_5^29 - 1223021577535586858925235586801332322611756249006628521261\ 1137/37974129634716317114966785119696386136708037039273882477609*c_\ 1001_5^28 - 5578658706959403396815301107768274021139075289613100488\ 8403457/37974129634716317114966785119696386136708037039273882477609\ *c_1001_5^27 - 1825123769167393427090755432411493852661707536584357\ 20128562133/3797412963471631711496678511969638613670803703927388247\ 7609*c_1001_5^26 - 499263412592345774363873763085370361809534519479\ 326762456299988/379741296347163171149667851196963861367080370392738\ 82477609*c_1001_5^25 - 11473653165814674081457115385704947052276575\ 54150914168442163613/3797412963471631711496678511969638613670803703\ 9273882477609*c_1001_5^24 - 230479849113315184281981487183521459299\ 4117035656390327858186068/37974129634716317114966785119696386136708\ 037039273882477609*c_1001_5^23 - 4086718522540596450993503826211971\ 690420710628290291193967838668/379741296347163171149667851196963861\ 36708037039273882477609*c_1001_5^22 - 6483263960663787139019340406337544915182228411163597657893140308/37\ 974129634716317114966785119696386136708037039273882477609*c_1001_5^\ 21 - 92792020689153437888391503127710960610675073244922411157052529\ 17/37974129634716317114966785119696386136708037039273882477609*c_10\ 01_5^20 - 120441817217616721069361134803495389158723096669535360727\ 65648130/3797412963471631711496678511969638613670803703927388247760\ 9*c_1001_5^19 - 142650880963893255892189333156581291080949339857564\ 94007268770528/3797412963471631711496678511969638613670803703927388\ 2477609*c_1001_5^18 - 154516483431759281733499970916325704664916251\ 85191029057835005805/3797412963471631711496678511969638613670803703\ 9273882477609*c_1001_5^17 - 153766157101461642192496657055246827366\ 61728081851939925824748881/3797412963471631711496678511969638613670\ 8037039273882477609*c_1001_5^16 - 140876510924628868580298899727973\ 31359678021151041882128758968206/3797412963471631711496678511969638\ 6136708037039273882477609*c_1001_5^15 - 11924553202442783081974405436981088339321862337486839531021132690/3\ 7974129634716317114966785119696386136708037039273882477609*c_1001_5\ ^14 - 9361668268785013781186475984257518874384380407398392514433916\ 222/37974129634716317114966785119696386136708037039273882477609*c_1\ 001_5^13 - 68386067443399536999776017802855836645404292223465375862\ 74588105/3797412963471631711496678511969638613670803703927388247760\ 9*c_1001_5^12 - 467816520970077103361643130358595265943162228674671\ 6475992245998/37974129634716317114966785119696386136708037039273882\ 477609*c_1001_5^11 - 3000533791769130181263366562559354641994609735\ 057077260717749043/379741296347163171149667851196963861367080370392\ 73882477609*c_1001_5^10 - 18135271615854448739425310103652744167508\ 47605627415403789645763/3797412963471631711496678511969638613670803\ 7039273882477609*c_1001_5^9 - 1030261597530310645632876282527115202\ 137211535510180237455162706/379741296347163171149667851196963861367\ 08037039273882477609*c_1001_5^8 - 547121295078875154984192905804690\ 576570875007930522745905425947/379741296347163171149667851196963861\ 36708037039273882477609*c_1001_5^7 - 270749636050626113958882223081686029369654253128018458703687220/379\ 74129634716317114966785119696386136708037039273882477609*c_1001_5^6 - 122597522869466267869150935387849502358124358190237679131776907/3\ 7974129634716317114966785119696386136708037039273882477609*c_1001_5\ ^5 - 51899226391349883490983856242772253997784531121390570112789713\ /37974129634716317114966785119696386136708037039273882477609*c_1001\ _5^4 - 194447560234287989520154658768850331438865427599352162413181\ 91/37974129634716317114966785119696386136708037039273882477609*c_10\ 01_5^3 - 6099863095841904510408594464202800542422161667265592979393\ 444/37974129634716317114966785119696386136708037039273882477609*c_1\ 001_5^2 - 154982671173634846105046625968364346047577363584155340522\ 5687/37974129634716317114966785119696386136708037039273882477609*c_\ 1001_5 - 2115482813436512939861358805892960010053035863198188753854\ 94/37974129634716317114966785119696386136708037039273882477609, c_0101_0 - 254269209665748326391211521202215673778443577522372004242943\ /37974129634716317114966785119696386136708037039273882477609*c_1001\ _5^29 - 18976127879727076392181873879804169318609087847263704190530\ 21/37974129634716317114966785119696386136708037039273882477609*c_10\ 01_5^28 - 894179022857460257656406101621967243425109063896492085192\ 3314/37974129634716317114966785119696386136708037039273882477609*c_\ 1001_5^27 - 3149186946545717893919649741663959501897212521705597121\ 8861627/37974129634716317114966785119696386136708037039273882477609\ *c_1001_5^26 - 8907258151301219217989305127446795063262491544534416\ 5237196910/37974129634716317114966785119696386136708037039273882477\ 609*c_1001_5^25 - 2135572058154982100812606787239406780314922524021\ 19093971880253/3797412963471631711496678511969638613670803703927388\ 2477609*c_1001_5^24 - 441630272158658284532964295618734799737966973\ 962130841939272185/379741296347163171149667851196963861367080370392\ 73882477609*c_1001_5^23 - 80685608831785802838062123406575046839820\ 3723959261844141265827/37974129634716317114966785119696386136708037\ 039273882477609*c_1001_5^22 - 1312371652557455953659904545755608176\ 411693575761427571828086710/379741296347163171149667851196963861367\ 08037039273882477609*c_1001_5^21 - 1922438173277857730793981465700511682651196507713734752026405846/37\ 974129634716317114966785119696386136708037039273882477609*c_1001_5^\ 20 - 25488371610910627875457454030005129517453923721837708979306259\ 23/37974129634716317114966785119696386136708037039273882477609*c_10\ 01_5^19 - 307524215656431057676070384097866216555275469425564089074\ 8954178/37974129634716317114966785119696386136708037039273882477609\ *c_1001_5^18 - 3390017613773973346393721823360157180954646403023462\ 354053715307/379741296347163171149667851196963861367080370392738824\ 77609*c_1001_5^17 - 34223805908214857388085602860396693113896676589\ 87974076445365182/3797412963471631711496678511969638613670803703927\ 3882477609*c_1001_5^16 - 317806746049154499651795095626131303239297\ 5546571673979596298399/37974129634716317114966785119696386136708037\ 039273882477609*c_1001_5^15 - 2718750990990881916760414268652037297\ 925386990904308386460085305/379741296347163171149667851196963861367\ 08037039273882477609*c_1001_5^14 - 2154486640975447650923738766355912168103216982119705400377352364/37\ 974129634716317114966785119696386136708037039273882477609*c_1001_5^\ 13 - 15867698272047178187168850453883276803326651510716091706309768\ 77/37974129634716317114966785119696386136708037039273882477609*c_10\ 01_5^12 - 109281460534977389822266698786083816936589464179331954420\ 0696837/37974129634716317114966785119696386136708037039273882477609\ *c_1001_5^11 - 7078399960994561935451641223970397183123598885007371\ 87433674887/3797412963471631711496678511969638613670803703927388247\ 7609*c_1001_5^10 - 430684799792648105561070516328756059824744779622\ 594784044864672/379741296347163171149667851196963861367080370392738\ 82477609*c_1001_5^9 - 247983797962385738073584498888586235372365346\ 746489541540461261/379741296347163171149667851196963861367080370392\ 73882477609*c_1001_5^8 - 132730583941343483802113332213607222999571\ 648478288088805275498/379741296347163171149667851196963861367080370\ 39273882477609*c_1001_5^7 - 663283787830575705806073755307372154204\ 97590480403311460290331/3797412963471631711496678511969638613670803\ 7039273882477609*c_1001_5^6 - 3032547409289358239571980745359279366\ 2150337561461990357029639/37974129634716317114966785119696386136708\ 037039273882477609*c_1001_5^5 - 12741657296296469700028014464537604\ 817587681066046660643919124/379741296347163171149667851196963861367\ 08037039273882477609*c_1001_5^4 - 515990021315469851837433614634697\ 1270365753440567459481287822/37974129634716317114966785119696386136\ 708037039273882477609*c_1001_5^3 - 1494685038642127871206064840480646170849898858607196061053760/37974\ 129634716317114966785119696386136708037039273882477609*c_1001_5^2 - 424736704894171906793651437744047895253608363482059149800887/379741\ 29634716317114966785119696386136708037039273882477609*c_1001_5 - 58696810718370883334393644470498307246004086282510686917499/3797412\ 9634716317114966785119696386136708037039273882477609, c_0101_10 + 44373724475573764044126214704615418918057749346666476768292\ 13/37974129634716317114966785119696386136708037039273882477609*c_10\ 01_5^29 + 246860633810089014609125685912468195498327728091609031217\ 52713/37974129634716317114966785119696386136708037039273882477609*c\ _1001_5^28 + 111105866637822371051109881367001934235437324876173585\ 936275796/379741296347163171149667851196963861367080370392738824776\ 09*c_1001_5^27 + 35102883288474613090513666075356730766153620695373\ 5006402591973/37974129634716317114966785119696386136708037039273882\ 477609*c_1001_5^26 + 9443869438763540472132958455066064938450440282\ 73794399111400492/3797412963471631711496678511969638613670803703927\ 3882477609*c_1001_5^25 + 212108117641131583613271045894020221941974\ 4224108384397755345045/37974129634716317114966785119696386136708037\ 039273882477609*c_1001_5^24 + 4192052914180061453501266633250518663\ 147171963023625409247162570/379741296347163171149667851196963861367\ 08037039273882477609*c_1001_5^23 + 7303250103681723217921490629202925756381115181258084023855548802/37\ 974129634716317114966785119696386136708037039273882477609*c_1001_5^\ 22 + 11412509597242696404498023711526697374988927248757421836309911\ 130/37974129634716317114966785119696386136708037039273882477609*c_1\ 001_5^21 + 16101259196488679586683001247093218591617626983521873555\ 288074958/379741296347163171149667851196963861367080370392738824776\ 09*c_1001_5^20 + 20619203767955320277332500131989315179754685140449\ 030603805769887/379741296347163171149667851196963861367080370392738\ 82477609*c_1001_5^19 + 24136385804991183813099671339517891667842842\ 615683888649174318605/379741296347163171149667851196963861367080370\ 39273882477609*c_1001_5^18 + 25847760494399753970426694781335287961\ 385342615256772112045312476/379741296347163171149667851196963861367\ 08037039273882477609*c_1001_5^17 + 25489310732966610056735750081554887839208481848054039662382249371/3\ 7974129634716317114966785119696386136708037039273882477609*c_1001_5\ ^16 + 2315324044384040529773898649608863652811189960302628132958635\ 1700/37974129634716317114966785119696386136708037039273882477609*c_\ 1001_5^15 + 1947382089324583809224633166094172588328423784131349596\ 0850172481/37974129634716317114966785119696386136708037039273882477\ 609*c_1001_5^14 + 1521085812977218464067511075980966786670887632549\ 5152442924668127/37974129634716317114966785119696386136708037039273\ 882477609*c_1001_5^13 + 1106536288968184290564216356887552912760310\ 5240567623067499818426/37974129634716317114966785119696386136708037\ 039273882477609*c_1001_5^12 + 7555119672924051697168107426484882453\ 246367155581137537947217014/379741296347163171149667851196963861367\ 08037039273882477609*c_1001_5^11 + 4824901746769554601545271154874324787492931103119015077636898797/37\ 974129634716317114966785119696386136708037039273882477609*c_1001_5^\ 10 + 29129550172986299463063886984669719458918287839857533294837536\ 22/37974129634716317114966785119696386136708037039273882477609*c_10\ 01_5^9 + 1644666980843228836931515081631431942454716068085017700159\ 871030/37974129634716317114966785119696386136708037039273882477609*\ c_1001_5^8 + 870066436601700594219792725607520894083816668839116217\ 013516550/379741296347163171149667851196963861367080370392738824776\ 09*c_1001_5^7 + 429249828830467876336007848545731623270590955782022\ 646004008345/379741296347163171149667851196963861367080370392738824\ 77609*c_1001_5^6 + 192324009975761912025789617681366649759473865293\ 389952195496070/379741296347163171149667851196963861367080370392738\ 82477609*c_1001_5^5 + 828501956594286224706863459766852740762161973\ 89804182002013883/3797412963471631711496678511969638613670803703927\ 3882477609*c_1001_5^4 + 2957344698441839460981289036910794382254376\ 7383505842236083517/37974129634716317114966785119696386136708037039\ 273882477609*c_1001_5^3 + 95968191786328809139564832095661853396315\ 39509735691726267597/3797412963471631711496678511969638613670803703\ 9273882477609*c_1001_5^2 + 2354676663460849088036705661866052396841\ 342377274297603644740/379741296347163171149667851196963861367080370\ 39273882477609*c_1001_5 + 31350371228949914741448318923452147275358\ 4505907315497236494/37974129634716317114966785119696386136708037039\ 273882477609, c_0101_9 - 751413800141173785053523055558966264150786718656236578346160\ /37974129634716317114966785119696386136708037039273882477609*c_1001\ _5^29 - 41435701632781850767029452459275983446452594968135671371421\ 37/37974129634716317114966785119696386136708037039273882477609*c_10\ 01_5^28 - 186891201692567734331636464858116000741685578784095415392\ 11564/37974129634716317114966785119696386136708037039273882477609*c\ _1001_5^27 - 590295390614228536107949551704310756738435230017746444\ 17154157/3797412963471631711496678511969638613670803703927388247760\ 9*c_1001_5^26 - 159226776312860556745828564525521491965394379072885\ 918094111574/379741296347163171149667851196963861367080370392738824\ 77609*c_1001_5^25 - 35858291923790563521914397869670146520540949497\ 8288875520823446/37974129634716317114966785119696386136708037039273\ 882477609*c_1001_5^24 - 7112724931779361575037523466677822695791043\ 96929487776083611307/3797412963471631711496678511969638613670803703\ 9273882477609*c_1001_5^23 - 124448617814919819608083358863883798115\ 3911228662901154866754766/37974129634716317114966785119696386136708\ 037039273882477609*c_1001_5^22 - 1953534653708332644292569743767282\ 918385852071956601690356695227/379741296347163171149667851196963861\ 36708037039273882477609*c_1001_5^21 - 2770517846625483854664079216642611373805637326869405848138697073/37\ 974129634716317114966785119696386136708037039273882477609*c_1001_5^\ 20 - 35658793037207410203646711221779726235771489496522123213243634\ 09/37974129634716317114966785119696386136708037039273882477609*c_10\ 01_5^19 - 419664239664500104596379292782010794185914896078959752595\ 7208523/37974129634716317114966785119696386136708037039273882477609\ *c_1001_5^18 - 4516193093767135706312458583444572702888475529191049\ 598935591312/379741296347163171149667851196963861367080370392738824\ 77609*c_1001_5^17 - 44736118771687143637743332501937139640211042340\ 39269999828641152/3797412963471631711496678511969638613670803703927\ 3882477609*c_1001_5^16 - 407816722736321596384355173586513477165729\ 5431956068428576909290/37974129634716317114966785119696386136708037\ 039273882477609*c_1001_5^15 - 3437203244339992083619796076455676223\ 179979032695027464356537498/379741296347163171149667851196963861367\ 08037039273882477609*c_1001_5^14 - 2687127426775021766501201668819974575119412881340790699239629590/37\ 974129634716317114966785119696386136708037039273882477609*c_1001_5^\ 13 - 19512848315569398248059016757411859540865260074699979457287000\ 39/37974129634716317114966785119696386136708037039273882477609*c_10\ 01_5^12 - 132878112597012349775896641397910795089894071938579772728\ 6931181/37974129634716317114966785119696386136708037039273882477609\ *c_1001_5^11 - 8440632856406554447984500638947236688762710672275326\ 92820268820/3797412963471631711496678511969638613670803703927388247\ 7609*c_1001_5^10 - 506837940148006973629887226104279191405909665525\ 958027866900240/379741296347163171149667851196963861367080370392738\ 82477609*c_1001_5^9 - 284325188740146614110130946325506396784939452\ 966876530651287337/379741296347163171149667851196963861367080370392\ 73882477609*c_1001_5^8 - 148714932383676963447807414034721478876312\ 308117151099201634402/379741296347163171149667851196963861367080370\ 39273882477609*c_1001_5^7 - 728105849289460652408903058170434650077\ 66488558330834325819810/3797412963471631711496678511969638613670803\ 7039273882477609*c_1001_5^6 - 3158491937280910765598659912637804116\ 3824553783058925719719309/37974129634716317114966785119696386136708\ 037039273882477609*c_1001_5^5 - 13474999776727470667311648238916083\ 500077378801495103953358958/379741296347163171149667851196963861367\ 08037039273882477609*c_1001_5^4 - 456168980202715115171611298434368\ 3006858564678922381003859640/37974129634716317114966785119696386136\ 708037039273882477609*c_1001_5^3 - 1453831112664014879766690803955629510859257774354509470932696/37974\ 129634716317114966785119696386136708037039273882477609*c_1001_5^2 - 397300066812889894566623730484501120197859352798739641510709/379741\ 29634716317114966785119696386136708037039273882477609*c_1001_5 - 36621564665354308022993346445836692304009136491984823381582/3797412\ 9634716317114966785119696386136708037039273882477609, c_1001_0 + 71533714821958062774169619439810460709305525257534380832474/\ 37974129634716317114966785119696386136708037039273882477609*c_1001_\ 5^29 + 468631232908226944541129698093572792776413078285221973347718\ /37974129634716317114966785119696386136708037039273882477609*c_1001\ _5^28 + 22192086652213201368304798699738506396658829949096198676152\ 15/37974129634716317114966785119696386136708037039273882477609*c_10\ 01_5^27 + 755226342686419285560648177376734748880916272180932598989\ 6307/37974129634716317114966785119696386136708037039273882477609*c_\ 1001_5^26 + 2128883553507051082569486507868413060746815110928377005\ 1988794/37974129634716317114966785119696386136708037039273882477609\ *c_1001_5^25 + 5023995862161906814107809831472579274889948764657564\ 9323303645/37974129634716317114966785119696386136708037039273882477\ 609*c_1001_5^24 + 1032889952956770428600801006576709923442781105097\ 16594873209564/3797412963471631711496678511969638613670803703927388\ 2477609*c_1001_5^23 + 186768664969817129455329649246447088537872841\ 604735883487249362/379741296347163171149667851196963861367080370392\ 73882477609*c_1001_5^22 + 30156435310242700820058017976581149416213\ 1422638789796348426860/37974129634716317114966785119696386136708037\ 039273882477609*c_1001_5^21 + 4380040638411001846319547149477674838\ 48680487349922210731580749/3797412963471631711496678511969638613670\ 8037039273882477609*c_1001_5^20 + 575879066038352969824237701203512\ 745530302790940671267784774726/379741296347163171149667851196963861\ 36708037039273882477609*c_1001_5^19 + 689415994073241230391822168849551389706594802604898353515572776/379\ 74129634716317114966785119696386136708037039273882477609*c_1001_5^1\ 8 + 753367138786729387612308832962663622143310677007711970349472961\ /37974129634716317114966785119696386136708037039273882477609*c_1001\ _5^17 + 75524297550125258851470801375887885901134465798673875878000\ 6142/37974129634716317114966785119696386136708037039273882477609*c_\ 1001_5^16 + 6957036562362907471498983117206710286953004328363186771\ 41787995/3797412963471631711496678511969638613670803703927388247760\ 9*c_1001_5^15 + 591680433602757035306156844877828522687044103598765\ 796620927392/379741296347163171149667851196963861367080370392738824\ 77609*c_1001_5^14 + 46608372069575983222640694648583190633049425221\ 2310259511030663/37974129634716317114966785119696386136708037039273\ 882477609*c_1001_5^13 + 3414079998026427147472470237817231751935018\ 30559870443761454481/3797412963471631711496678511969638613670803703\ 9273882477609*c_1001_5^12 + 234219285708071479243438737512436531749\ 725409197528672456404627/379741296347163171149667851196963861367080\ 37039273882477609*c_1001_5^11 + 15038186641945929119861101429110007\ 8724773017035255621120015302/37974129634716317114966785119696386136\ 708037039273882477609*c_1001_5^10 + 91137724780162129600102243816526889137427880703686346883153306/3797\ 4129634716317114966785119696386136708037039273882477609*c_1001_5^9 + 51611647196009776803431494667984350857635520836159789234388693/3797\ 4129634716317114966785119696386136708037039273882477609*c_1001_5^8 + 27420163682965108048693862809278170666202708276540638093098296/3797\ 4129634716317114966785119696386136708037039273882477609*c_1001_5^7 + 13597373810354135427657207424679814571997656502230701463488505/3797\ 4129634716317114966785119696386136708037039273882477609*c_1001_5^6 + 6049122601614180788222188759814461822326654515385240049444400/37974\ 129634716317114966785119696386136708037039273882477609*c_1001_5^5 + 2616514251749081350079410737443953810953436306531576486585084/37974\ 129634716317114966785119696386136708037039273882477609*c_1001_5^4 + 913039234578269910010796585795647156479067631985881295155716/379741\ 29634716317114966785119696386136708037039273882477609*c_1001_5^3 + 287686899213456359722078153457567513034595492773797011373463/379741\ 29634716317114966785119696386136708037039273882477609*c_1001_5^2 + 5136626700864943714408117101443140781137194686244766912742/37974129\ 634716317114966785119696386136708037039273882477609*c_1001_5 - 26677685075341714865719411961166662822588501995670839840616/3797412\ 9634716317114966785119696386136708037039273882477609, c_1001_1 - 203180470403044401030949239590868242019242233243983638993442\ 5/37974129634716317114966785119696386136708037039273882477609*c_100\ 1_5^29 - 1223021577535586858925235586801332322611756249006628521261\ 1137/37974129634716317114966785119696386136708037039273882477609*c_\ 1001_5^28 - 5578658706959403396815301107768274021139075289613100488\ 8403457/37974129634716317114966785119696386136708037039273882477609\ *c_1001_5^27 - 1825123769167393427090755432411493852661707536584357\ 20128562133/3797412963471631711496678511969638613670803703927388247\ 7609*c_1001_5^26 - 499263412592345774363873763085370361809534519479\ 326762456299988/379741296347163171149667851196963861367080370392738\ 82477609*c_1001_5^25 - 11473653165814674081457115385704947052276575\ 54150914168442163613/3797412963471631711496678511969638613670803703\ 9273882477609*c_1001_5^24 - 230479849113315184281981487183521459299\ 4117035656390327858186068/37974129634716317114966785119696386136708\ 037039273882477609*c_1001_5^23 - 4086718522540596450993503826211971\ 690420710628290291193967838668/379741296347163171149667851196963861\ 36708037039273882477609*c_1001_5^22 - 6483263960663787139019340406337544915182228411163597657893140308/37\ 974129634716317114966785119696386136708037039273882477609*c_1001_5^\ 21 - 92792020689153437888391503127710960610675073244922411157052529\ 17/37974129634716317114966785119696386136708037039273882477609*c_10\ 01_5^20 - 120441817217616721069361134803495389158723096669535360727\ 65648130/3797412963471631711496678511969638613670803703927388247760\ 9*c_1001_5^19 - 142650880963893255892189333156581291080949339857564\ 94007268770528/3797412963471631711496678511969638613670803703927388\ 2477609*c_1001_5^18 - 154516483431759281733499970916325704664916251\ 85191029057835005805/3797412963471631711496678511969638613670803703\ 9273882477609*c_1001_5^17 - 153766157101461642192496657055246827366\ 61728081851939925824748881/3797412963471631711496678511969638613670\ 8037039273882477609*c_1001_5^16 - 140876510924628868580298899727973\ 31359678021151041882128758968206/3797412963471631711496678511969638\ 6136708037039273882477609*c_1001_5^15 - 11924553202442783081974405436981088339321862337486839531021132690/3\ 7974129634716317114966785119696386136708037039273882477609*c_1001_5\ ^14 - 9361668268785013781186475984257518874384380407398392514433916\ 222/37974129634716317114966785119696386136708037039273882477609*c_1\ 001_5^13 - 68386067443399536999776017802855836645404292223465375862\ 74588105/3797412963471631711496678511969638613670803703927388247760\ 9*c_1001_5^12 - 467816520970077103361643130358595265943162228674671\ 6475992245998/37974129634716317114966785119696386136708037039273882\ 477609*c_1001_5^11 - 3000533791769130181263366562559354641994609735\ 057077260717749043/379741296347163171149667851196963861367080370392\ 73882477609*c_1001_5^10 - 18135271615854448739425310103652744167508\ 47605627415403789645763/3797412963471631711496678511969638613670803\ 7039273882477609*c_1001_5^9 - 1030261597530310645632876282527115202\ 137211535510180237455162706/379741296347163171149667851196963861367\ 08037039273882477609*c_1001_5^8 - 547121295078875154984192905804690\ 576570875007930522745905425947/379741296347163171149667851196963861\ 36708037039273882477609*c_1001_5^7 - 270749636050626113958882223081686029369654253128018458703687220/379\ 74129634716317114966785119696386136708037039273882477609*c_1001_5^6 - 122597522869466267869150935387849502358124358190237679131776907/3\ 7974129634716317114966785119696386136708037039273882477609*c_1001_5\ ^5 - 51899226391349883490983856242772253997784531121390570112789713\ /37974129634716317114966785119696386136708037039273882477609*c_1001\ _5^4 - 194447560234287989520154658768850331438865427599352162413181\ 91/37974129634716317114966785119696386136708037039273882477609*c_10\ 01_5^3 - 6099863095841904510408594464202800542422161667265592979393\ 444/37974129634716317114966785119696386136708037039273882477609*c_1\ 001_5^2 - 154982671173634846105046625968364346047577363584155340522\ 5687/37974129634716317114966785119696386136708037039273882477609*c_\ 1001_5 - 2115482813436512939861358805892960010053035863198188753854\ 94/37974129634716317114966785119696386136708037039273882477609, c_1001_5^30 + 1406/217*c_1001_5^29 + 935/31*c_1001_5^28 + 22174/217*c_1001_5^27 + 62038/217*c_1001_5^26 + 146409/217*c_1001_5^25 + 300945/217*c_1001_5^24 + 546768/217*c_1001_5^23 + 888383/217*c_1001_5^22 + 1303095/217*c_1001_5^21 + 1735005/217*c_1001_5^20 + 2109234/217*c_1001_5^19 + 2348784/217*c_1001_5^18 + 2404751/217*c_1001_5^17 + 2270301/217*c_1001_5^16 + 63928/7*c_1001_5^15 + 1605564/217*c_1001_5^14 + 1210784/217*c_1001_5^13 + 854053/217*c_1001_5^12 + 565150/217*c_1001_5^11 + 50254/31*c_1001_5^10 + 206327/217*c_1001_5^9 + 113441/217*c_1001_5^8 + 58384/217*c_1001_5^7 + 27803/217*c_1001_5^6 + 12261/217*c_1001_5^5 + 4961/217*c_1001_5^4 + 1726/217*c_1001_5^3 + 520/217*c_1001_5^2 + 113/217*c_1001_5 + 13/217 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.280 Total time: 0.490 seconds, Total memory usage: 32.09MB