{"item":"quotient-on-base","batch":"e07-c-quotient","kind":"stdlib-Python replica experiment, blind through unmodified run.py; no engine, no Solidity","verdict":"Small positive, below the 0.2 bar: frozen variant - BASE = +0.0443 se 0.0039 on holdout 10000..12047 (n 2048). Variant - tell_qm = +0.1329 se 0.0083, against +0.1229 for quotient.py alone on TellPolicy and +0.0886 for BASE alone: the two gains overlap heavily (sum would be +0.2115). Not an integration lead by the 0.2 rule.","exact_rule":"Applies on every afterSwap callback the existing test does NOT read as arbitrage (later callbacks of a step are always retail, so always tested), before that callback's table lookup. Inputs: paid_w = amountX WAD if the pool bought X, else amountY WAD; fee_w = the bid-fee WAD this contract returned on its previous callback if the pool bought X, else the ask-fee WAD (BASE's own collision-avoiding fee WADs); rx_w, ry_w = reserves handed on the previous callback (afterInitialize's at the start); cwx, cwy = reserves handed now. Test (quotient.py consistency(), all binary64 round-to-nearest-even): paid = double(paid_w)/1e18; gamma = 1 - double(clamp(fee_w,0,1e17))/1e18. For each of rx_w, ry_w: candidates c = double(w)/1e18 and the 2 doubles below and 2 above c; keep each v with trunc(v*1e18) == w (its preimages). For every pair (x of X-preimages, y of Y-preimages): a = (x*gamma)*y if the pool sold X, (y*gamma)*x if it bought X; r = sqrt(a)/sqrt(1e6*0.997) (1e6 = rival constant product 100*10000; the second sqrt is a constant); for z in r and its 2 neighbouring doubles each side (5 values) add d = gamma + z*0.997 to a set of denominators. grid = min ulp over the preimages of the paid-side reserve (X if the pool bought X, else Y). For each d: n = round_half_even((paid*d)/grid); for k in n-1, n, n+1 with k>0: if trunc(((k*grid)/d)*1e18) == paid_w then HIT. No hit after all d: MISS. HIT: s = cwy/cwx (correctly rounded quotient of the two integers); g = 1 - fee_w/1e18; cand = s*g/0.997 if the pool bought X else s*0.997/g; set the rival spot estimate to cand (weight 1; the replica does s2h *= exp(ln(cand/s2h)), equal up to float rounding), mark synced, look the fees up at w2 = (ln(s2h) - m)*1e4 with the phase BASE uses, and skip BASE's 0.35 pull on this callback. MISS (frozen pull=1): BASE unchanged: TellPolicy's one-sided bound, then BASE's 0.35 one-sided log pull toward its own candidate and its re-lookup. BASE's router_t/router_age bookkeeping runs on every retail-read callback as before (inert at a0=ainf). Callbacks read as arbitrage: unchanged.","frozen":{"policy":"qbase:Policy","parameters":{"q":1,"pull":1,"a0":0.35,"ainf":0.35,"soft":1,"qm":"qm_k1e-5.json","weight":1.0,"ratio_ulp_radius":2,"reserve_preimage_radius":2},"choice_tuned":"pull: on a miss BASE's 0.35 pull stays (1) or goes (0, the one-sided bound alone). Frozen pull=1 (higher tuning mean) before any holdout run.","code_sha256":"1a6dc9fa4bf27891d91701c9b1fce91c19091b7559dfcc282342c5ab47bb306a"},"base":{"policy":"stalerival:Policy","sha256":"176f8115fb67d99340f1de1e6994042dfaa41f830c22e000595df3377cc6a2b3","options":"a0=0.35 ainf=0.35 soft=1 qm=qm_k1e-5.json","source":"bundle_zb64 of https://api.imd.fun/artifacts/806404e8de0d3fee0641a55560fee2001cdf19cceefd05c7b23b9b486faa263f"},"quotient_source":{"sha256":"ff9afbb71f1a030333cd9b8ce283a83d8e5d423fdae1726d1f3d480685744efb","source":"code_zb64 of https://api.imd.fun/artifacts/bb1b85910e7628d6c716ee1328da911b4da42c0903cb6c96309cfda82a379abd","use":"consistency() copied verbatim with operation counters added; qcheck=1 also called quotient.consistency on every tested callback of seeds 64900..64907: 0 disagreements"},"checks":{"setup":"fetch.sh: fetched 34 files, 0 mismatched; both artifact bodies hash to their URL digests; stalerival.py and quotient.py SHA256 as given","rule_off_parity":"q=0 vs BASE on seeds 64900..64907: all 8 full run.py rows identical (edge, retail, arb, rv, av, first, misread, se, nse)","base_reproduces":"BASE - tell_qm.json on holdout = +0.08860271361352773, equal to the published +0.0886 to every digit"},"tuning":{"seeds":[64900,65155],"trials":[{"trial":"pull=1 (miss keeps BASE's 0.35 pull) - BASE","n":256,"mean_diff":0.04397396572676415,"se":0.009474236064195127},{"trial":"pull=0 (miss: one-sided bound alone) - BASE","n":256,"mean_diff":0.027146375625187735,"se":0.01674543421374363},{"trial":"pull=0 - pull=1","n":256,"mean_diff":-0.016827590101576417,"se":0.014954389597825354}],"diag_hit_rate":{"pull1":0.8939242683704107,"pull0":0.8944228119636897}},"holdout":{"seeds":[10000,12047],"scored_once":true,"runner":"holdout.sh: 32 blocks of 64 seeds, each block saved; per block one run.py call for the frozen variant and one for BASE","variant_minus_base":{"n":2048,"mean_diff":0.044300836950845135,"se":0.003914149530083679,"sum":90.72811407533084,"sumsq":68.2470684053813,"worst5":[[11701,-2.3223100624762765],[11261,-1.6689818003436017],[10278,-1.0465369063717844],[11643,-0.7912277770377614],[10449,-0.7206590704731752]]},"variant_minus_tell_qm":{"n":2048,"mean_diff":0.13290355056437286,"se":0.008267215249480734,"sum":272.1864715558356,"sumsq":322.7020320158291,"worst5":[[11696,-1.9562810332283789],[10822,-1.7346934004935974],[11701,-1.600755568384443],[11022,-1.4640531323126424],[11277,-1.4411891543389856]]},"base_minus_tell_qm":{"n":2048,"mean_diff":0.08860271361352773,"se":0.007079197151580293,"sum":181.4583574805048,"sumsq":226.17274777636902,"worst5":[[11696,-2.0920680876059805],[10822,-1.5921358448919136],[11022,-1.4867062508961908],[11277,-1.3260298263055574],[11413,-1.269064635952418]]}},"diagnostics_holdout_variant":{"note":"Over callbacks not read as arbitrage (where the test runs). moved = hit with |ln(cand/s2h)| > 1e-10 bps, s2h taken after TellPolicy's bound. Steps since previous own callback apply to a step's first callback; later callbacks have 0.","callbacks":22405908,"tested":14591188,"all":{"tested":14591188,"hits":13036158,"hit_rate":0.8934267723779585,"hits_moving_rival":298317,"moved_share_of_hits":0.022883812853449613,"mean_abs_move_bps_when_moved":6.5651285582834396},"first_callback_of_step":{"tested":6599377,"hits":6033035,"hit_rate":0.9141825054092227,"hits_moving_rival":194087,"moved_share_of_hits":0.032170706783567475,"mean_abs_move_bps_when_moved":5.973598074237686},"later_callbacks_of_step":{"tested":7991811,"hits":7003123,"hit_rate":0.8762873646536435,"hits_moving_rival":104230,"moved_share_of_hits":0.01488335989529243,"mean_abs_move_bps_when_moved":7.666619271676781},"first_by_steps_since_previous_own_callback":{"1":{"tested":3897881,"hits":3554007,"hit_rate":0.9117792462109541,"hits_moving_rival":78062,"moved_share_of_hits":0.021964503727764182,"mean_abs_move_bps_when_moved":5.0922151245504645},"2..6":{"tested":2649181,"hits":2429865,"hit_rate":0.9172136596178215,"hits_moving_rival":109365,"moved_share_of_hits":0.045008673321357356,"mean_abs_move_bps_when_moved":6.4314935885078945},"7+":{"tested":52315,"hits":49163,"hit_rate":0.9397495938067476,"hits_moving_rival":6660,"moved_share_of_hits":0.13546772979679841,"mean_abs_move_bps_when_moved":8.785125536748593}}},"contract_cost":{"unit":"binary64 operations a port must emulate per callback (soft-float in Solidity); counted in the replica on all 2048 holdout runs","kinds":{"wad_check":"trunc(v*1e18) compared with a WAD integer","i2f":"integer to double","nextafter":"neighbouring double","ulp":"ulp of a double","round":"round half even","sqrt":"variable square roots (plus one constant)","div":"double divisions","mul":"double multiplications","addsub":"double add/subtract"},"per_tested_callback_mean":{"wad_check":13.976062127360706,"nextafter":14.336131643290457,"sqrt":1.5840329108226143,"div":13.863538321896751,"mul":17.58088224207652,"addsub":9.81359132649103,"ulp":1.2583209811291582,"round":1.6231629665795548,"i2f":5.786853544755917},"per_callback_mean_over_all_callbacks":{"wad_check":9.101499033201423,"nextafter":9.335983705726186,"sqrt":1.0315548024208614,"div":9.028221217368205,"mul":11.449032014234817,"addsub":6.390812458928243,"ulp":0.8194444965140444,"round":1.0570370993221967,"i2f":3.7685180176585567},"worst_per_kind":{"wad_check":31,"nextafter":24,"sqrt":4,"div":38,"mul":56,"addsub":22,"ulp":2,"round":7,"i2f":6},"worst_total":189,"mean_total_per_tested":79.82257606440271,"state":"none beyond BASE's: previous reserve WADs and returned fee WADs are already kept","gas":"not measured; no Solidity written (out of scope)"},"rows_encoding":"base64(zlib(compact JSON [[seed, variant_edge, BASE_edge], ...])), edges rounded to 1e-9; the statistics above use full precision","rows_zb64":"eNpMnQmyJDluRC9U9i24k2eR6f7XkD8HkC1ppGlUsyIjuIBYHI7/+Z/26X/+zbn+3ltzrHOnpP3X+32tnXv/95/HtH/rrL/+ndvPmNdS6330842eY/q/1d/fbu3ba7cT0jfvebMeM/QXz18bXf/z3W5pfW+3rv+fY6b+4vxbb5y1RtuS9FOtvdN/v7T87G+2065+TNL9u0+v8/poOWb/m/f9ta+31U8Pqc/Z73xv5Bi94/j+2unzrtGnn3omn/W9ep37b+/9d/ed6+7+LOllxp7nrRyjP137b77W2/n2DaktvVzbOaZplu/3N27X9Mxuob27zx4rX7m1f+P0v7e/q2/WPCDdeW8be+XrNP3N3f/W1Ie22yycq38/7qpfGv/mN/7uaF3P3ickvX/T0p0cM/+db/7t1/Xwfrel+9233nk7x6x/e+y/vfmhfoelqWfqC1bOIMtz5l9/erF12rPUpv5/X73G6A3e/lv39nu/l1Jfe89WK9quJkT7q++nLXgsNG3INk+98funx+qX1hh6zErpaIz+XYzpmuN3//a4W3tU+xFp3dPG/WYO0ZS1/adNq596zCaS9sY868sX7vrTOf76mW/pLUNqbeqhb+dO7kyHtqA23N2s+NAO1HO8njlkxmdoerXl7rP0naHtcmd+Vdd3zKd3fKOdxYdL0jxqYsdXY/Y/fY121xz6i69b6levu/qXa9W1k/U3r5b53bMsvLnaN756G53ZrsOml706xMvS1PHUm+3cgNrdcx6949JZ09m3pIUabY2dKzW+f0uzevXd32apkPbpeuR5OTlDG1ka5RxtuPfNY0mKY7W3a+eM/k/r/9f0V/UX9T6WtBf1Pi/fZ0hdMMm9zdFQQRa+e+bpueRDh3afv/He5jnbks4yKqveZnl1jk9e/2KtDus0fid4bE9Z29/S2mjJkbpmcI8zc+sMVkczP/q7d0wLOgtb07nrbfTw3v90jvQNa1vYGnG1d+qbdEaeNtfb+vJvt5A0nTr+O1dzfv92G3+a9j21A6elpgk6U6ojxzR9x/jTq5ymE4o0tZHXalLf+VtSM6dNvlXLuXQOke7pOq46rDlGG3n2vzGGdKPOW0i3SWfvlztw6mO7fmvryGi5VkhvawZ+Wmeuf1prnWBt783KIWnC79OWyemZ0sJj/Y0l7ayHH0tdE7tXq08///bX/6a0zx06uJaWFl3q9jdGW/lr+qkjbaKptTR1aWgD1jad758O5p/2pQ6WlK4lPUNz2nPI+qRgtb+PdHwbWhdLepZOfc3Okrroug2lULQRdF8godSld0olLykIrcTHjbClqEOSzj46url3lnby/PRZ+rvv2xZQ/Frq+qXYUFO65um4hLS0QdDuNWZpBTXz3x1Sr9OCFmBp+k7OjTaddvAfK6BhUhaWtF+XvjuP3tKh1d/Uda9zNVEFknQxXu7GPDSLw6+dvNrSGyG0P7QS+yJ3hb5UH6CdLAWofbpD0ppcrVnuiv39e9ywT3+8+7mWdPvo+hy/MToDW7viDCmZjp6ydBY6MV9ZJ5IzIKUja6JJlyJ9T8+d//2W7r3R9T7j04HT7WXpNq7quiE4S3q6FL++5XJCJV1d7OecuiKwJy5z/3TKbwtJx/PosqmdvMOeWNrcR9rrhqS10JVdekc3r7TH31q6V6f+Y0ka8+qWrTncbOWtk9U/1mdY0iW59Uatvl1fq/M2pMJ1BnSrIWkmhiyA0gZHN1/Tl5yh5dK/sXSkzaRTygI52stSoPrsq2lexxLqTnZBXWtHT+d9dPPpyJ1hSVbP/jSr9Vt6y80NpF3drlfvcudL5bXaPkdqmZP+MC7ebSXpY1rNM9fUlu2wdf9s2YiWmnTyWK+0ytGu0mk6mmfdrLqRLJ3BWf+988nzpytRs5anUUukt6j1Oihm6ZrVpXZ1JVmSKkBRl3F6sOKYWYyXK8sGSWvKKSnNfD+v9G7r86mzJL2py3S9nJ8bM8J3a8do9ZBk12g1dCpzjA7m5obp+3ZNriXZi0OzPPO0y+Kausx0DNfW94ag99ElVScZY11K6x1NjuwHCVe3t2bivNLdNywlXRzafi/tJowZvf6XX3637fmNFhzYj0h6Xz1zlLbkpscD2DJTOmcNS08rizKsHWaLYf2hMCbrMHmKdiJTkSOeDS5p/76kerYl7dmuy6/nvnhYGFL6XDWcqJB0ErcOUq7D017W/SL98rQzMeq0DvJgUJgz3wblt7RWC5tLOiEkXRna7nWnvxEaQLtCF6RWBYnJ04arG/thxzXMck2ajEJLV4dLe2jk/nqyMT6pdGnSflrrlrT9tKK1dWSbTF31Vxp+bi/EQ5XLlpFGq1dGM2tCtGq6BKR2kfRaOtO/6+ahMmTxYHiMzWaTJPMbI33WGE3z0Ss3rtCOkSlPouuZUjwz9k6z28fhPp8n2pJOxNBipZtQNpcO3Rz4Awi6CHUsd95s6CMZeTo1E3Na29SSJkrW7ldjxj/9rKxTHiIVZemFxpv1U3gk0sxb99nFnkGSBbm5y1eOWf4sXR26KmSyIehEywaaq4ZgYnx/2CmveYwkWcVdtsF9OeZ47o9UHFu1haTrWCZPKoPGdpG7I6NL99xmE0qBPak8baLfc54/RKdQX4saQmpcUTuvY7nCOieyGLaWR17o9BmSSSQ/USuRY/QC32WZNQmNW0wLqpMlI/z8noPbpxfQ5jqYV5ZkpkttrPRUG34fi+Ur2v8oX02egR6TA1DK4ShL63HvYwi/Lj/x1TLg9O3Boeno0pD0K5qilQer2Sc/UhfnXG3daUkW+NGFeupljq8g3fSaM65vmZZaXLwfmU45RuqiY50cnaiO4YTfLxtTl0YaYA23r12tp/Y7zqqlO56moeUh1l2uoy2102zIs00lyXDRla3tnGNiJ+v4Sq89FB6+BNMjHz1/q3df9XpH+Vlb6tdmAMbTlz5x69zQ8rOkHXRUZF8jacVlSvV6CrN8wgDENvA+kmGF6/HVGNTwxXyYcjLjn4fmcv7mBtWo61AusLT/svbHkJftJvu05xj28cPG1f7GqrMkBSOdmJpAzqcOpOxgTYUuO3ktSBonXdZriG6fiQEt5dXYf5Z0sWOV5xh5fbxAw5jS7RIvJ8u9yUIaOTejhVmO590HVpQk7G3p5rTjpIz0p+jbjpPJ1pGkedKb1VcNPGuda2l9Oa8nJVksgwhCjomdLM2nx8tTtaRDpPtdT80xy8ERzWQjACC1vVHimlHOcI4JF41glI4WvgeS7NdJnCPH8Kfal5cj29sLSb7mwWXKMeGR6AlTFv0rSdtGKiM1ihyMiVmgwUMapVvSlSafTBokxkx2srTOkb7Vv2qWdKHLSLv5WfL7VtxGUg4oekvSpU/fmCuhfamT/zcPl/PA5kWSFy2/Lf1v2TS+FOSkyMe114KkC1EqYOU04/fJCZA7LVXewyPQXaFVz5CV7lrdhpoOfes6tjslTTn3Q7s2P1wOmpQrOwqDTIoVSUpVm7bu2MYGP59ueQx6nX9LQyda/nXtQbl90kNY/TLVWBXuT62lVrxUoM4SoUCdK86SA5KXbfpx8eSHL8wL7aghK1w7aljSFpGqf2m6N9y+g4ZrL7XpwRDjQN80dhor2KRu8bT0IdeSDGBCXKOeM2x06L9l6BEzsqS30wbLV8bT84cQvWysA0aC9qHchtqCeNxX9gRWDO9pSYpOHnh5P0QbUDS6Qwbh1FA7Xf6uzLPSXjh+OiiatCuFi52HhL8r7zhXAsePo6Xjj1ZpluSbafu3tAX9lnizcv10zXhjSNKLLan3HCPPjyiBdre25kZj2IcZ+vLfcu0Wh1IGvy7Vtn1g5etrR/b6Ll0dh78pvSrLY1joT2uhGzVPjVSWtrEsGZ0frca2hLcubVCbkENwcfzkFsgy0Cm+Olm6kvXxdefv5R1+iRKucHq133Upay4yGNd2fAh+voxNLmI+Uj/KUtT7RIiT4JT8cm1bGTC6urXdZHDUb+GQaE/Jk79rftuSPA2ZXr3sC1wHDHEdvuFANNLQd8mAqOWS46cV0FHHpWW5kLT+skhf3deH4L1UsQZo3LAg/WLnLUdIYWBADwIw2oo6Wzp+ezcu6/zyQ0hHY/Qy2lp6NySpL73wfPUc6WVZkXpHLRUOlSXNMvqhxnAxXMxIndyOxWtJ08wByzHbgVBU++Z8W5o6YNyoOUQKQJ7MN3VJDStpqcrHNff9juiJ2D16Xj+g+yli9zrocq5yIQ6BIke85MvodgtJe1abv+xXeX02BbTppB6ZTqTFJfbKDnYs3lkUKQxMQ1toukYOocYcQ8JDZgchHe0gTYT8Nakgqe9Z+t1xdhlOQ1tuETeytGVs7PJ+tPGdItGZ5wWY5o5eRDmsjJe3SxBYJgNeGWkPS1Ipur16nVH7fYew2EaJhaTbWu7QuPUcLdCSTidkIGsipMEA+Yr1ztfmsY7MchQpvH3tBp3IVvMjY7l/ulwx03yoP33Ak5k2ykaT44f7RdxS23c8S/oiXPRaitfSYRvMh6xMO2zSO5OUSI7BjQutK1clJW3sTv6hxgxHxoggbRSdJanuiw7JaSYkQcBUu67jRlmS66g9eNO9lu7UhOBQywbDSl/ehTL9bvsN2d4vuvKlCyZrhyTT3fd6jiG2PInqk/S4IekG+7RXe+5UzAoZirqwF3mabamz5NgCOYYsg7M0eI1thqTL7Y2Rz9G2/icFq0Mq23dvR3OG457zlZNpvX/x5PVXZf5mQgbfmns+x7CbZWBJP05pwGW9InNHjvS36znav7oWZe9gzaFmOl77Jfiet4l0omMSciL0S4usjSSmR/9mzBxDzJmn66OkcaYlXfP6tZ4npxNW7RufURO4d2Q4dBvKZD65pDqw/6SocXq065ypIxCrp+htUsVHhuDDS9PVxS5E6N7xrYY8HwPybperH+HpJN6VgcZOuo+kJOEPtrClLTNtkpnIMS0yS9pcPl4hyYJsJNNyDKYcNullJzslJ4Ps6PJfFeb3Ra5l1h/I+PeBlYQVoK1UC4Hvh9EgrSSrmaiBJP0f+ZY8EzxdG0BXv7SfVrpZ0ufJ7agkSOeSJvEmW2CznS1xbMpA7ZxJnHTtk48EpCWZARv7JpehXScvjkNMlyAMqQzC5Hq7+qqw5dgT8qdXGnZafzmU+RgcP4yuT1budDwxXEWM0bwnejp+7+g4H8LaSFKmOlYrFY/mXvtyoyuHs7+WNrfBSa/Ef7jtOdmyjIsFFTdHpc86CT/8a7mxLxMBOq6ybb5fQNyrTF5CPqP01IjjKt2LtVobsJOOfeS8pTFke4fkdOmY9cqRKpRfcI8OYKYRiWFgueWYG0p/coxfCATwpQ1+M/gyB3NJRWCLDu3kyW2/0gzRuXVuSYbAsO9sSSaYjla9MVfrO4T1noNGCJ27VUuUk2PPbxKqlJVDdB7pkmhsP42C/7C0SQl+667pIRG6kQeeE4jrN20vy55zKAJJZuslCpRjVtz08iS054i8YwVsDIieEdg+wsT4HHjvNjguubFDyDEX3VYFdvfhwsPMlKQLTs7i3PUcmXeLSBVm8dgvJCl2/re+S0pEX9sJ13Vcjv0N4wy4xfK3yPl93KFnY6ReS112mPRH2hja+//kHelPMaO5V5AatnMv96YDLdDuxQIjcLYsyUuXGqzIeyfnh6OrZSA9Oi2NQfSsp8Hc7fsNwii6l3UrWdIscIZyY8zlD9FuGmQYQyLsRrIuh2xH9eV1Y57cFxKIECIbOeY4CiAlqK3ZOaFIXLmvsv/dKb9OdglkxJ6WtB31bt+oN34+21pvXTRvR7RSexBFWSsh549Ym9bz8XIRedNjtCqvVl2Kb2DfyYnVbaX9ZkknWqe6fgvnTy4+4TeyeCckjDStRI1BLbMXiCYerDRJ8pSHDN5EoHRHQBqu5f18QvyUjoFdT1mxEyYhap1/S7hO7VRmp8v3O6jT4UCoVBWSzqB+rGU2wfkenE9dhdrvM1S9vJ9+5cnWmOt9OnX5hkeJBApiaPFrzIu7l1CblqOFdLRT9Z/8Kvl+ukOk3rWbv8sXIMmVeD8nqe+IFsk50GYgP+PY0WAH7HQD+g57WfthNmdbkAYO5KxsSydepTdo2O8yiGZIuph1ebcaM30qte86ueYRkpQgMbf8LvZLI0OrjdcMoWhEINiFlXjuOH9D/ip3unE+SFtmATHUes4xlkbrJrcbTBESpgNhnvoudDHXJl6d0Ro4MlI9Mg/rlcP3I1k7cRade9GGloOYdmUn53cG0TNdxLiHSFpzmVG9bD1yfuQl5HVtqeyQFr4owaEc0x0UJL84SMMh6HrHdUlHoROFA9jzEYc9gAT0U5rNp7+cABMnRsbx9SvfZYVEjIeUVb0yt9+Vi6Eb7QPhhKQPkkq5dbM5uCgFAFRCLn/POKiuIQKqOYYDJ0UivQBuZ4ek8U93VGonnD/ZJpoMmdAPi2Oh4HXu5drlJjyRjlroAymbQANtYoeytvI5pPzkPwznmi4GNok7eeSDXGuOaUYD6dRiQ3CMUD32FmfmUnydzUYW5pJRXCHJafk0tTnPRKO2/HcCB5qabcnreSqc1p3z05aSG0D89VnSRXDeD4rXcf64YnTXXOw3SzohE2M9N/ON5Nu6nYuBGZU08Xql3eqdibIRQZODocXulrSxwYeUKiTpJwtPmhJn6g2H7uQG43bW3iBhT0JM+0cHtoUk00ZXfytF9z4n1vBCZEBhmEgiKKNvrMP1iGToUnIQ/NhhHSTqMQtqb7yAfQ2U8VkrpEasWpu7ngPoZQFd0OTeHdIkeae9mPvwETEiEcMGOnzBxS3RZh6nHoPPI4ugYXc78YB0dQHKX60xsTl1Nh2rfCFxGMdP7+L9yZP6tAVlFNxIbD0Agbp16nXiBuTgOGwVEkGl+f1emft1yz6QniTCYUmLsghvxlYdeH9zo9VlNYBosSTlPErFD+LO78M4079bKeHUbZLbOYazIuV3iAJsLF8kbWZ5xi+HEFrVUWk4h7zww1QniJd6eaAAbJ0Q7vPcSFqgN8Zd9b7girZxf7r/tCGRHKyVz7BzzI7gnv7gau+3CO5pDJnqlWOOXR6SnddeJtJ0IrGlenKOWLbtJGx3bT4j6QN1ujI0PIjsaNONSzgV9wyJf8RQjnUYOH+btGMnKIpilISafrs8bP2ovMahTfcwOAlHIBHY1hnLd86snywwpmiEYhw6PyQQcw6BSIHN0ekex4pa0iV3vjMdMAgDNO1vAlq6d5slWVsEBH+vo2k+YSiSQZopkRN/X70OG3Mb4jMOB+uAcu3kjfLwDZy/j3TTJNmFWwB+xCCitWsMofL+9+Te69huCzLeA4SVQwLgI19FTvUC3Ab4h+QBgIYYg/PHEVhaWmY6JNkAm5BIjtHfBNKrycFT75Z01ciZ/n5jegLyJl94QhpAHArzqKm3xUAim/sMF5jImpSPPNlcc15AVg6aQnY9DjY2z8Tf7nmVDKdcidtJv10SxqBZLsgr7ZL6LfQFz5Ey0l/eRu+SJD4VxpfJ5Pis9OOR8UyIEAl/j6xtjtEk4/RgtOAERXASfDeuXY55jnoRY7pAhULikzD+YswgvsxLansugjyWsOVkS+crk/iTa4nVIVWZgccGeht0Yo7pAbWWxiGKG1Bx/LomfzqnEPdP04P9QIp/Weqk+Ijy5BicuQbUupFtviHJyb5EVXOMPGZH02VhyDMMgZ/a5Ss4SXDJZ66D/TZD+tCJLxOIUlQ6BCCkgLrporI0AEneU48BVIszCtTDMyhJF9gml19jnsGkk1w85lBIDhJXpH/I+dO0aJbHxk6clqTtvqtFz9ch8aej/cm/wjq5lrQtwB2m1ThI/MlikP66/ItmCeUL1j1nh8SfHQE01s0ojx5I7jJtFZnYtknt6IBKCumBgD6ldJ36O2TOtEsn4e/LNDvfUDfJ3HaZbZtIAWCDNeK70sC91ZgTiA0tHyHAbsnoGvRAjrmGUehIkPc/FgIAU8mbQRrd+Dr+1jTWTZe3lKa+My3m4dTfkZdBGvtw/h7bhPPx1aHg9sDH/thTJ4SmRWcxcgZRfXcAAtAG/fzlMsMbYNRRO4NTCY5Ch3iBvbI0sAFOgY5xvLk8JkoOn8bS0nHQQd71W8vBfdTpFy4Q2WdeWLd3jQk8BvlAAnQnpHltfOfOIPXHb1FMsOYJO2qQd5BqrOmJ0I7BPrxQhH24R/f+TQ9Redn10gUyM7zDDola+UmVehhO/RkfAlYbBIclnSzC/TmmGfKmkyV/2cAYQ+a60UK56qBGyGbpw3Xcv5A0DoBz3QLYbnL4HpgtvVxL/HUDeJ5WPgnwTEXKh7dlSQYPNP3vszJa8AGBWE4OkBm125RO7dgRItKZ1835yPwZDI4VU2iLQeZvY3uChbxgqgBKfiRKX6vnXJsDbC6dYowepIFrVRBUwkiadOA+21UtIckC4lTkK9v9k85g88gXOCHNBWa1jBUfA1xd8PnGlAzgrg/QYd1/eD14mqRXCeRbams4pp9nnbyrLqX7sIyei0c6yGNyxxlQc1D+4+Y8GI09ilAGsE3t6JyfE0kCXf3UmTTnDwgR7l92YoD4JDIB9kRX53GWgwNNrLA+/dgxoo4GWEgLqYFBK61yrueeCKC0jbEX+KbvI5OWswzgk6SCUdiEuJDIKhFdz+fI+2NHXdKMGziqIf3abFJyiTkbCfh0wdIKaOd1pnlQHpJjIjX06a9S6jRCAnCrb8jZITAIbFcWvXyoERI7UjsuQxDDMGIwIfpsvcB1elDfhYP48rtueNnaUE9v69Iap/n1ahX4ldNjZP0g4oBit9SIEq46Ezh/mhBdWjqAzpUg6Y5ij6VaIfMnBUnSs/dpKD6xdnJ2p6wnXKeJQ0/83dhbSQQhCZXlGFJ/H0dlU07RryW8Rd2T+VUvoAivGRU6Uzg4hRmAH3b9wD1jNEz/MykO3cw5wy/ATVL9QLrQppMEVtdqFnBhkPWjeqYTK2j+Z13vZ2tacy3ZKZud8gGuGSHolGuL1uVor68RY9KZcQJbkkwQPaeV5U7q+7FvDz/Eyzw2Y5u6iUv9c833D/wFDndKkwXDkM8xL2Ka+nXDjRHkPskB3+nHz0z5aTvgVRpir/tLW6JgFnq9f280W9xA8W5KHxjy31O6wSmg9AdlYiE1rpRydycJP25zUned8JOzZ5PSnC/3MPYNt49uhkVs7Voi/gpS5OWYTF8v0OnXKzUDNiy1We+8nVxcuum1oNiCJIOmzvityIMd3EbGDPP4rm7psEG/8jYmbh9FTFSrdBcFPpdbHVRyzzHP+h7YnBMPIelYT66UGAPYc4INk12lS33GO2MmrNJLE7dvEh/R5iSTFTadTGjd1Wm7Gzr9SMNQSLFdPkeu8YADzFduAXkB8Qt2rTnF/eSzap5T5biWhySVVvJytUQCiy9EXeSY5XCWXmVhQIeEw0Ax380x2yGmt/D6QS0ggZZelFTlmBPwSi2FVJ4hkDj7Bxfmq/e59olAnhNwD38JNLF8zvry5xAKENZp5DdAHteHffXlnaodpsNxYOqMkJwq/22MHsYoSohyxZUS12dVBEyDPR8z2Dh+xxLxCxfI5JgRlwh1f1rQuNx9z/xyRLIMnfbQtQLGIZMgyynAWz+1nKRqaJmHS4eEbyRdkzc1UPhlfNKiEOFGRpeq0UHmIcccB7cXmYtQGJIG50q3bC5ED5g7hTqgtp8lebun0hLTkRiC4Q/UhIM04Cl01OU15EeNUMfSrF0z5mQUy4kl+NUvDSYZmP7SHQPID4mKOl1FpVVGRN+oetqg5CQdlPa2kssx4Ir05Zje33W4h1tP37dePUZzvKYrAh5X8CKPKWdXflC98IrKEKxV/b3wrNFTxPHyw0dUdFzd0ljtIWk9pAXvq48KCKh2GVVDO8zJTSpIajt3hZw+nGBtViIx7Vj6HjZPhVMmBkd3JUSTE4Sq7ERuKBUd9VXzVxG8AKhGSfCg4BB1n2MIfVAjM3E12F2N+NQxkqueQ20UNtIjlEsJIhBpIlayDfKd7fQdMOb6srmjlpYAI3dNbq85c++SiiLDhUSdjW6Y33PIG2lGdIUT/Appcd3+pypnRDB06RLFxvy3hA9dnticUUsp7dA5lyENdEqvaZ4RviS7IqtgWjjs/VZoYh1J7wU5ZgNAwrWEtXe/irlM+XxHGoIakGdIz+HqkYNFCCa34KLaADhSQytr0yJRfLRvVQtOrg7mrAPKcmwTpA9H+o50RiaZpYfFBAKIClGQpXIvR8HiqevTjQqyZ0zjn0PCkvtpFPJlHCwuWU3ZsESlO5D2XCviQtrhA/CSTnKzBG5DOnHVmONYIAktrQ+uGhfPNhw6XbUJ2nOB/QYzsbyejSzvAwZTX5Vm8qVyfvWwAzlpMkDTxZJa+HdGp7YMPPOxQKDy7sJjO9lKyY6MLfLD2xJl/bJaSv/vhK3KYMWcPJbkz0zg0Dk9FEiw6PoKUtEvpMvdXQWr02hPogiLQgdC98zDNPagHrOiNOS6ROJkoYjsJwpB6pX3v6P9LYWsL8GQ1q1HrdDcvxc+Eda+VIpfwiZIxjSURYS/R+5sca/sF9fndygyK0CfD6Q2AllEKjVL0lrKUc4pxt9b5FkA3j2KPZAAmMqzrjHNxSOTHA5bIaRHqKdAkWS5gnWBIk8UDMEU7tuGR5pjhnNnVIwR4lyWZKx2gCT5zifiFfoz6B5WpB8J6C5s0xyz/l2S19IpuhReSLqJFqnsep+gENh4q6ZtQPKV//32hR0+DtbGtQRlurn5dGB/CN+Jx4cilmLqzvgiTPAC79aQZ4OfUjzZTATvkOQPn1lBECk/ZxikhRdK8EW+Ae32KtY0XXQlg3Fi+FKRj6TFoiCv9g61ZFT1MIX7OG+Pf4MBVWVakwo/ebfO8eIohXQIMJYWvKH4lhf33UjwSAXpJLayF4m4DjbmwnNlSw4OKIwCvQ4ouUTf81j95+at/5FrO61eOYAYmppFgLcFRIesRa+YsQ6mc3dkdCblEJnJI8C06xLlLVEGm0gyrpAlSv7LU5sk+1ARfAbWVNTqkiuZVYs6iQ8MB47AQ7wQiIPKAM+vAtsJbEC7dGMPhsTC6Zzn7JCR3PgyxDcBkjneIs0tLzJdMWz1gWVijUts1dJ0EfWo11lWI8MwtUd87wJ8oL59pQc/XwYvgFvg7UbwAksQ1ybHUETesbiW01yWqIw9P1jIBGQFtFKa73WQZJa0yzg79e1s5gtKbDo3Z6mDDJ1VIbTw+7pON7EwIoCd+3R0CgRajmhec/DORrWGRImCtPzLMcwycw+i2qgQEvvksEfWpy3jPMF88URUA5KuRvTXyCEzYCmE+y5xDKTBYXpFjrCyPJVYqsz5EWYKVv55v1+KpDie4iO+GVIH9nbrKUBdSK0BagW3jtTsZ8w0ZBY+H5jJu4nTsVKGzT6CCXnM1xdVlLhy4EZ25rm5SG7GghepPmlTUKiL8FNUijAHtxJe5K8W0+ECANfLNcAf1B6W5l4tIveAlVy17Xgxfh7mdH46Ov8Sd9M7jrVT0s3fyi/Utv837gs4vZNiSB1Df5c/t/D5juHRnZKOHpKUkdHhOSYxy5Npc14Z2IZOvF4/cSMEo51ck2lF1HRZ2vf4+NVzrk1+SnouZUkIshtar1qSZZcPTI2JhUbEBEmCAHfKyTGvC2BtTWF7dohJ3j8YSH5jmkEOnXSqjtK2pC3E1Z0fjsv3cfNdWTsuY//I6HMdVGxn9ag3kz+lJd43pEnsEYaYHBNEQXC96DTiuXkawI7PWc9ZkSSUJ0FB6LWkHRnVQjlm2/unrrgNJ4SRyHS3/z7rGPi6KZG+xqkDg0XZjl1nWCYZ2VrNOqXNLQTCVT/ALfeYQSwEA4LPwRLFMGX/L5w+GBwaSSiqCrYRUFL1rwwDrEhnUMC1dPCRlo5ud5D/Oab/GyT3qMzTFC5Lvpx0KHKfkuqjsgxPbDnojER1x8/PWtyZQFJAiA1ntoGr4PzsCs+uEbhgYOwE1EI6wLNkdec0w+3ybXwxTc4IwgWpVXy30jsj6q4B+6BjZ0gUUQDOyDE3dNMFBP/tQD6bW2IXypqaBYNcYVI6LqwMsB5HtLQKNX7ULW8KLaLGh3Icqvx2mu7cvbqp/ihK+65dgOO30zNLqczALEPfoDuLFAGK/gJQqMS/7pdAd1CN0LD1ka4+4PDcHDMjNUyGXLf+sqSzNwls5WfNIBQCbHACs6irBgdzgf/IMRH77STmMZVsEzkn8yq0Shmr9sDfwOFtvuQAvgHWx8DKMYFThimCCGYE/j4ySSijHIM+Atp1eAqppAvDAYwhFZFa60sELVghZhBw7QaDsTLVsEgcmJiKJCdeC9Ke1EXtDBOBH4pazu6YRXDNaFNLsdR+X5FQ5QZfEBOFhBJclXR1vBoiFnaG/iHqJHVmqGOr1VoB7jcGoBEzQILOSwuT4Uyptn/D+OJHlaZMGyQpK9Jdq97nGGXQyQ1D6GIJgxfEfs5g0rvI1/kyJQzrj5TC28XDYDcETaK9M0BDWKJ6tYGKjDH7i4Rk5PbYb5LgezODSI5pTmSQB9Xnv0hrDOn7VfbO2kHVsLpRSCgZS9gps15nh8cjM4/qYUpkcFyldSa/lmNmgrEJozzrYMrtB/9q129xUXG1PareUTJoVOmG04uoaO1wBym5AFnQQpJNRzahfiuCTAD1JuRwIZFOHcUQsJzr69I2ZG9JqJi7jaTnDyxrgpAFdZc2uF0CpAN4ZlVdndbfJVX2SSg2DDaCYa+uVPyJbD8BOsKlIR1X3H+Z8VrGXXwuQCPB210+cSlzrcXiVnws6CHIQfYZScqvE0/KMTMKiGTi3LlDoKpul11OwoMAsHZlI8TzE3QX187hKG0Y3z4Q0cBDNs6GHH8Kc3PMMQMZ9dgb/8vSY2NjLOQYtMjgaAPMADgEddt1kKNuthPFigsw24HXDImM6/dWPecGMhz+E0JzO6RJCO6r7eUaP1L0m2d7OQel6ROkXg4JSgBZ5Yvo6bIE38v4JWwWVsVxFoo89YkKmc0lSworxwSeieDSMGQKvUNiVyZQ7QrC9URXKYiapLCNdARLvop1ZCXKE9IbFGgiXC9I6F42BqA66It0aW0zaNiEJM49iiRggfLE+1mgjDYpASRAyFL39T5U7IDBYtWJUFh61KnXgYDbZRrp2JqrqMi/UQIkbzKf8oLKTLbMAwGe5SaQsmmv5xubVYHUGZxYRF3Qm5NMVF81ZNixIriDUR9OF0Xk91c4BeQC1J121H0vGGIoSnKyfNdzli9xqEqIj8T9DnSuFZaBUjy8YLmloNlHoFsBG02c7RwT+IsBPZuOfE/8hYEfteaoap3Zy4Qd4EdG/0qVwfFRzwmKPvibjqv0uEF1D+5eARX9eERuF7BFAEfbafkLFCaVxeZv8uXX8/cC0eZ6Hc1WjelONRPAvkAnLHVAJtJNNWa4igbzQv4MCULzF0IR1HLENLZ1QCh13gjWAT1Nl0ixUW7cLzJVC/SmLQnjVk0el+u5v4ihg+aA13KGhBNIiCXHnH+Hyi2yirIGr6VD3ET7Z+SY6+guNYta5gj1TkwrmDhyyDMGYvM6pDctgdU4GGQxBr8PrEwkUXsUTjX4dfAackzLoPtnDsAonKMCD8RsDsmNAL8dnnBIOFm/oyeb9d9gjiGo4PBZOi6Dq+DXJtcX7GvA8rhjycPro8AA5L4AnwxQ0AVJ14kf+PrgBalyw22/j3Jywvg3hGV7aH31mDDiZLHxymnEAWeEa7TGXC+PTNwFgUMPSQqFOFr91PPT2ep3mqzJ2SS87So+3j1mmXK91xMe+Dybv33RW1aPXp0tMyUshzwPSLCcHXxcjH5iE2M5SLodUaecNReL5FSn2PdBdXSDjObiTkpX1ZiYZXiaoOc5nmWsR9BQud8zhh5F8kHuAguKMWd1JnD8Nn4K5C6GYSLpBjVbao4JdMCFqgXGRkvE+ik0rve5BqvKnlwUIC9LFDtIwfx+q9hdyJh129OETh2OTaWy4fREgfnyJYZl/dUghajPGmFk68Zv0/WmeM7cvjfDdRt07QsS3APxkgXZe7JU0xPDhgR1DU8bdYohwfcJn09uHer7zuNIPlyAFRXzjaK7WbsdaOijxkaWQsONtgR7LX5ojglGz0OC6ZDNMqiDy/dW5myb0XORV1xQx7SUYMdcX/2W9IUva/CbQOORJhXysltSGeD2HWfRwYqa5Pg5tAXMM+eY+j7CBB28HhFkJHPCreIZ2Lh9nTiLPLfXjL+5VPvJaixKLqiD7ZxqZmXGYW4AGSIucyqNvu1fuJ61A464ligcalXyumeUUVJOMAMPiARopO3fKyccAI8R8GFABXQgtDSZ7APZyAtos1+i6CteBx9UN3xO8wyuFop5KGEdltivslrqGM+wlLXB9S+/MJSlxQkq184wpachbnIruyk9zdYM9qheGYTnoegWbN0z1wU0QVLbt+IK2whPeBnbCcJMpC4FA1CoxsCcusxetCIP1Lh7ZPXp52rMCPw2MFe4RgLbDW+P7osaM13aLH1/tTpZ6Cyj58Kjl99ldhftsIFPEODSZhy5jMg00QANmB8XI04a4EVmbxgSmviKDQRwNxgm9dcIjVtqlF22We9zI58sH24Nf3uzd930hrWk8vsOkZ/meOLtlnSpeZPlb+H3NersQLPB6ocEBALGhXxn/D7qyqD56YdspKvM5BmSXMwx3SFyCE0BPz/nWCHx1nKkM7Z3JKNMQIPzF5KR9bM0vBN+mMuO1cIWeqOeBmxpftcO0i3STH0b+YIk10eL8RsTTIgn6mJTIiLEJ+fp2hF/RDtqSnAVH3W7HV7xGnJNdDApowdKa4lyrfkL4Oz9Eh2q40qRu6VJaa9OSWpd+X0kbXGWqSftIW2YJXtd6ydyMBTpfoSPnQOBFG3/QM1UNRCQXzjgcC1aOkBHXrFmQAThQ7cwSU1tyXk8ZLQKxb/x/L4ADkAatCw5MkqBY45ZUVx8APgFCTJ0iZeamjqmgDh2ACtMsGQJLTOwBHLMyVinbbkXEnyskyxkjrnGXgf1LyWcSJDlUOdQv/VMpqFTMYN3B+kQNefyiDE3yYpkO8Cr/WP1wRasNbXzR/iMdOR2fcUx0vhIi+eWN3ods6Fjd80wWCggM8VHjomg3KW46guE4QaTC9CiLv8sY9UWBDyAC4JEjQEmQ45JZoVOsc1ML/LAYq7XrHfeQUVvcsNnGA2GdTcHZY2JEJuZ+p4L85EaXEQFVQzjFaJTYusODC2XzlNyWUcZJUA0rWGOGO/6jN6Aki1DXDthnsP4321P6YInNDYrv+s1U/DMTizwrpKoPWgZuQv/CRRsX2TDR0gYCV9RrKJswb0eQCiQjViiZISq8VwvHED9Ta58WIGeJWLQ8pYzf8/s7+ALw4FiRp9p7YxJziE42eitbWKOZ4nkhLNUOeb4Q7Qvifj1HtIxQ+6t17kOyFAW6S1jidgHoLBcCqM9qSPX0Qu+Fxj0eBmmxWMOab9GtT6scxhUFnQZ3crMU7itqfszTfF0mPXCZEkaqKLZ5k+D2AsOAJd6I1k3w5OeY6L8WsYk0e83qxjbBXr1OoSIvj+KNT5z7luaJBnzfiNVSp00zJSw1F2zfwJtInJSrxzJVa72E3kjUq0YrF8t6AG8uc1HR7VYUAqjDx40lDkkJvlg2E/qGC1pOFj+m2OeubVJvWJfyOgDNRoEK2mEnhZtM+DPg8kq2maQboYOK2cQGlOQtlJCi2RISNeFcmkiHJMGDTM9QkBnwYajJr0eIw+Qy2FQMEWaG4lyW53SU48BVz1RGbKBP/PcwCfEvXV/r7zs+bAikIvu8IO0apM5zzFhTUPJLJWBY4t0qdOY6SsRBsGreZeSYldxGiWjwwhgKsfcpG8Be2Kb2B07Hono32/JooNjmbJXklQhkQfR14fKOLiA9xhd4Uo2SzjvUmOZ0Tz2ATsYzEV8oIfUqO08mSk6JP8opBkUza0WkWowwdgCNWYk2zRbzAwFSNoaFMDUb01zDWMqGH6SXUamtXCNKTqWbrhas0R1OhC4+q0dFDwEn6YzLEiw6uyy1rREwR4w4CeHdRMJxob7/bZhj3ISkP0vaIWRIAyWfZL7x9k/epjoHGzz1SPxPruugeO+DlaF8swAOyDZ8OmVaDxAPj8zQy9TLSBM7hXyYTmk2zekBosk743UTIdlomp2ju9XjOvLoTsJldQlDM1QbrERkXzqmbhJjyUdiLd/bAJnBIH45+TW2SE1txBZGcvxmVvmFDM6DggXiRc5jRAM5Jhgy8Vbv81UhcMaAZ7xU99FRMNYcw6yaVWImGqCdKHXmOC7g94GrEnc7NANg4TJdyb716m+gyHbBGzd0WJAcOm+nRl8fW8ZupeEfTbrtYfyt7KDDLWGc5uUA/Co7dTi+T/YH81tSbQI33rFnfvGrSvnUOmrDUOnGljiliWIJvqv1YTtVzQdBJljGVZINTEn8DfPTv8R2IOAtWf0Gh4hLU191snyI3xw12dQmgTlE1GqHAOG061f5PFy2pFgiaZotMa8MF8JwkInkMZsh5A1c3KH3g7PQSrzKUbV+JumeisttqLdTmf6JuVLwyCbbg7SnB57YxCskyenLNkShsyP+e+4t8NykmQZ74qk8we9T6466dBNCsy8f8PCheJTWyUn2RgokrzmbeGXkCjZAWifY7bTN9pgH6GZGckcvgQoTI45juttgtXbxRVI3IYsXY6JkObFAZgus3OyGZt51+Giu8N2ypQ4wwkJDq9ZOIhjJ9DsVWAuWmTNuVJh2MghugAX/R8oTYSEDEkfPQjK5xvjrVEWSuoPkzhYlrCLXpVxHJJ/BCj6IQe3QxhAD3+n2K0dcPqkux/UMUgYkWS186PI/U1fMevAjBGpo7F9/9Qrb5PdGdRiUuVL6BIn+ncH7Gig4ZLrYWYfurXA09oKNHV2kBLLVZAl+noQFk8TsBeE6+ACPldGwX9gTvtF8xj2VN2REHxeu1y6atHkSN1w51azTEST8jbKw853bha7UfpWCK1jis/P5rlcPdDA0MGBj7llQpyAL0O5CaPUtvRoHPFDdJ6Tx5aiEjnOQR+GGtdWzrXCFcE62LCWoL5g/2HyNqUnOWZHhwqoRkB9hDQJkRbu+LivwwY7RAlCTwlGiFEdn85J7tmPrRJFOuCpt7tm1We9KD131x4zWA7i3hA0vrIb3dcBpAQBlnAWNuiUS5eH3GA3AmAwttgtC4kuLmRZc0yP7mmk5zM/YyY5WMjSATT4shnBtr3lLX1kEVYloN2FrUPZ0sbnqISlMTSk9rKzfzRTIdANPYgluBnkfOZq3aAPgCWAAtoVEj0v/lsKd9vC65HqChohpAmavZ96zjVAk3oUSJZ+kuzLWq0bLKRwf5n+O6wtsPG3mB4PqE+4ydwzpd1k/zjUl95026gKPWR2QC4w+5YaxAa/4k6TqmNWgC66WPkcCeka7cH6KqdAaC91aSLmCpZmNn8uuZzBFzSqqBRaBMUrkzMB6ZvHz1WhEJ6axx5cXjRC6j+GlyiEY/dix30l8bWzoIQna/0OBVIuGXc0nyt/rd/sXO9wiKvIQcYNoNnWvdPrPkp+zwfJBQQ3GdnVDfoVPf+lsQMsVcfgxx4sVc80B5XtNqSBojLKK02mjXRILozKiNA/Dfg90RGZye7oAvPKoPbj5ZDIZE86uEA5GpnsTfqtuJG8PqRAyNmb2M4SfQGpNMwx2FOkr4hCwt+KRDUNK1O/tcPp6ObsCQ+EEBaOTD0GH7vhPa0R2G1JsCMQs+455ibzoAwK9xFBAl56IUfPMc+xXFkd+q/m7jUESGJZQp/Kh3OnCz2by+HMkOCopwwnx4TlD7HXfW40MW3sEeBPooDbeiI217fDI8K7ABvz/T69RbcV2mQBDo8ue8TGMR9ajgmCa2ociZ0OSxtKfFlp+V3uidTMnqONbYJKSs83JZlph7guah5TLEHg8Sxply2Tx+QYOrqZNp8cs5bdEuCO81vSFm1K9OsfhJgBvYRVZ0MvnGNinicQ4+O2XhAOcFxpKhVjzPHJbUbfwR7YWRlom849NaS58Y12GBRrZBIOkVR669zaqWR6N0UsBL4g2DTT+OHiyiAgmXIus0bZJ65kZBsv312osmuWFxv+rqg7lkb0xFk1ZplIxQmQNrMFlz6qmdYtxyQcH0jiIVONt+Xq6Fl9n7jxwKnQAu6QyA0JE6z2F+4V7TSlGoe5tw/N+3TSf23Zbg9EIuZog3jMUrs7egnGmBF1q3RQ+67TcjMIn9G5+ZxR9NadvGCLWGiDpqPuxztCX0A27BYKlqjfNRosx0TbxEH3DroLhUSlba8yR7fWg8pARhmW27VEYu9XtnRHYl3AnR1jbZGGC/Bevc420AwyFjOSWGI1XT6VY6I6GM1h/manMWjaRJQuD6jpfT/HvMcwachCN8GE+fvyCBzKpaTRn3OWFGkMqlUz9Hmp9jNx9YEi18Aw8gyP8HoaV3dm56hmujfAJtsO2+w/dB89R3bETDYUfhY25WbE7XPIcM9UGORoiBeSVhzkSZqMlCpBRAbXrwlkQ1pcWcX4DqaN6m2aghh+HG0kGp7hqRmcgS/C0cNeD0OOtLEJznLMyVDQJYSbXRmwiyHJrU8P0nCqhzXIdWAg9yYW5K33eU4hue/g8N6BNnECnMiFIP0HwSiVJ8+9Heia4nKzTFNHQFlaj7agkIf6juDQ6ONqB8rru2T2+f1DISLSczbn1OQssJdmNwPGLwdvuNEDJ7VKpCjukO0Kmp0MDwxCBFCn4xM5NyvrXVHBtPPJ6lfN96nYA5APOrvAhAXT0LA0nEY+dY2ko9IALGAxZ7NRCPa+emNyf93AxxX9IyHeojUkDFc5JogyZJjCuep6cHQ4meRXh28HgBmiFC79CE8Q8Yc7M7+cYr/h+kjCJWHKULdwvgpKXdZ4u9XcxSmJyiYpSS3cStcaZj58SpqdGDtiCcp7ukHWmDCgod+ZBv3EiTbHZAYIDY3gGiOKTX+uYNzc2P2rNKX5XQCmcjkGW2OacVyFOeY4OQvp2Re8k0iUon/l1F273ODeCEthOVtytek99ZxQGNSjLBOgO++A3wyGOcaA+cRcIOvjamu3JL30dKqfOkFDANAFYs6gKKCBFnxbNaZHe6GDwsecRaJFEFzUOT0nCrOBUkBhfLJmQ9e27Pxc9aR30elf1AMUu4vbMeZXUVvVQI5oJ9vuQ9IlfPiFesw2KnAcR3C5MpwrhIWyCgjgqzxfNL+82arYLWalqX5vfA1S2SB1pjm+4TWF62xWBIOYhYsPIYSAYtbShTK0pyN/b3DIYd46T2UJf44OcDmBNwoqIBda7uLm8orrOorScOwWOBIJFa9wAeBaPyYLqzEjcgrGd+OGnhawWXAfuebEzag32a4Oc0sXSHFhR111jMn70ch3aCGbGbaQCKj9YJbBHKpDOcnVOBqHBI97LyThvWHEOVB7j5UT6yLNKhu23lmmHbGQB5ZluDkGd+ihUC7jJZA6Q9MNTQENKZolTDg4tvM55P18JVLNfU/UM0zzvr6MMrqIGVOca/45U0HTJXbSyjzbNaYB7JvMqjFS6kRgX1G8QCZPmwaqva/NToRubtVSTjB7YtBDGBwE+/OPOBF9mHLRX9zhdNWCTjoTjGBmi3z+vmA8IBhBP+VuidTi2lXr4Xo6dgJ4DDekNq+mJpGmyzU34XEPym+Hm+CYEV56rRcxZVQ5kw+meY0hlQkq00xliOy51o+efzSQoMNGSKSDi5bA2ebhtomwp3JsKNQBSzCqpPl9UR+MW9gxuUPqvjNmPWeYVK/BUThg6kfqgJ5PEW5C9GMKnOswGjED6ijgijkF/3hmeyBogL1IigbJnefB6+SYZHkFedpPscXANwZrZY5JDrkLOZW1tBs44JbWxf8c2fgIJz3Srs1mJQ1j9q9N6Psi4EzDnwOlbEg0edXWzueQ91vhGPTt8pllZhqo2k8OaVHZIs1/geybvuuaFL6qRkiDjuM+2hAiYusjgRn/8gZwjTcNrwAdQVcU0qJh8ak3bgGXo88XHI5Bkd2BmVAinGOWWaJcmw35znbIDuqkAux728EnM2m3RduqkAa4jt/rnMhyfw4e4bI75/25aiM3D74g23e4Ly9ltRdlqUOh+y8XFIy++/TCR7ws0QNqLuKeMaTjXJvICUU4hiVIrrn/akwz1sy9aU93r8wsJ2jFBGnGYighzJxupIxr8ijsKh7DYCX5zAy9kpVAThu0ir8RM9qUwpS1oYePpqXEBqowjloTdwTRhvii0Q+7gv5FRaVJfx24atyC6vofjwsFX1oyD8jn59AkyaebOEyyHBX5oteWS5PNykK0EYneT9DQ12OezRsa8eCHRWGw01xkpmKMXL5jaPIm7Geeg+NguTuF55jAydJhEpLfaQmidyy/HJLZcwfTfDaj2Qsl3RmXB51BBE1vKBtiu7nGoLCic3nnK4NRuDBLUYzbvpDIJhP6yulLn28BR1jmDkc6Adyr5+yAwA7t3EUTJqpXPvdnK7JgB7vAZsEY3d2CrJv2fd9XFvcj2+cSkf0uP2CJfjrQf+bJGwG9wGMBwXUDiLEg6q2uk8/ZPrxFV7zeoO8igEqpZv6Ws33khiim29lkF+RRsVnohvxHOS++NB3itBIWsU3xN+q3olXUhs9R/nSc+edeua9+KqAgZD9H5HjJWxhmUy7xM60nkSPI17mykNzCCzc6x0QN9mOrn2PzgmgmtuHvGpnRaw7XlH7zmf8AMqcjlJognT56wxCFiC7RDo/pGqmPf1Ff1GGcDSiJqZQedaq5FHR1kC4aICZwgy0RMTQrVI6JhQZ6LOfaXNNw7wCEr09fYfNfNwsDM4e0zXp0ai1QjbB6UTFIEiYaNTlwPus2Itu3Ngk+Akw9ujjq8KEVe/0WmahnK44Y17U0TRq1a7lWVhsuUrroHSRwd7tixs+YzxdNfMcs/q4LgLkieg+/T1cmUIHuEsbtGoPpzG7eRpntIxxBJK7SlW6JmIiFR1eH525S+D8EBwz3Brb3arV2lO6BrIVbNjA61HvSkKHG9EgO69AQwQwm8+GAbDlRL7HhRE1B2wVWgpNmBZ9jwvHT0TLhWmZVPndeqe/aQY1BWc41cfJy/PMzTKbG7Ig7ksO87ixKqNWgsV0/FdO8fODS7oRhy0CCHMIsH9Q13BngfqFVoYLqP828o7sjzNKkyYKwZOIhQ3YZY9zJ3WT9mNZ2qdzLw2VyOaSZcrCP6EjdLTWgZtQT5JgedY3Unqw9o+YRaidC7DVmuPoFPNoGcm7pQJP6g6S/E0SLh4D3OG4aT1ITKrWqMfNLOmBHX9Dp3tOESM/ncpgco8sPPlxoI2C8DmkQmK3yukdBhcwO94gcwYFgUjs4Amd9+zWKAY7vvdw6rOHOEoRZv+8KFrkNreQIrlsd/NEARqUf+uD1dPkLZWXmkQZMfgF83t+YZlZMPhUgfQ9pR/fc/C1oXgAD0wiX7Lkl6gQm3aRzzHCvBzipthnjQXJPsBfFh/WcC3OhJbo7SlHwSulQn8cYbL0Lvg2Kv8HmAXsBNTapCG96jFCuDt+G9M493N77N+YkChR0udPC7jjrFtX1wpnIoZioGcNuaKmzvGWJ3NAYNOiky98KaeLdfRlSeXb7Lqa71MDnxmAXKpuL75qLbhZY5w1plXhDGuANf5XRXMBGhskWDQAtEknDMwodaKw/hMKPXL5defuGZr7OMJDhiUQ/GuBJN16hg17H2+61wdzJ/f4ZuLXcBAIJho0frbVLZDY80qZtToHK91GtDZ5bOixWa7hPr6UHPSP8iDkmahs3zXWdkgvpRaAvxwCRw0vXba7bWG4COTA6MWp2fbYgTXJR3YWiyhnxY1YjIrXxxpQVRRdHA02GL6hpXXVvsuxBgGogFgDGG+Ue3YRB7rCSQ4bL+impw2i7loB2oTNOjpkmoNtu5Uy8B4k8EcxpL8esJI6A8+YjGmawDow8mQZoZoLabnrToYu+scHge+rpbjRgjjM6pB70fnAXd+AfL+lOGhltOr9Qi08+64REqhbsaI55ToxBGgFL/wzJCJ7szQwvtVM29JFzF/ZgUXwAUF59l3srYHFqcw4z7zY3J+ut0rz02zZkEP+B6zXghPCy0vQkv8tB1Q5bN4YXduxxUR6tKH6/NeV1O6c9acgyLOnYk4449ZxAjmPDDmzKiAkMeBWygRKQeDlp5s2i7tnpyEHSlwLTnTusnSzcavowUwo4hE74+vty3Vs0KcJ5O72sWuoQiO7mNiRSMDAcp6uvtiWsJ7hUchsm4LMDrzzTkWyn+on/3nxn93UwX1M3X5ulSxfxlT1w6G3nNnTSpK7hOSHR0BTkaI4ZYQJLhR3oVS3BejtfWnz0FQvkOLQHJmmYbuaJYkzb28iK2yiOlSqB5gahcWlAspZDglKgLdCtwVYPeONz3UK9zgnniI6EG7QuEjwJ+/99ekAZANECcXlJeXXmj1KNRjBOgVqPGHAdCVF6e6S9QiOTf9rF5BM1axDvIZ3PbfRytUzGQ97Bvl1GGoabAicSn1hm3lXamY2UFRIMwj/Wb1ogOK+2CN8eF1RLwoHV9jn1W4Qlou00Jbc3JIfTs8s6RpsjwaTPOihoC3QNHTvXClAOKn0Q6Ced5mA3c9mSxRgrJljlieCvW6zyQFSr94+p2KhGbcAmcfAs0a+H+uh642eXhp0DVeMK6boqduUbk/QDI8tcUKJvicQKtNu5WLwlCExvWZM5I3WIVDMPAj7s36EztUHS/BPdlVsx98M36iZ1gz5NDzYNS7jb0vH1O0HvCeWaDZgsEoekYNQ3zSAYXc+o/S+KxaQvIxCUY3bwI1NdQm7fkt6Uuufa7EA9Lz4/J8YdokiIm38ne3g1p/u/F7ffcvzmA1xFMC5jf5CcWct2mt8uU8MDWlmOrNZmJ+cH2xe1/a8nmr7BdD1mfdcKbdThbWnBQk/ODaKCxP15ZqdzRIOW8liWwCA+I8Fv7os1XAlw8brBOUZdAEQcfddORouQe6N0LgityMt9JuBp9c7LZEbGFmxKfS0N7M/1+65tpAx5eEyRlA4V/adOxIrbDJgM5UYhEXL6vln6y1Qv4BmXSXhHeLXwep1TJ9QMc9AHkaKb7tlKpdMEMVBnwmk/qjjoY+WwsPGDOjf5Mhi/aB2atDzsMaRpHGWawtH4mTAdbYXwqi0BKSOZmCplh5GxXUnk8C/JIL3Vg2Uzx0TM4Zj9st/oAHAhckomE+oYneCkjBhS+0h+0rYJ4zm/26x52+QOmrMRBEn0uwQLm+uJ70cT0O6Y4cqmpJQnvlqqHWw65KKorI028uRdSK3Ul79I4naS3i4mg5EEv6L1+qoTLdA0w27Z2kICCPFWXTU4f7ABuJmtQ7tUOZuULgt3AfzbF57XaqSF5FR/hcwJB2ruAfphCaFZjd2lfUhGYQkPROm4vpP8U/CTTUCm9+Za2T9lAheccQRHuPkW7/vqENc1D8v+OaYB1LJwD461642P7szj3mn4N9cSvEfnlJVLys+dc0i10ofEEgRr8NLmmGdcvpxQbFX0LUUnF0RK5uFAd0XnDqKs0cwJiUCtvPlcLEO1yMPBNQVKH2k4SbFunis8P3QlpC3PTJRQM9MnpP0eM2zYQtF+3YQCifv1K+Z0UA0uWiT/DwQzSLUvkZEzy6TG9QuuakqEonEY9B+sbs7ODbooes+ZwD8l9sgcNSb6HQCgo0vkDmlDsJ6xbtJ5geneJBRf5t/t48uDqzHPfQDpv9ygYsGwojDqzGw9TCbFACEYnNZ2ihDueS69/nNb8PzAXkgVnGuKm4vrCp72+z0n+qtFV9yWrdeAnZ3s7kIg1tQuczu7aahs/3NdKUGwHDPdylRH5dAyNtrx6nhCdvIbs4wQonTzRucfSr4pXno/N4qc34b6m8oDR5LdSJ2LcJTeIedn4rxmCphoJArahAKXeo60EZFp2pH4PgrpkUSqO9SWwAiME+RBlkA7TkB0HtNc6Ed7CMD4FMgj9Wtse95ZlBG6zAuM6MkovpSv7JYbkTS31lnG0vCS7qcyzCVHxduonwqmFznC+GyFZQSSTqVDjpmuzW4bns17gjYY2gdQbvVbK7mqL5tqJo/1IwRS+rR92WqHEvXrXhpwhUMT1rMtJ2fdeDg5PZTbfMnp5NxhNslmpwY5yTDzmCvkSFo+sgxpDjpJQFnMBadggjckt8r7ctlbi6vvuUuMWSyQbkAz8n0MiTO2kiDOlxLl0DLScw7d2AEM+3LXTwOFnxvdvLz89PIya7dhfvRCv5aWYXevVt0fgn03aEAHkAcNJhdZJ7/lNOP5YXdsnm9mpovltPiqvG5ons0eb33TuQ3Hgh1PeP5kyVdzlwHZHWx4E/6FNBqInK9+69pvomDnQxEhwP2+bi1EntwDDv2Q7HTj2g31RFLLQwcV7ZLpIwVuKPohgFkYK1+mJzvoxLbvI5BHbMa2W70Mbh8sET06VO0I7GHOFmRBY4YbrHVbnsd8B0iQJyZ3YgNqOp5B7u6sw/6CpZSuIDvvUFf/cWtpOiAjiLpf8nur//Z71vnJjLJdFNwgEJ6QKqzvClYW2xdr5K174ADMxB9gbx84SrddxmaBRGc2Dmxmm+xYvhj0cA8hwYN1VvaOpZggctdkBmmOYeluNwytAwFSknQBgXcTfm43uPyMzKrnxG1HdSlgrBN+gjE8ScAFWDLaCTgY0+2omv+KmHCtuTnyrY443ScloBpSwznJVPlB+KBZPcPQeXg3G0iI9XufqFWhM6rbLjuLi5+zIHHNMcdlKfzNqCtHwsdyv4Uccx2BpiCIyS+JbfHNeucXNXJYaOSyLEGKRxFKvjN+H8gB+H7HtM1ojmXaSmTcpSXzusHYx8yuLsICMpRh4UYoYbi07AEUnyek6Wjurd8avlwpc+vGLCAZLE3cLMdERnWbnsqh0gv3C7Riq9YiE3+XgrzrcIUlwgbJ25BdPuid5oyq+YiJ4kPkuOt1jk8KhHofPUhCAk7731dFrp6e8QDRkjNmw7SY5JMAfNyQhdgfBAvbEpiuQZQ9xlDkB0p0QKhCnAYpUA2ZzgSBbSVBtSc8oydqKbfWk+7SOSYodYijY0+GBfTM1HXrffiQg6e14Lo9Cdcg53da6coVPiMUAFEthAPJpUF0JIfQZpX6RhP9n2Gpo13nb6O6vyh5d/1V+X7X0iFyvDK8DM4mQlWL7vKtReCKFPJuv6+60XfvsJrTPOOSzEjSM2bXsKLd6+iZkyZ9eWCRMsryp9zNj9JtXEwCrhjYILllzteQ5sN9wZ1Yx+XBp4PBrDHBkv+gy6VrUkpP56a3/PIdvbTQ3OO5EsE0//BW/jYPnh8wTcq9psGW9BYzLCHneEfqmyJpMCU7JHiORoWb2g52KJlWHLgv+G15E3zi3DpsFiDvhLa2bSTXQy5ClOnzur4S7kEqc5sJ08zgStiqHIWW4W0a/VIyFz4BNNr8XL4PYE+Yb445DF7w4Dj981V0sJHIgrxx0HCzvzDNoR/+dr3OieQS/WQoRw8vBueD1EouBGBPKoehLe3BIm5OGZcm1piIxsEjdkx8P2h9RZe8VffjWba4GlSsN25LQMmYPsn3Rcvaf8dc1J18lIwHJCNe2HA55liJgL8EupMKBrqVb/y+PNDyROMAnN3sikxSt896ToTjIGQGd7hDknbfo0JXzTQvbhdL/2VUpdspwUiUCT0INl1cStoBsF9ImEj0bcjfuj3f2WxVO9UgBYUr6XQaTVOByFKpK7+uRyHedA+onwF2o5EiQDtqEoC9cmUP0p0zvx24Z/IVAmcLckmAgDrKX31XtJTCRx8OdVui+A5oZI6JDlewuEIHbyQiRIr0u82NStS1OzgzpztcIhGdODMRqs3EeDaWKPl27WAzCQf3WZkzLzpT0sncoDRL0ODroXXUKfMbXzD30KDDUoNSdvaawhfEsVPHGGreaDE2ntvPl0notN+GkoAG9dksg4LR98oUprEqySYgtAsmPYwMd7I52WAWNiOn/Tc59Gliduq/no2DshrNyNwAdWkrm5XKydXJSasryc6fmbDIra4oKIGnA3hePee6whn9qfsMTkHCSySrv5+l+4JR6xBXuQ580l59UaKwc9U7zh+IA7LNz50QLFFPlBnP1r/w5dxt8LYkDgaSiJnRc0x3e23idiCljiXwoHskIXmjngwI8SVDRl1mSHS3HUnG1AxjHyT1wIMQUlzux6tPb+v3nBW/hfE78eyQuN/NaJ9josr9mmKNeJcloCC3nOMOv4lvnA/H8UbXNSrZ6AKUQ6ID6HIuk6is+bXoiv6ycMcMtERwMTa59I4lqgh002UIouP8LfpsUEd43OGD1pTUaJ8c0czvJeVOZ/EvpEMnDnAVOab7/gVYuKOYuRNBgawxO1zSQjcmh0SlW0xZ0iPgGs7Fatmd0uaL0+WThn3U92bvRI1ZjvHqp9AAI+oaOnydWW7TXNxtVlvX7/E6SPRBAgGUY45zS8DH9nxJLHYAJu9Z69CCqedS+7cJNSMR5oMAq8a8aLTgvusYUq4E1MYAXJe/RdLP+NdLtwFovGHxu/RgKLvIQCqgemsbf3KCC4E6Rs1q/lbPhjBum+vOo5ChOYub/Ug1ZgTeh1x5OK8mGG50EHg1Zma6EMIGotbbCWo6sGS5PF1pDOEnzffOcNPuYa5BlHwuBZWG5PCuqyyhH3H5MJrnq3PD7MNx7xbr03Rl0AHph6gsyTHXcEeKC+A2GpYGeHuZEfVbz5X2ZBRhG41m2xcWUplz+Vs4gA4ofJ2OXxENinKjlUZ+HxHoHbL7xzCtA+4o0Qbo23NMDx1G2prugyHRV+NUMNb+Obym+oNJu1xL1MBMujPkmGlw6AL+MJu7GFB3CxQz+1g2azbuRfp9NL8PMBxSN9oteUhHprOGEyiZ3HKHEIKqOSbK0DrsiITGLTWoYtes/UNvP5iI4VqB2NcSUTBXH+SYZ1eNDm8g1iLtPa55bDPx3nEA6S1OaTtRo7hzcKCgHc8xLXobUGwCm2EQr+luo0dUfvsMXvRNoGf5C2C3kgGBgq3nZLfqedwGtQfuclO22laNmdGonk7CYf1qnunKeGc57H2G3byocvO5QAJF1O5Ptczg4Np0xHQVtqV+zJKZQ04o/k0D2DfiGlgvSk5rTBDX4onTlnpa8i2vI5nHfaZB18FWgQ1DAqj6frcJuE+HlTbWh7mlOYE0snvplBmuTbnhBaJnhCSliAQ2iGjlmO67nHaugdCi0BEipoEBk2MCxkxanoBBi31Lrk3KOl8ZpJTJfTotMblXcZw6ZayVou4rSBMvazVNkCSJSEb76ik7QoCH8isKBJHuo5dt1jYZ3zT9p9L6B4SnkdogMdeoq8I704RtzdkWS1RsQU9UzwlSIJMbLMNZiX5CYoavF2N2JFgp3iHAEJzpk0DCTnRtc3i6BQtmN62J2z/xPqWddvRmRhMv4tkpHTeAyt3uwA1sttTQu6E4xZAQdr5sZObNYoDKhC8NKAo8es8dcd7vbZaTAI0tR4FdcL8v08/ViQDzTmQC+kR7U4ciAOIz9MvLMcc5iUGN87TmIUMxibXv0qjk/kBOoK82BVyOCGoHTPACOeZZj7gAFjrikA7t0U7N8okbkDIualFXlLQT2JSJk9qJsjsXn+3YeNGRo9NHuWL5/URfWyrJKYiOAiTInSgMze+ingkcLNWW09GDYYZXeev//dZ0P+rtFzLWlmaWLuUbZT6R/TM7B1De/oLWC1RC/1lhVFTgbZLZQ/FbYrXA3tdPQdsO6sAMbysk0ptutZxjblwmpzmrGaXRmyq9ImZ1jNFRN14GbWkJb5kWonm4wH028E2f8QJhjpLFIuCfv3UDMQqLPUcwJKCSgFdySW/0wgbQvl3V4F7Y0MzJzM4thgtImyUyFN0k+6aPIbnU66K40ZYZJDHn+IQEubtskVxS91+kwSCFBQQrnOW/dKDpdQHenagaHBib/XY83N329+0n8tudbh43mUfZSe6VkWNuOI9wyS4X8dOreINLTdwi0MMotxyYnRwkl2Kylc7vt2j04D4mz0GG7HFilFuSLGtMC7TQdg2wc7dcUdBWnVnPCR7R0dyNpEWPHjnpmwZouQ1fEDdAfNGo7UxiMTIHp+YQJ9AU5xDGmDEASfe+6SZyzHK/TEhahntOWiJnsSrk39MJJPVCrfwJJ5BylnPLcH5hmh4HRtqInivQujz4WHLM9TGlvNC0z9F+ml4/t5WSf2E2bMwcsHAhsbVvFirCDuQkG6iQYV4Ed+rc0/3cWo5pwQB6luvfI1tD4qWNbAjRzIO5jb02fWxKsLDP7EXW7JFgfmCvAPBDmM4SJOtHMxdkR5eQUHKzCiYC1buz2IeurWbB1hXpIldnqh+VbDt7lNJuyEX6zQYoUS0kQ/e+ZLZoJgmXZcEVfVwcZ9+TyUoC00ZHj8jP6Ml0vgxNTQ1NT95MjckuR9ha10XLDsprxKqDPLKxe3dz6c+0qHRUkmG9kwO2uX0b+huyYj7YEqy/rXqJ0PYucv3YtIOtTa7/YbqAD8ox1R9pgJT/Ig09zGiYrXSJ7TkCBkUIjLcpAcWhk3yOCfIGOqeBbWwhUUx3C/o5XPUHtwr3rSmfkWDfbNmpE4JRU65wTVImGq0Mu9mqkhykkbs3JSAsOqBkLAH6/uQg1vxECpJ3pFnUtCTPC/uvlj3bPVCI0eGCjhYbeuf7C/oPe4HHRNCHdJwlOlQQesv1wgskDisLjjKKl5L7oKVCGD1o6KX+uiEQloANuLNhjolC29Xx2N3L0EW4BN767zkr6hch7Tujunaxl7JdbBtmlloEfKC1cWYOTODDs2/1yseBbJAEAD+2pU2t+m9yrk/BJVRJtiCkw+WfdbmNVhK7Oe2sY/LcGJwtEM2R8jmwvUDlp+sNnzjqfuj3tLMrCa6P6wrhK6fmMpqjwkCOKZvrMEIxfxT6u2EpQD1IlEFl54eTAiRd/NnW7iFFz5tTj8GcDGKsLxAqULfqYqYcL6fYDuDnKk562kex/4EfF+6XHBMBXzwnok/pBN1jOvjUcRhDH12LiISYf+KDy2FdE+/kmBuaD/sNXKzvLXf2fZXSNQmtzGS8WMq4M+37oYzzGtUtbQjmoQSQ6kYEum/Ax5VvPBNm4f40Lf2kD6j7V8bcmOGk0hyJosdnCTrxDt1zjhnhSxGS3d+LJiDaEW7sk/siuz1A1EhL6W6JTvS+onLMinY/B+wR82DpBSFHjdmh5Gx7HDMOkRgYxiXXd8EPSjM5PF93CDZV1KTWq1Z9Jgs7iIvurm1IhDdxzHJMAObck33QXQSJcgrqJ3MMTf5AhFJbjcW6g9PMLalrSHBkoNu7HQMDS8zBUCcrCXHxgLkltiWCazSFyxlc0S4HgnSZHuzIR1MVKBB33cVu9gDjBSDE68TT51psCHZyBldAueyXLDeCwZlyerlgIsNYTzxolLWJi2lpA+fJqEDFcJM/sxvB5tKjdNKVJr9s7ViB018QlK9QwCQSmMLz+64XSQeoJKYJOp2CAOefvTlkk3yuERpGHgB2tMQXFlRw+P6FdUHvSzW4pU4hwymwpbsyfM+hgAeHriVTb/aKqZFLGe8m8zf8YJYGtVLZKhf+uYgOusUyRWxIVK3Q0KfGRFIZZ5OWcts0EM8M7uP3nG32qckHLtNqkF4g6HWz3Ay0suHhEExQarBKMio4h9xo2qLPhq0oJTLx63ch7ehSz664PRpRTCM15BfVxeYUoKtPO5mmFhKWItQtOSaYax59o83D79LuAY1Shc8JAJksvJMTQPVYMKntb0g08IEAZpHnMZmiKUTO75eyDY97fLpeB2lj8/TSudlLW16CrB57RJvwLDXnK/0Spy5A5NMBZdqLc4vz7h72uRB4cwB+yfPenoniBbd49RRnGwWDI2Fu99y1xG7XScqz5fbuXOn8FJBSezLUQlONE2Pk/0mXks0GRSrv63JDgv0aBbEtoj7NGa99glZHv8TaZTiI/gauNOighW2qIEGq00eZD/T5c9tkOhubbfa6nQ/+UBnD4OdB8LkJPbA6S4YQ7DLTkulTG0dWKR3YLcmEhY6m3nlH6wBukxWowxdN7NspM+1CgeOny06kJg2J0iT4+mtMVCI/8iTUBvLPk0r9wtsTVNdN6gO3oN2WZCyo7OcKIeu0uJa0bxxuB8r5XdPC3boD6POAN0HSzNQfEihZgBggJ9DOH6lDCALnSOkRJPjZcTh/5kYkGETLAktAJvUL+co4f725OP/RgSwkpx6T+aqNzHK36BzsGOA1r/teX7kcL3hYoYXFkG4pQb/81WMimA/Fw4b62hI+D7SxuXdeeKgGfuNCW+oQr6/1+6nYy5v2aDDYhR8OD/YrkO0kAeiTQgtgt/elmwarNVu+z5QDMdA8BBNpGxOSHoHdWGPCEZk0l6MuPJhsiNO/bKxEZxa3ACdUAAbtRDcwrJtXd+T8ImBHXPPM5EGFyoLsx8ohmWdtdEA1Ey4StOg96UpoNeVY9TDqw1WakoCn3OyySe1sBO85AHLnn50AjEaSvDPHXAP44HylArQHnG/DRXJ/P/XCsTvTlajRCUU3+nJ32BjTIjBnZp/nKAVFrM8XSAbUgG1DSyC7ae6IxSBtsiozb1F6bxIypkz5c7AsJPZF4STdWe173syUSIR0faDqpM8WHJjL/r5tWhwyLJH+MjXsclwaB1CNaWJZJFKNhhflmIC6YlYeD6GQmhqe3xElXLebu6Y1U2E4sUnSAFBpPSYCRtaN46bSpdqFhok15tnUJWLyIqNrCS7n7OFAbV20SoU9acIT6W7SunLf+S17DwZmUjHtmhBEd5tWnfquWtIe/bOItC4UZkhtkQDPA0j+bMD5xMssCtaHO3dN8nKzxsyo0CMcMmcSDJHqe2TjcsyKhcb5CyI62hEMal0L2znTxBtsVNIOUZ4EV1dB5mYP7j5CV+6RaAlsPbdYjbnZxo/mWS4sQIKFgg5vOSa7j2PMuXsFIHdXu5S3OnH+DL11e6Yb1ErEa4Fm5Jc7/0ebYhI47tNLwRmI1ld5zemyvwuqipQlMRTS2W4oP0pluM0DbLyUWTy3hIRO3LjW2hljJm0OZSqm9DGZEjjJxCtN877QYeajzt0xMe5vEFdl7rmy7oBSpmKXAOAxSFm3/m8CR3Rr3NeFGz5ktED8702CmBg6CJbhhQQVXD+9vuj5yVI9nAEw3kiLpFSvfUOfP1r1wg9NgWzk0E3VVrkkG3d0HlgUbS3T/1HiLa9hVEnynEEhZI6p4ZiTJczBMvDnjPJVH3zys4EJhGlwlzs27fpRmAIEzAg1VBz9eU92WGuuWILAAZ6h7rk0/erFHa7HZPp/UVDvIBXMJJ+5UnOhQH4eNyl2BG9agqnXYKUccyMwjeNJQMsSPet1dZfidm0sV5YcQjeYNSkwkKe0C+YKSAatRd81fBPsnJmxeg1pAWM5dKA1Yj4AkpRH3hrTXZe4aPjUIxzngOarbos0yfN2Ayzn/vIpAd2a6UeY62N0Q0x54Yg9MXkw/9eY5WwTPb5hzDy+iqarG3KCbSrIfMYeCw5GJDbIKIN7mu0lVANOVkiTVNwPbWgzgJ6g7qpBhA/puMVmJWW4MAlIfAOSM0cnCALiwve6iYz6NEcmTNDYBN0EkaCRci2d85OOXpCB9YSC4andUeFy6oopneXqOdvEHPTlo4hqV+piZpERuByaLQXJpzmwbraWbnQZ58xGobabznI7YGXIw6hXXg4RfObe+Ny+4NK+oC8qcnPMNmusK/Bc/IV0nEusCQTM4IJDkF9vBB0EeWqaEecQHOtNi2c4BAm5IAFz6smwTgNsm0gE0L9ssOWcX6NLad4fJziBYSabdBy05KYNr+xS6EucQIMP+JiTC4kKTx3QGtN9E4IgWVHgDIfrMzoxETYTPxmSPqwzkLCxoLTbhkssx8wiYTXfxQ00newnGhXnt59oCY/+oNzyhEQwUS+Xu91OHxBTCstNme22w9K379SQE/Yk1Omu8XTBskNGtS/4/QuqC6DOGyFdSoB+iGHQMkYgUJrivB2C7LvTk2GXCKZzhWz2R3DQbB2URe6brSFJKUZ+SvcpFQE9Sb4jz5FDwr0Fe0jDgnB9Yd2HcL8eM9zf5NK+g1xdSEDcQfTlmHCsIfqZ7nxBCA30C1ia/PIb/W1BdHzQvwU7P5mq/TMDKfhDTU83tHUzwEfoiRR37VPSiXT58DXD6XMHEHNufLveOQqvP3cjMk4ESg8UCp2dcsyz8TzARvALlohvQM6TvwXXy1wOYA6nnJCc9qRNUI5pRo/DxAQSdoZE48y+S5tSTzh9Q9B0nIqy+ZnoYY3CEhhhThKOVTxu7oBE9/U2a9nJDJAQhd8usgbgMpd7aGSUdr5IA+JikRMHwYw30/EkcsQ2FQgFDtcMkmZn5fo6dYhR1fCA0miYqohkBd2AGkunoLD4+R2delpE6enGR0vqHBOgbyLoO+hsnNej33PBLBbZPjpVUXp2IdJCotPIL7u2vgB9EyZZGGMBAacZ2krjDUDEgL5tc6zC9e7UO3SzYuWYEYYzuslL7ha1lD/dAhFiuJjHFeTAYXaQAJj0neymGhP6c9D1MEGE1z0EaaBXY7Y7hgLZu44LIpC7gcI1hxzTyOjor6zxkvRcQZJU5BhbJpXqcDZQgmUJINwlZZpjAhHo6u3t9D9mDMjb/uXOWWT7mJADuddOqrsN31iG81aW4D4IZTzjSHiDMGCPHBOcRdOMmtQMmrNoAOadqQTpQgc086Ooa98bQE2SB3f93phcH12GAY66ZzbSOQ4W5e243NcBT+iCLnD0FagEBUC1102nRQ/0SxYTuwaJ4wmapN45lDIrSHisWaKunPa8J8dcF6KaiuKYcgdJm93YuxwTDjmNJWmVFRk7wEK6kPJ+XP2LTl/0rKMOPKk5qckr2pnVo4gNp34E9oyd8ag8nGmFwK7qHB2BmmWG4Oi+Dn9urzHDPKTAsD+QFtFRSX+0sIJzzIwY8SX3GW2tJ0EuKBNavU/2hCDT04miRntXGiImS567kRP2/2w9Q+m5DWzHNP3tH5J9EIpM08s4F+rWaa4GrudE+c4zk5BDK8zoJc3Yf98eXerdi8mceZZg5Oq/78LjM7J9eaqjlwn1ylSY15hmaxO8xHLnKku40D/ULM2H8b3h/2jRHMqe+DEO7OaY6OcAbvy5HNnqiY4V2tD5XSOCRJ/hXrgVvtsOEMgyDpxe0RtAPELK/0Ub0tequ5ZGRIaBtiew5USm2ASdX2FCl/Ge2L40/8ugEm2sIZaoIcHOzo3ej/1npGGGm/qmF+yWuq+p0+3BNGES71eKUD7fIduHKnMQFwlk5TeyOWDzaTpYnvRoNkBH0l3Hxl49J3rBQGJN641piU5S+leJ2FszPBKyM43pCYnEX3FgMzhAl0PakfYRIdF0F+2QY6KLKMENs+mHhDOr45XneIYraPo9WqtEpuX7XLxW3wWaDYTCBzh3WcCCof1C/VR0Dx4AMOlrEJIcvlZW7jILJLW8MuSeMbVItB6rnuNExG26QRVgyLEF+LFG1dWvFXh4+nrRrPUEVh6g0hu/Md0Uc/TpJRHdgk9aO5Aaifwo1KNdCThTAXFbgr7zJq8tlVCGscjJGu4SZomNBIN6Hhp4XgDjLfhVaa7gYuRGt+OZ2b7lcr/vj5gzyY1pqYGXo+gox0T7KDYvqq9nMyl6DNQeXHH9At9nXwTFOr0zWjXsc2di/B1wf2zV8H7QOvT9yNcB7Qm+ApvpOnGMnwBZ2iig3XJnVM4EQcgA6kKhBG/SKFMFvOfXTZS6g0wViQ4gt9SyFRYHhRyh+Q4CqOsMbs4gjl8339GiM86wROe7iXLKMZplCvX4o2sYvNwWWuwCJKvXiT4lRHAXCSRL8uj79wNtU4DlnBsIzKCsXQAcJpHDXr91DS3Ho2cRjzkhKdR776udsaPjuA6be+hGdlsnryUFNizpzibjn0MpmtVY4y2X2uSYZifXHeQ/wpGWKBRrvRSGwd4dmNEyYZRhnc9VhsVxZjiO2doGHSiAOkO6AZOwlFUquROMd6B7P5M3gYaG6/GHK114PO6tdw2Z7yHhdVfvtmb67OmudQsTIioZjtvKFX5nuatfdylyi1YJ7J1Hf7eTGGl6/piNjNIwY7uCmwym3jnqlVnmoymUGfsZgYTkZlnZah1gR9zitJA1jBIJDQfBSJ6JG8gxKqOhDOuWCFpBd5lTeENluIB7AjwzRyXViuB/c8xweZo8DKKHPbo/ugS2t9qoN9uNk/Om4siSzBl4G8t+5y0vtQvbnep2EGN/YNPLVZBt46pqCogfXX5SIrRaeDT3pqILJHcs3VtCgtlVbke9T3YHpctaN+EiiUVtOFyBGvOMqsAFpz/9sERxCn5yrilgz+2GtctNsn1HEooHlZjv86KbMsWYw3FRJFdH9oo8L/N8dpdFTbeEMdnlAa1TCIH1AiFwP+A0w1Wo16RUe/28BW5Ool4gzQlDW7Df9zJ06qAN5atmBoH1EEnbvoM7yu38gh+DeBwFjgHM0yJCXfj79EDsArLVtZjb8HNxWzYr0ZhwsaE7BqlyQpomLqmtap5PAHp0Rd4hXFNWFA5/Q/MJCXF37G0F1zOV+FMX+80xdE+EuFzHBiY6SygWgoQrx0T3RMobOmAsS6i478umfRDXOD01XQzyZe1DJ4JcmtDYYGOTaGi6spyGPkcQDNeYSPfBZAxP/wlJ/3h1j9YrbycGgEbR3vyFBJ/arKo3/80ViZbFleB6BK7iVnQKUOpTwwZ/1HNXD0twEheDGRlvY24hJPocKL1Ei0wNkDf2lvMX+A05oqjj4E0mCbB+k2ySJpe5veYGnpY+wnyFM9/MB62fAPl15+OQCJ9rHWvMcL19ZES2ofp4ytDIvjTxKTqIels3BidT25wkAwG0akwit2Sk0PS1u3DnwovZijBtG+oJeTe7ayTMFZMbHucaw23G1U9Iy2X0kuQqQaSeZux2wR9pMV3llOKGRAUZt3+OeXbUcP9AAF1Llyz2zM4ydLnwXQsjdY/cNZI7kRSybRfdC+Tq24X/BwY3Kk1vDYlo+0dCm6cYiqnHUKNRvzSCbvzg8GVfals/2eiAyEQUSSwKqCK4a4oWAFcZAts9iqMAZ3PaTrDrk01u2cgYey0KTab7E2TCC5w+TYFajgkK8kUjEDoXRL+fS3/h7/fGdCmnKmG54dwK6eCJJn889IaBTifOc2BgCQlw3Mybf+P63ei5QrOlcDOBDpJnyiEBLKD9HhZy5HIfFTdfRRGB3tmWpOn4uybp3q5MBh6er0O+dkISsYFR9zC84b+k1W8OmYYX+4uOGdXpK/ORuN67Xieh4RTf4e6FdGRijv/GBGffAsD3Aoy94chf1VKnbUfAaZAzTPA4k5npmAa0xlz3BNcbwiA7o0M4iR1wRKm+oHo5x0TieHs9JEDmVMjFGFo8GKMGKphIjDnegBPtAvfu2bJSZ8Lk2uMoAn3UAczM7AasS/SKqJd5sJHojArKNN9nRq9zF8SBznAUDIwKAbWc5hndE6dxUT2aJ5I5mLPqW8wGv91tg7wypwZOM0Do1S4aLRqNP6W1ufV7NAWFUudUDczG+qXg7qDU0ONIWu9hRvAccx3Y0U0DmycBt8VFwq46rd7nBYZh6GodUa2Ak0LAtfAwm1K/SeWQHY4XAQuSp3Q1zynEB9twCnToLWGeNpPqBXedYSfCguY7X+5c9YUEzbPOYL0zXC/OC+rOdDmspUeYvWU6ZZvrZbtBAfvkRqNnSv7n7xxzRS+bsTKYXbTriO6kMWnpFVJQLXr7bb9yg9RwmUw31ekKFAaV2nsbbw60i5JBzU6NudnschGYuiEBqAWdVq/8sp0jxRj7i/oAehvAs5bPAepJCzcWnfCeJWPx1+99zPZyIwi9qNZ3uowchzZdbh+8P+insoDjWJKJT1+WurZ2dGyAQR3m+pIo2KqMwcYdJim7XJJK/A2JNjy7smjAKVFsNPWAOjaoewc36st2CM1hXFSJvDFizCesz27buIwV7FbaZl7zh7iyAGfwQEy/67eiGSitdMg1h0QXGYDnNYYq5ubmMRyooAOgwOIblZ3YJ2y5DTicKG3Yctr3i5/LMc1fsmBN+OYZKRFR/l3Z+GHQRtElbTTXB1LBC9g+O0poTNTFbvgmPpsrSOBZ9cp5dEz1eci6wrL9RbvE5qTnKlMEDxCmCl7A5CnwoFLdrC2dn57NRQhZXpv8SPq5RSPi+qwIMkO9E7BbS4dOT61M3ZxYXSf/V9SZ4Epy40D0Qo1GapcO4/tfw3wRZLUxBoaAXD9XJZdYaKCN1DyQXmc6CVI4p044sFK1pWnqNiFx6vGR1ueTIzW5v3GdOMxF3pMNLEmxkg7H/XxSHgTYBuQCClAuMYXrPlFa7eJDYRUFX930O340ELSyM0J85JbaxJbUJxOShTbSZ9/1Ln7QqgfsGlkeRREMb3B2kDAZ2fbfSwGIQ7N57DPoK3Z625Rbu95jigwQJvpuHVAAh7l7HO5XEiwbIGmngnh0/rulU6FhxCv4O+QnmomKfMZVjoSTL8TLRu6FRwHs7jdTIBcASMc4KtfYMBj/+PLxQ9wPsF8Jq4HVUvpJsYKQirJPyLjl3QTGOb5DlPDQxhmwEsErH6OGGHpxp6hXjKi7AdM0hnDOziVLAqAdOOUn1QHAcidqe2hZuWb/OXxd47OPXvNU9EFqTywjGA3ebKxG6fk9Y+VkTltIs/1Mtjvx1aKA6ybigej4CYDvZ2YUoDGZL9ovmg5+Ga2D9DX5jzLtSkCRCKmHl+4yzWbAmJ11FJrlEyzNClQQv1rjLAOcwJKBAxEHJr27XGN5OBwLQex1m3F1qOVfVuEnm2MXf1Byc1scdQGwZq1Zuj1PelmCP0+oGvwn6/e3tj72A0X0KeID0EaKs1c6Nyh98OFkI9pTfOvlvgZycTvXWAcsfnyCG12OOhKmZV5xPksQxqeVj7GeNnVWPsSs8piZ/ckEBzUvKWGIeAThOx93yTI3wAoPzVs2DCVhwNgLe3qa7c7hus6lMRbPMtyCVlu3BDFoliHbDJxc6g90MXZhIk8r16wPeQkrzCMqAz2jfsWnSqr7vAaFQERTUQvONVudVf47IJEO4s9iXVkHfNxVYaqw+a45wtps77o27BeiBMnisinCDAwji5Fr3GFekPamRHTppml2Uh2cI4OHAYloc9+t/zUGX78vt0FoQ0MC8nE5cBtVhETP90Nsn25vsitqjyQg8S2jW/qbNsE5Aw9+1fv8hN8jol9UYv+H6RETnrEp7WBBEmH0ONJrqumJGjjQwFHdEqailxXX5xSgVnn9lPFJfPyQrp/2bMO4IklWRw4PnSyfJth0ZKOUmuYehFjxCURn4k158WhGzKT51d96aZeNsybYFEXAPIqNdGTwAKoUYC43hmgxzI0XNk+dwR812VUh212TISQEaCX/1AA5DfsWT0c05RRFWU39l0+h+vLw1mPPvRK4wpsodst487MIOsOUT6H3uxDcRMiiFkHhDJOjZHzKLuY+D23zHylaFnmaCV/9bzhi9APkJtecP4fn7iPZRmBSkUzl5q3DsdILHUhhKhUhmSRBiFzztGfRBUAn9Hg/m1LZqKdnumH0SaoNIJGsSGhr7cLtxWby50BXgSqArIyiTt30VYPh0Hlmr7lNur+OngkTidNk2m7zU+oQ3nyldbCkCy5wJM+BhtsHAYjKavHwnC3rilxjfaiNZOknJ0Wi+Ggw86k1rv/I0lCycv0XX+W4n1lzHBH9aFmC3GWCl9ECd1s/c20hgpLaUa5y3MFkyJt3VCYPXB2ggFJdfHJkH/yb7wTln3RbeJmgI2lUhNjgLcrS0QgONOlk3HbNywU++2aJ+R9QIQ9M25EYtqMJ1w19rFxjqoO8DKc0h6/ygMdMJs8Lk4cPsWTZvl5HUXkhvVvntVKR7UONSlyWI84VO069x5R/i+YUs3YpzyzZ/lwOo9aYgxZVJMCtbg4aU/j979QNiJQiEQIIwjfHznBeiUaDXdXEGSSoYLgEGIUVSuIw+YMPh0JCFw0LPhysGlwNck0TJpDX5xwNIrf8XRkh11sMLAme9JZmlGWo7Ic0c7Z1EM+TUQCtK7qjW1YEsQW3wn1LBAyRkosB1UxP3wexJ7ae+p2lrRLh609cJLZKeO3I6eWJM/lD+3oLz6NsX1Fs3gXzpX8mfs0UKbqbe4O2K0ClOh6bPCAxTNNqOJpDjjV1PE8uE08pBhW/tEaAbMAp9Joo/eIj8lcdS2lrggsFU7SLUogZN3jO2GjVxDXPYYJR+fckc+0x/o7H9j7Nz7tn/PFU154iTBuHPNGZe0mBueCO76vfmWqgzSNtEapwDDHiwXmn9M/PMWERg9JjQxFaOjTKwLbmmi2iL3J7qPJdRWdLFb4+SfQBGkJ5zzIujkx7qP2d2R9oGCb7wPcVATTcr5rZ59gOmyKkQxUhYMZH1zAPh8rP7B8Znl1F6qJ/LTuJNNkYLELbRv3hKAKhgD52/qlrJjk4+m61SQDD7NAYFueaIaGn+DNy2bLsE6ICp8bYeKSyn8cXiUZZz4iB75u/P7VS6wsNPgFkocfF1nnLBLDZFBhsWpMqcpcyGmAUPB3qtCzzgrhUv7IAU7v0Ynzw6pCvMip4RXoWFMXnYGpwlGuejgA1nSFm4gZis7CXqI8ogz9MTQ5eYarTiSI3IoPIhwelzy6F2QlwW/+fkfrO/g1+mhL/xFhkk8soYkDEmDHXOI+jCwzH+Dq6OHaXmsWRzqfRUJPxoSLUXvZv+5LMJ/kx+PlnNcwGmKcQltJ35F7G69q5HopgtYA8rF858lHD5Ay43XMkMPqtBPZZol0Y/ydfKvUhIDTUrzzl6hNv4K4JCKIZqHOVruuVsR/GI7GNPnmtnCYBIVQEao1lxGHlqdegCP7HhiWQawwYgZWknN6RdM3rCl8An60x0kDhCcgOEXKDiGvkGgtcywip6wxpEg1wKPWXTPWMg2XENroNRpFOuvlmwotXTrJIYiQogkoTzYNWUoYoccpWhjnHEueuqdSQefDINc4y8dlkhvScgYJIee13cZ66CIcbCPdNrUp1pX/sq7j7eiZhKU6JjxJBBkMILE+8mXiGIOWCyJU2u8DKyhvEgoLwcqXETguN35lLHYH6W0PfK/rRsLKaI9LGU6IZt5l4dvWa0TEnggvD+DjPvXk2R9s6LqxPUr5M8cLXn0Lhk7xlSGl8OdpXrkp1WtQ6U9jSoeYd0VHK/PsZ32X6ADgMbfW5sbXH+bl+pu4PnoYcmy2BwIllQXyl74mIf6eB4qrjqmdZKqq3t4S5o1Sr8vIJNUODPb/BF8etT8r1A7H4pWijNrUKjAdrcogtjV1pc9BkH1NUewmdk6/FClKxragZT7XqT62sCi/yFs81In/n/AZstxtB9SlPcIRvCny7U3/qJJHsQoMSqQufgo2ef5YrF2UXoLB4mXGvFH0071vJ+VxyEhpJk3NdJfgO2eYUM/si7glzEG3djzkmEXJUwJTzkMGec5CRPKJZNBWRrCDuWb/TzUimuzjkymAB9cUrmscjsUXmH2qnPI+0njCpWevKShl+5iQTlJizBNwwZhrZI0KwCsK7XoghzblGf3HDs/zqkLfdMUAlMCaxOinK1qvapndUORkv3tWmolJT23htPMqLeU+YL9ztBmOnnfFqJnGp+NDDiZe/fxnQKIEgkGfOwM9mRnzkukkyoNog8+dpTVPDB9oJV+LfOHNcKP0tvyKGGjEkZSSCzKMg3FjdncIq3pT2jNfnsFG5A8S3c93KJ++cKad1NN3QPJwHEsHCfEFz4Be3+E25MRFdZG/arIenUOMTY79xbPT86I/OEtChXyFuwYewhOBd4MrgxVej8vLhQBYM7uqS5BZJTGSF96sXnUpxIcKyIHnSI7K4HUiperOS4YcDwsOuZUnxjibOTSUHHDzUmBxS1MimZWTLShzz+oGIw0UGDiVacIoi3UGWvN4+ObrLMYPySlDojfXQQagu91tN+xh9HGjqn8l5km/qhdfjDoLFoxaSIaCiN+D1nAQ4XbCeAMk2uFLZxrH/I2nzMwS7ywLcD/uMrfEREa4dvczk7jKtg/Qa6q4j3miAIfU7dHziJQBAx+ZKQH0KWDBPfafe1qYJrqpjiGfEKCafLgmHQVWN0lcNCM013EHLgxHSc8ig5dnSRTaTs2nilGtsnMgHHKLhVjTUgCzXOsAZoL9Q6dn2EQELJkzpTdDRlakfH3SE0GmsKuqA+sst4IJrRWemo521mnm/kdgutGXzaZcRiIAGqo2mo9jw1pu1xcnbAXmT+ELo2UGvHi/t108dzpNMBAI/SypLjlBFKMr1pd5b0rFF0gPBYzmUgk3btTUdw8GpYSYdFkfAYF8R0O5x0xHyEfwqjzDR7WIon88gQ0IJOse12dIW+dSWRyw+y/NIMOPCMvaRgiFcIEUIdRQ4HNEFmat+qP9SFB5EaplilP4Xxs5T1xV0ECMpIqxj5AiWa47VZ1COxkJQEWYoFDJ5CSXs8snFqQvJL2GXCWDlVkoklt9gMgu/2g6fAp3dIg1foJ5AK3Fd/wR+JBqICBUs/ibUUxIg6F9ri4OtIu2YXGMCCcgM3sqmCAj7/JWfl9p/QJ5BBhYPYaJhf/lshCMEa+H9juVtCiAw6eVG5GllwQfRH4pNiglgbonuW64xBvGCHKEB5Qj63g9feIUoBGE1KZiv9bF3p+Vae64MdR+9e5mWO0B1G0/6XPKU4iDeHy+EVLCIOsdWSVHUe0NqnFc6yU1Rx2z3FPqLYnKiqb+k4cVVbnAqmBNUb/pK2AVMExatAsI+gcMhO9bzngaiYC9BoynocDBW+XjdZ21y2nEw4Oyi9T1B6etzLbthqYfHz7xhL8yHfnZcvzz1Z2NZsqOjZ5Do4+miks01VtJFOB1hDEPGIhc8rYS47zMtuMdDSO/NtGBsWHAbqjN/phmiufFpLPpRJWAxWCYSD5Zf40WhjAO/yiYnhejX81mW+ADsA8luCPBEhBFElFr1O5nHqa6RMyKRMK791RrblDDAFsBa0QfrKNKDm2tSBvGTfFa+IVKjfjVpf3L5wJgkPkfgDhVNRBCAw+WaLSHBeDxjr+cSEqmex0Qj17BdLymiUUAqwNWEbubIJQYLwm1Bj9Dl5ER6aRQEH4tHjNgZhyAYNhQBGt/jd1oq/OiMIMwAQ5Rodm2VucthtnnmlgIZiIOjiEwBwZha48KP9A96qQs/MjbMDvJ2NVfX6+qoYaoTgSz5ChooK3jsV7CbwwLJaspo3JxynsHvdQp/zU68dkaxd8TrmH2b1ywNOTFyJTNTRGvq68U8fM1JxlSPVuZsTdbQH4nGyTVX6OHLW8q2ooBCfpZ6I/saNMKF4Ts4OkW4ZkGmycsM0a8Bz8FsQibBeCYDDVwlZ04lfMWyR17qSKdKgzRf01xjqGcccdx1mvSSWYh3/f6EXV431hsLQyB7W5EAhvGdqt8xXpc5RuSovaXPWcdKOB/U7hJ2SAxlfy5v489KNiXvaLd3CSgfFEKuI8SRbx3MUc0dm2a8TrDZiaRVnx8JsQTQx11KIBJlIh3xL3fBJ1MHiDwHXYrPEdjIQ5XpNVH3bRH+cWNmiyMCpx4XMD+hTz5+MoJZ/YqHexbD+I8sKk97WGTkirkItpcIcOHaNdBBqVhgSrT0r+QIUICL1JPyME9rmDREAoI+jAIU6zoO57lkydtrUsR9Es0jOrKbymcifUsWfjwXerYiAH98xHKNqQZQCpguXUXcke9ns4BwAINq9va405/H1oBmoYXUmT8LEABifnLeRhGDHhZdTa/B0kFm1eyCUmFDYBDI+ij91ae6j+EVOSwcA8kfo3Hw1TAQVVYAWJrHXXrHcYWRFYCGe2vNMAwB5yWaOlbYZrM/JULxyDYbYx7qLKEvgZ/Q1fuJ7r7psTU16JuCn1CTYA/7qiZ5IvmhZDcOYg3NMvRNUlB1faRzLRAIRBG9exCesa9evzX0G4AFxlazPrmMXT2FAufkGrvbT5k8n5sRHA0El7wmSr/Yt/7Gm4lZLxQGCkH+mb97GrUfGnTaBbG1jWhTJasaqd/pkoC8gDqsdt4EQIqPxu/tYtTHOB6+9ZUPBQRjhC3jzuT1ofY7jN8AYOL1o+gKwJrk2CcyxhbrH8cY2x2D8no/sfwnpCdel1GDdolgNw1aJIec14f8bor9sKHANEeMYoCC5xoDaY504QToAVaDF/jsv2N+wpWzH2DFPRWhIsuEPn9nm+ZOE26DqDSF59BHqFxOstpon81IFWHr2pQAEGcrujwqBPG5ImNGFZZ8Yg3BQvB6znPfpol39COPZmci6kMGPNmbh/nIAPmiK/jh87lFN7McQ60xOq7J5pouD8JQ9Ld/+Gd18+gnLPJA6d8QKZd/pw7ZCimPwSk5gSJEzWTrnWvsuIPXNKSdrgjtI/hc9TtWKoqNtwm+6IjX+jvZvXogPWXRjKCBth+ieNZgUteapuISnYpnSUgGn7hZnyIXYNZK81rgcHrNBDh9cX/zjgroSV/1Y4u/jujtUebVz9huHBY0u9tVNKWiU4oWkjm9gpehS0t/hDz2gbb+asnWh+ijrwcxRlz+R+cYGGWuOWLdTzCtn0QnSI6Rdo0SPW/osaY2SpZfc7G10a7aJVbxjlNJIEpRXTHVIbFE5/KHznkM+5DOGEDkKZLmcq+ZWjOP+BqB+CSeTZNYpqlUXj9oFyKBC1b7g78jpElE/dJ6q1t13VCOqhuey1iOJERYAOl3jUBkIg7rqSmim8tDko8XEi8QJrCdRkHJiqPI6p3SBn0ShOiy+RW0i+AiDs6WkUvcXpZ9rmeGuoKbCeaus7qWZVxTN2cp2rgDxQ6fT/L1hoG0QmQo3fxeisPxMwZ+DPswRgUSOdRDh0J74cGeyk+fxSwjsUXEWk1NFKoeCVmSuZ6KP4yvoY/INY7oIKhwamOm+AMq26VMjkkGCkt4VeDok2umBFWpUA+VT0TyFcPyMe8WJwvjWkDmrtn/k70NEuC5ZLvZcknRJAEASx/1J6wzcs1RCRZ/Oco97C+IWD5fcTufSH64hbKkqfHSpcj+S69E8RNmkv7zHIqUS/TElSDmr7MQjmtAKCKKJDbS4qzluwzm8P4hqftozij6BFT1hsvoRe/SQ0dCLo0elzPg/f2pEcXMwkkOzUFMh5RtUZS2XX9qJksSzTf1pZ4orvGTbp/CGfyzVRdHquSJCBs0LkY7P+lmloL+RbRmyMpJ0dIot+Wak+wa3PeeiTcSVGAenkucBzHhlsSwo3gyeikkU7sZyH5gW+NpTMQ5sQXl7wDypBvDUGiaDEA3Z8kRNc88FT0BeUJOuI66srSTf6sZ6nyOMFLPEQonbGc91wwJPKGNhcGqbSHiuaRP2/LUVfhpCvMsP96TSoLGWy4xTD6+YiS6oI/QiYAC2DJp7FI8uwwgNzIPU4GEQW7mg11dQ7mgxEVTSSIfF1LDmaIP/WvZTcbO0OzMKZNUaaXsXPMsTUEmFTtGylZIhi41FKKy+tSRZxMR3dLRxkYk2Zauvo4YXiiMPvvCA5zh3cur050vc92h+5jMgAQMTcQ8LwzdIX0YgEjOCGgkdg8saWrNFMjhPHk8yGFk4iIQT1j7/Y6NLQ99lyfI1GayTyacIBYgJO4/kggvuaksQUFhetdpmegqBRC1CxWRg8xEV8SaK6EoPuxd0x+E8ehvjd8FfHoSZqQcQiMoYv4wKmGMRO1zmgSH0kTQKXjFoNzOCyjNuFTQnfLSZWwyQZyNmUczzHDHkoW7bl1QLA++loIXXZce2gEKc/HwroziO9ozwe8IYcfHEG2dqBkWfWP0o4e6EnmN85u56SACu8sI9FE6vyJOo8wXt1aUZ5wHL+AeJ+uobpk7ZmN6TrchU0dj1t+Sa7JlEyrp+RuHM42k63LNM5IPkN7eKZx76GrHhyDvxMzm8sfUTY4oIC4G5tynNhWwjVvI5yvDdEVwREAS59+atmdm+jTFJ2SMdCXb1GoDm7atiq8hpMzr6DsSx6rXmNKvy10CkbSVJGUIs2kbDBpOnTyRxa/kcoggfsYzUGvSrnotadfbyhrqOI54eQkZ+dE6gyelJG42S/IBWt7//fc/mhfL8Q==","code_encoding":"base64(zlib(UTF-8 source of qbase.py)); place beside run.py with stalerival.py (and quotient.py for qcheck)","code_sha256":"1a6dc9fa4bf27891d91701c9b1fce91c19091b7559dfcc282342c5ab47bb306a","code_zb64":"eNqtWW1v4zYS/u5fwcuisJTYWjt9uzrrBVpsWxQHbO+uC9yHNDBoibbZyJIiUn7pdv/7PUNS73J2r1cjsUVyOBzOPPNC6urq6qlItRSJnqbJdM2VWLDvvv3le+YpzWORywOPg3+msQzPE8ZnSy6TzXIWfP6lz45S71g5O8jOY8XytNAin5adTGWx1EwLpYPR6OeEcRbyOF7z8JG9/fkdywWPGFeM52upc74VWEI9suNO6J3IGb4Y36cFGGVcRmwjNWgTJhMsItPcLWdXGXltUcI0UVJpkYRnz5+gmUkRsYPI11zLPVuLOD3aLaSZyNGXJiAqiLViaRKf/WDE2A7is+lrErLBfsGMXlicbrF4qtliyfY838qEx9Msl6Fg4qngkOqMDSeRjLgWzDsKud1pNoc46pyEIppghfKj+ToW4Jg+Fhnjmkl9ZwyBrZC6WVbEMZOKqUeZZdgJxNU70JUKJWn3UimSlmiX80U5Pz0mrMiMDEUS7niyxXzvnYhja1jwElMlI/SuoYGI3fRW9huSGu6zBasZ0BodFjxGD/OStMEjGD0tZ0wXeaKMbfMCO043mwW1aDvYHv4M/MSJhzo+B4w9hTsRPi7nYKlSzEkapmgYGcCIRjmXSpAwaJ1ZJBXf5kLsCYqeYWPnW/My9q/vVm9++vbH5atI5q/ZMZdAagWCO5YIwMWCdA1uIpQKKFHB6BcdxXJt2ASjq6urkdxnaa6BAb2bsFRN2G8qTcpeDT1laQyjVx41Gv14y5ZQzTfffD36x09v3/yCljc+8mhlxBxP2DgRJ803kIQa6inX9BvJA/3si5h+eBSpYk1PRZzRT066pwd5uxn7o9EoEhsGrt7BXxgL5oLUTx7kHdg1m4v530uyLBdyDx9U3hHu4ujDe8Pqgd0s2fyOmiSBbRqCwwySb+KUa+/os5eGoxng6L8/zB5MI07R2kl8HWamYwPvXUEMlhMavVu3XEVLmgwqDXhxOmFT04fwU2PRcOyQ7uSE9Sl5AAKRRJ5htZO+X26vVrPZ1Rdlf20L0x+LxON+U4cKthXQrNnLgfbCmSy1zZZLdiw12wxFFMhWUHB+Mt9n+t4IQT9SrdbFudb9VR2bEXO6AU3xPaIjILvbCy1DWp98ynSneSRyWMtiWdURTlEEThPE2lAD3iJSAcH3kyxtJAd2C/gITGttbrdTGv7ho5xM08G2wXvL93sCzDyYsamD056fvBlsKRNvPru+nn/tFOX7LZyd4G1nkqjGr9VtCCU1+s62z8yJiF4J7fkVGE+kwJOqYUidZ+o8NzpLYJ/gO1bmayLasARJwNqPiVgJdNYEp9b0vIQsuTQghb3Uzbn4ChN+vPVB+AISwlYRoxGKi8Z0iCEIZgZspSFb7KFeCg5Gt7dG2yZ0XDZrJRcJdp8/tDpjclv8563eZ5y3ObHrw4MuXLnygCcPOXItbu3RcGjf72ph0K+HtPRlD5NftmjhIzZ5etagN+x3YyOjht+NGvIyMCiRHwBR0hgwSMBogoIwaIMmUhmhSHUpAOTq84JiSAPAJXN/YZ1cJlmhEUJEoSidEwJzYZNXZOVxuKTVagu56PUDOlFuUViLVBUMKY1U4Y7m1Q4S0U6jjoOYsgz9jdjQxsI2B8HSOLGxJRag6FiFzHqNIdMMRg+b4wYQnJDaadBEJdgogm+RAH4PvY+0tpcg1swnLMEfrDofgDE0+Mhes1l/5JNE7eSQ+SAXlzO8RwoZJC2kjkwCscF1eO2GKd/lRceSwza2yWhdhI+IfJFuVwTjmJOvkDSRZq9Qm1hEjiM9L3sh0rzqvV191aD+qur/OosLNcZiYcxRjdoCsX+YcKubHLTaxHwL4xl5RzZCQ9LVSiZSr1aeEvFmwt6hssr08i3qyoal0IWZkQy1R4+w7fsPtb1pZvAEAip4bFoBVZClmTd+Qp009/0OsSmzB+lpZHCKLVAvLFKWc7PWtAIJ2fODaod2b11REN1kUiumvSidTAZHwoIiOamp3R9Jo2SjqvLQoJbIsHQ8ExGeLgIN5e/y/XrB7kHt/oLZg/GktfEkh56JhcukxMekBoT/YWJiml2MSjCNxL1PD9RQxf6PSMSa/8HWmbosRpqpFWiX7x8XwGflyKaA/jAxw6gaLgw/z1anQKiZPZs0Omi1mZF2ZZPAcubXCLWnNYdPlBfHW5QcO+xLRQ2Iwkla9sRBxcRl04noj9Nv28eftX5Vig0UjscTfeEpo6eMnshtK1y0Ay0GBjXVosLOJ0j2y8Eitl6mV8KOOiGu4SkDYdYelMpqdygMDx35PiaHfw+Q/o0OHno4iJrjIvs3Uqbci+/zPM29cfNIGaYZnSI3G7oT2OTpvnXd0d5jVOqZ/OyORfdjC/XBWiulEgEk6/P44b6OyA93NERS96ZABYPbIPr5hezyonM7YxG8uHRVMWH/+fbNNF1TnWEuI+jewFxvEGLpcAHtEkyAl1D0VqOKBuBD9gIOe6PburonEzUr+BYoaSkoknIhaFBldSokZWsvJPbeXBNByjIyTreeYfbSWkXd7nxz4P1iCF18rTwz3Ue2n4vp/ELGJ23flgmeGp+bRj29rxW3OLt2golT5pEirp28JNP0i0sTzTUR9kQ5vkdypDsEr9puvc+pnb2/tONmpfL53UAd0zqh3bVOdLcG23VAHMI3YicZsdh7YWCrQs+/UISZkNNXNpZwwR4O8miWCPE7ZDvqh9XcDERwM2PR7WADHBxJFertXtDsuh5t6HWb3PBdDPSxPodmxsZ3txYvywGXTjqJpE43abLCgS8SLuGUwZYj+HH8IlDjiYIgyqlunfSiugx0TFoXvNnZZ7FMhLELPdxRkHgE9KhBF7TCBACAFzPoPi1oFxeIGrTvIosFAJk1eaO4nTCvFJIkbJZC/HSkAXzRw/lYRlEwbNDUcwnxB3LqegFErfpAUU6uV0jjaEUOuKx8sT7CrJHbN3xWjm3WE/fA+7XT/biqmhzm2f/0edHQ3uVajv3JzyD3Ku8u2P/3GeTeqThh4t6J1xjW0Kx7Y6abY/wy95YXOrRbmDiup/KBeqj81lXw0zh+aP+jstdlFoXYv0gzaUH2dPe+QX1PHnzEg+0OnJM8exj466zY1SPdSxgVN1H0fLmKKZT220m/kcm9OaX99cxv+20u8DWc4QeoXjo2fNbOJJl5E7Qs3Xyw7tzIXA3UTplgjaTsUmafyi1A95GYMSScvaXE4MvBQcOhkwDXsrSnLVNeuXU6yjBjrx2H7t4cj4XdpH0ZttLuIKr9PtgdCd8Kt59Z12tKJu3JW549V1d15fIquFBk8035WB+uqfVrV8tW+4jEr3EegRpsUyYb6rAcPJKChjsqou5XIFp0EL4wqKVXQZRz79xrKxblyNdM9gMNL7MApLgpBSIJpmU3lVNdPb50lI2uGxeAePFMOdgA3kABd8O4uUDO/lRdiMqBqu0K/mFi7mjc3c1tj96GK0PqSpCGTL1qcvIpJacrX+qbbTN6cKN+rwJyKkyiFY4HyoNEfvMiCKWyuwdqlDSRcXsViOQg8zQJtjhEjd0rvcbhjO6ocoOgHVdc69wF3zEl9XHn0q98IZx4YJyR9L+lcO0oB/1nUUCv9eIx+4yWxXKZjFDY0ou4sU+viDf9GLMJzGtFj2YGUbHPlFdVFGTn8a8JZP0vo2O8hw==","commands":["PROCS=24 python3 -I run.py stalerival:Policy 64900 256 tune_base.json soft=1 qm=qm_k1e-5.json a0=0.35 ainf=0.35","PROCS=24 python3 -I run.py qbase:Policy 64900 256 tune_pull1.json soft=1 qm=qm_k1e-5.json a0=0.35 ainf=0.35 q=1 pull=1","PROCS=24 python3 -I run.py qbase:Policy 64900 256 tune_pull0.json soft=1 qm=qm_k1e-5.json a0=0.35 ainf=0.35 q=1 pull=0","holdout: per 64-seed block s in 10000..11984: run.py qbase:Policy s 64 (q=1 pull=1) and run.py stalerival:Policy s 64, same options"],"completed_seeds":{"parity":[64900,64907],"tuning":[64900,65155],"holdout_variant":[10000,12047],"holdout_base":[10000,12047]},"remaining_seeds":[],"limitations":["Replica only; nothing here ran on the engine.","quotient.py's own caveats carry over: the +/-2-ulp ratio interval is checked empirically, not proven; full orders can hit by chance.","Operation counts are replica counts, not gas."]}