Magma V2.19-8 Tue Aug 20 2013 23:53:42 on localhost [Seed = 4273509753] Type ? for help. Type -D to quit. Loading file "K12n398__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n398 geometric_solution 11.94290196 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 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 0 1 -1 0 0 0 0 0 -7 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.959015749442 0.713942503637 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.414844492364 0.327300416056 8 0 9 7 0132 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 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 8 0 -7 -1 0 0 0 0 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.352954120581 1.245496965175 6 10 11 0 0132 0132 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.521326364453 0.516506623391 9 12 0 5 0321 0132 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 1 -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 1 -1 0 0 0 0 7 -7 0 0 7 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.541850970931 0.500184212613 10 1 4 8 0213 0132 1230 0213 0 0 0 0 0 0 0 0 1 0 0 -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 8 0 0 -8 8 0 0 -8 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.800437051701 1.224215152078 3 12 1 11 0132 1230 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.493377186520 1.625474501993 11 8 2 1 0132 0213 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.657669532751 0.644445558514 2 10 7 5 0132 0213 0213 0213 0 0 0 0 0 0 0 0 -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 -8 0 0 8 0 -8 0 8 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.181360030545 0.689917192135 4 12 11 2 0321 0321 0321 0132 0 0 0 0 0 0 0 0 -1 0 0 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 -7 0 0 7 -7 0 0 7 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.534604353570 1.408634676126 5 3 8 12 0213 0132 0213 1230 0 0 0 0 0 0 0 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -8 0 8 0 -8 8 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.443912944990 0.647273391157 7 6 9 3 0132 0321 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 1 7 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.894605868748 0.694646435804 10 4 6 9 3012 0132 3012 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 0 0 -1 0 0 1 0 0 0 0 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.655722383409 0.874716468858 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_1001_0'], 'c_1001_12' : negation(d['c_0011_10']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_12'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_1001_5']), 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_1001_2'], 'c_1010_11' : d['c_0101_12'], 'c_1010_10' : d['c_0101_12'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_1'], 'c_0101_10' : d['c_0011_0'], 's_2_0' : negation(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_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : negation(d['1']), 's_2_11' : d['1'], 's_0_8' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_9']), 'c_1100_4' : negation(d['c_1001_5']), 'c_1100_7' : d['c_1001_11'], 'c_1100_6' : d['c_1001_11'], 'c_1100_1' : d['c_1001_11'], 'c_1100_0' : negation(d['c_1001_5']), 'c_1100_3' : negation(d['c_1001_5']), 'c_1100_2' : d['c_1001_11'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_1001_5']), 'c_1100_10' : negation(d['c_0011_9']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_0101_12'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0011_10']), '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_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : negation(d['c_0011_9']), 'c_1100_8' : d['c_1001_1'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_1001_5']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_12']), 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : d['c_0011_10'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_11']), 'c_0110_10' : d['c_0011_12'], 'c_0110_12' : negation(d['c_0011_9']), 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0011_11']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_10'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_11']), 'c_0101_2' : d['c_0011_12'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_1']), 'c_0101_8' : negation(d['c_0011_11']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : negation(d['1']), 'c_0110_9' : d['c_0011_12'], 'c_0110_8' : d['c_0011_12'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1001_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_11']), 'c_0110_5' : negation(d['c_0011_12']), 'c_0110_4' : negation(d['c_0011_9']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_11'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_9, c_0101_0, c_0101_1, c_0101_12, c_1001_0, c_1001_1, c_1001_11, c_1001_2, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 9736430452392594644752196237245702887571336329378747270488080440346\ 143490263419/464733195044793134558832940161610760918335862361778263\ 701252999376392720296*c_1001_5^25 - 4909513749949932114061367961198210291637138139921667723381113791645\ 3497516582719/11618329876119828363970823504040269022958396559044456\ 5925313249844098180074*c_1001_5^24 + 4676789427118802036331443982655849993893367462038282280293413244223\ 21111044568945/2323665975223965672794164700808053804591679311808891\ 31850626499688196360148*c_1001_5^23 - 5227284138075830053623385835468471295957439314597626384484539740606\ 03262563004992/5809164938059914181985411752020134511479198279522228\ 2962656624922049090037*c_1001_5^22 + 1379116282860221810942544900021097658925536515020333729386100992288\ 1041895614608527/46473319504479313455883294016161076091833586236177\ 8263701252999376392720296*c_1001_5^21 - 2209961250098938209926494033924118595952876553689057802446229687361\ 2475215499256359/23236659752239656727941647008080538045916793118088\ 9131850626499688196360148*c_1001_5^20 + 1654961834518176068222547138415886785925262547839238096204027557958\ 6634069051669430/58091649380599141819854117520201345114791982795222\ 282962656624922049090037*c_1001_5^19 - 3645752392189058214693513021643708309306335947068481951783582838051\ 17852362516162097/4647331950447931345588329401616107609183358623617\ 78263701252999376392720296*c_1001_5^18 + 9241512477122610503060742744522848112426074340738895647058331575420\ 44149194891238955/4647331950447931345588329401616107609183358623617\ 78263701252999376392720296*c_1001_5^17 - 2086791547613520805651814096633075875733534689790795863931379334989\ 267096222084927265/464733195044793134558832940161610760918335862361\ 778263701252999376392720296*c_1001_5^16 + 7243764784690243558681876689971732824711590354549057447406597595920\ 2413437903334484/82988070543713059742648739314573350163988546850317\ 54708950946417435584291*c_1001_5^15 - 3355035861257968545964121462804741818619890883762675957631367141312\ 081702948314159771/232366597522396567279416470080805380459167931180\ 889131850626499688196360148*c_1001_5^14 + 4719402436342688011282351291096837220055878967129262240750699985934\ 109634131971493715/232366597522396567279416470080805380459167931180\ 889131850626499688196360148*c_1001_5^13 - 1141261980552480734301112835217748988475416370082036318596575165266\ 3676698397108759091/46473319504479313455883294016161076091833586236\ 1778263701252999376392720296*c_1001_5^12 + 1186572093139830359174361238329357450455843740751332798273273888221\ 2861941596863761749/46473319504479313455883294016161076091833586236\ 1778263701252999376392720296*c_1001_5^11 - 5352520795033576959667200878274990085597328334502257250433973994508\ 338683958812117261/232366597522396567279416470080805380459167931180\ 889131850626499688196360148*c_1001_5^10 + 2094304530424856683344996496709184180412858817338023400976353138028\ 122850625328351157/116183298761198283639708235040402690229583965590\ 444565925313249844098180074*c_1001_5^9 - 1943955033126331548924772975240431228703425798477498202140816979007\ 14406684290192075/1602528258775148739858044621246933658339089180557\ 8560817284586185392852424*c_1001_5^8 + 3295181990486551903181939166455851023605770180751546317546816549852\ 694675794006099013/464733195044793134558832940161610760918335862361\ 778263701252999376392720296*c_1001_5^7 - 7913830634880667373514820693432525346287848991184672805806493539295\ 13747312981633873/2323665975223965672794164700808053804591679311808\ 89131850626499688196360148*c_1001_5^6 + 6569142430130874674787248575457075720171783926225693313174296711443\ 65637218354426541/4647331950447931345588329401616107609183358623617\ 78263701252999376392720296*c_1001_5^5 - 1921618988058160340018442669432838633688077879290768006375944603357\ 54721263584458293/4647331950447931345588329401616107609183358623617\ 78263701252999376392720296*c_1001_5^4 + 2401612285062862083961221080993096371453844290611047494650828775398\ 4436152003218363/23236659752239656727941647008080538045916793118088\ 9131850626499688196360148*c_1001_5^3 - 1478032664184465652169489695245706413267712095057627563770146924825\ 360498117778587/232366597522396567279416470080805380459167931180889\ 131850626499688196360148*c_1001_5^2 + 1767301211153717219249058896561718460844367850956472694693546488649\ 8211028940301/46473319504479313455883294016161076091833586236177826\ 3701252999376392720296*c_1001_5 - 138543490260756841784268071727275\ 924774002029513763799339212516075835353270153241/464733195044793134\ 558832940161610760918335862361778263701252999376392720296, c_0011_0 - 1, c_0011_10 + 10172313102514212539110262177067696842267612999483349855958\ /154358895429300189341657385671092973177639595502611425438089*c_100\ 1_5^25 - 1959822716022997051445060217089497037017156073026623764135\ 02/154358895429300189341657385671092973177639595502611425438089*c_1\ 001_5^24 + 80164947750116234371418661487142100482218553531640256014\ 3013/154358895429300189341657385671092973177639595502611425438089*c\ _1001_5^23 - 366988614117542009221901866219645940275658399003461324\ 7213530/15435889542930018934165738567109297317763959550261142543808\ 9*c_1001_5^22 + 111477638987703559445932933055477653540578910422802\ 28672999703/1543588954293001893416573856710929731776395955026114254\ 38089*c_1001_5^21 - 36416836141401543257677144019509886305145827948\ 823655652818817/154358895429300189341657385671092973177639595502611\ 425438089*c_1001_5^20 + 1060153073467960884094446346739212152161472\ 51304244537281381425/1543588954293001893416573856710929731776395955\ 02611425438089*c_1001_5^19 - 28750777666084175161563953938028629955\ 3850533295466222415636617/15435889542930018934165738567109297317763\ 9595502611425438089*c_1001_5^18 + 711612161620078330810144605165246\ 560187716586248110019968132882/154358895429300189341657385671092973\ 177639595502611425438089*c_1001_5^17 - 1551838040531402261441761682668729827550715007009419884901703533/15\ 4358895429300189341657385671092973177639595502611425438089*c_1001_5\ ^16 + 2867405922189108075891380549330111036586512537459583846526771\ 815/154358895429300189341657385671092973177639595502611425438089*c_\ 1001_5^15 - 4471636590739874582589292237422003449255548892589646994\ 079132390/154358895429300189341657385671092973177639595502611425438\ 089*c_1001_5^14 + 5876315677933015019241377236337827337257487321653\ 443591313596974/154358895429300189341657385671092973177639595502611\ 425438089*c_1001_5^13 - 6642750027476482500972235947495784676881867\ 616076765794715634115/154358895429300189341657385671092973177639595\ 502611425438089*c_1001_5^12 + 6365932334861687635778567351533935398\ 787026136436568383114083605/154358895429300189341657385671092973177\ 639595502611425438089*c_1001_5^11 - 5364211882118778245681572515737482960624996286649387300902254750/15\ 4358895429300189341657385671092973177639595502611425438089*c_1001_5\ ^10 + 3801439361638987251440923945004791303320106327699535323423732\ 639/154358895429300189341657385671092973177639595502611425438089*c_\ 1001_5^9 - 24075091692964753122766848045517963259247579715235396036\ 90694602/1543588954293001893416573856710929731776395955026114254380\ 89*c_1001_5^8 + 123189818545577008264972803221264559277431275933112\ 9313416320260/15435889542930018934165738567109297317763959550261142\ 5438089*c_1001_5^7 - 5778928035412134720134656374135701753766632864\ 04361859104733103/1543588954293001893416573856710929731776395955026\ 11425438089*c_1001_5^6 + 192745919227733938981119150580769974792432\ 135265300701990540069/154358895429300189341657385671092973177639595\ 502611425438089*c_1001_5^5 - 66147171540960030840256080519906258092\ 455718249764788961589064/154358895429300189341657385671092973177639\ 595502611425438089*c_1001_5^4 + 96398578786825081324477876113062715\ 52313477544943751408604355/1543588954293001893416573856710929731776\ 39595502611425438089*c_1001_5^3 - 302814377696996091613263707768098\ 8540668138653583662381327396/15435889542930018934165738567109297317\ 7639595502611425438089*c_1001_5^2 - 41474238300186287623592912156148162932838977994067163494989/1543588\ 95429300189341657385671092973177639595502611425438089*c_1001_5 + 40816516654806970753953245029720221318363625182677669438159/1543588\ 95429300189341657385671092973177639595502611425438089, c_0011_11 + 10922120818827525624207820626590192788880084566859440864681\ /154358895429300189341657385671092973177639595502611425438089*c_100\ 1_5^25 - 1983796764138975594160820507203798898700375174138846306952\ 02/154358895429300189341657385671092973177639595502611425438089*c_1\ 001_5^24 + 63618317104684820307599567721623340777235283465404429476\ 0300/154358895429300189341657385671092973177639595502611425438089*c\ _1001_5^23 - 313547703959235026250307814506329110686664555056663064\ 5636225/15435889542930018934165738567109297317763959550261142543808\ 9*c_1001_5^22 + 819052201001528342113899944808764988713312805205232\ 8147321712/15435889542930018934165738567109297317763959550261142543\ 8089*c_1001_5^21 - 284644127367369605460341431511404970610817736020\ 09166328929569/1543588954293001893416573856710929731776395955026114\ 25438089*c_1001_5^20 + 78327384974048741107450366198963778041342367\ 945576199711008900/154358895429300189341657385671092973177639595502\ 611425438089*c_1001_5^19 - 2078552292863060423930016469122084672387\ 51821995914421750247641/1543588954293001893416573856710929731776395\ 95502611425438089*c_1001_5^18 + 49530757986097533412695346235986190\ 5101925267791326232823361845/15435889542930018934165738567109297317\ 7639595502611425438089*c_1001_5^17 - 1015214681778562110371723814908646596863512901941926119771320549/15\ 4358895429300189341657385671092973177639595502611425438089*c_1001_5\ ^16 + 1710089688826792044721001716324507884160750878436887722699910\ 656/154358895429300189341657385671092973177639595502611425438089*c_\ 1001_5^15 - 2407133962641039542845455635633692743607727647225724493\ 395335105/154358895429300189341657385671092973177639595502611425438\ 089*c_1001_5^14 + 2802503815806380311680955063047428728155032807836\ 606086279890855/154358895429300189341657385671092973177639595502611\ 425438089*c_1001_5^13 - 2838322993261540719951313082632257300329642\ 963401594402055183968/154358895429300189341657385671092973177639595\ 502611425438089*c_1001_5^12 + 2282220249064248022905610522740403065\ 939377266389359574652236393/154358895429300189341657385671092973177\ 639595502611425438089*c_1001_5^11 - 1745383247436079058250712864072798898034476980611368269336273527/15\ 4358895429300189341657385671092973177639595502611425438089*c_1001_5\ ^10 + 8662853136781837426000132719858540494515761297616885832472857\ 06/154358895429300189341657385671092973177639595502611425438089*c_1\ 001_5^9 - 527562718870233641115147148805534715812922157513759596126\ 121626/154358895429300189341657385671092973177639595502611425438089\ *c_1001_5^8 + 56275609189565737621450980532459903046001032961841992\ 355172516/154358895429300189341657385671092973177639595502611425438\ 089*c_1001_5^7 - 51241865503396816842176570614432324473066113238180\ 143138953758/154358895429300189341657385671092973177639595502611425\ 438089*c_1001_5^6 - 58186360125325899543054611465636797207399231088\ 058119302777880/154358895429300189341657385671092973177639595502611\ 425438089*c_1001_5^5 + 61281592468874156020811444904781983173931169\ 65117020139124634/1543588954293001893416573856710929731776395955026\ 11425438089*c_1001_5^4 - 144300283601975012662580174294001317842484\ 03924787556350174982/1543588954293001893416573856710929731776395955\ 02611425438089*c_1001_5^3 + 777196580897973260547315414000526179676\ 809802087998171134852/154358895429300189341657385671092973177639595\ 502611425438089*c_1001_5^2 - 63574734528170397003297807190369858624\ 0576617030095914197295/15435889542930018934165738567109297317763959\ 5502611425438089*c_1001_5 + 382148717293938876672298720070269886797\ 90605868909009304808/1543588954293001893416573856710929731776395955\ 02611425438089, c_0011_12 + 19556420738349196022377410202847547944598593306736360554777\ /154358895429300189341657385671092973177639595502611425438089*c_100\ 1_5^25 - 3724241528082144796545222142042539173457840161370270300040\ 41/154358895429300189341657385671092973177639595502611425438089*c_1\ 001_5^24 + 14617700851208117314081872480539449755443429377068631805\ 01703/154358895429300189341657385671092973177639595502611425438089*\ c_1001_5^23 - 68006016533349865133226411887920561648906727918129749\ 76217838/1543588954293001893416573856710929731776395955026114254380\ 89*c_1001_5^22 + 20247703436605739987258961261455698691984055789287\ 252631994621/154358895429300189341657385671092973177639595502611425\ 438089*c_1001_5^21 - 6693266806973290820089999308487456279237640303\ 5376248025020693/15435889542930018934165738567109297317763959550261\ 1425438089*c_1001_5^20 + 193566288065347424957988626828138921290229\ 347163595615233101322/154358895429300189341657385671092973177639595\ 502611425438089*c_1001_5^19 - 5242274865872620701048515675617307481\ 41591494709275764414614636/1543588954293001893416573856710929731776\ 39595502611425438089*c_1001_5^18 + 1295041421819089109758287862137175690409939333353114712531792024/15\ 4358895429300189341657385671092973177639595502611425438089*c_1001_5\ ^17 - 2813536372408100779152597488586577687108185206672060244433032\ 745/154358895429300189341657385671092973177639595502611425438089*c_\ 1001_5^16 + 5182145175596186520670972869536451532096001690129324530\ 581990106/154358895429300189341657385671092973177639595502611425438\ 089*c_1001_5^15 - 8096628283870578987085251066379001410703751655111\ 310593986362555/154358895429300189341657385671092973177639595502611\ 425438089*c_1001_5^14 + 1071893207555635151608276519515517902192154\ 7777570924518699026231/15435889542930018934165738567109297317763959\ 5502611425438089*c_1001_5^13 - 123025751373420594036129004691776663\ 26468425997855352740888888943/1543588954293001893416573856710929731\ 77639595502611425438089*c_1001_5^12 + 12017423822659574430479244341349274887884370391358507401581685236/1\ 54358895429300189341657385671092973177639595502611425438089*c_1001_\ 5^11 - 104407861176446695875006198993320580637254958033676171374940\ 41782/154358895429300189341657385671092973177639595502611425438089*\ c_1001_5^10 + 76348016779690236271583111722429444880742211542251448\ 76893965752/1543588954293001893416573856710929731776395955026114254\ 38089*c_1001_5^9 - 506315426297839102258064007712322666629668133548\ 6166171092546674/15435889542930018934165738567109297317763959550261\ 1425438089*c_1001_5^8 + 2731726747633256353304647715487640106210062\ 235418696078053699288/154358895429300189341657385671092973177639595\ 502611425438089*c_1001_5^7 - 13540612992605851062199812472893623171\ 01317544521663925746129120/1543588954293001893416573856710929731776\ 39595502611425438089*c_1001_5^6 + 510229577226350196870351046464644\ 441629114515164031426317739062/154358895429300189341657385671092973\ 177639595502611425438089*c_1001_5^5 - 175892171142078104102727611176936397150305735814599871146707627/154\ 358895429300189341657385671092973177639595502611425438089*c_1001_5^\ 4 + 41834958542761890997102930252776755395461272529064702902696245/\ 154358895429300189341657385671092973177639595502611425438089*c_1001\ _5^3 - 807432859355447336439848570583283904708563620682894045433121\ 7/154358895429300189341657385671092973177639595502611425438089*c_10\ 01_5^2 + 1497817869373923164193245890192260489412736467128159620375\ 461/154358895429300189341657385671092973177639595502611425438089*c_\ 1001_5 - 2762682709803465604172363267071915539946321889667254227169\ 2/154358895429300189341657385671092973177639595502611425438089, c_0011_9 - 3609558335936400112038131230328180679497859674183854514599/1\ 54358895429300189341657385671092973177639595502611425438089*c_1001_\ 5^25 + 70477477053378946123283702451677443183352415355111357071681/\ 154358895429300189341657385671092973177639595502611425438089*c_1001\ _5^24 - 30100292154385125758699263550938151310507790031404189514195\ 1/154358895429300189341657385671092973177639595502611425438089*c_10\ 01_5^23 + 135028237246713337141239736660408062983094665015742862976\ 3783/154358895429300189341657385671092973177639595502611425438089*c\ _1001_5^22 - 422705672967336992045875756276096728110928616090060851\ 9437880/15435889542930018934165738567109297317763959550261142543808\ 9*c_1001_5^21 + 136032156777683146230476610582688673152809323729320\ 27227505690/1543588954293001893416573856710929731776395955026114254\ 38089*c_1001_5^20 - 40208326208049565513358207853453340232906927952\ 162113072789161/154358895429300189341657385671092973177639595502611\ 425438089*c_1001_5^19 + 1089592425339800792954222965237605312448936\ 45620574471415178981/1543588954293001893416573856710929731776395955\ 02611425438089*c_1001_5^18 - 27166193811613900554359756075089014072\ 2300494618048588332823175/15435889542930018934165738567109297317763\ 9595502611425438089*c_1001_5^17 + 597582384132434437577284303841991\ 090428465372783915875432145569/154358895429300189341657385671092973\ 177639595502611425438089*c_1001_5^16 - 1118606164441338928789602513435522945656515597570133203521956290/15\ 4358895429300189341657385671092973177639595502611425438089*c_1001_5\ ^15 + 1774597682852385961557283192267537468856126538796191548792437\ 213/154358895429300189341657385671092973177639595502611425438089*c_\ 1001_5^14 - 2394156571406901949977670091245156128668748713513848727\ 585795449/154358895429300189341657385671092973177639595502611425438\ 089*c_1001_5^13 + 2795559109993315294504445508974914534482149114141\ 630975260528822/154358895429300189341657385671092973177639595502611\ 425438089*c_1001_5^12 - 2806771399913893394565720231580118872120835\ 241359603033226694962/154358895429300189341657385671092973177639595\ 502611425438089*c_1001_5^11 + 2466764637896530134981171696745181475\ 324209347804766103197677204/154358895429300189341657385671092973177\ 639595502611425438089*c_1001_5^10 - 1874735666225975620664775226583882648611278372942477538601855216/15\ 4358895429300189341657385671092973177639595502611425438089*c_1001_5\ ^9 + 12221112008277209676915121095975358416673057239834237359533645\ 02/154358895429300189341657385671092973177639595502611425438089*c_1\ 001_5^8 - 693738889374871767968970318069704478666849961682080848360\ 989652/154358895429300189341657385671092973177639595502611425438089\ *c_1001_5^7 + 31053719083262989831545928268965709486889654048160970\ 9592080781/15435889542930018934165738567109297317763959550261142543\ 8089*c_1001_5^6 - 1243311892430712584832442471449258657909522680229\ 10741019709596/1543588954293001893416573856710929731776395955026114\ 25438089*c_1001_5^5 + 281957984707773235359863178998216981787839533\ 72607060062746135/1543588954293001893416573856710929731776395955026\ 11425438089*c_1001_5^4 - 629801758889455882687944666686429704237909\ 7326465168892611464/15435889542930018934165738567109297317763959550\ 2611425438089*c_1001_5^3 - 1012198560911278502997812066161412610109\ 574439657426483775951/154358895429300189341657385671092973177639595\ 502611425438089*c_1001_5^2 + 10994654579923100927053179522547714268\ 2604817694087290286479/15435889542930018934165738567109297317763959\ 5502611425438089*c_1001_5 - 919355379990041917165020263213360725668\ 23152619586430136435/1543588954293001893416573856710929731776395955\ 02611425438089, c_0101_0 + 1988427515868626866425175237941564042613899448218700556450/1\ 54358895429300189341657385671092973177639595502611425438089*c_1001_\ 5^25 - 40410533811352327202925421124050172215935500097341260606743/\ 154358895429300189341657385671092973177639595502611425438089*c_1001\ _5^24 + 19623396003427949880673900968427152394419340725122500304800\ 7/154358895429300189341657385671092973177639595502611425438089*c_10\ 01_5^23 - 862312785228733224238633037289858123836138716461994608670\ 511/154358895429300189341657385671092973177639595502611425438089*c_\ 1001_5^22 + 2818321856621507234970397701520279909889491023088536730\ 426922/154358895429300189341657385671092973177639595502611425438089\ *c_1001_5^21 - 8928638694598000069086453939195559358525381716247789\ 177794516/154358895429300189341657385671092973177639595502611425438\ 089*c_1001_5^20 + 2649676503292435663729756305832105520482829255688\ 3936072691146/15435889542930018934165738567109297317763959550261142\ 5438089*c_1001_5^19 - 727726918407891174025678505584892582211926938\ 58017317264336855/1543588954293001893416573856710929731776395955026\ 11425438089*c_1001_5^18 + 18212378308763116576783475529256525340142\ 4430282898930062012843/15435889542930018934165738567109297317763959\ 5502611425438089*c_1001_5^17 - 405315802828588664511655571200722080\ 787478753617117154702287371/154358895429300189341657385671092973177\ 639595502611425438089*c_1001_5^16 + 766652691843864595567334834186729287956362416569221104013405162/154\ 358895429300189341657385671092973177639595502611425438089*c_1001_5^\ 15 - 12068478957587666787668036600642327067544500820114074837538055\ 94/154358895429300189341657385671092973177639595502611425438089*c_1\ 001_5^14 + 15688524115781460737239170730130634141963514828360640782\ 16576821/1543588954293001893416573856710929731776395955026114254380\ 89*c_1001_5^13 - 16978490203751897962008102635102178411369071537241\ 25499843939747/1543588954293001893416573856710929731776395955026114\ 25438089*c_1001_5^12 + 15160562640807312074368995575722795585637555\ 93142879859992271187/1543588954293001893416573856710929731776395955\ 02611425438089*c_1001_5^11 - 11127595562997975462021440251207135023\ 91845052607749371744094873/1543588954293001893416573856710929731776\ 39595502611425438089*c_1001_5^10 + 636495896539261051393244598588702485149502881067666224291619461/154\ 358895429300189341657385671092973177639595502611425438089*c_1001_5^\ 9 - 265904221114288885111242572517508139535474338727420831710552088\ /154358895429300189341657385671092973177639595502611425438089*c_100\ 1_5^8 + 27280627129367887785987470483131394463296812933719635181107\ 232/154358895429300189341657385671092973177639595502611425438089*c_\ 1001_5^7 + 41397572055520338795693899430180193255551775812688716648\ 941278/154358895429300189341657385671092973177639595502611425438089\ *c_1001_5^6 - 59507751072658772042276785591181545329506535611430220\ 995692925/154358895429300189341657385671092973177639595502611425438\ 089*c_1001_5^5 + 26084276684397943710027722028112475475725858975713\ 772067179260/154358895429300189341657385671092973177639595502611425\ 438089*c_1001_5^4 - 13976327200168579133311829465809806064108784901\ 081834515851627/154358895429300189341657385671092973177639595502611\ 425438089*c_1001_5^3 + 17401161556651183005010562931641581960628543\ 22344990654218953/1543588954293001893416573856710929731776395955026\ 11425438089*c_1001_5^2 - 243064383121296221473675668153968336321638\ 712727947092379228/154358895429300189341657385671092973177639595502\ 611425438089*c_1001_5 - 5658012240071833026418497590098177988461319\ 3792598611943537/15435889542930018934165738567109297317763959550261\ 1425438089, c_0101_1 + 6903648909852790951852750349656349175261677322008949807164/1\ 54358895429300189341657385671092973177639595502611425438089*c_1001_\ 5^25 - 139970878842307672098633419799648808102196043112373958747361\ /154358895429300189341657385671092973177639595502611425438089*c_100\ 1_5^24 + 6722725641844941092796514711566444854975023467303768988247\ 43/154358895429300189341657385671092973177639595502611425438089*c_1\ 001_5^23 - 29280888590731405881049171188860575098255806996794254388\ 39729/154358895429300189341657385671092973177639595502611425438089*\ c_1001_5^22 + 96708439908345056751083685831319405476081199574259252\ 89544183/1543588954293001893416573856710929731776395955026114254380\ 89*c_1001_5^21 - 30450356005354795624133106049837189850759777503390\ 396688196485/154358895429300189341657385671092973177639595502611425\ 438089*c_1001_5^20 + 9146810453326074380660936198997353389306722436\ 9935177427522856/15435889542930018934165738567109297317763959550261\ 1425438089*c_1001_5^19 - 249758683294968308716276920429425695805381\ 683486997207489469048/154358895429300189341657385671092973177639595\ 502611425438089*c_1001_5^18 + 6285021392044318046380381251964864171\ 81701001947123845453034320/1543588954293001893416573856710929731776\ 39595502611425438089*c_1001_5^17 - 1403625131138997048131691868260510551649309262293587091923595127/15\ 4358895429300189341657385671092973177639595502611425438089*c_1001_5\ ^16 + 2676063482331069876725664638875882914796287523116748742655061\ 943/154358895429300189341657385671092973177639595502611425438089*c_\ 1001_5^15 - 4295696301377474422824310191178128768034556892705054449\ 122955808/154358895429300189341657385671092973177639595502611425438\ 089*c_1001_5^14 + 5812176404964126891108744397204497466708330909000\ 671903887134262/154358895429300189341657385671092973177639595502611\ 425438089*c_1001_5^13 - 6703100022940710197130168083156506221078996\ 267146620342298957498/154358895429300189341657385671092973177639595\ 502611425438089*c_1001_5^12 + 6604634348076593142303374368369745280\ 490547409207928550130833915/154358895429300189341657385671092973177\ 639595502611425438089*c_1001_5^11 - 5574940306551685141801761586773199524545585322305639134477243810/15\ 4358895429300189341657385671092973177639595502611425438089*c_1001_5\ ^10 + 4084839354776408404744461884963738495319317653262773172727541\ 902/154358895429300189341657385671092973177639595502611425438089*c_\ 1001_5^9 - 24943287553046910319858449379281145548853309569075874997\ 65924183/1543588954293001893416573856710929731776395955026114254380\ 89*c_1001_5^8 + 134770132696394859788222413069928933285820153577015\ 9181655748841/15435889542930018934165738567109297317763959550261142\ 5438089*c_1001_5^7 - 5497137307805355763560674878910316069168160032\ 42189536807415201/1543588954293001893416573856710929731776395955026\ 11425438089*c_1001_5^6 + 206019625182103982682894328359802252080064\ 749440239479723094146/154358895429300189341657385671092973177639595\ 502611425438089*c_1001_5^5 - 40115377813794817245558278537473262907\ 850747350071063804714144/154358895429300189341657385671092973177639\ 595502611425438089*c_1001_5^4 + 79355127372761997955380298313814036\ 18189602573651925566903390/1543588954293001893416573856710929731776\ 39595502611425438089*c_1001_5^3 + 142381903905168678212306059326186\ 0674225302573993875936072763/15435889542930018934165738567109297317\ 7639595502611425438089*c_1001_5^2 - 199749721655213576246671552708311998889583328406428408053232/154358\ 895429300189341657385671092973177639595502611425438089*c_1001_5 + 65206365094167694942088125253372350803491086880651869152511/1543588\ 95429300189341657385671092973177639595502611425438089, c_0101_12 + 9711414816604414450103381899688739604785464726765136246353/\ 154358895429300189341657385671092973177639595502611425438089*c_1001\ _5^25 - 18235440635965537815789372969595644418026031277234696906368\ 7/154358895429300189341657385671092973177639595502611425438089*c_10\ 01_5^24 + 673747870538603199498710541908412697003523162568595170560\ 455/154358895429300189341657385671092973177639595502611425438089*c_\ 1001_5^23 - 3131326064453545491049515354283791874589215183106355360\ 620701/154358895429300189341657385671092973177639595502611425438089\ *c_1001_5^22 + 8992270108323856570776017868587689603432120456828885\ 219329490/154358895429300189341657385671092973177639595502611425438\ 089*c_1001_5^21 - 2975860190488229402643569776105713117014585163394\ 1340716494497/15435889542930018934165738567109297317763959550261142\ 5438089*c_1001_5^20 + 852178075732597804402844129788682759273239922\ 43999543670006190/1543588954293001893416573856710929731776395955026\ 11425438089*c_1001_5^19 - 22759797706063156802161734924224411246844\ 8226708966577760295032/15435889542930018934165738567109297317763959\ 5502611425438089*c_1001_5^18 + 554223692412673867501803583631872134\ 267947925049044519627010657/154358895429300189341657385671092973177\ 639595502611425438089*c_1001_5^17 - 1174632084802627944778507999461363336726742842824334757735289959/15\ 4358895429300189341657385671092973177639595502611425438089*c_1001_5\ ^16 + 2080204856396169844210339219412076551939920007882937539062907\ 305/154358895429300189341657385671092973177639595502611425438089*c_\ 1001_5^15 - 3091913106321998517728471831374394810222534059204119953\ 069619518/154358895429300189341657385671092973177639595502611425438\ 089*c_1001_5^14 + 3855588906379052255784550031281050869295079672404\ 029219729149592/154358895429300189341657385671092973177639595502611\ 425438089*c_1001_5^13 - 4158746956146152476817048794751957534807035\ 590307123945865286594/154358895429300189341657385671092973177639595\ 502611425438089*c_1001_5^12 + 3756967138827606956279611836461310010\ 363985494081511474996353898/154358895429300189341657385671092973177\ 639595502611425438089*c_1001_5^11 - 3042604855942903972904022264404285729136843962179543459136886813/15\ 4358895429300189341657385671092973177639595502611425438089*c_1001_5\ ^10 + 2012595373256377533159398077452041187100607010882449236229339\ 820/154358895429300189341657385671092973177639595502611425438089*c_\ 1001_5^9 - 12232993219702522227586021011469806066125442089435202138\ 08044833/1543588954293001893416573856710929731776395955026114254380\ 89*c_1001_5^8 + 579998874315965591137023710089348213739413317768361\ 912517023289/154358895429300189341657385671092973177639595502611425\ 438089*c_1001_5^7 - 24911991536621488565978106435630519542647669385\ 1908248528924742/15435889542930018934165738567109297317763959550261\ 1425438089*c_1001_5^6 + 8062423216530257183895232909834208383189043\ 1106259919537686921/15435889542930018934165738567109297317763959550\ 2611425438089*c_1001_5^5 - 1815865186818642714332095429620438276651\ 7552631219208656805409/15435889542930018934165738567109297317763959\ 5502611425438089*c_1001_5^4 + 4151058963687816632010678478224901657\ 614693202141261223894029/154358895429300189341657385671092973177639\ 595502611425438089*c_1001_5^3 + 70857413539789344079255323906684175\ 1760992884636750061349612/15435889542930018934165738567109297317763\ 9595502611425438089*c_1001_5^2 - 3019092832022431383580476409349623\ 1207431658038004053539979/15435889542930018934165738567109297317763\ 9595502611425438089*c_1001_5 + 116293934928417259252193284461050495\ 439340879626556966261355/154358895429300189341657385671092973177639\ 595502611425438089, c_1001_0 - 19351883605863360879358452918955920992163564047478489443083/\ 154358895429300189341657385671092973177639595502611425438089*c_1001\ _5^25 + 36360494679378779403655761981169669766512235900515711478522\ 5/154358895429300189341657385671092973177639595502611425438089*c_10\ 01_5^24 - 135025047405189003128642557009676934314236362314708350476\ 6304/154358895429300189341657385671092973177639595502611425438089*c\ _1001_5^23 + 631723948069347153041469435790508501900046110577603101\ 3355658/15435889542930018934165738567109297317763959550261142543808\ 9*c_1001_5^22 - 181907388303159583339156630632600862123231022919978\ 40015558094/1543588954293001893416573856710929731776395955026114254\ 38089*c_1001_5^21 + 60485318923388660321829622702268356361895952876\ 464900920354894/154358895429300189341657385671092973177639595502611\ 425438089*c_1001_5^20 - 1730808674098865741450832655121614362751409\ 30889095738062195282/1543588954293001893416573856710929731776395955\ 02611425438089*c_1001_5^19 + 46442783050764627576123124475427724665\ 1661619253249735947696438/15435889542930018934165738567109297317763\ 9595502611425438089*c_1001_5^18 - 113438934547354338369832162682296\ 0202832582523107468907451802571/15435889542930018934165738567109297\ 3177639595502611425438089*c_1001_5^17 + 2418998800327026925622218642830554032220461788210861309039140720/15\ 4358895429300189341657385671092973177639595502611425438089*c_1001_5\ ^16 - 4329180070485488022986970028023457032501688482047473647142680\ 880/154358895429300189341657385671092973177639595502611425438089*c_\ 1001_5^15 + 6532327999534114886959162250493347169412554958294216758\ 860266986/154358895429300189341657385671092973177639595502611425438\ 089*c_1001_5^14 - 8304359771338634568826860952662113905228060630726\ 964206086340035/154358895429300189341657385671092973177639595502611\ 425438089*c_1001_5^13 + 9166407786986923252404945929641788857283064\ 904051992918406562959/154358895429300189341657385671092973177639595\ 502611425438089*c_1001_5^12 - 8538392149061856920725081203411362099\ 570432232283224658140140483/154358895429300189341657385671092973177\ 639595502611425438089*c_1001_5^11 + 7170484494982525781449774109798487042310174279602648369796023634/15\ 4358895429300189341657385671092973177639595502611425438089*c_1001_5\ ^10 - 4977235124826902886191328725907215638574867366632733473234145\ 707/154358895429300189341657385671092973177639595502611425438089*c_\ 1001_5^9 + 32298181043574803708252758883562092635628358265768764066\ 96132318/1543588954293001893416573856710929731776395955026114254380\ 89*c_1001_5^8 - 164980817435433741047493653403164010786505001690047\ 7748888097596/15435889542930018934165738567109297317763959550261142\ 5438089*c_1001_5^7 + 8169331567826146985760175360376148828732914700\ 11979537542812485/1543588954293001893416573856710929731776395955026\ 11425438089*c_1001_5^6 - 292289743777429456848245649948778079511563\ 324921627825387111349/154358895429300189341657385671092973177639595\ 502611425438089*c_1001_5^5 + 10458410537900680584120857154513893465\ 9535232854938950634472577/15435889542930018934165738567109297317763\ 9595502611425438089*c_1001_5^4 - 2347704650112784005156393755930730\ 5270192263230909269427190146/15435889542930018934165738567109297317\ 7639595502611425438089*c_1001_5^3 + 5322257319947680506508395405706644485133106187593248384290478/15435\ 8895429300189341657385671092973177639595502611425438089*c_1001_5^2 - 622781687021834328465338802967274342618882200581678694883493/154358\ 895429300189341657385671092973177639595502611425438089*c_1001_5 + 53693836318710368262185294989617696763731352077009093867754/1543588\ 95429300189341657385671092973177639595502611425438089, c_1001_1 - 28373425477211331856582906145241904091424775323470819084176/\ 154358895429300189341657385671092973177639595502611425438089*c_1001\ _5^25 + 53647549630855578504911258826719946215620844320950647604705\ 5/154358895429300189341657385671092973177639595502611425438089*c_10\ 01_5^24 - 204534723025467906296055927545210134137371737536441073194\ 2273/154358895429300189341657385671092973177639595502611425438089*c\ _1001_5^23 + 953895072676095480380307482983378267288977509561321064\ 1552105/15435889542930018934165738567109297317763959550261142543808\ 9*c_1001_5^22 - 278698362168572738845861718429646074301869030674473\ 41967770076/1543588954293001893416573856710929731776395955026114254\ 38089*c_1001_5^21 + 92381107199089061314774220020391805813449931966\ 733696054150477/154358895429300189341657385671092973177639595502611\ 425438089*c_1001_5^20 - 2653729651847923700074105400299593095603536\ 10924230690078994624/1543588954293001893416573856710929731776395955\ 02611425438089*c_1001_5^19 + 71517004020221302141652295808325408447\ 0277804463219069425039301/15435889542930018934165738567109297317763\ 9595502611425438089*c_1001_5^18 - 175428864699266967739964230179658\ 6951717814742323852048387559109/15435889542930018934165738567109297\ 3177639595502611425438089*c_1001_5^17 + 3769520360520000408501975625889684433050125094695592031921280053/15\ 4358895429300189341657385671092973177639595502611425438089*c_1001_5\ ^16 - 6822856657826654733413873307889468647667227453869066621581724\ 451/154358895429300189341657385671092973177639595502611425438089*c_\ 1001_5^15 + 1042048466602738766304183930113720145015256906848416501\ 0367937612/15435889542930018934165738567109297317763959550261142543\ 8089*c_1001_5^14 - 134010870630423951964239602944397166912189083532\ 77023118495349173/1543588954293001893416573856710929731776395955026\ 11425438089*c_1001_5^13 + 14895845929452674446141807106170847586551\ 320711941974030727967378/154358895429300189341657385671092973177639\ 595502611425438089*c_1001_5^12 - 1394865662346085454698893366020540\ 8611545570503385163515951897598/15435889542930018934165738567109297\ 3177639595502611425438089*c_1001_5^11 + 11640184064926703599588644231832232103297174654889616801310426226/1\ 54358895429300189341657385671092973177639595502611425438089*c_1001_\ 5^10 - 799435060608072734413959913880436236749368658907427845465576\ 0371/154358895429300189341657385671092973177639595502611425438089*c\ _1001_5^9 + 5048879329931392103289952417094029999320848552603157091\ 185714382/154358895429300189341657385671092973177639595502611425438\ 089*c_1001_5^8 - 24496799514075382052411377889917892587324764263141\ 64496125313794/1543588954293001893416573856710929731776395955026114\ 25438089*c_1001_5^7 + 114516263792008131776746139599397086594208008\ 5390490756641372031/15435889542930018934165738567109297317763959550\ 2611425438089*c_1001_5^6 - 3402886843311948830363549732389857966356\ 64549288763931805617829/1543588954293001893416573856710929731776395\ 95502611425438089*c_1001_5^5 + 109384684857043040857662208628105667\ 273571966227345030281675322/154358895429300189341657385671092973177\ 639595502611425438089*c_1001_5^4 - 8730876412135100465019585821811496042329848064383585276648454/15435\ 8895429300189341657385671092973177639595502611425438089*c_1001_5^3 + 1395659918006518766551282044224144491835922310411518108824564/15435\ 8895429300189341657385671092973177639595502611425438089*c_1001_5^2 + 745232028233925176150247492621770613941883855450580298322067/154358\ 895429300189341657385671092973177639595502611425438089*c_1001_5 - 116991623765079940820221175009170140702499140072157268220385/154358\ 895429300189341657385671092973177639595502611425438089, c_1001_11 - 8370476730029948968771595802696998488719030924790624041760/\ 154358895429300189341657385671092973177639595502611425438089*c_1001\ _5^25 + 15909911952377367283907203594238829719875156418298539931951\ 9/154358895429300189341657385671092973177639595502611425438089*c_10\ 01_5^24 - 626328258616072634886550490074471444979152838787158439403\ 265/154358895429300189341657385671092973177639595502611425438089*c_\ 1001_5^23 + 3007778544422793383369665867375006900466154830120261390\ 094267/154358895429300189341657385671092973177639595502611425438089\ *c_1001_5^22 - 8977572588815414574812294688321056102291396374263691\ 856334739/154358895429300189341657385671092973177639595502611425438\ 089*c_1001_5^21 + 3029937956630739337653861040248991173481868887142\ 8067984612219/15435889542930018934165738567109297317763959550261142\ 5438089*c_1001_5^20 - 872357196929576750472776276861750470967718688\ 93895919892491246/1543588954293001893416573856710929731776395955026\ 11425438089*c_1001_5^19 + 23956032555581117175085162658280156617146\ 9983931113255963780307/15435889542930018934165738567109297317763959\ 5502611425438089*c_1001_5^18 - 597478621989101698492636234240382354\ 150873690646818236504179405/154358895429300189341657385671092973177\ 639595502611425438089*c_1001_5^17 + 1320189620298914091615890180892818755825650155429889870437217948/15\ 4358895429300189341657385671092973177639595502611425438089*c_1001_5\ ^16 - 2501616211547215179336518070219660066155383228083251018299867\ 842/154358895429300189341657385671092973177639595502611425438089*c_\ 1001_5^15 + 4064889039300820445359453146894141420081238855442179086\ 124286965/154358895429300189341657385671092973177639595502611425438\ 089*c_1001_5^14 - 5627993550724309800035584783578593679705573848059\ 748597733338559/154358895429300189341657385671092973177639595502611\ 425438089*c_1001_5^13 + 6762118745719399174973600951403435414670370\ 736352309969539814422/154358895429300189341657385671092973177639595\ 502611425438089*c_1001_5^12 - 6917562532874751179859481306077573739\ 329872013211405041528324251/154358895429300189341657385671092973177\ 639595502611425438089*c_1001_5^11 + 6283564568078993867036016810077131083663419257118037187881539663/15\ 4358895429300189341657385671092973177639595502611425438089*c_1001_5\ ^10 - 4765711665364505253991776090109464608297542285126507413089621\ 568/154358895429300189341657385671092973177639595502611425438089*c_\ 1001_5^9 + 33052839302233015695993132282039484665262356189012871126\ 80719279/1543588954293001893416573856710929731776395955026114254380\ 89*c_1001_5^8 - 180527867272266277177649041286830926272077049818440\ 4549036762482/15435889542930018934165738567109297317763959550261142\ 5438089*c_1001_5^7 + 9440568919666923179716535096885062190596513865\ 26817284107192887/1543588954293001893416573856710929731776395955026\ 11425438089*c_1001_5^6 - 334557442324903498075601532109748328392090\ 186450833407776297392/154358895429300189341657385671092973177639595\ 502611425438089*c_1001_5^5 + 12516719445686652908462566485139156697\ 0458879570319262968902275/15435889542930018934165738567109297317763\ 9595502611425438089*c_1001_5^4 - 2013547915901240505069934454173714\ 8701463962606894377410763968/15435889542930018934165738567109297317\ 7639595502611425438089*c_1001_5^3 + 4251797925515067868790058929968448344749215229277346049602332/15435\ 8895429300189341657385671092973177639595502611425438089*c_1001_5^2 + 29845872156213384010781109130079334020494641708243332814928/1543588\ 95429300189341657385671092973177639595502611425438089*c_1001_5 - 54566437738865923554436895459928891398103290521864024353335/1543588\ 95429300189341657385671092973177639595502611425438089, c_1001_2 - 841773683809890759143446209391843129405393359004062954130/15\ 4358895429300189341657385671092973177639595502611425438089*c_1001_5\ ^25 + 16911379996995825076054941601928320071114626527474549847863/1\ 54358895429300189341657385671092973177639595502611425438089*c_1001_\ 5^24 - 84472359437323757539195615025530752695167726092517175038445/\ 154358895429300189341657385671092973177639595502611425438089*c_1001\ _5^23 + 44627276329283546947726529938397740212426225030055791610282\ 7/154358895429300189341657385671092973177639595502611425438089*c_10\ 01_5^22 - 147339443857453179420197830961036433207931549650839607576\ 1820/154358895429300189341657385671092973177639595502611425438089*c\ _1001_5^21 + 521813977279637975133218243212994974601442309565801698\ 0120014/15435889542930018934165738567109297317763959550261142543808\ 9*c_1001_5^20 - 152060554769149690021498490451254456932878233984223\ 90153371650/1543588954293001893416573856710929731776395955026114254\ 38089*c_1001_5^19 + 44436528881398946429915392033002517501623324251\ 703411894580481/154358895429300189341657385671092973177639595502611\ 425438089*c_1001_5^18 - 1161405950954322886499490864032350722897529\ 11633209931351124505/1543588954293001893416573856710929731776395955\ 02611425438089*c_1001_5^17 + 27715815058667155523651643939486294887\ 7789051760135763634734029/15435889542930018934165738567109297317763\ 9595502611425438089*c_1001_5^16 - 584771047381163883331260903800035\ 561421009479080179685409717661/154358895429300189341657385671092973\ 177639595502611425438089*c_1001_5^15 + 1069702274212559141908417059101569922969532367188634331348274911/15\ 4358895429300189341657385671092973177639595502611425438089*c_1001_5\ ^14 - 1664263887408759161816705354924286240095876316976303146647799\ 793/154358895429300189341657385671092973177639595502611425438089*c_\ 1001_5^13 + 2219360298455757857444948310890814337341004162894634240\ 031609302/154358895429300189341657385671092973177639595502611425438\ 089*c_1001_5^12 - 2518634530262451762894604983596289907356896636065\ 049089012473385/154358895429300189341657385671092973177639595502611\ 425438089*c_1001_5^11 + 2493936723122304546029121438729437421347005\ 991900403393611029120/154358895429300189341657385671092973177639595\ 502611425438089*c_1001_5^10 - 2066489048993411106056879748547966729\ 123658836112087697478891487/154358895429300189341657385671092973177\ 639595502611425438089*c_1001_5^9 + 1546051392280533730073520111026024832956160375808083931366116235/15\ 4358895429300189341657385671092973177639595502611425438089*c_1001_5\ ^8 - 90639124301768825941091957426754973711579556735628007074279440\ 8/154358895429300189341657385671092973177639595502611425438089*c_10\ 01_5^7 + 5118820178803838158793516876861198849022086501966334420738\ 87693/154358895429300189341657385671092973177639595502611425438089*\ c_1001_5^6 - 189788129900448357139552114221305521741038721817251886\ 471736068/154358895429300189341657385671092973177639595502611425438\ 089*c_1001_5^5 + 79281944541044779795712666803843887340492965141737\ 067550838041/154358895429300189341657385671092973177639595502611425\ 438089*c_1001_5^4 - 12110212157735985079240186902559184906544539192\ 673658316662525/154358895429300189341657385671092973177639595502611\ 425438089*c_1001_5^3 + 35611448644933189688286794607264380394380245\ 73583734224230631/1543588954293001893416573856710929731776395955026\ 11425438089*c_1001_5^2 + 399091923624479587544110156277922222448175\ 66676468764102043/1543588954293001893416573856710929731776395955026\ 11425438089*c_1001_5 - 55366424069606460119997850011809267382608055\ 529921983311099/154358895429300189341657385671092973177639595502611\ 425438089, c_1001_5^26 - 19*c_1001_5^25 + 74*c_1001_5^24 - 346*c_1001_5^23 + 1025*c_1001_5^22 - 3401*c_1001_5^21 + 9810*c_1001_5^20 - 26587*c_1001_5^19 + 65638*c_1001_5^18 - 142526*c_1001_5^17 + 262385*c_1001_5^16 - 409938*c_1001_5^15 + 542504*c_1001_5^14 - 622479*c_1001_5^13 + 606966*c_1001_5^12 - 527095*c_1001_5^11 + 383118*c_1001_5^10 - 254189*c_1001_5^9 + 134722*c_1001_5^8 - 67087*c_1001_5^7 + 23901*c_1001_5^6 - 8408*c_1001_5^5 + 1599*c_1001_5^4 - 336*c_1001_5^3 + 33*c_1001_5^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 3.410 Total time: 3.620 seconds, Total memory usage: 86.31MB