Magma V2.19-8 Tue Aug 20 2013 23:50:25 on localhost [Seed = 442265905] Type ? for help. Type -D to quit. Loading file "K12a380__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12a380 geometric_solution 10.85221573 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 13 1 2 2 3 0132 0132 2031 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 4 -3 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.212639352906 0.746390626763 0 4 2 5 0132 0132 1023 0132 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 1 -1 -1 0 0 1 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.722848877981 0.801410634738 3 0 1 0 3012 0132 1023 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 1 0 -1 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.299244120409 1.063814666544 6 6 0 2 0132 1302 0132 1230 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 0 0 0 -3 0 0 3 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.385429022980 1.114507189082 7 1 7 6 0132 0132 2310 1302 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 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.856445074083 0.414792049005 8 9 1 10 0132 0132 0132 0132 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 0 1 0 4 0 0 -4 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.839380046475 0.368200645348 3 11 4 3 0132 0132 2031 2031 0 0 0 0 0 -1 1 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 4 -4 0 0 0 0 0 0 -1 0 1 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.379406076191 0.688042252737 4 4 9 9 0132 3201 0321 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.636380117173 0.222270076172 5 12 12 10 0132 0132 3201 2103 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 -1 1 1 0 -1 0 -1 1 0 0 -4 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.235351751671 0.720482198546 11 5 7 7 3012 0132 0321 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.946473727352 0.556812710610 12 11 5 8 3201 1230 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.550904332055 0.616691890798 12 6 10 9 2310 0132 3012 1230 0 0 0 0 0 1 -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 0 0 0 0 -4 4 0 0 0 0 0 -3 3 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.995349018246 2.281709979495 8 8 11 10 2310 0132 3201 2310 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 -3 0 3 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.395971705196 0.352281553198 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_10']), 'c_1001_10' : negation(d['c_0110_9']), 'c_1001_12' : negation(d['c_0101_11']), 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : negation(d['c_0101_4']), 'c_1001_6' : negation(d['c_0101_7']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0110_2']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_1'], 'c_1001_9' : negation(d['c_0110_9']), 'c_1001_8' : negation(d['c_0011_12']), 'c_1010_12' : negation(d['c_0011_12']), 'c_1010_11' : negation(d['c_0101_7']), 'c_1010_10' : d['c_0101_11'], 's_0_10' : d['1'], 's_0_11' : 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_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_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' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_0']), 'c_1100_4' : negation(d['c_0011_0']), 'c_1100_7' : negation(d['c_0110_9']), 'c_1100_6' : negation(d['c_0101_2']), 'c_1100_1' : negation(d['c_0101_0']), 'c_1100_0' : d['c_0110_2'], 'c_1100_3' : d['c_0110_2'], 'c_1100_2' : d['c_0101_0'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0110_9'], 'c_1100_10' : negation(d['c_0101_0']), 's_3_10' : negation(d['1']), 'c_1010_7' : negation(d['c_1001_4']), 'c_1010_6' : negation(d['c_0011_10']), 'c_1010_5' : negation(d['c_0110_9']), 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : negation(d['c_0110_2']), 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : d['c_1001_4'], 'c_1010_8' : negation(d['c_0101_11']), 'c_1100_8' : negation(d['c_0011_12']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : 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' : negation(d['1']), 'c_1100_12' : d['c_0011_10'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_12']), 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : d['c_0011_12'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_0']), '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_12']), 'c_0110_10' : d['c_0011_12'], 'c_0110_12' : negation(d['c_0101_10']), 'c_0101_12' : d['c_0011_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0011_0']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_7']), 'c_0101_8' : d['c_0101_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_4']), 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0101_7'], 'c_0110_7' : d['c_0101_4'], 'c_0110_6' : d['c_0101_1']})} 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_12, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_2, c_0101_4, c_0101_7, c_0110_2, c_0110_9, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 38 Groebner basis: [ t + 2141068439888984567510586954282520982441377638601649606922177432583\ 6546631092126598632226006381034457523009633306889309559443439764780\ 280879305405012758158783782953388291365123/841387026687599279913671\ 5656597157497547895768689447751231115433466460927077515572547323271\ 2242802482430734208102439844668459108131972207804858137814883432486\ 01576456934096*c_1001_4^37 + 45935426380401673179422630053800307089\ 9470262494182984981625326815459135577154710951152141334272618842114\ 8192227477511215276480791728830136462430716610197846737199112140253\ 5/14023117111459987998561192760995262495913159614482412918718525722\ 4441015451291926209122054520404670804051223680170733074447431846886\ 6203463414302296914723874766929409489016*c_1001_4^36 + 7740733821298605464339184667210430292750846841191952562237825608731\ 8860095863899489285314939872662858819979763935742528242704193371790\ 81888527011235329008111290457730688527127/1450667287392412551575295\ 8028615788788875682359809392674536405919769760219099164780254005640\ 0418624969708162427762827318393895014020641737594582996232557642217\ 268559602312*c_1001_4^35 - 2238161522801048808725912614020228890122\ 9498235546750194078817786796384269493552245407288781220727586474934\ 2421470064348870425445472293060943064982674252147931602307316617879\ 17/1402311711145998799856119276099526249591315961448241291871852572\ 2444101545129192620912205452040467080405122368017073307444743184688\ 66203463414302296914723874766929409489016*c_1001_4^34 + 4847122332325727134529148384066208755180724647210532004310102722014\ 2138992015301316254124358778463295718986920433778465704624163148330\ 61969873919054592797712817529197573660977723/8413870266875992799136\ 7156565971574975478957686894477512311154334664609270775155725473232\ 7122428024824307342081024398446684591081319722078048581378148834324\ 8601576456934096*c_1001_4^33 - 203682812589408658667299742985223459\ 3894149445074527187502629401344982085566039444733034438431932243955\ 8648593707151157154264331283105830465962453456867963762482414828822\ 14083175/8413870266875992799136715656597157497547895768689447751231\ 1154334664609270775155725473232712242802482430734208102439844668459\ 10813197220780485813781488343248601576456934096*c_1001_4^32 + 3221363081950542374693341520017663812966935881736374539748725363846\ 4891723842995584617683155486723718758980694644725207103275891388269\ 467397567733159664715758879734491336520000841/841387026687599279913\ 6715656597157497547895768689447751231115433466460927077515572547323\ 2712242802482430734208102439844668459108131972207804858137814883432\ 48601576456934096*c_1001_4^31 - 76385142853309954841614220978284638\ 4203111392775009051899136621303349728523324365146097931683672338489\ 2013744187375683637490513583100605137952096517769414431396625400059\ 821378965/420693513343799639956835782829857874877394788434472387561\ 5557716733230463538757786273661635612140124121536710405121992233422\ 955406598610390242906890744171624300788228467048*c_1001_4^30 + 9184390960909431679273716980491546005299426439626789965940358399776\ 7015044267694025900074003605311778630597809763333613079905539186851\ 24291015825224792233654671628152654123191592/5258668916797495499460\ 4472853732234359674348554309048445194471459165380794234472328420770\ 4451517515515192088800640249029177869425824826298780363361343021453\ 037598528558381*c_1001_4^29 - 1235972689503760158473115678117794064\ 3459501962973012227079968823921785256593855914341386981091014689863\ 9606514672353172810713627299476558584126404402692528433360157361831\ 5225973/17528896389324984998201490951244078119891449518103016148398\ 1571530551269314114907761402568150505838505064029600213416343059289\ 808608275432926787787114340484345866176186127*c_1001_4^28 + 2973198593098093828019910219274757910676983105276681521143608692118\ 9164088671847652193696980451537329589332546915135361331523405535060\ 228849122427625543857220900572588642344010485/525866891679749549946\ 0447285373223435967434855430904844519447145916538079423447232842077\ 0445151751551519208880064024902917786942582482629878036336134302145\ 3037598528558381*c_1001_4^27 - 703691394695977391167333881489170142\ 1169164420142406008677899000395134056642458492615436435553550206370\ 4479833845710725528891785897029975040065019414793562523262441398854\ 68945085/4428352772039996210071955608735346051340997772994446184858\ 4818070876110142513239855512227743285685517068807477948652549825504\ 7937536695830551884935867807539400082971417584*c_1001_4^26 + 1916575207815809859314995818145657430197375754645012813906934206236\ 5695455531985684001414039299541115936811187938801111428021422260232\ 3547028713592951583281143211663848322364046939/14023117111459987998\ 5611927609952624959131596144824129187185257224441015451291926209122\ 0545204046708040512236801707330744474318468866203463414302296914723\ 874766929409489016*c_1001_4^25 - 2190429342459216687665076548625079\ 9831370586700582781321544850368591640662818106518373489090515625902\ 3373684063561400907198119046301072796176982788500784519547447210633\ 411123793/123009799223333228057554322464870723648361049249845727357\ 1800501968780837292034440430895215091269042140800207720795904161819\ 5776042685995293107914885216876094446749206044*c_1001_4^24 + 7013230997162941113315093248429602701414837766249725658075332103082\ 0014312661003768363131349466866633756582224461305905035540835316639\ 6361337509541774300105867557161224828725400027/28046234222919975997\ 1223855219905249918263192289648258374370514448882030902583852418244\ 1090408093416081024473603414661488948636937732406926828604593829447\ 749533858818978032*c_1001_4^23 + 1400674396152129093011618710740194\ 2911273399660568281581562055330570111353661244281928730915314264722\ 8263900649632366921273388745931288132865642500536053240898371625888\ 83751539227/1051733783359499099892089457074644687193486971086180968\ 9038894291833076158846894465684154089030350310303841776012804980583\ 55738851649652597560726722686042906075197057116762*c_1001_4^22 + 2930327747515783039919847696540620563284035938840624095467323896025\ 0291089834172579840686758435044140335921859670692399470189752695289\ 69291714359402496547832382016665741100534890831/8413870266875992799\ 1367156565971574975478957686894477512311154334664609270775155725473\ 2327122428024824307342081024398446684591081319722078048581378148834\ 3248601576456934096*c_1001_4^21 + 741945943091779931692386554837822\ 7236160848356159735658371678831853488443274890725021948098614272571\ 7341200440263046123744773839248438493159645026736905497404017979786\ 9070531270113/84138702668759927991367156565971574975478957686894477\ 5123111543346646092707751557254732327122428024824307342081024398446\ 6845910813197220780485813781488343248601576456934096*c_1001_4^20 + 1939204579147281503285687153829791650750137096878561203731583435495\ 5635032158378890491592614224633538379214139039457453419863880232155\ 1031380614290051156728979194724500928022809071/52586689167974954994\ 6044728537322343596743485543090484451944714591653807942344723284207\ 7044515175155151920888006402490291778694258248262987803633613430214\ 53037598528558381*c_1001_4^19 + 46811927675959325641317325045238242\ 5859608611323162441005303942141808688297677774566063840018901841736\ 2212423529259083383960174336074709698992770419416109694660474652337\ 66336773239/2804623422291997599712238552199052499182631922896482583\ 7437051444888203090258385241824410904080934160810244736034146614889\ 48636937732406926828604593829447749533858818978032*c_1001_4^18 + 3330697516090533732016846193852236025663975143627194880765259261142\ 3122971148390738711040799113654164562277457323183101529941486433089\ 719249506566936860994925322783323661212014109/110708819300999905251\ 7988902183836512835249443248611546214620451771902753562830996387805\ 6935821421379267201869487163137456376198438417395763797123396695188\ 4850020742854396*c_1001_4^17 + 307493101760323094457329787466257630\ 1896723254384923739284268566430201484069253106733068219962777766455\ 4060491124744445443459930846967045729400344339863871676180808643411\ 715736914/175288963893249849982014909512440781198914495181030161483\ 9815715305512693141149077614025681505058385050640296002134163430592\ 89808608275432926787787114340484345866176186127*c_1001_4^16 + 7650818285720172351501574998816948931802808333474370905256971999271\ 4372994595748394865042859115451794145817277986606405792031216274910\ 1449396403359032745368352698558727697747749413/42069351334379963995\ 6835782829857874877394788434472387561555771673323046353875778627366\ 1635612140124121536710405121992233422955406598610390242906890744171\ 624300788228467048*c_1001_4^15 + 9443497077967899470931216795297357\ 3408542572409958478118665090546485890110129411133675998937158182550\ 6758914816701758203316239170420282822321150011289721383682036892458\ 970323689367/841387026687599279913671565659715749754789576868944775\ 1231115433466460927077515572547323271224280248243073420810243984466\ 845910813197220780485813781488343248601576456934096*c_1001_4^14 + 6635230106578369270226137292498789969842282440282225981945166098180\ 4401670467185952704790011968049249300861603231742278868342491260360\ 3955893494971315270616306844256304077182106627/84138702668759927991\ 3671565659715749754789576868944775123111543346646092707751557254732\ 3271224280248243073420810243984466845910813197220780485813781488343\ 248601576456934096*c_1001_4^13 + 2437464795407469771370661807321075\ 1590525874846376045669388009660531709771868602416843811107132615998\ 6327858080771305063236560761147909383352778644606054178990975456350\ 49647251556/5258668916797495499460447285373223435967434855430904844\ 5194471459165380794234472328420770445151751551519208880064024902917\ 7869425824826298780363361343021453037598528558381*c_1001_4^12 + 1865750083273505212718525817954300763435279856722395702150376916465\ 5519545495189484546543965445065110053393914771308000031594316402700\ 4960635551317616142025537839184579316470252827/84138702668759927991\ 3671565659715749754789576868944775123111543346646092707751557254732\ 3271224280248243073420810243984466845910813197220780485813781488343\ 248601576456934096*c_1001_4^11 + 6026238645794636702958719268624230\ 9597707896164386311246547954974456667351323293849230416581450501078\ 4222040006270914122263547982033062847343454376183655247523934282849\ 7591209978/52586689167974954994604472853732234359674348554309048445\ 1944714591653807942344723284207704451517515515192088800640249029177\ 869425824826298780363361343021453037598528558381*c_1001_4^10 + 5434692753005377072143996918236189927763932447458467651162196163558\ 2673856109969039937058148638914568081278219195044749028305222512040\ 50976858198515569180710173790231259671557519/1402311711145998799856\ 1192760995262495913159614482412918718525722444101545129192620912205\ 4520404670804051223680170733074447431846886620346341430229691472387\ 4766929409489016*c_1001_4^9 + 3634061090782245132542860267853815923\ 9110553564871407949041933336219143704469384444180901459919644323340\ 4412769920765504701985237950294754764757414863036116496330805927760\ 179461/311624824699110844412470950244339166575847991432942509304856\ 1271654244787806487249091601211564548240090027192892682957209942929\ 93081378547425400510425494194392650979886448*c_1001_4^8 - 1233490523436871963049700746551471164378931951788693641807954431707\ 7660255810534525317275411339944766381477968018001974702513012621383\ 6064118101957752960803546562131583280332175/21034675667189981997841\ 7891414928937438697394217236193780777885836661523176937889313683081\ 7806070062060768355202560996116711477703299305195121453445372085812\ 150394114233524*c_1001_4^7 - 33027455049294213533376790767624473490\ 8240515151249849148521232189528576136245138553535056350689471799342\ 0613331068741262584652548605933028543608136015834197125467083858200\ 13461/4206935133437996399568357828298578748773947884344723875615557\ 7167332304635387577862736616356121401241215367104051219922334229554\ 06598610390242906890744171624300788228467048*c_1001_4^6 + 2904101680695650146714533057849231837215880411231045842837695832971\ 6218495643601348236794667467460124030382169858952376004077874275630\ 609104369302973987035260525941882639273474/525866891679749549946044\ 7285373223435967434855430904844519447145916538079423447232842077044\ 5151751551519208880064024902917786942582482629878036336134302145303\ 7598528558381*c_1001_4^5 - 1826103939387693831009724411050896399839\ 2843999997394458831985281658497761089590367918593459835476903682832\ 3980508134025759286130983013325365990414657411322767446116477735062\ 573/210346756671899819978417891414928937438697394217236193780777885\ 8366615231769378893136830817806070062060768355202560996116711477703\ 299305195121453445372085812150394114233524*c_1001_4^4 - 9493029579231690149461771108745060694680324033275802511940781335998\ 9659620226352969336602967746457010310078430025220579228009471598541\ 369142210819571793137006266632986312977935/280462342229199759971223\ 8552199052499182631922896482583743705144488820309025838524182441090\ 4080934160810244736034146614889486369377324069268286045938294477495\ 33858818978032*c_1001_4^3 + 733309326440298925216718627822222938781\ 3527847230474128095905017169889278535333498914968062022519130146971\ 0289602844407119836038847450904674534029101952515137826098046003287\ 25/2901334574784825103150591605723157757775136471961878534907281183\ 9539520438198329560508011280083724993941632485552565463678779002804\ 1283475189165992465115284434537119204624*c_1001_4^2 + 2627525001347154566177245518570702467857760644413788780678808458945\ 8020441600408590671222807628087460146387111387356763722121170578560\ 341516177824806812137003851680074386618383/210346756671899819978417\ 8914149289374386973942172361937807778858366615231769378893136830817\ 8060700620607683552025609961167114777032993051951214534453720858121\ 50394114233524*c_1001_4 + 38175182897651197131082434526088462196483\ 2084855546213696506459358253407330080042090616080128270221175913816\ 6826233818357166286119181307456694829514272776803764824009162716875\ /280462342229199759971223855219905249918263192289648258374370514448\ 8820309025838524182441090408093416081024473603414661488948636937732\ 406926828604593829447749533858818978032, c_0011_0 - 1, c_0011_10 + 58812493515113076703327778392006335802062658752148403375850\ 2734232433115627055485095970864939388813888235519147689055486442662\ 1114774381003935844656403949/39424977201891922521420816322904219829\ 5351026729189913187771847957984518878622842111147184757725916465009\ 8725473990873236436904938728632850780853634179752*c_1001_4^37 - 7740566109505365064338429832008819581055599837276918921938571125086\ 9252941871079194862051140797526632098460176817336486116910549492634\ 9971692489719046157/65708295336486537535701360538173699715891837788\ 1983188646286413263307531464371403518578641262876527441683120912331\ 812206072817489788105475130142272363292*c_1001_4^36 + 6307987535381594999136072817176511500368812781808469942779356653945\ 7084850373266902001602347791756562670499356892460722547962595818662\ 093849633361187121201/197124886009459612607104081614521099147675513\ 3645949565938859239789922594393114210555735923788629582325049362736\ 995436618218452469364316425390426817089876*c_1001_4^35 - 2293504511715021157355251899168827861776421260525776634064051328546\ 4092456193142846908053611808674919055410859600032848284417142496452\ 253696909937384758725/657082953364865375357013605381736997158918377\ 8819831886462864132633075314643714035185786412628765274416831209123\ 31812206072817489788105475130142272363292*c_1001_4^34 + 1422748736917381993640449578074242114775746712583506456456196643138\ 0649071545892865028501221889771754885782325367442848572103482350810\ 40853023231915879624597/3942497720189192252142081632290421982953510\ 2672918991318777184795798451887862284211114718475772591646500987254\ 73990873236436904938728632850780853634179752*c_1001_4^33 - 1684150107814045785462606004533075851072315977866153915789384482887\ 8177158688809726841332793594600934426028972535102158365719056274095\ 02120907940208520930977/3942497720189192252142081632290421982953510\ 2672918991318777184795798451887862284211114718475772591646500987254\ 73990873236436904938728632850780853634179752*c_1001_4^32 + 9985667839080914478973719523646509310515943654077320260596908519429\ 1743989799914964578168280233629902679522973613524500251240960346747\ 27081508337350366473339/3942497720189192252142081632290421982953510\ 2672918991318777184795798451887862284211114718475772591646500987254\ 73990873236436904938728632850780853634179752*c_1001_4^31 - 5997414627984071533444729884385612776686447886318669868197329552855\ 5688787285918410117427851247567234663917420444118847421021282504776\ 12672370645604221259461/1971248860094596126071040816145210991476755\ 1336459495659388592397899225943931142105557359237886295823250493627\ 36995436618218452469364316425390426817089876*c_1001_4^30 + 1212366505205050758434052956991309501488608238690698654444602194574\ 5004118529999611890581297268570341868101998213260150773571161730026\ 848362818652169176613201/985624430047298063035520408072605495738377\ 5668229747829694296198949612971965571052778679618943147911625246813\ 68497718309109226234682158212695213408544938*c_1001_4^29 - 4471707729019475932840629072377989054605302958717715938589752966539\ 0899991519997895921976044993850810116573017530939599967040016941604\ 95643973664993514832059/3285414766824326876785068026908684985794591\ 8894099159432314320663165376573218570175928932063143826372084156045\ 6165906103036408744894052737565071136181646*c_1001_4^28 + 3202145486036991724152612713694484698375699947201806489746736011112\ 9576648907833172071773094392884256282151611858820049686229189862106\ 29480904326894653294485/7581726384979215869504003139020042274910596\ 6678690367920725355376535484399735161944451381684178060858655744720\ 653670639162248171898627554822708723734226*c_1001_4^27 - 1634212729728033723906748035480273004727041049280282707178913179213\ 9035463277462171581572784914463624482342956901307894557304318748723\ 2604088331040523698252349/39424977201891922521420816322904219829535\ 1026729189913187771847957984518878622842111147184757725916465009872\ 5473990873236436904938728632850780853634179752*c_1001_4^26 + 7037978013564249057870038643463650792002220438113397420477330258631\ 0662338345257767340072579049476249097307321446357463756723884714099\ 398168435658467876228549/657082953364865375357013605381736997158918\ 3778819831886462864132633075314643714035185786412628765274416831209\ 12331812206072817489788105475130142272363292*c_1001_4^25 - 4987947817378445754958538353070226501379242907848941927599664333999\ 1336706752763554422657699962505406145483659629717154231100280130998\ 60374226575331065079029/5475691278040544794641780044847808309657653\ 1490165265720523867771942294288697616959881553438573043953473593409\ 360984350506068124149008789594178522696941*c_1001_4^24 + 2677532272333695732206768108927021749503628505782707928680935405109\ 9737600870384968410846879491847504258777545813071009418798622923308\ 9684314903247339256213773/13141659067297307507140272107634739943178\ 3675576396637729257282652661506292874280703715728252575305488336624\ 1824663624412145634979576210950260284544726584*c_1001_4^23 - 7108383814445699028265447366884522627973517134477514346975657224587\ 8919537261472368926311416577920912750300857342178263703992866349173\ 259340687706174693804191/492812215023649031517760204036302747869188\ 7834114873914847148099474806485982785526389339809471573955812623406\ 84248859154554613117341079106347606704272469*c_1001_4^22 + 1140843048439943587387767281583485044600446240399127492378878369944\ 0884522824778220060610836591959517882274204758888699882570273973208\ 41473500968772465082674537/3942497720189192252142081632290421982953\ 5102672918991318777184795798451887862284211114718475772591646500987\ 25473990873236436904938728632850780853634179752*c_1001_4^21 - 6422723443487751159236853709016578018512945927764583491222709983336\ 7201397705977826318823672857310657436037892411528000843950779167026\ 9056254139345212575355365/39424977201891922521420816322904219829535\ 1026729189913187771847957984518878622842111147184757725916465009872\ 5473990873236436904938728632850780853634179752*c_1001_4^20 + 2985154143622275752244984503812019107787524539933153747549366095794\ 2689917672786550187977215164265686975654798573146066141399887801408\ 4966218668127669281453083/98562443004729806303552040807260549573837\ 7566822974782969429619894961297196557105277867961894314791162524681\ 368497718309109226234682158212695213408544938*c_1001_4^19 - 1659957512941400256261907979402748733086573448655463960472150705129\ 1921356787388845177138069462749697330780558530597532156935530988937\ 3188102642191484269625451/13141659067297307507140272107634739943178\ 3675576396637729257282652661506292874280703715728252575305488336624\ 1824663624412145634979576210950260284544726584*c_1001_4^18 + 2270745142062216369841781366106963249410751494290617484420104814108\ 0971489262117178833739348556087015474570007562689267573455477395912\ 2781984931224694152071687/98562443004729806303552040807260549573837\ 7566822974782969429619894961297196557105277867961894314791162524681\ 368497718309109226234682158212695213408544938*c_1001_4^17 - 2262043070898019385569085385285632054691156365767273604361291390963\ 0183689766922536717077115002705102866373251476298723227419807830056\ 491267410237423420036139/328541476682432687678506802690868498579459\ 1889409915943231432066316537657321857017592893206314382637208415604\ 56165906103036408744894052737565071136181646*c_1001_4^16 + 2448401509746416196837016670160975336216576003919431525452219000896\ 3045294526233536413856802807366489416166577367869817083626515035655\ 2099505149426766578473759/19712488600945961260710408161452109914767\ 5513364594956593885923978992259439311421055573592378862958232504936\ 2736995436618218452469364316425390426817089876*c_1001_4^15 - 5822821372336768153063739208146071002834334174979268922203015202192\ 9121804104546307270687891530900168828025273124050662416130695519802\ 39942705374516496067641/2074998800099574869548464016994958938396584\ 3512062627009882728839893922046243307479534062355669785077105782765\ 6525835433496679207301506992146360717588408*c_1001_4^14 + 1856853962847740412520876747247466399315576488705175454693869734594\ 0170212332358436467641266304402156910423799851495654008307907038845\ 8097815713631797706963913/39424977201891922521420816322904219829535\ 1026729189913187771847957984518878622842111147184757725916465009872\ 5473990873236436904938728632850780853634179752*c_1001_4^13 - 4411027935527522049243519281125783792505371921732427096508822391391\ 2518663046729541361083368391776970590593559189864650171786702366699\ 16323338856667335260714/4928122150236490315177602040363027478691887\ 8341148739148471480994748064859827855263893398094715739558126234068\ 4248859154554613117341079106347606704272469*c_1001_4^12 + 3429218807308901723455933811644084358076087124918725617958752219977\ 0098129270597023916053967361717785551787799102262611701797550224727\ 15628937302953210127613/3032690553991686347801601255608016909964238\ 6671476147168290142150614193759894064777780552673671224343462297888\ 2614682556648992687594510219290834894936904*c_1001_4^11 - 1966542882873119690484499753752742398348606622134516547380483704489\ 7684313971797762828771478664138551335110162797660341686862922083626\ 74640323078533444316797/9856244300472980630355204080726054957383775\ 6682297478296942961989496129719655710527786796189431479116252468136\ 8497718309109226234682158212695213408544938*c_1001_4^10 + 9592823140276403677268639424123955244941653763082911755432868566410\ 6320317915110887823512889054872397837624961587356089873252496511704\ 1001211101014115764831/65708295336486537535701360538173699715891837\ 7881983188646286413263307531464371403518578641262876527441683120912\ 331812206072817489788105475130142272363292*c_1001_4^9 - 4858457486899710440384922337095525732443776377066712296760528811590\ 3884661011245171174732603464487431494099721445654546121589529050772\ 14038509887219511461/1123218723700624573259852316891858114801569876\ 7213387840107460055783034725886690658437241730989342349430480699356\ 099353949962692133130008121882773886552*c_1001_4^8 - 9907693078929458651994101248017040403974135969635511538727780230048\ 7407768388906447285833589522824107997325345791991309613566010040327\ 246569098045294947185/985624430047298063035520408072605495738377566\ 8229747829694296198949612971965571052778679618943147911625246813684\ 97718309109226234682158212695213408544938*c_1001_4^7 + 1004021824720319871229520437462140997546210015232033492845921778107\ 6336299557107492859221925097359536416332148250841102988609304569361\ 3621229341351075497355/19712488600945961260710408161452109914767551\ 3364594956593885923978992259439311421055573592378862958232504936273\ 6995436618218452469364316425390426817089876*c_1001_4^6 - 1431780692826156491417715794631175567724719488771686911708592522934\ 4747061286017586853371934163164591413589589223345366476444903170390\ 561197930936415645916/492812215023649031517760204036302747869188783\ 4114873914847148099474806485982785526389339809471573955812623406842\ 48859154554613117341079106347606704272469*c_1001_4^5 - 1990336091120672028531251040879545596625584096350940572902244168758\ 4877699661620057655251056224634029723282000317334423282043959520359\ 295289253047803897781/492812215023649031517760204036302747869188783\ 4114873914847148099474806485982785526389339809471573955812623406842\ 48859154554613117341079106347606704272469*c_1001_4^4 + 1771541662208717902161833548907548868513739310863758849316764314475\ 3193763432444418135012483537501635048764689046003215269974647555081\ 621297523299263411607/131416590672973075071402721076347399431783675\ 5763966377292572826526615062928742807037157282525753054883366241824\ 663624412145634979576210950260284544726584*c_1001_4^3 + 3260513583090696118321044055588291249310751859665174233660289177772\ 9542492127868854729425573798781519371130683417223193987655461939205\ 265991530024034893703/394249772018919225214208163229042198295351026\ 7291899131877718479579845188786228421111471847577259164650098725473\ 990873236436904938728632850780853634179752*c_1001_4^2 + 2837357951423138537241127643523109950360974881775535385377482143089\ 2494714762108631800979932283733270973011791204555088294498824539335\ 4108758731836202798/49281221502364903151776020403630274786918878341\ 1487391484714809947480648598278552638933980947157395581262340684248\ 859154554613117341079106347606704272469*c_1001_4 - 2263100089280052396369923174025739746899452374589490136663888154605\ 7135193016272876291628834945080258176646406603392329633181079726144\ 1379021859972828259/13141659067297307507140272107634739943178367557\ 6396637729257282652661506292874280703715728252575305488336624182466\ 3624412145634979576210950260284544726584, c_0011_12 - 13384731869793934130994316736325451892456189039724416639530\ 5176249995862204442061402324550096859276860685756241295797192360097\ 2765019598757589577087628511651/72133106436054110094747715790795128\ 1325568174830443767091701084782386490096443274084839663964135565680\ 42547051264870051066660408878960912158731173899436944*c_1001_4^37 + 1947425242459126821518619721632138896820330013793061224663323600159\ 2832332390011769159106472129707973929368349952562452763402714545530\ 4221446684512286232821/18033276609013527523686928947698782033139204\ 3707610941772925271195596622524110818521209915991033891420106367628\ 16217512766665102219740228039682793474859236*c_1001_4^36 - 1424542180475095092418619946100030383945974463738292329789977103290\ 4549413833260425752992884752383614062545510819580550383292498031396\ 884353677289865913354563/360665532180270550473738578953975640662784\ 0874152218835458505423911932450482216370424198319820677828402127352\ 5632435025533330204439480456079365586949718472*c_1001_4^35 + 6325195805539780281746065261704579606542923488367861564165556572824\ 8056811157081465507789692288470001201007184131963907776596504037655\ 45716754186831917672039/1803327660901352752368692894769878203313920\ 4370761094177292527119559662252411081852120991599103389142010636762\ 816217512766665102219740228039682793474859236*c_1001_4^34 - 3172198379705140800448655667579218956201681363449395326375746987264\ 9595068733478673091404181305137821723414574936038259447831532815864\ 5989677511408044929779839/72133106436054110094747715790795128132556\ 8174830443767091701084782386490096443274084839663964135565680425470\ 51264870051066660408878960912158731173899436944*c_1001_4^33 + 3148770835352638018697171136776214092538306155482817196050256738776\ 9517772342789863126260964837295026990449153035060625753656868713294\ 3261713162584019867181175/72133106436054110094747715790795128132556\ 8174830443767091701084782386490096443274084839663964135565680425470\ 51264870051066660408878960912158731173899436944*c_1001_4^32 - 2191457202827323350184076093093425979401082488836330219360532343282\ 1066387421733674318359178131909835476643767626841967946283995702819\ 57698159760501179491226287/7213310643605411009474771579079512813255\ 6817483044376709170108478238649009644327408483966396413556568042547\ 051264870051066660408878960912158731173899436944*c_1001_4^31 + 2805998002478955001466927932879586299687955769816355803806130976616\ 8879428203308747519552500438572189709443824734457104325764859329268\ 4799575673468278787974251/90166383045067637618434644738493910165696\ 0218538054708864626355977983112620554092606049579955169457100531838\ 1408108756383332551109870114019841396737429618*c_1001_4^30 - 5226460419277094919171458554911058033494229565803278718273977304040\ 5792657625499235619163892199706247710588276324477495366444328390610\ 59919592000737585968849809/3606655321802705504737385789539756406627\ 8408741522188354585054239119324504822163704241983198206778284021273\ 525632435025533330204439480456079365586949718472*c_1001_4^29 + 4914487968415812139508130818947465340526279290932163649355897961552\ 0544006509554797493107131912288586043331829810549388068850617781431\ 72286995077496160602227057/3606655321802705504737385789539756406627\ 8408741522188354585054239119324504822163704241983198206778284021273\ 525632435025533330204439480456079365586949718472*c_1001_4^28 - 1762272004129223891240454834029098733071052939338223861646147850978\ 3615233953539960429155489938329088841184227110493480492040006930192\ 854085517125649783205470811/360665532180270550473738578953975640662\ 7840874152218835458505423911932450482216370424198319820677828402127\ 3525632435025533330204439480456079365586949718472*c_1001_4^27 + 1520137726165074354831147641673752064586619946770466517655089855478\ 2260931272014421295375196495262197651989274310428869453471786618557\ 98325001142001654736138799/3796479286108111057618300831094480428029\ 3061833181250899563214988546657373497014425517877050743977141075024\ 76382361581635087389940997942745196377573654576*c_1001_4^26 - 4394287258505259996459218325618933955113318738982593492356618368480\ 1104733716860410539329733291308828822277877440399719214778920199592\ 314927899973599120649941381/360665532180270550473738578953975640662\ 7840874152218835458505423911932450482216370424198319820677828402127\ 3525632435025533330204439480456079365586949718472*c_1001_4^25 + 1586261690977893729934682272138521772589190551414274923839881518924\ 0129164177186000656587840006624359791649041204725934960395601584978\ 58563227269036461351991433/1898239643054055528809150415547240214014\ 6530916590625449781607494273328686748507212758938525371988570537512\ 38191180790817543694970498971372598188786827288*c_1001_4^24 - 1643598537551663647439494976780862916096843913482908816394104869572\ 4154491233516596055822832870480036018592225046115238181323446776786\ 8226689804555144296922354553/72133106436054110094747715790795128132\ 5568174830443767091701084782386490096443274084839663964135565680425\ 47051264870051066660408878960912158731173899436944*c_1001_4^23 + 5480677374157472713970231310817951600420316154303535764775385393211\ 4648881328109423822186158756991602318472675914166333068117454113254\ 02279301783961918024680675/4508319152253381880921732236924695508284\ 8010926902735443231317798899155631027704630302478997758472855026591\ 90704054378191666275554935057009920698368714809*c_1001_4^22 - 2295749501266046658958177112598546391040324526469771025068152703008\ 5367809735395666032930621511511188709760492142918299879882842346485\ 0309755323474329702144180963/72133106436054110094747715790795128132\ 5568174830443767091701084782386490096443274084839663964135565680425\ 47051264870051066660408878960912158731173899436944*c_1001_4^21 + 8514902918471898355802715399839453937360083392636857042265983675513\ 5199969674562559335075068083286689430400110651142630396435719742854\ 914918728512127456985553021/721331064360541100947477157907951281325\ 5681748304437670917010847823864900964432740848396639641355656804254\ 7051264870051066660408878960912158731173899436944*c_1001_4^20 - 1182211560623661769884623701260871113587493406751051499626172110894\ 9955067287410421630320646461766716679737645804302878896657172183996\ 2758790247495158149548797003/36066553218027055047373857895397564066\ 2784087415221883545850542391193245048221637042419831982067782840212\ 73525632435025533330204439480456079365586949718472*c_1001_4^19 + 4689779751472593591352214485155605117300618188127749727339278000461\ 7957634669547729588128506728305663168027116485999823544788788299855\ 339995393509265544728019545/721331064360541100947477157907951281325\ 5681748304437670917010847823864900964432740848396639641355656804254\ 7051264870051066660408878960912158731173899436944*c_1001_4^18 - 2338315683757661273368869612732240501558643734814672168912675836726\ 4734414371615355901169298467479644176156718740604508490241365119349\ 45790188489666308135810137/9491198215270277644045752077736201070073\ 2654582953127248908037471366643433742536063794692626859942852687561\ 9095590395408771847485249485686299094393413644*c_1001_4^17 + 4239362971578217150333239057660305046626079131686213952117362253575\ 1706172203275906786485721017514406027011460091901124616978253702668\ 29493727597756552674758531/3606655321802705504737385789539756406627\ 8408741522188354585054239119324504822163704241983198206778284021273\ 525632435025533330204439480456079365586949718472*c_1001_4^16 - 4725657921321723353177570258594811732630472422858717819594301565334\ 4594806970075742934687296938118608362680559416384488887531851681823\ 839350860640764924654195373/360665532180270550473738578953975640662\ 7840874152218835458505423911932450482216370424198319820677828402127\ 3525632435025533330204439480456079365586949718472*c_1001_4^15 - 5774079029164959630254148339402774492285857166505127156082522818245\ 1093049096270544165595038467162571579035558932532782369947422882091\ 98243349055552435132493841/7213310643605411009474771579079512813255\ 6817483044376709170108478238649009644327408483966396413556568042547\ 051264870051066660408878960912158731173899436944*c_1001_4^14 - 3490433587114483003752095034898642370730623918741769795105209344131\ 5334066860018391219412136292280976088087612546251132732832961559043\ 622316648119717058219662981/721331064360541100947477157907951281325\ 5681748304437670917010847823864900964432740848396639641355656804254\ 7051264870051066660408878960912158731173899436944*c_1001_4^13 - 1223868231811277555451193521636185927594509819692882606162178604383\ 0071884190802083856364930277749844037956723374145477910100463754292\ 33184136702663880556645441/1803327660901352752368692894769878203313\ 9204370761094177292527119559662252411081852120991599103389142010636\ 762816217512766665102219740228039682793474859236*c_1001_4^12 - 7664343482988489246266048308820772778166910257709711558640268310936\ 5628579393516569111740379874026063683838026998953006258971728761080\ 10531215832552604409116869/7213310643605411009474771579079512813255\ 6817483044376709170108478238649009644327408483966396413556568042547\ 051264870051066660408878960912158731173899436944*c_1001_4^11 - 9306102010367959810571500800661922753565611304373196042256933755204\ 8505592923162092280254966872651526846841708215642099014476747820033\ 2996438944929929214618559/36066553218027055047373857895397564066278\ 4087415221883545850542391193245048221637042419831982067782840212735\ 25632435025533330204439480456079365586949718472*c_1001_4^10 - 1785652608947309839249197370301786076064974402172468596459416672385\ 6038942338968249508565559618459167075321158898021751214791898834363\ 4248948055131875663309259/18033276609013527523686928947698782033139\ 2043707610941772925271195596622524110818521209915991033891420106367\ 62816217512766665102219740228039682793474859236*c_1001_4^9 - 2522463485872508312042688588216827887028492746955178655563135080471\ 8595500987772345146258099674153376490355853080687908145083389951345\ 1449077064312378673976013/72133106436054110094747715790795128132556\ 8174830443767091701084782386490096443274084839663964135565680425470\ 51264870051066660408878960912158731173899436944*c_1001_4^8 + 4838120518243327562645575399444779118403489050145251924178411494796\ 4684995761498043361092470127782068467356804513214879444321019280076\ 182397302623509735909537/180332766090135275236869289476987820331392\ 0437076109417729252711955966225241108185212099159910338914201063676\ 2816217512766665102219740228039682793474859236*c_1001_4^7 - 1924119711146408378054883296502487937998919572218360113754043798384\ 7492785550731747450369392261873853724481236686522165559778200554019\ 874680094215130509688489/180332766090135275236869289476987820331392\ 0437076109417729252711955966225241108185212099159910338914201063676\ 2816217512766665102219740228039682793474859236*c_1001_4^6 + 2735756418833392197919444994427047220978036802618146234403256522357\ 6727639015668492756459041097335472850895055739138641723419287075966\ 82379918229787020344009/1803327660901352752368692894769878203313920\ 4370761094177292527119559662252411081852120991599103389142010636762\ 816217512766665102219740228039682793474859236*c_1001_4^5 + 2232113508767241169438248277903147319524942290007738919496228537784\ 3982008767470483431841867273267167812063169529490097641485758943041\ 079255299199303966993481/360665532180270550473738578953975640662784\ 0874152218835458505423911932450482216370424198319820677828402127352\ 5632435025533330204439480456079365586949718472*c_1001_4^4 - 1003736675508127541734271290124517200131787310182026831146945596056\ 7315093997834482341440571006093183420737669026433783911365724082032\ 345154635900047976472223/721331064360541100947477157907951281325568\ 1748304437670917010847823864900964432740848396639641355656804254705\ 1264870051066660408878960912158731173899436944*c_1001_4^3 - 8351257946684527120784612267728266088358523926012090230140456899274\ 1674381096255475155276625002008779986400667770792686619244390251685\ 97731773488622981780345/7213310643605411009474771579079512813255681\ 7483044376709170108478238649009644327408483966396413556568042547051\ 264870051066660408878960912158731173899436944*c_1001_4^2 - 4073455780710048167301331454225520310817016696784169587853834310475\ 1106742392781727056658365895589764038612297339800236680747976260694\ 8954282260427529477269/36066553218027055047373857895397564066278408\ 7415221883545850542391193245048221637042419831982067782840212735256\ 32435025533330204439480456079365586949718472*c_1001_4 - 1372705211202067995491304411922821815870602820755108953444698837595\ 9469174332107845609937841607132734747762056102292916595116072286242\ 1201989528524965472701/72133106436054110094747715790795128132556817\ 4830443767091701084782386490096443274084839663964135565680425470512\ 64870051066660408878960912158731173899436944, c_0101_0 + 588124935151130767033277783920063358020626587521484033758502\ 7342324331156270554850959708649393888138882355191476890554864426621\ 114774381003935844656403949/394249772018919225214208163229042198295\ 3510267291899131877718479579845188786228421111471847577259164650098\ 725473990873236436904938728632850780853634179752*c_1001_4^37 - 7740566109505365064338429832008819581055599837276918921938571125086\ 9252941871079194862051140797526632098460176817336486116910549492634\ 9971692489719046157/65708295336486537535701360538173699715891837788\ 1983188646286413263307531464371403518578641262876527441683120912331\ 812206072817489788105475130142272363292*c_1001_4^36 + 6307987535381594999136072817176511500368812781808469942779356653945\ 7084850373266902001602347791756562670499356892460722547962595818662\ 093849633361187121201/197124886009459612607104081614521099147675513\ 3645949565938859239789922594393114210555735923788629582325049362736\ 995436618218452469364316425390426817089876*c_1001_4^35 - 2293504511715021157355251899168827861776421260525776634064051328546\ 4092456193142846908053611808674919055410859600032848284417142496452\ 253696909937384758725/657082953364865375357013605381736997158918377\ 8819831886462864132633075314643714035185786412628765274416831209123\ 31812206072817489788105475130142272363292*c_1001_4^34 + 1422748736917381993640449578074242114775746712583506456456196643138\ 0649071545892865028501221889771754885782325367442848572103482350810\ 40853023231915879624597/3942497720189192252142081632290421982953510\ 2672918991318777184795798451887862284211114718475772591646500987254\ 73990873236436904938728632850780853634179752*c_1001_4^33 - 1684150107814045785462606004533075851072315977866153915789384482887\ 8177158688809726841332793594600934426028972535102158365719056274095\ 02120907940208520930977/3942497720189192252142081632290421982953510\ 2672918991318777184795798451887862284211114718475772591646500987254\ 73990873236436904938728632850780853634179752*c_1001_4^32 + 9985667839080914478973719523646509310515943654077320260596908519429\ 1743989799914964578168280233629902679522973613524500251240960346747\ 27081508337350366473339/3942497720189192252142081632290421982953510\ 2672918991318777184795798451887862284211114718475772591646500987254\ 73990873236436904938728632850780853634179752*c_1001_4^31 - 5997414627984071533444729884385612776686447886318669868197329552855\ 5688787285918410117427851247567234663917420444118847421021282504776\ 12672370645604221259461/1971248860094596126071040816145210991476755\ 1336459495659388592397899225943931142105557359237886295823250493627\ 36995436618218452469364316425390426817089876*c_1001_4^30 + 1212366505205050758434052956991309501488608238690698654444602194574\ 5004118529999611890581297268570341868101998213260150773571161730026\ 848362818652169176613201/985624430047298063035520408072605495738377\ 5668229747829694296198949612971965571052778679618943147911625246813\ 68497718309109226234682158212695213408544938*c_1001_4^29 - 4471707729019475932840629072377989054605302958717715938589752966539\ 0899991519997895921976044993850810116573017530939599967040016941604\ 95643973664993514832059/3285414766824326876785068026908684985794591\ 8894099159432314320663165376573218570175928932063143826372084156045\ 6165906103036408744894052737565071136181646*c_1001_4^28 + 3202145486036991724152612713694484698375699947201806489746736011112\ 9576648907833172071773094392884256282151611858820049686229189862106\ 29480904326894653294485/7581726384979215869504003139020042274910596\ 6678690367920725355376535484399735161944451381684178060858655744720\ 653670639162248171898627554822708723734226*c_1001_4^27 - 1634212729728033723906748035480273004727041049280282707178913179213\ 9035463277462171581572784914463624482342956901307894557304318748723\ 2604088331040523698252349/39424977201891922521420816322904219829535\ 1026729189913187771847957984518878622842111147184757725916465009872\ 5473990873236436904938728632850780853634179752*c_1001_4^26 + 7037978013564249057870038643463650792002220438113397420477330258631\ 0662338345257767340072579049476249097307321446357463756723884714099\ 398168435658467876228549/657082953364865375357013605381736997158918\ 3778819831886462864132633075314643714035185786412628765274416831209\ 12331812206072817489788105475130142272363292*c_1001_4^25 - 4987947817378445754958538353070226501379242907848941927599664333999\ 1336706752763554422657699962505406145483659629717154231100280130998\ 60374226575331065079029/5475691278040544794641780044847808309657653\ 1490165265720523867771942294288697616959881553438573043953473593409\ 360984350506068124149008789594178522696941*c_1001_4^24 + 2677532272333695732206768108927021749503628505782707928680935405109\ 9737600870384968410846879491847504258777545813071009418798622923308\ 9684314903247339256213773/13141659067297307507140272107634739943178\ 3675576396637729257282652661506292874280703715728252575305488336624\ 1824663624412145634979576210950260284544726584*c_1001_4^23 - 7108383814445699028265447366884522627973517134477514346975657224587\ 8919537261472368926311416577920912750300857342178263703992866349173\ 259340687706174693804191/492812215023649031517760204036302747869188\ 7834114873914847148099474806485982785526389339809471573955812623406\ 84248859154554613117341079106347606704272469*c_1001_4^22 + 1140843048439943587387767281583485044600446240399127492378878369944\ 0884522824778220060610836591959517882274204758888699882570273973208\ 41473500968772465082674537/3942497720189192252142081632290421982953\ 5102672918991318777184795798451887862284211114718475772591646500987\ 25473990873236436904938728632850780853634179752*c_1001_4^21 - 6422723443487751159236853709016578018512945927764583491222709983336\ 7201397705977826318823672857310657436037892411528000843950779167026\ 9056254139345212575355365/39424977201891922521420816322904219829535\ 1026729189913187771847957984518878622842111147184757725916465009872\ 5473990873236436904938728632850780853634179752*c_1001_4^20 + 2985154143622275752244984503812019107787524539933153747549366095794\ 2689917672786550187977215164265686975654798573146066141399887801408\ 4966218668127669281453083/98562443004729806303552040807260549573837\ 7566822974782969429619894961297196557105277867961894314791162524681\ 368497718309109226234682158212695213408544938*c_1001_4^19 - 1659957512941400256261907979402748733086573448655463960472150705129\ 1921356787388845177138069462749697330780558530597532156935530988937\ 3188102642191484269625451/13141659067297307507140272107634739943178\ 3675576396637729257282652661506292874280703715728252575305488336624\ 1824663624412145634979576210950260284544726584*c_1001_4^18 + 2270745142062216369841781366106963249410751494290617484420104814108\ 0971489262117178833739348556087015474570007562689267573455477395912\ 2781984931224694152071687/98562443004729806303552040807260549573837\ 7566822974782969429619894961297196557105277867961894314791162524681\ 368497718309109226234682158212695213408544938*c_1001_4^17 - 2262043070898019385569085385285632054691156365767273604361291390963\ 0183689766922536717077115002705102866373251476298723227419807830056\ 491267410237423420036139/328541476682432687678506802690868498579459\ 1889409915943231432066316537657321857017592893206314382637208415604\ 56165906103036408744894052737565071136181646*c_1001_4^16 + 2448401509746416196837016670160975336216576003919431525452219000896\ 3045294526233536413856802807366489416166577367869817083626515035655\ 2099505149426766578473759/19712488600945961260710408161452109914767\ 5513364594956593885923978992259439311421055573592378862958232504936\ 2736995436618218452469364316425390426817089876*c_1001_4^15 - 5822821372336768153063739208146071002834334174979268922203015202192\ 9121804104546307270687891530900168828025273124050662416130695519802\ 39942705374516496067641/2074998800099574869548464016994958938396584\ 3512062627009882728839893922046243307479534062355669785077105782765\ 6525835433496679207301506992146360717588408*c_1001_4^14 + 1856853962847740412520876747247466399315576488705175454693869734594\ 0170212332358436467641266304402156910423799851495654008307907038845\ 8097815713631797706963913/39424977201891922521420816322904219829535\ 1026729189913187771847957984518878622842111147184757725916465009872\ 5473990873236436904938728632850780853634179752*c_1001_4^13 - 4411027935527522049243519281125783792505371921732427096508822391391\ 2518663046729541361083368391776970590593559189864650171786702366699\ 16323338856667335260714/4928122150236490315177602040363027478691887\ 8341148739148471480994748064859827855263893398094715739558126234068\ 4248859154554613117341079106347606704272469*c_1001_4^12 + 3429218807308901723455933811644084358076087124918725617958752219977\ 0098129270597023916053967361717785551787799102262611701797550224727\ 15628937302953210127613/3032690553991686347801601255608016909964238\ 6671476147168290142150614193759894064777780552673671224343462297888\ 2614682556648992687594510219290834894936904*c_1001_4^11 - 1966542882873119690484499753752742398348606622134516547380483704489\ 7684313971797762828771478664138551335110162797660341686862922083626\ 74640323078533444316797/9856244300472980630355204080726054957383775\ 6682297478296942961989496129719655710527786796189431479116252468136\ 8497718309109226234682158212695213408544938*c_1001_4^10 + 9592823140276403677268639424123955244941653763082911755432868566410\ 6320317915110887823512889054872397837624961587356089873252496511704\ 1001211101014115764831/65708295336486537535701360538173699715891837\ 7881983188646286413263307531464371403518578641262876527441683120912\ 331812206072817489788105475130142272363292*c_1001_4^9 - 4858457486899710440384922337095525732443776377066712296760528811590\ 3884661011245171174732603464487431494099721445654546121589529050772\ 14038509887219511461/1123218723700624573259852316891858114801569876\ 7213387840107460055783034725886690658437241730989342349430480699356\ 099353949962692133130008121882773886552*c_1001_4^8 - 9907693078929458651994101248017040403974135969635511538727780230048\ 7407768388906447285833589522824107997325345791991309613566010040327\ 246569098045294947185/985624430047298063035520408072605495738377566\ 8229747829694296198949612971965571052778679618943147911625246813684\ 97718309109226234682158212695213408544938*c_1001_4^7 + 1004021824720319871229520437462140997546210015232033492845921778107\ 6336299557107492859221925097359536416332148250841102988609304569361\ 3621229341351075497355/19712488600945961260710408161452109914767551\ 3364594956593885923978992259439311421055573592378862958232504936273\ 6995436618218452469364316425390426817089876*c_1001_4^6 - 1431780692826156491417715794631175567724719488771686911708592522934\ 4747061286017586853371934163164591413589589223345366476444903170390\ 561197930936415645916/492812215023649031517760204036302747869188783\ 4114873914847148099474806485982785526389339809471573955812623406842\ 48859154554613117341079106347606704272469*c_1001_4^5 - 1990336091120672028531251040879545596625584096350940572902244168758\ 4877699661620057655251056224634029723282000317334423282043959520359\ 295289253047803897781/492812215023649031517760204036302747869188783\ 4114873914847148099474806485982785526389339809471573955812623406842\ 48859154554613117341079106347606704272469*c_1001_4^4 + 1771541662208717902161833548907548868513739310863758849316764314475\ 3193763432444418135012483537501635048764689046003215269974647555081\ 621297523299263411607/131416590672973075071402721076347399431783675\ 5763966377292572826526615062928742807037157282525753054883366241824\ 663624412145634979576210950260284544726584*c_1001_4^3 + 3260513583090696118321044055588291249310751859665174233660289177772\ 9542492127868854729425573798781519371130683417223193987655461939205\ 265991530024034893703/394249772018919225214208163229042198295351026\ 7291899131877718479579845188786228421111471847577259164650098725473\ 990873236436904938728632850780853634179752*c_1001_4^2 + 2837357951423138537241127643523109950360974881775535385377482143089\ 2494714762108631800979932283733270973011791204555088294498824539335\ 4108758731836202798/49281221502364903151776020403630274786918878341\ 1487391484714809947480648598278552638933980947157395581262340684248\ 859154554613117341079106347606704272469*c_1001_4 - 2263100089280052396369923174025739746899452374589490136663888154605\ 7135193016272876291628834945080258176646406603392329633181079726144\ 1379021859972828259/13141659067297307507140272107634739943178367557\ 6396637729257282652661506292874280703715728252575305488336624182466\ 3624412145634979576210950260284544726584, c_0101_1 + 322479179631701282050609164276033059798280921268486491549132\ 7902373838126866713277253855086331969816677770554686185961310924251\ 838921703602385165580435842251/486898468443365243139547081587867114\ 8947585180105495427868982322281108808150992100072667731757915068342\ 87192596037872844699957759932986157071435423821199372*c_1001_4^37 - 1033118007573198662423603858531780805819776959030307138512984464601\ 8282077902301864217529643508565032637692414879435397496140682124026\ 77932380667105413488745/3245989789622434954263647210585780765965056\ 7867369969519126548815207392054339947333817784878386100455619146173\ 0691915229799971839955324104714290282547466248*c_1001_4^36 + 1366722815991907190899099989143162065462029114452934855995693417798\ 4134468231223586026313746140264180195248168322776115939269265726750\ 7309926551626644047556417/97379693688673048627909416317573422978951\ 7036021099085573796464456221761630198420014533546351583013668574385\ 192075745689399915519865972314142870847642398744*c_1001_4^35 - 3592766788573467989256952718664372791449728825909820228000270621730\ 7553542510114335536872663239828469467271489013927990126032232404122\ 285843294759290763225699/324598978962243495426364721058578076596505\ 6786736996951912654881520739205433994733381778487838610045561914617\ 30691915229799971839955324104714290282547466248*c_1001_4^34 + 1511184780913827004816372226373040308556630225166513634155742542930\ 5566864155522342530844647110346792379561191708278525196609798457669\ 03438259800136465521413205/9737969368867304862790941631757342297895\ 1703602109908557379646445622176163019842001453354635158301366857438\ 5192075745689399915519865972314142870847642398744*c_1001_4^33 - 6781550874844011585662080326080838856282882365894955369296382483116\ 7432468725672125593650255022866489233671855352924735073473348275525\ 4154344215702843762022599/48689846844336524313954708158786711489475\ 8518010549542786898232228110880815099210007266773175791506834287192\ 596037872844699957759932986157071435423821199372*c_1001_4^32 + 1034922567080202066929814253765237778099103142896183625559839005779\ 9138698051759472837623854151876394223809136764033276533665011661903\ 618606365648374174401319541/973796936886730486279094163175734229789\ 5170360210990855737964644562217616301984200145335463515830136685743\ 85192075745689399915519865972314142870847642398744*c_1001_4^31 - 2418509739384616201318798316264311854294631609604552789893111391635\ 0413289718823480062158755256642195381150858415151050325270953815024\ 11935620495499751916531007/2434492342216826215697735407939335574473\ 7925900527477139344911611405544040754960500363338658789575341714359\ 6298018936422349978879966493078535717711910599686*c_1001_4^30 + 1221811200137267443076874528534202145455054302191876521157535473777\ 6490760219790017328554672948746926916665248081621004425344822509211\ 326973122442023355626377631/243449234221682621569773540793933557447\ 3792590052747713934491161140554404075496050036333865878957534171435\ 96298018936422349978879966493078535717711910599686*c_1001_4^29 - 6957582993259562644730169073807019409497533430276263935916770150743\ 7452178244714257087101299282251596305656752230186215975758902636310\ 02891745452552762836381739/1622994894811217477131823605292890382982\ 5283933684984759563274407603696027169973666908892439193050227809573\ 0865345957614899985919977662052357145141273733124*c_1001_4^28 + 4077170471689852759211560903304141447734777144104259229681572451497\ 6603610098533741020892551955993064693654880499047636991807071156393\ 604051200992545590013874541/243449234221682621569773540793933557447\ 3792590052747713934491161140554404075496050036333865878957534171435\ 96298018936422349978879966493078535717711910599686*c_1001_4^27 - 1574713528832972032884675019745106385166831893618752897620739547707\ 8270164313011583314857778870449771702457939206780605916009103924589\ 32667791448359830130062439/1281311759061487481946176530494387144459\ 8908368698672178602585058634496863555242368612283504626092285112820\ 857790470338018419941050868056765037774311084194*c_1001_4^26 + 1342310300341272314722761381159373992271449243643218049275512949061\ 2943173708651200387297535768923135947617663292155100015633710907946\ 9386242501810711013034864905/32459897896224349542636472105857807659\ 6505678673699695191265488152073920543399473338177848783861004556191\ 461730691915229799971839955324104714290282547466248*c_1001_4^25 - 1406934017249146061834024088923024196701982023739010382310224094321\ 5677406541262916091088375042219377205188923678939219518595281767498\ 67073655175625843946259549/5694718929162166586427451246641720642043\ 9592749771876349344822482819986060245521638276815576115965711612537\ 14573542372452631084911496914117794566360481864*c_1001_4^24 + 2485410196245659410324855363489188815023117925319002686518694269018\ 6327776593223302667914798737882507856713802801712178708963139544779\ 3512775660466556205961994299/32459897896224349542636472105857807659\ 6505678673699695191265488152073920543399473338177848783861004556191\ 461730691915229799971839955324104714290282547466248*c_1001_4^23 - 1635030871797946596090843184412318022702358186769886584297878089413\ 5039214253825987430746630715929475915515162805678441427452715343530\ 5232761468567080420029546189/48689846844336524313954708158786711489\ 4758518010549542786898232228110880815099210007266773175791506834287\ 192596037872844699957759932986157071435423821199372*c_1001_4^22 + 2578453581291463865975474807105511894125462366286765584125761363787\ 6010613639477382044245161666326864256723763687134896118866662892640\ 4330425631119347752301688679/24344923422168262156977354079393355744\ 7379259005274771393449116114055440407549605003633386587895753417143\ 596298018936422349978879966493078535717711910599686*c_1001_4^21 - 2739956739466651155708087176942341106999942909741870977161576225244\ 6864725435894427084935412378395003039190500219834770958471376260685\ 1827266892386574179377078303/97379693688673048627909416317573422978\ 9517036021099085573796464456221761630198420014533546351583013668574\ 385192075745689399915519865972314142870847642398744*c_1001_4^20 + 1315913552366158931945163324432411040598722237194794930205409786112\ 7327948923446235252774733470146805401276646672941177639940407302137\ 9090023556171145869492158316/12172461711084131078488677039696677872\ 3689629502637385696724558057027720203774802501816693293947876708571\ 798149009468211174989439983246539267858855955299843*c_1001_4^19 - 3469337082538647621334534350526943044231570996147089797220242003115\ 0175142850681659891517936100276563856415540557116575165874967479175\ 35228073926243392006261387/4057487237028043692829559013232225957456\ 3209834212461898908186019009240067924934167272231097982625569523932\ 716336489403724996479994415513089286285318433281*c_1001_4^18 + 4143107945694550541086475547812983253850956014329757399598693097189\ 8773224852920641048680975388537416402443426046259505645619126027709\ 535606222924020569463716749/512524703624594992778470612197754857783\ 9563347479468871441034023453798745422096947444913401850436914045128\ 3431161881352073679764203472227060151097244336776*c_1001_4^17 + 2226803029718799772776949024693074248090823064637831932990790024906\ 7568126883389730199977493089559175989207209964168923072765998949227\ 472027365434028109566965125/324598978962243495426364721058578076596\ 5056786736996951912654881520739205433994733381778487838610045561914\ 61730691915229799971839955324104714290282547466248*c_1001_4^16 + 4172498594315725284897356276113509414625851964331684396167572962480\ 4987094706254409723471412060314461792929591622976522018186459817323\ 6060671461784722984143625937/97379693688673048627909416317573422978\ 9517036021099085573796464456221761630198420014533546351583013668574\ 385192075745689399915519865972314142870847642398744*c_1001_4^15 + 8483788470745128368047874309346514892237430838590964880296857498736\ 3841038507368510895655335889953578565085338615984996646711178166721\ 257720159468201495839803989/973796936886730486279094163175734229789\ 5170360210990855737964644562217616301984200145335463515830136685743\ 85192075745689399915519865972314142870847642398744*c_1001_4^14 + 1919948035555165759308577232610711631925629562555739478011113680881\ 7263605078281215267007806683741001479143424741060137729649606879187\ 491389034922498367182011978/121724617110841310784886770396966778723\ 6896295026373856967245580570277202037748025018166932939478767085717\ 98149009468211174989439983246539267858855955299843*c_1001_4^13 + 4440896596531618928369757752520324067997222626064055171920870476183\ 3872063978837112458760914713350356651954412024297532877281491615409\ 616396784813198704403104421/973796936886730486279094163175734229789\ 5170360210990855737964644562217616301984200145335463515830136685743\ 85192075745689399915519865972314142870847642398744*c_1001_4^12 + 3320207150682759152060837448584079447368843707623650665636618797901\ 2193937351520505604727547673530682349671681328221861724576070000983\ 417417645732679354449275251/973796936886730486279094163175734229789\ 5170360210990855737964644562217616301984200145335463515830136685743\ 85192075745689399915519865972314142870847642398744*c_1001_4^11 + 3363692212136994345301856585335116476944675999872563866660678727367\ 4369418249366441500885703296861367264536038786490993927832333904069\ 37663469400786469450640231/2434492342216826215697735407939335574473\ 7925900527477139344911611405544040754960500363338658789575341714359\ 6298018936422349978879966493078535717711910599686*c_1001_4^10 + 5147914641587444079958952617102119460512236799454110065101539672767\ 3071387033482269680696849092131021952045341625121803324656172357826\ 0941354795282291507165001/16229948948112174771318236052928903829825\ 2839336849847595632744076036960271699736669088924391930502278095730\ 865345957614899985919977662052357145141273733124*c_1001_4^9 + 7001370307628854030792011494399043350183591246436742321394289245839\ 6131480343043411283720408474479378556983231041811500943328161290745\ 12098387285181186203879/4508319152253381880921732236924695508284801\ 0926902735443231317798899155631027704630302478997758472855026591907\ 04054378191666275554935057009920698368714809*c_1001_4^8 - 8995728541969764837349176765398040559513456862450699692116427744310\ 9712572292843629940313295352617471089258270510393875082416907281554\ 7724635993299776628872667/97379693688673048627909416317573422978951\ 7036021099085573796464456221761630198420014533546351583013668574385\ 192075745689399915519865972314142870847642398744*c_1001_4^7 + 2351766845462917717080062974442762417739741045454741684796472117872\ 7116732480436093651689911090843107823837928837718359957621502865040\ 4613833790313107790769889/97379693688673048627909416317573422978951\ 7036021099085573796464456221761630198420014533546351583013668574385\ 192075745689399915519865972314142870847642398744*c_1001_4^6 + 2096176246910750212953001880108483809893890672588254677196733730025\ 2858895631314480934330310960752857018108839784437198044029163576063\ 709399918974551563935305/973796936886730486279094163175734229789517\ 0360210990855737964644562217616301984200145335463515830136685743851\ 92075745689399915519865972314142870847642398744*c_1001_4^5 - 2464705418823241250577110175050833338079482273576251062086380444772\ 8862812041237551383226399898230269026632477622682206134383611003696\ 7704809605587408659798439/97379693688673048627909416317573422978951\ 7036021099085573796464456221761630198420014533546351583013668574385\ 192075745689399915519865972314142870847642398744*c_1001_4^4 + 1015064466196031159171045981648218695733235269556766093881972502523\ 0728082424361485232137545581233141923176930804972606420545332945403\ 948466291086042129108971/324598978962243495426364721058578076596505\ 6786736996951912654881520739205433994733381778487838610045561914617\ 30691915229799971839955324104714290282547466248*c_1001_4^3 + 2626161921453355405749595491660918853911736788122936076405585092593\ 3395139719066939571139037066324192902218816401988595827337543675087\ 207578912900486738801367/486898468443365243139547081587867114894758\ 5180105495427868982322281108808150992100072667731757915068342871925\ 96037872844699957759932986157071435423821199372*c_1001_4^2 + 3569153634451886063469828050781302511049646722774678715124510350228\ 4162232644671363152921543096695213309474078210638703794220601889236\ 99732049178024369940991/9737969368867304862790941631757342297895170\ 3602109908557379646445622176163019842001453354635158301366857438519\ 2075745689399915519865972314142870847642398744*c_1001_4 - 7717714623531684389275837613353476067010293574022639407994639868121\ 1336267831911721514532699404665319849285194852109413944950377097198\ 570159384694918316011/324598978962243495426364721058578076596505678\ 6736996951912654881520739205433994733381778487838610045561914617306\ 91915229799971839955324104714290282547466248, c_0101_10 - 84903608362888924438689194503701262157338053420831322256902\ 3437418373830110299347277383938838359868866754654188578909053029209\ 7984010578967385148013366965689/48689846844336524313954708158786711\ 4894758518010549542786898232228110880815099210007266773175791506834\ 287192596037872844699957759932986157071435423821199372*c_1001_4^37 + 3712342573545454435154118776070905268067119343546264527832680235270\ 2123913465685627215881614191804314781387364333794687818835582963374\ 69716652495344887974791/3245989789622434954263647210585780765965056\ 7867369969519126548815207392054339947333817784878386100455619146173\ 0691915229799971839955324104714290282547466248*c_1001_4^36 - 3619350775079019398192567573278834964541562585908714370834879937618\ 8674373700500574985551320372141942116742021315723679940687073403404\ 1258503958495016139036559/97379693688673048627909416317573422978951\ 7036021099085573796464456221761630198420014533546351583013668574385\ 192075745689399915519865972314142870847642398744*c_1001_4^35 + 1158098519647139514043077167835190165494218907965111776545466616898\ 1586280047304738560399725705063915896480897349151424766282455117164\ 1290329213710739611828461/32459897896224349542636472105857807659650\ 5678673699695191265488152073920543399473338177848783861004556191461\ 730691915229799971839955324104714290282547466248*c_1001_4^34 - 4042795815515409867336533769181475699124752759023511280628645367348\ 4536255932673970438715443134184059315051660610996875642233506269736\ 87280256044920323409209843/9737969368867304862790941631757342297895\ 1703602109908557379646445622176163019842001453354635158301366857438\ 5192075745689399915519865972314142870847642398744*c_1001_4^33 + 2142476214839767847650766645071541899537414477813505996643262109433\ 1189933368391699971790668993286248245308895539323234857508898989292\ 21184081473794727694534449/4868984684433652431395470815878671148947\ 5851801054954278689823222811088081509921000726677317579150683428719\ 2596037872844699957759932986157071435423821199372*c_1001_4^32 - 2803587395590888398153256425994675887003582297430622756320194943707\ 8279637241154428873577687979972499843144324003080304445032710975189\ 171738299019652997582324627/973796936886730486279094163175734229789\ 5170360210990855737964644562217616301984200145335463515830136685743\ 85192075745689399915519865972314142870847642398744*c_1001_4^31 + 7611798634298983890869415636410793940949377560631527463826335869238\ 3273091846646727403479397638682100778307397325609268606541329734569\ 66143185444118191884062429/2434492342216826215697735407939335574473\ 7925900527477139344911611405544040754960500363338658789575341714359\ 6298018936422349978879966493078535717711910599686*c_1001_4^30 - 3356931550790292491968111605606515976861753480588855406942229385576\ 9260675127821280253848005231977461769262647101652951360247291826663\ 591314576928327593620364393/243449234221682621569773540793933557447\ 3792590052747713934491161140554404075496050036333865878957534171435\ 96298018936422349978879966493078535717711910599686*c_1001_4^29 + 2231400387534565985065682864856091260817240805011737772156293792047\ 0970849023803636758716503321771273371843986586817580635639637485423\ 880013815508979319304224809/162299489481121747713182360529289038298\ 2528393368498475956327440760369602716997366690889243919305022780957\ 30865345957614899985919977662052357145141273733124*c_1001_4^28 - 1135462111612382605696132831065091053754241418676960138576444867399\ 6274313881645204515478963058200956739616425281633841571473512283132\ 4656294954715424332192727907/24344923422168262156977354079393355744\ 7379259005274771393449116114055440407549605003633386587895753417143\ 596298018936422349978879966493078535717711910599686*c_1001_4^27 + 5219553664160704092133809649225075554522153012903345519598143927946\ 0513271855592341021642384663172728749794418961806717719855430471323\ 53914054539843616583208451/1281311759061487481946176530494387144459\ 8908368698672178602585058634496863555242368612283504626092285112820\ 857790470338018419941050868056765037774311084194*c_1001_4^26 - 3781482454646123219222356708728361353153978260645812810241228219765\ 3879726995785342092006012804066818757220534440069340562773704010636\ 3055164654082480029865116319/32459897896224349542636472105857807659\ 6505678673699695191265488152073920543399473338177848783861004556191\ 461730691915229799971839955324104714290282547466248*c_1001_4^25 + 4903192189301503902041124569183070863800484142836955450718458175115\ 6297815128239035506653508836199037990518605165387145564625796193673\ 12766944238036022471667027/5694718929162166586427451246641720642043\ 9592749771876349344822482819986060245521638276815576115965711612537\ 14573542372452631084911496914117794566360481864*c_1001_4^24 - 7073628783435279986983832942929757503705818689517025245228206290609\ 4345601765967763943620195644617182443291997535250622811441879121704\ 8056755936324940226582835317/32459897896224349542636472105857807659\ 6505678673699695191265488152073920543399473338177848783861004556191\ 461730691915229799971839955324104714290282547466248*c_1001_4^23 + 6234582735699670816186764067961515793325906431611906108079411156381\ 3971639084794710091818794187716641201812036571718458773701585192969\ 4471192400267544717714531247/48689846844336524313954708158786711489\ 4758518010549542786898232228110880815099210007266773175791506834287\ 192596037872844699957759932986157071435423821199372*c_1001_4^22 - 7392315098771224692060116743988208259847072803717109794280635520214\ 6860701933350965925991801954115175125218180065459122014249632755422\ 9546925692514031678390617093/24344923422168262156977354079393355744\ 7379259005274771393449116114055440407549605003633386587895753417143\ 596298018936422349978879966493078535717711910599686*c_1001_4^21 + 1262859261749180848846703764498421405226595823881741472223614309563\ 8620049818833376439639857323919928188844416435490707330724680835470\ 68453031705949076804596479273/9737969368867304862790941631757342297\ 8951703602109908557379646445622176163019842001453354635158301366857\ 4385192075745689399915519865972314142870847642398744*c_1001_4^20 - 3781375390866982820340932430968587121738425023861225817243799168085\ 4645255686359743542338882220319224027270268722940498329677318850578\ 5006038758470633980724230218/12172461711084131078488677039696677872\ 3689629502637385696724558057027720203774802501816693293947876708571\ 798149009468211174989439983246539267858855955299843*c_1001_4^19 + 3238555953076204877126137456422333829128504257358894288609127691817\ 2061832933086671689930477174174263482797661946185956156877322937335\ 460033302091711062800409227/405748723702804369282955901323222595745\ 6320983421246189890818601900924006792493416727223109798262556952393\ 2716336489403724996479994415513089286285318433281*c_1001_4^18 - 1179515319047803743679668826286645441150997211725326905333559993841\ 7186892322104975489204930641257375647033596600659748622800160115823\ 8987084495310634108131290755/51252470362459499277847061219775485778\ 3956334747946887144103402345379874542209694744491340185043691404512\ 83431161881352073679764203472227060151097244336776*c_1001_4^17 + 8009968957793794239443612206167444725671488492443020854798873942390\ 0252906297205053414980500667014723999829306572698334497647547820709\ 825856883114648670496752221/324598978962243495426364721058578076596\ 5056786736996951912654881520739205433994733381778487838610045561914\ 61730691915229799971839955324104714290282547466248*c_1001_4^16 - 1163239885937696084324046897195649093758504567765832649378421051628\ 0683945282156768012782519543869246506231563029851819146947785724651\ 43225216138413378404116592847/9737969368867304862790941631757342297\ 8951703602109908557379646445622176163019842001453354635158301366857\ 4385192075745689399915519865972314142870847642398744*c_1001_4^15 - 5804091873237121978999738245619032591638435040867557319384680477554\ 4937453845538041066337308615117009999347074804523454970149676736969\ 49778329594165531475247459/9737969368867304862790941631757342297895\ 1703602109908557379646445622176163019842001453354635158301366857438\ 5192075745689399915519865972314142870847642398744*c_1001_4^14 - 5174121877168015072462745566698782286121356944018654733952001692227\ 1371521563563590272502283525395296364486529548182380293562616241425\ 438899834362359740838663511/121724617110841310784886770396966778723\ 6896295026373856967245580570277202037748025018166932939478767085717\ 98149009468211174989439983246539267858855955299843*c_1001_4^13 - 3915336180119378521578206040913355009727680928712980463945131313079\ 2600494331499810061999923993867161519297573619341869405272419576856\ 781408568741546575758462083/973796936886730486279094163175734229789\ 5170360210990855737964644562217616301984200145335463515830136685743\ 85192075745689399915519865972314142870847642398744*c_1001_4^12 - 8384012722855009731313553801121050407902750160469103864504115758909\ 2098554945558744963402351199942248549435571200024467051432806000131\ 246463541465180522669892253/973796936886730486279094163175734229789\ 5170360210990855737964644562217616301984200145335463515830136685743\ 85192075745689399915519865972314142870847642398744*c_1001_4^11 - 4926827758808529461179623909250611932639715401098975620991597802401\ 7456359701056248849784423656296605501794143965146141851709060560999\ 36312979813653208920083639/2434492342216826215697735407939335574473\ 7925900527477139344911611405544040754960500363338658789575341714359\ 6298018936422349978879966493078535717711910599686*c_1001_4^10 - 8719704957383240291692813825129531831107854880011596511261161949337\ 7803330081208385532799886124436118348771459451927330019598252175168\ 7610654252821441982874235/16229948948112174771318236052928903829825\ 2839336849847595632744076036960271699736669088924391930502278095730\ 865345957614899985919977662052357145141273733124*c_1001_4^9 - 1478842731709125616902056813853256841559377997104590488655309512442\ 9969397580024560696734645654101141383403474835613827746794399748766\ 570137927616924604436758/450831915225338188092173223692469550828480\ 1092690273544323131779889915563102770463030247899775847285502659190\ 704054378191666275554935057009920698368714809*c_1001_4^8 + 2925334442644513207942057613427798307954907262837349948862746752015\ 3462731813618826071469411613541628120349987661667911260504446204162\ 34176966480650760332081333/9737969368867304862790941631757342297895\ 1703602109908557379646445622176163019842001453354635158301366857438\ 5192075745689399915519865972314142870847642398744*c_1001_4^7 - 1226762864401560484020157851962652658327258809285234718565925064211\ 7267070440468389880580630050199236270138741562621442598540614299673\ 57076390038056929402014887/9737969368867304862790941631757342297895\ 1703602109908557379646445622176163019842001453354635158301366857438\ 5192075745689399915519865972314142870847642398744*c_1001_4^6 + 1758189399643278925239526659209282479441416210113442625469422944471\ 2038280737711731656228746477522430053222837021391780434969196174926\ 9468217925686746552814825/97379693688673048627909416317573422978951\ 7036021099085573796464456221761630198420014533546351583013668574385\ 192075745689399915519865972314142870847642398744*c_1001_4^5 + 5856899918833227201721721352992381502811847605716828670991431824063\ 4206961961061864285503639737985488428553448669536106928892869381408\ 9311471004373971525897505/97379693688673048627909416317573422978951\ 7036021099085573796464456221761630198420014533546351583013668574385\ 192075745689399915519865972314142870847642398744*c_1001_4^4 - 6155491362830488456578230912090365997889376044577022352029027472212\ 4564582380660876278176580520915953451446736237309320508445083638534\ 875577337342390745686941/324598978962243495426364721058578076596505\ 6786736996951912654881520739205433994733381778487838610045561914617\ 30691915229799971839955324104714290282547466248*c_1001_4^3 - 4912140465835903214043799749993569081410400825319010284122798932383\ 6707273568046622152811081888851661423324259244750246718624041190813\ 098345527460169628780881/486898468443365243139547081587867114894758\ 5180105495427868982322281108808150992100072667731757915068342871925\ 96037872844699957759932986157071435423821199372*c_1001_4^2 + 1008687153916857024240134932948159858186227441383438606540003889872\ 0512816193967780260232896314484522045547890003380661073050171726862\ 87726233009104229117575/9737969368867304862790941631757342297895170\ 3602109908557379646445622176163019842001453354635158301366857438519\ 2075745689399915519865972314142870847642398744*c_1001_4 - 2606455762026248840541124380868590655998489650037067703089338315899\ 0484138202247039769088203533615132084355243597255280812860376655966\ 9497399540769863670531/32459897896224349542636472105857807659650567\ 8673699695191265488152073920543399473338177848783861004556191461730\ 691915229799971839955324104714290282547466248, c_0101_11 + 84903608362888924438689194503701262157338053420831322256902\ 3437418373830110299347277383938838359868866754654188578909053029209\ 7984010578967385148013366965689/48689846844336524313954708158786711\ 4894758518010549542786898232228110880815099210007266773175791506834\ 287192596037872844699957759932986157071435423821199372*c_1001_4^37 - 3712342573545454435154118776070905268067119343546264527832680235270\ 2123913465685627215881614191804314781387364333794687818835582963374\ 69716652495344887974791/3245989789622434954263647210585780765965056\ 7867369969519126548815207392054339947333817784878386100455619146173\ 0691915229799971839955324104714290282547466248*c_1001_4^36 + 3619350775079019398192567573278834964541562585908714370834879937618\ 8674373700500574985551320372141942116742021315723679940687073403404\ 1258503958495016139036559/97379693688673048627909416317573422978951\ 7036021099085573796464456221761630198420014533546351583013668574385\ 192075745689399915519865972314142870847642398744*c_1001_4^35 - 1158098519647139514043077167835190165494218907965111776545466616898\ 1586280047304738560399725705063915896480897349151424766282455117164\ 1290329213710739611828461/32459897896224349542636472105857807659650\ 5678673699695191265488152073920543399473338177848783861004556191461\ 730691915229799971839955324104714290282547466248*c_1001_4^34 + 4042795815515409867336533769181475699124752759023511280628645367348\ 4536255932673970438715443134184059315051660610996875642233506269736\ 87280256044920323409209843/9737969368867304862790941631757342297895\ 1703602109908557379646445622176163019842001453354635158301366857438\ 5192075745689399915519865972314142870847642398744*c_1001_4^33 - 2142476214839767847650766645071541899537414477813505996643262109433\ 1189933368391699971790668993286248245308895539323234857508898989292\ 21184081473794727694534449/4868984684433652431395470815878671148947\ 5851801054954278689823222811088081509921000726677317579150683428719\ 2596037872844699957759932986157071435423821199372*c_1001_4^32 + 2803587395590888398153256425994675887003582297430622756320194943707\ 8279637241154428873577687979972499843144324003080304445032710975189\ 171738299019652997582324627/973796936886730486279094163175734229789\ 5170360210990855737964644562217616301984200145335463515830136685743\ 85192075745689399915519865972314142870847642398744*c_1001_4^31 - 7611798634298983890869415636410793940949377560631527463826335869238\ 3273091846646727403479397638682100778307397325609268606541329734569\ 66143185444118191884062429/2434492342216826215697735407939335574473\ 7925900527477139344911611405544040754960500363338658789575341714359\ 6298018936422349978879966493078535717711910599686*c_1001_4^30 + 3356931550790292491968111605606515976861753480588855406942229385576\ 9260675127821280253848005231977461769262647101652951360247291826663\ 591314576928327593620364393/243449234221682621569773540793933557447\ 3792590052747713934491161140554404075496050036333865878957534171435\ 96298018936422349978879966493078535717711910599686*c_1001_4^29 - 2231400387534565985065682864856091260817240805011737772156293792047\ 0970849023803636758716503321771273371843986586817580635639637485423\ 880013815508979319304224809/162299489481121747713182360529289038298\ 2528393368498475956327440760369602716997366690889243919305022780957\ 30865345957614899985919977662052357145141273733124*c_1001_4^28 + 1135462111612382605696132831065091053754241418676960138576444867399\ 6274313881645204515478963058200956739616425281633841571473512283132\ 4656294954715424332192727907/24344923422168262156977354079393355744\ 7379259005274771393449116114055440407549605003633386587895753417143\ 596298018936422349978879966493078535717711910599686*c_1001_4^27 - 5219553664160704092133809649225075554522153012903345519598143927946\ 0513271855592341021642384663172728749794418961806717719855430471323\ 53914054539843616583208451/1281311759061487481946176530494387144459\ 8908368698672178602585058634496863555242368612283504626092285112820\ 857790470338018419941050868056765037774311084194*c_1001_4^26 + 3781482454646123219222356708728361353153978260645812810241228219765\ 3879726995785342092006012804066818757220534440069340562773704010636\ 3055164654082480029865116319/32459897896224349542636472105857807659\ 6505678673699695191265488152073920543399473338177848783861004556191\ 461730691915229799971839955324104714290282547466248*c_1001_4^25 - 4903192189301503902041124569183070863800484142836955450718458175115\ 6297815128239035506653508836199037990518605165387145564625796193673\ 12766944238036022471667027/5694718929162166586427451246641720642043\ 9592749771876349344822482819986060245521638276815576115965711612537\ 14573542372452631084911496914117794566360481864*c_1001_4^24 + 7073628783435279986983832942929757503705818689517025245228206290609\ 4345601765967763943620195644617182443291997535250622811441879121704\ 8056755936324940226582835317/32459897896224349542636472105857807659\ 6505678673699695191265488152073920543399473338177848783861004556191\ 461730691915229799971839955324104714290282547466248*c_1001_4^23 - 6234582735699670816186764067961515793325906431611906108079411156381\ 3971639084794710091818794187716641201812036571718458773701585192969\ 4471192400267544717714531247/48689846844336524313954708158786711489\ 4758518010549542786898232228110880815099210007266773175791506834287\ 192596037872844699957759932986157071435423821199372*c_1001_4^22 + 7392315098771224692060116743988208259847072803717109794280635520214\ 6860701933350965925991801954115175125218180065459122014249632755422\ 9546925692514031678390617093/24344923422168262156977354079393355744\ 7379259005274771393449116114055440407549605003633386587895753417143\ 596298018936422349978879966493078535717711910599686*c_1001_4^21 - 1262859261749180848846703764498421405226595823881741472223614309563\ 8620049818833376439639857323919928188844416435490707330724680835470\ 68453031705949076804596479273/9737969368867304862790941631757342297\ 8951703602109908557379646445622176163019842001453354635158301366857\ 4385192075745689399915519865972314142870847642398744*c_1001_4^20 + 3781375390866982820340932430968587121738425023861225817243799168085\ 4645255686359743542338882220319224027270268722940498329677318850578\ 5006038758470633980724230218/12172461711084131078488677039696677872\ 3689629502637385696724558057027720203774802501816693293947876708571\ 798149009468211174989439983246539267858855955299843*c_1001_4^19 - 3238555953076204877126137456422333829128504257358894288609127691817\ 2061832933086671689930477174174263482797661946185956156877322937335\ 460033302091711062800409227/405748723702804369282955901323222595745\ 6320983421246189890818601900924006792493416727223109798262556952393\ 2716336489403724996479994415513089286285318433281*c_1001_4^18 + 1179515319047803743679668826286645441150997211725326905333559993841\ 7186892322104975489204930641257375647033596600659748622800160115823\ 8987084495310634108131290755/51252470362459499277847061219775485778\ 3956334747946887144103402345379874542209694744491340185043691404512\ 83431161881352073679764203472227060151097244336776*c_1001_4^17 - 8009968957793794239443612206167444725671488492443020854798873942390\ 0252906297205053414980500667014723999829306572698334497647547820709\ 825856883114648670496752221/324598978962243495426364721058578076596\ 5056786736996951912654881520739205433994733381778487838610045561914\ 61730691915229799971839955324104714290282547466248*c_1001_4^16 + 1163239885937696084324046897195649093758504567765832649378421051628\ 0683945282156768012782519543869246506231563029851819146947785724651\ 43225216138413378404116592847/9737969368867304862790941631757342297\ 8951703602109908557379646445622176163019842001453354635158301366857\ 4385192075745689399915519865972314142870847642398744*c_1001_4^15 + 5804091873237121978999738245619032591638435040867557319384680477554\ 4937453845538041066337308615117009999347074804523454970149676736969\ 49778329594165531475247459/9737969368867304862790941631757342297895\ 1703602109908557379646445622176163019842001453354635158301366857438\ 5192075745689399915519865972314142870847642398744*c_1001_4^14 + 5174121877168015072462745566698782286121356944018654733952001692227\ 1371521563563590272502283525395296364486529548182380293562616241425\ 438899834362359740838663511/121724617110841310784886770396966778723\ 6896295026373856967245580570277202037748025018166932939478767085717\ 98149009468211174989439983246539267858855955299843*c_1001_4^13 + 3915336180119378521578206040913355009727680928712980463945131313079\ 2600494331499810061999923993867161519297573619341869405272419576856\ 781408568741546575758462083/973796936886730486279094163175734229789\ 5170360210990855737964644562217616301984200145335463515830136685743\ 85192075745689399915519865972314142870847642398744*c_1001_4^12 + 8384012722855009731313553801121050407902750160469103864504115758909\ 2098554945558744963402351199942248549435571200024467051432806000131\ 246463541465180522669892253/973796936886730486279094163175734229789\ 5170360210990855737964644562217616301984200145335463515830136685743\ 85192075745689399915519865972314142870847642398744*c_1001_4^11 + 4926827758808529461179623909250611932639715401098975620991597802401\ 7456359701056248849784423656296605501794143965146141851709060560999\ 36312979813653208920083639/2434492342216826215697735407939335574473\ 7925900527477139344911611405544040754960500363338658789575341714359\ 6298018936422349978879966493078535717711910599686*c_1001_4^10 + 8719704957383240291692813825129531831107854880011596511261161949337\ 7803330081208385532799886124436118348771459451927330019598252175168\ 7610654252821441982874235/16229948948112174771318236052928903829825\ 2839336849847595632744076036960271699736669088924391930502278095730\ 865345957614899985919977662052357145141273733124*c_1001_4^9 + 1478842731709125616902056813853256841559377997104590488655309512442\ 9969397580024560696734645654101141383403474835613827746794399748766\ 570137927616924604436758/450831915225338188092173223692469550828480\ 1092690273544323131779889915563102770463030247899775847285502659190\ 704054378191666275554935057009920698368714809*c_1001_4^8 - 2925334442644513207942057613427798307954907262837349948862746752015\ 3462731813618826071469411613541628120349987661667911260504446204162\ 34176966480650760332081333/9737969368867304862790941631757342297895\ 1703602109908557379646445622176163019842001453354635158301366857438\ 5192075745689399915519865972314142870847642398744*c_1001_4^7 + 1226762864401560484020157851962652658327258809285234718565925064211\ 7267070440468389880580630050199236270138741562621442598540614299673\ 57076390038056929402014887/9737969368867304862790941631757342297895\ 1703602109908557379646445622176163019842001453354635158301366857438\ 5192075745689399915519865972314142870847642398744*c_1001_4^6 - 1758189399643278925239526659209282479441416210113442625469422944471\ 2038280737711731656228746477522430053222837021391780434969196174926\ 9468217925686746552814825/97379693688673048627909416317573422978951\ 7036021099085573796464456221761630198420014533546351583013668574385\ 192075745689399915519865972314142870847642398744*c_1001_4^5 - 5856899918833227201721721352992381502811847605716828670991431824063\ 4206961961061864285503639737985488428553448669536106928892869381408\ 9311471004373971525897505/97379693688673048627909416317573422978951\ 7036021099085573796464456221761630198420014533546351583013668574385\ 192075745689399915519865972314142870847642398744*c_1001_4^4 + 6155491362830488456578230912090365997889376044577022352029027472212\ 4564582380660876278176580520915953451446736237309320508445083638534\ 875577337342390745686941/324598978962243495426364721058578076596505\ 6786736996951912654881520739205433994733381778487838610045561914617\ 30691915229799971839955324104714290282547466248*c_1001_4^3 + 4912140465835903214043799749993569081410400825319010284122798932383\ 6707273568046622152811081888851661423324259244750246718624041190813\ 098345527460169628780881/486898468443365243139547081587867114894758\ 5180105495427868982322281108808150992100072667731757915068342871925\ 96037872844699957759932986157071435423821199372*c_1001_4^2 - 1008687153916857024240134932948159858186227441383438606540003889872\ 0512816193967780260232896314484522045547890003380661073050171726862\ 87726233009104229117575/9737969368867304862790941631757342297895170\ 3602109908557379646445622176163019842001453354635158301366857438519\ 2075745689399915519865972314142870847642398744*c_1001_4 + 2606455762026248840541124380868590655998489650037067703089338315899\ 0484138202247039769088203533615132084355243597255280812860376655966\ 9497399540769863670531/32459897896224349542636472105857807659650567\ 8673699695191265488152073920543399473338177848783861004556191461730\ 691915229799971839955324104714290282547466248, c_0101_2 - 115136009403267323530791796485836052948959122895885608217097\ 4113110583505530787463095861145059816569490144273302129383243049545\ 6570929879753325289470786702623/19475938737734609725581883263514684\ 5957903407204219817114759292891244352326039684002906709270316602733\ 7148770384151491378799831039731944628285741695284797488*c_1001_4^37 + 50284293723764821869900977571216149917522588774310241588195343222\ 4997886832929960176734784664937473807944942318039360054146905921928\ 643870786794238637498355/162299489481121747713182360529289038298252\ 8393368498475956327440760369602716997366690889243919305022780957308\ 65345957614899985919977662052357145141273733124*c_1001_4^36 - 1223153018168042194585740730726519071473302490282402927983632212729\ 4406798841936131193237748207126674050644400096414538424266894767369\ 2885998394941713909403623/97379693688673048627909416317573422978951\ 7036021099085573796464456221761630198420014533546351583013668574385\ 192075745689399915519865972314142870847642398744*c_1001_4^35 + 1694608130754433346189664096518292873463294349722842099835827324367\ 5274653010158964731667176766885218305157149870147584613604486922893\ 555240876521446604684429/162299489481121747713182360529289038298252\ 8393368498475956327440760369602716997366690889243919305022780957308\ 65345957614899985919977662052357145141273733124*c_1001_4^34 - 2714782571855171646915360430909308718766119512070996248608476276352\ 3742646470108591886845523251852528118704054105219548666464370185923\ 98869511266219449090853115/1947593873773460972558188326351468459579\ 0340720421981711475929289124435232603968400290670927031660273371487\ 70384151491378799831039731944628285741695284797488*c_1001_4^33 + 2548142071936453836844448687996803689082624765500150823159776311453\ 0707565353038667033439894636282045136832773018890960273375710883151\ 20585231529815969561367299/1947593873773460972558188326351468459579\ 0340720421981711475929289124435232603968400290670927031660273371487\ 70384151491378799831039731944628285741695284797488*c_1001_4^32 - 1867809261370544855618592736022398328766112659016389397418893210616\ 8423393076143935519344140390907166223970672385375893480507091940741\ 050459543503558356857493019/194759387377346097255818832635146845957\ 9034072042198171147592928912443523260396840029067092703166027337148\ 770384151491378799831039731944628285741695284797488*c_1001_4^31 + 2273650400013664556529639611349973776476142578526553354164817885368\ 3205580775950668592772030713727115998938766998341510118914772079718\ 62874704383120033161366123/2434492342216826215697735407939335574473\ 7925900527477139344911611405544040754960500363338658789575341714359\ 6298018936422349978879966493078535717711910599686*c_1001_4^30 - 4433930008894211329714628699736871985015653961331427076942630234400\ 5763637568217656364136565870566175254377840127289095070201564611451\ 431814185765735905057982093/973796936886730486279094163175734229789\ 5170360210990855737964644562217616301984200145335463515830136685743\ 85192075745689399915519865972314142870847642398744*c_1001_4^29 + 1318918906025744228699360959880967186433893607122192843744740673414\ 2121801608465340366521637406703055945614435322810581009956392031562\ 769960384890350090592289367/324598978962243495426364721058578076596\ 5056786736996951912654881520739205433994733381778487838610045561914\ 61730691915229799971839955324104714290282547466248*c_1001_4^28 - 1488341132750608475572162927323253529085892681844354778525568595788\ 2094130789864761849926862096582960829711877568032000830837862564840\ 8926592005289273061215681911/97379693688673048627909416317573422978\ 9517036021099085573796464456221761630198420014533546351583013668574\ 385192075745689399915519865972314142870847642398744*c_1001_4^27 + 1210133868360878385955110871766554094428147919173153624867720357803\ 3954833201319951353867972359993409694278804707668959625354195681020\ 722502460863032815764668747/102504940724918998555694122439550971556\ 7912669495893774288206804690759749084419389488982680370087382809025\ 66862323762704147359528406944454120302194488673552*c_1001_4^26 - 1232259678983863958171646941048460840621647914707737528772182590009\ 4770275758395789613723346378804092121988481942879266790620670714064\ 6647605573646490784467458171/32459897896224349542636472105857807659\ 6505678673699695191265488152073920543399473338177848783861004556191\ 461730691915229799971839955324104714290282547466248*c_1001_4^25 + 1378959869316777690847922210945556702780734338348211528200425946832\ 4800557042090015678233279509401366941050027533365507005040856010770\ 77009701554941058802832053/5694718929162166586427451246641720642043\ 9592749771876349344822482819986060245521638276815576115965711612537\ 14573542372452631084911496914117794566360481864*c_1001_4^24 - 4592592034243140164772503408725415561452567279308533746467652032487\ 5358517017934728557736650667954139298777870637414554191508661423721\ 4129897665298262847100960863/64919795792448699085272944211715615319\ 3011357347399390382530976304147841086798946676355697567722009112382\ 923461383830459599943679910648209428580565094932496*c_1001_4^23 + 4156453369515937664823399097768095016726978031561505241446118822190\ 4020674374231688577410624188157677670036917369586763350029143505928\ 135025873932946897625495349/121724617110841310784886770396966778723\ 6896295026373856967245580570277202037748025018166932939478767085717\ 98149009468211174989439983246539267858855955299843*c_1001_4^22 - 1919062778849253943671020850487484583290164412406371429662000791579\ 2879325807702991198098881958505798125921560513911027415638237620529\ 65035468930691167323069272623/1947593873773460972558188326351468459\ 5790340720421981711475929289124435232603968400290670927031660273371\ 48770384151491378799831039731944628285741695284797488*c_1001_4^21 + 6051118602937073959167075771036986671633644904886381758493053834628\ 1318989752356947970704322058380826479915836129359539299941282988211\ 7287665498766219403287579761/19475938737734609725581883263514684595\ 7903407204219817114759292891244352326039684002906709270316602733714\ 8770384151491378799831039731944628285741695284797488*c_1001_4^20 - 9867238273172886148795029949215991414267636079301185207936961961168\ 4460183655131802219885782407578313780257062250028726457861739224274\ 5879754336561772603029259831/97379693688673048627909416317573422978\ 9517036021099085573796464456221761630198420014533546351583013668574\ 385192075745689399915519865972314142870847642398744*c_1001_4^19 + 8962734145330780497765883840977717062279965974463077532614409209052\ 6604190339550431553340524605046763794407277961760844278732548089472\ 521470923770551259175102815/649197957924486990852729442117156153193\ 0113573473993903825309763041478410867989466763556975677220091123829\ 23461383830459599943679910648209428580565094932496*c_1001_4^18 - 1954591487888781445254130548260785702617881660693614496570193510632\ 8187304863069594402545839040873619416851309424314261140449474846382\ 066423921435831887162974389/256262351812297496389235306098877428891\ 9781673739734435720517011726899372711048473722456700925218457022564\ 1715580940676036839882101736113530075548622168388*c_1001_4^17 - 5202843962160838668122929732848117106489906170247697045963970509782\ 3906641440571819237691744344268559986440119430717357277733580312260\ 20760641416104551553066275/3245989789622434954263647210585780765965\ 0567867369969519126548815207392054339947333817784878386100455619146\ 1730691915229799971839955324104714290282547466248*c_1001_4^16 - 3964982909661724109726501380453270914167068081820238893144557580367\ 9049543631755363005047123579119540519474689322511320359753507761149\ 0789698855830303502210055313/97379693688673048627909416317573422978\ 9517036021099085573796464456221761630198420014533546351583013668574\ 385192075745689399915519865972314142870847642398744*c_1001_4^15 - 1072311259996756182321215904424079291131238623422734188879691103552\ 7642460626333039998271499252755898601320539911142375002361660368751\ 4651325880505866487695674373/19475938737734609725581883263514684595\ 7903407204219817114759292891244352326039684002906709270316602733714\ 8770384151491378799831039731944628285741695284797488*c_1001_4^14 - 2940977476205207595118306958645473380675368050390234537068208695162\ 2486488288659415582436106382154146247179315888036340206626117633437\ 2524606735332486184630293497/19475938737734609725581883263514684595\ 7903407204219817114759292891244352326039684002906709270316602733714\ 8770384151491378799831039731944628285741695284797488*c_1001_4^13 - 1610743639970958754071771123688158784641968382325138464141918682556\ 8895284149604933915546874169090635490867872665074278356547572265501\ 473797170593903638662070637/486898468443365243139547081587867114894\ 7585180105495427868982322281108808150992100072667731757915068342871\ 92596037872844699957759932986157071435423821199372*c_1001_4^12 - 6460300524706830343403630779792254829769835803990477758574202569573\ 2866523426962145503513129584363368785684913722417459510096166688041\ 129129986363155470533251017/194759387377346097255818832635146845957\ 9034072042198171147592928912443523260396840029067092703166027337148\ 770384151491378799831039731944628285741695284797488*c_1001_4^11 - 1069047410255455528001416055266735244486966889995969710311415951224\ 5933595006659615424474343804825561238998533323612214050037795681482\ 067254346829823871032551531/973796936886730486279094163175734229789\ 5170360210990855737964644562217616301984200145335463515830136685743\ 85192075745689399915519865972314142870847642398744*c_1001_4^10 - 4950605713430161695673026389530729968762929190230709733731090594778\ 0915189446041406509579089573448973717468535888924573577049854764805\ 1727694853096232551408473/16229948948112174771318236052928903829825\ 2839336849847595632744076036960271699736669088924391930502278095730\ 865345957614899985919977662052357145141273733124*c_1001_4^9 - 1025324332003408480338329156817307419676680508892136020542953404840\ 6010949211519040901589068662830902973987724172653554344073478218192\ 7971243422803389810744339/72133106436054110094747715790795128132556\ 8174830443767091701084782386490096443274084839663964135565680425470\ 51264870051066660408878960912158731173899436944*c_1001_4^8 + 4436994433088331726345988335207252260890156491088947100567604262505\ 4477119180966416792916093851150362910081090836529529515646532793374\ 4022094590018090419184805/48689846844336524313954708158786711489475\ 8518010549542786898232228110880815099210007266773175791506834287192\ 596037872844699957759932986157071435423821199372*c_1001_4^7 - 1404202204152081680124270452499724463907031068251235417769104630308\ 1649147660361397485693296284594209373244274023594861285150990796548\ 7906317233270260890812829/48689846844336524313954708158786711489475\ 8518010549542786898232228110880815099210007266773175791506834287192\ 596037872844699957759932986157071435423821199372*c_1001_4^6 + 2007133544699942367138843952285205623265539950087598020718587271191\ 6654321812584642713165502288011428108382953090314545080111500899078\ 062896648276275152469413/486898468443365243139547081587867114894758\ 5180105495427868982322281108808150992100072667731757915068342871925\ 96037872844699957759932986157071435423821199372*c_1001_4^5 + 2044673433155854610460748343372068214197306914330640505110014559899\ 2183311003380837056611827233078491752330877651898013850761656455730\ 2337045286209932970688653/97379693688673048627909416317573422978951\ 7036021099085573796464456221761630198420014533546351583013668574385\ 192075745689399915519865972314142870847642398744*c_1001_4^4 - 2290414705355924453087352188304215072364727599759485839741609607455\ 7969429973500259655210695071111849833195916862360281383918539137933\ 648527102527251723639929/649197957924486990852729442117156153193011\ 3573473993903825309763041478410867989466763556975677220091123829234\ 61383830459599943679910648209428580565094932496*c_1001_4^3 - 7479050582933741928500068305520401353259323879532674859135968372622\ 8168124252844363092670770251329201586333396128436235115470776537431\ 652741806151121689709277/194759387377346097255818832635146845957903\ 4072042198171147592928912443523260396840029067092703166027337148770\ 384151491378799831039731944628285741695284797488*c_1001_4^2 - 4953786411685838191264420469299858351230404090188335683275823079513\ 9527054698128334085838406696666387069995518084487602804046610805176\ 33178394155255463198601/9737969368867304862790941631757342297895170\ 3602109908557379646445622176163019842001453354635158301366857438519\ 2075745689399915519865972314142870847642398744*c_1001_4 + 2840536807728754895869220589408224026730726952892542533954071329452\ 8023839233014366857881631758011882921762289633649347352591375133109\ 3064336176115025155141/64919795792448699085272944211715615319301135\ 7347399390382530976304147841086798946676355697567722009112382923461\ 383830459599943679910648209428580565094932496, c_0101_4 - 618505061746856886137746404950166812085357542759776435549863\ 0370455609333383429748339984314993836373711465088249958243099470735\ 441746202316516011834257612843/973796936886730486279094163175734229\ 7895170360210990855737964644562217616301984200145335463515830136685\ 74385192075745689399915519865972314142870847642398744*c_1001_4^37 + 5636398026607722471891621733419377559734748847770598962006470317279\ 3038633544357724056685919754597549128109962439469756911336505186353\ 0474979700222526229267/16229948948112174771318236052928903829825283\ 9336849847595632744076036960271699736669088924391930502278095730865\ 345957614899985919977662052357145141273733124*c_1001_4^36 - 3287627053720685631431130949200999980941546921078197826775181694547\ 9690916425184777329889706022207768977099798531756065962218218517928\ 066230146205169745636829/243449234221682621569773540793933557447379\ 2590052747713934491161140554404075496050036333865878957534171435962\ 98018936422349978879966493078535717711910599686*c_1001_4^35 + 1870830639587993822699471349165365605039844481880317383264190107575\ 8615495116208844141372134654823845393497372335760791580101039159144\ 565291466977187555542345/162299489481121747713182360529289038298252\ 8393368498475956327440760369602716997366690889243919305022780957308\ 65345957614899985919977662052357145141273733124*c_1001_4^34 - 1461226389081719093473936514939891124224156283515274953918313471148\ 3046428402787403235490024239857223119558834635263269543850218948855\ 43178518402839922055266897/9737969368867304862790941631757342297895\ 1703602109908557379646445622176163019842001453354635158301366857438\ 5192075745689399915519865972314142870847642398744*c_1001_4^33 + 1402645533527659724898257178266656793887655233049711827118278036211\ 4150069531283269260376392383012503018583660823430841749500293653241\ 09265674184314975256538583/9737969368867304862790941631757342297895\ 1703602109908557379646445622176163019842001453354635158301366857438\ 5192075745689399915519865972314142870847642398744*c_1001_4^32 - 1006933339234262614911452303478592426364824296536471306777217694238\ 6831792539280425632092491630097076284489369834845057366554675078532\ 292958609748742426615201917/973796936886730486279094163175734229789\ 5170360210990855737964644562217616301984200145335463515830136685743\ 85192075745689399915519865972314142870847642398744*c_1001_4^31 + 2501787657140968708953091620814198858602470541231600048345463356118\ 6365922426855003190427660988246862191603140702015431753555373707234\ 75240144542011279274391329/2434492342216826215697735407939335574473\ 7925900527477139344911611405544040754960500363338658789575341714359\ 6298018936422349978879966493078535717711910599686*c_1001_4^30 - 2394637031366090090127352554127463778590796565460574579663018586476\ 6907298552954668092851938384850111470764343809167289467459155067034\ 077420376181875143749141439/486898468443365243139547081587867114894\ 7585180105495427868982322281108808150992100072667731757915068342871\ 92596037872844699957759932986157071435423821199372*c_1001_4^29 + 7275140740201089833793557104950599177471237539154683358758647891707\ 6856029717233695597055745215021850947527888837672495926798558988698\ 43789398004208436146213679/1622994894811217477131823605292890382982\ 5283933684984759563274407603696027169973666908892439193050227809573\ 0865345957614899985919977662052357145141273733124*c_1001_4^28 - 8052091414159587552400132803718467486495069886831628773372895729143\ 4468527141521086334768250357459996218671375868474292554322014453744\ 034024526596484710775519897/486898468443365243139547081587867114894\ 7585180105495427868982322281108808150992100072667731757915068342871\ 92596037872844699957759932986157071435423821199372*c_1001_4^27 + 6706093278612201880100554907473649831491899287661128915126892817242\ 7833171631761639651530925085546256145746752955296566456183558579669\ 91599709191710469620295575/5125247036245949927784706121977548577839\ 5633474794688714410340234537987454220969474449134018504369140451283\ 431161881352073679764203472227060151097244336776*c_1001_4^26 - 3338340084048603592819813084877252782485438432394138153516537072210\ 3641551178386539545181806330762801055807384575540038651342085817159\ 075096542936115294051007027/811497447405608738565911802646445191491\ 2641966842492379781637203801848013584986833454446219596525113904786\ 5432672978807449992959988831026178572570636866562*c_1001_4^25 + 3848401607885725834653393035135414110376577943905755652683864216658\ 5488739164511814604569060217369495841888466339151325930821014157938\ 1941713323447489864075259/14236797322905416466068628116604301605109\ 8981874429690873362056207049965150613804095692038940289914279031342\ 8643385593113157771227874228529448641590120466*c_1001_4^24 - 2491761333833600373493485266306769248393135359222390738279044399349\ 7634410583106509120575635583658397208549953302224713959459124599716\ 2079487925271292538012176625/32459897896224349542636472105857807659\ 6505678673699695191265488152073920543399473338177848783861004556191\ 461730691915229799971839955324104714290282547466248*c_1001_4^23 + 9402584795767693245272830929681876804002820827273841032077565053088\ 2585386299638419534516054576618840266778883974746102472518169456328\ 909577526926193819043043399/243449234221682621569773540793933557447\ 3792590052747713934491161140554404075496050036333865878957534171435\ 96298018936422349978879966493078535717711910599686*c_1001_4^22 - 1042282385759129817337906199224324548962016824061757221663094488595\ 7998875072565290231673289440794812441474992961850250501313024697360\ 24893379095660690935165492279/9737969368867304862790941631757342297\ 8951703602109908557379646445622176163019842001453354635158301366857\ 4385192075745689399915519865972314142870847642398744*c_1001_4^21 + 3520309166247572870911629198818934280459765918309035322087718456663\ 2411452551011644411713219757683220468053411964530651215330402295283\ 4844132736222815822433359839/97379693688673048627909416317573422978\ 9517036021099085573796464456221761630198420014533546351583013668574\ 385192075745689399915519865972314142870847642398744*c_1001_4^20 - 5361650981861534798044385775192509770945056975870295371914043920977\ 9005482184452439004340328131896818514728964364989597146701262005704\ 4208333359001579085341728737/48689846844336524313954708158786711489\ 4758518010549542786898232228110880815099210007266773175791506834287\ 192596037872844699957759932986157071435423821199372*c_1001_4^19 + 5769383957422013208717635994511796370107615126096064586633369408707\ 2509950342023243673209168276923754579408524521280260643901386198311\ 274812131983146682863736187/324598978962243495426364721058578076596\ 5056786736996951912654881520739205433994733381778487838610045561914\ 61730691915229799971839955324104714290282547466248*c_1001_4^18 - 2122462734623050007841081799097151846074587160123651273614258652567\ 3388268540749055811735810689428456492812465631097740137406908956237\ 151616672418603326749522477/256262351812297496389235306098877428891\ 9781673739734435720517011726899372711048473722456700925218457022564\ 1715580940676036839882101736113530075548622168388*c_1001_4^17 + 2330838496611190689666629398679931421198601695356101040560142060013\ 9873754889737859186323225010627205428797335479857245023912663222243\ 9360770518949800630209769/40574872370280436928295590132322259574563\ 2098342124618989081860190092400679249341672722310979826255695239327\ 16336489403724996479994415513089286285318433281*c_1001_4^16 - 5372110646921309734813993231054142085103905057638327628258948270762\ 8202138387210365006590777475089946673154599017008821325401428555802\ 356979530957999893850771473/121724617110841310784886770396966778723\ 6896295026373856967245580570277202037748025018166932939478767085717\ 98149009468211174989439983246539267858855955299843*c_1001_4^15 - 4507844069686340472917538449905781940669551828352857017700829990465\ 5745268091865841025827554442737059840255527406148249029838041748992\ 260660451374095651488223167/973796936886730486279094163175734229789\ 5170360210990855737964644562217616301984200145335463515830136685743\ 85192075745689399915519865972314142870847642398744*c_1001_4^14 - 1590640861591170294371964416924704645623234959444753493172343250013\ 5464578999930683415593959601885082954016240249145804307331173082156\ 4082527716899970940965322293/97379693688673048627909416317573422978\ 9517036021099085573796464456221761630198420014533546351583013668574\ 385192075745689399915519865972314142870847642398744*c_1001_4^13 - 1484019444878488039024153966354729155489330966950487968349940401720\ 9462836633325671698673995567375898420815863671932203150727086756355\ 017208453133451745707075637/486898468443365243139547081587867114894\ 7585180105495427868982322281108808150992100072667731757915068342871\ 92596037872844699957759932986157071435423821199372*c_1001_4^12 - 3493752724464251671927083784873771399758800778999924441865852237511\ 6618020537406962066444422881586647242713511102811041749509677590751\ 531126867339477054321500431/973796936886730486279094163175734229789\ 5170360210990855737964644562217616301984200145335463515830136685743\ 85192075745689399915519865972314142870847642398744*c_1001_4^11 - 5140008837528124644489137891775511678773934693078492767664080759416\ 6260577389986954821388435059202113137606117862168973148745044944143\ 91323015304904564499719841/4868984684433652431395470815878671148947\ 5851801054954278689823222811088081509921000726677317579150683428719\ 2596037872844699957759932986157071435423821199372*c_1001_4^10 - 2708987054832478165250183900625482818493815749475113964502187392617\ 8121694540827338786684632593115323507514124186043001849041187731267\ 7741993736001375952831611/81149744740560873856591180264644519149126\ 4196684249237978163720380184801358498683345444621959652511390478654\ 32672978807449992959988831026178572570636866562*c_1001_4^9 - 5027385227930964724884956501913375100483560944315896855930569199872\ 3942230523512737553891165529943067957998205941619557131427660654848\ 881030332769356304248903/360665532180270550473738578953975640662784\ 0874152218835458505423911932450482216370424198319820677828402127352\ 5632435025533330204439480456079365586949718472*c_1001_4^8 + 4558810517825468765963406229287437615574863395663071412212870233226\ 1953049783399786260705609046970343595349877038106120419190918666760\ 5557882086641689428733615/48689846844336524313954708158786711489475\ 8518010549542786898232228110880815099210007266773175791506834287192\ 596037872844699957759932986157071435423821199372*c_1001_4^7 - 1634159580744544023400236010361478356641937163456637077938516930802\ 3044798954124797562607250429771787137211868771495825151793814996698\ 3381111738186953780408743/48689846844336524313954708158786711489475\ 8518010549542786898232228110880815099210007266773175791506834287192\ 596037872844699957759932986157071435423821199372*c_1001_4^6 + 2004159883441706551835777069090648123519486463899507597722097636966\ 2898420538512411642754662017064971538579506758720850206336958359109\ 293493996835902059858491/486898468443365243139547081587867114894758\ 5180105495427868982322281108808150992100072667731757915068342871925\ 96037872844699957759932986157071435423821199372*c_1001_4^5 + 2661069856967900984219589528503273408948270235893464007196788592663\ 4358523913080623925152572572658334051461494994384669434360496458834\ 644587212622480130831266/121724617110841310784886770396966778723689\ 6295026373856967245580570277202037748025018166932939478767085717981\ 49009468211174989439983246539267858855955299843*c_1001_4^4 - 1352972440909349724213338825440121364449494722163221586311622481577\ 6405303703885489971813834143038323182937052888033094921856174177507\ 508244769515389216140179/324598978962243495426364721058578076596505\ 6786736996951912654881520739205433994733381778487838610045561914617\ 30691915229799971839955324104714290282547466248*c_1001_4^3 - 3995099657484643830254542170320040783455202832371465421184845143772\ 0706605465042471526676125980269422574318434784868671381018714869199\ 706947792926692622310833/973796936886730486279094163175734229789517\ 0360210990855737964644562217616301984200145335463515830136685743851\ 92075745689399915519865972314142870847642398744*c_1001_4^2 - 5758074168977197384145517618645810056202851658848333841953981343711\ 2015396452153505321532957089683450880127829227285959929899023828895\ 0708271507496697885968/12172461711084131078488677039696677872368962\ 9502637385696724558057027720203774802501816693293947876708571798149\ 009468211174989439983246539267858855955299843*c_1001_4 - 4672026506114809630738050091594002189065585016113711838516527709113\ 7537403492876587159764547057823719858455305378158843372044233303845\ 4357157420806579091009/32459897896224349542636472105857807659650567\ 8673699695191265488152073920543399473338177848783861004556191461730\ 691915229799971839955324104714290282547466248, c_0101_7 + c_1001_4, c_0110_2 + 423193558505850588527471286209390606906841123976038669368635\ 1057140987398506794836536144163126117012700663684042081319378373090\ 23078688171328699802853154199/1081996596540811651421215736861926921\ 9883522622456656506375516271735797351446649111272594959462033485206\ 3820576897305076599990613318441368238096760849155416*c_1001_4^37 - 3211666120590829470487139058794987415218292150026494778133279840293\ 4096118573165512030541356465896534537478871395237604998010529742743\ 75410599909372160853/9016638304506763761843464473849391016569602185\ 3805470886462635597798311262055409260604957995516945710053183814081\ 08756383332551109870114019841396737429618*c_1001_4^36 + 4439759021378236346284697843115141852105435844046590653749410674825\ 1737875552900907709166194724991623424431955161479764421160571543655\ 48886937596488180633529/5409982982704058257106078684309634609941761\ 3112283282531877581358678986757233245556362974797310167426031910288\ 448652538299995306659220684119048380424577708*c_1001_4^35 - 1487708750646832975673157445506707274277864869072107096277880872659\ 5863280867721565182683088885912535315911628311093338060242108865470\ 8287391439706920420391/45083191522533818809217322369246955082848010\ 9269027354432313177988991556310277046303024789977584728550265919070\ 4054378191666275554935057009920698368714809*c_1001_4^34 + 9620281655349759656185977936246774822972069892701712872817410961900\ 3040068203982218849512162843856485948042813897766130310126247569743\ 466546546444554111698499/108199659654081165142121573686192692198835\ 2262245665650637551627173579735144664911127259495946203348520638205\ 76897305076599990613318441368238096760849155416*c_1001_4^33 - 5012359427143774206477132495689318101142760559564743391185846208301\ 8497420290429704209226863352593036631200747896966551186136184705123\ 977227981316689223055763/108199659654081165142121573686192692198835\ 2262245665650637551627173579735144664911127259495946203348520638205\ 76897305076599990613318441368238096760849155416*c_1001_4^32 + 6420976372070195998957351860893491171700884907605323242615355314273\ 7794731346888560574769375785301335657629978742074667490157211938287\ 2511160332370079660335819/10819965965408116514212157368619269219883\ 5226224566565063755162717357973514466491112725949594620334852063820\ 576897305076599990613318441368238096760849155416*c_1001_4^31 - 9180251216304136815787930952172766212999702088377559382526401066776\ 9485912316864335806963939335310687113432919501482403894230453868900\ 327560533343179676077793/270499149135202912855303934215481730497088\ 0655614164126593879067933949337861662277818148739865508371301595514\ 4224326269149997653329610342059524190212288854*c_1001_4^30 + 1471438178631458475367620653945369333053035431317818757352086899883\ 4165061053086137554195745672447048941077625716732151677901194919981\ 60051994363172895419821881/5409982982704058257106078684309634609941\ 7613112283282531877581358678986757233245556362974797310167426031910\ 288448652538299995306659220684119048380424577708*c_1001_4^29 - 2446815773728620219148524425176274730553499613539991868307109289883\ 7782574429269134607424429801341463042789971660697918390858044355359\ 3538227508269773031302533/18033276609013527523686928947698782033139\ 2043707610941772925271195596622524110818521209915991033891420106367\ 62816217512766665102219740228039682793474859236*c_1001_4^28 + 4775340972096327698898062879541842565324891456867497647692075794066\ 7467204295035990962641148653819169887000116956956136899428494161927\ 78415485832817896558607327/5409982982704058257106078684309634609941\ 7613112283282531877581358678986757233245556362974797310167426031910\ 288448652538299995306659220684119048380424577708*c_1001_4^27 - 1886077261339981848819287141492278320105767520812780065601039645131\ 4582772130456223249663481163102322096565069235654097953397477364695\ 4537637802655893204960663/56947189291621665864274512466417206420439\ 5927497718763493448224828199860602455216382768155761159657116125371\ 4573542372452631084911496914117794566360481864*c_1001_4^26 + 3844722519201190643155348571844327713185860093775769006737853096927\ 1488939402059276985279197051446376845429934571890766849834772265797\ 54970959224722748862646351/1803327660901352752368692894769878203313\ 9204370761094177292527119559662252411081852120991599103389142010636\ 762816217512766665102219740228039682793474859236*c_1001_4^25 - 4540518907336402850029010229799826150540896033219507976670981427493\ 9993757397949164565148859235023919255254240204680335597265741974659\ 877718637718554976447055/949119821527027764404575207773620107007326\ 5458295312724890803747136664343374253606379469262685994285268756190\ 95590395408771847485249485686299094393413644*c_1001_4^24 + 1400034453002055454513082386468258514554205169569673252571588434367\ 2626372001256914994464304672835884548483110645981045511949526321690\ 408987737157492435901612427/360665532180270550473738578953975640662\ 7840874152218835458505423911932450482216370424198319820677828402127\ 3525632435025533330204439480456079365586949718472*c_1001_4^23 - 4188013575833618941806203466987462907575158028365566386705364951439\ 8285415550309966429530502731591662334666940924742919095990836607671\ 0571737396564696408082553/27049914913520291285530393421548173049708\ 8065561416412659387906793394933786166227781814873986550837130159551\ 44224326269149997653329610342059524190212288854*c_1001_4^22 + 5779235401209067175507639339271960152322837442618672664477140205812\ 9315108428967727591945290836201914995977458966071806816786413320426\ 935708242303778988037616595/108199659654081165142121573686192692198\ 8352262245665650637551627173579735144664911127259495946203348520638\ 20576897305076599990613318441368238096760849155416*c_1001_4^21 + 9584340330481645650642935533714186831095283067648343896491136217627\ 0303819589700294317117944246452441284794854953194421536383017870538\ 87998435263935486369058179/1081996596540811651421215736861926921988\ 3522622456656506375516271735797351446649111272594959462033485206382\ 0576897305076599990613318441368238096760849155416*c_1001_4^20 + 2991149757017136995127725978899375922247733673228733896165027533628\ 2398730938807375268441930355143855871915935534012409866250428000256\ 357967262412446428775084987/540998298270405825710607868430963460994\ 1761311228328253187758135867898675723324555636297479731016742603191\ 0288448652538299995306659220684119048380424577708*c_1001_4^19 + 7626827665643331862626683644909081056308345189260241132403725513068\ 4136506465666021781933522677035872751822280101578038538600533680507\ 42917225608604563243705445/3606655321802705504737385789539756406627\ 8408741522188354585054239119324504822163704241983198206778284021273\ 525632435025533330204439480456079365586949718472*c_1001_4^18 + 6192501509696753462180593791386458976019282198753510851678448433161\ 6618607555007444636286184553348090764684598891518508175520827203712\ 9567066165346769529865669/14236797322905416466068628116604301605109\ 8981874429690873362056207049965150613804095692038940289914279031342\ 8643385593113157771227874228529448641590120466*c_1001_4^17 + 4283887714790634774248029986787650033015484115798903169684908607525\ 2398229438508360349179115799403680447495074725217803995829210468466\ 07932898264260293426222975/1803327660901352752368692894769878203313\ 9204370761094177292527119559662252411081852120991599103389142010636\ 762816217512766665102219740228039682793474859236*c_1001_4^16 + 1356028936578672079811181198323828019886398026707639863794370795330\ 4498431252807332888924185125212265568923721383273143192331690861722\ 924994176278410911031049171/540998298270405825710607868430963460994\ 1761311228328253187758135867898675723324555636297479731016742603191\ 0288448652538299995306659220684119048380424577708*c_1001_4^15 + 1693074795662128603595890769916373618863472946792428571654596836616\ 0085315362118366915453813037990018301104765606498472035808817617234\ 096857984330406419355709561/108199659654081165142121573686192692198\ 8352262245665650637551627173579735144664911127259495946203348520638\ 20576897305076599990613318441368238096760849155416*c_1001_4^14 + 1112309593602843612573006043764241212196940597773989244067986400933\ 7881838740454649951701261920999978541533589622889398390652193965585\ 682335044353883932821514833/108199659654081165142121573686192692198\ 8352262245665650637551627173579735144664911127259495946203348520638\ 20576897305076599990613318441368238096760849155416*c_1001_4^13 + 8920869066161140920963886982392770842453006675354211960788625786549\ 4965319694721114818848905466700725817315098149472289258756743012394\ 8654461770989613077104850/13524957456760145642765196710774086524854\ 4032780708206329693953396697466893083113890907436993275418565079775\ 72112163134574998826664805171029762095106144427*c_1001_4^12 + 2868646930565565647056809064133698058812894887937845796925426817176\ 9815998629243240360791253391298887179293012657629515278581071813688\ 23509299427999275394198709/1081996596540811651421215736861926921988\ 3522622456656506375516271735797351446649111272594959462033485206382\ 0576897305076599990613318441368238096760849155416*c_1001_4^11 + 9188985184002634731367733001263384224500644050145221810987238093057\ 1902236202021437140037522647617035148624752572783265789895999070081\ 2794535610743905491926339/54099829827040582571060786843096346099417\ 6131122832825318775813586789867572332455563629747973101674260319102\ 88448652538299995306659220684119048380424577708*c_1001_4^10 + 1842803616943012185766226561868818248465491701650330481219036219392\ 8515459031326853300555301874832867436146961975870955329301708419256\ 257008240310253885304979/450831915225338188092173223692469550828480\ 1092690273544323131779889915563102770463030247899775847285502659190\ 704054378191666275554935057009920698368714809*c_1001_4^9 + 7063529662507135506317760849255982454222675716860229964793773780579\ 2842827194995363608237472082135878649305076874704743828416603923339\ 605143178379397737216195/360665532180270550473738578953975640662784\ 0874152218835458505423911932450482216370424198319820677828402127352\ 5632435025533330204439480456079365586949718472*c_1001_4^8 - 3184979081584318639302466205293881873349057263845336086663751643789\ 1378452094264681987811888110649996711939026542854718183788894078874\ 23727072265133238589643/1352495745676014564276519671077408652485440\ 3278070820632969395339669746689308311389090743699327541856507977572\ 112163134574998826664805171029762095106144427*c_1001_4^7 + 3391060612831372549290518933466333148608913532415522199327985147171\ 4208655881571492526163940908123255650224312455936155526400976272514\ 1177987673862404673079/13524957456760145642765196710774086524854403\ 2780708206329693953396697466893083113890907436993275418565079775721\ 12163134574998826664805171029762095106144427*c_1001_4^6 + 3004276815706564323581900530736046513988353255546315844969056167928\ 4380558919209061192417199330059018895681223105139478097184214554614\ 17394204073331818784381/2704991491352029128553039342154817304970880\ 6556141641265938790679339493378616622778181487398655083713015955144\ 224326269149997653329610342059524190212288854*c_1001_4^5 - 7230798152443375839054371361470201403278904074329001214109998310497\ 7212581156428223782008991308254690289206019488176307638753842356069\ 40423531707334838583773/5409982982704058257106078684309634609941761\ 3112283282531877581358678986757233245556362974797310167426031910288\ 448652538299995306659220684119048380424577708*c_1001_4^4 - 9548498694399168161350943330166659774311372642017611292080640712404\ 1048559294461124618364346997281661283305699780105690468844723129562\ 5445289398587485706539/36066553218027055047373857895397564066278408\ 7415221883545850542391193245048221637042419831982067782840212735256\ 32435025533330204439480456079365586949718472*c_1001_4^3 + 4290691778007019949854701254502363116909249636263558003753118916608\ 7936089337649755420682767051802699161566491758172968982720817635031\ 12006346877862773127537/1081996596540811651421215736861926921988352\ 2622456656506375516271735797351446649111272594959462033485206382057\ 6897305076599990613318441368238096760849155416*c_1001_4^2 + 7116068354564230785840023979723549154787328971265277713926284589547\ 4768555178972091101572608667106863341043509098100697765399251814028\ 1591848086279534022579/54099829827040582571060786843096346099417613\ 1122832825318775813586789867572332455563629747973101674260319102884\ 48652538299995306659220684119048380424577708*c_1001_4 + 3252447291899981716301854308612511002718896123572834681116017826217\ 4552698649831686521747891287439502643054018766196327104941295278906\ 082550274825947192515/360665532180270550473738578953975640662784087\ 4152218835458505423911932450482216370424198319820677828402127352563\ 2435025533330204439480456079365586949718472, c_0110_9 - 620745656903212924193240183557971588581530500335622403327082\ 3368054135593180968865324646871346443979605793337495614768781419087\ 857063609993221649879706703313/486898468443365243139547081587867114\ 8947585180105495427868982322281108808150992100072667731757915068342\ 87192596037872844699957759932986157071435423821199372*c_1001_4^37 + 2912089626173144225042513022831748392313250632900907106861406825069\ 4204234763459011865520065036560021640924439836530937290593332658727\ 8833047350578341988805/40574872370280436928295590132322259574563209\ 8342124618989081860190092400679249341672722310979826255695239327163\ 36489403724996479994415513089286285318433281*c_1001_4^36 - 6602369665131438073337372386623204444213798727727676057137034160624\ 2231843718575474746066296653814785497034373852758974430266320256217\ 902236187338172818100423/243449234221682621569773540793933557447379\ 2590052747713934491161140554404075496050036333865878957534171435962\ 98018936422349978879966493078535717711910599686*c_1001_4^35 + 9567095600509190213268733928858679897805694473263658896213792649988\ 6048914718070604986201156037299778896798104691606401848196291369467\ 01232770915530389953578/4057487237028043692829559013232225957456320\ 9834212461898908186019009240067924934167272231097982625569523932716\ 336489403724996479994415513089286285318433281*c_1001_4^34 - 1468585556427623729304579374595861060188045203784919480193509291835\ 7383736976334941212031240048754975383858740028003900795805585840049\ 40109102049938096897584409/4868984684433652431395470815878671148947\ 5851801054954278689823222811088081509921000726677317579150683428719\ 2596037872844699957759932986157071435423821199372*c_1001_4^33 + 1431816623838513428635831216504088913049585748360077217675745764479\ 2034769317361866708675437307869179411120892814467636484958080942058\ 87796970987424702179045165/4868984684433652431395470815878671148947\ 5851801054954278689823222811088081509921000726677317579150683428719\ 2596037872844699957759932986157071435423821199372*c_1001_4^32 - 1013143002888221855247946108639475552204869660895752907922446872575\ 6819042398690644094132628426472330650192448717564558505728862969687\ 750983033178115747126488425/486898468443365243139547081587867114894\ 7585180105495427868982322281108808150992100072667731757915068342871\ 92596037872844699957759932986157071435423821199372*c_1001_4^31 + 2552827002372669957848103652504351466059738603312650797503866722411\ 0021256006737747726685417729811288674874561229060007814689642698511\ 49071264315707685748202158/1217246171108413107848867703969667787236\ 8962950263738569672455805702772020377480250181669329394787670857179\ 8149009468211174989439983246539267858855955299843*c_1001_4^30 - 2412478833408827654622204091638446471600453425792211511140435432354\ 4972021578067789570727493139170708110960480820719182296083359496548\ 400833049998687626168317655/243449234221682621569773540793933557447\ 3792590052747713934491161140554404075496050036333865878957534171435\ 96298018936422349978879966493078535717711910599686*c_1001_4^29 + 7436387079402305457239035634157755329301037283296829912495284247257\ 7051118122445970534431263540970382302283094170386804702791394421508\ 95198907984505022963765401/8114974474056087385659118026464451914912\ 6419668424923797816372038018480135849868334544462195965251139047865\ 432672978807449992959988831026178572570636866562*c_1001_4^28 - 8122004865279213083265553302816071868616418444947778669143299969340\ 5429602284382174279862025568858535613913887435105887181355392284969\ 293237641686166358332688981/243449234221682621569773540793933557447\ 3792590052747713934491161140554404075496050036333865878957534171435\ 96298018936422349978879966493078535717711910599686*c_1001_4^27 + 6875779638409169918227199476318489812944516663744281670653657505454\ 8979969965028992423434963897390673267197338215547272998625120739621\ 58828470566742130334189201/2562623518122974963892353060988774288919\ 7816737397344357205170117268993727110484737224567009252184570225641\ 715580940676036839882101736113530075548622168388*c_1001_4^26 - 6741721445615878969534203665809129890163983933007619011698247210439\ 2617505433678271714816551835602057337775918810103722001042580347024\ 878019021811822990825388369/811497447405608738565911802646445191491\ 2641966842492379781637203801848013584986833454446219596525113904786\ 5432672978807449992959988831026178572570636866562*c_1001_4^25 + 7928762989797073735915398207953154665964836937047150929261921800684\ 6251934448849640848851374605093667164864772387221213221957757389789\ 2297374691132004726851359/14236797322905416466068628116604301605109\ 8981874429690873362056207049965150613804095692038940289914279031342\ 8643385593113157771227874228529448641590120466*c_1001_4^24 - 2518419664607413499284421344021740619539186991610440742473410431912\ 7393395629266762101803843546554956666729627638752847339331672721261\ 4356180908151009766631741893/16229948948112174771318236052928903829\ 8252839336849847595632744076036960271699736669088924391930502278095\ 730865345957614899985919977662052357145141273733124*c_1001_4^23 + 9767965218607913539453395776635525673685745951487784115134918822279\ 3362704175117286356323961080588743044315844185203664308523917861437\ 759563960007823695429267938/121724617110841310784886770396966778723\ 6896295026373856967245580570277202037748025018166932939478767085717\ 98149009468211174989439983246539267858855955299843*c_1001_4^22 - 1054190048817688169965737768216085544621667329183554280560828378370\ 0006145264132079314692309329722830862965820554238355176363734252248\ 53009503489805056878394665357/4868984684433652431395470815878671148\ 9475851801054954278689823222811088081509921000726677317579150683428\ 7192596037872844699957759932986157071435423821199372*c_1001_4^21 + 3721591362240643464528722284375921005443229145796383717029752135062\ 4782738883363102945349501988772620463793820440903765467384797943283\ 3847012838291079989054779627/48689846844336524313954708158786711489\ 4758518010549542786898232228110880815099210007266773175791506834287\ 192596037872844699957759932986157071435423821199372*c_1001_4^20 - 5424767714591243002710491497301895434461768212962444735444557620770\ 5004932079901406413685518352351400798724106985348955793902522635358\ 9717087962597442350052910651/24344923422168262156977354079393355744\ 7379259005274771393449116114055440407549605003633386587895753417143\ 596298018936422349978879966493078535717711910599686*c_1001_4^19 + 6452340677600845454414956051796355758865419645682122498821074766641\ 7768904604602429562879287932853606799971444260069919144094833572123\ 882869227823372458356304297/162299489481121747713182360529289038298\ 2528393368498475956327440760369602716997366690889243919305022780957\ 30865345957614899985919977662052357145141273733124*c_1001_4^18 - 1073163006646431488264590689735520450009050868977088697427267631691\ 6965893405374649302756409806657452496278175794477978520468713005895\ 338154287605837446078163848/640655879530743740973088265247193572229\ 9454184349336089301292529317248431777621184306141752313046142556410\ 428895235169009209970525434028382518887155542097*c_1001_4^17 + 3491059426127387944315098959993585205790745627485736786467942402284\ 3797530201171013033648453297026153420100179910563934885652633960630\ 31401645639009613485165751/8114974474056087385659118026464451914912\ 6419668424923797816372038018480135849868334544462195965251139047865\ 432672978807449992959988831026178572570636866562*c_1001_4^16 - 2170443237538597275783311292879135796835013065416322901479495799652\ 9051769584391795473286349768679603041255944441732090730748451914969\ 2617382819369765730695907093/24344923422168262156977354079393355744\ 7379259005274771393449116114055440407549605003633386587895753417143\ 596298018936422349978879966493078535717711910599686*c_1001_4^15 - 3680187983833878285795481447167545194596766335638856667884638971977\ 7940561405642912740143762879412190300346700743355976614313901535135\ 808685098698801789216446095/486898468443365243139547081587867114894\ 7585180105495427868982322281108808150992100072667731757915068342871\ 92596037872844699957759932986157071435423821199372*c_1001_4^14 - 1604355279052985536526343920390898964598260036276699827966590461975\ 1497440778359214219493614686825359433379544056410075749247853213137\ 4215621842136822566384165699/48689846844336524313954708158786711489\ 4758518010549542786898232228110880815099210007266773175791506834287\ 192596037872844699957759932986157071435423821199372*c_1001_4^13 - 6632493511008922308729703426678950583595443188144894829968207277141\ 4860522303027266821700361354737561541864533848806577535174562529269\ 61275263914789547730788785/1217246171108413107848867703969667787236\ 8962950263738569672455805702772020377480250181669329394787670857179\ 8149009468211174989439983246539267858855955299843*c_1001_4^12 - 3520300543903722166056142965544356756627046307057297515788656654376\ 9928394952846861356111070877802821546667393193787371774617752819568\ 517900826655473906008199247/486898468443365243139547081587867114894\ 7585180105495427868982322281108808150992100072667731757915068342871\ 92596037872844699957759932986157071435423821199372*c_1001_4^11 - 4768652549098237222691713966800156727205977682061086130930866856442\ 5328420458289618411182659633432897069933281268362174190025624332195\ 85160109247501794547786599/2434492342216826215697735407939335574473\ 7925900527477139344911611405544040754960500363338658789575341714359\ 6298018936422349978879966493078535717711910599686*c_1001_4^10 - 2724320593697205917840689102594392679522437991953081444281450454657\ 7819354274261745809476332891186861211849345224958004441727076236687\ 3334777044863526647186401/40574872370280436928295590132322259574563\ 2098342124618989081860190092400679249341672722310979826255695239327\ 16336489403724996479994415513089286285318433281*c_1001_4^9 - 4714281674308244660396471016268375504152897383972646984255393397167\ 2043271138115456988088835722213717485627412230212148225997311307242\ 434854411572957852682517/180332766090135275236869289476987820331392\ 0437076109417729252711955966225241108185212099159910338914201063676\ 2816217512766665102219740228039682793474859236*c_1001_4^8 + 2267001458916617795628929017295832424325904530839842994775440675205\ 8038352118775385722647152215755044300761357038255208427353388617373\ 9300089413485452903657256/12172461711084131078488677039696677872368\ 9629502637385696724558057027720203774802501816693293947876708571798\ 149009468211174989439983246539267858855955299843*c_1001_4^7 - 8541465246702299779867736764457402867196378717135119053369401625865\ 0182958979326418848645390624476317574521358310866152172209906479702\ 790246152913781808709062/121724617110841310784886770396966778723689\ 6295026373856967245580570277202037748025018166932939478767085717981\ 49009468211174989439983246539267858855955299843*c_1001_4^6 + 1101840510632635487968625152339727747201170616378239234804877587082\ 7749027612444359609372470475516931802016319553131434104609526055385\ 965561942832012601326442/121724617110841310784886770396966778723689\ 6295026373856967245580570277202037748025018166932939478767085717981\ 49009468211174989439983246539267858855955299843*c_1001_4^5 + 1053004598333859738392630325063075757868778100692194033075064750174\ 9181374262671129965445244913682645549641819515893259049630768185802\ 5163369506020123442978411/24344923422168262156977354079393355744737\ 9259005274771393449116114055440407549605003633386587895753417143596\ 298018936422349978879966493078535717711910599686*c_1001_4^4 - 1450035825187883384295782956697927703568624454381077659643020116839\ 2493250779357965577155792073090695545966125880438527032565153362259\ 654595137951759713403823/162299489481121747713182360529289038298252\ 8393368498475956327440760369602716997366690889243919305022780957308\ 65345957614899985919977662052357145141273733124*c_1001_4^3 - 3956212065209262245689238462599522119626246202938124202533096341912\ 5898900234513301708092328698738712172646083885528999336185833745944\ 015035889109319423097687/486898468443365243139547081587867114894758\ 5180105495427868982322281108808150992100072667731757915068342871925\ 96037872844699957759932986157071435423821199372*c_1001_4^2 - 2098951298721931501152934095683968991538257921279391967039613994239\ 1578761984540041193283800180326102464268095923183886604931717649563\ 92334893603215522349149/2434492342216826215697735407939335574473792\ 5900527477139344911611405544040754960500363338658789575341714359629\ 8018936422349978879966493078535717711910599686*c_1001_4 - 2833240310877320088385345109939260348228879485685669103012883603809\ 8054623442194843559379228285164643596198509657402259856128752459592\ 9546065822584540165069/16229948948112174771318236052928903829825283\ 9336849847595632744076036960271699736669088924391930502278095730865\ 345957614899985919977662052357145141273733124, c_1001_4^38 - 81/317*c_1001_4^37 + 6682/317*c_1001_4^36 - 3786/317*c_1001_4^35 + 73057/317*c_1001_4^34 - 49942/317*c_1001_4^33 + 493378/317*c_1001_4^32 - 360901/317*c_1001_4^31 + 2293126/317*c_1001_4^30 - 1510332/317*c_1001_4^29 + 7544752/317*c_1001_4^28 - 4074461/317*c_1001_4^27 + 18437385/317*c_1001_4^26 - 7360452/317*c_1001_4^25 + 33906837/317*c_1001_4^24 - 7808243/317*c_1001_4^23 + 46921045/317*c_1001_4^22 - 2046976/317*c_1001_4^21 + 48480497/317*c_1001_4^20 + 7537119/317*c_1001_4^19 + 37505899/317*c_1001_4^18 + 11939598/317*c_1001_4^17 + 21017276/317*c_1001_4^16 + 8722157/317*c_1001_4^15 + 8342480/317*c_1001_4^14 + 3841985/317*c_1001_4^13 + 2062115/317*c_1001_4^12 + 1016707/317*c_1001_4^11 + 287010/317*c_1001_4^10 + 108423/317*c_1001_4^9 - 27535/317*c_1001_4^8 + 2492/317*c_1001_4^7 + 4508/317*c_1001_4^6 - 11726/317*c_1001_4^5 - 1005/317*c_1001_4^4 + 2906/317*c_1001_4^3 + 775/317*c_1001_4^2 + 57/317*c_1001_4 + 9/317 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 3.780 Total time: 3.990 seconds, Total memory usage: 64.12MB