{"item":"audit-2","batch":"a10-t1-audit","status":"complete","board_entry":false,"engine_seeds_run":0,"audited_artifact":{"url":"https://api.imdnotdead.fun/artifacts/6b308b7219a0cf0bab1e5168e2f2b94b68bc6c118ae09a6d5ca30ea0173638ff","item":"tp-2","code_sha256_claimed":"70b4efee30b245afbfe6e277c802bfbd7d2f3289f4aeba850d9203c6f59ff267","code_sha256_of_base64_text_recomputed":"70b4efee30b245afbfe6e277c802bfbd7d2f3289f4aeba850d9203c6f59ff267","members":24},"hashes":{"strategy_sol_sha256":"6ee77c053e29d23a89b926c33b13e32365bdd09d880cac5557ce06c043dcf1ac","strategy_sol_expected":"6ee77c053e29d23a89b926c33b13e32365bdd09d880cac5557ce06c043dcf1ac","runtime_sha256":"8e10f67ca334ce8959f19520245254f7d9f2f47ab5299b2a62cd08ae49844208","runtime_expected":"8e10f67ca334ce8959f19520245254f7d9f2f47ab5299b2a62cd08ae49844208","runtime_bytes":22832,"creation_bytes":22861,"base_contracts_identical_to_repo":true,"bundled_replica2_run_pair_par_identical_to_solved":true,"bundled_real_py_evalpol_py":"trimmed copies of solved files: only CLI/runner methods removed, math identical by diff"},"compiler":{"solc":"0.8.24","viaIR":true,"optimizer_runs":200,"evmVersion":"paris","via":"amm_competition.evm.compiler.SolidityCompiler (engine compiler), py-solc-x 2.1.0, pyrevm 0.3.7","engine_commit":"6b6921f8d463314aa7c96234e1be25a25245f704","solved_commit":"e65314f88de945f6d055bfc2aab01c482ab6570e"},"gates":{"pass":true,"real_run_wad_model_pass":true,"real_run_numerical_double_pass":true,"validate_pass":true,"static_pass":true,"seeds":"67512..67531 (replica seeds, 20 runs, all callbacks recorded and replayed)","runs":20,"callbacks":218199,"first_trades":140482,"evm_vs_integer_twin_fee_mismatches":0,"contract_tell_vs_independent_tell_mismatches":0,"contract_tell_vs_twin_tell_mismatches":0,"independent_tell_vs_twin_tell_mismatches":0,"init_fee_evm_equals_twin_all_runs":true,"truncated_runs":0,"double_filter_max_fee_error_bps":2.463841e-08,"double_filter_over_0_01_bps":0,"double_vs_twin_arb_classification_mismatches":0,"double_vs_twin_first_flag_mismatches":0,"double_init_fee_minus_twin_init_fee_wad":[-2,-2],"reverts":0,"out_of_gas":0,"fees_out_of_range":0,"pyrevm_gas":{"afterSwap_peak":148733,"afterSwap_mean":62018.2,"calls_over_195000":0,"calls_over_245000":0,"afterInitialize_standard_100_10000":229429,"call_gas_limit_used":250000,"engine_GAS_LIMIT_TRADE":250000,"engine_GAS_LIMIT_INIT":250000,"note":"pyrevm message_call gas_used on the unmodified build; not live engine gas. T1 reported peak 147038 mean 62143 on seeds 10000..10019."},"validate":{"command":"amm-match validate Strategy.sol (copy in scratch/audit/build)","output":"Strategy T1ArbTell validated successfully","exit":0},"runtime_bytes":22832,"runtime_limit":24576,"slots_used":12,"slot_indices":[0,1,2,3,4,5,6,7,8,9,10,11],"slot_limit":32,"assembly":true,"opcodes":{"CODECOPY":0,"DELEGATECALL":0,"CALLCODE":0,"SELFDESTRUCT":0,"CREATE":0,"CALL":0,"STATICCALL":0,"SSTORE":24,"SLOAD":14},"abi_functions":["BPS()","MAX_FEE()","MIN_FEE()","WAD()","afterInitialize(uint256,uint256)","afterSwap(tuple)","getName()","slots(uint256)"],"per_run_columns":["seed","callbacks","first_trades","twin_misread","pyrevm_peak_gas","pyrevm_mean_gas","fee_mismatch","tell_mismatch","double_max_bps","init_gas"],"per_run":[[67512,9452,6550,12,129088,63357,0,0,4.13606e-09,229429],[67513,9891,6643,6,142678,62733,0,0,3.11865e-09,229429],[67514,11242,7147,12,129844,61851,0,0,3.34542e-09,229429],[67515,10854,7061,10,135495,62092,0,0,3.5971e-09,229429],[67516,11653,7343,11,128478,61692,0,0,1.237686e-08,229429],[67517,12448,7523,5,121843,61076,0,0,6.98788e-09,229429],[67518,8977,6288,13,138582,63540,0,0,1.83653e-09,229429],[67519,10997,7098,10,137985,61933,0,0,2.72655e-09,229429],[67520,12271,7425,9,134144,61106,0,0,1.039576e-08,229429],[67521,10991,7041,11,146856,61997,0,0,1.97328e-09,229429],[67522,10899,7000,12,138068,62035,0,0,2.3545e-09,229429],[67523,11179,7160,16,148733,61880,0,0,9.04854e-09,229429],[67524,8750,6241,9,138149,63850,0,0,5.50145e-09,229429],[67525,12105,7454,7,131649,61198,0,0,3.75866e-09,229429],[67526,12707,7662,13,115096,60902,0,0,3.52611e-09,229429],[67527,9595,6538,14,129787,62987,0,0,3.30964e-09,229429],[67528,10115,6771,15,132916,62549,0,0,1.34115e-09,229429],[67529,11226,7140,10,143615,61722,0,0,3.85325e-09,229429],[67530,10171,6812,11,128290,62724,0,0,3.64198e-09,229429],[67531,12676,7585,14,121773,60953,0,0,2.463841e-08,229429]]},"detector":{"tell_confusion_on_first_trades_vs_replica_truth":{"arb_tell":75662,"arb_notell":0,"retail_tell":352,"retail_notell":64468},"classification_confusion_vs_truth":{"arb_isarb":75523,"arb_retail":139,"retail_isarb":81,"retail_retail":64739},"twin_misread":{"misread":220,"first":140482,"rate":0.0015660369299981493},"r0_retail_branch":{"first_trades_with_r0":64468,"r0_with_nonzero_posterior":0,"r0_classified_arb":0,"first_trades_with_r_positive":76014,"source":"pi is 0 unless r>0; the lr<=0 pin requires r>0 (Solidity observe() and int_model.observe agree)","synthetic_underflow_case":{"tell":0,"model_pi":0,"retail_branch_taken":true,"branch_matters":true,"actual_outputs":[0,100000000000000000],"hypothetical_pin_outputs":[803117328504714,7102258901934181],"fee_mismatch":0,"tell_mismatch":0}},"retained_actual_fees":{"tell_reads_slots_4_5_above_bit_64":true,"save_packs_returned_fee_wad_above_bit_64":true,"evidence":"contract tell on every real callback equals the independent tell computed from the fee WADs in force (recorded before the call); the stale-fee mutation flips the tell on 77117 callbacks, so a contract using the newly computed fee would have failed"},"mutation_sensitivity_real_callbacks":{"stale_fee":77117,"swap_side":102669,"ceil_net":0,"no_allowance":76469,"fee_plus_1wei":438,"amount_plus_1wei":6813,"note":"count of real callbacks whose independent tell changes under each mutation; ceil rounding of the net amount never flips a real callback because the +1 WAD-unit truncation allowance absorbs it, so that mutation is not distinguishable on real data"},"dt_buckets_real_callbacks":{"0":77717,"1":106386,"6":669,"4":3265,"5":1450,"2":20188,"3":7889,"7":324,"8":135,"10":37,"9":79,"12":10,"11":26,"13":9,">13":15},"amount_wad_range_real":[719241208585,959817606611985629184],"real_callbacks_with_net_input_below_1e9_wad":0,"independent_tell":"scratch audit indep_tell.py written from the artifact tell_spec.wad text; binade exponent by float guess corrected with exact integer comparisons; shares no code with twin.tell_wad"},"six_input_blindness":{"int_model_on_wad_uses_raw_first_six_only":true,"int_model_needs_flag":false,"int_model_truth_words":[],"twin_truth_words":["truth","(docstring only: \"They never carry truth or likelihoods\")"],"recorder_forwards_only_six_inputs":true,"contract_external_surface":["BPS()","MAX_FEE()","MIN_FEE()","WAD()","afterInitialize(uint256,uint256)","afterSwap(tuple)","getName()","slots(uint256)"],"gate_py":{"applied_fees_set_before_on_wad":true,"evm_output_fed_to_reference":false,"replica_applies_twin_fees":true,"evm_bitexact_vs_twin":true,"afterSwap_gas_limit_in_gate":195000}},"synthetic_stress":{"scope":"separate from real-callback parity; A is in-domain lockstep (twin vs production EVM vs diagnostic tell vs independent tell, bit-exact expected), B is out-of-domain fault-freedom only, C is afterInitialize","A_in_domain":{"tiny_amounts":{"calls":44,"fee_mismatch":0,"tell_mismatch":0,"reverts":0,"oog":0,"peak_gas":68112,"model_errors":0},"binade_boundaries":{"calls":132,"fee_mismatch":0,"tell_mismatch":0,"reverts":0,"oog":0,"peak_gas":100870,"model_errors":0,"cases":132},"lattice_hits":{"calls":24,"fee_mismatch":0,"tell_mismatch":0,"reverts":0,"oog":0,"peak_gas":101604,"model_errors":0,"searched":5272294,"expected_hits":12,"contract_tell_positive":12,"neighbours_tell_zero":12},"silent_gaps_timestamps":{"calls":19,"fee_mismatch":0,"tell_mismatch":0,"reverts":0,"oog":0,"peak_gas":118461,"model_errors":0},"real_prefix_then_side_flip_and_amount_plus1":{"calls":400,"fee_mismatch":0,"tell_mismatch":0,"reverts":0,"oog":0,"peak_gas":118838,"model_errors":0}},"A_bad_cases":{"tiny_amounts":[],"binade_boundaries":[],"lattice_hits":[],"silent_gaps_timestamps":[],"r0_retail_branch":[],"real_prefix_then_side_flip_and_amount_plus1":[]},"A_total_mismatches":0,"B_out_of_domain":{"sequences":48,"calls":12288,"reverts":0,"oog":0,"peak_gas":164088,"range_violations":0,"model_agree":12288,"model_raised":0,"model_differ":0},"B_failures":[],"C_initialize":{"cases":9,"peak_gas":230343,"reverts":0,"all_match_twin":true,"inputs":[["100000000000000000000","10000000000000000000000",229429],["1","1",229147],["0","0",229157],["115792089237316195423570985008687907853269984665640564039457584007913129639935","1",229745],["1","115792089237316195423570985008687907853269984665640564039457584007913129639935",229745],["1000000000000000000000000000000","1",229360],["123456789","987654321000000000000000000",229486],["1000000000000000000","1000000000000000000",229555],["115792089237316195423570985008687907853269984665640564039457584007913129639935","115792089237316195423570985008687907853269984665640564039457584007913129639935",230343]]},"init_gas_margin_note":"afterInitialize uses up to 230343 gas of the engine GAS_LIMIT_INIT 250000 (12 fresh SSTOREs); 8 percent margin, not a gate failure"},"ideal_double_scope":{"pass":false,"label":"NOT PARITY: autonomous ideal-double trajectory equality is not achieved and T1 does not claim it","method":"twin.MixPolicy run autonomously on the same 20 seeds (its own double fees applied by the replica; wad1 = WAD tell from its own fees, wad0 = pure double tell), callback sequence compared with the integer twin trajectory","wad1_autonomous":{"n":20,"mean_diff":-0.029806939511493623,"se":0.024314363393598826,"sum":-0.5961387902298725,"sumsq":0.2424206144105087,"first_divergent_callback_index":[1,3,1,2,1,1,1,1,3,3,2,1,3,1,2,1,1,1,1,2],"max_fee_bps_before_divergence":1.297e-11,"misread_rate":0.0018316772563130028},"wad0_autonomous":{"n":20,"mean_diff":-0.05664782989292405,"se":0.027092464567083984,"sum":-1.132956597858481,"sumsq":0.3431001544326597,"first_divergent_callback_index":[1,2,1,2,1,1,1,1,3,3,2,1,3,1,2,1,1,1,1,2],"max_fee_bps_before_divergence":0.39784627890937,"misread_rate":0.005242906727112605},"why_different":"The numerical check drives the double filter with the integer twin trajectory and the exact applied fee WADs, so the two filters see identical inputs and only arithmetic differs (max 2.46e-8 bps). Autonomously, the double policy returns fees that differ from the WAD fees by a few wei from the first callback (init fee differs by 2 wei), the replica then produces trades whose low-order bits differ, the arb tell depends on those bits, and the trajectories diverge within the first three callbacks; after that per-callback fees are not comparable. Trajectory divergence is therefore expected and is not evidence against WAD parity, but WAD parity is also not evidence that the shipped WAD policy equals the ideal-double policy; its cost is a separate paired measurement (T1: -0.0076 se 0.0043 on 1024 seeds, not re-measured here)."},"gate_py_audit":["Replica actions come from int_model.IntPolicy; the EVM receives only the six callback inputs and its output is compared bit-exactly (integer_mismatches) and never returned to the replica or the reference.","applied_fees_wad is set from the twin fees before on_wad, so the double reference tells with the fees in force for that trade; raw_wad carries the WAD-truncated inputs.","parity_max_bps compares the EVM fee with the double reference fee on the twin trajectory; it is a numerical error, as the artifact states, not autonomous parity.","gate.py asserts per run with gas=195000 on afterSwap; a callback needing more would have raised and failed the run.","tell_vs_truth uses the diagnostic contract tell when supplied; truth is read only by the Truth wrapper for counting, never passed to a policy."],"int_model_twin_audit":["Coefficients, knots and table bytes are regex-read from the bundled Strategy.sol, so parity proves solc/EVM evaluate the same integer program as Python; it does not certify the table values (a cost question, out of scope).","int_model imports tell_wad from twin.py, so the twin and the double reference share the tell code; this audit adds a third implementation (indep_tell.py) with 0 disagreements on 218199 real callbacks and all synthetic cases.","Structure matches Strategy.sol line by line: silent-step cap min(dt-1,12) equals dt>13?12:dt-1; signed division truncates toward zero via div(); isqrt(v*U); clampX/to_fee caps; r clip; syn flag.","int_model does not emulate 256-bit wraparound; on 12288 out-of-domain random calls it still agreed with the EVM on every call (guards a>1e35, z>1e36, k range, 2^240 are reached before overflow).","twin.py: the WAD tell tolerance (4e-16 relative plus one input-WAD unit) is not the specified double tell (2.220446e-16 relative on ulp grid); wad0 autonomous misread 0.52 percent vs wad1 0.18 percent on these seeds."],"limitations":["Replica-only: no engine seeds run; whether the float64 lattice artifact the tell relies on survives the Rust engine f64 to WAD conversion is untested here.","pyrevm gas is from message_call gas_used in this environment and is not live engine gas.","The diagnostic tell getter required compiling a modified copy of Strategy.sol in scratch; all fee and gas numbers come from the unmodified build and the diagnostic build returned identical afterSwap outputs on every call.","The stale-fee, side and allowance mutations were applied to the independent tell on recorded data to measure gate sensitivity; no mutated contract was compiled.","Table/cost claims (twin_cost, wad_twin_cost) were not re-measured."],"audit_scripts":{"files":["aggregate.py","decode_t1.py","double_check.py","ideal_double.py","indep_tell.py","keccak.py","mutations.py","record.py","replay_evm.py","run_checks.sh","static_checks.py","synthetic.py"],"tar_sha256":"d135b11802e90e008b8708bd9fbf335a965f77a8e23db06ffafb599a751f728c","code_sha256_of_base64_text":"93f92ffe416b48066a9ac298686ddbc43ee7baaed861fa5faec2315ec98cefa1","code_zb64":"eNrtfXt/27qRaP/Wp0DT3YpMJJqkXrYcpdd5tOvd5OTcxDndXlXLUhJl81gSdUjKtpL1fvY7DwAEKcn2eTTb3WP9EosCgcFrMJgZDGacA+fg/3wb3vxLFE6j9Dd/l4/Ln33frttqFc+Y7rm+5/1G3PzmK3zWWR6mUP1vfp0fvycWebyIBl7vqN1qtQ+9tuN5Pb/t137z+Pnf/wnX0zhv+gfh+XkanYd55Kw2f4/13+X17vU6nvkNnzbgWuc3Xsfvtbtd12t1Yf23W67/G+F+zfV/naSXdxHA+97/D/08efLkJMuixXgeiTTK1vPc+T5LliJcTkWWrNNJlHHCLElFnEcLITFGzNJkIfKLiBNEss5X6zwT6yXsIyKbpGE+uTigdw5UUosXqyTNBcJqiCRriGwDf+KkIWD8Z/E8aojP83jcEOMwi7rthrgIswtKWIT5Re1EDKCUs4JnZxqny3ARWep3OM7w2woChBMEtn0sPrx/f2YUUVnU7++TeGmdNETdcer8Fwu9/3T2+vQDFIO2OWF6fjX0RrV/hd/zcDGehmLZp/Y78yScWskqWm7BW9q2XUuj1TzcQMPXeUNMx3Po5jQK59hl6HuWA8B/teqciwa3bjcwBfKHeZwsMzNxmqxhbswUAmYmAFiYhzyelBIRlkqBJk1UrZODbL1YhKmq+liEKTbpnp7Jkco9/Asl4lk4ySUI6PNVOI+nQD6CeXKO474ThMoE1ZxDKScFpsOya3mC9fN4DOvwK5zXR8diBXg0EF/SYT2Loml91BcpYSHg4VLnhkxBul7WR7fHYroIV/tLwERAnvjOPDS0tzUAmEGm4VDnagh4nITz+TicXGby9yxOs1w+L+IMe4O/oElFwRE2MbwMzkMulcD6sKo5FlG45Bz2dvFZFAUAfYHraRf4SbLMU5iLII/m8+AqC2JYgSvMieNRrie8CcarbBeUeBnn3ISROciTUW0azcQqjNNoal1GG7tfE/CZ4vDgWA6z0RCSAUI0PY8AwoqbAONCcDKEk8HKh+KY34aJXeKKAvyYAu4tcLWtF/AsDsSSYKdRvk6X4kt9We8LWDA8PNN4NoPfC/idRfiAmJX9kOYWFreuRFMsbPH0qfCp3iuacgRqLcVT/NMUHiAqFl8voDxXyj+zH2TCFWS9Mss3qEXqwzMOTbmK0vNomQcKI2jMbwBIZUz25d87OJX6cMJw/mHSgnEERSINbMKDcGOVa7y7hFEt1VetjpE4ANodyRGpQDczVIHhBMLagRUUrMIMF5AFa7mKwGIwEC5tL/QyjaBxebaVngCFqKbtw/T7suXX8VLmKvW3KELYj+1MLgOYIsisX+VADCbQ3SmSme12Fom+kVosefF8ILyjDvA5xVuqaJ0HyQwGcnkeSaB2DUhUABMII4cTmxoLtkTGYNlgTjnIqhBU5Dquxzs3zBwUT2BsAzdwvV1Aio7I3JM5ANQzFUjqtqNQQexlEzRhR1gTYBmy2Xo+39SxVGljwNp0ZhHdAN/gbuWq8dalgGc8yiikBONNHslB9dudXpebDxmyeZJnwTpDaoZvW75+FTJ7swmSyWSdprgOStNows8uQr/T5bf1w8hzZ93eJASxaBIdHnWOZjCTvgs1+532rDc9mvmzdi8cd/yjo7Efdv3J1D0Mo/bRYbvtu4f1onXESJWhd6Oo15u4nVbkH039Vnh4ND7yu5NWa+y1opbf6nbG06l7ND08dCfhpNPp9CaR25247dZ0MvPCSb2G3HqmRmmcJHOrWHtYs8YR/FGeMm6YHmW79jsxho0JeMCCoQMWLl7lWW28ngH8OHFe4uCfvocN+zrOLxTb5tBWj0/J+PsBZAa+J5lGg/p13RZhJvIZ7xiIRkuD3gFzMI+zHHg568SWuwp+4plYOtFymmElllUHeYQ4tOyibmbDTz5zwul0Bw/WAJZmgizioK7km7p4Bi9qE2gajhbxmM642wZ0gCQLWU9nkixWwANnFvTCOY9yGLN1ZAG0I+BVphFltGsnQHaIRVwO6/gcTJNFiATmWLxU6S/V+uZ3QZYjXMzySmV5FSDRiWFaPgMBALKJs/ilJurIZAPxVS3Hzo+JdGKa5zZzr0mv8AXO4TrDN9j2eQRUGbMnYToNYL9JN/Dqj+E8A+a6Hi3P4yUgIez4GbFMfeEC/ed6gLwpng7Sv9TX6RyhXuT5KusfHISr2IkXU2e2Xh6ofNlBd9xyD8c93zsK3cnMHYdjL+p43cPIn/njo/a4eziedCeeB2vCPQq70w4sJTcKQfhrdVuHsJ03dG8B6JCfgTep40jL1RIAVYKVOVV5jFf1ym5pbGQmAJgFnm7YD27yAHgaGKp1TiCljOFwVquo4TOgRn3kSOyA6b+IbqbxeZTliA/AkSzGUYoD77dvcRARUJTR0MFcwzo73wRZMlct7e8iAzR/Rt7oZhVNuF0/nzoA8ApR6++kdBUOQL022/Kz6aDRFibg/V1EHecdCBgKQKVslcRqi3FuA7XlA0swBbyPgc8K8gTmepUAlLN0jQuAKdwUU+eQw8dFECBnC3/SckGYjivq/FZRJLCbIALSsErwEQcoT+MFoKiYJKsYlnEyE1xeIFXM+iJZzjfi1dvTA6hwCULNIsovkmkGjO4CdugpS7hCN0CMN4K4XcIsxFYAkzJuJfOJRqb5JID9PYOhocG7isPTD0WTkxUMLtCWlPkWwFTXRSpwtfhOFoKWQ8fjrM6Fib4sFgFWCMIkDrkDuR3VAOdjAltInG9eyQRhMUkRKgcKL5smNqx5I3zHc1xMAA5vAZxJy+nVq+tV0SQAsIhzwvtx98j3ZofTdrfV8tph2Jscdf1WO/LGkd8BlAWkm/XcNhE/GmSjcNTtQJnZ4eE0OoJs3anb6YxnEz8Mx643aR/64bjb6bkRDyxtnzSquAXCQ7GfIsLiTCOCXAO7ixsa76WQTW+yZq7lehGlhD0sr6vMag82hF/1qvRb0nK5H9MU61+lUSOJjSh+t9fxfMeBr5YnLInUgl43kBnFaYeNcD4XWm5FgS5Jp4CZyACwCB1NbblAEarB0+J61AKvfFOSgKV0AwtvSgO5WOeFTFxqM2CAlAqjc0BI5McDUyqIdAVVYXcPzw/8AYpTlLYNZL9EvFs2eDAcFiTKfdtqz36gNECUX2cq9VVLIThe0Q9r2Lg5F4x6YE7QlriCipmynNLfLb2U2y5xFchUDtOiRMcoTZOUJIa+Ei4a1bxlyaL/IIGjAKJ6H6bjgKSOeAa4S0S+NGA/QjDZ2TFVDyPqbB6e74S/4/X+tuuxX8TLtYSv04BY8KAN3ZExTUjN6V1l/JXw26/Iwki+mX9EGbJvSMS46iKgUiXxsb9PrCzXxqRYgvxSD2cwkR+vw1WA0qoCYiqrjCyogkHaR+oryljorBrCsyWxyBgxWODVDTeSRuWMQM2rGWXSXt6OukINO9X8M/DXQNCQ6fVcF/8XMJVeizupqqeUOeyPOcuMsDtirW7BJv/p5GPw9vTd6Vlw9uHk9Zs7c5x+c3pWZLir3cuEFCtyKoARyLLwPCK1kMAmYWOAXSApbL2EbQcWBqSM1/F8eiygtJjHVyA4874LJRxx5iEhJ5lKYB+F1+65rUOB8yO6vtduIUDaFgSNjOPAl3fk0C5otE3tR4QcuKnCkEqeoElrQu9Y4qNkWx3YgoUFbM+GBDtT539AbaathU8GEJQqB40+ScdnQCDFHs0BDvMN7epupZkP4yRVCs0xsemdXhc32UJP0N9SHMj3uF3EEw3cTKpkVNBbPi4WqWeQxe5QO5Q7lKxQxlC1qV+0/MZxABLXhM4EFNhSWnWFM7cHLNF8vaAiUsNb2surOzduHnIvIhV2Q5MKTQyKJL3smRIVBBOhmDtevSCZSoultjhFXpTuvk+8CjFlUxBhJ3nC3C7Bg014tkZ+NUgUIed2I3WXXA+krPMLtcOWi/GaL28yBUzcIcyyvNWYhassa2mosJXFs9xO9FFASZFuq2Gv7Ds7shnq1/3gxMGdYG63Gp66MFx5GM+DMWwPpE/4UkKEADUuQeqqsYACJTyhdeVyrmWyBNEiCVZJBpQ4pglThSjDKlZ5VDk1B6RqGBv5Ky+qnKVsFlYF9P4q0iUhodrAO2ivwUGTGE5kOBZxJlwgtSCnAXf8wj0m0jtPnw9csaKh/GEdo24G3glLSUAiGWdRehVZNjHSwNeyiODIdBGep1FExE+fzQV0MDqbJ9dA7ukE48tlX6ACabg9NaPhJc/nJc6nRSiN0KQgEhPHbpYI8vAyWpLyh3/DGsxRQ4FkZJIDKxnIA1pMudisEm4VijKAz8a7uxe1fbsDsbAhS5w9rggZlGL9Iu5mAZPZdtAJwjFs88EYyEC3LWmamQ/WPkACEExlwyuUj4BqBXwqxO9IKNsByMiOuXQO1OU8CDektIKiOGOIEgEEthE3UmTRNiQDarFKMKtOmGNIA1xEKZuK43JomfjzyWs6N4EpnkQovEmxjE9sKBtCtxkdgbuZR00sp06IxWwer7hG1bBez/N6hajXEFkiQqHbD+RseU4FltH1fGO0C8BeJ+v5VFzA6IkZ4BRsGNuzrKoOsmhJCxHWAetDTCkRdsncouWpD7NxIpHvGcBgwq6M6pHS8GXi+iLJdg3dBXKxyqIgCoEDUUCPxSSK58yOYr8AJnctF+GCalniRMlhCivzNY4mIWzkVOSZh5PRXMO+JKSwhOMLWZNrWEiwlMdZko5htnIa0vwizItpAOqBTNk0znJoxjrOLkI0pEiWXCMwNmHd3hrKaR6M15PLKM+2B5DGrsjAfAB1iZCeGHsqhZs7DzQKUjoHFuBk2HTN5JFSV+jaJCWPkLsBXAjGERInLzqSYgxvpvFyo+DokhYUeg4Z7R37Y1UexlUkOUN5sMASML5zgHG8TmOgVEvDnETqlwkJgmwVTRxoj0Dl7bEYx0sg9SK6WSVLRJTxBuY4gSk5XyMFh2WUkt5S0BFFdINwpNqBUB71XYCTxwJmCsn6MhF0JMAnGrC1O1QrDgDxI1l8o0ZnDu1eRhmTNk3ykSvBiQF8gtkMr+WOhOVQ7ScJ02qTX6AGU8Mg6fBeEFIroPItSXWPcuqDwBrZ76J+RglihYJroEXZg2pYoMYShrNUcKT4yYdBY35qJyDxDPhXa5pMsjylVQ4D2hdPzi6ijVzfkzAFakyFBOyW8/gymscXSTLNnth3d1qS3DQAgnsNkmNG0xXo+c4KTapWAwEGRukSllC2TgFDowew5JVaz0nft2H5ewW8K+9nsO9FuTquZ2y4Y8QISIbUowSiXHzEul65s0OOKSvEZ1Eq97Y7wc8IdwwApcIP3Uzrij/nhmZa85fdV//+gqpjsK3T8tZ6uXsg8uqPuFO6MHRLKvVMbUehHYhR2CFunBUYt0wVNFMnD/ZINw9yMPEMWQQVoZhMJA1pblNvPUiA8s2xOMGtI142+XxQzBOgqnm0Eha2RlxlYpUm0zWhlHjz3TtMmcbh+RLY7XjC2+NVtrVlNoA+5k2meuoEBwSKl1gZzGMzmakKZ+F6njdnwKVCAi2shniF2SqalfreIzbz6JN52S+X8OeKzWcuLxv4iH1x8FgvA1Y5nkEy7ZfE045R1LRvOXuDDW4QaCm/+O1gh+Rye0erACwx2Jls1RWe5MraxHBk763vtoHFyfpsW0sooVSYY9cGEiVfVYVf851S7FGqti6iyumMGWq393apcpasulXqx8vtQUNGbg3IWcd+vQz0z754OSxe7j9CLZ1Pk0pIDipabr0ayp9osFboDPviVUWDWGg4X5X1m6iEY3WuXLyQYE14uKSoQT2cYPfK1Wn6PBxOhnXaJOF7Q98MAGu3R7vKj/ajjtYULsL0HHBb6eoqK0LgNi3WK5Enwm+5rXYL9XCKA5WaubJuUGoGheWh1WyUXYiPH8/ef3iTAX9/iJZ4E1zAXC3xysCxnhMB4WliVoRsE9XxkiI2+vBKnfLPQ2DjsNnfvD8T3558OD37C4ztOk+WCTBxGVs4NhkKbJzh96Ru2bAMg6KtZGmB246jK3lSdOaJaRLxCzqPF2h+sHcPqPMBJx2NIkv1Lr75FiTnyQb1PEZjQAyRus4sXER4ZsVqSivOYUCvl0I2E+m+kHsdcnxYQm4QxwI2O08MkIlnskhEVwHAkg3M4kKWFQylAolZAZc0Xc6g/7i1SSZRMZAs0jH7SJS5GLG7+o9tCop+wkBIA0p6gwa6+ODuzeLW7bugX2zoRAE3Y1KrnqHoow4gQWyKoEPTNL6KWEJUo0gnN/f2i83UEJVpG1HDrqRWKQTBCF4nEmSG02YcX/P6JDh08o1b3sUCt0vBzYYZRoM132l3o+ahGK8y2xEnBlo0zHavJOqQ/J8xMpAUxsAKwQFRgN4CioTwdC2uo9iQu5GrLmbcwvVO3VKNgmI+FrEbJobh81Jux1gzqZqkyAryUpO4SNx3MwmoIaWYMeMj79AZYzoWwqwNPcp64NFyQFpq0hzFS6PV+QXs1IXEfMzbNA8D0I+Cv+ClAnhOS5VwGSVSB3hZPcGFPSgudqgkZa2D4hhYp8WrXelCRHgOew+0BAeZmRhgNtbmb+Ie5oAdpXLURFriF/FqBcCpAE+pqTcxyRK/PqZVPAGOhyALzVbxQsEDDuDDIxQdhHXm9UXTdVy314WMaAjp8sGH5/ptdSiODUujpiw4Fdhz2ymsAdCyg02rUHH+Qc5/yIw9jqZk6Qp93+ky/1Y2FnuBnBoIFhEtPcJ96nl8U6CdsTiISBF3jR3UhEezcFDcUkfmBUPCKkcWf5RODPciE2WTVP6UDLuzm1iVRRAUsmNcy3mxZog28JpiHGHpQhMBOWG6IkL5rKAxVFTruWaJRFlaRMcCZV2sFaW4WBIrVMboQ2s5Wvuaz3injhfUCGZ6Kki1pZqy1VR8K7efCglEzGOcK6gqHYo3yKDR1FGgmUYkUcvYZbll+9otr1kJPCICfoguOuDOSG0FZmIgDYZRD6VkkmNU5ikkQskeBeIFTomhvEvDOJPrl/V4jAbr5b6WaIMFkqCJs6GxKkSNsgL0Gmlhtma0OZaCd4x2JaEk9nJ7PqM31ylgWMT3K0j5B41uSNxFvoUxN5QL3iFu1FRHkI2AXpCvkmg2iycxLHgY8UsYcl5HOenc6OyPSF8KK+amSU3SiCwNuEonl4TFknYBfcc1i7ZLB4g6aOC1RmKjuRO1XULO8zRcICZ8S7ImYUvBHkWIGjwI3DDm8IUVMi0DPiNDgtLAtU+2YsjK2U79zoNjPSiC71FlQumpZB+Rz1ptjN05Xuo9Zgv1SflVaI9RA4YEDFGeNHThdIrYDynpFCucE5VlladVUt/ZjLQuqkDp0AMz0mbne4fe0VFV1YtNwsNuLUELYszv6T3MGsjCyL5JIlg+gZ4jyw2Ih98grgHiL/MmidOTcCUW8dKa5k2v4fm22nKm+Quv9QfP7+OLYyhyjlQUNsYYT/2UIhhXQ4LKIYHnWOIqDjGLBVx7TBdPrp5+gmdgiBerfz/IEySjWCNsz4Du8xjWLHRToALuwbOr8SharOeIf36n24QdgZZSSPruY9rWfP/wsCLTg2yMwjyZVyBOAprBSNOsGOwsYrc+xyDDA+t8jQowEb7wolanIT7jdxdWmCBtc0P4/+G3Xbm0QC4ozinQYANPtO7DXomdfc2mEdrlyTxKScdutaOm1wXo0GW0b1jN14hDEdP/JpZABb2tuBJalMCssHWEwdILy3d8320jY2kChA6v5ytxnsZ454jkAYNayxNW4Bo6vhbHrjIWLVzHK2Q03i+AwSCOQhIs0hSF6pBeMw5NVlcuEyUUsnADqHWMdBT5Lt4jUX/dbQtoKqwHU/+t1id0g+xKkfSmV5qv/7AGciJhzwAAkFIcKaDY0iwUhwuILtAbyezsnCZljIJSLBQgcrLbMIVYUsgSLa/iNFkS52XwilXTlJ2VnZW3F+ofyOw5cTN01jqV9qS4wYVC28CQlQmQy9LKL6xOjoms4ArEFmFfYO9GG22Db9tlVVMQyaJR/EIzV4Vko3djfdu1tJL291if4AGBBnCKDMojJn1UBtIHrColckmmbutcjE6X5IEhnjBhRsnTstrAOKFDoyGGT0Mo9/LrMFNGu9M9jcat64A2LBL4M9ZMBphCAnWgf9rc6gpzLdcG7SeBvEoiLQ7mrFXjayDL4mJI6UbI3fdAUILOw7Qwba8Y8pcvcFSt9/ffDtiGhHn3XgMorgr0aRMFSeK2Bt1YhJfAoKWZxReKG3jTKcuD5HKARwp2LVPXbafrxSqzUuQgpXiTpNnAqjewq33oaG37Iq2CWTeua7NKoW47eJoWWZldW6WwqVgyDzNHABN1dxnmJVtnh3RHjbLhMwyrkMPawBvhw8oc4pFNMfIju/YyWKdzvASmLosAW++cw6Stx0A1UkQ6QF00Iz84zxeTy2V8fpEfoFVZFi8OHmqzfQBNicJ0cnHAZt8HH96cvH73xllM67U3D6t9HMFqjif5GKSPDTVgcgGLEChWdPBQu/ODeu3Mq3b473Q7ppaleGn7izRYoc2lpu/m0LDDfP2wlnrKP+Es9lnkkgoEug+IohHQzb8hJwaL6G9K6CmYMniL9uJSeERbrGOD1JFRIR56IzGAYWigaAIElkjL+3X+fvankBk7+M0q3mPxt22rwb8xy5+xwH1nN4iOS84cWrvDfl0erRQtdmA7hM2AjmO0Ni9DLv0aaaa0d0cPBND3BetfaLHwWCjKCOxzjEqiJZMz7AzrOaas1yD6ygO4uKcjf6OO/432VFTOkji33Ogha9AvrgMl9nBZHXRkr9SIlytjHDRre1IWhp/0PafdhhUKnJV7eF/Z0sWkJ/0nP/f20ZN7Kjy5Tx8dm1osvgDGrPv9wyBPH2AAyA62lP+NeLZ1x+UAeJ+D6CaaQJtSuckUyFi2AobV6HfcAM2LfyGwdDxwB1R9sekAiMHBybt3iv15CZsWskAluGug+TCDw5Y/EisYUeBlyPDq+GHN1Td9Ks19UlwaetIXhGlZeYp/Gu1HqcWg68BvrXB7N6vW94kGA7pQJO8TDQZ8oQjaMLq9a480XZhUNkljA4axbRCftcwHHmy6vyL/P86j/69H/1+F/6/WYbfnHPot4FMe/X/9mvx/8fX2IPe+uv8v13c9X/r/6nT9Thv9f8H7R/9fX+NTcsulXG+xIy7tgKvkpEu67qqlCXltMj1lTe/xIoVFdjqP+oxuTEo375X8aojqihHsA4MwrTgC0PKukv+pI2QzamP+ilD/ebdEb9eAfYGmkDOIaVS4g9DeIqQTiM+QNUevGDt9YBiuMgAeyvDr3HBFZg4FQqvbJZVBgk7DKvoCVJEsSP1Gag3pfcCS7jBk1zkVOrtw0PUFfmfx5whb6sA4IBeJNjYEnw/uB3U2UK7pmwbSB0PhWUKpCvQlIdT41Nl+ISgl4Lc0S1G3BlBFW9dMWKC1CnxnfyvV1KOOSl0bDOD9JWSBB9t4YbBwU7L8ubQNPm7YbwF1KXBjMCiOpQnQHiDFBYAytF4VGk64YM8PDBDHcbpqiABGOJMqretwfomDbhduUGZ0JJoVzkxWVfRAIDO7eE9VVpCYcG6FeqBxXblSqyioFMw0mpP3uxUdOhkvoLuII9bq18X0Pn7+wfj/9jb/7z/y/1+F/z8s+//1u57jdVpHraPeI0X4NfH/bFdKxoO/tAhwD//fxmfJ//fcbgf5/17v0f/v1/L/+0c8gMbTVouUsfI83VYGo2xPKg8NtAK+bNfRFxVDX+udeyQBgbxw9i8fhHPUqEU3q3A5lSe8yFrD4w8LtpOhw32yWl0qIyKyu9lhPceWgXQWqk2WPp68e1M2Wa3pi5Zkc0aHlDuuXOqTYdMetiGuL+IJmTZR9ytmecoYUtlTxEvp8xcvl6BVjDJyCvn2Bp8WO+I0z9jsTJ4eo4pb2/1B2/CoxoRtNqmujAWzmjUwoGZslMX1yyMW2xHvwhu2WRMLNBMYR9o/JFTCLUET1fLF+JIdYp4kTm2NZgB9wbdqRPNUVOiEOPPQY/LH92+/e/Na/N93wZt///bkm9fw/OHNK3zz/tMZyXk1wwc0eX5GOZKlzvN5AkIm8qPA3dbOvB1umw0p0z4WH+/K4WMO/EWvYSijNLdcwEFvR7rXEB+BbVcWVNK4Smg8Vi1WLsPwPOkD55cuwFQRFHlrn6BhnotOaL3DGur1WRA2OfuPeF8iwZsiUyX/1n5Y3NWhFnYI0BWkQ7YZM4Tu9qhR/OgoL4LDEUkiK/Iqph0u4jA7+KcilEvI9adaHmfBJJ4RhOIMvl72G92nU7N4uY60R+CK8I/F0a12mlxnLOHjEwj3SubR42ydNcSX+g/oCfAH9PCbX6BDASAZJGji7atbgLNy0GbbYrlIOdehDqN49MEhS6yZtXJmY1s8FZ9IfCu/CPkFN2ER3mCrYVUc81kbPLN3YhfNugqXQ5xSuuHDSXxTs5wGGwW5+P4mWUZa5PtMfhmg94XQh4YgDYG+ldBXOAjl8AQPM1gLs7AhUnxM8Bn/YD3QmwzWbIPNLmHFxKirKIRER9nTwoDsBI4+tZ0tm9+BsLjOQt5MI1RurJxkya4VLPIuijDRteaNOBCfEDB/I3B+ooQSlOutyYHEIUjRu6YHX3kjc4IIr+LZTDrEhaWBma4BgGji6GBrVJpHaWFio2cML/LapkdRAvKCJryvph3Titn6UlcunNHjNBqC5IbDDjn+0qEJOYGbXfPdXDyVVxM1utWVEj49G6iakfIiakGKZzaMBhbwEuHbeG+LEvhnv4pe1cJ8NwBPsiWYOEMPGgUcwhdcqCYu74diAQj2xYAtJjCWfMTzaRhp/R7mCIY7teGtF7WhivLi0HUAyrMJQ0Qed6aFP/WSczny8i29xPAEod+gio8x/G16SdNetdDttqIGjBvTwvkWWqy4o0ZBLxhTKjm8UcWVzk6fY+WR1H5Kyp7DqtO25UOjMlhI4xKGTt+30gl6hksViK8FY4jEj3RA8AyYNl9nF1I1qLVXbEXESldU8eFJp6G+qj3K/4/y/0Pkf7fndD3UAzwGAPo1yf/m7dKvLf93e51C/qf13+51H8//vpb8f2qaYJ18Onv/zft37z99NO+Eog25sPQFwTxRlwiPtfPBhr6TRleQ59EU5Ai81VTRDJSu//6Im76Nu673DijsQQ2fXHEVpnG4zDO7dLtY3gFkuZ+vFlYv/7JVoBSAd1+UrRc2iLVifOSWr29W5qbGArjKBkn9Cy2Sy+sTxUXMhsDoKVy9LNlkb0nnIYjr22J4Zbn+UmL4/wDpu4Hmnv/AInitRqwjXridRCztXSM2Bt9DKeTZWFoGCStgv7GBlUXzGbJqyyg1IhxgqkOJGH4Bv485TYrTw5H8vWTkI+GTE4C1FCrYCdZEYjPX8jS0+yrCTlGDKVhjAS34yaZlwXi92SGskji6ggHwAYuMtvM5Okl+XFbKerACCsEPBMjiRy6/zQybiigopX2j2bqdqoVQMfL3JI7isz/SQir+bBuvOqOyuKrHVvPd0IlnFfFVihg75VcpXEgB1jZlLKPJNFnlOBbmLKLkZE7jMynKmXNVkfLwhyF009RiWwAV/2fog46JOHMKi4e7ZEf8ku6wkFiyNElPykuWKVHiTQeEbt9qHQxdcF4KJDuugavXtC5hsVoPV0fB31vqCZT94ABBsrh117aht7iSSqBjQ9FU4DKG02sIC/Y1mEpoVkR3jcM8sj7HK2o6gCN8rIY9gYkIh/3uiBAAH/qysvhYjNMovCzllnWj/oTlapTjw+ERCsHjYXek1CXqhefym55+YyBXcj2c4RB8wQFAb7YwTHIyUmMyqhMh+9HYH0CLXAdemUWLgAz8DnXTOJq0SRpA0aOunuy7/VI9JJwWolglDNY1r8QDGkMPZ4XXKvanGvTMGAdWMvDz15XpH8//H+X/nyr/e52Oc9jyjvzH8/9fl/xv3ur/O6z/O+T/lt/pafvfnkf2v53H+L9fT/43LhhrWZe8Ce71zVrPdnhnZf+csNN9GgDbcHgsvhsUDmifWp+a0nMzbHy8+Q7w7k96RYnN2TxJUuu7A3SpEA341zw59y3OC+nw4nLQ8ZvRMdTxcfDdU/8/Lo/FdIAOHj7iRXHBfgvwb7NIgGJnEt7HA/bEVnzsZwDk6SeEmAasPsDjohdnIsIrewj6E27OWNp/eoatcCDvHyWX0pfuhqXnBNkf6T8BuvviE7pRgL2bbn0P3Ybn4llEBlxNNH0xYMcKzRciHXxyxP9DJxPf4VGLhPN8UAwK5nKd2jfSXy066rkw/JSZnmvZF1HVUy5eQ0T3EdI71j1Oc2s7nOaylxsojj638dosZC58ezmmaoFCNpdE8T99OH2tf7e6tdNvvgvO3r/lu2+lD4gtKIJS1zEcpI98WJwwp8ycMNRkIEh4MLbZWaByEa/QOGtwbygANRaMSJTOLQoeyyDokeHYGENW/xyjZboSiM8j6xIkHPE7GLsXwHaDjOc/fXop/lAVvOi1NRbPn4tL6Y3xBUaaJHSyQky3mpfQXoTC2oELNCOmy6WRFUElkWiq4zN+h+kgiXr0rjha4wojOV44+1b52Ld8oCzVYgOyvq7LkWT01ZjLiiroAIJAtdWY+kDYK3uwYaDytBhlEXa4/ULNbcfA4CK1i6kI/IX41K8O2idK+A4qlsCeCgvPFyG/rkY2n2JnovPvegEF3X4PRNOymt+BzKKFemxwNdN39F7B/I6jgBrtfT7AjFsNZLlNqu0GOncTM2vE2sJYzt9Q7bmEPB0fCkWq/kvxnKu/pIFy9wzMR2o4jImPQ3mph+QjIhGlARnZU/YHnNsFHXdfAUVE5RcuRVvL6AuS+RecjGe60YJfovLsIw6XWqrPdANQw7FrXpYJObUwpqYKRJWaQofP9gyz/CFpL9YpztS8PjJsv/DnUf57lP9K57+9jtNr99zeUfdxsf2K5L/LaDIJL/8Olz8fcP7rtovzX89F+a/VebT//mry37t4GS/COflHbrJPQ8HogLcuLXbeiNFi2CNXu4nehISKeIBnFXQKajqqmm9s4rk/YLjroXtT5vBd1MCX0g7dQx/TDstpJ2baofy/o+xLM+1Q1SG5iyqEQ2+7JveoCtWVtVfSDqs1VctKuCdF7eXc3NbDMtSXO/p+tKOVrR1p/g547nbtMvfWiLo70naP0aG7c5S3Z+hwVPvwHhm/IQi8AiVhaHcbcnqHIPsO4aHdhh/wrg0ys49pXegF5GtDRg/Suh4m+jDYHcyB/6FUp0upPYxuCzBhgCCD1x6Nau9QZPFQtuq2UYjzpEyUJnPrBgPC6yNPy7rBbEtb/KeAxxcvhNVtIx8Pwp74vXinhE8P6JV1YtzZTMmR/IdXBc9KqH0yvEHzQvEfgp48/eTrp5Z+arNL+hvBzhpBrOsYp5soHg9fDaFV0AFb/LPoYEHsAiU+U4kYbvMuOCc08lThBiG8hifKvynlvwvES568EXDeHcoX7M63BaJ8ULVVaX/reOYltHFILD72sAXfG9n1AXVddqMhAKP40a509KXuqGX918vSSGFumFSZ6BuJP244TjCaK04ytGliiignEl00tbTwQnWf3a2RyoaeuNvkuxqE91aXZS/03DegDGGahhsqah9TujolguXm2YYiAM+5KBv0BMH1y7ltDXjYBEz8zwGtzVoxVnfPKCYns1nxwm0UNTaoQmMGx3OUZ6kyKNTHgs8oTxk94gIcDQCIcYcVPDgZxjwzMb7t0DjHy9xBrSOH9LSgsuEhtD3u01+oCUlJfR7n+Tyql1FCrV1KZGONcb1e29GgttEQzPhssNUWJ09kEw6r9UkcgIKABTGac+C1+yAgSTgI0LlREEhRmD09G3gCLaK72pbNCo3O1G93Xe+wO+v5rdbkyO9FvenYn04mPbc1caOO6467ndYkPPT9XmvcG8/C6SHwTdPDTgjcet24FG9Woh2KWWTC35AOou77tu26Pey3R9zCR6n7Uf5/lP9/Lee/vZ5z1Pa9tvfoAOrXJP9rH8Rf3/9Tr+e3i/Pfto/nv23vUf7/WvL/axlzm686ZyX/0uVr3g3TKLrilboSFwD4nuZ2pqtMxtrgW2Ql79kclUfbmLvCiHlyjNB0VG4VbIvrTV+4HBNFpbKZduVms6WsJs371TrED0WrwGtc2CQZcocC/VDFOtyr4Vi7zz696UiLLD9VKBfz7jq5T8faKDzGbDskCrDV2XVIcXHo6A7ZuHsi2+Ip7M5ItcccYiMTF8m1WLBvWTP0IIdmwYi4RkRdqpHvumcXaJaJlZGTW+nU/SqcrNFPKzkjx/BFZMHO4yIjLZyHKyHD1QprmtvapXo6QK/CGLhPcOC+6ugKaxXr++kuXWTnOwQD195h9G7SqB9r2L7DJl2ZvU7jFDl3q2r+HQTo4CkI8BxYxv1RGK5MztlM4hMa2u40DvdM43B/VMsTvmtqGki6DRk0V0WyNG8KusYlVK3VEdUQ9xRONB2reLsuOVkbUwQ7nSAjKG6nFLmK2Hjy+uN2DXSj1KiCYZQBmnlkUpHNqKMaX16W2A4gr19shZCn9K048DI94MgrwUVMw/fFqLoITk2RO3ElU8xxLolLMsD1KH/jisQ4yfLnMgn0olNTFEUBBq0IvOsoVsPDti+lZKMJRoxnapu4L9QyQ61Ee+6TTay8PVtKN7AFW4cxJDl4dHJZhLZdRWkgzauHo9t/dCvxVRpdBbm+2bDKHnK1uLANVstsz/ICAPw4uv2a1/aBJAyNBo/K97PDBfY3vClbYYSbcvFqrG9p773zXQNh2pXylRDiZIiRY527XytTbG0jtTNbpSYyFdGmHdZsXO7TLLT5kF88lzYjR32u/r4Q5Fs32nHfsly05YCpwC9phdSjnYlfhKUXtqxqa6XgUFBoTQ1/geFNBveZ25S6TUV+OxCprGUPtR/Jyx+rbFjF1Eof0Z6Dh1zTsULrthgaBI0K3tFWxlS6S4KtLAHRVLAA4tGuv7fTu8Bo4nlfU3j9sG3PTkgluvtAaMoiZSfAMtW+DyLqlREq65d3gNsi+NsQGUa44e+7x26KKz+HAWeyZ5C/vFDCIrORp8R1oVVNTkjd4hVVf+G16uWFbmw6o+F4pNDITCYXmGMZv3jbUURZdcuLhqlmGUXJ4Cna4MEMMgp1IibEZnPbJEeAlVh15kowC7mbkFkUZ2JvV1nhf0ZDqGp3A/wHtoCZFsxDT6oJKtN2E6ocErXB39GI9EpOUgqbGhUtcyajYXqlZ6LyiiYjvdqaDTkjKdmvbZ+qMKgKe7WjaWrDjhH53L4uV2XA9helwSoKVhi0HeXKRnnlBm8xckZ5yqHZlZE681hlNurecZPfNX7kn8Tn+i72jPHuSSHWYgqP8XKSSzbigsIOJasietGFirvdQFwbzMPFeBqKy6u+aF7Sddlh/xDYieJCT45uf/de6Dne9mu7HesbQGxH+9Yjc/sj1fWP+t9H/W9J/9tuOZ0j/9DzW4/631+R/pc1fv8t9l8d128V+l9a/62u/+j/42vpf08o5qtU+YKMQk47Lihm4udoKc68cqh4a0f4a4w7i97cxXo5uUDZaWrLUMk1DJ+9PFchv5OlVrpyOEwOzEU+OVgVXMTA0ppLrXRm/54lv561il/PkgcRUlqqeNMyrLtUD7PmrgjBbYRkL2mFa6QVtoxIx8pvqAyyXWilQVRL4xu6BUUxgZU/lJAi1mJeHoRdqk29/JQnjzdvXrviG8GBjMTw2w/vX30c3aHkRBrOWsrFep7HqzSZRMCKwcjL/N8myfwh7j12O++olQOfK6AGAnza7StTucP4EE303Z2X85iir3FwaKnhNnGsj6N7TUFplctVFUi9QA8ZG1xd7XmIk42qdw30Qam7gHF9d/rXMD1NaqeOFbcaWXy+AHkTGEB8/mwayrB8p/xWsA/LOJxDJlSTWJ7r4nUKNIhz+dGuugAxHF0ysNGWu4cx+7WAetT1lh/vxiON0RHN13Hloa/SDOWoYMfUo9E/qU/nFxx8noJq3Oe1Q8J/puHziRMp6MkdIH57I26cqlde6jeS5KERp2lnG/I3yGZhDnId50VtalxHSc3WHj8kTBYmm95oy00Ht4bnjltE88dWZbjjWKGcCvYvAXmmMTqdCFkoclGmgZXv4B9EYJwrWGrWft8UyllMtl5YXqHkZG8K2PLPQ48IATuRuTsb0Ux48skZBTy0ZB+nyWSH744driL0yQAkyucRny1wGomRhtfHjBwy6F8Vp413+50wHHlKFw/o8yHGqKcZ0N/lFMvRyZtlDKpowjg3hG9X6krm64WM+ExaMmz1Df2l6HkUFIV+08/ZOJC7Ev0KzV+MmzIXTLHMoZ6o6TgEhIxUAHcj9QOwruK7kvTlfTlXrMwuJFCYGSWBmgp9xiygIPUvOFm3pYh5JYM3lEgByPCSbSYpbozFE62muKSCN7ught0Ycfv2fvO5DMZ/aWA/rVDD5VSjnNLCFMNBkzSOSyZZtWxnRIuVwuLKNFQZdHjFsqFmJTgPjVIlPg/tP8ikfEt+WLEm4n9W8NO85Ib1YxoAXFm4vBtiaGWqY2yWmhX2idjtzAUitlTuhMgSmTJgqFfpPsSuzLDhNGTXDFcOZP4uXkUeP4/2f4/6n/+J+p9Wu+d0jlq97uHj/b9fl/7HiF/xVfU/XtvtFfFffOn/xes+6n++kv7nA4cO2WPzhwxTwtqLNJmu+c4fhh/BaxHki8SSiiIVmhrDUgsZS3pqKG+W53i8qYJMs5kYB5fRsVU4yDeGfb/P+6pS2zjiREzj8HyZZHk8EeN1PJ8KS2qj8Ci2RoYKN3mULqFbV3F0LUBww8A2pBpippb1QVaeAiOkW55FqxB7NKebQtkkxaN4ClODGjJImicwPnm0wqjxqOpSwbrr7J2WDMUm4RKN23RUlf0GlEr9ZCioHPEn4CKhQo56LRZRhoojsoKonYdZsM7MCDafvnn3/vXpH0/fvJbjgKooR+xQNhlrXSqcXn46fbvlLfYBeicO3qJDhaooLvdqov7lzYc3hi7qfhu8nZophGLXdviVrcIpccJYCthex6nz33sM/JCTj/GBM/H9GpVB37bhl5Ww6g6OsYoCr4rA4lFL5Y18tb+wWi6q8MdkHgPF3ryS6bUz6C1NXkPOXgOnDzUr1TEIWcAICZu1zq/fGY1qNM0/Vjj6+OZtcPbmLfrwMe8cFavxDNfUT7p4RLA//vnk2wrsn3mficCefnN6tgvsqdbLWdXisnTJoRHraGidBdhlHY0VZTxeBc63OOw0OehLk0aGpS5tKueQJImhXJV4XbWGk8J3lk6qgHHm6ybRlWFAA3TGJZ35yotnUNoh62CrTmKkurs9mcerD1adLqF5qh40mcACRCYm0e4iUHUpuTLrZ6h2PF3OEtpI6K4jENcKHZa0Vw23Lb6oQVDU+Fjc/nW5s8XUWByS6oKwbLVmLOwLgJBjMHGy9QRJEZB4h62YtQnil7razTDGh6N+8P031FLB0AGTLNVKEwfIxDzZRNNA5ZRuZlcOukyLeAbMwLJk0Mh9m0rUwYGxItJ6onOmObQLSLryy7REXUFEJMCk+hb+idJB5Lw6efv2zYfg5PXrD28+fmyIPIFE3a5wOk25q3L4B1AN6kXrdaaBuNKv7OJ6Y8vHuLzxeZ2JBFkaYKNsatUAW2YqgUJ0B8bNg3qAzjtqOzKVl2TKqSP5Lu4JDy2pWF1twNqy9Jiw64Gli0Wm/Xf9yMhUqJbeQaMtGii6lYpogR0aFmgzQnDnDyqJLSyXNJdq5ACRevPq7D3M7R/PYIaZDAKiK5KIjMJWLqRqpydvT//fG5UXU3jKHmImq6yYK8ax2Fa0VMTeVt8pdoc2TGXOuO8dba0ls2RRMXvXFuNXMAyqSUlyLp9WUXgZAJLJn3mSh3PjN2mEKz/JmvNS2Ugb9VJkIe8IHc+pejDFbxsp0zzAKpVxdtlxMRl+S8trZTOazNhsVJbH9aAtz2/VoqbVBPOhFr+aKPSLsHUQNGpI53iIqcOii2icBN88ucNSX0fyrMa8PA3VDvst9LPAC7whdmRo+X2dYYQoVA6QxOQWG33+4EbLdV+y2ZZurz+XPV6Tlv7BJtb5j7axlmdYu4Oi6VwTSAnU3MhuIn9D7uKNqZjkYuuCOpblwasaCscPthROh3uWFJnBQa2/HUD/jnfm4+VlZMTaJdaYa4xyKHvkPC2sQ9NN2SpvD64iASqPR7kU0zDcJAEAsRXdIhBbdDOJVsD/0hfdXcLz3XK9dAzEFEDZQ0MSkgH6icuqTgxsnlrRjQ00/Rr3fMq1tUbJi8TOdEDDIuJbjOcWyBDgSRXDHfZ91x3dVh2qn9P9nZ+/wEpzXrH9p65oaqds+UtpzClQxoIOUmlFFiRsk9Cp92gSSSnHOockfEYOTtGgLpShMb49ONCr3Suok6Z3o+HFWA58kUaGrBfbZsV3GDkf/xjr5nSoCbY0bJaDplMLu2Yevd0XBmCC8UB2550BfOeNKtcG0uH2BrB9IwHx5rcDI1DgFtKX9t4ddrNo7bsTk+VdjP7eBVDB8yuManCOZqh1uesWrcLtN7zGQ9DwughlCNjrb1PGOygBDvtOvoH6heBwMOBb7WCLKFxqbK8gtXa7X14qtuHxIi25z9eMdnr/waIpvjFAYAzJ0GLFDmXvvwmlhG7jJpRCqdXeW1CjypEhyd/FkeHuo0Jqm62soWlmQS7Rd5wiOug2eTo8u68QGPMA0d5m+WSJCjKWC5WPmjW3JosWxLtaFbNyMhsT9GoWg8fbonl3tULjj4ZvYlCpYIFP942ObXCVihWUrTI4sTtaZfBleHEFiuPy2WLYqoOwj61W7d3DItzRkL3M+D6QipuoNq3Kr8vyVRbjjqbskyckpH1kYwuXSgy8wqnSZndHI8rMvllab4S71kmFyTfWSoX631G1vLgNErpcuoV9DVAxIjcU/gWP8Hm9S8pvoulvBzu0RGXqWLX6+MIrok5XNeTFT2gBRbLNbqW5wPtPZw+5kgAQHn0CPZ7/P57//688/z90nXan6x62Hv3//KrO/9fLgP2/ONnF173/4XXdXnH+36Hz/3b38fz/q3x+99uDcbw8yC5qvxMf1stM3oAwHccQiijnQMCg4Kn4fB7NHfFHHRdmsWhOLjAVOCDOipbbaZLkTi2LQMBf1xx1hH4QLa8AyWong3/69s+vD1QqVYOxWkqpuXeAWnL4PhYfy6+yZH4VTWsY4STNxYk4Ex9rlnHM/U8nZasW8U9nmMZH4/RyUuTh8+6ueGEkzZNz4b/4PdQcTS4S8YST0fgzF//0hyfCFr+vVlhyUVPUUSRTNS/KadV69Js7q+Lgr7xoVe8+4oubYOJzPUUDZKTYonaZUK1axuG9q95q6Nk766XMRrX8u1orpZYrvQ7jvMZvBwNpsQAS/JNjQf6Eml5lnv5TTADhmhOv6QELX5QsxrJauDz+RXm/VF4OiFHYrwxfUbJnFuQ+VcsV/S+KHUGxR/7vkf/7h+D/Ol3P8dvdQ6/XfuT/fkX8X4bEcKJYwF/WBPQ+/4+drq/5v04b0r0OoN8j//eV7D8/0tRLBq8vtMUZ8G14dTejiOtII+hm4wHa+jXEyctTka3TWUh3BvMkDYHxy+ZJzuaGDToKXIznG9QtkZloNgmXjVoW3zTp5qYY4y3QJQagkzdAZegJVCJmwmIvhxhiLs/TeLzOI7ZFyYnpCJfLRDplpFvLO67UVjG6ZOioLBz3GzZi4C5t1ggtQreU/3BWi4bx348z+sOoCXfd9P1JpohqIJP55KbGBmvbdjo7rNbYbM2ya/fbc+0w56qleBaywyarJg1fyBY4yC5Cv9Ot99WkOpyAQJ1oifktm1yyT+PzKMtNs6+9ZdN8Xwk691UnM7lSAtcn0FEcz9L7wt4MIeDoBVdRKt0uVofD+fj+7avguzcfPp6+/0ZlRxejKHyRHz88Mb0yrLhoOvD0s8gWmJVklj26rcm7cYTmmJlHzapWb9fovIB/BIpCAOSAzbsDLicPHq/i8PQDtKn+hJ6esN9BOr+fZDxaWeCTFr7+BH9ADvypMwDafcetDCgKJWUsEiH7E0p/IovcYvPCcRwoe0E+UpQneLNhHZcrHkOKulXHvw1lDjes55uVUt5TjIAZHmygiTm6EYKsdp3eUXyECayvmHxi6XJ4uqhqrdMwKQoYJJPJOk3xQJabw8d1zgzoH50I1f86Vnn/ilc6Ec/tWjy9KZoOI00me7FtBDEwQSDpzf46tP46fWb/daSAUDvwFR7pxFA/mehRIwA8ndtTwSIZ2wav+EwffQeq0tGNtkXA9xrwdANjGk+MLHRPemfj/vDbv05tblthXUovh3nqxNnL9eYP7X4Hm1+vy9bz5VigD1mA2wwgL/u1w+Ee7Cj74kW3zRYi6YQaGV5FgDwYUR6PasJxAr/HcQ65CAiDaI8G0grV+uzMx88+2f9pzcbPn3fbtgJGhgAye6eUPeTsYSk71p26ATu+LS+LVRygW60A/d0GKWE/AxOreJC+cMXvfy8AaDp/4f5hHj79dGDRL7svq3TtY1UL3f8FINEP6ziF6U0DFQMVoVrz9PmAwKGTZFXmtoaGFWl+LBbzbUum8bBpWKrgAfoCDUd9tHtA5BjbfTLMGA/7TXjTFP6ohtZW7jEQe/LIeVvjaCWxeK5K8EVaKhWPKOMwGdH2kJFdRqIMQ44xuMdAeOiULQHg7k1nhuvMvemSDQZ5bXRvejM2AnEJRZjByOTovnr/+s2r99/+BQZAgXdvMFoQWn7UX795++ZPJ2dv0Hy2lGPWljnwDcIov/Xl249v3v7x9ZuPZx8+vTor55ip8h/eAPzyO1f2z0jqGNWVM3uqqrOTs9NX2+9D9f7j2fsP5Yo6CurHt+9PXpdfUf9ua78TD2TB1HaunX40KL1Gdrx79vXCNcxqU+zrx1BwfxmKXVzOfr7an11ygAbXgGYC1O5A94dRoSaP4WWbAvYfgbQOFkp4LX3NwXDgWiELvfCmEW4aeeOmsRlAjmG/O6JVEy8aVWCLaEkbTMCX8UE8IPcBw2si0Nd8Kx7Y4sk8khf1l+jwJkB/MnQnXn5T8bp0p0yJdOR7zdXKm/119hT6M6vkqgrw+XUJfJGZHQDiSAfJiqw7iKYrhxc0Y+/iG+k35Uv9xCUHwlDFS/104uk0/XTi6zT99Gf/rXr840tpO/vNn+EBJ/vPyhoXbQS82wYs7/wCzfScIzypJgcO3q1d7Sl5bGU7HHqUFmNZFAm5XdW35tMAUOnuDn9H1r4qJVgaOtizM+XmgcxoA/ZKIvEQzbDQGwxsm1Z95ZQyYiRy9ivCFc/GDfNXaMMsPjeKo/ObgZHD8JRSL7VpRm0GDirg+3NBnsDmMYtSadNcP09ywniAnUGDcqsOrwfke4VcydTtoTtSr0wfM/DCG5lVST9AcgSks1vpwaOu7nmsV8DXUzBya2YffCo4LOyRLVtiQpUX6bgPsI3TtUHshTRJqUufOXRpMChCCDwbQM9+O0CwO6Ciic88XsQ5M0L9Mm+FFyCIsYJ5Pl/Zpj/H9MeZTqT/cIYTj/rfR/2vqf/t+l3nsNVrw8Oj/vfXpP/dLIEBzOPJV4//43e7na7W/3bbLTr/d3uP+t+vpf9VUy9VwKj7XJHawbwCT2rBsmEAql7yjVMTJ444XTanCdpWF7fi+bWwjNv9MrgPiJAll5JXWdW5AKQYt/pV7CDjzjybQWM6XgoFphiY2wk3+Yc1qVr6AgMHyKg50KlxvIQtDli7NezraRyR0PM3ZskOPv1NWJcDt4H3mdRF/MtB04MET8yUYaVkpebAFsaTSFyg+8gZwsOoPxkw3ZMLfcE/TsUyis8voL40a8hYOeI8XFGQHOE6jhcBE4tw2dMhUmHARWATGuJifR4ZCbLe3TF1qMJwyUF9gJW6xqv2Mss8vozm8UWSTNm9JYVbwBBAGczaS0e8X+fNZKZmbhau53lzlgKPCHONGng5hZN5GC/wsgPAgDfRTZ5GeByghlqHHpLW3wfv3//pAE2m8abFAZnFQn2vHFG5aC0mYYYThbdKKIKT9OmwQ5lvkKe7PBbc4amAG4/+HVabf2RF/k+/xf/TXXf+N3s/+NV5Evj2w+m7n34b+vXpyZ9+0m3ofweM+ItLXgyq1zaPxb9B+r/j81/cY4Gt8/GSE2oli4Da/3vvrLOX2rewd2k3tafmFvWsukM923Y7Y25+vB7gK8ouqmRP+6zdclDbEDcDnKTN4C9u1VntYqez2kXVnyzeLa24R33YhXbEyeqFdir+sFvtiJQ7brXre8PcktLlYbp+a16s1fnO78hX7ttEx1O74xY7nSFU0h54z5yVQ+wuQiaNQxUvS80hzricP7oQNw/H0XxQrxtTOFFubCfHFY/Ai8L3LTyG+6/kou6iKCRVPPM4y0nPgx5bjdd8bPKjrt5OhuXequuosl68ZSjr0F6Qt+45o9IU3evitye/ffndlt8Ywr5697l099pEgZ9xAfveO80mSm5fZzz+BW4zT7ZvM08edJsZciGa6TgnQ0IpjbZ4hqYuKnu+OxoVtx5Lc7M1nHfc2uS7zdbPvdtszOlQrkuj61v3mifb95p/oZu5+4eQrmk1sNSoVBkhuox7SfHNsAJ5dRffbc3tAy7t0gG/bAnqbH33jpbhySZQD1zSUK0tH0kV2tg+2IdZHI22RwtXh7zjD98Wx3FblDumArdFtr3VqTKx/AV6RUGcGrTEsUr4m9/fG4nNdFF5kkv2Q0bYgjIYUQxDwDUwGoDiPwClmpbVxFip6G0cL6pTrDnMUuYEQBpSgejwJcWdq2EUT2JR6Qzzd6IJHxRtYy3aYkrtRL0/8UoSJgi66w1LWdBhmLBldE07AwdaReltSWFhm5QIdUVhntWQ6UW2g47J+BwV9ztixpBbq2lufwgyAnA8rYboIONGzBtzcA2J9131cKQePF8/deSlc3IyjHIgHhfRWaPhqx7eTfNdb4igIi5Mc9jAsM20cZVj+FFaeEzRagfGEMsBriARluuLG3Q3hYHRoNCxoHhd/4bZb/xj5bcDQ6bhkDThNfvtgK+NP9oOLMXlNwrajYa2KaDBaN0AKIQR7oUmp4BfHUPHaIsnujmr86wPvoS31IfBF/x7CyMz+DLNb2EHOikFLWRi99aZIM7423qIXShAgjF5TcEpobmSOz06hm7iRPs2nigPO9DEDuBEs32If47kLI8BAJLzT+L5cxHRUVgkXgxUcDVIf/FCWE21MLAW6TMfJ59KN/EIDp/4L8W9K6PKPjTSyOLdhyulIow28nq2bA3M3dFRDzfjhkKrXUSg7IbkM1oaqAgAkKGKeZ/RBwatilZXkGv75xT/rBSatOI8hpHQI4z5jAtzVO4P4pWnUAqX7ucyRpVRSCIB4A4gDje1iYM8+GL8KKFX3VZYQQQZUIxhBAUiEZ5N40luAbI1OPeA/tqIeq2y4kqrrPqagl1ThGccZrYPmAM1o3jgqHn688nrJikEztN4KiOBP2t64jqKDU3XLmSm6uiJK4ym/EupA4MiQwGITGT0CtiFaZ9ZYC3Nwl8KN0NAYAtX6l0DO3+nVHUcBlsG5RZso5Wzt08ZTYbuPSGAjGU4I1y5LSk6xfhGGNAJov6heFYZlGLN3EM3w8LBYBcwF3vwVCb0NBBpXGO6FaJ/n6FEleTuS53hkqHggbLJz816LayYolzq2iuMtFzbejpLPAJMK85o1ffRT2zki21MgdpkHbUqtbln59m1lplEPGhFc9ZRhWUur2xjjW3vEXW76hVGspjIvr5AEqQ66D0caULqMRlPVYbhIePwIwbiJ46EXgc0Hj9iQCi45RZJUORPgieUqFA+hZcD9dAoY9Cg9Kshyg4wlAXdgF8a9dNrbMSg0iiir+2Skp9OEbQGv0QWt/k7YrlwmHmkmdFrw0MP+D1McPlvibcrHmCGO8UPwISW+csHboF0ed22fPCRZXxH/1zFFWosK5Gh3r4ldXwH41bbWmrbvNvx3SwWDKEAdkpxUzywAQ5sUAyqyVd19p2M3H0sIiw6asELed+vFyu7iAJ2sVklfOQQzsWKtwSJKFm+tct56tABpKaL2s330pcu6VMXFA/9ZmX5PdTSbL7XI/V9reBJvYJR53H6Hsbl+xFuV9zq5jxJLrETZG4jLNqLXVtuTCG1H4+0/qvTZk3kOYd0qmXLEO3p8NzDmUbRCh9gnSzs2vaqraduMWIEEm2ZXVKykRzXV4tTLlciECoGPWmPVhjpHlFpFRdpQZwFn1Q6LuxP+t1VQD2QL690TCBlOpuHl9GyVJTmiGso9jCUbTGNo+SgfKYmq09SF90HgVbSsNH2TvHhPgkLJtfeMnZEbc7pu1qSxqj+PH3HCrXrcHps/kCDaY75+jTsA31FPBkIHPBd+rlyQQQNQzusm5gWoDWvPAZje2wsjy0E+QXyApFaQ66tHKwdsbdmhUvJkQREhIGuwEXlhnUnDJtaqSZrRS5+ZCevYJhnCUbY5sXmtRQNRJTKpGN0YHDnMapJZbg92lkoHSfOIp84sEqy7LkXdcntjV3ToYWYf2tJ/o03uJYpGharxpMLBymglH6Ral0SL0OrqUpmALN5+chWf7m8JXx31qspOqYE4gIDf0KW3CWsZE9lLlKeLp+Kr9JoFt9IKV+fqBcHrn2BiCxarlt1sE9HBaiVKTzwr5eSu8SiMvYdAJJWusvoJhcdtza95xBIuybr9jqebxwgbbm9LchZTYf6wlfDPrR31Fej9hkNYlFHTn2tVzND3n6ro3YUNUNA+j8DXuGli89DDwCUJ6Guh2gbXsftt90yPGrCsdQvK3+JpGSWP0qwWbB55vEuguMecNsDHF2Kbh9g1QEgYmDEb/f01sIqoWH9BO+4sBqI3p0oBdFLB1H64aforETCq0l8IO18oC/Ld/2u53mod34pHfbK03WgfSjblw45Hnh6QYsnuIqTOV91Lx1qhOfQxlJKGsZs/lgkTePZjIgzHa3AAlin1CI8/iDBLPqhWKXtQ7lMf/qJU+WUi6DdaH4kdXDQcGeF5nRxrDZ3vCvczuJRwC6fuztOlvao9cXLbVU+JOkRKdSe5N6tpKB3WUFf0i5Qi+44vKs2ow9YlGWFD91i0PFYuew7F3ELrf5xPMZAcy20RQ1vCt0KRmYsDZeP3deOPUs8OWvpllQaaMq7BvF8Id4QWm7KIDcIYXlTFGedXKjKovtbzC41cB7O97LUrKYJWNW2AzD6ghDhOLOQsVxuCp56Cd/LDU+9BJCjJO1MLhLghawqj82cMn7MA0ti38Q/i5ZvjsT3UiCRVQGAd0ZPVQZPZ4C6vR0ZfJ3B3Q2hZUJwd2RomxB2Zej0aQB2Ae/2jWVRftUruiZ1Y41CS/ZsZ18O+9KncVFICyKtzp5CRxIlqNS73U6a5dwBNhTPGHl0y2nzT3dcfN/53t/lTAw/L6vnYi93nIu9vONc7OefjSExq24NO056tgbXOIbeeQL9cljaW/Sh2mBQsJTljWVHrdukT4OVG9SoqnC6/yR2N/m+9yR218FXiezbpDrr79kLYHdsoNvdymFtmaowgJ+2yWn+5KVyQslcSAA1qntQLxWr8sqhkMVSjUx8yCtpPpHJTX0HC1FwGrzjE41AdYXFCgxAfyTeyGFbLl8/w+XqyfR39M0UwVXJPjoa6R0eNcTRYa/babd8TwYLtkAw/CRBvLNHP4+dqG0h8d0u+KsGKb+4u2+5dmjJGFzOTjYA6n81lFOjMepL/UY6KUfKWN/IH0ga6zxn8BeZN2npQj3g0+tbBrhFaV7toTT3rapX2yvqx7V3y+U6Mkq3BUq/Cophoda+Mi/eUKb9t28aaJiDnPgAwNu1rZs4GMX2yyX8ubriMLaXDXxECzInzqNFZpEgfHlJZJZu1o05cC330OSG7VvMGmd0vx44duuqQcpIDnF2iRJ2SX5gOijrbcjjb+qPqvq23HyQeYhDebyR8fh5/Dx+Hj+Pn8fP4+fx8/h5/Dx+Hj+Pn5/4+f8ZroGm"}}