Magma V2.19-8 Tue Aug 20 2013 19:11:31 on localhost [Seed = 2084428166] Type ? for help. Type -D to quit. Loading file "11_19__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_19 geometric_solution 13.93896938 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 15 1 1 2 3 0132 1230 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 -1 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.714391749843 0.504980818353 0 4 0 5 0132 0132 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.066595287770 0.659794119319 6 7 8 0 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.593828581722 0.344001640866 9 9 0 6 0132 1302 0132 2103 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 0 0 0 0 2 -2 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.827779757385 0.677279139443 8 1 10 8 0213 0132 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.598053568726 0.954715525736 6 11 1 7 2103 0132 0132 3012 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 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.217651718052 1.036661654394 2 12 5 3 0132 0132 2103 2103 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.972831278064 1.440719095463 10 2 5 13 2310 0132 1230 0132 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 -1 0 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.313333336028 1.059882136705 4 12 4 2 0213 3012 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.374585692629 0.889727457806 3 11 13 3 0132 0213 2031 2031 0 0 0 0 0 0 -1 1 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 -2 2 0 0 0 0 0 -1 0 1 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.352645238896 1.386824570107 14 13 7 4 0132 2031 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 -1 0 1 1 -2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.422564633160 0.427841440849 14 5 9 14 1230 0132 0213 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.202723810063 0.848759634224 8 6 13 14 1230 0132 2310 0132 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.770227087407 0.627887434989 10 12 7 9 1302 3201 0132 1302 0 0 0 0 0 0 0 0 1 0 0 -1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 -2 -1 -1 0 2 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.368988000095 0.718295693774 10 11 12 11 0132 3012 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.587943477407 0.625909436563 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_14' : negation(d['c_0011_11']), 'c_1001_11' : negation(d['c_0101_7']), 'c_1001_10' : negation(d['c_0101_7']), 'c_1001_13' : negation(d['c_0101_12']), 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_0011_13'], 'c_1001_4' : d['c_0011_13'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_0011_11']), 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_12']), 'c_1001_9' : negation(d['c_0101_7']), 'c_1001_8' : negation(d['c_0011_12']), 'c_1010_13' : negation(d['c_1001_12']), 'c_1010_12' : negation(d['c_0011_11']), 'c_1010_11' : d['c_0011_13'], 'c_1010_10' : d['c_0011_13'], 'c_1010_14' : d['c_0011_3'], 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_0_14' : d['1'], 's_3_14' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_3']), 'c_0101_10' : d['c_0011_10'], 'c_0101_14' : d['c_0011_8'], '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_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_2_14' : d['1'], 's_0_9' : negation(d['1']), 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_14' : negation(d['c_0011_10']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0101_2']), 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_1001_0']), 'c_1100_4' : d['c_0011_12'], 'c_1100_7' : d['c_0101_9'], 'c_1100_6' : negation(d['c_0101_9']), 'c_1100_1' : negation(d['c_1001_0']), 'c_1100_0' : negation(d['c_0101_2']), 'c_1100_3' : negation(d['c_0101_2']), 'c_1100_2' : negation(d['c_0101_2']), 's_0_10' : d['1'], 'c_1100_11' : d['c_0011_3'], 'c_1100_10' : d['c_0011_12'], 'c_1100_13' : d['c_0101_9'], 's_3_10' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : negation(d['c_0101_12']), 'c_1010_6' : d['c_1001_12'], 'c_1010_5' : negation(d['c_0101_7']), 's_0_13' : d['1'], 'c_1010_3' : negation(d['c_1001_12']), 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_13'], 'c_1100_14' : d['c_0011_13'], 'c_1010_9' : d['c_0011_3'], 'c_1010_8' : negation(d['c_0101_12']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : negation(d['1']), 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_13'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : 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_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_12']), 'c_0011_6' : negation(d['c_0011_12']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_12'], 'c_0110_11' : negation(d['c_0011_10']), 'c_0110_10' : d['c_0011_8'], 'c_0110_13' : d['c_0101_7'], 'c_0110_12' : d['c_0011_8'], 'c_0110_14' : d['c_0011_10'], 'c_1010_4' : negation(d['c_0011_0']), 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_1010_0' : d['c_0101_1'], 's_0_8' : d['1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_8'], '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' : d['c_0101_9'], 'c_0101_8' : d['c_0011_0'], 'c_0011_10' : d['c_0011_10'], 's_1_14' : d['1'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1001_12'], 'c_0110_3' : d['c_0101_9'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_9'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_7' : negation(d['c_0011_10']), 'c_0110_6' : d['c_0101_2'], 'c_0101_13' : negation(d['c_0011_10'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_13, c_0011_3, c_0011_8, c_0101_0, c_0101_1, c_0101_12, c_0101_2, c_0101_7, c_0101_9, c_1001_0, c_1001_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 38 Groebner basis: [ t - 4643951577031012660720301292171520624912618252330692787084595804807\ 7745689035176066722622072638556516040662542285461929057200229468820\ 07708756999084691226525849379728630014606423021/1745307919153591687\ 6279666069365243431548385703867470965479069550059372171005485002016\ 5397443568978326353700240495059529952956329313304685300984153021622\ 3716195937431327348057450873344*c_1001_12^37 - 5687306887430655217891363888979084740414748216430330423697857289747\ 5316985160152070503074543911868429350832812327619320868191942550974\ 34902567187589128615573700278489332283059902149/1363521811838743505\ 9593489116691596430897176331146461691780523085983884508598035157825\ 4216752788264317463828312886765257775747132276019285391393869548142\ 477827807611822449066988349480*c_1001_12^36 - 9022146128803159143244554680880878931441003383025485402890667231883\ 3233129853531008927136629563124535870313403769909129948249146728653\ 6857692870052017244885641732113135656106469000433/21816348989419896\ 0953495825867065542894354821298343387068488369375742152137568562525\ 2067468044612229079421253006188244124411954116416308566262301912770\ 279645244921789159185071813591680*c_1001_12^35 - 3539439021452175264824830692116104605880460276667762072645536825206\ 4783071586358610063601545466089220565362437474698114382813291166447\ 8838800843001243882658045768188683701349489875859/13635218118387435\ 0595934891166915964308971763311464616917805230859838845085980351578\ 2542167527882643174638283128867652577757471322760192853913938695481\ 42477827807611822449066988349480*c_1001_12^34 - 1043039335402700924827393684767817391629347768454223798526674090300\ 8108948861728914151027805691142247226294749450754697824674464848917\ 762127847761927769304662473222454875066205923774041/793321781433450\ 7671036211849711474287067448047212486802490486159117896441366129546\ 3711544292531353784706227382043208877251343786051502129682265524100\ 7374416452698832421521844295851520*c_1001_12^33 - 4238351289724990628311547591060230572125057627733314046636927658799\ 3077691645460244646127996405214984498570820132312740166806464528703\ 889985434594807385337549151814935644642850979496563/793321781433450\ 7671036211849711474287067448047212486802490486159117896441366129546\ 3711544292531353784706227382043208877251343786051502129682265524100\ 7374416452698832421521844295851520*c_1001_12^32 - 7746191767478650459919790003814246311052394957432845259097325376643\ 6881400547599493856172518974165108951495229951827695874904062670956\ 50687963430555015570567094110584620021793581458345/3966608907167253\ 8355181059248557371435337240236062434012452430795589482206830647731\ 8557721462656768923531136910216044386256718930257510648411327620503\ 68720822634941621076092214792576*c_1001_12^31 - 5232194740465871688075079083533749142690575538717797946151716826947\ 7871385673368599452617470019480241525805171173912277936822994170823\ 33342023180393332100302863100098154206311742302637557/8726539595767\ 9584381398330346826217157741928519337354827395347750296860855027425\ 0100826987217844891631768501202475297649764781646566523426504920765\ 1081118580979687156636740287254366720*c_1001_12^30 - 7004831571373833872910920227849397050045149967183417274561160305208\ 3893630331930490805319640177872934507428401761993567977918224871513\ 76972646259273924544066204547988397802149318841331137/4363269797883\ 9792190699165173413108578870964259668677413697673875148430427513712\ 5050413493608922445815884250601237648824882390823283261713252460382\ 5540559290489843578318370143627183360*c_1001_12^29 - 3391622747599154784651127108473142163934344195808360965514154964683\ 8983345285207693495917453080452870822322210055127826238693839636331\ 482408768303832128767902558716032453505529329962185533/872653959576\ 7958438139833034682621715774192851933735482739534775029686085502742\ 5010082698721784489163176850120247529764976478164656652342650492076\ 51081118580979687156636740287254366720*c_1001_12^28 - 7138435495779244378206332067613039720700989934054464203582462960837\ 4783973008869808675969279922103195906698678707130168339224588655170\ 755542869628640536527846345069814832471975078902330647/872653959576\ 7958438139833034682621715774192851933735482739534775029686085502742\ 5010082698721784489163176850120247529764976478164656652342650492076\ 51081118580979687156636740287254366720*c_1001_12^27 - 1341773471409317735927595267423155082704261225795386817484972509979\ 0621274221859555858023967232724127090228151658603850391484460273856\ 2607230847471747155876291640923410434946898031798792943/87265395957\ 6795843813983303468262171577419285193373548273953477502968608550274\ 2501008269872178448916317685012024752976497647816465665234265049207\ 651081118580979687156636740287254366720*c_1001_12^26 - 2285765146434587812351330806271062244789815975317800425673522067885\ 5684359954339063239414260784521205515441880431790031453348240157815\ 2468865633559138711681425053006198159156805592163919651/87265395957\ 6795843813983303468262171577419285193373548273953477502968608550274\ 2501008269872178448916317685012024752976497647816465665234265049207\ 651081118580979687156636740287254366720*c_1001_12^25 - 3469240884804435492714839834497741421890610525438640237071602525063\ 0919312052162271048535041653908636527395850319696209003784033321150\ 2881663044414664652175297234830477395173192385763116371/87265395957\ 6795843813983303468262171577419285193373548273953477502968608550274\ 2501008269872178448916317685012024752976497647816465665234265049207\ 651081118580979687156636740287254366720*c_1001_12^24 - 4756589311706241844811014535863781729600231068693313742921670820876\ 3180001553610955251238450955595435803529012089950685202944201604016\ 640140478143100956376326977956366840324725233598520025/872653959576\ 7958438139833034682621715774192851933735482739534775029686085502742\ 5010082698721784489163176850120247529764976478164656652342650492076\ 5108111858097968715663674028725436672*c_1001_12^23 - 5991655849638714600489584887091386426251635367174029397235180742259\ 5517655366431000130703570492233317942691693468003103767147776545505\ 2143781835699818790095128821844973039394613534814727689/87265395957\ 6795843813983303468262171577419285193373548273953477502968608550274\ 2501008269872178448916317685012024752976497647816465665234265049207\ 651081118580979687156636740287254366720*c_1001_12^22 - 3514251701472858795260676755183580618602943288345507429346628020230\ 6990388259220166023907869521432454342547089530573111921298046107784\ 2989728504572436067028697117497550356949738849270386071/43632697978\ 8397921906991651734131085788709642596686774136976738751484304275137\ 1250504134936089224458158842506012376488248823908232832617132524603\ 825540559290489843578318370143627183360*c_1001_12^21 - 3811149100372294701975169628740590879840518798717299575599621857502\ 7786655881100077217966704778509994668049766831209726729222874444046\ 8011464039671229676505623197002476448233307708138948209/43632697978\ 8397921906991651734131085788709642596686774136976738751484304275137\ 1250504134936089224458158842506012376488248823908232832617132524603\ 825540559290489843578318370143627183360*c_1001_12^20 - 6900793008675904420482142116741173705874545693836500297187233602140\ 6753223119892247223660811198975141209808835793146182203347373810990\ 121452146959672552021456471664618961807619042424350949/793321781433\ 4507671036211849711474287067448047212486802490486159117896441366129\ 5463711544292531353784706227382043208877251343786051502129682265524\ 1007374416452698832421521844295851520*c_1001_12^19 - 6767689675980459189580374922484439504107913150921616287126929190575\ 4286165727854808593534589148082429461831766160593082297335390251072\ 9361198225719822449775204590335916713166913447214186281/87265395957\ 6795843813983303468262171577419285193373548273953477502968608550274\ 2501008269872178448916317685012024752976497647816465665234265049207\ 651081118580979687156636740287254366720*c_1001_12^18 - 6006856220592083564142093171569674038189068216003647830714194151246\ 7234979904018784216832556583646771030643295583349265836704303120114\ 4328617174141495422048362500915436995735304391058952563/87265395957\ 6795843813983303468262171577419285193373548273953477502968608550274\ 2501008269872178448916317685012024752976497647816465665234265049207\ 651081118580979687156636740287254366720*c_1001_12^17 - 2623762595541104091625010643307979078956717176030365657188304482080\ 5456597633714439777687764047689060175607871015588718758505123212605\ 5814737881919530505821332931940024540937927990240792823/43632697978\ 8397921906991651734131085788709642596686774136976738751484304275137\ 1250504134936089224458158842506012376488248823908232832617132524603\ 825540559290489843578318370143627183360*c_1001_12^16 - 4635209254430711693502544639338054795305536752192375651300189579748\ 8139454150965254954574995744990746826881908235901478987687576376731\ 1183946136941565763713746523829214448239921424338441451/87265395957\ 6795843813983303468262171577419285193373548273953477502968608550274\ 2501008269872178448916317685012024752976497647816465665234265049207\ 651081118580979687156636740287254366720*c_1001_12^15 - 7983286201952184491448951239072529345501647526565785890307983902739\ 4204614275485724147074091625811737150945089485189118867718651215104\ 882271077516036133391943918255075950888275733902027031/174530791915\ 3591687627966606936524343154838570386747096547906955005937217100548\ 5002016539744356897832635370024049505952995295632931330468530098415\ 30216223716195937431327348057450873344*c_1001_12^14 - 2874602971641103544903219790387872245696339088333383315366420030624\ 7151913977873155518749049771944906047672060838988993160515678226171\ 3572326486427464100521577509715506910908441851456939/61978264174488\ 3411799704050758708928677144378688475531444569231181085659481728870\ 8102464397854012014430174014222125693535261233285273603881426994070\ 370112628536709628293139408561340*c_1001_12^13 - 9738487606677374764639561002705789656570930457951225020956386742449\ 9357292744397116685724948994198454647000154574565412268276837214544\ 598418516398014556482191219334675540418871280080817413/218163489894\ 1989609534958258670655428943548212983433870684883693757421521375685\ 6252520674680446122290794212530061882441244119541164163085662623019\ 12770279645244921789159185071813591680*c_1001_12^12 - 3908316570238433558434938429439004829844689705815885362625481546049\ 7101849023560305904193785507467398475215578709260895212606886252188\ 9804432383257036508809214727693197428132930962761777543/87265395957\ 6795843813983303468262171577419285193373548273953477502968608550274\ 2501008269872178448916317685012024752976497647816465665234265049207\ 651081118580979687156636740287254366720*c_1001_12^11 - 1520097406994918146177800540742882726392510580016829645223337109823\ 1347404078927822793608981838796548392421643784440656798074327088193\ 5205324949594728494943067066824857173750549782658741531/43632697978\ 8397921906991651734131085788709642596686774136976738751484304275137\ 1250504134936089224458158842506012376488248823908232832617132524603\ 825540559290489843578318370143627183360*c_1001_12^10 - 4520157458452929332499890042210921163411413433260377317156811640479\ 0495645788186692145580632010802793624782661629086502937894924442836\ 390587985069654918409190317574513865221691521206511029/174530791915\ 3591687627966606936524343154838570386747096547906955005937217100548\ 5002016539744356897832635370024049505952995295632931330468530098415\ 30216223716195937431327348057450873344*c_1001_12^9 - 7308249985759700353736362739141550652851311082214678574476151497069\ 2334399221261232069493650611185406409671300264325192271945343484053\ 342742073689397540608698748718589944591271528909149459/436326979788\ 3979219069916517341310857887096425966867741369767387514843042751371\ 2505041349360892244581588425060123764882488239082328326171325246038\ 25540559290489843578318370143627183360*c_1001_12^8 - 1082959544890868203908103156555708660529090744404017689171200876708\ 9406741950536801021785486841274190876719750951193617261176290226014\ 965434598161998828577627175316232190184514721736189403/793321781433\ 4507671036211849711474287067448047212486802490486159117896441366129\ 5463711544292531353784706227382043208877251343786051502129682265524\ 1007374416452698832421521844295851520*c_1001_12^7 - 1091354215959101875022194925123716849225410205157843588725131428100\ 8602365442899789606644774782746292081551378307314416157319258466325\ 2198362273676638750147190131346802061599460801530397433/87265395957\ 6795843813983303468262171577419285193373548273953477502968608550274\ 2501008269872178448916317685012024752976497647816465665234265049207\ 651081118580979687156636740287254366720*c_1001_12^6 - 7804562110822321830740126711618555342516973716873359585676774746224\ 9435071226001745729687449500729855018870990299285207285365983230453\ 195362792993477482596996163612811023328741834019389643/872653959576\ 7958438139833034682621715774192851933735482739534775029686085502742\ 5010082698721784489163176850120247529764976478164656652342650492076\ 51081118580979687156636740287254366720*c_1001_12^5 - 2327714058385357468830714056356874539195221750254741292071623121061\ 9654018145475913756612747660552285604189527782490999186680254969627\ 848385049074251340451665871192553870030584211756787113/872653959576\ 7958438139833034682621715774192851933735482739534775029686085502742\ 5010082698721784489163176850120247529764976478164656652342650492076\ 51081118580979687156636740287254366720*c_1001_12^4 - 4054073522698157726344040178287648232567411999677799275143776603726\ 0077093759548048556792610156090827143019784191565124926006805483864\ 797236288762884531114076539777921535020125905803667/158664356286690\ 1534207242369942294857413489609442497360498097231823579288273225909\ 2742308858506270756941245476408641775450268757210300425936453104820\ 1474883290539766484304368859170304*c_1001_12^3 + 5131753441361891992070216607652709324516124518822910219183194263448\ 2767196610040294504733940279235712099375474305284596876319894651284\ 7007485538437138993964936541685813628834812002243651/27270436236774\ 8701191869782333831928617943526622929233835610461719677690171960703\ 1565084335055765286349276566257735305155514942645520385707827877390\ 96284955655615223644898133976698960*c_1001_12^2 + 4522160245259391342175058076900234336455361318967246782527928412850\ 8540333192093730481829236561523340208964772043861282613859450939867\ 656702142913194716575601513825179042123832341169255/513325858574585\ 7904788137079225071597514231089372785578082079279429227109119260294\ 7107469836343817154809911835439723391162634214503913142735583574418\ 124226946939336215510236983849216*c_1001_12 + 1528845167961479110606404055740792845113206622291666221704501723038\ 6162344433339826345220607498994647925790184915231197086937119066323\ 90125385356236728616436391649817806034884584622287779/2181634898941\ 9896095349582586706554289435482129834338706848836937574215213756856\ 2525206746804461222907942125300618824412441195411641630856626230191\ 2770279645244921789159185071813591680, c_0011_0 - 1, c_0011_10 - 14254973097717988822275826322526750250812431483998812431300\ 6770709445725202753975421094298789921383403404237098668991491067416\ 67397549609691363937714763741533957/2771470892551545044892818423725\ 9352011258026818942667722802069805377529242543826594693815432426071\ 9157022245335180456979842119196613931110541947557220413342245770905\ 6*c_1001_12^37 - 23809385008639447022268387960266988145089261110365\ 8531892366518689721305928689416341546368906268068787392189973503137\ 311480927202750946227358904133037775972390857/277147089255154504489\ 2818423725935201125802681894266772280206980537752924254382659469381\ 5432426071915702224533518045697984211919661393111054194755722041334\ 22457709056*c_1001_12^36 - 1226952584631499033980610265195412190033\ 7748337553669402669381772271482360791224339109210294658482953614239\ 96219185952131548391905218186697306311086106443513644213/1385735446\ 2757725224464092118629676005629013409471333861401034902688764621271\ 9132973469077162130359578511122667590228489921059598306965555270973\ 7786102066711228854528*c_1001_12^35 - 4081839785577303999939787625454318543027753911361530441238863387024\ 1173022712178399088436861320800335840174021544022506691024164265548\ 84021316491246884995313062045/6928677231378862612232046059314838002\ 8145067047356669307005174513443823106359566486734538581065179789255\ 5613337951142449605297991534827776354868893051033355614427264*c_100\ 1_12^34 - 861961396659152300806552028808970373136560838589987885646\ 9223039892136879523906343256227070222880453629426977829960006137540\ 9036506454145002866586374801354462162443/27714708925515450448928184\ 2372593520112580268189426677228020698053775292425438265946938154324\ 2607191570222453351804569798421191966139311105419475572204133422457\ 709056*c_1001_12^33 - 920416671722464832763360789416885216805499384\ 7088668393991077174826005188086351566692513264302906285061806874484\ 3917507573987793336667079319770659651408653305891807/69286772313788\ 6261223204605931483800281450670473566693070051745134438231063595664\ 8673453858106517978925556133379511424496052979915348277763548688930\ 51033355614427264*c_1001_12^32 - 1389973501028890952349270416593768\ 6009659589352573237062913633941878404512994520412723610673399984802\ 90645938334613333399811346196099759957997893546761273179888173875/2\ 7714708925515450448928184237259352011258026818942667722802069805377\ 5292425438265946938154324260719157022245335180456979842119196613931\ 1105419475572204133422457709056*c_1001_12^31 - 4494937982534222438831948231692765377464471738765509244401767592109\ 1542884226667697332284821525552356021729916574769610341353552041619\ 06292123834515682641756907979095/2771470892551545044892818423725935\ 2011258026818942667722802069805377529242543826594693815432426071915\ 70222453351804569798421191966139311105419475572204133422457709056*c\ _1001_12^30 - 12674183126348839952115107226476508786528082820132380\ 9525315117664777538307701477392855274933282890769559734857373776536\ 23137045875902144773393086551237676656027214487/2771470892551545044\ 8928184237259352011258026818942667722802069805377529242543826594693\ 8154324260719157022245335180456979842119196613931110541947557220413\ 3422457709056*c_1001_12^29 - 32106318671139705633791254782881602910\ 7333362579022128471011761438910580700387859615106045506141140412276\ 70695121523046264691846263189224824100272145683141894185897973/2771\ 4708925515450448928184237259352011258026818942667722802069805377529\ 2425438265946938154324260719157022245335180456979842119196613931110\ 5419475572204133422457709056*c_1001_12^28 - 2248751812668770830896943605308170082938156032333299225351135514661\ 8839839140891335728528906035738766186129392531585819444213617619344\ 57297453991573135476560024966277/8660846539223578265290057574143547\ 5035181333809195836633756468141804778882949458108418173226331474736\ 569451667243892806200662248941853472044358611631379169451803408*c_1\ 001_12^27 - 1801607976888510216983702539441581230277848357045484902\ 2351652641937840618933791420884971843591949677160715083292330269947\ 399386393334926620724186835744364640386609577/346433861568943130611\ 6023029657419001407253352367833465350258725672191155317978324336726\ 9290532589894627780666897557122480264899576741388817743444652551667\ 7807213632*c_1001_12^26 - 40857824104803780682783259202813860104476\ 2696896637747926034842557232112167962462720308253426584759869844276\ 6618645420748807780949806093896564739788510954590417495597/43304232\ 6961178913264502878707177375175906669045979183168782340709023894414\ 7472905420908661316573736828472583362194640310033112447092673602217\ 9305815689584725901704*c_1001_12^25 - 5353445962919636142764127981885572541581940971196769368667372520847\ 1028300535163433117894674978216339028641441023098093393467325321607\ 951885000405577749234317768825939/346433861568943130611602302965741\ 9001407253352367833465350258725672191155317978324336726929053258989\ 46277806668975571224802648995767413888177434446525516677807213632*c\ _1001_12^24 - 63640799221152453565354756781084894472689778774214459\ 4572825258843328079887465155025718179500269662375080115033225341327\ 553579482026901294911668013208060187839846526935/277147089255154504\ 4892818423725935201125802681894266772280206980537752924254382659469\ 3815432426071915702224533518045697984211919661393111054194755722041\ 33422457709056*c_1001_12^23 - 8674981126103518169360541828884499776\ 2808291410652733938189381393202960637050709942438219588999699529936\ 7693957443803882251668947125125506331372221358327342116535781765/27\ 7147089255154504489281842372593520112580268189426677228020698053775\ 2924254382659469381543242607191570222453351804569798421191966139311\ 105419475572204133422457709056*c_1001_12^22 - 1096695315309767851960903349507988518993204075094265191537914790806\ 8745176160562705742010286765004714701860784209697587882732809281445\ 43636873254097796276061033404667891/2771470892551545044892818423725\ 9352011258026818942667722802069805377529242543826594693815432426071\ 9157022245335180456979842119196613931110541947557220413342245770905\ 6*c_1001_12^21 - 64577560280222471048206986992909380319267296854082\ 7094542514558385479526176870587544468426494397218212491567502029416\ 907481439081846609949491123528685226246244178183521/138573544627577\ 2522446409211862967600562901340947133386140103490268876462127191329\ 7346907716213035957851112266759022848992105959830696555527097377861\ 02066711228854528*c_1001_12^20 - 1416160309105126015051717464177733\ 4220715673854852478193864261444669676575395223853763109952275823876\ 5804570114853311054894086399875071080883094581372823642582494148542\ 1/27714708925515450448928184237259352011258026818942667722802069805\ 3775292425438265946938154324260719157022245335180456979842119196613\ 9311105419475572204133422457709056*c_1001_12^19 - 8959870322647566985191795936378275740844533827754984307698000847030\ 5933851626070426771562567773775134573292064833297914131753179907262\ 600115053484736457819929731454499/173216930784471565305801151482870\ 9500703626676183916732675129362836095577658989162168363464526629494\ 73138903334487785612401324497883706944088717223262758338903606816*c\ _1001_12^18 - 68536757472621306695894494768648184581332309128787494\ 5280722615806443798698569278568108108204491557884930840224688864061\ 708950004977665608212072521600091230811825037161/138573544627577252\ 2446409211862967600562901340947133386140103490268876462127191329734\ 6907716213035957851112266759022848992105959830696555527097377861020\ 66711228854528*c_1001_12^17 - 1264259890680513033849924079386121068\ 9386213283833928500299248625208746609872703922329021830619694269610\ 98524503863018158310665920296792392680361791867534927865251963639/2\ 7714708925515450448928184237259352011258026818942667722802069805377\ 5292425438265946938154324260719157022245335180456979842119196613931\ 1105419475572204133422457709056*c_1001_12^16 - 1144542958793079576390386285651284517404830006634509225243540467643\ 8156489461013619265170778874307541925133412937885901769325424261382\ 17244106323405642279828065552873363/2771470892551545044892818423725\ 9352011258026818942667722802069805377529242543826594693815432426071\ 9157022245335180456979842119196613931110541947557220413342245770905\ 6*c_1001_12^15 - 51238371004323265776511400694745401489571286326769\ 0430307455712617447511489325840205734653943528633610869619310615845\ 316296896168790949100187989888471800048358655150351/138573544627577\ 2522446409211862967600562901340947133386140103490268876462127191329\ 7346907716213035957851112266759022848992105959830696555527097377861\ 02066711228854528*c_1001_12^14 - 9408639760575120996282742567550126\ 7231410927413410804970764542172198636617331240566137331097652901393\ 9838914953065563284636813451752881970308070576965275733920434327673\ /277147089255154504489281842372593520112580268189426677228020698053\ 7752924254382659469381543242607191570222453351804569798421191966139\ 311105419475572204133422457709056*c_1001_12^13 - 4409258335531205332022611407843217188675729909524385603072084736160\ 8659254312884919181904115913086547930591542992642334685147633429796\ 4277107437402909179060552610372737/13857354462757725224464092118629\ 6760056290134094713338614010349026887646212719132973469077162130359\ 5785111226675902284899210595983069655552709737786102066711228854528\ *c_1001_12^12 - 850009047257740892324857505998442414824218343567113\ 0506474889601308418087438442146423428264594880751164010428923380126\ 58467128150104805769855518795481544362235171397647/2771470892551545\ 0448928184237259352011258026818942667722802069805377529242543826594\ 6938154324260719157022245335180456979842119196613931110541947557220\ 4133422457709056*c_1001_12^11 - 78024961297828680824089555063725039\ 1514309818958017018341363297311808395174020753477437114195971566151\ 224844357198536145359392962732614443329696985146824450732929691025/\ 2771470892551545044892818423725935201125802681894266772280206980537\ 7529242543826594693815432426071915702224533518045697984211919661393\ 11105419475572204133422457709056*c_1001_12^10 - 6626357315388875767809254111700710082282391894319433382446473397527\ 1320209953334955489762584074063997084009667488817593372562801287892\ 7062381695657265283143798850088337/27714708925515450448928184237259\ 3520112580268189426677228020698053775292425438265946938154324260719\ 1570222453351804569798421191966139311105419475572204133422457709056\ *c_1001_12^9 - 5245494400405893144014878952852116521509857792621735\ 0527772409009019251190700691152572396657497864456740052490785293246\ 0916007974108272527195820194627522168448427233703/27714708925515450\ 4489281842372593520112580268189426677228020698053775292425438265946\ 9381543242607191570222453351804569798421191966139311105419475572204\ 133422457709056*c_1001_12^8 - 4064594189338399999229892065403880629\ 1340680916915252162022700398395358944151016176768517409145395678771\ 6269303755982461543916790803242132483066374865511505681383612713/27\ 7147089255154504489281842372593520112580268189426677228020698053775\ 2924254382659469381543242607191570222453351804569798421191966139311\ 105419475572204133422457709056*c_1001_12^7 - 1636563793346419901408659048556976808220824776375172541807606352989\ 6784837015401368657797762245870007425427338899554865725555607955508\ 0271358204126542553897506895685769/13857354462757725224464092118629\ 6760056290134094713338614010349026887646212719132973469077162130359\ 5785111226675902284899210595983069655552709737786102066711228854528\ *c_1001_12^6 - 1331465625295941905017378119042877871498683153394507\ 8052418524140406585844929545814123098045580749667013697643325303656\ 4904677309533555552894438363556001152514319347121/13857354462757725\ 2244640921186296760056290134094713338614010349026887646212719132973\ 4690771621303595785111226675902284899210595983069655552709737786102\ 066711228854528*c_1001_12^5 - 9285652403758042804613966850777689448\ 9536415604820538877210888134728924749943363683718604394444120212281\ 645079925490178558531609662823246484454697263698338255239005701/138\ 5735446275772522446409211862967600562901340947133386140103490268876\ 4621271913297346907716213035957851112266759022848992105959830696555\ 52709737786102066711228854528*c_1001_12^4 - 2795450311711873731267780181315506366594892005353945380575039885481\ 8721497339832815052753183863372422556238727302963452649425121769416\ 466033867695155905249774466033377/692867723137886261223204605931483\ 8002814506704735666930700517451344382310635956648673453858106517978\ 92555613337951142449605297991534827776354868893051033355614427264*c\ _1001_12^3 - 507648721989738177746752994186157953238989165520364733\ 0875140725646085672649133723489819524217817036241570218246715759686\ 5941446998354750824113449695997246867114682391/27714708925515450448\ 9281842372593520112580268189426677228020698053775292425438265946938\ 1543242607191570222453351804569798421191966139311105419475572204133\ 422457709056*c_1001_12^2 - 1870151355393309592273164418838005145367\ 2231129242281797422011658637026583293063738680769105992384154115904\ 24456327072361430546885744951038724721295106643696109854595/3464338\ 6156894313061160230296574190014072533523678334653502587256721911553\ 1797832433672692905325898946277806668975571224802648995767413888177\ 434446525516677807213632*c_1001_12 - 2444413760722303420402038338596968574771962356900577283734121881497\ 0017828432133086304059155233334511748306760970132317865534791344057\ 38906330442108105727340509372177/1385735446275772522446409211862967\ 6005629013409471333861401034902688764621271913297346907716213035957\ 85111226675902284899210595983069655552709737786102066711228854528, c_0011_11 - 16118588144392031502698167308620759105173309775852528533370\ 6888801786015994606090354829874284845512888860821138810188149662736\ 307427366277023168178438395918826991/166288253553092702693569105423\ 5561120675481609136560063368124188322651754552629595681628925945564\ 3149421334720110827418790527151796835866632516853433224800534746254\ 336*c_1001_12^37 - 855858482487419455204666634577077082823649720474\ 1166678607290211733384486065311856777289156471079056112567693799866\ 91010842172025443969904148760615212471373778551/5542941785103090089\ 7856368474518704022516053637885335445604139610755058485087653189387\ 6308648521438314044490670360913959684238393227862221083895114440826\ 6844915418112*c_1001_12^36 - 12866290900818025387811788993644124076\ 4187917008516285068699261153699047021438806379854612576877550366377\ 58650937045389182138174124139093887356342527574979945710225/8314412\ 6776546351346784552711778056033774080456828003168406209416132587727\ 6314797840814462972782157471066736005541370939526357589841793331625\ 8426716612400267373127168*c_1001_12^35 - 1368575237661135058680499012323345022124796373228748853192910501002\ 6093956127013845126401837536700253753625797172999069502125410862555\ 303824256681886599868108466723/138573544627577252244640921186296760\ 0562901340947133386140103490268876462127191329734690771621303595785\ 111226675902284899210595983069655552709737786102066711228854528*c_1\ 001_12^34 - 8425823367419653252599110324277993492620007752971418918\ 7882113685029272849473892073515189818600027420354786678490886623322\ 3856670812896309147821794554440577646254977/16628825355309270269356\ 9105423556112067548160913656006336812418832265175455262959568162892\ 5945564314942133472011082741879052715179683586663251685343322480053\ 4746254336*c_1001_12^33 - 17388367070710522486681664290183154949077\ 7711643830747027516673849827634407084181353139227252024158116777923\ 3709704285913434992343118705207991291389301091236140051189/83144126\ 7765463513467845527117780560337740804568280031684062094161325877276\ 3147978408144629727821574710667360055413709395263575898417933316258\ 426716612400267373127168*c_1001_12^32 - 1285053299535743661858542712396671001842081823018888923619839960085\ 0047559631339202643831437749128418833790446784104241775376850503413\ 045705626293906594981821970968015/166288253553092702693569105423556\ 1120675481609136560063368124188322651754552629595681628925945564314\ 9421334720110827418790527151796835866632516853433224800534746254336\ *c_1001_12^31 - 401368258584266803005293730082258151623958550432637\ 9810554772878350986453254448158985846660837813421651320049464222842\ 4154847297909020690589566510481987347881378618777/16628825355309270\ 2693569105423556112067548160913656006336812418832265175455262959568\ 1628925945564314942133472011082741879052715179683586663251685343322\ 4800534746254336*c_1001_12^30 - 36487072849962585047043036490487212\ 7289678347932665357952012487825149658083290703890096866506237089535\ 91737512327972681043656128129982634865707931328346648257313925181/5\ 5429417851030900897856368474518704022516053637885335445604139610755\ 0584850876531893876308648521438314044490670360913959684238393227862\ 2210838951144408266844915418112*c_1001_12^29 - 8978918187483060256099899411178234943839856680688438926002936878162\ 6219039826528233827726985539752011169157375611161122874106571860063\ 018804946623081471791830238766333/554294178510309008978563684745187\ 0402251605363788533544560413961075505848508765318938763086485214383\ 140444906703609139596842383932278622210838951144408266844915418112*\ c_1001_12^28 - 2901359449851540565303476354158535255278521027276767\ 6158418234721746927488513688151373646533602867754327673765976919178\ 5460595851292395405609570922849780560560924985601/83144126776546351\ 3467845527117780560337740804568280031684062094161325877276314797840\ 8144629727821574710667360055413709395263575898417933316258426716612\ 400267373127168*c_1001_12^27 - 186385825436876832820415018517734692\ 4071094573190344932930750210596926431122692366014973176122397277627\ 95610750471445761721423302341977035917920286510722562939859988811/2\ 7714708925515450448928184237259352011258026818942667722802069805377\ 5292425438265946938154324260719157022245335180456979842119196613931\ 1105419475572204133422457709056*c_1001_12^26 - 9767347322150630223262340025251158228182634083099992010587002092160\ 4181482036944851083794813831434199413196218614997120181188940618769\ 5270540738493484188599841676486785/83144126776546351346784552711778\ 0560337740804568280031684062094161325877276314797840814462972782157\ 4710667360055413709395263575898417933316258426716612400267373127168\ *c_1001_12^25 - 153009569926593558585265805216462421035537534939431\ 4630532560386452397506894436378697312023558351984722709156482387120\ 976287922890417566833018571386899937198436854873345/831441267765463\ 5134678455271177805603377408045682800316840620941613258772763147978\ 4081446297278215747106673600554137093952635758984179333162584267166\ 12400267373127168*c_1001_12^24 - 1448768116966799792079551563317566\ 9386784490954250325594721405176988089794341732056602446839450205216\ 1632691722720676784218203170235536554087943007293794639229569506567\ 7/55429417851030900897856368474518704022516053637885335445604139610\ 7550584850876531893876308648521438314044490670360913959684238393227\ 8622210838951144408266844915418112*c_1001_12^23 - 5670971161803231648031511798082887808920769806272295615722656388370\ 7587048813688417532654618254673039963357875020232161288801041196502\ 32732336362080819226455511019026759/1662882535530927026935691054235\ 5611206754816091365600633681241883226517545526295956816289259455643\ 1494213347201108274187905271517968358666325168534332248005347462543\ 36*c_1001_12^22 - 2295539328434876518314357201644263923430537301998\ 0180646413042120664985066010270182944649006463538766210551623290640\ 86715254327168413394034189898871072135910563601148873/5542941785103\ 0900897856368474518704022516053637885335445604139610755058485087653\ 1893876308648521438314044490670360913959684238393227862221083895114\ 4408266844915418112*c_1001_12^21 - 1295151834593334260700223665565056390043328666726766507835217551270\ 3857130132294085226177195635006190251187491917547531617525793568194\ 31482038128464150826006095489535345/2771470892551545044892818423725\ 9352011258026818942667722802069805377529242543826594693815432426071\ 9157022245335180456979842119196613931110541947557220413342245770905\ 6*c_1001_12^20 - 81202255504053616920639128626737290816787204029747\ 9949095620060453643470812437304456144914710578602348715891775254598\ 7541185496914018111705895662039939426411985750409067/16628825355309\ 2702693569105423556112067548160913656006336812418832265175455262959\ 5681628925945564314942133472011082741879052715179683586663251685343\ 3224800534746254336*c_1001_12^19 - 3867268058387837919467412158698165053073914301765794667157408611046\ 5798906651365292512841697440234555325108576471979146239710497264936\ 28094088302402163930346509555091119/8314412677654635134678455271177\ 8056033774080456828003168406209416132587727631479784081446297278215\ 7471066736005541370939526357589841793331625842671661240026737312716\ 8*c_1001_12^18 - 17848487371734525544807823689403788009267855497123\ 0841783983207124510919869856228504834137270733450309546208659321384\ 4350655189878085934917767312500916216063329653292711/41572063388273\ 1756733922763558890280168870402284140015842031047080662938638157398\ 9204072314863910787355333680027706854697631787949208966658129213358\ 306200133686563584*c_1001_12^17 - 213351074825291298441527426667103\ 4816961063716920679345273303188313273206979225955847736197350232286\ 0970814068294789717397887803990792591249457470093306051333429460262\ 53/5542941785103090089785636847451870402251605363788533544560413961\ 0755058485087653189387630864852143831404449067036091395968423839322\ 78622210838951144408266844915418112*c_1001_12^16 - 5734980977176319108791366599153074650733726852718758663738941179649\ 7281045394991180359214806583739576614066986398841801446268485303639\ 41208696506637234123622459570654497/1662882535530927026935691054235\ 5611206754816091365600633681241883226517545526295956816289259455643\ 1494213347201108274187905271517968358666325168534332248005347462543\ 36*c_1001_12^15 - 6282494706418863557986960257728121142608335605663\ 2149153868310886023383643701436624847857126687276996431978383729800\ 4765107111170292144113521255680719592472922190877107/20786031694136\ 5878366961381779445140084435201142070007921015523540331469319078699\ 4602036157431955393677666840013853427348815893974604483329064606679\ 153100066843281792*c_1001_12^14 - 479913562828606851188430537874891\ 4902212133746010349364383619869837463860455716014627256125536842878\ 9872366651213727485178007289325495566070902249846623552883706006537\ 89/1662882535530927026935691054235561120675481609136560063368124188\ 3226517545526295956816289259455643149421334720110827418790527151796\ 835866632516853433224800534746254336*c_1001_12^13 - 7596446845345789840209014781929549938083493543166729717990201883769\ 1195051101021872781857114594865935186120725689421597336483719669942\ 2111194269745997068113241174116315/27714708925515450448928184237259\ 3520112580268189426677228020698053775292425438265946938154324260719\ 1570222453351804569798421191966139311105419475572204133422457709056\ *c_1001_12^12 - 150358331501587557234814351684774848288781954970798\ 9186275777588177352263213325127049491391686059086080530614161118508\ 540566516531757082536311171360345891755669971347183/554294178510309\ 0089785636847451870402251605363788533544560413961075505848508765318\ 9387630864852143831404449067036091395968423839322786222108389511444\ 08266844915418112*c_1001_12^11 - 1274912357249744065204154942122953\ 0171241013617530093764642068661060575607170332989206095457555332081\ 1832171346546725174074523238627629107653745024423315202558173571058\ 7/55429417851030900897856368474518704022516053637885335445604139610\ 7550584850876531893876308648521438314044490670360913959684238393227\ 8622210838951144408266844915418112*c_1001_12^10 - 3102226485992773037156434981617556273208590186600038770647017021105\ 4789381920425934856746063749306880831654518466062764392328005020620\ 51444453815252979607157077640206747/1662882535530927026935691054235\ 5611206754816091365600633681241883226517545526295956816289259455643\ 1494213347201108274187905271517968358666325168534332248005347462543\ 36*c_1001_12^9 - 22775002852057064212633434835946758099499285289511\ 6385530810192127340230939289882343218862868221624632446897149716762\ 4200920690935201484638896317752337866067737465950655/16628825355309\ 2702693569105423556112067548160913656006336812418832265175455262959\ 5681628925945564314942133472011082741879052715179683586663251685343\ 3224800534746254336*c_1001_12^8 - 179532563436127602502315697488814\ 4779828331406786796861688209520910538346565495403103971345659346096\ 7613732543493316631953490416669196669803676694733107185510434160020\ 11/1662882535530927026935691054235561120675481609136560063368124188\ 3226517545526295956816289259455643149421334720110827418790527151796\ 835866632516853433224800534746254336*c_1001_12^7 - 6157324562667296255326759981313024676958186118867642599286929282193\ 6949656716418834555795374281859753119358036282339810629773264529938\ 735437490915234782814153005430367/692867723137886261223204605931483\ 8002814506704735666930700517451344382310635956648673453858106517978\ 92555613337951142449605297991534827776354868893051033355614427264*c\ _1001_12^6 - 288886585922197530493246925665959124012619915267054631\ 1139861432386156765526447939472655592002405442506768010181989507295\ 90022881081236304252977048657853380177245768429/4157206338827317567\ 3392276355889028016887040228414001584203104708066293863815739892040\ 7231486391078735533368002770685469763178794920896665812921335830620\ 0133686563584*c_1001_12^5 - 816439924877127398505802007512716476279\ 3970017152103540962779105689685634343621133532678645256287232288816\ 0091018257154755695996217379075100902787074965564765948640893/20786\ 0316941365878366961381779445140084435201142070007921015523540331469\ 3190786994602036157431955393677666840013853427348815893974604483329\ 064606679153100066843281792*c_1001_12^4 - 1603299580911895440387944528980140000489848810222011504796718843425\ 9051045408650777604593402598546513014313537844912931155886869299608\ 6466287615308225655179157375118137/83144126776546351346784552711778\ 0560337740804568280031684062094161325877276314797840814462972782157\ 4710667360055413709395263575898417933316258426716612400267373127168\ *c_1001_12^3 - 1665109723236123095586075354942643006988425584332690\ 2168509037212105303859577983653916211639687073200590836585044265250\ 142427789740036005102759561897031643062401095145/554294178510309008\ 9785636847451870402251605363788533544560413961075505848508765318938\ 7630864852143831404449067036091395968423839322786222108389511444082\ 66844915418112*c_1001_12^2 - 29753190271681452333083370506007757905\ 9473872626160270886230279373966081501889048994485519076242154547276\ 1754978544295486517750023845395419849507906908238553913154445/41572\ 0633882731756733922763558890280168870402284140015842031047080662938\ 6381573989204072314863910787355333680027706854697631787949208966658\ 129213358306200133686563584*c_1001_12 + 1951704930704633566117188814419754459649245162314265854660811741976\ 4873541764421250059812816977928932509189006901321844010930578132434\ 763503801111380970428310518823831/831441267765463513467845527117780\ 5603377408045682800316840620941613258772763147978408144629727821574\ 710667360055413709395263575898417933316258426716612400267373127168, c_0011_12 - 69899615590887620145326594307110087911285032099153788963044\ 1197160211139088875436721377021345819513705007959345465509315582289\ 08384526372440343600076460383469195/8314412677654635134678455271177\ 8056033774080456828003168406209416132587727631479784081446297278215\ 7471066736005541370939526357589841793331625842671661240026737312716\ 8*c_1001_12^37 - 38526783642900538547173039118746697093747485522034\ 6770926041527846181488585628019719320698873188647660405967855660949\ 165501461578000809231761308744451583973754583/277147089255154504489\ 2818423725935201125802681894266772280206980537752924254382659469381\ 5432426071915702224533518045697984211919661393111054194755722041334\ 22457709056*c_1001_12^36 - 5907942990749259807350295418159348792498\ 4934530122450091102853943378128188720695990056335405444775610778230\ 62685560556515053467761421481206096052999916553349703229/4157206338\ 8273175673392276355889028016887040228414001584203104708066293863815\ 7398920407231486391078735533368002770685469763178794920896665812921\ 3358306200133686563584*c_1001_12^35 - 6476718360124068110222618227820781432267309409993540609061820384173\ 9673467006482674455097287600074712850463086794238438458152303893216\ 32724603242519136803399753311/6928677231378862612232046059314838002\ 8145067047356669307005174513443823106359566486734538581065179789255\ 5613337951142449605297991534827776354868893051033355614427264*c_100\ 1_12^34 - 406088822558657799170261311203523367619021824865925467787\ 7409207041358412684459276162747118732458441093795873949153651018116\ 31997451668288454570305527594904613484285/8314412677654635134678455\ 2711778056033774080456828003168406209416132587727631479784081446297\ 2782157471066736005541370939526357589841793331625842671661240026737\ 3127168*c_1001_12^33 - 85765052766519438350344360563748717449793428\ 7275186970050771996538304929775517746427312874172249370469586409289\ 680696670362787791164396909237317366979658242199349475/415720633882\ 7317567339227635588902801688704022841400158420310470806629386381573\ 9892040723148639107873553336800277068546976317879492089666581292133\ 58306200133686563584*c_1001_12^32 - 6418590333141337384335269504952366337024475425426410080791655606088\ 2301204158974926738767753746868791797930493591911320749407268807796\ 91232873192363689215632578744703/8314412677654635134678455271177805\ 6033774080456828003168406209416132587727631479784081446297278215747\ 10667360055413709395263575898417933316258426716612400267373127168*c\ _1001_12^31 - 20526929268081507464724768525445904741788814878661922\ 6791044545519816469605516867306447127225091533173338081639146552751\ 06037340393105604225985937491669658478304951725/8314412677654635134\ 6784552711778056033774080456828003168406209416132587727631479784081\ 4462972782157471066736005541370939526357589841793331625842671661240\ 0267373127168*c_1001_12^30 - 19041889547436637918728459979333606963\ 4312416198416033874962245443190027711410584534253580804383668778478\ 11358112385249928095389609604415372304251437358355474636347349/2771\ 4708925515450448928184237259352011258026818942667722802069805377529\ 2425438265946938154324260719157022245335180456979842119196613931110\ 5419475572204133422457709056*c_1001_12^29 - 4769775431296535378404992603851739797637994334607430479621337118354\ 7774867957205971867476993033041954307525213094405754508863869050375\ 950013268726058236604986258146033/277147089255154504489281842372593\ 5201125802681894266772280206980537752924254382659469381543242607191\ 570222453351804569798421191966139311105419475572204133422457709056*\ c_1001_12^28 - 1581996404981814231154369052019849959125037879999806\ 1489158325132860386294984772514262330158650616120046438449982669741\ 2950338210314679981523523035456241165680290711491/41572063388273175\ 6733922763558890280168870402284140015842031047080662938638157398920\ 4072314863910787355333680027706854697631787949208966658129213358306\ 200133686563584*c_1001_12^27 - 104016356831171857476457933427986103\ 0343701090442005370366338641705603401793406273780178432599407962594\ 86067323160868425301711583087721184748646300468940982503243422405/1\ 3857354462757725224464092118629676005629013409471333861401034902688\ 7646212719132973469077162130359578511122667590228489921059598306965\ 5552709737786102066711228854528*c_1001_12^26 - 5584961178025154716600176552565288574917043131434323485141144328257\ 5362441353132282746724027792481114706314726778956062582842892746370\ 0406666367207494724699057999648655/41572063388273175673392276355889\ 0280168870402284140015842031047080662938638157398920407231486391078\ 7355333680027706854697631787949208966658129213358306200133686563584\ *c_1001_12^25 - 901237750118867844641885503598487472033381475771944\ 4932350155349892359295098590110920278688341789861130425377557261497\ 08641695620964919701160336928364377265544902951147/4157206338827317\ 5673392276355889028016887040228414001584203104708066293863815739892\ 0407231486391078735533368002770685469763178794920896665812921335830\ 6200133686563584*c_1001_12^24 - 87863882209671942930805406126826147\ 1071195072159257781928027337864677468573786841736934415027714084034\ 289152027607146631662601179478443490271460881187260381198997426261/\ 2771470892551545044892818423725935201125802681894266772280206980537\ 7529242543826594693815432426071915702224533518045697984211919661393\ 11105419475572204133422457709056*c_1001_12^23 - 3544431458024032239699369368816541488164710077739913818006790193995\ 1799963517470227520158862941930326402684896101438349959722279281567\ 01921224543356813754547324228872155/8314412677654635134678455271177\ 8056033774080456828003168406209416132587727631479784081446297278215\ 7471066736005541370939526357589841793331625842671661240026737312716\ 8*c_1001_12^22 - 14769976404499721193000606805697395717019743407431\ 8659369872424432576778834130594663295454000471945438021413194857601\ 3939782710301272850105602134150141457085341828107905/27714708925515\ 4504489281842372593520112580268189426677228020698053775292425438265\ 9469381543242607191570222453351804569798421191966139311105419475572\ 204133422457709056*c_1001_12^21 - 859865244583346881796131270603046\ 0836635834142880965252937724051198051949529302026516915746900572791\ 1141582569366111357896168784269735229968056221180618848703151084269\ 3/13857354462757725224464092118629676005629013409471333861401034902\ 6887646212719132973469077162130359578511122667590228489921059598306\ 9655552709737786102066711228854528*c_1001_12^20 - 5581947392447369534503477775847365523715901273160918449948914004712\ 9466445769897294420163089952591521783741636381769674058495899483820\ 84048207943598951750200512293625855/8314412677654635134678455271177\ 8056033774080456828003168406209416132587727631479784081446297278215\ 7471066736005541370939526357589841793331625842671661240026737312716\ 8*c_1001_12^19 - 27818645591463979934734785607305205741752105022120\ 5877904772720751146414736982268917112080871959078628540342731559196\ 8368105885551409911077587351407738654293813360561445/41572063388273\ 1756733922763558890280168870402284140015842031047080662938638157398\ 9204072314863910787355333680027706854697631787949208966658129213358\ 306200133686563584*c_1001_12^18 - 658688293629164352090008635168790\ 8945517714407207259565461242865764034218406802942437147758089877348\ 5890226597416563902308557211472055238268363379279400035314639317031\ 1/10393015847068293918348069088972257004221760057103500396050776177\ 0165734659539349730101807871597769683883342000692671367440794698730\ 2241664532303339576550033421640896*c_1001_12^17 - 1620369881664515205724629326381976441086976049508284844119566557272\ 0368785905148943312754916233428075001205218631562546335680844254334\ 20702355137428364368198134314502717/2771470892551545044892818423725\ 9352011258026818942667722802069805377529242543826594693815432426071\ 9157022245335180456979842119196613931110541947557220413342245770905\ 6*c_1001_12^16 - 43710245550945909436579313012217587141504207205544\ 5816047641952903762555006443489273924998670852273748973840689017914\ 7633356881734107650885365860771861643844857186291301/83144126776546\ 3513467845527117780560337740804568280031684062094161325877276314797\ 8408144629727821574710667360055413709395263575898417933316258426716\ 612400267373127168*c_1001_12^15 - 970631670281876259973149400363558\ 1866470980142705165387187006288754293571185388967101632157140836815\ 5203569648887956703273067016431236263752369119965791348228385493394\ 5/20786031694136587836696138177944514008443520114207000792101552354\ 0331469319078699460203615743195539367766684001385342734881589397460\ 4483329064606679153100066843281792*c_1001_12^14 - 3586052308970979564402531407228874622325963539235804260500578913637\ 4057833817048826461807460092388009424174581456307160234620173692334\ 08666683873767883437810991987690997/8314412677654635134678455271177\ 8056033774080456828003168406209416132587727631479784081446297278215\ 7471066736005541370939526357589841793331625842671661240026737312716\ 8*c_1001_12^13 - 56718044245801149712202963626177881946987022487116\ 2253389733430266648740469131196743096493906066807912361107137238946\ 557632874873039846451285734253629135187728537935331/138573544627577\ 2522446409211862967600562901340947133386140103490268876462127191329\ 7346907716213035957851112266759022848992105959830696555527097377861\ 02066711228854528*c_1001_12^12 - 1084573156757091158367393393305487\ 1371476247794840856076161846201825234963445638914304612061287692426\ 3239801192146594605099782691085341417371904945934235156458866985523\ 5/27714708925515450448928184237259352011258026818942667722802069805\ 3775292425438265946938154324260719157022245335180456979842119196613\ 9311105419475572204133422457709056*c_1001_12^11 - 9884732757381536743907943443241212428941373878682634667152020866717\ 2560701064874067674450969537809878965204406932727177302302959362394\ 2072651252321677289396465046083107/27714708925515450448928184237259\ 3520112580268189426677228020698053775292425438265946938154324260719\ 1570222453351804569798421191966139311105419475572204133422457709056\ *c_1001_12^10 - 246026527539827660660722931897731580711963895520751\ 2132891776770231252024010735052618796502928118545625991066041244675\ 627744780040959288668057710321134507838764679649383/831441267765463\ 5134678455271177805603377408045682800316840620941613258772763147978\ 4081446297278215747106673600554137093952635758984179333162584267166\ 12400267373127168*c_1001_12^9 - 19589038267387069886683481893656864\ 8794427728360716175317624683221436580678512949400138826948271895124\ 5466316569065098749546798577127744157023334878086588833657300090663\ /831441267765463513467845527117780560337740804568280031684062094161\ 3258772763147978408144629727821574710667360055413709395263575898417\ 933316258426716612400267373127168*c_1001_12^8 - 1523517900214321832215051067021363177258376003278849325238220028477\ 3936062071184228463883601070245612613038765151947697089631574238128\ 19399988858653695920875776071487567/8314412677654635134678455271177\ 8056033774080456828003168406209416132587727631479784081446297278215\ 7471066736005541370939526357589841793331625842671661240026737312716\ 8*c_1001_12^7 - 103742127764418024336595249012501363113575136911439\ 3848016026784552992435578197742893435102435038256927209729922811163\ 12380064065372337159450681462436866594515225016131/6928677231378862\ 6122320460593148380028145067047356669307005174513443823106359566486\ 7345385810651797892555613337951142449605297991534827776354868893051\ 033355614427264*c_1001_12^6 - 1216680615907479005125981768355206251\ 5997100765384566022541394971269243344541485044801080193913865287745\ 4387139891511919198917937214735340029602463717023470286575868797/10\ 3930158470682939183480690889722570042217600571035003960507761770165\ 7346595393497301018078715977696838833420006926713674407946987302241\ 664532303339576550033421640896*c_1001_12^5 - 1608840053291938860615235081884459793767672740836838204452682784152\ 7333092210519609276565860618658270170012266674043361937117933613237\ 2109391186730186178262350807567259/20786031694136587836696138177944\ 5140084435201142070007921015523540331469319078699460203615743195539\ 3677666840013853427348815893974604483329064606679153100066843281792\ *c_1001_12^4 - 1845295694322774188328059143799949094384190631981854\ 8545760716955508496611791460443725294125976948620195019351016251515\ 2534504906502616643761932625280872303846313431923/41572063388273175\ 6733922763558890280168870402284140015842031047080662938638157398920\ 4072314863910787355333680027706854697631787949208966658129213358306\ 200133686563584*c_1001_12^3 - 5710364708124636119077939789176446156\ 9004968745468481545813208453145892525993069430527429172681547479280\ 636678871865142186176533784264837073927420032842770470098168009/277\ 1470892551545044892818423725935201125802681894266772280206980537752\ 9242543826594693815432426071915702224533518045697984211919661393111\ 05419475572204133422457709056*c_1001_12^2 - 1380346884414592963379553937231556907551669954289862972801658208519\ 4656827276251539797391904665121312269183391406056198676389249754177\ 055793426150045371404488397182319/207860316941365878366961381779445\ 1400844352011420700079210155235403314693190786994602036157431955393\ 677666840013853427348815893974604483329064606679153100066843281792*\ c_1001_12 - 6437246269165158383444017349066027126518788812292193416\ 0114562574166711278221754933494545547763248040714569633322317314007\ 86282881373496117055448996388426872600353297/4157206338827317567339\ 2276355889028016887040228414001584203104708066293863815739892040723\ 1486391078735533368002770685469763178794920896665812921335830620013\ 3686563584, c_0011_13 - 14943300148947173588753794425887620710277324914760113479421\ 8479696402009996872744446402560920056502314842124699501714702252297\ 57933333090234413226600862283807165/2078603169413658783669613817794\ 4514008443520114207000792101552354033146931907869946020361574319553\ 9367766684001385342734881589397460448332906460667915310006684328179\ 2*c_1001_12^37 - 16083600663920057881918220128602783435906851927159\ 6481618299342073290481679313787503805144055433390500945667995544743\ 944490640064982035488223503691317262326886147/138573544627577252244\ 6409211862967600562901340947133386140103490268876462127191329734690\ 7716213035957851112266759022848992105959830696555527097377861020667\ 11228854528*c_1001_12^36 - 7619025318124536573948204228147161036872\ 8344355596934202965367712641047452489597283749704214012555312713443\ 450121492797719079490644287138413304389693536719128237/649563490441\ 7683698967543180607660627638600035689687747531735110635358416221209\ 3581313629919748606052427088750432919604650496686706390104033268958\ 723534377088852556*c_1001_12^35 - 131343674808818069647868055552186\ 1944369934210427086176792943551357399902318443172528939163726775382\ 437249006200033861454304368796821979385644278542860505915575883/173\ 2169307844715653058011514828709500703626676183916732675129362836095\ 5776589891621683634645266294947313890333448778561240132449788370694\ 4088717223262758338903606816*c_1001_12^34 - 4081521416945128773947974664119088516122301884985989900594681203256\ 3496659567405292825019094906572003181518447429961776936422378730464\ 773067603257333060097042324809/103930158470682939183480690889722570\ 0422176005710350039605077617701657346595393497301018078715977696838\ 833420006926713674407946987302241664532303339576550033421640896*c_1\ 001_12^33 - 6818029951585194746393754836540143993658813471900894100\ 9591757253529803740643928746830094706744694951262967682480732422539\ 5123390328002214811675996009165256779723221/41572063388273175673392\ 2763558890280168870402284140015842031047080662938638157398920407231\ 4863910787355333680027706854697631787949208966658129213358306200133\ 686563584*c_1001_12^32 - 253963196348082185086572934951314720318650\ 4560466172265127631933894197698700254905457441413240670746832113449\ 826944844260222744727156335751688592187907903823286916663/415720633\ 8827317567339227635588902801688704022841400158420310470806629386381\ 5739892040723148639107873553336800277068546976317879492089666581292\ 13358306200133686563584*c_1001_12^31 - 4017323243706651979470838806682763938648185481459125828097985017388\ 6175799544633665563755065429655451699318425636399635741167010402627\ 12177422930571114856208924796217/2078603169413658783669613817794451\ 4008443520114207000792101552354033146931907869946020361574319553936\ 77666840013853427348815893974604483329064606679153100066843281792*c\ _1001_12^30 - 74004101235263153191426331544040598513535443269201862\ 6589980270280952572611749209439915206968407468025322994643290342990\ 9521310275156080486666937057890627757370500991/13857354462757725224\ 4640921186296760056290134094713338614010349026887646212719132973469\ 0771621303595785111226675902284899210595983069655552709737786102066\ 711228854528*c_1001_12^29 - 921983977274189486271863625024170886782\ 4670872020080137641839391395911756906475690444444076284874267946419\ 607510336126964545044672955087860247831292895508663443198331/692867\ 7231378862612232046059314838002814506704735666930700517451344382310\ 6359566486734538581065179789255561333795114244960529799153482777635\ 4868893051033355614427264*c_1001_12^28 - 1212094630737780171596915772221451442853074270834927179207538701099\ 0980882408537785573080048658766940772581574893335776225027808802105\ 9226634761635164982463742598654551/41572063388273175673392276355889\ 0280168870402284140015842031047080662938638157398920407231486391078\ 7355333680027706854697631787949208966658129213358306200133686563584\ *c_1001_12^27 - 792713894683659581666949103949159442799616030034678\ 5578267221957542705891599975680492584370924938821903565858880617734\ 1476853441909894747631668855114343331092789024787/13857354462757725\ 2244640921186296760056290134094713338614010349026887646212719132973\ 4690771621303595785111226675902284899210595983069655552709737786102\ 066711228854528*c_1001_12^26 - 423431784590069044220298324953590542\ 6603609905083520364332366600110251960248149623897825673235520803619\ 60312399549848754876588144215898216727356720767313028490371413541/4\ 1572063388273175673392276355889028016887040228414001584203104708066\ 2938638157398920407231486391078735533368002770685469763178794920896\ 6658129213358306200133686563584*c_1001_12^25 - 6786771777219237109804259951489387361065142920906769531784076145447\ 7442542654461299616374387507867343721794077182081864242540082083578\ 2794800360649636128190558645512231/41572063388273175673392276355889\ 0280168870402284140015842031047080662938638157398920407231486391078\ 7355333680027706854697631787949208966658129213358306200133686563584\ *c_1001_12^24 - 329490570217726099294733195501784211404321421586025\ 0683301642780975286822073809370632937353753535998821234997392865173\ 40439396329174929191623436219126306337819271399947/1385735446275772\ 5224464092118629676005629013409471333861401034902688764621271913297\ 3469077162130359578511122667590228489921059598306965555270973778610\ 2066711228854528*c_1001_12^23 - 33109921948172994735303635459506151\ 3751438962842855666996443242210375591648250508254306844838959791760\ 967826021158097717044953072555885849769012427088817924853620871583/\ 1039301584706829391834806908897225700422176005710350039605077617701\ 6573465953934973010180787159776968388334200069267136744079469873022\ 41664532303339576550033421640896*c_1001_12^22 - 5501545943772135724715707279954540169015896751738150936966664705796\ 0981716088900615446295603252111083072391934419569663758023724209636\ 8489455780050478971499821073730819/13857354462757725224464092118629\ 6760056290134094713338614010349026887646212719132973469077162130359\ 5785111226675902284899210595983069655552709737786102066711228854528\ *c_1001_12^21 - 399054067850962845661155667474809613811915148212144\ 1638128707978392910152074155013831723478298968689424250701655472927\ 7679773746770178709737224061094292647453087770887/86608465392235782\ 6529005757414354750351813338091958366337564681418047788829494581084\ 1817322633147473656945166724389280620066224894185347204435861163137\ 9169451803408*c_1001_12^20 - 12922656554914911852388362491327248621\ 3005240814505386756801681177789882955446178373982138630690466912292\ 170661045559142762124105570364255998169995085487148567840646433/259\ 8253961767073479587017272243064251055440014275875099012694044254143\ 3664884837432525451967899442420970835500173167841860198674682556041\ 6133075834894137508355410224*c_1001_12^19 - 2054669981794147219995498776967911083768870717259838974989075544887\ 1017456798317586623206901520337788945200261211439512797521992619423\ 90321276899741507472697804576243589/4157206338827317567339227635588\ 9028016887040228414001584203104708066293863815739892040723148639107\ 8735533368002770685469763178794920896665812921335830620013368656358\ 4*c_1001_12^18 - 19559136198486528489236579799407625774909239362580\ 1515050223063964678799714318401453284147231688675635964009976358344\ 5323972557932153484040864319076503941442231109429783/41572063388273\ 1756733922763558890280168870402284140015842031047080662938638157398\ 9204072314863910787355333680027706854697631787949208966658129213358\ 306200133686563584*c_1001_12^17 - 599029947797974464353549629239764\ 7316430402871472237444351264940645323352694021379334647866658143623\ 2431513848419811509676605532420628480013490260249495583439290224038\ 5/13857354462757725224464092118629676005629013409471333861401034902\ 6887646212719132973469077162130359578511122667590228489921059598306\ 9655552709737786102066711228854528*c_1001_12^16 - 8125679979299472050214068511592101517077525517300152149258372629011\ 7102953188026637796092109217707489753147318932401402068672748846870\ 0668600642174707704893278799342821/20786031694136587836696138177944\ 5140084435201142070007921015523540331469319078699460203615743195539\ 3677666840013853427348815893974604483329064606679153100066843281792\ *c_1001_12^15 - 144750287188680246561312475517654057520711255571333\ 0942923078940088935179207503140035748030473895824335096372682081861\ 472321661437464185186925462957867900943728516720155/415720633882731\ 7567339227635588902801688704022841400158420310470806629386381573989\ 2040723148639107873553336800277068546976317879492089666581292133583\ 06200133686563584*c_1001_12^14 - 1348661693860892147948589316327506\ 5408720401208181578603251590928811285458414847474563617875904105917\ 5024334282331209051552854138894015791081657214182296532258735200115\ 1/41572063388273175673392276355889028016887040228414001584203104708\ 0662938638157398920407231486391078735533368002770685469763178794920\ 8966658129213358306200133686563584*c_1001_12^13 - 2107064813342255062839077396413051075797231223550956839051156851359\ 3814591938624025768215015911140858389661569479609936751507937154196\ 6630825245743989459346557266115413/69286772313788626122320460593148\ 3800281450670473566693070051745134438231063595664867345385810651797\ 892555613337951142449605297991534827776354868893051033355614427264*\ c_1001_12^12 - 1019564603405459619341440382710554635558293593537900\ 0159481836685874094644116076546123433692429929182265290376222750325\ 7516910033055651595036712272984147363367750830127/34643386156894313\ 0611602302965741900140725335236783346535025872567219115531797832433\ 6726929053258989462778066689755712248026489957674138881774344465255\ 16677807213632*c_1001_12^11 - 3639328534420052994100378604670115738\ 6925898568161615368714589863952056815225479726852458580746595842501\ 9044967194109045319179608050909404505777405045397292547737822509/13\ 8573544627577252244640921186296760056290134094713338614010349026887\ 6462127191329734690771621303595785111226675902284899210595983069655\ 552709737786102066711228854528*c_1001_12^10 - 4597591728569191194329807239584022777178118675714421123911810236781\ 6313761866725848581197782866800760118274560685145689499172477662981\ 6554759281390327353769434680853443/20786031694136587836696138177944\ 5140084435201142070007921015523540331469319078699460203615743195539\ 3677666840013853427348815893974604483329064606679153100066843281792\ *c_1001_12^9 - 7181004301774220288662862525620578353181963770649020\ 2001767208520636327129355887846472628635745126615799713762911387694\ 0968229373355023469814411547120633307959623247637/41572063388273175\ 6733922763558890280168870402284140015842031047080662938638157398920\ 4072314863910787355333680027706854697631787949208966658129213358306\ 200133686563584*c_1001_12^8 - 3523083143314113811397828846735302336\ 7093368969615433477234411712605211380293154374133350593894072032528\ 094381211219079942259801104500314458564664094548905244927465377/259\ 8253961767073479587017272243064251055440014275875099012694044254143\ 3664884837432525451967899442420970835500173167841860198674682556041\ 6133075834894137508355410224*c_1001_12^7 - 1544857271354605445721475823434728456813780272322480083742702331505\ 1675046481439401168531934002677283992565955178128645935804724469667\ 4021235161727431708522544548357333/13857354462757725224464092118629\ 6760056290134094713338614010349026887646212719132973469077162130359\ 5785111226675902284899210595983069655552709737786102066711228854528\ *c_1001_12^6 - 3625105129586791757477163692839410094128984901875839\ 0394941461568488558072673108566654959656922238770059064200323687247\ 6222881654834787399896684084437606712363509351469/41572063388273175\ 6733922763558890280168870402284140015842031047080662938638157398920\ 4072314863910787355333680027706854697631787949208966658129213358306\ 200133686563584*c_1001_12^5 - 2373045745895625656775900778903821961\ 0984533509039836716897517080170680457409826604780844576950740449465\ 5551356204744028479263211874822340698501429139746069443033486541/41\ 5720633882731756733922763558890280168870402284140015842031047080662\ 9386381573989204072314863910787355333680027706854697631787949208966\ 658129213358306200133686563584*c_1001_12^4 - 1441346390794685011907347117576115736425074366418765782693627995872\ 7883161276162268305999424173045877922033658366748225007902433301972\ 0346271186037921424002905937254915/41572063388273175673392276355889\ 0280168870402284140015842031047080662938638157398920407231486391078\ 7355333680027706854697631787949208966658129213358306200133686563584\ *c_1001_12^3 - 1942802359245517412006427567334313864479200620973947\ 6040348526026544179160300970186447093650197078061073029487746341103\ 020383728985595928187797365474264013718641874137/138573544627577252\ 2446409211862967600562901340947133386140103490268876462127191329734\ 6907716213035957851112266759022848992105959830696555527097377861020\ 66711228854528*c_1001_12^2 - 14053040262324573411833543214156332594\ 6408290179246079225086362018282782729087595177486407597911830159531\ 92337329188848758879128587116391681030758045203943464117190895/2078\ 6031694136587836696138177944514008443520114207000792101552354033146\ 9319078699460203615743195539367766684001385342734881589397460448332\ 9064606679153100066843281792*c_1001_12 - 3182905795127052369359851744451300336541802003577799152078892053612\ 4235623585220650905500783666423640724210219318999565234557136316525\ 83546511811712752656571083574979/2078603169413658783669613817794451\ 4008443520114207000792101552354033146931907869946020361574319553936\ 77666840013853427348815893974604483329064606679153100066843281792, c_0011_3 - 308635169615199060059201152649682014619605837701410686151429\ 7887938370194061615776223261081941786208900185700138333872218356508\ 32441854406801337415176475830701005/1662882535530927026935691054235\ 5611206754816091365600633681241883226517545526295956816289259455643\ 1494213347201108274187905271517968358666325168534332248005347462543\ 36*c_1001_12^37 - 1615571344207428064120278823003984641178530905233\ 8474757127221737917862611825552501865208298842759461192998945008746\ 29613654126273287733518742910660091539557170541/5542941785103090089\ 7856368474518704022516053637885335445604139610755058485087653189387\ 6308648521438314044490670360913959684238393227862221083895114440826\ 6844915418112*c_1001_12^36 - 24074408347773643625120334977255962030\ 8778865655434603115853790188763172197637470230563003726896180182483\ 46821190497937978520965063853715749460392028435733248183679/8314412\ 6776546351346784552711778056033774080456828003168406209416132587727\ 6314797840814462972782157471066736005541370939526357589841793331625\ 8426716612400267373127168*c_1001_12^35 - 2526171180132959814818795134039221438439724087126278132400239438739\ 1522348359504835201334752474580086052075182443530992645000472579834\ 507525009087357684257874857567/138573544627577252244640921186296760\ 0562901340947133386140103490268876462127191329734690771621303595785\ 111226675902284899210595983069655552709737786102066711228854528*c_1\ 001_12^34 - 1540464827175864350915692018115007472280191896497176854\ 3681293466129526435871656710963537522834594273607725367038443146058\ 01145079165678665604432027757198767942375755/1662882535530927026935\ 6910542355611206754816091365600633681241883226517545526295956816289\ 2594556431494213347201108274187905271517968358666325168534332248005\ 34746254336*c_1001_12^33 - 3141835130668679259750407022104150834009\ 3068900692584636787256618151054218140656311414118804490201025770636\ 92561824440048901089196664751931202064191363941067731987231/8314412\ 6776546351346784552711778056033774080456828003168406209416132587727\ 6314797840814462972782157471066736005541370939526357589841793331625\ 8426716612400267373127168*c_1001_12^32 - 2304882391998536847319854258150231084701609345009579161817702527242\ 2329620463619109512204822770542357464643664308959322608685062349860\ 490048791589731095066319560464869/166288253553092702693569105423556\ 1120675481609136560063368124188322651754552629595681628925945564314\ 9421334720110827418790527151796835866632516853433224800534746254336\ *c_1001_12^31 - 710930870779937053761348055959261982554628027730118\ 6057940980753633490098995526597838014532824252957976733216738234411\ 3700447102371954268152545310716813344682018553443/16628825355309270\ 2693569105423556112067548160913656006336812418832265175455262959568\ 1628925945564314942133472011082741879052715179683586663251685343322\ 4800534746254336*c_1001_12^30 - 63838046993944127445883898713926397\ 1179092259120171738497116388701423184320163093345369433071286328862\ 68649297710115963822062802513623785311784482254728161648366527959/5\ 5429417851030900897856368474518704022516053637885335445604139610755\ 0584850876531893876308648521438314044490670360913959684238393227862\ 2210838951144408266844915418112*c_1001_12^29 - 1554594561519545596621691460331464516172384740394865031763993105603\ 0036679037492801736437677544950189604905798792937934858861043740759\ 4897461914578086597510425784687847/55429417851030900897856368474518\ 7040225160536378853354456041396107550584850876531893876308648521438\ 3140444906703609139596842383932278622210838951144408266844915418112\ *c_1001_12^28 - 494694264265163603878615509040532442945592351851204\ 0269972799172118664579639161332346078994500470660300221579662742473\ 47202452659818016446191309687804996868288233344871/8314412677654635\ 1346784552711778056033774080456828003168406209416132587727631479784\ 0814462972782157471066736005541370939526357589841793331625842671661\ 2400267373127168*c_1001_12^27 - 31305108120774765230840898169402753\ 0803532867138255489694544094181962873115771394357030130338688262386\ 410835919418401638413514561085641116218332970815331244840103433129/\ 2771470892551545044892818423725935201125802681894266772280206980537\ 7529242543826594693815432426071915702224533518045697984211919661393\ 11105419475572204133422457709056*c_1001_12^26 - 1616808987748680505080795624418436782158605751956356577552930758713\ 0480276810846154543888480579555574060056907744815096437622159758337\ 13342613953447658841029986802063575/8314412677654635134678455271177\ 8056033774080456828003168406209416132587727631479784081446297278215\ 7471066736005541370939526357589841793331625842671661240026737312716\ 8*c_1001_12^25 - 24870431549254962853486470864301564171451549465646\ 1012944950560750288848955103231379489973798206073792997073238765884\ 1074245446881826942207776223716251048400045140569075/83144126776546\ 3513467845527117780560337740804568280031684062094161325877276314797\ 8408144629727821574710667360055413709395263575898417933316258426716\ 612400267373127168*c_1001_12^24 - 231139305523955027032993038267251\ 2015507479703691972564014534125865370142862654472788016018376720965\ 1867009426789194543146278617892183435956734725046457336409868766620\ 79/5542941785103090089785636847451870402251605363788533544560413961\ 0755058485087653189387630864852143831404449067036091395968423839322\ 78622210838951144408266844915418112*c_1001_12^23 - 8891648968827591344662722970930160113963881086045865634117678423286\ 8545337363269871134481172187588696886216192228036197731784412862128\ 19607926944490237614446063329306029/1662882535530927026935691054235\ 5611206754816091365600633681241883226517545526295956816289259455643\ 1494213347201108274187905271517968358666325168534332248005347462543\ 36*c_1001_12^22 - 3542009335113709499140369659337431230743452128528\ 4787676416221031310421849458189486409625365185724127659773831790547\ 93480292850186272729670783334688578678744099094074939/5542941785103\ 0900897856368474518704022516053637885335445604139610755058485087653\ 1893876308648521438314044490670360913959684238393227862221083895114\ 4408266844915418112*c_1001_12^21 - 1963164139842667565289925247358296875963737381536083827808410918516\ 2115504640535337759826952900930580381547312905296135450156085789128\ 95965954260985545788292939144602715/2771470892551545044892818423725\ 9352011258026818942667722802069805377529242543826594693815432426071\ 9157022245335180456979842119196613931110541947557220413342245770905\ 6*c_1001_12^20 - 12060844672151430494285560120704726943261175013675\ 8513952576393400841508487751891036178399583793685962773954097990513\ 16524696313300167428527509151848514888922788389684417/1662882535530\ 9270269356910542355611206754816091365600633681241883226517545526295\ 9568162892594556431494213347201108274187905271517968358666325168534\ 33224800534746254336*c_1001_12^19 - 5592613040815317923062050797667722244759859322158120024544704612281\ 0883656477495579036054667216613433490112080898184739371115530930567\ 94427117751329931497762817296159489/8314412677654635134678455271177\ 8056033774080456828003168406209416132587727631479784081446297278215\ 7471066736005541370939526357589841793331625842671661240026737312716\ 8*c_1001_12^18 - 25591832264908387213975499877682361197390669331908\ 1937280093263832916912678853677961908835761486607736903021504994328\ 5128297731944127276926081929828331452106060814148645/41572063388273\ 1756733922763558890280168870402284140015842031047080662938638157398\ 9204072314863910787355333680027706854697631787949208966658129213358\ 306200133686563584*c_1001_12^17 - 303944634097727094594833641124491\ 3274691718769552648262465176478885441750426367043484328227831374164\ 5732958055868765930913557523228037976327195036593261821587770824003\ 35/5542941785103090089785636847451870402251605363788533544560413961\ 0755058485087653189387630864852143831404449067036091395968423839322\ 78622210838951144408266844915418112*c_1001_12^16 - 8164385628110882970300971173292840093944355390892051754305030777932\ 2582134099057786957346892575557328050083413403661575042768017399406\ 31942263753656599434978605892405371/1662882535530927026935691054235\ 5611206754816091365600633681241883226517545526295956816289259455643\ 1494213347201108274187905271517968358666325168534332248005347462543\ 36*c_1001_12^15 - 8905059806396006721446182823491815609533220394940\ 2371251416752903571660949264824480208806974266145089456307873237178\ 4097092277165438099724422663204486243885739023396709/20786031694136\ 5878366961381779445140084435201142070007921015523540331469319078699\ 4602036157431955393677666840013853427348815893974604483329064606679\ 153100066843281792*c_1001_12^14 - 699188474034731963801173316270233\ 3798427890539962799898791297432135707407272928195059020554422620911\ 0323591602200277905676190679943106118918490000476642494920845350733\ 27/1662882535530927026935691054235561120675481609136560063368124188\ 3226517545526295956816289259455643149421334720110827418790527151796\ 835866632516853433224800534746254336*c_1001_12^13 - 1103798747678077423386347666292827247714705615075872189831479660885\ 7127717152997830473599532341160898887067282061143778943825715239625\ 36402980127232458186762840898582125/2771470892551545044892818423725\ 9352011258026818942667722802069805377529242543826594693815432426071\ 9157022245335180456979842119196613931110541947557220413342245770905\ 6*c_1001_12^12 - 21975214587173295862317098886575440615714115321956\ 6548497228043278001946498765923254558925106318039430898366234448162\ 2391869717770253764280035424979771286487894976205925/55429417851030\ 9008978563684745187040225160536378853354456041396107550584850876531\ 8938763086485214383140444906703609139596842383932278622210838951144\ 408266844915418112*c_1001_12^11 - 178323705104659935096637541212418\ 2898403903559535918470036794945971223127100420528431158755455758689\ 4691883582434131550579230540928058171490730703023024049563532666340\ 33/5542941785103090089785636847451870402251605363788533544560413961\ 0755058485087653189387630864852143831404449067036091395968423839322\ 78622210838951144408266844915418112*c_1001_12^10 - 4245009227856890756974281649477249807054018343192446349135426297419\ 5608172052215543430358251836155238028278927092975627902209921961581\ 61453616785463408096972408924517953/1662882535530927026935691054235\ 5611206754816091365600633681241883226517545526295956816289259455643\ 1494213347201108274187905271517968358666325168534332248005347462543\ 36*c_1001_12^9 - 30025159451297232675573648160014969728678869098701\ 8124993412023369164184617130081420309391119407890078027982129534800\ 4833975969291410200634341832300727282268238648311141/16628825355309\ 2702693569105423556112067548160913656006336812418832265175455262959\ 5681628925945564314942133472011082741879052715179683586663251685343\ 3224800534746254336*c_1001_12^8 - 242930587022140675486711626929065\ 3675729093247128246816143361563890901259790348595010700025635516605\ 0129995175784307346536134353722856716035058090217585600563197344940\ 57/1662882535530927026935691054235561120675481609136560063368124188\ 3226517545526295956816289259455643149421334720110827418790527151796\ 835866632516853433224800534746254336*c_1001_12^7 - 8781635643831031124374338333906221179634816981051024935506044918602\ 2252046495792479626759345428268172933656962315387632509389283533978\ 495990131290315868523097815163081/692867723137886261223204605931483\ 8002814506704735666930700517451344382310635956648673453858106517978\ 92555613337951142449605297991534827776354868893051033355614427264*c\ _1001_12^6 - 392470381483580480479697881758798027332621851000031530\ 5123492757324984835330493445894174478843708528452970242154342558617\ 03381981996856502673232265259159346900904587797/4157206338827317567\ 3392276355889028016887040228414001584203104708066293863815739892040\ 7231486391078735533368002770685469763178794920896665812921335830620\ 0133686563584*c_1001_12^5 - 931794569711108315081069919137783574916\ 8643196768386603590470853172638572382552824152344849702850396251818\ 3618074420672189792294312380870096668969593127970318285749459/20786\ 0316941365878366961381779445140084435201142070007921015523540331469\ 3190786994602036157431955393677666840013853427348815893974604483329\ 064606679153100066843281792*c_1001_12^4 - 1648041287643364983596018993945735091499490309535511315499739120916\ 3825092917945615836814106204198968059830268865640710397122288227606\ 0679827842974893028494133192280511/83144126776546351346784552711778\ 0560337740804568280031684062094161325877276314797840814462972782157\ 4710667360055413709395263575898417933316258426716612400267373127168\ *c_1001_12^3 + 1524261644969401270664195050071215626431519612300373\ 0976972696917894403769876530862816660564859149298854567062783876592\ 783819077883880612152685739183121902512551088629/554294178510309008\ 9785636847451870402251605363788533544560413961075505848508765318938\ 7630864852143831404449067036091395968423839322786222108389511444082\ 66844915418112*c_1001_12^2 + 25703639794714415014962397181349193151\ 0539273986768643403198713647191594174446938536655171938487665226830\ 1774057140191770021191404142677768763700692959701198192458309/41572\ 0633882731756733922763558890280168870402284140015842031047080662938\ 6381573989204072314863910787355333680027706854697631787949208966658\ 129213358306200133686563584*c_1001_12 + 2703003293888776551160987677504317402230837327427802150123393681661\ 4240340432973640985768899298348128166488320105281812758210288043345\ 694130230048864929433205035038837/831441267765463513467845527117780\ 5603377408045682800316840620941613258772763147978408144629727821574\ 710667360055413709395263575898417933316258426716612400267373127168, c_0011_8 + 743835453932716886969388389052989174137390775687120880695878\ 3379485256948452758423010775457494146730828731975613267680038416185\ 502846518605225681146841044329051/831441267765463513467845527117780\ 5603377408045682800316840620941613258772763147978408144629727821574\ 710667360055413709395263575898417933316258426716612400267373127168*\ c_1001_12^37 + 2855260119670045916095690991867094496901702766208719\ 7448683483306217093665625557040498383292960012852028855820255151509\ 168751025827779359612422287276772006460855/138573544627577252244640\ 9211862967600562901340947133386140103490268876462127191329734690771\ 6213035957851112266759022848992105959830696555527097377861020667112\ 28854528*c_1001_12^36 + 6365394581896562567275959676760103765231485\ 1042808596583190203843965308464156427357514545958716521429720987624\ 864095123883028089312031514415884322809526287925081/259825396176707\ 3479587017272243064251055440014275875099012694044254143366488483743\ 2525451967899442420970835500173167841860198674682556041613307583489\ 4137508355410224*c_1001_12^35 + 16836220943935095665039279540678455\ 3864283956631828026870290189372156477466079191474404460461402149963\ 626179438118518585190454535019164072450994870852330823902079/866084\ 6539223578265290057574143547503518133380919583663375646814180477888\ 2949458108418173226331474736569451667243892806200662248941853472044\ 358611631379169451803408*c_1001_12^34 + 9434000987845925010111895005982304284197685655196533318555262050549\ 3718557894030034989369043089582628742740324127302113692461415910409\ 534559712371538791176185091209/831441267765463513467845527117780560\ 3377408045682800316840620941613258772763147978408144629727821574710\ 667360055413709395263575898417933316258426716612400267373127168*c_1\ 001_12^33 + 4482884981406612898064710615657074947198059195352760462\ 3613786540354270047349979374544128703017998951255653985269731431889\ 4273351480620712352032529438942457562671729/83144126776546351346784\ 5527117780560337740804568280031684062094161325877276314797840814462\ 9727821574710667360055413709395263575898417933316258426716612400267\ 373127168*c_1001_12^32 + 898044217827566317662689898166175474820192\ 0292598830745361593556403607984326424102596301270430635046479012442\ 94003169145536600031382815682673900770965841022063039693/4157206338\ 8273175673392276355889028016887040228414001584203104708066293863815\ 7398920407231486391078735533368002770685469763178794920896665812921\ 3358306200133686563584*c_1001_12^31 + 6343728632546083186594797489354562800047990330937796070926479102317\ 2484821640411688725309095393684322009094564284241847253748075638088\ 12071939023081792070640777655019/8314412677654635134678455271177805\ 6033774080456828003168406209416132587727631479784081446297278215747\ 10667360055413709395263575898417933316258426716612400267373127168*c\ _1001_12^30 + 40147257878066871747492752501854020166339970902876435\ 2714945573211557950201561418953556533392961053411786749269917968818\ 927235606377318139839061848350571102263147737/173216930784471565305\ 8011514828709500703626676183916732675129362836095577658989162168363\ 4645266294947313890333448778561240132449788370694408871722326275833\ 8903606816*c_1001_12^29 + 17281638528438135610161052768415832039496\ 0869087320850645519589245212703076112507153074817992706651826649374\ 45827404066513258618980890751157158024979808758418199396549/2771470\ 8925515450448928184237259352011258026818942667722802069805377529242\ 5438265946938154324260719157022245335180456979842119196613931110541\ 9475572204133422457709056*c_1001_12^28 + 1251454842251152275885530907235233067967000083276587297961338011989\ 4334922160047793317285299448698476399881770597766853748977803669582\ 0692429852706374637081123362437095/83144126776546351346784552711778\ 0560337740804568280031684062094161325877276314797840814462972782157\ 4710667360055413709395263575898417933316258426716612400267373127168\ *c_1001_12^27 + 891284084208712859666816936569464262592733628458104\ 2209114089731726818654007341411515321446293384833991930909208412119\ 9174120233773072442990385385126640978329457476317/27714708925515450\ 4489281842372593520112580268189426677228020698053775292425438265946\ 9381543242607191570222453351804569798421191966139311105419475572204\ 133422457709056*c_1001_12^26 + 514740733142772647671838855447657887\ 0920560338736249740614324680585257921169601448884909143979679382671\ 66896884816900776763939043651757209389236155901576702963515496115/8\ 3144126776546351346784552711778056033774080456828003168406209416132\ 5877276314797840814462972782157471066736005541370939526357589841793\ 3316258426716612400267373127168*c_1001_12^25 + 8972461484356334793908936578380376354329117492410903758497821002778\ 4499525669863579610971535226412654053502266993557039662438224267944\ 6349788136388785182417075254213571/83144126776546351346784552711778\ 0560337740804568280031684062094161325877276314797840814462972782157\ 4710667360055413709395263575898417933316258426716612400267373127168\ *c_1001_12^24 + 588338416829128685866042969311506690473648938175135\ 3169564273834132987912147798138726451833831761636297695371618911861\ 0976279993679239718402519241131026675436523738157/34643386156894313\ 0611602302965741900140725335236783346535025872567219115531797832433\ 6726929053258989462778066689755712248026489957674138881774344465255\ 16677807213632*c_1001_12^23 + 2026277948377214742151172410469448995\ 3338107329906835575853231470704399977160222877223115742828861029803\ 45054399023818179423788711429345597679876799267600834353778132979/8\ 3144126776546351346784552711778056033774080456828003168406209416132\ 5877276314797840814462972782157471066736005541370939526357589841793\ 3316258426716612400267373127168*c_1001_12^22 + 2227922554216015454111616789861788154811575459869323233898987159407\ 1309038974763787689411011954154864963479163180691766029353437079449\ 3152051621030262186437507766317449/69286772313788626122320460593148\ 3800281450670473566693070051745134438231063595664867345385810651797\ 892555613337951142449605297991534827776354868893051033355614427264*\ c_1001_12^21 + 5466819897760727468342969338404836009511580065991209\ 9401906326826869279516419530989693729810992006752249137882190957506\ 1979670190581118208889488303886971210926111743545/13857354462757725\ 2244640921186296760056290134094713338614010349026887646212719132973\ 4690771621303595785111226675902284899210595983069655552709737786102\ 066711228854528*c_1001_12^20 + 374795409656003086334655211885320991\ 5860896948746777574916842550891007097201682198450631353616446975863\ 592116971322152072284782132515776879238336210725772518246317111969/\ 8314412677654635134678455271177805603377408045682800316840620941613\ 2587727631479784081446297278215747106673600554137093952635758984179\ 33316258426716612400267373127168*c_1001_12^19 + 3976872014109665939931066933021929087042341447893100213410621426627\ 8841082553116543708744073679546502508413882450839026457170616795264\ 20520028158483475592927435259190289/8314412677654635134678455271177\ 8056033774080456828003168406209416132587727631479784081446297278215\ 7471066736005541370939526357589841793331625842671661240026737312716\ 8*c_1001_12^18 + 38927970120737573405731694618591768973690767542289\ 4617712621680116490824832556695766648585084609934122700078422743875\ 2303374532030034350070773583878333300145849944259655/83144126776546\ 3513467845527117780560337740804568280031684062094161325877276314797\ 8408144629727821574710667360055413709395263575898417933316258426716\ 612400267373127168*c_1001_12^17 + 304167523660238839086114669933914\ 8342566083288041188710557700338268848169844615454946738842386406213\ 3684585962125401198086972706289336611893837065963286752645188947692\ 3/69286772313788626122320460593148380028145067047356669307005174513\ 4438231063595664867345385810651797892555613337951142449605297991534\ 827776354868893051033355614427264*c_1001_12^16 + 3292096333176529020966089622926961355480684147610969287353680879563\ 3704281475514527500838133023520789557205702796092221137653630967160\ 98691930420549423145223872186487393/8314412677654635134678455271177\ 8056033774080456828003168406209416132587727631479784081446297278215\ 7471066736005541370939526357589841793331625842671661240026737312716\ 8*c_1001_12^15 + 29761504002616811921957526801966809160772497321284\ 5088451805236152143812867721016498707063844410976719767113289736336\ 3531564873065228528668798621567441494082349379415599/83144126776546\ 3513467845527117780560337740804568280031684062094161325877276314797\ 8408144629727821574710667360055413709395263575898417933316258426716\ 612400267373127168*c_1001_12^14 + 132426780252153738619105355691484\ 2313504632039436906248446844075035598384084830001233721578569076838\ 4903858790508998447537465711128001853393955352412860767628259071229\ 01/4157206338827317567339227635588902801688704022841400158420310470\ 8066293863815739892040723148639107873553336800277068546976317879492\ 08966658129213358306200133686563584*c_1001_12^13 + 1028145255979894641653776749227116092296820714260225526133566831774\ 3767094477806132742789459766180388174864014807120876157300267161225\ 6533460254643689545954001475995893/34643386156894313061160230296574\ 1900140725335236783346535025872567219115531797832433672692905325898\ 946277806668975571224802648995767413888177434446525516677807213632*\ c_1001_12^12 + 7748504457275899856816638974639052589174191849164632\ 5840003186727427989639859363337300798045745856590339080883669581293\ 8591155719682024173520821773342497207351018579647/27714708925515450\ 4489281842372593520112580268189426677228020698053775292425438265946\ 9381543242607191570222453351804569798421191966139311105419475572204\ 133422457709056*c_1001_12^11 + 951668014412734390240792507984633989\ 0328140090170645953999670486452265499727018054792255098924954237695\ 6603790406738879621581519792471876876671162932899245267888342257/34\ 6433861568943130611602302965741900140725335236783346535025872567219\ 1155317978324336726929053258989462778066689755712248026489957674138\ 88177434446525516677807213632*c_1001_12^10 + 1985903721741517630357621654178849664791278655830785852732447345770\ 7910631950167408008525367909033683249273533124245464528473694128400\ 85627473189919147275530823301143763/8314412677654635134678455271177\ 8056033774080456828003168406209416132587727631479784081446297278215\ 7471066736005541370939526357589841793331625842671661240026737312716\ 8*c_1001_12^9 + 417104827255153086904689884305795563518895929857145\ 7572854183607653792392578202087009778166961129219616005297684857250\ 22702120260799528489171243490542532144109772431953/2078603169413658\ 7836696138177944514008443520114207000792101552354033146931907869946\ 0203615743195539367766684001385342734881589397460448332906460667915\ 3100066843281792*c_1001_12^8 + 125993859577518366456659591226619181\ 4927406495944899601322128720599468789574590528660555314191304110210\ 952970494475568792799235245768064525245312714801393463189141488123/\ 8314412677654635134678455271177805603377408045682800316840620941613\ 2587727631479784081446297278215747106673600554137093952635758984179\ 33316258426716612400267373127168*c_1001_12^7 + 3299250510362636641230170953160274337425138493564400178892385757745\ 3452855539128323541711533397368698125785627181287636045238551180459\ 9623080277951105502623199289373015/27714708925515450448928184237259\ 3520112580268189426677228020698053775292425438265946938154324260719\ 1570222453351804569798421191966139311105419475572204133422457709056\ *c_1001_12^6 + 8018682061529556685867576834581836637264354321735524\ 3582194930706188900059586008226634118809826017363775841171188057949\ 1096492953111418748548599502110100268529608429719/83144126776546351\ 3467845527117780560337740804568280031684062094161325877276314797840\ 8144629727821574710667360055413709395263575898417933316258426716612\ 400267373127168*c_1001_12^5 + 6242186979519145991774923525281092431\ 3312040384698918348503644110814510368804710525813758779930906319586\ 8250337587871080337263333970833845719561719756839140704674642717/83\ 1441267765463513467845527117780560337740804568280031684062094161325\ 8772763147978408144629727821574710667360055413709395263575898417933\ 316258426716612400267373127168*c_1001_12^4 + 4069357505289150410633593865201630817899854754914558721856077551701\ 7895999253967518694525485075291140312776080515488929772180283748160\ 1808870073859503421609938410514021/83144126776546351346784552711778\ 0560337740804568280031684062094161325877276314797840814462972782157\ 4710667360055413709395263575898417933316258426716612400267373127168\ *c_1001_12^3 + 3670861016143269623366517746476297519138462078028016\ 6791338646715823284454522994242941368422267207645471136648879122800\ 992765758004057314054984881250192670668752368161/138573544627577252\ 2446409211862967600562901340947133386140103490268876462127191329734\ 6907716213035957851112266759022848992105959830696555527097377861020\ 66711228854528*c_1001_12^2 + 36899161903118694865024665422392286080\ 2949438495006194767000097819605677640934541190902137520667444347212\ 70368362401284717734955160450382453618779043353713750132646333/4157\ 2063388273175673392276355889028016887040228414001584203104708066293\ 8638157398920407231486391078735533368002770685469763178794920896665\ 8129213358306200133686563584*c_1001_12 + 4151610411297798096348179464822874661458378801531818648182093501313\ 5301081005892199373689249822498597969089805620751840850292864980198\ 06333241038271730828317926569633/1039301584706829391834806908897225\ 7004221760057103500396050776177016573465953934973010180787159776968\ 38833420006926713674407946987302241664532303339576550033421640896, c_0101_0 + 940876226537401276758847907542045846302320819699362694644415\ 5335863526095456452065627087106231179290511884367385524740383293839\ 6897379799664348041165578433811351/16628825355309270269356910542355\ 6112067548160913656006336812418832265175455262959568162892594556431\ 4942133472011082741879052715179683586663251685343322480053474625433\ 6*c_1001_12^37 + 53035683862751903682499486702366928927645092509647\ 2838982366120482566098884795774695855286852332643610367410099267104\ 814034132303807086399234100141878450982218755/554294178510309008978\ 5636847451870402251605363788533544560413961075505848508765318938763\ 0864852143831404449067036091395968423839322786222108389511444082668\ 44915418112*c_1001_12^36 + 8225509103815746797196384274340903960166\ 9093868370951033989846595895463604273737219349988397574205963262911\ 77668490959683513461446046676288295795602372385991223653/8314412677\ 6546351346784552711778056033774080456828003168406209416132587727631\ 4797840814462972782157471066736005541370939526357589841793331625842\ 6716612400267373127168*c_1001_12^35 + 9164758504172161916075652851036175446921969953740061557555736091910\ 9347560077652578531107075143988733951192404313063031035443669027735\ 51205832778739729605319969011/1385735446275772522446409211862967600\ 5629013409471333861401034902688764621271913297346907716213035957851\ 11226675902284899210595983069655552709737786102066711228854528*c_10\ 01_12^34 + 57975540597053068836745382493578915181013750884152168239\ 8677108632514072569361367995224790369154559178005769677216447817182\ 123606977452786641137563536817918659066921/166288253553092702693569\ 1054235561120675481609136560063368124188322651754552629595681628925\ 9455643149421334720110827418790527151796835866632516853433224800534\ 746254336*c_1001_12^33 + 123729894387143263050447648671869729323097\ 8052498354124915149600686870862857379270063263592981109977974118582\ 589716842459328771120386852724643584607175450398364050215/831441267\ 7654635134678455271177805603377408045682800316840620941613258772763\ 1479784081446297278215747106673600554137093952635758984179333162584\ 26716612400267373127168*c_1001_12^32 + 9303548525928150298359827068099208138648997971807429433917077269918\ 4507433654765938703809139158747067408900050026252841628523145544668\ 85098873442662130361142926243371/1662882535530927026935691054235561\ 1206754816091365600633681241883226517545526295956816289259455643149\ 421334720110827418790527151796835866632516853433224800534746254336*\ c_1001_12^31 + 3003228237737724407273912591117784054129044604341422\ 5528764374746381386859084788405705589988814168374815152950504605536\ 146143435316807898998525760199180718919238954985/166288253553092702\ 6935691054235561120675481609136560063368124188322651754552629595681\ 6289259455643149421334720110827418790527151796835866632516853433224\ 800534746254336*c_1001_12^30 + 280529588470936106793813891478389903\ 2105461509332007531132128606387592303792164634298007305450634949430\ 8620288272455618594279257504625800495184945271532370212614445081/55\ 4294178510309008978563684745187040225160536378853354456041396107550\ 5848508765318938763086485214383140444906703609139596842383932278622\ 210838951144408266844915418112*c_1001_12^29 + 7057546642543813782446084620014913668044457568425372990628963710468\ 1733835040587102992393632179074026452513989130911210715186339850352\ 930506574570501164152827409153205/554294178510309008978563684745187\ 0402251605363788533544560413961075505848508765318938763086485214383\ 140444906703609139596842383932278622210838951144408266844915418112*\ c_1001_12^28 + 2358013293677907173315716316887772746200846554739647\ 1130195449624348121444383633519317659144235577167505089612951602652\ 8903970419018974934330712920444675014253493847439/83144126776546351\ 3467845527117780560337740804568280031684062094161325877276314797840\ 8144629727821574710667360055413709395263575898417933316258426716612\ 400267373127168*c_1001_12^27 + 155746549697699190868443335032620329\ 8607108769170281134885796347522789803091188213201163036426102435406\ 55203977079269248843033161714228492876159425153720128293440535725/2\ 7714708925515450448928184237259352011258026818942667722802069805377\ 5292425438265946938154324260719157022245335180456979842119196613931\ 1105419475572204133422457709056*c_1001_12^26 + 8386935777445749257025299488847942962891001534533340611043532698521\ 1648828154898858005776536669304691340039835487862334015369926024760\ 0516883376298325463125663187091015/83144126776546351346784552711778\ 0560337740804568280031684062094161325877276314797840814462972782157\ 4710667360055413709395263575898417933316258426716612400267373127168\ *c_1001_12^25 + 135910025001271492868960175457680031060639330914712\ 8380940379611115309163905898077307616762709926048390996212635185718\ 227942493704230963545091793696455052096013109071303/831441267765463\ 5134678455271177805603377408045682800316840620941613258772763147978\ 4081446297278215747106673600554137093952635758984179333162584267166\ 12400267373127168*c_1001_12^24 + 1327352705271287546294760233800332\ 4561953662755848141651602787315366028586196195919079403282495135692\ 4791827648074318127380380689896484472824545567462367765271157465287\ 3/55429417851030900897856368474518704022516053637885335445604139610\ 7550584850876531893876308648521438314044490670360913959684238393227\ 8622210838951144408266844915418112*c_1001_12^23 + 5353152143514635211758245925708903248389294085802951700620541861086\ 7522153685834530162088086350795279524942041105786541427679725475850\ 74068489763069486331180569437175919/1662882535530927026935691054235\ 5611206754816091365600633681241883226517545526295956816289259455643\ 1494213347201108274187905271517968358666325168534332248005347462543\ 36*c_1001_12^22 + 2229739860925713040056286746529461919544593361283\ 8772189401488166532529232948292182655650819308431186866530010869114\ 44918932613522909705949153184281048905834078293185909/5542941785103\ 0900897856368474518704022516053637885335445604139610755058485087653\ 1893876308648521438314044490670360913959684238393227862221083895114\ 4408266844915418112*c_1001_12^21 + 1297547712829845976455071190935726959275308230765828040392740629136\ 6035604964731841958850580239666133846966598764605915377293407286873\ 38136938686856622423686134419136857/2771470892551545044892818423725\ 9352011258026818942667722802069805377529242543826594693815432426071\ 9157022245335180456979842119196613931110541947557220413342245770905\ 6*c_1001_12^20 + 84107990230074019496943198895652624121555078046540\ 0091091685303346773896856247773426705851443927955492904422823277528\ 0475281000516406562280253343077355343603115400968683/16628825355309\ 2702693569105423556112067548160913656006336812418832265175455262959\ 5681628925945564314942133472011082741879052715179683586663251685343\ 3224800534746254336*c_1001_12^19 + 4184170641592647136529794815849556083300873976811490475293273008762\ 0274538388651674529145128696032722952779870436853546976281332052848\ 91513441643958955716459532336456297/8314412677654635134678455271177\ 8056033774080456828003168406209416132587727631479784081446297278215\ 7471066736005541370939526357589841793331625842671661240026737312716\ 8*c_1001_12^18 + 49154247610483964989440682993935396204011932887065\ 3949905077111922909321333415855541427351426063624014617738476464401\ 187438653353003106089147652871634166672023154729691/103930158470682\ 9391834806908897225700422176005710350039605077617701657346595393497\ 3010180787159776968388334200069267136744079469873022416645323033395\ 76550033421640896*c_1001_12^17 + 2415118739066719065335759598375565\ 3283618681565805872950466091928023952971832255832207916481176113052\ 6966303720694558726210519402717955955312596697495710846808711994464\ 9/55429417851030900897856368474518704022516053637885335445604139610\ 7550584850876531893876308648521438314044490670360913959684238393227\ 8622210838951144408266844915418112*c_1001_12^16 + 6522839186229426951417003821763554906103500256044259643791374712409\ 6301422033461519454729051101501661894790108105324703191161007450391\ 06973860676538983261241968314381577/1662882535530927026935691054235\ 5611206754816091365600633681241883226517545526295956816289259455643\ 1494213347201108274187905271517968358666325168534332248005347462543\ 36*c_1001_12^15 + 1443795138900467430011383941264302803928769385832\ 5836285030150265971420338589053624875344270779164715634164864774736\ 68946385061317865444798259917161396063459815972057143/4157206338827\ 3175673392276355889028016887040228414001584203104708066293863815739\ 8920407231486391078735533368002770685469763178794920896665812921335\ 8306200133686563584*c_1001_12^14 + 5324681503603663755750894528086400809078308685729633121531216673597\ 3303915362094077579610709883651254939487037582357670536441276275211\ 06308006965357649700555526168161729/1662882535530927026935691054235\ 5611206754816091365600633681241883226517545526295956816289259455643\ 1494213347201108274187905271517968358666325168534332248005347462543\ 36*c_1001_12^13 + 8538447874712233222343045506960922644832594719942\ 4666971678301224259854549232135769056123031213102136787353219831185\ 8887608621362392351869251934803991542430431874100895/27714708925515\ 4504489281842372593520112580268189426677228020698053775292425438265\ 9469381543242607191570222453351804569798421191966139311105419475572\ 204133422457709056*c_1001_12^12 + 163021254236016033313437115632628\ 6118248839983557346593522160693316868038380978007966716822251763596\ 5143462382259125330388029185248453457989350342905393629255462634342\ 63/5542941785103090089785636847451870402251605363788533544560413961\ 0755058485087653189387630864852143831404449067036091395968423839322\ 78622210838951144408266844915418112*c_1001_12^11 + 1492207560117343529958268283170552035878038401669981855361992059346\ 6800117351949097074026481259064778180579618588050466135057375480913\ 35976788083595380434206498414363903/5542941785103090089785636847451\ 8704022516053637885335445604139610755058485087653189387630864852143\ 8314044490670360913959684238393227862221083895114440826684491541811\ 2*c_1001_12^10 + 37023226271811247361637989595192911041216531374719\ 0804786220619562506394148481831078063146237796839099157080951739674\ 1598164876077426932732319944096353968590112960337667/16628825355309\ 2702693569105423556112067548160913656006336812418832265175455262959\ 5681628925945564314942133472011082741879052715179683586663251685343\ 3224800534746254336*c_1001_12^9 + 290012687512048087899405986449247\ 4756439982705273325301147667133022198504956356381091461002212447700\ 0696736992556978739920262471931020560517607854195962431251693212292\ 19/1662882535530927026935691054235561120675481609136560063368124188\ 3226517545526295956816289259455643149421334720110827418790527151796\ 835866632516853433224800534746254336*c_1001_12^8 + 2252045789057048197175804253922844560915392989770608928322309646127\ 6542784612999415677242028342349491385983354081588805303504941705644\ 73278095533326322443802130827387091/1662882535530927026935691054235\ 5611206754816091365600633681241883226517545526295956816289259455643\ 1494213347201108274187905271517968358666325168534332248005347462543\ 36*c_1001_12^7 + 15354228816673537452622325820932456254732543625353\ 2043216526197174965070854737070921204446680618782164927903522756618\ 562316137959614467155769854481642994050322420606923/138573544627577\ 2522446409211862967600562901340947133386140103490268876462127191329\ 7346907716213035957851112266759022848992105959830696555527097377861\ 02066711228854528*c_1001_12^6 + 18134064129731209490569288178104096\ 1572261511352087181491056780608622210596708203332542454620516447765\ 699353494101967133893293587694480049207455792844220730861429632755/\ 2078603169413658783669613817794451400844352011420700079210155235403\ 3146931907869946020361574319553936776668400138534273488158939746044\ 83329064606679153100066843281792*c_1001_12^5 + 2416384590369070185401429977972889788548221188797523422682211661756\ 2985664314491533537777731591009338686358372551122199372113045398700\ 9608158115738372803524240615933253/41572063388273175673392276355889\ 0280168870402284140015842031047080662938638157398920407231486391078\ 7355333680027706854697631787949208966658129213358306200133686563584\ *c_1001_12^4 + 2660426314432784829595282165519404106902895459850305\ 1264331646863619013906633658270293262196343310247827842019787509613\ 6882244459525700143462509993328293090783778941939/83144126776546351\ 3467845527117780560337740804568280031684062094161325877276314797840\ 8144629727821574710667360055413709395263575898417933316258426716612\ 400267373127168*c_1001_12^3 + 8940246377918575937446863906023529332\ 1239863908932780004085732389402503278432293059591613197349981523779\ 658279210524223376724979053891370533435150547110483025853508285/554\ 2941785103090089785636847451870402251605363788533544560413961075505\ 8485087653189387630864852143831404449067036091395968423839322786222\ 10838951144408266844915418112*c_1001_12^2 + 1934083511339881666041316389498854339436761420742298329292740521433\ 9571554267823900280310321861647641300158712599901879464777261423896\ 103527948353358530535354438582119/415720633882731756733922763558890\ 2801688704022841400158420310470806629386381573989204072314863910787\ 355333680027706854697631787949208966658129213358306200133686563584*\ c_1001_12 + 6788007711779271603805358329590933855797475062787384543\ 0198234071068520251493937933223694196447125633491390662169123557663\ 10282684737795259576190992663901802398479093/8314412677654635134678\ 4552711778056033774080456828003168406209416132587727631479784081446\ 2972782157471066736005541370939526357589841793331625842671661240026\ 7373127168, c_0101_1 + 296150921952229510298752895638698671246432983557301895830434\ 8963937120404764525223331115989925911444083814293071897125552474688\ 2185841758319437260117503818627131/16628825355309270269356910542355\ 6112067548160913656006336812418832265175455262959568162892594556431\ 4942133472011082741879052715179683586663251685343322480053474625433\ 6*c_1001_12^37 + 20061785030556084851220171998225776773135383854041\ 5467241355263529281044424197254965466265460384176022798492131120751\ 382586680440809286928300975212687829809383969/554294178510309008978\ 5636847451870402251605363788533544560413961075505848508765318938763\ 0864852143831404449067036091395968423839322786222108389511444082668\ 44915418112*c_1001_12^36 + 3399226458431169480127810774480290142465\ 7003952845774393037882062815379055105923193837054679027490497733302\ 00776976014566091340173129307475913732505263855175601113/8314412677\ 6546351346784552711778056033774080456828003168406209416132587727631\ 4797840814462972782157471066736005541370939526357589841793331625842\ 6716612400267373127168*c_1001_12^35 + 2120303741543391272040226124646597932482056016793320774678868319586\ 5340013200297111989460061663144213129561598003453730473409783322254\ 92748748745434241264055891071/6928677231378862612232046059314838002\ 8145067047356669307005174513443823106359566486734538581065179789255\ 5613337951142449605297991534827776354868893051033355614427264*c_100\ 1_12^34 + 286664061596434110568732538347623942558345498749857322509\ 6231222073034267336615993280825014147083064175867542810198272446034\ 62696325673196038848095363672785351638609/1662882535530927026935691\ 0542355611206754816091365600633681241883226517545526295956816289259\ 4556431494213347201108274187905271517968358666325168534332248005347\ 46254336*c_1001_12^33 + 3283203563337636560277068887598875127084638\ 1034118374807762235620722551086252975783555411986938759668177127687\ 9873166405170121108295354642259132304532720147051011653/41572063388\ 2731756733922763558890280168870402284140015842031047080662938638157\ 3989204072314863910787355333680027706854697631787949208966658129213\ 358306200133686563584*c_1001_12^32 + 5135269514544927211736763640611768108036452324231431471895526895102\ 7441754313452976581290286751546531498982455695871370910094707077567\ 48861822365149180633280278131065/1662882535530927026935691054235561\ 1206754816091365600633681241883226517545526295956816289259455643149\ 421334720110827418790527151796835866632516853433224800534746254336*\ c_1001_12^31 + 1759399247802701862459276782378616757460664860368324\ 7556906002140241961218801573636795199109586215273240484841670134440\ 280821312679553710295901868485059101647019716405/166288253553092702\ 6935691054235561120675481609136560063368124188322651754552629595681\ 6289259455643149421334720110827418790527151796835866632516853433224\ 800534746254336*c_1001_12^30 + 173075823231274686134077911753600637\ 7821273207612389555581713903324558788586074483213918892523654723090\ 5123992706340570520656204430120681535839677380678240708209541131/55\ 4294178510309008978563684745187040225160536378853354456041396107550\ 5848508765318938763086485214383140444906703609139596842383932278622\ 210838951144408266844915418112*c_1001_12^29 + 4527564635978780067159586396720445115106375697126027384794845961670\ 5849439686117812248069263405308652160013135069780097145254342047276\ 531621416218065292648132076049305/554294178510309008978563684745187\ 0402251605363788533544560413961075505848508765318938763086485214383\ 140444906703609139596842383932278622210838951144408266844915418112*\ c_1001_12^28 + 7956315382407457693414767593822432586497844481821324\ 9355107197940002608839709649699988781639945865138103902540630466702\ 674470244340328224407792176658803949801551133743/415720633882731756\ 7339227635588902801688704022841400158420310470806629386381573989204\ 0723148639107873553336800277068546976317879492089666581292133583062\ 00133686563584*c_1001_12^27 + 2746783990124949044757940475764516871\ 5603395968462671853687078232444708749717764128723264097816074208747\ 380625100488302286699782490072298417139271276111922742704515069/692\ 8677231378862612232046059314838002814506704735666930700517451344382\ 3106359566486734538581065179789255561333795114244960529799153482777\ 6354868893051033355614427264*c_1001_12^26 + 3070587342067591014992423359652799772021254118113546457168647612614\ 4051879458706471434380819697392047499124824590930901439728609704488\ 1474981389398814297239098210816629/41572063388273175673392276355889\ 0280168870402284140015842031047080662938638157398920407231486391078\ 7355333680027706854697631787949208966658129213358306200133686563584\ *c_1001_12^25 + 324064173258203140526503707981714235002112830427885\ 8736918727259968025432321622398889948164933414835309636588897544157\ 9180095042526914519092692516425989952416046843365/25982539617670734\ 7958701727224306425105544001427587509901269404425414336648848374325\ 2545196789944242097083550017316784186019867468255604161330758348941\ 37508355410224*c_1001_12^24 + 1051635589112704646368842214494708326\ 9677709775550008883649773772400555717934271191649403019324559600607\ 14900108287888000015044558681136675819085155028234206466821674759/5\ 5429417851030900897856368474518704022516053637885335445604139610755\ 0584850876531893876308648521438314044490670360913959684238393227862\ 2210838951144408266844915418112*c_1001_12^23 + 4370656695240469511391468167486137642411078497605755217289782409727\ 9394938508754235958717594546662289926458576846977653035433240384240\ 14298054059353642891677626434988047/1662882535530927026935691054235\ 5611206754816091365600633681241883226517545526295956816289259455643\ 1494213347201108274187905271517968358666325168534332248005347462543\ 36*c_1001_12^22 + 1865369587420705420667710315753029423529287668906\ 7884304277905172875803190172718057973628117411271487689540744388111\ 99456485771112953073258342947978242421373588693905535/5542941785103\ 0900897856368474518704022516053637885335445604139610755058485087653\ 1893876308648521438314044490670360913959684238393227862221083895114\ 4408266844915418112*c_1001_12^21 + 1113616065495498205489297602921786039168135550659668366529368986792\ 5002034227886026532515884152222452904039383385392958945765314620224\ 51852737104115806147799730316596177/2771470892551545044892818423725\ 9352011258026818942667722802069805377529242543826594693815432426071\ 9157022245335180456979842119196613931110541947557220413342245770905\ 6*c_1001_12^20 + 74188205533597448732743338828652221228193798229292\ 9698674246490995813065613936634955926799142912974483653679460969699\ 1160392965008045235341158711126055728687302733182675/16628825355309\ 2702693569105423556112067548160913656006336812418832265175455262959\ 5681628925945564314942133472011082741879052715179683586663251685343\ 3224800534746254336*c_1001_12^19 + 1903257731290834075427449044815616618643987116616937966156939030544\ 8580232235063896220538697678251178489551460102064036512037517293283\ 01335788053453362262903247640189473/4157206338827317567339227635588\ 9028016887040228414001584203104708066293863815739892040723148639107\ 8735533368002770685469763178794920896665812921335830620013368656358\ 4*c_1001_12^18 + 36087156535834909016286761664004756978871549134116\ 1144575000402316837393043364487071657697288634550374878198858994838\ 1176461061994336049234386700596760966968748858022799/83144126776546\ 3513467845527117780560337740804568280031684062094161325877276314797\ 8408144629727821574710667360055413709395263575898417933316258426716\ 612400267373127168*c_1001_12^17 + 222308788183355908320578527303663\ 0381297851261953057572503767852290395480817557931591685972792769525\ 6754648994423451085619783321435293425517206385209795986552977927592\ 31/5542941785103090089785636847451870402251605363788533544560413961\ 0755058485087653189387630864852143831404449067036091395968423839322\ 78622210838951144408266844915418112*c_1001_12^16 + 6057165338927710542002368687350774205955729689336249030317851019493\ 9218754150927100180210073121576928824042868852654392381440004231118\ 32210936441331347607525672258824841/1662882535530927026935691054235\ 5611206754816091365600633681241883226517545526295956816289259455643\ 1494213347201108274187905271517968358666325168534332248005347462543\ 36*c_1001_12^15 + 2711520060412228188954159769655222208904120369251\ 7495541790573206659993351854620884160024514991441417045652011011623\ 33888166110859468246543574115398443951397567405624241/8314412677654\ 6351346784552711778056033774080456828003168406209416132587727631479\ 7840814462972782157471066736005541370939526357589841793331625842671\ 6612400267373127168*c_1001_12^14 + 4848235313955863240087653699025197607673015673968676929786240097090\ 0699545945569853857657698532684890756001288816720501710710551528784\ 85753666564276608983540645097520427/1662882535530927026935691054235\ 5611206754816091365600633681241883226517545526295956816289259455643\ 1494213347201108274187905271517968358666325168534332248005347462543\ 36*c_1001_12^13 + 7728466536738636008231654624817018416982985137115\ 8731427713481741141941128991226963916706198079291542971895107289179\ 6386207412389016987695806715607185002966784683448203/27714708925515\ 4504489281842372593520112580268189426677228020698053775292425438265\ 9469381543242607191570222453351804569798421191966139311105419475572\ 204133422457709056*c_1001_12^12 + 148447636490594251041049657871880\ 3762532332400091110059820775459817069844313055019255328633172979537\ 4472516062357460350283154810207676359164642330883431955163275662593\ 19/5542941785103090089785636847451870402251605363788533544560413961\ 0755058485087653189387630864852143831404449067036091395968423839322\ 78622210838951144408266844915418112*c_1001_12^11 + 1409176799211759165544132647987126083097982594518697430963053615320\ 8081200425952411145576726984305675796199823463620909660694501081148\ 54904617686460241844158447748823885/5542941785103090089785636847451\ 8704022516053637885335445604139610755058485087653189387630864852143\ 8314044490670360913959684238393227862221083895114440826684491541811\ 2*c_1001_12^10 + 35628306483939478997722696331534900481094874185031\ 6037847495345914436609716117271945336145623955529926279857544091406\ 7776713286337997851969322445363364977940298696920191/16628825355309\ 2702693569105423556112067548160913656006336812418832265175455262959\ 5681628925945564314942133472011082741879052715179683586663251685343\ 3224800534746254336*c_1001_12^9 + 281619795513798084132386651039941\ 1112840272642575123779825902772324164323592520514365986169971741641\ 2669091247299476561122740980872676509519452666404060831797640143876\ 69/1662882535530927026935691054235561120675481609136560063368124188\ 3226517545526295956816289259455643149421334720110827418790527151796\ 835866632516853433224800534746254336*c_1001_12^8 + 2155255553979549486621026742809783910597909641237331799211567064959\ 6799768689614092886192222148131900729757825647179134679611497465194\ 51679064901326742081698678341261387/1662882535530927026935691054235\ 5611206754816091365600633681241883226517545526295956816289259455643\ 1494213347201108274187905271517968358666325168534332248005347462543\ 36*c_1001_12^7 + 28802431627036894167239201257289702241246814807464\ 7858033980244102866282530176169326837936746260820469366360299034735\ 855169080044098661330301675340977886916858595290837/277147089255154\ 5044892818423725935201125802681894266772280206980537752924254382659\ 4693815432426071915702224533518045697984211919661393111054194755722\ 04133422457709056*c_1001_12^6 + 72697207413197961313456879359278164\ 8953139770728514600346928235944905082687828517036648363253479871820\ 251282405981026971375212452727889149939598193933910409654893230917/\ 8314412677654635134678455271177805603377408045682800316840620941613\ 2587727631479784081446297278215747106673600554137093952635758984179\ 33316258426716612400267373127168*c_1001_12^5 + 5297119634192309480008738276819875759026171126676664038945258946684\ 2942462899936380495321613776479284374934475288976159458248461630533\ 0621251267647035113668852740667243/83144126776546351346784552711778\ 0560337740804568280031684062094161325877276314797840814462972782157\ 4710667360055413709395263575898417933316258426716612400267373127168\ *c_1001_12^4 + 7217890993790666881643770183671800368352564359775691\ 2765202810102335370101582854015516140202292936249514138129579984292\ 100378182538379969380148956712382913808903078569/207860316941365878\ 3669613817794451400844352011420700079210155235403314693190786994602\ 0361574319553936776668400138534273488158939746044833290646066791531\ 00066843281792*c_1001_12^3 + 98662903531169630231556317253073667795\ 1141947005526517428812195935236293230103085874557837680426611311528\ 59540654058382899758300430974492024566035210729653445799473787/5542\ 9417851030900897856368474518704022516053637885335445604139610755058\ 4850876531893876308648521438314044490670360913959684238393227862221\ 0838951144408266844915418112*c_1001_12^2 + 2735756955656769535083212680962250990147427136935206654224713429078\ 8152108633279930908542523573429986116363167312897478159460831081124\ 38238460004673009999120748438427/5196507923534146959174034544486128\ 5021108800285517501980253880885082867329769674865050903935798884841\ 9416710003463356837203973493651120832266151669788275016710820448*c_\ 1001_12 + 143615534935490604879274696819347858958856382424510199437\ 7869499956943122728671950719897251637574732169123328080245032795854\ 6743397654854698174227995430365877166694055/83144126776546351346784\ 5527117780560337740804568280031684062094161325877276314797840814462\ 9727821574710667360055413709395263575898417933316258426716612400267\ 373127168, c_0101_12 - 27500469162646257960100633076552593358286991681805183721032\ 3378106152285131743448555990222609123328498288165977248296626159098\ 12782179474733898126236149356749383/8314412677654635134678455271177\ 8056033774080456828003168406209416132587727631479784081446297278215\ 7471066736005541370939526357589841793331625842671661240026737312716\ 8*c_1001_12^37 - 14976482533531114644872984017383906842815088358618\ 7882068253053119152233659091511079767427693931050093580265286733550\ 10793764862999028831124453117612281515050689/3464338615689431306116\ 0230296574190014072533523678334653502587256721911553179783243367269\ 2905325898946277806668975571224802648995767413888177434446525516677\ 807213632*c_1001_12^36 - 155382553752209267675053441034822720346987\ 9416773293195266104454392720037902872031068407783191571079074615674\ 924116699642146384643167416479145960464547782814242343/415720633882\ 7317567339227635588902801688704022841400158420310470806629386381573\ 9892040723148639107873553336800277068546976317879492089666581292133\ 58306200133686563584*c_1001_12^35 - 2504012338920718629131609248029153046165572804891342940491991433330\ 1016042989990765311364659798716441831067071986013502375434480589052\ 49634651094046987686440315421/1385735446275772522446409211862967600\ 5629013409471333861401034902688764621271913297346907716213035957851\ 11226675902284899210595983069655552709737786102066711228854528*c_10\ 01_12^34 - 59414534894256381511283294454449693261269184384613411392\ 7328625654442759466074555647963508073990462713601706073114435163978\ 54068398766933789724585596483756089380691/8314412677654635134678455\ 2711778056033774080456828003168406209416132587727631479784081446297\ 2782157471066736005541370939526357589841793331625842671661240026737\ 3127168*c_1001_12^33 - 15738668412627261186914481941806015458715048\ 9068037810687896818664666845413728480414823790038679659235737128914\ 565327292965233238530791599437115264872336809679036725/831441267765\ 4635134678455271177805603377408045682800316840620941613258772763147\ 9784081446297278215747106673600554137093952635758984179333162584267\ 16612400267373127168*c_1001_12^32 - 4681531621083014995532025836051946485066168107431249318888526352973\ 9932299828072698151466370524147270907819502088034006826747376546005\ 449720672786386460373137943163/103930158470682939183480690889722570\ 0422176005710350039605077617701657346595393497301018078715977696838\ 833420006926713674407946987302241664532303339576550033421640896*c_1\ 001_12^31 - 1103327023277795226819281227837214990322624138628674368\ 2629892453962955827405341019744498582109322428594985733097642629267\ 3515619984867046523293658886552400315753469/83144126776546351346784\ 5527117780560337740804568280031684062094161325877276314797840814462\ 9727821574710667360055413709395263575898417933316258426716612400267\ 373127168*c_1001_12^30 + 214644460190819835196324311992553825988495\ 6299959993860204119185803676948831891825848345456440546326461574913\ 91750391820996818981380526776337682632672283442968329443/6928677231\ 3788626122320460593148380028145067047356669307005174513443823106359\ 5664867345385810651797892555613337951142449605297991534827776354868\ 893051033355614427264*c_1001_12^29 + 4096990360145224336449606224096264772186658406426102189090919437660\ 4996591256684982563932520330934271120919262900385851866471747793668\ 47033691157777192268252479527423/2771470892551545044892818423725935\ 2011258026818942667722802069805377529242543826594693815432426071915\ 70222453351804569798421191966139311105419475572204133422457709056*c\ _1001_12^28 + 44798403672410662619479248250233647544554098323797798\ 4646289720147456167910616981213237692405320709796765101138492855921\ 09159819746231131774010086823176126317361225335/8314412677654635134\ 6784552711778056033774080456828003168406209416132587727631479784081\ 4462972782157471066736005541370939526357589841793331625842671661240\ 0267373127168*c_1001_12^27 + 40436193727142998670492354067381176361\ 7518343334858032160911201445580090238108755213042957104721071430396\ 22459089622045094465647210336342206337629722710386942316830727/2771\ 4708925515450448928184237259352011258026818942667722802069805377529\ 2425438265946938154324260719157022245335180456979842119196613931110\ 5419475572204133422457709056*c_1001_12^26 + 2696774721526396933686866404648498877889020056030896467607771775105\ 8833459096940101327789972359676092784359033881689113832524910640104\ 5074989243279218638028663392058735/83144126776546351346784552711778\ 0560337740804568280031684062094161325877276314797840814462972782157\ 4710667360055413709395263575898417933316258426716612400267373127168\ *c_1001_12^25 + 534060182134040602565835231098532329750549163089980\ 6068679565908297782284601491079867624237240611913327067672581162458\ 36454109500030351545269686817215395133490798344197/8314412677654635\ 1346784552711778056033774080456828003168406209416132587727631479784\ 0814462972782157471066736005541370939526357589841793331625842671661\ 2400267373127168*c_1001_12^24 + 15354648090514986336207493217471787\ 4327588519761610281803479155701535003634870925584945363363172890400\ 296744393586629551927963347614361342419621974271631264758760782967/\ 1385735446275772522446409211862967600562901340947133386140103490268\ 8764621271913297346907716213035957851112266759022848992105959830696\ 55552709737786102066711228854528*c_1001_12^23 + 1397768803171933196814216193997619174832714915472012753289276569040\ 2640298963607713693649553710483023068370608615175821266248890275033\ 93816060765785830569506664707569823/8314412677654635134678455271177\ 8056033774080456828003168406209416132587727631479784081446297278215\ 7471066736005541370939526357589841793331625842671661240026737312716\ 8*c_1001_12^22 + 15985937611169930929197791156307302733013958829553\ 7842001854222032124128801053725378225786145390570653291879971499647\ 590054202606561662745863093031556812686148553174471/692867723137886\ 2612232046059314838002814506704735666930700517451344382310635956648\ 6734538581065179789255561333795114244960529799153482777635486889305\ 1033355614427264*c_1001_12^21 + 40748562573363945308970903526030177\ 3950781901305752790487813735387460515854005014721643409207399807892\ 396817762053769505645383766518199918852263102144838346176644974357/\ 1385735446275772522446409211862967600562901340947133386140103490268\ 8764621271913297346907716213035957851112266759022848992105959830696\ 55552709737786102066711228854528*c_1001_12^20 + 2893093553696170504247225698121466263755310282052430297634547287451\ 9813339183943010361711092574371599160250967622461428904258197750648\ 58548051463186874005201436997489899/8314412677654635134678455271177\ 8056033774080456828003168406209416132587727631479784081446297278215\ 7471066736005541370939526357589841793331625842671661240026737312716\ 8*c_1001_12^19 + 31738246125567616662628023769499928965176061751600\ 5054381704653024263656306627676234958007267582790562767244230933255\ 3734707473745245545510414873842264634276097535285649/83144126776546\ 3513467845527117780560337740804568280031684062094161325877276314797\ 8408144629727821574710667360055413709395263575898417933316258426716\ 612400267373127168*c_1001_12^18 + 309685184541390837251851839787011\ 0966786454412741277866758140216136287046863875057270651767950639461\ 0981896250431825443120117648280390503969193141619339310091736031270\ 61/8314412677654635134678455271177805603377408045682800316840620941\ 6132587727631479784081446297278215747106673600554137093952635758984\ 17933316258426716612400267373127168*c_1001_12^17 + 4819105630168301093870161147534656615196055107975268337888162428926\ 6891296811441023707667140048252403933737515915204509141019670193126\ 5739405589894046764618755916407379/13857354462757725224464092118629\ 6760056290134094713338614010349026887646212719132973469077162130359\ 5785111226675902284899210595983069655552709737786102066711228854528\ *c_1001_12^16 + 266569871578020572137122294941677490189907876832200\ 4533182486744798566028304676306848426233285022945897643391245856182\ 258676142062537095377314448175138520611620145056901/831441267765463\ 5134678455271177805603377408045682800316840620941613258772763147978\ 4081446297278215747106673600554137093952635758984179333162584267166\ 12400267373127168*c_1001_12^15 + 2418136313493204565658295615291251\ 8030626741842847688305538664069298637962465103617469317087496379500\ 5599102378533332010010662135561108752923869225954316453399356697808\ 5/83144126776546351346784552711778056033774080456828003168406209416\ 1325877276314797840814462972782157471066736005541370939526357589841\ 7933316258426716612400267373127168*c_1001_12^14 + 5146876558079264769830305742818589251083742690011406193092563237935\ 2311078839028160461648184160271227380580971459778016570434657434903\ 8872336801415131579001747397456819/20786031694136587836696138177944\ 5140084435201142070007921015523540331469319078699460203615743195539\ 3677666840013853427348815893974604483329064606679153100066843281792\ *c_1001_12^13 + 322643452411030532377135300711941855471152253901559\ 0369155238280882040273349783813065606704115978834723033335473123265\ 29971309955924005677167830623261786704274396498037/1385735446275772\ 5224464092118629676005629013409471333861401034902688764621271913297\ 3469077162130359578511122667590228489921059598306965555270973778610\ 2066711228854528*c_1001_12^12 + 61984246760903641970739621759732436\ 8332369950825844107863196573546451932214275211515455946374717262449\ 058202999816304614685761394871600130992868539775092937475205554039/\ 2771470892551545044892818423725935201125802681894266772280206980537\ 7529242543826594693815432426071915702224533518045697984211919661393\ 11105419475572204133422457709056*c_1001_12^11 + 1561572735151186954764587092990236970278389654139994166763086222906\ 2169925673277435253143426811325245626880772002595728690065389126188\ 2410601901145739919767709204653181/69286772313788626122320460593148\ 3800281450670473566693070051745134438231063595664867345385810651797\ 892555613337951142449605297991534827776354868893051033355614427264*\ c_1001_12^10 + 1669421598992338293945648149025020239904853234770529\ 4554368457373489521047352548297817556573016025829220736405697649260\ 68122595702727923015973449627161826460507921255889/8314412677654635\ 1346784552711778056033774080456828003168406209416132587727631479784\ 0814462972782157471066736005541370939526357589841793331625842671661\ 2400267373127168*c_1001_12^9 + 679593684722354761295495662419253899\ 6752911867598384463746386315050085920369120401327981202039805632370\ 07282940124839464838208307066103655260026052044375039239693584659/4\ 1572063388273175673392276355889028016887040228414001584203104708066\ 2938638157398920407231486391078735533368002770685469763178794920896\ 6658129213358306200133686563584*c_1001_12^8 + 1020025874349476125750416487365592207711320743150977472113215081717\ 0654704054293903970519289851537819675098483767429115688693294857866\ 46827308478875633138158212932332007/8314412677654635134678455271177\ 8056033774080456828003168406209416132587727631479784081446297278215\ 7471066736005541370939526357589841793331625842671661240026737312716\ 8*c_1001_12^7 + 267739347805761687370814203107618160525210179438776\ 2900405925438345349224463158187339020195300247898484489855293311209\ 83436669164151755507054365179972430301182241610221/2771470892551545\ 0448928184237259352011258026818942667722802069805377529242543826594\ 6938154324260719157022245335180456979842119196613931110541947557220\ 4133422457709056*c_1001_12^6 + 700199552643454577878783560887277544\ 6190682443877636590340231435013134978532430681041205748713554916811\ 45922117973387590073345299179134910448112145206905062270716428999/8\ 3144126776546351346784552711778056033774080456828003168406209416132\ 5877276314797840814462972782157471066736005541370939526357589841793\ 3316258426716612400267373127168*c_1001_12^5 + 5792296975421954204211869547052338502936749182211261995964462953625\ 1285092416692967057985391637752647400666504610863916179789568993497\ 7907783996216335818784474592979423/83144126776546351346784552711778\ 0560337740804568280031684062094161325877276314797840814462972782157\ 4710667360055413709395263575898417933316258426716612400267373127168\ *c_1001_12^4 + 3253098237410916713560529706846248105720864926467870\ 7947547195397693275715138915434226775496270676523949778028613381090\ 6351902978232347110162982477441316915193207346881/83144126776546351\ 3467845527117780560337740804568280031684062094161325877276314797840\ 8144629727821574710667360055413709395263575898417933316258426716612\ 400267373127168*c_1001_12^3 + 2922803385359658568527806870184514083\ 0575473258119361059347165325933309964541694372089358642395494899695\ 625691415498156726674507030033789899246576533182831330140861489/138\ 5735446275772522446409211862967600562901340947133386140103490268876\ 4621271913297346907716213035957851112266759022848992105959830696555\ 52709737786102066711228854528*c_1001_12^2 + 3354878781282718259493614817383096688633400656886531906018220089010\ 2261236423252041015984197105045233670750278543446944532494247976264\ 423352759272336210967033184002577/415720633882731756733922763558890\ 2801688704022841400158420310470806629386381573989204072314863910787\ 355333680027706854697631787949208966658129213358306200133686563584*\ c_1001_12 + 1338099372157607609075903170579006328879510916642724134\ 0709293599351040092782630577414569986121576579653026082622495986306\ 61143753253305696163218369807959370738568889/5196507923534146959174\ 0345444861285021108800285517501980253880885082867329769674865050903\ 9357988848419416710003463356837203973493651120832266151669788275016\ 710820448, c_0101_2 - 124352144522899068806301732962760282728761993073664491884179\ 9694118753425974360018407798703989634682561789991486294357322541578\ 38517269298453788641238279571347077/1662882535530927026935691054235\ 5611206754816091365600633681241883226517545526295956816289259455643\ 1494213347201108274187905271517968358666325168534332248005347462543\ 36*c_1001_12^37 - 6859625247061477358972231685501519569696071628678\ 2949679939265508690068066521743975623040426642171503840743034936117\ 8930747159984391098122839966244570393008350377/55429417851030900897\ 8563684745187040225160536378853354456041396107550584850876531893876\ 3086485214383140444906703609139596842383932278622210838951144408266\ 844915418112*c_1001_12^36 - 105369443945746132455084897640186783162\ 5572748085770042709703374657031353642826008916002254372038844452130\ 1499302208399397186099664528897748956870214084145461396059/83144126\ 7765463513467845527117780560337740804568280031684062094161325877276\ 3147978408144629727821574710667360055413709395263575898417933316258\ 426716612400267373127168*c_1001_12^35 - 1157433659224179930358066521158343471823374308266441287393469770313\ 4612214003033139571841663183304621868872683076472755828364206590938\ 922173440648426504797466329415/138573544627577252244640921186296760\ 0562901340947133386140103490268876462127191329734690771621303595785\ 111226675902284899210595983069655552709737786102066711228854528*c_1\ 001_12^34 - 7273780536268360503729222628031790249113239011950782208\ 4670349037874875314836167821968877843455611067234455325462279925426\ 3075735930417799816062946639537227322006803/16628825355309270269356\ 9105423556112067548160913656006336812418832265175455262959568162892\ 5945564314942133472011082741879052715179683586663251685343322480053\ 4746254336*c_1001_12^33 - 15387667554433801351050300485686305870383\ 4754355402973870673059327082094657219964298604147347793321494421509\ 5452658083855300758070645551236373358122579052627652936257/83144126\ 7765463513467845527117780560337740804568280031684062094161325877276\ 3147978408144629727821574710667360055413709395263575898417933316258\ 426716612400267373127168*c_1001_12^32 - 1153284704623406430395631791794068256899876528932119595353325969837\ 2486482889508469021229715303582771480668917700851081290213800555452\ 224189528522482694285381624343601/166288253553092702693569105423556\ 1120675481609136560063368124188322651754552629595681628925945564314\ 9421334720110827418790527151796835866632516853433224800534746254336\ *c_1001_12^31 - 369197140745408439880235450968356668503294123855699\ 4042912773833533096075364380251303926556655660740389603496487769102\ 9538784976344674957149516072926350038777518847827/16628825355309270\ 2693569105423556112067548160913656006336812418832265175455262959568\ 1628925945564314942133472011082741879052715179683586663251685343322\ 4800534746254336*c_1001_12^30 - 34312792793098473689305387036628072\ 7116666817525706763822901199411693983536806263257230549304379860256\ 22104790962332382149814383423017660584522747347487280096504070499/5\ 5429417851030900897856368474518704022516053637885335445604139610755\ 0584850876531893876308648521438314044490670360913959684238393227862\ 2210838951144408266844915418112*c_1001_12^29 - 8596247087235468766767844656415835947153674750006062019726611399432\ 0002705757651555840132110050723373218471216897293284790066813177332\ 759173251346844757021715567594031/554294178510309008978563684745187\ 0402251605363788533544560413961075505848508765318938763086485214383\ 140444906703609139596842383932278622210838951144408266844915418112*\ c_1001_12^28 - 2851459104524807770352443221103639148711924879741016\ 2651560707593264444561935423102479427780942336232611855443760891795\ 9310462343555299756648848603217228956903891895045/83144126776546351\ 3467845527117780560337740804568280031684062094161325877276314797840\ 8144629727821574710667360055413709395263575898417933316258426716612\ 400267373127168*c_1001_12^27 - 187543714145471088873891580442758451\ 8141765108799868810631128935822597844503456912880124361553248523879\ 73423375127358464164912323208964452027564513737060104245926175587/2\ 7714708925515450448928184237259352011258026818942667722802069805377\ 5292425438265946938154324260719157022245335180456979842119196613931\ 1105419475572204133422457709056*c_1001_12^26 - 1004798505834635504705339075129339245081574448009679041909015616943\ 4249889903293335234127704914872517158425033464525494998410495894415\ 18179639584984506018790354450123109/8314412677654635134678455271177\ 8056033774080456828003168406209416132587727631479784081446297278215\ 7471066736005541370939526357589841793331625842671661240026737312716\ 8*c_1001_12^25 - 16177916926646563814370248165123809001428988187955\ 1998979732570015232803428653730932840734771262533037897091690365073\ 0819491101987991774216738134620194284928965202797081/83144126776546\ 3513467845527117780560337740804568280031684062094161325877276314797\ 8408144629727821574710667360055413709395263575898417933316258426716\ 612400267373127168*c_1001_12^24 - 157288041556426407177597366939824\ 4085117942252748842323923280912540072563777095524139086882391854411\ 8908265575637103982016693562962390245721507584251795969218924457453\ 55/5542941785103090089785636847451870402251605363788533544560413961\ 0755058485087653189387630864852143831404449067036091395968423839322\ 78622210838951144408266844915418112*c_1001_12^23 - 6310178671321964767261840270179509922358464810885814255320567009964\ 4528189809766051855907315099609142834253466084142796669852572050345\ 36949423295492034040187846492421269/1662882535530927026935691054235\ 5611206754816091365600633681241883226517545526295956816289259455643\ 1494213347201108274187905271517968358666325168534332248005347462543\ 36*c_1001_12^22 - 2615317716209522384344410210905504125205793003713\ 3090341148356900376087736205020077011427768361193959511710722016779\ 10327956690650154112926767687084406819349109333197815/5542941785103\ 0900897856368474518704022516053637885335445604139610755058485087653\ 1893876308648521438314044490670360913959684238393227862221083895114\ 4408266844915418112*c_1001_12^21 - 1515445264396205741835015102978626368238980609159930241452473005717\ 9720503185797436487037726991539765518527559287925352546952380583065\ 91940336342308849910544068896001027/2771470892551545044892818423725\ 9352011258026818942667722802069805377529242543826594693815432426071\ 9157022245335180456979842119196613931110541947557220413342245770905\ 6*c_1001_12^20 - 97887473398038418832290975179873064843997835293934\ 4881012730919484921750481304924017698021925572976959942464622253597\ 6495472068866893708205230075958295938552925872782161/16628825355309\ 2702693569105423556112067548160913656006336812418832265175455262959\ 5681628925945564314942133472011082741879052715179683586663251685343\ 3224800534746254336*c_1001_12^19 - 4843988889977414346863963895549863449312862848552419256191720013333\ 1843929980515030544052329753203612067806100479766001653827747457892\ 50896715700200378722717320132108027/8314412677654635134678455271177\ 8056033774080456828003168406209416132587727631479784081446297278215\ 7471066736005541370939526357589841793331625842671661240026737312716\ 8*c_1001_12^18 - 11386134029210837334382266207091881207988482994986\ 5930661274608133508679624919596091669641876533074098495280088994580\ 8963914233003430661546784121107333041258783655729291/20786031694136\ 5878366961381779445140084435201142070007921015523540331469319078699\ 4602036157431955393677666840013853427348815893974604483329064606679\ 153100066843281792*c_1001_12^17 - 278216175074289232061766497842435\ 3093816049373523665880913556789044933610330588537857083813663276225\ 7867057373706966650569847772044513714389538070219277096473246598184\ 43/5542941785103090089785636847451870402251605363788533544560413961\ 0755058485087653189387630864852143831404449067036091395968423839322\ 78622210838951144408266844915418112*c_1001_12^16 - 7574371260256371165856259787453329465148729523741912112303334427853\ 0414726639262636340515132313574913363026311796294374743808553884707\ 62270481756770399771567580336219347/1662882535530927026935691054235\ 5611206754816091365600633681241883226517545526295956816289259455643\ 1494213347201108274187905271517968358666325168534332248005347462543\ 36*c_1001_12^15 - 1680051034034016080924743019771962284699712346595\ 3288172733252157877182089675791992695370360822102689084537008919894\ 58133616223121334195078536508161725865783555901181127/4157206338827\ 3175673392276355889028016887040228414001584203104708066293863815739\ 8920407231486391078735533368002770685469763178794920896665812921335\ 8306200133686563584*c_1001_12^14 - 6204227938206927069823240137520795324618053921323468261145244181495\ 3513063988856576236225325032970101188583232723136178326046006819857\ 39361673706780279430835120294380275/1662882535530927026935691054235\ 5611206754816091365600633681241883226517545526295956816289259455643\ 1494213347201108274187905271517968358666325168534332248005347462543\ 36*c_1001_12^13 - 9848436832198982393752490304675945432867067504815\ 5337947123659792531370130768246999319914751920145967273471198761737\ 2799533485938938009845995512606646541154431874846081/27714708925515\ 4504489281842372593520112580268189426677228020698053775292425438265\ 9469381543242607191570222453351804569798421191966139311105419475572\ 204133422457709056*c_1001_12^12 - 191101415351342040695216591663045\ 9617570499624273242930259391178883038441240593901713432842748710360\ 7496401535362893629918641933729496825935260042041148778270604566271\ 81/5542941785103090089785636847451870402251605363788533544560413961\ 0755058485087653189387630864852143831404449067036091395968423839322\ 78622210838951144408266844915418112*c_1001_12^11 - 1704998772606319844124406876017413752225218742213171332180768550986\ 6099384669535038660170265366156703566229065807102534570345330122043\ 73278032548575838281466226376495141/5542941785103090089785636847451\ 8704022516053637885335445604139610755058485087653189387630864852143\ 8314044490670360913959684238393227862221083895114440826684491541811\ 2*c_1001_12^10 - 42429987101019404977154817808125455893496301315626\ 5800009253077199222517119536947384465710308643251882592893025338066\ 6924960285198632820186315803699810615834344202066617/16628825355309\ 2702693569105423556112067548160913656006336812418832265175455262959\ 5681628925945564314942133472011082741879052715179683586663251685343\ 3224800534746254336*c_1001_12^9 - 326300815000202031829719632756410\ 2184524342096998198634909312447801399799312940134601167484108085482\ 8993816605090480482146187251984951240224607880730477388757003017871\ 93/1662882535530927026935691054235561120675481609136560063368124188\ 3226517545526295956816289259455643149421334720110827418790527151796\ 835866632516853433224800534746254336*c_1001_12^8 - 2569816102487026243464590841867356923080023611114256636541849133488\ 6342513702460401616589933278840483386904964652737124407242419215630\ 88087452294182206786587857328247265/1662882535530927026935691054235\ 5611206754816091365600633681241883226517545526295956816289259455643\ 1494213347201108274187905271517968358666325168534332248005347462543\ 36*c_1001_12^7 - 17755361781895766878551084937515548119943354657055\ 8608026006613575267110214055067906110582556892864238902333081247127\ 395318815385754935035223082658418279657521524471559/138573544627577\ 2522446409211862967600562901340947133386140103490268876462127191329\ 7346907716213035957851112266759022848992105959830696555527097377861\ 02066711228854528*c_1001_12^6 - 21195251668687089369579445152294741\ 4114492743995998583632802864683444714658376237241603777670498025474\ 502660693670057204839639303686615711144823620699019327129959415423/\ 2078603169413658783669613817794451400844352011420700079210155235403\ 3146931907869946020361574319553936776668400138534273488158939746044\ 83329064606679153100066843281792*c_1001_12^5 - 2753106733114062235001810070519421378210628238850128138587872845869\ 2790845515674578607975561448687775061627619881836596088698034419462\ 3702626174442665197047039997667453/41572063388273175673392276355889\ 0280168870402284140015842031047080662938638157398920407231486391078\ 7355333680027706854697631787949208966658129213358306200133686563584\ *c_1001_12^4 - 2970466512654897403454025176722294479716383536761331\ 5652047311328586332302114166203904887501642586527976145657831978639\ 3409947658307233509296877790879777552556894869025/83144126776546351\ 3467845527117780560337740804568280031684062094161325877276314797840\ 8144629727821574710667360055413709395263575898417933316258426716612\ 400267373127168*c_1001_12^3 - 7756406916495243097126307189026980876\ 1687142851343512091732070794216312427730864564191674678465126688467\ 853052663862344146073350898347500451665766964964976540150982863/554\ 2941785103090089785636847451870402251605363788533544560413961075505\ 8485087653189387630864852143831404449067036091395968423839322786222\ 10838951144408266844915418112*c_1001_12^2 - 2394847982500309110986636705307391815717577734665414447657648186254\ 5555659161817771116610051100334547398183193049210476457792260291526\ 289362609735507204356399958812813/415720633882731756733922763558890\ 2801688704022841400158420310470806629386381573989204072314863910787\ 355333680027706854697631787949208966658129213358306200133686563584*\ c_1001_12 - 2761691452601360406309437591686453391156172009053758528\ 5499334971889097105586324517285352625062554399432299655413262105409\ 45640832061478491954527717310790573120622375/8314412677654635134678\ 4552711778056033774080456828003168406209416132587727631479784081446\ 2972782157471066736005541370939526357589841793331625842671661240026\ 7373127168, c_0101_7 + 479323521940776715692660346514207957080055054393702314935638\ 6055799557668404540610909052202763105872014196576498381382544428117\ 7731494649751882590012444259027233/83144126776546351346784552711778\ 0560337740804568280031684062094161325877276314797840814462972782157\ 4710667360055413709395263575898417933316258426716612400267373127168\ *c_1001_12^37 + 246566557493938059506905082107327517248036721275906\ 7724534029378597240974350937513679260473158020002495834171200253800\ 59551374072616420133263610226539722450527549/2771470892551545044892\ 8184237259352011258026818942667722802069805377529242543826594693815\ 4324260719157022245335180456979842119196613931110541947557220413342\ 2457709056*c_1001_12^36 + 18120522478502094358446332044194536708033\ 7906746220563069340241764150606425765669140107212978603298027302878\ 5055089799216586904359121624060131618628274149838312453/20786031694\ 1365878366961381779445140084435201142070007921015523540331469319078\ 6994602036157431955393677666840013853427348815893974604483329064606\ 679153100066843281792*c_1001_12^35 + 7441335004293349440086245350121539609321832008399978655208481807070\ 6266701059176041933139045546445729010513694664242596060031305271494\ 28036285748647736877552048749/1385735446275772522446409211862967600\ 5629013409471333861401034902688764621271913297346907716213035957851\ 11226675902284899210595983069655552709737786102066711228854528*c_10\ 01_12^34 + 22244641946525550865035243116288228192847908240773131664\ 1209579972825773364249307130403142925005280192497991435716137751131\ 359850057435151378035650455250251671463065/831441267765463513467845\ 5271177805603377408045682800316840620941613258772763147978408144629\ 7278215747106673600554137093952635758984179333162584267166124002673\ 73127168*c_1001_12^33 + 2213360798907158655592741949382052775903617\ 0860816352223949660056128296667508873963790346868653294057085527415\ 7403139833716980795864540677745187996561381406153486187/20786031694\ 1365878366961381779445140084435201142070007921015523540331469319078\ 6994602036157431955393677666840013853427348815893974604483329064606\ 679153100066843281792*c_1001_12^32 + 3183672690573411883727109695907089312392876600252452193242327958697\ 5132892363700916621489490275927620605389988576566904813905892976859\ 96821378952096576377489795112553/8314412677654635134678455271177805\ 6033774080456828003168406209416132587727631479784081446297278215747\ 10667360055413709395263575898417933316258426716612400267373127168*c\ _1001_12^31 + 95295968022993972093508148964933365599743154981237956\ 0385965088654606393941859636386393599853117189885364314838353005247\ 0453296859374652279356589438763868990577778021/83144126776546351346\ 7845527117780560337740804568280031684062094161325877276314797840814\ 4629727821574710667360055413709395263575898417933316258426716612400\ 267373127168*c_1001_12^30 + 825188127033495122982532422762675038372\ 1726063915705857511553246280970783927580186999511096525649703675952\ 383283487663835562781598994021023614920373769143349288738101/277147\ 0892551545044892818423725935201125802681894266772280206980537752924\ 2543826594693815432426071915702224533518045697984211919661393111054\ 19475572204133422457709056*c_1001_12^29 + 1938329515622227942961690890442510793782554998667899949833924018916\ 8776215648948983903021931685281971422277621092760500876346441341447\ 818248973203491168336798740957843/277147089255154504489281842372593\ 5201125802681894266772280206980537752924254382659469381543242607191\ 570222453351804569798421191966139311105419475572204133422457709056*\ c_1001_12^28 + 5856005913656227653898523457117383564778205160020753\ 7580855513155809559964630686284338731938580804532293915006512393921\ 696835636271082576653431840745418205845504429489/415720633882731756\ 7339227635588902801688704022841400158420310470806629386381573989204\ 0723148639107873553336800277068546976317879492089666581292133583062\ 00133686563584*c_1001_12^27 + 8689353565663696351420537464151095526\ 9239611863215285050970709541472503160354704063457058425041435459937\ 36907520250578109566838492162632686400944226755681444470505307/3464\ 3386156894313061160230296574190014072533523678334653502587256721911\ 5531797832433672692905325898946277806668975571224802648995767413888\ 177434446525516677807213632*c_1001_12^26 + 1669341605181131942228546700429633575698784678625084519849649291944\ 4855754615237459480161043878187615431735987420239673397358079217025\ 1117361976680370593864818062673919/41572063388273175673392276355889\ 0280168870402284140015842031047080662938638157398920407231486391078\ 7355333680027706854697631787949208966658129213358306200133686563584\ *c_1001_12^25 + 116215766919588614588171119724677261915856963378294\ 2548427494394057789072847458702257032219581537905020703146480603608\ 70175886038495999715698119535262466624362164675863/2078603169413658\ 7836696138177944514008443520114207000792101552354033146931907869946\ 0203615743195539367766684001385342734881589397460448332906460667915\ 3100066843281792*c_1001_12^24 + 18936035936912216511520752593863474\ 9956487287148746630249303815209004301614886107761514851708557149746\ 212314733458923998399541856958284199799197816374441629896415594359/\ 2771470892551545044892818423725935201125802681894266772280206980537\ 7529242543826594693815432426071915702224533518045697984211919661393\ 11105419475572204133422457709056*c_1001_12^23 + 6201347727829674871709391980636730678547583093400612591470703506048\ 6430987775514975924759213853185642569739394435853546162241149035297\ 6553329298589022780778771162039327/83144126776546351346784552711778\ 0560337740804568280031684062094161325877276314797840814462972782157\ 4710667360055413709395263575898417933316258426716612400267373127168\ *c_1001_12^22 + 203376042647237385127396070265465267205351534613161\ 5175402742921013484027685753766600145955166350610318033444671499312\ 77560230739229055005173955487194619386140615808989/2771470892551545\ 0448928184237259352011258026818942667722802069805377529242543826594\ 6938154324260719157022245335180456979842119196613931110541947557220\ 4133422457709056*c_1001_12^21 + 85083976868835170591433748406214236\ 1467951495548831943346881055325664694625354043318641818168332328001\ 93916188942190691846852689521420719043319557472011318529212929809/1\ 3857354462757725224464092118629676005629013409471333861401034902688\ 7646212719132973469077162130359578511122667590228489921059598306965\ 5552709737786102066711228854528*c_1001_12^20 + 3144009689554264792267582675295647614617052605013904104979556620034\ 7528321803215177920527423949810546905595467259971974916059959687963\ 9850037403686099557684092176726489/83144126776546351346784552711778\ 0560337740804568280031684062094161325877276314797840814462972782157\ 4710667360055413709395263575898417933316258426716612400267373127168\ *c_1001_12^19 + 121355826588087023360201523489487366358289025522936\ 5375818581123365345377304955369261344914115638452363709298520901186\ 4265369089295460720209135977891349686498150551495/41572063388273175\ 6733922763558890280168870402284140015842031047080662938638157398920\ 4072314863910787355333680027706854697631787949208966658129213358306\ 200133686563584*c_1001_12^18 - 731601905880424948540954403149422775\ 0298832358114787339208676419710447014078636364560570357212224335972\ 7291679812589932370383119267297189244074344750273417768000944395/41\ 5720633882731756733922763558890280168870402284140015842031047080662\ 9386381573989204072314863910787355333680027706854697631787949208966\ 658129213358306200133686563584*c_1001_12^17 - 7644450928749645865893823798407188852022412879731845247707548987625\ 5552006147077414360867884333590485556413859671834021299626890848785\ 696284123679016756500736308436837/277147089255154504489281842372593\ 5201125802681894266772280206980537752924254382659469381543242607191\ 570222453351804569798421191966139311105419475572204133422457709056*\ c_1001_12^16 - 2488908580697497385040268539909690652761931710898472\ 0723536169268072851702590476577462290965028161010954171667533239086\ 4143865371250662136713067267941783338093309829319/83144126776546351\ 3467845527117780560337740804568280031684062094161325877276314797840\ 8144629727821574710667360055413709395263575898417933316258426716612\ 400267373127168*c_1001_12^15 - 134625738952467916747883687003505301\ 4037739626709488750908299959517149896727921416954351915838662030224\ 25017002746280107013691036076520591740673556166583777206625250193/4\ 1572063388273175673392276355889028016887040228414001584203104708066\ 2938638157398920407231486391078735533368002770685469763178794920896\ 6658129213358306200133686563584*c_1001_12^14 - 1328788779506468718485173962824581682772939779124102787711041273636\ 6107421043616007835600285111049593413411174293809913752036374371187\ 7294704364334369770888627209112637/83144126776546351346784552711778\ 0560337740804568280031684062094161325877276314797840814462972782157\ 4710667360055413709395263575898417933316258426716612400267373127168\ *c_1001_12^13 - 310683049996912394613434039244822795726359111829894\ 1875056801246743167804153500361993378109829601813645494093019050600\ 929814866246964526510672665090643894529385663019/346433861568943130\ 6116023029657419001407253352367833465350258725672191155317978324336\ 7269290532589894627780666897557122480264899576741388817743444652551\ 6677807213632*c_1001_12^12 - 79319506566282498308586430035232952652\ 1375969017776174394174913681703587134045039478027288466449585508567\ 8782822431508766832601924765668747326817717152688541714532541/27714\ 7089255154504489281842372593520112580268189426677228020698053775292\ 4254382659469381543242607191570222453351804569798421191966139311105\ 419475572204133422457709056*c_1001_12^11 - 6130599577178453041242046192834535333255758795990690423853290138259\ 0648960328331931637428659309948000754384105839553625519109385834431\ 593780395206685348642493655915509/277147089255154504489281842372593\ 5201125802681894266772280206980537752924254382659469381543242607191\ 570222453351804569798421191966139311105419475572204133422457709056*\ c_1001_12^10 - 2802410437449221294947333861395428103111451188891589\ 6678212043103134427108774119728165482988219475127022891042248222872\ 7420142551141830499321200055716225869596940827107/83144126776546351\ 3467845527117780560337740804568280031684062094161325877276314797840\ 8144629727821574710667360055413709395263575898417933316258426716612\ 400267373127168*c_1001_12^9 - 3288498414899045243352940091713995539\ 3074710093122970752907984590046901721261100562442824892965981714292\ 6092006104232049895713222547727841373532636019022235756376658035/83\ 1441267765463513467845527117780560337740804568280031684062094161325\ 8772763147978408144629727821574710667360055413709395263575898417933\ 316258426716612400267373127168*c_1001_12^8 - 2469491321463956562132992862592001388183979718434489457754408482486\ 0068637073326525482546070600512793176630624612561845852387230227618\ 8622630081845653683891041826304989/83144126776546351346784552711778\ 0560337740804568280031684062094161325877276314797840814462972782157\ 4710667360055413709395263575898417933316258426716612400267373127168\ *c_1001_12^7 - 2834930792075224079446136751332119890061496973097018\ 6424640252620085855735502969960057418841322929724446333681719973868\ 564840358572440296813220306512664421642634200321/138573544627577252\ 2446409211862967600562901340947133386140103490268876462127191329734\ 6907716213035957851112266759022848992105959830696555527097377861020\ 66711228854528*c_1001_12^6 - 36846233522185701102462315224856871190\ 0856334019498813479680196581384272283290072551251176814842899758239\ 72742350106118908985307113196241966210934563739554363850323749/2078\ 6031694136587836696138177944514008443520114207000792101552354033146\ 9319078699460203615743195539367766684001385342734881589397460448332\ 9064606679153100066843281792*c_1001_12^5 - 1030269847274994896966658609511096089696929666683553197865330509043\ 4313710323861337625978332990259716959897623064802429037040292852966\ 5482694823884416054155018148381027/41572063388273175673392276355889\ 0280168870402284140015842031047080662938638157398920407231486391078\ 7355333680027706854697631787949208966658129213358306200133686563584\ *c_1001_12^4 - 8230751520023936331898421787297696809651787102956064\ 8860854367836589837292192608444667582237025850778472997820213197885\ 016873237954905493324567076942460132471440701873/415720633882731756\ 7339227635588902801688704022841400158420310470806629386381573989204\ 0723148639107873553336800277068546976317879492089666581292133583062\ 00133686563584*c_1001_12^3 - 42296996804447173601322820856689677041\ 5327537611988903196871781668435468633186087541159872129490076132816\ 78789882047396347935200352115173141601388069821984121887776875/2771\ 4708925515450448928184237259352011258026818942667722802069805377529\ 2425438265946938154324260719157022245335180456979842119196613931110\ 5419475572204133422457709056*c_1001_12^2 - 1525266942753788067483396694690225666843920368879850927462762049041\ 9399450176138790873461942669199260207218339627125850984355928286112\ 684670966518284549333708376064833/207860316941365878366961381779445\ 1400844352011420700079210155235403314693190786994602036157431955393\ 677666840013853427348815893974604483329064606679153100066843281792*\ c_1001_12 - 1537107422354185239447625848804006172323721380675417054\ 5521137371995542803338752759941144846313902280883540577793143061211\ 096797530411746784282680463732122841020248743/415720633882731756733\ 9227635588902801688704022841400158420310470806629386381573989204072\ 3148639107873553336800277068546976317879492089666581292133583062001\ 33686563584, c_0101_9 - 654142859395417326601956659405340019894298154043713253149944\ 0451487584671441711126687170492655871661109336534137519574272700109\ 5647161852107904385309139170615889/41572063388273175673392276355889\ 0280168870402284140015842031047080662938638157398920407231486391078\ 7355333680027706854697631787949208966658129213358306200133686563584\ *c_1001_12^37 - 428074382769807057752487770904210459597654029029232\ 0063410204786650143055018165339496009421663027797328761759381323637\ 7626750729135800517746227288917328849026595/17321693078447156530580\ 1151482870950070362667618391673267512936283609557765898916216836346\ 4526629494731389033344877856124013244978837069440887172232627583389\ 03606816*c_1001_12^36 - 5099629380932889597766368817709612424133247\ 7560097844811666354247519888773081971505129441794607386468014154900\ 48133931047599509879680242743306156971146757822745887/2078603169413\ 6587836696138177944514008443520114207000792101552354033146931907869\ 9460203615743195539367766684001385342734881589397460448332906460667\ 9153100066843281792*c_1001_12^35 - 1069354480342594813510339402283874141167498588114862844984203529522\ 2701078024794294700109284434310226997010588437489766403633923884291\ 729141563445211351555550807911/692867723137886261223204605931483800\ 2814506704735666930700517451344382310635956648673453858106517978925\ 55613337951142449605297991534827776354868893051033355614427264*c_10\ 01_12^34 - 32562241807172155101197842814234382693533611895944537511\ 7552350418371243714136020163446157704390692468527743735834458485166\ 970069860173886685062098021665244126029329/415720633882731756733922\ 7635588902801688704022841400158420310470806629386381573989204072314\ 8639107873553336800277068546976317879492089666581292133583062001336\ 86563584*c_1001_12^33 - 1326919066750486340497266934201795466212179\ 4213121677673046302307730564381975126285126830520756982243986480026\ 47456042564455776725707940215018581026340711581860216931/4157206338\ 8273175673392276355889028016887040228414001584203104708066293863815\ 7398920407231486391078735533368002770685469763178794920896665812921\ 3358306200133686563584*c_1001_12^32 - 6077746619093545747864108503844176297991765164650307898604200672008\ 8340265704796533101362529147016525274671025917863237509576263179796\ 7997595786216865308512879219317/51965079235341469591740345444861285\ 0211088002855175019802538808850828673297696748650509039357988848419\ 416710003463356837203973493651120832266151669788275016710820448*c_1\ 001_12^31 - 1498633603680605183514464665585314638066161070768284495\ 3283360042912003819954380081072417258723830961998873486308562518246\ 094056701949443380648473225594984345425024567/415720633882731756733\ 9227635588902801688704022841400158420310470806629386381573989204072\ 3148639107873553336800277068546976317879492089666581292133583062001\ 33686563584*c_1001_12^30 - 3359331131073689916620915247475130922761\ 4774440532440641238948545575337124043873295745071630137693197783926\ 38522928963496333977123943418602475717712135233163670496437/3464338\ 6156894313061160230296574190014072533523678334653502587256721911553\ 1797832433672692905325898946277806668975571224802648995767413888177\ 434446525516677807213632*c_1001_12^29 - 3270946118319023017641139330390987671060354160352403417554724596796\ 7515977773928717669648087185084632182555900747573037130932466183020\ 769824306646759248164090199103631/138573544627577252244640921186296\ 7600562901340947133386140103490268876462127191329734690771621303595\ 785111226675902284899210595983069655552709737786102066711228854528*\ c_1001_12^28 - 2081102030770197623081476123197589090123004092547926\ 7782829461593616631229550674732369580546827255714732165137233835466\ 6123152910717678694765647106384627328972286676415/41572063388273175\ 6733922763558890280168870402284140015842031047080662938638157398920\ 4072314863910787355333680027706854697631787949208966658129213358306\ 200133686563584*c_1001_12^27 - 131622734994418201847247493709031108\ 1468334042527542515264787372309211884854561561765805566441658648320\ 53252401966565452137827266532049903025941839475957641791539676587/1\ 3857354462757725224464092118629676005629013409471333861401034902688\ 7646212719132973469077162130359578511122667590228489921059598306965\ 5552709737786102066711228854528*c_1001_12^26 - 6807569674475666502202599757278399030531134944577186131204143773292\ 5871997709043724437824751031071871845323222760230004203044051327650\ 4103492347433803964387695160038291/41572063388273175673392276355889\ 0280168870402284140015842031047080662938638157398920407231486391078\ 7355333680027706854697631787949208966658129213358306200133686563584\ *c_1001_12^25 - 104924317800891963953833501614954641215408744322211\ 6150917950133258465939082585505555666119290854612640716464843010853\ 649950134064266804937345190026289173737026299827325/415720633882731\ 7567339227635588902801688704022841400158420310470806629386381573989\ 2040723148639107873553336800277068546976317879492089666581292133583\ 06200133686563584*c_1001_12^24 - 2444471587712109703232520726769113\ 4355187998883910501074986591717607908678883032635278568819873901183\ 8172390046350869128751287515648174228119390261220888941019600518223\ /692867723137886261223204605931483800281450670473566693070051745134\ 4382310635956648673453858106517978925556133379511424496052979915348\ 27776354868893051033355614427264*c_1001_12^23 - 1891635789328683062823978547213895595541478898184076738726928475297\ 7685338592190806437388750918669252189214297873032473206236806299326\ 34285760052599938126715732520128827/4157206338827317567339227635588\ 9028016887040228414001584203104708066293863815739892040723148639107\ 8735533368002770685469763178794920896665812921335830620013368656358\ 4*c_1001_12^22 - 18971685422606036639472060496148306285655349464921\ 6221358519539532549428264022105489819080012605988806603745014500452\ 646458533393209126557189396101472379597935436826767/346433861568943\ 1306116023029657419001407253352367833465350258725672191155317978324\ 3367269290532589894627780666897557122480264899576741388817743444652\ 5516677807213632*c_1001_12^21 - 42377142579231672458434575348480247\ 3547869140065147414950329737240252182198847520159861281890485015272\ 259090861081861918776170098620313135350349860457331395975582486925/\ 6928677231378862612232046059314838002814506704735666930700517451344\ 3823106359566486734538581065179789255561333795114244960529799153482\ 7776354868893051033355614427264*c_1001_12^20 - 2627053811772966240162342260617944770381621687234993311942094883623\ 9642926592654839455445662970108726415236904472145092253554627809618\ 22850819640716896948441175658503307/4157206338827317567339227635588\ 9028016887040228414001584203104708066293863815739892040723148639107\ 8735533368002770685469763178794920896665812921335830620013368656358\ 4*c_1001_12^19 - 24701387818199271352072658583628459631109798592836\ 3653782048926137944494928981243012506483732041915407292779270054159\ 5958424571093074637504728268022743834122718045774049/41572063388273\ 1756733922763558890280168870402284140015842031047080662938638157398\ 9204072314863910787355333680027706854697631787949208966658129213358\ 306200133686563584*c_1001_12^18 - 229460154662069492141535124717830\ 1358779648975019525149245439648378185538054749571139528433872046633\ 7446801671303499640904598782455682551000092008420056662779997540174\ 49/4157206338827317567339227635588902801688704022841400158420310470\ 8066293863815739892040723148639107873553336800277068546976317879492\ 08966658129213358306200133686563584*c_1001_12^17 - 3462260528578468026580690208260820979732068844924470201031847163453\ 8827254139597863661296747316107515873366721474005974429610700554937\ 8688161130330649605694723588001805/69286772313788626122320460593148\ 3800281450670473566693070051745134438231063595664867345385810651797\ 892555613337951142449605297991534827776354868893051033355614427264*\ c_1001_12^16 - 1854357575728512978297729740733725262312155814218771\ 5254003087086610912967085648766305498543773528969774764731324792361\ 82880872327037909994103519245961178631086767299253/4157206338827317\ 5673392276355889028016887040228414001584203104708066293863815739892\ 0407231486391078735533368002770685469763178794920896665812921335830\ 6200133686563584*c_1001_12^15 - 16236621243954351810654710683299609\ 9847649945040261851964193783712532953075375934585682136444713804312\ 6509160945820039890845041578368800021577260003521355876481562883681\ /415720633882731756733922763558890280168870402284140015842031047080\ 6629386381573989204072314863910787355333680027706854697631787949208\ 966658129213358306200133686563584*c_1001_12^14 - 9931201183300794324341729159832402764192526322441376504240016205780\ 0821086632852053438315840981593939794167137839405912886184864736813\ 244943905833965736971115121413639/259825396176707347958701727224306\ 4251055440014275875099012694044254143366488483743252545196789944242\ 09708355001731678418601986746825560416133075834894137508355410224*c\ _1001_12^13 - 24993676863126256038850364402464482364010557262994407\ 2604438319939890149280583995021595265006953586329829594152884179601\ 189584201871949078392038996008542347758205513533/692867723137886261\ 2232046059314838002814506704735666930700517451344382310635956648673\ 4538581065179789255561333795114244960529799153482777635486889305103\ 3355614427264*c_1001_12^12 - 48719577569245176664370763788105374773\ 5884550385738251429545127596143471401383376295777709723083802043469\ 024951797340338038941415507474771649034224107260334963895409019/138\ 5735446275772522446409211862967600562901340947133386140103490268876\ 4621271913297346907716213035957851112266759022848992105959830696555\ 52709737786102066711228854528*c_1001_12^11 - 1010929279085378744885336969435753042362160253736333241426628308626\ 7738849847326193266222528291994975701801340329673628969982967681794\ 6357697581740449887070253668129359/34643386156894313061160230296574\ 1900140725335236783346535025872567219115531797832433672692905325898\ 946277806668975571224802648995767413888177434446525516677807213632*\ c_1001_12^10 - 9726220849345773354748805494684903924745339722369950\ 0684158005101113149745901248976184549412308382678778003965998135691\ 6159993050222870870276708034355924201064743103217/41572063388273175\ 6733922763558890280168870402284140015842031047080662938638157398920\ 4072314863910787355333680027706854697631787949208966658129213358306\ 200133686563584*c_1001_12^9 - 3632873682816058563419472754928536220\ 4914768345082951799452141785683414177973785958084801412888161808285\ 8642297022091352845903895785302316022812678733957317223477590763/20\ 7860316941365878366961381779445140084435201142070007921015523540331\ 4693190786994602036157431955393677666840013853427348815893974604483\ 329064606679153100066843281792*c_1001_12^8 - 5895828379802590249243390703396910397799419844274464945917231943098\ 6027852678996869903243292098096976060243346634094494344098401561494\ 7381192071572246519946374092993875/41572063388273175673392276355889\ 0280168870402284140015842031047080662938638157398920407231486391078\ 7355333680027706854697631787949208966658129213358306200133686563584\ *c_1001_12^7 - 1661562725543847242467513543366019116357952170149730\ 6390602113785823203991161210557955144421481177355395641004872456365\ 7257842200294895751589877548784684167182845165397/13857354462757725\ 2244640921186296760056290134094713338614010349026887646212719132973\ 4690771621303595785111226675902284899210595983069655552709737786102\ 066711228854528*c_1001_12^6 - 3632935628499868149917669720583492943\ 2918913669681487732703362990838507431749622493447083765126414290925\ 6910179735371734494795790433880380541987697611535699811546200799/41\ 5720633882731756733922763558890280168870402284140015842031047080662\ 9386381573989204072314863910787355333680027706854697631787949208966\ 658129213358306200133686563584*c_1001_12^5 - 1810413108944979065493760442367369986494444110634696931676529178683\ 6419124822306720270516212508996454302190594425867053354924970429955\ 7967096636303467038540299320725059/41572063388273175673392276355889\ 0280168870402284140015842031047080662938638157398920407231486391078\ 7355333680027706854697631787949208966658129213358306200133686563584\ *c_1001_12^4 - 1028502149271294086526562052786774654011556940635376\ 3696228097643084221874687567097515047948383033459675621974977600627\ 3038639792114000267539543894806280880893422985621/41572063388273175\ 6733922763558890280168870402284140015842031047080662938638157398920\ 4072314863910787355333680027706854697631787949208966658129213358306\ 200133686563584*c_1001_12^3 - 3085214631110388533959568427631773192\ 7844132257071121070672254038232804701099000968807497791085856767316\ 17717033984290100771600548678369784133955522701306547108578745/6928\ 6772313788626122320460593148380028145067047356669307005174513443823\ 1063595664867345385810651797892555613337951142449605297991534827776\ 354868893051033355614427264*c_1001_12^2 - 1979844810470455341601285842222931617906578036746262865732105452472\ 6639565430247651624344906434748158682962815921080303986529035024856\ 06633269057079215639756389402605/2078603169413658783669613817794451\ 4008443520114207000792101552354033146931907869946020361574319553936\ 77666840013853427348815893974604483329064606679153100066843281792*c\ _1001_12 + 14875810408882275389996820931935025573292875315228632066\ 7246192377938419894839245899539390602609171325614058088246897291604\ 615406409461107815614864834737498538882545/129912698088353673979350\ 8636121532125527720007137937549506347022127071683244241871626272598\ 3949721210485417750086583920930099337341278020806653791744706875417\ 7705112, c_1001_0 + 618363313980315653692061664619250949073788619614063477221166\ 4245833072238527860450588321779284958633281057826925667136240230141\ 2137632797325765126060081686968145/41572063388273175673392276355889\ 0280168870402284140015842031047080662938638157398920407231486391078\ 7355333680027706854697631787949208966658129213358306200133686563584\ *c_1001_12^37 + 172620956862957547096817700773542931804400913377572\ 0807385785885245812529899241212221039336913423773676412722023916132\ 38672986435475855198100325594016996832153377/6928677231378862612232\ 0460593148380028145067047356669307005174513443823106359566486734538\ 5810651797892555613337951142449605297991534827776354868893051033355\ 614427264*c_1001_12^36 + 532696297148239036126172694432325779616704\ 1784035162868434978487637319956990653114249885978253905241131203073\ 821676153486088523373855347016850283059241418622672577/207860316941\ 3658783669613817794451400844352011420700079210155235403314693190786\ 9946020361574319553936776668400138534273488158939746044833290646066\ 79153100066843281792*c_1001_12^35 + 1178308317329393385099236346644124714005729626518566971839730315881\ 3503238202581767958757788016961278689576686062657291754938818866372\ 544402908546174128386634268473/692867723137886261223204605931483800\ 2814506704735666930700517451344382310635956648673453858106517978925\ 55613337951142449605297991534827776354868893051033355614427264*c_10\ 01_12^34 + 37096185623123362329183374206572055354485074159194001851\ 5164504136945905951775076108355750040265424801909676582570068307568\ 471964445044262133877593161749153586540401/415720633882731756733922\ 7635588902801688704022841400158420310470806629386381573989204072314\ 8639107873553336800277068546976317879492089666581292133583062001336\ 86563584*c_1001_12^33 + 1574728326373330002668631850222882485289520\ 6220399160137928290563324904937635184599742010041847458608493772768\ 62449870792050463187205499247163234570738998699534600993/4157206338\ 8273175673392276355889028016887040228414001584203104708066293863815\ 7398920407231486391078735533368002770685469763178794920896665812921\ 3358306200133686563584*c_1001_12^32 + 2950641068066265760858583089480243119063164750223583246826433223523\ 5748410059141102801292206208263127093570468758511753778607671245672\ 03310722348425248001032932827593/2078603169413658783669613817794451\ 4008443520114207000792101552354033146931907869946020361574319553936\ 77666840013853427348815893974604483329064606679153100066843281792*c\ _1001_12^31 + 18948560943780764568391735132552722963952255986647572\ 5879616928014466134324965865024955022914461771565761152685716881759\ 02497154632296514281292506182309645830811798619/4157206338827317567\ 3392276355889028016887040228414001584203104708066293863815739892040\ 7231486391078735533368002770685469763178794920896665812921335830620\ 0133686563584*c_1001_12^30 + 88068503322270265292921614109252149209\ 1168431125644576531800456520075632168553052461082150748787325038118\ 7336642223973235201476941555417525954349355008845653308926745/69286\ 7723137886261223204605931483800281450670473566693070051745134438231\ 0635956648673453858106517978925556133379511424496052979915348277763\ 54868893051033355614427264*c_1001_12^29 + 4413140927316562948779551261611849213656729629392331675196639227600\ 8568803113642400527998405192396693532957662401032352703126527030964\ 370050400845885657278093694435231/138573544627577252244640921186296\ 7600562901340947133386140103490268876462127191329734690771621303595\ 785111226675902284899210595983069655552709737786102066711228854528*\ c_1001_12^28 + 2932250568779140498994642196430283820339225996663917\ 4592389600269559990543569928782331052900699741592466516398658377433\ 5961551042529476103447349161203397667057883020213/41572063388273175\ 6733922763558890280168870402284140015842031047080662938638157398920\ 4072314863910787355333680027706854697631787949208966658129213358306\ 200133686563584*c_1001_12^27 + 192647024314835690155073710779942877\ 4941916776223156546294159814538275367558235010184188833166911533954\ 85372000442440688349253709358003217227872156604101783338866012485/1\ 3857354462757725224464092118629676005629013409471333861401034902688\ 7646212719132973469077162130359578511122667590228489921059598306965\ 5552709737786102066711228854528*c_1001_12^26 + 1032084242734024671805661859109263853498988275431777653465430979379\ 8821965339331635022472463568059285270571221809373455060333995370238\ 55526281559508656714402650448533269/4157206338827317567339227635588\ 9028016887040228414001584203104708066293863815739892040723148639107\ 8735533368002770685469763178794920896665812921335830620013368656358\ 4*c_1001_12^25 + 16622931915338907458137205840560652156122398992923\ 2166591394599305970369167541440353730057189734869964021269543739697\ 0583443229364117229294856899146369474121825236901463/41572063388273\ 1756733922763558890280168870402284140015842031047080662938638157398\ 9204072314863910787355333680027706854697631787949208966658129213358\ 306200133686563584*c_1001_12^24 + 252163834508797262983793364036799\ 9570285349608192819721561705838664707381724547437648685690518942809\ 4544568836499879972623235226713662782841615116355346937534276662161\ /433042326961178913264502878707177375175906669045979183168782340709\ 0238944147472905420908661316573736828472583362194640310033112447092\ 6736022179305815689584725901704*c_1001_12^23 + 3236212674098466952189518862568485413425852116326015396052059653211\ 5475180968242122161216245653854887004125049088302011237442642711191\ 36864379315834593712664042441716051/4157206338827317567339227635588\ 9028016887040228414001584203104708066293863815739892040723148639107\ 8735533368002770685469763178794920896665812921335830620013368656358\ 4*c_1001_12^22 + 67056322945592957313416970250587913083455093237225\ 5603268368401845484117090414047277306426466317791735325352532953274\ 516906394083811081834602978959109954079671379601573/692867723137886\ 2612232046059314838002814506704735666930700517451344382310635956648\ 6734538581065179789255561333795114244960529799153482777635486889305\ 1033355614427264*c_1001_12^21 + 77674359852842032678617041326367499\ 7413055231069941764262622605713386164110998128988146467192731822021\ 137355289179306555156811867828815429409511785731764024821889589817/\ 6928677231378862612232046059314838002814506704735666930700517451344\ 3823106359566486734538581065179789255561333795114244960529799153482\ 7776354868893051033355614427264*c_1001_12^20 + 5010168286296387288751010892426839626441473359026752584665305255228\ 0348617172073006203408488460583379626954996713045451762129211323868\ 38370996829973430799042244494244183/4157206338827317567339227635588\ 9028016887040228414001584203104708066293863815739892040723148639107\ 8735533368002770685469763178794920896665812921335830620013368656358\ 4*c_1001_12^19 + 49545029890953734191955862595029120349956131421256\ 5830082999948606746032531987133383828676389427506515876611429862575\ 3792567566280390783484101091261664287013778486525795/41572063388273\ 1756733922763558890280168870402284140015842031047080662938638157398\ 9204072314863910787355333680027706854697631787949208966658129213358\ 306200133686563584*c_1001_12^18 + 464405605548000404082405392102216\ 3675337462968711705079563326496808571170424626266267361574041737859\ 0995237134961287871620947867428530376732193399392567905212155833672\ 91/4157206338827317567339227635588902801688704022841400158420310470\ 8066293863815739892040723148639107873553336800277068546976317879492\ 08966658129213358306200133686563584*c_1001_12^17 + 4453634964721563314607361510266578426078151317463037138886784315433\ 1669997053302167840226079778060213086801858459754121476813566503037\ 211409680214968763112015404415077/433042326961178913264502878707177\ 3751759066690459791831687823407090238944147472905420908661316573736\ 8284725833621946403100331124470926736022179305815689584725901704*c_\ 1001_12^16 + 385412204100855063142144366457992512646036196633482878\ 6633380481775462228367538859631107260918173060492497954861622086270\ 449195307493502479954776640384613168842142022241/415720633882731756\ 7339227635588902801688704022841400158420310470806629386381573989204\ 0723148639107873553336800277068546976317879492089666581292133583062\ 00133686563584*c_1001_12^15 + 3417186199820683797733646289106139505\ 2144456791136536684619549992267373196379368286507490811221841039160\ 93470208768260391095294043580789988674278394817747683476649154499/4\ 1572063388273175673392276355889028016887040228414001584203104708066\ 2938638157398920407231486391078735533368002770685469763178794920896\ 6658129213358306200133686563584*c_1001_12^14 + 1579143914222331080343851828695630199232490241362020042231537202884\ 9669060339023580653851116387620407189814500926418094469358172831154\ 69295549677965349685440829987334677/2078603169413658783669613817794\ 4514008443520114207000792101552354033146931907869946020361574319553\ 9367766684001385342734881589397460448332906460667915310006684328179\ 2*c_1001_12^13 + 50646375989544733819102829130709563766816222023973\ 5212203273814672232954305611863806745186402542244741832123866117292\ 272691234050932949444408064189947556076517841090797/692867723137886\ 2612232046059314838002814506704735666930700517451344382310635956648\ 6734538581065179789255561333795114244960529799153482777635486889305\ 1033355614427264*c_1001_12^12 + 96924597723088972208621806996641748\ 2442944911092956685352321140773535406125802614957735286652649677266\ 457319169746538214007081991015802979269081368973370160552606532011/\ 1385735446275772522446409211862967600562901340947133386140103490268\ 8764621271913297346907716213035957851112266759022848992105959830696\ 55552709737786102066711228854528*c_1001_12^11 + 4387317529612645629189585139415628426704559360978312040262548059191\ 3088890950939849866648284220259224450442721720403979520891525636861\ 8401705716986180229875713956746247/69286772313788626122320460593148\ 3800281450670473566693070051745134438231063595664867345385810651797\ 892555613337951142449605297991534827776354868893051033355614427264*\ c_1001_12^10 + 2156251076475793531944758617466455155260181649373665\ 4920749082879351884314171050260782275771593797887048718379868030613\ 64645225888837299398302977562956356746499203572065/4157206338827317\ 5673392276355889028016887040228414001584203104708066293863815739892\ 0407231486391078735533368002770685469763178794920896665812921335830\ 6200133686563584*c_1001_12^9 + 421447497642951990155013445528114651\ 7696336263054341313406935514427948785355523323411546729686353435331\ 37809636849701605498893166331327008351393981755108188539455997893/1\ 0393015847068293918348069088972257004221760057103500396050776177016\ 5734659539349730101807871597769683883342000692671367440794698730224\ 1664532303339576550033421640896*c_1001_12^8 + 1311467321424455217124836930021090006590513134007251157192500499570\ 7833643813470512257864008810531229798904733819774189872405715431545\ 69691206506083949309129055475432963/4157206338827317567339227635588\ 9028016887040228414001584203104708066293863815739892040723148639107\ 8735533368002770685469763178794920896665812921335830620013368656358\ 4*c_1001_12^7 + 361640522126039566411359418250939061463111898468923\ 1383848610574675690955577763320369638507693293036099081479167810198\ 24462000048445239942173003819820237265954205801571/1385735446275772\ 5224464092118629676005629013409471333861401034902688764621271913297\ 3469077162130359578511122667590228489921059598306965555270973778610\ 2066711228854528*c_1001_12^6 + 861809605933607619389730806467306805\ 9431238529041186793725308146747563069661294071694881235936425550115\ 26592851084144284806892865272944979740319558740521179353296793601/4\ 1572063388273175673392276355889028016887040228414001584203104708066\ 2938638157398920407231486391078735533368002770685469763178794920896\ 6658129213358306200133686563584*c_1001_12^5 + 5562591644462819202783791840716269061484881836655639803237413166827\ 5250365248940063996574638102523661868555378848445025007348758764435\ 6881330376447453992734473499692121/41572063388273175673392276355889\ 0280168870402284140015842031047080662938638157398920407231486391078\ 7355333680027706854697631787949208966658129213358306200133686563584\ *c_1001_12^4 + 3015639198301790302376624806709287625638434981976206\ 8263511844159752168879833002554560337434849453210427323568127612744\ 2432144083936125967029628616578504199977934684515/41572063388273175\ 6733922763558890280168870402284140015842031047080662938638157398920\ 4072314863910787355333680027706854697631787949208966658129213358306\ 200133686563584*c_1001_12^3 + 1188952767181997110641294170909524548\ 2291038153035584905073689264294363430762814527014621708563708608076\ 096206927550264553569872041907105955514176644042865642845206033/346\ 4338615689431306116023029657419001407253352367833465350258725672191\ 1553179783243367269290532589894627780666897557122480264899576741388\ 8177434446525516677807213632*c_1001_12^2 + 2108787449457514478246471049787302637056787680647651536742705242750\ 0008209633322928971632984376769081694560813754807357201606929548535\ 800920247336317662745755527220147/207860316941365878366961381779445\ 1400844352011420700079210155235403314693190786994602036157431955393\ 677666840013853427348815893974604483329064606679153100066843281792*\ c_1001_12 + 2382035196752408441096504544942797907205473198490410547\ 4511020507967421062475054425302059931009342129972698934634410835314\ 27518329131825393366501780154078003512121703/1039301584706829391834\ 8069088972257004221760057103500396050776177016573465953934973010180\ 7871597769683883342000692671367440794698730224166453230333957655003\ 3421640896, c_1001_12^38 + 16*c_1001_12^37 + 161*c_1001_12^36 + 1034*c_1001_12^35 + 5339*c_1001_12^34 + 22209*c_1001_12^33 + 82643*c_1001_12^32 + 260592*c_1001_12^31 + 719108*c_1001_12^30 + 1791522*c_1001_12^29 + 3921547*c_1001_12^28 + 7705552*c_1001_12^27 + 13754816*c_1001_12^26 + 22121376*c_1001_12^25 + 32410651*c_1001_12^24 + 43760498*c_1001_12^23 + 55034834*c_1001_12^22 + 64481295*c_1001_12^21 + 70387303*c_1001_12^20 + 70936275*c_1001_12^19 + 68721490*c_1001_12^18 + 63845681*c_1001_12^17 + 58214696*c_1001_12^16 + 51890259*c_1001_12^15 + 48438015*c_1001_12^14 + 44955305*c_1001_12^13 + 43313073*c_1001_12^12 + 38443854*c_1001_12^11 + 33276772*c_1001_12^10 + 26579370*c_1001_12^9 + 21429846*c_1001_12^8 + 17322721*c_1001_12^7 + 13448816*c_1001_12^6 + 9135928*c_1001_12^5 + 5965554*c_1001_12^4 + 2869567*c_1001_12^3 + 1434425*c_1001_12^2 + 370386*c_1001_12 + 155278 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 199.510 Total time: 199.729 seconds, Total memory usage: 574.97MB