{"item":"e08-lean-b/lb-2","credit":"Taylor (gtmcknight): replica, 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.","status":"P pass; Q pass (+3.127 over qt1 on 512 report seeds, min +0.258); T pass; F pass; G pass on the final contract (engine afterSwap peak 244,313 on E seeds, 0 OOG); E partial: 64 of 256 seeds on the final contract (+3.172 se 0.117). No leaderboard submission.","lean_tell":"On a step's first own trade, from the previous callback's reserve wads, the fee wads returned then and this TradeInfo. Every binary64 preimage is enumerated exactly (monotone walk to the interval ends). Pool sells X: buy-grid sell_one_division (d=cy-py>0, trunc((d/g)*1e18)==amountY, cost n(py)*n(cy)); pool buys X: buy-grid buy_grid (xv>rx, trunc(((xv-rx)/g)*1e18)==amountX, cost n(rx)+sum n(xv)); budget 4. Positive: pi/(pi+(1-pi)L), L=15/13131 sell, 16/12889 buy, capped at 1-1e-4, mixture kept as policy.py does after buy_pass. Negative: pi=0. Over budget/unsupported: unchanged. Nothing tuned. The TC-A full sell redo (arb/retail/both path matching) is removed from reference and Solidity.","P":{"status":"pass","command":"python3 -I gates.py (amm-sim @4812a638 research/solved, unmodified)","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":true},"tell_crosscheck":{"what":"lean_tell.classify vs buy-grid's bounded() (sell_one_division / buy_grid, cap 4) on every first trade, TwoComp stream","seeds":[64000,64003],"first_trades":27289,"mismatches":0},"Q":{"status":"pass","criterion":">= +2.0 over qt1 on report seeds, no seed under -2","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}]},"levels":{"lean":527.1102999527435,"qt1":524.0507039811455,"base":524.551079251902}},"frozen":{"source_sha256":{"ref/lean_tell.py":"f7ccfb9e8dabb25bb1ccffde86f57ee4882a4a6155c4f79aced49d21384e267f","ref/lean_policy.py":"900bc0727d0d1474dfd6facf61ec5e482b753abf85578d9dd7653c31b9d2655f","ref/port.py":"81ec1136146777e10056c3a1e1ad5282de5a1b53e90d425decefc288e5948aac","ref/twocomp.py":"9d3c1833321493fb51bbde4e1b4dabc2f8978bd6d774ee2af8dc8aed13f0f0af","ref/qmref.py":"1dfc9b7a3c2237ff7a93dd9f0af54b9bdab16f2ce0a7eb00784cb4432598db92","ref/blob.bin":"3ac7cb8811ecfb6a17f499aa4e9b70dd55f7fb6432b3aec3b904e11a3dece38e","score_lean.py":"298a7504b251557e92632d8b20e93aa51c09b7a77c130fd5d504410660821cb3"},"frozen_before_report":true,"rechecked_at_report_start":true,"parameters":{"budget":4,"retail_floor":0.0001,"L_sell":"15/13131","L_buy":"16/12889"}},"report":{"seeds":[10000,10511],"n_steps":10000,"run_once_in_order":true,"vs_qt1":{"n":512,"mean_diff":3.12733090822986,"se":0.0454449809559702,"min":0.25751453048019357,"worst5":[{"seed":10146,"diff":0.25751453048019357},{"seed":10141,"diff":0.26930913252806477},{"seed":10256,"diff":0.3626242830762294},{"seed":10498,"diff":0.5012948128537573},{"seed":10476,"diff":0.6384570767136211}]},"vs_TwoComp":{"n":512,"mean_diff":2.6967134214476816,"se":0.041882940035121524,"min":-0.19645146412335635,"worst5":[{"seed":10403,"diff":-0.19645146412335635},{"seed":10141,"diff":-0.010966982256945812},{"seed":10449,"diff":0.11030315094649268},{"seed":10476,"diff":0.12856977706655925},{"seed":10498,"diff":0.3996791182958077}]},"levels":{"lean":540.1174070659895,"qt1":536.9900761577596,"base":537.4206936445418},"label_counts":{"buy_fail":822060,"sell_fail":823628,"sell_pass":971380,"buy_pass":976145}},"note":"512 report seeds (the brief's minimum); 10512..12047 not run for time. Replica levels are not leaderboard scores."},"T":{"status":"pass","seeds":[74200,74249],"first_trades":350657,"mismatches":0,"counts":{"sell_fail":80263,"buy_pass":96692,"buy_fail":79488,"sell_pass":94214},"probe_peak_gas":64005,"note":"Probe.sol carries the identical TellCore; the final slot-packing change touched only Strategy storage, not the tell, so T was not re-run after it."},"F":{"final_contract":{"status":"pass","seeds":[74200,74249],"callbacks":100000,"max_fee_error_bps":4.829964813518606e-07,"errors_over_0_01bps":0,"tell_mismatches":0,"first_trades":64634,"pyrevm_replay_peak_gas":209355,"callbacks_over_245000":0},"first_contract":{"status":"pass","seeds":[74200,74249],"callbacks":100000,"max_fee_error_bps":4.829964813518606e-07,"errors_over_0_01bps":0,"tell_mismatches":0,"first_trades":64634,"pyrevm_replay_peak_gas":209428,"callbacks_over_245000":0}},"G":{"status":"pass (final contract)","deployed_bytes":{"final":24076,"first":24004,"qt1":20605,"limit":24576},"first_contract":{"seeds":[9976000,9976007],"candidate_sha256":"5f8f62d225486bd3520647c69b0b562a3b519588a7b8a7af6a886fec38deaf98","qt1_sha256":"c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca","paired_vs_qt1":{"n":8,"mean_diff":2.948194126153929,"se":0.3867505113527672,"worst5":[{"seed":9976005,"diff":0.30946204242445674},{"seed":9976000,"diff":2.9389471961930553},{"seed":9976007,"diff":3.1446374119393568},{"seed":9976004,"diff":3.1596230223999555},{"seed":9976001,"diff":3.3275257985437747}],"min":0.30946204242445674},"gas":{"candidate":{"afterSwap_peak":246022,"out_of_gas":0,"calls":88041,"revert":0},"baseline":{"afterSwap_peak":204469,"out_of_gas":0,"calls":88467,"revert":0}},"status":"fail: afterSwap peak 246,022 > 245,000 (0 OOG)"},"change":"Packed the previous reserveX/reserveY into one storage word (slots[4]); a reserve >= 2^128 stores 0, which the tell reports unsupported, as the reference does for any wad >= 2^127. No change to tell or fees.","final_contract":{"seeds":[9976008,9976015],"candidate_sha256":"a181716b113b4c3e48ea46a0ddddf6a2e852f8967a9cceb5f3d8a13c4c87dd19","qt1_sha256":"c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca","paired_vs_qt1":{"n":8,"mean_diff":3.119558759338304,"se":0.11972675763848796,"worst5":[{"seed":9976010,"diff":2.636723921879934},{"seed":9976009,"diff":2.815796188867182},{"seed":9976014,"diff":2.863536418548847},{"seed":9976008,"diff":2.9774870854145092},{"seed":9976015,"diff":3.267522465722209}],"min":2.636723921879934},"gas":{"candidate":{"afterSwap_peak":234591,"out_of_gas":0,"calls":86971,"revert":0},"baseline":{"afterSwap_peak":200462,"out_of_gas":0,"calls":87428,"revert":0}},"status":"pass"},"tell_gas_alone":{"probe_peak_gas_including_tx_overhead":64005,"engine_afterSwap_peak_minus_qt1_peak_G2":34129,"note":"Probe figure is a pyrevm call of tcTell alone (includes 21k base tx gas and calldata); engine difference also includes the previous-reserve SLOAD/SSTORE."}},"E":{"status":"partial","final_contract":{"seeds":[9976164,9976227],"candidate_sha256":"a181716b113b4c3e48ea46a0ddddf6a2e852f8967a9cceb5f3d8a13c4c87dd19","qt1_sha256":"c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca","paired_vs_qt1":{"n":64,"mean_diff":3.171798105206424,"se":0.11724021521325462,"worst5":[{"seed":9976224,"diff":1.59970080730659},{"seed":9976212,"diff":1.606978563401185},{"seed":9976191,"diff":1.80579846285832},{"seed":9976182,"diff":1.842090391893521},{"seed":9976195,"diff":1.8625768401481082}],"min":1.59970080730659},"gas":{"candidate":{"afterSwap_peak":244313,"out_of_gas":0,"calls":696498,"revert":0},"baseline":{"afterSwap_peak":208668,"out_of_gas":0,"calls":699853,"revert":0}},"status":"64 of 256; peak 244,313 <= 245,000 with only 687 gas margin; 0 OOG"},"deviation":{"seeds":[9976100,9976163],"candidate_sha256":"5f8f62d225486bd3520647c69b0b562a3b519588a7b8a7af6a886fec38deaf98","qt1_sha256":"c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca","paired_vs_qt1":{"n":64,"mean_diff":3.4012344412979454,"se":0.1263740458672508,"worst5":[{"seed":9976154,"diff":1.1433835791111733},{"seed":9976121,"diff":1.2565193825807341},{"seed":9976144,"diff":1.8138363659952574},{"seed":9976127,"diff":1.9543923204342377},{"seed":9976110,"diff":2.0711704097516304}],"min":1.1433835791111733},"gas":{"candidate":{"afterSwap_peak":244616,"out_of_gas":0,"calls":704326,"revert":0},"baseline":{"afterSwap_peak":208615,"out_of_gas":0,"calls":708066,"revert":0}},"status":"Run in error on the first contract before its G result was read; that contract failed G. Seeds 9976100..9976163 are consumed and not reused; this is not E for the final contract."},"not_run":"9976228..9976355 and 9976400..9976655 (time)"},"engine_seeds_consumed":[{"seeds":[9976000,9976007],"contract":"first","use":"G"},{"seeds":[9976100,9976163],"contract":"first","use":"E (deviation)"},{"seeds":[9976008,9976015],"contract":"final","use":"G"},{"seeds":[9976164,9976227],"contract":"final","use":"E"}],"replica_seeds":{"debug":[64000,64063],"report":[10000,10511],"T_F":[74200,74249],"tell_crosscheck":[64000,64003]},"inputs":{"tca-path":"https://api.imdnotdead.fun/artifacts/dc359635b5851de9f5b3ecf81dc2107d46acd5dbe67e0be234bcfbe0c8a488e7 (sha256 ok; bundle sha256 546b4408... ok; all MANIFEST hashes ok; blob.bin 3ac7cb88... restored)","qt1":"https://api.imdnotdead.fun/artifacts/8a6e303b662e1a5ea9bb47f31acedd3988ef65b3ddb66d074517aa59ad41ca40 (sha256 ok); qt1.sol sha256 c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca, 20,605 bytes","buy-grid":"https://api.imdnotdead.fun/artifacts/a162a591237e25c49d30b98c30c1c1fdc23746ead5ff3371a460a77357825624 (sha256 ok; code compressed dca35723... and raw 12ad2004... ok)","setup":"benedictbrady/amm-challenge @6b6921f8, scratch/setup.sh as given (wheel sha256 checked), validate OK"},"final_strategy_sol_sha256":"a181716b113b4c3e48ea46a0ddddf6a2e852f8967a9cceb5f3d8a13c4c87dd19","bundle":{"format":"base64(tar.xz)","sha256_compressed":"6d7673044901be753abc264453415bcf556c91941d39e4c22b40e64691442b30","files":{"scratch/Strategy.sol":"a181716b113b4c3e48ea46a0ddddf6a2e852f8967a9cceb5f3d8a13c4c87dd19","scratch/Probe.sol":"e66fe543019d6227d0ebdd97a62e9af80782420264fea94d3e3d44d3ff3472ec","scratch/LeanTail.sol":"1db8f00a9f9188320f0388f42d1ec51c9227ba3d362b489ed59e9469242758d1","scratch/build_lean.py":"2652e1db5e87cb1070e1d95b30009d96778c79064a6384c6197bd353d6bd18f0","scratch/ref/lean_tell.py":"f7ccfb9e8dabb25bb1ccffde86f57ee4882a4a6155c4f79aced49d21384e267f","scratch/ref/lean_policy.py":"900bc0727d0d1474dfd6facf61ec5e482b753abf85578d9dd7653c31b9d2655f","scratch/score_lean.py":"298a7504b251557e92632d8b20e93aa51c09b7a77c130fd5d504410660821cb3","scratch/summ_lean.py":"6bd7bd83d1bfbe5238cc90d9bdb56f1c586c810f127fe794da67c22ad7a1e5d5","scratch/test_lean.py":"dd8082ac0362bc2ab6e44802c1c4e15189b582b5e58526ea2638f775b5cd5993","scratch/test_lean_contract.py":"a01efd31ee13dc50914393930f92ba3ba4a2e5daeb7e7779f2f5e2a9435245d5","scratch/mk.py":"b5d923aae532353e1e8f9d0b98bb6fd9c0d4caae198623b3f8e195e270d70079","scratch/lean-frozen.json":"7ceaf0af6ea5697c97abd22780e2562568a98d0e92e602d87d2d53269bb36f98","scratch/mkresult.py":"ceadbbf9ff0959321161e950f5bff4f8b10ee00d7a19a7ef3413730017b76386"},"unchanged_inputs_not_included":"tca-path bundle files (port.py, twocomp.py, qmref.py, materialize.py, compile.py, engine.py, check.py, test_contract.py) are used unchanged; restore them from the tca-path artifact.","data":"/Td6WFoAAATm1rRGAgAhARwAAAAQz1jM4Y//aWddADmYyqqbSOsPwyK5nHn9qH3gc7gkZI88s69RQFYziAeOdNXlKqC9ahwCjw7fKvhq2L1R93NvFHmtS0dk3lo/sLKa1GXTvNJ6S2cKdvuK1ukqA//jqs+caKpb3IWr3fPxs30z36kcs/KEC1oveC2fD4ZqiTbBcyGNUIHEZ5SeIqYyEdn2UNHUAzl41FLRQ4y0+PmSU3Vx8yWQpxTF6ObqJkBFVM+Wq/YuTvy0KjQj/4ILkexUXqZNwnbwqTbyHo+2pifcE1O3pLQQv7hLd0zfpcfuL/L7BoTvgRKl3EL1AnmvkugdXTj8pbczYapQfBF23kpVTRjnmQ4WWO6hnPKQVnUt7U1LdnbyAAqO8F6TDGJssKI2BrMWxfd5nvZSqAbHIFa0a9FklRzfaedp4PzZtGGt5HyPkwQ3GxBKqEWwYDB45xwVF+Z+iFHPIE8N4g8bY9CYTOtCI6+n7Q03c7qwC9diqu828ZnH9cBEUXx4rdLe9/A43esWwzhZGiGNyxiWMha8MXwrJzEmcvwbxmd3/J35HlpRHe8FviU6EC4Q50TdsNdki8lmPgZRibvqJhUaiblPePWewERirZ00Y0EbTlg0s51pCGkEg2ekKicdQgJwRWqEsdywmjg19V2SBhgcBbrhyihpLa1RpSgdvhC5WsADjDGk5IZ2VH3EfzeFcJa5lsuzrVahzlKLM91TKgcO1f37ObWw5GHTzMaTR6DxB9v49qF68hcV/8Z9klVx+hvKou1/uOcvfVpGOLAFfXf8dYP974pJkBgCRYBBFkAsQQk4omXXw71xX0K0XM6oZCMBxmVBAVu10Hw/lLGD9UMJYphLpxwUj6unzLdEW2v+Z18jA2DXv3n1+1zrywqOlF//qNduj7Uny0mKnjdUv/f0tua2g6K1b9e/ZemXOk8KtMpYKoUWhqvGc8sEOU4nvuEBiIArH3C0hMg/Ik3ulMUhRtavwg7cKVGDXeMstT4PxYZ4QnbPOXzkutQFARxK9ISO//NvUWR2msJjE0sGUaOp2pO6rYD5FSWimUXWqVD8HYRvRMuc1P9gd532W9+2ha6iWuqDBRqmfeUUEHa43fv/XrytuYSHLsA1d86M22OMFEqsk58Fv6MIhnQC+VnJqzqOcz2d13zJEv+B8XMMq881c+uyqs+5sJ4lzGmUf8/KmkheZ8X+wKmG1oPg2idUw5WrHzaKH0OVN++K3/cccHjIjfLunHwVWxeijBOaInsDcEsB0aRQfsrj9U1oAvkaC3KRrV7pC6I27A04ZoQBJUvrSEoTVR36Za/eV3n6b/+5daV0wiiJZGwt7z5wsAw8SUhdEuM+5Deq7zSNBVG8KkADR+637StOJaahv1LTnehEpwCeHDQf3X0rc6m4g9IknyLXjMjhxNQaXFr0ZXe9JBSdlNYGAJ3upHn7aVeokUXjrfRfCzTd/FWJfe1oyzr1RuOUkoJULmSZnRhrFSbFLMCNau+AjZxYKOD3XRoBad7Sk5MwLOKaRTwZ/UQi9eF/HPJxNa5NPDYyBalUDZxgtg2u2EEDz25svWckuEiU03xdppzEZb8D+QmyHlLW/8pge/PcyMohgRn19rJmBIyeNpOr6kb+OXJ1sY04kCzyx6WB8P/ffRL4QGiU29nImDpv2fNNshMjlxGTX6UH1npDajAv572xEZISgwwEnrbZFAySLMhp+U0T9cr5cucZkocwiqoN5kjRu4+cxM6liJ96tE9zpsAS9AbtgS/UlOb7fIGa4dfwJXHg8GweT3ey3lKmQFCQxcLjVLRAAzwBG9twykJ3qT3pZBdR0DsVmK4qnbhddj1jY3AmG/gicifaEB5jQ8KvrpZR7hyzir0J/4B4zCtlaqxWfC5Nk0NNehfuPQuIJs3xGQ/Ak7Y2aPAwh421qyYGq8VfU7p8VALRH54ddkXyP1AGXlTjxMnk4FfFFy7AN1CnuHbnZFBpdnuHOOLv2RF+HpzC8BxvdyV/oIdz6OKcMbFw3n4RUsyqApYTQHIsefusRCggwCIS2xcsKR6nSXmRtDf74dPecoRgwL4m70OfuwhgbV32P3Z6lzfGxjn0P3dqIhOe9fdVXcWAStTR2YjWdFrz+xJic2jSp9BCH63tJ9DdrOG7r+PNEOAhamIdF+xNRsTyxEzoQvkTZPuTkBuI6QGcBaHiDxqASw+ybfg+IxZT4MpvTXyxXPNKE97EU7tHkAdFx2WSJqXTmXnlwe5Ix1GCYDDYuHOSHs7u9ndhhQ17+ULtwCGsH1VFyZbWxRl30+9DsyL+FLt/0N2R7aTBqFEVY2lmcJrs9ly77npO/fTiEBLZn1tLRl2MscTccpeG1svv/1zXLMfDUtkzTYKaFmYDTKgJSg3Me0UTGhTucw3350qUoyoZPrc+/wSgNHMDUT7tQsbys3DZp3aaJFRiullOiVws4FEY+Kn+ZFQfH9NYwV/ZzwLMN/j4Q7LgYOdrjTCYYigV5JbghYJkkR7JnGfg/lF/bdrQjn1L9XiqXAEGsYw9uq/odgZ9kUeCs2RYyFAVis5bALOaoNdZI3XMHx4E2aVMB3TkI6bTTMWq5x0PrQIVd/nd2x2JfH1EtbsNbta739ZF3JwFFHPnEDk09MdK1wiwXTETo6o7/KIie7WtEt1p/LfXFMi9tAxrTmgM4Fv8YrPm4/QG4L4Ri9kWAvkLldbdDBPn3X/TA7dK/yy3GxIgMbRkDKerq/uihC7wEjjuBPYwTQadmTzSymCev0o2+NYdFe7Bgnb/H84HFQ525MO2RBxGfrSnigrvZtKC6Y5KqgxB8Pt5ZO56fctuoe6cd3IUji/UMqh7EgcAq/l+d4lp+OlahzPxo3dv2/5gessKO2tnpPxRqEsc6nHsg9cCIZnFrDQxbZ1I9DD/HgSP9s2JqiVd931Xjt/Nmb8keZthVUq6jFMw79BIyTGlx1iCfY4t2iYs0c4bMAsTLDqAL7bTEpjdAD5EQZay4CCIZJ2UpquKas+MVI6n2DRw6091pgcACKF9D1AtpfMjSyTMqDVu7FObjEizdILvPFoSmcIh0f7EQ+GV6bM4wfp7OWs14Y1V0LuKVxdx8/e9qN8AZC7goj9mQ70Fu46MuMFpf8L4aC98Akybi434BfiyAQ8YbyUnm35Exp9sK6TqEXhiV0SG+/Qsdd1IqYncoIdcbUuPmzIADRhM7lekLZkFEzys9cYqd1SG+0MJkanuXofdLGgqnLFNgcpPSnUcTNCw+YwFMLIDFkjrPVexmCaXfhMA3YdNaMYNZHpjatywJobv4JSdQpL7fZmYgJSNEYwfqwDrko4GpdpOFS7smNgXm4SxQbeD5QSC09rAD12siRg+UJMUuR167MZYdi/Q2idsO7+JsDQKbXlWwfrtutfGJgMlosdm1pLYXwGOsErtpyImfEgxOqaz02t93mUG2fl48MKUwL6Ybcdr9e0J9/peatMncoOuehl/B1pU2g0xqZrQHyBmzB9kDWfaVSQpLYaog3W+zQwF3aaTozQblrTIzGA/9ax8Npp+uFxOtvzMhZwAL9ZBWz9uN3MucnpQ0brX0qm0vJg1wECtbiY/M9a8TVIt6tpOGL0aSy2VFGTR4igqiblQijsv93ptKdsWm1uYAfSmrqAVJ2g4rw+ivKjl0qhfVbOyzZ4UP8WM5b+X4Q6IDwvzYFAM3dTaO2gPnzgrLw33k+TaCjktfxYNgPPJdq7ZKsb/l3QJniJpSMcExzMtqjSrAEFGIU9iiUioM3dUdHiEhrE24bRajU68clw+3IgiM1vVfPAs/BKMC4sG4wq9Nkzw+qmR6YFAY+YQ373dqVkmJkPFinnyC03sC4Wvd0NCcPlS6waKXJj1IZpvdz4WxZAEiaDJDFeueLzTJEFXXoGc83njk+we7HcCirwfDYiKqbW3Rak7E7f9h8yuNz8oTpDpAArD6vJPiVbOpbz6O2cY6KpY6QQ43v5TojQJiFf4aAMu8cN+LQH61rW4SwnWJR8+AHYCVPBb5Ds13a/V9+WOAgjMchWLaZHdecz+/Gmhgg2MFvLSLJK4dk8GJHq01iYjQjFJrYqZB669Kjhe/adVSxC+Z24WLBeH8OSP8TCtBcHa8w3kjWv63PUWAbGdOMjG0gvZk4VJrRuEZ2OVa11yeNys1gmQfQ2ALUr2qj00PQs7D+nTBhgtDTLqhw/w3kWzGIX8pfpW2fuiw1IFAGRUsB8toWewKqoA/crliq3GDd3CbKAbfKI+WSfuD53szx9/Ove64TNP1wVUT1NXGdj8zjIFqE4rC0N7ManBb7hrVMq0tTt1/DwfSN10UsJyAONTKVBsNcidZpwbvA/31FMADigcYNpWckaREgLGYbb2EZbk6DdfYsekZp7+dPwTPmbFqJBVsCLIA5+PTxyAZhjL+WXC+8uGwBYcZMNBLefUdpDKPI4c6LO5L4iTlJstPccWZ/kDTYQCNUEHnOwaT866YqBtbSatFXHb9OjKd+c2QXTGivF3FnNjnHAGlcaqv0B+2bUmeesvaJp0oOSmshrcl+wYC/NKleGDebihdtBkbtUjvETfyZ0+jed199+Xksm8twBekaCFOVAjLknZXQcedmP+dquyS2n73wE0nNbRFDx27ilJbJY16XDH9TeLcQ89aHROLhy5AIT8Ray/rwEKMHKE/UGuoF1//dGfG/igoaZnTgFE3qoEUiUQTbEv1CmTFuiwpcxmhwlmza7x6kQgJDLE5HLunAzUUnMocgi5xvfe/aQAZwBeoleh3SUpdBJMkXyfHauOtStMX/YyO2ZNo+s7aNbDZjxi8TOIb00M2LcTqS6cxZgS9PXnJGIoJVWpr4CVB4LZ3t5bopLRtV/za6rQIl7JQcdCXTHeLm+vOfTydOi0X5p5nfu/a/mRFf1EDq99QOddtRlUPetXrk6mFnpkc3ahvEdm1S/hXerh+yqNpBRTpsxt6twPA39GbqAXCZ6FUz2y3JSYrUb6/Gjcxt3Wpjc4MsKtZvZVZZLWP4JEAE4GamTOOZGLTVry9kBB1p9GmDV1jymgv4iPLQvXowu5jjOTDItVCvx2l0dyHgErFbkWxRNkm+ANq7jxsKbSOgZ1+mk42mBZvGaBwLY2BihinyBcN+4LJGWLppEhUJJ6UHt2XkYwjCB7jjRvwjuU7wvLji2jZAZwCLWSYgUJkOLA5lVS/ixpqi+NFs/GyN8Ar3hSoNKe4ypZG+JDBgWM0lAvy1abA9CT8F3Ro+2UOhWjI6p5SvMImvBHcmR4gejMT/VGEjyPiQnNQwt3xVT/O7YSxUWPIcy6EoWk6rXeZKmFkxw/KyPNMI5K5nYaFefLpOmWIEiWFQfncTTWY51gqdupUZ2LiYMirihdKboS9PQwUrfWQQFrjJWWxC9es4Hetcaru8ZsgudTKqBD66VDc7m1tHK38CdJOD4+9pjMJXkeIcY+vEbZaE9nt+cIveGSxVhBymroi7+GGTYwzVby0gXrTS3nV0c5d/CdIq0q0IVkj1kWfO1rf9ZinGPOD9HHQb4fyrihyX8M6cm1bNbMOszFk0QS4sspitaPsBQpwBp98rfdkOJ80FYswkJ/JANfs92wu+b89CmXreKjQsnXw20hQDTzIs7DckPJvjxJGSgZie4LUP7+oBdrGHxDPbVdX5OMRTzD/H4EhEfYo7nJ3sGbBZWCp7ra3kaIVMPWyXOwpJMlSCzO8d7bLHVxQto/OJ164/scwJYE2rMDoetzOd33N6X2pJ1aUZ/oJOWwV+78bEJOFP8vk8AJxNYIQstrRkTfrm8inVMCbO9nDA14f5oTwcMUoz4nTXb2hQeqVEU3uWN1eyNv6SnrsibH4D535S2Ma09lKhcJNSYaJsldPlkHc8Aig9uFA+I9yObxiWN4vBgk96z/w7vAHOFrNyUY4dDzC3o3kzXCzJHPYRr6qZYaNeBNtcp3VA9cR1SxUXQ1bIDOw2F6RSJpqsVTu31Ynrk2N1+75NDVFuZeuOzIiGQiQrxNvgO2k9XjOqJUQLVvJ7q+5hzbh19hTTBndNCRT/JGTCb9jte3GIicVvDbr4jVxwHZSvVtdd23bc1qYu0BnoBG5zCo7nLdLP2FPGhDoCV/hhZqijSCybcpCN2+8v0cbMuuNsrA/wlHW1IYeqiSSFCJ0mpQIPraSdT7UgX2V5sT6pEQ0RRHDlHmzdms4xvuzGYjHDgfKrqI83MBLgbRhTywtpoa7aFRTepWXGvf7uC9YKV6pGSqjb7FjQuamWGE+RzKuveveKIT1LHD5g3NCWvSIyMqgG6zmRtsndCttwA1CPWap8XsovmoGxeOdjZK7d9fPli62Kw5NemwycgSGWmtXcqMKC202wHHSbYrf2rUnG29lvwxNiV8Om3NJyGjcplemHNg9ncHsnwhd0bMccAeuXH+2Pf/ClP74WvrfPXBtbJJhXglMg6C+Dj7gWZd1mHC++9RErKArNMGtSCQIlWRWgt/eDRBen9JInSVxEz8iPzSwCm+JlLZ7CKQAptWqwkBvgLvFplDMTBT4RIQo/m0AhMdrrCQr8rchiKauHzXlnHH2K3CwYDisKj52CSuFWfdveeKvHoqVyk7viqjFfZtDYAynstdGQicLmG3wStAnzlAUjs9i2162nCtiTKnDX6icSIz/tO6yEBuFOe7go+2lA67Kuki9GXRqJOoROPNUCvYB6ovjTHeWlCvFhGGdmuPU4cSROX7uDaU677jH4GJ3MH4rc90hgf3PB+Q7Bfcx63MhqSr2YddaddkNkNehPCxupjL/x5REpiAfsY8HGlMRzveAY70peicSuSB0c2Z5vZLLWwKetCdCjnogCejUsa0u+DVp7kqfxL4EtXZZdNgSDPvtKdoo/RUhFpbd1nlxHXRndJgML2P0oQQ64jnb2kaqJUhYirkexMlTL8OZLA9ie4tVrWYZQpL2ojWtGB2LPRPYQ12gj+VKbqpaxeuOwrfagfvtaSLdscZdYfvuyMoN7mvVKfLCYLktzHDJv5NiHwYHqDcTL1RZh4j/3aMzh3FGNHBJ+MtUhkZ+IgnBqeX8ZIfwD1N3vaBIay72NwyoqHn9CJsyMjEf4bqS2wTpVTJzMGNIurB3pwD+66YpVVOK4e8pYOLTwcHP/Fo+vPf2FVvpy0lsClu3c7XuPG2zgOnPZ5j18EATztEXZoygMKa55NkMfMBvuN5G/paQqZ94nIPJysCYrh0IRTi6Upqwn3bx+uFByP1nZn9vdipgilQWjX6rwoMKKh76Ihhzyig9WKTvx3oDS1KIo66eodBXvoL5RKR1NEw2RhLMc6Rp71TqFfUKanMZ2SGO6FO/2WklO1KpBPoQ+jl3s9ZnrtSdKWbJf85wibm5CsUlY9MunEWjwFQExR+bKmRzHKqgZluQ0C/zlSwAHs11KjaWSKTj39whf8nOhwn0712rD4Okaf9EyrMsAmH4fd2oNNoLBDTwSHCDhRemsor3Oz8/ykrKZEkR5naydo3AUooRKfBpjsn64CzRvm95SLbg1H0HvphA4pZ56RV/PVY5GwLGM+V5mRFGjiN5ZO1r/8l6oL7+Qd6N4Nuls8QpoyvCjLzQsrulXqzAjBG6B9fGfy+tpEjvvTPQp44vm+U1ORU/+FhHCdXPmN/PetFSluYckeXiaylvA5m71l9ygfu2LNNbftF+mg5tBHL9LYA/pTyanrDXlKK3O2HzSNwepHMGgT6PSUV1F+KGwKE41naa9BBdUCHH4cTSo4kHCFoLSZvXRzm3mfI3w4m14o4/6S662rplpX9z1/c02VGngMc55LhT08ywyDXn52hm9gqfnrVGcB5Rx6fiFqCvbwnS45NFz7VwG0Ow6XBHtnA4OdKPWHbnFJVHKVTZssC4ROF4qjxAnH6HS2gYulCAYFaWBXbiOz9iTOHl7q9ovvJIYuckJF0iNMtd7PAPPgvhwWiYZexTQjWi2/dKaiCWdfWiozelJAzH3n+x6RTtiSb47f/TuYBgHhaFtwI5RRyP+4/vuPFf00YbLpf8z3Vkv7yjv6AlbG6c+HAkYvLrOTj2vIVw2zIiwKJycGgLsfz7ilsJoEavLjKH8hETZkLqalcnlByyUwmJX9hNe0r6fXWJHK2Vb7FmZtQ74iX9OP8O0N6GAX9go+oN06lju6s+OppUjbQRn8a8hxopwK8ruPL58uXIVMSsBekfbfjFbD27bACGZQExLZ5BR/zjCTr/W1ghM+yz3dNkgteFD3thNB9bNyMT4hpvClsf2sXHLyakQQElr/qxzHGNvpDVdLxBgjgZ8+JcW5q3+Yehp1E5d0Fik3gMoJ3utG/R7kUTbzALDLHKeuRNVtJbmK0xQuKApzi6f8lcQo2KfFx6peTP655jUdjKYFiiURzUC0NPxEO6r8FXApW0Y/8xn8ak4qnOusySB7uCbV8vqsb9jFQZm4Pv/EyIegnH6phcRrpOLBLOphh1XdUvViZ/995EHdWQUpF5/VpqcLK6uemJsZ9LZ9si1YeqMWBGWA8oNC0MobhNK2JzMmgMks5RQfp+9K6KaPb8NITBaRf12uUrqKGtTo++bKsrTz0iqmGPC0myT6f2m6bo56Me+9rBRUvBz6Wu0mcx0OKdU11sSrWnp7U9txXH/JsPozKmOf3BgmqeShZScT3bz/Whi2dVaZlPsbTQJYwMpfA8WorDaBW6MaPSpKwZj1+qLb27taQuVTP/bISyH840X3Eqc0nGLw7TfgqMNeybEO+UhxqnxrUSM43q64mtOneM+/oB6NssIE8yPctnlD80pdTy6DoOnaAF5S2qNj/Ie0aa4utEBoRqlw5miAEE9v62/PzXr/D4Kkf6TSeLHWEMSZ1d8IfZ6ald9uAkRfY4XIMfVORV9isSMKpr8NZ8ZoB0JsTLJX5E4+rrNnKGQy51GPzcqddOwMzROVTAH+4y4qtfslaZlluM6SQ8wCH7TgBsRCpRWyemr5cJzNA5L6iJlh38rv7tuqI+CagfwGbsNK312GSeXd4ZVeCXBMAslk4il26CXwYnTj9ZbYaFqdkdx/Ndoed8UmIep68TWKwoS+nTBFD9ongDS63ypJAIr0Rw7OFLCv848jHvQUmG7nGJGT4c2srSnQb67IbDbOWG7bzEm8tZ2uuhDKQhw/yZQjiqMjjBYvdlNm4WlBGs3ajNbosg80vbB9KZP3vDMOi2wpVxo5GfdECij4nPJpHKdKtJ/9zLWdGk8EX2z2NwGblXcDGT2VzQQI7GEXNqeQkRrHHFbrumxzDF0KGk5X+AdnNogIzf9CWVjo+FFe9jjzOq+pm3B/cBfesiuY3MHZg6GhUTbgmT5URhZWKeJ0uh0wMqDeVNoBqosDR9GDmYa70f4CwKWevEtB21+gPYtV9TDJ3Un50NmHqyzEFuHCLdVcV41V2/COTnXJfN0X2mlqAJsGnjzn0flHhC1pgeRSPoL5G0owOjUGaD3Q+901EaHnuevO+oFTVszUsyG9yO36u3BcgIii0nSWKJKccRR7uOeJIekt2vNt2xU08OVzRyqNDjjTRnd12C+feI6SC+wGQa2VjCmHjaWwojqw6tYwAbsUfWzOp/B53z18XhzlJZfugYclhyHbfw9ToKVeXa6I+rs5h7MsOJjCgz8n+aHWK3rElCqx15BBLiq9NF5HEFR9cu3t3+jL0+npd0T+3HZ5jOsvCnz0OTVWR37SiEnbkS8isVnVkpvdvETso2RnKHub+Ek56edWIZGha3QooGHzTydtyoLYS4H6D3Gq4WPJWEifMrDOjyeyO02x45QXES1zBbjEHCe5cIfZZvZ0XIqhhH6BdvEDJZ/WK07o7cfSijA1YZlReUDqIkqmjD9V9mkrZQLzr8FkCBtxultkB7DXNfZs7H6Vp1ZqYSLiz12WckdKSDkSLHy19ODi44ZltIQ6oXYOzc5b9DLMEAozGtJXq+LRQQuNCJuiizwW+iIE2LktK46uA+exjuk+8FoW+z/TDXDRK3Hgvu9xRk1x6T1mpr5QUyUNe1ZqdAryMrpwBvPE5sLnmxNINrxybddU4irjw77FNeYb0Eh9fx6V659Ssk+UVjfiognjb8qdjw7jVSX4/+fJIVzkhuVHkpqClw0DMzyGkuMdk5Gzg+mYX5UU8bsWWNXTvvWztf/9CtFoUOpz9/Cg5IqwYpNbvkkb3AoxmQVUNKJeOPWyGalEsP+5VO9ZSFSy6lAyZ+4X4QsZAKuMc4YdONLyIrN22GbZZ1j9U7CS6AXpXDksIQvLsciruNKtLNKDw6nsU5eddiN3tKH46ek1hLew1mYVKKfwgDhrJIXKeGpIX9MGBtvnP4anD0nWN0RGjO7ky4sN+v7pcZPKxTdbEGqWMh5wjSp0wng5Mln8bo1o2wtrrQdGjvVLOOrDwSzHG4+f5uGIHtur/AfwjgqWoLzve0AODAjH9bKoA2mdTYFYMyj/vUa2qnfkVMvA9h3Ulkk4mTw89kyKh/j6wAdVCBi8ALzXKp1T+LrOWr53nx095EurJ8MV1/VSAcjAf+D6eqjjOCAtAa8meClRwvfmVneH98IxHZrklvmrzTN8rHp7CqucSyN3kTEg4+oOcvf5ZWAU9Na9Jz5UaVNX+qg8m2czNVPB7ZqyOkB3dnQQBR1t5Dkh9G9dpkOkr8oDz4ybVzR9rLWZ4vmusRYOa2NoID2fKR/W7rReigtz289QFm8b75sUEREzbKsWHlcRzKOtAvhpZjuJIpsfoalAbk5zBhhZyilo/+f0bmtdDZJMbk9/GOrOanTiLsSXR8FpeCpPsIbRwUhDMIKuqkf3GETxGz2VmJ1oR6mHSYNDoFoTBG2cjnZTbIe+bqoeoXVh5ubmdq2JcPFSD6AU/4JlbGq9Rv6LMCzuroeh0wr5Q8JERtI3w/nKG7a7zvqU0FvH8mfl2UNdWYeJce6OS/c6DwnXn3pBU3Lp4FqgDdkZJqz28bwVE5xyYSy3c+6bMacmCJHjQhQksBI2J/qFWV98ZdgnIdl+BFpBOKlzrDqkb8RDM48IC075BDKL7MSzcdJDeBr1JS8jKqc5rYnM+dKFQkB4ntRHgHQhxHQPVJuaIbClgma/Ec9sltdXzdjKjAm4iS7NUFVHseAF4uAk3nA6EJ42gHwSHN/gFB8n/eqhW7RawlgUSAaPOz7LQUZhcD4quKGgcYcKcwe+UtquUPFRUHA/jhuDyoMa5isKdXbVH/9frRNSobPAjauLDksWCbtcnYTd3ybJPN4naC2MlW4ZWlXBo0rjaFgvHCdTc/G803rIB+upFCj8RCIavkxlPLs/BihzUqwgNxSftxU4kZeZrzYdAxC0HgW0xQVDgVXX0lbLmuU+q+u5P58v4SbZSzyODtUedDJUxZtdzIidYbchcCDMIWQv5zEOme7AhI3BPTvuz3Lx1updNopz2UzK3uZQOOga1CM/RXD4SzINszsH8tBW19LlWovMaCZPCICcUjKAN4b0tHb8qc6tG7mwXZZSsF0ieaatk8MWJyLsoKXejd1mGPsU5ZVWYPYAUDcOnQfYpgCM1GGyYP9lnbgqMs2B2AWfmhmOcWPebY2PfNM0jtRoBV2spsAamOHlliNu+6pYGpUcTZa/H4y1TvsxkAfwPBGhPtc4PyBymSOsEqdxZReCciWWppnc9k+BeuJqG/vSITGL/ALCy+66erNcJK9OMoaJ4T7MUWVO2a54gCA3HHApKk+KcUvJJIx+IKO9dnbtlGJYZXxg1IU7Na736rMuwDD1hGzYxyzr4hBbs7hovk5N6Ly+DwCSk4exUMr0ZrSUSMRwJEhwq8drL5EpRRk8qtjnSbvszRnMrSsRgkb1O1J4XLDvTEkoWAKjQsORUx5GIrxZL4MYNtqYiu6ggEpitc6Xw4ye8fE09SZNSGOzx51ulpKJFh9lnXQQ53wctARd4vuyuLbwFswCLc42EVxZXDIEPkPOo8CYPZp4x9wJy7TGrsmicdXhiERNoaE9Zj+PxrJHq5ZAvip4QSy+HAbULc3mN1/uSxCCgYfaOmrA/42A6kK3T8QhVnE3ODl5deF6Jje9BwG1W/j7R5SJa0O8lYFfDBOOtheybCvtclL1Z2vJcJ44m57jxCD+tcJ3e/Mbjslp2eusT+qxpFPUwbFw9IopN+5s8yh99aGJZSXlJ97gbLW8nGJf+JGUKC7iCifR2oEsBqpPy9ZKNV5yMs6m9cOabDLMYtu3GICQq7ExjQPnF1FVNJRWorxdTBBkQacjITlW5rsTsxdzVIl9+kqafy/v2HJHonjQJ+8y3cBJcXcO/ywjNzjwYpIkpqX0/fjYZaGjUPQq9g3cALXjn3E1yQ2THD7LWS8v5p1zFHxtQz7o1vUFF//2Ipr+ebFTwxGRQEXRSTikuVGJ9UMOMvRZ74zY4FARfJOsU/QrO/m1Cf94J3rBQzQjPSUmVCEmMTqmFB9+An6MeEO8spMo6rZzWtzFiM9/wcwNebQGIwOK7z+UrhVuLqrPuptSt5jMcfbPbnFVRegjmPY0xzy1SkSMPvPtQ3YRhnmQr+jUkhteaBSrVcXqj4CkLRB+iE7ISePxIVYVLCyhfclOgeEUmjqeh6B8cBtf4YK2CI/ZUCVTaTH6kvJFN2mzNb8N/A23rl0h2/dzYX9i4YScSuZySr7sSKWqjM6rl9FK+s3P8QQLhnSqmDEwuBQOsFoH4VXWKLyg4Ar5F0Qb9v5q6J2rj/4p8xedqUhmksLat0xMtTqmSQk9Or3JBlmCHHXCIP0UdbKrc26vU7S2OmYNzqdq8oej9UNXxoVdOSt1EJaZG4afApPVxAZzulJ2S1Sym4OCduj7zaJ2t8tUchvQVlJ7uuR+o4ZtZxXN4bdKv+USFFSlDbF9c3azVTXuoSHD73UU7llwzCwPhF3F1P7gZF34Sqx46PNWCMgWkjaCmhLshT8Mzen7MPedGQb7x6zrfAwi4Mzoi+zitPCd2IeLgdVemkeSUiABynRrVGrAF6ztU4wKlFcUOk1p0U8tz/hxG+teRJMODnEDDVX1sMPlmY4UVj4Xly+6DE43TmwPe697YvJ5f2mp4VD03IGLlv6EcM3DxUFgHim8zYX++rWO5/BGntv2djuvXMtuHyQwDAefub0DZvTb/lmC5xbAddIfX5Fqv3ZgmBuingQS6GLt7CkIZjYku5OKeecM1OKqsknQjz2PDWYv7rTdnTJM/geR3svkaldH0Qoa+X3wCElucimZRHBGdyZTio1gyZT0Oar0nAyexnNpGscNopRcp3eT8S1PwLnCXeATjDQuDVKmakjbnU+HezyOBxZ/aq8INqx7HQzxEq0AbRxPx4uB4tc7YH5J6svkvtWhlikPfiHu7Zdg3F3UVKrvkGccYkmmmmQ39EbEUvLctFGkZ8jiGK1TMn755BvYgppLQ632zSejhoYbiqFO/MNO3K9J1DDa/mLvN8gOf2K6b0I4GZJpUeJnYWArLI6OleTMVSC2HIS/01Z5+mctni7dG3UHLd+gZGp98jhJRwHL575VxWbRYJsVBdlkBTd/ggaxoDgudjaSE2te7pv7H0hUq4boQo/Y1mUzR1p5Pu5dj7KjSViUfv7/iYosITDZlD2tSWxbJPm+Dbyj70WdthXM6LGmHLQ5zaRsrgrwjNCugiQ7GZjOHS5NVprnndvt6HosByVKtmu2KFvKl0Td51QyW70UFsmNNcByDwJU4p4vsY65a9KQXrjnFMNxnajxmaFP5N/XSJ0Qei8c+/UMHTB4oAVHNHWaKyIXf8SAU1vstnIqD7ykA12XONYtYpkf5Zh25HCrsz3nc/GtPRdwXA+7XXUHSevUkLHDhXuP/YmKJ6GNUBrtwDPjGUrJ0s+/Moqim9ge0QDhWhB+4GM8TYLr3CTLqCdPVR+j5QEdYKwVxK8eEqAbqtiQOb6zyryLIVH4sEiIBUBvxB1l0qLLb8Zv9A/uUijlX7WMIMvQUyP2trbi1i9s4UN2Mx2TjYx9XR6bfoNZeYhp7Rgbqu7iNoFREwU+xv9lerJcTlqmvKT2cD52AkQLYn53XIBC3tkxIGk+KgmYhNio5U2MwlJ3iuMf1oFvF169qZ6AMDcTekxmENZl0Z7MLYhSZ08N8jEtKUfIZut9m0Lj+Q/LtBYS34ZgQJbmVJxwxdqsZQJD5vURzJDByf4iArJ/S5OsggzaChsxUkTRm7chUytMy3H3DUqw+kvbKghalEtP+jlzPB+a5NBGZ88jlMxE9zmCquecDYazhoZidTFrHzxhio1n+I4UL+YdCccGxy/joY4BWjMUJynK3FTp+fOYm0NBcovz3+70Krj2dTWkLUcBlXIZZ3okxO1/DTrw8sLfsCfCKWN5y0ayCUAkX/YJH5akhL809SdS4h8rBSvkEedR1rn5ynLt9oojpvyDKR9RXCMN239C6SosP4Cw1B9n+dO4D+lvj1HfGCPwZaU4wRhfpV192HdeXpzo9Ci70lzoq9nOgo96DwmyRwe2gw2pPLmzhSchkUCB5rWeWwPlSg7Q1sKJ4EohYxuTpUlIegY/RxC3aNPseE0smKnB9/NkMo244Md/2dx7xfdiDnEaVBa1MYOmKAR/rtB8tnOVpf/Z4ViUYjLmOJfB1X0QIorKEGFI6Lp+m87K3fjlslnjVXWXF/QGd6jGECe4R5CdkjrtsHTj4GSLaeAhly5XDiLi618k4/6Td/hUBnottqZRYxPpgiEE1Cqgyjlujg1g4+KUEMQvnDTT/Lri7wVVNSX7c0GF8zdhfv8rD/0aLL2pCF6CphFebxtRF2HTdi559wj9Ez7v/WP7sWF9Fqq1gITAgIEwUvM0RPtDMXOiRjLpwPDJbenF2Rm3g8Lt5ug6VRNknHCkOvx6c5Kxp3YSY+s6z46t1z8Z1h2KBKf67aFQ2J9PIAJEriluuE48vUxDvrXrmqWHSyrQpLbCmbDa5+M9E167qLoLVycCIGToOFrGzsPKocbftUoN88PoGHOH5VnmTLTJaZuffWMwo8v+YPid10ccVnajIiLX5WzxIpdOY9I0o2dt55dfPFmGGRoJZEAQtI0O90vCkgE3uC7UziVE/6+2818fl/R6WB1BZYl5S9u9bZkIVLE4l4anHKaJ6h4RAwYeOgvbDRAOrw5tBAvFGH9CWfPDMB42LpD8rKaAm89dvhIxteVC/iM/vh+EzRJcji/gLHiQOH+sCKCl7HCROaamFldUaEJDicA4Yu7oMz+80eVemPGAFwt5/K2fAumHw81sY/HMvD/B+q8lpTirRVlJC5Q/bbDIYV2GlcK+hMOFVupjuZVdSrHq6NJmDlHsktGlzoMoAulXX6n3E5CtD2xoWgidab3/VdEOLL1MXa0gy1fz7V87Yj9375NjqYeDBMfSHYc64f/LqjGqEWX33POW7tMNXd7e0tnXfoUHbOl8q1mklMra1LGZNwBMlFYY9QSkLYzGg0yqIHdJ3EG1W98etCNv+i/TZNLQ2J94u1ro8mo4/rWt8uA6kgDl24exYF6xqleak6LznlyBT35wEiJJa5xpi20r3zK+MyoXWP6pbEyq1RotVbnFcWga0GT02DXXEcunrJPE8/UOqfikrDZ09suOny85vTC5sQ9K8FPMely/JuD2oF9i98UP6emdmsXHcJNiOtyurFGbw1ToPfVWWnNpqKl7qTzLdosa0wrAJuSM9TlE4u2x3LbgMWflrTTpKqYv6MHA/C1A9gbDANnkuGRWIS72vCmjnGsmiAjS5oLgpnehD+lXWmBYhi78LQeVQFFRWMYtXKsdCQGfV6NTlz+cMYxx5Bm9Vz8/ZjYphuT9D3BciHEsCce5TvfNvXdLMlGJLrkqsPfEsvj8mNl+++I+YnKykRwrHKNB/Uh/QNdcbmygGcf7sVWmsEwdxEvD8n3m462gAauHFJ1lDEhJ07vRMwDKzO52nzOfBvTwf//o4F6TPehNZB8ULfPt5UDCu3v6n4I9leIDZdWVB87JIyNAuoc7i7VxGM1Tkrp8Wdu7aAnBDL/4Z8md0hEoeUMBSq1bzXDUjl/5Byrccl1moANqh/f57dkjKMad/TGOR/2GEopBO+YIdACTCjs9SPzinOJI9gFNPQWWxiN11uN+eZcj9ErgM3x6Jj96gtDfGEQVeO9/Zs3IWSbTpjYpWuw14BsVp2PgCvh6w0WiwMGfEEDTJl9QR8jEOWfT1Af8gRdPA7ga94jnQRS7eWNyFBwXNVdQ3qH/bnp9RtHhisa0RnYOJuKvSUDkKDdllGB+f4u65TpgnOZKYb5OErrerKGk7o4H3wzTieVsuMapCekeJiMJc613iFPRyE7KwtUltchn/IK1VFOjXR8euzJz6/OplM7pkgHO/td7Wu7JVQsB4aYlWVroXhWttx5xidqDSElAf7Y3iqb0sapfnDvR5zQGXxfYMb90tN7AMWJJgp+GbjwjMTDz/7MVNTzWUvXAecZBE+YolAJvuJMvn/Sw8I5Rd6q98M50bM1wnUM7IWh26255/BE8GvxEqodjPkv9BrwbHawpOuFBJWLa8Rs0TvU/QWibObxrCu6meqph4drB9+//w7MwUpvM8aaXt7RLd48rS6CbpOpW7ZM3sleIMS633lSm0+wKE4a46J2UUMAQfPVWnMr6S0g1i9vZd2JkOnjy/RAdJ1O0/zyYBx53A8m/0Hi5hLFPd4NzJ2hVlpfi0YNvwhhAP5agfV/jHHYkw6fPjr+BP7n3IkCrQOR25JwuyGMIEUCKJUfAFOcskRXCfvml/oWnlOkQnuVqLRFYj6LDiXQ/KBnwiR0JIEBM5kA4nFSYQ1BszRXH6nOBRl2Tr99ZZKMlbgfjdlbVIbS2ffz+l+0GuW7+520dFsYLsvQ0W5lTw9xHe+W4w5KguO0kqokWKOIMSKjlmWNIDGr2YgUbZI6IEiSxi2ql6mbPuNDKiToK6wcKS/a/Ap7cqJpWQx81hV596wjIViAobhpzjvxjvUdmOlTb8rx6zEv4X8rYViyCnSd//6bqFbS7vM75I49EaWMh9KLC577GQNJG1CEfQze4U+zoe0w1Fwy3Y5XV5QIwfjfLogS0LrSAtVAWzttp3bYu04mTUr3Uv4QgfYI1YWxeIMDYldgHHorHOK8iyfaYHrLr+dyYo1Zopp831Td9sMrvY3v1wQ8Yem8Q1v5IzsDzGE/CC+2ATzYngaH9QYTuMpPRXkCinGnU8GK4F0YQlVcOaMkRiDJx6G54gkFBP9cyYFz0ZEbSIQieSd2NfJPgAOHHq36I0qO05GgEUvKwEw7pNVAgdBzPqdmMRLyAZ6rGqJq+VY0iptQ52LvBUbvl9gsfmNE6JPkhcwZJUnFhgKoxKITGGcNMQeYEewZ/R86JdLkjtjwO8yKGVdauJtvlaRdD7Y32GizZnC4OxCSkDeEgtDqw26+Mn51ag58XjPQaYyY7jFBXlArW7nQybC+pLAdd2Au/BVD4sxVED/fl1Sy7A1b5McSvzx9tvsvCGxYCJQnTB1TKcG6K2ZPitHArPjh0NQ9P8GjmvctZcuRVIoQQ5wPF4NLLMe8xLQy4j5VO2fB0xbyVoCMqyn9zFtCChI7hcPs9gyjMnccwctEzaCBUewGxwINFlKh6uaITjY/9D4sXQZfwFzPRvhTqpvRe0z70frFvVoX78TxMrv3mmR2cZnlBVs1xCiwz0dOnwS4bAhe/c696yYmmPbwkjJ253m6aKQX50LTihuX473h7ue8TNOVnJF9LSNJqaxUWZKm25R1hZ7EO/4LeXx1rXF+WogJLhKqlG9Mj60TnIiPKNgKaeJlJ53tk5Qm1AwI0PFq8qOLT37VQzchSNOXL84gsrLoo84P9GO6JVA7Bhbp2MNdLE5AZLO8vNqbSmsnyyYrSYT59KT9CAHOvnCyHOEDEQ7unSgeABY/8qEwAMaVELF1G1aW5XGxOdy8CuWJHlqH5wzjiM/b8pVtiMtiYHaj2Lwc1dz19DxXSQxeh0Q44XCifhwYHdw0UeCgEXRhH1zBn06WrFhqfJTDLv4VmBZratgBcBxac2y7KAbli4nQVdruJxtqmGMupRFppWp7bQ+HZrlyq5ga6hZPd74+xxMvGUogzRFMCs+1BfJzC92eASAQXx3xtnwao/i12uw0xS/MAHyKM7YYIITAGEeWlmj/6hmB584zmttDm4AkCGaKt0qbkV535rAaWLK7J3UPesSEqUIzfSkoIIPfCl/RvDcJWjwv/T3xv7MA41X8mYW4L2YKs7q9sMExJPMplE62D7G6kAB3CjolwJFCLp8aokEr+RDIiIt6D3Ifs3AbZMEVUZ/JNVEml5TJl4siuVxj3OUMaOm1KpuXkNI+HOpSe8ZcVw9rUE+SD6LMI3mnwCezG6FzyXxLhAR65j31JavvFfAnoAss529FUBwdg2mGAN5tSlHUxNJ4CvKDn0eN8joBSoCowa5Nj8RhKZKQU2R0ytnM9wITH6WorzyTbpErL6oTpj2KUm4x+YZZN40/8/v36aOQ9iZ7tGluxUtbe926/AAggd4Gts+IUlq2AQOm+OJcac36iFb1ryDmwVQYfqT8DX2XXWeN5O5YRijaHxdpCEKR12lrkPyJ/j5iG6wqm0+IRlP3wwL55uoofBwhdfQOvmwEziO2Z+3K8DNNTyJuu9YNgDDIzecGyoOtZ7r0Y0mqTRhqJAFkMC/vaoUpVhCGZYtnv/6gZnu07OwtP1KzVeMUlaMglPvsRTITzHn4DhA2f05I/P5b2AhJuGhUGgGnCYTIUTYfFgGHmf02/kV3dWpPaJP1JtTRHIztEPr8H6NbHEa/dSNBuOHp9P2X4kF5Yk8m3rF45lxsI2OfawXFike8leJLtaS/F/FUbS9V9FNYvNOmmUAZJDRjgfcvENHIjrXKQJhI68+PQ+88zXTMyU/N0JOIn1YvCLKHKgawmVgYfs6h+Mz/Z085xQNkmud8ZSd8sl6pchy25I9UnHYkYNCTc9otNFG5K0maGDuZqJo6XTI1Xjm9xU+6/I9dCnZP+P2iI670rJHPr6fVc5osj5IS85iFYuVapzXOY45RKbzC0CE35u+Z2TfTLRjrwB/fYpcdXqDVyQwVB9iTRmlcc5otasOaJKlbqz09/mzq6q1e2eqplKbEFydFkwMXwFayUmH2mKfBTEqoeGwddDIm8aMVIfE0DK/0ukoLdvgiCtc2Pp0PaC3otiIN8RIClo2dw5rEpAaoyYZvK19oL8Vi0mVkfPm0pS4WYUhp5rIKgJ7YPVIPd3uDkRfMkFkCHyG9PE+lYheS8pWbT/LSX4Vcaq2wmTYeWHO6wMEW0tfoBLE0K2GF7PApV17AlCYXpb0BLQDUCiwr7i/r5Z76scERH3F2vevzXJNasMoo3dtkIM+2NrFCfcBBwv8msq9iAVtiRqXgsYEpq9PA8IDbvDpqXeK2K9gok5+oDvbmx6ioWQvbPcWU2X6DcBaAxHZ3YaT+v5dmwFNzWaednc2IRVgfSy44E1pu8fOV+kv3IB2k6MVoq0WAhRLsBsF/nlm6QaiTt1hOf/8l9UkZIq/+zR5UKnQFgqdFLKMBKMz5dZgmnLHN2Qz5FdX4yPQd0uu5Fb+aIE6C4qOjWLb4WIQ7wvfMVIkV+vOUqRvH0gfhPgObZqxrIWwH9QKCskOsbwzN9/Uz5A7b7x+PTkKB2oqMKHaY9nherNNdliW5caqq4C1+zShHiYcRKYqtDoUH5I2hJSgLTdRI7cLHIUQSC5GAh64uAo0X0wOaisxz61MS/Vqvu5uOZDzg7iZ4N6jNLKhIOBp935q/U9uOmTK3w8tSA1oYe1qKhesID1bOq2rA+OXi/Y2F2HzRuApmCqAeWPKvBMv2exljHlRnbxRllZ37AQw5HgXCMWXeL/0eANj4EDB72mz9JFa0ZLEJTi7iSLAM/WS6chYepo7Nx4/Ge9OW1zJaxIHH9V/j3vhtHRkoSioEkuv95Oqrt7H+ZxX5rtx7709Nnu6keYQbCBHB+ZEHOva+NEEgOoab7gy4aJqkqw1sMXTheXCJDnXm4UY4TiMBvpsZeUaYe/YE7wDSVellfzAG+dES3HMjwoBSZ3BpbBDUANzRycq8lkFIPO7/IazNKkexAJM1Ww5k2Ck1c+zFcMIh81Jm1PyDq8D5lUz5UjkwZrUEXRH1MjEKvyDAjxhbplNqofwFhxeFQrqnZYdtw13gk1T1cqHcEZynxtMgTw70Llk1JgfsP7yuXZxEaTdVRpy7/PvhT+iE+W62ncdXlhceaOvbFhA810rkFbNhoT4ImUXbgGXeIoDt3zN7OJAED+99lckFVVYmIV//MWKLki6e0Aih6j4pST49Te+FAOG1l5vmMjBbyOMZpprtmJd+OZolRwcOM35tgX2tcvv4xM5QLDWSUkl1ERAb/mbs6kYLOHbmk/2WIPmMziElVAWVqtf3pcLya7SrX9yZcYO81i6Py4qucakk7AxqhqkEhrMiZ3k5N0EHt6q1q4gtjHa8E1gQXdpATQIMUnOyvtJgduklw3lfL6Gx2AjEPJYriWvcjvEc+O08tY+8xRFFX5tZ0qqzIvXkXxMhMFq99qYFWfFoyP1lKZefRVyI6/WqHrwWAM3Ch2OVoHBN9BaMSg7aOEPC3TggLYSrlMm2o4Fl4/xjLEkYKxwFg6CEW+708wueEZiMqmmmEDPEHM37EcfVWbUVWh1sACnq6TUA8y/J0l02EognSW0YVYcnanNA2KzLXxaZENYTMulsyaDJwbamnmUlTbdxMi6+j9rrYuCDZ4L/Efw6b8cQOwFUaARqgI0AgHKh70eWVc42P/wzK3QG6umk92F19CMgT5PCz6PGcdQfuWb2oalT3rxTtxcGF0jWCawhoA4ZpG8ajPHc13urmkeCfv3VkD+fSi+eLVFTBTtzoVleW5INr0aZNRVqslRID/sP7zzDEcE/y5o7n4qnDyokxt9jIqmX1JtAMfu7HMMS8t4JaLbi8CL8Hs8Tf6/xvf1Am+IdmEM5T3WHsue6rK5nIerN/mZ7WXhcNpecipFtYc35SJTsQgos0ZvvjcFiE8DUj1EQgLwgzav0mDKQLJgu4YZkVnUT9E7mpGBLJIs/hgEBIKUPVfoC3ZyK1UbTZCtRAAlijmK3Mvh2zpGKcRsfbLVoRctr0quzCYXjFFnMoFxZlRDrV4xzjaEarahrDcpHtaiKzAVdP9Z0myzYsHq6ihjX+7Jf8rmJE7J5mqgwbOxlaCfCJsnZVTPssrqmHjzybtLyzBhEPOzGvdpG8jhzDEcIOb9E/cXAhE94fEJWiG/xcXxMA0TRXRMd/D1YiGvPqsEwwIbwlq3NBn/TNXgNpHmPCvOUjSv6Wgge/ZA/lhVjOPLTZclGkGRFuCmoASzL+XlbzK97Je/hGabTdjDeo+kmI3xeW+WMrR3V+LRPssv06xWkvGrIwZygiUrA/pUVIfd+5ZD2eJhrT9jRmRcG/L8ZeeBJB4/kGE7s7MUO26jutIcswjNzpFqzBexS2xvu1JezpfbwLOJqlomDE+QaaoEPNICGUGqzNeR9ymYV3tPKDHnXJrWR5KPTGtCaKEyls5UmAzewfLWRdhr525NAYsAiWRFOQnZlvHIDnyQBC1c1I7+SD0G9fqze+Qp7NdaLUP5YDsRUM/gNrTt+XNzWa1f/qZxrezkYA69unFJpuBP9NnY8B0IDFG/cfZMd8xgc9u3NQRdSmq6OFqhcKvbXjS5Ih0ffpYptRnTE9ERthxtpfqvLQjRNjZUm8osliqDLs44Z06D/1EDNLL1mta9s8QoaVGxeZ+AiVLVlqffRjn6lVgMEU7Dd/HsYaMjtMFRO0gxBguCacxwqyks+9H7cIsqUKVl5tTAdCPPCg+MNKI8ouxv0pz2r0yo+XzhzE8AlRgTpeDNcmtdvSkLe2WgtoLsgkFv+2uYXj9ZpBSTw1JlL0zL2SgCF7LH/4/ylq+z6bpkTfRWTG9u4lTsp5qnd10AosOhcAXJb0xGTG4nG+H3GY8o1keW4gEE72du7mvRc9K7brmaypj6HDEPDwmJH0ho2mYOsftOG4HcD5+divXBVnWcUshNyQh/UmsDaevUC2blZmNuSmCtCYTLsbXfPXAOSYPITbYr3NioCw9L3y+rNlXmC/xHgOJcNEKLeqLAagdNW87Iryv3AZTFJAYbCsIf6kPSRedZbHwGqj/rqEw6s9XRYE4Q+r/HSEsELBEiqlgFLrH9a0junjamUOBCvA18D4XGBckl0+8JPNs/Tce/5YyAeUO3no+kAWbOEX90SdvQoM1W8rj4oaXF5AlHgJvOsd33ooC0eYSa331rELnd4+MWLEfpFf23S4FJxb7rfVk9/nVVcbTtD9utrahVuBto9bT/FJdI29zaZFVTLygIvV0BorK9sqo68pRuCc2zq6YUnEjuV+one6tQVv8hMohuGmbq4dHcjIM1LW4GgGl0W5MCUcxrHkKQKMrzTTAjW+gQ6fjMkNwFI+2YyVx1yMVVZY3CrnHZQzAmPBvJC3J3nOJRuxg1HBBxKIy6tCaQRMt3gzVZghcJeM2LCMMyGP/IPbQOjKRoduMjbrQKeD3DYPBnup6a5sZSdQN2bQ8Fb1Q+4UtP5KJWl7ojMu0jEnlio/+A98Lm1OX70f74VjyLLhZ8g2Vs+BgEhZeDSBIOmm5fsaVaRsjNyKv4BEAALR6LQNXtuSNL61liQqvwIBjD6VwFIRwvqheAFv2yJ8SrtE9lgCRAangVsvBxYFGUNozhM/IJGpOnFylvrGsF8P03E41lRYLVcVoC0xgsIb+xSF6/9fsP+oXNYnYMAbE9HoSZ1e+5/jBzbZZKg+OHPi16F4OB4UKJhqDJzlgRQXyCkGRgOQxjcsfwzXSF0SDmzRdc/5U71Yy6WZ8OGqMgQLxKUG6RB0XQvlKjIHDms1THb+WeqJR6SzDeAsu1zbt9EiiLuaZCXoTSLIXbckedgv1VCSOwEt8vQyFqoooBOCGgwU4Q61cUFuA3gsUlGJEm8LxIoYHa3GhDSYWSEv9eJpS/d0KgPzYBXDv9IgmfDAH5DDnecomzV3lUVArKMvHP+GMyKkGlRxLMGb0+vOHxVz8cG4cReAw1Hk/ii2pnTojDsZY83EdWQK+g9vLtEYXqgDWpPz5nmoAPhqvs+j9qKs0dhE+va39swGYpzt6SvYiXPbnQmT/RjQAHQfdrvh7k2EfHtPWw++UiCv30+fIpwaEOKZL/j2CMKqrsboJHHaL3H40KwHu5DfuXOq6gw3r3ehd9fsOYzRiO2PS54X4X0sMf5ZLnMyhds7g9yPwvDlL0D5FEm8QuUGJeCcx5v+8k4ipWhyIBQhwqmoQ+HHyaaGqKBTbgF8yOVIs7gOXYoa7w+DiBnjhtlAq9AxG0p9GEiDOuWRJ3M2WJzZpeadWVsxUAzCRKvnlsmz8k8wL/1uk4jHV+JvTFygMAz+bjxyo35mehCOhWdeUXsqeNab6UYLlmdK2qsyHHzJjP50hCVx+MeF24R3Ec64NNEbBNJHZY7hEypRQCFinwsE6+LmxMLQv5CtgXe7bIaUhrtgeOZKidx3NRRHaBu207JLUvJgaKhU8czSWgMES55zsBXc+wrg54+kvUYDCNPZ4phlxi52CRcRdgzUxzUfaqHwaCqztUbHcOd7Py5gxsdZMfJyGFL1q7sm/8JXliVmRI0sa82H6xz0iHgpIf6kiQIFUa0i3QU+q626sKDLnlXh/L+hdKWPLFSsYBJL4Uusgw1vmp9oHYME0CkmUxtU6NoSNWDeo/6t7XgR1TIFxBONWG/0QE98DJzjbBvuexiYngdkxOaMpcoieaiz+L9PuWw56eR8Jv6LKtY6vLZdYAh0kx/e9iLNAZ5E+2WjKr1cYXM23aik0wWAXClC4v2b6+6Rj27x9devnjAxhnAoig32egLZQAR2aEa3uHYLCz0tg7lwqKfh9qx737+GBjyNxfcByLwWEWxYQ+124t4CCE3L78vbKOIVR80EDiOeFl//HbumedodViU9BZkxGv+zHJz5cXD9MnnlPG13ypoCAiC2Sgan+2QfFVcWe52cEXu6vu0lpRr2GrTWFGUr2UWWm81e0hsP9jfaI0AFoyRvqskfGbk0/UhrRKcL5RNjdI5vaPlwFaE5YEe2g4xBNy7nFwg5dyD5V93Cw6OcSLYlUFDwpoOrYaT1Z/5gFkR41UkbooC50hnSWTbDrt7CLIisw2AS6rEt0wRDEceCR6RuNIOUG4I7Z9M3ml7ORjKPu2LcHUz5QVxMIhcFrYYtVUaZtIKDc9nabVrsolvWHgtol954UOJnrGXB+xxZ9KhvH9Str7JOr/6dgCvTsiNAXIj3dFmrvug349BsWo9kr33nw4eO7bwpjwm/0fDc0HhCrAcs1qRInIGC8mbIJ2d/jC5HVIMHPfK/8+gIXNc0hEl6YTfU+I/GWuD6Su4F9AesYSgioCxc6Ks2zcMa22VQGdnXaIGGsd6FJw3ShRs+o9ZBcVrN2wYK6flJdIbMA3slTeTF3xS6oq1i1EUsWvnLH+oLFJSJX5TFL+4Uw15gAwe8pFBVInQRg2FKQYeiIvnQmslgh2b5TaaoRBIAl8cH0jSOS4DA9YyPac4b7kJQrV7vPqpZ8EqzAPoBtnPr5nNNIDMcc2k8OE8ujOuaRTEQd1/cLuYi9H4Y//OY8caK7MBAQAupOt2utEU/NbOPjyRsH7v5N3Gd5ydvyZZr42ObzArSwfSwKP+uLWntFuDVL1YZPN7w8YDoSYWwcgL/ACGoRRhEii1tm38fmJsI8tf3SQhXPz/tAsYgYQPyGe0no8XF2DNM70ds/Ci/mVibU8aqmTTYcCaqhtwAV3gql6SmIKoQdrlcQQY/VaHQdB+fqWyLE3AFcWqSjxw5TcSkU4V2vd2QJokboVZx1znh153Qml+6TNYIfwk2plwhWcmH9grTdtX7M7mBVgJXqBY9rGYjk/yH1/RGMzxjJGUg33WIB5qtWElORG2HeCVWi/0ZlO+4crNbCHtiYu3qAYZ9aUTFS0/8E9W31UuGP5q/Bdzp3GtTzIQz2k4nO8g5KA6EFP62skZYvWhouGMBo6KmpAzDNBxljHKZ6uHfvwxnl2ukAzyIcjLmnMzz+Oeq2qXe/oxM8BCDHHnTnTt7ltj28H77UYZByoWxlFTcddmajOuhbNJgFFBtUY05T0tMCOQ4Pl05yo+Aq1D9kOrlDAxjtXMt5xRviwxAvsnO01Ie9lQqzkWQ0E3w2DmjpKM8Ka+G62qdAHE0PYzj0jBue3BEKq5Ewe4Rpb08/DBNP/XYgmOqqM9wF30tlu7TMoRD0jwixQbYlzLneYyWsVm/un5qS22lsWgfaj0lwa1Tla9npILi2RSddSHaJkBzhtNNrnYgPq6CX0tRZJFajnfNWZxeYCTWB1bjOnL7XOyEaxRHUHbHaNG7l7PUVFnWgXmuwIlRxR4SDN4RBxetYYhbQr8s0v2ajNbvLPkFM67pQ9nUtVNBIk9KIvkzBO+8MLGHkzsCvjiZzGV+1iey4HAUYDj8NwK8aLZCXE1z3k+1oF6VUDEJ45P2/jndrXyUJRCRHA9QVkziQY00vl9WfCOtyMD4pHPLKEtlPUNbkrZxXVwVcZ6BKNBizNZjYkrjEEkiaagzbs/S+Q39p9rOM3WGufOTXVam817k1PW+ITZhVhzJSBzGKP7t13RbTr7nYUIHz/J3VwA7LjdPW4HwJB+cm3CyLD/abufE8B/kA6pldTxj+AC//KuQVNHC8+Zj69VIzNA28BDC+2wvGwAy6VfSaost9paMxA3bTu3N5QHM4aaa9+CBpfM1llTw+N5Nane7AhWePN+AomySayIB0QF03OwPOnzFp7FagD8lCVUGgyEHMWXWwNOKdwBmJ3CL7GcMf1g1zSGgS0tGrnxTqdBhFfCNwQfuuCqWjhGwxqHTBkYrSi4tLnGAcqQUYQgjg/GwQ0k4ugA03VIIKfhNlA7DTKNdOVCojiK3gtAx3yUCplMUB/w4zipTF0m2zz3P0tdX4uUZM43CC3OfyeU2Stn1bAoGM3LVYu6PfY7/m56FkxOlvbli6uE0PCiChKWjfo9x3SwbKJWTEjbbMQzrHQBzv0JU4H8dOb9AMouuCccAOpRqQUTlGcHWr9vUPJFz2Gnm2D+QKd0gWIiJ9o27cstvPMIGlLNQ/vFFE/9RI0MBLu3uGBVPp0+PlVCMxtx9+MAmCYyL+dHXeG2gjFxFTAICQIVdsRifFmUoI+LcyhQiUbaLBFv6QD9ZGivjgaSs+D3KBluOQ+rLS2Qv2p1jC4WvehW/SY1sjBvH9kpEGY7MWKBYoMd8lX2ELsYA3HOAjXeRJrDPwqbtK77iadddUTAsGFxXnDBylGZFpTg2CLjAOs5QGiuFb912vHBE95CV0u83a45pwrWUsibExG1Dk+c9YjH3XMQZO89nJluXZw3maQzeN9YaZPKAM2BM7zLKOcV9aQwruh0YQM1DVm44zSGk3Ilo+8pPPXG35kOUkMz31UMC+fhxGGXxFale5Yw4SXH+Fsu/edYimWZAfHuFr+SJKhDPIaBp/KuS9K7MIBbS8rFuY27IV8pQD5IUR1Vr044QMhIFe19kpgRL4yc7mPI7T03hADf5nQHX7LCZydt7rNqszsTXe1zVbHfRQya1WxnD4Lf1FLnOQlDq9xN4zxnNHv/4BOcyVCOwSDuRXkdj0LVGA3STVbcoQwJbIM+upzdts1y8lCcjHz8o0rR2CGwUWqobmA4/VMYBrcVaC5SKvfF6z1AM/fkOy99tUXhcrpToE0CT0ZzZPolr0DwRgGBnVHDrkbXqPBWQlPuP1G3znfM011S/bKO9qocTxj5vt8YYz/AOc/NAcBJmNyP6Mbgf5vljMHKMIlOUq/H9AmQ7o/nIrAIioiJM7lhpO7FacBMvdBszHpuEsFtALim75UQAcBuL6HsTRXRgpo+9ig6V6ut/WAh+QHLLJ7eD2QydiUDp3Y48u/47IE0yzI+a+LsjgUOEtnd48R4RunZc/vQ8Cb/tb5c+fSyIVU9PLQ5dduD5L3/2120/Mlq/jfHSV1u8dSzCYeDfLSP4lYrbSVy/FYYtQY6TcQGhLrlti7TTatE9daUTsuJIRakWdb50TyinrhwYY0R1AhWEUnyPJ/Bjxo4MRPVDOEAj9alCuz4J5nT9P+sxTaCS6YHkiGpYZjIhwWToypS6OtAiT/nIRzGdd2rtQ77IVnZaclbnPt/zb7xx2kSkxZSqCZmfu/oJ2+AK4xQkPB8eUly6466efiroLSLnrUrcOnX1uZWhsmNyXkA7NTXYVtzXmGR9rQ5QhXC/qnfhKea+FKr7KoxXNPgUSTNXQnGEW1KHY2a/jyGfugOzQ1GjnyCUAR6bIQp4MCfG1CxAODWYEFHFPh/s6tSNQSmGjQqP5qznyESgGgVAAoDozyZZ4QYnBeaBG7Un7U/OKIar+rO3u0AxiaFW7h/+IB9ux0e9lV9enq+JPWH7kqA+F8fZJz9gGcZJKO7Q4BMQ0w1mP9SWXtIxcFVPi5P3TMxaAmOZZCJsylSZv+lfdvykqQbqootb4ikbLTz2ifQ0REjyDcMkMcOh3QPSfX4TGm20HWoIMofQO6BFRCxvhn1i/gE1v6aVZzaB6PsIINW7vu+UK/3RurFUJM9aFQCfv51Am42/3CuvG6VZMj6OPktN0HhKqwWPbVHa3QpIW0/iCwgxyIhg8IobROsooodrFbjPSeXdMNY1lL23PaolJrK1IU3GabW9d/DOk0mpcUxV3muDhyDPE1jDSMnf/vtvVuHYjDT6PBPhvdH/Oh2Qy/ILhiA1UdWfiaHstSMotVoMHAf3TYHru4sD+LfoMQ5QKcNbsYcPDAQlRAM1kRpg41mlCreik5pnB0AU5HXIdj3W4Z1XYQ3/kFPzrdsJXBDsrKWUxSTjzJYOFooq9kpO5UQPoycmoKGCQJec2JiQDECW7O1Y6GDQvCqYlVEKJ9DzgoxLJYVa1DqkzWcDixIQ/3GOlDSD9pmH8Lz3xBF4igkOT/WrNxBklItgtD7j4AW/gzf7kTc2nrsdiZndEoAtO/ZuDB8X4l9cypMs8yIyywIdcMKi5SWu73+l5YoGtbLu4iZLFYE4qe/nauvCn6ezGKrCq0DPQAB51aH6WuPyaFEB3v8je9nG3zJsPWozvZl+mN7zM/qGV2ZUBmfD+FjX1NQr3tI2LrME0sSCcv3JB5A5Yz/uQKqE7hlDDJ47ysCeAFJEtPattIkvKddMkc+JSKqhdBlDxcR0gUkip8AZpuem2ViEShiROeE+9QSPz9Xl8OWOUkPpy9qdkJ4deAlD9eCRUeVDB/aa+jj+HIB2Q0IO7apR3hZgIQNRRHrmQ+VVACLJqo2eQO09hdKhLt1l0cwlNGFYADMIe6yuO2LMrIIkoJONJ2JrN6tLNwzWVs9XDs9VzdvIjPfb6d+9ooOSGixuq7tV2BafV0aiNg5lDnpck/c2AI4BUO61II7cmdFNLK5GNDEV1FTpK7N6IAyTfpqe4e77/jkfyQ8IiJrbaveZ7GSvJ7WIG3WMkKM1YNNfj55biwEhuqtX3s0z5yiiEbKa+k9ZkTpRih/kiqFpbQ6NprhdD3WXGhsNZsxLUuxyYtvvVSQklFXVA2bdjVuyCkzSNjF9xXfqxWc0SbLc6NuZ8wrYaYolqezJDwRYv0B0TKnpcV+79dpL/8Mx1KX9n24HLcCMgmJSJMX4tlfhwokEuK9Jy3YDiPnbLzgU5TQMHeEIG5Tv3zSfmoFFJudr+oj32jdk+Jro5jTeqVp0x/buT3e4u/mRyWBVTlBHq39RKPowKfk0qtGFZ+hxgMv5Au5Qmu9TyyO/uBdkkqQPL8AxfPfJD/1hAJQ59HH/yIIIhRcok+xnbnQ4s+ArIg5Ud1qj33DEDudyz49iJ64gmIyVKKOYhvEcyIvy1DIvhQT1RiJj5shVjrBX/4TEQLF4KoYejU0C5/B0rzt0oOsGdl1k1Mt3rO9Zd8nO8VguWOlbN9eEbndvXoHe86IrH1vWNw/Ril4iVwfopw8TjUCozvTlrGAszikJQaXRB+kfEg2A2geoRnzRXELXL6a4kUEtG8U1N/V5g5RnMSSZU5S+CMEacIe2DcFChUbTpYQFtLP7W/ogPti3KKoW7jq8ejE3JZdbcQqy2fmFECgmtGKHXXDwX9nkcthOuMoWib5zBq6S6U65lBBi040esLjrMUBAUM2E3nigErgtLbXYyfLd+KSxoj4an9Y2DqlROyXMIFHuiLUAQ2Mmlw+nXptSmRWw6bTdHn5rLQbaIWap8Uf4DnJUtJg3k2vg4mkxdgGsO94e01kkCzCEm7wXtZIyBCCLbjiItPvFf9Tl4YQj04EkzeNheadYWAFLjuaMWGyWataf4vgRt8pn/s4BtQIS/E08GBkMDJ5MK/9g8kQ/frZvuo9k6jsjdRiR641TXh3WmxKWrCeX1uoZKLA16R7qgHsRC2pR+GOjeLZCsHopXE8oLRz5PdEQrPApi2a+Z8z5bGHpYbFxZFvOcIO8omof0OzlJunXBNlU8uxzcYYxMVcObU1wTdAB9jDgL7lqmtSM2i7MDvyvf7wBMtQdzXybQsE+UsTvogHMHIZTvoOJhUOPA9JtP3rNQ4JDHSiRnZU/v5vSg3rQ68jDPZJKM7Z5PX+Y8b5J1Z+bB3NgMOMlevYLN4cxh7RsA63n5T6PHL7OFPsvQ4rLh8dhcJx9QL8Lk7i3PHd+geKkS7g1rcJyljKAaDfj9Z89FpPHeDa/F9kz4itDIICESKCzjoqUYQZwHOVeIMVREjeEyonyMGbVihanIUd3oF2bN/QINAaMrycWoo0Qudb7Vql7Rc6xZhKduCqwNHC/wZ7JKy2iKkU9PFhJrwj275Bpg7Rg3MjM7PAuKrC49UYMUSbKHEfKTuyTerXvROnk9tqhjKrRjWRYiSvMXyWQiuGA8zF5Y1n0YzSMxRn0ueruKgc4ZWwmt+aKzSuO9I5C6dgpI/HqtdfYnF6hd+DSaOI5TbPWhQevoDAimY5nzceDTneZUalrvLTAQmbWnavHtmYFc6SBuh8EYP1To60zSv82IbYWVLO9/9C17RvgGpkTylYfEfYzUpimwZjb227dPFHkl3bwl1jA3ZQxua9j8kmmS8MntEOXYfYbG/mLGe938xsJOMT87XTe7pywRZiPSNfIIZ3o0t4wGHhHxMVohtCTruz9LYAPSB7cu2mdPMObOPFCXU/B0/UyQPcbVMWcPJE8/+6Zv31dKo+tGLL/iEwyMdBtCJba6VwmJdyuwPHIKLxVYR6PttEvobjpnMSmxJzK8PTqTvQvJF1qxQpQVWi42d9cFYW9r/8BvJ3o2kDP5LNiPN3yGQegopDHD1Q6aWWe9K0leYLr2hmUzijRsmf2zeXUXBLabw9hmPPjvzgDJ5MMt5leUHjj3JSuT0k01uJkrzOTunsYaoeTzJ71puOPNtfQXPSpHsCbhL7n2lqpTII46sV6A7MyiGx8XTRnD7yjOTwCZKPKkf8egoAomlTt1WCr+HxHEBWfDOspNwiUSeZiOHyYMN3zsBNTHyPchSOKi5Jpxq2Xe9t2cLoGOPcuLmbFR44ZvePxL4GV1ni20d31pwQITXejocu+4IqwIDtq6KuCFK180vqw3YPfXjzYgWGr+XszbwGHB7T1q1+NEx9HrBR4zAMRWN1thnUPDVG6RhN2pVy9hDw1rdvBRuFPozG4am+bX/apVDYUmHz2vG6AgRCZcP4XBFPphPD94+ZRxHhvIKCl4ckku2q8fka3BsounZcXHglXbXY0nOH4/EUfiDAXzN+vIeHRUBv6ahp4ZjBx7JyvjqSff3ZGkZbdIe+3Kl4EFq+/aL1O7zBXyvzludIqHLc5F/+4HdM75WVUJtMkg/wXzrd1sy3hDEWPhCqJw0jjDp3ao9O98Bpn11YEwrGedtY86aq0bHm8mo5GMXMZq3ddi0uhIFRqv6rYk8Hjg3dldCFtoav9wWmemWVjyrSUW30KmwmENrq4hM/dDXidpt/nURXw0ee0ddc4r4uFoPZNGIJRPHjg8Ugca3IdRSloaEhECiOpbXPhxagloeCpAnqhKY1f483xiWaBPV6WMdSGBiWyhZFTVEXZZ4p6xfgwBeb1xsMZO0PPqaGQg83inwY5p0oQ+iqJifPYtNQIwluINiRA34UZunRxbCGYmP8LphkoOKMbYWQlbbDpNuGh1NW9L2jheU/5h7A8zGiwAxC6+WSG4mPkPX1uWh2CeVRLTRJOajqHO+JstKsMiiahve+LL66eavbzir6Rz6WpVKB3008put5U8xL8Y2chz7uVGw5DhxRDk4WkR2/DAyryCS8nuQs5ey2oTZe46YQWa03ArIfmD2QZl6fqWB7/YV13PysJ6jJLLo3meYNXuc0Zeea6z2cLE1DaKRJheQS9itUVM3hNMyDte9B3FFXz8SFnwsGIsJYUNPHIb6AP0zru/wHfcjJET2wbEGqbZVsX0B6l8zyu/hr10ongZngO7tiXFWi++mDNHyjcdW7diAlIJ9dA7lgcO65TH2ajcPlLkekDmyopvYIkg6k6v3LDFurY6SdcJJczlQu7Nm+8+3SC28rWXFxPbrOTgYhPrjIgzz6ZygtgEqIrYX/dLSHcVAwm1CI9guWYps3viJ8fr1Gla+clVPqxefnxhgvEf7J7cWp8D8aK48h+/84BsuduoSIFFeGS8ACdGCHtp4oJhZM3zJ/PdfiXAu26GVBVvxZqnrydgEkpBisGw5inST8+AUW+rNmk50zQY9fXAfu4q3hE+QHcwlaR4sa7b4EgBAjuo6Z/0U9h5rus/lbUreDcCL+qndNeelOuQBgvhZ4vVi5RJ701mGJsP4Ylel5xjnWbQvOD7RHTQO4jxJ6fkp1i09qbdAcMDddSfN5j1mInprvQ8GbMBQKOaxTTDHT6G1ye8wST2aX45EnO50FK9GKJIhRtdDHgQAaYYxpi1jg0ip2SpHV9YQmXx9b5GnYU3B/wQBdzm2HDqARmufru/O+YaSMXqzGNCZ9MyxlPbI0XGk0yR9u/1rJ32aOOUeZMJIFLG+p1ItPk/diE9RZWtyqiH/Zm3PzaCmKKyJdjlihtVri/wMMa00x9vxmjKqiV/4BjiOfYb+IaXV+A6fKLwb4AeyChMkdwrzTJEOMYUw6nw5gSxikGtL6p8ChnDJifre7GBZ8pe9bjmcJ23xfMEzavXV+xErie0zn2fTmm1tvkgny9ED0iSEeEQ025p2Un+H91LLIb+M2WHEKdxvMSKih39VJvclOi8ViuuJA+5PS6RSSX9ALjm3Agd8OMx/omITs63f5+8ix0t1ta53SiBZfHvDar7zo7BhT3CoEHnJfvNKVp8x6x6baBHcL9uDAHn0Hm4d1qQhNCYl0VsXp6H5/pJtRzN6kJHKAOhK5wKpeUOrrE3EgaJoPSMjgKiU5D1z4563yjhD0F+iZau2bohVQDuWUbW+KFAy5tiewf+dEtwrq1EnhkhlQCwOqdFao4ywBxIA8n5BBpAmAMOqMKiKA9j+YN9tEFOCpYMoUqsmDtxvATGo0+hzxyzkQDcvC9v6CYxGWVpHUDVAALTlhvKnlJdR2y6qHhrgDgz+1JAvoFJg6OovMTdKTYvV0uApNjUbB1NAvil6rleTVESOdBvE86T/Qa57L2VNdJIeQr1vVQgmbHr2fV1wqZODRhSrKoRWxpkLYeJevUOlS+TCM0UJDRb3+53m/La7Jy7rRqZJe3yRsRpfnAurnhjZMbEMrbNJAlCAqZztM+T92vnDZlW1rg2RJ0YZ1YYmARQf8pHI70jgf4lMNIDCCFGCxZ6EDSCwHhZXsnp9dretydI9oGwa/YA1M2aOfnSZTmD5wdTfrQLI45ktAp/gbU8VUVBeeLRu4VCGGudWoVyPyS1JI1G4Sxv3cVAOyVmYXtcDJIqXv2RU7TUNQmyXJGLO91E+PDMjPpaNcesE0HoSuSC9TgNG3bqccDdcKqEUUfgubF9IjSP7vCorH05YYzAMZcNUE4FDGJf8rpL6W7hTNv+wmeC4vJz1EMEQsvfLzxup+JVCJPZ1asFUzZVcuXE7SUIoQBVRgzO/xYfG1nUzaxQ+1TIq/MG2vYudF20Tqg9EXZsREUgEIwXevtXP++o1Vwatvf0pcvacBXVD772sIs8LBzaRrkAo+1xmZOxIFX/bhDxa6LAqifh2ZLkp2wYmsxFUoUJNNRLqWhfi9qD4lM7nl3F/yFg+9qnI96pcwyXBoq8mLO1IyN6v8fqvLyhkwTn+Gw5ZVVk8Vro9vKiKfyEb93QAjs6KEnp8PWqzxwIxI20kDGF2WSTSIKvYiKPnqQD+W4LiaPKAwL1pmC8NMSpKcmqrj16D8US/Jeuk7kiyk4sVNfxDp3IHxdmWDjjrzTEkpqamGp1DzN7sEg7vwEk/YEkLLgSXQYbKi4cHvR+H12QMmXBJwSWoLGNs4aqTZHPLZv9EBjY/Q7zvWIC33HOBGtuHPTqvyYobfqnjQY9V/EZCUmQghe39pSzlfdHH9E0Xbm/u49Og69tvlvOQzmbBmelW+KXb9f2K8126w/ChcOpQzegmtzh3O/9Rj6N+2b+13oqKzqRtQXsvCqJlW7YnUERbuAR0gS5biEIlZVm1ph3IonNsbFRevwsyh8x8bn+02Pdo/11n1tFGBZSe8vP/3JsPieAO8NN6g2JVG3QoAljlyt5oVcRHu6B9sjMStuEjNVNsI6mMBrbc5a74UJFBh9rhS/ZDKuhokZ4ZNWmvdE5M5cwwbh3HtQ3CM5m897auxJ/C+6mpiXPY10b9HcFUyjHAKsoJZhwzFzpDcpWTto7zeOdiP0/mBmnOrR1sg90aN+Li10Xz4HiUQR6rISdVtLgIfeL0FOhfNyyyhk2J6KB2tlv07FXsLOK7lMX5JAs952uMAvMz+041A6s4KhOSyUOG/s7kM+kn5i8pQ38KxOD+dGRoay/cAkPJbiWSNs27CeZnWzHZW/pBiAPZoVV/bbnGAcD1x/drrmsPFZrcT2EKqFecw2yvYE5I2OexC4oYvrz0C5GCEb16d9zOauByJAsccAlkRpeKKSvZzb8ZN8KLlJhKJIrWF6DhyvbZbxmkzVvfdIHz8m7z4TERBJglA6FH1QIbDFEPwi7CIQcXNdtHhwws1OgRonrYnNO73o27svZ4KPa5HV5VbQpTMbZ4LHCQMSu8/9hJX3a+gb+t1Zx675b1syx4BOPwXU75FnXK8xnF4qkIA8u7DPmC2PTSHoZZ6WvYKF6z9L8GMs4eAMkwdiB5OGAkJ9cWDRNHcL78yzEFaZG0YRtfpcqc0Cdl57EG0tw4blZvrEczjrnodpEqKVHhM9nrL0d8GjpxrIrHS1cdnFwjel5yjV+n2QLD40xNb6yiSfPuQm2in3qLvPF4tXoKBwjDeRcZcopuSyYuVklERnqZaOzGM/nWdTOgKsVAuYCRWMYKukJltkzQYE3VqR4gLsaTpyNt7A5ZtP4PLnVPXNJs0ouf9vC3ZDqARpC6DUXtW3kLgA14xHV+BcNcuWk83vXZ2VhbvasLhHkJpZLUQaDAtuEciHqh9uB1m4HSOfpQqxYPOl0qt9i3tUWCbgu/Eqy2HcIxedfEbZDEU2ZkWdvdR/LPytHep+p+CtUFyIZDrC1/dwXLEFgkKwDo85GYxNAbUdWWu9DRMJU71gxCQZJmJXBodUKkVt+488GRB27tM91tthWxvpnsVNlc5Oz1Xki82VPm2ve6EsDy5ciFK9oOielW77rnL9PGis2N2QpaAOh8z9KiCYdfQafDPOyI4qgDaakBr8DFDKHJc98Yl1Fgc1wYeOe3tavojVVivpzYxOE7N66RVZC5n9LrbTj6gfRwLgiICkCkLb5lHAEe2YyGprqexL3fVLGS6T0AvnLnJFJeAG8sbFDbg/4gHyYCW8mTKTK67lfvw8BY3urt/+3WY5AjwIgoAAGG+dfkeK81mL6JAZZ3SHqfIjDnY77v0sop/REWj/A9qbJdQaQiXymtjI8FRo7c0o6yMNYBFqcUlqwrulHL+/4RTkTLWuUZo/1wqqb/0vwcnHjiLHHJkijyo5Dd5wyj/8cv1Dj9ub6kCW73OBvtjrsTH6x4hbdwAlVQsQoUMmBbbeGE8wnATs9B+aIrnisBdM0rSqezs5/DRmQxtKzlRrMjpVyIipL+oVAr3UtnKgu5p6oWfUOJK+NeIFt9tBrNKn0okDaV36mpP+9Faxoi5uEWvf6LnDLjwkiyXWGsNiQxoBypjfyas0nljQT1PG88q0Xx0J3RjApecFnwNRlxwp07InGXKbW5SxSY7UwDm8oC1l69S9TRtBVpQRXK4ZQ46oEX84WdR2lpM3CtFaMPCMHBM4+sm8K1G3/dANwCPBoUMKZufH4L5ykJBfe2l05XvvaAY9NhCBTg93fVDG5KN4aNRAX6ykUc3muL94jNZ3auoHxGs2IqvydKOaOp/X8Lue4oUriQVdJU2XQW5IJvVNTuW7BFNmr9U0lyghhYenABG8iUfav3EfQ81HcnwsQc+dJpMg+h8QP1eVVFLex+PdSIZkOlFvzBDK2V355NnCvhTeheLgFKH/qkAJ1mauB5d5r98MzeotGoABKJsDX/vza8u7a1QFgmmEXdHYYQv12AzFkXRzHagL29+5Vn86gsRF8t7Kc1Mecn8rWvnWA2g8PeyNRkAL9CgAP2Ozljv/iWKG1s0TVd+bVE+lfO2uFLOPs9mjMLXvfzZ6a825x/qrh1oYcYTsUFkhMrRcrql/pdVi1Gi2XFyB0Fl8V4oNpxQQP6UqLLbb8LhRW+ijTfLB6d+MQ19Mg2LXYdn6ReJNRjGx/dj3xY6mN6VqmwdLekpkv2HZ3mTYuLk1AXgx+AIzKHVB0TTz+lspr0GerpWvgc/yJLLENvMuqE/OT8cZMbhmYKyKIsv0bNa26UW5bEDEdmPNRB+Dy0sltjVK9eaup9ifMEg0jS5OktifGLxYuKrIIP1ZZ7vdDWUT6GfPRAsHhAkGlV9761Sxjjrj5GxTSi+z98dXgpgXQG02GIb+NzQBlb+oeVmz3g6O7UXdWUJlBWFNY/SF+njphha6dt2uxAVZQIMbW357eLbF30O9/i5aQUckpYeU/UTvKM879h10ZZpyXlUAAAHyJ9aEO6pNmAAGD0wGAoAYb0smLscRn+wIAAAAABFla"},"limitations":["Replica scores are not leaderboard scores; no submission.","E covers 64 of the 256 required final-contract seeds.","Engine peak margin is 687 gas below 245,000 on E seeds; longer runs may exceed it.","T was run on Probe.sol before the storage-only change."]}