{"item":"cost8","credit":"Taylor (gtmcknight): solved policy, Gaussian filter, qm tables and replica; IdentityMD qt1/TwoComp/ComboG and cp-c build on that work.","status":"complete feasibility measurement; FAIL 12000-added-gas target and FAIL 245000 harness cap; no new fee policy or submission","conclusion":"HEAD8 rounded arithmetic fits EIP-170 and passes numeric F, but this implementation adds up to 51564 gas, not <=12000, and the diagnostic harness reaches 246963 gas. Actual 245000-cap replay finds two OOG sequences. Unchanged G4 engine control passes.","provenance":{"cp_c":"https://api.imd.fun/artifacts/ffd2b2488b92fe51e639af36007feabbf15c3df3c119bf957d460e1be42efa34","head8":"https://api.imd.fun/artifacts/a2d5a0dea7982a84bd2238f143f045b44600c35ac5638d2307fdeadc15bfc757","g4_report":"https://api.imd.fun/artifacts/70ece52dd649c2b5f1085dfca6e77046a53ab8929f0e3e11875fd33a9fe0c2e4","base":"https://raw.githubusercontent.com/identity-md-launches/goal-3170-beat-network-s-amm-entry/4eb3e985fd31e3cd17832501b95b6d2491aca73d/contracts/Candidate.sol","qt1":"https://raw.githubusercontent.com/identity-md-launches/goal-3170-beat-network-s-amm-entry/4eb3e985fd31e3cd17832501b95b6d2491aca73d/reference/qt1/Strategy.sol","taylor":"https://github.com/gtmcknight/amm-sim/tree/4812a6382311624e1506aca131ca35c378f930d9/research/solved","engine":"https://github.com/benedictbrady/amm-challenge/tree/6b6921f8d463314aa7c96234e1be25a25245f704"},"inputs":{"taylor_commit":"4812a6382311624e1506aca131ca35c378f930d9","engine_commit":"6b6921f8d463314aa7c96234e1be25a25245f704","git_heads_verified":true,"artifact_sha256":{"cpc":"ffd2b2488b92fe51e639af36007feabbf15c3df3c119bf957d460e1be42efa34","head8":"a2d5a0dea7982a84bd2238f143f045b44600c35ac5638d2307fdeadc15bfc757","g4":"70ece52dd649c2b5f1085dfca6e77046a53ab8929f0e3e11875fd33a9fe0c2e4"},"reference_sha256":{"ref/qmref.py":"1dfc9b7a3c2237ff7a93dd9f0af54b9bdab16f2ce0a7eb00784cb4432598db92","ref/twocomp.py":"9d3c1833321493fb51bbde4e1b4dabc2f8978bd6d774ee2af8dc8aed13f0f0af","ref/blob.bin":"3ac7cb8811ecfb6a17f499aa4e9b70dd55f7fb6432b3aec3b904e11a3dece38e","qt1.sol":"c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca","tca.sol":"1cbd726f3a1f48950c60f0dafaae5d4e36c20481c5714efa72b82cae699dd064","ref/replica2.py":"6e37b4e61e1ffa5ffb1e43912ddb8659105989aa986eb48fcd1d7608f8dca685"},"tc_a_sha256":"b87234c89e094f4955578417c1266129b0f96e6dfda68e3fb8866e00eeda71a2","patched_cp_c_sha256":"1cbd726f3a1f48950c60f0dafaae5d4e36c20481c5714efa72b82cae699dd064","setup":{"status":"passed once","script_sha256":"f3abb169ae32d5b1c3d8604d693fa1c646dcbda1a527aab6cc6c8402724f392b","wheel_sha256":"aedb68280aca34c110968f00148387c95885207913fb2cf19a1ab4c5cfd6887a","solc":"0.8.24","starter_validation":"passed"},"additional_head8_hash_checks":{"head.py":"59c01d85aff6c712b65bf84f98068c6088e7aca47ce12b7b23ef7255292396c3","drive.py":"1c30173a4fa6a2fa0a08eb8999d988bd941e55c903f10f78051024eaacc9e2a2","original_ungated_combo.py":"c5b711a0b4fb4783e8879a484bf87a427171f4a11aa5eb5ec3513c24ead1a796"},"unavailable_frozen_weight_bytes":"FROZEN_W.json bytes absent in HEAD8 artifact; no exact-weight hash verification claimed. Rounded vector only."},"P":{"status":"PASS","command":"python3 -I research/solved/gates.py","unchanged":true,"output":"seed   perfect-info      gaussian+plain    gaussian+qm       lattice+qm\n10000  448.261189  443.455598  443.522608  443.663520\n10001  576.779199  571.463409  571.623551  571.977293\n10002  531.886497  525.168028  525.865859  526.411631\n","comparison":"Exact output substring in pinned README; run before head implementation; original Taylor tree never modified.","source":"https://github.com/gtmcknight/amm-sim/tree/4812a6382311624e1506aca131ca35c378f930d9/research/solved"},"Q":{"base":"frozen ComboG GATE=4; never ungated Combo","choose_window":[64000,65023],"choose_paired_vs_qt1":{"n":1024,"mean_diff":0.6284902993594916,"se":0.01941806797557803,"worst5":[{"seed":64101,"g4":597.2148474539937,"qt1":599.9275303700296,"diff":-2.712682916035874},{"seed":64845,"g4":597.9040132481813,"qt1":599.0192287156779,"diff":-1.1152154674965686},{"seed":64374,"g4":680.8517108876536,"qt1":681.9104464335063,"diff":-1.0587355458527554},{"seed":64795,"g4":552.5074777487937,"qt1":553.4269583812927,"diff":-0.9194806324990168},{"seed":64555,"g4":499.89744263804323,"qt1":500.79241295040606,"diff":-0.8949703123628296}]},"selection":"none; G4 and rounded HEAD8 vector were fixed by the assignment; report seeds never used to tune or choose","report":{"measured_here":false,"source":"https://api.imd.fun/artifacts/70ece52dd649c2b5f1085dfca6e77046a53ab8929f0e3e11875fd33a9fe0c2e4","verified_row":{"n":2048,"mean_diff":0.601755886,"se":0.013533815,"worst5":[[10146,-3.646769299],[11062,-2.324024168],[11808,-1.86874264],[10519,-1.839589919],[11376,-1.784058107]]},"gate":4,"qualifies_base_over_qt1_ge_half":true,"note":"Verified row and artifact digest; inherited report evidence for unchanged base, not a newly scored head policy."}},"benchmark_first":{"seed":70000,"n":2000,"max_error_bps":{"candidate":1.2753893297370866e-06},"peak":{"candidate":204742},"sum_gas":{"candidate":294691999},"sha256":{"candidate":"44ee80b71aca4e631eb1e7c16dde763cdb4e050b825a74168a67e937a43df40a"}},"harness":{"name":"HEAD8CostHarness","fee_decisions":"Original G4 fb/fa returned and stored; byte-identical across base, return-only control and full harness on all 100000 callbacks.","inputs":["mrel = sgn*(m - ln sp_prev)*1e4 (belief mean rel. to own pre-trade spot)","sd = sqrt(v)*1e4","pi (arb prob. of the step first trade, carried through the step)","w = sgn*(ln s - m)*1e4","R = sgn*(ln s2h - m)*1e4","phase (0/1/2 inferred)","size = log1p(|ln(s/sp_prev)|*1e4)","silent = log1p(min(dt-1,12)) on first trade, else 0"],"head8_constants_source":"https://api.imd.fun/artifacts/a2d5a0dea7982a84bd2238f143f045b44600c35ac5638d2307fdeadc15bfc757","constants":"Rounded 9dp W_frozen only. U/C generated by random.Random(20261109), Gaussian draws in the specified order; packed signed int32 at 1e9 precision. MU/SD packed int16 hundredths. All detailed constants in bundle.","normalization":"(feature-MU)/SD clipped to [-3,3]","network":"8x8 affine, 8 tanh hidden units, 2 affine outputs with tanh and CAP=8bps; tanh computed using cp-c exp, argument clipped to +/-20 (numeric stability).","clamps":"Compute mirror-mapped hypothetical bid/ask fees, clamp to [0,0.1], expose them without storing or charging them.","retained_state":"cp-c original four packed words unchanged; raw first-own-trade pi saved in one extra slots[4] word, carried within step and initialized to 1. Extra state loads/writes, packing/decoding, feature math, clamps and outputs all inside timed callback.","interface":"Diagnostic low-level afterSwap returns 192 bytes: original fb/fa uint256 WAD; d1/d2 signed WAD bps; clamped hypothetical fb/fa uint256 WAD. Solidity interface still declares two return values. This is an instrument, not an engine submission.","overhead_control":"Same original G4 code with only six-word return framing: zero head outputs and original fees in hypothetical fields; gas differences include compiler effects. Full delta is harness-base; arithmetic delta is harness-control and includes storage/features/network/clamps.","feedback":"Hypothetical corrections do not feed G4. A future integrated head must store corrected fees, obtain its own Q and pass integrated engine checks."},"F":{"status":"PASS numerical tolerance at measurement cap 500000; not a 245000-gas feasibility pass","seeds":[70000,70049],"callbacks_per_seed":2000,"total_callbacks":100000,"identical_callback_stream":true,"max_base_fee_error_bps":{"base":3.087157057768408e-06,"overhead":3.087157057768408e-06,"head":3.087157057768408e-06},"max_head_or_hypothetical_fee_error_bps":3.104958347724396e-06,"tolerance_bps":0.01,"head_error_note":"This one bound is the maximum of raw head errors in bps and hypothetical fee errors converted to bps; it bounds both checks separately.","oog_at_500000":0,"callbacks_exceeding_245000":{"base":0,"overhead":0,"head":2},"stable_trace_sha256":"8bb7080bf82420ef4fd13144a51e06a877238dfc65a3c64972571548b00fe7a7"},"gas":{"measurement":"pyrevm message_call gas_used; identical real replica callback tuples converted to integer WAD; cap500000 for complete conformance/gas trace.","peak":{"base":215608,"overhead":215676,"head":246963},"mean":{"base":142165.13975,"overhead":142237.17534,"head":173145.73461},"max_added":{"full":51564,"interface":75,"arithmetic":51496},"mean_added":{"full":30980.59486,"interface":72.03559,"arithmetic":30908.55927},"target_added_peak":12000,"target_pass":false,"full_includes":"all eight features, normalization, parameters decoding, 8x8 tanh, outputs, clamps, state loads/writes; no excluded head work","worst_added_inputs":{"full":{"seed":70008,"callback":229,"calldata":[false,124418694756982976,12237787837395269632,255,101932402603253202944,9810423128082773704704],"dt":1,"features":[-253.82490794697787,2.3779140170216757,0.9943343909486965,229.4277936669431,30.045090202985847,0,3.23463555654823,0.0],"head_outputs_bps":[0.3830471028156056,-0.22883250170921438],"gas":{"base":157820,"overhead":157888,"head":209384},"delta":51564}},"peak_inputs":{"base":{"seed":70046,"callback":1790,"calldata":[true,67173873889749768,6968065146758817792,1637,97954784918158835712,10208791748514372648960],"dt":4,"features":[-45.47244587959298,17.87428817177503,0.33057096397362423,31.8259961234979,8.146931911108268,1,2.6841979686265853,1.3862943611198906],"gas":215608},"head":{"seed":70046,"callback":1790,"calldata":[true,67173873889749768,6968065146758817792,1637,97954784918158835712,10208791748514372648960],"dt":4,"features":[-45.47244587959298,17.87428817177503,0.33057096397362423,31.8259961234979,8.146931911108268,1,2.6841979686265853,1.3862943611198906],"gas":246963}},"dt_buckets":{"2":{"n":9373,"peak_full_delta":51447,"peaks":{"base":208409,"overhead":208477,"head":239668}},"0":{"n":35118,"peak_full_delta":31100,"peaks":{"base":113027,"overhead":113102,"head":144008}},"5":{"n":670,"peak_full_delta":51317,"peaks":{"base":158458,"overhead":158528,"head":193056}},"1":{"n":48838,"peak_full_delta":51564,"peaks":{"base":204520,"overhead":204588,"head":236142}},"3":{"n":3740,"peak_full_delta":51344,"peaks":{"base":214214,"overhead":214282,"head":245451}},"7":{"n":174,"peak_full_delta":51522,"peaks":{"base":165277,"overhead":165347,"head":196755}},"4":{"n":1601,"peak_full_delta":51474,"peaks":{"base":215608,"overhead":215676,"head":246963}},"6":{"n":341,"peak_full_delta":51448,"peaks":{"base":162140,"overhead":162210,"head":193447}},"9":{"n":34,"peak_full_delta":31608,"peaks":{"base":167541,"overhead":167611,"head":198951}},"8":{"n":64,"peak_full_delta":51185,"peaks":{"base":164470,"overhead":164540,"head":195920}},"11":{"n":12,"peak_full_delta":31598,"peaks":{"base":176141,"overhead":176211,"head":207538}},"13":{"n":8,"peak_full_delta":31562,"peaks":{"base":183702,"overhead":183772,"head":215011}},"10":{"n":22,"peak_full_delta":31560,"peaks":{"base":181372,"overhead":181442,"head":212737}},"12":{"n":5,"peak_full_delta":31583,"peaks":{"base":179289,"overhead":179359,"head":210721}}},"dt_bucket_note":"13 means dt>=13; 0 is a later own trade in the same step.","cap245000":{"status":"FAIL","seeds_attempted":50,"successful_callbacks":97956,"observed_oog":2,"failures":[{"seed":70030,"callback":166,"calldata":[true,18380240466704388,1819120855425353472,197,100270781546360635392,9972994970001759797248],"error":"Halt { reason: OutOfGas(Basic), gas_used: 245000 }"},{"seed":70046,"callback":1790,"calldata":[true,67173873889749768,6968065146758817792,1637,97954784918158835712,10208791748514372648960],"error":"Halt { reason: OutOfGas(Basic), gas_used: 245000 }"}],"note":"Each seed stops at its first failed callback; remaining tails of those two seeds not attempted at this cap. Complete 100000-callback conformance runs at500000. These are actual OOGs, not estimates."}},"sizes":{"tca":{"source_sha256":"1cbd726f3a1f48950c60f0dafaae5d4e36c20481c5714efa72b82cae699dd064","runtime_bytes":22370,"initcode_bytes":22399,"runtime_sha256":"c542eab561ad8b76d431b0f630e5b130c8c54c6a8ed78172bbcfaa5f9c47877d"},"qt1":{"source_sha256":"c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca","runtime_bytes":20605,"initcode_bytes":20633,"runtime_sha256":"79c8d6c305ec6dfc29770b27cfb15b6cbd57b1fb01a23309cf8c131ca5c70189"},"overhead":{"source_sha256":"520ddeb08cbf32aafb66fe658b594906803336a9ed98fb136f763c0b71ffa682","runtime_bytes":22399,"initcode_bytes":22428,"runtime_sha256":"3c0f20f2266dd51b91db37db83f700f169b7808ab579e0104845fd200bfeaa1e"},"head":{"source_sha256":"a07395cf4926251f77dc4e284b8c2147202551464925fa3c2973b0c8d97b18dd","runtime_bytes":23801,"initcode_bytes":23830,"runtime_sha256":"139d8568e0d4194d445bd56cc96800316db60f5efda4eb42ed8f4fc63c11b091"}},"engine":{"status":"PASS unchanged cp-c/qt1 control only","run":"amm_sim_rs.run_batch(X, VanillaStrategy, configs, 8) separately for each arm; VanillaStrategy=30bps","seeds":[9900000,9900015],"seeds_used_once_per_arm":true,"config_check":{"credit":"Taylor (gtmcknight)","exact_equality":true,"n":16,"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 seeds9900000..9900015; engine.configs output exactly equal field by field; no engine run."},"paired":{"n":16,"mean_diff":0.5070876322232678,"se":0.1754716088056967,"worst5":[{"seed":9900002,"diff":-0.6056395420580998},{"seed":9900015,"diff":-0.42835789565822324},{"seed":9900011,"diff":-0.2209867544794406},{"seed":9900007,"diff":-0.1961727637108197},{"seed":9900001,"diff":0.033896842077524525}]},"afterSwap_stats":{"candidate":{"role":"Submission","callback":"afterSwap","calls":167901,"ok":167901,"max_ok_gas":228340,"sum_ok_gas":26856190875,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"baseline":{"role":"Submission","callback":"afterSwap","calls":167977,"ok":167977,"max_ok_gas":208997,"sum_ok_gas":23243970807,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"pair_columns":["seed","cp_c_edge","qt1_edge","diff"],"pairs":[[9900000,474.6588124064612,473.5019895759794,1.156822830481815],[9900001,636.8227855405273,636.7888886984498,0.033896842077524525],[9900002,407.1358615195717,407.7415010616298,-0.6056395420580998],[9900003,502.35200472438305,502.1148258700444,0.2371788543386515],[9900004,557.2391819931039,556.3352934049391,0.9038885881648184],[9900005,507.46137966347186,506.3160248267028,1.1453548367690587],[9900006,598.1365316463243,596.3090230800406,1.8275085662837682],[9900007,582.199632064722,582.3958048284328,-0.1961727637108197],[9900008,478.47723401076894,477.05442333760357,1.4228106731653725],[9900009,523.04043546415,522.0956687682578,0.9447666958922127],[9900010,493.40414593545967,492.9773904552122,0.4267554802474933],[9900011,559.4783775166622,559.6993642711417,-0.2209867544794406],[9900012,591.2020102228379,591.0587814448169,0.14322877802101175],[9900013,525.9223930703308,525.3247581723735,0.5976348979572776],[9900014,397.27113466575605,396.5464226376762,0.724712028079864],[9900015,470.31201779042397,470.7403756860822,-0.42835789565822324]],"vanilla_afterSwap_peak":22592,"oog":0,"head_engine_run":false},"seed_ledger":[{"kind":"P","seeds":[10000,10001,10002],"usage":"unmodified gates, 4 policies each"},{"kind":"Q choose","seeds_inclusive":[64000,65023],"n":1024,"usage":"one unchanged G4/qt1 pair per seed, no selection"},{"kind":"Q report","seeds_inclusive":[10000,12047],"usage":"cited G4 report artifact only, not rerun or selected on"},{"kind":"initial benchmark","seeds":[70000],"callbacks":2000,"usage":"base-only pre-head benchmark"},{"kind":"F measurement","seeds_inclusive":[70000,70049],"usage":"three identical-stream arms x2000 callbacks; fresh EVM state per arm per seed; replica replay, not engine seeds"},{"kind":"cap check","seeds_inclusive":[70000,70049],"usage":"same deterministic replica streams replayed at actual245000 cap; stops each seed on first failure"},{"kind":"engine","seeds_inclusive":[9900000,9900015],"usage":"only engine reservation; once per cp-c arm and qt1 arm, each independently vs Vanilla; not reused for head"}],"commands":["git clone https://github.com/benedictbrady/amm-challenge test/scratch/amm-challenge; git checkout 6b6921f8d463314aa7c96234e1be25a25245f704 in that clone","Save exact supplied script as scratch/setup.sh; sh scratch/setup.sh once; subsequent clone commands prefix . scratch/env.sh &&","git clone https://github.com/gtmcknight/amm-sim test/scratch/taylor; checkout 4812a6382311624e1506aca131ca35c378f930d9; read research/solved/README.md; timeout470s python3 -I research/solved/gates.py","Fetch three pinned artifacts and four pinned reference files; SHA256-check; extract first diff/python fences of cp-c; patch scratch/tca.sol scratch/cpc.patch; verify required cp-c hash",". scratch/env.sh && timeout 470s python3 -I scratch/choose.py",". scratch/env.sh && timeout 470s python scratch/engine.py scratch/tca.sol scratch/qt1.sol 9900000 9900016 scratch/engine-control.json",". scratch/env.sh && timeout 470s python -I scratch/baseprobe.py",". scratch/env.sh && python3 -I scratch/build_head.py; timeout470s python -I scratch/compile_head.py overhead head (with prefix for compilation too)",". scratch/env.sh && timeout 470s python -I scratch/replay_head.py 70000 70001; separately, same prefix and timeout: python -I scratch/replay_head.py 70001 70050",". scratch/env.sh && timeout 470s python -I scratch/capcheck.py",". scratch/env.sh && python -I scratch/check_configs.py; outer workspace: python3 -I test/scratch/check_inputs.py","python3 -I test/scratch/collect_sources.py; python3 -I test/scratch/assemble_bundle.py; python3 -I test/scratch/aggregate.py test/scratch"],"limitations":["Negative feasibility result for this implementation, not a lower bound on all possible optimized heads.","Rounded HEAD8 weights benchmarked; exact frozen weights unavailable and not claimed.","No corrected-fee policy score, head engine score, board score, submission or deployment.","F limited to first2000 callbacks on each of50 replica seeds; rare later paths or extreme reserve ranges may cost more.","Diagnostic six-word return is intentionally not the engine ABI; interface cost is reported separately.","No causal per-feature gas attribution; measured full cost and return-only control differences include compiler layout effects.","Compressed payload contains complete new patches, generator, Python refs/blob and tests. Original TC-A, qt1 and Gate-P large tables are external pinned inputs with hashes; retrieve them from the stated immutable sources. Engine/compiler/wheel dependencies are supplied by the mandated setup, not embedded in this bounded JSON."],"source_patch_ref_test_bundle":{"format":"base64(tar.xz); files are ordinary files with relative paths, no symlinks","sha256_compressed":"3e4ae8e98d4215fcf7c712ab563eaa01c7cb90a3161d30a1bd008fa66c7fbb9a","manifest":{"scratch/cpc.patch":{"sha256":"d87d8de8ae234925c139e598e6bde67993f940005dd6550d11c30102e59715cf","bytes":6669},"scratch/build_head.py":{"sha256":"5d4770f2a5c50be41ae9b04b4b143f8a16f3bad1d3e49c8bd30284a8ca8d11ee","bytes":5606},"scratch/compile_head.py":{"sha256":"d038cdda21fe9cb72bef7183a3b014ac8d5a2e426980f9634a0f7693c5665618","bytes":1097},"scratch/replay_head.py":{"sha256":"aae1f96e4ddbc3bfafa2c6c7eee0aaa26405064a00683a9f5e1f62da5010909c","bytes":4200},"scratch/capcheck.py":{"sha256":"a35d0f977dfb0ebfb558c9391a08298630caabfb929b26ad7ec7e589b634fdad","bytes":1828},"scratch/check_configs.py":{"sha256":"d671bb12b1d99025414d87386b09076a56cbc0fafc40eb853ac29c3f1427cdad","bytes":1403},"scratch/choose.py":{"sha256":"d35d10d046839a10b91582c9e9e2a751720de6d82c226bfa79f09ec849bd2ec5","bytes":1059},"scratch/baseprobe.py":{"sha256":"2473de00e44597a247dd4f2c67b5c23abe4802a2d52f632e209b885709882dd6","bytes":383},"scratch/check.py":{"sha256":"cbcfea4c793ac7b78e0ee27dd723c9e6af4d9d704a70a8038c985acffffcfed1","bytes":4755},"scratch/engine.py":{"sha256":"306c529d0c84c88610c1e8a9a6aa34634534b73ab83312e9155ef14476e46300","bytes":4430},"scratch/setup.sh":{"sha256":"f3abb169ae32d5b1c3d8604d693fa1c646dcbda1a527aab6cc6c8402724f392b","bytes":956},"scratch/constants.json":{"sha256":"ab4d461cc7239d7e6fc425403f3416585fc483367f4f1d0084b4f9547df16d69","bytes":1977},"scratch/head8-spec.json":{"sha256":"5c02f08f41104baa456de14f65f307d3dd99d0fc8fa39208ec821fd83c3a0e02","bytes":1607},"scratch/ref/qmref.py":{"sha256":"1dfc9b7a3c2237ff7a93dd9f0af54b9bdab16f2ce0a7eb00784cb4432598db92","bytes":7739},"scratch/ref/twocomp.py":{"sha256":"9d3c1833321493fb51bbde4e1b4dabc2f8978bd6d774ee2af8dc8aed13f0f0af","bytes":11202},"scratch/ref/combog.py":{"sha256":"236c56c341894b41efa293fa1e2630988dd71c3515dcba578396ab57a24849a5","bytes":6022},"scratch/ref/headbase.py":{"sha256":"fea24e14bcd6b44d9fe6b6c58dab49cc4610d4d9b4d5d21d4835396ec9c8fef2","bytes":6052},"scratch/ref/headref.py":{"sha256":"80b066286267db88308d8ccae19fffe745a610b8aebb5e6b0e4ea8ce31113b5a","bytes":2989},"scratch/ref/replica2.py":{"sha256":"6e37b4e61e1ffa5ffb1e43912ddb8659105989aa986eb48fcd1d7608f8dca685","bytes":7503},"scratch/ref/blob.bin":{"sha256":"3ac7cb8811ecfb6a17f499aa4e9b70dd55f7fb6432b3aec3b904e11a3dece38e","bytes":10167},"contracts/src/IAMMStrategy.sol":{"sha256":"85b2a0fce484b1c4f70c5bebe6c06042293b2099983f0b641c4a6656c7ea15ff","bytes":1791},"contracts/src/AMMStrategyBase.sol":{"sha256":"3f4154a6c4bb8f1223c7fc0bde1f9cd9dba10cef502e300d0f6d229f610b8869","bytes":4506},"contracts/src/VanillaStrategy.sol":{"sha256":"62d40ccef0de99a385e332a36ddf9cbd1da73eda06bd7954492a9880cb91a572","bytes":989},"scratch/head.patch":{"sha256":"f97c76e194e3afef513276707e754073055c288524780808169e7bd3e99f407f","bytes":5157},"scratch/overhead.patch":{"sha256":"7396ef80a1f17738ed7b7dab43e837e04840f3b2c4f8530d448bd0ab8923070b","bytes":531},"scratch/check_inputs.py":{"sha256":"868f8387108a1b00a6696917328101fc50ec5c2e5af2bb60b130002969eba309","bytes":2124},"scratch/gate-p.txt":{"sha256":"10f187b4b7d36e2d034ac4c74766f4b6670b3f766a2d291c7370050b799dcbf8","bytes":234},"scratch/gate-dependency-sha256.json":{"sha256":"005752b37be4aec7e09a7de88aa683e3f622e4e62e8e1db3a624d38fa0acc7d3","bytes":653}},"data":"/Td6WFoAAATm1rRGAgAhARwAAAAQz1jM4gf/eHFdADmYyqqbSOsPw0Xx9e1LKDca/3RTmZ9lF5/8RiaDUpAUk39uOqEz96J1zykvlKqUJ/2oXrrsfzCduNt1Oqd3wnfuMxz1QduTUKTzw+RSRtc5ZUZitY2hA1C9QyzsLQCD5Gt6tdHKL+vY/enx7/l3zx29d9WSG5svWuA2kj2y1N8tjUVakKKS3IGg9OO45uR8awFsp2/kw2z/cMnQtwTd5aHJkvrjiQBUbRDdEIT6WVrXCxaPXEbb6bpXdyVDmNxXjFK/rtPKtVnJ+TnH2ollrugkv8APp4HFugmMn/C7ZDDNdW5b8Ju6CHxNfADrO7czQ4PA3Z1zCpDN78v3niEOaKfYma49774rGEF9TSp0pBfh4K8MDuPf4DSX62b8ZZShu6ki3SVfRiwRBpoH9kF4JDU/Lp4Fr/jhzHFfX2IA/jChIIp/EK+i37lPnFtJHmXVGgH/l9K8FTDFfAwaOervOCd1UlGjetCqRVqbvAUWs1Fhl/wQegRc5jNzkztLCrgMZRIgRdfzx95aceQQa2GEcPObflhNqtfnycIgUO7jKKc2Xz2lUlPAD/PH7ko0dXe/ulmdjbC3SvXRYD8/bznUB84NF5GbwyQ5M4/pza/b4saA28cvtDNXVoVCxf1AnzcTGKGDbnaNXNMRIkTdcEbL6+FD0GpsywiaI91Alz/EtSABPLGYQFmHUlHt2P7KmMGG4Ye++K24RQCAxS+oVIvUdICxljX7onu5OOEsbm0O+G/0mawwhKR7xEN7aTK5wFG195nBQ2Z+HQCBzkwp/pzgpYuvF9n+Te2DTfQ2WYMFeXQvCPpWFo15W76fAql1fJJyPBAeHopxb3hstUGeQwezvWxmWZlyJZqZsSliMOSIynrHgENJy6cCleGyIl4GiEMqvXYMTIuZtHSAJ5Y5ML0o1yLPAgsA/oQRAcvt+Ub1d2celEQsGpi/mUzf/E/B2c5CdsTmhE9Li2d+vExXcgRC8v56nlOfecSQibTGeJfii4/odaRNbrDA/+b0Z1WFA5YJaLnBmBSZxyPGFjkLeOxWveZUJZioICTfgzdDVYK4Hfq5SDmU2lcjCI1H9+WH77+o7j+BZYt3314rtH8uL47fibH6PKHHMIKmMoUzDRE85fbzib+LTWAGyh21BlnBNc7MmAgFDPNfNWw4KF6LItKkjNFTWattZjX9WhdORvhZyfn8EOOyNPh1dTufXy32A70J9bo1JWqXppvF2Ygb5WnnqCxQUQFoxKyoWEkK0S6bCDVgu4nKUzXb4dIlAG1VEHirovhWlJLSnCGJIuVGFel87S7YC2JC9Xj4+dstCdmrJYNQ0Rsuj7dCq6I9PL9U+nrzbBUsqs/xwd1cz/LrThuIJFwmNG/8mRvr2tK4eFSoH9+NcvPh/X3tx6Bl/xrU24GIAMvefFUVmAcSPlWcWwKUzOCE8AdnYnR5AVgGJhfMUZXnGyEwmXhjmyZ+v1++aSIoEsW6kBR+H6vOQNtaLsFx8a6KFMIZLcE0M9uZIEqsrsDgLMCifY1eJvEW67vAxx33gGYVdGrVbk4IJhFswy9nIa/ulAXwANS9VErX77wlw7lmFk9M/TFXryzhr+4XF6Qyh46JJybNQ4A17JCpyGKuhZuv5JobyCx0WNgaMj4xxMjjxUzO0nEjbllVvKa9VfAdA1xFVMdz0jBH7SBFwSOpZZiyaSNnTpa+SqBDhH8Jtkqwnw3UAu1DRdco5vTvbpkOrhCFIYH3twldRbDW25slB9ST+pzyoRLAxaVxAigiaZWkf2YVlNWiJzGmmfE9dsyAHSyBaQhRkpbO84H9TmXI7Z+h5PqX+U2u9defC4eY4q5O+HpdhNYzXCmtFbq+OqkHvtNJrNhiXtXIulItgFfXGYODr1mqWmjwYfkfz2ColyqNwShnh5u+8PyOoVA2uyGH0nod53si435OgHR44Hhp3UVjsaqbx4MqcePdzpk1kax+fpk/7mC+uemanDeXAi12CijXLC3k04wDqIvYPEvKGPk7fGif5aZhm6W9BUpXoHV0/FxPxX9D7sP8JvISDsg7NRgV2hsUjVbQVRIvLdzpv7YH/9awc49p/CqX5PCHcyDaVo8eBhJR3k2VVqe5cdYQsDC5fZ6goEri/myYFml9okrTGY+XJQBJcVgT0NrfHEjHJ2Yv3onuxA7lHpZ2p106FSnXMwpIC8gFYZC8EI3D8UF1R7DWCRf988S4K5B646pC5bQHzm7CBfFFFLWikQ+UmnH8lKjYSZ16nj8R1CuI/ctyGfInrsxHxT95kHnaPWQtjX4/F11CJr25Ax1y9VTxWG5OM4awgfxI4DTBid4o2FJ0/SEYWF0DQLe+sz5fvz/fGhJ3/E9fcot3Nu0vM/bZWakbis50D2ETCFf3crBM6LGsSIMU5fedOzIWT8GI5xWa/1wv++2CxGlad8MeQbwzxsV1tLDQuC5e+MFlNEQ1gpZfMyt/5XanUfdGKiKlve6VLIHlYZVkOvSMF6uIzSs8lKz2zwFapsds8EXRdxkpTM9v7rO8aUrg8lacSwd+Hc6fvFBQbWF5AClRQy1rH3+mIFesDvtPc2MeoCY0J5gddrHtAEpMKg+BRx4SkjoBmIivLqqMgru6WLEt+8v43X9K3DTzr4xfagHHt7jFaCMmoj9FAds55ZQ0hYIgAx0ZCYvSxaIYDHgwo3734jJV3N1Dk3Yk5GcFzCyV5swrGJ0Iw6MDZa7T/UShkTbnxVOeJsridnIes8E3UAI+uEWPQLJV+6l2BncmBSsWQUdOPhEIxMwd3qd9LCEsCw1P601VTSB/i3b4r9CyVPLT9Jrq9Ay+V7d7WQgQ481VV0tyUzLB2uQMKXrE01lsC3JW5rCQs53yvX/HwwdgOvAEBa6YwnwHmef8g9MNfOUD/IQ6ZIeXEoykjaTbz8gFTY3gO49r/1ELCCTcl9SEOPemwj2d1iZwJmh96K/NTig7uffPRF+eHQOqrZWiUlWdKKxODNcCTdowaWO8ajECHqRgz9fKEOuAecJQrc6aW6C955mWMeypmUZyTtvWlJDQeKpTmSxCi3nzG6WDGxhmb7Gg8EEFO7lJg9PqjXRta6vXGBxhicm+9zDfGc+VXCpwL3VsJA/KEknfk8RHVPZZUaWUye1KyBG7z/192cHRbXaw7Cgn0nmgaQAgxWXesDgZo54o/IdnQLB1GQWWgADuNc3yetosRpFJSCq3ezKexL0YUEvv7FL+beIm/4nL1ah418UdE8zE9FHeOfOFXV/iyFIy+trEdKCL8mkXo7B8sh5GiMo6opK3bXfIzfF2gS3Gbzqu6Af0brkjCzWIqcr0Mv4HJ8bIqcl/KDuHwwY+yS6z7mxihReWELUYELLPrEf6FbnAT6WrVNA5Loypw8PTmtRuI8OlqFZXgCmN8G4oGkr/Fa9i/iqYDHfLbdlTLVkj2phICy1bhWQWL3Kc0vutDcGcTenEcO4Dtf89MouB/Z6+Fa4jxm2yxldnIbSY1D74y1WTl4l65PCUHuaCdvR3jYkOiM2+iXwmUG/Rwtvie+cvWjh2TipbKA1Zz7ssxaNW3UAXhPzwAjAsn7vrrVLV6kb5Y0pP5FVlNQZOLq69jr/49TrrdPmm/0gw79oXjAR6RagKwdZoKmiBmmxODINF89sWu+lUA72LK/ePsxLaQ3gM5cHVCIOaBfMxXjlwx8Ac6hX+9qBBT9pIskjpzaFApd3rmZZi8Jt6+RQXjIqbcX5SJRKxj2tsAdfWP+MQJEnOdlQTgSsgmoZhQStHyhJBpqPfjVtmuvKW4pOYy9CkLJGicPtNaFzNX0V0E6H/E9hZRW4QGubkjEhDAJ3WP55iWZY1omTZdmABJRHce6dj61VIjHDuEJyp3XsHHSQXVXGFsaE3oEugOEctJmMrWLnL4sVY0HLNm+JOqdaJckvWuY9J14vK+W9E6pRaJU8gWeZyXlJ1ZXpgAm8Oq+Z46ywXGkys/PEge22P/SZ3K1lU2jLApT8O96NvFXiflugkgYE/LoVoCb5aDESgjxllRHUxscDUq6xTGac5lRC0c7jK/T/Zf0pSUu5aq/tMNcfY0bmIscYu5BWyXbz07EZm+LXsGfwPYYMV1Urrqcdfsu70+x6b7XRUkYamU2KJ+MXyIq1lMzqFu3cz5IK03TbtanLfPNqbyDPBj7VfpjOxk8vG1+wImaXshrO1WQ+4ucnko+EHIM+nNEXkvWgYL8+ctBTIW4wMGGwhR+rOaoBd2CQLrLomp9ndfh1Jv9UyeItDSBwBCO3Ey8pJr9FP38yDG1vxaZA7yjwRSF+EihAnf4qhJ7q8R3aogCNsKi+X/3xeocRBIQAP+xzzhcWdHA76P0QexgCU6d1s7NyhWpZ/PzfArzm5CEptlgoaUePqYttjELuW5WV7RAKpetx8UVMpc206MgO7A1Xqh/Nq7fW6BMEFz7E0h6ClcKakNgmMM6DPAUjxX1iiSEIHsc65xawLvv4kthm3HYhz5WsZapQNkcsyy6ECEA/cFyC7ObzmYf06O8rKbdUCCLmrLmnwRjr/f3vbML2IUV+exEN2nfDlmBjCBbkdJ6B83/VaAkdZaGp+8ualIoagCHnAudFHt0REBZVysi3dug34TB1Znusc/5BMrQDepHqlK+kNQ4odYrhtMQpnHK3YbIVfmJ45Lj4fMLRJIiBJaptCQSpyLaEMiMBnTmB4gL0uFYR3zMRf7VkkkdOHgFOyYBKNvibhHjsSzZLoAPnIWucxp417x76+V6JGZ2bh8iGLEfpXpwnvgYUB1Qy+oeQEuqCKcouaFB7UvqMrdLXbpsmBOKLRWh6V4oThhnWljmJGxvfiIYgMRL+xaiEfC00Yg0ndr1TR0yLSW26oMt8XWFVnycxTBZfRqX98+5LwWRtMWiYbz48kD0dDr/x5VLltho6I42PcWgHbzwTMKpVJSUFhrzYUwUNch6+mgTPWftBtuOef/Xs9+bgJrgzsoQQUxlwi69k2bJJMvzE4IqntkwofFx3y7VgWa7+uvF5/Z1wvqZLt7MHOvYNp6/iIE5yxklHX2eEhCwgeVjRqGT6Tl8kIO+o8/ma8aMbRP9ko/xUCoxdZYpEgHRPdGiqgOyOHVs6O2Bgk9Xw4jHUEJnhQqRmkEkWY3EncR3QA46T75PJ7r8iq5q5N2wkiNgfxXmYac7ie8UsJCgKEZZs9A7XRpS3+NvAarXcfJp4GKu5ot6UMMAb1PnmPDa4x//pfOyPvqIE7dFS+O7DG3IPocrLU49dsQePLpmtbOLsQbhwwAv1SSH68pJUhmcwjIvgLhfgyaaGrssn0Tddc2ZuYh4HL0Ehz52Y8HiuzkfdDnhx9ha4MO4sleaIAJjtNsy0p21SDj0n/j2BnGeBRQL/6SzO6VYN8/Dkor4wiFeYy9ivNZmcqzI76X+24c9/pZMzAHnge6L7kMzIsTBi9OxXr3nGWjBS+akHy8AmdNCD3OGU6S0wqNKrwIEJOt6QKIcfM8cT5AXHnu36mGz4mCzRS6HMGjm1LKRR3QouYucZnyHaVWDXPt8rdcP1KcJZALiIXGsqUgaPxHXD969dyWnBbVmk4PE9V8+2Rft/YHw5JLFpU5GFYRkd/HuOPzc/ux8SDofBD3rbWHWPYIIIHy+rUKu/reTDmy5zMlUP86yMyXfIYhHRA1pXajo36msog5X0qHfJDGF6jtoWqqL1cE6/3gSuY3YEnHzNuldK0rfXN3TcWeXFDF3nvUWnwltdhPETl5yEMtOgVURzzIdrnqPh8S5u4JLdqAGYwRy9oGraTBb3sHs1+OPxTbyX/ICLALSrr7k/byj2/Hx13BV27gL8MLP0sEbSJxXHW5Zjdu0XfVqcWXiRMozaMs+JD1jZxkYfj/IYFnP49pcaw46n4vIrkvRmrzr2CGcoetfUmI0zRYsTTyjZEA/4IhpaRu3oc4Ra7J0KUgDPzzCgb0lYIpfubsry+i8/2Qpv5FlcXejEokSFwk0t1skiSA/+4696DMVkht5WlUz3kUQx6DZvqleQ78zbL0lpkAjEg+k/wfOYjNL+DERD67lvxgE/ogH/PcJi+H1+Ip5OZNmS+n8KxvE+mkvFNqOr3y2t+/2WNpjZhZAr4GrVhVX+Suw6m46TtrptHhvLctfJ3c7DEEyTq9v+XUBVvtmOTbgyyCHXB3CNXZP0N6zaLoHYQyg95kboCS3mlpQSimrQWzNlsso1j+VffrBF7hizKEy9TfmVWxnxD4W4YXAyXWM2UkjRFTnMD36j9WXDNf3F62DXgGJxB/AHzFoXdBNrPMRuFYPeNmYnbiOKVfMhJh2J7jiRNJae/XnPOyjMRTxdKlnGvMvQ3Yo3v/69Nk9fTjMYuMgOvAh5jVkprtW4GPhV3FNxg1lXNSfyRM7VSe7A3M7dquB+DGdhRgRmFLGNmsU8DxmdEFHTMJGh84i1UIIoOQe4LS4YDpO22aUts5ZmMkm5iy58JDmvZLKiLekVgLXBX1e3tuiPLYJJxRE3jrpO8E+Ol3hRmjx9GIWtCIFuJSOlKaIzIf63hQcEpFcvBIuyDu2jRX9774Mmfp1plBZIrC8SUp/VQC3Z5W092e54//NIMuFjWrcRriVIYM0Nr+89wdWfqz64d4J4Tmxp8zQePrqvwXpv34v91QdcdS3xOGnKLpfw66MJMNbHwfm8ZT+ELTs2bCGfdLccNXafY/7n04sg3Z7g9gvJ6c2GfglykC+9kmYWySk0Bip/4tP6EXW+ECkE45tH+qwYeAa/mUYJOC/JHvqkyrHf40y4Ce/cRjMGWghjGaEF2Ug5qaT8oZA43oF65YuoebUbA4n/+K6h/Phbk2KiQoXxOpRxvNSYFBhZZjhU/YrptSYgei0cb9Q2wCTErvT4smrswMkDnNXqod0XE180EUcQMR3Udjg7EzlFr7c0kpzzEprodZe/4ce6hIoRum+X0lAyC5ccMEH8I+L1PM3K/a1Gin0tVApGyJseoFX1hLWxvQB/qFJ1jQ8CcUvDcPu3B6yhT/wgpBub40UxiZAjNUZeAZFAcEXZS6YUweddM6KIsyq2JqwhiP+Qad1JHt1VR3e82LmARd3DGmq9TpApoFyYlNPP7393AebEGyL6DV9U52sqI6lLYnvTR1UzQPZgMJ7LFf2gIjdlmsaZEk/S0de+4QVosywfsKeiFPQJZPTwbE77Izz6FM+L8gSzks4nDn/s9kDI13Y+jA2J1pEcotHnrAGBdpxG2I3zdBi8lmeA4wYU1NWx0xdikA+gXD/t+/qTUjCmP8z+1FOAOs+a+8ehjKLXdtCp15uqkf3uw9TU3m39eCb42sA4FcM5l3qslXt4kdwJCHpsknbD90elCWV83UoUOqIWwyItUxBs90ci026N0mC/uEe1gIAjj62R/yytpi4LctaGWu1QwgvVcBPBooSUvnrI+3kF2MpVIWxqKvjgJn5tnFm8HSh5NvVsoFhAEh/oSAMW+WlOFLU3u0ptG5yt8M0erPV7E3ywZ/DoRvUkPOnk4BKg0r4PR+Imnc6B9b49nj1umGiIhYYVSz3IKX8qpzMoNfQuuxi5c1TD8YNTFfh5idV+kAcbzeBJjAQmBThGbhPKqZwu4tX1jXcnghdVOXvLBEyYxo8L8CW5v38xztuKOtJUcfW1anY+4jG0jteV+PNLu3PhKbFCj3FJAEP0hbYvCHO1FJFcZIWQnkkp9KbRCO++JyRsRpb2LNf79Yfd4X01Udni1CV7OXutyLPxGvy7H2w/lg2nnbjyeXsKbcXqRs9IyIfa9PLIjkpUMiSo1Kj+5zjEBqmeidQAwcVQ7IMdv3XhGIzjwpYwYg0g3qzqzwOBf2hAcrS+RpPhUHMWcagVyNAGSlER9lxcqn/HEPHcpkOmJU75utthPim+YYqkgT5fD1jWWa/B5a+AX9C8WnzFTKoJNHrENJFaOqr4CA9WXbAl089RC6HQSEk3xceQaz0dIUOc9D+JH4t2AIfL2XE2iDKCEsakPK1zkCu3ZKp7XNiwdJ8lPLs3ojbXE7bteemmqkM99EdUNJxYfht3XWOjCY1O0IH7zA+rFWJ/CFufulwtTRWhSFdjPbfvIn+dFfFzVDqyqYRsCfzT05J0guowB3cgnwiIbux9tZKqG+uhT/lYltO/08ReqVKno/i67U60z5dnVKDoYgSurfD9NnGWHulJls6rlpKQYEyqo5MVV3WDX9xYnpzORXNnU1zmEQWSFwCpTGhOnvFS3MOZSpRBROt/j/g3lMuVfstnpTVPAlXtt1u05U85OJcVq/Him488ppsMsCzhnIOE5RaI6crDmyqYXSXPQ8l6l2azKAMj/SgpFb1l490Q1eU+umzGNuYAp08Dk7NAgQAwsA4CnPiVD3QlDcNfGLYRdq3JIF2dPhEzbsCGzalLmIYB+/qAQe8xwnvfOFWldGhdXjP2UX1e4Qdao5UgnDA4bIup9GjOptuDJqZDFbCE9XtGDMT2nsLkWpxGI9ad8fxbaS6P9Cq/x1MEG7ZjpEgpHJ8LvsLZ9WPSlmUDhrOv+5gJwUhL8KjmBBtj+Zg9jSY7aT0vH5CBQcQndXmWfYKIXssLor028sgb4Vs5xWEk6JDUT84XJtcSoYwz9oB9OaVElH3ABCI0txK5Wu/vZQHNNhOuzcKCwpi7Q6/lGF6smuobAtS78mbyaNlNhLJ5El6o9R+ncfrubENc1dX4yQQtLg4Z0N1pvgCwHg8hmoITunghsx6SiY658b0jpCATfCdfHow6yTornsnlYtuqLt7E2ao6Ue18natYX6+tJT9vrY5w0jhA6ACT65He04ROrM/Jwbe74Q357vyB/1MHnK3iTrSU2mFYzhkKxyoVo2rvgMFYvQouWM8SEENreDRXwHuvGQ5xEWHdSmSxs3+3Bi9VXO+0uorsz5p03l3HNO9OMnYsqYZFUm1IiX+zYPTVFGab9Jm8HXsSH8EeqCNOlKfc4JIEg5XOoGoRVT8xkPDjqeSPSeg09QSKpDdxOok+a2KxWn0qbXVAstRbxBuYngUtt5zFccXyNerLslPz71X5CCM3euKHh+w26VfvvjgGYR5hYjpXpdVMpuJ9P6wU6ttawiff/EtHDIhe6WOxlWhJ36uHLYBf11c4yNgepdqiCi4zGsllETQeQyIL5m/SIGyVHjD483k5a6VhWAna12jiNwWnEN/h9Z7Wwnz0O3JKVFz7bSgmYJRVTQRc3RF+TEwoAWUnbxN9kCOrX+d+ucjrpqLDCRnadVkqepthiq95a9dofRtHy+9zbTTBlqI0xIBEHuTCJda0xbuXiLURgV2/Z1dTYojTGuBERYo26JbuCGKuNLTX69ehk7mulmxmMnbzePktOltuhwYAJfFHFIUxYMJ5CjDpFjA0tNFTDDpCPJbQ4ofWzJU9cO2fzDr1VWIxzvWSqKdcCjFFkfnLiLOXyVjKo/mn7p1mg1dxsmlqJ1ZV1ZQTM7eiLnRXv7702fh3PuTd82Jc3o2naoe5fEpw5zeEcHhPxyew1jXXaltKkw7h8nQPKlQnpDw11BLdlz99NIgGDIG5quOVZB3hHLQKoehb1qRzjMdbFHSzYgvw2+7pjqO4Od0flJLQeWCFRdOh8+puoI+MyiC+mSei+Uq6/EncFlwO/ZHqoy2LD4g9NvpY0++FROs4K4cAXLPch7QE/1vVGfToPvyvSAu1agwGv1i8TdFzjD9exez2RZZtNhibiodUJeoXmBrAPDRjdBdXMYuxvyODCp4uyIj/QcPEHLsqNfajjvVh6y/FYlbTouyfUvXR3ASKCp2wCbRaBMpzyFI0hw/awzvvHQExzAqjF91zZYWhhgHChEKEIa8tiOJptkfgAE8p7pI7oxEWGgwbakoQvMDdBYwA5VKWncBMypR4Qjr7xzU6H6KT3XWDp7Ys/oU3JBr+GEdbA6/GpvTsHgmQpBaG0syYJ9C0BFy8iL3xNYAQYH1xcYgI6vu2NN+DAnKQf3g0zYLZc0YLKfxb+hfFW1+3drCTwoZ1ZfEz+kJzmgpplyyMgVQ/enrcJO/bB5Fd/4NADKFi4A/Senl2YYqR0V+PCADxsBfnd4ZTnzYNARa6BgHkddK5ZCiWY/SOLnmHk4hDS21q427AcaG3AQkI5yekXhBuFbYUffXzHhVxEJ7ExIGLBr4GHwMBv/f5znaowNgXQ9JEHS9W4W7x0Y15U1wJm5s6W4mdRyk6imoTjCeCqWBJjeUNiTQP43TkgxoS5NnU8S4mYQrA0VAnU49d3yv0soc7H58S1u/Xz8rte6UIDXX13F6OoN+A0yvDNFoQrpPLJuLFoxXO2KIeb/7S/j2Xb7qWl0kmTRchqTj5Ces0/dgBD1c86j5tWCduOjkFyc143XuuW3eCFxNEj5lhWUi0t4fI3Yc8ieGQllfDqUYmFNiXpStGdxAyDPAQCskdGKB+A+iiwon4ye75Lm2676FgbPl2PR3TbJGoJEuYLUxNXREjE4hWaxZMVpiSW/qVqj9jX+k92LmgveuPE6dXxZrmRVvMQzwIgX5TH/qNW0f8r8t0Qyb2d357zToyDXyMMx/Aj+nN+fL2Aet9zYxnMfcfUkpZ4LADkBX43kWj3Hpza2hiSotBhaM1eTr5ERffH8MKB/D3cPQy51ZpA8mJvFgK40DrRnoA7OIGpfDMwnMCHdH1bcHF+WIt8ZktsU3UWf0vdD6FBLGZAOd3eOZPs1xMVv4yoCSkxH+zuRlZwo7B4PndY95j7MnY07/KdypVZRiZEJpOWLjCeMoeDT0plwxoASSQSQvTD+6bqlFYK8pfpHRpH5dHX9Rr5t9PVCXFXaKjrQqa8LbWh51TNb4OGZkV2qatt+s6rOXDIssX9tNwQp/dfl7SJl/+2YCg6dFPmwssj/DwJ1LfnepTS8DF9Iv6r0AwxRkkRJDjeu5Sgzp6rC+/tg+OgSx9aK6vs2gaLruyWJrdUwFXtQlXgaxCZgR7PBhv7wmYoRZEp752FqwV5bltzvkQwXj3lOsUWKaRK21h3A6U9WCKN8v3rddn0vpV9JITIQ/WqT848/SA8KGX+kZWdQL0QtIM8VCLURlHt9mIs9BDDMotIu/wJRpxv5QSHF4Rk4fHUSIGFDpcySyulMMMUZoy4XednYQyFzLAaQ6HfxsPXEAdpBsjzG8iULOG0grtVdQ2M2Vln/It0n0+O0Zym7yGHUWH/84hSNeAK9RRnpgkYLXeMPi8ARy5wYLbXgB51t8BJ+avXXfvs1vj8U+Y8gR9EzQ2TpJwMACEXF0L5pfe0nwVVj0c0uj24foQtXlS5JM3nrRxn+1EqdXQ9wv3/NKIC2z9GABSzh6knQg6sh6ajT2OdWA+M3Ps7r32s0iPk3CEAacNN6b0UVgFw1U7mZF/N7QfUEAjRBWuC4VMWp1lb1bWQNunXdcXE2e9HcwymXKO8iwkINWjIqQZ9e4LqZH833eHc/rckndHRihbDBblxhYMXwdqCMF2bl+0DbqnzgZatPdpxIXOeZ4IzhbGDLP3ipqXilJk2HzYoivsyL/Ynb909a+G9QBCwWsg1iZEgIaHJkhkJBgxP4lMuY3tSsBNIUvPVrsob+WSfZSwOXgP+r2K2Gjla3UGmCjcmVd1mC+veWz6Pts5Euy93IgYVEC//XCXKXiVTs0VnUfOrdwgZ8ZbrY7G7Cqafs88p5fVHrc+lo8h6eYXAk64d9q8GGa7VXSRWwLm37USy6PeXC/UclqFpw5taX/8opTOJLx4d3m940l3FjWWlmbvMEneHfqGqyC9Yj5jovKdc2koXFgohA/3FoE8MPyjZGxJcIvIaM2zjmm2B9UpmufBbtNzCSTatRiHaITqXmP4RfFBK63EUnJPkyZn11zF8woxpN0+pyjf8kr6URkqDaHF0vHToHXEpvVHjNNToqI4ql8tSv0hkX+sc859c1kWH16G8Bng/JicyWen+wjv/Ny3HtHz63tZzWeX003AhN9hk7dvEk7UgzQxq61BFeS0qyZ4PM1Px4BSfCVICQgsQVDB94eugN3w24GpQsFvOpVDD8tXKifGy+26WOw6ZcFVZ17jc24Ljz8Mv9ozTu3nrwcZ+iRW+R/sWUsVBBw67w/UFEuLhJps3kcH8uG6D3dGhnr1aVmYxogOmgVqpK4nJJ5yLLX0/0dKLZ586fZ1pXBLaz99lK/8/XIleeEPuOoyU37p9b1n5RAz9RKHyXCxh4g6sxR2lcysNBdoCngtiKI4oPYjlw50zha0bOyqpOM2qSdW6YtfDLdzCwR6nqa8D76+xjr8RArM4g1Pvt9PZiMwqNJS0w7SsFqTzavRM1q8H+x2fywvk2A3Dd77AVp7h1u3sMdYrCDcm7Sa9NUVM6FS0jJxORm8Dkqd4+h2qDbZ88JcVrkNkf+lAZPOAiwNyzW6CQcu7tFPYXP60p1E+zwZjXqghRiVRErkdZNy8JQbI6aGpaLVIOaUrrQjQDlj2AyFabqKWgVlG/E+WcTYGBu58YCDM3hHFBOaKUsjhWfwbcng0chcza8P0cRSNedY19PRwxDoOdsEvIWqZnVx2RUdgioGnpRgPrdUSVUm7wrU8yHQCazV0YA9eeXB5iFo0/wXdNfH9sDiJCrD0ws6F73rWgW1ef2f7nFc5cQHjGgcnV6ijoIItTIrQ326Nb8jQfIIIClNRhoywU4gYroJEdWH6VFqA8ZzXkH1hUvZ9K6N6JvPkAe6OU28pitYTZzyOV67YwsBSos5uvwfZg6BuzBPAtZf7SzxVbrTD9qinPjbmJiOKOhlgJYUXH8x+Ec/xPy/zI/8+v0rieYU0uuunElEMc5iUdggcWvS2Rd7Vqklgwx2Htzv+B6JZRHKVS45QW9SSPaWa2UUevBGqAG7pq7RTchflp3HR3S3SANtl3TfNUr2xcSkO7wIryr0M5+xEJW8gtxdk6ifsVFCOFUY4kg7SJlWSJC2kXKZSKdeABz7Z4LfRoSPlponDNelqOjZc1uLbgaj7taoHhAXP/A6v9DsJu9IkoDOUPs+QqDZHe+5b6YlFEfpBEtnAqaBfBEy5GtZjYtEoFy7u9xdTzqqbln+3kW6RgBWiCWJo/cmTTd0GBwbgtCB2NaDpMugv1TDewRRE4OzMoR7jvqXSRZRod4QmGNXoO3MZCpv2nLzZ7GLURhxlgaeVihBBy4lYbT0zYvOXFt9HQvkjh90Gc+TPPPgND+LbODBcsY+el2hc2OZW80JXj7zwmepMentiKNqq2iKsLbVXOjCFcJcvQ+pSNr1+JNlBVs+iYMamVVn1Fupw6cWlt7Rdh17a6yCKdXQzaf2pToXkK5W6+vO77Qf7yFWfxZQD/UxCfiahnnTasATNxBG+Xr/7+QnLm5v2oz2ZTLT/FwSzmXy78hw3NormjHLndUnaQvxGVvd41Ase6UGAouC2o/EkCeCXy8IdAj8SK+bvMK+XyhgIHhFhWeBFA9Et1a/GbMm84UjuvOYlXbCzBGUK98miMnkgzFsWaBWxbz1ZVGA9InD3CBx4X26QqGgfB3VtjhurtXRydkiCrze6Ck4XW6fdFLfgMPhMpT92uNalw9nJLdzBC0j2Hd+sqTBTl9c6g28EIGnEcV6G8w89isC5A12gjJP8nSsgNnLYRDId6BFk5xXiOCKvNS06IXgqQgYSHGdKxOM1f3YXTdTYWvaAbgCmlVYsaLvZsoQMSeMK2EMrM0guk3OtV3AMBjilYOg6VWJ+G7ZWJ9ELbmvez4XoyVKe2A5RbSqKw9hu4MuAfJJjxjcLgxNbhft5rLiE7Y4dCxoOXiIhJU89QBSoy0EGkCU0aLiNTmWY4eZe3EECwjRQqfEPeqHpaLMG+o6rwVXyRpRyexVnjbLpj3j0fEuroy1s9IJW/eCj8DHz6vkLChoZQQzqv+2TAnN7qAypUdTr93aopxny5w/J1LBV0ibjSHkS98P3mWRehv0+cVgOAhhVCS7Asm5OBzr1mCkHVvf76YNownv2/qDg9vMicZfBrxT4m81fOyze/MF2BhRp7xoswcRIrQp/BbMvMT50geGiFOK+fBVtyaFovPrS1SMDQMDvzAYszZ0NcAlfoKML6hh5nirWdsic60GYYpbU30lvxtU0P1HJsKg6PbzfSWAjP4Nrza53fAwBrrilTcZNJGun76J9QfC1DS9+IxMJ9rNIoYOFRvqLXFiFE8xtmibZ5c7vBU/TJ5/qjndi8jgmPNCX0sWNfF4xofH8i/BAPmS5D7qPPf1i03B8+C34XEffs94oJOQxqWcAdiF3iKTxdmdukZHTHHRI/jVG2BeEt4w+nmjKE1oI67JKuAmryLEl7QlATRQmUSyIzav8keUs9SuXlvrV2wHjfyxRLknEcWT1rAsKttaHB2Pa59at8ue87aPdR2MQLSOJUjEz80wAPwJFFx1BlO882FQIzgX79UewafFL/TBoxUc+fWEzqY+8ZBUvvaE/MwPzwlyk6DAOsjPEpw+6xXBDhtPPq8EN0W05uXyV+uiQVjiZDRZ4MRC/Ez2waIX5hRiYideGbhx4hI6RGB95EPYjFtblYfe5/kk1Ci+NhTgYSLuqXJvE8uxK9xQsfq31bEtaZfFm0IhKOJTEPEMD+I2IDkkUXvidOKwmV5OSjen/tosee47d+Olge8izlLULT70N/oa80iw1oqcIe5SmeI4+/b8szkcjDnL+vfvarGgjtc/JfhEcp46qAnCK5JMv4I8N/zDnvfvKCH+PZiQEJBJVhB7VVSagfD0OmYhk6BnzxHNpv6CsrtEJdL2DjIehJXOOInVbAyY78styshcJ6ioIpDxRJ6HI2vIz7Pcyt+ttd2LNvKmFw6RH+FoTpGmSkOgByGvUfS66xfhfxsxk94+KIjMmPpjB1gxr5yYKQ/lsUvKoxxvsuHpk69icgXyDb3huktlicn5i2lPRgSuPJIL0KGQpeKSInEgBykscvZmSnwKzj5z0xQ+hkxKsxe3pcjgXqAZ4KGqYlp3Qxee2BOflxaI+5Br8rCxVyENKaguRcNm6ENMSFCcPAdOFaIk6nv+fZpNdAlFG1+JUSTCjd8adk9tQ7ZsvSrfkAEeZBSAsLYb+FGcanfP1/jw9LWAyncnAsDvfJoHxt/pHvQVD5NS4NMsrrI1001MDCcU268xXwWPgsv41uercX94Ll6ckwbWVO6IG5wGyyNBtU7rpXIAdcpp3aLSU3X/PGl2wLB8TWYo2Y0NZSZVDZYNnMj+49xDvHwxDD3WdcYQS5+2DLbXxKXnPvvZM4HXsm67E6hsQo5uuUZGHW6/PDkYqVjX9jKLbbAxI1LivfW2dnUqA2Hkbx6yOBjcfgJCpPWGWDOYgbOen4QXdDcxcYB/YDWuTvFOhhDXANK/CnozltnpZwmzcpHaDwqmvuHtxCQRsFI+ONoz32+sTWmC0HQzHcylwcs+tn3RKEFP90DWy1/hvNG3j0rEMvXDms+mc9e11cHi4uY8FnrGKyVPQlzAYf9XIULqaECtg4lW6/fO7URxy7I4ppIkXCXqRs3YXtlhtcJc3Tzm9HZw+yzTbYDztqBieEKBN7rKn2fadAkYi7U+UilYo2pzhJhgLLgG1S2uvR9JwhkulR2vaEK1SZC6io0QBCNLUNnonxg/UT/DjqeF/murTEI7V8HujwthevV5ZzZpWXz649frDqg1TJaJmxLI5WZacQp3+jTv4OQy5pVmVjWJeq0KamR1q8j811cAykRtYTzPyvSnNbgkVnLlwu8K5BzyzsnUJFU5EutqP/piywoZzydQEoLgultqjJgZ0NXQsElmaaKoauSZPsb4/e48Ojbj996MyN8m0+xBI680Hf2cIHk/9wNTqkX6H8YXUdl4cDYFYmS05mdXKQfc8rI6a+2yKLx9FGhIHiHRA9nqN5Ly4FRr3kdAnE2BmhFBio7itj3jjrWUxCFttVwmCFmhxn+W222YD7H5qAHKNxM/drQ28Fk3gZlHjnOGAuGUae9vOogaiNzzeQPzBAxexnNubF3wZHlF0hfbVpuKd5rHhhfCbtZCWgeJU2eDDG6BukxkKZ/6cslU+ErPRe8ffSgi/oETo95rHkIlfxuJWs0UJPIdpCaVKRePAf3VDiOTm+eMSFzaacyy72xJYiXAEvljKgTJjYrHiPcNm5/awyb2xWIHW8Hfndp9qlaRAOlepuaBJM89kgrvb5Y2DHUckypxG7XcsEXmRGz0u4LrqAVTU4AqvqIzF4gaTllDUU2QHnemnedameJCHMsUlLjjUNKcQoWCmllnggLETdOcOFDGzw1P16CZJU29gyGyjfc10VSo6UTY8rXB4cHeJfUVCM0O/PaTN81J5RgNHYtFGGPaV1vwNpGe5zDyPwkcmw+Hy6r6AQI2wA7PNTSyNWyJNLIrhlmCB+OHi0+6CBbSqYWnXaaiAxpwL1GGFA8b/izUhjaMjWSBbEY/1eFOmc1IV0hviJ/h52l3NZQHSpOAym6k++tUmktTzDLorBRGDctJKmqy45l2Xw0N4Bk/qzgs2j/Pe8MkxhcBm7Jjsceshe8l5f2WrUYOSNsjdqirC2qu1diHabRPJLMau6H8L7dOZpp9K/z2w26qCp/TTMmgAcQrUalC4psMRK3XAszkDfHyMoZTaQjGnWAuXmvEvoFYYgJCWCBP6DRxfqwkFvOkcBoONCNv2s0lJL7g54ka65vC1ypB342whHZBOmBDHUq4xI+CxieOx4j5T/zYEd9SBJ39bTfCUg+0VcLVK7SaCppTJOBNKY32eN4xhY3ecH+QNp9OMJ5s7qswVNhV/y5T4Mrr6rGXiZcoYMYhUNwG3n8sxzqJnNDPJ8mlcdUJi5LGFDvkUiPSczYsdMj67hJ+tJiKbumjZeVLC3dEjMN6BwAnYSJHxpYmT81yJqvGRhJEqVZUNliBcbgr80lNm7zyaOZ35SGq1DpVPQOOHme2CY+pxZw4M0lJ/69Ld/X9btN1oUsjPSOWT0ikroqfvoZPZbteVlAoBtDyGCUmVLySTx8rq2izPYLGU6XO9rt4AK05NploIEVtGHE7LBpDhWna6CE/WKwdi3ILmQNMk6IGfy0TvzmhSMnDghc6KwGmR2d/C7mwmD6cRVkkmgl+6RNyrQsKn6V9WdyLUlQaaQuEfm379OgrWlaHXCbfwwhXUj7561Om8V2NqNySP5YQ5LWpvS/t/gzrcJb4479YVZYdmSMrITgbq6XOLX8OOu/xQnCbEX1r8Fj81d8rsGnjGdT8SaDJLcbLEdwz8tMdYJ8GaXXjPvS/5dRrp8rlonzfheCGb3HfGDOCQLqeHNukE78zSe51YJ0ydbO6gdjjjzxCN+O2+RDcN4AE+ulKM7OGRdKSuRSHlhnIn3poKWpkK4ZARTt0YISRmzwDFC53x4eDr/WT/LPpzf7bo/KTE0VRB/PRXzANrIyBQr5/p8D+yPHAd/mpyMfgSDrnZy8fIhKJcaQkhR5boYKbP/nYERNSyNOfoYt3qp2EDpGVC0QH+86PcfaeFcJBxeZY8pvB00ghrHZpF4W0lYU1Y7VGg0ef49LAHXQG39fl0bQ5O7S8j4UdUHCVUO2aE9x9BqGDLwyU+jaFVu4qeMdAbRYfFyI3kFeR7Q5Td0txNj8ZuzD+2MTsMp13zqKURLt8GkcK5QV4xJ40504TwZUt6jFLa8FL5DXIlclpR3F1D7gJilcrSsNzrIhsAcxuwZRq2TDsQkIaay4ePSxpe0LDWa5Z2UoMxh0YDYfIylIge2PKB+45C5q6QOixusfTtuE/C3Ds6xnsMkPazkYD+CabhZSO/yFhD9uyCWyW9JDGuXWcVpqgsMIKNn8Gq3L9Iui07NfGGbw4Nd8rxolPQV8jJX5qr07Nyc8ji866sTUqMzq2LgUgI7Oq29b6J+tGxpahvnc6zVCWFcxCglMciqYaCNI/1qJZAjk5EF1QqKp4FvQ2xTyGmHRqnhb39YiYAkiLm9kjHNcgvyf+9OkxHLT1L7xXflJftjkymNsSXy/Lz3rj6k25yS6lGqFLVmwI/UKOqsFU5uo95gLnGX9gzOk0SAFC9kJcxDRtPtYvicTkn6OzVf7NcayN5/7YOm6lEurVKM7/4AyKbW03v2Sh7pHHJ+mPgG2jbFCUoCN0JskZ2xPgR4WcJiE34N4VyVHQt1vRdBN485VXxX1V8T5Fi9hZEavgGGZhD//UHUm8yBv6R/7uwlzcbpVdW3DUwIML8AErqHwtZIKMM1JSPSDm6UQ17hT4fOwsc8Y33Avb8+cjOOf5+M11iHYojp0yzQL93ByM9ASCsxzvP6Gq0Gxb6FEa3EUycWRGINkeFttdrL1e1HQm/ruX39aIo8416X5YZ4VZXeSgToOTLSxB5qaculj4M/+jGNnJ4esOtaOV5U1F0hn9UG/gE5wtyKP6qmETYZCs2ocCOLfa021BvY8DXZpXfYDDzq7irODKSpAb9/aBErUyXl/6dqrWWDGX8Ubcb/Lxx3HAQ3gismMHtGBE4V+mej6ojD/n/LZRTCypYY9IZMe5nSbchjm/Axs06GQ0EkvK75h0Kv+rouMvM5Senqv8CrLJJ3aE+KRSuD+prdBwnl+SGZ6uSyVy2MXXn6uVGUnqlhmK+f3RBQk3lHqbqY1M+ps4gAZpkiFY8wTz2Pikmru4HlTrwHO5aMbgcP+82ex8OTB9a//HVC3pW+OjSjdaP7KSxceHR52N9/sJ/xtIMCTvcsLrN1E3auIF6QQR26t+/NDt6XstmRS5xN8eIe68ad+A2WDQbCYBU05GMXBSM/epC/UwwX9v6YSbHu1I2vQNW0FjtHvrc5769fudR4wedSAFx6f232HpbooyqNeO/dWL3Yqz+ZG++li0MkTJ8GCHoWlEX64XbwGE0tAyUxkRYyIF3LEaViTcTvS43x6wwCKbLU0yheb2J4hSEjrXLXimDhqXDfUSq8QJjQB6lli9GLVF2ruzE9xtZh0N1Tet02MBXE5i9Kjwg+EFZeY524qP5KpGmfW/DaImoECjFr+2JKYljml1gy8d+++urIzfSn8cZGA11tyHPjOVqa9Ky7KVkNvQGSVeoy0E0VdfnK0IHMzulirz75jTQO952tWXue/QAtNlq+REIqugIAVZszAGsOKCY8Tj9zz9CrekR+Lo9Mg4PuizqruIDA5TSyIvkXeFYSpbsLRCJfgn7NzCjextM86O7EYStWdN9VPpl9T7gWJ8MjvYbyXqVJQLmLN7lza0p3divSlwfX68ZUumGsf060PqOgfA4WJFU2KHNz3p8AtnN7WOprMNPgegM9+H+jBrfL5DW4a5jvu1B+K+WomDOGWSWR7gZZ7fkr4fjTZyCl0NsyHXg9kfZyTxR/EpsMk/MmlqNU3XXE88XKkJ4xNhhZim9kDEg25IrBODlM/W9fNvZjEp5CSig6H/l5GkAaK+RkYy04waakhgcl0qhfTM3HkrPab9+UQQe8gaA68DD3It4uFB03EyIzcmOCEFticODFS2DiBF1uo6eDj4LAqfmlWThaAqiIFTD7xG5mELso8eWqTYweQ3p/lthR+lglNoPFM3aMk+L9sOsT4LMjGj5rHGu2BInWbZ6xIAsgU/9b3N+s2w+4mFuviAuzhY/3/wQBYQfDbcKX/Jnbuz4JDWaO4esUyN3tjizoUG5R5NyKJG59XF3Kc9xUFAXJiTVIlWMWmkqDQOEsMT8cuwU4tv3qshIeaTVFmFf/aHr5CxbKtKXocKiP7Pf8+cXUaQVwUvGVscN4jbmrWoy0x6o0RZXBC2zurs0fDwzaCZ5Uy3wsyPznmVol6FMdqSHj57KkQAVdtmW0YjVm2+WUwXI5noYoQyV5C2Ew0oUR2pAcfzv0aWm7RVCsll2XVI+plEKP3RYSerUJC8MPHLzaIEtvxGVGdtDFbLzWagSiVMRA69GEzcwsuz7xRxEesuvM8pfNkyg/t/w+O8orN4987Z/N5ZYOvrISmcwcYezl2LgUhrZOnjcLI1T2UPrt8DXW5Lzok+5rZusiRxDcVVq6YHyjKpT8qPKp4rFNxk42w71FHgm3tifktBIOWRJq+vGG3kDSm3rhWt2CbhUFyExwZcxJho7Fc5mlJoRZfusjAVnLRanVUyrWlX+qF7PYh+aZHOu5ZgAM6XTORuOYFcIr/psfLApk6XxZem7wkinpcl5LD/L0cp3RFvN4wDiD7SrObWCv0JUyIUCSDUyXgaLbAnLjcRq6RefmhGs8mHHVZ0exdZAvrjA2IbRusaJIdamAC7hfMUndCJ74t79u7qlaL2M0tvcQ4dgM3xrPxD4Z7JxL6GqJ/sKX5BdaEbGL07IMlnehlTAWlodzCzeW6gavgTy94s3O2atsEVjc8d+Hpxvl08zFw+7cBFBlIWeGN1YWM1NZOFPbQ8H5iUVnL09v3xmS6oRf85gMMUfsqh31ex2PRx8tV+1LQFzY0kSWmh2mbR96/4wH3YhKInQW+qYOTzfjCXOaSCa+XQrkBoRW5Df6Pjku0QlsA0nvGw87Jre31cIfqVVDpN87kSURA0NSOGZbZHlXYzAveFKDZqC/nmCkz9fW34t+Um5QIZW5EEkdDJW0upS2NEPZbqFufaKY5mODcFI/YvNDDBYSBzrq5LVH8HA/2hu8wB+1rZwkDNenqDi5TsGkHZ53sBZsjtLAcaNh257uMX+PX0PS6fNOAmyTrCn5ghEw8e6iO+TjzrflB03Cf6zPBnAqb44vx2ERV9Z5KfvQLG401tEkb3ums9c91VsVv8bSY/NA+1q5jDGseGT0nCGh1QXAv62bs2jP9iPXzAubP6YvbACVorFtNAEofk6Z9DtQLK+y+exaD87F4WQZVdWyWRLIe96O1nCng1gMM1eWqTHIE2rGLzcsJQ/sIYdlnVGOJgZsE5UQzZrbtgrW5WLSUMOSNg1ci9/Rz5nIz/szgqaUcJlgb9jE9bN0NiX+n+fEW7MS0RhUQzE+8vISVA9+17tScB91GjW+VwGLrMBck0T0EIx+d+xLbbUqHqcGGwRp936DOnNizW2hVZc5FTUfVOB9MrPMc/ZXwpjPC/iJMErlImGfHeAT+77gq8ToOsvyRgV3tWdmJSX4NH2uAbwH/qi0k27Sdf8oHcx6oQxM4UVkNHELTn9CfK9YrR4CPWpUHSOvcpM8/qzgCaasNqTvVaoaide5dnj7l8fYwkwGDhuRRqDjECNdQQnJxRl9kS85lhaZbkLFOcnMA1d408FNyPtoBVcVYGyvuLQZjmsoIX4zWMARv/Fq2Cjs0UUiUyz+p50zMG7DLV0HgxlD1uUe+FlXWppKfLAwW6w4ujV6FBtz20Wd10vTpCkVW3Bud0PipmbtC8aV3uZEtxpaw3JiVrlLAMOCgdXLL9niLs3xmEaTBU+HnqLUsozBGduQzolyEz1MJB67MPuu+q07cZSMNdUrrAcNYmLIt+dGnB45E4gc/4D0yrgSLJv+vNxbKIQ+AREVSNaasVmeSjSQQF/qDaNQ3U397FHz3ZjVNExNDKT6FNXzeHOagCjOFU6mSXpZe7YMzqGmtDZUDj/w1kqC4RbAIG505d26z1wZXFjbESRp5OFsOtitDCKCwkXxOvKr+vlsy5FBOb+276j4cVsFhyNNxlFdK+VX0BMJKY7rUyaxmuGmYzI8Q4ZVP7beV0dHusZ3d8n/IheUN2JBlYm2BNSV8bKP8R29mssyXS2Ei+OA7IswJm5mlpqNYqpfAEq0hMHzA6eWZJr6Tv7wnGOCBh1fS2mNAYHW3EBqsDuKLR7rYZXwKVG21mKchzU4zsAgcP8J+M534LleVDRoml7bKh6UUxoAQ5uYWfYgaB9lZjDBNVSOuK8a9w3gSxIKLElA8GnuvekgwLuaeDVq09Ycw/gEpBbJu7K6Fc6LOAsQ5jhJn+8uOU9gCW5b9jnbAPH9+kegR39xvF8Mp3PU3g/ZF9jsV9bWgoML8kzh8+L3iDUdWoJJK5ZkRyMr0ciuBJ0eNpbDGNF5KcKDmuEYHiX5PyxTQgOA2/DyVwi5uLLmRc7h4yHjPSvnBWXis5SxQMreBSpfucNyYL/qLLvvH6ij2ZeodyhRO6NVbealDOWWXZfCVPx0IpiJJgYKSdt13Hv/UQu67QlasrURMDc0TqMpiqIxaitpT2ltkTZF402DrxkNITRA+8ICIx0WfzePiS8EELbK97SueddEdD2X11wzbQsj3ZamiE0gs7/TITfXja85RBzwcpbbQgpEw+LN6nlbHDsxs8p+vRfJk8FDVLC8mYQLkjDgQoB5zTfFwbWlBNnxU2HbX2A51maALG7yAhb7fJ8RN+HD68qZoxr9ESEhlbPDqSjyK3+H20HxSfRs2IVSVQWP7TinUW2I8/TBbB8gB848DDo3a/YKnChUDXdaE6ZDRrlZ3PkwRkBo0oqw4M7mRT/E/V2AIjHfHyXb7jYo1EiP8hSilCClahtaSPJ2iITdLfcBgwT1LppGzTUwQr6GSGYRYho6/rlhSZOunEOr41G5s9ngLe81CdakkPsD8DScbDvUAr2fgJqHMIQL6L4aqzZqD77DAUxs1PRj90g2FnK/GRKxr87g0CDb0kBwa00o+Hq920wwX3F7L1DYJdHf+8m/I/kYjWjHbtaLpsrg+zyNXGarp5eIwBcUyxtf8bXtJv3MGaTWCrMFglNi70zawTqi/3chlbvchZ767UzgIa/NlPoyQqcCB7wi2d6FPwewic0ObNYTF29jvf1pYdG0G59jy73T03cJKWvLOXZ4mi+roLv964FLfHegTbPn1BcAYqKCRtWBrkFO9JkubTufBBV7veJC5dgIoT4pRkv8IurWzYYYF9DbvXMIYNhVFaR8SIh4aYWpnFJyppywhoxIRqc0T+Jz+CPmAkTG0jU/XenZaJ2rVROU1MPxdb+DPfUnZkEXr+2bru5NH2VjHgH8foFr9b2fn39/T1gPmrm+YNY/yf4pX8E2sSc5yu2knJVHpw/aiO0sEjLgS8BiLquAapt2OoHQIIpV56vZqkfaYF3WUjmMPdylczzjdBYShXoYE5fjsTNiHQ3FCe/YEXHDn5pCtmKB3HqiT3u8ZBB4dt2UqZkUwEWpQdPlWRyGk2xPS3ecwAI2AkdDUYR5v8eQBAY6Kk/MjDUilTsSW+jU8XBOfo0BR0oHQnzjiBFnPxVXOcdT3mEOu1brh3uft9NNorxmWXP4OOL2LCjmUxz7k9H+dUKxguI0SOZG1i5LXw7QGEvzq8VvHKvJQY1vSXoPVZVGi0nM1/B0V9zfbjDQk0N7EvTOnlPgByxL4WxTJrP8PsJq/LlTiFSC4VqK77Y/kpVsare1uc6O5C/v7HGdewTyg7qa5YQGjpdTkUC6Jvdd7ARgVU75L38nfzTqkga21URsCwQ7j+Bt/wWa2WWd42FJtB1x5V1Gvyg8fK9Fgc8SRX3qgd4EbvFPsyOiLrY68K6JKfyvKROe5N1iT7kPYFPvGTo0I1KOVMzenx67d4FAGRDhDRbQ1OVOKFyP52+RJ8V3GGGYOlofkq22qBaN6ISLs0MTFYPhhx5QZoC1ls/VnL24F/tkDbFq4WqrlEbN+sjFJhUUY/lBKzjiT+dmvEnkbfBzxSCxw2sqKP6x13u4631F1NfSXO8v/oRt/u9OlyCvfoJH91nNZO670VIX447WL8Fe8/2l9TrPQlxa23A5wPjU7YfTw85WZTsCuvwNwTOeOFeFkbYVE33T5YyPmlMByk3RKRNTk9OLsbHuy9S6rWc6587ffV206paiU/rTCwuysVPmctMbGzVfpx2kleqz3Fi+NxF7e6vPf4PEEmieAjJOrO/YvVi87VYmehrq2UKAFcOF2uW9XSjXs5ydeJ56sgpuwxYlnxMW9iI/38pRsKBmA5CdUgeThs4RQahpC4s7D93MG3lZhYv0S1GYBhsjO0P9X5UbGRHdbvcUJ+nQSEIzkCGMGDCr67Vrxec+hMBXr0taJJsoB6P2cTV8oQuHe+kDiMmUYHoUvcm6hZCYjcwNaIkrqfvllFDyq4SdEVnbrnJlSkbAOta5h4mrbiXVYUE09moiqvdpkPUI6iG457Gf2SQhtiZRZHsApuUmUsq4fk+L884qVyVPEDs3BixqOEg5hVki7G6sSDuncLmQHQK97bqhVgymqKoaiRVR+IPUh9fILPsK/WO3WnG2hoo9UZGjjF9M02XD2W5+0dFN37aOK9B7gMLz4uZLQ/SbcL8VuFh8hnOfXpl/6n0TMsnGByBmTzlU094oi8wbCFsR6Cdkm4cNB8byHtTij5sJ81K0LKD89ojJywcAv6tjewFlMiSrJYB5SBSvD6YpRpsJNJN/bSNoGgScD1keo9QnBU1COaLTllIyjNhECEF+axy7PGT5j/+dG8VXRH4dE4JIPq6rXXw0QZRWR/m3zIhSlXIqym2ahzgLcydJTjeiVXOdrtOWyWMVF2XpCNifO9pBA+GPUdB0YaFGMA2V9veo+400ux8Xch3uUXGwJQk70RmHylqUaKTLXsjReAA8W65vLeyg2gFzey0bzWhceu4+gJ0IvD2xD1TXp57vqVcwVrjOg+YkUElUIK1us3U+CvJz8oVcbL2JdVBt4A5GuCxL3PFpCRtLASeefvT2/hu/Oq9vXeVDkMgrjGYown9KDvPo66OaNgh5MB7YIKdqHszqunyYueubFbVlyryHGyGwrf6BwmWhIV3X+9PROAjx4VIT4w8FNP4onFfy+3J8tNFOtFvu6X4yJWDiRUnq2RwWalcC4vtWiFoeTHEl91ZjtSci4z3tOCxTI8a4wLwzNqXzA8Yal3kiZsXlhIbrzW+6r5hJuVtp55AdihhTA2Gv38TI9tV4ThyO7HOlEBHFtDwQSiYNiVRpXC3PxHi3dODUl8TKN3+Vdg6W/2TrOClgBhWhIQ1mKFnqzYAm3pettknT+yEv0JGPGr6qyKv7AgTLA9lZAHAYvs6zWygDVDbOMSo86eQnjL2kjT5HjfJ+IL005FIFOU41XazEENoSbro6AqkpaltLzya+pWCXqrpMqy7s9vz0dpjMDwUcaCuStUQDUqK/40MwHpoHeltWeaysTVbAk5gm+xYkTxawlGaActZRHJvqQca35mZSIMIHH8s2FgA1h+Lv7qTpBk9Fzcmhv5zOgxzBpMMiGNNtWpaXOhLAoyTKT02k+6Nv+mmEtrYPAMUaH15kYcZ2KebzDd8b2LGrDwvKxXABffX5j2TKlc4i9QY5nYOVYXHe0eebaBfgpYB2u6RAVZI1GIT3osgpMBwzdM5TCQLjpSwnULx3hfL0uwR/Rgx+kYQiOg77KrKcx2aRWXs0d4jTKnx1CypJlCOZ3hZ7h1V3x7S5zW2teW7r3z63IqT/VNlrT99sCYqElA0lKEe5PLX3xqAYFnfavpYs1LjF9Z4PnJCtf9RDYeXLgRIExCQUkRE+6oJU2Ut4fvh/ONRSmQvPPTNOhIuQU5LiGs5E7pK/f4RVhQxDbzGKp7596FTAaJL/oVm6BOy0EngndDmgiwOJXKD5pfhmtN/mQ9tjUZ1pcALx6Q3tseEz+h6JxlMfJzSAotK7kjRqr6W4FtdDF5EhLg1MnKt13oB5l+d2BYEx0wYoCUAlreWUeLCz4BBsU/+cWKbdKNaWgr6LS9x9+ZQSModxmcBAN4QmXCXo6cY3Qreu8KIKKwlPaEXX6DZq4CEJaHENozzk367KpDrn7oKbeN/hRyIkibQh88UrL1KIPQW9rv2dke095fBYej+3vFI0PM7xLbeIFYx7GSYjUQ0lxSd9xgEjxQiLeC5YR9ot18yLymuu42KILlS4p811FSlZsE/xA+V1oltdS0e/VSQfVPImLHfnDuJ9DxL4AK0utrY7k1iCCIeBoSGRFeiNXiOJ3PQnhrOXMmc7PJJ0RkeC/D80oZJcp1x0AVM8OcFw5wR3DQ4hh+14NsTvpWW1LemyHTIZWKXH/dF327azPHQNfW8tPyFNpgsf5H8VyVTzJCpLSF6wcjSxQDKEfZiZJEkTqVNJz2+JvKlmMdNRunsKuKVgJ9dyhgMsquiJ0u+8h6TgzLTB95NbclCgWA2KG43Y7EG/ktNwbhZmxRlpsY4emoiYL3rCrldBr5FffZ3itOugnvEBTr49mJeyWjl9Vum1MP6PdLGuuAF6aHhxWsOnqoc+JfacA6/59YiSadSVhuQVZD3DCIaN65kMqB6yPvjQFzo7s5YHhkrdYTtTDP85raiPalCmyefbI5fdB0FS5u48bNWwavuFVArSj/qKrpnv/uDMVl6RtMFWeUi4FfTqCHry8QKx/4tiT3nS6LkuEeY9hDIbLnLceBj45QQx1x6lAJmWhwi31UcT/38my94DOEod9vRpOO3+TmR/cQJ+SZ+JOgfjJbg8r7SmxQYRRpe8Qcy2tauHNpUGQS8rtmnHz/InY+UHGcCb3cQvShJT/edMExa3MEqYoXl63ptb6HSQXjgNrA7LRdMTLAMnPYUxaafrZXxJ4rFUID9AyuODUFaL8FWAkHdGuEt5xHFbdcAZLiDp1/KTWj3w6XexQ8NOds/VDG5qaORgYzhG3TLB+lYX53dAh02eQS5BYRu74MbFFjTNCeM/zuW/vpN0xtOHJmUbAOhLKO5QSPPLf2+UFA406aprWJANh0e/lTjk9TsdxKIOghfLqqU4X/JmKrDbW35W0YhkDgZdKNhOe90a5BXmEldhiAoOLkY63HuZ1vIQYyD+Ttcca/lel+UimLjkqVyH05TkmMjhrmwT1J3f70hgSDGHlvpxNZkIsLNHdO/KgPJnCLqvgKDBpgzk0KcwzGOEWogc4uWpZ6fZqazF/A8o5dBJC2dFrRws7a6dmXt2yaTX3DeaQDgzvPDCwdxi7KYx9+JWSIOvo9nFwJYy+CbkI7XMxxoKa7C28T3ockmXH5GltwjLmS2eXeLkMKA8Zifd6/1nwWNBL9wBWsOxX9hHrQjB8GESE4wi29LI0yMXLgJnJrXqCulpdmqctH6qZJ2+XdziwHHjwxHHcwKPSeJRZMJLbwwlEy35AkLXF1Gj/CYoIBwkcflG7MXew5sUn45nV5v1DIRK7519dzaQHDDVaKvt8oO6Y2PA7NBWB1n/r/Z5NjEZZn4fkUgJ2AeERjIiYuEOga4KB5Y7bhOv0tIJ+coQBGTC+yr91XMAdjflGoULSuNuk6qbdPQqgm1my1Ir7FX0gZKcjXCvaOYlOH5JyBVEn1/bGFnGFpAxd9Mdh19QVVTAMtdiiP8RsGo/LDPATBftJhm59WOu/P/FwFwRzYMltQmp8ppEnvzXZWje9evEWMMfsteFHftQhSRGqvnqUfqGLI0NV++mxEN1oaXyKnVc/r2vI/7sxSOfd7S7iLOJbAjW17a3gHonCBMr/gLTwc10GsnkW6f1EPmNpEEv7UT2jLk13CFYPHAc2mYG6wsFW5n8EpCRTlTFWp726teIjW2LmnnbGHM4ymeB3OPNfOWX40voXpL/amw53ayUgdRPpVrt5F4WeTlX9V+biFtY1UgaQ+KWCDbza8cL/7Z4K68edy0vhiFuAqvj4TZHmYTHSLRWV+aaPlrR+mNRmixKzYd+mgW6ryM52F7brBwqG36hh7F/eW6oNL/Z3VOtnnclzUu0vPReKT/mLjfCHTLtG8KbFUH3lsuP8tYKbz2cPjLgEsyeS82dYvQ+lKKKjKFAz5vI/7AdYO80Boo8ZQI3oWl1NdGqu3UB53zDGtUbMLgPhcVoEpvYJHPJZYSoLN77chbXqIZTUbdAT/fKxv/QeFtmAdPAU8Z4qmQet6gwTvgbIF3/qHfa63yIHS/nbn7TnW0URowxmn4tZQGCsKRn6zlpS/D565fAJBEj2MdEu6tpdYT+zgjvpq0IIPYFAPmoyRzHHbQNKqPBySZ09yM0WfHNWQ8OyX6e8lFjdf8ImKBeXdmGk51yB9tw+B6eYXwdBPHzdI1Irs5jAgapsLNvNMn0ckWABhjxsUF2TVVtv1N/EYzOg1vBceA2g0BR1Ms42wy2z9CLD+NAIeKnuED2NkfTStUUVqLdQ5TSn1Foy1FRDBlSDdy7a12qE6H8J/Ke7qy+el2jtXURWRk40SntV7Eo6S4ivI//G/TnZygL/w+0qpCGKhYlXl9kEhr3G/SUvD4otXpw6N/svD+O6OZprsGmsJJNe9jRNRAYEaf+R6Exn8+or+NNkiNyIk8f9Fq+dB0rKRVkw1JgaMrHL+JDlBMtx2RJZJOMNcMslHjiRaedBkJq0iDgfaiIdhL3LQUObSc4rctpekziuPpf6wKY7RQwWf3Pms8A1Ts6GpHejtx4Avsgfrg9HobPAoI+ttDeahHi+dHapS+k1REK95aXEos4CJ8lPTYgCYHLQ+vD2idCxnAuZKKoFmCk+BdWrUml0FFZM7/8yC0lkt9d/o9fkNli0yYa2+m6n3F5DJKB5QwW2KklY6dyJM0FPH1HBY5fFOTOuKRLxWaSH8/ZevXxeoBTdV1eYAovbb9/7pMHwTk94/HaA7KXFShGwyrpFE5/iL1A4jNLXEBgElzDBG11QZvC4f2vtZJZiGslqDMAkp3FnNL6nGtj/czmngxR7TSkkQ5thUTrWLLgFiwp/Vp5eoaG24K3LF6eiF/pnJG/sdSujVa0Cf/bJI6VIxQ2Au1egRUabFTXSwFtgLncP+y1ZoWERq2dHPeHoKPAbAm2APRR9FuDsdXb7RLlL9ail6wwSkxom1O1JPXV0HEw13KvY/yXDYqP8SLW1BrQhOcdsci9fiYMuBgt64OSe24JpqW26ViCUcf7KEvsLnwooXgRuUdeCI+KrJi/qV85K/bpKCB6RdhnsF3+oZuYNxfHgNFmZjKK/CQtwVV+6XK43hKhf85fisP85g90oi3oK5MBQ2QfFFrO/hnrKNDHNS5H1BMFr7VSNlh/1c3sPlF/BZxNJHAZrmvccvTS8Yq4r8IZ/BCUjclQh1aRfg4OhF8AYQVUdxrDH3eDeFBu6MRIEm1KKarY/xUoq56UE8xE+TDQ89Mac9A+SYz66wLuQpXW1C9xvBOEne/4arpRQaSo5nxf+3cbnftwtTQBaQfFyg3ei5q5QkJtjGi6/h6Px/8Zmt2DmT5tMLxFcTV8dvyAXV/U931th12kRo9oCrIi6kWVsh5j9484YhHBsF7H1A4K2tbnP2Fx35+TvpdnUMjSTCuSn+J0hL2mDSvb0OwVvAEv6UUxzmcUqKRWvB3depboS/JckHwL2wAzy0PnH59eBwdsk//mIwI8J5vdslr/16OdhNjknyrhPGdwbo5S2pcQwPQYjyItacycGF+CuuZQSw/oF46HpVTlYMz4zmI8dBU91y51c9n4reI+YtryNSA2T64jhsVeI3JiHAR7cxJjVYeDkb5KWQZlNZ1WAMUPj59pw1itU4RxXz1knw/uDf8TXndS7T29KmgGuFiygy0ouhx66iOF+LVKtPEXcmMrYuw+c3I4JQBZI2JETBUDipG64Umba9i5cCaMSevSQBciCZyo9l4i2rFil7pAJkoIXIrwEOcV5x3nkN/RfVfXhZqZhDNECkjSOuDEkDMraUuKjQbJoR9uvXzvqQV9TT0zMiCJoDnkM1vyuSzZLJYjIIct/nc0teDovjTM5st6LavbqLz+s6wg15snsQtPJu1RKRZ9XmhDwOL2Wq+mLb6lzTOFYSY1CPhdhTneLtHvDWbYoHX7/2N5nqxUo7A8TcWU0smJY3ukccVarMj5hV2TZ4e5W8AAAd8Nr7MSJzYtiGUgh0D2F2zSVVZsugfhSWafmOr/CHZMj+7azoDA/lrlIQCb72SXanp+u/sHTvUJKmUouH3w1ICfz7hOJisA8aM+9NT8iiimdUbX5YbLmVfYYtCKvzAeteLcI83jUphO9yAOjDLvXj7qWXWv7RwYa/U04Vb3oyRQyUtsRQ2ZEfWjIkGD1c+nzs7jIOrTS7jbVwETuu4Q7FKXAk60OgQWVPt0Xu54+sQqCY3iwvrR/rFX2IhpRhI1XkcZ/j85a+3z0aAM0dLqfc6R+hoZFia1v9eWClSfQEVIS69dHWT62DcWPgDa4dPrbg9vycYBRCX5UXfs7K+DJjc38p/0nRM1NPzy8RsAczmgK19F7t9GEdMuwZ5+EjJjryhloUcNAa1TJqnA4jspbhPgBOB60yh+ou1GnSVfTtdFuQdfA/NMBvjLlj6z0hc54z1lGIKVFNwzW2ZxXd6aM5xJ+DF9xJV76+w3t7bKW5vVLNLHsFRxeiNOTTmkMwY1IJna0RW7CTubxo+uXQPXgtXvXvCF9ZoIRn4uBO2kO4dnkLoAziIlgX75GdyBw7ghYoa121j+VDIn43PXPicgTAsVOQ0woRg108fh+DMIKG1eALnop+v4aUbknnpcK7CFh6e//8LAcNkSrRqnds6TBnD1ZWfK0479gH8JWNZukWeeFYdICTM7bx+A8TznLKWcUyKAxQXviO/XoHjxmaiF3a/84Nging/NBSYd4+pX64X5fVT5rhrAJtRglFowU9UJrfP4ZIknx9HVB2bqyxoge7k/+O/h2h7zFpCITdgRFy6K5vAvx7f8Z5Jx09abuBAV+RyAsKP2U3ZVUUUuWLxPr7TR/KHEoGWkNpXETm+B+TuxcyxnCfjhfh7FpxVGUMe6ccYexHKzkG4UlRmKo0m5HH18rQT/Wo2VkEFctRjvODvV+xuNQdk8rjkSpoYKTWfe8VYuS8XerEeumCJdcA7bUXkczntuGdZ7sS4PPUYM9uzwsME/dn4Vf2e3/dPlaIl8U8Qw1PFfyghWL03sooEeYhocudf8i3+DZbJ8WfpZpD8UxmOWarpb3gt1/Bbzptqk481WUVyEAf+c7o5HGvOzKgxQ3myTuGp2lFqkw3CNGPj/LNu/xmO/C7ysiMivC4AhZQKnJy/hmtC9GeHNGhQPHYgbnHPDOMEaufBTX87XinJSmrpDbFLyXUouszqyz32M/VcXLX2mEutESN2Zm9KC9FEOSu0TH1j6wdeju2OPacZaDWaD9MENpU3su7Fa6gxLaxMiZJKndzQaaIe1GnFz282XM28AHfH/6tCMBxV2Dx4U6DcVBtk0KYwLDnczP7V9Gv/gj2fpUMRQ3oatsoE7vv8PeT+t6OOJy9CDWMpt/P5N5ABcpuU3zlISdcBq6TMbqjvNXeLBbVScJApbCq3BSBft6pNnYpJvu7yWS6DR0I1Q0YkKGqQPOSY4rfHn/+N0XoGWlUJ46HL17Ko459PdhD1w7EY/dmdLX1cV7BnEoB3D7/Ad2YdlnSa4qhnQmVTmsyl7um6h7lL5UhyPbSB7Osa+Xn+Zw++wqrB1qFZICSEu/CqRaOuSzBukdyJdaBj0/jr9gkLagCKCLDAh4oxTch3JwXNF3NcqYaSmYpwowKDFNJXA/JUReFvvEaqIwCl2NoFSrRDK4rNtJsSJWGCiYNbVINquRJiOvDMPggmCXtiW0lGuGN3tPQTpmrPhc2BrTvqnFFoTeJ7Xna2sTtbKe4NhSq2omkf+Zb6OfmEg1vw1OGXxJj4bRSdmOm94xWSwLBGtIiCN7Z8bhS3z7nICf1KM9SZgwN68PcRuQP0bLa+PbWTSZoMmngYxTI9XApxF8z3x8mC8KLo3OaHG16sVNtKo3QSjiac4sFRNEYFy6DGAIMqi3ZbZKwAAASLd4/kfwXBjDWU9TrruDD/lV+nE5XVR8R04CKUxGY38c5kChC9C+/6Tk7oZLLY9SC6cUoaccxPOK+RMdnwVGwPB7HsUCCpvMEoGb4m/ZRl3Pb7W1CYDG28Cx8XHCM1oISY47KJuTRsjhcIIXCdjGCWt8SMn5oTplmsPJu5uTJxqm+1nx5JIOIP+CSgQYQlQVmH/b+951Lq/28sm+9nT8fJ1WZTtXaVve5Q1xZYQp3mJ2g7hz5e7w0ctMBGd/lcSvDra5re9xDyeQenlvdG86Bcgdbr8O6hLwLJrtqjg4EgPpfEXr368S18AAKlkSSCX+LPbpjj4ty7b0oUjCDNNOHfpZEFN19zyLbD2Op1kq9GTdodt9wtGTnwGO8wlX+s56x6sjLjws1reojNto4/spTxuk1LAsRNiZdk8HMfUz+BFkuaZNSDi/WivaQCzB16Rw/5s/8ob4BFe5Pa7FTAvNaSxZ+sObuQr3KgG8WJ3Kt3RN8GkdvhkePX1lDBhYVasuVdp04wW6H0Uwy/crN+/N5aisAxK//qgVFoHrrxZLtEo1t3g5yA5McK6R8Y0mM3dCR/vbYV3jGwOgAgZhzUt7nPJZNBIRgaF6z2oQ0cqgVSnHhAuqK7000rlQVVjX6JqQyR4llqYd+knM7F12CKcLBz8om+KMCqSrqVwlF9o07jYoxdLPq9Z1ZQuCXitb10J2n/zbKmLVaLTE9HmqYS7m5Hu/UI/i9pFeNujd0V42JegKJNW/NTrfiOMypzxuYNSy6Zn2ovknT5UV+5+YvJswFnN//7xzyX8mzvovogiQzjpEbF9y2sFI3qJ/ZJxYZKUSRe2HxtGllOp8l+UvKy0CSBpU5L/G6kUdw89aaY6h9QwRGNj9VII4fZ6gLyWB8kwcS3QEPH+usRaDR5oVwn8jw73DN0R06k4PLTmdckXrZUdDisPxrsse+xdCEIE7LHD0DCk/fAleW5q56PHc/M0Uwow+DYZub/mERHdUHEDPCI8cfi6BhsR7K/BahQ7R8e2VCojVL8wtZsmeBYKyVSsRI32CsGERucCoKiuzCBTHkDEJwFLRe7nQK+ieQ+VFG/OKOT8V8ahS9bx2Sd8KXTDyFLqQo1g7dbZ7DoiCAZ3GnXtJ0V3Glc2pSg5W2MrqabDLdXjOx+HSJdzvD13vfL53PUPw0PdhQv0Ds8ycwOH4SUVr7K178Uw+KFWSFEtp2/6dC16ocrimxGNthX5LuhnLeTE/nNNWaBSxg06kC7+BC1TDrGl2Z6ENX7Z6567VanRMl0yfC6MhOGhrPLusbvcziTET2MDsnQ7N3C4Pb6a9MB9n67qsO5v8dyyT+P74MUpScSQQC8evLlF7/joHNuQm4eNeG41i5tRwcchzOf3xDEy18KkGw6XEEaP8dueo1mYIbeelaVZ55b5gXww7oliol7WEVYZEsqfkBhrH7GLWTHFlLzrKYvHcJgBk7xuqrg42Ry3rJAGGk/Kw41DnThP+hWHkBaCZ9FHBh6mnt2Z8q+F+tOi2r2nGLX6Ajwfwje8VuZVMoui5gEHsSVwJGFcG9JzAjMfMZVFEufTzA3F7NJpz3mXcpVa0CXcfpndTQ06LYS1fvC2FLnswxjHWUQcGjAJoHiwAnvbJKyQvdL3kEle1B96oQBiLmviQRMEh61eza3/TDAA4FLSHsf21fvvUxXjFeVzfrBz+poeCLUtBtAUOmWtyp/E1mceYPz+mllnYi5lOFHNcRcAVjnNvAXu1duabp6KAGNmHz5QvfXoQjwGW0orZnaW1KFWb8oOasxtoCXtsinnWfMYaS/Hpw2EnPWa7XQx2jt3VcWlRYf/RIZ7E0t0LLSIsOyJDUJKjeO7OTx9kXfIDQoizZ/5w094XR3zVHkklUOZjwVXEyuSRi79PcwwKIRoHXA5aiO9HicObHpvQ6OxujRLkkcDKi2AmexaoXz0ty2bodlPjxaGE1HEXxu9Ujsb5uDpG3z80yMP6SrxMMZiPOVKWUVlLIeBzcfCizs2dt7YaZYMtgb7CBwDIH7R70TLUlgAatAuRq/jqjHzxOq3YI5ABgHcrtbvcVklUE/59f7NFEUnEFRkgfnw02GadqUt8i8K/e8/E5rb5N6lYi8RTiiscVP05Wbca6BvKo5HGR61K0vR0mD5RakjsL9g9vQAT8yMRfnOKjZHaVueSKV/FZ7BABrkaplBggKlnzGgJN0bx2X3bh70fyg1k5NDjRtVy9u53WBRJdmwpuxMjcgYCPLWQanw9WNgImnbtd5rjWyhikaMTdjmpBu6kk60L77DAtjOyNALHo28dJt5zP8oklVZBLr4ILAw3Y7t2dGc4k4oUopJPf7CTElXFOD2wzt8RAT3b+VqodycWVlmq4xw0lQekdlXID7Q+MAj49X1kDCezS5ZX2Kx3NDhIRjgOADwOGzdESxaY0MzH2ol1a3jnoyY4R1gS1lJhb21+X+HNNLRMUBb/Vrp9zwcG1mWi14DBjz9NdTent0fLxQM6E3qzofdlcx8Wqlb07EMwVyzKeUk9wmJKBjDQvNEMT1yMkUy/StDPFfSE0HBXS2OSw1Iw/OOm3IQyyLAoy8XcmX7VJhKXP3iiD4FVXg4svDlWzs7qxopmubafLns7I1sFHLf5qmCZaXUgF/5POXzsSj9TrST9FEx6QuHosiPFyyv3/PgKhOZyx++YH6XmlBbDDOC+8FQC2x+3Nuq9y/pnCIoJ7vec5bzJtrj8m10fEP28Sd9TM09lLvU9xNPVb4H7OAxg4+ys5mQ7Lz0YIWnxNjun1TMO12KGe387ZA1XWNdl6jdS5nOfViECJ7eDc2BB5C6Qh35CSTSdiRz6KabefQcRos4wQZ3SsDMhEc66Jh+jt8rcxssJCM1JvUlBiNZUwVPltVYInCP2Fxj/E6jW4sdygR5cYTRBv5AinSMtActsf9FjlkmnC7gma7wnzEw0WtdXYSp9kwExYoRrSY5Q13OrvhWUKZYeRT7Kv+qF239kR9iBAku2MKAzrUlPDqJxXO+oXf53mVRPVXGScjRvbfBGO279X7ID8iLbKvbea4H4N7UkZuv/kR8IjRdIj/xLtA+lvx1Dfdf8S3RgUsELqJlKMPjvv0/MWgGi6iLr5dSSBty7lOZbtALN9YNG1P6bTKqFUVksnIZAttU+7CW+MsqPXl3CWFMUW8RAcMsI20E8SnkV8rGUksHdZqdfxYwoj4t3XJ/+TnXcGRW6AOuoTT27IuW4r4HlEFUrpIN3Z5+TOReyRwR3r//MT+U6OYbtH1e99UNU/bBH0o0KvlOl87n6nFJvt8ujByd3ggxLsd54ws2xrmWJ5XgAUuyHeYdDQ+sVnXCIDpbWw3NkZl0QTY0d16Vao5gn7RIuYyXce+o963F+ROCv9isFncrVHV4mDN+KCOUxrA8aa+ls4V6hMmI2GfrbAGsg/2YlWz0PAHzEmPzUAZGoGtMLi2KqURMnthe3NI0CIaM0o58SMWp7AJFQVPAA0yHhWM7dEBkQKTESSjdD4QqDuW3igZMmvq2gr21wcUEo2yvsQUPJu5XiP4mxiz0K/PLOPd9rm9qWv4jBninmC7NQXtEu6ybLv7jTzYewvFl6ZCjursj9wEx5bJEFhQNwiumjyMMnHe919E9wsmmxcf4IST+QTk+HrnjRE6BAcT9o08V6a0DEQ4MSv6d6ogedXtQInALt2MS/p8Eehr6aBaizubRznGHsidNQNTrQVqTZ7mX5w8ofCxAkLatR9kyCB1Ow34ujM5hWon0DHVVZX9XVTqAO0VxPw4db7pUvk0mhcy82OBae3PckRFgTo/Bfgq5MmzZTOP0R7hSFPbTOgh+gS+e/6yYMwvGzbxwuK49vmkgR9/oe+nPg+b3Z5y80thULZ3hiZ7xMU9ju8hQsXDZyHu4YG/CArT5zVv4OrJ1Kjwr08aYkALW7FlgZheQ1z7JQ5CxPQ2XeMcL1rGPFGeAqfGkiUVpqtKVmCP5U1U9mmj80a00aY7GaFVLFUhW4wflykQNW4vuVeHusnp3OWXvUFrMUFbZ2ls+Hwhf+cwS1TkSj9V83f86+or8t7ilMf2Epcs483GlagyiNnUjUaSsFLrmLqiZ5969AzHhUieVZgVPS7tG0RstMTVWJfMy+CEosTwj7SffaYsdWvKNJV4kxz5MlKhICAX2iCrRRWK7pG9DHAlEDNUVr4NL1KiColS2RXoZAA4TulHIx0XC8cxI3OTALwilQJVlLrTnyQcfVlRQ3EiUp5UqS1uk8QmLJQA9m7l1mZ3JbZ+C1nkRipGYQUp9C+ECaGwjamakYXff9x4hx9obyY4Lwbl+D0ZBoj+vXVU/FmZwcyGLo6211yShNIDjI/Pb5mPYH+u+XRNnrFObYmn9tFoT6u9xAaUEQdPrzqxIRO6FQY2Se3yK2mnzcBvVsQbmK2aoapEdl/MkLTd51kVmVBwvpcw7NB5PoCQuhQOt8duyX7RjxWbbS4G0q2LfH14G1/Uw86DY1G1621Uc/oyg9d0DFFnqHbCrVTI1GNslXQALQNQulfPkU8UH9kM2i4ZtsQwtwHlan99U3FYxa28GlV2lzeN/tCRZKV/OexGCh3iHpTwRoyjkozM3Vaax+9Ii/qUjGnMdNOXUXD9mqVzHs9LEerH0ldzk7Z9N3bJeV8gDf63Rxhprp+vEMZxt3OpJNi3+jNRld6VPgYUZnmBzrLcaBJDeWrvfE9godlVvvf6OtkwwL+taYbpKYVz3aQzMvZGvDp3XCh88iWRSL13heqNtlugW4iXxxkL6ie8wAiGPEw0CbaD2aUXbMiiwAQw7gg11aOdVNeInQMITFjYvYMovk/0k+LYo8Bbn3ek5B40BUB9Gl+uqZmOS9ePLGfqNPNpBlMxweJVgp5x+94xCK+VmGjyBWkR1DKN6kAb0I7sP+xOIPb6D50232R60O9PYTcnxr7g5o+8I1nHM/Vjy/w0yO6kZgTBbVOe9+ch6qNtR/QYfcU9Gl4YSPcSjCTsITRue4SDCNR5M7GNPhZSAYRXp68yRl5doO/VpE/65V0jwyr/tsdCJZstZvmMiBftVjycI0Gb60tNvf0yBUEiSohhJrEayu0+vxC9ENO3Fr/DpEkXK1flHawwK5nx2PgyOWEmgI4otjFtq8TqmSRHEGNx8SkoyM9FXxsQVLTzBOaJmVT3GEkCXE4oR/5yILGphLIE35oUqrtI++4HRUBsDI0mVZuGnbxHcPBCZi1VrcMXUo/jbJko3x+z3G7YA3eRvEh7IuoT0SV9RbiAmicw+JCkPWIibcYYFswd+dUwvXqel59hrPB0FSF+h4t3uAJq8Fzhsi8BMRwvikoQVAcoHkA3lQRYfNTiabNhJErSFmb1hmP2NHiEjrkGVi+RrG4eTP/T1nVdJwbIWPh5x1L3WauAS+nIT5IJLR129PMy6ifi9cd1ihqxnK5tJtnE9e12i+yKRWScLNokngm97YidCprfqu2h0FC2OP+tQy9VLFOUnFoyozmZll7yrq4MEQozKGJKn6TKDgq7u+YvB/1LYfkwPhSsW1cc+Z1AZiW6hjc4Y3P0+OGyNBHmb3/j/n+WixfU7CA8fF+TLcIdMhEyZthhFGXvO1rrvLv+YmG0K+BfrY35zYh9fm9oKqTk7tcQzZYL5e2G81R77R+bAkoMP+PjZ3BpECwqwV16/uj9urGXqrWzKze/w+X5K7H+PGC1Slc7kUMYC4vl6yXVo0SiGFVR6A9XcDpDxch/vnJS2QpqmKJW1C0aQg8rZRlD27p6ZkV9fUqPIL+UL5Lnq3ezXYWRmpux81Kx85pfVu7/FC1gzKl+mXQkMsCL29NnuePiDUKApCRwmBn8tkdO9EBW89lYXACpv3safBCZMLZjeIZ+VqhVdAWCysm6vUhEtcLXg1N3WkhQSUpnO3mMGN+P8dvP2S0LdzxDmkmGz0l3928yswJTdFQXcB3dypr9A0lhRuJS3cCKKNQXFIvEHdbLpXG23W6Cu5l/cM/tFuwidskaAoVi/SzoUCDwAAeyo+Fnugvd/XkihhXeAhgi/7GqOpHu1I3zKoyPTBl4UKCsyCpNEMJyhtBYAEOJ+0vKb++OSPKpmSedAHcdwsdGxBAtaIT4qd/s4GdGQBFHUKoKwLyDTsm1agtmFupxGvEctg7X23IaGIMvJ+64KV5hJIAcJhXc4qPOIZHNIyyaKYu0wBq5HfCIxgYA3RVdIujOoW4Q7MkJDBEbnryiCHJvRnpzyA2i0zRRol89Sr3GtmEkWRLWQx9PfirGYcy65+lc0U4aszC2LmJ4YIbkXr9AvQnl77hhK+p9RxXnPjfm+RTfgrK2em0Ea7r2dJkVIFZIZBGAGoGpi7c/HFUgrkdEbOJ3XYJX+q26VgHXjqPQgO/DuUMzqaAYi1dskewDBkRl9825AGC8PyQNaQn/VfoqbimVwDy4tAnkVFlOZwAB8MsokvxkLx6qJI+5iF4alNsIV2xoFHkhH2AwDuZjiXzyeoVKScmwP5THq9AttKziGHBNlDim0FIdPUZ2mOEnrErSMy0Geis7m+jHLJ+nIcNJJbTzA1sQfwohD2krJ3aNiAI02JTykeOrXGkOlxx06k0ymEkzod0J6fvAXLWBPL86JFfzVC27/ao8dff3s3rJNbVE27pLXVCIsHziQwxzQcywACQT9bydEQnADOQdVbTVfI65dkik/pqph8SDEmmqb6nSwPdyi2TqFEvko27CRKFUSlXaAoGqxWWpkzaWHvv2sIEhjzrLK7xqe55P0hrj/WZcJNcfdqSFM/B/MDWZDjqGSMU2X5RW5iBq2GMyQHcMkD+E4H+zwB3QbZ0AVbD/Hab8otbnKiw8nBYc+g4yrmXEb/SLMuRNF3181eUIRpYJyb51ZJPiRc6YrSUubqVvzPJVNpxWpP+xedI4Z97D1WAUMGbmhV1dL8r+YU+mXSOA/ehdhSi3TCupQQ2CSEGEn8o/5PIDsIq7AHlDwsyZtO3Wf/ixB5Mh6V1LrCj7DpotikBW/mofTbYddc1QRiScS+WHN4zDRYrx7U9AB17Ob1HYh1J2JgEQdyEMIZGRZHSYq2agOV0BfwhqWgxYiqG9d8CCB26TUL6BtKZj14LebxFWfEARbg1mvCIkMIPVP8mTSyhjVDbgTWFBCvmt7oIg2kFYccFQbkzPLRVsafxQ4d1cVc9Tixfqpg2g1uuLpd7IvMSPjEXESUtufQ9t3HKDp9axiWqDklw+DC4GjMvdSTJTNFtuqLCG9IvknAlGWH52mrV39HsGcvSI3euuB5zqbCt+F0+bM9DA6ZBPjjLTBGycV7ec+EiBwt/KatbdX20C8aVhO/AGNQ0LReZXigU4wIfuWnhefwEOr56ZGzsO8EIKeZdZOgL7p+gOBbc0hiEL0pgxHiXO9r6FsZ5vlQ8b38b3OjF47eAREkERMN6KKnk/Jqa06YVPCgHh33MkBNwJJ5254K/jSpGqVUiciIXZVPC1QomiOLzMnhk0+SfjS5m4+1AILKpJddz19Ks4lLCB72qs0jSW7VDduKEKiG+a3k4oVL2F6tMdN5ja6AaIbZh88tNPBnCzMlG5am1JAJFmTEsh6hR0MCEU/ZYaapAtPema67ef5CIrcUodH3AYWHZz/nhYcnMy7IllGP+hnNnTb9ekR53I4VJ2n9FfS2Fmb/8/4nG3CW+5vEG8YlA+Hfx0TdZdTEliwsF+2IUcrzl5jL37SEbEe1E5hHHBglcuJO4J67ZF9QpOcWZ3UnuPqEfpNqgRh3xGKiiaFHFq36S/wzfVdMeXn7Ywj67Nn/92cZS3bKk4pgIBjJM+1BsrmrkSwdrsZkEx7xjQSDqG9bS8YwtwmRU43lHLlWr+LQh48BbyRhLij9RdJUdBSr+xpOzuZrkn7zLi6+D38oRi2MuUKGrkH8P91YtNm9pL9LuT7Tsk9sg0PyjbDSxOnnImi0RYk2RO4rNxFysskIs89CrwhigAe2181HNFIj/7pbY7K5F+rGHRKIhhkPPympkABS2zkW7ME3k09SzInyGDGMdH18Pi6Alzf9HqaafDk2l6oVmSqZLx71M2QgF94QwVBwoc8fGypORIpHS8OiUpjRy14HeSreApuP6DoGKzN2sXBm7OblfX+of4w0oRPRNCT4xzsrq+/d9t+a0OGgABW2WoNB5bpQYQ93pqYijWAgaTi2kReYsiFYpBm04+vR72m1cW+rsi4rT+pzWcKFAynZ+wxZOODi6nDgTukOnSQmJi5OMBzNc9CgDIbTCRwfo58RFrc4wdXuboceFU4ZHqCpOq8Du4eHo2nTCTYGZeXxtlP7AjUJHa7SNJ2b8p7sRa4rGzYBSC92YQ4NlDTxzNcRQARvAWlByhecXsZ/YxVyfxH1NwltlwreEGhmwKEmj6lArisZslB5Phgp9OIeLT5qa3DwVMr7MqqmLNxV7Q/hva1URXd/tXb/CfJS8fsTjjMzV9vc19dGezXFWAJXxiCqpkvHmdZOWP3yWDD6iKQfMOcrKu5reX1DZeA0mBg5z7GZ0+uxy6N7R/6K9dZA7MnnBtzATsQchD95NcQc07OHq32sCNjYlGdraKkzDJHZ+xWbjqTjpm+Q2lR8vBTE78bamxPYBAs05nzGKXLGiQfPXuz1tHFo96mHxHk1gw77uOJUpfrprmHR/DX+fF712mONIJsuazlgQ0+10SPA4SwEiRDa5oMgRLzieUTLd6Z3HJGahmIF5jwipg9LIqJTvQFK/gEQVzoxVjWEjuTM0qZriO8I7QaDFiW6IYl2OiLNOWY8Zb4m1EJqPs6oVJAaT+Kon47M+CsuCm68AE6QGEJ55kQP4g8vZUsv8vTYKHhEHPeOU33kE8BblDD8VIu+fE1O5h+ydYdl+3IhXMo72UXy35EDCnALlylk6eo4tV5iCa622yZ2cpWWwxvW8J4gX2YrpJ4hhUJ7pDyWUYiBUsjyM26lSwjFaH+1neZacQEYIpQPSBxjJVzB8CWqQG3XFLuDvB/WVBoZmuRzHrf0+n7cW+dTTW2L7mmVklE2Muo3PSUjXzloXhXL6cPx/l2aojlxX+Lg/TSvn5hF9P1dR6vvmFc33LtIJa4eA3q2FOJOMXBa+CjBF6Evh6I3ORgo8EyrIopDdGzlHFfjwojqLtiefwrSTcXZTsWL1uQ1IZ8S80ySjd2yTAix3fuKmOcJIoLoZLH11vjKmsc5KHb2j3JREraaQSpngDZQUgokAItCu++NfQojvYVlAqROAoGmOoibLRgrf9qlIzIZ2NPXJt8VVqbTI1E3heG436D4GydyklbjAAQ6O9tW7yvmlRMHuqeL8sxykXVrqqm/CgiU3Ke3PJErfpETSula0RthUPmMX+egMLOx8VrhZLxZzw4QZOL4OqXeIDK/Wti2AcQWsLYCI0Raxji/KCljfct6M+Qi3WjKip3Dggy3nY6l2hh65NOGvuGoquR/sZBj0MUjNei5GwobZOWMjuQv1Z/PyKdPNxBH4uyJgf5g3eK8Wh7XRCMsm2KT0Cy3GkFKdKrU0GIUY+IGoc/35J23WGOog1gpZnRJT/lvN6Ldfy6jGUkqYlS2jXEWi7Bi3bH4l451nn0n8skoWdzJXwNxo402mXL8xr3yNz7GKmjKnKfvt+ibBuKVfkypgkAAAAAETgCJNVsH34AAGN8QGAkAj71DwyscRn+wIAAAAABFla"}}
