Magma V2.19-8 Thu Sep 12 2013 15:23:17 on localhost [Seed = 3433859627] Type ? for help. Type -D to quit. Loading file "10^2_145__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation 10^2_145 geometric_solution 15.28701433 oriented_manifold CS_known -0.0000000000000006 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 17 1 2 3 2 0132 0132 0132 1230 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.684572011063 0.923565001069 0 4 4 5 0132 0132 1302 0132 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.384853525761 0.569666500748 0 0 7 6 3012 0132 0132 0132 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.331169422925 0.969655513031 5 4 8 0 0132 1230 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 -1 0 1 1 0 -1 0 1 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.701799847790 0.476980157392 1 1 3 9 2031 0132 3012 0132 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 1 0 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.185722937068 1.205306263371 3 10 1 11 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 0 0 -1 0 1 0 1 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.411756155526 0.718804890843 12 11 2 8 0132 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 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.484472156034 1.650164554287 13 13 9 2 0132 1230 1230 0132 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.480524422237 1.102703663206 6 13 14 3 3120 1302 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 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.284282447517 0.802061937734 14 14 4 7 0213 2103 0132 3012 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.913139051423 0.917968511395 15 5 16 16 0132 0132 2103 0132 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.250651003584 0.499979277260 15 16 5 6 1023 2103 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.982885603005 0.330693155663 6 15 15 14 0132 1302 1023 3012 1 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 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.371894107730 1.297174807184 7 16 7 8 0132 0321 3012 2031 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.667884436142 0.762136182733 9 9 12 8 0213 2103 1230 0132 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.913139051423 0.917968511395 10 11 12 12 0132 1023 1023 2031 0 1 0 0 0 0 0 0 0 0 -1 1 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 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 1.204228831816 0.712354646191 10 11 10 13 2103 2103 0132 0321 0 1 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 -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.198699379199 1.598372635769 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_15' : d['c_0101_11'], 'c_1001_14' : d['c_0011_9'], 'c_1001_16' : negation(d['c_0011_10']), 'c_1001_11' : d['c_0011_16'], 'c_1001_10' : d['c_0011_16'], 'c_1001_13' : d['c_0011_13'], 'c_1001_12' : d['c_0101_10'], 'c_1001_5' : negation(d['c_0011_10']), 'c_1001_4' : negation(d['c_0011_10']), 'c_1001_7' : d['c_1001_3'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0011_14'], 'c_1001_0' : d['c_0101_4'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_13'], 'c_1001_9' : d['c_0011_14'], 'c_1001_8' : d['c_0101_7'], 'c_1010_13' : d['c_0011_8'], 'c_1010_12' : negation(d['c_0011_9']), 'c_1010_11' : negation(d['c_0011_8']), 'c_1010_10' : negation(d['c_0011_10']), 'c_1010_16' : d['c_0011_8'], 'c_1010_15' : d['c_0011_12'], 'c_1010_14' : d['c_0101_7'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_0_14' : d['1'], 's_3_14' : d['1'], 's_0_16' : d['1'], 's_3_16' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_11'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 'c_0101_16' : d['c_0101_10'], 'c_0101_15' : d['c_0101_10'], 'c_0101_14' : d['c_0011_9'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : negation(d['1']), 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : negation(d['1']), 's_2_16' : d['1'], 's_2_14' : d['1'], 's_2_15' : 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_0011_15' : negation(d['c_0011_10']), 'c_0011_14' : d['c_0011_14'], 'c_0011_16' : d['c_0011_16'], 'c_0011_11' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_4'], 'c_1100_4' : negation(d['c_1001_3']), 'c_1100_7' : negation(d['c_0101_8']), 'c_1100_6' : negation(d['c_0101_8']), 'c_1100_1' : d['c_0101_4'], 'c_1100_0' : d['c_0101_6'], 'c_1100_3' : d['c_0101_6'], 'c_1100_2' : negation(d['c_0101_8']), 'c_1100_14' : d['c_0101_6'], 'c_1100_15' : d['c_0011_9'], 's_3_11' : negation(d['1']), 'c_1100_16' : d['c_0011_13'], 'c_1100_11' : d['c_0101_4'], 'c_1100_10' : d['c_0011_13'], 'c_1100_13' : negation(d['c_1001_3']), 'c_1100_12' : negation(d['c_0011_9']), 's_3_13' : d['1'], 'c_1010_7' : d['c_0101_13'], 'c_1010_6' : negation(d['c_0011_8']), 'c_1010_5' : d['c_0011_16'], 's_0_13' : d['1'], 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : d['c_0101_4'], 'c_1010_1' : negation(d['c_0011_10']), 'c_1010_0' : d['c_0101_13'], 's_3_15' : d['1'], 'c_1010_9' : negation(d['c_0101_7']), 's_0_15' : d['1'], 'c_1100_8' : d['c_0101_6'], 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : negation(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' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_8'], 's_3_10' : d['1'], 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_13']), 'c_0011_6' : negation(d['c_0011_12']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_12'], 'c_0110_10' : d['c_0101_10'], 'c_0110_13' : d['c_0101_7'], 'c_0110_12' : d['c_0101_6'], 'c_0110_15' : d['c_0101_10'], 'c_0110_14' : d['c_0101_8'], 'c_0110_16' : negation(d['c_0011_13']), 'c_1010_4' : d['c_0011_14'], 'c_0110_0' : negation(d['c_0011_0']), 's_0_8' : d['1'], 's_0_9' : d['1'], 'c_1010_8' : d['c_1001_3'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_11'], 'c_0101_2' : d['c_0101_13'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_14'], 'c_0101_8' : d['c_0101_8'], 's_1_16' : d['1'], 's_1_15' : d['1'], 's_1_14' : d['1'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_8']), 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_1001_3']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0011_14'], 'c_0110_7' : d['c_0101_13'], 'c_0110_6' : d['c_0101_11'], 's_2_9' : d['1'], 'c_0101_13' : d['c_0101_13']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 18 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_13, c_0011_14, c_0011_16, c_0011_8, c_0011_9, c_0101_0, c_0101_10, c_0101_11, c_0101_13, c_0101_4, c_0101_6, c_0101_7, c_0101_8, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t - 7094888509914001959040678398699454927408414383399171027738869841891\ 94868771710091655421937849429/3032556404918069374007216550891964925\ 5795475410233656470079915339374386453831731093338840000*c_1001_3^26 + 94168702937382686168631497446949484819604576355057595608554775552\ 4000148866750325862926278263191/30325564049180693740072165508919649\ 25579547541023365647007991533937438645383173109333884000*c_1001_3^2\ 5 - 372883300536286339123663743056294352443169923914790368451471656\ 2737382046321877973106964492421319/23327356960908225953901665776092\ 03788907344262325665882313839641490337419525517776410680000*c_1001_\ 3^24 + 306320936235194604174233250356836464474765569066757595134023\ 47897180417146130170474853866200751719/3032556404918069374007216550\ 8919649255795475410233656470079915339374386453831731093338840000*c_\ 1001_3^23 + 1111699756553534956398776975896501476741873300199384486\ 696279022163923841280887939001903002037743/615123003025977560650551\ 02452169673946846806105950621643164128477432832563553207085880000*c\ _1001_3^22 - 175563786825677541765315827641905093073991600070530234\ 396554824926812250758735456842810572117343631/178385670877533492588\ 6597971112920544458557377072568027651759725845552144343043005490520\ 000*c_1001_3^21 + 2157253412922982355348707143227901535691871926671\ 496299702280602625817581805398528092864694495708849/758139101229517\ 3435018041377229912313948868852558414117519978834843596613457932773\ 334710000*c_1001_3^20 - 4305670182333631272352042430754968091719111\ 333567881514917131911211900718577172259171929549358235999/151627820\ 2459034687003608275445982462789773770511682823503995766968719322691\ 5865546669420000*c_1001_3^19 - 174588694049089017931704347992839556\ 3060217623103347518495936816138359616254963673129460747864765759/13\ 1850278474698668435096371777911518503458588740146332478608327562497\ 3324079640482319080000*c_1001_3^18 + 3189341731208573874461604101556378902544022091751400106292081772728\ 663889750708966173625479190323883/356771341755066985177319594222584\ 108891711475414513605530351945169110428868608601098104000*c_1001_3^\ 17 - 42050861502582243293559324840650328301579465255792882070939730\ 624272422994395574317221936708068395251/131850278474698668435096371\ 7779115185034585887401463324786083275624973324079640482319080000*c_\ 1001_3^16 + 9438784681409687037148561866052301702199392294675792834\ 6748848603299476638320860025579417154565690757/12130225619672277496\ 0288662035678597023181901640934625880319661357497545815326924373355\ 3600*c_1001_3^15 - 407258585236125729835368002477214649198402391591\ 5305575133420821536059396780370249568908076643284601959/30325564049\ 1806937400721655089196492557954754102336564700799153393743864538317\ 31093338840000*c_1001_3^14 + 24893891256355109042068417421441391920\ 66601949716355247098457880778925287708029233960218291151983953521/1\ 5162782024590346870036082754459824627897737705116828235039957669687\ 193226915865546669420000*c_1001_3^13 - 4065408705636391492166562258727027738417050299136875999742041819663\ 687087794640825593588348479142247239/303255640491806937400721655089\ 19649255795475410233656470079915339374386453831731093338840000*c_10\ 01_3^12 + 764996919445498665573392143629947195064231371163650830945\ 412866437675476083940058963754064448219696503/151627820245903468700\ 3608275445982462789773770511682823503995766968719322691586554666942\ 0000*c_1001_3^11 + 120059154202986073494894971743709224998771431162\ 4376065206788031269581241283793941783840891948852235557/30325564049\ 1806937400721655089196492557954754102336564700799153393743864538317\ 31093338840000*c_1001_3^10 - 41564735228616868684364563789613381485\ 093102614945144814992148391137350154579815426973574894449185887/466\ 5471392181645190780333155218407577814688524651331764627679282980674\ 83905103555282136000*c_1001_3^9 + 931171333897050484564652790373098\ 346236410027627480354242085185870370997080588427268753867921894971/\ 1045709105144161853105936741686884457096395703801160567933790184116\ 3581535804045204599600*c_1001_3^8 - 3760800692092972869271004240466152472943946474810089928798819524820\ 98939531450994558811360190835279413/6065112809836138748014433101783\ 929851159095082046731294015983067874877290766346218667768000*c_1001\ _3^7 + 501388246084051141444626127929201696188256794521730236240078\ 11620842186336814778126697357796659747867/1516278202459034687003608\ 275445982462789773770511682823503995766968719322691586554666942000*\ c_1001_3^6 - 842336218607330672370434399161533181342903637069673821\ 05072733876316141895527926013918511379180987553/6065112809836138748\ 0144331017839298511590950820467312940159830678748772907663462186677\ 68000*c_1001_3^5 + 175096243207664614702463265082771730497661343693\ 76156310039465741021251870269230618005830528822106049/3790695506147\ 5867175090206886149561569744344262792070587599894174217983067289663\ 86667355000*c_1001_3^4 - 740209972892069709234037704173536529282981\ 2047033627067643400220785059673558065149257145950763091121/60651128\ 0983613874801443310178392985115909508204673129401598306787487729076\ 6346218667768000*c_1001_3^3 + 7622163467350538335241448987864328389\ 857589616776313375098632856906463369454804665209722837825663337/303\ 2556404918069374007216550891964925579547541023365647007991533937438\ 6453831731093338840000*c_1001_3^2 - 6367185099241259527327582088732287449817310946719512375835349264379\ 4015469895580756874191388842441/17838567087753349258865979711129205\ 44458557377072568027651759725845552144343043005490520000*c_1001_3 + 7443268740134705004936776715255842647724352716704598332689560310664\ 9416708928451869793571750015539/30325564049180693740072165508919649\ 255795475410233656470079915339374386453831731093338840000, c_0011_0 - 1, c_0011_10 - 20757280656949193286753123873248690069256009213358816258147\ 42013612762621/1588794227697005976440843532325592101051380728996107\ 32249616868208043817*c_1001_3^26 + 3047455470554052012962509002860442519984805565520279869791500858056\ 1663063/15887942276970059764408435323255921010513807289961073224961\ 6868208043817*c_1001_3^25 - 183317236742985365789443512692547299969\ 229764637092615160314092956298212982/158879422769700597644084353232\ 559210105138072899610732249616868208043817*c_1001_3^24 + 3274536686048272626182477375832608294347345133854257414362963694608\ 45074725/1588794227697005976440843532325592101051380728996107322496\ 16868208043817*c_1001_3^23 + 54770573607926300705998450756262396180\ 726741103329282360118809147147322753/690780098998698250626453709706\ 7791743701655343461336184765950791654079*c_1001_3^22 - 1068075986901501075217863214478694579890331355529788236085848589910\ 0084059208/15887942276970059764408435323255921010513807289961073224\ 9616868208043817*c_1001_3^21 + 393444496599316812318636451619951115\ 24224790769926048554560810498725488281295/1588794227697005976440843\ 53232559210105138072899610732249616868208043817*c_1001_3^20 - 7365945016014533958832758777038330711590338188748846688082052866559\ 4536402308/15887942276970059764408435323255921010513807289961073224\ 9616868208043817*c_1001_3^19 - 378121404360940427416457486075196406\ 78052850482143058816475595607101039726031/1588794227697005976440843\ 53232559210105138072899610732249616868208043817*c_1001_3^18 + 8865996866483135446814948461478742034143286206646693156625453925123\ 70909294067/1588794227697005976440843532325592101051380728996107322\ 49616868208043817*c_1001_3^17 - 40345686855766147861147625729943999\ 95179379256813346422224412743663951787363960/1588794227697005976440\ 84353232559210105138072899610732249616868208043817*c_1001_3^16 + 1199403403806504647167507983082259340410418585392535698788802257120\ 7643667453431/15887942276970059764408435323255921010513807289961073\ 2249616868208043817*c_1001_3^15 - 262867189915196250414085819095426\ 44570721425796717807800356029860507320407173729/1588794227697005976\ 44084353232559210105138072899610732249616868208043817*c_1001_3^14 + 4443080665103731515857381982335918815482728082719855587501922125031\ 1648493015643/15887942276970059764408435323255921010513807289961073\ 2249616868208043817*c_1001_3^13 - 595093524015852991906725747919444\ 45153568905027983677716375160212830836173458961/1588794227697005976\ 44084353232559210105138072899610732249616868208043817*c_1001_3^12 + 6428640713219751647109564900519034259938473133776569359319216541742\ 9949264538876/15887942276970059764408435323255921010513807289961073\ 2249616868208043817*c_1001_3^11 - 566771618189951301376985836827880\ 69895274351227323389541573403791028586492602085/1588794227697005976\ 44084353232559210105138072899610732249616868208043817*c_1001_3^10 + 4115784651563246235453329582607084689097036723949871227539482563805\ 7961667218501/15887942276970059764408435323255921010513807289961073\ 2249616868208043817*c_1001_3^9 - 2480010763059772919413342895272309\ 0845052283503698443065080384262781172490126156/15887942276970059764\ 4084353232559210105138072899610732249616868208043817*c_1001_3^8 + 5414152532155791914558920198283654321638945973472662993145674629915\ 17518315764/6907800989986982506264537097067791743701655343461336184\ 765950791654079*c_1001_3^7 - 52077641348279617922473870744982456912\ 12457609177640180473345359250762316021831/1588794227697005976440843\ 53232559210105138072899610732249616868208043817*c_1001_3^6 + 1804465732983024297649263175453183033598996074981264921699708145864\ 443906796611/158879422769700597644084353232559210105138072899610732\ 249616868208043817*c_1001_3^5 - 51360380660840775532872601214483209\ 6564745687065082934577941106855926913681428/15887942276970059764408\ 4353232559210105138072899610732249616868208043817*c_1001_3^4 + 1181617729905721141843861775504407130439333261070202819655795827130\ 65362720217/1588794227697005976440843532325592101051380728996107322\ 49616868208043817*c_1001_3^3 - 209912779798272252864928972070704320\ 98465650957826885664692995661285973149519/1588794227697005976440843\ 53232559210105138072899610732249616868208043817*c_1001_3^2 + 2550505555710359439326761690375289624247625421481308120951918713279\ 996953240/158879422769700597644084353232559210105138072899610732249\ 616868208043817*c_1001_3 - 1546711564999273239171881687931259000666\ 28289197078003165409658463223178628/1588794227697005976440843532325\ 59210105138072899610732249616868208043817, c_0011_12 - 55749748428938199808416299210482333756985486583992538763213\ 62989686543670/1588794227697005976440843532325592101051380728996107\ 32249616868208043817*c_1001_3^26 + 8185249659852934856119534758886823025892449649428270440264796625721\ 5596250/15887942276970059764408435323255921010513807289961073224961\ 6868208043817*c_1001_3^25 - 492426713398323771095591659870625771747\ 300624821565729858994988352156209662/158879422769700597644084353232\ 559210105138072899610732249616868208043817*c_1001_3^24 + 8800267417590074587534468574062186431831257500363883580571477613282\ 87066531/1588794227697005976440843532325592101051380728996107322496\ 16868208043817*c_1001_3^23 + 14702922900589742146079023316982591482\ 0541311004104930541463011377988814934/69078009899869825062645370970\ 67791743701655343461336184765950791654079*c_1001_3^22 - 2868763642540197029143298647457012780008603325010668466238935273838\ 7491685680/15887942276970059764408435323255921010513807289961073224\ 9616868208043817*c_1001_3^21 + 105701875605731705839334748494712110\ 619529085334890496255060095621907214337618/158879422769700597644084\ 353232559210105138072899610732249616868208043817*c_1001_3^20 - 1979743248892611249467539959625713123663772826304110236728582890546\ 81123343202/1588794227697005976440843532325592101051380728996107322\ 49616868208043817*c_1001_3^19 - 10120746513757275084586438483981030\ 9464604409376355090367079274925019371733366/15887942276970059764408\ 4353232559210105138072899610732249616868208043817*c_1001_3^18 + 2381006116253369842009658823270725182477674756687349000709762935217\ 580495675611/158879422769700597644084353232559210105138072899610732\ 249616868208043817*c_1001_3^17 - 1083833035728985545584723086430062\ 9331630287191236353815089757574704207680401208/15887942276970059764\ 4084353232559210105138072899610732249616868208043817*c_1001_3^16 + 3222692552030844837317903820939313836368429007051641939048703548521\ 8588540936462/15887942276970059764408435323255921010513807289961073\ 2249616868208043817*c_1001_3^15 - 706461887799029455884825102072437\ 26028132779913944446988041998002458399694348040/1588794227697005976\ 44084353232559210105138072899610732249616868208043817*c_1001_3^14 + 1194429108979957138786443147118846309122610074405406718448508859499\ 40181054294373/1588794227697005976440843532325592101051380728996107\ 32249616868208043817*c_1001_3^13 - 1600350364244500107229990374381352050620974257726904617242751938986\ 73696753837517/1588794227697005976440843532325592101051380728996107\ 32249616868208043817*c_1001_3^12 + 1729563192147215704988342436598270622377128938269918816340719722140\ 41466720543906/1588794227697005976440843532325592101051380728996107\ 32249616868208043817*c_1001_3^11 - 1525636852735684905432507364972546123160714534527416554520504051109\ 09307565936956/1588794227697005976440843532325592101051380728996107\ 32249616868208043817*c_1001_3^10 + 1108567925347440352682024251993928085987004520152894454737061619313\ 41976700432532/1588794227697005976440843532325592101051380728996107\ 32249616868208043817*c_1001_3^9 - 668451854205304621608788727876080\ 19388248957552943865298694466971644765264257609/1588794227697005976\ 44084353232559210105138072899610732249616868208043817*c_1001_3^8 + 1460483360115109267369619445472494495516287697477916189390456631046\ 059030400828/690780098998698250626453709706779174370165534346133618\ 4765950791654079*c_1001_3^7 - 1406105291417377646589720082229462968\ 3265945784885395053589660367107691395693580/15887942276970059764408\ 4353232559210105138072899610732249616868208043817*c_1001_3^6 + 4877284467509901386287577248741570754897788149832794778655510725707\ 690434005751/158879422769700597644084353232559210105138072899610732\ 249616868208043817*c_1001_3^5 - 13899083619892509904948599701484446\ 48769437350765896099464405496730259497682859/1588794227697005976440\ 84353232559210105138072899610732249616868208043817*c_1001_3^4 + 3202149152271935037270794815642602260194636991060432850504079525324\ 23626854771/1588794227697005976440843532325592101051380728996107322\ 49616868208043817*c_1001_3^3 - 569936483887182816327358933839368488\ 71784504001851250329733310701992451606479/1588794227697005976440843\ 53232559210105138072899610732249616868208043817*c_1001_3^2 + 6947411826884174278472974108907136106926483487457129554840318113807\ 101759481/158879422769700597644084353232559210105138072899610732249\ 616868208043817*c_1001_3 - 4239313582169456195148393388546674710131\ 12643653219573005299541938508020215/1588794227697005976440843532325\ 59210105138072899610732249616868208043817, c_0011_13 - 44733752584513435697331443688277172611899008796335189377114\ 15484059807138/1588794227697005976440843532325592101051380728996107\ 32249616868208043817*c_1001_3^26 + 6578921367070396446671378527748607808798454065572065351474046120937\ 9935471/15887942276970059764408435323255921010513807289961073224961\ 6868208043817*c_1001_3^25 - 793380186229519404414377370390721135242\ 094752632925730349641629215655727913/317758845539401195288168706465\ 118420210276145799221464499233736416087634*c_1001_3^24 + 7150854156023038200706197054227585721382631109525952320050356347174\ 82435892/1588794227697005976440843532325592101051380728996107322496\ 16868208043817*c_1001_3^23 + 23484124686215758566517807543493704305\ 2134145990234722827778731586236249105/13815601979973965012529074194\ 135583487403310686922672369531901583308158*c_1001_3^22 - 4618556309339121977029023296477942391377644888186293793030040047530\ 5815289713/31775884553940119528816870646511842021027614579922146449\ 9233736416087634*c_1001_3^21 + 853460102863893396309816409593763593\ 04885297301333266551171856970645258715297/1588794227697005976440843\ 53232559210105138072899610732249616868208043817*c_1001_3^20 - 1606748334147704120720775786599358233967684783336415408855401514708\ 59114955614/1588794227697005976440843532325592101051380728996107322\ 49616868208043817*c_1001_3^19 - 78232143360102002198700425106305277\ 681822493364552002426938005138036606354078/158879422769700597644084\ 353232559210105138072899610732249616868208043817*c_1001_3^18 + 1914088299670270582825750993633882478759226823560212177924948786533\ 871574535256/158879422769700597644084353232559210105138072899610732\ 249616868208043817*c_1001_3^17 - 8742076919498611213052308369750213\ 704962130137060306257777053001263638330339601/158879422769700597644\ 084353232559210105138072899610732249616868208043817*c_1001_3^16 + 2605027059451663045458978082372449869953844105496564496932861258408\ 3455698905321/15887942276970059764408435323255921010513807289961073\ 2249616868208043817*c_1001_3^15 - 114452074477194839694701712650180\ 747175203988740418888184737303290611138944229877/317758845539401195\ 288168706465118420210276145799221464499233736416087634*c_1001_3^14 + 9696086972587131606001112835836163704435309132369075020355404657101\ 0782331596831/15887942276970059764408435323255921010513807289961073\ 2249616868208043817*c_1001_3^13 - 130196563866344389332375446018884\ 763949417345303892912865086600990786086214102598/158879422769700597\ 644084353232559210105138072899610732249616868208043817*c_1001_3^12 + 2820435110128561044959551722970049440868276447020466045976917053484\ 11968574719615/3177588455394011952881687064651184202102761457992214\ 64499233736416087634*c_1001_3^11 - 1246746901638992246389340576257794688704772686752899740405846287823\ 52017976938734/1588794227697005976440843532325592101051380728996107\ 32249616868208043817*c_1001_3^10 + 1815893518614288542505682234136152086663638957602470732179221423150\ 98060229296401/3177588455394011952881687064651184202102761457992214\ 64499233736416087634*c_1001_3^9 - 109736361008018117268780253610091\ 934780362002260705881511700393204362316490671023/317758845539401195\ 288168706465118420210276145799221464499233736416087634*c_1001_3^8 + 2402778982425815039026060727366985944576005391198990184665280367749\ 410347057347/138156019799739650125290741941355834874033106869226723\ 69531901583308158*c_1001_3^7 - 231830322199880870757630945236401999\ 20417237878556074661090678522639040958694985/3177588455394011952881\ 68706465118420210276145799221464499233736416087634*c_1001_3^6 + 8058705940690992944857304174805097421509151384444448619797443777578\ 112049139063/317758845539401195288168706465118420210276145799221464\ 499233736416087634*c_1001_3^5 - 23014179766652243961111733234445183\ 69201923673480630290282761132211397826380181/3177588455394011952881\ 68706465118420210276145799221464499233736416087634*c_1001_3^4 + 2656978239199480733600270677645813333454743515243420067517005078521\ 71807916150/1588794227697005976440843532325592101051380728996107322\ 49616868208043817*c_1001_3^3 - 948436814832043308984269346202305870\ 64076044885435346843407361091938075748121/3177588455394011952881687\ 06465118420210276145799221464499233736416087634*c_1001_3^2 + 1160484111265931053063388179199140629410183521202694410321534824164\ 1931176309/31775884553940119528816870646511842021027614579922146449\ 9233736416087634*c_1001_3 - 711273802137191845175220304979347141927\ 441125098795853237670111547068712707/317758845539401195288168706465\ 118420210276145799221464499233736416087634, c_0011_14 + 77929160955182042593025023829695693632035735/70011907931324\ 64654410668883371886872652746*c_1001_3^26 - 568427076420264110967045361393568480433501316/350059539656623232720\ 5334441685943436326373*c_1001_3^25 + 3389511974697792892161187077842946938922003072/35005953965662323272\ 05334441685943436326373*c_1001_3^24 - 5849460457627994654672327172862433765724574174/35005953965662323272\ 05334441685943436326373*c_1001_3^23 - 48174147056790350616210283160539886178695587935/7001190793132464654\ 410668883371886872652746*c_1001_3^22 + 198099105841231728379817321966470120208539212305/350059539656623232\ 7205334441685943436326373*c_1001_3^21 - 1441923111205868824483558247253841173040536943979/70011907931324646\ 54410668883371886872652746*c_1001_3^20 + 2643537595664845077299603638672956886135075312841/70011907931324646\ 54410668883371886872652746*c_1001_3^19 + 811486906115769705534730462154748348678863671751/350059539656623232\ 7205334441685943436326373*c_1001_3^18 - 33063731894003596903526849084258997462662154558923/7001190793132464\ 654410668883371886872652746*c_1001_3^17 + 74235813662985645960523982588319089866205444944728/3500595396566232\ 327205334441685943436326373*c_1001_3^16 - 218763163295422951002970334058416263738881158145753/350059539656623\ 2327205334441685943436326373*c_1001_3^15 + 475316402726303910616216285111984064908692454243671/350059539656623\ 2327205334441685943436326373*c_1001_3^14 - 1592265043299578386701759035699546421301549364945059/70011907931324\ 64654410668883371886872652746*c_1001_3^13 + 2112425574771341703989609403394019162262696522937401/70011907931324\ 64654410668883371886872652746*c_1001_3^12 - 1129657866979758482352069674389466227591734564966149/35005953965662\ 32327205334441685943436326373*c_1001_3^11 + 1971179270928941968189354853094362010923684230818563/70011907931324\ 64654410668883371886872652746*c_1001_3^10 - 1416107050205670334413141950063065316796158352332591/70011907931324\ 64654410668883371886872652746*c_1001_3^9 + 843991936145974390244040121408749832782302662168833/700119079313246\ 4654410668883371886872652746*c_1001_3^8 - 209532070103910062026031285512838800154279970530257/350059539656623\ 2327205334441685943436326373*c_1001_3^7 + 173229547983510558831089546548128902318965903653941/700119079313246\ 4654410668883371886872652746*c_1001_3^6 - 29648856773614527611783121203174915443623725557442/3500595396566232\ 327205334441685943436326373*c_1001_3^5 + 8333261975768682475671892136111712086033740965073/35005953965662323\ 27205334441685943436326373*c_1001_3^4 - 1890953286159046757615379377433957952149435586254/35005953965662323\ 27205334441685943436326373*c_1001_3^3 + 329936573102642927080494831937837229442681541009/350059539656623232\ 7205334441685943436326373*c_1001_3^2 - 78047976388846496436446333851693374140399185683/7001190793132464654\ 410668883371886872652746*c_1001_3 + 2274848922498929460347940487932029901156905105/35005953965662323272\ 05334441685943436326373, c_0011_16 - 11941594449417048750102207988034919703523412360039249563144\ 16701203340294/1588794227697005976440843532325592101051380728996107\ 32249616868208043817*c_1001_3^26 + 1759353958486767538598135830028126159680400832022844030773052716006\ 2985168/15887942276970059764408435323255921010513807289961073224961\ 6868208043817*c_1001_3^25 - 212675992482245497871894022309109209645\ 024052853502898116255721836002251809/317758845539401195288168706465\ 118420210276145799221464499233736416087634*c_1001_3^24 + 3868413031429002812772381244756222695050924466430687041007408203413\ 56779207/3177588455394011952881687064651184202102761457992214644992\ 33736416087634*c_1001_3^23 + 31187318269548823771336281443915993216\ 852281647942346713723233711987080764/690780098998698250626453709706\ 7791743701655343461336184765950791654079*c_1001_3^22 - 6185316814885609678014706577355907274487527763854140782556984311607\ 043732047/158879422769700597644084353232559210105138072899610732249\ 616868208043817*c_1001_3^21 + 2293276504583664120200620190829271857\ 3972958440588475002916266945622658954248/15887942276970059764408435\ 3232559210105138072899610732249616868208043817*c_1001_3^20 - 4340691285024708471053046857890062196646038188791821143273615200099\ 5679328257/15887942276970059764408435323255921010513807289961073224\ 9616868208043817*c_1001_3^19 - 200370830694817991011674424853963483\ 40839687635518139129099623447739568819570/1588794227697005976440843\ 53232559210105138072899610732249616868208043817*c_1001_3^18 + 5119509345247687691654558948503631613601358264638878737842001691188\ 25252957691/1588794227697005976440843532325592101051380728996107322\ 49616868208043817*c_1001_3^17 - 23464761558934450276617474827917052\ 56046474877329725386074706828199796495291188/1588794227697005976440\ 84353232559210105138072899610732249616868208043817*c_1001_3^16 + 1401635489885995724229330174346951211863608260093105601555034415289\ 0985654716061/31775884553940119528816870646511842021027614579922146\ 4499233736416087634*c_1001_3^15 - 154292715704854024900880578508490\ 52220731330597643963526474071385218149215773226/1588794227697005976\ 44084353232559210105138072899610732249616868208043817*c_1001_3^14 + 5240358110784045043450347927536597848667956272831592076644973661872\ 8382857118271/31775884553940119528816870646511842021027614579922146\ 4499233736416087634*c_1001_3^13 - 352649479038407366021594640292116\ 79060247215986503472092110621320501335428767865/1588794227697005976\ 44084353232559210105138072899610732249616868208043817*c_1001_3^12 + 7657749542022950013580948990196594119908748437799799066360431952167\ 2698395079803/31775884553940119528816870646511842021027614579922146\ 4499233736416087634*c_1001_3^11 - 678686126519577126690555155342815\ 63237111559547811840905418335231810733671937351/3177588455394011952\ 88168706465118420210276145799221464499233736416087634*c_1001_3^10 + 2477538660248839533321889642045313539333439602865247988811862179883\ 2113004737104/15887942276970059764408435323255921010513807289961073\ 2249616868208043817*c_1001_3^9 - 1501066459619314456338050561284730\ 8639332306684445847951584947865985553493958844/15887942276970059764\ 4084353232559210105138072899610732249616868208043817*c_1001_3^8 + 3295432516065988812965642018221737620207724994660542078862486315234\ 67184243121/6907800989986982506264537097067791743701655343461336184\ 765950791654079*c_1001_3^7 - 31883903693243914926873648681685169703\ 54310106720953547885122303485431759484541/1588794227697005976440843\ 53232559210105138072899610732249616868208043817*c_1001_3^6 + 1111579410459596513780828466824326195143307450062082693790970133915\ 327548495697/158879422769700597644084353232559210105138072899610732\ 249616868208043817*c_1001_3^5 - 31843625323018437889157528453028907\ 2573236429100493893526965212223272343148095/15887942276970059764408\ 4353232559210105138072899610732249616868208043817*c_1001_3^4 + 1475609347139927620970962406573045067853194653725306170599699108785\ 80231462989/3177588455394011952881687064651184202102761457992214644\ 99233736416087634*c_1001_3^3 - 132273331084267568063285685000948992\ 21426846177167430811450523999606504126604/1588794227697005976440843\ 53232559210105138072899610732249616868208043817*c_1001_3^2 + 3259876053478726049194736935745596615912474415792727188738916383744\ 498235057/317758845539401195288168706465118420210276145799221464499\ 233736416087634*c_1001_3 - 1011477622900537662653037103286742588349\ 94464176770828283956657983040649636/1588794227697005976440843532325\ 59210105138072899610732249616868208043817, c_0011_8 - 850790333391961039756636035685085462374271858260332602397766\ 292453451339/158879422769700597644084353232559210105138072899610732\ 249616868208043817*c_1001_3^26 + 1220013718920435192205614910622038\ 9858961176197271530043987381738395481896/15887942276970059764408435\ 3232559210105138072899610732249616868208043817*c_1001_3^25 - 7102283446593941357556324588666527032830768872355343186636176169223\ 8185282/15887942276970059764408435323255921010513807289961073224961\ 6868208043817*c_1001_3^24 + 110706405403698537450611934693460962446\ 028063505110575346789747617126571493/158879422769700597644084353232\ 559210105138072899610732249616868208043817*c_1001_3^23 + 2390657732797593491370333494523299057036871706799590583300554251464\ 6850691/69078009899869825062645370970677917437016553434613361847659\ 50791654079*c_1001_3^22 - 41838735058200344633034869161154529020717\ 60077832985976634046254180840099446/1588794227697005976440843532325\ 59210105138072899610732249616868208043817*c_1001_3^21 + 1473272220909574436834866956951246660654393726093469279270971146332\ 9143713767/15887942276970059764408435323255921010513807289961073224\ 9616868208043817*c_1001_3^20 - 254132328791886918576927054122898120\ 99485227753109838040288069955871055268115/1588794227697005976440843\ 53232559210105138072899610732249616868208043817*c_1001_3^19 - 2330808427648362417941799468638383223700685010949302588372368337534\ 9289779173/15887942276970059764408435323255921010513807289961073224\ 9616868208043817*c_1001_3^18 + 354016194813122971054859176216835350\ 799854391653925654465996613342747013115853/158879422769700597644084\ 353232559210105138072899610732249616868208043817*c_1001_3^17 - 1534478775209378033060160872706535905885216235180989056740065861558\ 906485685463/158879422769700597644084353232559210105138072899610732\ 249616868208043817*c_1001_3^16 + 4413688359225562905945577439045480\ 037108132956203375163108933750454669666021339/158879422769700597644\ 084353232559210105138072899610732249616868208043817*c_1001_3^15 - 9358249021521001624553907806792069012773686464096701249671957176948\ 276593407347/158879422769700597644084353232559210105138072899610732\ 249616868208043817*c_1001_3^14 + 1527226882338491937990415455330862\ 6839716756131212436407399194358949018452446556/15887942276970059764\ 4084353232559210105138072899610732249616868208043817*c_1001_3^13 - 1970865681167281509879811080582217550192219921722139048957976267283\ 7948627699707/15887942276970059764408435323255921010513807289961073\ 2249616868208043817*c_1001_3^12 + 204661620802023650968871984150113\ 84508055163971615543065144368383104449842148422/1588794227697005976\ 44084353232559210105138072899610732249616868208043817*c_1001_3^11 - 1730330944155382332440803371477056457167909396212576460040871659571\ 6422496061756/15887942276970059764408435323255921010513807289961073\ 2249616868208043817*c_1001_3^10 + 120273022154301071965525591543538\ 83761795661981467627856895252705214639535962026/1588794227697005976\ 44084353232559210105138072899610732249616868208043817*c_1001_3^9 - 6926186479930927665166663793198060887494734180623882485387425585224\ 357948174119/158879422769700597644084353232559210105138072899610732\ 249616868208043817*c_1001_3^8 + 14423424427269306078313088719107603\ 5967891735108438292266885852851201468288955/69078009899869825062645\ 37097067791743701655343461336184765950791654079*c_1001_3^7 - 1319497640040499517135090471064794678169183793207293803494335386946\ 631626638147/158879422769700597644084353232559210105138072899610732\ 249616868208043817*c_1001_3^6 + 43330839412971716908385461159383096\ 1716780839304124550241959892949315212308709/15887942276970059764408\ 4353232559210105138072899610732249616868208043817*c_1001_3^5 - 1164792007669582983506121027838772410600906762405293427675675515102\ 43557027739/1588794227697005976440843532325592101051380728996107322\ 49616868208043817*c_1001_3^4 + 251111312356451049242596195222125092\ 32335952983546436384517900576841671506375/1588794227697005976440843\ 53232559210105138072899610732249616868208043817*c_1001_3^3 - 4081548061672322478053873721592229471524681099265861834164225818463\ 081632159/158879422769700597644084353232559210105138072899610732249\ 616868208043817*c_1001_3^2 + 43064659125369429975599370658864432090\ 8035431189599072572047191556160585241/15887942276970059764408435323\ 2559210105138072899610732249616868208043817*c_1001_3 - 2057385548648999177425241926800944519481608693707621314745169457543\ 8054968/15887942276970059764408435323255921010513807289961073224961\ 6868208043817, c_0011_9 - 871093830582171139443053995099446278117200874926310304951790\ 81067384968/6907800989986982506264537097067791743701655343461336184\ 765950791654079*c_1001_3^26 + 1281804146262419408108278743435597917\ 417310880853811951307024077320562762/690780098998698250626453709706\ 7791743701655343461336184765950791654079*c_1001_3^25 - 1546903614140683571367930018162868202991016546944242072799892333859\ 7545825/13815601979973965012529074194135583487403310686922672369531\ 901583308158*c_1001_3^24 + 1398021089674811260515946928999417969251\ 3722384510096259253789533116147841/69078009899869825062645370970677\ 91743701655343461336184765950791654079*c_1001_3^23 + 1050315439558337041377665782456418787389748835515896734886225130429\ 16785405/1381560197997396501252907419413558348740331068692267236953\ 1901583308158*c_1001_3^22 - 900316686614800420129892016345325119940\ 584648958148335302484925664854434767/138156019799739650125290741941\ 35583487403310686922672369531901583308158*c_1001_3^21 + 1665229587620502297637786846201588883309909436934552749451202018132\ 312376073/690780098998698250626453709706779174370165534346133618476\ 5950791654079*c_1001_3^20 - 313991028302791592228176329349276721500\ 2064917271808132688308587022973797357/69078009899869825062645370970\ 67791743701655343461336184765950791654079*c_1001_3^19 - 1505917330064018768761120442056684469968017757665658419658979678813\ 575514198/690780098998698250626453709706779174370165534346133618476\ 5950791654079*c_1001_3^18 + 372974055921369226827984191159753183864\ 34922771993090588740241190596729317480/6907800989986982506264537097\ 067791743701655343461336184765950791654079*c_1001_3^17 - 1705171917121079401403454124597868600968182391460523032935473701119\ 60243192386/6907800989986982506264537097067791743701655343461336184\ 765950791654079*c_1001_3^16 + 5084490082681719676221414909210462269\ 71355396584494498339581639120161348974215/6907800989986982506264537\ 097067791743701655343461336184765950791654079*c_1001_3^15 - 2235249769392410876730096085151173590883883116497666995093901173164\ 131512767807/138156019799739650125290741941355834874033106869226723\ 69531901583308158*c_1001_3^14 + 18947970020594914907903817922980228\ 10511475202631030681391120219173820813972551/6907800989986982506264\ 537097067791743701655343461336184765950791654079*c_1001_3^13 - 2545796841942409176562268036128011557849286919243749626325293852684\ 497382203651/690780098998698250626453709706779174370165534346133618\ 4765950791654079*c_1001_3^12 + 551812752428170490389658400713318760\ 7305396515385186473808292714906292971606527/13815601979973965012529\ 074194135583487403310686922672369531901583308158*c_1001_3^11 - 2440598736100150907190043668083620856998570256756585989604167128316\ 413787706719/690780098998698250626453709706779174370165534346133618\ 4765950791654079*c_1001_3^10 + 355660989173098943541404126714002527\ 9556108193456137110108271591330403835767725/13815601979973965012529\ 074194135583487403310686922672369531901583308158*c_1001_3^9 - 2150341226068306945599107974873691730548400608891028615071449728674\ 357643329521/138156019799739650125290741941355834874033106869226723\ 69531901583308158*c_1001_3^8 + 108341399039232083413301038272917209\ 2670320630201983108852563338200166922291701/13815601979973965012529\ 074194135583487403310686922672369531901583308158*c_1001_3^7 - 4546805489096740590610581499885042768675791485018755650103746558615\ 58281695963/1381560197997396501252907419413558348740331068692267236\ 9531901583308158*c_1001_3^6 + 1581141114808306695797833774203943562\ 96788512297165920290276330696413849602297/1381560197997396501252907\ 4194135583487403310686922672369531901583308158*c_1001_3^5 - 4517057709772330320366105674534114224852478516353189745073446034701\ 5139782487/13815601979973965012529074194135583487403310686922672369\ 531901583308158*c_1001_3^4 + 52168505736117512982203738741584198053\ 73266711365723578035102455110289703431/6907800989986982506264537097\ 067791743701655343461336184765950791654079*c_1001_3^3 - 1863072234885012819471667494405432561493362995800206844018861120752\ 803389735/138156019799739650125290741941355834874033106869226723695\ 31901583308158*c_1001_3^2 + 228105165888459308988215954952397395472\ 470533942338740216266501327909028903/138156019799739650125290741941\ 35583487403310686922672369531901583308158*c_1001_3 - 1399820997628295970247863732724860317145694711320254711429343289626\ 2787587/13815601979973965012529074194135583487403310686922672369531\ 901583308158, c_0101_0 - 1, c_0101_10 + 13688634206676691645957903920306151118888414485346638324995\ 83907887910662/1588794227697005976440843532325592101051380728996107\ 32249616868208043817*c_1001_3^26 - 2013328515078369111189230126962649279915500146369245003236962226748\ 7517604/15887942276970059764408435323255921010513807289961073224961\ 6868208043817*c_1001_3^25 + 121412071027127582211115982922704642470\ 896783092387408562975924794095317184/158879422769700597644084353232\ 559210105138072899610732249616868208043817*c_1001_3^24 - 4379217954428452475216582594362365310018785024286727548330683594580\ 22128855/3177588455394011952881687064651184202102761457992214644992\ 33736416087634*c_1001_3^23 - 35920494781844911281897600977666748421\ 506172888477520198753821968281899776/690780098998698250626453709706\ 7791743701655343461336184765950791654079*c_1001_3^22 + 7067531082238880933676444098806083313125448922505614427729774327546\ 118422375/158879422769700597644084353232559210105138072899610732249\ 616868208043817*c_1001_3^21 - 5224918870245470394974504980106993196\ 5634548182714182088217745814131108635159/31775884553940119528816870\ 6465118420210276145799221464499233736416087634*c_1001_3^20 + 4919696904443080078642366882750226372316724610649311037193993713813\ 8821398782/15887942276970059764408435323255921010513807289961073224\ 9616868208043817*c_1001_3^19 + 477736854777580297013530617638100411\ 32965305573516390035384616197900106167035/3177588455394011952881687\ 06465118420210276145799221464499233736416087634*c_1001_3^18 - 5857634493100421971033657134108746811098807286913619141202244216022\ 07996237442/1588794227697005976440843532325592101051380728996107322\ 49616868208043817*c_1001_3^17 + 26758195989906346784099728840267218\ 77670450705735067546550055384897282693199312/1588794227697005976440\ 84353232559210105138072899610732249616868208043817*c_1001_3^16 - 7974567451590846525997424740581581219656945094220868911753540330240\ 268568785475/158879422769700597644084353232559210105138072899610732\ 249616868208043817*c_1001_3^15 + 1752025100915104655295231947074688\ 9203452760124332814724544068412586209355153973/15887942276970059764\ 4084353232559210105138072899610732249616868208043817*c_1001_3^14 - 5937798841298242034252969251663571751559711113716004537425918721672\ 5791526379663/31775884553940119528816870646511842021027614579922146\ 4499233736416087634*c_1001_3^13 + 398701901449230666239187345583747\ 01685572779396115715135553981983174294132334331/1588794227697005976\ 44084353232559210105138072899610732249616868208043817*c_1001_3^12 - 8637913642917925566444569318006276337768240143554022789660396019731\ 2788150490163/31775884553940119528816870646511842021027614579922146\ 4499233736416087634*c_1001_3^11 + 381860815602412170756041523212021\ 31370663328512912130370893943383877042041002151/1588794227697005976\ 44084353232559210105138072899610732249616868208043817*c_1001_3^10 - 5562057180107397752739151854544467622798535227673171454723470146323\ 0234799454685/31775884553940119528816870646511842021027614579922146\ 4499233736416087634*c_1001_3^9 + 1680592448949728146471776808772219\ 0743509344608081391133232514446463205686120639/15887942276970059764\ 4084353232559210105138072899610732249616868208043817*c_1001_3^8 - 7359151162550645786977843741347918621321971715523018289956564777256\ 70720153031/1381560197997396501252907419413558348740331068692267236\ 9531901583308158*c_1001_3^7 + 7099489233639291627125396064465158299\ 566677604416125576691378774130468472421235/317758845539401195288168\ 706465118420210276145799221464499233736416087634*c_1001_3^6 - 1233662588343984427338590160241370487190445316649988813503897559972\ 158365633846/158879422769700597644084353232559210105138072899610732\ 249616868208043817*c_1001_3^5 + 35219211115308497193372460629787797\ 3588907248216216020141310501592315171844027/15887942276970059764408\ 4353232559210105138072899610732249616868208043817*c_1001_3^4 - 8128245149235950719524879785998921953688253780643837896938875000223\ 7885030059/15887942276970059764408435323255921010513807289961073224\ 9616868208043817*c_1001_3^3 + 2899393886946443376728858782151505297\ 1563991679349065313952324135895700026983/31775884553940119528816870\ 6465118420210276145799221464499233736416087634*c_1001_3^2 - 1771089648709821406567679057448647605654805397176180729473353354113\ 957542114/158879422769700597644084353232559210105138072899610732249\ 616868208043817*c_1001_3 + 2161554366634689647016661894168326841110\ 20730428399249438823900458955179439/3177588455394011952881687064651\ 18420210276145799221464499233736416087634, c_0101_11 - 94110786319645194399927334589442904484937196691689767684048\ 30801318087393/3177588455394011952881687064651184202102761457992214\ 64499233736416087634*c_1001_3^26 + 6905232210000274690738412492642586314216597811890562557738314054730\ 8249742/15887942276970059764408435323255921010513807289961073224961\ 6868208043817*c_1001_3^25 - 415136790897718068410852473854919807514\ 071805867073506941869450269196884456/158879422769700597644084353232\ 559210105138072899610732249616868208043817*c_1001_3^24 + 7399689370314939861605451812294638300319177334132837748274172117605\ 86957443/1588794227697005976440843532325592101051380728996107322496\ 16868208043817*c_1001_3^23 + 24854217185338889424256630060207417562\ 7422526655817831406864567496425042711/13815601979973965012529074194\ 135583487403310686922672369531901583308158*c_1001_3^22 - 4838050639547450697288279594705732748533861706319742888034140361183\ 6940798653/31775884553940119528816870646511842021027614579922146449\ 9233736416087634*c_1001_3^21 + 178100697429253633992524658361187589\ 113284574138423622068398518278284726290525/317758845539401195288168\ 706465118420210276145799221464499233736416087634*c_1001_3^20 - 3330591888616261613216529361065582120946556541113560612210858916940\ 50545355943/3177588455394011952881687064651184202102761457992214644\ 99233736416087634*c_1001_3^19 - 17269395922638864862809989443216241\ 0091761001254739680755375744013674841411837/31775884553940119528816\ 8706465118420210276145799221464499233736416087634*c_1001_3^18 + 4017053645024819380766849468695282613099654644397420369490860212757\ 539618929223/317758845539401195288168706465118420210276145799221464\ 499233736416087634*c_1001_3^17 - 9133754893621520253678772344901452\ 084202353043227447313765474165395824379789097/158879422769700597644\ 084353232559210105138072899610732249616868208043817*c_1001_3^16 + 5428201024971472023927855654085225232405917693946551912700982166858\ 7697180905555/31775884553940119528816870646511842021027614579922146\ 4499233736416087634*c_1001_3^15 - 594600174823559683969826701776321\ 41495245361159388297000376267056313251057474107/1588794227697005976\ 44084353232559210105138072899610732249616868208043817*c_1001_3^14 + 1004664413914817724679539719059778683452989588488692790514562136131\ 57578210744721/1588794227697005976440843532325592101051380728996107\ 32249616868208043817*c_1001_3^13 - 2690454988398955379827052403377182185695928167336917723731236510618\ 69452400728297/3177588455394011952881687064651184202102761457992214\ 64499233736416087634*c_1001_3^12 + 1452888978944327961696516865911446694004656733617249926883363553451\ 50038986950593/1588794227697005976440843532325592101051380728996107\ 32249616868208043817*c_1001_3^11 - 1280733073020941508898327039103892837793955827656681100892554993919\ 53970367048245/1588794227697005976440843532325592101051380728996107\ 32249616868208043817*c_1001_3^10 + 9299978918807423245531069654765172615116720844579070377900545788477\ 4487570305840/15887942276970059764408435323255921010513807289961073\ 2249616868208043817*c_1001_3^9 - 5604085641739259711838937993689179\ 0520010095602520734096252329045102534788277301/15887942276970059764\ 4084353232559210105138072899610732249616868208043817*c_1001_3^8 + 2447239552338412888941841600920951457355873712381987744541029925861\ 710652675239/138156019799739650125290741941355834874033106869226723\ 69531901583308158*c_1001_3^7 - 117727361324670316767434511027622586\ 65573104236457689459284315814544079821604209/1588794227697005976440\ 84353232559210105138072899610732249616868208043817*c_1001_3^6 + 4080743752781234458578984324234570908822693197271700130354629043797\ 366192653996/158879422769700597644084353232559210105138072899610732\ 249616868208043817*c_1001_3^5 - 11620927044765794869805890231629866\ 83003770961395086365813727762898439291322268/1588794227697005976440\ 84353232559210105138072899610732249616868208043817*c_1001_3^4 + 2675230990513757223675120074064932886652678061504501386480843712069\ 11229669014/1588794227697005976440843532325592101051380728996107322\ 49616868208043817*c_1001_3^3 - 951372167212755407730920704381358220\ 19835766485793689188382763007348275336311/3177588455394011952881687\ 06465118420210276145799221464499233736416087634*c_1001_3^2 + 5790180374426969964769262483765978997675092928624732741857749198965\ 526754949/158879422769700597644084353232559210105138072899610732249\ 616868208043817*c_1001_3 - 7050403870992599329244779800285900674674\ 84043244030186212939265161570989701/3177588455394011952881687064651\ 18420210276145799221464499233736416087634, c_0101_13 + 32961981973401115483703908823766694605136463742985423210492\ 06016406418585/3177588455394011952881687064651184202102761457992214\ 64499233736416087634*c_1001_3^26 - 2396202886574478774037271342585123980182585394984898020276166901692\ 4307808/15887942276970059764408435323255921010513807289961073224961\ 6868208043817*c_1001_3^25 + 142223444971419526160328811795553050626\ 406280467878489583498466555349520446/158879422769700597644084353232\ 559210105138072899610732249616868208043817*c_1001_3^24 - 2408953512755850198268504197794471905875824707340401338933342674763\ 61953883/1588794227697005976440843532325592101051380728996107322496\ 16868208043817*c_1001_3^23 - 89392424160972309193065774839132103084\ 160733605218963275256128726467982305/138156019799739650125290741941\ 35583487403310686922672369531901583308158*c_1001_3^22 + 8324890444290158866120483206867676938033190942403518848696600773146\ 213147555/158879422769700597644084353232559210105138072899610732249\ 616868208043817*c_1001_3^21 - 6021587019353908902529663753921585889\ 6504909932956524234804812652166425192855/31775884553940119528816870\ 6465118420210276145799221464499233736416087634*c_1001_3^20 + 1091704390654111662448663792952185057662856133704809014555333789072\ 55845629087/3177588455394011952881687064651184202102761457992214644\ 99233736416087634*c_1001_3^19 + 36470546729420043712139200649025338\ 772135933521565641117584342979273118043883/158879422769700597644084\ 353232559210105138072899610732249616868208043817*c_1001_3^18 - 1393199168163790908001016787718513809473214645864144912360650798172\ 425508922131/317758845539401195288168706465118420210276145799221464\ 499233736416087634*c_1001_3^17 + 3106854575434756510887450287361547\ 931019577840483523152576117920621039034901576/158879422769700597644\ 084353232559210105138072899610732249616868208043817*c_1001_3^16 - 9113935550934848776357597314772452636605193213043947757171032375986\ 511831336427/158879422769700597644084353232559210105138072899610732\ 249616868208043817*c_1001_3^15 + 1971327923925088136283151723959652\ 4946273035254811501932473591905395525871189249/15887942276970059764\ 4084353232559210105138072899610732249616868208043817*c_1001_3^14 - 6572822900086376439582801222722261676502845937441688959098542583243\ 7055467977245/31775884553940119528816870646511842021027614579922146\ 4499233736416087634*c_1001_3^13 + 867751206061899257303816598445857\ 12748442936665557044416417564400193686558057525/3177588455394011952\ 88168706465118420210276145799221464499233736416087634*c_1001_3^12 - 4616886426304478554673606998788853933834338746124370714906525157200\ 9880248235750/15887942276970059764408435323255921010513807289961073\ 2249616868208043817*c_1001_3^11 + 801369201796990525185511589379609\ 97741366910575777458073340346694916376579465655/3177588455394011952\ 88168706465118420210276145799221464499233736416087634*c_1001_3^10 - 5726139384729483006953445413538169413249863652042106808533823901478\ 6589090118943/31775884553940119528816870646511842021027614579922146\ 4499233736416087634*c_1001_3^9 + 3394252806314820195531678082669422\ 0838037056663033407033625716335338269570793523/31775884553940119528\ 8168706465118420210276145799221464499233736416087634*c_1001_3^8 - 3643674646742999545400541187833710132697541506622128377987923410168\ 53932674041/6907800989986982506264537097067791743701655343461336184\ 765950791654079*c_1001_3^7 + 68894110693757997394732591183247939305\ 13489147508379725871945210247513318431651/3177588455394011952881687\ 06465118420210276145799221464499233736416087634*c_1001_3^6 - 1172295204436659994729126802559120994407385879945085240973411734621\ 580431275251/158879422769700597644084353232559210105138072899610732\ 249616868208043817*c_1001_3^5 + 32754331309112290547340781807164686\ 0250127091373042165191445611396986717271130/15887942276970059764408\ 4353232559210105138072899610732249616868208043817*c_1001_3^4 - 7384989897096134747470586678665304701402449656630176627344983843222\ 1509335653/15887942276970059764408435323255921010513807289961073224\ 9616868208043817*c_1001_3^3 + 1277941413683171699907593887131928822\ 1847534656497740590749672776871280442649/15887942276970059764408435\ 3232559210105138072899610732249616868208043817*c_1001_3^2 - 2987646279414367343071606866971118616915250522162175826864326011372\ 156572171/317758845539401195288168706465118420210276145799221464499\ 233736416087634*c_1001_3 + 8573343798786759914347296773226610962839\ 9031930412152315043422998056825149/15887942276970059764408435323255\ 9210105138072899610732249616868208043817, c_0101_4 + 614532063663706092029804502680412099253655391094048533211803\ 562714583927/317758845539401195288168706465118420210276145799221464\ 499233736416087634*c_1001_3^26 - 4675696066548039517579297466581789\ 875373488216366424232114174557043856899/158879422769700597644084353\ 232559210105138072899610732249616868208043817*c_1001_3^25 + 2947949058722671066632207155935181321540578761458273819379576261121\ 7467894/15887942276970059764408435323255921010513807289961073224961\ 6868208043817*c_1001_3^24 - 619677167196875029506641910894630671915\ 34926186269898145563486741802421679/1588794227697005976440843532325\ 59210105138072899610732249616868208043817*c_1001_3^23 - 1447805564660142938052041167339417837833932647138468114939431724471\ 8360501/13815601979973965012529074194135583487403310686922672369531\ 901583308158*c_1001_3^22 + 1689754619416115631708275922336126223518\ 464666174461042132195313535883887363/158879422769700597644084353232\ 559210105138072899610732249616868208043817*c_1001_3^21 - 1324520028186608336128650791654391462838948867068365782197663989274\ 3189670199/31775884553940119528816870646511842021027614579922146449\ 9233736416087634*c_1001_3^20 + 273382456918756238113488333654117645\ 66947407899562301557034007910845877389227/3177588455394011952881687\ 06465118420210276145799221464499233736416087634*c_1001_3^19 + 9816711521228110708041546816190121505149386520486849031543695334495\ 66972252/1588794227697005976440843532325592101051380728996107322496\ 16868208043817*c_1001_3^18 - 27255561335673430073214146423317699858\ 4517237920233688382784495088992633150367/31775884553940119528816870\ 6465118420210276145799221464499233736416087634*c_1001_3^17 + 6652723552484674124862338228520364027641915906716960197251677949878\ 17627222848/1588794227697005976440843532325592101051380728996107322\ 49616868208043817*c_1001_3^16 - 20651616120360365507672054716443081\ 49112541865064808898658807820859284800907594/1588794227697005976440\ 84353232559210105138072899610732249616868208043817*c_1001_3^15 + 4713818629426354669376235753785801483753948588251770468797433128888\ 177733674270/158879422769700597644084353232559210105138072899610732\ 249616868208043817*c_1001_3^14 - 1659443520318378382903212026517940\ 1281143749206630434194371835257421055082267575/31775884553940119528\ 8168706465118420210276145799221464499233736416087634*c_1001_3^13 + 2314331277904875864417945669707444430915268642738822822533067148089\ 8421245510293/31775884553940119528816870646511842021027614579922146\ 4499233736416087634*c_1001_3^12 - 130153033625221328503071042066604\ 21582526436461936372240690650228646262235093555/1588794227697005976\ 44084353232559210105138072899610732249616868208043817*c_1001_3^11 + 2388959285305274184647494330972259048644366194420334652022014867453\ 4180976516843/31775884553940119528816870646511842021027614579922146\ 4499233736416087634*c_1001_3^10 - 180436920632366156062049516396473\ 79722306841256410731813731491987158507651198863/3177588455394011952\ 88168706465118420210276145799221464499233736416087634*c_1001_3^9 + 1129445968353358932688684893591942718408824886204520473552157002393\ 2963886197155/31775884553940119528816870646511842021027614579922146\ 4499233736416087634*c_1001_3^8 - 1279410645910994674186135562944470\ 99865936313533295472281750769297157989042353/6907800989986982506264\ 537097067791743701655343461336184765950791654079*c_1001_3^7 + 2553262719837311867642979889186823048762449120446331224518659614826\ 021969436373/317758845539401195288168706465118420210276145799221464\ 499233736416087634*c_1001_3^6 - 45881086107349999964565093298596354\ 0202364693673589070068937255769922652464793/15887942276970059764408\ 4353232559210105138072899610732249616868208043817*c_1001_3^5 + 1353870455975432927351998835268107579416837880225907067786350453293\ 61981015311/1588794227697005976440843532325592101051380728996107322\ 49616868208043817*c_1001_3^4 - 323382108376549285309570763414443555\ 37139199290387181064540345554395342876851/1588794227697005976440843\ 53232559210105138072899610732249616868208043817*c_1001_3^3 + 6016644711275125818444612441983722491876074581214587446151297926258\ 981253258/158879422769700597644084353232559210105138072899610732249\ 616868208043817*c_1001_3^2 - 15586944389007683728467797689181628052\ 82933819979193301759532688637538812673/3177588455394011952881687064\ 65118420210276145799221464499233736416087634*c_1001_3 + 5142395345285933325315170372916193151469382649669766917356778463337\ 5515583/15887942276970059764408435323255921010513807289961073224961\ 6868208043817, c_0101_6 - 850158752392134269652216388055887295601587340302737142230654\ 25633065272/6907800989986982506264537097067791743701655343461336184\ 765950791654079*c_1001_3^26 + 1245118475317079445997913517062305638\ 139101833313713236298949720607311509/690780098998698250626453709706\ 7791743701655343461336184765950791654079*c_1001_3^25 - 7465345024288966818550038406734994080078785568802662077273662137676\ 825580/690780098998698250626453709706779174370165534346133618476595\ 0791654079*c_1001_3^24 + 131679594780553270772832439508221851208311\ 91170448262262560771922528885894/6907800989986982506264537097067791\ 743701655343461336184765950791654079*c_1001_3^23 + 5193523990378686928679309325626314073125003003830182221232522298559\ 3171403/69078009899869825062645370970677917437016553434613361847659\ 50791654079*c_1001_3^22 - 43541935059592497816646778822625231137181\ 1113416433908296904177681830305866/69078009899869825062645370970677\ 91743701655343461336184765950791654079*c_1001_3^21 + 1596979792943590704056155335994777685323791273992177870799596794454\ 556844849/690780098998698250626453709706779174370165534346133618476\ 5950791654079*c_1001_3^20 - 296758010341927804470033071001370152898\ 3326549348765282881899713436993978659/69078009899869825062645370970\ 67791743701655343461336184765950791654079*c_1001_3^19 - 1628357299197515425345363275245406561854385746678883740032117935335\ 768913745/690780098998698250626453709706779174370165534346133618476\ 5950791654079*c_1001_3^18 + 362120604678375045376773533032976262621\ 24606169225621755292071592639524827663/6907800989986982506264537097\ 067791743701655343461336184765950791654079*c_1001_3^17 - 1640055187253575618858123526179819275558160622241399640130993789395\ 15507048888/6907800989986982506264537097067791743701655343461336184\ 765950791654079*c_1001_3^16 + 4860477027378645794402088168007287298\ 13814568613424202427384356384599853575827/6907800989986982506264537\ 097067791743701655343461336184765950791654079*c_1001_3^15 - 1062047733420749392704684912755753323044651471437533582663957610186\ 247982820153/690780098998698250626453709706779174370165534346133618\ 4765950791654079*c_1001_3^14 + 178962313487059887445348114113917430\ 5351569751761898343159940458475176316309670/69078009899869825062645\ 37097067791743701655343461336184765950791654079*c_1001_3^13 - 2389531160548667051620893837862177327339035284629245057429309475675\ 915387034083/690780098998698250626453709706779174370165534346133618\ 4765950791654079*c_1001_3^12 + 257322467937247471291492061715430264\ 8733470605355655625641560947854614890579535/69078009899869825062645\ 37097067791743701655343461336184765950791654079*c_1001_3^11 - 2261445935494604225326654396688773657126316793912626186816532508031\ 533859912663/690780098998698250626453709706779174370165534346133618\ 4765950791654079*c_1001_3^10 + 163706708501155316686390012554411030\ 1191423429931126084762385456564023842202561/69078009899869825062645\ 37097067791743701655343461336184765950791654079*c_1001_3^9 - 9834127771017780713522528209263836526548979461973611254162453556363\ 31162108493/6907800989986982506264537097067791743701655343461336184\ 765950791654079*c_1001_3^8 + 49230852926539942195866767507781811313\ 5690464195508310080543110314011921716394/69078009899869825062645370\ 97067791743701655343461336184765950791654079*c_1001_3^7 - 2052755171568067740677443262502525430277377884337980641389261918494\ 24680171044/6907800989986982506264537097067791743701655343461336184\ 765950791654079*c_1001_3^6 + 70917655022180869320642510241090631939\ 554372766029317871406477843108829727828/690780098998698250626453709\ 7067791743701655343461336184765950791654079*c_1001_3^5 - 2012740689950722600906990006949815731268742953894055965087307203158\ 0378186367/69078009899869825062645370970677917437016553434613361847\ 65950791654079*c_1001_3^4 + 461687433950505547850708448383032185005\ 0595472029954232086529738548558791848/69078009899869825062645370970\ 67791743701655343461336184765950791654079*c_1001_3^3 - 8172199499176888181530674484044787266836351842483620885609117697013\ 15725909/6907800989986982506264537097067791743701655343461336184765\ 950791654079*c_1001_3^2 + 98833493876415993824312752954114813526047\ 485698725415839649102174123812714/690780098998698250626453709706779\ 1743701655343461336184765950791654079*c_1001_3 - 5963364845248997060722811802670784397525776453352600934287443810062\ 275684/690780098998698250626453709706779174370165534346133618476595\ 0791654079, c_0101_7 - 239716238411748907563710500131795394994217746276213787849103\ 1949406422755/15887942276970059764408435323255921010513807289961073\ 2249616868208043817*c_1001_3^26 + 348893472450220790523157366958363\ 67580906644520871798910097667234715991574/1588794227697005976440843\ 53232559210105138072899610732249616868208043817*c_1001_3^25 - 4148124513016085764792769062872290604390942504747358156057929355380\ 68588711/3177588455394011952881687064651184202102761457992214644992\ 33736416087634*c_1001_3^24 + 70736345604664491146600994151164292288\ 9434141220272830486483550992738011097/31775884553940119528816870646\ 5118420210276145799221464499233736416087634*c_1001_3^23 + 1294890155008321418230839324248143987089709276680882634039880574009\ 76529567/1381560197997396501252907419413558348740331068692267236953\ 1901583308158*c_1001_3^22 - 242612064720280788382156792228568894080\ 15402111945255040101301590600577159927/3177588455394011952881687064\ 65118420210276145799221464499233736416087634*c_1001_3^21 + 8796877658794810701102238689801402209832139091491806588278698430257\ 9595389275/31775884553940119528816870646511842021027614579922146449\ 9233736416087634*c_1001_3^20 - 801090357333443311487836549180005914\ 61691373801364780629852828406152624269133/1588794227697005976440843\ 53232559210105138072899610732249616868208043817*c_1001_3^19 - 5168860630437118094700015586275099598338582705503490798340833213003\ 8080926817/15887942276970059764408435323255921010513807289961073224\ 9616868208043817*c_1001_3^18 + 202764253457034128562251004406301849\ 1905871280181786027949172662203998317498919/31775884553940119528816\ 8706465118420210276145799221464499233736416087634*c_1001_3^17 - 4534862704883399855481189214281046930401327353232678425515721429766\ 506369255154/158879422769700597644084353232559210105138072899610732\ 249616868208043817*c_1001_3^16 + 2665857830835007324835988544457989\ 8817852187457214158023142842255960997062744495/31775884553940119528\ 8168706465118420210276145799221464499233736416087634*c_1001_3^15 - 5778224747870227634970368399349993239914605145327668793803760583812\ 2878709057411/31775884553940119528816870646511842021027614579922146\ 4499233736416087634*c_1001_3^14 + 482800719285919465311804968580022\ 51712036645903548640186241203883523186681309191/1588794227697005976\ 44084353232559210105138072899610732249616868208043817*c_1001_3^13 - 1278326754779795206478286403935207513768431066630903236820548461311\ 38354427148055/3177588455394011952881687064651184202102761457992214\ 64499233736416087634*c_1001_3^12 + 6823061846188252505920160614407452773323764813021339088304790212702\ 8471806569939/15887942276970059764408435323255921010513807289961073\ 2249616868208043817*c_1001_3^11 - 118864363919566910977904786585041\ 459562089148986630518056433477975496905731892743/317758845539401195\ 288168706465118420210276145799221464499233736416087634*c_1001_3^10 + 4264303545389115239418675670501870900399591340032295178360964593802\ 1825605188845/15887942276970059764408435323255921010513807289961073\ 2249616868208043817*c_1001_3^9 - 2539373817778734247096201041777408\ 1285694999138476023771887047794517934408770637/15887942276970059764\ 4084353232559210105138072899610732249616868208043817*c_1001_3^8 + 1095943119682715919631400347666135932103440727422219559109943907895\ 431595933977/138156019799739650125290741941355834874033106869226723\ 69531901583308158*c_1001_3^7 - 104199144498603281991656161920363941\ 48163800696882139004338210072220235789330741/3177588455394011952881\ 68706465118420210276145799221464499233736416087634*c_1001_3^6 + 3568815438010062137934968962844912203935749473027275575531844822429\ 293948391713/317758845539401195288168706465118420210276145799221464\ 499233736416087634*c_1001_3^5 - 50212543690011228961251734596787965\ 2743356117589997345144305604637714879780057/15887942276970059764408\ 4353232559210105138072899610732249616868208043817*c_1001_3^4 + 2282713465433606517268395226386735022599366415937589655188285143800\ 54187431029/3177588455394011952881687064651184202102761457992214644\ 99233736416087634*c_1001_3^3 - 199720341014999273832889486052341610\ 60723005840123714405491906656841857025697/1588794227697005976440843\ 53232559210105138072899610732249616868208043817*c_1001_3^2 + 4757467117573626658121670419972631675322589872573606731333309088390\ 292392517/317758845539401195288168706465118420210276145799221464499\ 233736416087634*c_1001_3 - 2820066309888293213982227565044483075491\ 02966845449499009048778569130916971/3177588455394011952881687064651\ 18420210276145799221464499233736416087634, c_0101_8 - 121519355629547912594279510903970582550546222211873385792563\ 2656114766227/15887942276970059764408435323255921010513807289961073\ 2249616868208043817*c_1001_3^26 + 176031249743673721481410823084410\ 88444921678058962389428943530638408744766/1588794227697005976440843\ 53232559210105138072899610732249616868208043817*c_1001_3^25 - 1039565531662806825026922670080075209626760664882068892835366741619\ 45707528/1588794227697005976440843532325592101051380728996107322496\ 16868208043817*c_1001_3^24 + 17249364856485276108609150365969694554\ 0096220367920293477847019928538534724/15887942276970059764408435323\ 2559210105138072899610732249616868208043817*c_1001_3^23 + 3325258641391131318031174099782538270908574132964541655159169389757\ 9882978/69078009899869825062645370970677917437016553434613361847659\ 50791654079*c_1001_3^22 - 60941277695800691253535499439526433433352\ 14098311805746476845034979690990122/1588794227697005976440843532325\ 59210105138072899610732249616868208043817*c_1001_3^21 + 2189448539181761036315147101861724866209555220575222726211285027901\ 4615933323/15887942276970059764408435323255921010513807289961073224\ 9616868208043817*c_1001_3^20 - 392207634383932543616854958683294962\ 80183645195507905197832156710352619223782/1588794227697005976440843\ 53232559210105138072899610732249616868208043817*c_1001_3^19 - 2850322727450304228194357780028160908114904340370527335931169988926\ 5625495148/15887942276970059764408435323255921010513807289961073224\ 9616868208043817*c_1001_3^18 + 511335520015141636362287701257662800\ 921945868906415727870290372031424080594214/158879422769700597644084\ 353232559210105138072899610732249616868208043817*c_1001_3^17 - 2264512227816022497878986360146986478519618040900147656761636498439\ 691240119661/158879422769700597644084353232559210105138072899610732\ 249616868208043817*c_1001_3^16 + 6611321437693162363942384144188715\ 265536792369774793205971780764476066598778857/158879422769700597644\ 084353232559210105138072899610732249616868208043817*c_1001_3^15 - 1423317103622391307569324966838078044875506498646945746028604921906\ 9337058600645/15887942276970059764408435323255921010513807289961073\ 2249616868208043817*c_1001_3^14 + 236141628934723049223212776995720\ 74353663898440257185713449936817643059931992034/1588794227697005976\ 44084353232559210105138072899610732249616868208043817*c_1001_3^13 - 3102311264844810306569910534400146522099883548541819148364414716145\ 6063012217122/15887942276970059764408435323255921010513807289961073\ 2249616868208043817*c_1001_3^12 + 328477543272436721063268535859889\ 64412345530458902256482040608338170959846744673/1588794227697005976\ 44084353232559210105138072899610732249616868208043817*c_1001_3^11 - 2836488324777078751677973474255187328438486301339733488577661124550\ 7856634440426/15887942276970059764408435323255921010513807289961073\ 2249616868208043817*c_1001_3^10 + 201684385154901262514105258458864\ 13395926314611407976544003660430483774779721985/1588794227697005976\ 44084353232559210105138072899610732249616868208043817*c_1001_3^9 - 1189831754329833248518824564074968297302584149859937382750999387740\ 4140464984795/15887942276970059764408435323255921010513807289961073\ 2249616868208043817*c_1001_3^8 + 2542723890722236625081999758292347\ 67858604481512432260783976352311436324285440/6907800989986982506264\ 537097067791743701655343461336184765950791654079*c_1001_3^7 - 2392898274096020589783357968531977810133586932293129846179044684609\ 102223704258/158879422769700597644084353232559210105138072899610732\ 249616868208043817*c_1001_3^6 + 81069755598998405946294921736452364\ 9493294897811807349706825104018536098599571/15887942276970059764408\ 4353232559210105138072899610732249616868208043817*c_1001_3^5 - 2255267102706560613071993720094205585519227802460542626393601944074\ 49888300691/1588794227697005976440843532325592101051380728996107322\ 49616868208043817*c_1001_3^4 + 506119082483355073487293922728170741\ 84673179150739011501968798117840021538661/1588794227697005976440843\ 53232559210105138072899610732249616868208043817*c_1001_3^3 - 8706808437430217348269670705479319382414344892060831917362411170757\ 794716795/158879422769700597644084353232559210105138072899610732249\ 616868208043817*c_1001_3^2 + 10104800139243653683903447786352293504\ 16692174698127010592158434044759997277/1588794227697005976440843532\ 32559210105138072899610732249616868208043817*c_1001_3 - 5763642501200251794978730460494965604669937697783292829119365353882\ 1720628/15887942276970059764408435323255921010513807289961073224961\ 6868208043817, c_1001_3^27 - 15*c_1001_3^26 + 93*c_1001_3^25 - 186*c_1001_3^24 - 556*c_1001_3^23 + 5338*c_1001_3^22 - 20599*c_1001_3^21 + 41562*c_1001_3^20 + 6783*c_1001_3^19 - 432720*c_1001_3^18 + 2080012*c_1001_3^17 - 6400650*c_1001_3^16 + 14518196*c_1001_3^15 - 25477573*c_1001_3^14 + 35567941*c_1001_3^13 - 40231489*c_1001_3^12 + 37332517*c_1001_3^11 - 28690380*c_1001_3^10 + 18399025*c_1001_3^9 - 9896015*c_1001_3^8 + 4470415*c_1001_3^7 - 1691715*c_1001_3^6 + 533127*c_1001_3^5 - 138455*c_1001_3^4 + 28922*c_1001_3^3 - 4582*c_1001_3^2 + 484*c_1001_3 - 25 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 522.180 Total time: 522.460 seconds, Total memory usage: 760.72MB