Magma V2.19-8 Tue Aug 20 2013 18:09:04 on localhost [Seed = 1814943548] Type ? for help. Type -D to quit. Loading file "11_263__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_263 geometric_solution 13.33842822 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 14 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 0 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.775696493467 0.673535059129 0 5 5 3 0132 0132 1302 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.264989655642 0.638207391572 4 0 6 5 0213 0132 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.876367289276 0.571761239089 3 1 3 0 2310 1302 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.900564091433 0.555273459863 2 7 0 8 0213 0132 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 1 -1 0 0 -1 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.418326504027 0.462016043174 1 1 2 9 2031 0132 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.445080604790 1.336481074675 10 7 8 2 0132 0321 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 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.898832435534 0.765782399269 11 4 10 6 0132 0132 0213 0321 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 -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.113747442283 0.831246028629 9 12 4 6 3120 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 1 0 0 0 -1 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.653021772654 0.847650385117 13 13 5 8 0132 1302 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.518556820558 0.826687169470 6 7 11 13 0132 0213 0213 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 -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.529858412063 0.473380538736 7 10 12 12 0132 0213 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 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.735525951176 0.872222389133 11 8 13 11 3120 0132 0213 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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.318367864370 1.049961538829 9 12 10 9 0132 0213 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.526052878490 0.903286584336 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_10'], 'c_1001_10' : d['c_1001_10'], 'c_1001_13' : d['c_1001_12'], 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_0011_3'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_10'], 'c_1001_6' : d['c_1001_12'], 'c_1001_1' : d['c_0101_9'], 'c_1001_0' : negation(d['c_0101_5']), 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0101_9'], 'c_1001_8' : d['c_1001_10'], 'c_1010_13' : negation(d['c_0011_13']), 'c_1010_12' : d['c_1001_10'], 'c_1010_11' : negation(d['c_0011_12']), 'c_1010_10' : d['c_1001_12'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_3_13' : d['1'], 's_0_13' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_10'], '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' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0011_3']), 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_8']), 'c_1100_4' : negation(d['c_0011_3']), 'c_1100_7' : d['c_1001_12'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_1' : d['c_0101_5'], 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0011_13']), 'c_1100_10' : negation(d['c_0011_12']), 'c_1100_13' : negation(d['c_0011_12']), 's_0_11' : d['1'], 's_0_12' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : d['c_1001_2'], 'c_1010_5' : d['c_0101_9'], 'c_1010_4' : d['c_1001_10'], 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_5']), 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0011_12'], 'c_1010_8' : d['c_1001_12'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_13']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_13']), 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_11'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_10'], 'c_0110_10' : d['c_0101_13'], 'c_0110_13' : d['c_0101_9'], 'c_0110_12' : d['c_0011_10'], 'c_0101_12' : d['c_0011_13'], 'c_0110_0' : negation(d['c_0011_0']), 's_3_12' : d['1'], 'c_0101_7' : d['c_0011_10'], 'c_0101_6' : d['c_0101_13'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : negation(d['c_0101_0']), 'c_0101_2' : d['c_0011_11'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_13'], 'c_0110_8' : d['c_0101_13'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_8']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_8']), 'c_0110_5' : d['c_0101_9'], 'c_0110_4' : d['c_0101_8'], 'c_0110_7' : d['c_0011_10'], 'c_0110_6' : d['c_0011_11'], 'c_0101_13' : d['c_0101_13']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 15 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_13, c_0011_3, c_0101_0, c_0101_13, c_0101_5, c_0101_8, c_0101_9, c_1001_10, c_1001_12, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 50 Groebner basis: [ t + 2431358031729767899796545574977214744715551000358718039562168372457\ 3816130693943557583709780778079447453078777943555473785458034873253\ 74299120392035733047251/3441501576528104559269493586526771230141166\ 2535301710807176860733386132593158818238081073171184813248785244186\ 0311300327651757781771928084326417002753080000*c_1001_2^49 - 1577616408155134912556131574803637741710526771182952638493923058610\ 8969705089050723854494479122921796598544806149363593540577369584123\ 988894729604116008879401/344150157652810455926949358652677123014116\ 6253530171080717686073338613259315881823808107317118481324878524418\ 60311300327651757781771928084326417002753080000*c_1001_2^48 + 3153114114421767655542951793921074057114667089071135174207863285775\ 6826233768175885420755801243601881525993650837984662354197265254295\ 881692985751915937604659/172075078826405227963474679326338561507058\ 3126765085540358843036669306629657940911904053658559240662439262209\ 30155650163825878890885964042163208501376540000*c_1001_2^47 - 2706821585701427785399454193926588535178999023414860225754053412024\ 9383027022571788729683524136879532230683710644451761410823983298662\ 019293492771027378925061/430187697066013069908686698315846403767645\ 7816912713850897107591673266574144852279760134146398101656098155523\ 2538912540956469722721491010540802125344135000*c_1001_2^46 + 1292480426977850396806249027634819440546428189806696470281453990150\ 0225713592389034916223986231978334105638601646031176640524370017807\ 078894360467396089862409/732234377984703097716913529048249197902375\ 7986234406554718481007103432466629535795336398547060598563571328550\ 219389368673441654931317618815455680909640000*c_1001_2^45 - 9084441928810086323280584593077961046580832692505681108762955301996\ 1727472105249706138200001351064022864757421353578495952131452093238\ 771808888910386844946549/215093848533006534954343349157923201883822\ 8908456356925448553795836633287072426139880067073199050828049077761\ 6269456270478234861360745505270401062672067500*c_1001_2^44 + 2597294524236696255657827287589849952598965945660874975936180270061\ 4193443254411281155936991475740873733968113897619135799714357811715\ 227123061984790795733489/282090293158041357317171605453014035257472\ 6437319812361244004978146404310914657232629596161572525676129938048\ 035338527275834080178458426920708336088140000*c_1001_2^43 - 1088548750767284965797247399859113893374501994382252983459120791977\ 9356250129161548207685621379634678278683613146661406039611060707966\ 4122127604284866182085749/61455385295144724272669528330835200538235\ 1116701816264413872513096180939163550325680019163771157379442593646\ 1791273220136638531817355858648686017906305000*c_1001_2^42 + 1080922893418720702357161458255962449912705162225015161181742779959\ 6186320808052911546696787419205696716833040965622841039580856626645\ 634288551571539325153168913/344150157652810455926949358652677123014\ 1166253530171080717686073338613259315881823808107317118481324878524\ 41860311300327651757781771928084326417002753080000*c_1001_2^41 - 1763926122474067808567779115491091283247940092726309628741156474228\ 5349410922334907264023610772876776810441345443994395585083997444135\ 197848070277613806369260981/344150157652810455926949358652677123014\ 1166253530171080717686073338613259315881823808107317118481324878524\ 41860311300327651757781771928084326417002753080000*c_1001_2^40 + 2645455922149063264872159747903993346335249163822767862875735607498\ 2508650402710304056899816199900706599859020636145627579627067164455\ 482865274307185980570602369/344150157652810455926949358652677123014\ 1166253530171080717686073338613259315881823808107317118481324878524\ 41860311300327651757781771928084326417002753080000*c_1001_2^39 - 3797280068495830412185657963115157481520865756628031489999190843779\ 2040248521588828504984508789219314658226647540274905575837141113077\ 911479263631535384129486853/344150157652810455926949358652677123014\ 1166253530171080717686073338613259315881823808107317118481324878524\ 41860311300327651757781771928084326417002753080000*c_1001_2^38 + 4935082010275290938029771496873742317864525420471128888599350682620\ 5053275794273827927337844950324032805913028954412951255638905387779\ 957783393995573293002283149/344150157652810455926949358652677123014\ 1166253530171080717686073338613259315881823808107317118481324878524\ 41860311300327651757781771928084326417002753080000*c_1001_2^37 - 1263363959276763094822141112224980656695319360351989863032284068132\ 1178631875004494912202474989468150277066801679487074133133050238761\ 152985694902919367951620737/688300315305620911853898717305354246028\ 2332507060342161435372146677226518631763647616214634236962649757048\ 8372062260065530351556354385616865283400550616000*c_1001_2^36 + 1499617205004825334554255497216010014530653013408403315388153612354\ 0814121968609278462451464695729493913193276797219208274331131794295\ 932151162616912496446239249/688300315305620911853898717305354246028\ 2332507060342161435372146677226518631763647616214634236962649757048\ 8372062260065530351556354385616865283400550616000*c_1001_2^35 - 7074657828505688841508410107447665155280954144305832465876709596205\ 3302363255295915527721126832047567757920972241703529299962464251744\ 638024665731761579537221/307276926475723621363347641654176002691175\ 5583509081322069362565480904695817751628400095818855786897212968230\ 89563661006831926590867792932434300895315250*c_1001_2^34 + 1753183167183287695817096856775302477304582085079839375708090163106\ 2934670861518073996438214037263539720509483495140400954107562002041\ 15915551059073650637452637/5641805863160827146343432109060280705149\ 4528746396247224880099562928086218293144652591923231450513522598760\ 96070677054551668160356916853841416672176280000*c_1001_2^33 - 1536570819020006956321876966999445056455017001303666867413869500966\ 0974156868153238569422845659598424079579721233653869125560592531681\ 810486830675948058210596661/860375394132026139817373396631692807535\ 2915633825427701794215183346533148289704559520268292796203312196311\ 0465077825081912939445442982021081604250688270000*c_1001_2^32 + 1376165209591553110588048907576785603936023353901529381778236122035\ 4449531827470102644534659965852162335416131297555807062267157299748\ 6748627404838654358784476229/34415015765281045592694935865267712301\ 4116625353017108071768607333861325931588182380810731711848132487852\ 441860311300327651757781771928084326417002753080000*c_1001_2^31 - 2054777080560985287988963855641902626327785723048483309355566824872\ 9163666609180920335422493426630737611528216523704335739773999434220\ 030250812962120427518723801/860375394132026139817373396631692807535\ 2915633825427701794215183346533148289704559520268292796203312196311\ 0465077825081912939445442982021081604250688270000*c_1001_2^30 - 3617896055000519132380521436767866683291397757407224591221505993913\ 9685732049371008062351935218257028104590619052528175966883120812621\ 78950135254417307753533/4301876970660130699086866983158464037676457\ 8169127138508971075916732665741448522797601341463981016560981555232\ 538912540956469722721491010540802125344135000*c_1001_2^29 - 7692915048349951919504869432460493738462145973421036151226470257593\ 5925072377375938259228125826408184292912007334179304993321943166112\ 122861938880502273834075021/860375394132026139817373396631692807535\ 2915633825427701794215183346533148289704559520268292796203312196311\ 0465077825081912939445442982021081604250688270000*c_1001_2^28 - 2231896211657668117691992988598427841533067610780174771371177235285\ 3892031207402482588569105373474041945380322640655708593577098024538\ 853450321404072780669148287/491643082361157794181356226646681604305\ 8808933614530115310980104769447513308402605440153310169259035540749\ 1694330185761093108254538846869189488143250440000*c_1001_2^27 - 9312428485093001574596799012838226737897224179350713652427517697723\ 3129364071927904621970152354427189724776466182031138995195757109253\ 511137756340638055959661/614553852951447242726695283308352005382351\ 1167018162644138725130961809391635503256800191637711573794425936461\ 791273220136638531817355858648686017906305000*c_1001_2^26 + 8869595368028173440098078464692611097751454817618644585320020225806\ 7776719727582564183225534834125972595820883382088738994800986375578\ 1964104155107959856305749251/34415015765281045592694935865267712301\ 4116625353017108071768607333861325931588182380810731711848132487852\ 441860311300327651757781771928084326417002753080000*c_1001_2^25 + 2404506904601595456762349061201259146181694810119085826526775841791\ 8262736679273147400078536628920927764942078890658534917523289866431\ 1962006088017380883428957611/49164308236115779418135622664668160430\ 5880893361453011531098010476944751330840260544015331016925903554074\ 91694330185761093108254538846869189488143250440000*c_1001_2^24 + 1258395594241176258954575554663252888793003088367509188694321597410\ 2619330761846128555611305778482379435145814931628796277788119468829\ 43685225974914298362615210259/1720750788264052279634746793263385615\ 0705831267650855403588430366693066296579409119040536585592406624392\ 6220930155650163825878890885964042163208501376540000*c_1001_2^23 + 2421272049546369472020103676688481868838784428427919576127413947726\ 0471062747101600897119843926902161449968047712981840371093537105515\ 49811914092558108592175145623/3441501576528104559269493586526771230\ 1411662535301710807176860733386132593158818238081073171184813248785\ 2441860311300327651757781771928084326417002753080000*c_1001_2^22 + 1064818950915043512605101671160469783667159592566211705867549415382\ 5030582615473351656158181527750580603765696409465564831437173111449\ 59250747329485842661788534087/1720750788264052279634746793263385615\ 0705831267650855403588430366693066296579409119040536585592406624392\ 6220930155650163825878890885964042163208501376540000*c_1001_2^21 + 1334080542774095859978643820837385295894624543294834026233258655963\ 7014949181556610359930675699060765838110084837286553918773666924864\ 79207563390587614418451873/2255243497069531165969523975443493597733\ 3985934011606033536605985180951895910103694679602340225958878627289\ 7680413696151803248874031407656832514418580000*c_1001_2^20 + 1848639977503410625314209511901692285111553028520672942664570239032\ 3473591601154077221140154752729236214670797105473403607440280207332\ 82520160171955301549173482513/1720750788264052279634746793263385615\ 0705831267650855403588430366693066296579409119040536585592406624392\ 6220930155650163825878890885964042163208501376540000*c_1001_2^19 + 7486342057462436848509306856095678885843229490370108384496685075881\ 5284779305493628607090862119835064703530765353823829513233862016758\ 31213376271516981265706886979/3441501576528104559269493586526771230\ 1411662535301710807176860733386132593158818238081073171184813248785\ 2441860311300327651757781771928084326417002753080000*c_1001_2^18 + 2670411664930905988343224018157155669261771322562242122689021163699\ 2929844787491826069757506059474564948983929429878140035504643709644\ 3159613785625669679916966539/68830031530562091185389871730535424602\ 8233250706034216143537214667722651863176364761621463423696264975704\ 8837206226006553035155635438561686528340055061600*c_1001_2^17 + 2011137517374011645142415487249954760939095921721204605344469645133\ 5869179832499509710702929965478949525886749928546669490496398782676\ 814636531941885762487537968787/344150157652810455926949358652677123\ 0141166253530171080717686073338613259315881823808107317118481324878\ 52441860311300327651757781771928084326417002753080000*c_1001_2^16 + 4123581064059354856933005243418985805451813568910512795830770086302\ 9706343111730670959378717013651606369691303026932580737545155902974\ 5220146041383302330801472523/53773462133251633738585837289480800470\ 9557227114089231362138448959158321768106534970016768299762707012269\ 4404067364067619558715340186376317600265668016875*c_1001_2^15 + 1551093672282904098584435704080685808719242528260507106743497790077\ 1266126664451326622609746944095584777141850860989710168852555621249\ 01004704957305543619412207891/1720750788264052279634746793263385615\ 0705831267650855403588430366693066296579409119040536585592406624392\ 622093015565016382587889088596404216320850137654000*c_1001_2^14 + 3309681005488474796516818753154433066048491819519708322847366095503\ 8458921095939388098213078750456108029335445537460392142758144338735\ 485644204845621122068135830433/344150157652810455926949358652677123\ 0141166253530171080717686073338613259315881823808107317118481324878\ 52441860311300327651757781771928084326417002753080000*c_1001_2^13 + 2458750405812620899994768341370500214844818248091331044484063759082\ 5447775008175728646782966879070642565908257219098984396902252972906\ 739964683617683746649593343/261512277851679677756040546088660427822\ 2770709369430912399457502536940166653405641191570909664499486989760\ 19650692477452622916247547057814837702889630000*c_1001_2^12 + 7221736854862198206749670036245205921445462803623466761053764827795\ 2906323261563331846072383028235103133419977128093845303160185084349\ 37882031189079069974980471217/8603753941320261398173733966316928075\ 3529156338254277017942151833465331482897045595202682927962033121963\ 110465077825081912939445442982021081604250688270000*c_1001_2^11 + 4997292237044213324760036704422589283531883127990915838617198542042\ 3861937638605482386138643116118950714440922415201744834804706201680\ 2613978014385986934494593427/73223437798470309771691352904824919790\ 2375798623440655471848100710343246662953579533639854706059856357132\ 8550219389368673441654931317618815455680909640000*c_1001_2^10 + 1725507002395492023644856802486029150784697719036138978841610584146\ 0110238457804326733376682184091437466750648735161009609570644932185\ 793184423270161316823111139063/344150157652810455926949358652677123\ 0141166253530171080717686073338613259315881823808107317118481324878\ 52441860311300327651757781771928084326417002753080000*c_1001_2^9 + 2844746166673353302901988226528688328263485560480395568387424767292\ 0830776169321684854670154359602485560668460646224663536664914566541\ 80236804941274831964430717299/8603753941320261398173733966316928075\ 3529156338254277017942151833465331482897045595202682927962033121963\ 110465077825081912939445442982021081604250688270000*c_1001_2^8 + 1672398445112808239497710181636883109430107386196538202909236019371\ 8223751995233408224124027732027832172283818870650225561817100470565\ 77831180529051085027932481237/8603753941320261398173733966316928075\ 3529156338254277017942151833465331482897045595202682927962033121963\ 110465077825081912939445442982021081604250688270000*c_1001_2^7 + 8676318389342473258627726668490242352751591703629383564634901221454\ 0679182620771935920108856123861225891197558849243334203469769685860\ 804341799485699074342342251/860375394132026139817373396631692807535\ 2915633825427701794215183346533148289704559520268292796203312196311\ 046507782508191293944544298202108160425068827000*c_1001_2^6 + 1577100068695235488709256830927045898762953895286377773615265530052\ 9663830088600526191945920029588987666260924615536339579317463127333\ 79665368418813351079604249691/3441501576528104559269493586526771230\ 1411662535301710807176860733386132593158818238081073171184813248785\ 2441860311300327651757781771928084326417002753080000*c_1001_2^5 + 6160513086661286341431661372047743277974114674998090268479810436107\ 6859873476566166135287780767091341235804601555191748600310755926160\ 892056784417681536853110509/344150157652810455926949358652677123014\ 1166253530171080717686073338613259315881823808107317118481324878524\ 4186031130032765175778177192808432641700275308000*c_1001_2^4 + 1270970217368080714252492153134988511718539922632129871906584526169\ 3845267870501810903749206885906585480650416420002999194184390061986\ 512627236344732268885906839/215093848533006534954343349157923201883\ 8228908456356925448553795836633287072426139880067073199050828049077\ 7616269456270478234861360745505270401062672067500*c_1001_2^3 + 5461848159859880857518639098605992623283867262536031496007276434193\ 6073455574213608355166227796068174977117727221770337177416840809290\ 200790815265857937690835629/344150157652810455926949358652677123014\ 1166253530171080717686073338613259315881823808107317118481324878524\ 41860311300327651757781771928084326417002753080000*c_1001_2^2 + 5471606333503704049958415605091020863398511612713167133140013780770\ 6996782323414827494636841571085240780053787691572476977820788348980\ 34969545257214664101290053/1720750788264052279634746793263385615070\ 5831267650855403588430366693066296579409119040536585592406624392622\ 0930155650163825878890885964042163208501376540000*c_1001_2 + 1514771717168622936888432828702167297339593163129071775321844980396\ 5138871155273924607428289786304425304136428133948945435641297119313\ 72419047032251492745397211/3441501576528104559269493586526771230141\ 1662535301710807176860733386132593158818238081073171184813248785244\ 1860311300327651757781771928084326417002753080000, c_0011_0 - 1, c_0011_10 - 25501905565135377771434065601302824995250314329612067315686\ 2283359487035320504720796545986507105464320045805603054601611425595\ 9909/42769845617256798427229637647805714074719192233462381428585084\ 6590505091666988749985648206473798141286061299043604404773947221292\ 30*c_1001_2^49 + 64995043180392471911193134753023748872617883242164\ 9482262394427588186252201490456885239455866716917971788682736444838\ 1872883692613/21384922808628399213614818823902857037359596116731190\ 7142925423295252545833494374992824103236899070643030649521802202386\ 97361064615*c_1001_2^48 - 41988018271445267605598368114356964361521\ 9858515952100855154713750806045836784030422590329645103385731453903\ 1292332528069936307636/42769845617256798427229637647805714074719192\ 2334623814285850846590505091666988749985648206473798141286061299043\ 6044047739472212923*c_1001_2^47 + 129206004735363771563509328846002\ 1611774815746656391425665269221818092710187112614105762585712957783\ 69335430838711024813196878446827/4276984561725679842722963764780571\ 4074719192233462381428585084659050509166698874998564820647379814128\ 606129904360440477394722129230*c_1001_2^46 - 6435158474695228526997415900725485027680114281908051916331693098489\ 004591447853875249915277835223339804615926879569030534354500349/909\ 9967152607829452602050563362917888238126007119655623103209501925640\ 24823380319118400439305953492098002763922562563348823875090*c_1001_\ 2^45 + 582496035525140939826438036854057655604454446369016865863684\ 1470975874329735167362110960835901374363831802071669676756866187374\ 8101/42769845617256798427229637647805714074719192233462381428585084\ 6590505091666988749985648206473798141286061299043604404773947221292\ 3*c_1001_2^44 - 107703814492908150680654678104367105875271211903379\ 6560642461737703399741124179474524126297337390555035340695267355171\ 435280085615037/427698456172567984272296376478057140747191922334623\ 8142858508465905050916669887499856482064737981412860612990436044047\ 7394722129230*c_1001_2^43 + 154694310820680652870439178418229429982\ 7744103909279700144935031402937030818552383747529238243932096541222\ 157704656643364923056995037/427698456172567984272296376478057140747\ 1919223346238142858508465905050916669887499856482064737981412860612\ 9904360440477394722129230*c_1001_2^42 - 1037010884681261933287993371439138096834663581715394267564214852055\ 187124201602119099556440260454197920583060730886228145509947094349/\ 2138492280862839921361481882390285703735959611673119071429254232952\ 5254583349437499282410323689907064303064952180220238697361064615*c_\ 1001_2^41 + 2309503973870061045256360354637139522028275578235558242\ 2207884609141793993115117295983189349980504701796461815688561798631\ 72985255643/4276984561725679842722963764780571407471919223346238142\ 8585084659050509166698874998564820647379814128606129904360440477394\ 722129230*c_1001_2^40 - 1683129818197496034035949430655875980590436\ 7324946611015998813116715569235598476658808815450020340723499837671\ 1845364807916951842526/42769845617256798427229637647805714074719192\ 2334623814285850846590505091666988749985648206473798141286061299043\ 6044047739472212923*c_1001_2^39 + 134057603630525522993538604600440\ 8507540885493752577734379721211300171425924478087905668032210145156\ 808580137810977998531347800269107/427698456172567984272296376478057\ 1407471919223346238142858508465905050916669887499856482064737981412\ 8606129904360440477394722129230*c_1001_2^38 + 1208418668239099572143004405897686273968209077715422532645626869306\ 123164377385951576029502622730155855111845053033606977810393260274/\ 2138492280862839921361481882390285703735959611673119071429254232952\ 5254583349437499282410323689907064303064952180220238697361064615*c_\ 1001_2^37 - 1600833484734334660576555285443234310030757105145818856\ 3869739153278081159961330679864863312864014057001288065131563949813\ 73759405682/2138492280862839921361481882390285703735959611673119071\ 4292542329525254583349437499282410323689907064303064952180220238697\ 361064615*c_1001_2^36 + 7967027949155098735750880075580991604124506\ 5532545781895112641522291872672379206979063365564873266587766100651\ 81250387495808827871327/4276984561725679842722963764780571407471919\ 2233462381428585084659050509166698874998564820647379814128606129904\ 360440477394722129230*c_1001_2^35 - 9320935161330517520498803111723473568742609267931927265013223416751\ 875030962130079547714363260106444477199900964106971514475044225848/\ 2138492280862839921361481882390285703735959611673119071429254232952\ 5254583349437499282410323689907064303064952180220238697361064615*c_\ 1001_2^34 - 7611383127751447284836286139681234005125874363763669276\ 9884759989639295427918158172432270168788959474749162562625663050045\ 0530040447/42769845617256798427229637647805714074719192233462381428\ 5850846590505091666988749985648206473798141286061299043604404773947\ 2212923*c_1001_2^33 - 742697614124057688258196641587021540182751675\ 7093699763526279343643385318452892089004856136095271734329788392497\ 9195070034952754615589/42769845617256798427229637647805714074719192\ 2334623814285850846590505091666988749985648206473798141286061299043\ 60440477394722129230*c_1001_2^32 - 6166626552992102836081814020617944665246367470481304198770567604161\ 8757920099840457719821426052221294177526205154099602463764677365019\ /427698456172567984272296376478057140747191922334623814285850846590\ 50509166698874998564820647379814128606129904360440477394722129230*c\ _1001_2^31 - 368039433800977664987145954720209168753903555748149139\ 6846428436728756409926212336953501685320887593890773325809546841975\ 3235483089841/21384922808628399213614818823902857037359596116731190\ 7142925423295252545833494374992824103236899070643030649521802202386\ 97361064615*c_1001_2^30 + 13163238610027524147819995159214406599713\ 2518419495868243088978110894717741296951745430885075801718788728032\ 929931060654716927410867107/427698456172567984272296376478057140747\ 1919223346238142858508465905050916669887499856482064737981412860612\ 9904360440477394722129230*c_1001_2^29 + 7097610822557458936840119852640153426165096184907729501938713686519\ 4092224519953912000856326086546373117672794526089883863028168416379\ /855396912345135968544592752956114281494383844669247628571701693181\ 0101833339774999712964129475962825721225980872088095478944425846*c_\ 1001_2^28 + 2689750548156052781860750817305273989544465194077611468\ 9851091232418054550492612883867626645615716502737261494000269633659\ 2012882316698/21384922808628399213614818823902857037359596116731190\ 7142925423295252545833494374992824103236899070643030649521802202386\ 97361064615*c_1001_2^27 + 45638380532423448762528845243361874645290\ 6316417525835380791993813799991563608313799227657251697852579290331\ 73993135079857522762890678/2138492280862839921361481882390285703735\ 9596116731190714292542329525254583349437499282410323689907064303064\ 952180220238697361064615*c_1001_2^26 - 1126099505991719154556770977737932997218290831742291225416992252047\ 6140496301088393725190349956867123878946688864190656389087991702796\ 37/4276984561725679842722963764780571407471919223346238142858508465\ 9050509166698874998564820647379814128606129904360440477394722129230\ *c_1001_2^25 - 1514242119853137276881356211042906174229800505142862\ 3396705231108127629313417333809604388734078763076159192929239716967\ 96976060098189276/2138492280862839921361481882390285703735959611673\ 1190714292542329525254583349437499282410323689907064303064952180220\ 238697361064615*c_1001_2^24 - 4569076204241822459056640671372447899\ 0997930501146420983665490755273756876950936957017361065125522082904\ 19566644886644796226479296993571/4276984561725679842722963764780571\ 4074719192233462381428585084659050509166698874998564820647379814128\ 606129904360440477394722129230*c_1001_2^23 - 4970130071253013586245942937858571524702153993427521868448249732481\ 7296908892305008565253867776390670806087467970082186030954989564664\ 99/4276984561725679842722963764780571407471919223346238142858508465\ 9050509166698874998564820647379814128606129904360440477394722129230\ *c_1001_2^22 - 2036438585954028228557551988728807390040874148992717\ 4027393740171595984557202442909270417840428508023173902591501927507\ 11713982128308012/2138492280862839921361481882390285703735959611673\ 1190714292542329525254583349437499282410323689907064303064952180220\ 238697361064615*c_1001_2^21 - 3557855443321985759537658377612241723\ 8379258536784642559254599860663066849550707787127249581956215557594\ 4077343235995509666154851551891/42769845617256798427229637647805714\ 0747191922334623814285850846590505091666988749985648206473798141286\ 0612990436044047739472212923*c_1001_2^20 - 2806848355866216575041325829405979001682773459256104247027712143521\ 2864308194009192719454231269974013741136068523446300535280842304437\ 17/2138492280862839921361481882390285703735959611673119071429254232\ 9525254583349437499282410323689907064303064952180220238697361064615\ *c_1001_2^19 - 1210677823539112630949944313213520699292202169691201\ 5874360721857959142391653302311712921806860670517395938671282924340\ 269456831075116809/427698456172567984272296376478057140747191922334\ 6238142858508465905050916669887499856482064737981412860612990436044\ 0477394722129230*c_1001_2^18 - 113809816781347358831357699149065789\ 6815975361494506873888157284349770846460389833001861403297973272178\ 7928854845762385557908913927221479/21384922808628399213614818823902\ 8570373595961167311907142925423295252545833494374992824103236899070\ 64303064952180220238697361064615*c_1001_2^17 - 3571158983796674642511432723220970889771718201802829814334807041926\ 3974611002648019953859100420290299611974686370032280536141955281760\ 519/427698456172567984272296376478057140747191922334623814285850846\ 5905050916669887499856482064737981412860612990436044047739472212923\ 0*c_1001_2^16 - 240659533849514968122169094680190263119233222940664\ 7223679537138528875624173211230075670508205301612066753853117628304\ 6065587665410320863/21384922808628399213614818823902857037359596116\ 7311907142925423295252545833494374992824103236899070643030649521802\ 20238697361064615*c_1001_2^15 - 57611302210038397950903161457866845\ 6355290725452514528551480325450843842142230292410531814926745260108\ 29574648379842750459334405930032157/4276984561725679842722963764780\ 5714074719192233462381428585084659050509166698874998564820647379814\ 128606129904360440477394722129230*c_1001_2^14 - 3124031956195759609866419138856845481373627648035404712772282345661\ 5193232992236285422162559846538033090294513742865342699745769709468\ 103/213849228086283992136148188239028570373595961167311907142925423\ 2952525458334943749928241032368990706430306495218022023869736106461\ 5*c_1001_2^13 - 131744718475716461529270687008946994686700326427950\ 6434537355202815730684744816602297344834079536157539906462131820386\ 230815337867272107/909996715260782945260205056336291788823812600711\ 9655623103209501925640248233803191184004393059534920980027639225625\ 63348823875090*c_1001_2^12 - 11215214560565099044297206580242113729\ 7557569363823058376497443158818013236559068775633006764376174229438\ 78700223844217608294032243624481/8553969123451359685445927529561142\ 8149438384466924762857170169318101018333397749997129641294759628257\ 21225980872088095478944425846*c_1001_2^11 - 9816086178888239335157637492175478555632535075813799707612930487271\ 1748771879801993324848647318048728360704525376560848678851850859168\ 3/90999671526078294526020505633629178882381260071196556231032095019\ 2564024823380319118400439305953492098002763922562563348823875090*c_\ 1001_2^10 - 1711872603025836492431393336242289821567953555840331527\ 4607120672865546921833996593908021025962075912575123548862558241934\ 328201035064082/213849228086283992136148188239028570373595961167311\ 9071429254232952525458334943749928241032368990706430306495218022023\ 8697361064615*c_1001_2^9 - 1136602923664640513023991797303633850717\ 8269180948118509342273018070987972899126045355874091016509824622191\ 916738946537405262895657489856/213849228086283992136148188239028570\ 3735959611673119071429254232952525458334943749928241032368990706430\ 3064952180220238697361064615*c_1001_2^8 - 1339716960770073238341297039231681852374074675981005369953558324293\ 9940287670308225896895985163043917541116959721174041967998310380575\ 511/427698456172567984272296376478057140747191922334623814285850846\ 5905050916669887499856482064737981412860612990436044047739472212923\ 0*c_1001_2^7 - 6948128613017749613828218351922567312268551622207024\ 2181525293069456002079345349112177619620692616003528131425961554949\ 06828793242351537/4276984561725679842722963764780571407471919223346\ 2381428585084659050509166698874998564820647379814128606129904360440\ 477394722129230*c_1001_2^6 - 31353389145274138747316584880053925178\ 4661737428183919246870051182221271994593118556501965069265922613347\ 3681232010747114260301850794003/42769845617256798427229637647805714\ 0747191922334623814285850846590505091666988749985648206473798141286\ 06129904360440477394722129230*c_1001_2^5 - 6065125608564135793855354482670785694030161977960597396314361053414\ 4780053362879268512721356724570573082433429261239671519254427679416\ 8/21384922808628399213614818823902857037359596116731190714292542329\ 525254583349437499282410323689907064303064952180220238697361064615*\ c_1001_2^4 - 196479825043820731195172833846561817230564109602553788\ 5730070875601580975471510846870518690421529251297909684066129359871\ 82878147702009/2138492280862839921361481882390285703735959611673119\ 0714292542329525254583349437499282410323689907064303064952180220238\ 697361064615*c_1001_2^3 - 51178525374305469349261125522054440671036\ 4024897784566898987275763835881117836077493923428869899370398849316\ 25495581649577969185670816/2138492280862839921361481882390285703735\ 9596116731190714292542329525254583349437499282410323689907064303064\ 952180220238697361064615*c_1001_2^2 - 9925118920950934873086780207256214612167865423524900375644586147582\ 118787514766077602706830696913330024148721499009881325452003841899/\ 2138492280862839921361481882390285703735959611673119071429254232952\ 5254583349437499282410323689907064303064952180220238697361064615*c_\ 1001_2 - 2304346663769860390407779351243698210837406455863132387246\ 3676973219983344892090440557254733202225176555805793657595171005051\ 9604827/42769845617256798427229637647805714074719192233462381428585\ 0846590505091666988749985648206473798141286061299043604404773947221\ 2923, c_0011_11 - 32191344312024504467549090941163285253152453492097615709435\ 5830916794623006041774963991285974856327825137064863919/37057559112\ 4947105307914909734433710162265061759507992997114235199579051283242\ 58698455197352446218102340315057011890*c_1001_2^49 + 1742900007151912601938621000964308566295765496888712620001952338330\ 385994599827620531000112445986902716693230303911/370575591124947105\ 3079149097344337101622650617595079929971142351995790512832425869845\ 5197352446218102340315057011890*c_1001_2^48 - 1174195027011029787485543520404212284297557149198291195332557996577\ 891973832523140055545092644040006567980694685571/741151182249894210\ 6158298194688674203245301235190159859942284703991581025664851739691\ 039470489243620468063011402378*c_1001_2^47 + 1840902524643397316793843236312498006762921835275419841901446576851\ 8429212861345030415803336220650038745508675879457/37057559112494710\ 5307914909734433710162265061759507992997114235199579051283242586984\ 55197352446218102340315057011890*c_1001_2^46 - 4533088091152010670924520897717950722941502894956453972183590705823\ 0861046682287849638217413204807031995014451477893/37057559112494710\ 5307914909734433710162265061759507992997114235199579051283242586984\ 55197352446218102340315057011890*c_1001_2^45 + 9290197854456534107457550064761953393364321237594200729017330395839\ 568530077663919651303119491663213003235349365032/370575591124947105\ 3079149097344337101622650617595079929971142351995790512832425869845\ 519735244621810234031505701189*c_1001_2^44 - 9057702032957093604688482887676155195638361519830471903517672274556\ 6095460791842382896274807710683003780305377471571/18528779556247355\ 2653957454867216855081132530879753996498557117599789525641621293492\ 27598676223109051170157528505945*c_1001_2^43 + 2943839984312554363617100929362692018022130107769130009625711066195\ 68347654581903411420041482738645576490899456680477/3705755911249471\ 0530791490973443371016226506175950799299711423519957905128324258698\ 455197352446218102340315057011890*c_1001_2^42 - 4498141734654170672210440018698234169089013214841999640236343141437\ 64618973223181696711044679438612785651703726857663/3705755911249471\ 0530791490973443371016226506175950799299711423519957905128324258698\ 455197352446218102340315057011890*c_1001_2^41 + 3132197978452094327767289297569524620625934735091570345117278426742\ 50681652836310478109662317134056083081970951318574/1852877955624735\ 5265395745486721685508113253087975399649855711759978952564162129349\ 227598676223109051170157528505945*c_1001_2^40 - 7611097896193862093374625923022173234792741435236739318738391047791\ 6187019311830113257630542320869045473916511583003/37057559112494710\ 5307914909734433710162265061759507992997114235199579051283242586984\ 5519735244621810234031505701189*c_1001_2^39 + 9900376145650890595475048458329037854754881265222747222117816016656\ 64136461776736184576300667360515423069431143848977/3705755911249471\ 0530791490973443371016226506175950799299711423519957905128324258698\ 455197352446218102340315057011890*c_1001_2^38 - 8919519243358512230249904542567338446807211736232868684237033948652\ 37089140127983207395759459712778918267707606989217/3705755911249471\ 0530791490973443371016226506175950799299711423519957905128324258698\ 455197352446218102340315057011890*c_1001_2^37 + 5609680322733421952679595900469770940270847257564781773296506300343\ 75762498436291028303231290160075270929649081042293/1852877955624735\ 5265395745486721685508113253087975399649855711759978952564162129349\ 227598676223109051170157528505945*c_1001_2^36 - 1002642453610709313544455623054413432635430096543070995288837532514\ 439654445248894042147527218957836780211509621256023/370575591124947\ 1053079149097344337101622650617595079929971142351995790512832425869\ 8455197352446218102340315057011890*c_1001_2^35 + 6147712703305715064094219502859414779121834341383320825637110647562\ 00073344158499718230462782176756936641286810817/1852877955624735526\ 5395745486721685508113253087975399649855711759978952564162129349227\ 598676223109051170157528505945*c_1001_2^34 - 6728860084474029707955472059596183997484501881907423160906741938426\ 23876025412494686387851212029168922025784793535969/7411511822498942\ 1061582981946886742032453012351901598599422847039915810256648517396\ 91039470489243620468063011402378*c_1001_2^33 - 5615643990050118999427854761307344856897684631461483099146803815645\ 100769804180518267387648910743035805066590191110209/370575591124947\ 1053079149097344337101622650617595079929971142351995790512832425869\ 8455197352446218102340315057011890*c_1001_2^32 - 8759547289334201669049101422119354215197971713162107641907819171025\ 080914905934989770488847940698837264539851825053279/370575591124947\ 1053079149097344337101622650617595079929971142351995790512832425869\ 8455197352446218102340315057011890*c_1001_2^31 - 1634763495599451574268339127968077665932201077189967693305738895603\ 815810483693356138099278397241828788759884116324991/185287795562473\ 5526539574548672168550811325308797539964985571175997895256416212934\ 9227598676223109051170157528505945*c_1001_2^30 + 7665309221165868711339545338818126677902953364093742570212263305936\ 149006904876846197051596622322071446036618983226826/185287795562473\ 5526539574548672168550811325308797539964985571175997895256416212934\ 9227598676223109051170157528505945*c_1001_2^29 + 8642087761027667044298416786583535127418292983697800128289875796239\ 406191907961099729158930332395814990191152957627465/741151182249894\ 2106158298194688674203245301235190159859942284703991581025664851739\ 691039470489243620468063011402378*c_1001_2^28 + 5056387685580758113284366640904216782446785861347504701635853784166\ 4303677734683932253151249372798178845596389765825511/37057559112494\ 7105307914909734433710162265061759507992997114235199579051283242586\ 98455197352446218102340315057011890*c_1001_2^27 - 5104834028175230649804975078331177372795292103516014123060955058692\ 337782196493731918291046585150119481909509754415929/370575591124947\ 1053079149097344337101622650617595079929971142351995790512832425869\ 8455197352446218102340315057011890*c_1001_2^26 - 7366564893423686342830322288283062746904880931804388240845309113856\ 1392204169665004303309455102508657983174335300217881/18528779556247\ 3552653957454867216855081132530879753996498557117599789525641621293\ 49227598676223109051170157528505945*c_1001_2^25 - 1666517422490063373936329933851622075148007125977729350591523351706\ 82877796609521055856398929467056075650232125447163021/1852877955624\ 7355265395745486721685508113253087975399649855711759978952564162129\ 349227598676223109051170157528505945*c_1001_2^24 - 2318529596543895036718858600516218671794044644931590566457264226177\ 34788606833570315647361373796103046837522425714209388/1852877955624\ 7355265395745486721685508113253087975399649855711759978952564162129\ 349227598676223109051170157528505945*c_1001_2^23 - 2283980258869663763507197294249495355086416805139936728697979593927\ 49243618614160496529679993009089433231358579239155397/1852877955624\ 7355265395745486721685508113253087975399649855711759978952564162129\ 349227598676223109051170157528505945*c_1001_2^22 - 3478736510517769236200330574384044765150478166342204957020659844909\ 93930562465023433860076953034705266002984569393691539/3705755911249\ 4710530791490973443371016226506175950799299711423519957905128324258\ 698455197352446218102340315057011890*c_1001_2^21 - 6471604442251034384715126419801007430320810233459670937112463926826\ 6254199881767419113259975943123206481192705763470863/74115118224989\ 4210615829819468867420324530123519015985994228470399158102566485173\ 9691039470489243620468063011402378*c_1001_2^20 - 6107420743927967746198240070045572046951971494589477720516499102506\ 69399379756439294262337951241369067207593710171302219/3705755911249\ 4710530791490973443371016226506175950799299711423519957905128324258\ 698455197352446218102340315057011890*c_1001_2^19 - 6696110422109838342987512922795625982120498980006038310564550768594\ 49483015637996066259693767269515291818321758674386367/1852877955624\ 7355265395745486721685508113253087975399649855711759978952564162129\ 349227598676223109051170157528505945*c_1001_2^18 - 2432286421981494453076052708534391239314741496202871576921762800566\ 558572050440713529218154822424440992314014451110665543/370575591124\ 9471053079149097344337101622650617595079929971142351995790512832425\ 8698455197352446218102340315057011890*c_1001_2^17 - 1836271839769355469238858643404711606305320783600598945170872592522\ 251336409578627578480144050801818197149995710820339727/185287795562\ 4735526539574548672168550811325308797539964985571175997895256416212\ 9349227598676223109051170157528505945*c_1001_2^16 - 4795616672227717278649564090765540962508530073569285895782289881516\ 354487144408452538905987166871124110973553951188945021/370575591124\ 9471053079149097344337101622650617595079929971142351995790512832425\ 8698455197352446218102340315057011890*c_1001_2^15 - 5594401389390075190640193890437937034993086903179110227464452102584\ 289910432369147027435463840731565331317874429510990637/370575591124\ 9471053079149097344337101622650617595079929971142351995790512832425\ 8698455197352446218102340315057011890*c_1001_2^14 - 5930882760430638366092694979703364618393605368689661791615344298510\ 839150737256306242333075529786962313357629311293115091/370575591124\ 9471053079149097344337101622650617595079929971142351995790512832425\ 8698455197352446218102340315057011890*c_1001_2^13 - 5746326276288159330448211874281963102640779906809899768967476000902\ 014598715397672687359755890242600372512107087010226689/370575591124\ 9471053079149097344337101622650617595079929971142351995790512832425\ 8698455197352446218102340315057011890*c_1001_2^12 - 5076394305392572385241285656541717216848975913652469483416548817675\ 35132437202895614906422695996588380010120948061415270/3705755911249\ 4710530791490973443371016226506175950799299711423519957905128324258\ 69845519735244621810234031505701189*c_1001_2^11 - 2031439321096573741104698692125868840448023104724637644577532533976\ 577262068120873462522706262523942171704815720144607808/185287795562\ 4735526539574548672168550811325308797539964985571175997895256416212\ 9349227598676223109051170157528505945*c_1001_2^10 - 1462498920359101895766210282490366993167600124114353721158263084299\ 127287679766087236726639311826150594277172128224332327/185287795562\ 4735526539574548672168550811325308797539964985571175997895256416212\ 9349227598676223109051170157528505945*c_1001_2^9 - 9400059911059999386828682244044725058586676940836956342528095978502\ 29457985648946302089364986565073444834156663217516766/1852877955624\ 7355265395745486721685508113253087975399649855711759978952564162129\ 349227598676223109051170157528505945*c_1001_2^8 - 5354022261335398563574145208422443071029447651948208723894733598759\ 05929423028476459252455559441472947458904446196819208/1852877955624\ 7355265395745486721685508113253087975399649855711759978952564162129\ 349227598676223109051170157528505945*c_1001_2^7 - 5358715402016428532350907355188222000943482699449463864631808708302\ 61878978673848503590917080190932608268882069685815107/3705755911249\ 4710530791490973443371016226506175950799299711423519957905128324258\ 698455197352446218102340315057011890*c_1001_2^6 - 2329987908417860817259946683197325084261176777914883189776448702525\ 96768280782211655690130403237202318426162807585271363/3705755911249\ 4710530791490973443371016226506175950799299711423519957905128324258\ 698455197352446218102340315057011890*c_1001_2^5 - 4334322134009551225698490039708456754302379521351122518041193237891\ 8290834943511036584810543857296114331777863229572268/18528779556247\ 3552653957454867216855081132530879753996498557117599789525641621293\ 49227598676223109051170157528505945*c_1001_2^4 - 1346104474895666401161274240476673697242856614941149578443368001240\ 6390327404876517112696240231933225018918610924177624/18528779556247\ 3552653957454867216855081132530879753996498557117599789525641621293\ 49227598676223109051170157528505945*c_1001_2^3 - 6746522589919548297675519717264840675580491741310499343413971588193\ 066801685479854885034631916444231999891852858120067/370575591124947\ 1053079149097344337101622650617595079929971142351995790512832425869\ 8455197352446218102340315057011890*c_1001_2^2 - 1286383184475400680836437741175353949538768341208777072324412948841\ 529736728612517769489202690712112249377023737907773/370575591124947\ 1053079149097344337101622650617595079929971142351995790512832425869\ 8455197352446218102340315057011890*c_1001_2 - 1687484144613472281167260554631716476804987892391009042546030489608\ 9035997334738513385769200434205802953378730484670/37057559112494710\ 5307914909734433710162265061759507992997114235199579051283242586984\ 5519735244621810234031505701189, c_0011_12 + 18314783121642900013221722353564931695435082967822969489164\ 1843691077526007410386012701142256581830490595220271096504269068473\ 0216/21384922808628399213614818823902857037359596116731190714292542\ 3295252545833494374992824103236899070643030649521802202386973610646\ 15*c_1001_2^49 - 19362310289321646467481499987827129542368791754390\ 7206162910986873311416035849268935971282838162985676601110531839458\ 29882711761823/4276984561725679842722963764780571407471919223346238\ 1428585084659050509166698874998564820647379814128606129904360440477\ 394722129230*c_1001_2^48 + 6485513857375951077802857858740676395658\ 7541544917865689464662556665406512343523520510185737784453632677138\ 95970292282460105260026/4276984561725679842722963764780571407471919\ 2233462381428585084659050509166698874998564820647379814128606129904\ 36044047739472212923*c_1001_2^47 - 2033274071229476938739198439804582243599014731685380195620047723293\ 91394203178247498872304140849339788691601602343091824450951943881/4\ 2769845617256798427229637647805714074719192233462381428585084659050\ 509166698874998564820647379814128606129904360440477394722129230*c_1\ 001_2^46 + 10502078188150793616514691729630944676349379442135135382\ 8055411370135710300185313167995046611766307227515053745809975685445\ 45534527/9099967152607829452602050563362917888238126007119655623103\ 2095019256402482338031911840043930595349209800276392256256334882387\ 5090*c_1001_2^45 - 199786151035119833087037906728050618789950008384\ 2767869906475214119947395335689702638535778567658411405741287860644\ 96170973242707073/8553969123451359685445927529561142814943838446692\ 4762857170169318101018333397749997129641294759628257212259808720880\ 95478944425846*c_1001_2^44 + 19222589111709800568495973509881509811\ 5870837934442307582508789963824227997697214580581358094628304499665\ 5962596471629733335762030761/42769845617256798427229637647805714074\ 7191922334623814285850846590505091666988749985648206473798141286061\ 29904360440477394722129230*c_1001_2^43 - 1505942347609268621040451250166979547388722654865133915353722531501\ 007076136463888270801396262596153171188603980454530564759223589233/\ 2138492280862839921361481882390285703735959611673119071429254232952\ 5254583349437499282410323689907064303064952180220238697361064615*c_\ 1001_2^42 + 4447865339211982925334272441672780474476204100324445642\ 1073243410618740174138053757420113640343716206999422095254812806393\ 81672916359/4276984561725679842722963764780571407471919223346238142\ 8585084659050509166698874998564820647379814128606129904360440477394\ 722129230*c_1001_2^41 - 5819385775424231463314029172304299462674147\ 7432138064094160654734703132111393845869421546252915503058403295602\ 14735710279235427826879/4276984561725679842722963764780571407471919\ 2233462381428585084659050509166698874998564820647379814128606129904\ 360440477394722129230*c_1001_2^40 + 6353500994150911988088478190920867515005910264926275418252626343766\ 24280882742341093069713160255018154301996965294944758086907710928/4\ 2769845617256798427229637647805714074719192233462381428585084659050\ 50916669887499856482064737981412860612990436044047739472212923*c_10\ 01_2^39 - 379788482558949187439629576129510695958802321119413847441\ 4079130888736224226704072289281865761820978510889498887412847508810\ 460532063/213849228086283992136148188239028570373595961167311907142\ 9254232952525458334943749928241032368990706430306495218022023869736\ 1064615*c_1001_2^38 + 219991751259354106672764089023425023079989218\ 5896651764390548637281535910270666058668894302595611131216425606998\ 402033169191832371563/213849228086283992136148188239028570373595961\ 1673119071429254232952525458334943749928241032368990706430306495218\ 0220238697361064615*c_1001_2^37 - 262608532599797448867035220777944\ 9007005595570078904414247825836729695567616248422016458064029923334\ 425690109398108573240696278188654/213849228086283992136148188239028\ 5703735959611673119071429254232952525458334943749928241032368990706\ 4303064952180220238697361064615*c_1001_2^36 + 7390581205296502125002133874567792452325314863474907197950926623654\ 06404418714751645281177378844260225078071372427547692992881941399/4\ 2769845617256798427229637647805714074719192233462381428585084659050\ 509166698874998564820647379814128606129904360440477394722129230*c_1\ 001_2^35 + 12557085856445214072063351489955811545490686654184853325\ 8712865485763574911837885094624733158369298139341464670154233304512\ 44962881303/4276984561725679842722963764780571407471919223346238142\ 8585084659050509166698874998564820647379814128606129904360440477394\ 722129230*c_1001_2^34 + 2489192395814605474835578557165300962179381\ 9997622162014213839937079231819021154672624656744649885476335594386\ 73595984617709315622689/4276984561725679842722963764780571407471919\ 2233462381428585084659050509166698874998564820647379814128606129904\ 36044047739472212923*c_1001_2^33 + 8622254479199228524690086026218453476675288088662128975567850730953\ 5523400794742355733671336407694992321610570183849808044432420727107\ /427698456172567984272296376478057140747191922334623814285850846590\ 50509166698874998564820647379814128606129904360440477394722129230*c\ _1001_2^32 + 973769936148090490080262373591426659392863301473931632\ 9833609517244163851629498443913728731511050890988634280983243593571\ 7427228434707/42769845617256798427229637647805714074719192233462381\ 4285850846590505091666988749985648206473798141286061299043604404773\ 94722129230*c_1001_2^31 + 80926761499071926454910192704084706584341\ 9677388803910822889213737959176801817087347335567656228414660103344\ 54967391562557559075572971/4276984561725679842722963764780571407471\ 9192233462381428585084659050509166698874998564820647379814128606129\ 904360440477394722129230*c_1001_2^30 - 1691367862230658128731654137176057451744094937475007756037090779566\ 8416214978674297332303610665353166027151370532367330232426276554426\ 1/42769845617256798427229637647805714074719192233462381428585084659\ 050509166698874998564820647379814128606129904360440477394722129230*\ c_1001_2^29 - 49506843385041539605292922723746696673286978882841381\ 3616746890813803500956715767521389281268214276738202604256075220590\ 34105323727345/4276984561725679842722963764780571407471919223346238\ 1428585084659050509166698874998564820647379814128606129904360440477\ 39472212923*c_1001_2^28 - 70136180846353511890250009114247362347046\ 8714529795696424845868391345331767530840689119023769485198051460205\ 205501440531201547238338863/427698456172567984272296376478057140747\ 1919223346238142858508465905050916669887499856482064737981412860612\ 9904360440477394722129230*c_1001_2^27 - 1089220830446555328402184562081678495660087279343810654075957877494\ 2047223583164522188351549855221111413101416720013454051300421797683\ 3/42769845617256798427229637647805714074719192233462381428585084659\ 050509166698874998564820647379814128606129904360440477394722129230*\ c_1001_2^26 + 15660446401612595172303763920132505400501051288380081\ 7088138346555911576855481173754063827590668256232558988772572507672\ 9321542376879271/42769845617256798427229637647805714074719192233462\ 3814285850846590505091666988749985648206473798141286061299043604404\ 77394722129230*c_1001_2^25 + 40896377815422378250491773172289133081\ 9912212966981138709834935265138425062942911968952251146523291444057\ 4569821831282838870711044995981/42769845617256798427229637647805714\ 0747191922334623814285850846590505091666988749985648206473798141286\ 06129904360440477394722129230*c_1001_2^24 + 3081250622192895258314444188191799676992903093862979659627009303010\ 4099212027256522842036090206943445854056569312743248075668172167313\ 69/2138492280862839921361481882390285703735959611673119071429254232\ 9525254583349437499282410323689907064303064952180220238697361064615\ *c_1001_2^23 + 3332230986028833094982618096093167249778986452036230\ 5206131628603991225159724472703684172156793123578364332536702846969\ 88460520523772621/2138492280862839921361481882390285703735959611673\ 1190714292542329525254583349437499282410323689907064303064952180220\ 238697361064615*c_1001_2^22 + 5502959680173055539055269085550484007\ 7817760392744161979468806088097231771137470790313478884494062776825\ 56031905623481038858216959179577/4276984561725679842722963764780571\ 4074719192233462381428585084659050509166698874998564820647379814128\ 606129904360440477394722129230*c_1001_2^21 + 9714299306041660840354980791420433767252333103963334153615544766969\ 3443099678719252334200131591672744885676883525278856927133441564992\ 7/85539691234513596854459275295611428149438384466924762857170169318\ 10101833339774999712964129475962825721225980872088095478944425846*c\ _1001_2^20 + 771647633132777807152328093519969766815741035557101323\ 9864668616772161300558794036176287517366657659599288464277809212627\ 082216393328627/427698456172567984272296376478057140747191922334623\ 8142858508465905050916669887499856482064737981412860612990436044047\ 7394722129230*c_1001_2^19 + 825329882841667696846540330089935534070\ 7394417735200538912447686188766932545046256756987547111675563568577\ 825643235751468248221635105276/213849228086283992136148188239028570\ 3735959611673119071429254232952525458334943749928241032368990706430\ 3064952180220238697361064615*c_1001_2^18 + 3088843008134606990256034933976857155539139793068866198760364852479\ 1052797081025600439327471092695319286799874051498106761951544957739\ 729/427698456172567984272296376478057140747191922334623814285850846\ 5905050916669887499856482064737981412860612990436044047739472212923\ 0*c_1001_2^17 + 241657218008930983305265884259463146499119567373905\ 8940047415883053786838173195401267513410221899496266270323820183524\ 0061132651366341136/21384922808628399213614818823902857037359596116\ 7311907142925423295252545833494374992824103236899070643030649521802\ 20238697361064615*c_1001_2^16 + 32524766477776642842287679894985475\ 6181941363579342065092183450062679792380661538083029693121415317900\ 78591372984790197654861995815560304/2138492280862839921361481882390\ 2857037359596116731190714292542329525254583349437499282410323689907\ 064303064952180220238697361064615*c_1001_2^15 + 3889198304933894196145194143686043622793025659055438158381456181783\ 8027324110898629926227452146707081196378239975294412408568526723163\ 908/213849228086283992136148188239028570373595961167311907142925423\ 2952525458334943749928241032368990706430306495218022023869736106461\ 5*c_1001_2^14 + 421384719481788675973444938590107087119057260661926\ 5476908029973460342745272416143186591463876662556514357588512659517\ 3098985076641726269/21384922808628399213614818823902857037359596116\ 7311907142925423295252545833494374992824103236899070643030649521802\ 20238697361064615*c_1001_2^13 + 88772286076270164920794543714765616\ 4606516509791774137102140705573705925783466128901843281828294517655\ 893267530655545947001346094812018/454998357630391472630102528168145\ 8944119063003559827811551604750962820124116901595592002196529767460\ 49001381961281281674411937545*c_1001_2^12 + 7550784626546335683857712182525001389015285740132975439641811189953\ 1588283830883778866023730420721610135750213454516843861055998390361\ 15/4276984561725679842722963764780571407471919223346238142858508465\ 905050916669887499856482064737981412860612990436044047739472212923*\ c_1001_2^11 + 13209327574531385338428650508958574434393849976603675\ 5444570974996052270546338328575727343913311130173822897146834413595\ 2649471048604039/90999671526078294526020505633629178882381260071196\ 5562310320950192564024823380319118400439305953492098002763922562563\ 348823875090*c_1001_2^10 + 2302425546011493564229565362195704803205\ 0337305172485099800889090546748131959453621204585664566636144541707\ 125870653541347455783236008671/213849228086283992136148188239028570\ 3735959611673119071429254232952525458334943749928241032368990706430\ 3064952180220238697361064615*c_1001_2^9 + 3055574706038769833908061977073723939208850888896884932760687543357\ 6437211460306851694594693951662852046518285178844763811649249912356\ 431/427698456172567984272296376478057140747191922334623814285850846\ 5905050916669887499856482064737981412860612990436044047739472212923\ 0*c_1001_2^8 + 1799097888239503143791298702749976458752601139603926\ 1424489553373365062614023754721225286494502082100620222572700257367\ 765170375140470893/427698456172567984272296376478057140747191922334\ 6238142858508465905050916669887499856482064737981412860612990436044\ 0477394722129230*c_1001_2^7 + 9314811330531034318116602070421285970\ 9652422517597162304961896128995647664866037131204199047957285986294\ 18425353971400219273947894605731/4276984561725679842722963764780571\ 4074719192233462381428585084659050509166698874998564820647379814128\ 606129904360440477394722129230*c_1001_2^6 + 4191709926072359323163551415028617432188811796871394654028128956815\ 7802166609497481048214162524548933718168650260186314684451776269652\ 19/4276984561725679842722963764780571407471919223346238142858508465\ 9050509166698874998564820647379814128606129904360440477394722129230\ *c_1001_2^5 + 80743096979085931467664228686725739135954738375580204\ 2205559198971556384314348851575427867388509168111234748884134559893\ 289898243656564/213849228086283992136148188239028570373595961167311\ 9071429254232952525458334943749928241032368990706430306495218022023\ 8697361064615*c_1001_2^4 + 5199663342605636993382844262729466980605\ 2668934126827031912217473023698142049091321790789182184339132466974\ 8582833740482889142325374009/42769845617256798427229637647805714074\ 7191922334623814285850846590505091666988749985648206473798141286061\ 29904360440477394722129230*c_1001_2^3 + 1343388961280158923833541850886419844023744903247265467905107806967\ 3333222464081986970754270661255936090979104853845284093548352982448\ 1/42769845617256798427229637647805714074719192233462381428585084659\ 050509166698874998564820647379814128606129904360440477394722129230*\ c_1001_2^2 + 128783284789552567672336855880611880256824179499075373\ 9412713542311516348109629592003282342075070175811393253152276688282\ 5156007062357/21384922808628399213614818823902857037359596116731190\ 7142925423295252545833494374992824103236899070643030649521802202386\ 97361064615*c_1001_2 + 29406889841218174515825934345961448523549410\ 1208095865875672482433946491046980896380686470532530111432370797156\ 897691861847459140810/427698456172567984272296376478057140747191922\ 3346238142858508465905050916669887499856482064737981412860612990436\ 044047739472212923, c_0011_13 - 14985900796986874950126848713395072041027462244299140962572\ 9031569473562792154175497299776736133239055242882146298730023785187\ 5083/21384922808628399213614818823902857037359596116731190714292542\ 3295252545833494374992824103236899070643030649521802202386973610646\ 15*c_1001_2^49 + 14910344856246782073750739363510523277326622689563\ 9803715912790202325672022393654380227943991575476344222232125756336\ 57686364533749/4276984561725679842722963764780571407471919223346238\ 1428585084659050509166698874998564820647379814128606129904360440477\ 394722129230*c_1001_2^48 - 9328060287986604677909681945852306234410\ 0900945558467336683400386425162385817506161586073895772308947126806\ 13024660468493618868609/8553969123451359685445927529561142814943838\ 4466924762857170169318101018333397749997129641294759628257212259808\ 72088095478944425846*c_1001_2^47 + 1400346641641469117457883781863369600014455639918894086140755379323\ 20368878362489769214445387429673627843941178662161812015707913673/4\ 2769845617256798427229637647805714074719192233462381428585084659050\ 509166698874998564820647379814128606129904360440477394722129230*c_1\ 001_2^46 - 66649568163646750654429499678359284772108938174636783770\ 6595811326750126480053837863154928906731461737015449729235043645877\ 5039741/90999671526078294526020505633629178882381260071196556231032\ 0950192564024823380319118400439305953492098002763922562563348823875\ 090*c_1001_2^45 + 1120321038567610357208366807878742699911943008739\ 2116950915812033204843546997098803499511454254868388924226726113736\ 9003846452936401/85539691234513596854459275295611428149438384466924\ 7628571701693181010183333977499971296412947596282572122598087208809\ 5478944425846*c_1001_2^44 - 476738726627532758339319424627963665771\ 4976501490136760504484688004544522463255681551134807942789877998216\ 25671878002717567555622054/2138492280862839921361481882390285703735\ 9596116731190714292542329525254583349437499282410323689907064303064\ 952180220238697361064615*c_1001_2^43 + 5581842861905162539446395286437134715856111932170994746146069163280\ 54575607205708630747301934926124513047581972898865508245831905354/2\ 1384922808628399213614818823902857037359596116731190714292542329525\ 254583349437499282410323689907064303064952180220238697361064615*c_1\ 001_2^42 - 10343604748894699824385446896855835989057242218187874669\ 4251556077307353827235317729995969361144132753934483565189174587850\ 4128560297/42769845617256798427229637647805714074719192233462381428\ 5850846590505091666988749985648206473798141286061299043604404773947\ 22129230*c_1001_2^41 + 15489587747299642838251800493656656361620582\ 0900010526000543960313397543017872305761104237122995251087929957262\ 473918032143004782227/427698456172567984272296376478057140747191922\ 3346238142858508465905050916669887499856482064737981412860612990436\ 0440477394722129230*c_1001_2^40 + 231124643029538878516566480765509\ 4591507981857881418685395865504075083465872601884742911136732923064\ 91109330832671214321838179720665/4276984561725679842722963764780571\ 4074719192233462381428585084659050509166698874998564820647379814128\ 60612990436044047739472212923*c_1001_2^39 - 2522734231403026778460218108104882348612230026648051113403323822856\ 080001368675760337459338139620804415766924090007726895808234562951/\ 2138492280862839921361481882390285703735959611673119071429254232952\ 5254583349437499282410323689907064303064952180220238697361064615*c_\ 1001_2^38 + 1247893150186211348916183679518922833389020520254519241\ 6097302554005079727546478122489563018190947540653717565547719915079\ 255219063537/427698456172567984272296376478057140747191922334623814\ 2858508465905050916669887499856482064737981412860612990436044047739\ 4722129230*c_1001_2^37 - 167421558505372654345649815676600346403710\ 0432284648391236648954662039799723569772604146218496949863773356839\ 1911385697408626268799901/42769845617256798427229637647805714074719\ 1922334623814285850846590505091666988749985648206473798141286061299\ 04360440477394722129230*c_1001_2^36 + 1305100935549421291835995082915413692946252497622104682769420293181\ 1842455943066188895012948830915655158607069892226528333074042114469\ /213849228086283992136148188239028570373595961167311907142925423295\ 25254583349437499282410323689907064303064952180220238697361064615*c\ _1001_2^35 - 423258855480341301090092611226183646408509148333980698\ 5079449145069494169457417973970767334953470785375544232192320031122\ 8579508585679/42769845617256798427229637647805714074719192233462381\ 4285850846590505091666988749985648206473798141286061299043604404773\ 94722129230*c_1001_2^34 + 13949185582658665944931351838576077472070\ 7970634730395756990863458122479003387028322745340660398794412341621\ 3940834380991359050668239/42769845617256798427229637647805714074719\ 1922334623814285850846590505091666988749985648206473798141286061299\ 0436044047739472212923*c_1001_2^33 - 1151981071951979093232024596258337938946569531492131077642495193963\ 8068550147943528303379921621240241807157104038097058933623005942064\ 1/42769845617256798427229637647805714074719192233462381428585084659\ 050509166698874998564820647379814128606129904360440477394722129230*\ c_1001_2^32 - 47890202822170542057002514439551862418010813699695848\ 3018293291182290478767011426501653294338118497753857349193678931918\ 76298723659341/4276984561725679842722963764780571407471919223346238\ 1428585084659050509166698874998564820647379814128606129904360440477\ 394722129230*c_1001_2^31 - 1187679640636087489216310569482977939967\ 4068552337855116659292337148622237565098631643458213546733583119498\ 2749598893872240757217169013/42769845617256798427229637647805714074\ 7191922334623814285850846590505091666988749985648206473798141286061\ 29904360440477394722129230*c_1001_2^30 + 9256335240628895516542401988541459478697948344667101998950507005644\ 0965377235792990439119651688899865596608364663989879394980387242784\ /213849228086283992136148188239028570373595961167311907142925423295\ 25254583349437499282410323689907064303064952180220238697361064615*c\ _1001_2^29 + 399673065634672433176542180548061876074480161099039524\ 4792698517581532441242148992221193091749428911447348262690563858299\ 3562320666929/42769845617256798427229637647805714074719192233462381\ 4285850846590505091666988749985648206473798141286061299043604404773\ 9472212923*c_1001_2^28 + 682299665390723991908282080360074890393362\ 3221051876692263166919554821747714542915483025590941459274255109446\ 96133448848126598141972059/4276984561725679842722963764780571407471\ 9192233462381428585084659050509166698874998564820647379814128606129\ 904360440477394722129230*c_1001_2^27 + 9497410953190884572117092296082639445340541387603593899776149572969\ 3537480184726330567939796940600790788321315817879204993481585603929\ /427698456172567984272296376478057140747191922334623814285850846590\ 50509166698874998564820647379814128606129904360440477394722129230*c\ _1001_2^26 - 131861874416055696026594749924385076766922092429201499\ 7723212358236392638478690655738285772976640164678883155773282447929\ 826889086045573/427698456172567984272296376478057140747191922334623\ 8142858508465905050916669887499856482064737981412860612990436044047\ 7394722129230*c_1001_2^25 - 184024607297572816551229066973746146967\ 0828875043139157330664572325630873594534114584366665814972398167676\ 270982382170667407767061444039/213849228086283992136148188239028570\ 3735959611673119071429254232952525458334943749928241032368990706430\ 3064952180220238697361064615*c_1001_2^24 - 2757543161869554975870525213447025298193372485495688732680323487316\ 9244829268314879938910151549134754651334548903398027555838686967915\ 92/2138492280862839921361481882390285703735959611673119071429254232\ 9525254583349437499282410323689907064303064952180220238697361064615\ *c_1001_2^23 - 3040756913013019622186868779560538715529439585850224\ 6870550329087348226791571925452683417431212813378515889934383769080\ 95356022157677303/2138492280862839921361481882390285703735959611673\ 1190714292542329525254583349437499282410323689907064303064952180220\ 238697361064615*c_1001_2^22 - 2481683377648635713102533456853353179\ 1536199010649185824924660257610164394456342586997909809147478297960\ 32769543851086263060771308754698/2138492280862839921361481882390285\ 7037359596116731190714292542329525254583349437499282410323689907064\ 303064952180220238697361064615*c_1001_2^21 - 8737831386649991204737436277605456917817327632157998784146111217766\ 6308098133364127083008297180021170195713078521951598259125095370710\ 9/85539691234513596854459275295611428149438384466924762857170169318\ 10101833339774999712964129475962825721225980872088095478944425846*c\ _1001_2^20 - 677409196573798961029696063379816709776775198399889884\ 6520671854627207021031029181535188690032758204571977550487248843978\ 753357744482141/427698456172567984272296376478057140747191922334623\ 8142858508465905050916669887499856482064737981412860612990436044047\ 7394722129230*c_1001_2^19 - 146263833905614488293473377226964225395\ 3344432923420824381177313457369352777571396292326160123893500242622\ 8727101545664550195304927247281/42769845617256798427229637647805714\ 0747191922334623814285850846590505091666988749985648206473798141286\ 06129904360440477394722129230*c_1001_2^18 - 1375381185270591278621197207527980442799452516413374982934696585141\ 7558256506001504562337942883516848187567562394837183101336655285949\ 011/213849228086283992136148188239028570373595961167311907142925423\ 2952525458334943749928241032368990706430306495218022023869736106461\ 5*c_1001_2^17 - 432812001729280178832890375467659080075307635549503\ 0728360794016972797923902589676603955624700166777790927361086379064\ 9503475822307324941/42769845617256798427229637647805714074719192233\ 4623814285850846590505091666988749985648206473798141286061299043604\ 40477394722129230*c_1001_2^16 - 29222678469439440660078120593456478\ 4538909993786871053928228209422304234804756066339652404665347353025\ 39107362654573000653655115884321752/2138492280862839921361481882390\ 2857037359596116731190714292542329525254583349437499282410323689907\ 064303064952180220238697361064615*c_1001_2^15 - 7008781683636922474184334257204823137527047834577001623872194454076\ 8142318904610637948438065291708510689755245511492812844810539433577\ 873/427698456172567984272296376478057140747191922334623814285850846\ 5905050916669887499856482064737981412860612990436044047739472212923\ 0*c_1001_2^14 - 761257193364409230570437068617286388548427903166844\ 7150763948659801296354591468614400638334059076994051596251119655907\ 8847557428364992169/42769845617256798427229637647805714074719192233\ 4623814285850846590505091666988749985648206473798141286061299043604\ 40477394722129230*c_1001_2^13 - 16074379908061412686740153595058178\ 3923652509750800863928046929749425707612567713380116685228305629002\ 5472653196895315964030846928062473/90999671526078294526020505633629\ 1788823812600711965562310320950192564024823380319118400439305953492\ 098002763922562563348823875090*c_1001_2^12 - 1370520715815522900364111905974207262505817879949567115504004693754\ 8387838215186416017153514088656600373659516488243978595147853776669\ 357/855396912345135968544592752956114281494383844669247628571701693\ 1810101833339774999712964129475962825721225980872088095478944425846\ *c_1001_2^11 - 6008115626802632015644117184603726132719137052630249\ 2630679356379126207138611158604728976481474165353937501427504766324\ 6286676884072116/45499835763039147263010252816814589441190630035598\ 2781155160475096282012411690159559200219652976746049001381961281281\ 674411937545*c_1001_2^10 - 2099838019740901312681846790162793686939\ 8913513490441770013570678316207785645128020112338416480631319733547\ 382499278229673506765721477393/213849228086283992136148188239028570\ 3735959611673119071429254232952525458334943749928241032368990706430\ 3064952180220238697361064615*c_1001_2^9 - 1397219265993664333017884089701821012214595336570635894608031568557\ 6158783806244193816206698936695113414591757179898978308776419416812\ 749/213849228086283992136148188239028570373595961167311907142925423\ 2952525458334943749928241032368990706430306495218022023869736106461\ 5*c_1001_2^8 - 8253018198027716191215042771457511524046238946990069\ 5478388255779585402170956230478895259725434632572534243692335717899\ 91596765707791087/2138492280862839921361481882390285703735959611673\ 1190714292542329525254583349437499282410323689907064303064952180220\ 238697361064615*c_1001_2^7 - 42896866319028538052082814908199921523\ 0494459338965793169121149152971805202359572830277420275447469419839\ 1028525613129463316803009166559/21384922808628399213614818823902857\ 0373595961167311907142925423295252545833494374992824103236899070643\ 03064952180220238697361064615*c_1001_2^6 - 3879657984255520726394503287717598378627686857260602781242148362483\ 1785764086511862939023936205929836698139922187066978874725875911408\ 57/4276984561725679842722963764780571407471919223346238142858508465\ 9050509166698874998564820647379814128606129904360440477394722129230\ *c_1001_2^5 - 15043479547783830449756497766067528048220123597128891\ 4241513371519291642994968116930547877203868942544313462887987572217\ 3025908037043549/42769845617256798427229637647805714074719192233462\ 3814285850846590505091666988749985648206473798141286061299043604404\ 77394722129230*c_1001_2^4 - 244319203347283734517559672707234909476\ 8017696933224894249979397651731395822920559562568853375094149269811\ 28395097350965385043943839396/2138492280862839921361481882390285703\ 7359596116731190714292542329525254583349437499282410323689907064303\ 064952180220238697361064615*c_1001_2^3 - 6389168676150163044282250528854899452075160636593776861904071234704\ 2015877331864619265286144035001611361141230786469506149204122550039\ /213849228086283992136148188239028570373595961167311907142925423295\ 25254583349437499282410323689907064303064952180220238697361064615*c\ _1001_2^2 - 2496424721546675244026495941110207429963362207397740706\ 0779775712814383688721993241139540006469687411007333882520302964387\ 799217767227/427698456172567984272296376478057140747191922334623814\ 2858508465905050916669887499856482064737981412860612990436044047739\ 4722129230*c_1001_2 - 593686814824450130424413793553021402738113469\ 7055565425270225846854802004827897942471546842576415103283807020034\ 28142899180290895181/8553969123451359685445927529561142814943838446\ 6924762857170169318101018333397749997129641294759628257212259808720\ 88095478944425846, c_0011_3 + 255245171674563164135633825217927652646732021203915791217747\ 9248321976386466878716424212606393328053396558586911596556479309130\ 232/213849228086283992136148188239028570373595961167311907142925423\ 2952525458334943749928241032368990706430306495218022023869736106461\ 5*c_1001_2^49 - 157492184556365057040918712043845782842600491703253\ 7692867729144553663226341442173896039063253356468605675814046730258\ 3874997246693/21384922808628399213614818823902857037359596116731190\ 7142925423295252545833494374992824103236899070643030649521802202386\ 97361064615*c_1001_2^48 + 11986434276084136825050590473378454140223\ 1548699100151637257587276295241948401639981618474993040369226202046\ 16066219779577680689735/4276984561725679842722963764780571407471919\ 2233462381428585084659050509166698874998564820647379814128606129904\ 36044047739472212923*c_1001_2^47 - 1992625129103104462189538171297700664417620353044379225118128187343\ 29734863751169055558579974056333133161273177257957671444788048471/2\ 1384922808628399213614818823902857037359596116731190714292542329525\ 254583349437499282410323689907064303064952180220238697361064615*c_1\ 001_2^46 + 22827489474540035685167734053980542505385249649264171336\ 0640904564417581382969407567181587233867493521711408707303715843592\ 98145109/9099967152607829452602050563362917888238126007119655623103\ 2095019256402482338031911840043930595349209800276392256256334882387\ 5090*c_1001_2^45 - 244719119567199141324958331181654168850507305202\ 1972352637214637875614895350041104597996171221156504552366117155549\ 48021655457704337/4276984561725679842722963764780571407471919223346\ 2381428585084659050509166698874998564820647379814128606129904360440\ 47739472212923*c_1001_2^44 + 25598095329557300550368003740240759398\ 9000303300548032636696961589843667782959122144986789358878191797016\ 4239226574784826062895724696/21384922808628399213614818823902857037\ 3595961167311907142925423295252545833494374992824103236899070643030\ 64952180220238697361064615*c_1001_2^43 - 9335865784286538533747956488214393318327967590637953111549874150985\ 240439799437152132729401458834731228263498139173844213092785737997/\ 4276984561725679842722963764780571407471919223346238142858508465905\ 0509166698874998564820647379814128606129904360440477394722129230*c_\ 1001_2^42 + 1572744709724284954763208019688665614433587809076586092\ 1343092532784645469840272733291623464962814163113846557009703868069\ 033049840023/427698456172567984272296376478057140747191922334623814\ 2858508465905050916669887499856482064737981412860612990436044047739\ 4722129230*c_1001_2^41 - 121521370379514381343202349293670221808455\ 2624124660393672599802533016501870233523301931392244258550655204911\ 8857303311772536641026789/21384922808628399213614818823902857037359\ 5961167311907142925423295252545833494374992824103236899070643030649\ 52180220238697361064615*c_1001_2^40 + 6842639303654929834437428134236104078071882352228188772472342038098\ 327633451246663194446348498942060018951390760686170970584965392369/\ 8553969123451359685445927529561142814943838446692476285717016931810\ 101833339774999712964129475962825721225980872088095478944425846*c_1\ 001_2^39 - 46888924427922933276002832441863677893750220414284866983\ 0081296267525247705619653713754841359017879188220125062868133908037\ 06902010637/4276984561725679842722963764780571407471919223346238142\ 8585084659050509166698874998564820647379814128606129904360440477394\ 722129230*c_1001_2^38 + 2811063467074571064926591064295809422277091\ 1891542879455649722918391117044445648676673321560540805695167552490\ 996236035330340890648506/213849228086283992136148188239028570373595\ 9611673119071429254232952525458334943749928241032368990706430306495\ 2180220238697361064615*c_1001_2^37 - 6933565927709394913919423119127004964508235893078918576530197411997\ 3019266882376534320788246486485608412115631090935563451462680409891\ /427698456172567984272296376478057140747191922334623814285850846590\ 50509166698874998564820647379814128606129904360440477394722129230*c\ _1001_2^36 + 386446280738918522531274831633786287102440175608825897\ 3097469988741483918591297795122024372104665656501366083497382607208\ 8681559551084/21384922808628399213614818823902857037359596116731190\ 7142925423295252545833494374992824103236899070643030649521802202386\ 97361064615*c_1001_2^35 - 70397948697700349700268762100201004364726\ 3119812707070176574001051985313438912305607637788705313348654818114\ 17294348137487427077875229/4276984561725679842722963764780571407471\ 9192233462381428585084659050509166698874998564820647379814128606129\ 904360440477394722129230*c_1001_2^34 + 1194832518561551999086793647006732001993552198648241350405995376137\ 6235614209067570615251805963074313201504486388632555093049846915364\ /427698456172567984272296376478057140747191922334623814285850846590\ 5050916669887499856482064737981412860612990436044047739472212923*c_\ 1001_2^33 - 3198149648684431574982675992904694110012065295919315235\ 1097904760921836470001495279194329246117339967943094803719853749196\ 55340729683/2138492280862839921361481882390285703735959611673119071\ 4292542329525254583349437499282410323689907064303064952180220238697\ 361064615*c_1001_2^32 + 1813800650820534082303999116884953627695188\ 0422301052194806393590205712862848997860053306427485770993099666518\ 0851044063665899518786899/42769845617256798427229637647805714074719\ 1922334623814285850846590505091666988749985648206473798141286061299\ 04360440477394722129230*c_1001_2^31 - 2292286469589855659379212483929915336608288265468577380485076799888\ 5565941147875006771102386223179460343672704899319493941542748479159\ /213849228086283992136148188239028570373595961167311907142925423295\ 25254583349437499282410323689907064303064952180220238697361064615*c\ _1001_2^30 - 631269956330099103068941478580536935151404621220953679\ 3056597633097006274199626857054369857188673790121036225932296066421\ 8206253763066/21384922808628399213614818823902857037359596116731190\ 7142925423295252545833494374992824103236899070643030649521802202386\ 97361064615*c_1001_2^29 - 11780130328411633242285161490417602981667\ 1546229666101638910649243611001991677143800643165774796816223143253\ 339238146661586766120018845/855396912345135968544592752956114281494\ 3838446692476285717016931810101833339774999712964129475962825721225\ 980872088095478944425846*c_1001_2^28 - 5047091304553333944840932498621207083164824637181012644090805098536\ 0219989905219485543260271280308349466208040339400621057485578692318\ 1/42769845617256798427229637647805714074719192233462381428585084659\ 050509166698874998564820647379814128606129904360440477394722129230*\ c_1001_2^27 + 29231301749169003304529649926543620867731713241045187\ 0605707035387101303433285074077493161562520255929146232428643114152\ 03508135264282/2138492280862839921361481882390285703735959611673119\ 0714292542329525254583349437499282410323689907064303064952180220238\ 697361064615*c_1001_2^26 + 1906534516169285072995954129752186709318\ 3774818506924084883258947231883736521577026437348971138945951827943\ 71660082470328732618262637607/4276984561725679842722963764780571407\ 4719192233462381428585084659050509166698874998564820647379814128606\ 129904360440477394722129230*c_1001_2^25 + 4010316306081978685136457886591520576368380236106376985935589639910\ 1754300293960523640188465188730823935555999800354764090704019172020\ 27/4276984561725679842722963764780571407471919223346238142858508465\ 9050509166698874998564820647379814128606129904360440477394722129230\ *c_1001_2^24 + 2891570196879803476659125624827230122043842271719910\ 3697154221162277733787850757580382562278210319073390453584484466372\ 49622666980447863/2138492280862839921361481882390285703735959611673\ 1190714292542329525254583349437499282410323689907064303064952180220\ 238697361064615*c_1001_2^23 + 2893540274934605979872858260269773817\ 4214988682380083217189390787113321244535937707306935544943174465621\ 88752764055850889551372224740652/2138492280862839921361481882390285\ 7037359596116731190714292542329525254583349437499282410323689907064\ 303064952180220238697361064615*c_1001_2^22 + 4855668212070456212240015995838611850150955887001971239067798987916\ 2379520797792156978639098670312208478547298131057973269589223872090\ 69/4276984561725679842722963764780571407471919223346238142858508465\ 9050509166698874998564820647379814128606129904360440477394722129230\ *c_1001_2^21 + 4687396002681773996524780747738625668207063750540588\ 1646970954623752173006511134268300221852960753616530275829006730254\ 9501179599323088/42769845617256798427229637647805714074719192233462\ 3814285850846590505091666988749985648206473798141286061299043604404\ 7739472212923*c_1001_2^20 + 828459979685861089144514550232819451185\ 6035209924066391301261316190483253312963942321049309625711818939216\ 798579272773435971434043717399/427698456172567984272296376478057140\ 7471919223346238142858508465905050916669887499856482064737981412860\ 6129904360440477394722129230*c_1001_2^19 + 1714128095941381964891718725746360442747474199449839362541840679647\ 7889328531187926089531320414047170031297146294124590862397415807476\ 689/427698456172567984272296376478057140747191922334623814285850846\ 5905050916669887499856482064737981412860612990436044047739472212923\ 0*c_1001_2^18 + 153822381336959273609222092387263024484495182344551\ 0394978977397193038501436255897368538659719396564671830539165153384\ 6037889285135402394/21384922808628399213614818823902857037359596116\ 7311907142925423295252545833494374992824103236899070643030649521802\ 20238697361064615*c_1001_2^17 + 23298570134073665469507989461257713\ 9758766316497390112212799410342849391220641080069604261546692527590\ 25700085071013448718814538366866332/2138492280862839921361481882390\ 2857037359596116731190714292542329525254583349437499282410323689907\ 064303064952180220238697361064615*c_1001_2^16 + 3065260857369340840541027709425731077210545479495177125076497046826\ 2072390214705067687446336881651918345157924069256708579099179650396\ 768/213849228086283992136148188239028570373595961167311907142925423\ 2952525458334943749928241032368990706430306495218022023869736106461\ 5*c_1001_2^15 + 720895838400335029943611678519958435069196214750745\ 7045937965625084136350168417342574710402812339374661080191532385863\ 7917583874034968797/42769845617256798427229637647805714074719192233\ 4623814285850846590505091666988749985648206473798141286061299043604\ 40477394722129230*c_1001_2^14 + 38486301599699015633715307061193201\ 9785602820910235163439909644506965779407556241249051704532453585082\ 06613482114401860812219607348318108/2138492280862839921361481882390\ 2857037359596116731190714292542329525254583349437499282410323689907\ 064303064952180220238697361064615*c_1001_2^13 + 1599829018877864483113297521270992235870384270758461930199096912219\ 1248290807133290409146948199990665360309567673036293559666224898237\ 77/9099967152607829452602050563362917888238126007119655623103209501\ 92564024823380319118400439305953492098002763922562563348823875090*c\ _1001_2^12 + 671162694042001869779860002609721071905469924127976138\ 7198310006338509052246095454109263660512401067707189758013420487786\ 881141777020887/427698456172567984272296376478057140747191922334623\ 8142858508465905050916669887499856482064737981412860612990436044047\ 739472212923*c_1001_2^11 + 1158810318985393636613083967575131528496\ 5533617953953764555445118024829533805862159292914362997663558607867\ 86118585336098203507040169513/9099967152607829452602050563362917888\ 2381260071196556231032095019256402482338031911840043930595349209800\ 2763922562563348823875090*c_1001_2^10 + 1994980787085374893746285893461631888287320511013735282401131091699\ 9120189291394067006690938981690712077119808130796800747363797777456\ 307/213849228086283992136148188239028570373595961167311907142925423\ 2952525458334943749928241032368990706430306495218022023869736106461\ 5*c_1001_2^9 + 2617876179685629963458823808740589259142311303183731\ 4259741003669640874289857828874403506094271635362353967392894153775\ 644348527093726117/427698456172567984272296376478057140747191922334\ 6238142858508465905050916669887499856482064737981412860612990436044\ 0477394722129230*c_1001_2^8 + 1526351401310046862188724986525027369\ 0303504033133122977693856924804430163700018599166818109534963388507\ 789289337787796197581246718959321/427698456172567984272296376478057\ 1407471919223346238142858508465905050916669887499856482064737981412\ 8606129904360440477394722129230*c_1001_2^7 + 7834895395118232481116563304766364960555086989995928054294648108435\ 4310536306999454387598446774003686569107494200864530111456701054523\ 17/4276984561725679842722963764780571407471919223346238142858508465\ 9050509166698874998564820647379814128606129904360440477394722129230\ *c_1001_2^6 + 17500122241986086316293050800293264680741397557457619\ 1371240867077543332360317389967319349822701470822638937611956028089\ 5682288630848409/21384922808628399213614818823902857037359596116731\ 1907142925423295252545833494374992824103236899070643030649521802202\ 38697361064615*c_1001_2^5 + 669930566140820902670293078068542469994\ 2919886493279952118077659719595344074373256922725024121141219135773\ 05909746574303295338145295653/2138492280862839921361481882390285703\ 7359596116731190714292542329525254583349437499282410323689907064303\ 064952180220238697361064615*c_1001_2^4 + 4286884177868061310502790716876962457738782494447972185876660429484\ 8719536673480682126287238049213274919069300434837956766803101853406\ 3/42769845617256798427229637647805714074719192233462381428585084659\ 050509166698874998564820647379814128606129904360440477394722129230*\ c_1001_2^3 + 109911018062842457037391341442603741210163773172348654\ 0434078176295391899286758650656023488686151085821338873940388602472\ 29513070395707/4276984561725679842722963764780571407471919223346238\ 1428585084659050509166698874998564820647379814128606129904360440477\ 394722129230*c_1001_2^2 + 20888246116592364988341897414847037614697\ 8566755976793675598907840387379289304356378683415287274778716097740\ 44133098017158642012319703/4276984561725679842722963764780571407471\ 9192233462381428585084659050509166698874998564820647379814128606129\ 904360440477394722129230*c_1001_2 + 2274336840307759710154112260554619713642204438268657134811110519539\ 77874459496174204256505537853487962090618911211553641540391554600/4\ 2769845617256798427229637647805714074719192233462381428585084659050\ 50916669887499856482064737981412860612990436044047739472212923, c_0101_0 + 517645640069086462206257724381392201358923997667040123174803\ 1910420245812522006708093163574983181050793418696653088008544585339\ 811/427698456172567984272296376478057140747191922334623814285850846\ 5905050916669887499856482064737981412860612990436044047739472212923\ 0*c_1001_2^49 - 138547136049961516697251103481078981307793581506524\ 6216083250663469031909919132815647078555649442954022446409028440512\ 6623194312102/21384922808628399213614818823902857037359596116731190\ 7142925423295252545833494374992824103236899070643030649521802202386\ 97361064615*c_1001_2^48 + 18635761027187769239607798700042407351928\ 4910442468844108136117154176523300904186937043027457062011485459594\ 10472257598270834265171/8553969123451359685445927529561142814943838\ 4466924762857170169318101018333397749997129641294759628257212259808\ 72088095478944425846*c_1001_2^47 - 2899119329729855332964225522635326810596216777373613367782791257572\ 58639890845316922016015703823789933081383598244338810774589451103/4\ 2769845617256798427229637647805714074719192233462381428585084659050\ 509166698874998564820647379814128606129904360440477394722129230*c_1\ 001_2^46 + 74291970345430099446212501226382944621048364686260078365\ 6977720560892662669800987841098744882299291678335446841745175029199\ 8781413/45499835763039147263010252816814589441190630035598278115516\ 0475096282012411690159559200219652976746049001381961281281674411937\ 545*c_1001_2^45 - 2780041824948791479451566057548124949415175653038\ 9982860858589468352303957783811919224783231752400568092561465681028\ 6093621604224885/85539691234513596854459275295611428149438384466924\ 7628571701693181010183333977499971296412947596282572122598087208809\ 5478944425846*c_1001_2^44 + 129909468496442109252174469008522451629\ 6946998041384677994883231857718986100664109546512035906762779342616\ 726549146222922133530981949/213849228086283992136148188239028570373\ 5959611673119071429254232952525458334943749928241032368990706430306\ 4952180220238697361064615*c_1001_2^43 - 1941584346012206627693281871871068261474274567963678619475244487980\ 457641383562092446488009722757864060261218919069093108269757858349/\ 2138492280862839921361481882390285703735959611673119071429254232952\ 5254583349437499282410323689907064303064952180220238697361064615*c_\ 1001_2^42 + 2659238167770028351301137039516268935214882954010500896\ 0034600283939893991605238730354791393147694104280655305329512362316\ 01615760486/2138492280862839921361481882390285703735959611673119071\ 4292542329525254583349437499282410323689907064303064952180220238697\ 361064615*c_1001_2^41 - 3052047986678320305167519702507379780307183\ 6112068696235763456985922567795591446595577118919635819412328515854\ 32112866233520392196361/2138492280862839921361481882390285703735959\ 6116731190714292542329525254583349437499282410323689907064303064952\ 180220238697361064615*c_1001_2^40 + 9840214763497867822947422089722958728267595900266273305808380924898\ 05962111522683222861364881139146189746380099215266725732731284371/8\ 5539691234513596854459275295611428149438384466924762857170169318101\ 01833339774999712964129475962825721225980872088095478944425846*c_10\ 01_2^39 - 368651006916584828007614840013756056341829819297590536172\ 9226372645364315277057167769787949451049142055005038501863612376034\ 999040043/427698456172567984272296376478057140747191922334623814285\ 8508465905050916669887499856482064737981412860612990436044047739472\ 2129230*c_1001_2^38 - 237474452515976816692942091044739048025065520\ 6407910581810926155518221486414827635833353207107046445319529037466\ 480532198596492951436/213849228086283992136148188239028570373595961\ 1673119071429254232952525458334943749928241032368990706430306495218\ 0220238697361064615*c_1001_2^37 + 433949362389131104206076885520047\ 4104876997933712514504215356751307355644770777631268560508052930069\ 293692535542928956198470372904993/213849228086283992136148188239028\ 5703735959611673119071429254232952525458334943749928241032368990706\ 4303064952180220238697361064615*c_1001_2^36 - 2056678211451484124058947609421241431489207508020573562238638572749\ 0752018333398336622990967663252769322031607756695523005123193435423\ /427698456172567984272296376478057140747191922334623814285850846590\ 50509166698874998564820647379814128606129904360440477394722129230*c\ _1001_2^35 + 449653301723237669235150041547010615936021872487605127\ 6279124825887707843094062038586783445308463738615253527776462258251\ 8550862737569/42769845617256798427229637647805714074719192233462381\ 4285850846590505091666988749985648206473798141286061299043604404773\ 94722129230*c_1001_2^34 + 24757617378992840464767121128394864533107\ 0928403781457654830300717143516181237060469799859767843469947966352\ 524413545333681972317585/855396912345135968544592752956114281494383\ 8446692476285717016931810101833339774999712964129475962825721225980\ 872088095478944425846*c_1001_2^33 + 1561431554251261597312331001566128530156245537837106536857943093879\ 5208215677149450489768306021592576916452785114795280420150633637296\ 1/42769845617256798427229637647805714074719192233462381428585084659\ 050509166698874998564820647379814128606129904360440477394722129230*\ c_1001_2^32 + 45542373212782039289721512365519486356724404608098789\ 9718389080556440305748028785234138850872147722409039240594463273323\ 97296009852653/2138492280862839921361481882390285703735959611673119\ 0714292542329525254583349437499282410323689907064303064952180220238\ 697361064615*c_1001_2^31 + 1512816811804874497441988915207970393268\ 7326773719219173269580099031081401149732525082242960791811314265925\ 2213891737783473924120437593/42769845617256798427229637647805714074\ 7191922334623814285850846590505091666988749985648206473798141286061\ 29904360440477394722129230*c_1001_2^30 - 1383414516767099517398703476996229441542785193116400912443483647647\ 4152809850802116908010720550877058619714351769182417488519248964191\ 4/21384922808628399213614818823902857037359596116731190714292542329\ 525254583349437499282410323689907064303064952180220238697361064615*\ c_1001_2^29 - 62725323426235354396775301626547838929178839464115650\ 2925757283414486771310093143172279613702700255573837249247096410388\ 77222532195481/4276984561725679842722963764780571407471919223346238\ 1428585084659050509166698874998564820647379814128606129904360440477\ 39472212923*c_1001_2^28 - 49192268262527424627955100453005036991101\ 5926072197396423423932421562890428410861980728440309255037656067232\ 583386126299044053579734082/213849228086283992136148188239028570373\ 5959611673119071429254232952525458334943749928241032368990706430306\ 4952180220238697361064615*c_1001_2^27 - 8921644388317833613209597582550718320981137924316276591257113837590\ 1900222520743284370166950589640294673567608417386829157186136337099\ /427698456172567984272296376478057140747191922334623814285850846590\ 50509166698874998564820647379814128606129904360440477394722129230*c\ _1001_2^26 + 104734981979579372540947765821562317824615774478125072\ 9735148955701997117603990381312006775701593622924784293791500759937\ 295894491869449/213849228086283992136148188239028570373595961167311\ 9071429254232952525458334943749928241032368990706430306495218022023\ 8697361064615*c_1001_2^25 + 558906113152294826417292785336120629436\ 6165485640009302694892537584872845940835612849878351068628748442459\ 428464013967698223221772747693/427698456172567984272296376478057140\ 7471919223346238142858508465905050916669887499856482064737981412860\ 6129904360440477394722129230*c_1001_2^24 + 4171449708835885348018930550223773344303258124943284480356965796428\ 2386162690876816398641176748161163491757779854982305678038691873771\ 47/2138492280862839921361481882390285703735959611673119071429254232\ 9525254583349437499282410323689907064303064952180220238697361064615\ *c_1001_2^23 + 9196155362002345374355987673225623126831558973961176\ 7658009560317458672847950367614559194851680798336441662860707219698\ 37926399814816821/4276984561725679842722963764780571407471919223346\ 2381428585084659050509166698874998564820647379814128606129904360440\ 477394722129230*c_1001_2^22 + 3844198212938507304089553549548475480\ 5813658575676102678471200769679108057239332446273381013378737838752\ 96142740254661580732130543453523/2138492280862839921361481882390285\ 7037359596116731190714292542329525254583349437499282410323689907064\ 303064952180220238697361064615*c_1001_2^21 + 1402474478665850539534373010924634840839935430641456972414465392609\ 9392454361768451436440584988127869991361618476360673333625754852614\ 89/8553969123451359685445927529561142814943838446692476285717016931\ 810101833339774999712964129475962825721225980872088095478944425846*\ c_1001_2^20 + 10854393142405331109676030940464142011391332419028354\ 2220015975332109339620084833027550950016021471375167936672495970464\ 81108381685071641/4276984561725679842722963764780571407471919223346\ 2381428585084659050509166698874998564820647379814128606129904360440\ 477394722129230*c_1001_2^19 + 1140322763356949671278523594505486391\ 5616719697584267300663381666388519388774646647780667138509166706618\ 482695155473446726450887439994573/213849228086283992136148188239028\ 5703735959611673119071429254232952525458334943749928241032368990706\ 4303064952180220238697361064615*c_1001_2^18 + 2116517627075148994595482680612525417951997157347711794976885839283\ 4034109432563929631873807222310038643777665046381932368863882433261\ 651/213849228086283992136148188239028570373595961167311907142925423\ 2952525458334943749928241032368990706430306495218022023869736106461\ 5*c_1001_2^17 + 331636954359367697728461802384595696035651469107456\ 2151561247635514137650255759737509726643120597588472530925804596587\ 2012197443121499118/21384922808628399213614818823902857037359596116\ 7311907142925423295252545833494374992824103236899070643030649521802\ 20238697361064615*c_1001_2^16 + 44776050334980285400214023588023157\ 8282309670403515034144225061563641270774188383807864908459265526977\ 23592059320173986598851103071176632/2138492280862839921361481882390\ 2857037359596116731190714292542329525254583349437499282410323689907\ 064303064952180220238697361064615*c_1001_2^15 + 1075311865613404512199796860972169385612216180636346722678255662534\ 6860599398926576318058736061620013244775226842806033900738390341734\ 7083/42769845617256798427229637647805714074719192233462381428585084\ 6590505091666988749985648206473798141286061299043604404773947221292\ 30*c_1001_2^14 + 58485899681573977143746588468080837053933256637927\ 3245710840086196389637085387731969667754281036276686441281368391218\ 39733855401790481432/2138492280862839921361481882390285703735959611\ 6731190714292542329525254583349437499282410323689907064303064952180\ 220238697361064615*c_1001_2^13 + 2474277942857371969844372923399188\ 8316061408226549224163978879991414557677775682716782608657875331928\ 18644175553605055567186267151153083/9099967152607829452602050563362\ 9178882381260071196556231032095019256402482338031911840043930595349\ 2098002763922562563348823875090*c_1001_2^12 + 2114806194000353239535815725716675982657702507413920520317546870368\ 9791623454697869539996720369579253151392437430367042334722322144979\ 347/855396912345135968544592752956114281494383844669247628571701693\ 1810101833339774999712964129475962825721225980872088095478944425846\ *c_1001_2^11 + 1861296283456211890796282338843462437974402023475245\ 6208363742017368584363575731334536048716427533442994739202255505598\ 60452324422452707/9099967152607829452602050563362917888238126007119\ 6556231032095019256402482338031911840043930595349209800276392256256\ 3348823875090*c_1001_2^10 + 654197611132598959054935000486520124402\ 2856043792809478053765570541868920435390082542483974124290866571967\ 8918700576542221089947916190291/42769845617256798427229637647805714\ 0747191922334623814285850846590505091666988749985648206473798141286\ 06129904360440477394722129230*c_1001_2^9 + 2193057664818684769333318730109805250038044961332585517659361075599\ 7040475149660101935130225788388061164438469415217584833144924393534\ 929/213849228086283992136148188239028570373595961167311907142925423\ 2952525458334943749928241032368990706430306495218022023869736106461\ 5*c_1001_2^8 + 1307697363334886129901610559492199046577091406924100\ 9539084025250788123288138401181897222694832082804672860636900016421\ 361324053538400632/213849228086283992136148188239028570373595961167\ 3119071429254232952525458334943749928241032368990706430306495218022\ 0238697361064615*c_1001_2^7 + 6873642755026511613068190404791240529\ 9677586595546022789515506034785047044172119620814158391926893790922\ 23740574102122305312001668622319/2138492280862839921361481882390285\ 7037359596116731190714292542329525254583349437499282410323689907064\ 303064952180220238697361064615*c_1001_2^6 + 3147986718317122492405164285608164406670795323548559445653728554886\ 4828198361696334574851047733641411757094592680639374382877214973365\ 51/2138492280862839921361481882390285703735959611673119071429254232\ 9525254583349437499282410323689907064303064952180220238697361064615\ *c_1001_2^5 + 24758811910898653648048946782379757623570309265134168\ 0720825311860920363436493057812798852841757720516780760672298616302\ 2726007585259779/42769845617256798427229637647805714074719192233462\ 3814285850846590505091666988749985648206473798141286061299043604404\ 77394722129230*c_1001_2^4 + 408336023531362429471121398321804694180\ 2578789775134562477836574012986958287540143958198917541711065171029\ 56646132342233042072494628556/2138492280862839921361481882390285703\ 7359596116731190714292542329525254583349437499282410323689907064303\ 064952180220238697361064615*c_1001_2^3 + 2170302521457546933947953111238642767954451099648554278444755266501\ 3197529802000987207787559719528935521450984829375037962002288788759\ 3/42769845617256798427229637647805714074719192233462381428585084659\ 050509166698874998564820647379814128606129904360440477394722129230*\ c_1001_2^2 + 432108883275926829476614745548079669793354289983823799\ 2320968306831076868970878687288177348440932456763720164046015347179\ 0892728061247/42769845617256798427229637647805714074719192233462381\ 4285850846590505091666988749985648206473798141286061299043604404773\ 94722129230*c_1001_2 + 52355125687700965036438730094600309802018169\ 7838486158510039751813682573510098406365590161378645716683339976992\ 510878592840499708446/427698456172567984272296376478057140747191922\ 3346238142858508465905050916669887499856482064737981412860612990436\ 044047739472212923, c_0101_13 + 34272533262635097188261097029413317504488567548820883040300\ 8749669523154121312336658436347603472488546992897974716762119168210\ 4333/42769845617256798427229637647805714074719192233462381428585084\ 6590505091666988749985648206473798141286061299043604404773947221292\ 30*c_1001_2^49 - 93294764933905633667955761104631602087022627575633\ 3284469000493514952642077874881097676284350317607668999431473456865\ 2433974318516/21384922808628399213614818823902857037359596116731190\ 7142925423295252545833494374992824103236899070643030649521802202386\ 97361064615*c_1001_2^48 + 12878811095379928260889048073477365621247\ 8371669730323757925780553587194325047931685334586125466218832897829\ 10081591572018119477513/8553969123451359685445927529561142814943838\ 4466924762857170169318101018333397749997129641294759628257212259808\ 72088095478944425846*c_1001_2^47 - 2051375419360058040115368062398113845169475414640433606833268748653\ 10284988344912283300018838544443041088657080410129526978875390369/4\ 2769845617256798427229637647805714074719192233462381428585084659050\ 509166698874998564820647379814128606129904360440477394722129230*c_1\ 001_2^46 + 54480316193120776906089643257218316660016127870325228510\ 9639783349778225285500036027748527871837776586188842310880543279255\ 1126969/45499835763039147263010252816814589441190630035598278115516\ 0475096282012411690159559200219652976746049001381961281281674411937\ 545*c_1001_2^45 - 2149768780870246119327776438578369543513042842493\ 2514651849894615484667477978483355519046764304848071109267847299415\ 3953007869595149/85539691234513596854459275295611428149438384466924\ 7628571701693181010183333977499971296412947596282572122598087208809\ 5478944425846*c_1001_2^44 + 106434246306821876185745792425989342594\ 7691721410016526143429022539861816962439477300970802272862502456074\ 382338485626251577305614857/213849228086283992136148188239028570373\ 5959611673119071429254232952525458334943749928241032368990706430306\ 4952180220238697361064615*c_1001_2^43 - 1760550878667574272537213257426379072131186802269839450585395145352\ 305458333633392826191854039324405060218406722901806151604900064392/\ 2138492280862839921361481882390285703735959611673119071429254232952\ 5254583349437499282410323689907064303064952180220238697361064615*c_\ 1001_2^42 + 2745018198614392467887903305671528535250671560114393208\ 2927754323136401256090298059213269223528414175929120311265510136613\ 46588519458/2138492280862839921361481882390285703735959611673119071\ 4292542329525254583349437499282410323689907064303064952180220238697\ 361064615*c_1001_2^41 - 3868492660786324194859841816438996502263847\ 4950608897186406064959689283188764450761940658541334376901453728451\ 92716557989406036874688/2138492280862839921361481882390285703735959\ 6116731190714292542329525254583349437499282410323689907064303064952\ 180220238697361064615*c_1001_2^40 + 1918978495342493265699677422145004306151199530025767954910392747540\ 283885765332545748671347481832847062823774668470494115472444966235/\ 8553969123451359685445927529561142814943838446692476285717016931810\ 101833339774999712964129475962825721225980872088095478944425846*c_1\ 001_2^39 - 12440760029819982096492054253708036645300274516520303761\ 5020454002916295246649553420928296879531549148105051224696665821711\ 41026455789/4276984561725679842722963764780571407471919223346238142\ 8585084659050509166698874998564820647379814128606129904360440477394\ 722129230*c_1001_2^38 + 5783788809523615831213852966275194108990318\ 1265659475238509060036475981092126889530296413724886896591224407567\ 78905853458126363882432/2138492280862839921361481882390285703735959\ 6116731190714292542329525254583349437499282410323689907064303064952\ 180220238697361064615*c_1001_2^37 - 7201367891788630806889138978928801150587970802422859194197155894817\ 075931813040628063636742572258458573476607577716257585629949252261/\ 2138492280862839921361481882390285703735959611673119071429254232952\ 5254583349437499282410323689907064303064952180220238697361064615*c_\ 1001_2^36 + 1244272519596613145569923056271868198654730304626682761\ 7323270568374658708349445709669904764409538759591439957034423086771\ 906244731281/427698456172567984272296376478057140747191922334623814\ 2858508465905050916669887499856482064737981412860612990436044047739\ 4722129230*c_1001_2^35 - 208327063415313959645288360098365633802999\ 3237927351183365356822254857138409470151781302079694698079484787725\ 165604330956170841223643/427698456172567984272296376478057140747191\ 9223346238142858508465905050916669887499856482064737981412860612990\ 4360440477394722129230*c_1001_2^34 + 7463713443782982244165029463420758174211816975528621952002844300008\ 743317907444175999330768704539899950515517726074076525839537531617/\ 8553969123451359685445927529561142814943838446692476285717016931810\ 101833339774999712964129475962825721225980872088095478944425846*c_1\ 001_2^33 + 61640244628942137993927028100621653202405517576365296855\ 9846221727690633547266854681970767502296895875105855751322259658116\ 47780453123/4276984561725679842722963764780571407471919223346238142\ 8585084659050509166698874998564820647379814128606129904360440477394\ 722129230*c_1001_2^32 + 5111645908286393788458785978767764390719649\ 4934514852426285560159846095899562699602960718321290732535983410788\ 837595974239534304406484/213849228086283992136148188239028570373595\ 9611673119071429254232952525458334943749928241032368990706430306495\ 2180220238697361064615*c_1001_2^31 + 5442410621155752007862847539927388720363570426690479346698579429494\ 6500301058064312203797626004287518097699965104942227391055450532599\ /427698456172567984272296376478057140747191922334623814285850846590\ 50509166698874998564820647379814128606129904360440477394722129230*c\ _1001_2^30 - 688753254120619100788545575511407560195409243368519064\ 3127557043511322537566599246760993799143199954179373090722056318285\ 2757885546432/21384922808628399213614818823902857037359596116731190\ 7142925423295252545833494374992824103236899070643030649521802202386\ 97361064615*c_1001_2^29 - 45564586947144900999202092814287471806588\ 8684564530730454758794372150003510730694453905934353406673507333508\ 58651548215749005291197541/4276984561725679842722963764780571407471\ 9192233462381428585084659050509166698874998564820647379814128606129\ 90436044047739472212923*c_1001_2^28 - 3016063717869474778385106535360847639009543435067288791137304954817\ 9045132183474216041948370973495970533874528868527905346225096198929\ 6/21384922808628399213614818823902857037359596116731190714292542329\ 525254583349437499282410323689907064303064952180220238697361064615*\ c_1001_2^27 - 98106332428442251456402940905311297015293389560225230\ 3075257994470089574302000460621563576181139527982978492569205045528\ 81914902863757/4276984561725679842722963764780571407471919223346238\ 1428585084659050509166698874998564820647379814128606129904360440477\ 394722129230*c_1001_2^26 + 7104910314529596225336732076132433607869\ 9347076293148612973627787345437194700745361665367131249792613936046\ 8796042917385601632688275962/21384922808628399213614818823902857037\ 3595961167311907142925423295252545833494374992824103236899070643030\ 64952180220238697361064615*c_1001_2^25 + 3632588618584640179249775415030806243770487904507434176843609256236\ 5175860902470379344367150516196319371383854948252340280755788365096\ 59/4276984561725679842722963764780571407471919223346238142858508465\ 9050509166698874998564820647379814128606129904360440477394722129230\ *c_1001_2^24 + 2751050658528210654295738279516208319389324534704835\ 1303113458431534837865404838151416142356725094620486092353192639586\ 42608940935920781/2138492280862839921361481882390285703735959611673\ 1190714292542329525254583349437499282410323689907064303064952180220\ 238697361064615*c_1001_2^23 + 5940392678984381005495647591849658054\ 6708742799534334543294262843311317761552683701818179762189607299663\ 07689461650819261550226825306773/4276984561725679842722963764780571\ 4074719192233462381428585084659050509166698874998564820647379814128\ 606129904360440477394722129230*c_1001_2^22 + 2484528365437452782873705830753802999639052874099958912120642961373\ 1760194667376745712284309620806184103513007746196226006509480988318\ 39/2138492280862839921361481882390285703735959611673119071429254232\ 9525254583349437499282410323689907064303064952180220238697361064615\ *c_1001_2^21 + 8834965244559280109040635398896825467764367139463717\ 8975743530463155243081489342738306243584023280086087195783308667080\ 5910735096845535/85539691234513596854459275295611428149438384466924\ 7628571701693181010183333977499971296412947596282572122598087208809\ 5478944425846*c_1001_2^20 + 700510858241772252178138487219424320484\ 3571625711433150291020955095065913044840157594816861137548431936705\ 134808690727167813955937721313/427698456172567984272296376478057140\ 7471919223346238142858508465905050916669887499856482064737981412860\ 6129904360440477394722129230*c_1001_2^19 + 7414433822523456940212492563129287367339128460495803814583578643005\ 4738997202452914371179266244602243989159314728145266677935842522637\ 14/2138492280862839921361481882390285703735959611673119071429254232\ 9525254583349437499282410323689907064303064952180220238697361064615\ *c_1001_2^18 + 1383106321718857750797944058330714967522633736111957\ 0596528808003151416140837954766838509283663195253360926335340079783\ 525004838534637313/213849228086283992136148188239028570373595961167\ 3119071429254232952525458334943749928241032368990706430306495218022\ 0238697361064615*c_1001_2^17 + 216255739156382175185606587825443803\ 3558318769031767007205704058647928992492113962731376572077468234687\ 8973161523358936918221566376199349/21384922808628399213614818823902\ 8570373595961167311907142925423295252545833494374992824103236899070\ 64303064952180220238697361064615*c_1001_2^16 + 2911963798588315464945502858876107227848207877125626961627052269782\ 1953210322984413777759135610491988225810811391060268543593211972545\ 901/213849228086283992136148188239028570373595961167311907142925423\ 2952525458334943749928241032368990706430306495218022023869736106461\ 5*c_1001_2^15 + 696919496621443222967552514133591006362427844136474\ 5052033193327311904489824663586942284909244773667868785602406023820\ 5703179486091533999/42769845617256798427229637647805714074719192233\ 4623814285850846590505091666988749985648206473798141286061299043604\ 40477394722129230*c_1001_2^14 + 37780574039749837232126409333408480\ 5225940265363624192329006680437265710213279810513026333976801490214\ 90019945336215815088300410689615496/2138492280862839921361481882390\ 2857037359596116731190714292542329525254583349437499282410323689907\ 064303064952180220238697361064615*c_1001_2^13 + 1593111366791535864918947926268660728972382493143958272171212534362\ 5570561939950274922053609371394350211447497275600790593555303701080\ 39/9099967152607829452602050563362917888238126007119655623103209501\ 92564024823380319118400439305953492098002763922562563348823875090*c\ _1001_2^12 + 135642149033075798851884634140891587838556902750222120\ 6870819798366115311052973365863504290594058665221970556661742213541\ 9687866149821877/85539691234513596854459275295611428149438384466924\ 7628571701693181010183333977499971296412947596282572122598087208809\ 5478944425846*c_1001_2^11 + 118821141435810493458996196385910057470\ 6944215627502310828861479589861921462593555853201731943883540411720\ 255529989355601487081366076831/909996715260782945260205056336291788\ 8238126007119655623103209501925640248233803191184004393059534920980\ 02763922562563348823875090*c_1001_2^10 + 4150331036367617394155466393780312680198157937177555919579279045987\ 5422028338832527385306104956717086076821681995539348777327949043283\ 013/427698456172567984272296376478057140747191922334623814285850846\ 5905050916669887499856482064737981412860612990436044047739472212923\ 0*c_1001_2^9 + 1380387292514544514013954650674516521841202102262717\ 0710484813124543311140215155998670989962700742749873323096805861078\ 192162861446465527/213849228086283992136148188239028570373595961167\ 3119071429254232952525458334943749928241032368990706430306495218022\ 0238697361064615*c_1001_2^8 + 8151184177653349549443181209887443177\ 5070251737390503874508931352530147945401225753322928479697874007071\ 10092333739036066570284392136241/2138492280862839921361481882390285\ 7037359596116731190714292542329525254583349437499282410323689907064\ 303064952180220238697361064615*c_1001_2^7 + 4233374724280866884652876243713633579456260175488463983454285500553\ 8400777928463110215562211852554765709788988674064091989150839918562\ 57/2138492280862839921361481882390285703735959611673119071429254232\ 9525254583349437499282410323689907064303064952180220238697361064615\ *c_1001_2^6 + 19112602004688573485642824465836796932233473565821601\ 9643583515990777537960452573927158461439440510168029058543946165561\ 7341469249835803/21384922808628399213614818823902857037359596116731\ 1907142925423295252545833494374992824103236899070643030649521802202\ 38697361064615*c_1001_2^5 + 147715261102175596744893718770073954028\ 1675059207864906279293774310250765343085596180291675525381780773572\ 179919448132513562677428671127/427698456172567984272296376478057140\ 7471919223346238142858508465905050916669887499856482064737981412860\ 6129904360440477394722129230*c_1001_2^4 + 2384445521263640804009222390885854691852713357837931956154704780607\ 0752846581639149085700058725714807171549082610329952045442986024287\ 8/21384922808628399213614818823902857037359596116731190714292542329\ 525254583349437499282410323689907064303064952180220238697361064615*\ c_1001_2^3 + 123445612009984371364142263368595430568171022724355148\ 4065370331930093280005301440687489034555977576970275374362348450497\ 60870940210729/4276984561725679842722963764780571407471919223346238\ 1428585084659050509166698874998564820647379814128606129904360440477\ 394722129230*c_1001_2^2 + 23673798084889080737073488048585351799291\ 7465918590219096326700232750837537296023104349727118124686842582132\ 27819289500558477914839721/4276984561725679842722963764780571407471\ 9192233462381428585084659050509166698874998564820647379814128606129\ 904360440477394722129230*c_1001_2 + 2669249239020873649490815467516127569241103460501109519067023687134\ 14398091452746902938728757424039230184077431430017928264404515669/4\ 2769845617256798427229637647805714074719192233462381428585084659050\ 50916669887499856482064737981412860612990436044047739472212923, c_0101_5 + 877796119669189444893716868845408616478958432680416377765890\ 1517515580480921867486155074379382144412407665872367376574687474229\ 01/2138492280862839921361481882390285703735959611673119071429254232\ 9525254583349437499282410323689907064303064952180220238697361064615\ *c_1001_2^49 - 2809372415660985649391729650630493507805017049232973\ 7906089537642479362446373913301497663844924854732973416551374344812\ 89351501794/2138492280862839921361481882390285703735959611673119071\ 4292542329525254583349437499282410323689907064303064952180220238697\ 361064615*c_1001_2^48 + 1202535295987892205209486395966261080378501\ 6512340384678380448041549416925060867344735463696352074394793542839\ 93134388014747968639/8553969123451359685445927529561142814943838446\ 6924762857170169318101018333397749997129641294759628257212259808720\ 88095478944425846*c_1001_2^47 + 57156662794903372670238071448255765\ 7312941637107488070114610212361378543007216214209386133394356337504\ 0316001351365949659215829979/42769845617256798427229637647805714074\ 7191922334623814285850846590505091666988749985648206473798141286061\ 29904360440477394722129230*c_1001_2^46 - 2556145237594979350650202454297853453624174219651383378815451030411\ 166597007117783223319198506597795515834796202383432569213843003/909\ 9967152607829452602050563362917888238126007119655623103209501925640\ 24823380319118400439305953492098002763922562563348823875090*c_1001_\ 2^45 + 534839434343918464290385576844417209550233646745950819197397\ 2978419721183473539076334100907971871095177057847381869471502413573\ 0899/42769845617256798427229637647805714074719192233462381428585084\ 6590505091666988749985648206473798141286061299043604404773947221292\ 3*c_1001_2^44 - 763062280534672637907558811063614486455979455304639\ 1068455343490184956721217275082343914524463553466264813563505466267\ 55510637004742/2138492280862839921361481882390285703735959611673119\ 0714292542329525254583349437499282410323689907064303064952180220238\ 697361064615*c_1001_2^43 + 1946450581924386352249991848669175692966\ 2566688755463548982020636312607540729325684470587045381820764542123\ 15451469008969476627641922/2138492280862839921361481882390285703735\ 9596116731190714292542329525254583349437499282410323689907064303064\ 952180220238697361064615*c_1001_2^42 - 8171198227804761191507578103244076285812989591602045370715809022826\ 585700418988827700928831712539324819105037927368496988342795311811/\ 4276984561725679842722963764780571407471919223346238142858508465905\ 0509166698874998564820647379814128606129904360440477394722129230*c_\ 1001_2^41 + 1541737854190620632055348524705573971936875512617919569\ 6238840682354840039227501968442508001364086637989612701725548028514\ 767032054631/427698456172567984272296376478057140747191922334623814\ 2858508465905050916669887499856482064737981412860612990436044047739\ 4722129230*c_1001_2^40 - 265368226883593853631716724596776202713811\ 4927547630530870856465777421739174064901860168048944487827812671394\ 363234506313403848396544/427698456172567984272296376478057140747191\ 9223346238142858508465905050916669887499856482064737981412860612990\ 436044047739472212923*c_1001_2^39 + 4049751460302556588446299249927655409168971698609723944423930410223\ 2722353369004988290485589343807266683181642016044641999246448635039\ /427698456172567984272296376478057140747191922334623814285850846590\ 50509166698874998564820647379814128606129904360440477394722129230*c\ _1001_2^38 - 302710637763582270471281646376597257039777513986086239\ 0801508697770360488305487898708786667033653454440943123760493173007\ 3600429883327/21384922808628399213614818823902857037359596116731190\ 7142925423295252545833494374992824103236899070643030649521802202386\ 97361064615*c_1001_2^37 + 39337739711214989548287948322820562322188\ 4021875209140913604786210320923278714134777779449686313423157219421\ 44132393364960675789586176/2138492280862839921361481882390285703735\ 9596116731190714292542329525254583349437499282410323689907064303064\ 952180220238697361064615*c_1001_2^36 - 5098961767023227251833680220934800540784349166085444662927226819995\ 0338832499064262452237981964978309480230846240669410015227192515898\ /213849228086283992136148188239028570373595961167311907142925423295\ 25254583349437499282410323689907064303064952180220238697361064615*c\ _1001_2^35 + 127176331414684045816050286046540555184540273160690485\ 8018151099747261319967352957746213552550084824026011887024387352800\ 16052206657923/4276984561725679842722963764780571407471919223346238\ 1428585084659050509166698874998564820647379814128606129904360440477\ 394722129230*c_1001_2^34 - 1160098037351612236141509820263632633625\ 7879352126709912666035292902167407483065962710526944150236496476179\ 818825681333625095654118214/427698456172567984272296376478057140747\ 1919223346238142858508465905050916669887499856482064737981412860612\ 990436044047739472212923*c_1001_2^33 + 2079247054614273801076616180909292239462786295755407918580047376194\ 1165424937981766812192173677968634036444260419891400148808776234451\ 7/42769845617256798427229637647805714074719192233462381428585084659\ 050509166698874998564820647379814128606129904360440477394722129230*\ c_1001_2^32 - 63331477674503457077406436505899154980626655853105741\ 6164520930394287020532170457246628746979318379974330010889322791860\ 29245399899433/4276984561725679842722963764780571407471919223346238\ 1428585084659050509166698874998564820647379814128606129904360440477\ 394722129230*c_1001_2^31 + 1189282244204798013598366502316296299134\ 0914136113684947462276240112088881825006671039616972312418787829140\ 8689123298350736878601554613/21384922808628399213614818823902857037\ 3595961167311907142925423295252545833494374992824103236899070643030\ 64952180220238697361064615*c_1001_2^30 - 1182297208358448070817791419566677917412350068197031370075631436667\ 8162680451727881529611949373856272440853823576752049447999651820281\ 3/21384922808628399213614818823902857037359596116731190714292542329\ 525254583349437499282410323689907064303064952180220238697361064615*\ c_1001_2^29 - 22498486413235660853630700205781461724648788457047288\ 8435982974296739042447136556262126261560385121644534962847962585764\ 96582744425539/4276984561725679842722963764780571407471919223346238\ 1428585084659050509166698874998564820647379814128606129904360440477\ 39472212923*c_1001_2^28 - 75802398306227026125850007283702455866788\ 4682971195618402508391022118385336925157452295162682425516512039821\ 371208105994821426171219763/427698456172567984272296376478057140747\ 1919223346238142858508465905050916669887499856482064737981412860612\ 9904360440477394722129230*c_1001_2^27 - 1500346763531115023581120578999983975231912111412736141235768887757\ 3438510874242150681988247473670019458264299212403540270022200753834\ 3/42769845617256798427229637647805714074719192233462381428585084659\ 050509166698874998564820647379814128606129904360440477394722129230*\ c_1001_2^26 + 41663450391491388045050045586570959489554222656929718\ 4567963725447723103836385062873252920140246733191545599216358097410\ 283199275745803/213849228086283992136148188239028570373595961167311\ 9071429254232952525458334943749928241032368990706430306495218022023\ 8697361064615*c_1001_2^25 + 161597172490049562992558448878915199282\ 3134404523747734207852381401923635720721158921098808845068882097151\ 484122593037031973595962237898/213849228086283992136148188239028570\ 3735959611673119071429254232952525458334943749928241032368990706430\ 3064952180220238697361064615*c_1001_2^24 + 2496213467720137903784450720560369423124051213258219048460701350153\ 7987394847681865541171998754493286172071111668062552199356754902019\ 59/2138492280862839921361481882390285703735959611673119071429254232\ 9525254583349437499282410323689907064303064952180220238697361064615\ *c_1001_2^23 + 6076944139664598668102155161665998302422804438543842\ 0397863779177092402782211765891156721047278899685385989270324441495\ 79057539614336307/4276984561725679842722963764780571407471919223346\ 2381428585084659050509166698874998564820647379814128606129904360440\ 477394722129230*c_1001_2^22 + 2541875163583367602828247742150398578\ 0874645939414616755379666014324156548780881943886890591410210753331\ 75433653552972337848404072031016/2138492280862839921361481882390285\ 7037359596116731190714292542329525254583349437499282410323689907064\ 303064952180220238697361064615*c_1001_2^21 + 8887779085686004120558029788850076602926889296660765043953913336584\ 9566679989805331315704671663042731408242462473105801938040978499604\ 7/85539691234513596854459275295611428149438384466924762857170169318\ 10101833339774999712964129475962825721225980872088095478944425846*c\ _1001_2^20 + 294108877393319892789705613579127963383264472077863782\ 7377241808342508487367925983021914901477504085216809545723553115087\ 626574255703571/213849228086283992136148188239028570373595961167311\ 9071429254232952525458334943749928241032368990706430306495218022023\ 8697361064615*c_1001_2^19 + 626084900102291326314381115407296385157\ 1579742893373785616424309988192483704283822826712736859262561365795\ 329673711394106221901828888996/213849228086283992136148188239028570\ 3735959611673119071429254232952525458334943749928241032368990706430\ 3064952180220238697361064615*c_1001_2^18 + 2414123093587340057285732460173030982911814203022034187987403295756\ 8212712880681380893965161990518346273464516225465930858810996730500\ 809/427698456172567984272296376478057140747191922334623814285850846\ 5905050916669887499856482064737981412860612990436044047739472212923\ 0*c_1001_2^17 + 393162056401737043984061069709349401489836997418698\ 4031510143999490440241054161178033314671081786589487813677950997873\ 4697901201467118707/42769845617256798427229637647805714074719192233\ 4623814285850846590505091666988749985648206473798141286061299043604\ 40477394722129230*c_1001_2^16 + 54608605985048035361723959009081224\ 2898203480822208842114908923608103002816300731622267614454889796559\ 30931344416414817074722799318228513/4276984561725679842722963764780\ 5714074719192233462381428585084659050509166698874998564820647379814\ 128606129904360440477394722129230*c_1001_2^15 + 3352048309515216773727881799343406038569999413085853259637697302468\ 1672900226817198703330570495855551539831922541089770750667097880373\ 373/213849228086283992136148188239028570373595961167311907142925423\ 2952525458334943749928241032368990706430306495218022023869736106461\ 5*c_1001_2^14 + 371638266734631414166210200017447530234909341067988\ 9966939925746030445956402618577962345837392481581432007519781997225\ 2891062784200937684/21384922808628399213614818823902857037359596116\ 7311907142925423295252545833494374992824103236899070643030649521802\ 20238697361064615*c_1001_2^13 + 79990166360950436832078376667796028\ 0023674063118294153143708226933050210683069857010202943543575536137\ 851057141467075492132438005017568/454998357630391472630102528168145\ 8944119063003559827811551604750962820124116901595592002196529767460\ 49001381961281281674411937545*c_1001_2^12 + 6960308291146117890677567203414197989397152057794846710227479008256\ 8581459287935294633139247402212147194332299310699055685974856605937\ 81/4276984561725679842722963764780571407471919223346238142858508465\ 905050916669887499856482064737981412860612990436044047739472212923*\ c_1001_2^11 + 62389652500529871839834838071813809953324015439456151\ 4702067900814855950289971283142415605281681539242626628646834014996\ 466398689421572/454998357630391472630102528168145894411906300355982\ 7811551604750962820124116901595592002196529767460490013819612812816\ 74411937545*c_1001_2^10 + 44703266006837145846766225262612343934622\ 4156667372146171215947056406763762949194761411170574105623161044854\ 53450933009085631096277559547/4276984561725679842722963764780571407\ 4719192233462381428585084659050509166698874998564820647379814128606\ 129904360440477394722129230*c_1001_2^9 + 3056625929326992528551953289131663088675472482402907603617010030571\ 3986584176117584814876132131336809000870381818712593319334956704932\ 001/427698456172567984272296376478057140747191922334623814285850846\ 5905050916669887499856482064737981412860612990436044047739472212923\ 0*c_1001_2^8 + 1859284052328653869747310512528553996099753047306190\ 5043204338187132769665794442604332523748661600598785750746578455582\ 974689820884222583/427698456172567984272296376478057140747191922334\ 6238142858508465905050916669887499856482064737981412860612990436044\ 0477394722129230*c_1001_2^7 + 4987343771881124404934457587868099915\ 6805394838599692483471427345958126100612681061537204083149191185507\ 64734558196786733588412432858533/2138492280862839921361481882390285\ 7037359596116731190714292542329525254583349437499282410323689907064\ 303064952180220238697361064615*c_1001_2^6 + 2331945464303561497243842866074889614408159417987124795150858320137\ 5012761145392039567425191661256097173008003936517178283177912922222\ 62/2138492280862839921361481882390285703735959611673119071429254232\ 9525254583349437499282410323689907064303064952180220238697361064615\ *c_1001_2^5 + 93705480896640732513825119656028501760125326650760518\ 4491129548465667453917242400615405246066773361171355174733785727041\ 210572886585054/213849228086283992136148188239028570373595961167311\ 9071429254232952525458334943749928241032368990706430306495218022023\ 8697361064615*c_1001_2^4 + 6328094819448594924418729825432888500820\ 4011474186896455697864449823599912969274071293669208035347050547793\ 4897053216475226926792329619/42769845617256798427229637647805714074\ 7191922334623814285850846590505091666988749985648206473798141286061\ 29904360440477394722129230*c_1001_2^3 + 1726156041497855551217522598734724325508777833366193537229946154803\ 3707080897985744701479529193665149478082570579754051826938098020733\ 1/42769845617256798427229637647805714074719192233462381428585084659\ 050509166698874998564820647379814128606129904360440477394722129230*\ c_1001_2^2 + 177418690094344854259098789132190709342782090239185624\ 5064310175736093695080062963645867478535079365518298065054298469598\ 2271726025592/21384922808628399213614818823902857037359596116731190\ 7142925423295252545833494374992824103236899070643030649521802202386\ 97361064615*c_1001_2 + 91557198772303889339439182681036300193788324\ 5577397136587796943935357626233450945428804569249210089444795501824\ 547940043548878352379/855396912345135968544592752956114281494383844\ 6692476285717016931810101833339774999712964129475962825721225980872\ 088095478944425846, c_0101_8 + 289191245751686687592441325375087731652486144493995393159880\ 3101866185988528878601958393237310397539824664487280714708522275500\ 913/213849228086283992136148188239028570373595961167311907142925423\ 2952525458334943749928241032368990706430306495218022023869736106461\ 5*c_1001_2^49 - 368175088153855661871778891205953121408743985924278\ 4871513426481328128992063537579005030539592910586963884275565301650\ 1217228516929/42769845617256798427229637647805714074719192233462381\ 4285850846590505091666988749985648206473798141286061299043604404773\ 94722129230*c_1001_2^48 + 28598883791237249411352501120856463099693\ 8098799974092713127681054575988742245106550106030006117012290118620\ 81317858609380233116657/8553969123451359685445927529561142814943838\ 4466924762857170169318101018333397749997129641294759628257212259808\ 72088095478944425846*c_1001_2^47 - 2398137735578906654951831532944284402092004019161035889700007473715\ 44625205835986545370530283554458581460232242174797408570388059129/2\ 1384922808628399213614818823902857037359596116731190714292542329525\ 254583349437499282410323689907064303064952180220238697361064615*c_1\ 001_2^46 + 13943876001421495377343327107380411956243847265615948090\ 3387874185139309787175790250884947223419173312616115555130558101516\ 52664213/4549983576303914726301025281681458944119063003559827811551\ 6047509628201241169015955920021965297674604900138196128128167441193\ 7545*c_1001_2^45 - 303518615968399601031530666770756163875705698032\ 2792118233621837628042762366801576772950348881049581385403639855247\ 03689637602445324/4276984561725679842722963764780571407471919223346\ 2381428585084659050509166698874998564820647379814128606129904360440\ 47739472212923*c_1001_2^44 + 64162679792283443830379963981505700464\ 2782520995768525935993383339930014743705536398103418525979670988692\ 6274364785860977081015599333/42769845617256798427229637647805714074\ 7191922334623814285850846590505091666988749985648206473798141286061\ 29904360440477394722129230*c_1001_2^43 - 5949031658198912979644256733580117493586133585741582228232727044793\ 806678733109459837685529763004671612273062633516747373845325208944/\ 2138492280862839921361481882390285703735959611673119071429254232952\ 5254583349437499282410323689907064303064952180220238697361064615*c_\ 1001_2^42 + 2030904493649896464779924803018358726847471786234587170\ 2791695925570880698192743143642625533517580658983770079209190294729\ 409002727257/427698456172567984272296376478057140747191922334623814\ 2858508465905050916669887499856482064737981412860612990436044047739\ 4722129230*c_1001_2^41 - 318655594682595595307715195111155869502612\ 9706623767518553918611061928005871019527380936548642578899575837048\ 7043809627852794982882197/42769845617256798427229637647805714074719\ 1922334623814285850846590505091666988749985648206473798141286061299\ 04360440477394722129230*c_1001_2^40 + 4569421328613339423733240298166025649836968254146687718653651158076\ 811217175463912910044585138708669727459652439757088303600908493310/\ 4276984561725679842722963764780571407471919223346238142858508465905\ 050916669887499856482064737981412860612990436044047739472212923*c_1\ 001_2^39 - 31647496495375614472064787517075952611694455844468553508\ 3182015584445635736869450896630189216599065351219202457917203015993\ 34224699749/2138492280862839921361481882390285703735959611673119071\ 4292542329525254583349437499282410323689907064303064952180220238697\ 361064615*c_1001_2^38 + 7807752096561170211149105886888885036834517\ 5399809967470994970689256534112098066914185150349063625796230126012\ 933614670691757361439683/427698456172567984272296376478057140747191\ 9223346238142858508465905050916669887499856482064737981412860612990\ 4360440477394722129230*c_1001_2^37 - 4840422494410211789455454691504680617417404221392481978303364452980\ 1478527627125966222160455646737743218292649219469388463879517577762\ /213849228086283992136148188239028570373595961167311907142925423295\ 25254583349437499282410323689907064303064952180220238697361064615*c\ _1001_2^36 + 553382005900439049709368122827735768499852462055180472\ 9942757592944282788118188006289571146720198596665947662830232757392\ 2716145563781/21384922808628399213614818823902857037359596116731190\ 7142925423295252545833494374992824103236899070643030649521802202386\ 97361064615*c_1001_2^35 - 53428030278743296321875273893814366962043\ 9958332144309714840428394119579865038732589999543457110055463209181\ 94559263709292084011706173/2138492280862839921361481882390285703735\ 9596116731190714292542329525254583349437499282410323689907064303064\ 952180220238697361064615*c_1001_2^34 + 3259588269272533567969518474129777795637591294715982487324676400978\ 8027225097762074976300906301256242496158087782212125092319524090017\ /855396912345135968544592752956114281494383844669247628571701693181\ 0101833339774999712964129475962825721225980872088095478944425846*c_\ 1001_2^33 - 2355276580636541950480497510188238605366937341767173999\ 3508669362184803795085060753852173252711525960635260946074661442123\ 442288521497/213849228086283992136148188239028570373595961167311907\ 1429254232952525458334943749928241032368990706430306495218022023869\ 7361064615*c_1001_2^32 + 111625230244745652749674921723135801372112\ 0822601766973248787587960069741700731263901879525239010217528351915\ 91891089576436793094416553/2138492280862839921361481882390285703735\ 9596116731190714292542329525254583349437499282410323689907064303064\ 952180220238697361064615*c_1001_2^31 - 5283189221319924115648167950281337334015032612479731555633505252086\ 2076795684927936403816713426690765114922024885451163203468589298911\ /213849228086283992136148188239028570373595961167311907142925423295\ 25254583349437499282410323689907064303064952180220238697361064615*c\ _1001_2^30 - 113134617675571468575750713047486784020294098491269888\ 1582549861863001888051750702627091789239796518131441990351300488343\ 13322990568333/4276984561725679842722963764780571407471919223346238\ 1428585084659050509166698874998564820647379814128606129904360440477\ 394722129230*c_1001_2^29 - 6543580256836090910988824666129318696995\ 9512145036705917124641483700682827516744566375565630091613062922249\ 746594995920149786693250980/427698456172567984272296376478057140747\ 1919223346238142858508465905050916669887499856482064737981412860612\ 990436044047739472212923*c_1001_2^28 - 4301245508797400221314275968662563862023344122272585603918168200714\ 7694953258292072605817419092739704033371429882283464596299574966610\ 9/42769845617256798427229637647805714074719192233462381428585084659\ 050509166698874998564820647379814128606129904360440477394722129230*\ c_1001_2^27 + 14715985389716485588353966654038872629164547833693715\ 8748460049367109043131229690946978539140284377422176116039683245452\ 568751246808221/427698456172567984272296376478057140747191922334623\ 8142858508465905050916669887499856482064737981412860612990436044047\ 7394722129230*c_1001_2^26 + 214347244878455263833969097383024944202\ 2622857306606622195528729600329814781259828160610261602313425927892\ 524945862612550160265502792033/427698456172567984272296376478057140\ 7471919223346238142858508465905050916669887499856482064737981412860\ 6129904360440477394722129230*c_1001_2^25 + 2051872758482842931408636989704570495587231625653956521451569963184\ 5645023717961659096595219884339614706217429792201974381141799688863\ 19/2138492280862839921361481882390285703735959611673119071429254232\ 9525254583349437499282410323689907064303064952180220238697361064615\ *c_1001_2^24 + 5728418168570539786553768116514486740549070812412776\ 2062914065162793832307961339427829304048383545683885582227204152630\ 24088636794961349/4276984561725679842722963764780571407471919223346\ 2381428585084659050509166698874998564820647379814128606129904360440\ 477394722129230*c_1001_2^23 + 5390238136885159439972046229773733148\ 1854782762663013491794770137306461532464759083052684468709308313337\ 43780747746851008976538715392421/4276984561725679842722963764780571\ 4074719192233462381428585084659050509166698874998564820647379814128\ 606129904360440477394722129230*c_1001_2^22 + 4441268888136303744901773111222041421260783487627582015168767593652\ 7572365446891332340321740128450799242778044654143407923801644750992\ 91/4276984561725679842722963764780571407471919223346238142858508465\ 9050509166698874998564820647379814128606129904360440477394722129230\ *c_1001_2^21 + 8926232823970717793610549402218979356174122688680839\ 7746349011904191476230882763855460608574000177681367247835177231779\ 2741850056957035/85539691234513596854459275295611428149438384466924\ 7628571701693181010183333977499971296412947596282572122598087208809\ 5478944425846*c_1001_2^20 + 858239362731323713607947153881377088953\ 4848765961498240711694484223538426783749629203104860893183692542039\ 851706081492092110530300092041/427698456172567984272296376478057140\ 7471919223346238142858508465905050916669887499856482064737981412860\ 6129904360440477394722129230*c_1001_2^19 + 1777667093000098706211491056780432710621963540636272759824012342553\ 9060620292046620612485229562122444444080305305056631845807664060172\ 431/427698456172567984272296376478057140747191922334623814285850846\ 5905050916669887499856482064737981412860612990436044047739472212923\ 0*c_1001_2^18 + 313493072821013874830141850424558769171123109265212\ 6076445443586906579539782864246104521871900015930363776809047573542\ 9744931090157571037/42769845617256798427229637647805714074719192233\ 4623814285850846590505091666988749985648206473798141286061299043604\ 40477394722129230*c_1001_2^17 + 46535120364205439729704703918029295\ 1594708381668535879145619158589245612667386864580056743235234558417\ 99213001750747218764171987831342071/4276984561725679842722963764780\ 5714074719192233462381428585084659050509166698874998564820647379814\ 128606129904360440477394722129230*c_1001_2^16 + 6019415578432417789680801759846577046028415427973735747319263648468\ 1184710042015370161477074297612163357389981731174761424303032697620\ 469/427698456172567984272296376478057140747191922334623814285850846\ 5905050916669887499856482064737981412860612990436044047739472212923\ 0*c_1001_2^15 + 348862300623669780784245875778795927717805452622081\ 0018723582282300019707116104913612753484296067804576972736741150509\ 0324321008531544549/21384922808628399213614818823902857037359596116\ 7311907142925423295252545833494374992824103236899070643030649521802\ 20238697361064615*c_1001_2^14 + 73530987207101330548207677645105403\ 8803381403696209004644331847139974798126852800059854787376557857784\ 16943324990063984914324296143883899/4276984561725679842722963764780\ 5714074719192233462381428585084659050509166698874998564820647379814\ 128606129904360440477394722129230*c_1001_2^13 + 7542867246788934299510352675575799172458512976061345980676786776770\ 3676162282894096546786319999101536994692170048113253524674371543135\ 4/45499835763039147263010252816814589441190630035598278115516047509\ 6282012411690159559200219652976746049001381961281281674411937545*c_\ 1001_2^12 + 1247876328785309254479537084292285631853875955854641317\ 0839989393512814834007835881493087312467820410511681165492573108429\ 049474766889031/855396912345135968544592752956114281494383844669247\ 6285717016931810101833339774999712964129475962825721225980872088095\ 478944425846*c_1001_2^11 + 1060383967502802198688796925573380465173\ 5062444567667149942625999381410928264471664204241079016515744691530\ 88582079377809225322254833267/9099967152607829452602050563362917888\ 2381260071196556231032095019256402482338031911840043930595349209800\ 2763922562563348823875090*c_1001_2^10 + 1793748912898551675044831076114744479955810287732947398543562591252\ 1538191938869363821495683211864166763852281757569067896504737093360\ 853/213849228086283992136148188239028570373595961167311907142925423\ 2952525458334943749928241032368990706430306495218022023869736106461\ 5*c_1001_2^9 + 1154524515442464519499175324994152050729622692678196\ 2480207956288988204735904904091708024305399943864583780120557979287\ 956001078531630139/213849228086283992136148188239028570373595961167\ 3119071429254232952525458334943749928241032368990706430306495218022\ 0238697361064615*c_1001_2^8 + 1318883484703496665257343523393002856\ 7327205325577115338140419902108500279420378932076955932385586458726\ 103175151091164347915187388736549/427698456172567984272296376478057\ 1407471919223346238142858508465905050916669887499856482064737981412\ 8606129904360440477394722129230*c_1001_2^7 + 3311020661980203203100080559803150981035363540717321794318486116286\ 1810638786366973952951203654707035180884544162281679751062939579720\ 24/2138492280862839921361481882390285703735959611673119071429254232\ 9525254583349437499282410323689907064303064952180220238697361064615\ *c_1001_2^6 + 14446332060759306062777034048622017604966280375876859\ 1807781448191074901786289411170830665227634554894094067651542106469\ 3706540825472086/21384922808628399213614818823902857037359596116731\ 1907142925423295252545833494374992824103236899070643030649521802202\ 38697361064615*c_1001_2^5 + 539102101870454106475433108321969146095\ 3836596549040861861863536632427573204758285527459324823354886968892\ 82269499044764161778895898172/2138492280862839921361481882390285703\ 7359596116731190714292542329525254583349437499282410323689907064303\ 064952180220238697361064615*c_1001_2^4 + 1676005977660138097041828723420945049591001310889832023379858762332\ 7160603197855999965466701200035982770655045742618530012022390164864\ 1/21384922808628399213614818823902857037359596116731190714292542329\ 525254583349437499282410323689907064303064952180220238697361064615*\ c_1001_2^3 + 831257482458387734271212526603796468664023021071578666\ 0491736174053779521563996834171684094549426867539550746764744724011\ 6107627130663/42769845617256798427229637647805714074719192233462381\ 4285850846590505091666988749985648206473798141286061299043604404773\ 94722129230*c_1001_2^2 + 151347342831071348661144519126012912223780\ 3974306500618478946985805955469519918284245175679157059606394074962\ 1519393048021264277786017/42769845617256798427229637647805714074719\ 1922334623814285850846590505091666988749985648206473798141286061299\ 04360440477394722129230*c_1001_2 + 1490443481398033554851733031167142439889641983629279965626314295947\ 67232115347585134974759992505111481865487971062442011939991952459/4\ 2769845617256798427229637647805714074719192233462381428585084659050\ 50916669887499856482064737981412860612990436044047739472212923, c_0101_9 + c_1001_2, c_1001_10 - 20224149663833000765422676769401102616989865142780267756737\ 0846316651636648164247222195079214454602502971284165199875062399050\ 2339/42769845617256798427229637647805714074719192233462381428585084\ 6590505091666988749985648206473798141286061299043604404773947221292\ 30*c_1001_2^49 + 54411244785331415535438907233933439512607105708821\ 6634357181602721217876450302509015167703538422917820847640501466229\ 4368674192223/21384922808628399213614818823902857037359596116731190\ 7142925423295252545833494374992824103236899070643030649521802202386\ 97361064615*c_1001_2^48 - 73950191186132102441287624303395589702992\ 6584964904326424370468994959475394635477306577385321430636393100905\ 9934007215415921019677/85539691234513596854459275295611428149438384\ 4669247628571701693181010183333977499971296412947596282572122598087\ 2088095478944425846*c_1001_2^47 + 116651716296920148018566646714958\ 1166154844170004679466323529292258065166104494931874231079916339114\ 02074786587422396622632953806297/4276984561725679842722963764780571\ 4074719192233462381428585084659050509166698874998564820647379814128\ 606129904360440477394722129230*c_1001_2^46 - 6109575435696969226089308025955911964172793983394759484651571801728\ 885076328597007617169363438223890774996423681979941936338865239/909\ 9967152607829452602050563362917888238126007119655623103209501925640\ 24823380319118400439305953492098002763922562563348823875090*c_1001_\ 2^45 + 591033004860378310293096747720684273979043924913940807582638\ 8502685101779156519783992350411895325968725585150053115563271416113\ 3866/42769845617256798427229637647805714074719192233462381428585084\ 6590505091666988749985648206473798141286061299043604404773947221292\ 3*c_1001_2^44 - 575928536362428862302327676249953151454404904001167\ 2098842522656682744709939166164914378976926945616814609916850786879\ 99529013882891/2138492280862839921361481882390285703735959611673119\ 0714292542329525254583349437499282410323689907064303064952180220238\ 697361064615*c_1001_2^43 + 1854738017448612885904853139963859867537\ 0061622692681819574551034913506130561030987274260107450168224275251\ 31767535472249297877583917/4276984561725679842722963764780571407471\ 9192233462381428585084659050509166698874998564820647379814128606129\ 904360440477394722129230*c_1001_2^42 - 1405624259857663381942148576204293381339384628253457332360790537337\ 548954555053286172310501303253335176152371276978128863659379757209/\ 2138492280862839921361481882390285703735959611673119071429254232952\ 5254583349437499282410323689907064303064952180220238697361064615*c_\ 1001_2^41 + 3823564271912038537754602458285538450390957793164752382\ 9586582110938159533301399282308611665932921850756026999537302291455\ 37412708383/4276984561725679842722963764780571407471919223346238142\ 8585084659050509166698874998564820647379814128606129904360440477394\ 722129230*c_1001_2^40 - 4476018785492520974808744312657865066053715\ 3142435231468182553164396622281452302531952580594969462813956919755\ 9610241752262568674150/42769845617256798427229637647805714074719192\ 2334623814285850846590505091666988749985648206473798141286061299043\ 6044047739472212923*c_1001_2^39 + 559720969789455993657476311213513\ 6124384460657299704430504769571219655481883962465444865355571344514\ 015194936344541875943429741337477/427698456172567984272296376478057\ 1407471919223346238142858508465905050916669887499856482064737981412\ 8606129904360440477394722129230*c_1001_2^38 - 4410803988021257971570951092109172119153132307436671350091197746786\ 375181234294555322745101580395846709819176933200471786333373458367/\ 4276984561725679842722963764780571407471919223346238142858508465905\ 0509166698874998564820647379814128606129904360440477394722129230*c_\ 1001_2^37 + 5373027415928321640331986463508733889357081147549379714\ 6003438011940314388285213765844098598558345629628885779136922181234\ 05849723561/4276984561725679842722963764780571407471919223346238142\ 8585084659050509166698874998564820647379814128606129904360440477394\ 722129230*c_1001_2^36 - 1774333553771719901715704696456760800840750\ 4540168423693823797552441228402890227929878226927819101601236560144\ 80658816213192514094624/2138492280862839921361481882390285703735959\ 6116731190714292542329525254583349437499282410323689907064303064952\ 180220238697361064615*c_1001_2^35 - 1638428330381674352960177666761677825477108835895790023082256984102\ 843114837094963071398347319634535637699283821862339314606165254683/\ 2138492280862839921361481882390285703735959611673119071429254232952\ 5254583349437499282410323689907064303064952180220238697361064615*c_\ 1001_2^34 - 1731688986254750246235490842718739796792319791464819757\ 0467132526591727171596250269054957319502123069008668435439849510057\ 98919756488/4276984561725679842722963764780571407471919223346238142\ 8585084659050509166698874998564820647379814128606129904360440477394\ 72212923*c_1001_2^33 - 41941419201326528100934960250680246857912031\ 7594891861670464578601891723199221157834570342141826961003134710418\ 59583377733881926422629/4276984561725679842722963764780571407471919\ 2233462381428585084659050509166698874998564820647379814128606129904\ 360440477394722129230*c_1001_2^32 - 5525156017717589927133184337945890752305070206441631034498469037327\ 7127450768965524531969754277202399939838115833866051069950814129659\ /427698456172567984272296376478057140747191922334623814285850846590\ 50509166698874998564820647379814128606129904360440477394722129230*c\ _1001_2^31 - 182650967536604101784233853198582892050101313628544011\ 2737244078096531110949178632432961916196531284979826504132042527501\ 6589377580866/21384922808628399213614818823902857037359596116731190\ 7142925423295252545833494374992824103236899070643030649521802202386\ 97361064615*c_1001_2^30 + 44899684031630318146676315375595070895051\ 7502088435670227982874990237954648183901930558448071935635719564076\ 80679124455537542115107691/2138492280862839921361481882390285703735\ 9596116731190714292542329525254583349437499282410323689907064303064\ 952180220238697361064615*c_1001_2^29 + 5377819580657006532744000088295806030996397839100321013161904698341\ 4096581282885796300558577450706598145948034842143385770271520612307\ /855396912345135968544592752956114281494383844669247628571701693181\ 0101833339774999712964129475962825721225980872088095478944425846*c_\ 1001_2^28 + 1811250197093788162931020800414699947210195663627004484\ 5428062386348583461696302107914618220505614798383514638916390612105\ 3599743978538/21384922808628399213614818823902857037359596116731190\ 7142925423295252545833494374992824103236899070643030649521802202386\ 97361064615*c_1001_2^27 + 21280996396996777564052146680778490097759\ 2079301263534679504335001575935171771072991983005301811565120483883\ 25364361491952244753628148/2138492280862839921361481882390285703735\ 9596116731190714292542329525254583349437499282410323689907064303064\ 952180220238697361064615*c_1001_2^26 - 8595110087930484844840239959076361145998113208646572561572465334689\ 3355773719265978378358836532512394445150215813770034937191611955536\ 7/42769845617256798427229637647805714074719192233462381428585084659\ 050509166698874998564820647379814128606129904360440477394722129230*\ c_1001_2^25 - 21763670411289937984510750952019477461553963034266644\ 8624730341705706862044859413865367510710506452114865199660437207996\ 0323886438466787/42769845617256798427229637647805714074719192233462\ 3814285850846590505091666988749985648206473798141286061299043604404\ 77394722129230*c_1001_2^24 - 32456578811317659031662825302154773754\ 2911613009938615167969207452547806358314941791868920794417414046320\ 6009927798558732763301179493781/42769845617256798427229637647805714\ 0747191922334623814285850846590505091666988749985648206473798141286\ 06129904360440477394722129230*c_1001_2^23 - 3466485982169610357641997381303351480141184597664012849049419410631\ 3678274621562096857134233286032707630721057871218347833551062431225\ 29/4276984561725679842722963764780571407471919223346238142858508465\ 9050509166698874998564820647379814128606129904360440477394722129230\ *c_1001_2^22 - 2849101060681303096968227807971968916218211899342489\ 2085965852150056249140958422571180767071014177935617608882383175394\ 69672653450856719/4276984561725679842722963764780571407471919223346\ 2381428585084659050509166698874998564820647379814128606129904360440\ 477394722129230*c_1001_2^21 - 2541914069772020856162502561162138483\ 4931820539182538200773732780198466074100623404399355933983518532237\ 0163098390208233288517601587447/42769845617256798427229637647805714\ 0747191922334623814285850846590505091666988749985648206473798141286\ 0612990436044047739472212923*c_1001_2^20 - 2063214539206378283013694424911523548632306902555011217326853387127\ 0298701632304731925488133780011032343946271750359936123213480087588\ 12/2138492280862839921361481882390285703735959611673119071429254232\ 9525254583349437499282410323689907064303064952180220238697361064615\ *c_1001_2^19 - 4409735674189393629635761837712786638375703266837763\ 5082349194771305289130280029995574609284010397258971350524909539078\ 04772821842565477/2138492280862839921361481882390285703735959611673\ 1190714292542329525254583349437499282410323689907064303064952180220\ 238697361064615*c_1001_2^18 - 1640701411716817751777814066148468577\ 9971790433993932985757938368933026136899734551182725801276157554200\ 123679572845758875323877785805663/427698456172567984272296376478057\ 1407471919223346238142858508465905050916669887499856482064737981412\ 8606129904360440477394722129230*c_1001_2^17 - 1276673397659764106832376068875404689838943378736710424902638876742\ 5813591106761181999908966595282604413874404953067429783022327657857\ 837/213849228086283992136148188239028570373595961167311907142925423\ 2952525458334943749928241032368990706430306495218022023869736106461\ 5*c_1001_2^16 - 171127384207920079581461773445800774786845371535442\ 1774353669302434682516939705551015189160023821515921229193040239776\ 8067334316287609788/21384922808628399213614818823902857037359596116\ 7311907142925423295252545833494374992824103236899070643030649521802\ 20238697361064615*c_1001_2^15 - 20398233716046177243867506678344125\ 9895864441509108833638963263742176076069499095968171087996317042609\ 62051581869479990373986689373748311/2138492280862839921361481882390\ 2857037359596116731190714292542329525254583349437499282410323689907\ 064303064952180220238697361064615*c_1001_2^14 - 4408167865964727552928629519628270632217319756092138099100986594274\ 6812000585272614727174472786208065471924629496292145333583067507529\ 211/427698456172567984272296376478057140747191922334623814285850846\ 5905050916669887499856482064737981412860612990436044047739472212923\ 0*c_1001_2^13 - 463121926409665987771318977496428668767320374908845\ 5653633301335269543192010629843292263814941612176415340561035408964\ 11364196142142941/4549983576303914726301025281681458944119063003559\ 8278115516047509628201241169015955920021965297674604900138196128128\ 1674411937545*c_1001_2^12 - 392849223626008566598765607417140355066\ 4951417402124001091038167630324432790625010518367263042167383023110\ 605433354901220871663531976570/427698456172567984272296376478057140\ 7471919223346238142858508465905050916669887499856482064737981412860\ 612990436044047739472212923*c_1001_2^11 - 3426461433590132817435753142451064620686649140244491327309672035913\ 0100477112543607200761209248765615464193623737558034023259157932709\ 4/45499835763039147263010252816814589441190630035598278115516047509\ 6282012411690159559200219652976746049001381961281281674411937545*c_\ 1001_2^10 - 1190964902784468419695410294325595981399091494345549574\ 0645770698315724345108804398770161680406828976182798848120974565728\ 870070790664467/213849228086283992136148188239028570373595961167311\ 9071429254232952525458334943749928241032368990706430306495218022023\ 8697361064615*c_1001_2^9 - 1575848422575472163829066012859814515609\ 2627417817660267318695681288690756935718814535381352072570173866084\ 828153321629495815557859891227/427698456172567984272296376478057140\ 7471919223346238142858508465905050916669887499856482064737981412860\ 6129904360440477394722129230*c_1001_2^8 - 4625616881197728955934795018506739017762267914897279323327671523649\ 3232538411106439136726956200318370557244905450843764311626556983140\ 28/2138492280862839921361481882390285703735959611673119071429254232\ 9525254583349437499282410323689907064303064952180220238697361064615\ *c_1001_2^7 - 23879815971356233480903372002775709064055901731535028\ 0370237890638180764614245731060237776300021371089200562753860146818\ 6557831627717181/21384922808628399213614818823902857037359596116731\ 1907142925423295252545833494374992824103236899070643030649521802202\ 38697361064615*c_1001_2^6 - 214297421642231610198931617682765199409\ 8136075358338126595892499873762281399637479946855156646148989620657\ 252430290790015326964956172503/427698456172567984272296376478057140\ 7471919223346238142858508465905050916669887499856482064737981412860\ 6129904360440477394722129230*c_1001_2^5 - 8230070129218427434030000636140393993412416286201105398944616210734\ 1093454952927118073351491435127364095488574634020773682255585968888\ 1/42769845617256798427229637647805714074719192233462381428585084659\ 050509166698874998564820647379814128606129904360440477394722129230*\ c_1001_2^4 - 263945736068810346749721875096941625725978622740350384\ 6231325547694238629671171283918521033716480342480966525510953354737\ 63022225686013/4276984561725679842722963764780571407471919223346238\ 1428585084659050509166698874998564820647379814128606129904360440477\ 394722129230*c_1001_2^3 - 67787185545630065287798515872848104747265\ 0640269690597572789589688673771930565300668302566222095548656029201\ 00435040342726676628785127/4276984561725679842722963764780571407471\ 9192233462381428585084659050509166698874998564820647379814128606129\ 904360440477394722129230*c_1001_2^2 - 1288292915625794143474190040409610392847403893424789465439219778668\ 4310963685650112066099945198020590528113959904279838826595706502803\ /427698456172567984272296376478057140747191922334623814285850846590\ 50509166698874998564820647379814128606129904360440477394722129230*c\ _1001_2 - 288176921177424005971235851398700162213686236063617967134\ 9813969208502754731195726607563981213445546192046547957353462255451\ 01947195/8553969123451359685445927529561142814943838446692476285717\ 0169318101018333397749997129641294759628257212259808720880954789444\ 25846, c_1001_12 + 22095498377685017282492034992914820701837491134011521873182\ 4603957382589209373794301541416153553226766302545269791216101774514\ 9543/42769845617256798427229637647805714074719192233462381428585084\ 6590505091666988749985648206473798141286061299043604404773947221292\ 30*c_1001_2^49 - 10070745528760059871501574609485495948828588633493\ 7870721817219065558613282798168123892741261816120993025654387880631\ 84222761932017/4276984561725679842722963764780571407471919223346238\ 1428585084659050509166698874998564820647379814128606129904360440477\ 394722129230*c_1001_2^48 + 5713765724539082571449878022953493329223\ 8555799464871215250232520717044592354229033565503183022826943222584\ 02257872311731029406097/8553969123451359685445927529561142814943838\ 4466924762857170169318101018333397749997129641294759628257212259808\ 72088095478944425846*c_1001_2^47 - 8070221872872473014282274970906675838789977010324775723924513417868\ 9661420241680397867836158720283414320296969060753476103194002689/42\ 7698456172567984272296376478057140747191922334623814285850846590505\ 09166698874998564820647379814128606129904360440477394722129230*c_10\ 01_2^46 + 164787761472220215929240196022265538226889175127015755291\ 4008005188342497348490884485448245845830853888357723502422908574983\ 514134/454998357630391472630102528168145894411906300355982781155160\ 4750962820124116901595592002196529767460490013819612812816744119375\ 45*c_1001_2^45 - 20373853244682646730825055835006043459146785854966\ 2082762513333637583251027962163902586890583353905810832810050556995\ 67438132901345/4276984561725679842722963764780571407471919223346238\ 1428585084659050509166698874998564820647379814128606129904360440477\ 39472212923*c_1001_2^44 + 10685618958399406460057511883762748747245\ 4401259053754529636902992630023143214224255729017838325486171311354\ 285374490049509932912942/213849228086283992136148188239028570373595\ 9611673119071429254232952525458334943749928241032368990706430306495\ 2180220238697361064615*c_1001_2^43 + 1129503483631550038683052834137334272050513799897229955857286802388\ 76956694981129703135192822398879853097576157015623312681668927598/2\ 1384922808628399213614818823902857037359596116731190714292542329525\ 254583349437499282410323689907064303064952180220238697361064615*c_1\ 001_2^42 - 60794824164084250853942900339128903576056758096814011818\ 1793817031018690527408064122275291791754447627440457266401219867097\ 155998157/213849228086283992136148188239028570373595961167311907142\ 9254232952525458334943749928241032368990706430306495218022023869736\ 1064615*c_1001_2^41 + 166509552945319241952956642883880835799406275\ 8712886688378841374904664349398045039989804986450578134867000625286\ 427738258630037042762/213849228086283992136148188239028570373595961\ 1673119071429254232952525458334943749928241032368990706430306495218\ 0220238697361064615*c_1001_2^40 - 144695489015203761603992556215008\ 9056503641607347178899995911843421262167503540484592144557530591191\ 548692928458858794770550952526075/855396912345135968544592752956114\ 2814943838446692476285717016931810101833339774999712964129475962825\ 721225980872088095478944425846*c_1001_2^39 + 5931181097256165968678688530998632342375725467194272012319235440882\ 938006423305270482839286500917428421538925616632070380828109162898/\ 2138492280862839921361481882390285703735959611673119071429254232952\ 5254583349437499282410323689907064303064952180220238697361064615*c_\ 1001_2^38 - 2076580513689460996269901014922529692942056551437323589\ 3565837588782246084248186673274711308382682676491111524153611840698\ 618358513311/427698456172567984272296376478057140747191922334623814\ 2858508465905050916669887499856482064737981412860612990436044047739\ 4722129230*c_1001_2^37 + 270835118976795922006630787087541976399913\ 9113563567386058903045625743740256585372446870471089267124860590692\ 1497372193748356141792193/42769845617256798427229637647805714074719\ 1922334623814285850846590505091666988749985648206473798141286061299\ 04360440477394722129230*c_1001_2^36 - 3798777971676620190897321327383027047718978644936017393517125929897\ 4664750375403023680182633497685229326845688172856957249135670302999\ /427698456172567984272296376478057140747191922334623814285850846590\ 50509166698874998564820647379814128606129904360440477394722129230*c\ _1001_2^35 + 533032394537792700947792582037942437203007438913422553\ 8782346382371692597291784187314568482289497544686202127398781079929\ 4677746916647/42769845617256798427229637647805714074719192233462381\ 4285850846590505091666988749985648206473798141286061299043604404773\ 94722129230*c_1001_2^34 - 65703948732353624449796365200255032903196\ 3581630843176332352040847607573562303990569941740984422524545721252\ 1571562463514666114147991/85539691234513596854459275295611428149438\ 3844669247628571701693181010183333977499971296412947596282572122598\ 0872088095478944425846*c_1001_2^33 + 1176699480798774452526778190094788869629498695784810262262685396195\ 9244437852060906036197299819285148086312074723908604920805533003832\ 3/42769845617256798427229637647805714074719192233462381428585084659\ 050509166698874998564820647379814128606129904360440477394722129230*\ c_1001_2^32 + 10319037877996896279573279279050056652806595133091531\ 4142561142512529641557646931117598071778937313508447935362162950464\ 94324964101354/2138492280862839921361481882390285703735959611673119\ 0714292542329525254583349437499282410323689907064303064952180220238\ 697361064615*c_1001_2^31 + 6576500895768272678451409806703277268862\ 9557106147253173174175638294823322464925142030409905083654974275501\ 850126148278509165273073937/213849228086283992136148188239028570373\ 5959611673119071429254232952525458334943749928241032368990706430306\ 4952180220238697361064615*c_1001_2^30 - 8096068632744840527609707437134865388606187419735151591703785136357\ 3344815983612789826022412104067134962809758686640475856275827749502\ /213849228086283992136148188239028570373595961167311907142925423295\ 25254583349437499282410323689907064303064952180220238697361064615*c\ _1001_2^29 - 306722982238103941399780529761515185261087794431437371\ 7580539596071217399338345025802802464464417796209319070971466473604\ 1261528608952/42769845617256798427229637647805714074719192233462381\ 4285850846590505091666988749985648206473798141286061299043604404773\ 9472212923*c_1001_2^28 - 310104360259822972938698019934098418136854\ 2695256610613259768330134732817108626935008634453635472068788363488\ 54472524697603818645754611/2138492280862839921361481882390285703735\ 9596116731190714292542329525254583349437499282410323689907064303064\ 952180220238697361064615*c_1001_2^27 - 1341932886857950613182727685285296975386299126108051339189772336692\ 4440084930865902486698715798742383357958034323080307989526537545631\ 7/42769845617256798427229637647805714074719192233462381428585084659\ 050509166698874998564820647379814128606129904360440477394722129230*\ c_1001_2^26 + 99365629338578087848475054158793615361976726880645908\ 9608834309007412178649950439444142124896134113876325925851907646727\ 255263484376519/427698456172567984272296376478057140747191922334623\ 8142858508465905050916669887499856482064737981412860612990436044047\ 7394722129230*c_1001_2^25 + 308336639050143953351708366804857662268\ 7889523941922069151181557556551890675314011202902213562559084667300\ 227865611133422423796512908699/427698456172567984272296376478057140\ 7471919223346238142858508465905050916669887499856482064737981412860\ 6129904360440477394722129230*c_1001_2^24 + 2370906708913902249963276966211341125185222373567772078609202660449\ 6051995108778736724593110007538507798077406685494418682996733464853\ 66/2138492280862839921361481882390285703735959611673119071429254232\ 9525254583349437499282410323689907064303064952180220238697361064615\ *c_1001_2^23 + 2708673608044719136193615511683695376831350704921230\ 6630715230142638965375654051933452177534607053387283165982417086259\ 02364249771354619/2138492280862839921361481882390285703735959611673\ 1190714292542329525254583349437499282410323689907064303064952180220\ 238697361064615*c_1001_2^22 + 2241506734171802435135989575720660687\ 0877457779823151422098479097248424030923645558230626433920669236575\ 72933308862539296549101560512934/2138492280862839921361481882390285\ 7037359596116731190714292542329525254583349437499282410323689907064\ 303064952180220238697361064615*c_1001_2^21 + 7731377718369455560874921885884986341105485177546343783724584524673\ 2203934565063835601970025901056549550453890649911496947607683828768\ 9/85539691234513596854459275295611428149438384466924762857170169318\ 10101833339774999712964129475962825721225980872088095478944425846*c\ _1001_2^20 + 281269685145450082354245823554523902656057396661401692\ 0849809541010982070428412413039772680552757832406136254179814177354\ 480773948592314/213849228086283992136148188239028570373595961167311\ 9071429254232952525458334943749928241032368990706430306495218022023\ 8697361064615*c_1001_2^19 + 121334465765368651061373463770423829372\ 7525666288852793817469493213587612709524132489496303400762104789901\ 6051242355646423913083041406853/42769845617256798427229637647805714\ 0747191922334623814285850846590505091666988749985648206473798141286\ 06129904360440477394722129230*c_1001_2^18 + 2315903414915442082349978683024661310453122989170320842199962868515\ 9773322010275979862195130409086775074688309332520345406419300360937\ 551/427698456172567984272296376478057140747191922334623814285850846\ 5905050916669887499856482064737981412860612990436044047739472212923\ 0*c_1001_2^17 + 184968584574773209999145684151524117446161172605686\ 9011369506305925574481452324900191210043344763420185602184044576373\ 2413882240486701479/21384922808628399213614818823902857037359596116\ 7311907142925423295252545833494374992824103236899070643030649521802\ 20238697361064615*c_1001_2^16 + 50542008436838585771517879838592692\ 8440837261528508947082780288283254266668540183589929580010432845138\ 51728988418900454258119126229703337/4276984561725679842722963764780\ 5714074719192233462381428585084659050509166698874998564820647379814\ 128606129904360440477394722129230*c_1001_2^15 + 3058963534490613032151260451235127228989955908060355993394650619003\ 0450078431695856672110729059731871462125103547946316494765208068090\ 842/213849228086283992136148188239028570373595961167311907142925423\ 2952525458334943749928241032368990706430306495218022023869736106461\ 5*c_1001_2^14 + 669892670308885100182184439166986719115299868755151\ 0462477721569592538087141250289059670595180681566966657466219978481\ 3169987920933742867/42769845617256798427229637647805714074719192233\ 4623814285850846590505091666988749985648206473798141286061299043604\ 40477394722129230*c_1001_2^13 + 71270115353005321952264456193137242\ 4142511623258878491762818769612133455511633053064871382069348309879\ 222019767906246741799424702639387/454998357630391472630102528168145\ 8944119063003559827811551604750962820124116901595592002196529767460\ 49001381961281281674411937545*c_1001_2^12 + 6125342764819529795600802188479397568473946584027478261052658729404\ 8669055091364946497680516447706034524604220611067875485291275736771\ 59/4276984561725679842722963764780571407471919223346238142858508465\ 905050916669887499856482064737981412860612990436044047739472212923*\ c_1001_2^11 + 10832495931740500742646983950987970537925333664084703\ 3760785268466359611643512134290797313413879821178610254476647105906\ 8843946737036621/90999671526078294526020505633629178882381260071196\ 5562310320950192564024823380319118400439305953492098002763922562563\ 348823875090*c_1001_2^10 + 1910293802397890973366438524845497464833\ 7367660406641432218712493938388166821363857047582378858341711368696\ 711961876294456914360537751734/213849228086283992136148188239028570\ 3735959611673119071429254232952525458334943749928241032368990706430\ 3064952180220238697361064615*c_1001_2^9 + 2566755057586774115772301943001946354417321447520487435547147993763\ 1150200996781115031896140148276328313078301187763996913537364712722\ 559/427698456172567984272296376478057140747191922334623814285850846\ 5905050916669887499856482064737981412860612990436044047739472212923\ 0*c_1001_2^8 + 1531360326233476271732746510693471671942602200562813\ 6829792594847887590167381924964936193907157434815370715102150081900\ 742395870958198527/427698456172567984272296376478057140747191922334\ 6238142858508465905050916669887499856482064737981412860612990436044\ 0477394722129230*c_1001_2^7 + 4020844899686547216342435708196534631\ 9903976496610617438841319479960700925460242389259296002472690065958\ 90540647509062105015547445177457/2138492280862839921361481882390285\ 7037359596116731190714292542329525254583349437499282410323689907064\ 303064952180220238697361064615*c_1001_2^6 + 3673960322215378696410879987467692629259490839853099896751053797987\ 0608613749716397690945161607949431871148633299687186234987885848356\ 61/4276984561725679842722963764780571407471919223346238142858508465\ 9050509166698874998564820647379814128606129904360440477394722129230\ *c_1001_2^5 + 71946716284600194116129480111527680090465355402242355\ 9881882928943459947437750730402005436577031977042901622291766213980\ 354162126847001/213849228086283992136148188239028570373595961167311\ 9071429254232952525458334943749928241032368990706430306495218022023\ 8697361064615*c_1001_2^4 + 4718381042275342678283862387036940132851\ 4971936467840113125455429776239854906061059369663181939441776504414\ 2812031021849854041124281341/42769845617256798427229637647805714074\ 7191922334623814285850846590505091666988749985648206473798141286061\ 29904360440477394722129230*c_1001_2^3 + 6222676148210545489648762487466049464487183584824011560182092074347\ 8981107787017886080780221775869655483440226164910235269364770130392\ /213849228086283992136148188239028570373595961167311907142925423295\ 25254583349437499282410323689907064303064952180220238697361064615*c\ _1001_2^2 + 1224174708640140064401690618596803087822854400724704744\ 2687508750035090558287097260509834130879504672530421711282026828227\ 652126080388/213849228086283992136148188239028570373595961167311907\ 1429254232952525458334943749928241032368990706430306495218022023869\ 7361064615*c_1001_2 + 292047062922715489202149491146473244938178080\ 0393473167935257885285249000843572801309787936542196264215653184127\ 47666691788193377189/4276984561725679842722963764780571407471919223\ 3462381428585084659050509166698874998564820647379814128606129904360\ 44047739472212923, c_1001_2^50 - 6*c_1001_2^49 + 23*c_1001_2^48 - 78*c_1001_2^47 + 213*c_1001_2^46 - 499*c_1001_2^45 + 1078*c_1001_2^44 - 2034*c_1001_2^43 + 3583*c_1001_2^42 - 5796*c_1001_2^41 + 8624*c_1001_2^40 - 12448*c_1001_2^39 + 15964*c_1001_2^38 - 20880*c_1001_2^37 + 24620*c_1001_2^36 - 25945*c_1001_2^35 + 38407*c_1001_2^34 - 15329*c_1001_2^33 + 58999*c_1001_2^32 - 18049*c_1001_2^31 + 1356*c_1001_2^30 - 142464*c_1001_2^29 - 119739*c_1001_2^28 - 66171*c_1001_2^27 + 364381*c_1001_2^26 + 872372*c_1001_2^25 + 1461333*c_1001_2^24 + 1623783*c_1001_2^23 + 1541259*c_1001_2^22 + 1398728*c_1001_2^21 + 2049836*c_1001_2^20 + 3941699*c_1001_2^19 + 7285055*c_1001_2^18 + 11533787*c_1001_2^17 + 15893337*c_1001_2^16 + 19479460*c_1001_2^15 + 21621583*c_1001_2^14 + 21954423*c_1001_2^13 + 20426928*c_1001_2^12 + 17380179*c_1001_2^11 + 13445868*c_1001_2^10 + 9401181*c_1001_2^9 + 5900068*c_1001_2^8 + 3298900*c_1001_2^7 + 1629641*c_1001_2^6 + 703135*c_1001_2^5 + 260974*c_1001_2^4 + 81359*c_1001_2^3 + 20461*c_1001_2^2 + 3831*c_1001_2 + 445 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 74.770 Total time: 74.980 seconds, Total memory usage: 425.25MB