Magma V2.19-8 Tue Aug 20 2013 18:05:13 on localhost [Seed = 3204383882] Type ? for help. Type -D to quit. Loading file "11_149__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_149 geometric_solution 12.58770356 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 14 1 2 3 2 0132 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.615531829094 0.450670292750 0 4 4 5 0132 0132 1302 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 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.805434047684 0.840597447513 0 0 3 6 3012 0132 1023 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 -1 0 -1 0 0 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.095602224789 1.284255532051 7 6 2 0 0132 0132 1023 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.538680454340 0.863647831783 1 1 8 9 2031 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 -1 0 1 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.405727614461 0.620216952396 10 11 1 12 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 1 -1 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.182042411110 0.451667478392 10 3 2 7 2031 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.326822715080 0.323699714896 3 9 10 6 0132 3120 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.218320655510 1.385868759133 13 11 13 4 0132 0321 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 1 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.050749767948 0.964682564332 10 7 4 12 1230 3120 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.059258544937 0.790972684586 5 9 6 7 0132 3012 1302 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 -1 0 -1 0 0 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.427806962235 0.769031203761 12 5 13 8 1023 0132 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.589700346086 1.859635865845 9 11 5 13 3012 1023 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.192034231546 0.747643985349 8 8 12 11 0132 1230 2031 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -6 7 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.518237820689 0.526663015626 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_11'], 'c_1001_10' : negation(d['c_0011_9']), 'c_1001_13' : negation(d['c_0110_12']), 'c_1001_12' : d['c_0101_11'], 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : negation(d['c_0101_9']), 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_0101_9'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0101_2'], 'c_1001_9' : d['c_0101_9'], 'c_1001_8' : negation(d['c_0011_13']), 'c_1010_13' : d['c_0101_11'], 'c_1010_12' : d['c_0011_13'], 'c_1010_11' : d['c_1001_4'], 'c_1010_10' : negation(d['c_0101_9']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_3'], 's_2_0' : d['1'], 's_2_1' : negation(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_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0110_12'], 'c_1100_8' : d['c_0110_12'], 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_10'], 'c_1100_5' : d['c_0101_13'], 'c_1100_4' : d['c_0110_12'], 'c_1100_7' : d['c_0101_6'], 'c_1100_6' : negation(d['c_0101_6']), 'c_1100_1' : d['c_0101_13'], 'c_1100_0' : d['c_0101_6'], 'c_1100_3' : d['c_0101_6'], 'c_1100_2' : negation(d['c_0101_6']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_13']), 'c_1100_10' : d['c_0101_6'], 'c_1100_13' : negation(d['c_0011_13']), 's_3_10' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : negation(d['c_0011_9']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_0101_11'], 'c_1010_4' : d['c_0101_9'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_0101_2'], 'c_1010_9' : d['c_0011_3'], 'c_1010_8' : d['c_1001_4'], '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' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0101_13'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_13']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0101_13' : d['c_0101_13'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_13'], 'c_0110_10' : d['c_0101_0'], 'c_0110_13' : d['c_0101_11'], 'c_0110_12' : d['c_0110_12'], 's_0_13' : d['1'], 'c_0101_12' : d['c_0011_3'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_13'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_11'], 'c_0011_10' : d['c_0011_10'], '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_0011_10'], 'c_0110_8' : d['c_0101_13'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_10'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0101_9'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0011_9'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 15 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_13, c_0011_3, c_0011_9, c_0101_0, c_0101_11, c_0101_13, c_0101_2, c_0101_6, c_0101_9, c_0110_12, c_1001_0, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t - 2887360250248267692063943960639289128041364136326920694755425412605\ 7064437692588831618249473046168409235416433266396707928673337540080\ 32698499956595890553850325577089305684711339452759/1185761025964421\ 2276150881481329914765435265991785163987452951546416968326950516709\ 1641593752152378959475440034889403044913134086891980287638049766970\ 6360779156459957761436801982700*c_1001_4^33 - 1821059789707704935308836907241508001070377846968028467559553353605\ 7716901620572040899093249219312926561217475532471928309359577503543\ 887199748240548346801895667818838657866983783109877/118576102596442\ 1227615088148132991476543526599178516398745295154641696832695051670\ 9164159375215237895947544003488940304491313408689198028763804976697\ 06360779156459957761436801982700*c_1001_4^32 - 2118887386459306107447254690034028778026834608804656624262616969652\ 0606931202694483628768542011363356714393941544207445816944486236535\ 246505555639525134934383725742093037522828440892479/296440256491105\ 3069037720370332478691358816497946290996863237886604242081737629177\ 2910398438038094739868860008722350761228283521722995071909512441742\ 6590194789114989440359200495675*c_1001_4^31 - 2610038481123068981129522133497415461011246350198743582548395341011\ 9218406462933310909755462671905297151044566849110821279153605069248\ 8039334233014400519857378374406378354361531630342409/11857610259644\ 2122761508814813299147654352659917851639874529515464169683269505167\ 0916415937521523789594754400348894030449131340868919802876380497669\ 706360779156459957761436801982700*c_1001_4^30 - 1832945194471342497078995217426384484790410684766728779973032710303\ 2279515560398372501551672526504465548588780257916093603395436297884\ 8105722418760557430329142229334494411645987212334166/29644025649110\ 5306903772037033247869135881649794629099686323788660424208173762917\ 7291039843803809473986886000872235076122828352172299507190951244174\ 26590194789114989440359200495675*c_1001_4^29 - 6292452800850907752711701203378781122017077033087353456683527221074\ 2295729674045130348696680971287264849648117363501668649944629037096\ 8784543521654000134001102182866740241234461334419391/59288051298221\ 0613807544074066495738271763299589258199372647577320848416347525835\ 4582079687607618947973772001744470152245656704344599014381902488348\ 53180389578229978880718400991350*c_1001_4^28 - 4414659182944353735150193365698450109269641796056378779722397786794\ 0359807028808613066087141655787423879499619383599278979037601823949\ 8039756717291658223171996209986111110693759215590217/59288051298221\ 0613807544074066495738271763299589258199372647577320848416347525835\ 4582079687607618947973772001744470152245656704344599014381902488348\ 53180389578229978880718400991350*c_1001_4^27 + 4364788859881590401666573597241694876848399828414661010572812976873\ 2803460104604217570204977790995821083388992093699037614113696021490\ 79398041659186706192444465984676966746071231838859061/1185761025964\ 4212276150881481329914765435265991785163987452951546416968326950516\ 7091641593752152378959475440034889403044913134086891980287638049766\ 9706360779156459957761436801982700*c_1001_4^26 + 6279255273082171087217374742730879978830105517423454215422450568977\ 5702461297758327348872379377605735860953317977906017712990122228168\ 15835853387514221196435418272068779658320393198850622/2964402564911\ 0530690377203703324786913588164979462909968632378866042420817376291\ 7729103984380380947398688600087223507612282835217229950719095124417\ 426590194789114989440359200495675*c_1001_4^25 + 2037114261523979586872795931465198350398760189336504821433504435926\ 3348479438239354414342662171376547681566465425147962841291855534234\ 478302601272891115929323749837135260648965662616588108/296440256491\ 1053069037720370332478691358816497946290996863237886604242081737629\ 1772910398438038094739868860008722350761228283521722995071909512441\ 7426590194789114989440359200495675*c_1001_4^24 + 2131145920839992115700784575131420666551666302717526884392959466185\ 6260838120134125240496214575831662535432256526893513412134209873622\ 485499490351303153724746824189757078745901880145781961/118576102596\ 4421227615088148132991476543526599178516398745295154641696832695051\ 6709164159375215237895947544003488940304491313408689198028763804976\ 6970636077915645995776143680198270*c_1001_4^23 + 6554264350248176830888004553385692168858944537674717721514585441359\ 9452448253108609755614259896973343248134850202244171522293448906576\ 78784593528653406353319701697873562131600553317685597/2371522051928\ 8424552301762962659829530870531983570327974905903092833936653901033\ 4183283187504304757918950880069778806089826268173783960575276099533\ 94127215583129199155228736039654*c_1001_4^22 + 4330984266987754170740533561326507745277602101170278625710535944791\ 4017240693874590751755304141260652789591736018878351479364196134065\ 9681878390775259077739672241012929710724803395996337593/11857610259\ 6442122761508814813299147654352659917851639874529515464169683269505\ 1670916415937521523789594754400348894030449131340868919802876380497\ 669706360779156459957761436801982700*c_1001_4^21 - 4771989796361264937468394511828202757399514078490347678085121184670\ 9934765979901895956985249458239245261505580201150139864674970548570\ 263034603580538727155738328708405202375155944301027511/118576102596\ 4421227615088148132991476543526599178516398745295154641696832695051\ 6709164159375215237895947544003488940304491313408689198028763804976\ 6970636077915645995776143680198270*c_1001_4^20 - 1288336584765133850802278214786025172562144177677830185850287723320\ 1491459982395197559202267047755002484007725175112075154621743160482\ 69722150363588655094866695403187772746384889666980573429/5928805129\ 8221061380754407406649573827176329958925819937264757732084841634752\ 5835458207968760761894797377200174447015224565670434459901438190248\ 834853180389578229978880718400991350*c_1001_4^19 - 4617413577828231905314988271203216467423665259495993044151414261203\ 8120234549816163562914998723029318286185744000963909909043422702799\ 34109990751537966923317546614510162502077379753671250641/5928805129\ 8221061380754407406649573827176329958925819937264757732084841634752\ 5835458207968760761894797377200174447015224565670434459901438190248\ 834853180389578229978880718400991350*c_1001_4^18 - 1504910317159944108577270127022565298820727060005511354900004583246\ 4083612295186292633586589679577098713050306672391350732331100494128\ 796031657135951048787003193184467404994927050218291004533/118576102\ 5964421227615088148132991476543526599178516398745295154641696832695\ 0516709164159375215237895947544003488940304491313408689198028763804\ 97669706360779156459957761436801982700*c_1001_4^17 - 7128076588714293376774451623631753847378418233097403757738156888868\ 6093930294790015644182504887267411893342587802959365004240521453931\ 93269313548034438817903744962929106250068439544663735273/2964402564\ 9110530690377203703324786913588164979462909968632378866042420817376\ 2917729103984380380947398688600087223507612282835217229950719095124\ 417426590194789114989440359200495675*c_1001_4^16 - 8451560022646928884056123535761244978317470290263674028959103033136\ 4885980020808749623865088090758689394516101569856007540701681786729\ 05253730815358302275402534120212350015249305549691320523/2964402564\ 9110530690377203703324786913588164979462909968632378866042420817376\ 2917729103984380380947398688600087223507612282835217229950719095124\ 417426590194789114989440359200495675*c_1001_4^15 - 4930406174695078992714929957333137768902833233058459416169818410805\ 7807049416893998906717524578511426413336523108308701138798042865321\ 351778024346708209133345745989757820965752531854044920021/118576102\ 5964421227615088148132991476543526599178516398745295154641696832695\ 0516709164159375215237895947544003488940304491313408689198028763804\ 97669706360779156459957761436801982700*c_1001_4^14 - 8421188978761620042477380615141475116601727893443496523846577088418\ 5857895614372878124595150956755897072016573722000124411885728838245\ 0687081583803819394677152071299343354202355254900417951/29644025649\ 1105306903772037033247869135881649794629099686323788660424208173762\ 9177291039843803809473986886000872235076122828352172299507190951244\ 17426590194789114989440359200495675*c_1001_4^13 - 8951133946519484505666318791497318274982922623127816696431254599735\ 5261044725524972667716334134478513156043548209585818631037723344875\ 61283633759636049251244422297380962307314776671064572312/2964402564\ 9110530690377203703324786913588164979462909968632378866042420817376\ 2917729103984380380947398688600087223507612282835217229950719095124\ 417426590194789114989440359200495675*c_1001_4^12 + 1239505643399113851515624113466138861636426317907244265233072484196\ 1886114944412219751554973582314273422751304651552023262965937351379\ 56995785307194613932265680874622665849218438095072088561/5928805129\ 8221061380754407406649573827176329958925819937264757732084841634752\ 5835458207968760761894797377200174447015224565670434459901438190248\ 83485318038957822997888071840099135*c_1001_4^11 - 1852759725515350565980079047273724033426554872328305251741430058827\ 0275398573718076401947904004529282239317345190107125577924992994846\ 000096332995471530724179998986033749615208930726310326361/237152205\ 1928842455230176296265982953087053198357032797490590309283393665390\ 1033418328318750430475791895088006977880608982626817378396057527609\ 9533941272155831291991552287360396540*c_1001_4^10 + 2537022368627845053597696771023982426382697599449358013836008631153\ 0766201345560924015276752907535099768530014400999060647105447564499\ 5853656083312298357287535453541956462299731059720098033/59288051298\ 2210613807544074066495738271763299589258199372647577320848416347525\ 8354582079687607618947973772001744470152245656704344599014381902488\ 3485318038957822997888071840099135*c_1001_4^9 + 1186074431135026224300131738305495652910834460299119899911161950856\ 4180136192884504417839694926303437791663275833588881124703095519378\ 1069275048906392552624851867091453540581593050950951398/11857610259\ 6442122761508814813299147654352659917851639874529515464169683269505\ 1670916415937521523789594754400348894030449131340868919802876380497\ 6697063607791564599577614368019827*c_1001_4^8 + 3511710868321284591569565574432260223442802135342613505410088988156\ 5076244573613101488245880039373179763796457078100776282363817083135\ 370479201348590467903680605342799867930231074133292257/485967633591\ 9759129570033393987669985834125406469329503054488338695478822520703\ 5693295735144324745475194852473315329116767677904463926347392643347\ 11911314668674016220333757385175*c_1001_4^7 - 9682045072310340289085932810161328221985842667228340261675768082982\ 2650037439101276434855025400204802980429080116396190530265721414135\ 28536079712020287645523208949962505769404733577983760559/1185761025\ 9644212276150881481329914765435265991785163987452951546416968326950\ 5167091641593752152378959475440034889403044913134086891980287638049\ 7669706360779156459957761436801982700*c_1001_4^6 - 3469424794545521148676887869170958451885480067033185749361931768395\ 2987500290168954497936811848982836432931638924846914981796198489095\ 58528408804040340723315625722489365400959230631249077527/1185761025\ 9644212276150881481329914765435265991785163987452951546416968326950\ 5167091641593752152378959475440034889403044913134086891980287638049\ 7669706360779156459957761436801982700*c_1001_4^5 - 6590541293638180100251657171592782393406955591238242085131479148833\ 5656072525703853681915981954178942038237700530485998860670234695288\ 635624198424134455264277913145310050728572382326937572/296440256491\ 1053069037720370332478691358816497946290996863237886604242081737629\ 1772910398438038094739868860008722350761228283521722995071909512441\ 7426590194789114989440359200495675*c_1001_4^4 + 5088444554640466702192164575051913193198594287482824212728083359190\ 4046048109947784601209542794536437560225279848335694192742380693295\ 59513959163533319840465722254131556506036714886863064/2964402564911\ 0530690377203703324786913588164979462909968632378866042420817376291\ 7729103984380380947398688600087223507612282835217229950719095124417\ 426590194789114989440359200495675*c_1001_4^3 + 2538904983379283298679133044310554802019669288658721848567848322608\ 4508970382227977196392896491958737951922208037383402889885969619043\ 279164747917209103892608763915535972800102746273929/905161088522458\ 9523779298840709858599568905337240583196528970646119823150343905884\ 8581369276452197678988885522816338202223766478543496402777137226695\ 14204421041679066881196961700*c_1001_4^2 + 5601714979081439227937478634577070564975213158864688383551274153732\ 4617012168748631678060817787415033164796603194029178609317619748720\ 717203907723487564639372536868862229010397457874329/592880512982210\ 6138075440740664957382717632995892581993726475773208484163475258354\ 5820796876076189479737720017444701522456567043445990143819024883485\ 3180389578229978880718400991350*c_1001_4 + 4658918679727963996172284726481693012757813351860813212017865356814\ 8793543762955587188735200734427960230409396358723045564112057286768\ 6723683272086832644902353281624725678587817644037/11857610259644212\ 2761508814813299147654352659917851639874529515464169683269505167091\ 6415937521523789594754400348894030449131340868919802876380497669706\ 360779156459957761436801982700, c_0011_0 - 1, c_0011_10 - 34121767547037755388363520056516612460719020877414375235878\ 3415075364763597255687154407946709467113528296423324269236671683080\ 743372669050608614022078894340107131127765598779/199412241933514941\ 7139939841603475578922497089236491384101144168525022085564507004238\ 6432147855866013621195105997262665887434511474733831511138016872840\ 84804544118268499695275*c_1001_4^33 - 2290031744835470436429869682908052670634060714979755784138318256183\ 6101608322488674383161933425393251145212633623573415177979475651397\ 82990991268495975845114446583280279521992/1994122419335149417139939\ 8416034755789224970892364913841011441685250220855645070042386432147\ 8558660136211951059972626658874345114747338315111380168728408480454\ 4118268499695275*c_1001_4^32 - 108770660453307558872444826646936672\ 4413108986678549823387137232917958702455058604135821395083976677278\ 1411169934913729308750998916072767556291310696935336933044543700221\ 154231/199412241933514941713993984160347557892249708923649138410114\ 4168525022085564507004238643214785586601362119510599726266588743451\ 147473383151113801687284084804544118268499695275*c_1001_4^31 - 3483711461244818423776222230764423870728959138678767023004451034113\ 4262675366471041965814217040146659245151998423770153860849480110542\ 026453694911659448534269303578722313183889/199412241933514941713993\ 9841603475578922497089236491384101144168525022085564507004238643214\ 7855866013621195105997262665887434511474733831511138016872840848045\ 44118268499695275*c_1001_4^30 - 98850461526435413663553177444160409\ 2173614031642913894693237467482533109158334871107080536599633876744\ 8233978600595331549430880713573868713540145219378390019052212915028\ 4001379/19941224193351494171399398416034755789224970892364913841011\ 4416852502208556450700423864321478558660136211951059972626658874345\ 1147473383151113801687284084804544118268499695275*c_1001_4^29 - 1829469813117883127814864314606411171459546085004967886531186560404\ 2539179867055431508404098208542396853033322859446886455088147582076\ 5111196986178949200865770419998180710518327/19941224193351494171399\ 3984160347557892249708923649138410114416852502208556450700423864321\ 4785586601362119510599726266588743451147473383151113801687284084804\ 544118268499695275*c_1001_4^28 - 1622042794225406274848066500692958\ 9140680561786980911325451382053414577202673080974935463764122968813\ 6961317576346552537449003713674284135955950271486791487125397062538\ 361146534/199412241933514941713993984160347557892249708923649138410\ 1144168525022085564507004238643214785586601362119510599726266588743\ 451147473383151113801687284084804544118268499695275*c_1001_4^27 + 4774567708245935004034589048775641240042507286821961522194565862167\ 5574528163490861094461081675420874770327975039479346050876501515822\ 2785982474839480160175323257560010546288441/19941224193351494171399\ 3984160347557892249708923649138410114416852502208556450700423864321\ 4785586601362119510599726266588743451147473383151113801687284084804\ 544118268499695275*c_1001_4^26 + 3179315936939866615184288742969432\ 4410374780043223512418199238601420182765715316160447449631513282152\ 5757205064302950771669257605200779073015764542170753036071731703790\ 4245933898/19941224193351494171399398416034755789224970892364913841\ 0114416852502208556450700423864321478558660136211951059972626658874\ 3451147473383151113801687284084804544118268499695275*c_1001_4^25 + 1081562662989655223187162913181698982693325040737783685048275194417\ 4503376439239477446079517276367151303212801107776145003004959737161\ 031101794964249636460679664497930676249829032/199412241933514941713\ 9939841603475578922497089236491384101144168525022085564507004238643\ 2147855866013621195105997262665887434511474733831511138016872840848\ 04544118268499695275*c_1001_4^24 + 5799961572892834068669767882719752001922131017496893806441133977075\ 6163460538916012758428707325461985999877559122637082359559419747507\ 31762748432789895173832553522414077844968567/3988244838670298834279\ 8796832069511578449941784729827682022883370500441711290140084772864\ 2957117320272423902119945253317748690229494676630222760337456816960\ 908823653699939055*c_1001_4^23 + 1946316153709804634690747525584501\ 3013985009511428914902048966283732171852607203630656305079781070738\ 4227194350086523528713572029501268484892442115312505390606979027761\ 2903521875/79764896773405976685597593664139023156899883569459655364\ 0457667410008834225802801695457285914234640544847804239890506635497\ 38045898935326044552067491363392181764730739987811*c_1001_4^22 + 6618211564271396414621384543197108294386132717394203039741853680600\ 8406364331152833443515457443517646292674432251101407831462242976213\ 612962188349731902665846899378903457536004558/199412241933514941713\ 9939841603475578922497089236491384101144168525022085564507004238643\ 2147855866013621195105997262665887434511474733831511138016872840848\ 04544118268499695275*c_1001_4^21 - 1467637839945060422485307656473968770384207935358294359384328342974\ 7019188022594729232667857990977904385397640645455524520036401767003\ 67582895722480889948777038989821599996039807/7976489677340597668559\ 7593664139023156899883569459655364045766741000883422580280169545728\ 5914234640544847804239890506635497380458989353260445520674913633921\ 81764730739987811*c_1001_4^20 - 32860630327068844463472872878351940\ 5161450728689778461527798529138708183798176426315597107333888399484\ 6970630055489655215373643313805341836084969572545822183633842434917\ 33827105883/1994122419335149417139939841603475578922497089236491384\ 1011441685250220855645070042386432147855866013621195105997262665887\ 43451147473383151113801687284084804544118268499695275*c_1001_4^19 - 1212837274249920660305230579122078376778463847503866476224594535047\ 9089276052740048955136959948591415295089797877039761017139973142816\ 70286223066372692816414332004477006157199977567/1994122419335149417\ 1399398416034755789224970892364913841011441685250220855645070042386\ 4321478558660136211951059972626658874345114747338315111380168728408\ 4804544118268499695275*c_1001_4^18 - 2211638892140978610196683280735032462664401341961808852802510542257\ 2845527217701643585596109256524376676939231366132472605276026413149\ 65298655610389735320503600159803883141693260838/1994122419335149417\ 1399398416034755789224970892364913841011441685250220855645070042386\ 4321478558660136211951059972626658874345114747338315111380168728408\ 4804544118268499695275*c_1001_4^17 - 4059786232693435389277039665437897657843467703886293771964145078000\ 6785024560155779059243985906482873483655070065331109453982049686943\ 92309244759598888731991947814834259206763345422/1994122419335149417\ 1399398416034755789224970892364913841011441685250220855645070042386\ 4321478558660136211951059972626658874345114747338315111380168728408\ 4804544118268499695275*c_1001_4^16 - 5311835442547990191675241854113236805113740519512506963244133742722\ 7229981001751421294981189771935362112507163272837574073235625925744\ 65889351356979320591229241877556295164245640597/1994122419335149417\ 1399398416034755789224970892364913841011441685250220855645070042386\ 4321478558660136211951059972626658874345114747338315111380168728408\ 4804544118268499695275*c_1001_4^15 - 7354700517719078418642877482424582618884331236208500365768058476374\ 4124521048152070737638342326563707819433575406961536839161297511178\ 50806918753329665999375125819671706145504222021/1994122419335149417\ 1399398416034755789224970892364913841011441685250220855645070042386\ 4321478558660136211951059972626658874345114747338315111380168728408\ 4804544118268499695275*c_1001_4^14 - 2653168466485025333854361606068821328899439613040810971831951323181\ 7886083692590186653531089852737751217677035398463187180960193388457\ 87300254749980619055854873216458407806881483299/1994122419335149417\ 1399398416034755789224970892364913841011441685250220855645070042386\ 4321478558660136211951059972626658874345114747338315111380168728408\ 4804544118268499695275*c_1001_4^13 - 4243037809071232386706952926645567900425400047052079583452752441606\ 9095285652403523015400680066961473284389295724877093242682037201517\ 11229245827249911719192768545635071743899193318/1994122419335149417\ 1399398416034755789224970892364913841011441685250220855645070042386\ 4321478558660136211951059972626658874345114747338315111380168728408\ 4804544118268499695275*c_1001_4^12 + 2435224745860280808786000495127030590252769905940896364314372936295\ 3026103532993422070351214119411560955329089258148791965214463148174\ 9516919138357490785215791198324432753317302743/39882448386702988342\ 7987968320695115784499417847298276820228833705004417112901400847728\ 6429571173202724239021199452533177486902294946766302227603374568169\ 60908823653699939055*c_1001_4^11 - 3859551271564920866724456923963776800769570725520291517709230813740\ 7975411388183628745066682341257720250140496674044824266373858634508\ 1769470764110081145437255191779426642667802420/79764896773405976685\ 5975936641390231568998835694596553640457667410008834225802801695457\ 2859142346405448478042398905066354973804589893532604455206749136339\ 2181764730739987811*c_1001_4^10 - 783010468405775967932537059423538\ 4482835922930483106096689136278636973768158465075398732498278951539\ 9070481246449038759359739721617483966041984915929219049924232441490\ 0794949639009/39882448386702988342798796832069511578449941784729827\ 6820228833705004417112901400847728642957117320272423902119945253317\ 748690229494676630222760337456816960908823653699939055*c_1001_4^9 + 3892741271157518879575513657951503720686855832979201798606577034713\ 4301788534544664985094473833451482068882270607581576045414393950951\ 7362616561357069441120171643437811215598516266/39882448386702988342\ 7987968320695115784499417847298276820228833705004417112901400847728\ 6429571173202724239021199452533177486902294946766302227603374568169\ 60908823653699939055*c_1001_4^8 + 153931939856590282731707425181914\ 6465251230002231070173612294454444476989394600091200437699344540168\ 0731436926464349641091828299257948219164844322130684568377005650163\ 09258295090093/1994122419335149417139939841603475578922497089236491\ 3841011441685250220855645070042386432147855866013621195105997262665\ 88743451147473383151113801687284084804544118268499695275*c_1001_4^7 - 76953904928204702285729566423799515289715187876601570844685215068\ 7141471562685773673963988655936105422055230853710854076269355921161\ 811400553677518564510852823551232411184332179064/199412241933514941\ 7139939841603475578922497089236491384101144168525022085564507004238\ 6432147855866013621195105997262665887434511474733831511138016872840\ 84804544118268499695275*c_1001_4^6 - 8971952977620959544769851184093103883001496002626138669301642082898\ 7490365654172524764457068087532483514511495332758482112665402748092\ 4016060376192904721926726353114864710777861907/19941224193351494171\ 3993984160347557892249708923649138410114416852502208556450700423864\ 3214785586601362119510599726266588743451147473383151113801687284084\ 804544118268499695275*c_1001_4^5 - 1641170899940317365275009823275263212156948913309355859562524630841\ 9011329471456886565848529805082174525724026164852349196861885816765\ 7593205446738643266922576700796138938585383198/19941224193351494171\ 3993984160347557892249708923649138410114416852502208556450700423864\ 3214785586601362119510599726266588743451147473383151113801687284084\ 804544118268499695275*c_1001_4^4 - 1711452647780158300827185127417467853117596809153718390934231261981\ 2830174966775324847152755929135480272629884863903125496348143888943\ 91224088468192617596402665714832751707687404/1994122419335149417139\ 9398416034755789224970892364913841011441685250220855645070042386432\ 1478558660136211951059972626658874345114747338315111380168728408480\ 4544118268499695275*c_1001_4^3 + 1159893851587785599006353956806788\ 3910521425917986904010236329098850296868273869742871961134001462462\ 9448189636356161285741784120123407856696830619362147149151996326244\ 40562209/1522230854454312532167893008857614945742364190256863651985\ 6062355152840347820664154493459654851806117268087867173482951059110\ 314102850253061937417460183853469802429530532025*c_1001_4^2 + 8840633362521565426052137029771446949853662402962944867958533073329\ 1868817787496058170904059589260202380739239544096695820946730817898\ 396279595242595375228209315168704632920993/199412241933514941713993\ 9841603475578922497089236491384101144168525022085564507004238643214\ 7855866013621195105997262665887434511474733831511138016872840848045\ 44118268499695275*c_1001_4 + 91360101715279924431857786544915822168\ 0559048198343363654681252569794076607870046769333600238845283929401\ 8023512188061360919720584436146692110196226620490189608764068888325\ 12/1994122419335149417139939841603475578922497089236491384101144168\ 5250220855645070042386432147855866013621195105997262665887434511474\ 73383151113801687284084804544118268499695275, c_0011_13 - 47191314230191887939713249236976403556303183878132548546657\ 4440853111222636326852962028922407276805929118406737371340551372501\ 814773303448165104734565500291100125480841184813/199412241933514941\ 7139939841603475578922497089236491384101144168525022085564507004238\ 6432147855866013621195105997262665887434511474733831511138016872840\ 84804544118268499695275*c_1001_4^33 - 2927807189263688107450300450320583902674013303477718092558572835692\ 6599376605466054931259895188891934423066186813817251784565877029158\ 37475998395177625697940269573358633085119/1994122419335149417139939\ 8416034755789224970892364913841011441685250220855645070042386432147\ 8558660136211951059972626658874345114747338315111380168728408480454\ 4118268499695275*c_1001_4^32 - 135568521310821486885270327411293210\ 0080926948453839458404691664645141410272356349471825701304361901172\ 8886741561794901104045815699339821684297983772019571485989366837830\ 558197/199412241933514941713993984160347557892249708923649138410114\ 4168525022085564507004238643214785586601362119510599726266588743451\ 147473383151113801687284084804544118268499695275*c_1001_4^31 - 4129870810428629245609393998747780878327706442418526402629904474630\ 6195812328751007269660892816036359007960700369294621965317395623214\ 626220506429659700542805522077766849276098/199412241933514941713993\ 9841603475578922497089236491384101144168525022085564507004238643214\ 7855866013621195105997262665887434511474733831511138016872840848045\ 44118268499695275*c_1001_4^30 - 11574373229267674661297647103288350\ 2460971990812909641962074926816371421454577966197995442949752997187\ 7912687763410914870520375571594517865256767139442841377781726222190\ 56648018/1994122419335149417139939841603475578922497089236491384101\ 1441685250220855645070042386432147855866013621195105997262665887434\ 51147473383151113801687284084804544118268499695275*c_1001_4^29 - 1942751839158897314311960450296062256353820083593832580421118980080\ 9826462506691088088382777257317517919895135626578015508289948899394\ 0298118893022701851345822915831605632624509/19941224193351494171399\ 3984160347557892249708923649138410114416852502208556450700423864321\ 4785586601362119510599726266588743451147473383151113801687284084804\ 544118268499695275*c_1001_4^28 - 1257062879916311945196393397755939\ 4308500047869984302798303804934731993875044266949766645168165842821\ 0482602380211733618072303331725868686908682390769327774660955030404\ 229606143/199412241933514941713993984160347557892249708923649138410\ 1144168525022085564507004238643214785586601362119510599726266588743\ 451147473383151113801687284084804544118268499695275*c_1001_4^27 + 7239625237579844495785752081494140745963287050886476840141109209441\ 6917673300847948595453545653533281661787164379591238407696265235960\ 2398387675103101508879739268206835961458402/19941224193351494171399\ 3984160347557892249708923649138410114416852502208556450700423864321\ 4785586601362119510599726266588743451147473383151113801687284084804\ 544118268499695275*c_1001_4^26 + 4029076218644123092326407201570818\ 4363910309449755092663674394428803869553578917238054623052954282974\ 4473466284743240207663862562004929186294763350215159415375681597699\ 3036832936/19941224193351494171399398416034755789224970892364913841\ 0114416852502208556450700423864321478558660136211951059972626658874\ 3451147473383151113801687284084804544118268499695275*c_1001_4^25 + 1291185319171522191220271167923973088702004862874294839283180924033\ 2692543959140643984264479186764533149397341097904044411456849011344\ 859978732816306784372689864201483818840907964/199412241933514941713\ 9939841603475578922497089236491384101144168525022085564507004238643\ 2147855866013621195105997262665887434511474733831511138016872840848\ 04544118268499695275*c_1001_4^24 + 6710226457014302015024812618873762423311586483126126379408615703206\ 5121271006515280173539768480999076777658551864410561655733585796153\ 14336683102636783958945435277274531002968854/3988244838670298834279\ 8796832069511578449941784729827682022883370500441711290140084772864\ 2957117320272423902119945253317748690229494676630222760337456816960\ 908823653699939055*c_1001_4^23 + 2010574218769940037317195839508544\ 8617088238727068185439126463008117097331058186300623216211096526840\ 6588776247748249326426102723371762925559155760066460274761610867464\ 7704843939/79764896773405976685597593664139023156899883569459655364\ 0457667410008834225802801695457285914234640544847804239890506635497\ 38045898935326044552067491363392181764730739987811*c_1001_4^22 + 6601726997840364284653849029977514745526467251843970668722208006050\ 7378042895294835842092828491365583494118608736353462117160781553791\ 329123132473740434520114758466311388459123451/199412241933514941713\ 9939841603475578922497089236491384101144168525022085564507004238643\ 2147855866013621195105997262665887434511474733831511138016872840848\ 04544118268499695275*c_1001_4^21 - 1683484684742220094155070867674720845571274372239536537813980953452\ 8109592943961277444987707504201667424994066457921957703609766101247\ 074990943303471290708445534519164700853835352/398824483867029883427\ 9879683206951157844994178472982768202288337050044171129014008477286\ 4295711732027242390211994525331774869022949467663022276033745681696\ 0908823653699939055*c_1001_4^20 - 411668860869430341070702681846671\ 1507115318601312854249023295537306975168246468838856389506131029507\ 8488627428903442847777651537395143113095021408040170169932000068413\ 2735969871666/19941224193351494171399398416034755789224970892364913\ 8410114416852502208556450700423864321478558660136211951059972626658\ 8743451147473383151113801687284084804544118268499695275*c_1001_4^19 - 14679481259560995635105250037325023098892056788720674223487399031\ 3166093908947644945847377272632248764658409141415149031380579381455\ 1333825789164032446498406060770715525869756048124/19941224193351494\ 1713993984160347557892249708923649138410114416852502208556450700423\ 8643214785586601362119510599726266588743451147473383151113801687284\ 084804544118268499695275*c_1001_4^18 - 2313520190369716055333573926778741516802277955609119048283697239664\ 8386657967401920110804651639395009793787675196244735958620644167682\ 63145604540682548207004720424527419935955756121/1994122419335149417\ 1399398416034755789224970892364913841011441685250220855645070042386\ 4321478558660136211951059972626658874345114747338315111380168728408\ 4804544118268499695275*c_1001_4^17 - 4439581629879644999642653678624225495776586583576814733392289779086\ 0413163418895478738482855778345616490695502997147649889114908587593\ 78627059173088481832552062561534684110567029239/1994122419335149417\ 1399398416034755789224970892364913841011441685250220855645070042386\ 4321478558660136211951059972626658874345114747338315111380168728408\ 4804544118268499695275*c_1001_4^16 - 5096699903217113750429542517688176800269115459830542261706964743117\ 3535966647526649778552154075286140472101145965200841275845916536556\ 11683155959474014696987124353263564992847614939/1994122419335149417\ 1399398416034755789224970892364913841011441685250220855645070042386\ 4321478558660136211951059972626658874345114747338315111380168728408\ 4804544118268499695275*c_1001_4^15 - 7587483982164038972825556656368084734872677554140974972273987927622\ 1993393386457033076797217859310425266994176890967159865956498700289\ 76895574922260538564137788895436376939595589042/1994122419335149417\ 1399398416034755789224970892364913841011441685250220855645070042386\ 4321478558660136211951059972626658874345114747338315111380168728408\ 4804544118268499695275*c_1001_4^14 + 1674921267639479847657767847716574098185068180190585315199530400717\ 1202595514210745771636126616664618221070747613261499701028468376624\ 4973482440217144771797767688223288535259024872/19941224193351494171\ 3993984160347557892249708923649138410114416852502208556450700423864\ 3214785586601362119510599726266588743451147473383151113801687284084\ 804544118268499695275*c_1001_4^13 - 5961159486875852101332945166870651894188917129399217900121001008684\ 7927294800137777087397078042852499006866367137304101044907076316132\ 47241416002955567528824358724515464801783772591/1994122419335149417\ 1399398416034755789224970892364913841011441685250220855645070042386\ 4321478558660136211951059972626658874345114747338315111380168728408\ 4804544118268499695275*c_1001_4^12 + 9325181638670595975304231894678469062183375669096537741129954818305\ 6679039175524545384660962133664522032138441472657688447576907364725\ 2546142302688130385677682453819502930795160327/39882448386702988342\ 7987968320695115784499417847298276820228833705004417112901400847728\ 6429571173202724239021199452533177486902294946766302227603374568169\ 60908823653699939055*c_1001_4^11 - 3137881424104773727555228037940742698136736471601219048726139507450\ 0869789577994796344893338914054567020907426662233864027211433642091\ 40184629520111353608973721414763159187612499786/3988244838670298834\ 2798796832069511578449941784729827682022883370500441711290140084772\ 8642957117320272423902119945253317748690229494676630222760337456816\ 960908823653699939055*c_1001_4^10 + 4988409741328191727053873480109268275103911095747895318883971752529\ 9376167254325264575188990409355367670126295363477653004332341389716\ 6792658946698796495268236892256427928474711758/39882448386702988342\ 7987968320695115784499417847298276820228833705004417112901400847728\ 6429571173202724239021199452533177486902294946766302227603374568169\ 60908823653699939055*c_1001_4^9 + 300302589543633956643989034885979\ 5487656502810080431297836709261887031365675201366703753428465671336\ 6499017981118258345340961035962930480384803180965717217125974334643\ 0412424580356/39882448386702988342798796832069511578449941784729827\ 6820228833705004417112901400847728642957117320272423902119945253317\ 748690229494676630222760337456816960908823653699939055*c_1001_4^8 + 1263972009342990444616555269992259176647274291761816410767660757886\ 1279103724458843163311247589625204297573658489910292514607612350960\ 77301960200127050858579173695423937693835403251/1994122419335149417\ 1399398416034755789224970892364913841011441685250220855645070042386\ 4321478558660136211951059972626658874345114747338315111380168728408\ 4804544118268499695275*c_1001_4^7 - 1690841032258654057502228731862542002304452128561234156792827290576\ 7949425157855345858892561293346397414954526046350433672775255216078\ 00549988509681125560675432701017199703645816323/1994122419335149417\ 1399398416034755789224970892364913841011441685250220855645070042386\ 4321478558660136211951059972626658874345114747338315111380168728408\ 4804544118268499695275*c_1001_4^6 - 3775921753808928260816416537749462136525168376459886516927041782695\ 6264223430016754629391926888325251140488572033876098894026789682242\ 2406116791517379140344723881804658102311761634/19941224193351494171\ 3993984160347557892249708923649138410114416852502208556450700423864\ 3214785586601362119510599726266588743451147473383151113801687284084\ 804544118268499695275*c_1001_4^5 - 2349924267437188712351241815933979585114573122484762437255970962288\ 5047129109692167462137183146692533095446622152973735896301522893607\ 024616341111635935777289007387275117913785386/199412241933514941713\ 9939841603475578922497089236491384101144168525022085564507004238643\ 2147855866013621195105997262665887434511474733831511138016872840848\ 04544118268499695275*c_1001_4^4 - 265092302444129510729499970892189\ 3464931625462502680786816102069589325793648808301108230202131611580\ 0627258159708171532878928489281191212261697054163990394494189209211\ 282536373/199412241933514941713993984160347557892249708923649138410\ 1144168525022085564507004238643214785586601362119510599726266588743\ 451147473383151113801687284084804544118268499695275*c_1001_4^3 + 2042942003651664272659705372247812236186704196531555628495530380988\ 1201262966075835397363305137577908803256547539275166770943185350450\ 77247185638534804447955360117553614945038/1522230854454312532167893\ 0088576149457423641902568636519856062355152840347820664154493459654\ 8518061172680878671734829510591103141028502530619374174601838534698\ 02429530532025*c_1001_4^2 + 298074480820741417024240363118614275057\ 7579370579200201022814713012627086296312838839535187871299093616424\ 4638979958587270029924177647765553673473657726875713603170259544828\ 926/199412241933514941713993984160347557892249708923649138410114416\ 8525022085564507004238643214785586601362119510599726266588743451147\ 473383151113801687284084804544118268499695275*c_1001_4 + 7143120489876976270507642671630809279571271515460952488614126438073\ 1048626591140740100955630923289981987810706375711171051929798805819\ 2885889214401032317456650716625300181049/19941224193351494171399398\ 4160347557892249708923649138410114416852502208556450700423864321478\ 5586601362119510599726266588743451147473383151113801687284084804544\ 118268499695275, c_0011_3 + 392107378093503117988184101284678821863011451777242049041982\ 9983369734410017404645703526722587084410816118261575021052893368464\ 793519840707184188721501070387823835031545229289/199412241933514941\ 7139939841603475578922497089236491384101144168525022085564507004238\ 6432147855866013621195105997262665887434511474733831511138016872840\ 84804544118268499695275*c_1001_4^33 + 2448226789919180171930742893300805815863775880733867659998709443321\ 8254185926475495915563782681781316345135348718791643005854526017488\ 154013166116640675790612366502996460640847/199412241933514941713993\ 9841603475578922497089236491384101144168525022085564507004238643214\ 7855866013621195105997262665887434511474733831511138016872840848045\ 44118268499695275*c_1001_4^32 + 11357787226399290935517281545667320\ 5618981998218426354564681509204418802356172697066457170865562831162\ 3513778243663907829087901649789944151722702267397769309828307220079\ 69994321/1994122419335149417139939841603475578922497089236491384101\ 1441685250220855645070042386432147855866013621195105997262665887434\ 51147473383151113801687284084804544118268499695275*c_1001_4^31 + 3474323269169330328122513093518415524345796975150234604851707250641\ 3872821620067425067892677404184795275892595846889333446349803091747\ 6617636231954755781271011418436912052483974/19941224193351494171399\ 3984160347557892249708923649138410114416852502208556450700423864321\ 4785586601362119510599726266588743451147473383151113801687284084804\ 544118268499695275*c_1001_4^30 + 9744737068440775452410373224384752\ 7997056418328902630442196994886415190488571597886414134144175013792\ 4265163955752262435533928413039861118613967163535538216357388068859\ 006981039/199412241933514941713993984160347557892249708923649138410\ 1144168525022085564507004238643214785586601362119510599726266588743\ 451147473383151113801687284084804544118268499695275*c_1001_4^29 + 1649801019112605016772217881961360903681339455460765824005046047800\ 4421984288059876611401745721278821741224763759088554060258121214022\ 78008829593798624995933574402206439092833282/1994122419335149417139\ 9398416034755789224970892364913841011441685250220855645070042386432\ 1478558660136211951059972626658874345114747338315111380168728408480\ 4544118268499695275*c_1001_4^28 + 110136936328211252844350100657667\ 4043716248738200075126673575872951878755521445310718175433058938914\ 6123519796661395141637780644934242355858710424528600466658133789084\ 03687885769/1994122419335149417139939841603475578922497089236491384\ 1011441685250220855645070042386432147855866013621195105997262665887\ 43451147473383151113801687284084804544118268499695275*c_1001_4^27 - 5985854822679722000673887607054176058434864468247789668182956592725\ 6585551945777487573048794975049666590096131784474735896954425996897\ 64986510418672098128835724257085959042576681/1994122419335149417139\ 9398416034755789224970892364913841011441685250220855645070042386432\ 1478558660136211951059972626658874345114747338315111380168728408480\ 4544118268499695275*c_1001_4^26 - 337233516036002862708923475510274\ 7295416113135853486154875615463433252105023044838792486873452497671\ 8268965053880608006610127426973406909109332506411745015101345313351\ 703226560543/199412241933514941713993984160347557892249708923649138\ 4101144168525022085564507004238643214785586601362119510599726266588\ 743451147473383151113801687284084804544118268499695275*c_1001_4^25 - 1085659190756157039217506913207384197144618141311925287859300281227\ 7854492878077451363605897374303346921485089190799435058558248631823\ 8039670604402281910625582110646691004841890287/19941224193351494171\ 3993984160347557892249708923649138410114416852502208556450700423864\ 3214785586601362119510599726266588743451147473383151113801687284084\ 804544118268499695275*c_1001_4^24 - 5655569537912846942055138031047878010911317429865728346172900997012\ 8812744105072829909881523644427444292480157824956490865350933613387\ 468808995414028210706335746478032503225469407/398824483867029883427\ 9879683206951157844994178472982768202288337050044171129014008477286\ 4295711732027242390211994525331774869022949467663022276033745681696\ 0908823653699939055*c_1001_4^23 - 171159956944305029434144683316388\ 6852105436229968259819687000121591662556127487639975091311847347548\ 0553156558490257112958905082268014055644909989193287553393519926800\ 966434990775/797648967734059766855975936641390231568998835694596553\ 6404576674100088342258028016954572859142346405448478042398905066354\ 9738045898935326044552067491363392181764730739987811*c_1001_4^22 - 5630274159254979210178231923815130343433304108634252725151534064206\ 0764107123587870275194021192634610497276113667409933707078952356795\ 5040734935663800465380642868823828466108524878/19941224193351494171\ 3993984160347557892249708923649138410114416852502208556450700423864\ 3214785586601362119510599726266588743451147473383151113801687284084\ 804544118268499695275*c_1001_4^21 + 2722952379746632517142023677938780718883541377901520802993857927983\ 8262852536327504566798466599325016901471733222950092169483924601231\ 574659828735263695815728188327990464992709177/797648967734059766855\ 9759366413902315689988356945965536404576674100088342258028016954572\ 8591423464054484780423989050663549738045898935326044552067491363392\ 181764730739987811*c_1001_4^20 + 3452288010031140980427072113238860\ 4725862511687071515916274942970205048880666478031382804419344194978\ 4175601266633362749703942437930467592733368691777383749660224256594\ 8886319723678/19941224193351494171399398416034755789224970892364913\ 8410114416852502208556450700423864321478558660136211951059972626658\ 8743451147473383151113801687284084804544118268499695275*c_1001_4^19 + 12327471498046004062440091281527894513804606111936642190180748698\ 2173663353841938600308967986863738626606641465174982526982310213648\ 74981787085465565397466121665605166629095610614197/1994122419335149\ 4171399398416034755789224970892364913841011441685250220855645070042\ 3864321478558660136211951059972626658874345114747338315111380168728\ 4084804544118268499695275*c_1001_4^18 + 1968101621887092187716955294664875379980597250465444332212207216979\ 2829526162830082104097392896521257592045725315502886103865337034197\ 577501181633268818866486901755420458919240471933/199412241933514941\ 7139939841603475578922497089236491384101144168525022085564507004238\ 6432147855866013621195105997262665887434511474733831511138016872840\ 84804544118268499695275*c_1001_4^17 + 3755997428390592615692268164558951652834819200746428933983219853293\ 2708455823508774508478763885463952135556075599530388194669465483711\ 755637963419037612332224720528542838664146031077/199412241933514941\ 7139939841603475578922497089236491384101144168525022085564507004238\ 6432147855866013621195105997262665887434511474733831511138016872840\ 84804544118268499695275*c_1001_4^16 + 4366801698108386685316786066360093810865420148579015008127538207051\ 5588931741499487319352183402755121717688262811410411018353569788344\ 118350075534346412780396931362374577618277477177/199412241933514941\ 7139939841603475578922497089236491384101144168525022085564507004238\ 6432147855866013621195105997262665887434511474733831511138016872840\ 84804544118268499695275*c_1001_4^15 + 6445008071004979169226149731006532140363489967885459021485793692473\ 9990868841970851479943053910539774861328170229936067329642209378627\ 730142651033190133126130542245340688835225293936/199412241933514941\ 7139939841603475578922497089236491384101144168525022085564507004238\ 6432147855866013621195105997262665887434511474733831511138016872840\ 84804544118268499695275*c_1001_4^14 + 7943243007271194047914203905063682268293005499421149205782199344950\ 5142519241632007599595574212989189316795652874829116704213758481621\ 6472280579442265802763418347402270162744345659/19941224193351494171\ 3993984160347557892249708923649138410114416852502208556450700423864\ 3214785586601362119510599726266588743451147473383151113801687284084\ 804544118268499695275*c_1001_4^13 + 4901056592051147727060675722467222822849725144422083716465676555247\ 3824831637016789480308497009821013669121040742713993444018812791428\ 951160670784056526556296667436067545059196602838/199412241933514941\ 7139939841603475578922497089236491384101144168525022085564507004238\ 6432147855866013621195105997262665887434511474733831511138016872840\ 84804544118268499695275*c_1001_4^12 - 7353700523572052686522147193513692675893912571515138408912786344623\ 9444705901672668922250614890951016616550354590145116384300931121061\ 10973171257390933714541234665272263212742529853/3988244838670298834\ 2798796832069511578449941784729827682022883370500441711290140084772\ 8642957117320272423902119945253317748690229494676630222760337456816\ 960908823653699939055*c_1001_4^11 + 5138611132632956755233192636191931321145656137654441752986599726252\ 0722453471374653630674306248902529533345115371283572275838005062906\ 71391073397130330840164042574385371060471034709/7976489677340597668\ 5597593664139023156899883569459655364045766741000883422580280169545\ 7285914234640544847804239890506635497380458989353260445520674913633\ 92181764730739987811*c_1001_4^10 - 3054866925086009530199369759110750893995822142654428647468584341073\ 5829062105334985306258445244048601936759016662395450500028247850482\ 45007397230660333326467406844729426442161992661/3988244838670298834\ 2798796832069511578449941784729827682022883370500441711290140084772\ 8642957117320272423902119945253317748690229494676630222760337456816\ 960908823653699939055*c_1001_4^9 - 2850386490005248067377342830542120053252951139450389097811346986393\ 5390841380629071626857895790866435150890432061522538613444972144321\ 29747984413530309919345627070210405352710854251/3988244838670298834\ 2798796832069511578449941784729827682022883370500441711290140084772\ 8642957117320272423902119945253317748690229494676630222760337456816\ 960908823653699939055*c_1001_4^8 - 1085600452388877445122413223921419847103762244782019105885262039400\ 5858878024697007919838876827502671591193410709345875392315165946824\ 982692884046578622354803727795876588741102825463/199412241933514941\ 7139939841603475578922497089236491384101144168525022085564507004238\ 6432147855866013621195105997262665887434511474733831511138016872840\ 84804544118268499695275*c_1001_4^7 + 1373559066672926748338098421359407054185322574772212779944677314100\ 0120797380531928927165744010766607338018187569376254533996171171172\ 355368931218241588282081381839393256330843020474/199412241933514941\ 7139939841603475578922497089236491384101144168525022085564507004238\ 6432147855866013621195105997262665887434511474733831511138016872840\ 84804544118268499695275*c_1001_4^6 + 3770793768665805345824826407263328195016563926724151444644158558823\ 4309913130524185760023684028672278553612026664823712768533398765952\ 60093885661206091809974701415190115697399539462/1994122419335149417\ 1399398416034755789224970892364913841011441685250220855645070042386\ 4321478558660136211951059972626658874345114747338315111380168728408\ 4804544118268499695275*c_1001_4^5 + 2158500985510156177920817395119364208039763258664587106407762206502\ 5055926142703732554621228041463541889588441472075917640483758026457\ 5666430341518435149466962844927845904393239618/19941224193351494171\ 3993984160347557892249708923649138410114416852502208556450700423864\ 3214785586601362119510599726266588743451147473383151113801687284084\ 804544118268499695275*c_1001_4^4 - 1689176216473351863996994706412194217372954923121817646592362699012\ 0800515281341056724732615671969022108925390440883824781391348574446\ 519888454955997648031088698857116209109161986/199412241933514941713\ 9939841603475578922497089236491384101144168525022085564507004238643\ 2147855866013621195105997262665887434511474733831511138016872840848\ 04544118268499695275*c_1001_4^3 - 213939653853892637928089994273137\ 6130615764504702915132989019991830984291828978347979674146705397571\ 5902876353829972376520903182564081425590286740878523406934887903109\ 217503669/152223085445431253216789300885761494574236419025686365198\ 5606235515284034782066415449345965485180611726808786717348295105911\ 0314102850253061937417460183853469802429530532025*c_1001_4^2 - 1495202928079195014538299816951549301561294145882182685464384477489\ 9505331045203526385439355063894141914566757819191590985885826275205\ 0920016078335025972102093553106676222807413/19941224193351494171399\ 3984160347557892249708923649138410114416852502208556450700423864321\ 4785586601362119510599726266588743451147473383151113801687284084804\ 544118268499695275*c_1001_4 - 3330781286871668099251044805826826657\ 4092519874921238597245865124745226005847718547321778333634639723160\ 9141912980998996685706389154028238811663685331311070284550109920382\ 3242/19941224193351494171399398416034755789224970892364913841011441\ 6852502208556450700423864321478558660136211951059972626658874345114\ 7473383151113801687284084804544118268499695275, c_0011_9 - 1, c_0101_0 + 129118687701286243736817327922042785804398501630975883498516\ 6053705140452254974138882861000628148545490875113210192860089080642\ 13738859036991898075973753151554581046340432518/7976489677340597668\ 5597593664139023156899883569459655364045766741000883422580280169545\ 7285914234640544847804239890506635497380458989353260445520674913633\ 92181764730739987811*c_1001_4^33 + 4056744488392001343144980144351113783830890770395280944146747700047\ 3077338689679475158404403324207624571706377402051672099239497582918\ 84051859645220141294292667805262495976017/3988244838670298834279879\ 6832069511578449941784729827682022883370500441711290140084772864295\ 7117320272423902119945253317748690229494676630222760337456816960908\ 823653699939055*c_1001_4^32 + 1886159721703762591257375611383904919\ 7934724777498824875583992693860876921572615798191094641992393143132\ 8632972758625027151723886656850295778497390065029014681786746249398\ 66964/3988244838670298834279879683206951157844994178472982768202288\ 3370500441711290140084772864295711732027242390211994525331774869022\ 9494676630222760337456816960908823653699939055*c_1001_4^31 + 5795226447932370576061355345860628939887565070839475697422740310228\ 4302789801085345059129601594156570672767075195146605454624015717545\ 157834106782199644249564897115170416360599/398824483867029883427987\ 9683206951157844994178472982768202288337050044171129014008477286429\ 5711732027242390211994525331774869022949467663022276033745681696090\ 8823653699939055*c_1001_4^30 + 162735216124381133155456368313748066\ 6656538835105193905061947794660228744233005022312535526364340777523\ 0455253677982619357658068866619757346024489826245425015503296608266\ 4182968/39882448386702988342798796832069511578449941784729827682022\ 8833705004417112901400847728642957117320272423902119945253317748690\ 229494676630222760337456816960908823653699939055*c_1001_4^29 + 2780598042128483416754012736203412362545816263574999534795042489394\ 9146267023995686350194205087696541231417053088491727208220301646990\ 2888909144691260621881512402555800897444129/39882448386702988342798\ 7968320695115784499417847298276820228833705004417112901400847728642\ 9571173202724239021199452533177486902294946766302227603374568169609\ 08823653699939055*c_1001_4^28 + 19222512290586991394022848068476964\ 0111288803640604720304651311903318394796524026297418148300945890824\ 8886826510409229726677506375294800134293496900677977515282399272033\ 56636342/3988244838670298834279879683206951157844994178472982768202\ 2883370500441711290140084772864295711732027242390211994525331774869\ 0229494676630222760337456816960908823653699939055*c_1001_4^27 - 1956547811963683112770151342855150752602551629539476210486031438919\ 0325792929652464104112169427043732816702913969775976466989445003622\ 4246714920557628701985557235760040970236044/79764896773405976685597\ 5936641390231568998835694596553640457667410008834225802801695457285\ 9142346405448478042398905066354973804589893532604455206749136339218\ 1764730739987811*c_1001_4^26 - 559187758973805165056649305908591209\ 8081634979526432782515190269031950629490141633402887883704656691402\ 1946710132631826041685047279344484311117948676389231344043214686013\ 62208818/3988244838670298834279879683206951157844994178472982768202\ 2883370500441711290140084772864295711732027242390211994525331774869\ 0229494676630222760337456816960908823653699939055*c_1001_4^25 - 1809736133652444660765668442989878893760293962211271638828208945561\ 4843686665463272459442442174572255789626025689259639910988812755588\ 735118759822042153630400161232021777995588776/398824483867029883427\ 9879683206951157844994178472982768202288337050044171129014008477286\ 4295711732027242390211994525331774869022949467663022276033745681696\ 0908823653699939055*c_1001_4^24 - 945490443677674254486413663706373\ 7543110905415836712587930220986408348355831227899592814791979503182\ 3850959439019904152936430402158840402503128514886269345634984503229\ 98895354901/7976489677340597668559759366413902315689988356945965536\ 4045766741000883422580280169545728591423464054484780423989050663549\ 738045898935326044552067491363392181764730739987811*c_1001_4^23 - 1446343761543118819314915856664427126679351701867780914241836511887\ 1186725993634287531405573712901569938784921865675222186262638800801\ 939440219373297560699064782905117531019101141/797648967734059766855\ 9759366413902315689988356945965536404576674100088342258028016954572\ 8591423464054484780423989050663549738045898935326044552067491363392\ 181764730739987811*c_1001_4^22 - 1910505222326172041213358666713445\ 4910790746674172756025127514233504083638286507732203009168575831068\ 1392424022943259818381880429995136608569257592859951146775823718690\ 53255991573/7976489677340597668559759366413902315689988356945965536\ 4045766741000883422580280169545728591423464054484780423989050663549\ 738045898935326044552067491363392181764730739987811*c_1001_4^21 + 1083690314680216318879667366505482080542638117585787414908022015820\ 5936820921267549541108547458584132565447884138133861377892698120040\ 7078719899591314289265688437338067979694630306/39882448386702988342\ 7987968320695115784499417847298276820228833705004417112901400847728\ 6429571173202724239021199452533177486902294946766302227603374568169\ 60908823653699939055*c_1001_4^20 + 5728836843372839830093211394725861413754350526301444141591027527774\ 4236555201140530443804356669967747921325472839543885540308122214418\ 5351508561120206967788945428683467078378557299/39882448386702988342\ 7987968320695115784499417847298276820228833705004417112901400847728\ 6429571173202724239021199452533177486902294946766302227603374568169\ 60908823653699939055*c_1001_4^19 + 4104925228854868091452189515400713113986594920925839720379154242243\ 3631452694963348025174096400161768749001920984348787221125497012950\ 6025358890172599648383669856686108308011171695/79764896773405976685\ 5975936641390231568998835694596553640457667410008834225802801695457\ 2859142346405448478042398905066354973804589893532604455206749136339\ 2181764730739987811*c_1001_4^18 + 332168866843148855765955430400143\ 6564359397535042118114634132695160542209305189738708195441010365267\ 6612566337841703641370003448982812337615946360063684559808240142312\ 39100449249746/3988244838670298834279879683206951157844994178472982\ 7682022883370500441711290140084772864295711732027242390211994525331\ 7748690229494676630222760337456816960908823653699939055*c_1001_4^17 + 63140877092053073547831894488219043566878333183552847528465851944\ 1763901259374243587351464579974066823150238616826661118545691904757\ 5811811925021301220730015622212712022364842157878/39882448386702988\ 3427987968320695115784499417847298276820228833705004417112901400847\ 7286429571173202724239021199452533177486902294946766302227603374568\ 16960908823653699939055*c_1001_4^16 + 7437369875726967899803336165466543438261396365324781926846081627047\ 4954609508813006427554357512021298345527462683709384645801549901149\ 38726435452610371482039343648331979853999863103/3988244838670298834\ 2798796832069511578449941784729827682022883370500441711290140084772\ 8642957117320272423902119945253317748690229494676630222760337456816\ 960908823653699939055*c_1001_4^15 + 1089978038680208675756452129600731667558446943005053220883724958673\ 8559619246656403546922497582181561972836590504544626224294280443525\ 356053599261311031206697147881166600263718636488/398824483867029883\ 4279879683206951157844994178472982768202288337050044171129014008477\ 2864295711732027242390211994525331774869022949467663022276033745681\ 6960908823653699939055*c_1001_4^14 + 1110598557256931621929268196700318881091010527938724531345041156837\ 7441124435283017701732028463461103103309741614756118346381872554533\ 0453693633242944303061124996564253103935152761/79764896773405976685\ 5975936641390231568998835694596553640457667410008834225802801695457\ 2859142346405448478042398905066354973804589893532604455206749136339\ 2181764730739987811*c_1001_4^13 + 807568193061068594803035315867167\ 0402264687012770331958596628018946539439530301599955184477476091534\ 5719093916676530564544757484097224054873342569613704937089570179848\ 26918899069042/3988244838670298834279879683206951157844994178472982\ 7682022883370500441711290140084772864295711732027242390211994525331\ 7748690229494676630222760337456816960908823653699939055*c_1001_4^12 - 57340655535033470405722288290867720380643535072744968411595009364\ 6441697987668823661711418193762538770211859285842380376558440274903\ 8016882714234916696932951193905735640150880277903/39882448386702988\ 3427987968320695115784499417847298276820228833705004417112901400847\ 7286429571173202724239021199452533177486902294946766302227603374568\ 16960908823653699939055*c_1001_4^11 + 2091185147462055417223892929756171725299094464017564502318613937535\ 4622566202570275959372456916302404078297106775601929689270708526261\ 536983723702077209310913434172499645320419596103/398824483867029883\ 4279879683206951157844994178472982768202288337050044171129014008477\ 2864295711732027242390211994525331774869022949467663022276033745681\ 6960908823653699939055*c_1001_4^10 - 1673259399732686186449878432115439178717566263978392480011259219421\ 3416116053474023418663597959445399168585077039698154293414337805237\ 36360965360786318466302783091962705100774767553/3988244838670298834\ 2798796832069511578449941784729827682022883370500441711290140084772\ 8642957117320272423902119945253317748690229494676630222760337456816\ 960908823653699939055*c_1001_4^9 - 2439314708678468562096094370481817876384141078011482278562824544146\ 4197568227089863722665842609201265418677322804139940430768540734881\ 73798255614995021041482919827768950937815339797/3988244838670298834\ 2798796832069511578449941784729827682022883370500441711290140084772\ 8642957117320272423902119945253317748690229494676630222760337456816\ 960908823653699939055*c_1001_4^8 - 1888147380092596241566701993800273350630686200990609618794982058892\ 1055596897709465456861840229160492256275472617461285932171870759147\ 86559314529502194993745418201633005522932173068/3988244838670298834\ 2798796832069511578449941784729827682022883370500441711290140084772\ 8642957117320272423902119945253317748690229494676630222760337456816\ 960908823653699939055*c_1001_4^7 + 2190659177590780100455412580078687047260251771274521605179717554604\ 5521642203628244379585974847681671059781503893440566611326723843549\ 05242373165042979306966229592720225740652018584/3988244838670298834\ 2798796832069511578449941784729827682022883370500441711290140084772\ 8642957117320272423902119945253317748690229494676630222760337456816\ 960908823653699939055*c_1001_4^6 + 7113737522195655691622768282905089946322669662554463345592421857038\ 7985875682836921863036410767431562632322865566195908155271970310062\ 1854441275372421716861607149543703648113194203/39882448386702988342\ 7987968320695115784499417847298276820228833705004417112901400847728\ 6429571173202724239021199452533177486902294946766302227603374568169\ 60908823653699939055*c_1001_4^5 + 614394676705317671661045112426071\ 3578619081258319464834101575187843316017846901519654528793200896704\ 9295929860211102603285995314817206250990532804282789909843059146105\ 629675070963/398824483867029883427987968320695115784499417847298276\ 8202288337050044171129014008477286429571173202724239021199452533177\ 48690229494676630222760337456816960908823653699939055*c_1001_4^4 - 1880399244660218168696018166324148711773325590617026035841386648104\ 4549948953741447937864104875804661153765720161834819058114627309253\ 91881434842049061438924546035759642581094359/3988244838670298834279\ 8796832069511578449941784729827682022883370500441711290140084772864\ 2957117320272423902119945253317748690229494676630222760337456816960\ 908823653699939055*c_1001_4^3 - 52333793678052265928796477407981501\ 1061974949636473213046591643602056552214093491179437944746481544560\ 8335840615153742891056965438027008022120148266656410778082031902409\ 383724/304446170890862506433578601771522989148472838051372730397121\ 2471030568069564132830898691930970361223453617573434696590211822062\ 820570050612387483492036770693960485906106405*c_1001_4^2 - 4000729992882856884761573422634106561083883503114580910946998742329\ 8749143270161077152389492446241147707263018688713887059086605575494\ 159740931582213942671010553466271310500393/398824483867029883427987\ 9683206951157844994178472982768202288337050044171129014008477286429\ 5711732027242390211994525331774869022949467663022276033745681696090\ 8823653699939055*c_1001_4 - 665274714414479031558067050657636968105\ 4528524749951682609661195055722614948266008797428194592889767538848\ 3909112333918454887248063629195066267559288161367200159945768371396\ 6/39882448386702988342798796832069511578449941784729827682022883370\ 5004417112901400847728642957117320272423902119945253317748690229494\ 676630222760337456816960908823653699939055, c_0101_11 - 14060552448433010937952155779865644598505910484930610511636\ 2327031847970380868460644298785631408279941444594086030213000455812\ 3725094161317063107145569654713292017801593198561/19941224193351494\ 1713993984160347557892249708923649138410114416852502208556450700423\ 8643214785586601362119510599726266588743451147473383151113801687284\ 084804544118268499695275*c_1001_4^33 - 8957071293796725815542074549500396580688308208137193787583401560435\ 5277035082981965895168393127263212574851053212275910654839356496665\ 96284001867751351589613778128386423329073/1994122419335149417139939\ 8416034755789224970892364913841011441685250220855645070042386432147\ 8558660136211951059972626658874345114747338315111380168728408480454\ 4118268499695275*c_1001_4^32 - 418331111677727251382791248215479041\ 3422093113660379202350163805357034959481387047749610152454565383831\ 9288514039756515346662509021328883865256874172819031727591377631742\ 080869/199412241933514941713993984160347557892249708923649138410114\ 4168525022085564507004238643214785586601362119510599726266588743451\ 147473383151113801687284084804544118268499695275*c_1001_4^31 - 1297029365119045698965709679355918497833881597999190537200757650203\ 1644636715278005422055737001311625178377269580764242828582644643743\ 6190932444802332973621530497597622895290966/19941224193351494171399\ 3984160347557892249708923649138410114416852502208556450700423864321\ 4785586601362119510599726266588743451147473383151113801687284084804\ 544118268499695275*c_1001_4^30 - 3650285727715412802900533909593238\ 4375254412604880580179266657194106615362885781307148926937417690715\ 1750621935557524802182525643608801871273430973229313781943419377412\ 988670341/199412241933514941713993984160347557892249708923649138410\ 1144168525022085564507004238643214785586601362119510599726266588743\ 451147473383151113801687284084804544118268499695275*c_1001_4^29 - 6352843436349950826602122908819419036938038224694009997929899517527\ 7541378722924691985658053506116746406719220718408609674714169959591\ 1974313680884241452216965019102817398924233/19941224193351494171399\ 3984160347557892249708923649138410114416852502208556450700423864321\ 4785586601362119510599726266588743451147473383151113801687284084804\ 544118268499695275*c_1001_4^28 - 4682794288061192425062347490880498\ 0830439793833819527184858197965136576680523032775121092026902031787\ 1069797118679391863731022184639669768188927124839725342927621846843\ 159974401/199412241933514941713993984160347557892249708923649138410\ 1144168525022085564507004238643214785586601362119510599726266588743\ 451147473383151113801687284084804544118268499695275*c_1001_4^27 + 2099147615595079263059025996229236479239593751938357375434044198730\ 0223286672979490204288462172104067862646839274268203579666498263417\ 97120375749068617851444708016554363705031469/1994122419335149417139\ 9398416034755789224970892364913841011441685250220855645070042386432\ 1478558660136211951059972626658874345114747338315111380168728408480\ 4544118268499695275*c_1001_4^26 + 123664753713857952817156358361498\ 8106522517295550285174682544179658009355173486241009336806806060669\ 4842402821638704366837549972495685088307577578288958982496148790145\ 659862893962/199412241933514941713993984160347557892249708923649138\ 4101144168525022085564507004238643214785586601362119510599726266588\ 743451147473383151113801687284084804544118268499695275*c_1001_4^25 + 4045231473599780595162167048400823035377737176974845988532305928382\ 3272608507969863118654867414919455059314394761653991786270104027577\ 275986335413266945091324969148829734851171873/199412241933514941713\ 9939841603475578922497089236491384101144168525022085564507004238643\ 2147855866013621195105997262665887434511474733831511138016872840848\ 04544118268499695275*c_1001_4^24 + 2125533727722208147308692578058639837123825302618740465594101163078\ 9579513912240554534488156501388945650974024732138635054794857117127\ 571432054055463667737790592078578083749897333/398824483867029883427\ 9879683206951157844994178472982768202288337050044171129014008477286\ 4295711732027242390211994525331774869022949467663022276033745681696\ 0908823653699939055*c_1001_4^23 + 664418197286075218672137941744446\ 9164702670986043951194770739977996011380946770978655487693479994160\ 4325468734112407341737950196454624186472894881602047401725643495045\ 40061551356/7976489677340597668559759366413902315689988356945965536\ 4045766741000883422580280169545728591423464054484780423989050663549\ 738045898935326044552067491363392181764730739987811*c_1001_4^22 + 2208685383341125489487258892763366020143283152691939937518086028479\ 6204842004386676711270643718593987188616951841246893480926913225362\ 6718777064122193030599186067042367455393416797/19941224193351494171\ 3993984160347557892249708923649138410114416852502208556450700423864\ 3214785586601362119510599726266588743451147473383151113801687284084\ 804544118268499695275*c_1001_4^21 - 4384931441775543870292674845584599854485070964749852297577383939509\ 0559538228600325305176116051254784675189972405669230294663840384140\ 996372850261384917979965800910584498537773862/398824483867029883427\ 9879683206951157844994178472982768202288337050044171129014008477286\ 4295711732027242390211994525331774869022949467663022276033745681696\ 0908823653699939055*c_1001_4^20 - 126977980525373251061076755560251\ 1647952250549501207384691132009824586181028285767575436312723590051\ 9047255295195459613628885941357983382941346696480513097765199155298\ 95944707012512/1994122419335149417139939841603475578922497089236491\ 3841011441685250220855645070042386432147855866013621195105997262665\ 88743451147473383151113801687284084804544118268499695275*c_1001_4^1\ 9 - 457623849160609135629528774808254282582525526108408415984441952\ 9167199331991524751529301515999517783034149686304158531788420210869\ 668940138020174881521638962620885316216638521118603/199412241933514\ 9417139939841603475578922497089236491384101144168525022085564507004\ 2386432147855866013621195105997262665887434511474733831511138016872\ 84084804544118268499695275*c_1001_4^18 - 7611560169512597265089430228972413200478719651468290643575833587167\ 8276103161301762685098493230215557738787918999153118387426863830469\ 88537612582958801011471438911482135175106406527/1994122419335149417\ 1399398416034755789224970892364913841011441685250220855645070042386\ 4321478558660136211951059972626658874345114747338315111380168728408\ 4804544118268499695275*c_1001_4^17 - 1434251310616392883084682592954115805054707018221906781863149871437\ 4761650704186054335797147715994811066931194093159618792227060419892\ 312177826862408868228615034271315843441081410628/199412241933514941\ 7139939841603475578922497089236491384101144168525022085564507004238\ 6432147855866013621195105997262665887434511474733831511138016872840\ 84804544118268499695275*c_1001_4^16 - 1733178624889622816707739504788778506326505419669446636931394821767\ 7023360496182784472591521261857231511231875406413878379175215898814\ 846099860100543796881278010032179317816810352453/199412241933514941\ 7139939841603475578922497089236491384101144168525022085564507004238\ 6432147855866013621195105997262665887434511474733831511138016872840\ 84804544118268499695275*c_1001_4^15 - 2503283367959577238924452403257039401079032275518150800358212887222\ 6836321281362549267813781861851743025741965394811429378853838321108\ 428753387274604430234207436494328255832269957994/199412241933514941\ 7139939841603475578922497089236491384101144168525022085564507004238\ 6432147855866013621195105997262665887434511474733831511138016872840\ 84804544118268499695275*c_1001_4^14 - 3137991318326628030864254480345850157661691545153094013615653268229\ 2193232718850649726944491395698907480410227666090990238858623878127\ 52671093256045685253720541889786796257900371791/1994122419335149417\ 1399398416034755789224970892364913841011441685250220855645070042386\ 4321478558660136211951059972626658874345114747338315111380168728408\ 4804544118268499695275*c_1001_4^13 - 1750572413949306347510265091846145187194370286198436141799283669619\ 3216498720324666601291301891055862968697317954276868467138245664714\ 922250660716982959133455716778387144797617285882/199412241933514941\ 7139939841603475578922497089236491384101144168525022085564507004238\ 6432147855866013621195105997262665887434511474733831511138016872840\ 84804544118268499695275*c_1001_4^12 + 2194005165740174434699303357382412801335711541134104847159979417417\ 2989080005255711706901696689509628216659277534333233162003487351323\ 79036261784741596004492926176956158257019987568/3988244838670298834\ 2798796832069511578449941784729827682022883370500441711290140084772\ 8642957117320272423902119945253317748690229494676630222760337456816\ 960908823653699939055*c_1001_4^11 - 8864591720226829022481854338962867843146104539220034236067831894041\ 5345730922516922369509852765765532030466847624279091179433746685836\ 60965482162657287951968878128807584454082356116/3988244838670298834\ 2798796832069511578449941784729827682022883370500441711290140084772\ 8642957117320272423902119945253317748690229494676630222760337456816\ 960908823653699939055*c_1001_4^10 - 1613882668177461949943373165496640192877362027069711165930732338634\ 6735494689869617508420965164883143469041290780240071005087029688327\ 063504963688197319756426122390280031321835590/797648967734059766855\ 9759366413902315689988356945965536404576674100088342258028016954572\ 8591423464054484780423989050663549738045898935326044552067491363392\ 181764730739987811*c_1001_4^9 + 11990407764450188590401096558440174\ 2941213477838658808307077727840142147888906911163421508031320605065\ 6407010121896214050914133579116420244974871366364248092315527420881\ 116277543408/398824483867029883427987968320695115784499417847298276\ 8202288337050044171129014008477286429571173202724239021199452533177\ 48690229494676630222760337456816960908823653699939055*c_1001_4^8 + 4536359255572714618959895394668607219824534501637182368056764652784\ 7510790487458202363862824487684725097236376413914318386497728275859\ 40267189588225677876305224516824446853156271292/1994122419335149417\ 1399398416034755789224970892364913841011441685250220855645070042386\ 4321478558660136211951059972626658874345114747338315111380168728408\ 4804544118268499695275*c_1001_4^7 - 4459671204163295700320241517617365303814169649180802270958088379403\ 3263702761367623418556067040591502493749849925783344408037713798144\ 04771690588337080077836020788514815525927376616/1994122419335149417\ 1399398416034755789224970892364913841011441685250220855645070042386\ 4321478558660136211951059972626658874345114747338315111380168728408\ 4804544118268499695275*c_1001_4^6 - 1994007701787612667760403111775811293341967900910844737830540770437\ 6447734603277211720264729215560085619329328387350196363624765457909\ 20978760228033818790713731562088384312177327818/1994122419335149417\ 1399398416034755789224970892364913841011441685250220855645070042386\ 4321478558660136211951059972626658874345114747338315111380168728408\ 4804544118268499695275*c_1001_4^5 - 2287665635331350164983113961968087753956701069280664901827184306893\ 8666703302960108388227793398040321281904146842466640103503384533004\ 8099521272726137057865921382442432106957631537/19941224193351494171\ 3993984160347557892249708923649138410114416852502208556450700423864\ 3214785586601362119510599726266588743451147473383151113801687284084\ 804544118268499695275*c_1001_4^4 + 4341216525116934882084455575176908264218882012253229265038748281271\ 3211269279629839093825899748050781164579294157415052381623891680805\ 32997571495218223167970568898242757403141354/1994122419335149417139\ 9398416034755789224970892364913841011441685250220855645070042386432\ 1478558660136211951059972626658874345114747338315111380168728408480\ 4544118268499695275*c_1001_4^3 + 1799883372268175758227840208286707\ 9226725890997502120961664382614001212382968783571177948054649064633\ 0930589778672718690421908472389650578733028916301748657207495594428\ 01363621/1522230854454312532167893008857614945742364190256863651985\ 6062355152840347820664154493459654851806117268087867173482951059110\ 314102850253061937417460183853469802429530532025*c_1001_4^2 + 1239805622739477835036679612959311038022676219158715324613984109472\ 1958905675648994653681660801781883982150086219949691927544959710138\ 3264108916576048365164971764677726368386892/19941224193351494171399\ 3984160347557892249708923649138410114416852502208556450700423864321\ 4785586601362119510599726266588743451147473383151113801687284084804\ 544118268499695275*c_1001_4 + 1717430084329457490840665566589557795\ 4345120264658569085573738679455413576980946307164446689093132912694\ 2700059657865981748757782071851109999005726424895368016828618864110\ 3893/19941224193351494171399398416034755789224970892364913841011441\ 6852502208556450700423864321478558660136211951059972626658874345114\ 7473383151113801687284084804544118268499695275, c_0101_13 - 42622914564054087337654762134119543432373047265465642427786\ 1339844509917361466033285793466929655152434441468489929028956505154\ 5536892509757792802743579964727930966159310828068/19941224193351494\ 1713993984160347557892249708923649138410114416852502208556450700423\ 8643214785586601362119510599726266588743451147473383151113801687284\ 084804544118268499695275*c_1001_4^33 - 2677229964402727215573729861591611082927181952231843238412541268940\ 1864346758724363353879976024320641459656612081148984523652473582627\ 937004157385136651635726813086276740162839/199412241933514941713993\ 9841603475578922497089236491384101144168525022085564507004238643214\ 7855866013621195105997262665887434511474733831511138016872840848045\ 44118268499695275*c_1001_4^32 - 12445493830932366524241729812136687\ 2863113088085211852798552881533598389380723283107815384816402597935\ 1327889943013045122175411638950671827285615374367122679158752657081\ 91148552/1994122419335149417139939841603475578922497089236491384101\ 1441685250220855645070042386432147855866013621195105997262665887434\ 51147473383151113801687284084804544118268499695275*c_1001_4^31 - 3822694415293812170500135316594857911418692889018111307152152354052\ 7299089156714529264474099108199461200407795689266348832434751102801\ 8644089926866415229805280722015634365667863/19941224193351494171399\ 3984160347557892249708923649138410114416852502208556450700423864321\ 4785586601362119510599726266588743451147473383151113801687284084804\ 544118268499695275*c_1001_4^30 - 1073324168370512958904590499882635\ 6891879255864533176938912936956124052158015494659748493951017135255\ 9874750374175821575102823722017559980574936861572932211654791019800\ 9290982418/19941224193351494171399398416034755789224970892364913841\ 0114416852502208556450700423864321478558660136211951059972626658874\ 3451147473383151113801687284084804544118268499695275*c_1001_4^29 - 1832748000424393329553704313422002020827294063961262612658164703840\ 8675902274765419762242155542133061426528096045033242705766935972230\ 43120026579977574196799344822204619803351609/1994122419335149417139\ 9398416034755789224970892364913841011441685250220855645070042386432\ 1478558660136211951059972626658874345114747338315111380168728408480\ 4544118268499695275*c_1001_4^28 - 126357364270465315592830765664596\ 9935123054356069884239928089693486024527548176120467530070700168602\ 7493132972424860667012270682070985197218269927243468381529387759709\ 42049032303/1994122419335149417139939841603475578922497089236491384\ 1011441685250220855645070042386432147855866013621195105997262665887\ 43451147473383151113801687284084804544118268499695275*c_1001_4^27 + 6463311593504315501077346511931740182439115196929985820402413178942\ 4143004762126573682494903142591754067128929288422670502042076148479\ 87772492893511578289011047514645969588865122/1994122419335149417139\ 9398416034755789224970892364913841011441685250220855645070042386432\ 1478558660136211951059972626658874345114747338315111380168728408480\ 4544118268499695275*c_1001_4^26 + 369026675405401528860766362939969\ 0539519860936285721279057607849447453932680198000396961369767630493\ 3526537104523637514326820003025414699839490151833452545462062630389\ 607472494441/199412241933514941713993984160347557892249708923649138\ 4101144168525022085564507004238643214785586601362119510599726266588\ 743451147473383151113801687284084804544118268499695275*c_1001_4^25 + 1193815457055122561536223204525554095413950645385703656364127800669\ 5304830522001399108213849101940062051806369301577049558858744605539\ 9070772399366531547086261775144621681091719319/19941224193351494171\ 3993984160347557892249708923649138410114416852502208556450700423864\ 3214785586601362119510599726266588743451147473383151113801687284084\ 804544118268499695275*c_1001_4^24 + 6235565695202130348922114819319853211103530531615417726817014394720\ 4429090158964431185724394376973642892467913737220199101306875588138\ 200571743846818105880168300000446581070437974/398824483867029883427\ 9879683206951157844994178472982768202288337050044171129014008477286\ 4295711732027242390211994525331774869022949467663022276033745681696\ 0908823653699939055*c_1001_4^23 + 190623118481403075781052158572233\ 6982245286325082548968707489784428984274653559676281654362645158255\ 4395428501991122348246040802563026740493834410346412607299589717078\ 579338512650/797648967734059766855975936641390231568998835694596553\ 6404576674100088342258028016954572859142346405448478042398905066354\ 9738045898935326044552067491363392181764730739987811*c_1001_4^22 + 6292095315682118851640370378134841172871917380373673029125719432266\ 1604743556703153619545566936986375126543556892520074490225176654416\ 8653697124013532368046489768202731923644529436/19941224193351494171\ 3993984160347557892249708923649138410114416852502208556450700423864\ 3214785586601362119510599726266588743451147473383151113801687284084\ 804544118268499695275*c_1001_4^21 - 2869716163741138559390554443586177595921962171437350238932290762281\ 2964771338586977490065252398422807340011497287495644621487564777931\ 942242724457744585764505227317812064988748984/797648967734059766855\ 9759366413902315689988356945965536404576674100088342258028016954572\ 8591423464054484780423989050663549738045898935326044552067491363392\ 181764730739987811*c_1001_4^20 - 3780894313301829425061800842022379\ 8777477018973969300531552928261592130718648242294538775492683078973\ 2645307567188259301857678871068521011094218387502841971496562680944\ 0620146829561/19941224193351494171399398416034755789224970892364913\ 8410114416852502208556450700423864321478558660136211951059972626658\ 8743451147473383151113801687284084804544118268499695275*c_1001_4^19 - 13540308772295924722745321860649972890583069959440508666405343233\ 2652752629894678649264104946812330041901731263052022287999450186791\ 56652073308531938090282535997609643635252810591764/1994122419335149\ 4171399398416034755789224970892364913841011441685250220855645070042\ 3864321478558660136211951059972626658874345114747338315111380168728\ 4084804544118268499695275*c_1001_4^18 - 2189265511101190048736623622738378626247037384661625217492458271205\ 0114078884600246462657003822173695259739648452116133364392939675512\ 542799837243658554186990501915224342060933732771/199412241933514941\ 7139939841603475578922497089236491384101144168525022085564507004238\ 6432147855866013621195105997262665887434511474733831511138016872840\ 84804544118268499695275*c_1001_4^17 - 4161976051659936154619972131102741418619165971135058311179634361093\ 3386958279524352414403162476112239483921582606063499140067670452406\ 147947208178636501064216668343377097870909376499/199412241933514941\ 7139939841603475578922497089236491384101144168525022085564507004238\ 6432147855866013621195105997262665887434511474733831511138016872840\ 84804544118268499695275*c_1001_4^16 - 4897985242363185704484310251771417491376794200530265704451951581323\ 8311929841674629448850302379948657928938979138694168425677132380918\ 584239426891325733371626173239930872782523117774/199412241933514941\ 7139939841603475578922497089236491384101144168525022085564507004238\ 6432147855866013621195105997262665887434511474733831511138016872840\ 84804544118268499695275*c_1001_4^15 - 7180478122776887011090437479248990402251923091506309058062599540111\ 4403320946786058553706888143196145643271527770632221013558339129745\ 580949569786519799125505668065012394980729515957/199412241933514941\ 7139939841603475578922497089236491384101144168525022085564507004238\ 6432147855866013621195105997262665887434511474733831511138016872840\ 84804544118268499695275*c_1001_4^14 - 3447492767212144738645781996575189555728740162982925892410171257676\ 8400335616753387413490647274036670149356600685946098851381569236620\ 03772535329422884858618291563860677969625828958/1994122419335149417\ 1399398416034755789224970892364913841011441685250220855645070042386\ 4321478558660136211951059972626658874345114747338315111380168728408\ 4804544118268499695275*c_1001_4^13 - 5325360372958270965731371015131779612892265149127291674810951799408\ 0734360202257141781848565016517160997559970315201702768287016511580\ 662389916611306438275489435981702616803095796156/199412241933514941\ 7139939841603475578922497089236491384101144168525022085564507004238\ 6432147855866013621195105997262665887434511474733831511138016872840\ 84804544118268499695275*c_1001_4^12 + 7597222998158080767400747243026395734919189562109228045344223638253\ 4747316254972011129285736302892172712083263515959995580822377435878\ 60490090395748424499757025863596695966059832596/3988244838670298834\ 2798796832069511578449941784729827682022883370500441711290140084772\ 8642957117320272423902119945253317748690229494676630222760337456816\ 960908823653699939055*c_1001_4^11 - 5524566259789448841905638328588309001222613210206470904757522807626\ 1519994610193016505180974483028301558359165038688054702475390926357\ 53160544161240411985601297766164797703138837129/7976489677340597668\ 5597593664139023156899883569459655364045766741000883422580280169545\ 7285914234640544847804239890506635497380458989353260445520674913633\ 92181764730739987811*c_1001_4^10 + 2271856456680233562266832699687212445712229849606118037799670713209\ 8855293946869909907525946965097062029710892017491574564054275688734\ 05346977381501041135968164520314525647212353652/3988244838670298834\ 2798796832069511578449941784729827682022883370500441711290140084772\ 8642957117320272423902119945253317748690229494676630222760337456816\ 960908823653699939055*c_1001_4^9 + 3239660617120999955334894196337270425321636722748309277672004689864\ 8821020234083538125367343174211583357778659122280696217986411539416\ 47110600974887379360465798713648216568309370517/3988244838670298834\ 2798796832069511578449941784729827682022883370500441711290140084772\ 8642957117320272423902119945253317748690229494676630222760337456816\ 960908823653699939055*c_1001_4^8 + 1239532392245467727854120649103334493628885245005126123246491484845\ 0335867419297099120276576172042839664337103355780839501497995872619\ 804609368478791690811641428360892897999397915556/199412241933514941\ 7139939841603475578922497089236491384101144168525022085564507004238\ 6432147855866013621195105997262665887434511474733831511138016872840\ 84804544118268499695275*c_1001_4^7 - 1450512971601131450623827987783206569475037762648814350789362529168\ 7262268943217702601129732666702712760073418423087108610265527092334\ 166769484895760152792934205390625667515175199538/199412241933514941\ 7139939841603475578922497089236491384101144168525022085564507004238\ 6432147855866013621195105997262665887434511474733831511138016872840\ 84804544118268499695275*c_1001_4^6 - 4667989066427901300301811525672638583316713526986765311574322767113\ 3058949695941438236469390837425526905063176198099560979799939040761\ 84109946037398996531901427768304980408177401369/1994122419335149417\ 1399398416034755789224970892364913841011441685250220855645070042386\ 4321478558660136211951059972626658874345114747338315111380168728408\ 4804544118268499695275*c_1001_4^5 - 3799671885450473543195827218394627420196712171973942965970286837344\ 4067255614160619120469757846545716415312467636928266837345643843223\ 3259635788257078416389539545723984842978622816/19941224193351494171\ 3993984160347557892249708923649138410114416852502208556450700423864\ 3214785586601362119510599726266588743451147473383151113801687284084\ 804544118268499695275*c_1001_4^4 + 1518030951695336033914276193670447432061195242206445807498939572813\ 9517497784663524240017340079055474081662401954493512231756534185552\ 128664366487805030434686033142283457401474582/199412241933514941713\ 9939841603475578922497089236491384101144168525022085564507004238643\ 2147855866013621195105997262665887434511474733831511138016872840848\ 04544118268499695275*c_1001_4^3 + 329929039012671197828725389953816\ 4521667907096501605534012652901716013978656365322266870260105543817\ 8847695317465588505095081594576422211259969802814738121850087535733\ 658065878/152223085445431253216789300885761494574236419025686365198\ 5606235515284034782066415449345965485180611726808786717348295105911\ 0314102850253061937417460183853469802429530532025*c_1001_4^2 + 2359325040138000062972114121512659240757435415286112258419226343137\ 6190004267502431778665439544261502016428730713628633909106154242247\ 5933144559775934063245498324157112356033131/19941224193351494171399\ 3984160347557892249708923649138410114416852502208556450700423864321\ 4785586601362119510599726266588743451147473383151113801687284084804\ 544118268499695275*c_1001_4 + 4244382304024467343569622671275984879\ 0898110356904672233792677650443166771926419015015114336023092562454\ 9322148102879610294903594998389705732765647597515972180637750609265\ 5754/19941224193351494171399398416034755789224970892364913841011441\ 6852502208556450700423864321478558660136211951059972626658874345114\ 7473383151113801687284084804544118268499695275, c_0101_2 + 276856430910009359178285575146371589812388240470866628580088\ 7866695649355651834645586314297870533064553515273960403636125901399\ 679333792665610912858668992620225173233861757737/199412241933514941\ 7139939841603475578922497089236491384101144168525022085564507004238\ 6432147855866013621195105997262665887434511474733831511138016872840\ 84804544118268499695275*c_1001_4^33 + 1735618815908869353637744665881002896296941132713514649322553957630\ 1606680833082808662217582585480035991382627237048649530590345548520\ 232342227753664637150884319852774814521341/199412241933514941713993\ 9841603475578922497089236491384101144168525022085564507004238643214\ 7855866013621195105997262665887434511474733831511138016872840848045\ 44118268499695275*c_1001_4^32 + 80646435951522476810880689594207712\ 9568660458536022061372699649795247269891749994444786472511612234560\ 7140201445298642358084274090008515794754434216523546243873699272220\ 4502248/19941224193351494171399398416034755789224970892364913841011\ 4416852502208556450700423864321478558660136211951059972626658874345\ 1147473383151113801687284084804544118268499695275*c_1001_4^31 + 2474329915575546901680379469443191570167114401082349142840162073863\ 2060270163182610271673582764146208399722764354104942842214701064169\ 3365227603889395686813385881108732640983322/19941224193351494171399\ 3984160347557892249708923649138410114416852502208556450700423864321\ 4785586601362119510599726266588743451147473383151113801687284084804\ 544118268499695275*c_1001_4^30 + 6946826182648419213323203442088152\ 4895616551815802447856243297619466664609301825932334344066972632155\ 7118364255203201679361845003040827191524705579526851088147409561300\ 713125522/199412241933514941713993984160347557892249708923649138410\ 1144168525022085564507004238643214785586601362119510599726266588743\ 451147473383151113801687284084804544118268499695275*c_1001_4^29 + 1183573226402094791852657514332623294118929190493400699625545939329\ 2977038110255928203198254574640301913114440315074459437643472055413\ 10805036499299963365403531120399043889210886/1994122419335149417139\ 9398416034755789224970892364913841011441685250220855645070042386432\ 1478558660136211951059972626658874345114747338315111380168728408480\ 4544118268499695275*c_1001_4^28 + 810744156699789255030186931338832\ 6958843965675103426537918337146357685635038516702688899052152616571\ 1177162995891469313689851143267676873507974071421890990927985610655\ 8684093067/19941224193351494171399398416034755789224970892364913841\ 0114416852502208556450700423864321478558660136211951059972626658874\ 3451147473383151113801687284084804544118268499695275*c_1001_4^27 - 4200805007616651882527089068213329038541961677024122081031751744209\ 6793447156929577535071039166193651320850578344588693898966053730732\ 74103057061070108628592737163719042250500923/1994122419335149417139\ 9398416034755789224970892364913841011441685250220855645070042386432\ 1478558660136211951059972626658874345114747338315111380168728408480\ 4544118268499695275*c_1001_4^26 - 239144316325369969879678069501441\ 9182081702909508852112508614299592079001310677636783741656612041328\ 9404730494448735705025641338676126028197710621954276039214461292950\ 362798483079/199412241933514941713993984160347557892249708923649138\ 4101144168525022085564507004238643214785586601362119510599726266588\ 743451147473383151113801687284084804544118268499695275*c_1001_4^25 - 7728120501825313519784865045354679919902712876883589993381677067722\ 4193513511295559032767647755967506074255114503733572485917926779005\ 266150441806510186836856357879698572987074366/199412241933514941713\ 9939841603475578922497089236491384101144168525022085564507004238643\ 2147855866013621195105997262665887434511474733831511138016872840848\ 04544118268499695275*c_1001_4^24 - 4034575714189901554187325015515695529789972977618135742894208193428\ 5889125914684209397600486232592855088128897165381328325601231599642\ 821518195752324605450399215313483885706959796/398824483867029883427\ 9879683206951157844994178472982768202288337050044171129014008477286\ 4295711732027242390211994525331774869022949467663022276033745681696\ 0908823653699939055*c_1001_4^23 - 123033363619655103335156192666547\ 0054023810291305516401427563574248761156901970337637672218687095182\ 8753960456415382482962421872606011383518030732951679768971511649277\ 496682863122/797648967734059766855975936641390231568998835694596553\ 6404576674100088342258028016954572859142346405448478042398905066354\ 9738045898935326044552067491363392181764730739987811*c_1001_4^22 - 4062314617953452998358515716118206015725254990388219759655594739022\ 8069859296219172783588513591064038593661372077378499974942989160934\ 4818576597817239269740390620851589395991441899/19941224193351494171\ 3993984160347557892249708923649138410114416852502208556450700423864\ 3214785586601362119510599726266588743451147473383151113801687284084\ 804544118268499695275*c_1001_4^21 + 9381401530187630290773996537131374182931001608958345989969247635136\ 2836953707572413975238603718803039703598513890253614280344699301187\ 997862965199273254950232193824547910323761879/398824483867029883427\ 9879683206951157844994178472982768202288337050044171129014008477286\ 4295711732027242390211994525331774869022949467663022276033745681696\ 0908823653699939055*c_1001_4^20 + 244770479591567812842232386554528\ 7448020199116773776257875724683287402085065967820880680645897570519\ 4489771975263031966855889659062100142459611357925993402799704960739\ 96010994756129/1994122419335149417139939841603475578922497089236491\ 3841011441685250220855645070042386432147855866013621195105997262665\ 88743451147473383151113801687284084804544118268499695275*c_1001_4^1\ 9 + 876867685734317569579169810348326836403854836307741052597470729\ 8424888413273474853873972560467380055310352637923565613362935292972\ 136765830601275964485297722116967232446092485649901/199412241933514\ 9417139939841603475578922497089236491384101144168525022085564507004\ 2386432147855866013621195105997262665887434511474733831511138016872\ 84084804544118268499695275*c_1001_4^18 + 1412936403277190619048829132989003691646955160528480565245595016430\ 6747310156467647231561298113933273364922106034550362656751822339354\ 643465723599449987619694527069888695462362407384/199412241933514941\ 7139939841603475578922497089236491384101144168525022085564507004238\ 6432147855866013621195105997262665887434511474733831511138016872840\ 84804544118268499695275*c_1001_4^17 + 2691808367340847892953489348338635804983606610975244983010623355798\ 6466526735012232177957309755538932877969589244664782718813419333519\ 700272985906868874487129298601122469234218647651/199412241933514941\ 7139939841603475578922497089236491384101144168525022085564507004238\ 6432147855866013621195105997262665887434511474733831511138016872840\ 84804544118268499695275*c_1001_4^16 + 3157376993686203354494320576426140606163390152898499741300228088166\ 6710515235693453198271074486881824681419016716072342761811889221876\ 270887640865504102384271071787706352359628203901/199412241933514941\ 7139939841603475578922497089236491384101144168525022085564507004238\ 6432147855866013621195105997262665887434511474733831511138016872840\ 84804544118268499695275*c_1001_4^15 + 4642358151238618342671667241950470896606542328485574279666135844135\ 5416009087533325010881849635297997108836298527490867640696445349300\ 914947398049810896336085042318648674777835935448/199412241933514941\ 7139939841603475578922497089236491384101144168525022085564507004238\ 6432147855866013621195105997262665887434511474733831511138016872840\ 84804544118268499695275*c_1001_4^14 + 1862615476071599655600721976339931735121140540304130580854437332519\ 5148126087626130345753249472005709654602800273684250506174223771054\ 89040001251529603350806404488950702335595678797/1994122419335149417\ 1399398416034755789224970892364913841011441685250220855645070042386\ 4321478558660136211951059972626658874345114747338315111380168728408\ 4804544118268499695275*c_1001_4^13 + 3485167578605634110846442455324514541270351852388202959238072682145\ 6817316163108768929894547800780954213338444220135441051983403345901\ 080502042203873766295480948993994577356654278994/199412241933514941\ 7139939841603475578922497089236491384101144168525022085564507004238\ 6432147855866013621195105997262665887434511474733831511138016872840\ 84804544118268499695275*c_1001_4^12 - 5024041892431639001927802230394339427953563519307576511509229891076\ 4503649007380126984831116502019149766108633631299299439080543778148\ 92534379938310273220996076220267130825930765626/3988244838670298834\ 2798796832069511578449941784729827682022883370500441711290140084772\ 8642957117320272423902119945253317748690229494676630222760337456816\ 960908823653699939055*c_1001_4^11 + 1804957774810620582290850133235561692002349831488327028787594454794\ 7820383978896587298458406868450963690706614490054508694275758428457\ 564366416450632037173388882174661520806130559687/398824483867029883\ 4279879683206951157844994178472982768202288337050044171129014008477\ 2864295711732027242390211994525331774869022949467663022276033745681\ 6960908823653699939055*c_1001_4^10 - 3467841539361671680856363736996142390168788449036134569951274190492\ 0314760665181983767078730809554762124954634850253464083260471690899\ 1987706326529764545405283058382439929196531787/79764896773405976685\ 5975936641390231568998835694596553640457667410008834225802801695457\ 2859142346405448478042398905066354973804589893532604455206749136339\ 2181764730739987811*c_1001_4^9 - 1959950752268567428403583406226800\ 3916281211023134703601621579016401451946516441036477907127901532817\ 0870815629422754983689248351262872727025309305620251155445226971098\ 4687735565836/39882448386702988342798796832069511578449941784729827\ 6820228833705004417112901400847728642957117320272423902119945253317\ 748690229494676630222760337456816960908823653699939055*c_1001_4^8 - 8058208416200635151070625902353278434994082035193499413235242560968\ 4688191799102654690041233947125686650112129202563633160289769328120\ 79638206416029793377029466647704846380791141889/1994122419335149417\ 1399398416034755789224970892364913841011441685250220855645070042386\ 4321478558660136211951059972626658874345114747338315111380168728408\ 4804544118268499695275*c_1001_4^7 + 9463872200645648608607827142705107741911913402999135201389022999901\ 6587508926772724690473378812841643403031579535030550568019394016231\ 42895232437405693375608586643685051384865402347/1994122419335149417\ 1399398416034755789224970892364913841011441685250220855645070042386\ 4321478558660136211951059972626658874345114747338315111380168728408\ 4804544118268499695275*c_1001_4^6 + 2871164979931150286921533990546567468720192165829570774512456932849\ 3039215635778532225366413788002943667434933737073954486909942907693\ 40214497617690594099541289544784860763585383956/1994122419335149417\ 1399398416034755789224970892364913841011441685250220855645070042386\ 4321478558660136211951059972626658874345114747338315111380168728408\ 4804544118268499695275*c_1001_4^5 + 2801510003761397034428175905350632630513053488727936862868099167393\ 2707717943048046413895548892148934407552427294792269756251733892671\ 4119818292606848546396771019800309585368051079/19941224193351494171\ 3993984160347557892249708923649138410114416852502208556450700423864\ 3214785586601362119510599726266588743451147473383151113801687284084\ 804544118268499695275*c_1001_4^4 - 1712238942534734821108064857646279106331855986601912542481853677288\ 9728440642848951230424371978217200055072689844987906846002018779606\ 36399755199820603531094913999075143984176593/1994122419335149417139\ 9398416034755789224970892364913841011441685250220855645070042386432\ 1478558660136211951059972626658874345114747338315111380168728408480\ 4544118268499695275*c_1001_4^3 - 2213133259181971905850195737054742\ 4135048892610444224049449253721518232959030939021289825417536098707\ 6010582728231690802684516298658394602367029529118209556198617229211\ 93511557/1522230854454312532167893008857614945742364190256863651985\ 6062355152840347820664154493459654851806117268087867173482951059110\ 314102850253061937417460183853469802429530532025*c_1001_4^2 - 2308165917525925476137577635915234693515818898878380055151610191743\ 9796517540373123371752382839111070203936592345710979894364631474131\ 9827280005158224878632261029600552912365539/19941224193351494171399\ 3984160347557892249708923649138410114416852502208556450700423864321\ 4785586601362119510599726266588743451147473383151113801687284084804\ 544118268499695275*c_1001_4 - 4345678139308867347417316719621199996\ 9182936507263839554659567112943197348524189407030314797813595699094\ 8496793095399898641445544295809363368225717523498471068925531555652\ 2356/19941224193351494171399398416034755789224970892364913841011441\ 6852502208556450700423864321478558660136211951059972626658874345114\ 7473383151113801687284084804544118268499695275, c_0101_6 + 607577890318881139537916011176104633884941847494478794476445\ 9139560518820348921127896280396657879936927196700545268574995147629\ 429853967082663487138946072497387313161613185013/199412241933514941\ 7139939841603475578922497089236491384101144168525022085564507004238\ 6432147855866013621195105997262665887434511474733831511138016872840\ 84804544118268499695275*c_1001_4^33 + 3807973517741614068298230579513508649069729711422196947147034143722\ 9705480446006218839951209930870849093648805744274793782959996538303\ 731339019571282489601316103597669638331869/199412241933514941713993\ 9841603475578922497089236491384101144168525022085564507004238643214\ 7855866013621195105997262665887434511474733831511138016872840848045\ 44118268499695275*c_1001_4^32 + 17686815949659800634369385927781463\ 2084765731661200984164698559551549979505688407185468476175541936549\ 1550160710348147290999560302416409387246140587217382921478708892679\ 02651722/1994122419335149417139939841603475578922497089236491384101\ 1441685250220855645070042386432147855866013621195105997262665887434\ 51147473383151113801687284084804544118268499695275*c_1001_4^31 + 5423874728732109088935511415749760465203648277666996878308264798311\ 7661522141878491575599215623657643787751144541244919948376098927309\ 2269314856401562784897321737598285880740598/19941224193351494171399\ 3984160347557892249708923649138410114416852502208556450700423864321\ 4785586601362119510599726266588743451147473383151113801687284084804\ 544118268499695275*c_1001_4^30 + 1522092549192678019403448382953498\ 8299713629101685616393326408977254025131221013830409197991915996724\ 7990724122944889095274747227787275757190106241471869646296577136235\ 4374284243/19941224193351494171399398416034755789224970892364913841\ 0114416852502208556450700423864321478558660136211951059972626658874\ 3451147473383151113801687284084804544118268499695275*c_1001_4^29 + 2590258851544559216427233848195788594725798715281796555618095517131\ 3268277089863293732083787637029775520757857190203873005640612574639\ 83849548246038167285057295899325315169892384/1994122419335149417139\ 9398416034755789224970892364913841011441685250220855645070042386432\ 1478558660136211951059972626658874345114747338315111380168728408480\ 4544118268499695275*c_1001_4^28 + 176178536913719634713222470568865\ 7164791334513692850586063418126567214989691449031402426037935142266\ 1944158911574714132745924512799562295191059205441640802106960061426\ 85840960093/1994122419335149417139939841603475578922497089236491384\ 1011441685250220855645070042386432147855866013621195105997262665887\ 43451147473383151113801687284084804544118268499695275*c_1001_4^27 - 9243803043952060767849437872771436527822105678075686426563724941012\ 2595014787150954257037411124873368210676761685816010926662497731359\ 89324285878427963512701449452956862931950277/1994122419335149417139\ 9398416034755789224970892364913841011441685250220855645070042386432\ 1478558660136211951059972626658874345114747338315111380168728408480\ 4544118268499695275*c_1001_4^26 - 524806372753356422069879145234467\ 9605369174318471048863300582250455655546042590013607463737441275898\ 5545129413709601402637265295222544038927990605174976653537353673983\ 087994304661/199412241933514941713993984160347557892249708923649138\ 4101144168525022085564507004238643214785586601362119510599726266588\ 743451147473383151113801687284084804544118268499695275*c_1001_4^25 - 1694296059196660847716654823418186594632162948458495721690407888752\ 3270615826779967962409548315998526439797188640516548989707956791922\ 1345114468294626824570485614607711767319230389/19941224193351494171\ 3993984160347557892249708923649138410114416852502208556450700423864\ 3214785586601362119510599726266588743451147473383151113801687284084\ 804544118268499695275*c_1001_4^24 - 8839393228683019404794687416241707371853620695548660471628869747274\ 1951454556334744893118953662972599464330893128390712795196211545820\ 142368979320010949626119798280249638623536674/398824483867029883427\ 9879683206951157844994178472982768202288337050044171129014008477286\ 4295711732027242390211994525331774869022949467663022276033745681696\ 0908823653699939055*c_1001_4^23 - 269128669800869316604752049191498\ 7952671741216665035727857462460353354743277753031992749531152561137\ 9097741666484054939245079818930120038060344977202854516571593014951\ 114538018993/797648967734059766855975936641390231568998835694596553\ 6404576674100088342258028016954572859142346405448478042398905066354\ 9738045898935326044552067491363392181764730739987811*c_1001_4^22 - 8865720986358567466155235470883036139835689825772930630348044316356\ 8889278830937619683941336624783419568538100702373279865474974429781\ 0528275004885649475481996103069133380854952301/19941224193351494171\ 3993984160347557892249708923649138410114416852502208556450700423864\ 3214785586601362119510599726266588743451147473383151113801687284084\ 804544118268499695275*c_1001_4^21 + 2072964901184763231182500372331908295248947312453044285430105649306\ 6800817247080011101076000057880493427744820813929952236822224569016\ 7188217981170855800048078710773635994167927347/39882448386702988342\ 7987968320695115784499417847298276820228833705004417112901400847728\ 6429571173202724239021199452533177486902294946766302227603374568169\ 60908823653699939055*c_1001_4^20 + 5377455164734405613296484463814257852588871713985844766791924514707\ 9472441119595546126587474918373353007792507718325520772370377417054\ 13743209677752034505090237833340847600774420266/1994122419335149417\ 1399398416034755789224970892364913841011441685250220855645070042386\ 4321478558660136211951059972626658874345114747338315111380168728408\ 4804544118268499695275*c_1001_4^19 + 1922450085300591032565278725307852942258652235990178333018800765692\ 9496484831952524238140942856882000580305602711889174132785031730853\ 059677558900584274958830010014251232744511220924/199412241933514941\ 7139939841603475578922497089236491384101144168525022085564507004238\ 6432147855866013621195105997262665887434511474733831511138016872840\ 84804544118268499695275*c_1001_4^18 + 3092959633452999346231862003450158253162246458043474854261203267700\ 8031218510790173384547197087612258550285647075508344777771978564817\ 037630842107744354394453757697072055275190035971/199412241933514941\ 7139939841603475578922497089236491384101144168525022085564507004238\ 6432147855866013621195105997262665887434511474733831511138016872840\ 84804544118268499695275*c_1001_4^17 + 5885423070501699775669935579005147461377379963620292401600967809221\ 9513620723296616393839856531414177195461533024563468325072255888987\ 106536972628346435983127042041603982416323958439/199412241933514941\ 7139939841603475578922497089236491384101144168525022085564507004238\ 6432147855866013621195105997262665887434511474733831511138016872840\ 84804544118268499695275*c_1001_4^16 + 6893589812362601602983446931784375245525031229391969967897187944580\ 6983305134879265741812479859713262383631516464156249744435153058088\ 491556693117234006056235596205606731420418337214/199412241933514941\ 7139939841603475578922497089236491384101144168525022085564507004238\ 6432147855866013621195105997262665887434511474733831511138016872840\ 84804544118268499695275*c_1001_4^15 + 1012636380717866358405999362268836822697117101276908943341557971125\ 4669914871253462053536333464962992027695283987224191681070355243481\ 8599515235407253306276186322631751716577438132442/19941224193351494\ 1713993984160347557892249708923649138410114416852502208556450700423\ 8643214785586601362119510599726266588743451147473383151113801687284\ 084804544118268499695275*c_1001_4^14 + 3360371578500945892662266651530037739476806271923888691240309911091\ 2451692024477660008614395896494679852288888915038646676820581358209\ 98022821609092960131665829691997071636910461353/1994122419335149417\ 1399398416034755789224970892364913841011441685250220855645070042386\ 4321478558660136211951059972626658874345114747338315111380168728408\ 4804544118268499695275*c_1001_4^13 + 7561941356113307125019497284622185824620145389071322786827126414139\ 9320607360468288721823861823981855674339785805428369624797115518886\ 810083186794246337257376397189903106166020605616/199412241933514941\ 7139939841603475578922497089236491384101144168525022085564507004238\ 6432147855866013621195105997262665887434511474733831511138016872840\ 84804544118268499695275*c_1001_4^12 - 1103303736153281705795838170221968753060540725724630308174843313765\ 9338851530817152573939379471428969680801505662834437445110512129352\ 341398973054567520047681893326601293124019820997/398824483867029883\ 4279879683206951157844994178472982768202288337050044171129014008477\ 2864295711732027242390211994525331774869022949467663022276033745681\ 6960908823653699939055*c_1001_4^11 + 3948685610413870875353774983351507101456212403904935253495874893996\ 1408783213733872603813409199116730243444116130661079495817436507522\ 587663025167770030853365936630303785463767936361/398824483867029883\ 4279879683206951157844994178472982768202288337050044171129014008477\ 2864295711732027242390211994525331774869022949467663022276033745681\ 6960908823653699939055*c_1001_4^10 - 3746836364369709989301379981914461962260199305545511473756066740358\ 9117289580541481808351556065079101594973223349012411677511159174825\ 27915618245484105627639637675005389731270713188/3988244838670298834\ 2798796832069511578449941784729827682022883370500441711290140084772\ 8642957117320272423902119945253317748690229494676630222760337456816\ 960908823653699939055*c_1001_4^9 - 4674494966383940384457521576550652879668479456971973305595042520000\ 3042363392519392920690155452711983724163782710007109663867192199582\ 86005049099808979373313930492621869629458180466/3988244838670298834\ 2798796832069511578449941784729827682022883370500441711290140084772\ 8642957117320272423902119945253317748690229494676630222760337456816\ 960908823653699939055*c_1001_4^8 - 1723296293566920884498335856659565307094020768334887758800685560836\ 3866423680522470079219019222167195963910546379251578590804244095986\ 128824709185599268660606152063835086076793065126/199412241933514941\ 7139939841603475578922497089236491384101144168525022085564507004238\ 6432147855866013621195105997262665887434511474733831511138016872840\ 84804544118268499695275*c_1001_4^7 + 2096118328097620552051307910164798436719082281388524758811115730378\ 5571501160537034777151719897326771739869013652837283226457626901713\ 021627966005413297507832007503848694620808622448/199412241933514941\ 7139939841603475578922497089236491384101144168525022085564507004238\ 6432147855866013621195105997262665887434511474733831511138016872840\ 84804544118268499695275*c_1001_4^6 + 6405254799438551398222383976427829098274916460205837955993136925668\ 3904688340780938648718456652804533538492481323145404475442234637044\ 27080108109562910333698142302103983884260440809/1994122419335149417\ 1399398416034755789224970892364913841011441685250220855645070042386\ 4321478558660136211951059972626658874345114747338315111380168728408\ 4804544118268499695275*c_1001_4^5 + 3937949349884807111718526408357292767462142779822312577947728016107\ 8808320104271374751916932494008747948960762122838985720357585204594\ 7343104518222979657732826323289833607281419261/19941224193351494171\ 3993984160347557892249708923649138410114416852502208556450700423864\ 3214785586601362119510599726266588743451147473383151113801687284084\ 804544118268499695275*c_1001_4^4 - 3654295176104428461262209518970442036949621041601409472975481932942\ 3435285805452315897864268771260914363647758355163239763315059806381\ 626384347303772690545239923362467108771002777/199412241933514941713\ 9939841603475578922497089236491384101144168525022085564507004238643\ 2147855866013621195105997262665887434511474733831511138016872840848\ 04544118268499695275*c_1001_4^3 - 415939767593168983276452804012436\ 1002364756104965107953533379140978570197558934259409992723988560995\ 2062547591627785557705572888882096777457396432927105930868184186731\ 335088088/152223085445431253216789300885761494574236419025686365198\ 5606235515284034782066415449345965485180611726808786717348295105911\ 0314102850253061937417460183853469802429530532025*c_1001_4^2 - 2162995327929847409272469260224462943209732603675180702365125995367\ 8275437590148008607122366210515261198532633544633650687867158244288\ 7719615427450726304959555228731206027805601/19941224193351494171399\ 3984160347557892249708923649138410114416852502208556450700423864321\ 4785586601362119510599726266588743451147473383151113801687284084804\ 544118268499695275*c_1001_4 - 1397339978463222349392990722512353673\ 0932144324958324596460595718138935576833259962747569495649564570762\ 6037249996592698775797895113904513383564872296523303893480270330918\ 3724/19941224193351494171399398416034755789224970892364913841011441\ 6852502208556450700423864321478558660136211951059972626658874345114\ 7473383151113801687284084804544118268499695275, c_0101_9 + 100869012874248207194927918485374067602209758029880998349376\ 8524721129124244762410506694164597291265874662104156265972351876199\ 196170040986029380317575783780944924783343458936/199412241933514941\ 7139939841603475578922497089236491384101144168525022085564507004238\ 6432147855866013621195105997262665887434511474733831511138016872840\ 84804544118268499695275*c_1001_4^33 + 6262208026301383582695762570288011842222178661154473872791083460761\ 0331376316076952559322248161917467184742716716541467209217163880011\ 08900144036329435547923111858692257440788/1994122419335149417139939\ 8416034755789224970892364913841011441685250220855645070042386432147\ 8558660136211951059972626658874345114747338315111380168728408480454\ 4118268499695275*c_1001_4^32 + 289920059635865099374926471271049575\ 7967711315139057042256895753401980933653891417276290329668019985649\ 4099763363156388075734362187794701171718227823877884800169843595632\ 534474/199412241933514941713993984160347557892249708923649138410114\ 4168525022085564507004238643214785586601362119510599726266588743451\ 147473383151113801687284084804544118268499695275*c_1001_4^31 + 8832609967604695504782395347610969028640227271173224638806540609980\ 4225941340229895795165831776876773722638518745990161391897539240456\ 036875914255581052058046125665245172385671/199412241933514941713993\ 9841603475578922497089236491384101144168525022085564507004238643214\ 7855866013621195105997262665887434511474733831511138016872840848045\ 44118268499695275*c_1001_4^30 + 24744895859189391988154684969044203\ 5182828871344587151139824100056464397331911974473527673227086478302\ 4542914286576623208492729267483737694514603889765273726199838855604\ 76533176/1994122419335149417139939841603475578922497089236491384101\ 1441685250220855645070042386432147855866013621195105997262665887434\ 51147473383151113801687284084804544118268499695275*c_1001_4^29 + 4153281722522598352440135219539480049583342158372487682847125951398\ 6006958364390349419202677919009263817523738043577137807134227521369\ 4235266229530427596514478987666755902365063/19941224193351494171399\ 3984160347557892249708923649138410114416852502208556450700423864321\ 4785586601362119510599726266588743451147473383151113801687284084804\ 544118268499695275*c_1001_4^28 + 2677542609632414873505544106943984\ 6092397273821102604602167869463233307263481230863267283228118248805\ 8315850308766428352729559737326798330809643811878206271054021005253\ 231870441/199412241933514941713993984160347557892249708923649138410\ 1144168525022085564507004238643214785586601362119510599726266588743\ 451147473383151113801687284084804544118268499695275*c_1001_4^27 - 1550740350829527234397508380333784257715903191157921609023847208532\ 2158806011785861563182815630781297940459103615806054342460917823708\ 45710380914902365232248871916564269192033544/1994122419335149417139\ 9398416034755789224970892364913841011441685250220855645070042386432\ 1478558660136211951059972626658874345114747338315111380168728408480\ 4544118268499695275*c_1001_4^26 - 862110203345965750700025207024294\ 4915103347978435926412045983713928991484122988599768373161412315735\ 9651745684525167270255551695331668745677401165053375557603237911730\ 24088396922/1994122419335149417139939841603475578922497089236491384\ 1011441685250220855645070042386432147855866013621195105997262665887\ 43451147473383151113801687284084804544118268499695275*c_1001_4^25 - 2761711853503057380139949869456215933283010582031514936186458036681\ 6054163143678180714456325831593047282105108480807729875186393988178\ 853622356182278002605712453131697075966011193/199412241933514941713\ 9939841603475578922497089236491384101144168525022085564507004238643\ 2147855866013621195105997262665887434511474733831511138016872840848\ 04544118268499695275*c_1001_4^24 - 1434699306747214538525485423341525009176119351477314934961997386075\ 0396089983276180988506496083320548119468805540584092702237720887939\ 917499066917386974685284020691723104646932988/398824483867029883427\ 9879683206951157844994178472982768202288337050044171129014008477286\ 4295711732027242390211994525331774869022949467663022276033745681696\ 0908823653699939055*c_1001_4^23 - 429749767512143109700791881129517\ 1355337144650343849530802384121851638496696828385228978001115778817\ 4115595386451527350119294894525345719812953398436732088692632244876\ 50488780369/7976489677340597668559759366413902315689988356945965536\ 4045766741000883422580280169545728591423464054484780423989050663549\ 738045898935326044552067491363392181764730739987811*c_1001_4^22 - 1407842530811988749004221606830621586064768197327362258490699770606\ 2173846710540854363650006699868342475463454273592849168802721500889\ 8185165771495404909236059487071012237497746472/19941224193351494171\ 3993984160347557892249708923649138410114416852502208556450700423864\ 3214785586601362119510599726266588743451147473383151113801687284084\ 804544118268499695275*c_1001_4^21 + 3609499953865639182900970601997326431180930824534539258381680351348\ 5341268390252411923582039572591497225426759413130198419556097842585\ 572099490153950317667693660621918785391479216/398824483867029883427\ 9879683206951157844994178472982768202288337050044171129014008477286\ 4295711732027242390211994525331774869022949467663022276033745681696\ 0908823653699939055*c_1001_4^20 + 882155173304788397976032900053798\ 3232189586760753216192499631325947235175099049630997028983067209213\ 8921679341524342361595470847904609617009540202860713134773494641371\ 7612785664242/19941224193351494171399398416034755789224970892364913\ 8410114416852502208556450700423864321478558660136211951059972626658\ 8743451147473383151113801687284084804544118268499695275*c_1001_4^19 + 31392954834656808493333643151596351180407693054321390130946351681\ 1724294973414002057943090331143099447248705481330296753694946930731\ 2230743431553652740656262613427177634968318843928/19941224193351494\ 1713993984160347557892249708923649138410114416852502208556450700423\ 8643214785586601362119510599726266588743451147473383151113801687284\ 084804544118268499695275*c_1001_4^18 + 4948501536515207091045694027701274488018162981089412720797430724504\ 3218833570742374439009668617335376718094281843411397824955389046557\ 78180605597606955205543087154318526061193656322/1994122419335149417\ 1399398416034755789224970892364913841011441685250220855645070042386\ 4321478558660136211951059972626658874345114747338315111380168728408\ 4804544118268499695275*c_1001_4^17 + 9476079644915631260531073992856606330697949151339063368261789896959\ 7180961193196410994660720560648839814186698029658332412167060369404\ 13073169462310805269045797601944924682902125613/1994122419335149417\ 1399398416034755789224970892364913841011441685250220855645070042386\ 4321478558660136211951059972626658874345114747338315111380168728408\ 4804544118268499695275*c_1001_4^16 + 1088059664601228756105726859997804994853314248590988321139203159591\ 0949113453388282639780657789308976927239449339572605917358321584605\ 673208125314366698931565188633896451939500881963/199412241933514941\ 7139939841603475578922497089236491384101144168525022085564507004238\ 6432147855866013621195105997262665887434511474733831511138016872840\ 84804544118268499695275*c_1001_4^15 + 1616180622754385938351304412934083461780250092988013035904944152774\ 4389444199631327506712204107259486857076397662499765287915845331398\ 912486898198904491330211939550134299780763129854/199412241933514941\ 7139939841603475578922497089236491384101144168525022085564507004238\ 6432147855866013621195105997262665887434511474733831511138016872840\ 84804544118268499695275*c_1001_4^14 - 4056899776302001605274736019737330620470387031331076508393707014791\ 2776822547483352271145188241362775207852881912115823962292375550100\ 7118517363438412715551127037066734254762712209/19941224193351494171\ 3993984160347557892249708923649138410114416852502208556450700423864\ 3214785586601362119510599726266588743451147473383151113801687284084\ 804544118268499695275*c_1001_4^13 + 1256855550242909218675178246231617774610436565177350054202291438094\ 1278895134918450618917479271687541368803125577745079660621863702775\ 049521101982898382679908225015518973751547781272/199412241933514941\ 7139939841603475578922497089236491384101144168525022085564507004238\ 6432147855866013621195105997262665887434511474733831511138016872840\ 84804544118268499695275*c_1001_4^12 - 3961355662017692977502473565951489358067331512474159710366021117542\ 4142158035600961471581057741864910339568836460242303240632167658828\ 0889456337459811497238703393076939552992161756/79764896773405976685\ 5975936641390231568998835694596553640457667410008834225802801695457\ 2859142346405448478042398905066354973804589893532604455206749136339\ 2181764730739987811*c_1001_4^11 + 667143686092279531376246980097186\ 0544824411727591598003961752789664937407693212943958682963380986779\ 0234655018775913241519986696854739111289113881507155064350723336775\ 20467294832123/3988244838670298834279879683206951157844994178472982\ 7682022883370500441711290140084772864295711732027242390211994525331\ 7748690229494676630222760337456816960908823653699939055*c_1001_4^10 - 10161202553345532530764832504985520776341454965690440421957390738\ 6304817529483144525313492443873059268499532464487473269711943803063\ 6407089321765312795121490789780659724075756749692/39882448386702988\ 3427987968320695115784499417847298276820228833705004417112901400847\ 7286429571173202724239021199452533177486902294946766302227603374568\ 16960908823653699939055*c_1001_4^9 - 7194495749863404851493546340683404312455821990854069379516928194547\ 7189713789456248538985460889945701012893876672352589401727385093836\ 0980662936356418362324457643417661790208702041/39882448386702988342\ 7987968320695115784499417847298276820228833705004417112901400847728\ 6429571173202724239021199452533177486902294946766302227603374568169\ 60908823653699939055*c_1001_4^8 - 264751552876891953551389591163280\ 7007984502398716696967857267465057316972871494793808820411368621859\ 7556208480737358120961955553398763571171220896174214536692611811377\ 04218586416977/1994122419335149417139939841603475578922497089236491\ 3841011441685250220855645070042386432147855866013621195105997262665\ 88743451147473383151113801687284084804544118268499695275*c_1001_4^7 + 36392984037318241726449893662168361475957078587955918695748695920\ 2072309465911563665846172391315793115406794209861725276071473733891\ 8881915595093791667158006122800910259942010442146/19941224193351494\ 1713993984160347557892249708923649138410114416852502208556450700423\ 8643214785586601362119510599726266588743451147473383151113801687284\ 084804544118268499695275*c_1001_4^6 + 8495328717708457592467827896470793224387927976372213935292036771467\ 8480987731013281302687981301083520878586818388983915024938054467082\ 5265797322434737745580732819215164147520824628/19941224193351494171\ 3993984160347557892249708923649138410114416852502208556450700423864\ 3214785586601362119510599726266588743451147473383151113801687284084\ 804544118268499695275*c_1001_4^5 + 1320965197344308829894766972406804740067898480864091058605871693573\ 9143673249124143278769603386938389660642579012649953790459499201836\ 061313607898552408455137111401063560072265572/199412241933514941713\ 9939841603475578922497089236491384101144168525022085564507004238643\ 2147855866013621195105997262665887434511474733831511138016872840848\ 04544118268499695275*c_1001_4^4 - 757909643614099106880659605028583\ 6699820698651293474016716509794405094123930011490840452523614847566\ 6927377477059636706108984062080309115951716224542255131060371756391\ 65526828359/1994122419335149417139939841603475578922497089236491384\ 1011441685250220855645070042386432147855866013621195105997262665887\ 43451147473383151113801687284084804544118268499695275*c_1001_4^3 - 3714936245662890118656589969554936747871037256084825422081016550745\ 1194358119419425400365055761525107898423560159773573483849106851337\ 59537871627137065711892393945565936440651/1522230854454312532167893\ 0088576149457423641902568636519856062355152840347820664154493459654\ 8518061172680878671734829510591103141028502530619374174601838534698\ 02429530532025*c_1001_4^2 - 396475066374103720126625168714264117801\ 5350000147032344720128169892706098165695079485915442258848390633942\ 4170591314052155883732887603828510664676614564467222777018836782929\ 02/1994122419335149417139939841603475578922497089236491384101144168\ 5250220855645070042386432147855866013621195105997262665887434511474\ 73383151113801687284084804544118268499695275*c_1001_4 - 1727124802757877249188553590646487790484221638824185407085902107774\ 0727757087306430760711622744325075844134656668809733132279149086150\ 04658555519272088231485665666664772193688/1994122419335149417139939\ 8416034755789224970892364913841011441685250220855645070042386432147\ 8558660136211951059972626658874345114747338315111380168728408480454\ 4118268499695275, c_0110_12 + 21308516103113329094708226363333410713922822265061926166333\ 8130147528564553043570085860583156046688409222568097412927315917063\ 540744560080969891834682829004044634113325537114/797648967734059766\ 8559759366413902315689988356945965536404576674100088342258028016954\ 5728591423464054484780423989050663549738045898935326044552067491363\ 392181764730739987811*c_1001_4^33 + 6687867838597705506969900696501690947865213403095174077514099198730\ 7563778869547385010161243989015275205240908080038468142676923334309\ 50059433596878405476045228926276576793984/3988244838670298834279879\ 6832069511578449941784729827682022883370500441711290140084772864295\ 7117320272423902119945253317748690229494676630222760337456816960908\ 823653699939055*c_1001_4^32 + 3108219668635312689869038805564422195\ 0640585871006029317636629451597830390197313508790654478021697000134\ 1332676812294596510905348000646598075054201825191925420844199279424\ 15038/3988244838670298834279879683206951157844994178472982768202288\ 3370500441711290140084772864295711732027242390211994525331774869022\ 9494676630222760337456816960908823653699939055*c_1001_4^31 + 9542705268576752054176445545748668044359357146298850284104929801689\ 1034916670690860979896828810992840908539730855307152549864895470982\ 561713735351417750978508383206906989554988/398824483867029883427987\ 9683206951157844994178472982768202288337050044171129014008477286429\ 5711732027242390211994525331774869022949467663022276033745681696090\ 8823653699939055*c_1001_4^30 + 267900455923123765106218142679559824\ 7446216618675664212429273041610436117029147583871261221631854090152\ 0315717826195744754329081132973259797747962735297039966016148925439\ 9130276/39882448386702988342798796832069511578449941784729827682022\ 8833705004417112901400847728642957117320272423902119945253317748690\ 229494676630222760337456816960908823653699939055*c_1001_4^29 + 4570170725495200198864860345686605614750286555860333647596071999106\ 4352244320704691619935102143780992763793371661858830055459076419963\ 7996628654936573289630107884261851298351503/39882448386702988342798\ 7968320695115784499417847298276820228833705004417112901400847728642\ 9571173202724239021199452533177486902294946766302227603374568169609\ 08823653699939055*c_1001_4^28 + 31392975841764635418994715113294477\ 0404129335307654079704431570520648904465335127693877270665591846496\ 6843553569637812055018173356127810708119939155399544017482001510493\ 69572034/3988244838670298834279879683206951157844994178472982768202\ 2883370500441711290140084772864295711732027242390211994525331774869\ 0229494676630222760337456816960908823653699939055*c_1001_4^27 - 3234000975309920505493165441313365015069783288074458817446800316582\ 2723535447502791110934902858861493781097188423497175790648369704126\ 2484275446709628639211217290945612909904326/79764896773405976685597\ 5936641390231568998835694596553640457667410008834225802801695457285\ 9142346405448478042398905066354973804589893532604455206749136339218\ 1764730739987811*c_1001_4^26 - 921796539499721631052159667743547080\ 3877260862807542659116319286182522920393062159603647360517116682622\ 2735751038624746895354798938183994833820169401407995194988206994726\ 17890901/3988244838670298834279879683206951157844994178472982768202\ 2883370500441711290140084772864295711732027242390211994525331774869\ 0229494676630222760337456816960908823653699939055*c_1001_4^25 - 2980364676232270197467447236094933001364783718018819773425061748132\ 0363507457748875350942768231590584854833057333929668474370518069163\ 063131387963109771143381415959104147938612432/398824483867029883427\ 9879683206951157844994178472982768202288337050044171129014008477286\ 4295711732027242390211994525331774869022949467663022276033745681696\ 0908823653699939055*c_1001_4^24 - 155622065312701101787276612182130\ 3569607028546496893762353400432018367845160346267688887393602916327\ 7988690836511419025184029158146103008048209893898375688825267711322\ 117395073348/797648967734059766855975936641390231568998835694596553\ 6404576674100088342258028016954572859142346405448478042398905066354\ 9738045898935326044552067491363392181764730739987811*c_1001_4^23 - 2376017766729125513013584774908333768575703328572654939164074119391\ 2636942221647378406400811953469640985703431901497847132700101913476\ 474292199477353492293566084276305506496542131/797648967734059766855\ 9759366413902315689988356945965536404576674100088342258028016954572\ 8591423464054484780423989050663549738045898935326044552067491363392\ 181764730739987811*c_1001_4^22 - 3135583817038441879866196326631398\ 5454306349045304770650678480370742787579651189818794585865964491439\ 0743572262034627308752023462328632703804799914397398391931574346478\ 36860077667/7976489677340597668559759366413902315689988356945965536\ 4045766741000883422580280169545728591423464054484780423989050663549\ 738045898935326044552067491363392181764730739987811*c_1001_4^21 + 1799969334050870645600279323527850344890277785425745631254667357942\ 8187380091023784813916844904787986918254863852041969114208346339029\ 8869671993937703397058606742550536823501319747/39882448386702988342\ 7987968320695115784499417847298276820228833705004417112901400847728\ 6429571173202724239021199452533177486902294946766302227603374568169\ 60908823653699939055*c_1001_4^20 + 9444135630569746982075679337682744241077003436416717952637252613690\ 1821381898671414274335093160190994929630843717591777198560370302060\ 2844293671313165029454624431619168966205347238/39882448386702988342\ 7987968320695115784499417847298276820228833705004417112901400847728\ 6429571173202724239021199452533177486902294946766302227603374568169\ 60908823653699939055*c_1001_4^19 + 6761483995860838167494151611844174935851944549208290540010067290953\ 8262669502874446240793258743566582779255331286627137946604928938175\ 6877004225617876764203371459619313829365269312/79764896773405976685\ 5975936641390231568998835694596553640457667410008834225802801695457\ 2859142346405448478042398905066354973804589893532604455206749136339\ 2181764730739987811*c_1001_4^18 + 545851527767670382845179663512423\ 3400056938431224546793139581151392131427295792051674521448443908562\ 6731849034430836395885216046834489132077588432455239755916681333805\ 18818869375692/3988244838670298834279879683206951157844994178472982\ 7682022883370500441711290140084772864295711732027242390211994525331\ 7748690229494676630222760337456816960908823653699939055*c_1001_4^17 + 10380497478013970997553901515026134915779052437936671431692739449\ 4614940213055389657688551823202917526404974539385380013973793051807\ 20813563158056289296112167950959971736421045488341/3988244838670298\ 8342798796832069511578449941784729827682022883370500441711290140084\ 7728642957117320272423902119945253317748690229494676630222760337456\ 816960908823653699939055*c_1001_4^16 + 1219996064599601900404905114229774463438385113649692329011786605763\ 8522458447536454358388740932922470645784027643564857879505757137431\ 792889987126978041932334988278910779087017565926/398824483867029883\ 4279879683206951157844994178472982768202288337050044171129014008477\ 2864295711732027242390211994525331774869022949467663022276033745681\ 6960908823653699939055*c_1001_4^15 + 1789658287792911281630120426852714308288504448680721964368801315939\ 3365438024666680149551367154478303577414027124949499341699209539947\ 231779207661558912672067595747933788933499050386/398824483867029883\ 4279879683206951157844994178472982768202288337050044171129014008477\ 2864295711732027242390211994525331774869022949467663022276033745681\ 6960908823653699939055*c_1001_4^14 + 1572926247621498974262269948340887353796396838038083573677549281089\ 7082993857205540194761619526799130564835917181429560763711999890515\ 8765734953419518042259358409487562656825788698/79764896773405976685\ 5975936641390231568998835694596553640457667410008834225802801695457\ 2859142346405448478042398905066354973804589893532604455206749136339\ 2181764730739987811*c_1001_4^13 + 133032580120009081491418816286267\ 3602008819086124103971652992044973340826607146829121631995978017537\ 5327563671739398172382231411691228774682266300207897137950476842890\ 937971362777744/398824483867029883427987968320695115784499417847298\ 2768202288337050044171129014008477286429571173202724239021199452533\ 17748690229494676630222760337456816960908823653699939055*c_1001_4^1\ 2 - 954770568931222712122145055089610547722962411264924325607276576\ 2041243378590692838062915231158046064483320963212447834954630441847\ 238490009433042132529719034160842228421469762517421/398824483867029\ 8834279879683206951157844994178472982768202288337050044171129014008\ 4772864295711732027242390211994525331774869022949467663022276033745\ 6816960908823653699939055*c_1001_4^11 + 3455764738339161279864781751992252444887438522749224300100083052530\ 1895799827939019052288138401027817969719242448069695255862377200037\ 017920849148308942152789091000734439756437529661/398824483867029883\ 4279879683206951157844994178472982768202288337050044171129014008477\ 2864295711732027242390211994525331774869022949467663022276033745681\ 6960908823653699939055*c_1001_4^10 - 2974172791677136432702201100835918884351954041300943089172047724141\ 8492287370841504430837396985804444763306952123383446949773896366066\ 09689872412219346727685276232778026285552814711/3988244838670298834\ 2798796832069511578449941784729827682022883370500441711290140084772\ 8642957117320272423902119945253317748690229494676630222760337456816\ 960908823653699939055*c_1001_4^9 - 4049427266450266926417452486386137482665085917836977180882124264794\ 9605630271320187969008698922926941714960533280484679122586307935485\ 49992959284896674167437942597631286468988397659/3988244838670298834\ 2798796832069511578449941784729827682022883370500441711290140084772\ 8642957117320272423902119945253317748690229494676630222760337456816\ 960908823653699939055*c_1001_4^8 - 3078472755892297814036805526776561138172431389891474685381877009358\ 1219914146885656312450318552542288201834096701474614461929877548821\ 84592014726960860046221790462540207118851819351/3988244838670298834\ 2798796832069511578449941784729827682022883370500441711290140084772\ 8642957117320272423902119945253317748690229494676630222760337456816\ 960908823653699939055*c_1001_4^7 + 3639052374178512636740245146242287169133479079380586014080972304080\ 6894335313337382538042701429651515174786345123909177949599885101973\ 52028124361315733671983480525581614371354079418/3988244838670298834\ 2798796832069511578449941784729827682022883370500441711290140084772\ 8642957117320272423902119945253317748690229494676630222760337456816\ 960908823653699939055*c_1001_4^6 + 1152960294090683602717045903807827897671706365526999236494939865852\ 2151529546760279496057682648846472834588271010434781826431632844772\ 36214529177847982120137686595455700001915373456/3988244838670298834\ 2798796832069511578449941784729827682022883370500441711290140084772\ 8642957117320272423902119945253317748690229494676630222760337456816\ 960908823653699939055*c_1001_4^5 + 8892333241683012685807862714174903923992928655890504016469893026792\ 7445258891327681885698042879007726342985176629085115487974285118924\ 753190322848914441466576845474055602270174231/398824483867029883427\ 9879683206951157844994178472982768202288337050044171129014008477286\ 4295711732027242390211994525331774869022949467663022276033745681696\ 0908823653699939055*c_1001_4^4 - 4246595737970090704410880527859770\ 0875896862486942811461924750542784243284418608081268230411293548200\ 4507666397132506600391074754850541057720529024317423981185355107179\ 3302460668/39882448386702988342798796832069511578449941784729827682\ 0228833705004417112901400847728642957117320272423902119945253317748\ 690229494676630222760337456816960908823653699939055*c_1001_4^3 - 7878559821614204275017480302036168106576707208906254458310916506462\ 2110602517134101949379043406080697991870663394488491126188059606092\ 96692717926501739654531127492510403773458/3044461708908625064335786\ 0177152298914847283805137273039712124710305680695641328308986919309\ 7036122345361757343469659021182206282057005061238748349203677069396\ 0485906106405*c_1001_4^2 - 5430134653250642710807160062989651167589\ 4907882970661924747142905537924056328803641230513388774234731521009\ 7859583373125091128817411921601947762218774106364521547332268182998\ 06/3988244838670298834279879683206951157844994178472982768202288337\ 0500441711290140084772864295711732027242390211994525331774869022949\ 4676630222760337456816960908823653699939055*c_1001_4 - 1009642274240225118018342074483276890568752802791596153656392076084\ 0127916565732970897245004545554527171036839452777299568689283424517\ 58697621338823512412876602757457568985427/3988244838670298834279879\ 6832069511578449941784729827682022883370500441711290140084772864295\ 7117320272423902119945253317748690229494676630222760337456816960908\ 823653699939055, c_1001_0 + 145399223764698619435115240124558536282495583245276525311286\ 4971949918990212459792378462658839874066396424496637323856051859067\ 308866514812946275311435941135257510425235711398/199412241933514941\ 7139939841603475578922497089236491384101144168525022085564507004238\ 6432147855866013621195105997262665887434511474733831511138016872840\ 84804544118268499695275*c_1001_4^33 + 9444230937171314533358737408208182470039005083210556437479864907263\ 2805682070044805750314395875856480346380712089621964997752860852301\ 52046920533250375225396664173579439773754/1994122419335149417139939\ 8416034755789224970892364913841011441685250220855645070042386432147\ 8558660136211951059972626658874345114747338315111380168728408480454\ 4118268499695275*c_1001_4^32 + 443819841610223846918098909195908878\ 3061960241843880398057273474422033677047740201841285690563236472852\ 4011767443437573193407042635307897843598098438852258990875508157231\ 495522/199412241933514941713993984160347557892249708923649138410114\ 4168525022085564507004238643214785586601362119510599726266588743451\ 147473383151113801687284084804544118268499695275*c_1001_4^31 + 1393149370324333774098155991816953711392770078210155585752720185440\ 6313188575526524214115699523909468236091738423333338526836745509132\ 8733898309734246074486384266184431382005668/19941224193351494171399\ 3984160347557892249708923649138410114416852502208556450700423864321\ 4785586601362119510599726266588743451147473383151113801687284084804\ 544118268499695275*c_1001_4^30 + 3932327348962490609764623799744014\ 9604008230737940657284470319508783848899339236829096113697051988834\ 0058329522382032324702760717885207352367055873082995792513226073083\ 380339173/199412241933514941713993984160347557892249708923649138410\ 1144168525022085564507004238643214785586601362119510599726266588743\ 451147473383151113801687284084804544118268499695275*c_1001_4^29 + 7010716053367523657020269368749784382114487016083512108689081785278\ 7438198258729904915575472916899623317466437681434179384557468924058\ 1995669668772105662412528341084069834233274/19941224193351494171399\ 3984160347557892249708923649138410114416852502208556450700423864321\ 4785586601362119510599726266588743451147473383151113801687284084804\ 544118268499695275*c_1001_4^28 + 5577976970376799977260539609009375\ 6148445770901701256848262383582682274452395256428894457118538260152\ 1292911442962100616273515668455554492113607406204123715891438479246\ 321925358/199412241933514941713993984160347557892249708923649138410\ 1144168525022085564507004238643214785586601362119510599726266588743\ 451147473383151113801687284084804544118268499695275*c_1001_4^27 - 2124464060436002469318599135270305680554275258339691561052818285472\ 3967251847552733588981032616547201637083097921556148891747830136026\ 31377683958491670665602106819095196894760492/1994122419335149417139\ 9398416034755789224970892364913841011441685250220855645070042386432\ 1478558660136211951059972626658874345114747338315111380168728408480\ 4544118268499695275*c_1001_4^26 - 130684304438097043808496167357811\ 0536980871186209809322585971400175320223070626455011143121925510942\ 1171254836202666974341243431643466693506828356126290457403942348921\ 976636012901/199412241933514941713993984160347557892249708923649138\ 4101144168525022085564507004238643214785586601362119510599726266588\ 743451147473383151113801687284084804544118268499695275*c_1001_4^25 - 4337565902671959607816658476302154587678512049637642631004073712456\ 5916212194471643701246357175215883490407280623883561881093018771290\ 641950502586775197666255812321062354860540634/199412241933514941713\ 9939841603475578922497089236491384101144168525022085564507004238643\ 2147855866013621195105997262665887434511474733831511138016872840848\ 04544118268499695275*c_1001_4^24 - 2296589016213072020677568035187588184573574519802133819427997745972\ 4900896979916955480032521159417399858054343074640160607133588184352\ 400903983855458389227536288946889385610484154/398824483867029883427\ 9879683206951157844994178472982768202288337050044171129014008477286\ 4295711732027242390211994525331774869022949467663022276033745681696\ 0908823653699939055*c_1001_4^23 - 738195877074080289703336612216910\ 2574080918713736206000723214166252508717438464223694896480317122482\ 7555655623596475409431410809913778715095799871265585506645992383779\ 16832533037/7976489677340597668559759366413902315689988356945965536\ 4045766741000883422580280169545728591423464054484780423989050663549\ 738045898935326044552067491363392181764730739987811*c_1001_4^22 - 2473886010299630003699933518435885987958571750558821502353795983121\ 7565854004286650048968824165872055755470413171748797985480792136506\ 6704784682851200045420831529404533448568771821/19941224193351494171\ 3993984160347557892249708923649138410114416852502208556450700423864\ 3214785586601362119510599726266588743451147473383151113801687284084\ 804544118268499695275*c_1001_4^21 + 8074198128604803803437677869554884747850665904614364793733675636867\ 7614613286030283699221930934301428600804406496652450754165723071194\ 26793348184899958283882038802723666664536569/7976489677340597668559\ 7593664139023156899883569459655364045766741000883422580280169545728\ 5914234640544847804239890506635497380458989353260445520674913633921\ 81764730739987811*c_1001_4^20 + 13462421036254296482165326377068689\ 9568023195472857682311900422333230694521022847698363804399352638576\ 3708877293164994591878269637101129952340711540836049042584702054315\ 167243202746/199412241933514941713993984160347557892249708923649138\ 4101144168525022085564507004238643214785586601362119510599726266588\ 743451147473383151113801687284084804544118268499695275*c_1001_4^19 + 4889946807510505712958279987450954599299171127487279394617276914850\ 1242982230494343068000675253715079176314526503784614813311957296302\ 46492607499268365936046326341663816189334134954/1994122419335149417\ 1399398416034755789224970892364913841011441685250220855645070042386\ 4321478558660136211951059972626658874345114747338315111380168728408\ 4804544118268499695275*c_1001_4^18 + 8432012554210989118849705526397378483257358761831501767894597782273\ 1970015462594734066876701940545355260798690271462710620732064027338\ 38186496919019009433173645062157249844564963231/1994122419335149417\ 1399398416034755789224970892364913841011441685250220855645070042386\ 4321478558660136211951059972626658874345114747338315111380168728408\ 4804544118268499695275*c_1001_4^17 + 1570646154163437501175470926528990603643250072726523349086415962167\ 7394797568077026574420335363548008218715625053971832242174998152171\ 658159185521909106288529006716734883301938193439/199412241933514941\ 7139939841603475578922497089236491384101144168525022085564507004238\ 6432147855866013621195105997262665887434511474733831511138016872840\ 84804544118268499695275*c_1001_4^16 + 1960695909206478960960614364276760904095795445237666053752658203926\ 6156771665080691638460131739570415793506406210581927402346405824802\ 717237848808925377988175827046784949384814433239/199412241933514941\ 7139939841603475578922497089236491384101144168525022085564507004238\ 6432147855866013621195105997262665887434511474733831511138016872840\ 84804544118268499695275*c_1001_4^15 + 2779986845696952220408093572550557871567519468390939653395368345407\ 7281290044475278921654981027390462925436144823703393271404835165500\ 433091065591639299922828696357186959910146118502/199412241933514941\ 7139939841603475578922497089236491384101144168525022085564507004238\ 6432147855866013621195105997262665887434511474733831511138016872840\ 84804544118268499695275*c_1001_4^14 + 6110002056164715347988899204439581779876819309477336546970312578898\ 4368885797982213692261328213465883522655423219204187127656075354697\ 52534364188456255140600415944771477806184970638/1994122419335149417\ 1399398416034755789224970892364913841011441685250220855645070042386\ 4321478558660136211951059972626658874345114747338315111380168728408\ 4804544118268499695275*c_1001_4^13 + 1795226698905732542063029285540049145478561167167094849933566580979\ 9213002018025171775182957277150244423978265232500150099170795373958\ 841216421916609000363911596949331602948929227566/199412241933514941\ 7139939841603475578922497089236491384101144168525022085564507004238\ 6432147855866013621195105997262665887434511474733831511138016872840\ 84804544118268499695275*c_1001_4^12 - 1809895988217532562572416507003061983635820052873538014007530967304\ 2057197598671454249682851232532937378479262334548398220309676632194\ 70742118314349684451673014404131923676529374221/3988244838670298834\ 2798796832069511578449941784729827682022883370500441711290140084772\ 8642957117320272423902119945253317748690229494676630222760337456816\ 960908823653699939055*c_1001_4^11 + 1758834561896584569438534566362753968219564446680496978724801314543\ 4069333418606036012433108611749588938295046129035677326923993381226\ 73440143031789046917962227784218334506058525776/7976489677340597668\ 5597593664139023156899883569459655364045766741000883422580280169545\ 7285914234640544847804239890506635497380458989353260445520674913633\ 92181764730739987811*c_1001_4^10 + 1302122774780220588088427920422095524070191602578735321673079314775\ 6396648810579970436668571410167912364479696403065749146809592069571\ 34260547459447313621013293258570320453823091713/3988244838670298834\ 2798796832069511578449941784729827682022883370500441711290140084772\ 8642957117320272423902119945253317748690229494676630222760337456816\ 960908823653699939055*c_1001_4^9 - 1466496496740850668703077199186223850173638525837822256439739925354\ 4957372566262243078055465938199244120629460510610314838462061365595\ 55192143246239986134574690689105125775414525042/3988244838670298834\ 2798796832069511578449941784729827682022883370500441711290140084772\ 8642957117320272423902119945253317748690229494676630222760337456816\ 960908823653699939055*c_1001_4^8 - 5245088311871065169113069982250455097018054972094160531761825533307\ 0793537922711524225637435788655272766340300779538280718401075390610\ 91190376725978826399856697624038847982506510591/1994122419335149417\ 1399398416034755789224970892364913841011441685250220855645070042386\ 4321478558660136211951059972626658874345114747338315111380168728408\ 4804544118268499695275*c_1001_4^7 + 4136969460740478465172264789196467165994638246594186442225150323594\ 4443909467719601248395539389168816408476746551181873854390346521707\ 01010925065483896439606851113659847500207308693/1994122419335149417\ 1399398416034755789224970892364913841011441685250220855645070042386\ 4321478558660136211951059972626658874345114747338315111380168728408\ 4804544118268499695275*c_1001_4^6 + 2729403341123281930769899302193949002950023007843573301093793460463\ 5499050749046084966700698403317442749776744261074696817347141729432\ 59167866714636861927876906394455698660877835734/1994122419335149417\ 1399398416034755789224970892364913841011441685250220855645070042386\ 4321478558660136211951059972626658874345114747338315111380168728408\ 4804544118268499695275*c_1001_4^5 + 3640951426455693848718618343684684814077407875382944293193589092266\ 1824640140490054165189659060377511667747743767602128891129715268223\ 8606023163703004771527791125529545652240177301/19941224193351494171\ 3993984160347557892249708923649138410114416852502208556450700423864\ 3214785586601362119510599726266588743451147473383151113801687284084\ 804544118268499695275*c_1001_4^4 + 2337780485917305808223618928262870213464123341824730088384924175290\ 2133379908978753520519846410210106800318427137071445486573904044491\ 1080472024493564285405006486295848888348048/19941224193351494171399\ 3984160347557892249708923649138410114416852502208556450700423864321\ 4785586601362119510599726266588743451147473383151113801687284084804\ 544118268499695275*c_1001_4^3 - 25839952286076677574479222076936001\ 1625777721117351282619002531276174676738078721846135550809496424198\ 2774902836850470123089055212428910827523182963408821980286062166434\ 1456858/15222308544543125321678930088576149457423641902568636519856\ 0623551528403478206641544934596548518061172680878671734829510591103\ 14102850253061937417460183853469802429530532025*c_1001_4^2 - 2355747200908624125001584932328439534178359359925092590791734686101\ 3564419005920251210098583907868684806243345691238657767421982907944\ 9101160619033854348819156693637577731038866/19941224193351494171399\ 3984160347557892249708923649138410114416852502208556450700423864321\ 4785586601362119510599726266588743451147473383151113801687284084804\ 544118268499695275*c_1001_4 - 3699384085476169909779711074676711450\ 5830775577153775048129001365069962704222614932382879515897795455020\ 4436919291025520753189620061715423605020375782708559029733499461217\ 0169/19941224193351494171399398416034755789224970892364913841011441\ 6852502208556450700423864321478558660136211951059972626658874345114\ 7473383151113801687284084804544118268499695275, c_1001_4^34 + 108/17*c_1001_4^33 + 504/17*c_1001_4^32 + 1560/17*c_1001_4^31 + 4389/17*c_1001_4^30 + 7613/17*c_1001_4^29 + 5553/17*c_1001_4^28 - 25436/17*c_1001_4^27 - 149047/17*c_1001_4^26 - 486640/17*c_1001_4^25 - 1277291/17*c_1001_4^24 - 1988705/17*c_1001_4^23 - 2642709/17*c_1001_4^22 + 2686291/17*c_1001_4^21 + 15291684/17*c_1001_4^20 + 55079125/17*c_1001_4^19 + 91153015/17*c_1001_4^18 + 172122355/17*c_1001_4^17 + 207038437/17*c_1001_4^16 + 17645692*c_1001_4^15 + 33797385/17*c_1001_4^14 + 212650591/17*c_1001_4^13 - 136276481/17*c_1001_4^12 + 539436930/17*c_1001_4^11 - 5367015/17*c_1001_4^10 - 69322130/17*c_1001_4^9 - 53904279/17*c_1001_4^8 + 54477858/17*c_1001_4^7 + 22890758/17*c_1001_4^6 + 2693790/17*c_1001_4^5 + 4196/17*c_1001_4^4 - 23200/17*c_1001_4^3 - 1931/17*c_1001_4^2 - 65/17*c_1001_4 - 1/17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 7.020 Total time: 7.230 seconds, Total memory usage: 64.12MB