{"item":"la-5","batch":"e08-lean-a","credit":"Credit Taylor (gtmcknight): replica, Gaussian filter, qm tables (github.com/gtmcknight/amm-sim @4812a6382311624e1506aca131ca35c378f930d9, research/solved); seats qt1, TC-A #770, o1-a #541, o1-b #1497, tca-path, buy-grid. Item la-5 (batch e08-lean-a): the tca-path tell replaced by the LEAN TELL in reference and Solidity. No leaderboard submission.","status":"pass: P, Q, T, F, G and E (both windows) passed. Replica and engine measurements only; no leaderboard submission.","tell":{"definition":"LEAN TELL on a step's first own trade: previous callback reserve wads, fee wads returned then, this TradeInfo. Sell (pool sells X, ask fee): doubles py, cy of previous/new reserveY with d=cy-py>0 and trunc((d/g)*1e18)=amountY, budget n(py)*n(cy)<=4. Buy (pool buys X, bid fee): double rx of previous reserveX and xv>rx with trunc(((xv-rx)/g)*1e18)=amountX, budget n(rx)+sum n(xv)<=4. g=1-feeWad/1e18 in binary64. Positive: pi/(pi+(1-pi)L), L=15/13131 sell, 16/12889 buy, capped at 1-1e-4, mixture kept as tca-path policy.py after buy_pass. Negative: pi=0. Over budget/unsupported: pi unchanged. Nothing tuned.","implementation":"Doubles of a wad and virtual reserves found as the exact interval of a monotone map, by a walk of at most 16 bit-steps from fl(fl(w)/1e18) (virtuals: fl(rx+fl(fl(ax)/1e18)*g)); an unsettled walk is labelled unsupported in both reference and contract. Checked against buy-grid's full binary-search predicates: 0 mismatches on 27,289 first trades (replica seeds 64000..64003); no cap or unsupported label occurred in any run.","source":"bounded sell_one_division and buy_grid of result buy-grid (scratch/bounded.py)"},"P":{"status":"pass","command":"python3 -I gates.py (unmodified, research/solved @4812a638)","rows":[[10000,448.261189,443.455598,443.522608,443.66352],[10001,576.779199,571.463409,571.623551,571.977293],[10002,531.886497,525.168028,525.865859,526.411631]],"matches_readme_exactly":true},"Q":{"status":"pass","criteria":">= +2.0 over qt1 on report seeds, no seed under -2","replica_steps":10000,"debug":{"seeds":[64000,64063],"vs_qt1":{"n":64,"mean_diff":3.0595959715980507,"se":0.10970149096116023,"min":1.0067811864428222,"worst5":[{"seed":64020,"diff":1.0067811864428222},{"seed":64003,"diff":1.4439091474210954},{"seed":64029,"diff":1.501899385256138},{"seed":64053,"diff":1.8348874725837732},{"seed":64058,"diff":1.8525749630574637}]},"vs_twocomp":{"n":64,"mean_diff":2.5592207008414896,"se":0.1256034354893921,"min":-0.6716421906133974,"worst5":[{"seed":64003,"diff":-0.6716421906133974},{"seed":64020,"diff":1.0323458971218429},{"seed":64055,"diff":1.050038874726738},{"seed":64029,"diff":1.239408181714225},{"seed":64034,"diff":1.3052538501580102}]}},"frozen":{"ref/lean_policy.py":"9229a7638d9c12a2bbbb6ce4040c369a625fac4db4a8077b57ea95f85b6c2e5e","ref/lean_tell.py":"4955f95ba0f83ef63a48f9e356758465b8de1b1acfa2dcbc3065afcb7a32e0a8","ref/port.py":"81ec1136146777e10056c3a1e1ad5282de5a1b53e90d425decefc288e5948aac","ref/twocomp.py":"9d3c1833321493fb51bbde4e1b4dabc2f8978bd6d774ee2af8dc8aed13f0f0af","ref/qmref.py":"1dfc9b7a3c2237ff7a93dd9f0af54b9bdab16f2ce0a7eb00784cb4432598db92","ref/blob.bin":"3ac7cb8811ecfb6a17f499aa4e9b70dd55f7fb6432b3aec3b904e11a3dece38e","score_lean.py":"21cd7bcabd86b2e27585a6ee01172a752d82de72df85fad2eb6f5d8256dfbb43"},"report":{"seeds":[10000,12047],"run":"once, in order, two contiguous chunks 10000..11023 then 11024..12047, hashes asserted equal to the freeze","vs_qt1":{"n":2048,"mean_diff":3.1598948140998226,"se":0.0222262108662516,"min":-1.3596829746003323,"worst5":[{"seed":11062,"diff":-1.3596829746003323},{"seed":11376,"diff":0.012546694402089997},{"seed":11519,"diff":0.16165349985828925},{"seed":10642,"diff":0.225518981451728},{"seed":10146,"diff":0.25751453048019357}]},"vs_twocomp":{"n":2048,"mean_diff":2.735097355172289,"se":0.020726592914039787,"min":-0.5123844223919605,"worst5":[{"seed":10578,"diff":-0.5123844223919605},{"seed":10403,"diff":-0.19645146412335635},{"seed":10141,"diff":-0.010966982256945812},{"seed":10923,"diff":0.0025574599698643397},{"seed":10731,"diff":0.01899789356951942}]},"mean_edge":{"lean":536.4227446709614,"qt1":533.2628498568616,"twocomp":533.6876473157891},"label_counts":{"buy_fail":3292284,"sell_fail":3296832,"sell_pass":3878870,"buy_pass":3894629}}},"T":{"status":"pass","seeds":[74200,74249],"first_trades":350657,"mismatches":0,"label_counts":{"sell_fail":80263,"buy_pass":96692,"buy_fail":79488,"sell_pass":94214},"stream":"unchanged TwoComp on o1-b engine-order port","sha256":"df5151866c7c127f9acfcdfacffd292acb8ea29fe85624ae0d3cf80919e8696b"},"F":{"status":"pass","seeds":[74200,74249],"callbacks":100000,"largest_fee_error_bps":4.829964813518606e-07,"errors_over_0_01bps":0,"tell_mismatches":0,"pyrevm_replay_peak_gas":202480,"replay_callbacks_over_245000":0},"tell_gas_alone":{"method":"Probe contract (same TellCore) over all 350,657 first trades of T; gas minus a no-op probe call with identical calldata that returns at the fee guard","peak":26895,"mean":15973.14922274473,"previous_tca_path_tell_note":"tca-path contract replay peak was 298,073 total; this contract replay peak is 202480"},"G":{"status":"pass","deployed_bytes":24504,"limit":24576,"strategy_sha256":"f4018bcf911184c80857643aa708a0a42104219190324c1b1f41e031d15b9da8","configs_check":{"credit":"Taylor (gtmcknight)","exact_equality":true,"n":8,"fields":["n_steps","initial_price","initial_x","initial_y","gbm_mu","gbm_sigma","gbm_dt","retail_arrival_rate","retail_mean_size","retail_size_sigma","retail_buy_prob","seed"],"method":"Original MatchRunner._build_configs code object with only outer range bounded to seeds 9974000..9974007; engine.configs output exactly equal field by field; no engine run."},"attempts":[{"seeds":[9974000,9974007],"candidate_sha256":"2c88adacfe6e948f940acb27fff221527e55240ebbefcbc86b898daa10c8ed7b","qt1_sha256":"c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca","paired_vs_qt1":{"n":8,"mean_diff":3.4564096319258084,"se":0.33001529096812166,"min":2.2154761699812298,"worst5":[{"seed":9974006,"diff":2.2154761699812298},{"seed":9974007,"diff":2.440528470446907},{"seed":9974005,"diff":2.5578994243199986},{"seed":9974001,"diff":3.638814467611951},{"seed":9974003,"diff":3.731722573720731}]},"candidate_mean_edge":514.223128555017,"qt1_mean_edge":510.76671892309116,"afterSwap":{"candidate":{"calls":87398,"peak_ok_gas":244958,"out_of_gas":1,"revert":0,"other_halt":0},"qt1":{"calls":87692,"peak_ok_gas":209063,"out_of_gas":0,"revert":0,"other_halt":0}},"status":"fail: 1 afterSwap out-of-gas (before the gas trim)"},{"seeds":[9974008,9974015],"candidate_sha256":"f4018bcf911184c80857643aa708a0a42104219190324c1b1f41e031d15b9da8","qt1_sha256":"c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca","paired_vs_qt1":{"n":8,"mean_diff":2.9072890080052645,"se":0.593510309406727,"min":1.1163071192539178,"worst5":[{"seed":9974012,"diff":1.1163071192539178},{"seed":9974014,"diff":1.5513016679948919},{"seed":9974009,"diff":2.2946381090199566},{"seed":9974013,"diff":2.373539565943247},{"seed":9974015,"diff":2.7131848953175677}]},"candidate_mean_edge":589.6321788456245,"qt1_mean_edge":586.7248898376192,"afterSwap":{"candidate":{"calls":88497,"peak_ok_gas":224063,"out_of_gas":0,"revert":0,"other_halt":0},"qt1":{"calls":88968,"peak_ok_gas":209616,"out_of_gas":0,"revert":0,"other_halt":0}},"status":"pass: after the label-preserving gas trim (specialised tcToWad; walk reuses its last evaluation); T and F rerun and passed first"}]},"E":{"status":"pass","windows":[{"seeds":[9974100,9974355],"candidate_sha256":"f4018bcf911184c80857643aa708a0a42104219190324c1b1f41e031d15b9da8","qt1_sha256":"c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca","paired_vs_qt1":{"n":256,"mean_diff":3.162684951987495,"se":0.05883176824243496,"min":0.3212963583372357,"worst5":[{"seed":9974142,"diff":0.3212963583372357},{"seed":9974226,"diff":0.8824619990572273},{"seed":9974166,"diff":1.160111611778916},{"seed":9974355,"diff":1.2056682864886739},{"seed":9974201,"diff":1.3138237465060456}]},"candidate_mean_edge":526.7231642470992,"qt1_mean_edge":523.5604792951118,"afterSwap":{"candidate":{"calls":2767369,"peak_ok_gas":249087,"out_of_gas":0,"revert":0,"other_halt":0},"qt1":{"calls":2782411,"peak_ok_gas":208955,"out_of_gas":0,"revert":0,"other_halt":0}}},{"seeds":[9974400,9974655],"candidate_sha256":"f4018bcf911184c80857643aa708a0a42104219190324c1b1f41e031d15b9da8","qt1_sha256":"c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca","paired_vs_qt1":{"n":256,"mean_diff":3.2029171653420416,"se":0.0617286657037587,"min":-0.7004886374509169,"worst5":[{"seed":9974408,"diff":-0.7004886374509169},{"seed":9974514,"diff":0.1557645260950835},{"seed":9974490,"diff":1.1803077250252727},{"seed":9974440,"diff":1.2926993577870007},{"seed":9974424,"diff":1.297046504669538}]},"candidate_mean_edge":535.1002537490685,"qt1_mean_edge":531.8973365837265,"afterSwap":{"candidate":{"calls":2795188,"peak_ok_gas":243441,"out_of_gas":0,"revert":0,"other_halt":0},"qt1":{"calls":2809993,"peak_ok_gas":208849,"out_of_gas":0,"revert":0,"other_halt":0}}}],"pooled_vs_qt1":{"n":512,"mean_diff":3.182801058664768,"se":0.04260440866978948,"min":-0.7004886374509169,"worst5":[{"seed":9974408,"diff":-0.7004886374509169},{"seed":9974514,"diff":0.1557645260950835},{"seed":9974142,"diff":0.3212963583372357},{"seed":9974226,"diff":0.8824619990572273},{"seed":9974166,"diff":1.160111611778916}]}},"seeds_consumed":{"engine":[[9974000,9974007],[9974008,9974015],[9974100,9974355],[9974400,9974655]],"engine_note":"each used once; ledger enforced by engine.py","replica":{"P":[10000,10002],"Q_debug":[64000,64063],"Q_report":[10000,12047],"tell_exactness_test":[64000,64003],"gas_profile":[64000,64002],"T_F":[74200,74249]}},"bundle":{"format":"base64(tar.xz)","sha256":"3610e588d11477080150f22dc57c65092f9e97638f799d63e4156f8cb6b14be4","file_sha256":{"Strategy.sol":"f4018bcf911184c80857643aa708a0a42104219190324c1b1f41e031d15b9da8","Probe.sol":"79390c6dd91521615f52e9be149b598bedac42df62e1b6f7504ac2f2b5e37551","ref/lean_tell.py":"4955f95ba0f83ef63a48f9e356758465b8de1b1acfa2dcbc3065afcb7a32e0a8","ref/lean_policy.py":"9229a7638d9c12a2bbbb6ce4040c369a625fac4db4a8077b57ea95f85b6c2e5e","score_lean.py":"21cd7bcabd86b2e27585a6ee01172a752d82de72df85fad2eb6f5d8256dfbb43","lean_frozen.json":"7457c736970de51b426c58cc361b693aacc3774ebf9832752da290445c55c6dd","build_lean.py":"ae6d18ee99604c9838c27604dcef41c218966ee3cc20bdbbdce9a33fe104db3c","test_lean.py":"d2f4ed105c0f33f286c62e9c9cb9dca5067fbfcd5a4d235c2955a8bb6c5fe812","test_contract_lean.py":"74ed0d7ce3d21c1a7e71eb7460f0d59b245ecbf62ab835459fefec17d8cea1c5","prof.py":"0fc1e7c1fc1c03ef48021aa6a21407ade3b513c64523d613a5195e1de93762ce","check_configs_9974.py":"a47a170c019009df8ccdcf3a85c9eccc1e65a413036a8cbe253c680b426d94ba","assemble.py":"8f162a35aeb1f229ad963749c0a8779bde8426ad248f015c639e7814ed85674b","x.sh":"52ea98ba332bc08cb88b0b243ac24b47cac095b6d3a8d67c7ebd1f2bdd5fa362","CREDIT.txt":"8982d61b9ded963cdfdce97dce5b86624c670075891fd450661ac8968a2391c4"},"data":"/Td6WFoAAATm1rRGAgAhARwAAAAQz1jM4bf/bi9dACmdCkYjqY9FAsUiKPQkVWCd/9YMWcf0Oj7Qu+5tIE9UJXkBh4uaRRNZHQDwkEKQwJyTvGIfEjq6fmIcqpWTZ9BbL4aImHDNtCyS1SiUsq9AcXltPWHGsJqHRcb4JjHGt5R6CRi4ot6EbbodTnY9pv73DJv+vlyZw66uDOWpvvSPI2sKI/Om/jmTuYCtev5qGIGcXPjbJyL4XItr+JXT92y0lL84EMFcOkWP12KagqPigkuGRWeWMVe5iKncnzgXzdXXLb+61lp6+sWDxm4uF/+m4wgrznXHX4xFg9kXyRpAO82p2pzC/Gue+5cX4raOWcDm2TPosQq/MRReSIg0o0v9Cw4D/OwOXK7ka+IdGqdq5SIa6ViNzP7AQkDO5h1RXMvCupVEWvJvyLeydBOZ2Ww8zmxDqXItnR8VUsCnTvOkT5DvSvvXZp2W7D0ksxl3CRKrAacNk7x4RUHiDX6MmkRCLeaRPxiMThlzR7wm6tmXV8Scvune7GUtVQVWIkyu7f1PWmmXPUeZ71pl0hw2djWd6wrk5SuQFgIR+9ZYKzxpvwEPEGyEKLW5IxKaJ7alfVkdviy4FMgyvt+AsCvXXq/EFoYh8hUG04kY+NS1+Mxot3MXaf8QnH/PpbDOa+9MRynBg103fCz7YCzl8j7akMFy5xJI4NT35SqxYjSsuPrLAHiDc7NrMDVVeopiIL+SVHEN6uTkpsLdSosu0n7Xc1RoP9oHntzZvjCP5gkH7nIgeReDadnbV4BWK4WWXjLckS5a90yvFJJSlkTsgfe18vw+4O5AQlbbLDQ/q3zvvdXwszttLj0LjddFNSfhskqPIn1huF5uFBkq4TcxeTnbokH2UlAnNaVKj0OPr7oei+J+pyvCt7x7NE+fvIeS3Br3cwgx/xSxBRS+8vomepUKTtztGBw3YJFDspMJCu8XqJtVWn9dnpaWxJC0g+WdBK5/vcrnTFXASe5hwiDj481f7vRFsfErGZlQ4IhNskTvTMXDVh46+/6gnMaqQMolfmR47L2xa6iLbpGMwso0NhKvCq3NCQa6gxDrmHTgXrRdyH7Eb8XvNyh5yndGB/Ahy/JKk1I/4a9727LE3ykP3p/wAJr9oBBGAYVZ9l9ZounuHcImWQoHx/JGIpgAf+t9V/Ara6UBUe58HgKQHRJ4mgMtDIM63/WukQqecfQoS5TWm3ivCORfcRu6+nAYBtbeJBjtgt0RTub+fSUDOMfRvmLpGMQ/trdzq3fTSVBkbA28utCLklY5tSG2I5aRQJs93waacJQ3hY89aIPS48KDKE8hhSGb4dRp0yHOxsU3y8rrNQ/x92Nh4VtAB8CYSGx9wLPx0xi7f1nMa8ttXBiOFxgg0PX3FY+CSr1JMa6PX/btvastYftuFGYKv6aI1bLX9/pfb/9wfC7d9yWaLTu9nXaZR5eJ/+1Vebj9+CktpbdfF7pbJ8fBoKZgRT/LM2v1XQLfU4OjXo6F2JWLCAk+ndfz04AgY+H9cxddn0n+b3ypaKVE0ub1YeSJzC8D4AmLwsTQ28tdyy38ME/bfPOPRootfyoZoDJBqsXV7I25NH0pfYsWcShUaN6BuGVfvFnd6kqzArdN+i+ZoHQntw4no17X7rlQpFMM0rEcrA+gZnZJJhtmkTXeuyme/vzsBMszJRikmDFEa187LMsImKCuQRxECeP1InRiI8ekKqu/YkVb3N25ez3bNaBlVLIaWR2hTvcreanbLA/Pv5vmMzuhLvWh46H8r2n88sycCq9QW3Y04y1si1zaBDH2pCZmVGfLlJDa7V57V/ct7OYc3traefzpdMGcHedFStN9nwstlBcGT2hDkBP9ASVGaJArX9R7QYKfUP0t27w5Ut1IoEMDZeuMxqwGiLQNVS1lycMzsRmdFTSDICx254REXzT8TyuzuCjCYn6mUPKfmcPPKw29w0hNcu9/Sr5WXScK5OkcTFRwcm067az9k8FqXBi1JijMEYzPvqjB9CQle/VoCaSnEThVBESgWnZ4XLVjJCEVpCJs4VhFW25Nl+K3UGmu+jqI1AUSnZUVDGABAMFf9MXshON/BpLABka/s/3Vgy4qIEGTAsRnvSyfbOL5Z9HhQe/389Lu+ts3OVlQJnxQuy39Ty/3FtsFJctrTj6k0kn4p3Umml5YprolSdVHTzt6qdpWUXozI1G0EbezEZCRrvw21HjnrbDombvICbP/rzXtPs56UwcTuvYyD79lrFMTp20QSBSkUq1G0J67UEYA0f4iVm2p+QUd4xm2ykfpL1KwWqz4k6g+CayJuhF6I+zmDURTQQ+dMJauApBGPjgkWyE2oZuFmtrUtmH4D3FB9eFnZDUfwIhyrv77xpUEpq/tsOY1BoA8VR0i5ib5qtcvbInQqw9bRuPUb+UTcgTov3OSD0kfLhN1P3AIi9xHYX2ypwm5S9baMOnOef51n+Wb1UYebMvPXB3CPWiZnd8NE8NSrwf13OWwwUxKsUU37JkevmNF9GWmOqtNGtvcG5/AcoR/Mu4OZ2alz+QWHEuoEziwfaIcxV0zUhTKDDAsfUN95od0EOz7WSqUWXLolBzBpgGRTpwLrnpV0P0IZHQaDBuYSqzY164KKxY8TnDI7JNx8mlFg473lEG7AEp6XfET/dqeNuhSsuk68ES09k6HCeTO+z0Jx8TDiUD6BKzeSPvxC9Cm+3gmso2EVP1rrVjI8MFvjU7uoRto5mIU21gM/ETje0iPUdufeAIDj8nwQ9LD8rsWZHDMrmbvoms2qNOX0PmCHTrd0967YzgFLPncpmf8BC4DGMcRArlFOXjsMPPtI0xHTO3dgdfceHTGg6QVlnuV0x669IqBi63gmBZRY2k8h+d2Nx/rXuoCKpH0Zfzp2LyeqN8+DaERWfgWXcmV+Bp79qCRV7ZcHu2+ClMB1V+AoXPp1YVrUbBd5XWMywR+mG4Ht9qE6/sCRIDVrvAAmtjVdSfKm7m1S9IN5lpZOtVE+5QUv1AN31Co5LmghZSENEaw4GNFsKN4HJdcCgz6haCH96MnEmqJxFF7SWb4FElLf2G2KDKxQDPijkPBFHoCLZeCGrChwwfNtN76g2MssTM3dIWumT+Kf8KFvq5zlnPOC2TD99Elz9hl+eMH9M3JDg4XgD8OfTZ8dhxCbafmbosgvxPWG0MH5YwjLxX+e5kOFnwjsBHcUQw30GsmPxZhrH+GGGVWLAOfMKxa2nZiicV3RwWO1H/hm9ilz9Ni0HvSaYC7W8fDHz8UMzvRoWat8SQ7wPcWaKkZTXHO8Sdagw6T+aV8vWCoOrRRJVrT+wgWvue3V4o7zcvRe9TxHxBb3HodWoZnyXLkF7KXJeEaEPpvbER6YSUE8mOa8HSWxcg7zFq1oNJLIkr0gHz9ssgwgl4N9DhSL79ldbw1VZLxmHb7fsFH9Uv7fVNKVxE//Nb198sO5sZz+ribxZLlf20NzwLbQTXVzR8ZYwu6BDzccwODeDLzcAji6wsCeHUVlvfWed2vZVEfT7wvRVokRw19kZar0g5F0KVV4a1Gt3upVz+TeOMM4Mc3SvZl7pB4Pq8IoY4OVzbXAFCxX33UwdVJM45TfNh3JDLHIu9YKfZNnNAM7rU3fMsvI/KbyVtIxrtQIWfZ1g59V7ozvgta9GEoyV5WkbjbL0AfJBlnqqSHUcCsG3K9pbCP3YCAPxLR7p0Ex4KZWfI3404XyBzGWFOnyVQWuNPWOZDyGh/dNYZ1gudPer2bLHYWDLY88yrvcLhWiJvoT3X7QhkojecqWtrvYezqPdBKXCqrDEmNnAHFhQ+onsvKp8nPHfb0+dv80i3ai2F4MefhmiEtA/yKqaq8f7DGs4b/Ie3x+UpIJyhDDM5rsgnGxPnGRX3z6nsXHyHEAwsGPmYVN7Q3suWLVCB6+mKP4rmlFqzKAfYtDV7QA7QEiO92gjiv5FDn3rucJFSQDueY9KwFYp0ftPwtY1tW9XMmSS2L8Sa0xm4Vehp1mFPKkgbdWUpIKOE2Gnq4aVI3mpQLTLBGpPmsrrPob2Huu53ut4PRLSEWEOpch5kKlluYdEo3mcersMbx8bn6iOHbQlkd0fovg+1VRaRgd3RNvqvA/l11lEpT/M4KY744IBCCmAvmZ0n3h7wdGHfNiBpqJSpwu0SLvpI3HxWJhm/u3yNABBqpcnCWFy4yG7sEwokmbyXOgl7+Kv7pIPdZ1TiqlWtaHPrAPNZYWrS6NbMrgYEQucyYJj6r4EXpZ9todrVQdxgP5VRnauJN8SScYUCqaxQI5uZJUP2/8D8JqdeXWinobLHGTEYzwNgH7i7Q1sYBf1pMNaq7z0R9T3dIhs9EGCHF6c+PO8Q/Y/mo4YW2Y6ohaTv/Oq3UeGFx1gC3t/5N15goPFmbMVdm+dOLITB/jnQEunnrdxvLTsiw6o4rLi0hNcdAbvS5CBYrhKXEyJp1VBFf06/C5lGp/XJgDzsToOrCfjhn9qTIoJD8vhsNDNEd5Pya172PweK/afKrtfR6Gx44gMjPhcsLJZuIOKAPYr+S6V1yD0rpXBMfwHZDs2S+RAx7dxcLv5VtXkIuzf2VcXnQ56uAYDYWkBB/Oxu4JXE9bHz6z+RY/wFZXLrlg28ZI6TuSd2ePuB7+Rt6PwiyX9La/ivKOWkqNoTuQ+W5Lb4MwR6sNYVrM3MsIppWyStLShDCLIcEzo5ROtf1gxZG7tkOu0DhQvnP8K+A4PXOiJU+bxbJKhwArbJJ5AqzncZVymWlaLoQoBVNIsLDQVKcNpQUJRTZ78Xo/RldC+3/5Chhi0AfxpKKDhb4IV6L68HyLUNCy8Jr4QaZ1UslASipRWywKrGjttyhwtx30uT8WjPYVa4jNA0elGv3ZkSpoGewIC40LBE08lLZt+9xAq0+aQis7PWvI3jAE6BawfOxezDvOv2QBW0Hcueze2SfinVuS5fR2+6g29PXrReeSg4Y6cGSWKGjgo1hKbXQpEN7li2WRsC/1/Hr6L/Xa9wDJaL7jity56hGh83eft4Yd5MweFZCsCNM/lOWaJsFBeP75uPDrXrhDNEI9XKSXuD00A4od3eRQUBV8tRhljxLsRehsZM0mKjYVd8uSYqO4uAZvk4X0ngVrek49YRiDfknrBoWUXUxNL7Mt0Yrwnx0bAqzjuJDUdwAiVjaKh5f0DA4bs+tt974QUKiqa1x1+ZkIPaIGpDoEn/qcy1teCceKNfEHijQW6p/gubem9vHYyI18k4yls8o6By1M5vpm9KSW57SiGUeNyu7L7xtdpnT4T1nztx9GcyMg/fuylDn0xMdDt/rHqwF9Q0f10Rpk6lTCRR2Rb8KPbrsV0EsfOv3Ao/6gEJTI6NHfdzgrxMLg4L6HrhJFnsBmw3gucm3+XVuiIGa1CfSG8xvnRM3LPFL8VUi9jk/k6YbSJyemCMJ8yQfCvM29IJF7p22eaWQkMOVDQdIoUpXdCcFwQkViMV9qQbOAUz1W1Hh0yC/+uYGQ0jGqmBpkJj+KtI582QLuIJUcMCvda4zxJPFH7i7UZqnLuKbvKKzgyxrG0BJMt/tvipVGmMS/5bALi+h9s5biqC960neashCd4VoBBb5XPb/AJhGQRin4z0kI806Usv3nUsUQcLjATya0pxzfCgmntFPTmSdkN+affgca55lzeGHiysg00md/MB+CMxlHpJjM5Nyzx7f0xdEpSLj+9xJjZ1roVwmo9Bfo1lcXc/nuO11nw/oThR0OT2w8P7SwhM7jN0sV91uzTAJFxhdmwzgk5s0GimsWhdEyZjo1UzEkIVxZ2LzPIJyM+RXvzf3fQx6nNMYfpcL7Q4M0JLNcuNSeqm/eQN9iVQpzdGTTVpO15ZSUwRxurPcukoQl5y4466f/kezgq5hVkQtS/fTKxNv0EfUpo3G0PWnmb6UZmRFBV1tL0xAM7ZK28rMHJrZsQdScOWHACvyvpEngFNDFez54P217URe1YB5raU6uw6rFmWMRGgnDpv2MroYP3KTmm9QEgmtvwmxsu+O6+TCtX1APl9vfYlFi7e8h49YA/GNca9NFi5Ue7EYA6NZ56ll8NNoLI5Em1Ngym95u3bZxAnwPws3FzC6b+nyS9MfgDo2y4HbFbgY4mKzODa6d0kdr7ovrSdsq/tvOzcTpx9XbtjUZmF7aAjqeWtOPOXpyJNkzNVOYqwySLT110/PAJcTD4r7hkAgMtkn5ufrHuT/33rjVR1DZdaAYmGZPZ35Zqd5TvomoJd5T+F8xvIVSahY1yHmb+qE/vNRAdIRtCwqrfdz1QJxKQ+qa3C1+oxBBvkKd+yc2Lqrizd5ISsOA0VihD8JP0X2/iGIFRMZm+iC5YMGh39Oa9DQGaSHeZqPirNv/xfRdnc8xgEsj7Kk1xUUGjsOLnsp85X7ofub0KLFxoRtN0qUKNpjF+TeYqC8QAGCkZZyPty077C5xQCkX/Ij0kFA+Y55ly7sePwtuQeAu3M1eyokYAHnW2G7MPa+zuFVBxSNssRYruc7XELX8GUKIGH7NXOe2F7C8VZX3axojy6iCez7LMQDWNq5iRGdRTt9XrG0uZ+d7pPAltFELoNWo5x97gQu6uGlF7evSItsbbcA2hTF6ixFSqZuzEjcBOvcQNZIxFGFcuaLDctb2U8rYxwEwMj6BRXwDEfypsBWEIfVn8VUexks6/FXD7PJFZ7TvrdfiBlNQir24tfES5ThSIIa3piez1wOqKLF1FeprJyVC3tHuVsf+huL1TlEzu8QVgHaCku1JaBgouYCfjy7rIk7vhDhG9m9BeNWKDie6oOwOqg9iGLWemWXkiUeUsQUHWdnK3g4KXhPhbY+qsxhooCT+Q/t5yoYbdnRgyi+WQx0SCf5VWONMJ/VOSU9fvGFCndElSZHU3IMmfaKi24deI4xY/qrRSSGjD2B/5k1wkqlLqqfjveI43Er+wtNMks0pfJvtFwDRyjraQckYLC1T0sX+1OrEE2VxELZgLbdRwjF6ft16/d/UzHVGtqr1nIFHdVCE8aE9WSW/V1U7PDAP/Ec6tNHDoivF+Wf+YrSKnLaDDstMP6iT9aiZWsrRQ/qrABclUaBjxsYlCPNqm5LR3vBf88CbW81X89Ih5YpOOyEPAqbvCkF9Q3Pgw5IEkNta6m9krAQl0Uq/OIDLMyxPyr05Kz3gcu1oYoEq2d6J/0nbvQwVTG3owEpnh4eLGyiMne+60CFna1s+JqJIUdrLatQ+Fipa/y0Se9lg2AVDkAmTphaA6NHE9hND5CpW080s5OhNbp5FaXCjHMZVfcAokrB0pO1JHTQYTTr8g4lOlD5c3WkHxMC9XosCw0ATDdy06T5bOU+IAzFlyb7ZGZKEKWTaY6tksm8NTThDJEJuu3tVm81FrHISb4o3LY8A/A2DWq4DFM2nxfvC2JnhgCOrSlQSB+VkN5tEoEanF2MMISD/u3AJN0y/gcJ/6mE2DCn4gl4mUU+SsktiKfifuCLXFtcA2ZiVTH6cDYzM5+97Lizqzm7U0lBTv0xTBg5OSqAyMQ11Mat8mcVmYMHwbWbH05kX0lsyM51g469V2r2cSPD5vl2LFHo79UUXjRKx+N0TiWDXaXEhv3pB+GpELUWjoakDaLPjmVyi9148LJsSNKsiY201ocnjL8Xuf8u0exVjbHeTJBfjIFnKv4QlRwDcy3x7KIwRsJ6jG7f8KSfq3Y18S/FcZrEsslmi31tM9bjldyBth6OV2ukasTMN23Qzn0UwOYWCNFB749UkkgZSPe1ahile+T3zCahGGGNssc6ReEokc6IoThmKnBlHXNx25RaWwRYKj49aSo5KFrkk9xJ24560I6GqAh33+ngPX/uLjHWIPXyDpYTQnqHMUDIcmYkzulpACbPPTIV+NooRFvAE2/tPHt1BADVLC4C0iif7/KoaggBzfyGI0X0pvhJjuQrEuYFeSNnvpiIDlu2dHwA/TlP33ysdUb7wFs+2yibdkvV0Sy1cpfSxXpV4Ftj526WPAlqsRAVpxaaNQN8uAkNoLtctKLppFZ3EYRUqjUQxLPGhZ8fW4d9o6J0cG3vmWyDj7brjHMtQjoRae+wh/SfCbutoFTGrVeNv51el+UOexNVwgUJw9ZDGXLHNeGdbDyR730/M3NNrQVRO04AbfwVeWrVqDg7/OxTi4L9MTvCVgz1HAEFDS1bBL80Ta0EZKfKwLh8MvllPEU/A4ShocMjDhqjJEu7qtJLN2AJBADzmCb7mn0odpxCtQUG28a38ZBXi+bu0I/xrXfNr/AcmZXCbnVjylrmMYjq+ZTtL9GKjyAm332YEsEp3QBV2kn8YyLDjW4KZ5hkTtZvGSe6kCnGhVRr7343z8ELMxMftpJwdEsXce6pjFU/39rc/FoZZEPTTucTXWSyoBad7pb3Ao1VYHFJ9jgIIXudzfsl/E6t8tZd7bvvCJhbxo1Pim0uqwyx1g3fulH5WiAcgGsEYuPoeMJiHVk4dhUQ+BPg+Z6C+qbNZGyCsQsE+V+fZsJCVu5O9VcZRVV/Od8idTC/+0/9pxW1aeQo9WfDkoDQDIlxd1avUcYLASnfSOgQWyV7b2UidEbOXR4secPYhzSWZvUcNrn8BETySgcYyFuPhiGjflspAncfADlL9llnXB5OTYYrVBJ9jsDf1gAZHMIr8hlwfvulYxWwGxdbys3VfJZvCga/O9XresZgRO7dHa41LQNIScoEZNE14rqfyIxgaEGUeGCdGgDMsmXw0nwYt1r7vTvg/PZW3gBHGMWrryOS7M7ispNAsKxN2b/yI+kvr/GfDG1agYvTrsBLOgzy5FI3/W6nFyKXuS0NRBCuJMBV+bBa2W80XoXXnxoSVDygE4Kj7lzfUiVSTQITptrRRqMfmgi6suMoe5LAmuOp2swE2xOSPKzFeGnQ+aSLJFbfCFSURHn2CW5MsUE95tI4X0bwhSEz5EO9Jrb84ayAFvJ2T8PjZiXQGH3tpJzdmDiTkRlDLwsjhikO44IQ0qFmSkFsH6+KrHGZUdwlXnMDg2Z99KJtv6toEH7GnJSC/8M862xhqVibBTudKxKTSxVtomwVU/KKhy7L+bnczGx4TWeTKOHu4PclbzMWr4zeVK+Vb6vzlSO3uiP77eyF54RQXsuxSZ/vupBys62vB2zlOh3Hl+zk+mZ8q/Jmj1ZvQDiIDWsKxdzYoo44YhSij+y0xvfoecRTzOQQUFJQnTea8ROVuyzLqt6vDUWxygs+M1tDLtV0c8nGXxTFvvtbDc0oRU4ecbuA+6FJ1ff8x/ThUtmrdjsrNWZnDJ5agSES6g38FzUk9T86iRhrB2q1c8ZKehW62iAUKU1KeFU6U3NPWaCA5JsHl4kmTVsAyhI8nPvm6xdsXlGt7PLt5wyRJUo3c3KBnI5HvjUGnkTAp9nx9dYsT5LsakuPGVz1OQ93ROD0lxIX3YyRHsapWSBsvDf4SSWQkz9lHnbNaaXXOXutqZwPcrhWtWhLd07HHLDCf9hxMD/Gc+G0DpqB8Kw2/M67LGZ+nfHqaj7cql2qpprzM0h6svGh+7E3S2yvdfCoWnF+kIvi/r+q58q9A9O4cSnZnr7lD8r2z9Sj2cM2V1Jle8pk79k5Wy02ckDMXMcKCHjEEVTcQdctIiEU1YDWrsVdhqnXWFx4xGUXTPEWZ+zA1VYRja9oTcBxlz6G5vWtGix6MgFxHBIV4eJVkvLN1+YWY16RpnMK8vgVOSZ4wehAFU+hm4K8a6LG7QUbYUYnkVOV1wUtKyD//zFVfoPFuLoVUjGp0fRspb0f/pLjOV93hJIFr6KxCcPl0fjHRY1UaA0ES40aonANB2r47GwRx4wRetopDqxB1C74RZlk9bd9e/MLnIi9YRNTC53LTJyZm7pO+QwUQuxFHIV4Ey8Go1PuNp+ANpRlf6bksv1lR65IVOrjTDDXG1DdgZKcj0aKxbG60S5H3RBAqKoWNHRS5DsTyYubO2vt5UAtf2lFZ8GuGQHkPI0C6NvPcoLwaJgp4BTSJwiz64ER/wPnp641Nl3zuVhi/BB5SDO9/0oH3vkgTabt7DI93E/mM3qb+2UzWwvUjH1Ah6MU9XmNb2BS+LQLd0EqkqgSgFiHrbbIgRaBXDyWhxLHCKgdRiipW1sYFTLdiwdm/7ToQXwnZ/3KhTTPWCg7IAG/DOCc9GGu4Jrnb79dfUF2SmBgxRGvDe3Lh7Qol6UCbD8S5023yJdASIxXThy4DENxyUmbLy07rFyWtP8UtzZbnjKPJOzBubUDtUFIL2Q34sUgzSgknQsC/YLDjwXOgc4lwmNxNhgsLOZt0Pu1kyDvEip33wKTvLn9/qZM0qlxqT1WGusyRcL6w6PpvXIXjyeBCpbUanfLEyo4DJXu1u36hG1ApeBzhlH2U7t1AQFsJblAD/IXEcp4GYAA/KUPum/7QJheorDyvKoQOkds+64hrNaTo7TQ+P3Zn8Mla8zOW+OifopBpnRKwdMiO3azOoFaGN40A+ML0AvgR4MBYel+bKvL5FTQlYT2bPaRaPg4VxJ5bvriNpn0Ggfl08YSFwP8jGnkj6H9DnhjuuApQeRV5N8XCFGFIHRrDRaqAcGI8mKCbWet72wr4vZWT9qHYAkbQK7/lhsHRiG0pZukqfVbJGYut3umcjlCfVDNHCE3dmpXbKbUtGwAs/zQfwOVYKQxx+qRxG44DM2ZgpJIwxEEwX0wBBnVQz3spl9QzzHFSJgqeOwJaz2aWzcNDdgAZy/zhHA/CX16zkS7cfPuB3gKUNgp4N4QM+QzNAxBo/nJhNc5/qbDwMByKo8BuxBdLPc+giRhYulg345y+vAlrd0BJW94hso8aNLyHMnAltxE6pgUGnGnBlC/MiPwDHACpr/BSgwmloQuLlMB5vSV2ocbHj0HXifLGTytrmXRZ7mOZSP3DnMj2uYat737hWUNaIR2cI0Tv0QB2w5uTZC94X9MOH62iv0q/5La2LZ4GxRD8l9RbL5G48Osrq7g3bbhq8uFaM6l3stZLZSJVJw4KST07/wRYXzIhl1vabXo+7QrB9NZc9WcIAwsP90PaxOAZOxi+WhordGYGKin+fmQcUct3oiw7aU1p1UZxMTjMwJ+fuwwOkby0iOFt+M49DOy9dcV4dR1hgp16UoWFMzNiU1bpKmnt6ofKyMXuolMomS0rh9cAzZcO8Bg6pRmhA7ac2ynuMAdECdh/+Yrbas9fxmjVd57vP5Sw3ZwFb5Pt76HrYjPm1H5GxQr5WlqP6MdOxV0txtyHcomJUUedOaZc1j3OQ+vPBU73m12eUYVDf7orm0UZI+uFhHU6TxmPF+ETLfYeEllRgVah3dSz9+2Pox5jgQIVo9lhF0ucVqit7wpTR4Gb9yM0BJiEZz1llT0EUoWelp9PW6471UjW6CnjdZIS/yEuMHNuB2oyRNf4p9nRWqAq+SS+wp3qjA5kufscKXArCnB86FzrOiawS+/di9pIrVi1KfSEf3Kjs89QR2jn29MdA8v4+AWKwxxztWbz6PDZzbPq9HUdFlNSEovFch5DPXaCcN+ALcFDhbbz4LAGwQnK/aLqH5wLL8nsh9bab4z463QLonkhZXypr+mMH9h5zfk7Vealkn03YRPed7ARCmYdykcAm7/wVgAa3Y99+QV+4RE36GT0kba9z5I2vjmxiS7gE/0zx4u6DwnE+fdkkVmPe4Ypn/bQNeLIyjngiEbqnxcoWQU8s6kZrZfYcCOR+iOa9Zp7BGgvJCnRoxznrHY90rwQxP3gz4nqmV0Jpy9f62K32yc5UlICQ0SfdvaZcR+l2e5PO4wLCaXoXVMek/fsV0v9eE1uOisFxx2UIgjvGWpcESzwdvNvwfuFfsrvewBNtt7SQo1+5mKxMOWj8D1UllXQ95gqpbV1NeRzkjMaySkBP8j4oFeS6ATEigYJ4YJb4SGD7hANXg++uy/6LcuXpBbeL03DWsIth3e9qh9kHOhuboS3MeuIOE6/c+/4B/5lUazumzsqFY5xQJhst7v+UUU1ip+76mEV7Q+EhHhnnhyo+gAl8LjXOd1H7Esmg5jUHkpHh9hlSXHNzx6ceCmedX2Xw1R6heDXgI8w7N9ZqgRzWTPjAVmnJ42rE0gRQihmCNL2fO6mV6Ki5MlJ+P1984uLwfutzyVGN6U3SO/gXl0RDOo+8et+UisTld4ItOVnZrv5Q0HSWqLTCBooWjPehlgNvBcYL/5JtxUuqnqb7cSAY007ZAAPKjtgAtKN5JILhEuPdvCNtV2XxIsTM1S50fVlObSoVqjWoUlNiq4S5m3mkS+Hr9rfMsXYZKnwPCgrp5kjZ74gVdWGfDmbEFnxkBGVrGDWx40y++HOZ41iOEDPyOlwHJSGM/KX1RJMw8iT/34CSt/rf/eLjPpKB3E9jVwojD66pthcHOgar2Sol3v82u7WXL+ui0UxcsXwoUw3nHt9g0JbF9schFFHLjbU5X9s34AIWPlVQqVlwysompnOqsYFyv8aUD+cUFk4Fbo9ONkt6AjsAi5lCJgrnynst8t2yYMEYRxdRKZkhARNZdYN4rzwsBrjHAa24bfYyTMxM7xOD8hiAgmxzDJCpI6aNEinqg+pL3/e8MhsSbuASCmtsrObjTWAi4OfpgkdGGXaVSkrFwQCNefp6EaoYZCfcq5av/fuO9LIB/c9yV7ijNLJ3IyxeOXjWI2WqdMntLQ/UiSuPJU7WbWF26d/JZXktY7ISDa+/N9FYekYJzcMk2YwMJtIAmz0GXs1+4e7PPVSV+l13ZZjHOFe5RsJHqPjfS4GR7vl4qGUHQsqnPGCVL5/viR59g8Y8GAtZCwjg1Y8rwPrxj3L8VLfb54Rq9WiZsCtVAUkbPGx8qVdjjmwVyMC1jbDvpcQ3vyycDPkiGA3/McFeo6iwoH5xFVk7X88ivjeehpSNRvcjFItzqGip3Ji4wBaEPmUfHCRWozUuH7We9PPeEB1IL6YS7k5xLzkH/HqT5SwqaQxJ8VejHkG9XWouvHwX+4hcY0V1EfQTcZlk5+8Yc/B93zJnAljxQVRT1aIGJF3Q7PjI5HL7Mj9jQaCdyLKzW43rXMnzz3v9ItTgkbvWgrObLgR9u/MuH+eDWeUjfWpXs49L1tX5iCcaJLITj4nn/+z/nGkAkG56gzMN2Zy2/dMZfmgeSu4BYzpm+VY9Wk5vuI6X+SzfYoiZIY6rJycmk+H2ECgD9AuzcLNmIKeI76czaXg93GIqVY7VEkgJNXrL14ngTOA5+WEdeF2jK34K9x2wGwBZqfo11OwcCD/BfoBXaqnejdCQPTkMehch+ru+ss5miA8zzWGQFlHJh3Rt6BYi94hNRGf3DlCDYkl7y9WWUdm1KRD6EB8IsB0YiR1IzkmHPGFTtic1p60rB1dekXeO0GAvRKPz+gCr6hCVnTMZTuYGn0QYRzrpztrh1Bd4/RmFJvhFDWZjUoNRO8+wsQyptv4NHKZZz/6YQJcqhVxP6Z3OYSMn48m0sU0jjPgt4BphWtIl8zVr7baWC6HzikC9OU74tO70cd+qfO+CfT41a+f+diJcTJum54YZ7kOxfcve0HGhXjmJNNdFrudrj8+gKe4vTsHMdATvWRMIt/jg7o6IN7xqLOx3pPpqPJEIiyfW6VvArise+WZ6S9Q8Zps1P/Vc0J33skqqwjJZjgPOW8kQitp0Z3ndL6KTUcYPK04vF/6VMbsSGt6uiHlqo0q9qNWYdEv7x08aOL9zMSG8/V/J3NjEhFkzVN1UvvRdGXFSdCSREPUSGMs7qoY4z1YYs140hOnNyA/emsefOpIBlGnxtEeg0fGfo3pDO2HNW7ogvh+0O85CVWZWnMGmfBUOEh4Aurr6n+Bt+8PDkHBo9FWh/m/ykMQ33AV3QDXM9fgzQw89rT7BHhzzCsaFpPUGx9jmq7sanU4Y+7WMggzuHW1FhyVn9BnJDv5oOXAGITwkqHT5llUVe9g4MoNGj9MlIYGdwR4s8NnroTZfaWMm5z2c/+1vDW20YHwLqen++YUsozgUsi4XREJfqYClQ8ghTLac0z2ZQxb4qWo4Ul6F1R2iV4hm2IjXwFIyGTvC5MrlFw2rSq4Q+lWaxewfKj0jUk9epn4hx64rZh52OX1T/RRH5JJIcYjrkE0lukZZhXH0ZJghQNwf4HxMdJz1W4myoM5lxud3LGbAv3c3iRruoNnNsJKRK6REwUxhjYxaMbbPn+HsSfL71sTyIRKY98Z+nOcz76kTwktk8Vf3Yna8Kr0jmZZdyas1aUN82ArDAAo+uASL1G/01DvbTKgc7V71ryzxcN+ue73iQ860eWpxB7j+TP1j4NVAo4xKpojQ1/xuNNSaGG1hCl6vNKgrBNtVTiGPj/Nzw5iHcBJ3eeD3CQbA0HXDyQftkOjCn7yO7hO17R1B7sgJiWVZrzg0xUCdD7A1yL4LC0ft2ZcgIzRsFO/7YvaUWV/veWC7PMFji8jSAmP0bd4/q7pKXkU8mjK8IyswqF9qtqEb4nSMoWqfriTbkVwhYSqzV3zvdKJNCo70j/eM86kV5b17HtiwQ7DqsaDSsKTx3hKMDvNhymjn9PKprcoonPMs1steSzWtJYwDprNIchfPqJjJaPbrgBGKsaB8mMuoyLvQvKxmgHzwZlgYzcM9W8HW2JEZeDYpwZUZx8cKzpFUd6USVg/WOIEtUX3uwpqRj9Wsuz1kS+ji7xa8vYhPGqgPzxmst3vRkMafwvGB5g77Dr9ndvg5NUMS+CKk33RA5FLziB8xIVq41DsOumZUfV0xU5E4Hp1AbJeoZls864uhWOzFLre3u6COd3zCRjeozEEq7bfxNFouJC9Dtu990D05Sy3vJIvCsZjm7Id4lX0N6HNR60ffuC6jryieSzqwyvWhbqV8HdqqF5zknuYmzgo1/soTYpdKM/1RGG2tKhzqkqrWrMi+/H58LyosZ1DwzwCNoWE5+8iziuOgejWdnqA/YxSFZgYuOZWAsBklvw2KOomu0bNhhKn//aUVcT2MsF6ZvC19tGr+Gn7NqgX7fYvkYmlkpkYCWylhMgfIY1o7va72i31ixDXwB8x+GX7gFeYjfNMUVQ7pVZ4yn0NfxOCi4Hit8n4dV4Q0Vw+HQt/Pu4Bi00LewRwYMIS9kYTVYU0MQ3z/S9a3b6NLHzGaTb0fWYMyFW+T76tg+rjrOzQSjHNHje5rq4hcL7ATyZH2bikT3Yq19FStkxFs4bZBscEja/0A8wB056LQ7PZP5xue76AmSz5nwCIyO54Y1Red1w23fx9FSFCRnkAon1kQgNLYgpq07CzB5lxe4Ebo6SOOLFkV2jURUhPFA/NAFvvnqHK4FGTNRL+7/mvg9k2x6NKurmZPeBfBM2YGgcbefifJ2qZGP4LmxbksMu3vVz/320cONxkCeFuCZ1bqB9731Hv4AF0/qme3qamXGVEWVS0JJKvL0pDey2tXgZ6UDzFtAyD8tRkMVn5DxM6Gc8/Qjxj9L8CGZ/Ot727TG193IkudfMDBjTiAqpwn885ldVxTEkKtzUZthQJC9kXWHieEo8pUAAtcidPS5skR9WeGY/iaxnIwMzCQAlGq3MsxiiFrzuG64EII1a5i5IFCmhAR2X8mfF/I79fHhrjEgdtY3O3WrkWxgTSyY+TZzKMmtEou09WIfsgAhF6yXkxBVbf34XH1Tmc+C9sDsqYuiU2OQGU2jP1GaIsqpknQgcRgt/jIBkg5WxGewqmttQfsnq+j19CjYJkQS9QKPQFrWmAyAdMZl08ZCiMKqDO9lCK1huEWXoH/iRYZ3dCMVJjdm63DAFK+wzdO09HTekr+WiQOCBZ75XBdUqNVaW9vOAlxfHi1mMZ0Ag+qxt1Bkovcgu9ZW4R9FiF4lstQyqJZ6mA5CnIHON+nksTj4FtRe7TJrq0HI/kV1GSR2THzHOAjXvN05et0/dzzsgJ5uoUH6C64OX+MNB22A83bRsNnQiTw6RfYy7PuOjDR+jMUrvFoCA1q8mq3vSltEUkIaYXv05GEOo5X/8cYeACBpZACXaGKLMN3F66vW34TNccSUsViRl745fvB4cYJ9/SK2tYBq8MPpmjGTLe1Bw2ruSJxIDVL89Crv293uUHVKkLakFvmpIfmUKd/CPUAB2onDX2rZmtnwxEw1+1Ad9sZwg02V+21Cid6pcu0Go01buGDzKUIQiOlXVIQQQo0VCCgDrI3OKUwIBe2gV7e4+ByBK8CfkzmYWIZr973Z7zeO9+HQUNPwG6yb3bROGWGp7WZQrsOq8RHJ/5WUy1HxOkZSVBEYSEUBL8+oQt3+x8rgzEILQLlC2zU7wcnxOHsEqb4ztz99YsthGqP/WScTifFKvuAPGI4RwqZlvsgKPtMCh4D5PcbB7FFNsVH5tkZUPQ0odozEZ1cOA/HRxgIJ0pjTt9o0ME8CuvMtL9CLan9M48sFuZG9ookvlB6QYpLVfDO6cTAgMYOWSjg3S7/VbdfWaupZlFM514+cp8BOTZgGZxV4BFOdBpCRN8wtl7PhvVM+2hSJ/GRYwvlxCPlQzGZLF1yfmDwlYDo5t73Ft8+qx7XwkwGFDnS53g3D9X2GGSXbyDFQszKzumgUxcJfHguvcYzMicKAU/uI91U9kkNCzySJzoHGyEOTUsZqeIb9hV6K29C/e22XI5i3eoHtlhQfUGUy1VoyR/npfrFrOgiERSmU/JzU7ocG+Ca5XHC8Fx8egDE4PsYROKNi/aWtJkZ/dztVYwFPqOhjOAe4zmir20oqTk3RtTKZCVoAztYnYMZtjH+IOm3g/F9ioTIgedncFIv3WmSGKZUye8hq02soHi4bg2ajwNRTQhCh6EOglvY4UbuuqqEen39dRzAZ3t2IYQ+u+rqEK0DvxyJxiMp6CNicwPhE4u/oZJ0d3PLuynGGSn/X8PxQjqXIiO/+fTx1Lir943wxBiznShVb+fNGBWzyqk9yQX/fDYlHW6LoGZ+hAXKh1xGEoaMEbcTTbOqu0TkNRvIqJpeGT5WteSbCFZDnu3Tm0FThGpGJwpETBJp93fJhgyx1iH5gZAOCO640tz47cUNXMkb0MoKtoH49p1DWsn6F2Sbu3FF7SSWeMbIIrqYuaAtoTfbR8mU5Th1ITGm1SDTnurFuV7r44mw+RmXc1TjYpHZIeGDIaFR9IYtHlosA9JmihaybxYZhfnA4EYB7ZjkQOxt2441MOJAOV7wS7Vq7B1aP/vAi2knFlcDSOPRaQ1t1CM8O9MJpOM/DPk0YeidlitDDY0F9vqUCHfAMWHHNKpb4/wtZECXVVt5wYt/B7OD19+SMkHZzTgDzy0WG4NjbaGMld+mNYlTCkQkGzvhaJGm2rfHJIxjPZ/dkw77jfAeDAtbC/gaUn6tKxuQg9bExF/IluuotyI45fleLTpmcU4THjIpezi44hluyOItiTyyjgAzmS4Q2jeK5FHg8nZv9kuSG5Ge8ZNiFPD4p4koZTXGZtS1foNyU1eDnyqLsYbbP78chH9jv6XxYVtNQ7AKE5K+nsniY8w5naFD5MV027srhKp2Iv2jvdmOe8lrg5Dl7HEUT7GqQ5bKkF69T5UU/OwhfNnr48r6ssrjGYsmJEazPYHu4G3JK+1ya7rg60ecpFXGe0AWLu066H8Ww7Xu2RXOAZQ6Uh4hV2LMBFqoDlK/zv9JSeTjQgwOP+WhvbQhXkQrzAiT3dilZRW7WzjB4TJq7f4rCZDABfTdnxtX5XdGDmZids04u4ldOzr54ZHBBXmNFwwwkt9CvfX0SFAqS3wkwUy6+6zwXtsu3QRWm13frwNWJsoZL+f7eSKepLK6u6cUr9r9qbg3PoJjv+xxjfltz4Zr3dqjLrGmTL4Avxav5C8A5P5yNp++LXbBFo8g+rY+VDSbtsHuncxMcV54kSrwcyQTavxKF8xwUEU4r6yYDlg8fxDBnj/csw2ylxQWB9LvzRylTsG2pBtmIv1S591O428Lc0NEx10gLV2zPd8YEy7LJz30QPf66U/zr7TcObvjU5TqBzljyxechl+GlPqFm9TMIAQk622yfHjqvAxjpj4bgd/ZdNcNqbtrYHAqPUVryXwqbRoyFe92PLphnhA/EJxjiXd+mI1JX9N68wX4stdblrwaTFv5JCp/hYGYmH+lDraMYLKu7aqYJWc6HiVPRUUf1JVEn4A+YKtzPQOSbf9S8DsJ6kOi2QHDxT7TqZ922sVUDLV120bGVAtHXekUZ9ijtf0c4G6IBYqNZ1GPQUQwOrkKuiRlqmtMjsw8i8u3Wy+7Jy3VDuvX02JADeEbqMQgbKB6bCOcsPTA/MAGC11fwR5ORcYrWv3ixCiTLmrX0IWwt4SamiMK3iWWj0ZJ/KNTTTC00PmJ0guOg9CupS4EqKa0Grssjjxfqj8TB7s30MqHiIvfXK2x9dSS1QUQ4QbMIfjhAroGKeQyXVgfpsff+C1CroXwH7NvkjZmf/y/jTN09sf6GL8BhGD/S5uDTg+qwkssXvilvihXU+uBRDqG4U4dgLxOP0gJMBNG6M2G3Yy5u5S1Cx4cgzPeSnnHdcmqgFCgMV4qticgkPFk1cMjpiupNQVhaZsHcRUOj9E2LOnTkQRkidc2MdH3LLYbuRytLxGZKVE2YVcaRXrHE+TplI5Zq543tnOw7/lBXyg70o3OALxHU7t/ykXXvaD2qRsJPmNS9gt3suH0vlV+taK0PufyCtnH7d/q2eR8//TtRES/TK4/RAp6dl68Q/FFquNhFq+bVHcQtcb037558ar4s7+tf+QOyyocAa/v//GzI16EDVJ8iupgCrC4kd9RgjnMm52SkyMPstgqNlGiMbp1fk8Xw/IoKWhAdQBpiwB62ASA85o8gvXJS3JxU8JiCSpWk1gYBlv9KIby1AqV25kKEJqJaK2jhYHcvww45hS4mqmYNfyXbImpJUiOSXjv80oiyiVateC2LveYAZFYEGLAQWSSIATTw3/yjnWO22MOuQk3JrQ6v9myqKQ5vYBrziVH47ozmim17crs96hIgDAAgqiYTTMfaOKITEWP5ltEBkV+UIBTmNIl4/H78+LTba7/zTaJ0ZF1lXogxkIvyqlx0uDNrisrcJ35+xeZvK4mmmxS9xIEP2LMg2vxKoaBei5Ia3IwFR3jn2P8cfY1qP4MiA1RYk7PBx0Sm7ulf2c9o6BcdglYR+dNrp/oomQRIWG2zOsM1KrTW30BnGAIurylIb9He2lgro52/jt9EM8RxlJUuOdaOdju+v9cehYXH3Epf+hVTwdUUz4a3b4YkxgQOSXEnuUROGAfleL79/qjrW5pRMEpFTN9jT/jKigLGCofUyR4ydbR736gQ0ZmF5MKVGSYOuD2wBeq018zhdOasIhhAA3qTr2qzELWTO9h/vtZvn6iIcokZ1gs/RXMX12Mm6FqykG5eN6kgtBEhE4vGkMqJ1iJqaplTk6MI0L8USq7+pHvAiBH+0SOTHGqQQt9iR/SWZEliBje57pAo8+2Lvs4/ah/q8OVPtVNg4Ag31JBINez9Wf+FYSgqLX1HoS8XYdZvr+3ZLnJss9w+zWTmMdbV0dPA+G/f2l/THYD7NV/hG4w389LjJThdY9PATfRqioDAd2DCuNujFfRikCiGyH3EI4Pt0OcfdbJiHZHOv1gNnq1XBEsctg0aRZhLRbEE570djKAvHnS9NNWTNeGd2t0nfL3tOGSLb9OcWygm2fFNC888doawt8C5F0UOzu4DG4rKJ9dYwCkaHl5o2TdwzbZyznknma6ZMXaDzzkyVt/YQW3MFfX8dLyatvTJG4uTsWXwCmSBYr8Lxk8Jq3CO9WE6GP8AKr1mby1S1julINgpjsGcT353+fWBDiR6Ch1hZqL1K5NEUcDISifQ64GaIZigdX/MHg6Mc7vbWV3nYCAMWbyqm22vcBuP0PcCw+AMNHjSzymRYCHa9e0WGISa9f292kXaeKtYoJ+OYcOSaPM2rYHaudH/mgwFAVOr1VaRqga46zU+Q0UN6Fw3zuFGquddGkB888pKzq4AFdtXQB1g9P+rZW/xHKQzfDao+cHeGokkDSnNmYyjOa5JtHEKHaCDw+Ob8U8/mxvmxJvv0IcbF7eRHUCscOB2rQCbjada9IahA7YS59RCrU1WzfSAD9K9Yxhffmc8k2mzdGQ24WqXWoAIepmSxBlGM6WEfAVQxKRn60YOknLg+JNxijgmQSa4nlglMa6MeFACDE0/ve4aufSn5PbjYZwoPX36knM/u/hSBbjGuqmPAVblCLO7pdK+DcEBFnST8EQca4FWExyRQHbokl6qN8X4wGO57+0HjDfkpDMACG/nS9KUy2C+c+74QB5A+oL64aBd90fajzxJac28+osBmwmm2byoPsfHlNsk7Neh1u796DadGYoLtvuh1584VRpCOum5Dj9Lp2gJcbsNh0AHMNVNo+uDB4J4wRvGTNNhBA6jCjanJv8Ua3Lqjj7zmOrDeiNV2GvGPTwMrj2hn8EzWQ0aqqAJpErFZN78FNpRb5CXu9kNKkqQgtO1qeRt6qhwBv4riFD61eFxpwM+aYAcVtsJYiCeqYzzEmUViNtw6pp3Qqhmvj0U7u5Ikp/QsBV5DWXWeczUSyN+SmUAGwjJstlpAdSvaddp8wNBxHgwZDtH4tj5d5j6xni/cRUUAqXysm3POYCtu5WJji6TPzskCs8VELvUoTXEWzi5kSux0EZT6pyl1+W9ia9gT+O//KD+9PWWVPar8qG3qr0z1B1BUFT1+bPa4IiX4GS1u4VucoyfTd5zW1sO19xP5QVaRiFkn0k+X20k0p6Qh/opJOF9zTTT/x1VFsDKq+psXgF1j6Wte4XmFQfjsM+xbhlhtnzwH9zmWwO2RYLapsBy0dGI7Rf43U+jBEatX0Ag5q24d9VZV+aaUdBD1CmoBj9ib0ULADFIKAbJ/OPEom1/SdR7r/ZoJKlyyBhVptA8L1Uw3G0rx2xiCsqOhgZNTTn0FksWRxZPWCfKu4RC7YAB+N/gH2F5vVAzmLOF5S7jcQu6CenzbbG8MvB+6EBIoxybelz6ml9RPLb4KdNz24FHKV0dwfAIdjvD+E3E4I8PO1mYz0YgETqVfl/Ve7iHgHSmj8VSohR3LGDBKoAlDd6o0tWina5ySA2mMN0QgMTcwvulMFMWZSfV+x3SgOWp537bp5HKjPUpbRk01WL4L+32V7TwOW/PxO2TFzOIiFuTy1xgsVOiSF1wrqENNhkAo8FvrzmTwFdeIJ8HvKj1PcWhmpcUDd/woCEKvLApMMkyBJd7dpOSFqONgQoKyJdpeLIlusIRgEC7ITBqQAIax1h5ONxnMk2HQpt8hQJtyJUUF7LWMjWWLD4Hr+B0AYL+0Y/BoM4sgG4gx6aCLwm6wid7sDhnX7h9mFMAm8KoJTf0GK2dE5GW6ukpi69i/WnaxSrKRB6by7Qt7NJsJwC7M9yJfHrSwHt2a5ROPtc9S4lVBbNUELHZzQg+2Mj28+6HhwWJjAPZUT670O/RKxTvypm+kgycQZj42crgE1LBjAc46pSGEkKPLoI6ApB4nssGL6IDqZV3yyVWiHoVUO7hpTYQvTsnAS5P/9M7jyjMxKg3Qxk5vS9qEdOqDZfvLuCzPgYJkJR71aZUuYlbOJywjVFY0vfXNgbyhFi9OPN0Fb/nd3MlRNN8quFhXg6HzNFBt53U3g1K8sB8TlBbQvxn8Nn1tJtu6Uwb7bwB5JMuPSaTWyoA1o9J8eYi0QZgR7ATp/V6e5yVt04LaM9vUWVCuIgiGPExow+pzh6SN/iOCWR8tnwSzZbsaXyr4RqgD6kQ7gF7TwqLrmmg5cNI2yHfeEQbnpSU0536g1VgBU6c4RHv9W+AwsuvdHU/FHNTuKPge7diU8e16EkzDAHRVMkPImxzlA4l2XkPvec4IDDzvRQwv2AVtQAQCwKm0vYumMbhKAABwNZbmvprqUrWaEEvcmTncFcFCVE0W2YfGPyOxzcz8iHv77ILMtq8Ij/lqwxS0zT0LaPiQM7F1qxP6wZzQ/qHBv9rOqR160bAPAvalAkIBkQk8VMmQ133fNq0x3+0LMzVE6HoHfDl39SPR16qsxqOnw3i80GjFCbrxmj9WAdA8cKZLY1VsvmQPqDaekoN1lj3p6FbgIplVln4Ifzlg7pVVnG7tz00dfup4bRONwpSZL7Tdup9Mw8nf0z54HUiyO7mCIYuivpXIih9FOmQ/7xS2pn6W31+c5JhCrPr3P572d9BAduVXcrDGCPB0xQVl8FijY4pEYhMBfg6qaYDKBxjcIWFcGQCvonfX2oSj6rJSm8Jv5TX7uuVtOrGUgGDYA0cucGbKa2g0dH/4oJnilOikmUTn82pGvkiyqfQcS4woaK7K3U8S79EAAV3aPakqTmsXtFTyEsGWZSzuZj1yJKxwD0B+Ep3jEmMZAaQM3fDU6964nacv3Mca970uzS8Nrgz/imLXJE2XDkN/GLF/ai8FZlGFQCJ+tP7bNgQ7H5Ci4pj/DqPGppq3WArWcMpzMEu0TM0KxjMc/KP7nG1RRYOtEotOcpzD+67pzl6V0pjkC9QF0Gg+Ulu1XSilYC2CzwJi9QgMX5JJQMeccHMw4UmxJRZ6M3pGCLTPnvXti7xBg97kKY+JT0zUeDmRy5nxW/wvom9fLVS7s6EbXA6B+8SEGSdK7Myac9h+aYWOxvNSsqDlwbJCiQJDDn5taCQfXQXnkUfqWQDVugAxPxvMv+MXxIZQwt3nIC07Y5Le7BDpomoeSX5yrNS2mcDa3DIH/GzBU0xOUI0VU7a2imlKH9iQFeeT3HxH/OXhtOXocaCbgujSHFRLZ9nKxFISmMkxKQvzTUn1kRKB2VCf4o5XyU5pM3hJJ8px0QRSyvudkDpgPZ59mDf+Sao4Iwt/oGq/+9/Im0TQ0loXyQXydDmZYS2JrN/mOJdQEMAeYiS1gZLl41UgF237P8mLRHMBapnb4jgligzdWpnSWlqwitf1NN7AEsw627nKZu+Y88cr9wfUWtV0M7I+w7r103tdVoJ2roPg0HRr7WKqBeyox8sV9w8zpR0x8G7LA28+nsraY4Pz3j1REHcJ+fnWxcxwuEjdhfyrkUMuQmbeCUGIxz58UrRG1F9nI7xobYBEoeNKK8afVfX9rt7dzg+Rb85qczfoG950NE60bzZMyhss938aXSTvTtMgWLjs+atOH+tls+u6tHAjppNAk4JrTKgRZHTdM9jaqCqPO2jUYPeVlfJsR5k5aFL2fK1j8kK2eWWvgeevWByM+jn1aYFGU8Tv1LkimMJpN5BW7x5Oa5sBMdUY377hNFaqqH9v8A15aUj9cB1O06G+3r7kuubUgpKg6WutfeAKiNWnj/D/dcs4LK7etJYdlxIUUN0YknZwBFx6iyINXbnqCSP81n//vCVsw4I+/yW78OWao/bQILjLBX0NJYoLdAQyuWInVpKnU0A4xoea5OySFK9DwAFYLCqg2nnVjLi0xkqniH4U7D3Djd2g2cM/d57A3noPkgNCxcXBBsYDv9Po6c5x3w9XzVHfPzu801sMZvSdzk178imjpSkzJNHkvhqVsGLqRaJrglNKOtOvNpaEdn00t7R8BphPwoAueT5fd4A2FH8MV3khdxC5Jdb2k0Uyh8bzcFx22Feitmsw9qxGpEYRyRCliENgRKQjm74SQ4njIO0nyTcfIG7xlPOJ4HTWp8PoZyI1l2PiZhiu2o3X5jSodZiBzFKugiRfzUnZJS734xmK80Hx/QpyaUk1Tk4YhiQOUqbduYDHvoWmt2cBwOYIl1qvKRmyLtyvfHF35sZSboR8NIgEFyPQc+/ZbUZIVxgE2L+fFaWRRf3HqeqVckhL9HfrMrNTpUQ3mj3rYjdI8nV0DaZUDjnOAA7Mc1MTbNr91rb+a5yL4JQrvvzMSH86BnDWj/3xrYv2mzvy9rYshsOuFFzr0DmHcEDTnqGBn9JxFaeeRfOp1ceiLR7gOGr7NghVdinnUL9yA35CA9OM9+yhcMBA7gBYZKl5eUZzePJxJRmKegpu4NXNNPK9AsDPIzgXX5/bCyOwuA6mEWlDg9Aj5BJIMkHNiGKcjDFGkq0riWkrD2I4KWoi1pQWXpPOkY6FwE8/KaaDVYEmTA/8uiuLvgqfvdzwa1cxq+K7N1tUHbB62QsgrgCsFItCSH0/OrWBZXvCd3z/tsC85eHttiB8yD17hfyh6FvTpCxBvV90AjKPAG2l2nWj3nfop/zPx1VwKUI5vBUvNnc2zBl24LJLEZ6gqSle8B8srQcfuCcu2zuDzBCGll4YGJi7WJpVODdyiSe6CsOh+BieLsg738yVhWTYxnc3hznjNcYX0PnGXr8tWRsdgJuVM5pkW6R4A6KcICTWbkkk+slKL0mRIFh7++TZnMaDr6u+PvkuMkZyYboP4LaEF3HIb6Ju0rYknDDF6IR8wAviYm52fEQIjG2tUjxRvgN+9BDMUKRf4TmrE6+e67XhYyH0BIi/UvhQshdZxDu+TNb6pA28yoCjSW3L3NbTfOfm1c5hCJ84ju16x1HAsck2TNGqd1xqH6E93XvCUDXXsJsayHz2ZNUImT7sWAzUry4U+hwcewKmqJCCGfm22MXVAB5wa+jDKD7E/4fze8yQSOfb0WHChZxIWlDNLdmJlKjRmxruNKqGr7Rb31wH5a9XGHI7GptWF4IMdGmEPsZ40VzqlCF+lQJwxL4D4XJmIv21GN5ZoFqoz0BCzACNwXJl25mcXtFazckYd1caFAKuosWJtEjEPIUozzj+2MNvrmKEbxi3IV0AfUQ2e4ts3LNsPjlnBxaUsg0xVIvJqSofxZFrs7kM6BDzkQq5iBvtXuejGDlfcd1EwdDuQaHiRaZKzwfPWNc8pY+Q4VXhV7qlh+3/yJvd3n+jB07kuqvh2stRRa4NbfqjoeO31s2AcJhIoOCsHDMzcBpFOvvhW0jswPiTCK+37BTD7akX8HbQMKkqScRVYfUPDrRGYuc2r9AjXVFsZJLa9UYVPEJshTiKdWBZfJAzYVVuYryD7eB77H3u+BNtYZVOwbJbuutxPZ2Eg6Wt7wLBqmkz/w0TgmUmn/sMZIjJlSGSTgc+M3MHCvsrLwG7kwbfmOG5p56sa2fI1ZfskKQB3WR1VukzSeijqF0jZqkNCIzl+zZgHnm7TfGrraja5Rws49fdmlTNFv0JTV8Keh4FmNQdmoHNnmo+k5B8q/LfXnCrTWCnB68QYPYW8XhCWKD1P2WwOtx0OcM4+iOzUi0bGmH3qq/1u84M8LbWODMbt2ox83B2Nm4OdDPBehOAhxNmOOLoQbI0MZpFN71nceVpqBV0XGOQ9tzHgnDp88qaHW0AHDfJN4zcjt4Z13SJgpGbUHhl16Pwlb35E0vjM1uw2dOkn6M7NxIQuExKsSwRCZ4y6+6M4jaot0A2KRe7rO0ClGJcBwSYE2BB00CZ38sUBUSnM0RanhAUmFsnmAGoUTE2DX6N9It4cHpCp/Cl8MU72V+WWz+dTgsR6lXnyzJYHIWFc4x30Lib4GA7LUT/h4a5Gf0F9G+inNO6BvGQDC170q2vQ/BuAyXp/6MfOdfw5LZaDbJHfJ61F573loU1GAsvxfhWYvYwbOGgSFIvCqkIXbDeRyvq8+Wj+YYDwsD3Pk8sAS0ybjfuLj9MeAeQ3JRqb2XfQ6/2C13aFD5EuXMOO83t56zEiIE31/kFOK/D+Cnh5tAL9v30KtaH1iWxJDoEI3SjPQW0R7Wkx773ks130DCgQy1Uk8YpwFuT0bk2RMyzAztD3flc8TpbFGNdJKgfd3EIkLhnmKSGXwXv2GucVJVvUivjH63/L/pUdapnMa+cTfjHxIkOU1Vkg2NueNtNxW89WOGp6rbcQa/ZdqsFuvKeY94lel5FNa6pzrhX+ufclkWsT/UWGT1kpRysLAEvAPTs5kJ3OCZfjlPOvwIbc77gEOpmF2u7DFoddXn/3pVlOepCGwFqqFfSMEDbyxeYRcN0SsKZFwqMn6DK5xCmqjh/vxYMFjiw4YgUJ0cn7J7tGUlOXaRtdwqKDk0yNg2rTzIV3r95pVNaBZlzmpZ1CkrfPz0UuajOUj6mU0Tm5SxNBkrfTZ8E2pP/1Tl3cFtm0NVtvBVk67y2Y+cV7VksbM0In+rj9OAjX5oKyE/lSgvY6jdcsuhyvoPsh4oOf7qlfEz00y2x/1LtUpZdQBr6enFlOK9qXfeNhbd/1z+Fq17zT4dawSmtQFz9vWH3z/MiE33h2WCaVsywWC37Zs1T1ZXBuoKOFtbRqCfahzdoaU6zHTELH1glAyuDeHWR1HNsQDj8RDWWa78ADTwelkS8cmydjtByjZXLPNafqQ+0opYObc9pFxV/bMcasg4x+l9aoZ/TnuS1f80lZemHLplVqnpRgHE7M6fDN16msvThftYlcLzrkFbMhLPqmrbDWA5mft5aTXJigXI09Df3PbF22CLxix1slkb1fyT88F+JZL37q6M0pLDyVrVpJWlrkz43Bv6cX6TWfcve6+3LZDYbTZ/A1CLTPEqzQAe+T4wYeT7gfMiiMwi9cvFkw0ivjcmGCzvybKzzBzLNxeNFDhl1wrdmsFr5vFmk4un/i8BT3pnZCLh5pYA0VAbsXr5QREbTXHPpjJO3UrldPWBI/z0kb6+6TFvGzN+9TGW6X4Zl0NvIGCk0IgUdGdNtG+C4XxKyTbXyvAjGtVIjBcMH1NGqN8vpHsOr0HpweDoJNKx6NuzAdjYDDu5XDFq3TJXdgM9tp/Q5ts7Gu52W3pySOz/AQwWPKgcoWMaYICumxpwYOWZh79DpfKhgbR56nnXSLciguEsvNvZR9d9QBTxtTlFGBvIkzuPHNHiUPvSlj2kCvMf9auYqvfqyD0iRKDi2SLAQ1VbjNYyJWHtEUXFTiIcw6qcmVpfxc/LVRplleQ9XXma0jbIn6PZ9EkZqKITLDLzOI0ArIt4JXyO9izTUNRTmfm27JehZZ0QGTfyM4NsLdOm6oZFbq1ed4nyqV6EPEsv5TzB+jYyy7fsr/62Gv38dcrrwV2LMEcX6hKHUtKJBzLIRWJruzqg0SB0pkwZnVb0xEAwjCkD9HX+AKDanxf37kQIcJ80ax2mbtbkNeoJbR/MLC1gM964rQM4jQB0YyxRuu/ZMNisuJvwy/hzNV8Lcb+DuX749aHxxFZGvhNwQjmkRgTNq1M6deGeNPyUEHcp3HlGsuKGRhi2Vw5ZbR2pn5CR1Y1H9c4sWGDBWWQ1rLHYHbl5FadA+JJ+8wYKfdldmAlmCTq421WH4vCtknEo0noc6wUep3n12RPTNvi/PJHXzGK2taKe2oEFZAJal1hDie3c67aaS7QEHexsP+fUQvo8HFxnxnRdhwoG7MrBxT04UmAvvRoUPaqxhfTOGYaICcxmV52PuIPOUWi7TBJre9I+7NUGD6+l6CaAx25JlIe6a/4/HNPB/3wu4ioXQA8dn1C+FJaQ0lbypmwtcLyCDfTKxBZR04YGIT+o8LrMshk7d6DBmCqCmhzFT5RJu1FJ97uVY7judmKT/2NbAZoepE8opn23lN4YZWIIe84pq/pzN5QAWXvJRd0LZC2U1dL8UH7g34fK7+xdEnRUbQ8A8U115FynbJe9Y0p8aCR5puWyewjBap24qeDBqxUVw5WbsW6b7waelVwAghqFKvTyzE3h4RufzClf+Zl9uC3xopaRLBADt5XtM2P2jPeRvbUkWu3fIZA45NEzASSnL1da8jRNJRFnN3fpGJignD+AWv0Q3TYvslANeSF8Etan0HCEeDC7w0AVKTyG1aHmxwwI0NYQ6G08i9Txhw+2vbQVaJzbD1j0v8FYihU27wvz7Qk+AbUt+t2l1BgSaHsq8E2N+pG3t8pMjbFkK8hYgmmMuGji1XpQhrtQIRJzihzcOUXTeID3me9LrNhdFNta5HwOhayUBjZkBXFS35m+TTtTJgjYZRm0T7kTskuhVoV9l3pwfe1fzIZ9DIL6UX4nmgNp0+q2QmGWmF2Xk6KGKdREYLerVqCJegZ2MM05FkGacz6t4nUGmBnL+JJkPjNKXItBRJOfapJLxzuIBSIPOHe1tdmXVRZ4skM+fW06pyudan8JXFXgOUU7ihvzkdIOfyTXEs1OAFJ9eDfsi0DbFDexghb7P2uGCCC9ShlCqwmtmgf3AowTqXmXkjCPBzWEtRsr8BKQaLM0SscVYBZPPZtJle0eXOAabTZbu6UImnwxGMTr/IzS/2qJyJbuQj87qXj8D87V4ooVfYjYdi0PQiRmqqss1lzMks6FWd3ayNcHGjGASsymEbpnlSD5djpzHbFtDpQDdTKz9XdEqrVANpM99dlAFwR5K/1NUrYYGvLPcfmQ5F9HGo97d+73xfKouOOqpIOFIUyoyolwi7+mpORmCJsazkEPMopDQRCvgysDfaoHXmu1LEPRiDW6vm1ChLMIitJvJq8G3WD8k7GQY28fc3hHMebkNYHzTFnuMJQLYDzuPGo6bFsZHZ2UrglkOtXbyWZTRHwRhw6TBoAir2m/INWGTaaxiCeyv86NTQOQyVldOIijDIICgvccQvGzT9NR3Qs1N/fAhp3LfHrL9apNtf7AIfMZsQo26mjmVdMr3KKAYdOXj0RAO+XgZsj+1XkgK2sQxRcQOz8kH9SPRqVa3qpDhvNrVkdLkdlvYDJlDQNxUt2n2yyGVJMpe1K7jProyHJVso18FV9UKZEGhRDu+9HN86WPnS3cI3JVEQxz3nXHtc2liTBKfL5DWThL1T9OOamV08SpMj+mACSlb+SBfI1wuagqyLHB09SRmFPw+6di2aYyhWzo3ElzyG4qoNuf9ZP+T+6zHR5VR6s1kIUlQNn9Vas0avgMY1aZqdtAP0EAusOS0rU2sK27Y+U/WB7G2s3n/BEJgTIxtaF4OmYBu/+rzjfxbOEWo4N++Q9LNj5UIJMi97VZ9KSISkYPgNkw5+jnU4RIJ3lG6rvYpHOQhGds+HyWy0Q+yTFeBXGBfTedNZUwS3q9uqQdAyQ3wpnGWjMlDzrE/K8UpJvqTgR5sDLTIWiWk2EFuc7UDUAJdQLaqm+7DF+GGabBiw9wI3iOfGFZzr/dpUhHPze+0q25Wn6arzUbGPv6e74nU3DJJ8B5C5zQkguxc0yADyIBh/M76u9LXeLM5yi5SeK3IqmyfQMUPgvAqzcL+RMV41PGDpTNr+OAvFMzLfUlMHw1DYHwXvvvs/MI8qwHjvwRJdl7K8SYI2LzVUGle6NI6EzBgk7+ZoE5o7p0i7dSdsXZg5az3ZDHWuQCU/8scDzSNc/JHqvJ3fmQH04E1s5ldDr/G9nOzsYX+H8G0aUbp+Q/c4pCzBabvZ7jvK2zxe/WX86HPRPb999ErXMfrH3HyNHiAhq/h3/Z7kHrbQhbIuNcI73VP1IZiQ87PioVq6pchgLVHD+S9j+RdbML+myVIodZBT7exefsyysZgbXYIXC9noAN0GeRwtqZ7GtB87hV69rOmUFd1AZ59+XaBvyorLZBRGwsMRdjhUbUwvK+UYsNZzQ1bXkKWqDj3Wouzpj2PemaQ75DxlvdwvpTpOFOEtAox9eES+ENsUqHvu+Yr1k6L+bs95fEFxRii8irM5RBbR0cQZ29qjoOyTkdq/zYavi6AUCWkfDRlLN+KlWih/k8mHG3ST5+pD5o1JR/k9FQBruLTUadDKcx4nJB9D4huhXuf8pWJj2zIkr3UpWMQQ7+cdG2Cl0iURqCY+BuOQPMkzshminwYWHKWRuNArTEFDpSDFZXDMuocNRJR6B1lM1Mc0cTJj+ArngeObaVlkK11yacjCzhiVwUSVtlkShcjNl3vHoLoWp/OnOW2IMrG/wn+pr9tdRHSItaa6ij+gmLUd/r62GFS5Zjs/aIuNsOsXnLusoLWEQd+eY5LsXrbvh+N8kLFHkc5LnhzaXLi0POJrKcOOS3Vp7a689vkA9BANelokBo6ytL9Z2PA+L3/gm/enGFN5Ll4KG1lAYGn3EIZ19bBjUTYNn5AhDbooQ3jTG7qVxnX6r8nPNmwRg8FJb4XXGgx1oI4ocVVty/d2aAXuVnlWGgREZmm/tFPXRIdXXIyZcp4J5m6IQZdFOBaPcUjvAAj4/U1w8wF7sK/IScChORscnkskW05MGSfopSolghDXThCmIwnbyBtUEPzg9/ijcVLvAbpSbm+a+JJvoea9P+DFGDwhyTWlwjuFIHzjwtXX2yZc+oPO0ymZwUwLtYL0kSYy0YJrABli+NukKP9/dUtS3BgglmtLNvot0GiiJyZnU4zdu7ppTKWOcOF5DBPjwc3DRfzWbADRmCV7P67TdG4Wy0kGRMY10lwNSwQNJYnpz7gPmROc2Jx5yVc8NzwfJQYqT9+NCxVLdr9r85ENkJjSMvzVBgMxUjcMTDHL5ePUND085RVPnyoikgZov1ZPTC2D4tVrIDAg9GMLNDb3IhSJKac5gYr8OM65tfHQwHOoOhNRGhNasyC3g42o9Glt8GJrYbx6an8YL9KvMtvHWHw2uPNeMM77/Sh0PXg2l3yxdohQRXye2o+D/BKcGBi7mF1iENY57zMRZSmIK0wbOT+6ptZuJzH+J21g+1IrV7cHP2/cJwbQobyW2gPbIo+XGpQG34IMYEVHTHeg8Emzp86Y3uLgQ8n83bEfr7rBZXJIVHQoDAOPuE5mYjpvop+y+AzKIkVU0sph1Vkt4PZMO5d/WMy1BDEIADXzOKKXWu5Bmpr7wa0R5n0eigWMlbTBYD6F83owDrumqXnVn3i4ubp6n9aZG1dQDPsStC6NquxER1OUjN8vmav6GJ/D7U+oEqCNIhcLvl1BRLSxUgjWHmlgYnzKQ0emTDEF8kATRkCop20dVUcIy5qr43qbMD54OZ7J7i9bYpCzb69MGNvJik5QD7oCOATTxYG0RLtMBJl7V4SNHgDm4wFY4YRzxIuh3GJIeMcMWDJW0xsoYD40wFKWFyitWpA8EC8aFwEj3AQKafPXbrwUEPZmzs3khkxBwqR0dmtDQVOPPAO95hMchEoQjezYCDSTbkS2yK//a0GHcut4ptDe3iKY+pcIBbDAc2rhEosEhYyI2Jbn95t5lMWqGRh60mUMdT4SNi0m3EedhUF6EFvNoJC3SzVIzE3uC0gvqNR6gn2IGzEodlomWp+HQtRZZKFupigAF2ebF28KzCPtcHsi2IltbMmxR9dOA/E+e0m4oMA5pV7jCeHNCmOXh3PWp1J99Y1h6nHbuPqf1Ex5EArc6X0YvYM7kuwmpHzPW+HSA7cXGCtOi4A58KgQHxtXVl7ylhPf5zkECyEAE4FFjBg5QCze8Nco0RfiYzYyWVDBTe4aGPufIaP3NjHXqg6SyZh6ZyFlAqmCVXxGFq4Hc90W9ZcOBYh8mSC/a4gJn583tbQwyzu6xRXpXB4OJh6Tct4dRjGNSDIpb4HCBVYxTfgf18pWVRbKPg7ul+SWDL33ZL+Ke02lB4mnAymzf8dNObSdOK1tooHsu+BBH/XZKfyh1knM1IUAVdkJ/pW/UYxRqVWuwBp7dCdv7QLOT4BmccweywsVyFsQfQV8ZvRLEx+5d8HqikevjitXpXdpXUgC3vDVYsx1lOo0MUFjf17PEn7KN2z2OEMVlNW5yr7MdhjxE33fggwQJkukB5YeZ+KX3p4f5ytlATONGZbGaQTlq7jd++IcCICt7ekpJJHMtBMksGGBCIpt+KXz2hNd/LTlRe6OJXPROC+s0blHNfNoaeV4Nh/kctzGC8AadvdGFk4qpgn3bcJ4mxbNdGXbw+UxZL8bRhT2wyOSXYePm7clwn9wT0HnoooLYJvKy4d1QaHLe2w1qjruRpoqtpkqOxJQ3kycCArlVpBR4DdUBoiNvAYzZBkZT9DbEdD+27WeyC2FnKPVtVWBs3KMlp4nYflu3Q7YilD6aAYKHDBbJvp3Q+4Yu4Up9T63QU61yvIZD/GGfPWAA3NpcWzZP14AWetkVxRwemYJWBCgxkL6OE13SsYyzLSw/e+xZublA1YQPior59z+mpvPd264AyVI9eGi4HFWY8fSCUW2owEdgNPsnpX7qwe1hZZjMJxrxDB6cNFAZTFLwEztfQTIJPYDFa2yla57MtLI2toBcvFF/3foTs3Dtba5NNjjAseEqPr/ZXycNX2jt/5GF/msc5nP0FwLkm5ezNx4Ue8+tzuY4HtTKWl9y6398fdt5MCvKg7HJbbEz5RVksuCW1L9+UoMra/YGT1KyxqSmNyQEff9XFCzhOJEPnornUVzuc7A4pj9HjpIxcYy54hIokQx35MV/8tXBOodmaEorC7Jf0mT+pa5tc39j8036PFm/3D8S2bgWEjem2reDsfEAovZ7kaHXC1VIB5RshdZMR3qyrwxHMb+dWlT96KlSS48wAT2rIMGVadDEFDCDCwWE0IHj4nkvIg4+5qd0zXMrTbqJY6WBGwmtSL9Ce5r42/rW48fMHpaBm1z07/MdKUCLWVemF7sM76R+K71kFSGl9lzCNjMY0uR5BdFVoUB8U3SWVdd9NbC+HTKtoNgPEAnfvOffGIXT5SQ1939GOqXpRcgM2vsel0f9kqGy5khPOKBdqlXVTJMvSaamSuDV5tef5dTQeTckLRWHuiVKb5tvcAl+hqM85N2XQ+tcS9cykHXm8xvIeG5MLsBZKiVHt0HZe1yX1IJvgvYPMvcWyTWzhF0jQXKVcmR3N5jcarTlBG3hUylxceCdfycz8MWWrFAYOPCOf6cx+vWZUcO3FfhS+cHl2cNDQlX5mS9B+OHP9CKw22hRpMaRZMa4WtlqQiyZxJYdpDeSvmfxWkBz4qGhXHIYklgwQVgt7JmvAscfMSJbzseWRLbAZ3BebAk9KrU0yPTvkihh1XltRG4ReuKXX67rsX9093hkF2Hi3cu6nSahcgBTfc2csNDif7vB5kzRdnqQ1Lm3TxYwDJY2CLN3BsuouJcOmXeuCTVd2Mwh+PVm9tLo2H0AIup244bih+rtHyuGvDGWf4Gk/v3DTIZG1fx47c7DWau12A2dTMOHHOfmv/KSETXDbEZhZgHBaRK88bU0B7FjKQF2S8SOOmp+dcgx2PeqCfNJUtmplSGykuszFGCyCD4m51RMiUd5ao3R+tXVksT8nsjl+xFpL0r12/x3ZfE5b+c6WjWxLZU9RumESg4nVx2PsRdiBtkiZyF0XkiB5tsVFpKg7B79zYO0E0BMk1ZjGjQT1taraLnmNh9qLVzvnG5Zpm0Bhm/HOvEBSlNtGhob/DCTK5cMNDmhvnsOTgAq/v0LBWnYe0Q8nNGeEVmIIQ1Gi77ZRDqL7WdMFYpoWSpAeHrEAKc9fm/pp1dYq1WL43tAwsu9+JjBNb0w5/2h4D3AAhKYJ/nYd4Y7TuE1ZoLzouCk/hWmL5aNX9Lq+S/VfFtoqyj437n6HusAxO4iTkyAu1nisH5kRNZwxGGZwBsQ/KQXnQbjx6xIQ2oVI9J/lzeT2fghAWfuDXEEmuu8hX6F2HAnJVGhwYQEa+es88EoA2RlkbtGAhg/xSz2fkc2Es3LlJh5UilCNDYILUiBUdEuE/kKj9kt0kH+s1TdvrrFKXaW07WEiboWsMMRT8NExb224sGYpt+vh4QEmaecJBy/lXo625EE0eIq+a417fVHVS03ABxuMS4ch/UH5dlnvxA8WPjb/fdMgFb9aolNQwYvEGsFL8Y7G659rcANWtUdDmF4aMopJtV6ZzuLxMqUjfYag8JL2HJ/i/6107M9GQVNvhYbw6NqnRnE4WzPNgeu+cNS9fOFf4uJ6bsuEqNKGK+w0zzP4cescIsb/HAWdKFmdZe924QZkbcg5OIO6Ru5z4gWMN5nMQafrkbqdgILMWP1d3Ga9tm9PplUJIuGnL+4iOcYYdRU+IbEIU/gKArGnZ+wH7M5qtwKpoB+5P8r5P/6fZSbdWw2hP6EwsHxHBmtdf9ij1yiDjFL8V1R4LDpHWXsJap4rmewgGWjoH7pZn0I6mBMGC4puWZ8XAnLJsr3N2Zu7h+wqW+H1FpFfC6ebdF8M9+9DuIOiaG9nUu51GR2h5kSH8rSdUyjKFhs1+eon2EuB2jQ1OP60GjkWqwdfjNH8K1ur7YjnaZHGGLdzj6GC3KDzOSgwr5PJPmvkxOboQ+sEMK3pDLHKVh0uH+tbapBZ1W6M8pumVQ4gEOvy7jtw/qb0ZuMrisABXq8XYYjTOUAR1V0U2T6dEmHhD5K6iq8vJA+A7YuaemwDnuI6onQJIXQwG+5Gg2JRX1+at3JWjOl+T2u4pg9uFhJ0SSN4TQ/T6LAUuTfZHC6Yol+hXPrBbTHmZpIFWfj5jiJVLCVXn0tTLZjh7G2ikeJ1JZCbIhVe1jsMHcCpffAN4m583z7hWVsLBcF4mWyGWpMQhe248t6d0aNHS0A1mdDd7VUmkWSMi3cZuMethvaov1un61U015Y0ftNRfOmNqBF0BZCYmhihsvhpY0K0OzmcuwRykCrGSABbnNnWc+ekKDhZsZG8nqUuz82gWI7xC8wFaFurg7CQ3fTIdmqsV8yhMpuAmnvFoJ2rCSitA77YmALJXPB92JM61kRVR/k1I4mrZ3YmzDzueJJIhDgTMiDCk7+CuzIkVj5tQWeRwxD0sX71yiYFT0mNvOBLAhdmcafkg20ssj6B7ecXH58Gcl4kp1dZ9tDHBbtapQbUesWllNYxpC354xIiZo9CWsBn8QqZ1uj0HQLWIXh9i1aOqz+AyAlLXdp7GdAKPSRJgy50fl6tfT9BkXT69llzx3gZxyuMJy0rUrWNmfYa2YTLQVY9WfJGXLHXNxtFm62GA9wpHMuZuMRCKEI/1VQuiGNck58QdDXfB/4frkC1jAW5bbhAX/NV91OXNYw5gp1WzMsEQxnli9ghJv/aQOV+W7GinIofB/C3qyErk1LNeAEXxuOnG5DojaI89UULViX4QtYVpe0LUJR8gUsD1vzDHz1zzhA65pTtDQFsXZ8mPacK+fh4KSjJKqV6M6y9IuTZ+db2Kehmcz5WK9L1zFRyYKbNqZyxns4DcP9M/f7y/T4+z+U5+RA5SpNz0QcX1uA6Aw9B+wCUd9cQllMOLrLBp5n8uJUjwIykeTSJAT8CTDfNno3+YMD6oIA8R3HGnlpvU1LdTMYqTmu5pNOsf6w9iKchuGwC6mp999NNKPAoc1vq72CnJO7xF7TUgXw3J7XIIgbB3PdUY1445/n6vxMv6BlEpUpGU9RSq9q/sQ9MiGdSUvFDZvCzRTYV//gi0C4ytnn6ZrtVsxW5h6s/FqX5Mb1ptTXxnFPSfzTxfCsUf5JSmE93JJ4AKEzzNI/PcN1kmaXCzG5fihdmstHIMEDQQtLKj2JXweYY5Q5PJdAHGeK56fZujzZrOBnugYcngeewSx8KkfanliPHLiMJyXCpl6s4B8mFjhVfY/5f8SFLzs50vV/crp0NfHLe9Wlg88BO6fhGmvQ03AN3L+8T7sSGoaVTZUGNFY8mVEWLlFKYht3i/z6UHK88EaM4gsusk0ekSym+LR/9Xb49X4G5MiMDOIdFM0F2uHUzTMAi4Ut++9DLD+i+PnGFvyI2pTm1XjyNRRIDX/Fypt2nZdb591UbQ0SVbA1/le3NdqZolfKg/mgq3ZzEaZcccQi3MlYmhocD+rinpZSaO6cHB1ye3yk9/T9Q5ZCYb6ZZM6pncBIQW99kQQUODZBpU5gcDlS3GhXvxmRZq2Pf+kYscYg8C4LU5ixBty8cec5xyJ2LWjaQe5FvcjNLY/xqM7Ot6E0/RW8RpKmWs23+diLY/qWVxYX1BS17+XN5Ho7PKZ2NXdP7dJIHYorgg/MgDtczONr8rNPijImfeb5GOdOSbJsxAhjFWIBpBDp3vv5mLO7MK9t7c0imN7gnLf+w+BIjKpIarZjP17gJ1TmIVY0MWLs4eGsj8+g19TvNyE3lXPbTxWRnTtez97TAtx08LgK0+rYrFGAH2d5zD5LDMhs/kaQrT2l8bBgO5eLH/A9hfN364CLO9tyE0QpaoDRn2uzLJpXpekz754ExQRTTGhs4HAXF4NjxPqvsbfxJHtFRWjCSQvJvQrHmH+p6ssDVQzvuSE3QgkP/c0A2bpSU/30vqqRyg7hmn/HYWQvRdSe1T/3lu6g35GmjrEiEKTTRusICQhG005PizVhqK4MR99Cg/QLkQ94tCe4ZP9sqOzyc1JPyfnF2Zn7fREMMgecDa3gn/79wcx4vZAlZHWOQGKE5GUHiIkBN5PY7DpN7XUvNd/7YRKaMUPpmS67syyrM/AOrnp+QxEaS+3MEMjEo1O1vP9Cw8mczPt8gfJXv4j+Yt1MCtgBXi1/IDM/338oVtz4EjfYUTU/gAtu6/phK9Tq73jEaPKCe36eK+hFHX12T/46CJjcHrwuZ8hencjG1xIR4r1fpSMbgwXEpb2qJm1vVyS2PmFvoQ+Z3yetc36pp2YGEyX3+OFPjWf+c0U3FmJ7jJHIgtrDutDgh4OkTAMsXJCMe9M3peneXA26vfTpS2iJPE7uZ2aBfG0YpnQJkLaPIO1ZCwxUXs8ewn7/jR67p2OcrdnP/JH0v0fgTP325YUsFQ6+hkC9Ww3aiDw/Ek4DDr0bWA9G89KhuHRs0MCpXWvviKUOwHsoXqV8hrtOV2lbhSu7ZaFvzeWyqUW6bvjG3u8zFFKn9GLLnQVfZBNqUuANHUIK1o0obMg3U0RJmAXa7SWKBy3Wt3/gqPcFdr1M5Ko1e2bActgXLyXnA8EsLiOeQQA2Vrvr7QkuYMknCy/Xmbc4LlGdeFCHaaSGe+0O0mREcJRiu1WZnjRdPworGY9AT+fx5x7V3Ridk0nRr0+Puss57wPHhVxe7NgCVcOLBiejTnnbmUCX6obQRJa0aoEHhVs5BD/ywoKpiiPSJc5l6HpcBByJry5yxngMGEQ0Uz4lgx5RwTp34u63bu6F3I3Irh9hLWT9QhpJl0fW2C72EhQTexZd9X0+2g7Wf1ZrE+47uMMu7qApptRuQX9RiDBx0SxxW7fNh+JTZwgG8jmFgpbI9YLOPht3eROQQdEgtIXrsTQwg1ZvI7JI+tzRbjIwedOQio3BSienuecFYDZsD7qpG4f0o+AHcBOcUJ8nSjBdeECE2PsR688q4md8JO/Oh0r4xSj3dT0WWEJjEtK45NLxHJ8kksGK86zZQbzpTIEbYi/2rkFDtWAS3FbS1U+sYAK3nqu1iyzdfYva85xSZwYALfM35P25xeZ3zTifaL03b4dL5wfej7NMs5cCeXkF/ogxoTzsKmFZAR6BKium7NVY6KebumylTybNIM1OGexM+/xWqOHwS9LVoNqVm2zVMT21rsykpYBuMVHUyZ8idGgEnz2ua4VWxwmggSgrs9lRDNhwNnGXj+IOrszjMsxgxN0NiS6nvKEyAJQNUoS3PMgeJ6RjeeRLbUvSvxlK71QpEy5ZL8TMzotwpBGEtif6hkNogtm4G0EyYw0QDeElq3EWD5TjVEd/Xn8F4/VUpemI1p1Zj0M4ZSPEIXt31G9gCuG1Py1uuKvd+P4GbFo1CtxeartF04C6Zmd5obByyt/AASzuCeIbqKxAxsXNBardDBo+O5dEvuY0/8QuCTLE61Q8/zQC65Qy4X1gCrqMNy2eMO66cZpyqFL6c3bh0+fp+sy+iU+6MKkG8C9RTaxDXbPUiiRX8bt7CSSFaydxYkc5rDIGRaKAyTBpOfO/q3n3Yh385bX1MuKEtqR3OfEEYenakU8HsAACL0bFxLKoAhAAHL3AGA8AafkClQscRn+wIAAAAABFla"},"limitations":["Replica and local-engine figures are not leaderboard scores; no submission was made.","Gas limits measured on this machine's gtmcknight amm_sim_rs wheel (sim-6b6921f8); the deployed size margin is 72 bytes.","Labels follow the bounded walk; it matched the exact search on every tested trade but its 16-step bound is a stated implementation choice."]}