Magma V2.19-8 Wed Aug 21 2013 00:04:41 on localhost [Seed = 374372423] Type ? for help. Type -D to quit. Loading file "K13n200__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n200 geometric_solution 11.89640209 oriented_manifold CS_known -0.0000000000000010 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -7 0 7 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.488998364679 0.575270500735 0 5 4 6 0132 0132 3012 0132 0 0 0 0 0 0 -1 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 0 0 0 0 8 -8 7 0 -7 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.863092682325 0.971644169456 3 0 8 7 0321 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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.636636633056 0.459759827783 2 9 5 0 0321 0132 2031 0132 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 7 -7 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.113847127534 1.056348456159 4 1 0 4 3201 1230 0132 2310 0 0 0 0 0 -1 0 1 -1 0 0 1 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 1 -8 8 0 0 -8 8 0 0 -8 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.663024073720 0.880192217541 6 1 10 3 0213 0132 0132 1302 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 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.758874345494 0.694832597386 5 7 1 8 0213 2310 0132 2031 0 0 0 0 0 1 -1 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 -8 8 0 0 0 0 0 0 7 0 -7 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.220974506908 0.642228166008 9 11 2 6 0213 0132 0132 3201 0 0 0 0 0 0 0 0 -1 0 0 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 -1 1 7 0 0 -7 -8 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.851874549107 0.668560233992 10 6 12 2 2103 1302 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.454123550818 0.487927051876 7 3 11 12 0213 0132 0132 0321 0 0 0 0 0 0 0 0 -1 0 1 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 -8 0 -7 -1 0 8 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.240367797013 0.829563909259 12 11 8 5 2103 3201 2103 0132 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 -7 0 0 0 0 0 0 0 0 -7 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.406817045855 0.587904020486 12 7 10 9 0213 0132 2310 0132 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -8 0 0 8 1 0 0 -1 7 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.571893798974 1.309792260326 11 9 10 8 0213 0321 2103 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 8 -8 0 0 -7 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.386048945611 0.808335279519 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : negation(d['c_0011_12']), 'c_1001_12' : d['c_0011_10'], 'c_1001_5' : negation(d['c_1001_11']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_1001_11']), 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0110_5']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : negation(d['c_0110_5']), 'c_1010_12' : negation(d['c_0110_5']), 'c_1010_11' : d['c_1001_0'], 'c_1010_10' : negation(d['c_1001_11']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_12'], 'c_0101_10' : d['c_0011_11'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_2']), 'c_1100_4' : d['c_0011_4'], 'c_1100_7' : negation(d['c_0011_6']), 'c_1100_6' : negation(d['c_1001_2']), 'c_1100_1' : negation(d['c_1001_2']), 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_6']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : negation(d['c_0101_2']), 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_11'], 'c_1010_6' : negation(d['c_0011_12']), 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_11']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0110_5']), 'c_1010_8' : d['c_1001_2'], 'c_1100_8' : negation(d['c_0011_6']), 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_6']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_11']), '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_11']), 'c_0110_10' : d['c_0011_6'], 'c_0110_12' : d['c_0011_11'], 'c_0101_12' : d['c_0011_11'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0011_0'], 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : negation(d['c_0011_11']), 'c_0101_8' : d['c_0011_11'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_12']), 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0011_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_7' : d['c_0011_12'], 'c_0110_6' : negation(d['c_0110_5'])})} 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_12, c_0011_3, c_0011_4, c_0011_6, c_0101_1, c_0101_2, c_0110_5, c_1001_0, c_1001_11, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 40 Groebner basis: [ t + 8569333818284357483049041040875598961685972279535150204637032408026\ 9894645417462930988255047812804823560523957865401784516251018365733\ 05283309326065970996734960393629344954130215865430985/6002734815100\ 1483299979537714430323313955641841432763472179740747513342487336540\ 5454716812135273184463378544228537691033855965382663902393792612233\ 8713389326989276466178279987628691706444669*c_1001_2^39 + 6983473240702608182367988620151513088420993530043085525247269301835\ 4765724877164589820433113929967994990026953557395684258044488072754\ 630552903411639050519593869401258120145053525379458283/120054696302\ 0029665999590754288606466279112836828655269443594814950266849746730\ 8109094336242705463689267570884570753820677119307653278047875852244\ 677426778653978552932356559975257383412889338*c_1001_2^38 - 1044295512409759970880890261065743590688156277046699157432274045221\ 5288552435425087553039645167811362456361639250468186070306437279312\ 1598453352506928947318919582890097339829312643005310269/60027348151\ 0014832999795377144303233139556418414327634721797407475133424873365\ 4054547168121352731844633785442285376910338559653826639023937926122\ 338713389326989276466178279987628691706444669*c_1001_2^37 - 1922805221913152411133590732011975707398132409781225074019652538018\ 1264789019999634610638265225676293643598206954581931211589181369465\ 17978068090150370862545662481556696046375030898341/7695764533689076\ 7751462538976583897941622991957016638960237102002568371340358767630\ 2993970724896871767973979946971738686105813914864523168175347893758\ 80787007638110860549355294244161338*c_1001_2^36 + 7506268736166107767730203297122901436996373229175527775038632528302\ 0753590969611062610410757553191504161739998543142350261191140862276\ 46760847429682532954297201365657847500913326928427727779/2401093926\ 0400593319991815085772129325582256736573105388871896299005336994934\ 6162181886724854109273785351417691415076413542386153065560957517044\ 89354853557307957105864713119950514766825778676*c_1001_2^35 + 1422439584679776289348001270519392689699818739138619633650623308015\ 4462467821131323580666575303284603239215302359088000619278260142719\ 58351391377357659559148433234963336440909303061649293763/6002734815\ 1001483299979537714430323313955641841432763472179740747513342487336\ 5405454716812135273184463378544228537691033855965382663902393792612\ 2338713389326989276466178279987628691706444669*c_1001_2^34 - 6604380531206095429831628449542242591258876463286682153662357260415\ 5451434516428776057444387224628571838435294683347751913409998656880\ 08503206696695430000629830683413476284364457793279707143/6002734815\ 1001483299979537714430323313955641841432763472179740747513342487336\ 5405454716812135273184463378544228537691033855965382663902393792612\ 2338713389326989276466178279987628691706444669*c_1001_2^33 + 1930670340467552053504062865052558931652876767662825601201879591675\ 9518289514291334218671018560221363885329457649647136453455323935422\ 63515268454325435936743267187261426872054502856124028817/6002734815\ 1001483299979537714430323313955641841432763472179740747513342487336\ 5405454716812135273184463378544228537691033855965382663902393792612\ 2338713389326989276466178279987628691706444669*c_1001_2^32 + 8895984391328801994027393450317174299829857124652661614139153997500\ 6356065039872050821095186650152155993889496381741691692446264098393\ 816720699146632684334068860256703767182216142707182464027/120054696\ 3020029665999590754288606466279112836828655269443594814950266849746\ 7308109094336242705463689267570884570753820677119307653278047875852\ 244677426778653978552932356559975257383412889338*c_1001_2^31 + 4384970585994454024122071188493398479415878962878872405331029373105\ 4342290880548896442434113456703052175227670687726905813342737703400\ 7166147319289560950331032141987146617800116089811951194275/24010939\ 2604005933199918150857721293255822567365731053888718962990053369949\ 3461621818867248541092737853514176914150764135423861530655609575170\ 4489354853557307957105864713119950514766825778676*c_1001_2^30 - 1512497778853127230665582411830176034712681308025845961302249946278\ 8645651802823779751434913619701342306663872435615822837937845656460\ 4031718417530684093519905699708761313350715299239021705269/24010939\ 2604005933199918150857721293255822567365731053888718962990053369949\ 3461621818867248541092737853514176914150764135423861530655609575170\ 4489354853557307957105864713119950514766825778676*c_1001_2^29 - 4170104240772041285172899122026723441197653742967998641788428398763\ 4518672993786968000356773291574286134941631499184502690669474960025\ 19566101206954016814779139313000796369384342947344812322/3531020479\ 4706754882340904537900190184679789318489860865988082792654907345492\ 0826738068713020748932037281496605022171196385861989802295525760360\ 137571375842764075086245781175742864218026157*c_1001_2^28 + 2304329332179210299546294489511164077308370553217937203232512950675\ 2609610622771001409197984072493950823782334546437435907301035093993\ 47943090024040104611238363211836206944341873772403749296471/2401093\ 9260400593319991815085772129325582256736573105388871896299005336994\ 9346162181886724854109273785351417691415076413542386153065560957517\ 04489354853557307957105864713119950514766825778676*c_1001_2^27 + 1042456163625653090498254634714011130863194595546714355455472980054\ 9534837155552408248768067609079599075691803068878703397916541260701\ 187718761197267953753842085361765614491459108176947280615601/240109\ 3926040059331999181508577212932558225673657310538887189629900533699\ 4934616218188672485410927378535141769141507641354238615306556095751\ 704489354853557307957105864713119950514766825778676*c_1001_2^26 + 1426274345770427462478719610614222106374383191872569346406846250519\ 7833080850036008028542773866096788952260736511658281255969377133359\ 529880865868237320928258663795469929816921450391658557926499/240109\ 3926040059331999181508577212932558225673657310538887189629900533699\ 4934616218188672485410927378535141769141507641354238615306556095751\ 704489354853557307957105864713119950514766825778676*c_1001_2^25 + 9982628198032012275082572170620941386065463012602898027617713923890\ 1967742750240435538285188943415510474080692720040957883535018382298\ 11451437955763770204107347743690171867635833246856646853235/2401093\ 9260400593319991815085772129325582256736573105388871896299005336994\ 9346162181886724854109273785351417691415076413542386153065560957517\ 04489354853557307957105864713119950514766825778676*c_1001_2^24 + 4942987249208862294958593200364391938175641099207065285102628379724\ 1379195915149277728688740433717827923111207595492990032183820539629\ 58421146278485270992151487269093400235941430921240358355123/6002734\ 8151001483299979537714430323313955641841432763472179740747513342487\ 3365405454716812135273184463378544228537691033855965382663902393792\ 6122338713389326989276466178279987628691706444669*c_1001_2^23 + 1300913713099049570275997566539476561082914248726675145617380620392\ 7151230257005933090922304902734660210395872028468767124576186144882\ 38061952132862987824931911431791243841004716704684568049832/3531020\ 4794706754882340904537900190184679789318489860865988082792654907345\ 4920826738068713020748932037281496605022171196385861989802295525760\ 360137571375842764075086245781175742864218026157*c_1001_2^22 + 2226240115383144968663357991794267426846787487960886698798001952695\ 9831131107032844866903338258891123692453228818824163949801076512245\ 6991978946684421303151358252084900157460511187347364749855769/24010\ 9392604005933199918150857721293255822567365731053888718962990053369\ 9493461621818867248541092737853514176914150764135423861530655609575\ 1704489354853557307957105864713119950514766825778676*c_1001_2^21 + 3822347420689978206199523234715660746320456181002049887858513819205\ 7359013333034304998089512674859909910267542274907137922031136928377\ 9122091675778012325689267228376106055560246526894934457441573/24010\ 9392604005933199918150857721293255822567365731053888718962990053369\ 9493461621818867248541092737853514176914150764135423861530655609575\ 1704489354853557307957105864713119950514766825778676*c_1001_2^20 + 2698388983695707879871356354593091300773685844763108805679392394559\ 3259177841427317490202763900178566256287783881196908133028800259263\ 9772967088852816975049230384719975743545553656199377236455505/12005\ 4696302002966599959075428860646627911283682865526944359481495026684\ 9746730810909433624270546368926757088457075382067711930765327804787\ 5852244677426778653978552932356559975257383412889338*c_1001_2^19 + 3521281070414651107593813846357848174624440090858169048300503406057\ 6614468328739676842064665482352369818652995635419730049560048900176\ 150955551082167187253594566736716920312681155692924987088223/141240\ 8191788270195293636181516007607387191572739594434639523311706196293\ 8196833069522748520829957281491259864200886847855434479592091821030\ 41440550285503371056300344983124702971456872104628*c_1001_2^18 + 3846289377272804201241846871846296938704906545825240074732858828278\ 4495225741163807897395118804294111807007189634085154022971941350930\ 5456782112821856852428523434848101516898907925864825372024947/24010\ 9392604005933199918150857721293255822567365731053888718962990053369\ 9493461621818867248541092737853514176914150764135423861530655609575\ 1704489354853557307957105864713119950514766825778676*c_1001_2^17 - 9170846010605169469950323007490392747353391885295496840979630575617\ 1088654002845512829865376864868870301720017969433404779068650323758\ 632891174685917767323114206981297590185786861194588242663413/240109\ 3926040059331999181508577212932558225673657310538887189629900533699\ 4934616218188672485410927378535141769141507641354238615306556095751\ 704489354853557307957105864713119950514766825778676*c_1001_2^16 - 6314484545255365673730735357629300603742944494006612720496926618379\ 2699841133108190825717559575880253249618190647001706393008288440326\ 1508971620713543154103212036249587705339995341110709035527657/24010\ 9392604005933199918150857721293255822567365731053888718962990053369\ 9493461621818867248541092737853514176914150764135423861530655609575\ 1704489354853557307957105864713119950514766825778676*c_1001_2^15 - 1788356802015198665778623192149348878921602074545561788494473035721\ 5692714837008884111776589514572465463374767723300004502355045791916\ 02370369472610232292197840143710795257080299024259981556828/4318514\ 2554677326115093192600309585117953699166498390987179669602527584523\ 2636982341522886428254089541998952682401216571119399555873311074670\ 94405314484815302081125655958848831861091413271*c_1001_2^14 - 7044861659493877412019756148360632637465407151225947278129126800228\ 2573799186653736794752039180817353764646353266424944930398701610820\ 268764450983852128393666230827248406859780888392677364796287/141240\ 8191788270195293636181516007607387191572739594434639523311706196293\ 8196833069522748520829957281491259864200886847855434479592091821030\ 41440550285503371056300344983124702971456872104628*c_1001_2^13 - 2599639243634536443624751786582267024722065564825677858959496322704\ 5310758459011674802651888439332645645482388889314917231017781930331\ 3793418243050157333830315333313855377442301251235583988220541/60027\ 3481510014832999795377144303233139556418414327634721797407475133424\ 8733654054547168121352731844633785442285376910338559653826639023937\ 926122338713389326989276466178279987628691706444669*c_1001_2^12 - 3681509335155817444841860938655931796610887789243625467302025827380\ 1246962912895462684171662759044895867817332824911451715262254519332\ 7493659455885628461945705809051505632466531497630001317312735/12005\ 4696302002966599959075428860646627911283682865526944359481495026684\ 9746730810909433624270546368926757088457075382067711930765327804787\ 5852244677426778653978552932356559975257383412889338*c_1001_2^11 - 5457810336057294235303911910343811253806765909812994206618832821743\ 7458317157979860591513929012872099739655436934846756255015862425087\ 3163977546481554272337731612929611355394231445918055459852575/24010\ 9392604005933199918150857721293255822567365731053888718962990053369\ 9493461621818867248541092737853514176914150764135423861530655609575\ 1704489354853557307957105864713119950514766825778676*c_1001_2^10 - 3484745851505999572022915872756391837764763187504728849594813318099\ 1801064586021290497109961216316789823178828118901617953075626126952\ 6306085459147252211628759437451956126537846085578768926659043/24010\ 9392604005933199918150857721293255822567365731053888718962990053369\ 9493461621818867248541092737853514176914150764135423861530655609575\ 1704489354853557307957105864713119950514766825778676*c_1001_2^9 - 2019349186290652547203221837280669712033645923856997028224922615447\ 5916122132655660116357298102106165739671798063128326932196799226284\ 3765051287818692434761085610732759331842111681358177271617595/12005\ 4696302002966599959075428860646627911283682865526944359481495026684\ 9746730810909433624270546368926757088457075382067711930765327804787\ 5852244677426778653978552932356559975257383412889338*c_1001_2^8 - 4097571426467110392737526599868898450355216620222399660021494319136\ 4717423728717457362016854968898668661265308037560912227070982430278\ 0627883154036914100532088109160478712761739872720574788805371/24010\ 9392604005933199918150857721293255822567365731053888718962990053369\ 9493461621818867248541092737853514176914150764135423861530655609575\ 1704489354853557307957105864713119950514766825778676*c_1001_2^7 - 1947242126217962927881371166305596721974039698030310864105827094413\ 3009433954484096316552016208340963552945763642908211846756422892837\ 8393824121097548489245701196163347204458740770026777951888971/12005\ 4696302002966599959075428860646627911283682865526944359481495026684\ 9746730810909433624270546368926757088457075382067711930765327804787\ 5852244677426778653978552932356559975257383412889338*c_1001_2^6 - 7899053494761992422758965022255240095305400480842677684077019764571\ 4285326915287721862600992725841098603292074899189698589364795841203\ 459476070246251543212802665316537083842404871450909855948174/600273\ 4815100148329997953771443032331395564184143276347217974074751334248\ 7336540545471681213527318446337854422853769103385596538266390239379\ 26122338713389326989276466178279987628691706444669*c_1001_2^5 - 1421740136186406089560269633202106741780331456263080526392094035268\ 1911428935451748591271545517241971679016379819870974244348866479444\ 115610094708555567833159686686621237846197909498185086091833/141240\ 8191788270195293636181516007607387191572739594434639523311706196293\ 8196833069522748520829957281491259864200886847855434479592091821030\ 41440550285503371056300344983124702971456872104628*c_1001_2^4 - 6846656014147650810848357855137698368595179047471936716417931217689\ 1867677288221385070477390533967359108735913328693275489143234842588\ 768704476883066277728229094420962574514235042701774679542285/120054\ 6963020029665999590754288606466279112836828655269443594814950266849\ 7467308109094336242705463689267570884570753820677119307653278047875\ 852244677426778653978552932356559975257383412889338*c_1001_2^3 - 3611372385971697379277573357259714547778856642862881659587393828928\ 6711361660775675921524664931359714756803292051714435560094799897350\ 868315531414383436113240456151234254115845992013446238501753/120054\ 6963020029665999590754288606466279112836828655269443594814950266849\ 7467308109094336242705463689267570884570753820677119307653278047875\ 852244677426778653978552932356559975257383412889338*c_1001_2^2 - 6576369969474789977803186739685134266633461728834544583310442266488\ 9664261189080131485343590789640390654914397650258432256851002646279\ 29510064252313771172623336946112077671828753213560998555147/6002734\ 8151001483299979537714430323313955641841432763472179740747513342487\ 3365405454716812135273184463378544228537691033855965382663902393792\ 6122338713389326989276466178279987628691706444669*c_1001_2 - 6156264037166666901959520990822723554157911626842996057184607571142\ 2512605375396439172481101083787968111629503843911818957737867767706\ 21899604079913139824058489962773182864142005329921977238561/2401093\ 9260400593319991815085772129325582256736573105388871896299005336994\ 9346162181886724854109273785351417691415076413542386153065560957517\ 04489354853557307957105864713119950514766825778676, c_0011_0 - 1, c_0011_10 + 60110065932364650772278853521037865550480838779806234458470\ 6149830883385672548379363649970721763255134898406100177262488703954\ 166008277395413666384431608655075560285335589/127336625708334784379\ 5653146514284747203475180372060230012376668136940695627065551336539\ 5778170555274649074563876404770196891593619995024092589251939392058\ 0829966423617881915374*c_1001_2^39 + 6165715236589821727442867050359880662571356002116390260362740226604\ 7116221333683949880905824820334117500606062972244235042202169457420\ 8444986114510497827690195161428684765/12733662570833478437956531465\ 1428474720347518037206023001237666813694069562706555133653957781705\ 5527464907456387640477019689159361999502409258925193939205808299664\ 23617881915374*c_1001_2^38 - 12436525612334434728103715045891745050\ 4271158271706360154608823468959345314175466890341952507958816692341\ 5753004277155323703902538774224020208584549818850214798928301653090\ 7/12733662570833478437956531465142847472034751803720602300123766681\ 3694069562706555133653957781705552746490745638764047701968915936199\ 950240925892519393920580829966423617881915374*c_1001_2^37 + 1856604089842375231030294269114129036897594904667919449228007438848\ 6093346687318887372885030889392377697799187724533690555316939939080\ 987226719685351641255659216056141774773/127336625708334784379565314\ 6514284747203475180372060230012376668136940695627065551336539577817\ 0555274649074563876404770196891593619995024092589251939392058082996\ 6423617881915374*c_1001_2^36 + 634983991288864668887204270861710726\ 8778587580745556937202976109369957943190481553395224361779994060192\ 2798499533904374584077107780722375599261523404613203147251557346260\ 330/636683128541673921897826573257142373601737590186030115006188334\ 0684703478135327756682697889085277637324537281938202385098445796809\ 9975120462946259696960290414983211808940957687*c_1001_2^35 - 2977028653452461067736901882183790676871775890874560674675050828773\ 4725786939841249591183728477213074873293057297171391422176692428866\ 8174227131483958020912026952072764345029/12733662570833478437956531\ 4651428474720347518037206023001237666813694069562706555133653957781\ 7055527464907456387640477019689159361999502409258925193939205808299\ 66423617881915374*c_1001_2^34 - 12919259758498227108727577144270383\ 9308291909160215212154499920814666580631527395344509310313505157246\ 5777110370405422388137463463788389685781047856271193860953383095294\ 91082/6366831285416739218978265732571423736017375901860301150061883\ 3406847034781353277566826978890852776373245372819382023850984457968\ 099975120462946259696960290414983211808940957687*c_1001_2^33 + 6598670176392403819094196366469349891733057237205434293931686084567\ 7597847513732474719550126457611414490129552593651725411706566914483\ 6270610644570089577746849405085423831234/63668312854167392189782657\ 3257142373601737590186030115006188334068470347813532775668269788908\ 5277637324537281938202385098445796809997512046294625969696029041498\ 3211808940957687*c_1001_2^32 + 120773125036361424552452189281623889\ 4546297632722875645088195899482796526718014648620235326805983543060\ 2272779775546658527904859401454596167371133835891727599560113954058\ 46811/1273366257083347843795653146514284747203475180372060230012376\ 6681369406956270655513365395778170555274649074563876404770196891593\ 6199950240925892519393920580829966423617881915374*c_1001_2^31 + 5495321920535290125333214474752510324466378998876935515501315284061\ 4280061429624690274679976355919310701604451191259620531087738841132\ 3090900110229507618624152866489141980791/12733662570833478437956531\ 4651428474720347518037206023001237666813694069562706555133653957781\ 7055527464907456387640477019689159361999502409258925193939205808299\ 66423617881915374*c_1001_2^30 - 16911325342926595775812215095950548\ 6587928553778578663293020891540536091924704107758363980820959742713\ 1479609269174638494411168301648971627505006135099029711691384459999\ 1593099/12733662570833478437956531465142847472034751803720602300123\ 7666813694069562706555133653957781705552746490745638764047701968915\ 936199950240925892519393920580829966423617881915374*c_1001_2^29 + 1110739653159492017854855720472439788079993543654125893039151159330\ 4455768430118969388043837347674614940643270654285931161806179164746\ 848531985384137720412670334193588126358138/636683128541673921897826\ 5732571423736017375901860301150061883340684703478135327756682697889\ 0852776373245372819382023850984457968099975120462946259696960290414\ 983211808940957687*c_1001_2^28 + 2308230201461911740223588920216047\ 4011962821270039481204654635532693753808064357919905597916798210535\ 2414741061936513640685296308277219077870529457375978253233083121124\ 32304017/1273366257083347843795653146514284747203475180372060230012\ 3766681369406956270655513365395778170555274649074563876404770196891\ 5936199950240925892519393920580829966423617881915374*c_1001_2^27 + 4068792863849636563477688471641110299093868201922185003404106935301\ 5155726123314081577648080320960966278107429754743064291854991093108\ 719728077291053493999783679254090038207723/636683128541673921897826\ 5732571423736017375901860301150061883340684703478135327756682697889\ 0852776373245372819382023850984457968099975120462946259696960290414\ 983211808940957687*c_1001_2^26 - 8829384756739877469446459176588215\ 2477693343283375014800565022254447659869707227625710400400531466463\ 1168502652525882950171168522322935910202713349954484762500694488404\ 28096947/6366831285416739218978265732571423736017375901860301150061\ 8833406847034781353277566826978890852776373245372819382023850984457\ 968099975120462946259696960290414983211808940957687*c_1001_2^25 - 1592558474291600958501257310538522156216724225632675815953866243557\ 0916089470796676421216384236383573840181525881892111119319402759372\ 579856091792947533993624792264674886177508/636683128541673921897826\ 5732571423736017375901860301150061883340684703478135327756682697889\ 0852776373245372819382023850984457968099975120462946259696960290414\ 983211808940957687*c_1001_2^24 + 6793514191752545169156138387264362\ 1891568657743773857036252888508050856237275701874441919953616654775\ 3638708888672532019373865216861022697031117077675333966679920202535\ 71435720/6366831285416739218978265732571423736017375901860301150061\ 8833406847034781353277566826978890852776373245372819382023850984457\ 968099975120462946259696960290414983211808940957687*c_1001_2^23 + 8394149517302957646989773534995297023874848633114319179349292335014\ 0459795947835103274055864526245714121315559954077189041478467120581\ 3503278293923829095832576716846954178047227/12733662570833478437956\ 5314651428474720347518037206023001237666813694069562706555133653957\ 7817055527464907456387640477019689159361999502409258925193939205808\ 29966423617881915374*c_1001_2^22 + 1779635017764786579278432663498765441996539168157289220903338386926\ 0625358195528637773877425683443722641496125265414303832260539478577\ 3913943306394422472030231848684716080606185/12733662570833478437956\ 5314651428474720347518037206023001237666813694069562706555133653957\ 7817055527464907456387640477019689159361999502409258925193939205808\ 29966423617881915374*c_1001_2^21 - 3257804662425539873191357600011460908928146976863420098840224934659\ 0698623333610313463364003289398852898939789234317748024535596568725\ 1825523365809501046937386372720219058130189/12733662570833478437956\ 5314651428474720347518037206023001237666813694069562706555133653957\ 7817055527464907456387640477019689159361999502409258925193939205808\ 29966423617881915374*c_1001_2^20 - 7425661381776144470224655106363041257232598324000784354284311945202\ 8503232224108959567970425926575554524315086053361432818743847222352\ 2694657637601619877853566286585997372911529/63668312854167392189782\ 6573257142373601737590186030115006188334068470347813532775668269788\ 9085277637324537281938202385098445796809997512046294625969696029041\ 4983211808940957687*c_1001_2^19 - 314736349558417532191284282208010\ 4179290278673546021598188651773946397445949400527986555840100997224\ 9389360585452725544266963263324312731515506052794826566873978899007\ 63898216793/1273366257083347843795653146514284747203475180372060230\ 0123766681369406956270655513365395778170555274649074563876404770196\ 8915936199950240925892519393920580829966423617881915374*c_1001_2^18 - 55289193608394848347036816219135799837541302027055632974366563635\ 3835241311148826845765925481501425506049223221759855494083885690966\ 2116318339266989934374373714042638623869107825/12733662570833478437\ 9565314651428474720347518037206023001237666813694069562706555133653\ 9577817055527464907456387640477019689159361999502409258925193939205\ 80829966423617881915374*c_1001_2^17 - 1674250671097010066313832726089742634157948670573091073340662792398\ 5224356508676362125267022771158575160888087541692635395698137516170\ 54238102543281067396962031888341523675959603/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^16 - 4972104762254704592618268228918404404782246817939493968741084299413\ 3888603927534940114657881648270260858178658859749733209550131169161\ 9401750996090713444844894693863835243879039/12733662570833478437956\ 5314651428474720347518037206023001237666813694069562706555133653957\ 7817055527464907456387640477019689159361999502409258925193939205808\ 29966423617881915374*c_1001_2^15 + 1783360410431400820523394114166709360378540411821699416929323628958\ 2233299919179369521869464651229725991763484524788099759387903356425\ 737179997503375640309811190918125591545799/458045416217031598487645\ 0167317571033106025828676475647526534777471009696500235796174602797\ 9030774369241275409627355288478027315179838216160392992587741216125\ 8872027402452933*c_1001_2^14 + 137441145616498131123779599539174375\ 5140373724211359967859499323859828612225682534239180420046819224929\ 7767515700461126923345727868737403902245866683223333200136994605450\ 47405280/6366831285416739218978265732571423736017375901860301150061\ 8833406847034781353277566826978890852776373245372819382023850984457\ 968099975120462946259696960290414983211808940957687*c_1001_2^13 + 5438495851976754203868102697340716326201865338854267556618893307351\ 8402650381349985256241125652408613444409649640491067059068101476719\ 53240184659252207636289869854512097096890293/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^12 - 1238104894247546632914058788468431360567656313317777614704572664259\ 4657855379550791649238130845229120057303974611650468456530907260460\ 05427609835725189834564849359755379045183227/1273366257083347843795\ 6531465142847472034751803720602300123766681369406956270655513365395\ 7781705552746490745638764047701968915936199950240925892519393920580\ 829966423617881915374*c_1001_2^11 + 3544100316249598121492078423191375740088163670406514286462741011932\ 4195888114632433959933562114810941721187273125593016429604316501884\ 31832357890692318066829979444667470949424909/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^10 - 3780619022221912766507638001575658629459541099601774247335804784475\ 0733552614178542700025168844527550267571408153510559337152342304064\ 34713936541877911071539644292338146119432079/1273366257083347843795\ 6531465142847472034751803720602300123766681369406956270655513365395\ 7781705552746490745638764047701968915936199950240925892519393920580\ 829966423617881915374*c_1001_2^9 + 2198151392938592255470347346096108650343152597086934335302818326798\ 9309241226465116002850668235825431736371840343433089010807128867356\ 57785285736689413570485995307725450264476510/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^8 - 409171025604184165812722627465302\ 3878570190534493636960504712019337615831917202134143789102731697747\ 1994215757556345695184098596079312195339687197810580774139945973193\ 2641690671/12733662570833478437956531465142847472034751803720602300\ 1237666813694069562706555133653957781705552746490745638764047701968\ 915936199950240925892519393920580829966423617881915374*c_1001_2^7 + 4604436696609614472063682855956782075954209620086051957960308416954\ 5137864838179987651541120012099539444845785539584576118108162036497\ 75907803151519929714187962046911391917749561/1273366257083347843795\ 6531465142847472034751803720602300123766681369406956270655513365395\ 7781705552746490745638764047701968915936199950240925892519393920580\ 829966423617881915374*c_1001_2^6 + 5317461933930548189385456094925196096805706419601775673470508284810\ 2766313377168348094123766711381177269839332292639696317927967993694\ 1567398406841567105416184533966963096223035/12733662570833478437956\ 5314651428474720347518037206023001237666813694069562706555133653957\ 7817055527464907456387640477019689159361999502409258925193939205808\ 29966423617881915374*c_1001_2^5 + 213419871560130135168509108940664\ 7364822090378555032694547908211896918792871401226885546787481806483\ 7190039853047217160922048793645998402726361732805560405141942372352\ 29565976783/1273366257083347843795653146514284747203475180372060230\ 0123766681369406956270655513365395778170555274649074563876404770196\ 8915936199950240925892519393920580829966423617881915374*c_1001_2^4 + 2971898577330175082827261972659089516567415883953066449384530472358\ 8702380440297975953991004460973681118058067107882752830210375498423\ 5100002439489414424938757423069977887998493/12733662570833478437956\ 5314651428474720347518037206023001237666813694069562706555133653957\ 7817055527464907456387640477019689159361999502409258925193939205808\ 29966423617881915374*c_1001_2^3 + 591596169247876738035564246090877\ 2858586483290504107903812940986931167006783284907609321993124446001\ 0119912576975220538198455619539281434482767255969769250346584434395\ 3151538313/12733662570833478437956531465142847472034751803720602300\ 1237666813694069562706555133653957781705552746490745638764047701968\ 915936199950240925892519393920580829966423617881915374*c_1001_2^2 + 7047159065496266714769221510821320190525689606055112373126517211907\ 3458150456543558975966607475203901930334154692455677322262571051001\ 954143034756220785956908078185621274784397/127336625708334784379565\ 3146514284747203475180372060230012376668136940695627065551336539577\ 8170555274649074563876404770196891593619995024092589251939392058082\ 9966423617881915374*c_1001_2 + 107401534896304711095826664078706622\ 8347270689169662815487675184370812011136142248721044540287807571702\ 3406757656513315792865876437193652621748358926856598628834388965598\ 0328183/63668312854167392189782657325714237360173759018603011500618\ 8334068470347813532775668269788908527763732453728193820238509844579\ 68099975120462946259696960290414983211808940957687, c_0011_11 - 83462928667918306253574198259433950627171091375690307525616\ 2194253447757652907826693815095041951688794278334318664238137543904\ 073060760307099529041230450279741892150604778/636683128541673921897\ 8265732571423736017375901860301150061883340684703478135327756682697\ 8890852776373245372819382023850984457968099975120462946259696960290\ 414983211808940957687*c_1001_2^39 - 2408630710929767168759014865756309638138043326749704780116103140756\ 1711526301398396286605620720056539969704881213435105395475205932128\ 88460576809932626783855923953577758906/6366831285416739218978265732\ 5714237360173759018603011500618833406847034781353277566826978890852\ 7763732453728193820238509844579680999751204629462596969602904149832\ 11808940957687*c_1001_2^38 + 25847265261526665643729869763090181681\ 7735239627096506463681992759845689180876157424118752056578850732613\ 7814402821540659427058007678957051892565880894507082869237894916706\ 1/12733662570833478437956531465142847472034751803720602300123766681\ 3694069562706555133653957781705552746490745638764047701968915936199\ 950240925892519393920580829966423617881915374*c_1001_2^37 - 1879075186140492937045916448937104908601738144167227014690228889084\ 6781513511795913513171171572802408821279966043847884035537223743418\ 01532412525394186159291206257374604301/1273366257083347843795653146\ 5142847472034751803720602300123766681369406956270655513365395778170\ 5552746490745638764047701968915936199950240925892519393920580829966\ 423617881915374*c_1001_2^36 - 3586294058039927828531114765824678392\ 0633827501826851572170539409251857297455133464303588611368688173942\ 5333229746237004074657472354918561423020112859020726666750676259949\ 075/127336625708334784379565314651428474720347518037206023001237666\ 8136940695627065551336539577817055527464907456387640477019689159361\ 99950240925892519393920580829966423617881915374*c_1001_2^35 + 7280186175257476629505958751272776776125497901735160742103696996994\ 1603609462533961443484630105453526319546267317432677676863760255441\ 015345283647191373526007591845500662293/636683128541673921897826573\ 2571423736017375901860301150061883340684703478135327756682697889085\ 2776373245372819382023850984457968099975120462946259696960290414983\ 211808940957687*c_1001_2^34 + 5288066492757860911024264714312881932\ 2066798170888589934622802483882768057420215504721847463383179065169\ 2962966928959896751833724068898578430443490597621484736057920085478\ 502/636683128541673921897826573257142373601737590186030115006188334\ 0684703478135327756682697889085277637324537281938202385098445796809\ 9975120462946259696960290414983211808940957687*c_1001_2^33 - 1547034927981732187995860072429742664182681846674001422386826947119\ 9480852720614537887795268114811863225884471768369224611185964143761\ 69482368229742994608369728297666282164335/1273366257083347843795653\ 1465142847472034751803720602300123766681369406956270655513365395778\ 1705552746490745638764047701968915936199950240925892519393920580829\ 966423617881915374*c_1001_2^32 - 3305889558992861120025190522883779\ 7443778038818788939706179650949813178678235791349346500388967620448\ 1571530181456286122202143460984141026072948547551664980960817543032\ 3550911/63668312854167392189782657325714237360173759018603011500618\ 8334068470347813532775668269788908527763732453728193820238509844579\ 68099975120462946259696960290414983211808940957687*c_1001_2^31 - 7009336600079115751309844805708637037798279279320068521560222282865\ 3637314028624966418594561915110732270193294784086578363036860741533\ 18772716935508267154280843446665081172025/6366831285416739218978265\ 7325714237360173759018603011500618833406847034781353277566826978890\ 8527763732453728193820238509844579680999751204629462596969602904149\ 83211808940957687*c_1001_2^30 + 11585673039899018911556711100130625\ 7062065874758650148144047701157924389919943476026936044606039579003\ 4722253631882882117051040190927924930786304972130684122707250768852\ 0743852/63668312854167392189782657325714237360173759018603011500618\ 8334068470347813532775668269788908527763732453728193820238509844579\ 68099975120462946259696960290414983211808940957687*c_1001_2^29 - 6888481717669409085385847010978168484243424653205205178204828823639\ 5010543951456396231899803202906486290637256090808039722925374767388\ 41736587398298957162830025173044482453940/6366831285416739218978265\ 7325714237360173759018603011500618833406847034781353277566826978890\ 8527763732453728193820238509844579680999751204629462596969602904149\ 83211808940957687*c_1001_2^28 - 89187468354711951342020604409122345\ 1050972087147859529153003802497005869157928035131225456560111728916\ 3055858742743331232694119076809846783534647957832520198377679578947\ 5978459/12733662570833478437956531465142847472034751803720602300123\ 7666813694069562706555133653957781705552746490745638764047701968915\ 936199950240925892519393920580829966423617881915374*c_1001_2^27 - 4053140058010364538004311690557888122093863149229568097339566241673\ 2987879724616079248151965561611116149561570754100322770645931099422\ 4790090819639117324315644698136935636856643/12733662570833478437956\ 5314651428474720347518037206023001237666813694069562706555133653957\ 7817055527464907456387640477019689159361999502409258925193939205808\ 29966423617881915374*c_1001_2^26 - 1161843765238039096998552245232971715818886277380571709783657101533\ 9716302854977685213895138654257895177599672771924114453164559018212\ 5871507971558711502579031977412835543289566/63668312854167392189782\ 6573257142373601737590186030115006188334068470347813532775668269788\ 9085277637324537281938202385098445796809997512046294625969696029041\ 4983211808940957687*c_1001_2^25 - 238465349171260551115676027597102\ 9701455758486191366037316733826223159292127025109355472219345769879\ 0592287459161673382309028706712080168120888201255929158367606408566\ 3643506707/12733662570833478437956531465142847472034751803720602300\ 1237666813694069562706555133653957781705552746490745638764047701968\ 915936199950240925892519393920580829966423617881915374*c_1001_2^24 - 6241841220084258778415047049107298609980187739362831569843453334760\ 5244907981820413276363095277530153083258995298502663547343129536200\ 9243421857215732672885250559639519157238333/12733662570833478437956\ 5314651428474720347518037206023001237666813694069562706555133653957\ 7817055527464907456387640477019689159361999502409258925193939205808\ 29966423617881915374*c_1001_2^23 - 1738429276168683006192304353080735867014584246572446954795200335112\ 8478619085901760923070262262421967111624970219964860596025918598934\ 75297126535550203637014039336951363807176902/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^22 - 3399461330581235518388127256711379455584647321764779687806667552379\ 3140706256267165652197055500611464551697788290670168792025993775551\ 30874300966693936938624581400829314457068876/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^21 - 5443106011622315588562710405299652294897674244223196967494903665727\ 3867026629813652126190520387865337066989955208259654224170176240794\ 90605218654963816167867578835880190510688355/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^20 - 6782184285073826899024413034445065076574996932960317752897065254413\ 5407668436908289822156495724574387533195750489202714511034228617410\ 81174837851179640205777884716806861192172567/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^19 - 1262661186979147989528538273782004112751781431377636795909621176681\ 6605097223913793619390555825939208087482085808977112996760208973098\ 901940871788037664660660442585514353282338997/127336625708334784379\ 5653146514284747203475180372060230012376668136940695627065551336539\ 5778170555274649074563876404770196891593619995024092589251939392058\ 0829966423617881915374*c_1001_2^18 - 2863414899098169636022196383393179402798031710917429052059998036650\ 1920641571175850675080727818260298720665373732064686158482519203792\ 56380042056315901405443718355108091518399799/1273366257083347843795\ 6531465142847472034751803720602300123766681369406956270655513365395\ 7781705552746490745638764047701968915936199950240925892519393920580\ 829966423617881915374*c_1001_2^17 + 4752900660887118848077092954569713510286414421410278079703825310190\ 3427739155761923856060671242944542949899955710714869910724430173611\ 53785968993817892153344906182267122648623672/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^16 + 1093909551346408053708349821503754519848712672882109707280932928045\ 0434074980873914064338126429819362023985655929775126222188365070531\ 314674554594615131218534038337561269495358185/636683128541673921897\ 8265732571423736017375901860301150061883340684703478135327756682697\ 8890852776373245372819382023850984457968099975120462946259696960290\ 414983211808940957687*c_1001_2^15 + 1704590092758441508509422752151810688296994540110587520515603617648\ 4968415062343649438234727554245330787924242696817743525353312931008\ 3182111989908559907313186659972897949607097/91609083243406319697529\ 0033463514206621205165735295129505306955494201939300047159234920559\ 5806154873848255081925471057695605463035967643232078598517548243225\ 17744054804905866*c_1001_2^14 + 28661027946870319329534314159899668\ 5061063822493579069918199270840238288541828289162103506427967800009\ 1886987900480041688234364963820620371907999335173691871218504669537\ 5160008147/12733662570833478437956531465142847472034751803720602300\ 1237666813694069562706555133653957781705552746490745638764047701968\ 915936199950240925892519393920580829966423617881915374*c_1001_2^13 + 1262463113804723371378616575993132948787138273995621514931270657098\ 2397161295850160785096677529133524795405902509378983509672344216343\ 848998318755148974160943105352172142072387861/127336625708334784379\ 5653146514284747203475180372060230012376668136940695627065551336539\ 5778170555274649074563876404770196891593619995024092589251939392058\ 0829966423617881915374*c_1001_2^12 + 8618030042787967447670869173559500155779986344367908807019080904857\ 9192335619000832587588358120224878049668117353709767245337466092244\ 70763479478533285724370579569028525165134070/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^11 + 1236123031556879379229346536615003368233017575422087459843766997293\ 8699579233843415747684457379187515283570822310328864033225569665934\ 75199676369340890929963584126778846005425027/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^10 + 6722031234653308905843358687167295474136128833481595216622368705558\ 5379897906693923044240698701264590518287669977966303399432914269296\ 40224814964257002494884086755926546560119212/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^9 + 641913939204055118186155962039241\ 1088199620404525893928094022787858398596129619738258609692437580738\ 3939310877925275731397113289089815385668217774620877724989310806302\ 65441512277/1273366257083347843795653146514284747203475180372060230\ 0123766681369406956270655513365395778170555274649074563876404770196\ 8915936199950240925892519393920580829966423617881915374*c_1001_2^8 + 1319858240800585658609673077814640991922632374582564680041112823058\ 9912131485276549495442916248477228761370222978804781735139638429209\ 492101676304389318788530430241505690544502949/127336625708334784379\ 5653146514284747203475180372060230012376668136940695627065551336539\ 5778170555274649074563876404770196891593619995024092589251939392058\ 0829966423617881915374*c_1001_2^7 + 5997878380154923088993478266885544278307260810784247427241533521649\ 3115482431456872781883658606613596092700480860660295734790685988640\ 03368565196252364624146005639928615571931099/1273366257083347843795\ 6531465142847472034751803720602300123766681369406956270655513365395\ 7781705552746490745638764047701968915936199950240925892519393920580\ 829966423617881915374*c_1001_2^6 + 6811002060857507969773723575044301871726174453933756884862316179130\ 1344189152905622374173171561738170964943368314544166786485996106841\ 71169997190022605809072050333938963336524881/1273366257083347843795\ 6531465142847472034751803720602300123766681369406956270655513365395\ 7781705552746490745638764047701968915936199950240925892519393920580\ 829966423617881915374*c_1001_2^5 + 2686260191361725566566041436550571485757942830513408018539896784528\ 8786937709133805615471200094135678210100419144654579313487742057494\ 87832666732395370491672983595033680638708769/1273366257083347843795\ 6531465142847472034751803720602300123766681369406956270655513365395\ 7781705552746490745638764047701968915936199950240925892519393920580\ 829966423617881915374*c_1001_2^4 + 1157827867003002979812227953124076733873738810594205106691608146128\ 9058566889031831670739758443663803400711523312293701053082835500792\ 77953917960571330140083711414612637578711361/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^3 + 980362667386172282403667082420803\ 5829440973380459753222576136746952579313763030368043522401107777667\ 1494834664570421559490730256023302531458723269919587989028495374079\ 6966754731/12733662570833478437956531465142847472034751803720602300\ 1237666813694069562706555133653957781705552746490745638764047701968\ 915936199950240925892519393920580829966423617881915374*c_1001_2^2 + 5919489106192625354632897927568540500463243863937261698853753424334\ 3155246764817434497527758699986382479761070699806792017358350475035\ 8971104381942477239090450931075475036370599/12733662570833478437956\ 5314651428474720347518037206023001237666813694069562706555133653957\ 7817055527464907456387640477019689159361999502409258925193939205808\ 29966423617881915374*c_1001_2 + 25904094135362659517386900825038774\ 3727633760735099173753935661263062231535845197864809714971776985095\ 9142718071584664541207570058505234619961735113335314546270636074396\ 32322693/1273366257083347843795653146514284747203475180372060230012\ 3766681369406956270655513365395778170555274649074563876404770196891\ 5936199950240925892519393920580829966423617881915374, c_0011_12 - 25859365855923148359628101346092014413709729375082884922476\ 9548835951538064551384971813816321704266299499962623356082380203386\ 212259218289490263779186313767247899551012539/636683128541673921897\ 8265732571423736017375901860301150061883340684703478135327756682697\ 8890852776373245372819382023850984457968099975120462946259696960290\ 414983211808940957687*c_1001_2^39 - 8391285883478080422334858768432949080620975304058590908261114140948\ 9230536158451852667244508610244079185098858750280410884576786468179\ 6036420219668405834176868809686353247/63668312854167392189782657325\ 7142373601737590186030115006188334068470347813532775668269788908527\ 7637324537281938202385098445796809997512046294625969696029041498321\ 1808940957687*c_1001_2^38 + 737243191623158602417215307695634756221\ 1734095870721950976638906816049467965047780203850128763649551995802\ 058457743231260608308638386918000264646024366085736979000313658387/\ 1273366257083347843795653146514284747203475180372060230012376668136\ 9406956270655513365395778170555274649074563876404770196891593619995\ 0240925892519393920580829966423617881915374*c_1001_2^37 + 1889473588209085397625630663213089742310172946184699304135566592862\ 3151560771409692862150022140782966546810939417098034691117980966619\ 08683947397287991126225825057023183907/1273366257083347843795653146\ 5142847472034751803720602300123766681369406956270655513365395778170\ 5552746490745638764047701968915936199950240925892519393920580829966\ 423617881915374*c_1001_2^36 - 1099287592664914599748206915446736615\ 3548607298007011899013278855231371507507071322137118458452687574019\ 1426969206928590681590231923043522310680281610342259710903193825300\ 063/127336625708334784379565314651428474720347518037206023001237666\ 8136940695627065551336539577817055527464907456387640477019689159361\ 99950240925892519393920580829966423617881915374*c_1001_2^35 + 3641550079310579664051264982514434124852685913500542761050789831695\ 0118856101809440269543494814565534186637146449723098719983774175264\ 56227102216576085759040933604582491605/6366831285416739218978265732\ 5714237360173759018603011500618833406847034781353277566826978890852\ 7763732453728193820238509844579680999751204629462596969602904149832\ 11808940957687*c_1001_2^34 + 15958328276309842994440156850610105565\ 2704200197230908535453714868206221356547004621533168120584841632477\ 0305839095878205287792607052646221837898519203448129580965032947691\ 01/6366831285416739218978265732571423736017375901860301150061883340\ 6847034781353277566826978890852776373245372819382023850984457968099\ 975120462946259696960290414983211808940957687*c_1001_2^33 - 3752030827085944656360305443388944406888752506411679850936917407339\ 2471967513568928143674203974017958679127430919666624179896666745194\ 1953913345428329920401945675751081300705/12733662570833478437956531\ 4651428474720347518037206023001237666813694069562706555133653957781\ 7055527464907456387640477019689159361999502409258925193939205808299\ 66423617881915374*c_1001_2^32 - 10548853916075898298321047489303986\ 8059919699261208523477569609111251988310120205079952385663641745814\ 8341234430537301367669243579046090329600778346580926149999037703874\ 784313/636683128541673921897826573257142373601737590186030115006188\ 3340684703478135327756682697889085277637324537281938202385098445796\ 8099975120462946259696960290414983211808940957687*c_1001_2^31 - 2572014464047312078249988541387934758883154341993734983744825434056\ 2396166764575076678919931791725050623185445242781537506119347129417\ 11791353285949933998923441921880892585744/6366831285416739218978265\ 7325714237360173759018603011500618833406847034781353277566826978890\ 8527763732453728193820238509844579680999751204629462596969602904149\ 83211808940957687*c_1001_2^30 + 25179399143088027374651662442910111\ 8469483985200648425196851891677396419258592147032476729309634627364\ 4986819378682040225470099867815675620049890573945378355187891281077\ 399431/636683128541673921897826573257142373601737590186030115006188\ 3340684703478135327756682697889085277637324537281938202385098445796\ 8099975120462946259696960290414983211808940957687*c_1001_2^29 - 1369141586560778467008684435914084417659708704540012913514627362633\ 6079770645212628425864684282439680152174016747527699861971913475612\ 99693310723705016273804876259905080107616/6366831285416739218978265\ 7325714237360173759018603011500618833406847034781353277566826978890\ 8527763732453728193820238509844579680999751204629462596969602904149\ 83211808940957687*c_1001_2^28 - 28245614352756103238783454362133637\ 9171479333771690299220916877555106619340727874826882822159750296959\ 1456478945320884403419204273058542017948401251955567472768050623914\ 0211529/12733662570833478437956531465142847472034751803720602300123\ 7666813694069562706555133653957781705552746490745638764047701968915\ 936199950240925892519393920580829966423617881915374*c_1001_2^27 - 1336220105588040850413337940602338185543194240000533490784099961687\ 8549908134798560618324290202232798158015532038843273319794624480479\ 6330978241905077935304580614254745360117889/12733662570833478437956\ 5314651428474720347518037206023001237666813694069562706555133653957\ 7817055527464907456387640477019689159361999502409258925193939205808\ 29966423617881915374*c_1001_2^26 - 6329595567592370201994722439986799771026730646804228021461601979864\ 3864382989402374184922548544072896677971070931073670555787226466048\ 813848586057090702911295115358425493507390/636683128541673921897826\ 5732571423736017375901860301150061883340684703478135327756682697889\ 0852776373245372819382023850984457968099975120462946259696960290414\ 983211808940957687*c_1001_2^25 - 1260356215967361891670064620923831\ 1683790409307267409703736125357905890711606399877398044878034932996\ 0486521715553398088376797385737846303781456388225084452326577238019\ 909259931/127336625708334784379565314651428474720347518037206023001\ 2376668136940695627065551336539577817055527464907456387640477019689\ 15936199950240925892519393920580829966423617881915374*c_1001_2^24 - 2550209134745728652621769619309158953350103947640707602341043723023\ 3094938725612035061691602469237929332837635563460361915413725499710\ 4884278182152857278796565546440585451172585/12733662570833478437956\ 5314651428474720347518037206023001237666813694069562706555133653957\ 7817055527464907456387640477019689159361999502409258925193939205808\ 29966423617881915374*c_1001_2^23 - 5700505667418093455449718233236305049380566831024513333847899054863\ 2036805510032443382098864571605342606170551055406299215392002335275\ 8228372783182478418720812341658333900233923/63668312854167392189782\ 6573257142373601737590186030115006188334068470347813532775668269788\ 9085277637324537281938202385098445796809997512046294625969696029041\ 4983211808940957687*c_1001_2^22 - 127377655637111558960216238164799\ 8758727410319618810701820672531057694131164721459606457084269177258\ 6223051038394067088633153687100599825319696620336874380085674347362\ 31112526835/6366831285416739218978265732571423736017375901860301150\ 0618833406847034781353277566826978890852776373245372819382023850984\ 457968099975120462946259696960290414983211808940957687*c_1001_2^21 - 2175286580185973194825356882470902728582511369871500452014020976916\ 8541397965445022271956300185926351446305905729404749889161533236518\ 02693579531209318961548330017751480118987868/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^20 - 3001518813589838882036332984191008998516101105438150201033041111062\ 5133605134017061876720173132127899545583489854207054202350486965241\ 13931058905100639444367973388198339150860431/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^19 - 6223174914706167363999811705454305969677632852223321350256339708213\ 2466001296353284178426048326409621733605919179879731813749502469144\ 16968925165269651950276646777543393432285363/1273366257083347843795\ 6531465142847472034751803720602300123766681369406956270655513365395\ 7781705552746490745638764047701968915936199950240925892519393920580\ 829966423617881915374*c_1001_2^18 - 3361386088169871402080817337898913992411191214502941384639361780277\ 2750492469641623072658029194254114956841574121089951217136784551416\ 34591155610969316853544041164091567649043291/1273366257083347843795\ 6531465142847472034751803720602300123766681369406956270655513365395\ 7781705552746490745638764047701968915936199950240925892519393920580\ 829966423617881915374*c_1001_2^17 + 8869968512546177089807885346230268327159119113535977121323102693117\ 1291233158935801722306548946068401293709783811348570411036080063216\ 9961584321599392497460879518097020278209952/63668312854167392189782\ 6573257142373601737590186030115006188334068470347813532775668269788\ 9085277637324537281938202385098445796809997512046294625969696029041\ 4983211808940957687*c_1001_2^16 + 388380997768332066070021045598075\ 7132963891941484651761522864505797600782143498388506376363476831274\ 2765584363294154978534384450146381135201549121599321767006549594645\ 59215285355/6366831285416739218978265732571423736017375901860301150\ 0618833406847034781353277566826978890852776373245372819382023850984\ 457968099975120462946259696960290414983211808940957687*c_1001_2^15 + 7834322072610901988197321864281408190924096827576038422799110025794\ 1449906983379490900660205136493338808463947641714952504383202359943\ 843257394198393689313867018856738732172991/916090832434063196975290\ 0334635142066212051657352951295053069554942019393000471592349205595\ 8061548738482550819254710576956054630359676432320785985175482432251\ 7744054804905866*c_1001_2^14 + 133217055525027602544384328829254431\ 7077079509515206382708102840297328868083725190811803009611695403770\ 5012237898880733429692058037417041492566569590300477349268991261159\ 532491487/127336625708334784379565314651428474720347518037206023001\ 2376668136940695627065551336539577817055527464907456387640477019689\ 15936199950240925892519393920580829966423617881915374*c_1001_2^13 + 9218092212076471477935102352844199614773297691008075861033596254696\ 2396263876409925341222068327587181639320370732973410795237019638967\ 58825597920970141693643881558155047131769053/1273366257083347843795\ 6531465142847472034751803720602300123766681369406956270655513365395\ 7781705552746490745638764047701968915936199950240925892519393920580\ 829966423617881915374*c_1001_2^12 + 4177462317846318183160472964876834980801214794794490928103245549595\ 0190066315745638662560357056982267879920315298589563534491754245690\ 79411420304746434505416863723404581579698851/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^11 + 1921541362799833625346506444942046427305916447961810499012991935906\ 9240029832766674533138013811121442040511725234426621573701782985945\ 09183475432223233027287667518006592606112475/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^10 + 2053502154181572404184588607164959963217521798882045985541118749715\ 7875611692226043522902013101758903554848498068752558427267717971287\ 01827724192609134091374904965535117773586395/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^9 + 493082527019925263161099240667085\ 4225959730469176220770605809130558077342957890497563542846080176849\ 3087987834925488626672487281884008169586181010403762332688033470596\ 56261717561/1273366257083347843795653146514284747203475180372060230\ 0123766681369406956270655513365395778170555274649074563876404770196\ 8915936199950240925892519393920580829966423617881915374*c_1001_2^8 + 3903453675687091478655727508206436506391078247161953630277292061165\ 4889066910357651406692476349858431760059152762180191151726210535171\ 50284099969810086766588949552382627913248433/1273366257083347843795\ 6531465142847472034751803720602300123766681369406956270655513365395\ 7781705552746490745638764047701968915936199950240925892519393920580\ 829966423617881915374*c_1001_2^7 + 5289282419098860372400429276814842379791959745644484499844739563494\ 7922092924028776525067694223263516534960911028803685690230462548235\ 51049582886168327054857706608775078747665877/1273366257083347843795\ 6531465142847472034751803720602300123766681369406956270655513365395\ 7781705552746490745638764047701968915936199950240925892519393920580\ 829966423617881915374*c_1001_2^6 + 2438718502700289668104042320518941215292616343020227151239465621285\ 0913651430830004491843910285658262763419226413683879213774255904215\ 16420937336111130796697482071783396470455235/1273366257083347843795\ 6531465142847472034751803720602300123766681369406956270655513365395\ 7781705552746490745638764047701968915936199950240925892519393920580\ 829966423617881915374*c_1001_2^5 + 2874067032263746033560525099952765145949590053610804440758438042075\ 6626884011042400791020877958800127655420534971508351755297303659390\ 44256158224887067942770918067330373353595075/1273366257083347843795\ 6531465142847472034751803720602300123766681369406956270655513365395\ 7781705552746490745638764047701968915936199950240925892519393920580\ 829966423617881915374*c_1001_2^4 + 3673800878706534914730421281064343952794813224135238036076660361509\ 3169368225705995503156380343911176151820128354376882188778555456875\ 5481671282815296414787578581447142340483665/63668312854167392189782\ 6573257142373601737590186030115006188334068470347813532775668269788\ 9085277637324537281938202385098445796809997512046294625969696029041\ 4983211808940957687*c_1001_2^3 + 1125637310398398061015518556720107\ 7080711357077876519917266868730094121672814742697655091658047534454\ 2106171501187789618036218219854293836214166542290789415479404045597\ 7005692955/12733662570833478437956531465142847472034751803720602300\ 1237666813694069562706555133653957781705552746490745638764047701968\ 915936199950240925892519393920580829966423617881915374*c_1001_2^2 + 9578514383284278690296247662990901472852246238406569038028843450331\ 1540641752433094557252574461747967629887355868460621266880435732257\ 814787437955364310324968333291307116683719/127336625708334784379565\ 3146514284747203475180372060230012376668136940695627065551336539577\ 8170555274649074563876404770196891593619995024092589251939392058082\ 9966423617881915374*c_1001_2 + 326689316027083954411771536619610011\ 8715022700406832744951838438225592191758147654696913687880684012442\ 0284248778804186385145460170476230165984978857817536899324371471947\ 8969057/12733662570833478437956531465142847472034751803720602300123\ 7666813694069562706555133653957781705552746490745638764047701968915\ 936199950240925892519393920580829966423617881915374, c_0011_3 - 422393716119690659489140726714014133722174009173428403497031\ 7480175689009534307074664052527569628458346934247958312143866879813\ 86722527143201660222275769099213791641917320/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^39 - 1382477093056820892719531678533037799042681025418082044494247910346\ 4027617665402045638144804703599785886510124702996285029945315118307\ 27709087716979820394236589009551206971/6366831285416739218978265732\ 5714237360173759018603011500618833406847034781353277566826978890852\ 7763732453728193820238509844579680999751204629462596969602904149832\ 11808940957687*c_1001_2^38 + 12201958679831395045945072015083415036\ 9420500254034273494306518906871137423075237480230662533963765990086\ 6407283263188573749300542544433836366419803106929534962936273954277\ 9/12733662570833478437956531465142847472034751803720602300123766681\ 3694069562706555133653957781705552746490745638764047701968915936199\ 950240925892519393920580829966423617881915374*c_1001_2^37 + 4152899949881072471782766645388688947696930877126753963869836286973\ 0094503245462854321851017943935320502082137696403713871504577338317\ 64508558049691039414305545726669553509/1273366257083347843795653146\ 5142847472034751803720602300123766681369406956270655513365395778170\ 5552746490745638764047701968915936199950240925892519393920580829966\ 423617881915374*c_1001_2^36 - 1831474857699941778977258018498991630\ 4101517250206422829197973988671747456747947768328915501876499344438\ 5170301195517680521735710212362400808070868761552497683133674883900\ 203/127336625708334784379565314651428474720347518037206023001237666\ 8136940695627065551336539577817055527464907456387640477019689159361\ 99950240925892519393920580829966423617881915374*c_1001_2^35 + 3051989777083685208785392504874205914802940899997094873744451543465\ 9850216210187362758740602911304918035612850232305495212599125132743\ 83878382645078477018954529696067662580/6366831285416739218978265732\ 5714237360173759018603011500618833406847034781353277566826978890852\ 7763732453728193820238509844579680999751204629462596969602904149832\ 11808940957687*c_1001_2^34 + 28755730291523339240056345537251640911\ 4027728002536200956036424317961780126703292585510832664060692474810\ 8672729993511798762355020270538562699303305516095196585341955195602\ 24/6366831285416739218978265732571423736017375901860301150061883340\ 6847034781353277566826978890852776373245372819382023850984457968099\ 975120462946259696960290414983211808940957687*c_1001_2^33 - 6112868906703512688012862340592554102832443455918030433135289344922\ 7322577162654792659245161208333519718245629706328557836259957075789\ 9797271135782228475160205143603421187587/12733662570833478437956531\ 4651428474720347518037206023001237666813694069562706555133653957781\ 7055527464907456387640477019689159361999502409258925193939205808299\ 66423617881915374*c_1001_2^32 - 18238173264412158111481433953661864\ 3132735937163016772987611794825144656904337937513426979263043396451\ 2778503826294793089957704156624050427357897517378115016094858878418\ 895976/636683128541673921897826573257142373601737590186030115006188\ 3340684703478135327756682697889085277637324537281938202385098445796\ 8099975120462946259696960290414983211808940957687*c_1001_2^31 - 4133670335676414452686729469450414454301561427352472069751222601477\ 9899452138232267258172163106205810649037311644375880347722081555009\ 59055387166772476944594128454510266616512/6366831285416739218978265\ 7325714237360173759018603011500618833406847034781353277566826978890\ 8527763732453728193820238509844579680999751204629462596969602904149\ 83211808940957687*c_1001_2^30 + 45148064054141052202795669358615154\ 9608129048159987928205925532324472793387889188276143918410418905037\ 7072089037334457044487644564350100356195946835832874790653979686059\ 944605/636683128541673921897826573257142373601737590186030115006188\ 3340684703478135327756682697889085277637324537281938202385098445796\ 8099975120462946259696960290414983211808940957687*c_1001_2^29 - 1143502925357592985234615515986248669694492345657511756541044733357\ 4487428356312662879100369846139162952149052543674366660805034262011\ 15768336930296030905142252207734798952308/6366831285416739218978265\ 7325714237360173759018603011500618833406847034781353277566826978890\ 8527763732453728193820238509844579680999751204629462596969602904149\ 83211808940957687*c_1001_2^28 - 49525328639249521349824210534919190\ 5584165557840200306250109178307358049481976755678997182086839082226\ 8691615297259629258882116354692266898374932590629841711430348942753\ 1046563/12733662570833478437956531465142847472034751803720602300123\ 7666813694069562706555133653957781705552746490745638764047701968915\ 936199950240925892519393920580829966423617881915374*c_1001_2^27 - 2190985303240326123753619021852685681602625443919211037740259371853\ 7032268869319979331070984950748542665140496634098566765149606276726\ 1152584489507625807777251214088857013710397/12733662570833478437956\ 5314651428474720347518037206023001237666813694069562706555133653957\ 7817055527464907456387640477019689159361999502409258925193939205808\ 29966423617881915374*c_1001_2^26 - 9856703775091062252000371501063031130898109174791754218720786665158\ 7101920241686675477413934328168331783559256925389833305754075602804\ 746698161759052951125472989327923508686079/636683128541673921897826\ 5732571423736017375901860301150061883340684703478135327756682697889\ 0852776373245372819382023850984457968099975120462946259696960290414\ 983211808940957687*c_1001_2^25 - 1556630818833419132437951908581573\ 1728893766131275498526515400090685325387126974794479844930252730866\ 4684142278316583903865959354184630984068144593259891576900149008506\ 616708799/127336625708334784379565314651428474720347518037206023001\ 2376668136940695627065551336539577817055527464907456387640477019689\ 15936199950240925892519393920580829966423617881915374*c_1001_2^24 - 3830772759790997532900847260337347620556903045131659315558577136132\ 1868758918377230680216514693560572764143228874863979910642721900968\ 2862299283517237687095443057655057503382825/12733662570833478437956\ 5314651428474720347518037206023001237666813694069562706555133653957\ 7817055527464907456387640477019689159361999502409258925193939205808\ 29966423617881915374*c_1001_2^23 - 9314807711791356888528073369430023812601641804404551841093415700029\ 6275150301271149918610302692877199436598942761427981860676966149882\ 4407026878368198725391192036370339658550291/63668312854167392189782\ 6573257142373601737590186030115006188334068470347813532775668269788\ 9085277637324537281938202385098445796809997512046294625969696029041\ 4983211808940957687*c_1001_2^22 - 205694144993144550955496628310769\ 1624691283750120903683875869818721782611898234760683610680793262183\ 8376275287364767366139769089218201780921857036838989382787633502794\ 82090784453/6366831285416739218978265732571423736017375901860301150\ 0618833406847034781353277566826978890852776373245372819382023850984\ 457968099975120462946259696960290414983211808940957687*c_1001_2^21 - 3370163062397925406087231013524248871160204559025789874513354277706\ 3489604740261397744473273607280829031717804083092235341471993039924\ 98642028623491277558449043865579139931005506/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^20 - 4495973843133804298759144429633706387284574920078358569366399674737\ 1772536159495746867747662470050722686329243462442834199889383460361\ 83160756976242473109326849537317080517843851/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^19 - 8963379089563622860324998583134672237528051077055914347535864672579\ 3093545159052584951118733275669953306520039380397095662695340960091\ 61443603473550969819102372973283186953720895/1273366257083347843795\ 6531465142847472034751803720602300123766681369406956270655513365395\ 7781705552746490745638764047701968915936199950240925892519393920580\ 829966423617881915374*c_1001_2^18 - 3916376927709011252852634865448841975092732384391578921037511683767\ 1425890376644386169771397292209416432572232477658331782196078273280\ 40419646719433256421049061644763349804205607/1273366257083347843795\ 6531465142847472034751803720602300123766681369406956270655513365395\ 7781705552746490745638764047701968915936199950240925892519393920580\ 829966423617881915374*c_1001_2^17 + 2132684398035243766526030253672997201586801877884774159899391378345\ 3379465832559374807655907097446060028623793091800129777979670334232\ 85737359219764643641973046027122399604603676/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^16 + 6385553860562246235996669329846249404548084010859298427917126838826\ 7859126199839340440820599432490582048004891428517306202770767972652\ 82604360646387889235720081090014563900058515/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^15 + 1172008503240132093385064598071022985010377890237055481948202513636\ 2331739815859508234826178537323616862229180280974096656045602088896\ 0599646460094641078433518190505957631562949/91609083243406319697529\ 0033463514206621205165735295129505306955494201939300047159234920559\ 5806154873848255081925471057695605463035967643232078598517548243225\ 17744054804905866*c_1001_2^14 + 19014287297048215918353257139001988\ 1578746050860358379436259934812074954549349187228980047489200145998\ 2315676296650196250109377611358895005804385036513985474012243480950\ 5036536115/12733662570833478437956531465142847472034751803720602300\ 1237666813694069562706555133653957781705552746490745638764047701968\ 915936199950240925892519393920580829966423617881915374*c_1001_2^13 + 1227485283891379956666006143389339067599514899600890636413117807523\ 8983755492028344653550334430807067104806189313911431080232567993423\ 748303033886710826671829449865165114328078415/127336625708334784379\ 5653146514284747203475180372060230012376668136940695627065551336539\ 5778170555274649074563876404770196891593619995024092589251939392058\ 0829966423617881915374*c_1001_2^12 + 5339918690683471787771957894715056358682846919576910086309325497362\ 2421710476262939135670521690215326830724218485994146603771421965834\ 61364424889930244387349405637702772762719590/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^11 + 2636729441524623862919885280674811541851221020922718849230033494746\ 1263252495482043657366224516384233925043497820977892032863173522543\ 37371077205961820432828033308764208814667603/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^10 + 2990617464316073936964314661730461382069178556310848967785370575292\ 8037426805552442559051240664008585964533740245350303874881401931087\ 25558785786416455828746073270492622568769830/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^9 + 729130034194494844980688865086761\ 8508493327832562246637080363241500128728168731938115721281562045782\ 8850158997893679560255546424542944267129673755916022653552936784471\ 45225725423/1273366257083347843795653146514284747203475180372060230\ 0123766681369406956270655513365395778170555274649074563876404770196\ 8915936199950240925892519393920580829966423617881915374*c_1001_2^8 + 6325050550763594263714186677538744066118672322697905000026270621695\ 8800713205342151338924351578131446532787573374333787297299390533723\ 25642011102266235453047392380801890736386049/1273366257083347843795\ 6531465142847472034751803720602300123766681369406956270655513365395\ 7781705552746490745638764047701968915936199950240925892519393920580\ 829966423617881915374*c_1001_2^7 + 6801331874355154379602317253391116475602555975994110303743269829266\ 9499863036408263884967447132499385761355988819955568216395658895207\ 89990738291935449366134265938973339332782925/1273366257083347843795\ 6531465142847472034751803720602300123766681369406956270655513365395\ 7781705552746490745638764047701968915936199950240925892519393920580\ 829966423617881915374*c_1001_2^6 + 3539187190174268952207812290227537026787576151091545045393973508002\ 0845197571614249055333426980060884946886464988352694575893212905461\ 87078187700578815275670800307072148678298879/1273366257083347843795\ 6531465142847472034751803720602300123766681369406956270655513365395\ 7781705552746490745638764047701968915936199950240925892519393920580\ 829966423617881915374*c_1001_2^5 + 3398821125921420765272858558443679195384246788522046964765768787174\ 8708962553741196808560287795683537689365891077604051726231268681303\ 31348341131690017921544386852979789760505743/1273366257083347843795\ 6531465142847472034751803720602300123766681369406956270655513365395\ 7781705552746490745638764047701968915936199950240925892519393920580\ 829966423617881915374*c_1001_2^4 + 5443602187717755564030332202299136959081518056463578160265458527510\ 6588482508236394841903828720879063357276099943133344449029129690618\ 7039546253267893391351665711691780619127870/63668312854167392189782\ 6573257142373601737590186030115006188334068470347813532775668269788\ 9085277637324537281938202385098445796809997512046294625969696029041\ 4983211808940957687*c_1001_2^3 + 1266536054899963308484873188654277\ 7553646818364960971686536593571366726078584913935554920833508983690\ 5396075722362417758238972314486794217273966526120957660048736247187\ 8243129711/12733662570833478437956531465142847472034751803720602300\ 1237666813694069562706555133653957781705552746490745638764047701968\ 915936199950240925892519393920580829966423617881915374*c_1001_2^2 + 2302924600727512703175118644924803954585238064401700673254572776079\ 2891296427465315525585865954450116080903222404429870456714846430684\ 5812063852014993395448519438092081045558213/12733662570833478437956\ 5314651428474720347518037206023001237666813694069562706555133653957\ 7817055527464907456387640477019689159361999502409258925193939205808\ 29966423617881915374*c_1001_2 + 37102410391131067959103312030166727\ 5997372804780462170844438879681447682385711455633560122991198743748\ 6346482390893338971957433218456022476113842084521965911587647344150\ 81116823/1273366257083347843795653146514284747203475180372060230012\ 3766681369406956270655513365395778170555274649074563876404770196891\ 5936199950240925892519393920580829966423617881915374, c_0011_4 + 128623952406018026786302471069917710769420938210822504860651\ 9903170464802408555091514918104796896265605578659801959288386324630\ 05356266879738173173828936398062422688548631/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^39 + 3623490950283585652093170765283867348361834161876500073540577956666\ 7276339915798732535703696456550538639272627213607212499600671513343\ 2271410248326869252344867402427212630/63668312854167392189782657325\ 7142373601737590186030115006188334068470347813532775668269788908527\ 7637324537281938202385098445796809997512046294625969696029041498321\ 1808940957687*c_1001_2^38 - 195977385238916168524138720455162263426\ 5352900550920355478069174540554912298786651824862692145503214449993\ 988734524736941839488759780351667364203316056154213837612520271550/\ 6366831285416739218978265732571423736017375901860301150061883340684\ 7034781353277566826978890852776373245372819382023850984457968099975\ 120462946259696960290414983211808940957687*c_1001_2^37 + 4983126248068872247421961180058894189029359508578265039382052053643\ 1959655210911119997633072849031550083904910622122715374835346824128\ 8799279195493916456795434332146091656/63668312854167392189782657325\ 7142373601737590186030115006188334068470347813532775668269788908527\ 7637324537281938202385098445796809997512046294625969696029041498321\ 1808940957687*c_1001_2^36 + 268300066492801010986730654902854341623\ 7497271778240581438977181995764202796770366264473748599662077897907\ 0646244381730079421454430530856514116718544758982848856867003657132\ /636683128541673921897826573257142373601737590186030115006188334068\ 4703478135327756682697889085277637324537281938202385098445796809997\ 5120462946259696960290414983211808940957687*c_1001_2^35 - 1397970953504765899378805982966695495781470963220187414283247060474\ 7666445342740297355541637176680707376969904234714197554744768508707\ 918052004403609082740273193287056701607/636683128541673921897826573\ 2571423736017375901860301150061883340684703478135327756682697889085\ 2776373245372819382023850984457968099975120462946259696960290414983\ 211808940957687*c_1001_2^34 - 6745683043185368849398687964467930888\ 1658164232945548211399640304125775732361450407194889647680494757764\ 7337805239837626042234842599710411623349415512211868315252628140287\ 49/6366831285416739218978265732571423736017375901860301150061883340\ 6847034781353277566826978890852776373245372819382023850984457968099\ 975120462946259696960290414983211808940957687*c_1001_2^33 + 1304918209845960152694142207729452014178696112791759502349115188708\ 0199374865965616679565835377845703917358032268557804452875192965538\ 6498981769413195227299924584901117938486/63668312854167392189782657\ 3257142373601737590186030115006188334068470347813532775668269788908\ 5277637324537281938202385098445796809997512046294625969696029041498\ 3211808940957687*c_1001_2^32 + 448822238646969857966898493183870963\ 1459571224044744675110724209265478366053075548137130656172783055625\ 6465964240976354634901319573387092827594135728545389062585553453467\ 1870/63668312854167392189782657325714237360173759018603011500618833\ 4068470347813532775668269788908527763732453728193820238509844579680\ 99975120462946259696960290414983211808940957687*c_1001_2^31 + 1074385449981340376381191596364425212809597434078876436781199859621\ 5284920777749587674728960299167913458889094295277505845266911725467\ 78156421001104482420815565586449388464265/6366831285416739218978265\ 7325714237360173759018603011500618833406847034781353277566826978890\ 8527763732453728193820238509844579680999751204629462596969602904149\ 83211808940957687*c_1001_2^30 - 15488190143030778009994969372479326\ 5159144105558629914970490145568130237218571048212527020718884948895\ 0650546039577970380476793537963610444479477856755866091897949760411\ 370851/636683128541673921897826573257142373601737590186030115006188\ 3340684703478135327756682697889085277637324537281938202385098445796\ 8099975120462946259696960290414983211808940957687*c_1001_2^29 + 1802649914477678712141301176083676032773314578761617244535700834191\ 9607415214199821546189318917866244719810737209435223873177285782355\ 18225271048810110142483382758178111963755/6366831285416739218978265\ 7325714237360173759018603011500618833406847034781353277566826978890\ 8527763732453728193820238509844579680999751204629462596969602904149\ 83211808940957687*c_1001_2^28 + 62274817564240251297253460697541899\ 5060069522600809675569068567888614548592984076741768434891927706421\ 1873852186863364460046450593607232891064090954900614896476220094350\ 166757/636683128541673921897826573257142373601737590186030115006188\ 3340684703478135327756682697889085277637324537281938202385098445796\ 8099975120462946259696960290414983211808940957687*c_1001_2^27 + 3018169084022928985688853545365007456129965758515755707755741007755\ 7118399381166805011374077073704201430855936851175312326785010050022\ 016497109105221843247538311425690702653209/636683128541673921897826\ 5732571423736017375901860301150061883340684703478135327756682697889\ 0852776373245372819382023850984457968099975120462946259696960290414\ 983211808940957687*c_1001_2^26 + 2015727038506566565433844681683693\ 9516224550016426715535880921534417938310920638009638350400888237420\ 8013957353649279392183585129419749287352945591542179039768570992232\ 04177369/6366831285416739218978265732571423736017375901860301150061\ 8833406847034781353277566826978890852776373245372819382023850984457\ 968099975120462946259696960290414983211808940957687*c_1001_2^25 + 3324251804043301683354560648681432894954762035367164290866532241701\ 8070195849564101611107106150047728717351135266805581369044881883415\ 145847061603185036316020273880973195840066/636683128541673921897826\ 5732571423736017375901860301150061883340684703478135327756682697889\ 0852776373245372819382023850984457968099975120462946259696960290414\ 983211808940957687*c_1001_2^24 + 6406258268594314172817525790199838\ 7639759279212044140616836849426931739273466995725282404387274927499\ 2993175606533943602183303834218626265737188728995969223017545334475\ 15136593/6366831285416739218978265732571423736017375901860301150061\ 8833406847034781353277566826978890852776373245372819382023850984457\ 968099975120462946259696960290414983211808940957687*c_1001_2^23 + 2685783710372796785348666133360828887378894798345892618585678442100\ 1396705698643036087168226957234520509828751632409990990053312706430\ 1476625835811082220333401931116075126865206/63668312854167392189782\ 6573257142373601737590186030115006188334068470347813532775668269788\ 9085277637324537281938202385098445796809997512046294625969696029041\ 4983211808940957687*c_1001_2^22 + 531512300448025560234490217875305\ 6997941377317871697711194404792668088027772429888191320349530110530\ 9656817451437346735329483934200105211428213875422017326347113778546\ 6228856929/63668312854167392189782657325714237360173759018603011500\ 6188334068470347813532775668269788908527763732453728193820238509844\ 57968099975120462946259696960290414983211808940957687*c_1001_2^21 + 9398691738672640804072563551522355957784650907045017896400189949571\ 1102313652421665699107277205523388358536888369965661060725923168214\ 5674238522902042430899046285114232976564884/63668312854167392189782\ 6573257142373601737590186030115006188334068470347813532775668269788\ 9085277637324537281938202385098445796809997512046294625969696029041\ 4983211808940957687*c_1001_2^20 + 130765504284366290562746173787432\ 7692114835698810750216822387443899265556073716789225638159635372935\ 3870328194886393652226256779621113185475955388728215832755816325623\ 49361150248/6366831285416739218978265732571423736017375901860301150\ 0618833406847034781353277566826978890852776373245372819382023850984\ 457968099975120462946259696960290414983211808940957687*c_1001_2^19 + 1381220033507549509831117680171587096284519432730716337526204970037\ 6316659908852685403133247144988312709292797064994795821552100959064\ 44756011592137742270697464099655334218103505/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^18 + 7776130285007085201222093076116926781183510025894223689128637525883\ 1068797776070716041758452277535571621396130828312925076115327321836\ 1680602061834092091585614405181506393402952/63668312854167392189782\ 6573257142373601737590186030115006188334068470347813532775668269788\ 9085277637324537281938202385098445796809997512046294625969696029041\ 4983211808940957687*c_1001_2^17 - 142862212902503634733974637985432\ 4888553534539234230535764709391656267830778617532627348693268896576\ 3801093587318507377303383267685646216216691077583743911468158728603\ 2507233172/63668312854167392189782657325714237360173759018603011500\ 6188334068470347813532775668269788908527763732453728193820238509844\ 57968099975120462946259696960290414983211808940957687*c_1001_2^16 - 1437877346912488395105964938336104739603335174350850560369517020335\ 0396730278683755588892699388853537223003079078417144893276884075353\ 56637925823498048339217655720704512473126182/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^15 - 1556350681532738519838592031569791341577343402427078489442207228365\ 2734418828703318237083576763846252363422831712595006197898617941008\ 649966316067056355438561607244921457277621/458045416217031598487645\ 0167317571033106025828676475647526534777471009696500235796174602797\ 9030774369241275409627355288478027315179838216160392992587741216125\ 8872027402452933*c_1001_2^14 - 304452006041993106997992840927176106\ 6624596889308689599000332462181971878056913849436665719719088145814\ 4044674192620207021135677004713468571790509427856168063970153188427\ 73379021/6366831285416739218978265732571423736017375901860301150061\ 8833406847034781353277566826978890852776373245372819382023850984457\ 968099975120462946259696960290414983211808940957687*c_1001_2^13 - 1955562138158514707525665913319199815039392921872337227473857100627\ 3291016153169092565074640735580410747357247812852951615651176229140\ 31729266564573078380819456018247335205493529/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^12 - 2440461141111174789605037509735147017914337683745837738662197392533\ 8178993918220263140382197548309721062405279883779230026987766550790\ 71779258072400646146853960649776817435205683/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^11 - 9515856626045684492298978158970968003785451401343640748979710181861\ 9056660256342708005054586704614799580471029657847591927288920279766\ 1975091538922189642621186188981516646948766/63668312854167392189782\ 6573257142373601737590186030115006188334068470347813532775668269788\ 9085277637324537281938202385098445796809997512046294625969696029041\ 4983211808940957687*c_1001_2^10 - 143618171340212406544713270900925\ 7302557785935492313953738647459400718897541466338760189990798222125\ 0694495689029798322877834219988779386645082951011174946095279676544\ 83503618401/6366831285416739218978265732571423736017375901860301150\ 0618833406847034781353277566826978890852776373245372819382023850984\ 457968099975120462946259696960290414983211808940957687*c_1001_2^9 - 9468614090368337441506158828207394482030969194415502989238860209501\ 0348571355214335376158788635863611123402666663395620936152853525018\ 5451438940869757203346875716417831844579326/63668312854167392189782\ 6573257142373601737590186030115006188334068470347813532775668269788\ 9085277637324537281938202385098445796809997512046294625969696029041\ 4983211808940957687*c_1001_2^8 - 1239439094425549588627595087642888\ 2211304202411764665516074440777507731463555185922879452188181908534\ 7721332892304226111425389983449057332345140987628412214867309562073\ 2378967810/63668312854167392189782657325714237360173759018603011500\ 6188334068470347813532775668269788908527763732453728193820238509844\ 57968099975120462946259696960290414983211808940957687*c_1001_2^7 - 9885949314421066379658094792270148289969762775786590362422955545305\ 8476907989086829013585341888105155147320883387148314019442310134619\ 2093461296245855172551944822944706473186507/63668312854167392189782\ 6573257142373601737590186030115006188334068470347813532775668269788\ 9085277637324537281938202385098445796809997512046294625969696029041\ 4983211808940957687*c_1001_2^6 - 9357715707221895072692104329511685\ 0675410371441511778897559293955297570267174012171221349184692721310\ 6031350838700269704191427223824488482708192223318111162996476989336\ 188073103/636683128541673921897826573257142373601737590186030115006\ 1883340684703478135327756682697889085277637324537281938202385098445\ 7968099975120462946259696960290414983211808940957687*c_1001_2^5 - 5927527416638122327811955251982584922070386325295669843161918418501\ 0779575859728080927806465192296431976433728737263306413604389316963\ 7370225493338188403232351553008065531447496/63668312854167392189782\ 6573257142373601737590186030115006188334068470347813532775668269788\ 9085277637324537281938202385098445796809997512046294625969696029041\ 4983211808940957687*c_1001_2^4 - 4300671008766503666572255775399219\ 4125146628982612338332674043766627759006895922367166040453434332982\ 7300666545605436450464912222054035185353286256633991956294930564628\ 160181024/636683128541673921897826573257142373601737590186030115006\ 1883340684703478135327756682697889085277637324537281938202385098445\ 7968099975120462946259696960290414983211808940957687*c_1001_2^3 - 2448963108396023937509255892956571526313644185954974717093894038283\ 6272749223291986198721524829003531273671493944043872761786164450777\ 0947428127678488398220723610367486925852141/63668312854167392189782\ 6573257142373601737590186030115006188334068470347813532775668269788\ 9085277637324537281938202385098445796809997512046294625969696029041\ 4983211808940957687*c_1001_2^2 - 1901186122835007837423840614792044\ 2706314051757667834070331866668477604594293200689505157033347021137\ 9432374266588230901646324175341238285649018111550303611621125111936\ 529342691/636683128541673921897826573257142373601737590186030115006\ 1883340684703478135327756682697889085277637324537281938202385098445\ 7968099975120462946259696960290414983211808940957687*c_1001_2 - 5197166023778198178585902108035364566952024648161558640500659292942\ 1740345024110003507367490092400274924989560419308568912026714103496\ 639127013594601638410495964956227553748651/636683128541673921897826\ 5732571423736017375901860301150061883340684703478135327756682697889\ 0852776373245372819382023850984457968099975120462946259696960290414\ 983211808940957687, c_0011_6 - 456607572236341340611394653217701934032448226758371833472411\ 9553455190664645028288498919935376679931592386871600928111915598011\ 57497761199405572302919230328550752644754754/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^39 - 8436845281250305028107831707073616245965134746292061733513534478109\ 9705083915041251280695744471066345980467919293593949178532176904339\ 3529732532677726058392766941856178009/63668312854167392189782657325\ 7142373601737590186030115006188334068470347813532775668269788908527\ 7637324537281938202385098445796809997512046294625969696029041498321\ 1808940957687*c_1001_2^38 + 845045049903822898265719122011813188453\ 8628219803547545428276051944190416236963799466772578487074821724683\ 178235214262691190355062567119006294947849427840041061938838343975/\ 6366831285416739218978265732571423736017375901860301150061883340684\ 7034781353277566826978890852776373245372819382023850984457968099975\ 120462946259696960290414983211808940957687*c_1001_2^37 - 8014615853571502576521085948156409109677879501288709085554673945047\ 4893667017641250539214332011063269469312976855488872719284293323875\ 91676263362956375306707298102492455952/6366831285416739218978265732\ 5714237360173759018603011500618833406847034781353277566826978890852\ 7763732453728193820238509844579680999751204629462596969602904149832\ 11808940957687*c_1001_2^36 - 98189970380285970260677126297634837426\ 4895877212832037113649852856497980576394442558772924630646371675492\ 7129199453691290953676331374524487341781317174328201735758929502293\ 6/63668312854167392189782657325714237360173759018603011500618833406\ 8470347813532775668269788908527763732453728193820238509844579680999\ 75120462946259696960290414983211808940957687*c_1001_2^35 + 1451036872998562839934330607054682238123007209004926692228987745169\ 0071394571693635896931165424709100922874554909419345617614895705385\ 5262926038621805204856537431992794639863/63668312854167392189782657\ 3257142373601737590186030115006188334068470347813532775668269788908\ 5277637324537281938202385098445796809997512046294625969696029041498\ 3211808940957687*c_1001_2^34 + 248272794333255671790312171658372588\ 4766272927556400554243814730707047405412476036252130692493474608127\ 9679524770293450464218890241986532300420112836073831102747482376466\ 6032/63668312854167392189782657325714237360173759018603011500618833\ 4068470347813532775668269788908527763732453728193820238509844579680\ 99975120462946259696960290414983211808940957687*c_1001_2^33 - 7668631825819939565265136407581469330585418138738578135040726579156\ 4537963903962138832570603768268997160017717157583550859216371848195\ 9431629450068172903219846325079003179384/63668312854167392189782657\ 3257142373601737590186030115006188334068470347813532775668269788908\ 5277637324537281938202385098445796809997512046294625969696029041498\ 3211808940957687*c_1001_2^32 - 133032070844799438329192509651907705\ 7919058516372055457799630724778480895794294576188094106559671696286\ 2291683251352577113273493096877046580139694569481378666771884747864\ 74282/6366831285416739218978265732571423736017375901860301150061883\ 3406847034781353277566826978890852776373245372819382023850984457968\ 099975120462946259696960290414983211808940957687*c_1001_2^31 - 1832107510753717283066207903988087828878419144443409628708758080241\ 2398883251553787127399657250823526154088905868137010630070263564188\ 86542448922574375505949066771833832281054/6366831285416739218978265\ 7325714237360173759018603011500618833406847034781353277566826978890\ 8527763732453728193820238509844579680999751204629462596969602904149\ 83211808940957687*c_1001_2^30 + 10083710570822711136450130963700745\ 1359612384064473929668752516442836970892240764288724021525229739498\ 4565919896506387807156874594993126804065935452896995847555323406986\ 4996316/63668312854167392189782657325714237360173759018603011500618\ 8334068470347813532775668269788908527763732453728193820238509844579\ 68099975120462946259696960290414983211808940957687*c_1001_2^29 - 1088676064987177042879577427594148038432020369109336701739091707797\ 1469284879738469332104545484898686198684652049306204031754136606941\ 547342432828129221297002148210717239700611/636683128541673921897826\ 5732571423736017375901860301150061883340684703478135327756682697889\ 0852776373245372819382023850984457968099975120462946259696960290414\ 983211808940957687*c_1001_2^28 - 2172264950691601709324530738081824\ 2210624486029771092098958171375559739358012436047821621800845465723\ 4204908914802336598820109003328974283619296583000247172172996289273\ 40489024/6366831285416739218978265732571423736017375901860301150061\ 8833406847034781353277566826978890852776373245372819382023850984457\ 968099975120462946259696960290414983211808940957687*c_1001_2^27 - 8170934392733761475407710452208971135103001915793823584130308373538\ 9168127711596299584878753740242819715493563320358623016476907596395\ 495603786604420203154185445036420917069489/636683128541673921897826\ 5732571423736017375901860301150061883340684703478135327756682697889\ 0852776373245372819382023850984457968099975120462946259696960290414\ 983211808940957687*c_1001_2^26 + 4853319272960575137916455815977279\ 5666762723925248419235947275856181196582164945950448906071370839004\ 0282289501469453086802720156475943013099084557567158383322169580108\ 58319346/6366831285416739218978265732571423736017375901860301150061\ 8833406847034781353277566826978890852776373245372819382023850984457\ 968099975120462946259696960290414983211808940957687*c_1001_2^25 - 6280237614896529837506986138909209804053220773013336470103593315594\ 6712228284175175958514832156745161098313971168455604399742208564421\ 78593732760549611368566757166737028683926/6366831285416739218978265\ 7325714237360173759018603011500618833406847034781353277566826978890\ 8527763732453728193820238509844579680999751204629462596969602904149\ 83211808940957687*c_1001_2^24 - 14018896175204368737219210725141056\ 1545081013346807182332325646385792531691604823120867018683898721961\ 7234102928158936861236958523892898915435572303201282044339097755690\ 76503202/6366831285416739218978265732571423736017375901860301150061\ 8833406847034781353277566826978890852776373245372819382023850984457\ 968099975120462946259696960290414983211808940957687*c_1001_2^23 - 7686258499177504656324828570798963627981690572138444461442701585184\ 3523930399720850506731271227127095380315833944855995092828097452027\ 0660583242622155217912702750317505286776867/63668312854167392189782\ 6573257142373601737590186030115006188334068470347813532775668269788\ 9085277637324537281938202385098445796809997512046294625969696029041\ 4983211808940957687*c_1001_2^22 - 880045031211470700305485876332858\ 1867343068706204518304471417119150585079193083113904638689288144842\ 8919581530525558211665245539148404669440359902374003199801569370646\ 8259006007/63668312854167392189782657325714237360173759018603011500\ 6188334068470347813532775668269788908527763732453728193820238509844\ 57968099975120462946259696960290414983211808940957687*c_1001_2^21 - 1092950436695425826958505426024904035605324114753616414532335598646\ 4320201013140596672890952853818670030755074297538195405189865187731\ 63414247892720736035231550002827698675816301/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^20 - 9262281067306114695548941504733358102013436237576550632423382025225\ 0121748057752711690881453829697129990670346663255913107233292233841\ 4278326660556793435553719846811291780330543/63668312854167392189782\ 6573257142373601737590186030115006188334068470347813532775668269788\ 9085277637324537281938202385098445796809997512046294625969696029041\ 4983211808940957687*c_1001_2^19 - 490570665219446493640911939161254\ 0185762710851083595978276103837945568235702559481282734481499556252\ 8114913465379555656758951891390348284220490300989494951584206174876\ 107151898/636683128541673921897826573257142373601737590186030115006\ 1883340684703478135327756682697889085277637324537281938202385098445\ 7968099975120462946259696960290414983211808940957687*c_1001_2^18 + 2145865545870442420098609036449113841998986980335114098942177445726\ 1670669631068685336733338249358051512709702184754539798385075774957\ 99536920678027051790806437998746675209146730/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^17 + 2638825406948951874951516596106339497636336992533735420363506997756\ 7430473105220221916505432571416560643467035635662727149634345106113\ 28343875024437893497605026665198327795291363/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^16 + 2697909667776054402194598368133966395595911400011446509307181167816\ 6422765223438704146805984285349188292748864683509196073687187734972\ 13325967757766434337958099490618025271220503/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^15 + 4173562165914529266403615575233815737491968773509056667923976805204\ 9445488051385027259075498664549739892390745650352064821407822601763\ 42104818676646039344031314884556453033327/4580454162170315984876450\ 1673175710331060258286764756475265347774710096965002357961746027979\ 0307743692412754096273552884780273151798382161603929925877412161258\ 872027402452933*c_1001_2^14 + 1997873837052089701393051132788439301\ 5227192374267400560548261901052680761937348853609099417410379110478\ 2001152237587863081777352314812867481130812072475204127158024488524\ 4022147/63668312854167392189782657325714237360173759018603011500618\ 8334068470347813532775668269788908527763732453728193820238509844579\ 68099975120462946259696960290414983211808940957687*c_1001_2^13 - 3247423883225270799301273650414921049688885994353787258640241585614\ 8143054126236400106090971010433221290731808445685531989142239965080\ 24298086756831915728001706649633418130642672/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^12 + 2158637685002589424733372909059424656191842282287490553093577410431\ 9313356785917412504469533996036616264548519250420910791378112682659\ 95637924032651999920770395012266292031731971/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^11 - 2395130228498371694288928312916363043672360127801456472921356961506\ 8057880095759391850943411581242183872388931984161158621956466660894\ 75731383034264992643690925857483595148545762/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^10 + 2719875820199217116544669244145372968460022210819009689425621180693\ 7456831268417412778664678725975702165709606069314689143634056307650\ 65905246831304442614624310510107456501171182/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^9 - 679601887653134953370203310139988\ 7036675611588043513521963599985628804434040479145712919443916572863\ 7049480464236158380569588355678216673508440297752844103769786065720\ 7015362625/63668312854167392189782657325714237360173759018603011500\ 6188334068470347813532775668269788908527763732453728193820238509844\ 57968099975120462946259696960290414983211808940957687*c_1001_2^8 + 1303995840179218685705720841714602208599435239773005364557958191904\ 0337996307802909486567677353510102629076838650142339636591472963305\ 64680527745508952536346226651283521733969646/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^7 - 102665780994038679010045185103000\ 3369402186400384426349283844812385291147483946468625128276338593116\ 6651748982114226391852015614576029930815157619281990000527644365753\ 13094031848/6366831285416739218978265732571423736017375901860301150\ 0618833406847034781353277566826978890852776373245372819382023850984\ 457968099975120462946259696960290414983211808940957687*c_1001_2^6 + 3418367390930674802446479057563545726463010645710178289333678236865\ 7625498260196721153608169993097170741965010873625476010038588642509\ 5426566832396857365062043430734721313209796/63668312854167392189782\ 6573257142373601737590186030115006188334068470347813532775668269788\ 9085277637324537281938202385098445796809997512046294625969696029041\ 4983211808940957687*c_1001_2^5 - 4843501799949984091203933602462850\ 5110976597291251359067221398558092943424930516554639281870703656394\ 2670992087276150931198075105329575663222809966635605961436469913230\ 915752985/636683128541673921897826573257142373601737590186030115006\ 1883340684703478135327756682697889085277637324537281938202385098445\ 7968099975120462946259696960290414983211808940957687*c_1001_2^4 - 6068393437900608642052162223000894043616049736738159885807473153868\ 9287400698533687211013336354618878777395153923733922251144865708321\ 50007193492054459511230612571062881449856/6366831285416739218978265\ 7325714237360173759018603011500618833406847034781353277566826978890\ 8527763732453728193820238509844579680999751204629462596969602904149\ 83211808940957687*c_1001_2^3 - 107326235474648777582723989849337826\ 0163801035025186778738193922313442313384646135846812117441418954859\ 1348176832796870494536604078717689367680390011588431237852429827986\ 1226287/63668312854167392189782657325714237360173759018603011500618\ 8334068470347813532775668269788908527763732453728193820238509844579\ 68099975120462946259696960290414983211808940957687*c_1001_2^2 + 1053774261150293276205196809231393367575113724179416271283568391003\ 3535102371677355029616187283947584629909869539223398324705837541348\ 722626797852917215814888096974685241449562/636683128541673921897826\ 5732571423736017375901860301150061883340684703478135327756682697889\ 0852776373245372819382023850984457968099975120462946259696960290414\ 983211808940957687*c_1001_2 - 7025099967722774885037760614934029487\ 8614056686145915223480271962522494693507194112138304477628482216849\ 1769021416220659250823191555244749781676535244817158828276710355787\ 48762/6366831285416739218978265732571423736017375901860301150061883\ 3406847034781353277566826978890852776373245372819382023850984457968\ 099975120462946259696960290414983211808940957687, c_0101_1 + 126729317221312889324016312437010298034151357172613181362271\ 3079279482392530138707330506412376568401113983415019691253634498234\ 867380981706878703863481917988438467951412079/636683128541673921897\ 8265732571423736017375901860301150061883340684703478135327756682697\ 8890852776373245372819382023850984457968099975120462946259696960290\ 414983211808940957687*c_1001_2^39 + 3750968613876426739739840965574013822202969517664643631671749051397\ 4836508992850978019200450784810206534124035255252332288655468046731\ 14610836254053617510587185471890652686/6366831285416739218978265732\ 5714237360173759018603011500618833406847034781353277566826978890852\ 7763732453728193820238509844579680999751204629462596969602904149832\ 11808940957687*c_1001_2^38 - 19770986269435937533990508348662071685\ 6303492868467734628833951646109188887410291495799217600512920615855\ 5142748516348825999137985806205004609056100150078937392768173443944\ 3/63668312854167392189782657325714237360173759018603011500618833406\ 8470347813532775668269788908527763732453728193820238509844579680999\ 75120462946259696960290414983211808940957687*c_1001_2^37 - 1062688545604960444009743219207799070266322873447515872183514124745\ 2340345609161638422912256347258176791968157957275880134424589246446\ 90718717696509289920781814676344637500/6366831285416739218978265732\ 5714237360173759018603011500618833406847034781353277566826978890852\ 7763732453728193820238509844579680999751204629462596969602904149832\ 11808940957687*c_1001_2^36 + 27937106146257199868606894528531299797\ 2766160035024088353064300793260303266030887506366686852319397176043\ 9711596457989729168938619330527907225084978236462676869630120322973\ 52/6366831285416739218978265732571423736017375901860301150061883340\ 6847034781353277566826978890852776373245372819382023850984457968099\ 975120462946259696960290414983211808940957687*c_1001_2^35 - 9356515983208293827860326336610057325913507060074030216760505125150\ 0837669361071881346731650661996092053872820993376950022399085797806\ 410705121726313771154955754916418479953/636683128541673921897826573\ 2571423736017375901860301150061883340684703478135327756682697889085\ 2776373245372819382023850984457968099975120462946259696960290414983\ 211808940957687*c_1001_2^34 - 9015531948613664099819735183693128885\ 5768276425814745591362816347685284648949460539732022055725837332313\ 6096661844542099863863719253288362074308402015542178544249847479802\ 694/636683128541673921897826573257142373601737590186030115006188334\ 0684703478135327756682697889085277637324537281938202385098445796809\ 9975120462946259696960290414983211808940957687*c_1001_2^33 + 1190762828810260949748438780991370121016681424740117623296063007350\ 1200197297148881112187332403126915904439665095289448373196979405890\ 71695432547034063091104529361193048892703/6366831285416739218978265\ 7325714237360173759018603011500618833406847034781353277566826978890\ 8527763732453728193820238509844579680999751204629462596969602904149\ 83211808940957687*c_1001_2^32 + 53606123939922179611519987988115082\ 7420496925850385546477791144209412366878120512430441062974873287335\ 3815779625084019962734903617981003309915082173955328215793510685042\ 812269/636683128541673921897826573257142373601737590186030115006188\ 3340684703478135327756682697889085277637324537281938202385098445796\ 8099975120462946259696960290414983211808940957687*c_1001_2^31 + 1048409762890984832522696675177958644255301358727374390215003958598\ 3959902253171379157532681556134509621106797925653907615086602853270\ 577137868458647237236943990566799179936453/636683128541673921897826\ 5732571423736017375901860301150061883340684703478135327756682697889\ 0852776373245372819382023850984457968099975120462946259696960290414\ 983211808940957687*c_1001_2^30 - 1827815797410129302251755378345890\ 5305188159165373571422123909805471359133999551876704911350961506762\ 2405447814028969026059377047827734149480022109008330098851626480094\ 77527527/6366831285416739218978265732571423736017375901860301150061\ 8833406847034781353277566826978890852776373245372819382023850984457\ 968099975120462946259696960290414983211808940957687*c_1001_2^29 + 6422636611977393469135411251323203491899718805221220023160222566158\ 2224178850984826963137727905326991976270865619344605842321711070903\ 11148344391863072396974385554527687115817/6366831285416739218978265\ 7325714237360173759018603011500618833406847034781353277566826978890\ 8527763732453728193820238509844579680999751204629462596969602904149\ 83211808940957687*c_1001_2^28 + 75580457347040119939843414812611084\ 6104671580913284939426738517588884254291426424738670874164658458483\ 3900709091742793545712341152002547923702107146376290115712616969149\ 5354605/63668312854167392189782657325714237360173759018603011500618\ 8334068470347813532775668269788908527763732453728193820238509844579\ 68099975120462946259696960290414983211808940957687*c_1001_2^27 + 3067220776876688989691014628629096332611792502946873614914899610040\ 1342860870263619896497004193364370216235747704005744845860513238771\ 6194913102075618781376010734346761582786925/63668312854167392189782\ 6573257142373601737590186030115006188334068470347813532775668269788\ 9085277637324537281938202385098445796809997512046294625969696029041\ 4983211808940957687*c_1001_2^26 + 177133361043705713251877930816989\ 4793830768591901262119041410909141494289985714633452863755348626592\ 8801234196999798646214452552747742100887124944350816964101566781352\ 2908778079/63668312854167392189782657325714237360173759018603011500\ 6188334068470347813532775668269788908527763732453728193820238509844\ 57968099975120462946259696960290414983211808940957687*c_1001_2^25 + 1048877022624936236795040882972741184341269425719300228486874189879\ 0563120552328549409630710168627544882848909316544566426118603661175\ 1099304403678100886154129732755222492515734/63668312854167392189782\ 6573257142373601737590186030115006188334068470347813532775668269788\ 9085277637324537281938202385098445796809997512046294625969696029041\ 4983211808940957687*c_1001_2^24 + 468028126871926995438381277750087\ 3500569518909297825726727505108248535960030348077936753321383757582\ 6168281636749894566412590983869419149407209995872804740813088314132\ 9268844218/63668312854167392189782657325714237360173759018603011500\ 6188334068470347813532775668269788908527763732453728193820238509844\ 57968099975120462946259696960290414983211808940957687*c_1001_2^23 + 2638350423999453836506913104776549842050066395546215929091625208704\ 8110793083370679007202690067076429082473809794669463866872065786782\ 55287552828337729387671357576538307061689899/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^22 + 5201040063562309593047590962308671316447607471131049966231833755209\ 8721918323146927641648282859561018994481651458185014354255810254956\ 56860716818020742196750109788897208338998597/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^21 + 7853229845864359958665172787361921264125146646835490108944486921948\ 6303433407332462964852901613629118258892314136370665855575397700301\ 30887374350011652938869547764203511751951163/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^20 + 9557253352676723067560917561011080146151353652232225792196129762950\ 5744034988156908982059618707179593913709345735810166696308014616193\ 60437446139960573037724925331904265198161268/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^19 + 8312016091715787278121963767939895372427325101890095627205766806928\ 3196227413812279241882081389926573316821596216910380414852167208606\ 80389316513413063046988245971542215127936300/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^18 + 4422579267544800441072662971785767236797184225014337397009656864949\ 2881377195685595315989211684082926067099592702050310419077024392446\ 1182971785676966161232927648260153626081594/63668312854167392189782\ 6573257142373601737590186030115006188334068470347813532775668269788\ 9085277637324537281938202385098445796809997512046294625969696029041\ 4983211808940957687*c_1001_2^17 - 898621175417307634036439330893859\ 7229385529065948635954019879325739782973835598957829774025863268887\ 7560829531375479570298839636093052813050093136427611844686353877492\ 74257177797/6366831285416739218978265732571423736017375901860301150\ 0618833406847034781353277566826978890852776373245372819382023850984\ 457968099975120462946259696960290414983211808940957687*c_1001_2^16 - 1682953927694042930111905751024093648469052596131229724352431757352\ 8518928905236848776247558116804165467372598676819779676077271748468\ 734077345843433471880427121928775614017026911/636683128541673921897\ 8265732571423736017375901860301150061883340684703478135327756682697\ 8890852776373245372819382023850984457968099975120462946259696960290\ 414983211808940957687*c_1001_2^15 - 1214945486690728336748320498003146426909923173332944700341325110175\ 9843428360732474258178009909360496572608392331856972913403148438611\ 5747811745114076614667080391375722675325257/45804541621703159848764\ 5016731757103310602582867647564752653477747100969650023579617460279\ 7903077436924127540962735528847802731517983821616039299258774121612\ 58872027402452933*c_1001_2^14 - 18899285524480631208951561716178727\ 7394968131770469830771709466993705266590169466159989305374855807164\ 2238548928117190577006353535928785849375345351331055062511901691294\ 5500102523/63668312854167392189782657325714237360173759018603011500\ 6188334068470347813532775668269788908527763732453728193820238509844\ 57968099975120462946259696960290414983211808940957687*c_1001_2^13 - 7304838496511079130910723203532037093966345724201956407332753663192\ 5923216895761251103271141313527689259698101970196959491844938555471\ 76817359164754173976063040478301383509851906/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^12 - 8749494556060285788301661279345262784184791954059700008029932366615\ 4694246296636761220944402662557496024697817175497221658079339089594\ 71074263532411128590611582721387724294921850/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^11 - 2013987060652470593707051430644923129518706304334765257551158481646\ 2410379102753094888903779655342947350728312418430823717856192596322\ 82191739823314305732914336505946688984876542/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^10 - 7088827680787247574754703348340967395478551667594122410525809641545\ 2833730786866981972620402419636600405845318555696110723655114211697\ 06899230194693445189292370587925881381517498/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^9 - 555259606375423846228632879042883\ 4007859255334218320657120709755308860189149479613816194480924336443\ 6220540777340990985674725396861228562451599374644109042565935727367\ 70157778832/6366831285416739218978265732571423736017375901860301150\ 0618833406847034781353277566826978890852776373245372819382023850984\ 457968099975120462946259696960290414983211808940957687*c_1001_2^8 - 7882200417148384543432300407108147081748212431266884737367776823835\ 3423455252194998305348215136166431816749596096283231780089041065152\ 42521678319495999939538629484825693835499658/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^7 - 388313062149384580713960348611745\ 9585844991064676244808979071833547271943242459716035871816642287941\ 7128577208664828332274792394259163467140963357920100156273202356825\ 96784610850/6366831285416739218978265732571423736017375901860301150\ 0618833406847034781353277566826978890852776373245372819382023850984\ 457968099975120462946259696960290414983211808940957687*c_1001_2^6 - 3543204227068805087109308466030484448150397079203048652538495378065\ 1829413163159907924490675568627114226055619710479728060241429507369\ 74845573820978625817730785710272085511123630/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^5 - 139302692886184122655349719226748\ 0768587934052759776401131430103167418499945209209793737680068029956\ 0763185022353846008669115584544867067709246087224759648351444817281\ 46874293287/6366831285416739218978265732571423736017375901860301150\ 0618833406847034781353277566826978890852776373245372819382023850984\ 457968099975120462946259696960290414983211808940957687*c_1001_2^4 - 1054375118159639463860163878603943988027959055597358272908077769020\ 4557994742140035236093498444806006964195384202724735064830200743392\ 84144002964567762123919851719253707805766497/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^3 - 293984818680805206567089557308089\ 9543619390653587087024661753194108269502681155545249087473659832277\ 2973854371097599631513602970338222352439572445976648040666887929210\ 5898895021/63668312854167392189782657325714237360173759018603011500\ 6188334068470347813532775668269788908527763732453728193820238509844\ 57968099975120462946259696960290414983211808940957687*c_1001_2^2 - 2959029694143894589377419406637469662188442691099811559028724138537\ 0797244674428822094519532957014864236884568530381367955769774707734\ 3314586039670242009991131847028826232255052/63668312854167392189782\ 6573257142373601737590186030115006188334068470347813532775668269788\ 9085277637324537281938202385098445796809997512046294625969696029041\ 4983211808940957687*c_1001_2 + 219113786937451562187406966569348047\ 3455369967998157844286973055694731074578678789744254110234438172098\ 4508541984251431064488155604277425638834585986853201637298794953405\ 702232/636683128541673921897826573257142373601737590186030115006188\ 3340684703478135327756682697889085277637324537281938202385098445796\ 8099975120462946259696960290414983211808940957687, c_0101_2 - 422393716119690659489140726714014133722174009173428403497031\ 7480175689009534307074664052527569628458346934247958312143866879813\ 86722527143201660222275769099213791641917320/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^39 - 1382477093056820892719531678533037799042681025418082044494247910346\ 4027617665402045638144804703599785886510124702996285029945315118307\ 27709087716979820394236589009551206971/6366831285416739218978265732\ 5714237360173759018603011500618833406847034781353277566826978890852\ 7763732453728193820238509844579680999751204629462596969602904149832\ 11808940957687*c_1001_2^38 + 12201958679831395045945072015083415036\ 9420500254034273494306518906871137423075237480230662533963765990086\ 6407283263188573749300542544433836366419803106929534962936273954277\ 9/12733662570833478437956531465142847472034751803720602300123766681\ 3694069562706555133653957781705552746490745638764047701968915936199\ 950240925892519393920580829966423617881915374*c_1001_2^37 + 4152899949881072471782766645388688947696930877126753963869836286973\ 0094503245462854321851017943935320502082137696403713871504577338317\ 64508558049691039414305545726669553509/1273366257083347843795653146\ 5142847472034751803720602300123766681369406956270655513365395778170\ 5552746490745638764047701968915936199950240925892519393920580829966\ 423617881915374*c_1001_2^36 - 1831474857699941778977258018498991630\ 4101517250206422829197973988671747456747947768328915501876499344438\ 5170301195517680521735710212362400808070868761552497683133674883900\ 203/127336625708334784379565314651428474720347518037206023001237666\ 8136940695627065551336539577817055527464907456387640477019689159361\ 99950240925892519393920580829966423617881915374*c_1001_2^35 + 3051989777083685208785392504874205914802940899997094873744451543465\ 9850216210187362758740602911304918035612850232305495212599125132743\ 83878382645078477018954529696067662580/6366831285416739218978265732\ 5714237360173759018603011500618833406847034781353277566826978890852\ 7763732453728193820238509844579680999751204629462596969602904149832\ 11808940957687*c_1001_2^34 + 28755730291523339240056345537251640911\ 4027728002536200956036424317961780126703292585510832664060692474810\ 8672729993511798762355020270538562699303305516095196585341955195602\ 24/6366831285416739218978265732571423736017375901860301150061883340\ 6847034781353277566826978890852776373245372819382023850984457968099\ 975120462946259696960290414983211808940957687*c_1001_2^33 - 6112868906703512688012862340592554102832443455918030433135289344922\ 7322577162654792659245161208333519718245629706328557836259957075789\ 9797271135782228475160205143603421187587/12733662570833478437956531\ 4651428474720347518037206023001237666813694069562706555133653957781\ 7055527464907456387640477019689159361999502409258925193939205808299\ 66423617881915374*c_1001_2^32 - 18238173264412158111481433953661864\ 3132735937163016772987611794825144656904337937513426979263043396451\ 2778503826294793089957704156624050427357897517378115016094858878418\ 895976/636683128541673921897826573257142373601737590186030115006188\ 3340684703478135327756682697889085277637324537281938202385098445796\ 8099975120462946259696960290414983211808940957687*c_1001_2^31 - 4133670335676414452686729469450414454301561427352472069751222601477\ 9899452138232267258172163106205810649037311644375880347722081555009\ 59055387166772476944594128454510266616512/6366831285416739218978265\ 7325714237360173759018603011500618833406847034781353277566826978890\ 8527763732453728193820238509844579680999751204629462596969602904149\ 83211808940957687*c_1001_2^30 + 45148064054141052202795669358615154\ 9608129048159987928205925532324472793387889188276143918410418905037\ 7072089037334457044487644564350100356195946835832874790653979686059\ 944605/636683128541673921897826573257142373601737590186030115006188\ 3340684703478135327756682697889085277637324537281938202385098445796\ 8099975120462946259696960290414983211808940957687*c_1001_2^29 - 1143502925357592985234615515986248669694492345657511756541044733357\ 4487428356312662879100369846139162952149052543674366660805034262011\ 15768336930296030905142252207734798952308/6366831285416739218978265\ 7325714237360173759018603011500618833406847034781353277566826978890\ 8527763732453728193820238509844579680999751204629462596969602904149\ 83211808940957687*c_1001_2^28 - 49525328639249521349824210534919190\ 5584165557840200306250109178307358049481976755678997182086839082226\ 8691615297259629258882116354692266898374932590629841711430348942753\ 1046563/12733662570833478437956531465142847472034751803720602300123\ 7666813694069562706555133653957781705552746490745638764047701968915\ 936199950240925892519393920580829966423617881915374*c_1001_2^27 - 2190985303240326123753619021852685681602625443919211037740259371853\ 7032268869319979331070984950748542665140496634098566765149606276726\ 1152584489507625807777251214088857013710397/12733662570833478437956\ 5314651428474720347518037206023001237666813694069562706555133653957\ 7817055527464907456387640477019689159361999502409258925193939205808\ 29966423617881915374*c_1001_2^26 - 9856703775091062252000371501063031130898109174791754218720786665158\ 7101920241686675477413934328168331783559256925389833305754075602804\ 746698161759052951125472989327923508686079/636683128541673921897826\ 5732571423736017375901860301150061883340684703478135327756682697889\ 0852776373245372819382023850984457968099975120462946259696960290414\ 983211808940957687*c_1001_2^25 - 1556630818833419132437951908581573\ 1728893766131275498526515400090685325387126974794479844930252730866\ 4684142278316583903865959354184630984068144593259891576900149008506\ 616708799/127336625708334784379565314651428474720347518037206023001\ 2376668136940695627065551336539577817055527464907456387640477019689\ 15936199950240925892519393920580829966423617881915374*c_1001_2^24 - 3830772759790997532900847260337347620556903045131659315558577136132\ 1868758918377230680216514693560572764143228874863979910642721900968\ 2862299283517237687095443057655057503382825/12733662570833478437956\ 5314651428474720347518037206023001237666813694069562706555133653957\ 7817055527464907456387640477019689159361999502409258925193939205808\ 29966423617881915374*c_1001_2^23 - 9314807711791356888528073369430023812601641804404551841093415700029\ 6275150301271149918610302692877199436598942761427981860676966149882\ 4407026878368198725391192036370339658550291/63668312854167392189782\ 6573257142373601737590186030115006188334068470347813532775668269788\ 9085277637324537281938202385098445796809997512046294625969696029041\ 4983211808940957687*c_1001_2^22 - 205694144993144550955496628310769\ 1624691283750120903683875869818721782611898234760683610680793262183\ 8376275287364767366139769089218201780921857036838989382787633502794\ 82090784453/6366831285416739218978265732571423736017375901860301150\ 0618833406847034781353277566826978890852776373245372819382023850984\ 457968099975120462946259696960290414983211808940957687*c_1001_2^21 - 3370163062397925406087231013524248871160204559025789874513354277706\ 3489604740261397744473273607280829031717804083092235341471993039924\ 98642028623491277558449043865579139931005506/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^20 - 4495973843133804298759144429633706387284574920078358569366399674737\ 1772536159495746867747662470050722686329243462442834199889383460361\ 83160756976242473109326849537317080517843851/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^19 - 8963379089563622860324998583134672237528051077055914347535864672579\ 3093545159052584951118733275669953306520039380397095662695340960091\ 61443603473550969819102372973283186953720895/1273366257083347843795\ 6531465142847472034751803720602300123766681369406956270655513365395\ 7781705552746490745638764047701968915936199950240925892519393920580\ 829966423617881915374*c_1001_2^18 - 3916376927709011252852634865448841975092732384391578921037511683767\ 1425890376644386169771397292209416432572232477658331782196078273280\ 40419646719433256421049061644763349804205607/1273366257083347843795\ 6531465142847472034751803720602300123766681369406956270655513365395\ 7781705552746490745638764047701968915936199950240925892519393920580\ 829966423617881915374*c_1001_2^17 + 2132684398035243766526030253672997201586801877884774159899391378345\ 3379465832559374807655907097446060028623793091800129777979670334232\ 85737359219764643641973046027122399604603676/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^16 + 6385553860562246235996669329846249404548084010859298427917126838826\ 7859126199839340440820599432490582048004891428517306202770767972652\ 82604360646387889235720081090014563900058515/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^15 + 1172008503240132093385064598071022985010377890237055481948202513636\ 2331739815859508234826178537323616862229180280974096656045602088896\ 0599646460094641078433518190505957631562949/91609083243406319697529\ 0033463514206621205165735295129505306955494201939300047159234920559\ 5806154873848255081925471057695605463035967643232078598517548243225\ 17744054804905866*c_1001_2^14 + 19014287297048215918353257139001988\ 1578746050860358379436259934812074954549349187228980047489200145998\ 2315676296650196250109377611358895005804385036513985474012243480950\ 5036536115/12733662570833478437956531465142847472034751803720602300\ 1237666813694069562706555133653957781705552746490745638764047701968\ 915936199950240925892519393920580829966423617881915374*c_1001_2^13 + 1227485283891379956666006143389339067599514899600890636413117807523\ 8983755492028344653550334430807067104806189313911431080232567993423\ 748303033886710826671829449865165114328078415/127336625708334784379\ 5653146514284747203475180372060230012376668136940695627065551336539\ 5778170555274649074563876404770196891593619995024092589251939392058\ 0829966423617881915374*c_1001_2^12 + 5339918690683471787771957894715056358682846919576910086309325497362\ 2421710476262939135670521690215326830724218485994146603771421965834\ 61364424889930244387349405637702772762719590/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^11 + 2636729441524623862919885280674811541851221020922718849230033494746\ 1263252495482043657366224516384233925043497820977892032863173522543\ 37371077205961820432828033308764208814667603/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^10 + 2990617464316073936964314661730461382069178556310848967785370575292\ 8037426805552442559051240664008585964533740245350303874881401931087\ 25558785786416455828746073270492622568769830/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^9 + 729130034194494844980688865086761\ 8508493327832562246637080363241500128728168731938115721281562045782\ 8850158997893679560255546424542944267129673755916022653552936784471\ 45225725423/1273366257083347843795653146514284747203475180372060230\ 0123766681369406956270655513365395778170555274649074563876404770196\ 8915936199950240925892519393920580829966423617881915374*c_1001_2^8 + 6325050550763594263714186677538744066118672322697905000026270621695\ 8800713205342151338924351578131446532787573374333787297299390533723\ 25642011102266235453047392380801890736386049/1273366257083347843795\ 6531465142847472034751803720602300123766681369406956270655513365395\ 7781705552746490745638764047701968915936199950240925892519393920580\ 829966423617881915374*c_1001_2^7 + 6801331874355154379602317253391116475602555975994110303743269829266\ 9499863036408263884967447132499385761355988819955568216395658895207\ 89990738291935449366134265938973339332782925/1273366257083347843795\ 6531465142847472034751803720602300123766681369406956270655513365395\ 7781705552746490745638764047701968915936199950240925892519393920580\ 829966423617881915374*c_1001_2^6 + 3539187190174268952207812290227537026787576151091545045393973508002\ 0845197571614249055333426980060884946886464988352694575893212905461\ 87078187700578815275670800307072148678298879/1273366257083347843795\ 6531465142847472034751803720602300123766681369406956270655513365395\ 7781705552746490745638764047701968915936199950240925892519393920580\ 829966423617881915374*c_1001_2^5 + 3398821125921420765272858558443679195384246788522046964765768787174\ 8708962553741196808560287795683537689365891077604051726231268681303\ 31348341131690017921544386852979789760505743/1273366257083347843795\ 6531465142847472034751803720602300123766681369406956270655513365395\ 7781705552746490745638764047701968915936199950240925892519393920580\ 829966423617881915374*c_1001_2^4 + 5443602187717755564030332202299136959081518056463578160265458527510\ 6588482508236394841903828720879063357276099943133344449029129690618\ 7039546253267893391351665711691780619127870/63668312854167392189782\ 6573257142373601737590186030115006188334068470347813532775668269788\ 9085277637324537281938202385098445796809997512046294625969696029041\ 4983211808940957687*c_1001_2^3 + 1266536054899963308484873188654277\ 7553646818364960971686536593571366726078584913935554920833508983690\ 5396075722362417758238972314486794217273966526120957660048736247187\ 8243129711/12733662570833478437956531465142847472034751803720602300\ 1237666813694069562706555133653957781705552746490745638764047701968\ 915936199950240925892519393920580829966423617881915374*c_1001_2^2 + 2302924600727512703175118644924803954585238064401700673254572776079\ 2891296427465315525585865954450116080903222404429870456714846430684\ 5812063852014993395448519438092081045558213/12733662570833478437956\ 5314651428474720347518037206023001237666813694069562706555133653957\ 7817055527464907456387640477019689159361999502409258925193939205808\ 29966423617881915374*c_1001_2 + 37102410391131067959103312030166727\ 5997372804780462170844438879681447682385711455633560122991198743748\ 6346482390893338971957433218456022476113842084521965911587647344150\ 81116823/1273366257083347843795653146514284747203475180372060230012\ 3766681369406956270655513365395778170555274649074563876404770196891\ 5936199950240925892519393920580829966423617881915374, c_0110_5 - 133193860004058449125402632746034337995976463959955373754145\ 4681102770765727755126983669426779237684825739208436511839698800941\ 344740554352721491025849316071539898824407479/127336625708334784379\ 5653146514284747203475180372060230012376668136940695627065551336539\ 5778170555274649074563876404770196891593619995024092589251939392058\ 0829966423617881915374*c_1001_2^39 - 2932372622878760690480518861151767023311324508806435494356791736628\ 7601620609193625002005698121890133777947752273247743575887127238000\ 76706308201554734452238414993039264695/1273366257083347843795653146\ 5142847472034751803720602300123766681369406956270655513365395778170\ 5552746490745638764047701968915936199950240925892519393920580829966\ 423617881915374*c_1001_2^38 + 2337255570685003491573118446280525518\ 5330111007847635487076346853482437132701903978944954998755335145072\ 0811253060052682842875886494476390635627970636637931232858199388842\ 09/1273366257083347843795653146514284747203475180372060230012376668\ 1369406956270655513365395778170555274649074563876404770196891593619\ 9950240925892519393920580829966423617881915374*c_1001_2^37 - 1583175746391146640412743622608039267411968209123556710284694489180\ 9744921987062867329603866599558191119585848288265808258566268463171\ 197234258989091267871303793376678984799/127336625708334784379565314\ 6514284747203475180372060230012376668136940695627065551336539577817\ 0555274649074563876404770196891593619995024092589251939392058082996\ 6423617881915374*c_1001_2^36 - 144113316019449504813700979478998688\ 9081487718013503347946307766748048400643803029302277316042994322234\ 5688995954433905187592754118669986607262718191049965103365528801509\ 3866/63668312854167392189782657325714237360173759018603011500618833\ 4068470347813532775668269788908527763732453728193820238509844579680\ 99975120462946259696960290414983211808940957687*c_1001_2^35 + 3218740717003845397473411967588687390807664414184736967904987334086\ 7893158025505381657764994767342451851210018691222815372352774767183\ 7492052589149709229079510339217036346349/12733662570833478437956531\ 4651428474720347518037206023001237666813694069562706555133653957781\ 7055527464907456387640477019689159361999502409258925193939205808299\ 66423617881915374*c_1001_2^34 + 39177652090352401641876037269600188\ 8073363262252562898464753173589584320083486635667454267561162129976\ 6831692843648727100516302706128569653177079180721486866910280731140\ 63274/6366831285416739218978265732571423736017375901860301150061883\ 3406847034781353277566826978890852776373245372819382023850984457968\ 099975120462946259696960290414983211808940957687*c_1001_2^33 - 9717415281990863606098996057611698385341342218105302032384323892844\ 5226136984670091514292071415840157205282339336330395271779560844295\ 4433784105397630273264247966981687492740/63668312854167392189782657\ 3257142373601737590186030115006188334068470347813532775668269788908\ 5277637324537281938202385098445796809997512046294625969696029041498\ 3211808940957687*c_1001_2^32 - 437662689001656316731204146668084211\ 0210158011634707994460740984571211236531080134897907186206264804938\ 0751923982171931123855449884999869475703897760006310568328019176183\ 23149/1273366257083347843795653146514284747203475180372060230012376\ 6681369406956270655513365395778170555274649074563876404770196891593\ 6199950240925892519393920580829966423617881915374*c_1001_2^31 - 7135039657604815762138922398648419872172434814337401609756801092634\ 0739475950872992414118280757669568942228430927792896477676400473650\ 48058120634522121876462175976747753528717/1273366257083347843795653\ 1465142847472034751803720602300123766681369406956270655513365395778\ 1705552746490745638764047701968915936199950240925892519393920580829\ 966423617881915374*c_1001_2^30 + 2581041386708960692421617618684303\ 4277179188700974499234527631760493117702864226041546638987933709472\ 2636524948268590295704189120293608054543503628693847438613953063351\ 08907685/1273366257083347843795653146514284747203475180372060230012\ 3766681369406956270655513365395778170555274649074563876404770196891\ 5936199950240925892519393920580829966423617881915374*c_1001_2^29 - 1225907051971823972949599337084755031549648498930735225485434824481\ 3622220356801234241720335712833095181834789792853692334815681145433\ 528028340159825857571317212052216089293832/636683128541673921897826\ 5732571423736017375901860301150061883340684703478135327756682697889\ 0852776373245372819382023850984457968099975120462946259696960290414\ 983211808940957687*c_1001_2^28 - 6840160405935426039365751699528250\ 8303309218708472094607205987140042292832206609219698701920912177712\ 5256527286714841245863805261350976824146469222278981630742039810954\ 72771049/1273366257083347843795653146514284747203475180372060230012\ 3766681369406956270655513365395778170555274649074563876404770196891\ 5936199950240925892519393920580829966423617881915374*c_1001_2^27 - 1315730947164334295040936789587039799110812023220556311839718428759\ 3508096999805902609501909500192860814364458912257594053630070213096\ 8429527177169315514018302857123994182479190/63668312854167392189782\ 6573257142373601737590186030115006188334068470347813532775668269788\ 9085277637324537281938202385098445796809997512046294625969696029041\ 4983211808940957687*c_1001_2^26 + 160955518369912064046018438122683\ 2310384760659984739067925094547883651704535999504607467645599752466\ 9101337077790241236020293257604154023816797919425438146751054476476\ 997161829/636683128541673921897826573257142373601737590186030115006\ 1883340684703478135327756682697889085277637324537281938202385098445\ 7968099975120462946259696960290414983211808940957687*c_1001_2^25 - 3189047060711850340174695205324729284385123070703955615210571593827\ 0701636615910281748734567811132886506148602369021836609352394964071\ 636714818506828587381268891823184781809474/636683128541673921897826\ 5732571423736017375901860301150061883340684703478135327756682697889\ 0852776373245372819382023850984457968099975120462946259696960290414\ 983211808940957687*c_1001_2^24 - 2317851192447830136525370610384535\ 7582502341736789943115466611873231609379040602016324845640901102914\ 2965308538525201705217674142745802296533875448397684810467670848812\ 195041369/636683128541673921897826573257142373601737590186030115006\ 1883340684703478135327756682697889085277637324537281938202385098445\ 7968099975120462946259696960290414983211808940957687*c_1001_2^23 - 2410401207339706418096380492419772518135706860885888969097229733907\ 0993891517051526405399127835269180815097463748828510603530089793884\ 97237374686239270962698160887254942238056463/1273366257083347843795\ 6531465142847472034751803720602300123766681369406956270655513365395\ 7781705552746490745638764047701968915936199950240925892519393920580\ 829966423617881915374*c_1001_2^22 - 3515359071647021937020706175803996296850264378529087447605761007737\ 2379040436706639355242927621340820610821999779417265023799205666094\ 55265365098742391929570698496429139736395565/1273366257083347843795\ 6531465142847472034751803720602300123766681369406956270655513365395\ 7781705552746490745638764047701968915936199950240925892519393920580\ 829966423617881915374*c_1001_2^21 - 4931850290873823574971068371508399466884974610832233927627073644875\ 2454309116032376789419126401992651214546143228976735062962803766307\ 05754704038637582469358770902697791331322255/1273366257083347843795\ 6531465142847472034751803720602300123766681369406956270655513365395\ 7781705552746490745638764047701968915936199950240925892519393920580\ 829966423617881915374*c_1001_2^20 - 2712710325040095060103172429286885523539590224699688419802546443309\ 8862358315750865288941341934058702789238934613216803502775682569389\ 65165027802668295755832734676711553038752805/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^19 - 3438680507800206962477009732838274275855847264398369324342318073213\ 2145273826209917015802622236505267262869744143989313288625875735719\ 11425177950710772667462922596235975752092635/1273366257083347843795\ 6531465142847472034751803720602300123766681369406956270655513365395\ 7781705552746490745638764047701968915936199950240925892519393920580\ 829966423617881915374*c_1001_2^18 + 3366965244465025522969730114774608535998623916883537405141670243059\ 3157021813373530031981466397137262200435414076318437879995657471464\ 38286317590651137003400278773687634963587827/1273366257083347843795\ 6531465142847472034751803720602300123766681369406956270655513365395\ 7781705552746490745638764047701968915936199950240925892519393920580\ 829966423617881915374*c_1001_2^17 + 3757142409897554331082282176857417541394101909456464392816000727695\ 5934661353466063854527835692838232166848678230557523284198277856408\ 24641989276135022093096660244534185873888663/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^16 + 1068953167291922341039219369361684045371626864159294966459067858294\ 9420217380795962862093611830466626767638943292670805619771780880781\ 548106375984270934362406919747473702390098449/127336625708334784379\ 5653146514284747203475180372060230012376668136940695627065551336539\ 5778170555274649074563876404770196891593619995024092589251939392058\ 0829966423617881915374*c_1001_2^15 + 2656552079704575356467825875365047021752403701565901140693147837869\ 0665944963721990213212300288118107455123654258876606190166718071494\ 321105858216564857216397152075911852901644/458045416217031598487645\ 0167317571033106025828676475647526534777471009696500235796174602797\ 9030774369241275409627355288478027315179838216160392992587741216125\ 8872027402452933*c_1001_2^14 + 574567670380572970842505816678615302\ 2863922725410027512374406210239488243915073466899553198476125687047\ 5555941762499846373203770121047011345229260945099573996217051235706\ 72221832/6366831285416739218978265732571423736017375901860301150061\ 8833406847034781353277566826978890852776373245372819382023850984457\ 968099975120462946259696960290414983211808940957687*c_1001_2^13 - 1246624611568139544302130182743581836506035085455740902651228517230\ 0296327073017328585027921094070978823688692293586338831648928872446\ 78959253978539056792363339768597239767302961/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^12 + 8512030594596189247970814991659270005116094431773766495859894837946\ 1816213586953329190916349382147297513702462979952226745401822499409\ 87373880848494687279353032944127610510336925/1273366257083347843795\ 6531465142847472034751803720602300123766681369406956270655513365395\ 7781705552746490745638764047701968915936199950240925892519393920580\ 829966423617881915374*c_1001_2^11 - 1414318115822916139749620653412270842639132830157840028237894705728\ 8569725782719130902501525651149650764427177980970670465681750981908\ 56427793653086708321791670037778196365641681/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^10 + 7841999288497454241005012151913498096107038611718197294691853307348\ 3069072470584647367156691384282563956647607539440852184422330548648\ 39179072383142677543750809996881866304606839/1273366257083347843795\ 6531465142847472034751803720602300123766681369406956270655513365395\ 7781705552746490745638764047701968915936199950240925892519393920580\ 829966423617881915374*c_1001_2^9 + 7022490009061048966188817780635901589397764900639924029634870330111\ 3321792527505669844794336696874405738766805931526264814183169035472\ 1505293261582169430641123057271950092970757/63668312854167392189782\ 6573257142373601737590186030115006188334068470347813532775668269788\ 9085277637324537281938202385098445796809997512046294625969696029041\ 4983211808940957687*c_1001_2^8 + 4962107895150319383407161698169024\ 4229196406121803721644830711685811775139152300791487262203875381566\ 7973208869097982712097768718570774228779026974926697026405555521288\ 3704447105/12733662570833478437956531465142847472034751803720602300\ 1237666813694069562706555133653957781705552746490745638764047701968\ 915936199950240925892519393920580829966423617881915374*c_1001_2^7 + 2146816099375272113980791728605640690047583319656951157052533193214\ 4287045249800121498552063111419825419417361829011009423347807460741\ 0640242319105634781731932338392354526801013/12733662570833478437956\ 5314651428474720347518037206023001237666813694069562706555133653957\ 7817055527464907456387640477019689159361999502409258925193939205808\ 29966423617881915374*c_1001_2^6 + 212393464005922839292282925912408\ 6123992241187402569427053248049732724768938949752174599630099668162\ 2106983926007647744964311391747774498134774949240868455678733039225\ 23588793953/1273366257083347843795653146514284747203475180372060230\ 0123766681369406956270655513365395778170555274649074563876404770196\ 8915936199950240925892519393920580829966423617881915374*c_1001_2^5 + 1894853714194048215915991280043942813997958728441480440461789756174\ 6123329518090680020288906155586277215857589069472000253582149509264\ 8552825817518291092349529868975501946567387/12733662570833478437956\ 5314651428474720347518037206023001237666813694069562706555133653957\ 7817055527464907456387640477019689159361999502409258925193939205808\ 29966423617881915374*c_1001_2^4 + 451960722897767464230793845423491\ 6155129285723017020540847850991254544697471158350399378131932533180\ 9828827128012632688091476692454213329238937309391672412959051179619\ 9318261011/12733662570833478437956531465142847472034751803720602300\ 1237666813694069562706555133653957781705552746490745638764047701968\ 915936199950240925892519393920580829966423617881915374*c_1001_2^3 + 2101556491441342367095074654743377153937822606962758217294220701393\ 4578291002508774608912571568094184952559012962472639563066978887351\ 1959476452629877744193280365999140549201685/12733662570833478437956\ 5314651428474720347518037206023001237666813694069562706555133653957\ 7817055527464907456387640477019689159361999502409258925193939205808\ 29966423617881915374*c_1001_2^2 + 167919027185184411549692165416399\ 0845467991439354190466553574035772874733223176296706697500876090770\ 2182161936007476749610221130471056466507403652093350751855083170266\ 6615688137/12733662570833478437956531465142847472034751803720602300\ 1237666813694069562706555133653957781705552746490745638764047701968\ 915936199950240925892519393920580829966423617881915374*c_1001_2 - 3531172670536641821911198477542721640246280649370295926388942419444\ 9842961850818472341659632498937005524147311773136182540377181095623\ 772495996432485135894483510592262980930834/636683128541673921897826\ 5732571423736017375901860301150061883340684703478135327756682697889\ 0852776373245372819382023850984457968099975120462946259696960290414\ 983211808940957687, c_1001_0 + 102224103068607308698437834005057549657982112416411077927386\ 2858302256305701007715737717492793983264298354240713552306998752217\ 6875744078170659265107955989256883631330910/63668312854167392189782\ 6573257142373601737590186030115006188334068470347813532775668269788\ 9085277637324537281938202385098445796809997512046294625969696029041\ 4983211808940957687*c_1001_2^39 - 369988589908196578157915595980397\ 5280604705566577719024683999057703153930552335863339194778288631414\ 4326860023766582763604468146684380385813968104955110827593387709655\ 4345/63668312854167392189782657325714237360173759018603011500618833\ 4068470347813532775668269788908527763732453728193820238509844579680\ 99975120462946259696960290414983211808940957687*c_1001_2^38 - 1258541420282452538296476007789838390515695986033014251376770034500\ 5598567187294525406166181497938450811294189579901938360724432150377\ 68748502878518557079535530338590997263/6366831285416739218978265732\ 5714237360173759018603011500618833406847034781353277566826978890852\ 7763732453728193820238509844579680999751204629462596969602904149832\ 11808940957687*c_1001_2^37 + 63785488330351151241235960751245131442\ 6059769984337519850351400124162393811550841795588004424418815249991\ 1316305039039739132324967513763637802105068736064610265641556491425\ /636683128541673921897826573257142373601737590186030115006188334068\ 4703478135327756682697889085277637324537281938202385098445796809997\ 5120462946259696960290414983211808940957687*c_1001_2^36 + 9855593140033823510941080021311677920873278759633081478659411240675\ 3754476090230918597469256093654727984617209896254752455562161120577\ 2351582353088437560619086727315010551/63668312854167392189782657325\ 7142373601737590186030115006188334068470347813532775668269788908527\ 7637324537281938202385098445796809997512046294625969696029041498321\ 1808940957687*c_1001_2^35 - 871857028103935614427152876873086498624\ 1373913357599195287411305187079536247779908998013818248426988753033\ 2432284212296394783319263394666005237666053353738622205980747766225\ /636683128541673921897826573257142373601737590186030115006188334068\ 4703478135327756682697889085277637324537281938202385098445796809997\ 5120462946259696960290414983211808940957687*c_1001_2^34 + 4024981864117998843482253452319946070351674308318290175569153712648\ 9030548925310964045286170352821239765674577345785616283509892542405\ 759236123200227184440740271410589437647/636683128541673921897826573\ 2571423736017375901860301150061883340684703478135327756682697889085\ 2776373245372819382023850984457968099975120462946259696960290414983\ 211808940957687*c_1001_2^33 + 2639826443136746729714790413839856500\ 8667957417180486226676584213235666899985286679315725235228318372595\ 5753288349488753038694084041488901030692305548833408203323446662012\ 768/636683128541673921897826573257142373601737590186030115006188334\ 0684703478135327756682697889085277637324537281938202385098445796809\ 9975120462946259696960290414983211808940957687*c_1001_2^32 - 3724540998395927610968476203837422800863858182708390491679902140745\ 6631064294976394198495886171998183513356293329345769578824450671028\ 1684737958211950311923262538700077256312/63668312854167392189782657\ 3257142373601737590186030115006188334068470347813532775668269788908\ 5277637324537281938202385098445796809997512046294625969696029041498\ 3211808940957687*c_1001_2^31 - 145923382873793504736949927675124473\ 0031758291640912604585551134528743931070083452427514505570543291032\ 3751814567450621960562466593255630502681201689249637884157506589046\ 37699/6366831285416739218978265732571423736017375901860301150061883\ 3406847034781353277566826978890852776373245372819382023850984457968\ 099975120462946259696960290414983211808940957687*c_1001_2^30 - 3241742812711704824545777052812057328417803392182843740671483751459\ 9695962998205878686564379575114292974358938929583331876021703832707\ 85050904616392872196506150324559979044833/6366831285416739218978265\ 7325714237360173759018603011500618833406847034781353277566826978890\ 8527763732453728193820238509844579680999751204629462596969602904149\ 83211808940957687*c_1001_2^29 + 61425926477058673230682988557810417\ 4438912114403848103343338884972213472685645769436563569103071457786\ 3671165912055442640744858605183767399349269509356467588986830437114\ 753823/636683128541673921897826573257142373601737590186030115006188\ 3340684703478135327756682697889085277637324537281938202385098445796\ 8099975120462946259696960290414983211808940957687*c_1001_2^28 - 3340793870557311874549841384672114548353257866641070194992222487177\ 9037651588699885947166373293507939277082023733074075814437102924197\ 86511163768167961793947135603346164539458/6366831285416739218978265\ 7325714237360173759018603011500618833406847034781353277566826978890\ 8527763732453728193820238509844579680999751204629462596969602904149\ 83211808940957687*c_1001_2^27 - 19002534135649603380524946457999535\ 4458095112093893668360783957823137430192804641011608725308627216452\ 0391091428769186667258139756887345378052659985464693131176201684654\ 6186795/63668312854167392189782657325714237360173759018603011500618\ 8334068470347813532775668269788908527763732453728193820238509844579\ 68099975120462946259696960290414983211808940957687*c_1001_2^26 - 9192767562332487249615296551795816795904396899580544015964341604184\ 7175921814343938970448686683888629551017243745541081496754866025129\ 909658995855237468351333691362093961375472/636683128541673921897826\ 5732571423736017375901860301150061883340684703478135327756682697889\ 0852776373245372819382023850984457968099975120462946259696960290414\ 983211808940957687*c_1001_2^25 - 4032626918901995834103098836376037\ 8502911946092379249696529844716857863469157158916891009767539117785\ 1277973863471479379041337224966576637119369888118881068359927632690\ 16371889/6366831285416739218978265732571423736017375901860301150061\ 8833406847034781353277566826978890852776373245372819382023850984457\ 968099975120462946259696960290414983211808940957687*c_1001_2^24 - 4050245121704400263593624481868630351691166068562550281399430640574\ 8370345676522587379938495777878274588822700254359351763613056965807\ 144549168468987109426568776880774796713675/636683128541673921897826\ 5732571423736017375901860301150061883340684703478135327756682697889\ 0852776373245372819382023850984457968099975120462946259696960290414\ 983211808940957687*c_1001_2^23 - 1225756729751451798828485183900740\ 4348893660688916519496777515253130120824995864927847096615084725409\ 8993106478827942426743766091462262432145549754909512504339387539332\ 469964664/636683128541673921897826573257142373601737590186030115006\ 1883340684703478135327756682697889085277637324537281938202385098445\ 7968099975120462946259696960290414983211808940957687*c_1001_2^22 - 7661637424394362578494840160565582282061244497684267914566021075665\ 7300360793263787110977206876306229613283418192547407022608325666833\ 5018822447762309360915232681299172191819087/63668312854167392189782\ 6573257142373601737590186030115006188334068470347813532775668269788\ 9085277637324537281938202385098445796809997512046294625969696029041\ 4983211808940957687*c_1001_2^21 - 144079363208490891735454601564781\ 0486208891864700761736968536138490520546627470774044837173318269551\ 3787485348752264675816523447082417820279325529404699713280995427418\ 57577820794/6366831285416739218978265732571423736017375901860301150\ 0618833406847034781353277566826978890852776373245372819382023850984\ 457968099975120462946259696960290414983211808940957687*c_1001_2^20 - 2258450762018854756356699178091746376941198247402123972443961971285\ 0964667087622168469353254286557253598839065010594569219270830325565\ 00537361579386165339017328624182014999502582/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^19 - 2762307944969854794460997349917438693451161034594724960305404235124\ 1547000371924335578958248298301814759985669949735653590160199602141\ 37114163405164920221026556746764847313890293/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^18 - 2469635788003994026342632303254082353918239592690674563494278538151\ 1452469814844228090482473821875952873466393149346303474772013032892\ 23509100452440093786032944875197947845954930/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^17 - 2216365333402128140187257604592246362503401122478066287893392968366\ 7820713075210022343056577348274999532342010340911588638758347412006\ 9844128084980020183971263539368373218244826/63668312854167392189782\ 6573257142373601737590186030115006188334068470347813532775668269788\ 9085277637324537281938202385098445796809997512046294625969696029041\ 4983211808940957687*c_1001_2^16 + 232086228091530404920400515211630\ 1330871794480040384525688155783680976444475915471534283971696678724\ 2799746163101108681827025931519553302674783202134554521474584225205\ 35345857760/6366831285416739218978265732571423736017375901860301150\ 0618833406847034781353277566826978890852776373245372819382023850984\ 457968099975120462946259696960290414983211808940957687*c_1001_2^15 + 3422902257055772280034289918634277236084679612720252496720379634154\ 2316138410803430882987716277513901962773709312251687728541128265788\ 322839664505758476787004294472800154409848/458045416217031598487645\ 0167317571033106025828676475647526534777471009696500235796174602797\ 9030774369241275409627355288478027315179838216160392992587741216125\ 8872027402452933*c_1001_2^14 + 471701635668529193720452274582839047\ 4753345906063992149748752775371955100556634262389371061890167224160\ 4422102466631208535842307592750839333096055380338303749961012329616\ 83110799/6366831285416739218978265732571423736017375901860301150061\ 8833406847034781353277566826978890852776373245372819382023850984457\ 968099975120462946259696960290414983211808940957687*c_1001_2^13 + 5838009428894743480497864931795203345950645925658011139987815213365\ 3997797814681229959495126036058109109650128276217229655718596999869\ 42040248881782807601725502706663284447699955/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^12 + 1852083635131156297269171070155757449429991786284332702283702633897\ 4356154482912166907913534175052750038247003788015854425918851166373\ 98598092991798432594186437554934749275743303/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^11 + 3399429216155692599472772542238861540000401080225315460635997104148\ 8476553751458601989673327770472293361614884722382468145317831606244\ 57319995505661683276114996925582465027210721/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^10 + 2172548657000031728671281471036176271519714867552693889542645898851\ 1138779605303714771924960830099843109235363770052281541608886904071\ 614334390665571739580332805745907694771671/636683128541673921897826\ 5732571423736017375901860301150061883340684703478135327756682697889\ 0852776373245372819382023850984457968099975120462946259696960290414\ 983211808940957687*c_1001_2^9 + 27560816198778389788059842058644490\ 0964401179916963657550966048215387119491644338873267267693188518905\ 0072121954722073145668508889840443478929081325571436281003493832073\ 469278926/636683128541673921897826573257142373601737590186030115006\ 1883340684703478135327756682697889085277637324537281938202385098445\ 7968099975120462946259696960290414983211808940957687*c_1001_2^8 + 1138641953050805593892058959868281101816167281756273570926673426334\ 5682873703024681565154462080930245789173360467329055521336709078883\ 12097556607602269285732009745959259147545937/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^7 + 264495941996473921725760834043810\ 5594283668153657081948888093086343285785154740910088611516334590627\ 9161150481807650742936595844539004128751221385155088823043177191948\ 96218899773/6366831285416739218978265732571423736017375901860301150\ 0618833406847034781353277566826978890852776373245372819382023850984\ 457968099975120462946259696960290414983211808940957687*c_1001_2^6 + 9758167735490401775258714316612978643674921648400742285477642086634\ 2147878718538977538096333664716291838467585259438815715765846096288\ 1737997484539098623206359116309973797399523/63668312854167392189782\ 6573257142373601737590186030115006188334068470347813532775668269788\ 9085277637324537281938202385098445796809997512046294625969696029041\ 4983211808940957687*c_1001_2^5 + 1267372596243981690389161362431954\ 6952992093204142674581328585338580166778357673912157647029890097121\ 1666443702544811138485972893999611207459156082263767842065658182756\ 8200588199/63668312854167392189782657325714237360173759018603011500\ 6188334068470347813532775668269788908527763732453728193820238509844\ 57968099975120462946259696960290414983211808940957687*c_1001_2^4 + 3576477430692851695203161194629190142784349044536348115695553813812\ 9147636943982777657516682136013788000162624642349519335737942486957\ 6291858322580035545707589125200480607179844/63668312854167392189782\ 6573257142373601737590186030115006188334068470347813532775668269788\ 9085277637324537281938202385098445796809997512046294625969696029041\ 4983211808940957687*c_1001_2^3 + 3917162327677928846975739131888081\ 1670148925996458445908247597636019923195149065017983964667317086000\ 4008956684387213383744860192662021107987533921702041153566527752263\ 587632479/636683128541673921897826573257142373601737590186030115006\ 1883340684703478135327756682697889085277637324537281938202385098445\ 7968099975120462946259696960290414983211808940957687*c_1001_2^2 + 8030509215856613819286997624257927810729083026801513372862581335388\ 5389341227441495618490587464622952415069007965056396470557602407066\ 548838028802480425301580141390691028564520/636683128541673921897826\ 5732571423736017375901860301150061883340684703478135327756682697889\ 0852776373245372819382023850984457968099975120462946259696960290414\ 983211808940957687*c_1001_2 + 1056015694594978172128697641396624552\ 7656850248865658101516407015255797150254104655004293593700878325080\ 4132706089991289785054431476757307666061285614580131141089937768232\ 789919/636683128541673921897826573257142373601737590186030115006188\ 3340684703478135327756682697889085277637324537281938202385098445796\ 8099975120462946259696960290414983211808940957687, c_1001_11 + 10222410306860730869843783400505754965798211241641107792738\ 6285830225630570100771573771749279398326429835424071355230699875221\ 76875744078170659265107955989256883631330910/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^39 - 3699885899081965781579155959803975280604705566577719024683999057703\ 1539305523358633391947782886314144326860023766582763604468146684380\ 3858139681049551108275933877096554345/63668312854167392189782657325\ 7142373601737590186030115006188334068470347813532775668269788908527\ 7637324537281938202385098445796809997512046294625969696029041498321\ 1808940957687*c_1001_2^38 - 125854142028245253829647600778983839051\ 5695986033014251376770034500559856718729452540616618149793845081129\ 418957990193836072443215037768748502878518557079535530338590997263/\ 6366831285416739218978265732571423736017375901860301150061883340684\ 7034781353277566826978890852776373245372819382023850984457968099975\ 120462946259696960290414983211808940957687*c_1001_2^37 + 6378548833035115124123596075124513144260597699843375198503514001241\ 6239381155084179558800442441881524999113163050390397391323249675137\ 63637802105068736064610265641556491425/6366831285416739218978265732\ 5714237360173759018603011500618833406847034781353277566826978890852\ 7763732453728193820238509844579680999751204629462596969602904149832\ 11808940957687*c_1001_2^36 + 98555931400338235109410800213116779208\ 7327875963308147865941124067537544760902309185974692560936547279846\ 172098962547524555621611205772351582353088437560619086727315010551/\ 6366831285416739218978265732571423736017375901860301150061883340684\ 7034781353277566826978890852776373245372819382023850984457968099975\ 120462946259696960290414983211808940957687*c_1001_2^35 - 8718570281039356144271528768730864986241373913357599195287411305187\ 0795362477799089980138182484269887530332432284212296394783319263394\ 666005237666053353738622205980747766225/636683128541673921897826573\ 2571423736017375901860301150061883340684703478135327756682697889085\ 2776373245372819382023850984457968099975120462946259696960290414983\ 211808940957687*c_1001_2^34 + 4024981864117998843482253452319946070\ 3516743083182901755691537126489030548925310964045286170352821239765\ 6745773457856162835098925424057592361232002271844407402714105894376\ 47/6366831285416739218978265732571423736017375901860301150061883340\ 6847034781353277566826978890852776373245372819382023850984457968099\ 975120462946259696960290414983211808940957687*c_1001_2^33 + 2639826443136746729714790413839856500866795741718048622667658421323\ 5666899985286679315725235228318372595575328834948875303869408404148\ 8901030692305548833408203323446662012768/63668312854167392189782657\ 3257142373601737590186030115006188334068470347813532775668269788908\ 5277637324537281938202385098445796809997512046294625969696029041498\ 3211808940957687*c_1001_2^32 - 372454099839592761096847620383742280\ 0863858182708390491679902140745663106429497639419849588617199818351\ 3356293329345769578824450671028168473795821195031192326253870007725\ 6312/63668312854167392189782657325714237360173759018603011500618833\ 4068470347813532775668269788908527763732453728193820238509844579680\ 99975120462946259696960290414983211808940957687*c_1001_2^31 - 1459233828737935047369499276751244730031758291640912604585551134528\ 7439310700834524275145055705432910323751814567450621960562466593255\ 63050268120168924963788415750658904637699/6366831285416739218978265\ 7325714237360173759018603011500618833406847034781353277566826978890\ 8527763732453728193820238509844579680999751204629462596969602904149\ 83211808940957687*c_1001_2^30 - 32417428127117048245457770528120573\ 2841780339218284374067148375145996959629982058786865643795751142929\ 7435893892958333187602170383270785050904616392872196506150324559979\ 044833/636683128541673921897826573257142373601737590186030115006188\ 3340684703478135327756682697889085277637324537281938202385098445796\ 8099975120462946259696960290414983211808940957687*c_1001_2^29 + 6142592647705867323068298855781041744389121144038481033433388849722\ 1347268564576943656356910307145778636711659120554426407448586051837\ 67399349269509356467588986830437114753823/6366831285416739218978265\ 7325714237360173759018603011500618833406847034781353277566826978890\ 8527763732453728193820238509844579680999751204629462596969602904149\ 83211808940957687*c_1001_2^28 - 33407938705573118745498413846721145\ 4835325786664107019499222248717790376515886998859471663732935079392\ 7708202373307407581443710292419786511163768167961793947135603346164\ 539458/636683128541673921897826573257142373601737590186030115006188\ 3340684703478135327756682697889085277637324537281938202385098445796\ 8099975120462946259696960290414983211808940957687*c_1001_2^27 - 1900253413564960338052494645799953544580951120938936683607839578231\ 3743019280464101160872530862721645203910914287691866672581397568873\ 453780526599854646931311762016846546186795/636683128541673921897826\ 5732571423736017375901860301150061883340684703478135327756682697889\ 0852776373245372819382023850984457968099975120462946259696960290414\ 983211808940957687*c_1001_2^26 - 9192767562332487249615296551795816\ 7959043968995805440159643416041847175921814343938970448686683888629\ 5510172437455410814967548660251299096589958552374683513336913620939\ 61375472/6366831285416739218978265732571423736017375901860301150061\ 8833406847034781353277566826978890852776373245372819382023850984457\ 968099975120462946259696960290414983211808940957687*c_1001_2^25 - 4032626918901995834103098836376037850291194609237924969652984471685\ 7863469157158916891009767539117785127797386347147937904133722496657\ 663711936988811888106835992763269016371889/636683128541673921897826\ 5732571423736017375901860301150061883340684703478135327756682697889\ 0852776373245372819382023850984457968099975120462946259696960290414\ 983211808940957687*c_1001_2^24 - 4050245121704400263593624481868630\ 3516911660685625502813994306405748370345676522587379938495777878274\ 5888227002543593517636130569658071445491684689871094265687768807747\ 96713675/6366831285416739218978265732571423736017375901860301150061\ 8833406847034781353277566826978890852776373245372819382023850984457\ 968099975120462946259696960290414983211808940957687*c_1001_2^23 - 1225756729751451798828485183900740434889366068891651949677751525313\ 0120824995864927847096615084725409899310647882794242674376609146226\ 2432145549754909512504339387539332469964664/63668312854167392189782\ 6573257142373601737590186030115006188334068470347813532775668269788\ 9085277637324537281938202385098445796809997512046294625969696029041\ 4983211808940957687*c_1001_2^22 - 766163742439436257849484016056558\ 2282061244497684267914566021075665730036079326378711097720687630622\ 9613283418192547407022608325666833501882244776230936091523268129917\ 2191819087/63668312854167392189782657325714237360173759018603011500\ 6188334068470347813532775668269788908527763732453728193820238509844\ 57968099975120462946259696960290414983211808940957687*c_1001_2^21 - 1440793632084908917354546015647810486208891864700761736968536138490\ 5205466274707740448371733182695513787485348752264675816523447082417\ 82027932552940469971328099542741857577820794/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^20 - 2258450762018854756356699178091746376941198247402123972443961971285\ 0964667087622168469353254286557253598839065010594569219270830325565\ 00537361579386165339017328624182014999502582/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^19 - 2762307944969854794460997349917438693451161034594724960305404235124\ 1547000371924335578958248298301814759985669949735653590160199602141\ 37114163405164920221026556746764847313890293/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^18 - 2469635788003994026342632303254082353918239592690674563494278538151\ 1452469814844228090482473821875952873466393149346303474772013032892\ 23509100452440093786032944875197947845954930/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^17 - 2216365333402128140187257604592246362503401122478066287893392968366\ 7820713075210022343056577348274999532342010340911588638758347412006\ 9844128084980020183971263539368373218244826/63668312854167392189782\ 6573257142373601737590186030115006188334068470347813532775668269788\ 9085277637324537281938202385098445796809997512046294625969696029041\ 4983211808940957687*c_1001_2^16 + 232086228091530404920400515211630\ 1330871794480040384525688155783680976444475915471534283971696678724\ 2799746163101108681827025931519553302674783202134554521474584225205\ 35345857760/6366831285416739218978265732571423736017375901860301150\ 0618833406847034781353277566826978890852776373245372819382023850984\ 457968099975120462946259696960290414983211808940957687*c_1001_2^15 + 3422902257055772280034289918634277236084679612720252496720379634154\ 2316138410803430882987716277513901962773709312251687728541128265788\ 322839664505758476787004294472800154409848/458045416217031598487645\ 0167317571033106025828676475647526534777471009696500235796174602797\ 9030774369241275409627355288478027315179838216160392992587741216125\ 8872027402452933*c_1001_2^14 + 471701635668529193720452274582839047\ 4753345906063992149748752775371955100556634262389371061890167224160\ 4422102466631208535842307592750839333096055380338303749961012329616\ 83110799/6366831285416739218978265732571423736017375901860301150061\ 8833406847034781353277566826978890852776373245372819382023850984457\ 968099975120462946259696960290414983211808940957687*c_1001_2^13 + 5838009428894743480497864931795203345950645925658011139987815213365\ 3997797814681229959495126036058109109650128276217229655718596999869\ 42040248881782807601725502706663284447699955/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^12 + 1852083635131156297269171070155757449429991786284332702283702633897\ 4356154482912166907913534175052750038247003788015854425918851166373\ 98598092991798432594186437554934749275743303/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^11 + 3399429216155692599472772542238861540000401080225315460635997104148\ 8476553751458601989673327770472293361614884722382468145317831606244\ 57319995505661683276114996925582465027210721/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^10 + 2172548657000031728671281471036176271519714867552693889542645898851\ 1138779605303714771924960830099843109235363770052281541608886904071\ 614334390665571739580332805745907694771671/636683128541673921897826\ 5732571423736017375901860301150061883340684703478135327756682697889\ 0852776373245372819382023850984457968099975120462946259696960290414\ 983211808940957687*c_1001_2^9 + 27560816198778389788059842058644490\ 0964401179916963657550966048215387119491644338873267267693188518905\ 0072121954722073145668508889840443478929081325571436281003493832073\ 469278926/636683128541673921897826573257142373601737590186030115006\ 1883340684703478135327756682697889085277637324537281938202385098445\ 7968099975120462946259696960290414983211808940957687*c_1001_2^8 + 1138641953050805593892058959868281101816167281756273570926673426334\ 5682873703024681565154462080930245789173360467329055521336709078883\ 12097556607602269285732009745959259147545937/6366831285416739218978\ 2657325714237360173759018603011500618833406847034781353277566826978\ 8908527763732453728193820238509844579680999751204629462596969602904\ 14983211808940957687*c_1001_2^7 + 264495941996473921725760834043810\ 5594283668153657081948888093086343285785154740910088611516334590627\ 9161150481807650742936595844539004128751221385155088823043177191948\ 96218899773/6366831285416739218978265732571423736017375901860301150\ 0618833406847034781353277566826978890852776373245372819382023850984\ 457968099975120462946259696960290414983211808940957687*c_1001_2^6 + 9758167735490401775258714316612978643674921648400742285477642086634\ 2147878718538977538096333664716291838467585259438815715765846096288\ 1737997484539098623206359116309973797399523/63668312854167392189782\ 6573257142373601737590186030115006188334068470347813532775668269788\ 9085277637324537281938202385098445796809997512046294625969696029041\ 4983211808940957687*c_1001_2^5 + 1267372596243981690389161362431954\ 6952992093204142674581328585338580166778357673912157647029890097121\ 1666443702544811138485972893999611207459156082263767842065658182756\ 8200588199/63668312854167392189782657325714237360173759018603011500\ 6188334068470347813532775668269788908527763732453728193820238509844\ 57968099975120462946259696960290414983211808940957687*c_1001_2^4 + 3576477430692851695203161194629190142784349044536348115695553813812\ 9147636943982777657516682136013788000162624642349519335737942486957\ 6291858322580035545707589125200480607179844/63668312854167392189782\ 6573257142373601737590186030115006188334068470347813532775668269788\ 9085277637324537281938202385098445796809997512046294625969696029041\ 4983211808940957687*c_1001_2^3 + 3917162327677928846975739131888081\ 1670148925996458445908247597636019923195149065017983964667317086000\ 4008956684387213383744860192662021107987533921702041153566527752263\ 587632479/636683128541673921897826573257142373601737590186030115006\ 1883340684703478135327756682697889085277637324537281938202385098445\ 7968099975120462946259696960290414983211808940957687*c_1001_2^2 + 8030509215856613819286997624257927810729083026801513372862581335388\ 5389341227441495618490587464622952415069007965056396470557602407066\ 548838028802480425301580141390691028564520/636683128541673921897826\ 5732571423736017375901860301150061883340684703478135327756682697889\ 0852776373245372819382023850984457968099975120462946259696960290414\ 983211808940957687*c_1001_2 + 1056015694594978172128697641396624552\ 7656850248865658101516407015255797150254104655004293593700878325080\ 4132706089991289785054431476757307666061285614580131141089937768232\ 789919/636683128541673921897826573257142373601737590186030115006188\ 3340684703478135327756682697889085277637324537281938202385098445796\ 8099975120462946259696960290414983211808940957687, c_1001_2^40 + 3*c_1001_2^39 - 15*c_1001_2^38 + 213*c_1001_2^36 - 66*c_1001_2^35 - 608*c_1001_2^34 + 884*c_1001_2^33 + 3920*c_1001_2^32 + 8869*c_1001_2^31 - 12005*c_1001_2^30 + 8628*c_1001_2^29 + 53165*c_1001_2^28 + 246289*c_1001_2^27 + 178621*c_1001_2^26 + 207484*c_1001_2^25 + 448497*c_1001_2^24 + 2140726*c_1001_2^23 + 4369145*c_1001_2^22 + 7384287*c_1001_2^21 + 9847678*c_1001_2^20 + 9995419*c_1001_2^19 + 4467004*c_1001_2^18 - 3621867*c_1001_2^17 - 13114751*c_1001_2^16 - 17182350*c_1001_2^15 - 21975753*c_1001_2^14 - 13143061*c_1001_2^13 - 14777056*c_1001_2^12 - 5270020*c_1001_2^11 - 9366345*c_1001_2^10 - 5835330*c_1001_2^9 - 9379378*c_1001_2^8 - 5628054*c_1001_2^7 - 6229096*c_1001_2^6 - 2917784*c_1001_2^5 - 2448492*c_1001_2^4 - 1021839*c_1001_2^3 - 799244*c_1001_2^2 - 193977*c_1001_2 - 156001 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.410 Total time: 2.629 seconds, Total memory usage: 32.09MB