Magma V2.19-8 Wed Aug 21 2013 00:28:54 on localhost [Seed = 3599812326] Type ? for help. Type -D to quit. Loading file "K14n16075__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n16075 geometric_solution 12.31631607 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -11 -1 12 -1 0 0 1 0 0 0 0 0 -12 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.517190031978 1.100775945928 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 11 0 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.460434325223 0.904351222944 8 0 10 9 0132 0132 0132 0132 0 0 0 0 0 -1 1 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 -11 0 11 0 -11 0 -12 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.412349233564 0.512927651752 11 10 7 0 0132 2031 0213 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 12 0 0 -12 0 11 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.140984052887 0.762321077162 11 6 0 5 3120 2310 0132 0213 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 12 -12 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.635109167461 0.579529027993 12 1 9 4 0132 0132 0213 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 0 0 -1 0 -11 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.693266999846 1.238102825690 8 10 1 4 2031 2103 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 12 0 0 -12 -11 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.377847065123 1.154038869627 11 3 8 1 2103 0213 2031 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 -11 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.490187800514 0.418387433874 2 12 6 7 0132 0132 1302 1302 0 0 0 0 0 0 0 0 1 0 -1 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 -11 0 11 0 0 -1 0 1 12 0 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.638917614567 0.571840099379 10 5 2 12 2310 0213 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.376478200165 1.240285028814 3 6 9 2 1302 2103 3201 0132 0 0 0 0 0 0 1 -1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -11 11 -11 0 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.742250081315 0.540772471755 3 12 7 4 0132 3201 2103 3120 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 -12 1 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.050052502190 0.711307275110 5 8 11 9 0132 0132 2310 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.204117412906 0.991027552689 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_7'], 'c_1001_10' : d['c_0011_6'], 'c_1001_12' : d['c_0011_4'], 'c_1001_5' : d['c_0011_10'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0011_10'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_10'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : d['c_0110_6'], 'c_1010_12' : d['c_0110_6'], 'c_1010_11' : negation(d['c_0011_4']), 'c_1010_10' : d['c_1001_2'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : negation(d['c_0011_7']), 'c_0101_11' : d['c_0101_0'], 'c_0101_10' : d['c_0011_11'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_2_7' : negation(d['1']), 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : negation(d['1']), 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_0']), 'c_1100_5' : negation(d['c_0110_6']), 'c_1100_4' : d['c_1001_1'], 'c_1100_7' : negation(d['c_0011_4']), 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_1001_1'], 'c_1100_3' : d['c_1001_1'], 'c_1100_2' : negation(d['c_0011_9']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_1']), 'c_1100_10' : negation(d['c_0011_9']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_1001_2']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : d['c_0011_10'], 'c_1010_2' : d['c_0011_10'], 'c_1010_1' : d['c_0011_10'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0110_6']), 'c_1010_8' : d['c_0011_4'], 'c_1100_8' : d['c_0101_0'], 's_3_1' : negation(d['1']), 's_3_0' : negation(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' : negation(d['1']), 's_3_6' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : negation(d['1']), 'c_1100_12' : d['c_0011_11'], '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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_11']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_7'], 'c_0110_10' : d['c_0101_2'], 'c_0110_12' : d['c_0011_9'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_9'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_7'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_6']), 'c_0101_8' : negation(d['c_0011_6']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_11']), 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0011_9']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_6']), 'c_0110_5' : negation(d['c_0011_7']), 'c_0110_4' : d['c_0011_7'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0110_6'], 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_4, c_0011_6, c_0011_7, c_0011_9, c_0101_0, c_0101_1, c_0101_2, c_0110_6, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 35 Groebner basis: [ t + 2305985376820637193731435605774443522801366336370033623247570533735\ 2219304837768975292841976154112165565763502763614543578851660081813\ 0748173219845704102107210231198175101583350496036375/13036905505847\ 8371494845719815648979713839545915246676973514259772764237138694939\ 0848535995432645447031135653206932679407948567487060295182657139826\ 12801062046264377664114019636565376*c_1001_2^34 + 2174493122892711154738935742653088908406126877528878889680372131260\ 5800142547628895882995524641172744697838644051446199906521685340745\ 43010828023688455759192100377548089158863256372909175/1769294318650\ 7778988586204832123790104021081231354906160691220969160860754537170\ 3043729885094430453525654124363798006491078734158958182917646326119\ 260230012777073083972726169506767296*c_1001_2^33 + 1218592479128279352671327325127100335005252815706992955123689766191\ 0656563964117579975003943852905667363487869178247432483581753509223\ 930745346191127230693363437772530577843912193903593895/341656833946\ 3571115037336105513559468362691548123706017236925428527614490531315\ 6449823701949269328956678037808181684012070376251385028425476531940\ 2709409679845382506981816051461343744*c_1001_2^32 + 6526844765725042962180673529730020131118562615892056350180250555127\ 9930012277103576523809891348225601888770629602094592584681033017198\ 916349918760080316536334750149426194014186225903452099/123850602305\ 5544529201034338248665307281475686194843431248385467841260252817601\ 9213061091956610131746795788705465860454375511391127072804235242828\ 34821610089439511587809083186547371072*c_1001_2^31 + 9981839703575625608666178646401651808774151023091015663181108848548\ 2270143817520106234747490261156794075572982043869812329168857589670\ 730342466834055594580822794739011493911242936379460023/495402409222\ 2178116804137352994661229125902744779373724993541871365041011270407\ 6852244367826440526987183154821863441817502045564508291216940971313\ 39286440357758046351236332746189484288*c_1001_2^30 - 1918958573353080936242113483243299209858561085485583842797281492157\ 3413917642247986282195538701422206556533963058491841735581869479400\ 048065680613644189268919875494842743804922934966377995/619253011527\ 7722646005171691243326536407378430974217156241927339206301264088009\ 6065305459783050658733978943527329302271877556955635364021176214141\ 7410805044719755793904541593273685536*c_1001_2^29 - 2676190875826463026566538199619992361427460723134751050788559378741\ 1838618404777941405548377055740870030135388100753102183241877792307\ 413802811465520427146231117549753788883526694517781153/450365826565\ 6525560731033957267873844659911586163067022721401701240946373882188\ 8047494879842218660897439231656239492561365495967734810197219064830\ 3571494577978004213748757522380862208*c_1001_2^28 - 8106283570501529588303597934459270183276925236156272185779464849335\ 3562577723115944626072297671904702620845031145067287524737574209661\ 9710220510156495636293086283105010761257662930958739/97905614470794\ 0339289355208101711705360850344818058048417696022008901385626562783\ 6411930400482317586399832968747715774209890427768436999395448876164\ 597708216913135081494728747410048*c_1001_2^27 - 2339466220442980383392055054964108824207086113718947551093945732711\ 5208711657219554803164140933678055133956047468703878889452852742387\ 4751922292972703982960693924323495596052148454495846547/90073165313\ 1305112146206791453574768931982317232613404544280340248189274776437\ 7609498975968443732179487846331247898512273099193546962039443812966\ 07142989155956008427497515044761724416*c_1001_2^26 - 4390328483181110920901681707356471499846601704215932171234199971859\ 8440068996045999703136716060249057510250910955573584140757923538304\ 8601087665840751466402248343534163036342640703951073579/14154354549\ 2062231908689638656990320832168649850839249285529767753286886036297\ 3624349839080755443628205232994910384051928629873271665463341170608\ 954081840102216584671781809356054138368*c_1001_2^25 - 4632292886347477350144108510076477443581503395136970095211234789649\ 5537966566224272503471140381811332620829286105242593399781245203564\ 23723400562350967011063582218947365024876433700296389/6154067195307\ 0535612473755937821878622682021674277934471969464240559515667955374\ 9717321339458888534002275215178427848664621684031158897104856786501\ 77471308792025420512252580698006016*c_1001_2^24 + 4522161619057966644332362370087557489086296074335644325945572072587\ 5150955891673116811064010467059136596964885784733493473644470338136\ 97520354471901357921807604696653143053865655844169267107/9908048184\ 4443562336082747059893224582518054895587474499870837427300820225408\ 1537044887356528810539743663096437268836350040911290165824338819426\ 2678572880715516092702472665492378968576*c_1001_2^23 + 6910477672036935698588165348054984662607983550915323168660531223895\ 4052010669542918184057727119616727670172307988445911650154350779144\ 13567147333451421784549004459134141896670321998254286787/9908048184\ 4443562336082747059893224582518054895587474499870837427300820225408\ 1537044887356528810539743663096437268836350040911290165824338819426\ 2678572880715516092702472665492378968576*c_1001_2^22 + 4100998431797999076130843551216196745993548963462039346484450061449\ 2567902655436900749208664696495031937627941463806784576868409158010\ 29632511119102887099219613351503313937695795682320342493/9908048184\ 4443562336082747059893224582518054895587474499870837427300820225408\ 1537044887356528810539743663096437268836350040911290165824338819426\ 2678572880715516092702472665492378968576*c_1001_2^21 - 1078773949692625214189280460532577407391618237677116279512788508136\ 8309412937297165132052723256644872345522114103601672202032569854303\ 24503255332384759377508628562716298031818958562936562477/9908048184\ 4443562336082747059893224582518054895587474499870837427300820225408\ 1537044887356528810539743663096437268836350040911290165824338819426\ 2678572880715516092702472665492378968576*c_1001_2^20 - 5022245511960294816882981039821087857261871748242457352598464312312\ 6691014563933208689794023842002342134925994298831463336432247207696\ 4244052632445884203909332357364647584065413804449432457/90073165313\ 1305112146206791453574768931982317232613404544280340248189274776437\ 7609498975968443732179487846331247898512273099193546962039443812966\ 07142989155956008427497515044761724416*c_1001_2^19 - 4501104859336989045644994606409206819734980226186994614426644107217\ 6095499805367188646839277912807040782319758738972898663157659600579\ 5381468372855255545762181511258310057732463963911087307/14154354549\ 2062231908689638656990320832168649850839249285529767753286886036297\ 3624349839080755443628205232994910384051928629873271665463341170608\ 954081840102216584671781809356054138368*c_1001_2^18 - 2371937540312208178076790879559709544309597060469649535963528174586\ 5263520395190589763553793707542137124466039876078892328435777085383\ 729471339243445162601619571617227596736345519119255887/107696175917\ 8734373218290728911882875896935379299863853259465624209791524189219\ 0620053123440530549345039816265622487351630879470545280699334993763\ 7810574790386044485896442016221510528*c_1001_2^17 + 4688196864967797244501295962265943881046826276726519479208076264678\ 6429336313271066341553800281142589333945707449979866987000770980443\ 917114026198292825376042702181559913500882888291629693/450365826565\ 6525560731033957267873844659911586163067022721401701240946373882188\ 8047494879842218660897439231656239492561365495967734810197219064830\ 3571494577978004213748757522380862208*c_1001_2^16 + 1771826344153304023557174336870386238386571514828461544217326595509\ 7330692656341110398048692880550622385328870654829074140490398818153\ 47890443519274025506996354874485384858148916980330763523/9908048184\ 4443562336082747059893224582518054895587474499870837427300820225408\ 1537044887356528810539743663096437268836350040911290165824338819426\ 2678572880715516092702472665492378968576*c_1001_2^15 + 5392106748366102843968055239524997948129900779304101800263826859165\ 3591857937403069613508388623656022837100222006156316521204573991948\ 51751059449136318976348289749333163067717482054213006431/9908048184\ 4443562336082747059893224582518054895587474499870837427300820225408\ 1537044887356528810539743663096437268836350040911290165824338819426\ 2678572880715516092702472665492378968576*c_1001_2^14 + 1312566883865553176793529559356523579311497974419191901191161260270\ 6339998747019985422848313127964150159597517463027020434089943667770\ 0728802765298361077706867171367458215873494391431813/13191383550052\ 3981275572822606701137774621295294351583677101367896819092298506395\ 5591648723910012701030040069813964633670670897736873684381333279547\ 140577914460936320393112167804416*c_1001_2^13 - 2748906189241806744954713338117839660528491820165730300544932479240\ 0688876037728353154608440324795471049011239922731703231594124671005\ 79431966397136690778078381480558519669860414111904165/9563753073787\ 9886424790296389858324886600439088404898165898491725193841916417136\ 7803945324834759208246779050615124359411236400859233421176466627671\ 6769189879841788322850063216582016*c_1001_2^12 - 1422719551144639599939260300958745157807254269586734216402359265771\ 3944323881853914025850756097398917325060982972485749967758122156057\ 3087622806639813834802140511051450178820152777947199865/38107877632\ 4782932061856719461127786855838672675336440384118605489618539328492\ 8988634182140495425152860242678604880139807849658808330093610843947\ 18406649258289080488556640980476114176*c_1001_2^11 + 7067165197772927314065818253114583824594177553241311985337049508898\ 4908037148272431322497468686722668401284086693526635841149208984164\ 076456538866825544564599169882513131781702720281477099/900731653131\ 3051121462067914535747689319823172326134045442803402481892747764377\ 6094989759684437321794878463312478985122730991935469620394438129660\ 7142989155956008427497515044761724416*c_1001_2^10 + 4594773179904381912815560834386516775784685750962084311126750654507\ 6046608787437785336880096996977707888246888953666613232786051034737\ 06662591594726770650827029122988151097881534697349807/2744611685441\ 6499262072783119083995729229378087420353047055633636371418344988408\ 2283902314827925357269712769096196353559568119470960062143717292594\ 97431802536055658455602951502434816*c_1001_2^9 + 6692573786406449346775602126026557364612791339030153591845398664100\ 6298020264535273674562943538376778006640373148101863364711767301399\ 0117878583212624394978783381517556133249055454517138771/99080481844\ 4435623360827470598932245825180548955874744998708374273008202254081\ 5370448873565288105397436630964372688363500409112901658243388194262\ 678572880715516092702472665492378968576*c_1001_2^8 - 7387618472728419000198089754076906710604306869672943490369346676438\ 8445914757312480231652939410876721271873835410687856962180580906097\ 5015125874821290862776422217655020788253096165980831697/99080481844\ 4435623360827470598932245825180548955874744998708374273008202254081\ 5370448873565288105397436630964372688363500409112901658243388194262\ 678572880715516092702472665492378968576*c_1001_2^7 - 1092844620644436556644657872465119338359157812070587636652581921269\ 8779805506208332461446213227125267454393260567349235141312220466141\ 3182412096946224087716755043952982414963801243357929935/99080481844\ 4435623360827470598932245825180548955874744998708374273008202254081\ 5370448873565288105397436630964372688363500409112901658243388194262\ 678572880715516092702472665492378968576*c_1001_2^6 + 1080706987408956418932345973029510950158350627700100019520951171829\ 1814534386005385060859097749899054836898327465746781391774165419155\ 20022760458906629456946419812774588066766916071324413/6192530115277\ 7226460051716912433265364073784309742171562419273392063012640880096\ 0653054597830506587339789435273293022718775569556353640211762141417\ 410805044719755793904541593273685536*c_1001_2^5 + 2029852760451609346032744666479284618550726021605932406813511639758\ 4389943311819503117617901358913095122544111110085644266160865670266\ 9284565744627690112574096081878985676654763873206249/16084493805916\ 1627168965498473852637309282556648680965097192917901462370495792457\ 3124817137222095032051401130579981877191624855990528935614966601084\ 1839092070643007633884197227887936*c_1001_2^4 - 7815751082417233863941292715488532571176769777097836438505501008674\ 6183815813938379639075213238361193482666356707570232458217767793520\ 20433282200270594683046311709986386457549363256831009/7621575526495\ 6586412371343892225557371167734535067288076823721097923707865698579\ 7726836428099085030572048535720976027961569931761666018722168789436\ 813298516578160977113281960952228352*c_1001_2^3 + 3386808585394773782246067125923782950429555363674930200849783044839\ 8097871713170942796003010300999562330899434805261526086774793712232\ 802526378870371214677621037269121839510045059849283/155298560884707\ 7779562425502506163394710314340056230007834966103876188404786961656\ 8101682704213331343944562640082583641850171023356831102489332700123\ 154985447517386680991638702788352*c_1001_2^2 - 6799371082438437186789428267226889099101784433557042657227420155474\ 3074460525122761941537888319419774672565845376191138323892702133315\ 5774338734350722647109092949926852379111936097085895/12385060230555\ 4452920103433824866530728147568619484343124838546784126025281760192\ 1306109195661013174679578870546586045437551139112707280423524282834\ 821610089439511587809083186547371072*c_1001_2 + 6963815832710700878906209285917876615063638633911772552357524491051\ 8797832235219192431672894915005550052809106653381430163822803791920\ 910204035233225704888641384892748669183560613702849/651845275292391\ 8574742285990782448985691977295762333848675712988638211856934746954\ 2426799771632272351556782660346633970397428374353014759132856991306\ 400531023132188832057009818282688, c_0011_0 - 1, c_0011_10 + 98845451015766344827838719690357575314619131561019634630490\ 5398116217093089432662769584445217571217558088296364072820098712922\ 51259081006750000166256205643395442000/4041326234695157029229632628\ 0113327422685993274362999779231552635529380434928467776416389822130\ 6631098966829810203324921515556632560514858273112576259408118454910\ 37*c_1001_2^34 + 68201328552738140071665100148276290900994653741834\ 1439085433383646920689723068334978869484901951989822638222275026538\ 293823222547115853114130445098738093102217415550/404132623469515702\ 9229632628011332742268599327436299977923155263552938043492846777641\ 6389822130663109896682981020332492151555663256051485827311257625940\ 811845491037*c_1001_2^33 + 1968672845636609054177208926091475795973\ 8804263287912124487254612688146692563271923612298235084166031972547\ 50389901627593894614059274067745265801623228677829751473230/4041326\ 2346951570292296326280113327422685993274362999779231552635529380434\ 9284677764163898221306631098966829810203324921515556632560514858273\ 11257625940811845491037*c_1001_2^32 + 5824271317423323511021256681588190941852379100992747120082616404847\ 7925155113323040047609782197888899752530869489715358650647013650559\ 37849236492735955361275827956449/8082652469390314058459265256022665\ 4845371986548725999558463105271058760869856935552832779644261326219\ 793365962040664984303111326512102971654622515251881623690982074*c_1\ 001_2^31 + 23603179307521361161365603633363270086315841203097143363\ 1714635734035634999692676382743782555689596377265646319949623735877\ 4471667127122928997618286091479568258620341/80826524693903140584592\ 6525602266548453719865487259995584631052710587608698569355528327796\ 4426132621979336596204066498430311132651210297165462251525188162369\ 0982074*c_1001_2^30 - 146337667059707057196137765754376353571083381\ 2759078984897247417631256468296876320827940913530651055431861152475\ 172333116400366780678371334090246368066016892202665054/404132623469\ 5157029229632628011332742268599327436299977923155263552938043492846\ 7776416389822130663109896682981020332492151555663256051485827311257\ 625940811845491037*c_1001_2^29 - 3035587076190830400522889684298244\ 8519047070918613552283581188292679908327443974449595693206347820352\ 82519150179727711942956383155314104059438428253682818732356489666/4\ 0413262346951570292296326280113327422685993274362999779231552635529\ 3804349284677764163898221306631098966829810203324921515556632560514\ 85827311257625940811845491037*c_1001_2^28 - 4548963745988177031525841747898924204594837452928227574142703139353\ 0303826230797168857420829216323824924773211581858184573379030899462\ 00491650782480029474122046313043/4041326234695157029229632628011332\ 7422685993274362999779231552635529380434928467776416389822130663109\ 896682981020332492151555663256051485827311257625940811845491037*c_1\ 001_2^27 - 14582121071552635487530126748664542393509784314756960179\ 8049427919174555000993088712946860318430545215915846755286990446249\ 82904247730372668086963306853773933618317899/4041326234695157029229\ 6326280113327422685993274362999779231552635529380434928467776416389\ 8221306631098966829810203324921515556632560514858273112576259408118\ 45491037*c_1001_2^26 - 34143929395404891264066561095522388593803462\ 2809202299737424532583596256747733856575017487951184638465734098857\ 55731673696235603609493962123538642918469559036693776789/8082652469\ 3903140584592652560226654845371986548725999558463105271058760869856\ 9355528327796442613262197933659620406649843031113265121029716546225\ 15251881623690982074*c_1001_2^25 - 4743892660936292701750983597464279314232353349272748342455960488988\ 8574918342617660480371552269319166354142124152789292998751484870217\ 17740251240400363436230170024728/4041326234695157029229632628011332\ 7422685993274362999779231552635529380434928467776416389822130663109\ 896682981020332492151555663256051485827311257625940811845491037*c_1\ 001_2^24 + 23756373721472565746618345477005750434633326958112139274\ 8305506028274385699526077229543567191318312358337907497280892037631\ 94711003451005529483154159843003135714530951/4041326234695157029229\ 6326280113327422685993274362999779231552635529380434928467776416389\ 8221306631098966829810203324921515556632560514858273112576259408118\ 45491037*c_1001_2^23 + 36733595945953579783365104384849674448934109\ 7591715846876071312900058335056540889998345221635939889868831261545\ 07537069301343140751277742649950020447428853011642145716/4041326234\ 6951570292296326280113327422685993274362999779231552635529380434928\ 4677764163898221306631098966829810203324921515556632560514858273112\ 57625940811845491037*c_1001_2^22 + 2316630005380871499906253012345206274621758054659666225811969458412\ 2993260240919938821312721517248161488388851221270033097800923654602\ 892649612801734197131404379327038/404132623469515702922963262801133\ 2742268599327436299977923155263552938043492846777641638982213066310\ 9896682981020332492151555663256051485827311257625940811845491037*c_\ 1001_2^21 - 3365621932448840126597213640675135035102138173364107735\ 8808978622149391764344829785493752922722046328618221900505831001828\ 49911732473164206555511388150917453449168187/4041326234695157029229\ 6326280113327422685993274362999779231552635529380434928467776416389\ 8221306631098966829810203324921515556632560514858273112576259408118\ 45491037*c_1001_2^20 - 27977822693449974467724557510070209004745387\ 5702817013595067502655015977721792697952982547102411215405724550606\ 36681466036050141291073959749088151712463601026955457418/4041326234\ 6951570292296326280113327422685993274362999779231552635529380434928\ 4677764163898221306631098966829810203324921515556632560514858273112\ 57625940811845491037*c_1001_2^19 - 1619765360883378693446095833896356876800059698881044733578319202683\ 1339432446558276833146230686675092054780584711108401850842023186473\ 324819343022003630322166366084754/404132623469515702922963262801133\ 2742268599327436299977923155263552938043492846777641638982213066310\ 9896682981020332492151555663256051485827311257625940811845491037*c_\ 1001_2^18 - 1410069307173828864601047861184886284049917393266414971\ 7842219925472191853230925583833942810526870349889880926347037890439\ 762842044987969387416086285462309549284927889/404132623469515702922\ 9632628011332742268599327436299977923155263552938043492846777641638\ 9822130663109896682981020332492151555663256051485827311257625940811\ 845491037*c_1001_2^17 + 9002953610050655948339774635467011627164901\ 7648533253756984550593168050697582457846527488800312551164108115398\ 33834912385980290592310805590953190092034838067556942801/8082652469\ 3903140584592652560226654845371986548725999558463105271058760869856\ 9355528327796442613262197933659620406649843031113265121029716546225\ 15251881623690982074*c_1001_2^16 + 8477920909701411543669553473749169333439724706698264691001610607479\ 1030972276698899128694886441200488125795166955958575486735875986546\ 21171542674474653546527584209675/4041326234695157029229632628011332\ 7422685993274362999779231552635529380434928467776416389822130663109\ 896682981020332492151555663256051485827311257625940811845491037*c_1\ 001_2^15 + 60658156955527361656059098723169881308467689669105798955\ 1249132532989581419064741378705844655398175868900802881158067455405\ 81816645218597753446948288575569979467002657/8082652469390314058459\ 2652560226654845371986548725999558463105271058760869856935552832779\ 6442613262197933659620406649843031113265121029716546225152518816236\ 90982074*c_1001_2^14 + 13187148691101790884978100232218169959775472\ 0525618199167576018459643273243563732529265548627492202074480450773\ 349713893464356709133888300405748735267985016787469006/109225033370\ 1393791683684494057116957369891710117918912952204125284577849592661\ 2912544970222197476516188292697573062835716636665744878779953327366\ 92592994914743001*c_1001_2^13 - 36406163290710077806906426032099099\ 0575872927149327021133958936944643004455613430054445351904489634724\ 699681237337343440646323155248032886255633892614359431709736882/109\ 2250333701393791683684494057116957369891710117918912952204125284577\ 8495926612912544970222197476516188292697573062835716636665744878779\ 95332736692592994914743001*c_1001_2^12 - 3770730716754618354079082966209353899789468390586641308025449382495\ 7787052192686646066222754673249825359126851632934503998827144411410\ 339976224736836401327841768110465/808265246939031405845926525602266\ 5484537198654872599955846310527105876086985693555283277964426132621\ 9793365962040664984303111326512102971654622515251881623690982074*c_\ 1001_2^11 + 4334064185258910379865715086393976696503085687198311219\ 7823880952657507119603298958111086593065425176116717040885734002659\ 82652795217821651941477128167495357986748526/4041326234695157029229\ 6326280113327422685993274362999779231552635529380434928467776416389\ 8221306631098966829810203324921515556632560514858273112576259408118\ 45491037*c_1001_2^10 + 14023032935675229350876213794363077018275078\ 2060976215062939363910054038258391715867852863352553471551578497507\ 18549776473951699717244487752760131269851073909893429213/8082652469\ 3903140584592652560226654845371986548725999558463105271058760869856\ 9355528327796442613262197933659620406649843031113265121029716546225\ 15251881623690982074*c_1001_2^9 + 345789529760014819474135550648665\ 5216614945509826501196726741946597314512228277567022135524316601463\ 305390874241195708572961023385594987089199767847939599423569792231/\ 4041326234695157029229632628011332742268599327436299977923155263552\ 9380434928467776416389822130663109896682981020332492151555663256051\ 485827311257625940811845491037*c_1001_2^8 - 3248873258991895490564042160909903049291682974855457929412172325684\ 3075464651736161760793168181321467533634754979595307199313675245495\ 81599663094646838061707588644064/4041326234695157029229632628011332\ 7422685993274362999779231552635529380434928467776416389822130663109\ 896682981020332492151555663256051485827311257625940811845491037*c_1\ 001_2^7 + 138082608882485004294204613811222240285681793764405510411\ 1066644033769871177391027830687990450041299180692578868446815095614\ 55250022232385491653106216344464720122605/4041326234695157029229632\ 6280113327422685993274362999779231552635529380434928467776416389822\ 1306631098966829810203324921515556632560514858273112576259408118454\ 91037*c_1001_2^6 - 310345627702893130184511836218505900861753633002\ 9868342997883617367324341232829346671090069346537513014148555076539\ 31624836772293823271369517866381039499669031249643/4041326234695157\ 0292296326280113327422685993274362999779231552635529380434928467776\ 4163898221306631098966829810203324921515556632560514858273112576259\ 40811845491037*c_1001_2^5 + 103549429066688002569309773937600391595\ 2154052477261557843862251754219683120458824819602480407311288411527\ 394120404877441587226562107217011581605805496020423109135949/808265\ 2469390314058459265256022665484537198654872599955846310527105876086\ 9856935552832779644261326219793365962040664984303111326512102971654\ 622515251881623690982074*c_1001_2^4 - 5629103663020930492838927758329922341395907529813449778036104662971\ 7271182572788822698401173688574207956682287223076220031266697936975\ 7707877840047509308739826150427/40413262346951570292296326280113327\ 4226859932743629997792315526355293804349284677764163898221306631098\ 96682981020332492151555663256051485827311257625940811845491037*c_10\ 01_2^3 + 5786023888657585320264346218191457819339680256864082445621\ 2824716508577976655746302418232099508508513412266491282404126724727\ 9437713994004272374102897967314140453151/80826524693903140584592652\ 5602266548453719865487259995584631052710587608698569355528327796442\ 6132621979336596204066498430311132651210297165462251525188162369098\ 2074*c_1001_2^2 - 1673620698108095360510950148124841343064157684828\ 4486747135647853751533480887596458662560572558326098038229920894812\ 5096943295082476073687628297637843898201863390623/80826524693903140\ 5845926525602266548453719865487259995584631052710587608698569355528\ 3277964426132621979336596204066498430311132651210297165462251525188\ 1623690982074*c_1001_2 + 467883714853628279378989317861331448705779\ 4919157237624409089257561840162799401590398692307748170988977649498\ 1442959616257706352517627440619071371492497674561542633/40413262346\ 9515702922963262801133274226859932743629997792315526355293804349284\ 6777641638982213066310989668298102033249215155566325605148582731125\ 7625940811845491037, c_0011_11 - 82995397826378754106450429613061404781273767053193860451550\ 8664819029636455142588426364932412597876665525738015954624820806729\ 40416753068920150326288187804539106750/4041326234695157029229632628\ 0113327422685993274362999779231552635529380434928467776416389822130\ 6631098966829810203324921515556632560514858273112576259408118454910\ 37*c_1001_2^34 - 59621768879345980578998079361522495175075891650854\ 8017355346969391147943176635287419324282146013983796066425455241054\ 418123960170150905802400425275015832911767784200/404132623469515702\ 9229632628011332742268599327436299977923155263552938043492846777641\ 6389822130663109896682981020332492151555663256051485827311257625940\ 811845491037*c_1001_2^33 - 3624247239036145503234362645452969056229\ 7619563798273615856886376160681725928891864217604451550547915456987\ 75596188984841518035979268845858648738120746893836952173765/8082652\ 4693903140584592652560226654845371986548725999558463105271058760869\ 8569355528327796442613262197933659620406649843031113265121029716546\ 22515251881623690982074*c_1001_2^32 - 2895915157418959453125795944302467712575253520503271025882372430132\ 6779770146525925571086246695053840140233156598533286666062099520297\ 39391221070220988894135829245153/4041326234695157029229632628011332\ 7422685993274362999779231552635529380434928467776416389822130663109\ 896682981020332492151555663256051485827311257625940811845491037*c_1\ 001_2^31 - 33100468446433255097538377698080037218474855972539893072\ 7226317864434693704830335939590955345154120883570179579374011955439\ 9390150259209391526972802629885317564667077/80826524693903140584592\ 6525602266548453719865487259995584631052710587608698569355528327796\ 4426132621979336596204066498430311132651210297165462251525188162369\ 0982074*c_1001_2^30 + 929854067318669045980811652127156856278938512\ 1123040554522260292537078760326616480276489534615603314975415215537\ 71663169884631236414211387546799433064114079808366420/4041326234695\ 1570292296326280113327422685993274362999779231552635529380434928467\ 7764163898221306631098966829810203324921515556632560514858273112576\ 25940811845491037*c_1001_2^29 + 27483409044916653290162562317851638\ 6415839936723799652056831450175537221677709227560707807510082489808\ 7201207801942665058368773309101515334034777706256871847031079592/40\ 4132623469515702922963262801133274226859932743629997792315526355293\ 8043492846777641638982213066310989668298102033249215155566325605148\ 5827311257625940811845491037*c_1001_2^28 + 4396890515543175944120223810714677932454854998927507997055965511373\ 1489813353601321715019117077002143325793278336816574875766059613635\ 80846277060864754556194697688537/4041326234695157029229632628011332\ 7422685993274362999779231552635529380434928467776416389822130663109\ 896682981020332492151555663256051485827311257625940811845491037*c_1\ 001_2^27 + 26696450160414726606113861053127621929344738631162298453\ 3702287476967319325815025035961782308511558528817350777487636777207\ 09486944803551476081954105446082529170437239/8082652469390314058459\ 2652560226654845371986548725999558463105271058760869856935552832779\ 6442613262197933659620406649843031113265121029716546225152518816236\ 90982074*c_1001_2^26 + 35917852228186928954963840071947633411956372\ 1260234074205967070881253042604098065473578346371532301609567105666\ 81359375288649347541464365029313228532137043928273781601/8082652469\ 3903140584592652560226654845371986548725999558463105271058760869856\ 9355528327796442613262197933659620406649843031113265121029716546225\ 15251881623690982074*c_1001_2^25 + 7979147398424920532017961995963826995924556316795176594304728700659\ 0211372111538218496136651885840711121898159776276614950994502616313\ 92880275291809125454310716956881/4041326234695157029229632628011332\ 7422685993274362999779231552635529380434928467776416389822130663109\ 896682981020332492151555663256051485827311257625940811845491037*c_1\ 001_2^24 - 18461995612312285985798740869521285039122860590057165987\ 1586761558142907274835293166003809370936938376707030945320005631266\ 07543400944233975370156206489844826150675283/4041326234695157029229\ 6326280113327422685993274362999779231552635529380434928467776416389\ 8221306631098966829810203324921515556632560514858273112576259408118\ 45491037*c_1001_2^23 - 35473296999884974719803659190564246527660053\ 9078258562098208891512223624206636485512675253214504403778793289750\ 25976557524763996473926724874925299456733349374513279580/4041326234\ 6951570292296326280113327422685993274362999779231552635529380434928\ 4677764163898221306631098966829810203324921515556632560514858273112\ 57625940811845491037*c_1001_2^22 - 2699918482234753719416779349768171983962910069271314156745494639605\ 7058794691233816252307594550693874904419260242866552069977087241951\ 319283012251577355691541035161466/404132623469515702922963262801133\ 2742268599327436299977923155263552938043492846777641638982213066310\ 9896682981020332492151555663256051485827311257625940811845491037*c_\ 1001_2^21 - 3056127910580941399806946367645769319009307903418718082\ 7880485275888905124169789678613542678693378342134715976918905380696\ 55528140628614977522020513550226962161877653/4041326234695157029229\ 6326280113327422685993274362999779231552635529380434928467776416389\ 8221306631098966829810203324921515556632560514858273112576259408118\ 45491037*c_1001_2^20 + 21843846696660631603395210022232122441752831\ 9277897408456289057965196918915974332006080067867489093149460985148\ 52660869080385719227134708198880137227215202722323533646/4041326234\ 6951570292296326280113327422685993274362999779231552635529380434928\ 4677764163898221306631098966829810203324921515556632560514858273112\ 57625940811845491037*c_1001_2^19 + 1749570086510841714631349471502780824452192688611878808523777898324\ 6313558529769536025018222164322295354097644642299555182973256694953\ 015124442590092746738033182599761/404132623469515702922963262801133\ 2742268599327436299977923155263552938043492846777641638982213066310\ 9896682981020332492151555663256051485827311257625940811845491037*c_\ 1001_2^18 + 2866470357715809318633098484609239721335951860658277347\ 5062705715632287313985871461729262034435575713433913846313397616770\ 423651062444425325658171515912616341051559097/808265246939031405845\ 9265256022665484537198654872599955846310527105876086985693555283277\ 9644261326219793365962040664984303111326512102971654622515251881623\ 690982074*c_1001_2^17 + 2710857457990611436447731526672840572333614\ 0624549443473764497397667105194541752460952432760190721679664149804\ 30693640487653464336813069054749506715646164561049376557/8082652469\ 3903140584592652560226654845371986548725999558463105271058760869856\ 9355528327796442613262197933659620406649843031113265121029716546225\ 15251881623690982074*c_1001_2^16 - 1195918843458301298116285060011443173069973890749536754949925481046\ 4819852145576263745695849040859770484182607848674365863432546365780\ 299885707525614163349509745820705/808265246939031405845926525602266\ 5484537198654872599955846310527105876086985693555283277964426132621\ 9793365962040664984303111326512102971654622515251881623690982074*c_\ 1001_2^15 - 5060103799557796118576796977815025501688834398015084362\ 6752924241622404238972874665176056001540225847883440772464076418478\ 177330705502705720884530742161308266094414635/808265246939031405845\ 9265256022665484537198654872599955846310527105876086985693555283277\ 9644261326219793365962040664984303111326512102971654622515251881623\ 690982074*c_1001_2^14 - 2839982444727270783331999648274522251624400\ 3038963965776811144284107293756589839694146939285867710576727768032\ 7882015308625570319931868629596079495482557949711561744/10922503337\ 0139379168368449405711695736989171011791891295220412528457784959266\ 1291254497022219747651618829269757306283571663666574487877995332736\ 692592994914743001*c_1001_2^13 + 5548760635280847113817168904762895\ 1366922269346018437225721815290805049186161380718360487835033943778\ 4044513353563751251432816743213862871143407772889119732277142757/21\ 8450066740278758336736898811423391473978342023583782590440825056915\ 5699185322582508994044439495303237658539514612567143327333148975755\ 990665473385185989829486002*c_1001_2^12 + 3424236802080286947193525441221257755173951671637661348531228399105\ 2002159212335866734258613473580919604107480041008738590961354042784\ 636033945502670681010953919910605/808265246939031405845926525602266\ 5484537198654872599955846310527105876086985693555283277964426132621\ 9793365962040664984303111326512102971654622515251881623690982074*c_\ 1001_2^11 - 2071360616630532524475782850552460926227487265777571489\ 2955046884341878920041845302723388664193671348050241654628327368540\ 30119302443490969484747860334384968378340955/8082652469390314058459\ 2652560226654845371986548725999558463105271058760869856935552832779\ 6442613262197933659620406649843031113265121029716546225152518816236\ 90982074*c_1001_2^10 - 13790147870373904226735773928332838306627236\ 4574174546465396854901488270487728808462170561823735249096440657871\ 65045245417430331137611133908028015823055168890450196441/8082652469\ 3903140584592652560226654845371986548725999558463105271058760869856\ 9355528327796442613262197933659620406649843031113265121029716546225\ 15251881623690982074*c_1001_2^9 - 288105614743783759283805545526002\ 0321007590567947916963317183811203082495814509880452661734113370531\ 263286308405570864708809091074971225475005276796734254639842509373/\ 4041326234695157029229632628011332742268599327436299977923155263552\ 9380434928467776416389822130663109896682981020332492151555663256051\ 485827311257625940811845491037*c_1001_2^8 + 2909582880421556263598772903094698767446808694275108302712032006751\ 5161775337885539963453405323992840952150541803980544112918835832800\ 84119366163178730377756123968321/4041326234695157029229632628011332\ 7422685993274362999779231552635529380434928467776416389822130663109\ 896682981020332492151555663256051485827311257625940811845491037*c_1\ 001_2^7 + 477143633786016107984188229464769998110260355892103994248\ 6938034084164649064788971975890824857659570402651371085129448361885\ 07033245357357146665950999648454333159181/4041326234695157029229632\ 6280113327422685993274362999779231552635529380434928467776416389822\ 1306631098966829810203324921515556632560514858273112576259408118454\ 91037*c_1001_2^6 - 812780480099870801133224200271935873655569428989\ 6809052461148299755420704312514740445303218876078295508583680352464\ 03049052923358428332743860950146502409546173483783/8082652469390314\ 0584592652560226654845371986548725999558463105271058760869856935552\ 8327796442613262197933659620406649843031113265121029716546225152518\ 81623690982074*c_1001_2^5 - 968983073421010004387136371038060466912\ 7896000919067052092493878469101718834094165552042280035557550497001\ 52842327986745274334947043248104075707225111934929048720085/8082652\ 4693903140584592652560226654845371986548725999558463105271058760869\ 8569355528327796442613262197933659620406649843031113265121029716546\ 22515251881623690982074*c_1001_2^4 + 7654922408196749886142142624603916469656235352033985535999337137152\ 8896880886517688477511179330979590916548756694340842905486590990026\ 1168796159066523059226842105059/80826524693903140584592652560226654\ 8453719865487259995584631052710587608698569355528327796442613262197\ 93365962040664984303111326512102971654622515251881623690982074*c_10\ 01_2^3 - 1057482397038583526598880285909793324117406999677376279160\ 5023160632517118855515862816235287036679954708616161937559648810321\ 553190223398422163587692793496592991035/404132623469515702922963262\ 8011332742268599327436299977923155263552938043492846777641638982213\ 0663109896682981020332492151555663256051485827311257625940811845491\ 037*c_1001_2^2 - 32666654523160210976070023102653902305502539896991\ 7295854000731861660058573343807927524556768615020525249228008414019\ 42306630229025393965707151624780628730839543615/8082652469390314058\ 4592652560226654845371986548725999558463105271058760869856935552832\ 7796442613262197933659620406649843031113265121029716546225152518816\ 23690982074*c_1001_2 - 30104528259752363509712781792737811760413087\ 7378322779393264852904625536021046700246401927154610049007062326219\ 27311155766041566995195091496184419677564794455652426/4041326234695\ 1570292296326280113327422685993274362999779231552635529380434928467\ 7764163898221306631098966829810203324921515556632560514858273112576\ 25940811845491037, c_0011_4 + 205427399356697271101326855433058061760646707077159963949669\ 7594393367621161685744733799250377378944070399305371760441658418549\ 89846987517859654562273337220904737125/4041326234695157029229632628\ 0113327422685993274362999779231552635529380434928467776416389822130\ 6631098966829810203324921515556632560514858273112576259408118454910\ 37*c_1001_2^34 + 14511875297654797092370807960482749131492418740964\ 9927312476860013502578620175064593958379560957532487200898285227435\ 5921576715479503271369894325135479140322466772725/40413262346951570\ 2922963262801133274226859932743629997792315526355293804349284677764\ 1638982213066310989668298102033249215155566325605148582731125762594\ 0811845491037*c_1001_2^33 + 172479800909551040765536228964648216275\ 8716745915076599880359663229688674836861910990267335510666096641144\ 9933388051476517517853995581034902015244287806685936324033315/16165\ 3049387806281169185305120453309690743973097451999116926210542117521\ 7397138711056655592885226524395867319240813299686062226530242059433\ 09245030503763247381964148*c_1001_2^32 + 2654638841928820948527383694001792801207035647301247263075326995974\ 0787873986253432128677548599101889735475322572414607689692577458491\ 346554909402797762065944515944581/161653049387806281169185305120453\ 3096907439730974519991169262105421175217397138711056655592885226524\ 39586731924081329968606222653024205943309245030503763247381964148*c\ _1001_2^31 + 638636948060979661788683251179309560420772422954784477\ 1653479497209774961307758238862744768521429460190514626015799529987\ 812298185847083884613623982086941636425703829/808265246939031405845\ 9265256022665484537198654872599955846310527105876086985693555283277\ 9644261326219793365962040664984303111326512102971654622515251881623\ 690982074*c_1001_2^30 - 5967923924151169293491588286266815254190895\ 2532391049500632227441391458054905666467970942603089782337416780394\ 27766984554458067580132527482796018920006680170118672815/8082652469\ 3903140584592652560226654845371986548725999558463105271058760869856\ 9355528327796442613262197933659620406649843031113265121029716546225\ 15251881623690982074*c_1001_2^29 - 1364425025244088910041844450291696869010901285025908065581231843521\ 5092007963733820695470202213640196131473226601994437164707873469727\ 477509100303807856384765990611475/808265246939031405845926525602266\ 5484537198654872599955846310527105876086985693555283277964426132621\ 9793365962040664984303111326512102971654622515251881623690982074*c_\ 1001_2^28 - 2002566774489621911952773326852933996093802493778375631\ 3317753463818271472053823407653593006407442823643112677508953491519\ 803641086681594470242913828744489285683058803/808265246939031405845\ 9265256022665484537198654872599955846310527105876086985693555283277\ 9644261326219793365962040664984303111326512102971654622515251881623\ 690982074*c_1001_2^27 - 1250547491076881363699707042844929165999263\ 6674433821757467930660551345051493817432198626681878414142788851789\ 8925084087353333911042254275477068375914490739811541678129/16165304\ 9387806281169185305120453309690743973097451999116926210542117521739\ 7138711056655592885226524395867319240813299686062226530242059433092\ 45030503763247381964148*c_1001_2^26 - 3995169549887683984209180777983673527846729785984889972584491539363\ 5957438708750072400692792542752864728807458109143897768649583355208\ 945749505443899042270741599236114/404132623469515702922963262801133\ 2742268599327436299977923155263552938043492846777641638982213066310\ 9896682981020332492151555663256051485827311257625940811845491037*c_\ 1001_2^25 - 1409315503631990879571434708186730048993566802594034139\ 3956456040073827273531911305591281708732846460515237859811120338027\ 322317358542039026788770296916692917115870305/404132623469515702922\ 9632628011332742268599327436299977923155263552938043492846777641638\ 9822130663109896682981020332492151555663256051485827311257625940811\ 845491037*c_1001_2^24 + 4968734560456360536029075728117089374794533\ 3589738207607673078917396740292162108374935332317060719767391322779\ 986513666393201148972522821039480523355942001198443574579/404132623\ 4695157029229632628011332742268599327436299977923155263552938043492\ 8467776416389822130663109896682981020332492151555663256051485827311\ 257625940811845491037*c_1001_2^23 + 8393772816918986829553185950184649854153492680465877570155755645483\ 3034860538336324702960283687709379001559152291956179867453706405562\ 747768277468140075523269762305020/404132623469515702922963262801133\ 2742268599327436299977923155263552938043492846777641638982213066310\ 9896682981020332492151555663256051485827311257625940811845491037*c_\ 1001_2^22 + 1114858870472814930001464240351066808661053692982889941\ 7814543898929069160390182070476585024726020271212603600732417761055\ 5430082876108935056139175839918911380031181645/80826524693903140584\ 5926525602266548453719865487259995584631052710587608698569355528327\ 7964426132621979336596204066498430311132651210297165462251525188162\ 3690982074*c_1001_2^21 - 101678166733064567902777383472049837316512\ 7391745322846431673262758622102082542561322324814834967253209316332\ 2072726789334957560225646925966598729237223279030510405157/80826524\ 6939031405845926525602266548453719865487259995584631052710587608698\ 5693555283277964426132621979336596204066498430311132651210297165462\ 2515251881623690982074*c_1001_2^20 - 1217792011965836853056108244868303196286390764789514473091550830140\ 8546837369747960446192930234545444534287452319747830246436044538469\ 6278254897415471198084590350147925/80826524693903140584592652560226\ 6548453719865487259995584631052710587608698569355528327796442613262\ 19793365962040664984303111326512102971654622515251881623690982074*c\ _1001_2^19 - 781906158845350974047147540925578150933011122348230137\ 1278417591624886102615453413697006145463078823080570931233963885545\ 3434859046851517611892306119285173598840615095/80826524693903140584\ 5926525602266548453719865487259995584631052710587608698569355528327\ 7964426132621979336596204066498430311132651210297165462251525188162\ 3690982074*c_1001_2^18 - 111684114371486448951613138577412429380164\ 1422185672615265340358202230058646424292864636879394890877478509899\ 70228788307699757976502857979585327275396366852247746523159/1616530\ 4938780628116918530512045330969074397309745199911692621054211752173\ 9713871105665559288522652439586731924081329968606222653024205943309\ 245030503763247381964148*c_1001_2^17 + 1537827781833759128108714943873338743469381276692749913484248489039\ 9013455010381030497139130521077227054843501528444818285414075771666\ 825065903893385122490168816221775/808265246939031405845926525602266\ 5484537198654872599955846310527105876086985693555283277964426132621\ 9793365962040664984303111326512102971654622515251881623690982074*c_\ 1001_2^16 + 7548513389525483970283136461379379875610014328225769218\ 7766163449953618143505237721771629651279895785716204095543410617474\ 971649205632654394395235411830591835870220801/161653049387806281169\ 1853051204533096907439730974519991169262105421175217397138711056655\ 5928852265243958673192408132996860622265302420594330924503050376324\ 7381964148*c_1001_2^15 + 633755968228918883145314332227582231224821\ 3272550621157440020242083836689572971274463136661834202759030844000\ 6526841130883084023763934991657860947656451326855033312296/40413262\ 3469515702922963262801133274226859932743629997792315526355293804349\ 2846777641638982213066310989668298102033249215155566325605148582731\ 1257625940811845491037*c_1001_2^14 + 4770942767313129277760907900275745737315322932428051011466670748126\ 6580629104137752126805030479150845896451368208983977670953009749266\ 2058609012632290580029364395566/10922503337013937916836844940571169\ 5736989171011791891295220412528457784959266129125449702221974765161\ 8829269757306283571663666574487877995332736692592994914743001*c_100\ 1_2^13 - 3338853984406298600206238502621596321536533633516214711391\ 6496575965702379403463046848473713947824863963199811068923950615430\ 97834107582902797116150709724124743537483/4369001334805575166734737\ 9762284678294795668404716756518088165011383113983706451650179880888\ 7899060647531707902922513428665466629795151198133094677037197965897\ 2004*c_1001_2^12 - 889501404428857158619727686798318024141916510225\ 2401396819426022333204833966035144038756477118219481229685943779893\ 1941881143317010637880699712326556519861352480904927/80826524693903\ 1405845926525602266548453719865487259995584631052710587608698569355\ 5283277964426132621979336596204066498430311132651210297165462251525\ 1881623690982074*c_1001_2^11 + 268738414329016405142483950390322438\ 3672214337449328212379521742442634579064385793249387381604841643669\ 3720001459886849043252884751937752977569780783453638436518438959/16\ 1653049387806281169185305120453309690743973097451999116926210542117\ 5217397138711056655592885226524395867319240813299686062226530242059\ 43309245030503763247381964148*c_1001_2^10 + 3992515206345203785544131797486489490875653926840151719731614470193\ 6922177021101294962771342688984386271157017655091627453120328849196\ 149744508323687248987322912457005/808265246939031405845926525602266\ 5484537198654872599955846310527105876086985693555283277964426132621\ 9793365962040664984303111326512102971654622515251881623690982074*c_\ 1001_2^9 + 81218129040799751022658607037507601465849204411684176393\ 8271918977104564616606593639309038582855392174088028408205216442987\ 2860419923123194168071724632056765006455515/40413262346951570292296\ 3262801133274226859932743629997792315526355293804349284677764163898\ 2213066310989668298102033249215155566325605148582731125762594081184\ 5491037*c_1001_2^8 - 8430861334623100362931610899785301100936254031\ 6982533310257221446220112830118447028396526303854462599921648383665\ 77759134349655008977057278916709980747558511573431586/4041326234695\ 1570292296326280113327422685993274362999779231552635529380434928467\ 7764163898221306631098966829810203324921515556632560514858273112576\ 25940811845491037*c_1001_2^7 - 294158412915215763230831975860774192\ 1925947690468031810805947339924258392275164433977811000074041342554\ 915083444409755816936959970727174549335654608901254224285591297/808\ 2652469390314058459265256022665484537198654872599955846310527105876\ 0869856935552832779644261326219793365962040664984303111326512102971\ 654622515251881623690982074*c_1001_2^6 + 2132198659146645512283459852439502207079091290155353640667217616552\ 4669716290353973923831983201787678353740189052552561470731729742853\ 96657940108291271354800970356987/1616530493878062811691853051204533\ 0969074397309745199911692621054211752173971387110566555928852265243\ 9586731924081329968606222653024205943309245030503763247381964148*c_\ 1001_2^5 + 13454901610686383970383990956760003374574300060641189208\ 1715413044511157651798640154974468012623561311578264615335616537618\ 8212889109419718267866885783134899456612737/40413262346951570292296\ 3262801133274226859932743629997792315526355293804349284677764163898\ 2213066310989668298102033249215155566325605148582731125762594081184\ 5491037*c_1001_2^4 - 4745741586456402687353807982110376016719190552\ 9484205167461702993162854237957027156229957426503629526659693947922\ 81772319063385433968772315788951855254072230980691613/1616530493878\ 0628116918530512045330969074397309745199911692621054211752173971387\ 1105665559288522652439586731924081329968606222653024205943309245030\ 503763247381964148*c_1001_2^3 + 64173194229355707615813024693935053\ 0641745624799100045622640271321197519621882363280590836473366076335\ 529045298498332952448075810947345409149656156029044198976282859/161\ 6530493878062811691853051204533096907439730974519991169262105421175\ 2173971387110566555928852265243958673192408132996860622265302420594\ 3309245030503763247381964148*c_1001_2^2 + 3886741847482855967464525729100011344185008313474236486788492177358\ 8929632948806152350249040949290489120422164867976477615889921647567\ 770439693116163606591702966615/808265246939031405845926525602266548\ 4537198654872599955846310527105876086985693555283277964426132621979\ 3365962040664984303111326512102971654622515251881623690982074*c_100\ 1_2 + 9604897980324323590191380444978858130690742469593927919345419\ 5614722546133696837369752384732716168553999969679288178873899668526\ 624221114473981753283175163443885508/404132623469515702922963262801\ 1332742268599327436299977923155263552938043492846777641638982213066\ 3109896682981020332492151555663256051485827311257625940811845491037\ , c_0011_6 - 668093860181246781254547974216054563957479884183608590370703\ 0192510071809080448686671779261986129184995368298839556869923132116\ 3970763794345417169890080220279976125/40413262346951570292296326280\ 1133274226859932743629997792315526355293804349284677764163898221306\ 6310989668298102033249215155566325605148582731125762594081184549103\ 7*c_1001_2^34 - 462392823174829463647780003675054419393959067769362\ 1454752628851987397958374104084722184135229822126858508915192135586\ 60134881813485410231010599147103782276746831575/4041326234695157029\ 2296326280113327422685993274362999779231552635529380434928467776416\ 3898221306631098966829810203324921515556632560514858273112576259408\ 11845491037*c_1001_2^33 - 53441711151846979063223509000394997671805\ 3920879302914458929762325872111975993979772857752985184784386116056\ 9413042196117369438950931349162741917821266367337194575155/16165304\ 9387806281169185305120453309690743973097451999116926210542117521739\ 7138711056655592885226524395867319240813299686062226530242059433092\ 45030503763247381964148*c_1001_2^32 - 7817003874207445372895756626109968928793394489587553008162758889975\ 9003212987292061379110856785911066785412862097907540165510986681552\ 82508206319597617234838207395267/1616530493878062811691853051204533\ 0969074397309745199911692621054211752173971387110566555928852265243\ 9586731924081329968606222653024205943309245030503763247381964148*c_\ 1001_2^31 - 6600779695889188406051055094510869585999073142561167208\ 8971584243225575531584884361198373273306713210870962438732283764601\ 8698627720841431272951581128788574186535965/40413262346951570292296\ 3262801133274226859932743629997792315526355293804349284677764163898\ 2213066310989668298102033249215155566325605148582731125762594081184\ 5491037*c_1001_2^30 + 280943331675879769112793260712924077835702718\ 3893203819589668166279650542264237986709111713635671324978417729364\ 208001250005063876033369737704958844459844532485528553/808265246939\ 0314058459265256022665484537198654872599955846310527105876086985693\ 5552832779644261326219793365962040664984303111326512102971654622515\ 251881623690982074*c_1001_2^29 + 5358289885827167882860743985339132\ 4123971257189974521739754025075543772962435417464712560617574628686\ 89090167630184184641932622137274435957888698946863784128190528667/8\ 0826524693903140584592652560226654845371986548725999558463105271058\ 7608698569355528327796442613262197933659620406649843031113265121029\ 71654622515251881623690982074*c_1001_2^28 + 7102316447330768199434508199114124727567723836946447846382586863491\ 1377194299227887908647148277550953070593357105100842539323441899078\ 81987149544626681330499001284933/8082652469390314058459265256022665\ 4845371986548725999558463105271058760869856935552832779644261326219\ 793365962040664984303111326512102971654622515251881623690982074*c_1\ 001_2^27 + 39687726707297912760264457771084379508781516223702548561\ 7854115513102250432726291461508955475876518779029177669594045759338\ 05845189214665656891257740011606138947239657/1616530493878062811691\ 8530512045330969074397309745199911692621054211752173971387110566555\ 9288522652439586731924081329968606222653024205943309245030503763247\ 381964148*c_1001_2^26 + 2257058757679315170365527209879061139784492\ 3525445646771336535869264811908927316117034147691632351083929649200\ 786401482532038462981152698175622435256773037691488238421/808265246\ 9390314058459265256022665484537198654872599955846310527105876086985\ 6935552832779644261326219793365962040664984303111326512102971654622\ 515251881623690982074*c_1001_2^25 + 2065315038940394178439470554878978958394712986584767367127742789631\ 3995101307275115013816822911981742948714240264160174342091219114196\ 32239866732153936357018178563026/4041326234695157029229632628011332\ 7422685993274362999779231552635529380434928467776416389822130663109\ 896682981020332492151555663256051485827311257625940811845491037*c_1\ 001_2^24 - 19057230197345041708051352018690519181806479626507343865\ 1189655553601446099155154483341445217049556154531517478225232452109\ 69861985073636285904270960663846027461123937/4041326234695157029229\ 6326280113327422685993274362999779231552635529380434928467776416389\ 8221306631098966829810203324921515556632560514858273112576259408118\ 45491037*c_1001_2^23 - 29048820704256497725286455601340190940740668\ 4408685790608523363151329703754878331409979208494347831313433042441\ 19413950112046210421223063626530425222702641025098143923/4041326234\ 6951570292296326280113327422685993274362999779231552635529380434928\ 4677764163898221306631098966829810203324921515556632560514858273112\ 57625940811845491037*c_1001_2^22 - 3589666566708441640412675399599458273030565968651919256785105661680\ 6786340295261254454832214910982592969711384013839771963388586441400\ 017099360316341361415897309788511/808265246939031405845926525602266\ 5484537198654872599955846310527105876086985693555283277964426132621\ 9793365962040664984303111326512102971654622515251881623690982074*c_\ 1001_2^21 + 9236835682716913735929555270865884747755099225546134521\ 5167546799472154842402304836856939033146145280536514450368054708222\ 05761904225456151413640994648374053440027501/8082652469390314058459\ 2652560226654845371986548725999558463105271058760869856935552832779\ 6442613262197933659620406649843031113265121029716546225152518816236\ 90982074*c_1001_2^20 + 50363009379143249756586756477747832361525065\ 0150471231223043931821081073091037587936609363041263578240837903329\ 98462198297677495914403424021775757971217952820989987261/8082652469\ 3903140584592652560226654845371986548725999558463105271058760869856\ 9355528327796442613262197933659620406649843031113265121029716546225\ 15251881623690982074*c_1001_2^19 + 3471042184085667991704848262616879946089744856563948092899942954565\ 9939246248950589420772412598646920900397331824934070070889500834800\ 437904437707488512768301196804941/808265246939031405845926525602266\ 5484537198654872599955846310527105876086985693555283277964426132621\ 9793365962040664984303111326512102971654622515251881623690982074*c_\ 1001_2^18 + 4938035348526147056453563131783698959835530285723846213\ 4233103518434725394331549505327082672760249491205889517524016583326\ 599482483378165119002974504233906695152536287/161653049387806281169\ 1853051204533096907439730974519991169262105421175217397138711056655\ 5928852265243958673192408132996860622265302420594330924503050376324\ 7381964148*c_1001_2^17 - 418747662858003947056392105693707413622381\ 1318477069445036908502596142543223145751184794216617696793937872364\ 935919703137030200359448181404705828146467436340750175480/404132623\ 4695157029229632628011332742268599327436299977923155263552938043492\ 8467776416389822130663109896682981020332492151555663256051485827311\ 257625940811845491037*c_1001_2^16 - 3572316052486277164867205652508360754528137705571753371447113052253\ 9925520527058129897784444774910352124121643615730790705054312608136\ 717721368895311589780163605934709/161653049387806281169185305120453\ 3096907439730974519991169262105421175217397138711056655592885226524\ 39586731924081329968606222653024205943309245030503763247381964148*c\ _1001_2^15 - 477803059601555392140773545378064619805526593906939880\ 9606703077096727524075743333477270984381830202871255935116496602275\ 7119452328938978091164469676271513100259681639/80826524693903140584\ 5926525602266548453719865487259995584631052710587608698569355528327\ 7964426132621979336596204066498430311132651210297165462251525188162\ 3690982074*c_1001_2^14 - 161846410667064358197197173191450156975015\ 6087513407789776321131053328206962590791400765466650739487726208042\ 87916007326593636560533349901857125374345487659302043879/1092250333\ 7013937916836844940571169573698917101179189129522041252845778495926\ 6129125449702221974765161882926975730628357166366657448787799533273\ 6692592994914743001*c_1001_2^13 + 107296096754838061404497486614083\ 3741660430535070293065447979081795402242899575478547682623820661140\ 411020205601796815191240331553147743865308132136400709986504677971/\ 4369001334805575166734737976228467829479566840471675651808816501138\ 3113983706451650179880888789906064753170790292251342866546662979515\ 11981330946770371979658972004*c_1001_2^12 + 1635267115049267557830499077535544404024152115479350624963358924885\ 3816231992678449547454197656421531979352503450191522917018707736900\ 861737667322905422920948865199478/404132623469515702922963262801133\ 2742268599327436299977923155263552938043492846777641638982213066310\ 9896682981020332492151555663256051485827311257625940811845491037*c_\ 1001_2^11 - 3469771046704762631842884991486718493743554337373491360\ 3275353013793848508583886537423122965285841939979630378410886319349\ 3148204296690318157437898796329757554749163/16165304938780628116918\ 5305120453309690743973097451999116926210542117521739713871105665559\ 2885226524395867319240813299686062226530242059433092450305037632473\ 81964148*c_1001_2^10 - 53266249642499736463663673934864906432684227\ 7345370680518081385828834082835409851093094083328600715692618768017\ 9218380006120735108663041048932167092595195463732964184/40413262346\ 9515702922963262801133274226859932743629997792315526355293804349284\ 6777641638982213066310989668298102033249215155566325605148582731125\ 7625940811845491037*c_1001_2^9 - 3612579103254955459046169732170032\ 5346483103600784225258176505879670492078602799973219980990992277337\ 47116498011368051163730534431171693433156152782649975769984853015/4\ 0413262346951570292296326280113327422685993274362999779231552635529\ 3804349284677764163898221306631098966829810203324921515556632560514\ 85827311257625940811845491037*c_1001_2^8 + 2034775885302578908267573363279621699110356833366267825320487581959\ 6248414874018007379591290492276696942637703799774968078111694258387\ 59002458129494167496125266605803/4041326234695157029229632628011332\ 7422685993274362999779231552635529380434928467776416389822130663109\ 896682981020332492151555663256051485827311257625940811845491037*c_1\ 001_2^7 + 834307990157008004398827687642087483257011709680877297303\ 5482733531289458940845614362228777265547501024148481069156653629318\ 77497365867027977557595767173929678244349/8082652469390314058459265\ 2560226654845371986548725999558463105271058760869856935552832779644\ 2613262197933659620406649843031113265121029716546225152518816236909\ 82074*c_1001_2^6 + 127010550821024796758045965463271362040264505899\ 5023418272310790014343446286253010102120943333666932788087866690889\ 744278963518873197691514665525892792734581411052109/161653049387806\ 2811691853051204533096907439730974519991169262105421175217397138711\ 0566555928852265243958673192408132996860622265302420594330924503050\ 3763247381964148*c_1001_2^5 - 8703236127466024797141637455875364431\ 0542957594172888689606162763868779165501204236507797819196184296369\ 6176641468079240046387098318852197122765303259998787276585269/80826\ 5246939031405845926525602266548453719865487259995584631052710587608\ 6985693555283277964426132621979336596204066498430311132651210297165\ 4622515251881623690982074*c_1001_2^4 + 1520950336681144761297372049967814801278757346935372992041466664892\ 0358331072122586453053879974027403613989260830420721473526034453202\ 91356187914084294493289001407909/1616530493878062811691853051204533\ 0969074397309745199911692621054211752173971387110566555928852265243\ 9586731924081329968606222653024205943309245030503763247381964148*c_\ 1001_2^3 - 38996859542287997476957484021994818658038824840436492299\ 5838771235425771604434155025480779736307266453625201808665335051653\ 611831668748273800406675851219823009902057/161653049387806281169185\ 3051204533096907439730974519991169262105421175217397138711056655592\ 8852265243958673192408132996860622265302420594330924503050376324738\ 1964148*c_1001_2^2 + 4520002508591428538924909583226191816598219758\ 9080008094167217912856242619199838122543110157797830085799204997191\ 647978924145943135182676597648289546080252987360937/404132623469515\ 7029229632628011332742268599327436299977923155263552938043492846777\ 6416389822130663109896682981020332492151555663256051485827311257625\ 940811845491037*c_1001_2 - 5973882540776546166558248185226304289107\ 9780494843958971750846818051023059023217415995806296175590151778122\ 512589861385118451827221243631547858140793306591894789721/404132623\ 4695157029229632628011332742268599327436299977923155263552938043492\ 8467776416389822130663109896682981020332492151555663256051485827311\ 257625940811845491037, c_0011_7 - 140579640640055558480441384093210172043809293361099657843819\ 4881013545628342564602284036985715352419521944478565455935437344623\ 10202598872523649181739674287451542250/4041326234695157029229632628\ 0113327422685993274362999779231552635529380434928467776416389822130\ 6631098966829810203324921515556632560514858273112576259408118454910\ 37*c_1001_2^34 - 98927345641824929318082292629066599346937566786555\ 4483449141468427915616528307565080810806784635431607593272348744543\ 844343152372687773208818282352491876163022472150/404132623469515702\ 9229632628011332742268599327436299977923155263552938043492846777641\ 6389822130663109896682981020332492151555663256051485827311257625940\ 811845491037*c_1001_2^33 - 5821068622447446332493261394128547167571\ 4845088864477726229371765497599156145024288900293128236903847613825\ 64626012602572409401438431463745431710873756042246153481755/8082652\ 4693903140584592652560226654845371986548725999558463105271058760869\ 8569355528327796442613262197933659620406649843031113265121029716546\ 22515251881623690982074*c_1001_2^32 - 8723903867566485929326716605500749128989784646296840518656068302428\ 9337224566828002910903243794536218188263282683750749739738874815183\ 44556955060542908035596670229087/8082652469390314058459265256022665\ 4845371986548725999558463105271058760869856935552832779644261326219\ 793365962040664984303111326512102971654622515251881623690982074*c_1\ 001_2^31 - 17406356092684369034629979691199348651578564308980544508\ 8021610177169076700203464351762432908582475074948808630041881105525\ 6005733158564217854974755533714450554435798/40413262346951570292296\ 3262801133274226859932743629997792315526355293804349284677764163898\ 2213066310989668298102033249215155566325605148582731125762594081184\ 5491037*c_1001_2^30 + 267132423834679545122059265684556679791526589\ 7539950065857541209352831060561610584297775210208223740905117016567\ 611656763956694160332342132676406437285110172961371809/404132623469\ 5157029229632628011332742268599327436299977923155263552938043492846\ 7776416389822130663109896682981020332492151555663256051485827311257\ 625940811845491037*c_1001_2^29 + 5078716819667343562130337248518704\ 6601430891937955321075519336255128767899309305106829245934907175204\ 12721471964170590820016476394377496460810925179865861116474504600/4\ 0413262346951570292296326280113327422685993274362999779231552635529\ 3804349284677764163898221306631098966829810203324921515556632560514\ 85827311257625940811845491037*c_1001_2^28 + 6751979176438806350676731737037994116628059659144200968203228648901\ 0571712957174528619749204760036345602117275533102129154149173912144\ 19143423363495302163116641452340/4041326234695157029229632628011332\ 7422685993274362999779231552635529380434928467776416389822130663109\ 896682981020332492151555663256051485827311257625940811845491037*c_1\ 001_2^27 + 41500343344716563309477320311645725996458339063391091600\ 2746343731844493156099606078509269939231848694018030482247933804505\ 31808442434187935768135214875123928244218631/8082652469390314058459\ 2652560226654845371986548725999558463105271058760869856935552832779\ 6442613262197933659620406649843031113265121029716546225152518816236\ 90982074*c_1001_2^26 + 25811898035385537486237458244929297815356482\ 2398090588681461135852336932880908033300133764667424947557665147118\ 71155769071310944675200554698446979611463593934597653080/4041326234\ 6951570292296326280113327422685993274362999779231552635529380434928\ 4677764163898221306631098966829810203324921515556632560514858273112\ 57625940811845491037*c_1001_2^25 + 6386799386978484991411225803305262284782150962183382442682417466142\ 8875173203098042526532502808852249402316799472571065061685585581941\ 05419999454007046709440533497897/4041326234695157029229632628011332\ 7422685993274362999779231552635529380434928467776416389822130663109\ 896682981020332492151555663256051485827311257625940811845491037*c_1\ 001_2^24 - 37933428431382014698255479475320772572866383460043893971\ 4108805793116288287604478392117667350927303389842950341015151411793\ 19140843876408397933719491892297945266205346/4041326234695157029229\ 6326280113327422685993274362999779231552635529380434928467776416389\ 8221306631098966829810203324921515556632560514858273112576259408118\ 45491037*c_1001_2^23 - 59073725595350649627370112858031119044470617\ 3714877206585931243051339871784739683793861901509343720934075994010\ 71856358540443768182953050832119237245440005151837302701/4041326234\ 6951570292296326280113327422685993274362999779231552635529380434928\ 4677764163898221306631098966829810203324921515556632560514858273112\ 57625940811845491037*c_1001_2^22 - 3459868405430205303817969552877673020811407674540296210681412312851\ 7733572462798103861155249984083356276998662679782487239555694919908\ 326332356926240054500827826076708/404132623469515702922963262801133\ 2742268599327436299977923155263552938043492846777641638982213066310\ 9896682981020332492151555663256051485827311257625940811845491037*c_\ 1001_2^21 + 1108878077113683970571879355041215583754178026170893224\ 5457831569394254346918192713339322023152904286338880254656621222900\ 780713040180909822517231910334138669797921686/404132623469515702922\ 9632628011332742268599327436299977923155263552938043492846777641638\ 9822130663109896682981020332492151555663256051485827311257625940811\ 845491037*c_1001_2^20 + 4875553849927667713391130037809081985394715\ 2206834952199169454246648216451527735626242171454928547590724852388\ 575172250613252986157561848134526151245201265914788329638/404132623\ 4695157029229632628011332742268599327436299977923155263552938043492\ 8467776416389822130663109896682981020332492151555663256051485827311\ 257625940811845491037*c_1001_2^19 + 2911516936843339938345735196300411644606484221723323622732770103043\ 8675142167148998236709340043199142028468882256112259263695432001690\ 690518817179656634169336390603821/404132623469515702922963262801133\ 2742268599327436299977923155263552938043492846777641638982213066310\ 9896682981020332492151555663256051485827311257625940811845491037*c_\ 1001_2^18 + 3175279705295975552040991003618969601267294117534053859\ 8178200509483794893081782501504492083699462572850756895569797725799\ 877922982539175636034223213651361979249154643/808265246939031405845\ 9265256022665484537198654872599955846310527105876086985693555283277\ 9644261326219793365962040664984303111326512102971654622515251881623\ 690982074*c_1001_2^17 - 1026719663743011871749100630568293533074366\ 6196531352140138589562590426581411113814512793260007149158576286372\ 879874833842661879890516626363288493224229797020233453848/404132623\ 4695157029229632628011332742268599327436299977923155263552938043492\ 8467776416389822130663109896682981020332492151555663256051485827311\ 257625940811845491037*c_1001_2^16 - 3522652177587225463153920962446861614514090766683150940980751132644\ 1982776603856968879583818809467110348825905171793435268879258669352\ 108237281938162398612918031654751/808265246939031405845926525602266\ 5484537198654872599955846310527105876086985693555283277964426132621\ 9793365962040664984303111326512102971654622515251881623690982074*c_\ 1001_2^15 - 4524114036114234736960225291007891917224157091416688606\ 2359978011927957388718782981042220775219628870909735472260999051701\ 198067065270130768618456028579257846084112757/404132623469515702922\ 9632628011332742268599327436299977923155263552938043492846777641638\ 9822130663109896682981020332492151555663256051485827311257625940811\ 845491037*c_1001_2^14 - 2815394412460480253691090824603088000439992\ 5635138745416699448734954096245218095250690105052610187843961912960\ 2428534696875025392805390931965780259763319595949283185/10922503337\ 0139379168368449405711695736989171011791891295220412528457784959266\ 1291254497022219747651618829269757306283571663666574487877995332736\ 692592994914743001*c_1001_2^13 + 1406128771706378781569901096016988\ 8374204095165659537836786333061810260804379624805511468048059069138\ 12013872956542417207425864540776817136239237296102384061906519517/2\ 1845006674027875833673689881142339147397834202358378259044082505691\ 5569918532258250899404443949530323765853951461256714332733314897575\ 5990665473385185989829486002*c_1001_2^12 + 3355060122702483526082731474166696088186151477905380332320820397577\ 7969970689160078655813571192697003737571368632075516649697277011522\ 617093187153736760464969002669822/404132623469515702922963262801133\ 2742268599327436299977923155263552938043492846777641638982213066310\ 9896682981020332492151555663256051485827311257625940811845491037*c_\ 1001_2^11 - 1024028310458388021726144472137921614819791189033447648\ 8413476763358011944136247846776969376876238346527778637861745049311\ 988436489039942106851074905389355676295348857/808265246939031405845\ 9265256022665484537198654872599955846310527105876086985693555283277\ 9644261326219793365962040664984303111326512102971654622515251881623\ 690982074*c_1001_2^10 - 1606456570688814298645603911714696699232910\ 4947017802490315147773974457417550317073511757870675548950511463626\ 148609532567249375444184795965128727630156396317216221221/404132623\ 4695157029229632628011332742268599327436299977923155263552938043492\ 8467776416389822130663109896682981020332492151555663256051485827311\ 257625940811845491037*c_1001_2^9 - 6641121080783036275127740459909140811426461780500289248289977644583\ 1556884688087791857665309993175209769797503946417145944015699525172\ 72006790062521408264496521778398/4041326234695157029229632628011332\ 7422685993274362999779231552635529380434928467776416389822130663109\ 896682981020332492151555663256051485827311257625940811845491037*c_1\ 001_2^8 + 601512423817611498441635567542980446706375345362641373570\ 4045719477643368850373646935793946748542372290642406812640013093245\ 916329293012980400814587805601910821101782/404132623469515702922963\ 2628011332742268599327436299977923155263552938043492846777641638982\ 2130663109896682981020332492151555663256051485827311257625940811845\ 491037*c_1001_2^7 + 16513488112560629683646271841859104796577875045\ 8142552633720463418826580752826870155844337811596294663084385465425\ 0889217034898909573312417520365766104795059403779510/40413262346951\ 5702922963262801133274226859932743629997792315526355293804349284677\ 7641638982213066310989668298102033249215155566325605148582731125762\ 5940811845491037*c_1001_2^6 - 6057224290897792633144467819787231855\ 4562866541902766631720689728741169250146287472397983016115671243801\ 3053431884877498229292041439947486747445702167220118079298023/80826\ 5246939031405845926525602266548453719865487259995584631052710587608\ 6985693555283277964426132621979336596204066498430311132651210297165\ 4622515251881623690982074*c_1001_2^5 - 1022770419126402100252838053930793967820413009746591963014280606582\ 1545897101435884308633475945449503527679112533564787201205875872397\ 09993841423271932411540692924251/4041326234695157029229632628011332\ 7422685993274362999779231552635529380434928467776416389822130663109\ 896682981020332492151555663256051485827311257625940811845491037*c_1\ 001_2^4 + 150232517412256829278467849598963212923305139247317872605\ 9183374298948815086635734158318549029628473020785888270506693386405\ 233782428247686152228504440909077969771509/808265246939031405845926\ 5256022665484537198654872599955846310527105876086985693555283277964\ 4261326219793365962040664984303111326512102971654622515251881623690\ 982074*c_1001_2^3 - 17500357643802375219703524353945896639528244351\ 0754446734451175262272283203052821350671894157840975445897443848907\ 423394637859156357805810884766144659137438689197477/808265246939031\ 4058459265256022665484537198654872599955846310527105876086985693555\ 2832779644261326219793365962040664984303111326512102971654622515251\ 881623690982074*c_1001_2^2 - 18548907280623106167025481981331434528\ 5933470256004776875804221205094127791564885215664105169953130587468\ 18209383937753810660269996048347442149099593632902102349501/4041326\ 2346951570292296326280113327422685993274362999779231552635529380434\ 9284677764163898221306631098966829810203324921515556632560514858273\ 11257625940811845491037*c_1001_2 - 7361110148636580857461808040928649615768015400812260962385001932234\ 8562698696097401497864240046881206924203238587774538333256829094163\ 819182609411833717453070392408/404132623469515702922963262801133274\ 2268599327436299977923155263552938043492846777641638982213066310989\ 6682981020332492151555663256051485827311257625940811845491037, c_0011_9 - 289108827923228347566687218069684234505998912335908494318978\ 5708399737928474249158600620392275074138760280960815642673528230469\ 608403221590050220982758714735500875/109225033370139379168368449405\ 7116957369891710117918912952204125284577849592661291254497022219747\ 651618829269757306283571663666574487877995332736692592994914743001*\ c_1001_2^34 - 20581963964503932342370835761956500645363679470881189\ 8246189654962183728230465031188531752284770027491001698201526368145\ 11924731257876024461701590348578901098500225/1092250333701393791683\ 6844940571169573698917101179189129522041252845778495926612912544970\ 2221974765161882926975730628357166366657448787799533273669259299491\ 4743001*c_1001_2^33 - 247701224077310612749628188076826453166786383\ 3862812770928337482515938121658780001743243183895041719329029498683\ 21351827389032412427603253114638267263376031100386965/4369001334805\ 5751667347379762284678294795668404716756518088165011383113983706451\ 6501798808887899060647531707902922513428665466629795151198133094677\ 0371979658972004*c_1001_2^32 - 390915602312857392900896299513989853\ 6491964252462580561908258441587940703919753705408744308562802454503\ 40287408298202023624994013733754982956751761193868487129624981/4369\ 0013348055751667347379762284678294795668404716756518088165011383113\ 9837064516501798808887899060647531707902922513428665466629795151198\ 1330946770371979658972004*c_1001_2^31 - 5374303543346183485126890162765284771739763627681013306900109523827\ 9657546072625718389678091316968457156425053399634313428451464518527\ 433637834732469016266898188154/109225033370139379168368449405711695\ 7369891710117918912952204125284577849592661291254497022219747651618\ 829269757306283571663666574487877995332736692592994914743001*c_1001\ _2^30 + 63496040155552527729103435053413490593176407260311573078205\ 6146562209863601759688300306824328307032975148822601748081610746626\ 59422846151761949964974875824814069215/2184500667402787583367368988\ 1142339147397834202358378259044082505691556991853225825089940444394\ 9530323765853951461256714332733314897575599066547338518598982948600\ 2*c_1001_2^29 + 177822741651186421120597705666176363181414764740865\ 8842508824382560454269691396988770816718849550472958682500999413609\ 77826746676316819243664847677523533986199864307/2184500667402787583\ 3673689881142339147397834202358378259044082505691556991853225825089\ 9404443949530323765853951461256714332733314897575599066547338518598\ 9829486002*c_1001_2^28 + 280006164168577976239539276258356669812579\ 1116813917011958322934574907221728942508053799576665907134231485504\ 83026876535642044209872789117291824416413168859446916135/2184500667\ 4027875833673689881142339147397834202358378259044082505691556991853\ 2258250899404443949530323765853951461256714332733314897575599066547\ 3385185989829486002*c_1001_2^27 + 178968305417092964108261735231638\ 5696864206811753181085527442646030719163074831097103167065078392350\ 559135344861631317997791436806403431535117154010185394070506632847/\ 4369001334805575166734737976228467829479566840471675651808816501138\ 3113983706451650179880888789906064753170790292251342866546662979515\ 11981330946770371979658972004*c_1001_2^26 + 1188469207803928919378337138044768087623455776040821990700652962495\ 2488281340647455935943689842387221943639632117918892048438460969406\ 62214250638787383520567867346699/2184500667402787583367368988114233\ 9147397834202358378259044082505691556991853225825089940444394953032\ 37658539514612567143327333148975755990665473385185989829486002*c_10\ 01_2^25 + 258141277595207021021167917540351409007908675078724020984\ 9910082192965165137267431317874838241790089340185825988110666733584\ 36105226068799766354707934943840762736209/1092250333701393791683684\ 4940571169573698917101179189129522041252845778495926612912544970222\ 1974765161882926975730628357166366657448787799533273669259299491474\ 3001*c_1001_2^24 - 632548979924889566887623823165079276717378743764\ 2080991815862694313505651846496772693047674941490257457773304332996\ 08311326268830425791763615808470634420031072494477/1092250333701393\ 7916836844940571169573698917101179189129522041252845778495926612912\ 5449702221974765161882926975730628357166366657448787799533273669259\ 2994914743001*c_1001_2^23 - 116018262214997131278654817319232345435\ 8044267750743795849406811218395154370741421499508186560174267307819\ 941313724390569614676445111715283072800439788823269992606721/109225\ 0333701393791683684494057116957369891710117918912952204125284577849\ 5926612912544970222197476516188292697573062835716636665744878779953\ 32736692592994914743001*c_1001_2^22 - 1660506099131803937498739223454915265894968263934582834775688375786\ 8673404973345646387319979750965251271711032938942171374992302490200\ 12708071720827617520609506481243/2184500667402787583367368988114233\ 9147397834202358378259044082505691556991853225825089940444394953032\ 37658539514612567143327333148975755990665473385185989829486002*c_10\ 01_2^21 - 348441038478216878079109955112743006915360966476580957996\ 7763439777628092181703738369078979137087422097889504550375747700235\ 9607604811607436163727105633939415245205/21845006674027875833673689\ 8811423391473978342023583782590440825056915569918532258250899404443\ 9495303237658539514612567143327333148975755990665473385185989829486\ 002*c_1001_2^20 + 1536483333931616327270070843420338380662016430343\ 6037387637640789104813518912915292842443880698733900830833505528919\ 59141227369905605459626680796793507959873044666343/2184500667402787\ 5833673689881142339147397834202358378259044082505691556991853225825\ 0899404443949530323765853951461256714332733314897575599066547338518\ 5989829486002*c_1001_2^19 + 100485385010850514225576869736915820831\ 1784310885629616675078841950183393115444618057635951295835549581709\ 137700153205831030214140686348293216214278066804814849023193/218450\ 0667402787583367368988114233914739783420235837825904408250569155699\ 1853225825089940444394953032376585395146125671433273331489757559906\ 65473385185989829486002*c_1001_2^18 + 1488710585351352508697733789995629603444490810304738008247923235637\ 9553455566049268695162235281091548802414008558311192299377481905725\ 94671263065938077115089161101361/4369001334805575166734737976228467\ 8294795668404716756518088165011383113983706451650179880888789906064\ 75317079029225134286654666297951511981330946770371979658972004*c_10\ 01_2^17 - 847600343557329865900377758468855993642515162902434535919\ 8637228592104242899557642692062417925228447612313558002655880217372\ 0624122522272159849150465179250954681375/10922503337013937916836844\ 9405711695736989171011791891295220412528457784959266129125449702221\ 9747651618829269757306283571663666574487877995332736692592994914743\ 001*c_1001_2^16 - 9077003440773800665870519000355988539932500904768\ 1373498411171241460913380988704372123963160184148608510406894393439\ 2386191969992154517850929415922946559824757067691/43690013348055751\ 6673473797622846782947956684047167565180881650113831139837064516501\ 7988088878990606475317079029225134286654666297951511981330946770371\ 979658972004*c_1001_2^15 - 1683733170496481113551619929863316851715\ 9185724615947268139138642665944534747536437829041635928791652971671\ 80135447066827478355232361365229096314512243442605356372743/2184500\ 6674027875833673689881142339147397834202358378259044082505691556991\ 8532258250899404443949530323765853951461256714332733314897575599066\ 5473385185989829486002*c_1001_2^14 - 2503617460744249727453098858158882639417594408693187399090108425340\ 2484710803975845383401940012440681524158504263669012368815634384571\ 6701306329682603786121601006130/10922503337013937916836844940571169\ 5736989171011791891295220412528457784959266129125449702221974765161\ 8829269757306283571663666574487877995332736692592994914743001*c_100\ 1_2^13 + 1635096988239989748795103217965645116552540628635638656622\ 0255006612563738880345183879636324414021224100067872358462296106681\ 42512025770592304809669726094322807519513/4369001334805575166734737\ 9762284678294795668404716756518088165011383113983706451650179880888\ 7899060647531707902922513428665466629795151198133094677037197965897\ 2004*c_1001_2^12 + 604816590367537991082264951909134676908486411329\ 6257237347428996837636906663233500638058656230961454494402964126095\ 78352073576091159018125254081911841585838197196155/1092250333701393\ 7916836844940571169573698917101179189129522041252845778495926612912\ 5449702221974765161882926975730628357166366657448787799533273669259\ 2994914743001*c_1001_2^11 - 361029200215847366565692099095144908291\ 9873396388595983689915912432008099608252787592191092151332417980160\ 02954270197275127019665426312057497331074630373867491411145/4369001\ 3348055751667347379762284678294795668404716756518088165011383113983\ 7064516501798808887899060647531707902922513428665466629795151198133\ 0946770371979658972004*c_1001_2^10 - 2875351729117227191036245340495883253285667382630037000531057493930\ 9885071776524571962439190685348877985537493553239731941520373988694\ 6322895870516958422527244818018/10922503337013937916836844940571169\ 5736989171011791891295220412528457784959266129125449702221974765161\ 8829269757306283571663666574487877995332736692592994914743001*c_100\ 1_2^9 - 13135917503458808204637803632175286997204949318651249914658\ 0347087062690419892605280389160896015442209427413917033088056617222\ 867420161637021738216179596126746315349/109225033370139379168368449\ 4057116957369891710117918912952204125284577849592661291254497022219\ 7476516188292697573062835716636665744878779953327366925929949147430\ 01*c_1001_2^8 + 116419845424483596176890565350623284231385751245073\ 2081060167946295536306300165144964168493826444013645818113707989599\ 81009924748948107706468441186221375251237693069/1092250333701393791\ 6836844940571169573698917101179189129522041252845778495926612912544\ 9702221974765161882926975730628357166366657448787799533273669259299\ 4914743001*c_1001_2^7 + 6828349402415412845681291561026517710701645\ 3903202699047018942258837482571040426341613333036032000004464828954\ 574666302452213459645319062012103388453274498806883097/218450066740\ 2787583367368988114233914739783420235837825904408250569155699185322\ 5825089940444394953032376585395146125671433273331489757559906654733\ 85185989829486002*c_1001_2^6 - 491652754702927232899759179630283261\ 1053330825977611003105357457917595422549997399736098834322966347666\ 559759184654616370149826064981653529672853728776573979775709/436900\ 1334805575166734737976228467829479566840471675651808816501138311398\ 3706451650179880888789906064753170790292251342866546662979515119813\ 30946770371979658972004*c_1001_2^5 - 4739894775610135527796697288746266273813191944194577554329653278251\ 3037289730477627048852387677207039685715079191977667824839872850206\ 957391328164541848807838592545/218450066740278758336736898811423391\ 4739783420235837825904408250569155699185322582508994044439495303237\ 658539514612567143327333148975755990665473385185989829486002*c_1001\ _2^4 + 506976459973202591104984484684122112357121517041146633840482\ 7015848242872692240478417393225677190861938668930395095753552095529\ 8671325858497309521577224118251343079/43690013348055751667347379762\ 2846782947956684047167565180881650113831139837064516501798808887899\ 0606475317079029225134286654666297951511981330946770371979658972004\ *c_1001_2^3 - 78392036774546401428557524180083223417411125704396173\ 4241782395079767877536197845742514501720171087649241852485313220551\ 1941657184505764650144209806509180491174963/43690013348055751667347\ 3797622846782947956684047167565180881650113831139837064516501798808\ 8878990606475317079029225134286654666297951511981330946770371979658\ 972004*c_1001_2^2 + 10922305991470108875446269573934498416704207421\ 6850567268920908665539454160261990715097381450124579186161178621590\ 1418886526164349665144880541793079733029584588062/10922503337013937\ 9168368449405711695736989171011791891295220412528457784959266129125\ 4497022219747651618829269757306283571663666574487877995332736692592\ 994914743001*c_1001_2 - 1555096264441750460724187998577756424311406\ 0593747017628268838998088128891391412909373271160121958022163091300\ 40916118283508796446771752117866568457370694850524028/1092250333701\ 3937916836844940571169573698917101179189129522041252845778495926612\ 9125449702221974765161882926975730628357166366657448787799533273669\ 2592994914743001, c_0101_0 - 931903586032537562718499262970842347805131946954482050813049\ 7011884284356434209963377671511028216493622783636294311925023153667\ 1797509978683288028785348673027918625/40413262346951570292296326280\ 1133274226859932743629997792315526355293804349284677764163898221306\ 6310989668298102033249215155566325605148582731125762594081184549103\ 7*c_1001_2^34 - 645268937686437461970511906768015712813626908118211\ 2787434334117693286057088771670507851810416900018486333366326007767\ 25290835939491651178198335412706981790732526325/4041326234695157029\ 2296326280113327422685993274362999779231552635529380434928467776416\ 3898221306631098966829810203324921515556632560514858273112576259408\ 11845491037*c_1001_2^33 - 73983657597973878992075177240611228122722\ 4340029205569294926788813092295578540176099490017037085293587808488\ 7197036251786416246730950755880791679828825577311963580855/16165304\ 9387806281169185305120453309690743973097451999116926210542117521739\ 7138711056655592885226524395867319240813299686062226530242059433092\ 45030503763247381964148*c_1001_2^32 - 1052663902766778140292520602121863285107365302062518797232994097155\ 2021726495737634655922438057507353670126567076314612957337852585889\ 565263653840501292627214684104877/161653049387806281169185305120453\ 3096907439730974519991169262105421175217397138711056655592885226524\ 39586731924081329968606222653024205943309245030503763247381964148*c\ _1001_2^31 - 138803411625310912722265848569832997053665316673383998\ 0171134929269548121540750899411588006432356515985142533413746989428\ 678147131562640944500501223936294818349658343/808265246939031405845\ 9265256022665484537198654872599955846310527105876086985693555283277\ 9644261326219793365962040664984303111326512102971654622515251881623\ 690982074*c_1001_2^30 + 4273854736776203414955566974327283364503457\ 4193453710825078343533266230967408653179620749265800887258639526748\ 01464300541064221579329742807045005380476113284312341433/8082652469\ 3903140584592652560226654845371986548725999558463105271058760869856\ 9355528327796442613262197933659620406649843031113265121029716546225\ 15251881623690982074*c_1001_2^29 + 6735785677932672483584733850352007943216976910517168086678816458172\ 2041288527717920594817339453027716297616850516446973301335873543691\ 39483824012760830869571651953059/8082652469390314058459265256022665\ 4845371986548725999558463105271058760869856935552832779644261326219\ 793365962040664984303111326512102971654622515251881623690982074*c_1\ 001_2^28 + 83137748995042350767006182742223992325888294738979705988\ 3100939851288980648791714024426350400312234574526781919198999338062\ 6965537251813921435978290988029463061358785/80826524693903140584592\ 6525602266548453719865487259995584631052710587608698569355528327796\ 4426132621979336596204066498430311132651210297165462251525188162369\ 0982074*c_1001_2^27 + 526396519696526784571799713554311408208305318\ 7916984841217837759577246895513080317291385639494203336943530735875\ 2402713606764105458511905793326289974313329354604612205/16165304938\ 7806281169185305120453309690743973097451999116926210542117521739713\ 8711056655592885226524395867319240813299686062226530242059433092450\ 30503763247381964148*c_1001_2^26 + 1530922312816340108735813005548449870671617312292442639197650829325\ 7710343474508057720153622833535241309629012436795192669686361800569\ 259499959750505579611681805521108/404132623469515702922963262801133\ 2742268599327436299977923155263552938043492846777641638982213066310\ 9896682981020332492151555663256051485827311257625940811845491037*c_\ 1001_2^25 + 1364411713727870929102042605925708710266814404869401260\ 7663500985751268018183620208356733976208921527307621900489710931770\ 73548126645774804903445163078252531664470566/4041326234695157029229\ 6326280113327422685993274362999779231552635529380434928467776416389\ 8221306631098966829810203324921515556632560514858273112576259408118\ 45491037*c_1001_2^24 - 27071417986501806489572072964368929638873583\ 0524394783337402332274284830422166190290961296494774189063532421041\ 84585076574843485735029084745897996378591614880367633643/4041326234\ 6951570292296326280113327422685993274362999779231552635529380434928\ 4677764163898221306631098966829810203324921515556632560514858273112\ 57625940811845491037*c_1001_2^23 - 3751490662851122193296595095266666704566883707293080733623994119190\ 3600921761911245767602861181128548143505362308993668495257210056939\ 476761197079546944179076196044280/404132623469515702922963262801133\ 2742268599327436299977923155263552938043492846777641638982213066310\ 9896682981020332492151555663256051485827311257625940811845491037*c_\ 1001_2^22 - 3607347855061561478534937455730779240566192152996569091\ 7999586145654438370288964997586698823182550878221974093016818020250\ 053186190562584668636409102074066533636548029/808265246939031405845\ 9265256022665484537198654872599955846310527105876086985693555283277\ 9644261326219793365962040664984303111326512102971654622515251881623\ 690982074*c_1001_2^21 + 2368070134853748808089796708303313187663212\ 2692790010075402847125441347086965234627103644836257825298684941508\ 251882895448097428218881566788243307571357170738441986013/808265246\ 9390314058459265256022665484537198654872599955846310527105876086985\ 6935552832779644261326219793365962040664984303111326512102971654622\ 515251881623690982074*c_1001_2^20 + 6702106209812341364249875876942213031598268069117466896701780822967\ 7779639285868092025156064145382309308260807878095321156420457684454\ 582836554114819401269779821768557/808265246939031405845926525602266\ 5484537198654872599955846310527105876086985693555283277964426132621\ 9793365962040664984303111326512102971654622515251881623690982074*c_\ 1001_2^19 + 3307945433276305719376803617552505210506932855148520967\ 0274945740608010930979065049354227670067280319131265825168306204186\ 199826063944396435118815970496457091983498215/808265246939031405845\ 9265256022665484537198654872599955846310527105876086985693555283277\ 9644261326219793365962040664984303111326512102971654622515251881623\ 690982074*c_1001_2^18 + 3090697056654966431995929609916766109579720\ 5764873759150391011997852617506847460254664021722161677399356401010\ 660234207474591523040471474604908397260754480743122287387/161653049\ 3878062811691853051204533096907439730974519991169262105421175217397\ 1387110566555928852265243958673192408132996860622265302420594330924\ 5030503763247381964148*c_1001_2^17 - 1667065257372839966534634191616831640090540324357012312338351806345\ 8902791378915398980168498789914097459389774622757514169762405341326\ 339914315823951413749050974737443/808265246939031405845926525602266\ 5484537198654872599955846310527105876086985693555283277964426132621\ 9793365962040664984303111326512102971654622515251881623690982074*c_\ 1001_2^16 - 4543290932652445737728014476261412735265914368894647689\ 9442433307487801465622636816351720402200805396761416312068650735739\ 380643980520244288622576037066013998755569553/161653049387806281169\ 1853051204533096907439730974519991169262105421175217397138711056655\ 5928852265243958673192408132996860622265302420594330924503050376324\ 7381964148*c_1001_2^15 - 282485814039165635222259759438760694377676\ 5703811390030769884595939284201322266675762277478050530697308152991\ 8663872096358833878055868718094179726056951991436032998695/40413262\ 3469515702922963262801133274226859932743629997792315526355293804349\ 2846777641638982213066310989668298102033249215155566325605148582731\ 1257625940811845491037*c_1001_2^14 - 9078268294300193365021642681447417254624230021117143866165305972670\ 2823730567947613021801422574292601002861513633835341108373119671608\ 718003055077942533187854886866/109225033370139379168368449405711695\ 7369891710117918912952204125284577849592661291254497022219747651618\ 829269757306283571663666574487877995332736692592994914743001*c_1001\ _2^13 + 21008021003131913522780813136775453772307912909697468609332\ 0333038818381072332448562997828550715142143868139649876950824651816\ 6111284390927843846495076147851363981575/43690013348055751667347379\ 7622846782947956684047167565180881650113831139837064516501798808887\ 8990606475317079029225134286654666297951511981330946770371979658972\ 004*c_1001_2^12 + 4113707429766174482939872359049203887368735637214\ 9048467055451075162840798012732766306496390914997017267754407318860\ 974580982523974547791533249641361749007995380759409/808265246939031\ 4058459265256022665484537198654872599955846310527105876086985693555\ 2832779644261326219793365962040664984303111326512102971654622515251\ 881623690982074*c_1001_2^11 - 2594883956420686181263537408652130496\ 4105512778119343521558834643897674924424640451383335720804573563506\ 263822248384562677187675731882241476499647350735815503701560267/161\ 6530493878062811691853051204533096907439730974519991169262105421175\ 2173971387110566555928852265243958673192408132996860622265302420594\ 3309245030503763247381964148*c_1001_2^10 - 2333716689004006080273272110160928067048591289206311455382849295867\ 2613334362403104613028298848074026435091975291943463992826283338304\ 823558663095419823738659315140065/808265246939031405845926525602266\ 5484537198654872599955846310527105876086985693555283277964426132621\ 9793365962040664984303111326512102971654622515251881623690982074*c_\ 1001_2^9 - 32190273017307395384980756822706009150031527635605925968\ 9295155755983908684880002463909378914656229197278312747793005502103\ 4412062389644448920111222690227398333158422/40413262346951570292296\ 3262801133274226859932743629997792315526355293804349284677764163898\ 2213066310989668298102033249215155566325605148582731125762594081184\ 5491037*c_1001_2^8 + 5100664100351280671330663508474875174482322903\ 1615769800027148067703298728040392070734853732495733154004289198667\ 11515394772526368229608094977291471872823822479941970/4041326234695\ 1570292296326280113327422685993274362999779231552635529380434928467\ 7764163898221306631098966829810203324921515556632560514858273112576\ 25940811845491037*c_1001_2^7 + 237583933214824104214628106903848538\ 0352621625557546161302964851868440252410532101539664855935518615521\ 001847380183751396795730091682101490297518818401725756740966751/808\ 2652469390314058459265256022665484537198654872599955846310527105876\ 0869856935552832779644261326219793365962040664984303111326512102971\ 654622515251881623690982074*c_1001_2^6 - 1712683651032679819979594265428817252764492974944855123239696901614\ 0526462818859371234871530135315494048943919885511315461335825007269\ 22138367322469697175220678302283/1616530493878062811691853051204533\ 0969074397309745199911692621054211752173971387110566555928852265243\ 9586731924081329968606222653024205943309245030503763247381964148*c_\ 1001_2^5 - 78968847265293998767822464654489844182540531909368726790\ 7924379299299892714290061542687650310589592670733623061751271043261\ 185032790841593261728027552279404616699076/404132623469515702922963\ 2628011332742268599327436299977923155263552938043492846777641638982\ 2130663109896682981020332492151555663256051485827311257625940811845\ 491037*c_1001_2^4 + 20654424174368858039407427460014277315026569279\ 5726760951760104729500280004397909272805586557886760998394478552944\ 9740027979166916321200467477676454773788665685198165/16165304938780\ 6281169185305120453309690743973097451999116926210542117521739713871\ 1056655592885226524395867319240813299686062226530242059433092450305\ 03763247381964148*c_1001_2^3 - 390103178032529850622391314780820713\ 1031250442279047993733897882992021629409668945932478434905000997255\ 34965834784846569395613501180687198485122477405694313917999383/1616\ 5304938780628116918530512045330969074397309745199911692621054211752\ 1739713871105665559288522652439586731924081329968606222653024205943\ 309245030503763247381964148*c_1001_2^2 - 7385553942963211678814974870277639772237991824178839240659871149073\ 7330949086611089327289536949664100746735720818393875756793449909784\ 466821597102208505246925050549/808265246939031405845926525602266548\ 4537198654872599955846310527105876086985693555283277964426132621979\ 3365962040664984303111326512102971654622515251881623690982074*c_100\ 1_2 - 4085559502090306148786659791866268671479757940022136524458764\ 1393196233853534793331450505080368496993847822142375848777461432756\ 095856156891483134003089660872330288/404132623469515702922963262801\ 1332742268599327436299977923155263552938043492846777641638982213066\ 3109896682981020332492151555663256051485827311257625940811845491037\ , c_0101_1 + 447302667091020313736686667557003365937158224529710163135303\ 6077528748491181699197084421160425381077282260211950185872354318671\ 0033152258194208563344241472566429625/40413262346951570292296326280\ 1133274226859932743629997792315526355293804349284677764163898221306\ 6310989668298102033249215155566325605148582731125762594081184549103\ 7*c_1001_2^34 + 312991867482740762717171855776540196638554853276603\ 2824716775257416582593400530701281174872306934520611686436885238838\ 16401406578030633763279291347517746605587886225/4041326234695157029\ 2296326280113327422685993274362999779231552635529380434928467776416\ 3898221306631098966829810203324921515556632560514858273112576259408\ 11845491037*c_1001_2^33 + 36502160521574459763937432073162883898987\ 8909646713827406557940075988368902938282614402148079968208079767798\ 6764071190973907152889091330918920462562787520262636574015/16165304\ 9387806281169185305120453309690743973097451999116926210542117521739\ 7138711056655592885226524395867319240813299686062226530242059433092\ 45030503763247381964148*c_1001_2^32 + 5426608823073272909763396151828221101228188201438733029419204973371\ 2387081180985309322981082302631610541594562509668753380459174695283\ 81747414658741662722642531941441/1616530493878062811691853051204533\ 0969074397309745199911692621054211752173971387110566555928852265243\ 9586731924081329968606222653024205943309245030503763247381964148*c_\ 1001_2^31 + 1131993669861497632495587423688982814828500691912565328\ 6253392646128046473457613199511436116326066657219641582891952069577\ 98052716476513294098589284909537688651335167/8082652469390314058459\ 2652560226654845371986548725999558463105271058760869856935552832779\ 6442613262197933659620406649843031113265121029716546225152518816236\ 90982074*c_1001_2^30 - 12930333091616984383265849910855382103236639\ 7447757438981482755362010175421483914611235998838261135678700313513\ 2103643648088170007140808532118512212705118115822742965/80826524693\ 9031405845926525602266548453719865487259995584631052710587608698569\ 3555283277964426132621979336596204066498430311132651210297165462251\ 5251881623690982074*c_1001_2^29 - 242225906837370299635386787675404\ 8486804648098099300643945951481839446577266783283268981660101490148\ 424272108266188077731903491830746115135037606388086690282304088693/\ 8082652469390314058459265256022665484537198654872599955846310527105\ 8760869856935552832779644261326219793365962040664984303111326512102\ 971654622515251881623690982074*c_1001_2^28 - 3805870545542428560730047739395933431548385464597672657469613380567\ 0831938192199288793887673764580743702042356180019748239852632883263\ 51287745144445173937304147918709/8082652469390314058459265256022665\ 4845371986548725999558463105271058760869856935552832779644261326219\ 793365962040664984303111326512102971654622515251881623690982074*c_1\ 001_2^27 - 26694618617864984462314650933294114253512170278840014863\ 0409656709381814938916056262634923268255676480166488488668779298520\ 01805174187929352732634400481768495347147565/1616530493878062811691\ 8530512045330969074397309745199911692621054211752173971387110566555\ 9288522652439586731924081329968606222653024205943309245030503763247\ 381964148*c_1001_2^26 - 8310520280536377484031163738461226934541542\ 0132513331777330246400762574703122818986313767981343902931332105250\ 81668675053619741465705359809540196217737974113835833611/4041326234\ 6951570292296326280113327422685993274362999779231552635529380434928\ 4677764163898221306631098966829810203324921515556632560514858273112\ 57625940811845491037*c_1001_2^25 - 2173587125097975462577025495703791016359698436172486229969321656124\ 3961234823603464962277235063280231302143524419579993946962098031455\ 99142336117899866516107138513901/4041326234695157029229632628011332\ 7422685993274362999779231552635529380434928467776416389822130663109\ 896682981020332492151555663256051485827311257625940811845491037*c_1\ 001_2^24 + 10438954102292324383152384930725299224230912572645830602\ 7645765078803366586457357612836558758747164787510145751885233355654\ 60172912590213101374198148974548253629316097/4041326234695157029229\ 6326280113327422685993274362999779231552635529380434928467776416389\ 8221306631098966829810203324921515556632560514858273112576259408118\ 45491037*c_1001_2^23 + 16104203994992934516800735268696776182569690\ 0525701338349472224678645413487045948249582079644692512699993145587\ 00857722800187978285055044149989423389921293181280772896/4041326234\ 6951570292296326280113327422685993274362999779231552635529380434928\ 4677764163898221306631098966829810203324921515556632560514858273112\ 57625940811845491037*c_1001_2^22 + 1875699227967792154515391315103408503375266480171098922941496521323\ 3893349770799923208485444775828311128919038645986185782573369578830\ 611705165093613358669914837672277/808265246939031405845926525602266\ 5484537198654872599955846310527105876086985693555283277964426132621\ 9793365962040664984303111326512102971654622515251881623690982074*c_\ 1001_2^21 - 2582359055204674478730521848059898889612007752821304606\ 1785079274071745760233203509942680881534726551942869244080063133304\ 58099135138460196919293079058220025474886177/8082652469390314058459\ 2652560226654845371986548725999558463105271058760869856935552832779\ 6442613262197933659620406649843031113265121029716546225152518816236\ 90982074*c_1001_2^20 - 21254489787741559139012609021480941411941733\ 7277412110519125299893271341111820136161819865249194928004715558374\ 59843889216794944413257277020918056635922078746501435791/8082652469\ 3903140584592652560226654845371986548725999558463105271058760869856\ 9355528327796442613262197933659620406649843031113265121029716546225\ 15251881623690982074*c_1001_2^19 - 1074157227602115216940537976727967138224839430067630811887267544382\ 7480695428436190719958634304126951964774163937080208743048679977276\ 810813343872320262161645243535583/808265246939031405845926525602266\ 5484537198654872599955846310527105876086985693555283277964426132621\ 9793365962040664984303111326512102971654622515251881623690982074*c_\ 1001_2^18 - 1871639593919490974493022257935243512315518795859693756\ 8582248888909940952929057903033563780597952712200821126701375290622\ 687690347136304289785687045241384982088921275/161653049387806281169\ 1853051204533096907439730974519991169262105421175217397138711056655\ 5928852265243958673192408132996860622265302420594330924503050376324\ 7381964148*c_1001_2^17 - 347829527334437419815802103696247791658810\ 3233496784878285630131023642010281002132544983668942430007995983565\ 00565888616383830122907517341732490797967335450182071623/8082652469\ 3903140584592652560226654845371986548725999558463105271058760869856\ 9355528327796442613262197933659620406649843031113265121029716546225\ 15251881623690982074*c_1001_2^16 + 1199616347663527441625970981439764307568189318512836416125954282271\ 1994609642037352451021069371970957279662276226685579031147742528701\ 242378757620719274686012021390389/161653049387806281169185305120453\ 3096907439730974519991169262105421175217397138711056655592885226524\ 39586731924081329968606222653024205943309245030503763247381964148*c\ _1001_2^15 + 119734002895848880862672462140617538394010363722446581\ 7057465582787973411639377265719793844923636496504076591233407075962\ 2304651208809017911167589706924983872451575115/40413262346951570292\ 2963262801133274226859932743629997792315526355293804349284677764163\ 8982213066310989668298102033249215155566325605148582731125762594081\ 1845491037*c_1001_2^14 + 790712891745002882869256188968376215405482\ 7137079275252015947808533598032425936129815011412796407144684072191\ 9340767447659317800973747462802236477448605218131472545/10922503337\ 0139379168368449405711695736989171011791891295220412528457784959266\ 1291254497022219747651618829269757306283571663666574487877995332736\ 692592994914743001*c_1001_2^13 - 7827564932537704161459985914185766\ 2457227804491730701820484531205152891792327646823420386383959623841\ 9164813096422448322850270315196981500791552423691595012220855395/43\ 6900133480557516673473797622846782947956684047167565180881650113831\ 1398370645165017988088878990606475317079029225134286654666297951511\ 981330946770371979658972004*c_1001_2^12 - 1260200346115517862233962053647036524179823815490905557854771940671\ 3793104096301444701463089024225350338771178368770874196719011875809\ 742800547853023898124074671575815/808265246939031405845926525602266\ 5484537198654872599955846310527105876086985693555283277964426132621\ 9793365962040664984303111326512102971654622515251881623690982074*c_\ 1001_2^11 + 1418285170973929467383090618250815462531725075007428986\ 3460756250902898566196069609138060060181699860513405028596641027194\ 390510298830145800558885752287253698864597979/161653049387806281169\ 1853051204533096907439730974519991169262105421175217397138711056655\ 5928852265243958673192408132996860622265302420594330924503050376324\ 7381964148*c_1001_2^10 + 714021639068872731391858334222829738125893\ 4296205167262640216487155469921776235848080910072358907774878304405\ 486308747658220378416297883946942431036283992360535129849/808265246\ 9390314058459265256022665484537198654872599955846310527105876086985\ 6935552832779644261326219793365962040664984303111326512102971654622\ 515251881623690982074*c_1001_2^9 - 4899228972987684724875104533054571077975051965971630815662369974379\ 1312025776831951233600225473589698164723367960819770088894142612850\ 3579532201436141444952023659191/40413262346951570292296326280113327\ 4226859932743629997792315526355293804349284677764163898221306631098\ 96682981020332492151555663256051485827311257625940811845491037*c_10\ 01_2^8 - 1999260515893832549317811082666601285385630592128941217284\ 2334456373334763459154390996685465119057958114916359765741345173237\ 78013468358536164288522923026973128189199/4041326234695157029229632\ 6280113327422685993274362999779231552635529380434928467776416389822\ 1306631098966829810203324921515556632560514858273112576259408118454\ 91037*c_1001_2^7 + 720984923330257305327144492984201980476050462269\ 3279570655814460576878773196708129999771532519030279719578626665214\ 58257911978589471601689186394657944966386354187667/8082652469390314\ 0584592652560226654845371986548725999558463105271058760869856935552\ 8327796442613262197933659620406649843031113265121029716546225152518\ 81623690982074*c_1001_2^6 + 203466358939294095813431928124131272081\ 8979548411088712692489297573652592635541863778007283454587471925227\ 539144336883099285081139948603633174635750178342047892699503/161653\ 0493878062811691853051204533096907439730974519991169262105421175217\ 3971387110566555928852265243958673192408132996860622265302420594330\ 9245030503763247381964148*c_1001_2^5 + 8446098488258906923617743737584565875260234564002501069570638926972\ 2218652670040370989216468663591945856455724614305686730151319283178\ 786060788635966458718530012121/404132623469515702922963262801133274\ 2268599327436299977923155263552938043492846777641638982213066310989\ 6682981020332492151555663256051485827311257625940811845491037*c_100\ 1_2^4 - 77829689466459596907936696766416022722277627770943681005480\ 6255143771135110674038518626708414143443313027309898739571539304879\ 226779073638060666548806860915904411149/161653049387806281169185305\ 1204533096907439730974519991169262105421175217397138711056655592885\ 2265243958673192408132996860622265302420594330924503050376324738196\ 4148*c_1001_2^3 + 3830912774362493625742710275498147930084897903695\ 5430517865777954228828576561520482789259760997038147062867661975419\ 0330381275611282680201970717606427986586741592267/16165304938780628\ 1169185305120453309690743973097451999116926210542117521739713871105\ 6655592885226524395867319240813299686062226530242059433092450305037\ 63247381964148*c_1001_2^2 + 232964759306382584822124892866610147083\ 1331338383674200275057188823993795586381263442937382301518101176648\ 6283577779154009252086221311077240873545069280614162747183/80826524\ 6939031405845926525602266548453719865487259995584631052710587608698\ 5693555283277964426132621979336596204066498430311132651210297165462\ 2515251881623690982074*c_1001_2 - 316986872227816717321102159349722\ 0467763591030056664216113806188090512172730400332761836559522867152\ 8741989043400225204268796602927166036769725673786423450100999159/40\ 4132623469515702922963262801133274226859932743629997792315526355293\ 8043492846777641638982213066310989668298102033249215155566325605148\ 5827311257625940811845491037, c_0101_2 - 208756736300136801297004231507920388062405510431828875271141\ 0995053806297623040264995146460667562100919770721804771757460822262\ 16120018221094609650107742568748840875/4041326234695157029229632628\ 0113327422685993274362999779231552635529380434928467776416389822130\ 6631098966829810203324921515556632560514858273112576259408118454910\ 37*c_1001_2^34 - 14657506635696526027652149224375210729631132939746\ 5551037826209092867808796029927990838741328427875773327899497819218\ 0554221659469047207240496291639089688853856378475/40413262346951570\ 2922963262801133274226859932743629997792315526355293804349284677764\ 1638982213066310989668298102033249215155566325605148582731125762594\ 0811845491037*c_1001_2^33 - 173087042150065489068371812367151904579\ 1879058148431048386921068099363408375952289419095734999220430829648\ 6790534207244316759468213199054845794917646334820271082787965/16165\ 3049387806281169185305120453309690743973097451999116926210542117521\ 7397138711056655592885226524395867319240813299686062226530242059433\ 09245030503763247381964148*c_1001_2^32 - 2648311645621226578876375953452209018197716444429722810434099460566\ 7049158460964084655250668484728394555193497851271463638317280444719\ 973697919721557869119270662461051/161653049387806281169185305120453\ 3096907439730974519991169262105421175217397138711056655592885226524\ 39586731924081329968606222653024205943309245030503763247381964148*c\ _1001_2^31 - 630523289334854151917532909683688525784960305367853769\ 0225343133851142569318890681886902605661459294638828735691842728995\ 713188714235103599007517486709811188522117645/808265246939031405845\ 9265256022665484537198654872599955846310527105876086985693555283277\ 9644261326219793365962040664984303111326512102971654622515251881623\ 690982074*c_1001_2^30 + 5779222923253087298662153105031288533829224\ 0257844806313005686233476452870355651017525436627598588584682645817\ 06428182230385254337971163317523984315320823727021811877/8082652469\ 3903140584592652560226654845371986548725999558463105271058760869856\ 9355528327796442613262197933659620406649843031113265121029716546225\ 15251881623690982074*c_1001_2^29 + 1353834806600157662605867714693983846275947809860460352939780025200\ 4083577222653039337316337475184210259743689115571905125138556206447\ 548501659517998614112529315816579/808265246939031405845926525602266\ 5484537198654872599955846310527105876086985693555283277964426132621\ 9793365962040664984303111326512102971654622515251881623690982074*c_\ 1001_2^28 + 2056677863369997329038765013053183202049468125118551054\ 8619040144823484715830230949391626703662569746405630498216400103974\ 238219536152235570559115388073523723232195427/808265246939031405845\ 9265256022665484537198654872599955846310527105876086985693555283277\ 9644261326219793365962040664984303111326512102971654622515251881623\ 690982074*c_1001_2^27 + 1273612729700657679089661760985462617044530\ 4547756330041189400350290596453673683994924809540774600938898850494\ 0454705318709263933188764184559652081742256783768897292047/16165304\ 9387806281169185305120453309690743973097451999116926210542117521739\ 7138711056655592885226524395867319240813299686062226530242059433092\ 45030503763247381964148*c_1001_2^26 + 3970007138668574257614633364065248025306991996008221299495418836491\ 2656237370649950778387672144337742419439321796475140342135231998830\ 623627350978312924246148523484658/404132623469515702922963262801133\ 2742268599327436299977923155263552938043492846777641638982213066310\ 9896682981020332492151555663256051485827311257625940811845491037*c_\ 1001_2^25 + 1385098535617767272832136532923955804074541948124745459\ 1866814158881611842738005422330013713644211101105894148706946340838\ 189808257843500418460515516611854351937901836/404132623469515702922\ 9632628011332742268599327436299977923155263552938043492846777641638\ 9822130663109896682981020332492151555663256051485827311257625940811\ 845491037*c_1001_2^24 - 4930890892840433170853241762974248697626575\ 1104285901626864491863291165156781751394520333869659179156793059796\ 479831044971477456774918727520245694059920472555205338848/404132623\ 4695157029229632628011332742268599327436299977923155263552938043492\ 8467776416389822130663109896682981020332492151555663256051485827311\ 257625940811845491037*c_1001_2^23 - 8352920213991107888234787026186180584244668806208757938734069873195\ 0331846262368262346423374390817034718019429544818164006544193123086\ 707012835086282135267805602617484/404132623469515702922963262801133\ 2742268599327436299977923155263552938043492846777641638982213066310\ 9896682981020332492151555663256051485827311257625940811845491037*c_\ 1001_2^22 - 1137625087843747237062634784132799655398264804385939062\ 0305145364893690880439143415804521726022365709333320778033494327609\ 6768968257681516989100471030893438686581098061/80826524693903140584\ 5926525602266548453719865487259995584631052710587608698569355528327\ 7964426132621979336596204066498430311132651210297165462251525188162\ 3690982074*c_1001_2^21 + 476814301376693737555855137753468429516136\ 7449228702913574289971853996909513283201250628183574943327821663163\ 995120824979326419682765796342224395361047187878975315193/808265246\ 9390314058459265256022665484537198654872599955846310527105876086985\ 6935552832779644261326219793365962040664984303111326512102971654622\ 515251881623690982074*c_1001_2^20 + 1195827530029245843617366070939644710221359835064171047130988761819\ 0852218755518912763103525300542915153947783923375137751254108140704\ 5692625000728129320238358560001973/80826524693903140584592652560226\ 6548453719865487259995584631052710587608698569355528327796442613262\ 19793365962040664984303111326512102971654622515251881623690982074*c\ _1001_2^19 + 794963623911106650262639274638416310695182251330546960\ 3524879420921609738703044294284383792916810475302119687222283217528\ 5412998140378882108830788305639519447703226185/80826524693903140584\ 5926525602266548453719865487259995584631052710587608698569355528327\ 7964426132621979336596204066498430311132651210297165462251525188162\ 3690982074*c_1001_2^18 + 127204059053903107740228254068618400581969\ 3988097446891296110184049371071693400015923864259671982070451643137\ 11012852482631889842306830361448867305822785082176639815425/1616530\ 4938780628116918530512045330969074397309745199911692621054211752173\ 9713871105665559288522652439586731924081329968606222653024205943309\ 245030503763247381964148*c_1001_2^17 - 1125944084503819277076099762495788348609268820046885952762370054156\ 4384794711509036027674470613876494258014445881122341948131549981207\ 852054765475877288646452839172689/808265246939031405845926525602266\ 5484537198654872599955846310527105876086985693555283277964426132621\ 9793365962040664984303111326512102971654622515251881623690982074*c_\ 1001_2^16 - 7489284697211743689009242357642980677451176007952006736\ 6423229621582713557780787814301540366026350933207476813787192865282\ 358994195279351258209882350224394467279203403/161653049387806281169\ 1853051204533096907439730974519991169262105421175217397138711056655\ 5928852265243958673192408132996860622265302420594330924503050376324\ 7381964148*c_1001_2^15 - 641839613731389132006721141151865576914458\ 6049976012930643818685963727320325682526705490138582818413331005909\ 7588417225162856515203083659959524891668703701292808563610/40413262\ 3469515702922963262801133274226859932743629997792315526355293804349\ 2846777641638982213066310989668298102033249215155566325605148582731\ 1257625940811845491037*c_1001_2^14 - 4772418285027295083146835571645611038276455321141242535729525255201\ 9844534957456766182920077360480661135738976598830431191898449360453\ 5673426132531919098583302435124/10922503337013937916836844940571169\ 5736989171011791891295220412528457784959266129125449702221974765161\ 8829269757306283571663666574487877995332736692592994914743001*c_100\ 1_2^13 + 3105204115562854411660565164354786460618703446467882796377\ 5926589011686731458516591219751516975440277970344340626477637223266\ 88819999988638797229313664681430260376797/4369001334805575166734737\ 9762284678294795668404716756518088165011383113983706451650179880888\ 7899060647531707902922513428665466629795151198133094677037197965897\ 2004*c_1001_2^12 + 846163867248330597411066915579163736587678831737\ 1236817366804302726970798278467314071506318750207910585273487647264\ 9247750347062418127068781787857309573033151392414635/80826524693903\ 1405845926525602266548453719865487259995584631052710587608698569355\ 5283277964426132621979336596204066498430311132651210297165462251525\ 1881623690982074*c_1001_2^11 - 205115098056159207696621579500133138\ 6221980585716957724457478988843676493773805587271859130731280212130\ 6091518001601174992130785484040424706435606393639437589079186641/16\ 1653049387806281169185305120453309690743973097451999116926210542117\ 5217397138711056655592885226524395867319240813299686062226530242059\ 43309245030503763247381964148*c_1001_2^10 - 3420814208614532594560106901040633484681872719447108399912442980419\ 1083937258032143112647982947754481079158914081053574725820779366397\ 385743685234966283951203930434643/808265246939031405845926525602266\ 5484537198654872599955846310527105876086985693555283277964426132621\ 9793365962040664984303111326512102971654622515251881623690982074*c_\ 1001_2^9 - 82018561475445814964296918182988384802206117445556616041\ 8241280119686604649708522216568863856176720460151296322176827192448\ 2962891178667779522912800724418959423629570/40413262346951570292296\ 3262801133274226859932743629997792315526355293804349284677764163898\ 2213066310989668298102033249215155566325605148582731125762594081184\ 5491037*c_1001_2^8 + 7016035204566443705175390207148379297973369870\ 7070072554543624956889868112738935335116586349109578331241619314399\ 50147151383259896987725948059031135523529389024065606/4041326234695\ 1570292296326280113327422685993274362999779231552635529380434928467\ 7764163898221306631098966829810203324921515556632560514858273112576\ 25940811845491037*c_1001_2^7 + 203282287351253765637342217398233803\ 8630958488793808566063801578229203825334354863304565834150879676620\ 338001790660969394100174482921939471342725173240551636273729453/808\ 2652469390314058459265256022665484537198654872599955846310527105876\ 0869856935552832779644261326219793365962040664984303111326512102971\ 654622515251881623690982074*c_1001_2^6 - 7589782235389435322694113468920023737465396986233656411525534390567\ 5176731036094961318434769788760390193787663150287587648783711496629\ 255434064012910748772753470797/161653049387806281169185305120453309\ 6907439730974519991169262105421175217397138711056655592885226524395\ 86731924081329968606222653024205943309245030503763247381964148*c_10\ 01_2^5 - 1214717802384002139459997359915927795855884882569725261796\ 2474111490192915441518419908932136997793615577194398936091348107283\ 24492286555364007163495828900731677127017/4041326234695157029229632\ 6280113327422685993274362999779231552635529380434928467776416389822\ 1306631098966829810203324921515556632560514858273112576259408118454\ 91037*c_1001_2^4 + 446417135045643082064551638850569764804440128707\ 2233793349421280115522258313240059556542343259102951104783651596630\ 561654048488658437236482868529009581291365495992759/161653049387806\ 2811691853051204533096907439730974519991169262105421175217397138711\ 0566555928852265243958673192408132996860622265302420594330924503050\ 3763247381964148*c_1001_2^3 - 1006248056079066659612545035568860560\ 7785868103693402470394314564031568967081138124029985573799847884553\ 97835512013032053411858383883453457060034804631181260392009749/1616\ 5304938780628116918530512045330969074397309745199911692621054211752\ 1739713871105665559288522652439586731924081329968606222653024205943\ 309245030503763247381964148*c_1001_2^2 + 7630888795967293473730291046377721197430656859622448484743452402849\ 1747769773956869341433295600158503451067226148241370246186889918117\ 065879146337756865056382374109/808265246939031405845926525602266548\ 4537198654872599955846310527105876086985693555283277964426132621979\ 3365962040664984303111326512102971654622515251881623690982074*c_100\ 1_2 - 1025437115194469504831800961956797827676409801837147378330888\ 4154042054416477428898478837692012493206979228793943804496047654541\ 6278332285746391737549782955522548841/40413262346951570292296326280\ 1133274226859932743629997792315526355293804349284677764163898221306\ 6310989668298102033249215155566325605148582731125762594081184549103\ 7, c_0110_6 - 229273909045926058454283218208560318226035879742577996487603\ 9731565876060527288972904825453143621828316778069224347814678140151\ 43387889688165310826764324695414995875/4041326234695157029229632628\ 0113327422685993274362999779231552635529380434928467776416389822130\ 6631098966829810203324921515556632560514858273112576259408118454910\ 37*c_1001_2^34 - 16262979977357677988986844576420688154988321544855\ 4862626736941495606695014168780951808932640679389806237032269286203\ 9573901387447607448627786791354816881056189313975/40413262346951570\ 2922963262801133274226859932743629997792315526355293804349284677764\ 1638982213066310989668298102033249215155566325605148582731125762594\ 0811845491037*c_1001_2^33 - 194752887033935899688710915505956059807\ 1052364187310338779810878905165543752204340825685858942024575462090\ 0706473540747828112816221321197911027173514362693639420759365/16165\ 3049387806281169185305120453309690743973097451999116926210542117521\ 7397138711056655592885226524395867319240813299686062226530242059433\ 09245030503763247381964148*c_1001_2^32 - 3042455694200930571105849922352010584988538187287412546110919754528\ 8693553023637158336124424953505837065562094797735024040849133179883\ 421943457313782868142127076445631/161653049387806281169185305120453\ 3096907439730974519991169262105421175217397138711056655592885226524\ 39586731924081329968606222653024205943309245030503763247381964148*c\ _1001_2^31 - 785792431305926035644310002499359669348502350140395962\ 0562459508001472339641155901334564709816331576544767809094131372164\ 270239698091618386830567695941543468794103097/808265246939031405845\ 9265256022665484537198654872599955846310527105876086985693555283277\ 9644261326219793365962040664984303111326512102971654622515251881623\ 690982074*c_1001_2^30 + 6125337635175578544473188152906500611479995\ 4889353938000459914129080429126035161883676360982381648460319842620\ 52735220597615168449010303475912353248124344997640831501/8082652469\ 3903140584592652560226654845371986548725999558463105271058760869856\ 9355528327796442613262197933659620406649843031113265121029716546225\ 15251881623690982074*c_1001_2^29 + 1553952035348448920388502692874860498659766822110710575541476846863\ 1427478395650402485947562534397331507330057291222534552131369966731\ 584101761437869016971275305307915/808265246939031405845926525602266\ 5484537198654872599955846310527105876086985693555283277964426132621\ 9793365962040664984303111326512102971654622515251881623690982074*c_\ 1001_2^28 + 2319452476277866758556531179293671124556154596177926944\ 2122242582506481098667880762679510034504362640528401205612825273085\ 769457648330470975718685048819961542524074695/808265246939031405845\ 9265256022665484537198654872599955846310527105876086985693555283277\ 9644261326219793365962040664984303111326512102971654622515251881623\ 690982074*c_1001_2^27 + 1413691606166559988223717240717347253962150\ 3747953083196255670342895991263599202472540520842898963803692016016\ 4109373801288606904135292606390710426836678485465797276343/16165304\ 9387806281169185305120453309690743973097451999116926210542117521739\ 7138711056655592885226524395867319240813299686062226530242059433092\ 45030503763247381964148*c_1001_2^26 + 4578598018467101443005858740662805713538390133047171508759050180862\ 0698075493548823679386446030048509762123802169787412668731010246841\ 087052578402551282787351743737659/404132623469515702922963262801133\ 2742268599327436299977923155263552938043492846777641638982213066310\ 9896682981020332492151555663256051485827311257625940811845491037*c_\ 1001_2^25 + 1815347874264718083316308779108209712921544438532069905\ 9329121183840534433070641639207630688455743274044383438436527848912\ 558643361005363290684595988256243858790202483/404132623469515702922\ 9632628011332742268599327436299977923155263552938043492846777641638\ 9822130663109896682981020332492151555663256051485827311257625940811\ 845491037*c_1001_2^24 - 5406403947829888247114269015243564886922640\ 0460707333151139389707431882651321613306480579639955698882976476456\ 887189396567076999372230194793954042932621859437377346888/404132623\ 4695157029229632628011332742268599327436299977923155263552938043492\ 8467776416389822130663109896682981020332492151555663256051485827311\ 257625940811845491037*c_1001_2^23 - 9587716866269939462382957028659372707699146580092363487558982493947\ 3916895506500584203974905523263186797657863326972138552368399006608\ 087743271002911522961334510500085/404132623469515702922963262801133\ 2742268599327436299977923155263552938043492846777641638982213066310\ 9896682981020332492151555663256051485827311257625940811845491037*c_\ 1001_2^22 - 1345230733223041575666846153268472102949830644715421470\ 5210187587477521167361323912178066213857501726607450409992792513461\ 9226874590553595672428760508078830246037727825/80826524693903140584\ 5926525602266548453719865487259995584631052710587608698569355528327\ 7964426132621979336596204066498430311132651210297165462251525188162\ 3690982074*c_1001_2^21 + 431831647450529180289356131328680764471967\ 3583088800736302500230843812409559914811533497162015529360086168443\ 358620801789881293432097990246039432631561030440168369703/808265246\ 9390314058459265256022665484537198654872599955846310527105876086985\ 6935552832779644261326219793365962040664984303111326512102971654622\ 515251881623690982074*c_1001_2^20 + 1372859732394183441118221162339277383036988718709731310917050536517\ 1195317612937586141048236833856023970094764841369831705110383757085\ 6139814037297594933775747976199519/80826524693903140584592652560226\ 6548453719865487259995584631052710587608698569355528327796442613262\ 19793365962040664984303111326512102971654622515251881623690982074*c\ _1001_2^19 + 942797616871775420390323848978618541368503847425766190\ 8779360002186793240514771536061855912745976472520940929661657916182\ 5760115504970813514082757374126859906364539673/80826524693903140584\ 5926525602266548453719865487259995584631052710587608698569355528327\ 7964426132621979336596204066498430311132651210297165462251525188162\ 3690982074*c_1001_2^18 + 135378934744801161375251475334000934137057\ 3194303360774437448457687148443697127034400197473485473123433189561\ 95307493540808371473744080179438493635020489728923642804673/1616530\ 4938780628116918530512045330969074397309745199911692621054211752173\ 9713871105665559288522652439586731924081329968606222653024205943309\ 245030503763247381964148*c_1001_2^17 - 1775563697432720982339729330987214984881737730359177970988561561308\ 3148868901725007237351224284332754079500671080160058018278538272815\ 672121404858791826398108901222445/808265246939031405845926525602266\ 5484537198654872599955846310527105876086985693555283277964426132621\ 9793365962040664984303111326512102971654622515251881623690982074*c_\ 1001_2^16 - 8713885569328218610729443502349320614789252350732092650\ 4185097668224701837610389575126511683032006361587449807794990826373\ 271075427086887675441908762228682539668286083/161653049387806281169\ 1853051204533096907439730974519991169262105421175217397138711056655\ 5928852265243958673192408132996860622265302420594330924503050376324\ 7381964148*c_1001_2^15 - 717234085126528612424855145501812056935190\ 5475612156487462655055718442614358790674330133813333718491561943567\ 7028165091194117699206405853995326962197701956355259328065/40413262\ 3469515702922963262801133274226859932743629997792315526355293804349\ 2846777641638982213066310989668298102033249215155566325605148582731\ 1257625940811845491037*c_1001_2^14 - 5890957057175521438938407941246495518433966356165455627960144565425\ 4912162567228471966181990105548804857135312160561137609920934152782\ 3447854493021663598976583843323/10922503337013937916836844940571169\ 5736989171011791891295220412528457784959266129125449702221974765161\ 8829269757306283571663666574487877995332736692592994914743001*c_100\ 1_2^13 + 3521853788747877164012993635449763949185073711318783724217\ 4327565366286742002435747996157690856804873035795975260113832661873\ 46087463567247701725905749127570462231325/4369001334805575166734737\ 9762284678294795668404716756518088165011383113983706451650179880888\ 7899060647531707902922513428665466629795151198133094677037197965897\ 2004*c_1001_2^12 + 104133297684194767578284688452806951355370400393\ 8481611310568022961206386951964765956846882530485325361468359696927\ 98018510611280511896512873330652761095704244929639189/8082652469390\ 3140584592652560226654845371986548725999558463105271058760869856935\ 5528327796442613262197933659620406649843031113265121029716546225152\ 51881623690982074*c_1001_2^11 - 15522005030228378260215283185506035\ 7560452580550330288808788010642894613749899253903600484268551905158\ 06451796599637205526696723293018286196116055887246773712188923661/1\ 6165304938780628116918530512045330969074397309745199911692621054211\ 7521739713871105665559288522652439586731924081329968606222653024205\ 943309245030503763247381964148*c_1001_2^10 - 4497285069621687878345352614523234409434671953775831909845208082447\ 3663674808299314186865582069996905040822053255312096241046904642929\ 239458180661041957299749792502283/808265246939031405845926525602266\ 5484537198654872599955846310527105876086985693555283277964426132621\ 9793365962040664984303111326512102971654622515251881623690982074*c_\ 1001_2^9 - 11872887142812475883993006419255445142873614397218764932\ 3957248846190337628968562440975600217115289821493382667349200423054\ 73203396141649145343598810463028806564771356/4041326234695157029229\ 6326280113327422685993274362999779231552635529380434928467776416389\ 8221306631098966829810203324921515556632560514858273112576259408118\ 45491037*c_1001_2^8 + 855163833572248732404359489390697786941672884\ 5486944416453049397338763304245714452930455890980763291554031782879\ 677095543677476951654316736078716688598404273739504575/404132623469\ 5157029229632628011332742268599327436299977923155263552938043492846\ 7776416389822130663109896682981020332492151555663256051485827311257\ 625940811845491037*c_1001_2^7 + 54189827671263282000348458461828213\ 2400166978539640319681247401402243146354243721708201301546132571096\ 2248738616021154513671167206949111556834717209059875744845162155/80\ 8265246939031405845926525602266548453719865487259995584631052710587\ 6086985693555283277964426132621979336596204066498430311132651210297\ 1654622515251881623690982074*c_1001_2^6 + 7255811951643928041967787853167127980320015403149864452117720302071\ 7346183670929981376671608020255210104700333073955762525380404181081\ 9163784602431059648957583332859/16165304938780628116918530512045330\ 9690743973097451999116926210542117521739713871105665559288522652439\ 586731924081329968606222653024205943309245030503763247381964148*c_1\ 001_2^5 - 179288607554860586617692469730540651211298585702462920969\ 1066593934712073840630273155145524280215034284385097672248772769867\ 991359121690270299908857250249485966656926/404132623469515702922963\ 2628011332742268599327436299977923155263552938043492846777641638982\ 2130663109896682981020332492151555663256051485827311257625940811845\ 491037*c_1001_2^4 + 44484857445416723227770801232700746707141380366\ 5972255747008949247151118206899551612551729345789854482774830681210\ 8014295116835716457528427687956086663154887628561787/16165304938780\ 6281169185305120453309690743973097451999116926210542117521739713871\ 1056655592885226524395867319240813299686062226530242059433092450305\ 03763247381964148*c_1001_2^3 - 705687197093419203993668867838005073\ 1584298347437140109392222581127551792198363832644833020169044748345\ 36891792432400070695084124327876204640219385560950301862934737/1616\ 5304938780628116918530512045330969074397309745199911692621054211752\ 1739713871105665559288522652439586731924081329968606222653024205943\ 309245030503763247381964148*c_1001_2^2 + 1509454556726811611665343745419400440971107284895012817834902541983\ 4765684967913834960320485823892496364167645609476622106226472459189\ 4451333340467258974218737152095/80826524693903140584592652560226654\ 8453719865487259995584631052710587608698569355528327796442613262197\ 93365962040664984303111326512102971654622515251881623690982074*c_10\ 01_2 - 148142011811974764740739390776640073535448070826215476836899\ 8003159592782952878841230547398020996861533067596355337455081282180\ 58243841233839452489574590822779525311/4041326234695157029229632628\ 0113327422685993274362999779231552635529380434928467776416389822130\ 6631098966829810203324921515556632560514858273112576259408118454910\ 37, c_1001_1 + 924443484538569873825029489596404591327683638737862491119979\ 1871345508956914579840512765713360412437266864194020810365941788425\ 9239899003867178249383046288866299125/40413262346951570292296326280\ 1133274226859932743629997792315526355293804349284677764163898221306\ 6310989668298102033249215155566325605148582731125762594081184549103\ 7*c_1001_2^34 + 666280251763808801759659723087685148331216754485219\ 5502422367255538138675524589123839213942363857251002374499197686059\ 72585206313508606719115614560319056775433583275/4041326234695157029\ 2296326280113327422685993274362999779231552635529380434928467776416\ 3898221306631098966829810203324921515556632560514858273112576259408\ 11845491037*c_1001_2^33 + 80906873640602539424702660940213159547970\ 8697160008629831353017543988972123584244621201112964152106631662602\ 5202511821427711954952958578213725926873347611984940662635/16165304\ 9387806281169185305120453309690743973097451999116926210542117521739\ 7138711056655592885226524395867319240813299686062226530242059433092\ 45030503763247381964148*c_1001_2^32 + 1272680068948059763073803725249303149571544598572420179479739368398\ 0433601017417197422620712731963850508361094104721475310390112223400\ 762024632508342309076102109392479/161653049387806281169185305120453\ 3096907439730974519991169262105421175217397138711056655592885226524\ 39586731924081329968606222653024205943309245030503763247381964148*c\ _1001_2^31 + 160894296203836525891316179390776334628201706100152469\ 5936117784657887684093678258263113003322505116997196392345317999606\ 071695807341075694458108511522915548868562432/404132623469515702922\ 9632628011332742268599327436299977923155263552938043492846777641638\ 9822130663109896682981020332492151555663256051485827311257625940811\ 845491037*c_1001_2^30 - 3094678367046430956483550726567375894322980\ 9816234908828944667540969340612107747021704325507522261657483635431\ 73582057723191235401269525852005957005920584020908215217/8082652469\ 3903140584592652560226654845371986548725999558463105271058760869856\ 9355528327796442613262197933659620406649843031113265121029716546225\ 15251881623690982074*c_1001_2^29 - 6964929854188443177232301389438244223049257437928594186059884607982\ 9497877335991367086311996538549663694775185821680438877704047785489\ 35338593079560574712645911725241/8082652469390314058459265256022665\ 4845371986548725999558463105271058760869856935552832779644261326219\ 793365962040664984303111326512102971654622515251881623690982074*c_1\ 001_2^28 - 94847548413364837542355459348519582605122908591301371693\ 9045696307040342727348302319341484265741629618289600784514031525263\ 2559663001798457409001557979374236843643259/80826524693903140584592\ 6525602266548453719865487259995584631052710587608698569355528327796\ 4426132621979336596204066498430311132651210297165462251525188162369\ 0982074*c_1001_2^27 - 569726863232026442289065968531324379537378403\ 5569681921349973901215896531426520599089850666031907438094120369795\ 5961202180672100962694917469710959283966323405709251349/16165304938\ 7806281169185305120453309690743973097451999116926210542117521739713\ 8711056655592885226524395867319240813299686062226530242059433092450\ 30503763247381964148*c_1001_2^26 - 3870111100648312059191159486493181747399001366740970058479175687007\ 4511333188263689053502206782836985180351000665588039112596635745509\ 464977405450702539119856402752353/808265246939031405845926525602266\ 5484537198654872599955846310527105876086985693555283277964426132621\ 9793365962040664984303111326512102971654622515251881623690982074*c_\ 1001_2^25 - 7111686588298016194646807634367204999863858849361358057\ 3394018616227040389536820654051358256053610326787614813961960502012\ 63890559273856972402005593935138808055705905/4041326234695157029229\ 6326280113327422685993274362999779231552635529380434928467776416389\ 8221306631098966829810203324921515556632560514858273112576259408118\ 45491037*c_1001_2^24 + 24015422801387485555295348635054725633801849\ 1983690686651045552044042315697285296715741497908565123404902515132\ 98090036529388252125285751173827677799196341555782519802/4041326234\ 6951570292296326280113327422685993274362999779231552635529380434928\ 4677764163898221306631098966829810203324921515556632560514858273112\ 57625940811845491037*c_1001_2^23 + 4196067002766567775189913032067836746307625089320836757663014828118\ 4255872052023375366590975038028899868726825001058801726532706430865\ 064915860844710528255507451971813/404132623469515702922963262801133\ 2742268599327436299977923155263552938043492846777641638982213066310\ 9896682981020332492151555663256051485827311257625940811845491037*c_\ 1001_2^22 + 5497856624836189469426051932622771018680812022204625133\ 6000809811525127685073492608981733382354055523205285003974867269111\ 329160281989031649998085712375267530087419611/808265246939031405845\ 9265256022665484537198654872599955846310527105876086985693555283277\ 9644261326219793365962040664984303111326512102971654622515251881623\ 690982074*c_1001_2^21 - 8678358906745878700367624275649990261785496\ 3204238083167357355920716174387367375027875629711066254451279692867\ 60749921706801190164103482209404961895413934002278285259/8082652469\ 3903140584592652560226654845371986548725999558463105271058760869856\ 9355528327796442613262197933659620406649843031113265121029716546225\ 15251881623690982074*c_1001_2^20 - 6314911950491628836733580949646853010343369014594778355154753958028\ 4863754690115403027967095403740095713910868654000784725144342075952\ 863943907937378497641138838908193/808265246939031405845926525602266\ 5484537198654872599955846310527105876086985693555283277964426132621\ 9793365962040664984303111326512102971654622515251881623690982074*c_\ 1001_2^19 - 4245104334190434248925621187727289518475690673989710906\ 0611391617321448434099957982893762673067074394071545540830457467482\ 625769680430831707670538975633810889411122787/808265246939031405845\ 9265256022665484537198654872599955846310527105876086985693555283277\ 9644261326219793365962040664984303111326512102971654622515251881623\ 690982074*c_1001_2^18 - 4426785563448819900513121394255330023209566\ 8933898214132794764243235080074633288384090978024068082408266326771\ 887636665002621931937085008696936074182341727249315810847/161653049\ 3878062811691853051204533096907439730974519991169262105421175217397\ 1387110566555928852265243958673192408132996860622265302420594330924\ 5030503763247381964148*c_1001_2^17 + 4707704794865865794869860858485480317555355772604164874400180041908\ 4500944950255983358093199145373987523431505786256639554959542588806\ 93086348583981283350746662401515/4041326234695157029229632628011332\ 7422685993274362999779231552635529380434928467776416389822130663109\ 896682981020332492151555663256051485827311257625940811845491037*c_1\ 001_2^16 + 41840740132246892906066243032997808623617577266424294334\ 3811648157006070404398452952742398606544680713191714979916351735131\ 27413379906233150153414921519575476887339713/1616530493878062811691\ 8530512045330969074397309745199911692621054211752173971387110566555\ 9288522652439586731924081329968606222653024205943309245030503763247\ 381964148*c_1001_2^15 + 5911613308944050925118163062404487854345833\ 8765309428144269007504493697677711524977341429391530914971779896316\ 127380501317475683137546485504275580363588615990314872313/808265246\ 9390314058459265256022665484537198654872599955846310527105876086985\ 6935552832779644261326219793365962040664984303111326512102971654622\ 515251881623690982074*c_1001_2^14 + 2877345033933223607892678803830774897046562288556159555499377447847\ 9790108643803775133812023360322613540350902516498301159950119267118\ 9092101152584787711535310608403/10922503337013937916836844940571169\ 5736989171011791891295220412528457784959266129125449702221974765161\ 8829269757306283571663666574487877995332736692592994914743001*c_100\ 1_2^13 - 1739598510192732957610968944168307232821409591636432097263\ 7957072228007491785986479944012163433162002110675323997009895078983\ 40827128589945387628780752619058754109031/4369001334805575166734737\ 9762284678294795668404716756518088165011383113983706451650179880888\ 7899060647531707902922513428665466629795151198133094677037197965897\ 2004*c_1001_2^12 - 237458289154190562525349368884781024283176132411\ 9779422624408251192839263634459844026133758572468118353455397802066\ 7561317463725868103935015942862333953928173778039618/40413262346951\ 5702922963262801133274226859932743629997792315526355293804349284677\ 7641638982213066310989668298102033249215155566325605148582731125762\ 5940811845491037*c_1001_2^11 + 960479867509357536459386459776760317\ 5821176088447405412342545199665851048858637898558333433703663621149\ 486830032339735389794858264448151325430520260775452623067859663/161\ 6530493878062811691853051204533096907439730974519991169262105421175\ 2173971387110566555928852265243958673192408132996860622265302420594\ 3309245030503763247381964148*c_1001_2^10 + 1234896192091787143489849020390026347538764742319739366487084423626\ 5604876835203865789715747959276624819124498977492171988092540947234\ 426844090851645080602278574727788/404132623469515702922963262801133\ 2742268599327436299977923155263552938043492846777641638982213066310\ 9896682981020332492151555663256051485827311257625940811845491037*c_\ 1001_2^9 + 48889731997539121676303668828594085445924357492315549975\ 3696969653394515599024642823974256334606476913494796313969545372718\ 6905295200094103957805750344291794803398973/40413262346951570292296\ 3262801133274226859932743629997792315526355293804349284677764163898\ 2213066310989668298102033249215155566325605148582731125762594081184\ 5491037*c_1001_2^8 - 5098376957462007661581222341440361310407874593\ 7157737941415836868431416785004485170214081331322132294893059455088\ 44695422475930369132366017848632746329394247741999655/4041326234695\ 1570292296326280113327422685993274362999779231552635529380434928467\ 7764163898221306631098966829810203324921515556632560514858273112576\ 25940811845491037*c_1001_2^7 - 373297050268315313651090541105036514\ 6667670876507964416633177747758457666611035041839908934966439526391\ 175601272422315588166270263296474825031599597194262001224097333/808\ 2652469390314058459265256022665484537198654872599955846310527105876\ 0869856935552832779644261326219793365962040664984303111326512102971\ 654622515251881623690982074*c_1001_2^6 + 3108393410449686821812596322181453455702026547395000347688852796160\ 7528168936971944571770356540948612219789347835111270630340158402901\ 71664638627807084218349975599887/1616530493878062811691853051204533\ 0969074397309745199911692621054211752173971387110566555928852265243\ 9586731924081329968606222653024205943309245030503763247381964148*c_\ 1001_2^5 + 19893192140423889177797907072984264814001351148859163508\ 1979226243990057995565313944620167151901441548037680523150697981863\ 6988402563738502472695781402627370159628559/80826524693903140584592\ 6525602266548453719865487259995584631052710587608698569355528327796\ 4426132621979336596204066498430311132651210297165462251525188162369\ 0982074*c_1001_2^4 - 2259925494282018571510169819606158021428349791\ 6576931532026656636662590042171052072795696869265987288925146425597\ 95957752492411535248356573556257139417422314395570521/1616530493878\ 0628116918530512045330969074397309745199911692621054211752173971387\ 1105665559288522652439586731924081329968606222653024205943309245030\ 503763247381964148*c_1001_2^3 - 37862862721665423273803532912582632\ 4579532169661613114846937798189191351109588971158975478923431053761\ 312508195145488894135458293575279293535691128385433043564459003/161\ 6530493878062811691853051204533096907439730974519991169262105421175\ 2173971387110566555928852265243958673192408132996860622265302420594\ 3309245030503763247381964148*c_1001_2^2 + 4256509821143660659617227461913134443709738176290591155520802428409\ 4004467730662185843527592914149030562917380317682710284458415495250\ 793711514589735173936095611803/404132623469515702922963262801133274\ 2268599327436299977923155263552938043492846777641638982213066310989\ 6682981020332492151555663256051485827311257625940811845491037*c_100\ 1_2 + 6640704999686513145636643929619581146679704462631029675278445\ 3410468351001646408027095631454319292792214388555240610815614184371\ 755925824023269734995313758750762478/404132623469515702922963262801\ 1332742268599327436299977923155263552938043492846777641638982213066\ 3109896682981020332492151555663256051485827311257625940811845491037\ , c_1001_2^35 + 603/95*c_1001_2^34 + 1599/100*c_1001_2^33 + 168027/9500*c_1001_2^32 - 30679/4750*c_1001_2^31 - 115049/4750*c_1001_2^30 - 108529/4750*c_1001_2^29 - 125741/4750*c_1001_2^28 - 1127863/9500*c_1001_2^27 - 207294/2375*c_1001_2^26 + 148281/2375*c_1001_2^25 + 134221/475*c_1001_2^24 + 564971/2375*c_1001_2^23 - 17291/4750*c_1001_2^22 - 191097/950*c_1001_2^21 - 1310883/4750*c_1001_2^20 + 55411/4750*c_1001_2^19 - 149937/9500*c_1001_2^18 + 630771/4750*c_1001_2^17 + 614703/9500*c_1001_2^16 + 116784/475*c_1001_2^15 - 16126/125*c_1001_2^14 - 1861433/9500*c_1001_2^13 - 531269/4750*c_1001_2^12 + 1634137/9500*c_1001_2^11 + 320783/4750*c_1001_2^10 - 46296/2375*c_1001_2^9 - 154624/2375*c_1001_2^8 + 91849/4750*c_1001_2^7 + 45913/9500*c_1001_2^6 + 15394/2375*c_1001_2^5 - 95687/9500*c_1001_2^4 + 44857/9500*c_1001_2^3 - 4927/4750*c_1001_2^2 + 1844/2375*c_1001_2 - 46/125 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 15.280 Total time: 15.490 seconds, Total memory usage: 119.16MB