{"item":"la-1","batch":"e08-lean-a","credit":"Taylor (gtmcknight): replica, Gaussian filter, qm tables and solved policy (github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9, research/solved). Built on seats qt1, TC-A #770, o1-a #541, o1-b #1497, tca-path and buy-grid.","status":"P pass. Q pass: +3.160 (se 0.022) over qt1 on 2048 report seeds, min -1.36. T pass: 351787 first trades, 0 mismatches. F pass: largest fee error 4.83e-07 bps. G pass: 24383 bytes, afterSwap peak 216022, 0 out-of-gas. E pass: +3.166 (se 0.043) over qt1 on 512 engine seeds (+3.144 on the 448 run with the delivered contract), min 0.43, peak 232160, 0 out-of-gas. No leaderboard submission.","leaderboard_submission":"none made","candidate":{"contract":"TaylorLeanTell (Strategy.sol in the bundle)","source_sha256":"0d002e11b60bd7f8c966711e5cd1ce03ed92d63226e082a1c0ff790348c0b350","source_bytes":53183,"runtime_bytes":24383,"runtime_sha256":"02f8de3c06704a443b8fdd12654862da9932ae2f4cde23f2eaebab5643a80ab6","compiler":"solc 0.8.24, viaIR, optimizer 200 runs, evmVersion paris (tca-path compile settings)","runtime_hex_found_in_engine_compile_cache":true,"change":"tca-path's tell (tcCands/tcArb/tcRet/tcTell and TC_CAP) replaced by the LEAN TELL; update() applies L = 15/13131 (sell) or 16/12889 (buy) on a positive, pi = 0 on a negative, nothing when over budget or unsupported. The filter, tables and fee policy are tca-path's, untouched. Nothing was tuned."},"reference":{"files":["ref/lean_tell.py","ref/lean_policy.py"],"change":"LeanPolicy is TC-A TwoComp with tca-path's TellPolicy.on_trade using LeanTell; positive caps pi at 1-1e-4 and keeps the mixture as tca-path's policy.py does after buy_pass; with the tell disabled it reproduces TwoComp exactly (checked on seed 64000).","preimage":"each wad's doubles are found by a monotone walk of at most 6 ulps from float(wad)/1e18 instead of a binary search; beyond 6 the label is unsupported (pi unchanged). 1 step was the most needed on any seed."},"gates":{"P":{"status":"pass","command":"python3 -I gates.py (amm-sim@4812a6382311624e1506aca131ca35c378f930d9, research/solved, unmodified)","rows_printed":["10000 448.261189 443.455598 443.522608 443.663520","10001 576.779199 571.463409 571.623551 571.977293","10002 531.886497 525.168028 525.865859 526.411631"],"equal_to_README_rows":true,"git_status_porcelain_of_checkout":"?? research/solved/__pycache__/","gates_py_sha256":"603280c1f595ca163ffaf2ba1ebdc7945fdb08dabae67fc53c922d39e1cce604"},"Q":{"status":"pass","criteria":">= +2.0 over qt1 and no seed under -2, on 10000..12047 run once, in order, after freezing hashes","what":"LeanPolicy (TC-A two-component filter + LEAN TELL) vs QMRef (qt1) and vs TwoComp (TC-A, no tell), o1-b engine-order Python port on Taylor's streams","debug_64000_64063":{"seeds":[64000,64063],"contiguous":true,"vs_qt1":{"n":64,"mean_diff":3.0595959715980507,"se":0.10970149096116023,"min":1.0067811864428222,"worst5":[{"seed":64020,"diff":1.0067811864428222},{"seed":64003,"diff":1.4439091474210954},{"seed":64029,"diff":1.501899385256138},{"seed":64053,"diff":1.8348874725837732},{"seed":64058,"diff":1.8525749630574637}]},"vs_twocomp":{"n":64,"mean_diff":2.5592207008414896,"se":0.1256034354893921,"min":-0.6716421906133974,"worst5":[{"seed":64003,"diff":-0.6716421906133974},{"seed":64020,"diff":1.0323458971218429},{"seed":64055,"diff":1.050038874726738},{"seed":64029,"diff":1.239408181714225},{"seed":64034,"diff":1.3052538501580102}]},"twocomp_vs_qt1":{"n":64,"mean_diff":0.5003752707565612,"se":0.06310932625371123,"min":-0.5542550773493531,"worst5":[{"seed":64024,"diff":-0.5542550773493531},{"seed":64045,"diff":-0.3169036814521178},{"seed":64053,"diff":-0.3134290457668385},{"seed":64011,"diff":-0.3067280287880294},{"seed":64058,"diff":-0.29067423029175643}]},"mean_edge":{"lean":527.1102999527435,"qt1":524.0507039811455,"twocomp":524.551079251902},"counts":{"buy_neg":102654,"buy_pos":120323,"sell_neg":102884,"sell_pos":119862},"max_walk_steps":[1,1],"seeds_under_minus2_vs_qt1":0,"file_sha256":"b9424b2ba4aadea74b5787d03e0bb3ddd888a5d444a376b9446fc4612c2aa098"},"frozen_sha256":{"ref/lean_tell.py":"f51cf0f15c46a5ff14fc72604316c6b11bde346c8bc5d6828ee760b9d0bf61d3","ref/lean_policy.py":"d0194fd61f6b469238852a6a28238a7cc4cdc39dfaa79ae528f7c9ccba82bcfb","ref/port.py":"81ec1136146777e10056c3a1e1ad5282de5a1b53e90d425decefc288e5948aac","ref/twocomp.py":"9d3c1833321493fb51bbde4e1b4dabc2f8978bd6d774ee2af8dc8aed13f0f0af","ref/qmref.py":"1dfc9b7a3c2237ff7a93dd9f0af54b9bdab16f2ce0a7eb00784cb4432598db92","ref/blob.bin":"3ac7cb8811ecfb6a17f499aa4e9b70dd55f7fb6432b3aec3b904e11a3dece38e","score_lean.py":"4a41eaa9fbd9520e4cf8fc30b80dd739e57fbe8efe69cc9742cc40dc4b6137dc"},"report_10000_12047":{"seeds":[10000,12047],"contiguous":true,"vs_qt1":{"n":2048,"mean_diff":3.1598948140998226,"se":0.0222262108662516,"min":-1.3596829746003323,"worst5":[{"seed":11062,"diff":-1.3596829746003323},{"seed":11376,"diff":0.012546694402089997},{"seed":11519,"diff":0.16165349985828925},{"seed":10642,"diff":0.225518981451728},{"seed":10146,"diff":0.25751453048019357}]},"vs_twocomp":{"n":2048,"mean_diff":2.735097355172289,"se":0.020726592914039787,"min":-0.5123844223919605,"worst5":[{"seed":10578,"diff":-0.5123844223919605},{"seed":10403,"diff":-0.19645146412335635},{"seed":10141,"diff":-0.010966982256945812},{"seed":10923,"diff":0.0025574599698643397},{"seed":10731,"diff":0.01899789356951942}]},"twocomp_vs_qt1":{"n":2048,"mean_diff":0.4247974589275336,"se":0.012202196748914046,"min":-2.7519340067506164,"worst5":[{"seed":10146,"diff":-2.7519340067506164},{"seed":11701,"diff":-2.426585095109658},{"seed":11062,"diff":-1.680672465452858},{"seed":11949,"diff":-1.2201722781714466},{"seed":10394,"diff":-1.201831221042653}]},"mean_edge":{"lean":536.4227446709614,"qt1":533.2628498568616,"twocomp":533.6876473157891},"counts":{"buy_neg":3292284,"sell_neg":3296832,"sell_pos":3878870,"buy_pos":3894629},"max_walk_steps":[1,1],"seeds_under_minus2_vs_qt1":0,"file_sha256":"3165936560b73606296a48bc8c33f4486d2b622cbff81da5a665e18c47fd1a0a"},"label_note":"no first trade was over budget or unsupported in debug or report; max preimage-walk steps 1 of the 6 allowed"},"tell_exactness":{"status":"pass","what":"LeanTell labels vs buy-grid's own bounded() (sell_one_division, buy_grid; cap 4) on every first own trade of debug seeds 64000..64007, and the preimage walk vs buy-grid's complete binary-search preimage on 20,000 random wads","seeds":[64000,64007],"first_trades":56445,"label_by_true_path":{"buy_neg|retail":13115,"buy_pos|arb":15421,"buy_pos|retail":18,"sell_neg|retail":13197,"sell_pos|arb":14677,"sell_pos|retail":17},"disagreements_with_complete_bounded":0,"max_walk_steps":[1,1],"random_preimage_cases":20000,"random_preimage_over_budget":2406,"random_preimage_disagreements":0,"random_max_walk_steps":[1,1]},"M_soft_float":{"status":"pass","cases":18028,"random_tell_labels":{"unsupported":1680,"buy_neg":1768,"sell_neg":1840,"cap":607,"buy_pos":77,"sell_pos":28},"what":"the contract's binary64 add/sub/mul/div/wad conversions vs CPython, and random tell inputs vs the reference"},"T":{"status":"pass","seeds":[74200,74249],"n_steps":10000,"first_trades":351787,"counts":{"sell_neg":80759,"buy_pos":96713,"buy_neg":80057,"sell_pos":94258},"mismatch_count":0,"stream":"LeanPolicy reference on the o1-b engine-order port, Taylor streams; exact stored fee wads","tell_gas_alone":{"method":"probe(v,buy) gas minus noop(v,buy) gas, pyrevm","peak":18190,"mean":11054.847291116499},"sha256":"324456c6337db8d6d89307c7dfb79a665a2aacf6f635a76d1d11122e9155c91d","criteria":"Solidity label = reference label on every first own trade of seeds 74200..74249"},"F":{"status":"pass","seeds":[74200,74249],"runs":50,"n":100000,"tolerance_bps":0.01,"max_error_bps":[4.806689594960556e-07,4.829964813518606e-07],"max_init_error_bps":0.0,"errors_over_tolerance":0,"tell_mismatches":0,"first_trades":64634,"counts":{"sell_neg":14815,"buy_pos":17711,"buy_neg":14711,"sell_pos":17397},"peak_replay_gas":195813,"mean_replay_gas":121152.54663,"callbacks_over_245000":0,"stream":"contract-driven o1-b engine-order port on Taylor streams; reference receives exact previous returned fee wads; reference filter otherwise carried independently","gas_limit_for_diagnostic":2000000,"per_seed_rows_sha256":"c7d083f4c1834613fe95331d662751ea588ec7ed2870cb333f8e5dbfb1ce0e19","criteria":"fees within 0.01 bps on 50 x 2,000 callbacks","largest_fee_error_bps":4.829964813518606e-07},"G":{"status":"pass","criteria":"runtime <= 24,576 bytes; afterSwap peak <= 245,000; 0 out-of-gas; candidate and qt1 each vs VanillaStrategy as engine.py runs them; next 8 seeds after each Solidity change","runtime_bytes":24383,"delivered_contract":{"seed_ranges":[[9970016,9970023]],"candidate_source_sha256":"0d002e11b60bd7f8c966711e5cd1ce03ed92d63226e082a1c0ff790348c0b350","paired_vs_qt1":{"n":8,"mean_diff":3.947216228461592,"se":0.28403721952629163,"min":2.5274340660932353,"worst5":[{"seed":9970019,"diff":2.5274340660932353},{"seed":9970021,"diff":3.215820866163824},{"seed":9970017,"diff":3.6650725687185286},{"seed":9970018,"diff":3.982215567406911},{"seed":9970023,"diff":4.041622473611312}]},"wins":8,"seeds_under_minus2":0,"mean_edge":{"candidate":499.71697885917706,"qt1":495.7697626307155},"afterSwap":{"candidate":{"calls":85228,"peak_gas":216022,"mean_gas":148173.63101328202,"out_of_gas":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"qt1":{"calls":85819,"peak_gas":201982,"mean_gas":138188.6647245948,"out_of_gas":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"status":"pass"},"earlier_builds":[{"seed_ranges":[[9970000,9970007]],"candidate_source_sha256":"9f1a53201828912f49afdb8ed6c9cedd2ab2718fc25aea32cd132303de280574","paired_vs_qt1":{"n":8,"mean_diff":2.892263414311266,"se":0.494745630834381,"min":0.7784960545027388,"worst5":[{"seed":9970007,"diff":0.7784960545027388},{"seed":9970003,"diff":2.387927813499914},{"seed":9970006,"diff":2.413623965664158},{"seed":9970005,"diff":2.593926739554149},{"seed":9970004,"diff":2.775440359198001}]},"wins":8,"seeds_under_minus2":0,"mean_edge":{"candidate":548.2654404738381,"qt1":545.3731770595268},"afterSwap":{"candidate":{"calls":90389,"peak_gas":241348,"mean_gas":152989.697429997,"out_of_gas":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"qt1":{"calls":90770,"peak_gas":207703,"mean_gas":137497.07705188938,"out_of_gas":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"build":"v1","runtime_bytes":24124,"status":"pass","note":"passed with 3,652 gas of margin; soft-float trimmed for gas, so re-run"},{"seed_ranges":[[9970008,9970015]],"candidate_source_sha256":"56034fd292baa6430a8def1b40ec1a114202bbca48ac00777d059a718bfe88cc","paired_vs_qt1":{"n":8,"mean_diff":3.463930430723103,"se":0.5842572906669388,"min":1.931461671220859,"worst5":[{"seed":9970009,"diff":1.931461671220859},{"seed":9970015,"diff":2.0605699091490806},{"seed":9970010,"diff":2.2488258473543965},{"seed":9970012,"diff":2.78262560534813},{"seed":9970008,"diff":3.385706617063647}]},"wins":8,"seeds_under_minus2":0,"mean_edge":{"candidate":615.8368992333585,"qt1":612.3729688026355},"afterSwap":{"candidate":{"calls":91595,"peak_gas":218149,"mean_gas":148206.1336972542,"out_of_gas":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"qt1":{"calls":91896,"peak_gas":200908,"mean_gas":137384.0455406111,"out_of_gas":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"build":"v2","runtime_bytes":24202,"status":"pass","note":"later reached 239,374 on gate E seeds 9970100..9970163; tell arithmetic fused for gas, so re-run"}]},"E":{"status":"pass","criteria":"the brief sets no numeric threshold for E; G's gas checks (peak <= 245,000, 0 out-of-gas) and a positive paired mean are applied here","coverage":"all 512 seeds of both windows run once each. 448 with the delivered contract; 9970100..9970163 were spent on build v2 before the last gas trim and were not re-run (no engine seed twice). v2 and the delivered contract return bit-identical fees on 547,289 pyrevm callbacks (replica seeds 74200..74249), so their edges are pooled below; their gas is not pooled.","delivered_contract_448_seeds":{"seed_ranges":[[9970164,9970355],[9970400,9970655]],"candidate_source_sha256":"0d002e11b60bd7f8c966711e5cd1ce03ed92d63226e082a1c0ff790348c0b350","paired_vs_qt1":{"n":448,"mean_diff":3.143932837854402,"se":0.046044360817685696,"min":0.427909874493821,"worst5":[{"seed":9970281,"diff":0.427909874493821},{"seed":9970194,"diff":0.6868779762933173},{"seed":9970190,"diff":0.7036156443575123},{"seed":9970264,"diff":0.9803579456873877},{"seed":9970506,"diff":1.1459802696848556}]},"wins":448,"seeds_under_minus2":0,"mean_edge":{"candidate":528.5309805625743,"qt1":525.3870477247199},"afterSwap":{"candidate":{"calls":4825492,"peak_gas":232160,"mean_gas":148012.74832555934,"out_of_gas":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"qt1":{"calls":4852940,"peak_gas":209461,"mean_gas":138061.39818810867,"out_of_gas":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}}},"delivered_contract_window1_9970164_9970355":{"seed_ranges":[[9970164,9970355]],"candidate_source_sha256":"0d002e11b60bd7f8c966711e5cd1ce03ed92d63226e082a1c0ff790348c0b350","paired_vs_qt1":{"n":192,"mean_diff":3.119608918304008,"se":0.07720831875400323,"min":0.427909874493821,"worst5":[{"seed":9970281,"diff":0.427909874493821},{"seed":9970194,"diff":0.6868779762933173},{"seed":9970190,"diff":0.7036156443575123},{"seed":9970264,"diff":0.9803579456873877},{"seed":9970290,"diff":1.1928899393471966}]},"wins":192,"seeds_under_minus2":0,"mean_edge":{"candidate":524.4125463622398,"qt1":521.2929374439358},"afterSwap":{"candidate":{"calls":2058143,"peak_gas":232160,"mean_gas":148105.331260753,"out_of_gas":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"qt1":{"calls":2069997,"peak_gas":209045,"mean_gas":138131.3518749061,"out_of_gas":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}}},"delivered_contract_window2_9970400_9970655":{"seed_ranges":[[9970400,9970655]],"candidate_source_sha256":"0d002e11b60bd7f8c966711e5cd1ce03ed92d63226e082a1c0ff790348c0b350","paired_vs_qt1":{"n":256,"mean_diff":3.1621757775171977,"se":0.056141537774767936,"min":1.1459802696848556,"worst5":[{"seed":9970506,"diff":1.1459802696848556},{"seed":9970529,"diff":1.2441689402468796},{"seed":9970648,"diff":1.4020404201121437},{"seed":9970654,"diff":1.4274539745881611},{"seed":9970450,"diff":1.546871127607119}]},"wins":256,"seeds_under_minus2":0,"mean_edge":{"candidate":531.6198062128251,"qt1":528.4576304353079},"afterSwap":{"candidate":{"calls":2767349,"peak_gas":228881,"mean_gas":147943.89220369386,"out_of_gas":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"qt1":{"calls":2782943,"peak_gas":209461,"mean_gas":138009.3655299444,"out_of_gas":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}}},"build_v2_9970100_9970163":{"seed_ranges":[[9970100,9970163]],"candidate_source_sha256":"56034fd292baa6430a8def1b40ec1a114202bbca48ac00777d059a718bfe88cc","paired_vs_qt1":{"n":64,"mean_diff":3.316607089799236,"se":0.11625655675083843,"min":1.5437300009708679,"worst5":[{"seed":9970116,"diff":1.5437300009708679},{"seed":9970158,"diff":1.6217229679203342},{"seed":9970125,"diff":1.70847161471454},{"seed":9970124,"diff":1.9098516825038132},{"seed":9970126,"diff":1.943877830972383}]},"wins":64,"seeds_under_minus2":0,"mean_edge":{"candidate":564.4010419245462,"qt1":561.0844348347471},"afterSwap":{"candidate":{"calls":729111,"peak_gas":239374,"mean_gas":148339.14607789487,"out_of_gas":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"qt1":{"calls":731218,"peak_gas":206188,"mean_gas":137481.9389142499,"out_of_gas":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}}},"pooled_edges_window1_256_seeds":{"paired_vs_qt1":{"n":256,"mean_diff":3.168858461177815,"se":0.06490047070509243,"min":0.427909874493821,"worst5":[{"seed":9970281,"diff":0.427909874493821},{"seed":9970194,"diff":0.6868779762933173},{"seed":9970190,"diff":0.7036156443575123},{"seed":9970264,"diff":0.9803579456873877},{"seed":9970290,"diff":1.1928899393471966}]},"wins":256,"mean_edge":{"candidate":534.4096702528165,"qt1":531.2408117916386},"candidate_source_sha256":["56034fd292baa6430a8def1b40ec1a114202bbca48ac00777d059a718bfe88cc","0d002e11b60bd7f8c966711e5cd1ce03ed92d63226e082a1c0ff790348c0b350"]},"pooled_edges_both_windows_512_seeds":{"paired_vs_qt1":{"n":512,"mean_diff":3.165517119347506,"se":0.0428649621114079,"min":0.427909874493821,"worst5":[{"seed":9970281,"diff":0.427909874493821},{"seed":9970194,"diff":0.6868779762933173},{"seed":9970190,"diff":0.7036156443575123},{"seed":9970264,"diff":0.9803579456873877},{"seed":9970506,"diff":1.1459802696848556}]},"wins":512,"seeds_under_minus2":0,"mean_edge":{"candidate":533.0147382328208,"qt1":529.8492211134733},"candidate_source_sha256":["56034fd292baa6430a8def1b40ec1a114202bbca48ac00777d059a718bfe88cc","0d002e11b60bd7f8c966711e5cd1ce03ed92d63226e082a1c0ff790348c0b350"]}}},"tell_gas_alone":{"method":"probe(v,buy) gas minus noop(v,buy) gas, pyrevm","peak":18190,"mean":11054.847291116499,"n_first_trades":351787,"seeds":[74200,74249],"earlier_builds":{"v1":{"peak":32546,"mean":19487,"source":"session log; file overwritten"},"v2":{"method":"probe(v,buy) gas minus noop(v,buy) gas, pyrevm","peak":21151,"mean":12311.600428668484}}},"gas_profile_pyrevm":{"seeds":[74200,74249],"callbacks":547289,"by_time_gap_count_maxgas_maxtell_maxrest":{"1":[266961,168399,18254,150913],"2":[50039,163001,18161,147935],"3":[19492,175788,18148,158352],"4":[8419,171199,18090,154811],"5":[3658,174897,18119,157459],"6":[1651,179057,18148,161583],"7":[735,183049,17987,165961],"8":[362,187523,17892,169963],"9":[191,185370,17346,174158],"10":[88,185157,15987,176279],"11":[54,191694,17931,176175],"12":[25,193501,14929,178807],"13":[22,202826,14564,191352],"14":[42,198059,15165,189223]},"same_step_peak":112209,"fees_sha256":{"delivered":"5bcba9b0f91dea76455e92e6ad26fccc8076baa86b59bf88d9367c5ab9fae5e8","build_v2":"5bcba9b0f91dea76455e92e6ad26fccc8076baa86b59bf88d9367c5ab9fae5e8","equal":true},"reading":"the peak follows the TC-A base filter's time-gap loop; the tell adds at most about 18.3k. The engine reports more gas per call than this pyrevm replay."},"builds":[{"build":"v1","source_sha256":"9f1a53201828912f49afdb8ed6c9cedd2ab2718fc25aea32cd132303de280574","runtime_bytes":24124,"T_F":"pass","tell_gas_peak":32546},{"build":"v2","source_sha256":"56034fd292baa6430a8def1b40ec1a114202bbca48ac00777d059a718bfe88cc","runtime_bytes":24202,"T":"pass","T_mismatches":0,"F":"pass","F_max_error_bps":4.829964813518606e-07,"tell_gas_peak":21151},{"build":"v3 (delivered)","source_sha256":"0d002e11b60bd7f8c966711e5cd1ce03ed92d63226e082a1c0ff790348c0b350","runtime_bytes":24383,"T":"pass","T_mismatches":0,"F":"pass","F_max_error_bps":4.829964813518606e-07,"tell_gas_peak":18190,"note":"v2 and v3 differ from v1 only in how the same round-to-nearest-even binary64 steps are computed; M, T and F were re-run on each"}],"seeds_consumed":{"replica":[{"seeds":[10000,10002],"use":"gate P: gates.py, Taylor's own policies only (run at the start and once more to store its output)"},{"seeds":[64000,64063],"use":"gate Q debug (repeatedly) and, 64000..64007, the tell exactness check"},{"seeds":[10000,12047],"use":"gate Q report: once, in order, after the freeze"},{"seeds":[74200,74249],"use":"gates T and F and the gas profile, re-run for each Solidity build"}],"engine":[{"seeds":[9970000,9970007],"status":"done","candidate_source_sha256":"9f1a53201828912f49afdb8ed6c9cedd2ab2718fc25aea32cd132303de280574"},{"seeds":[9970008,9970015],"status":"done","candidate_source_sha256":"56034fd292baa6430a8def1b40ec1a114202bbca48ac00777d059a718bfe88cc"},{"seeds":[9970100,9970163],"status":"done","candidate_source_sha256":"56034fd292baa6430a8def1b40ec1a114202bbca48ac00777d059a718bfe88cc"},{"seeds":[9970016,9970023],"status":"done","candidate_source_sha256":"0d002e11b60bd7f8c966711e5cd1ce03ed92d63226e082a1c0ff790348c0b350"},{"seeds":[9970164,9970291],"status":"done","candidate_source_sha256":"0d002e11b60bd7f8c966711e5cd1ce03ed92d63226e082a1c0ff790348c0b350"},{"seeds":[9970292,9970355],"status":"done","candidate_source_sha256":"0d002e11b60bd7f8c966711e5cd1ce03ed92d63226e082a1c0ff790348c0b350"},{"seeds":[9970400,9970463],"status":"done","candidate_source_sha256":"0d002e11b60bd7f8c966711e5cd1ce03ed92d63226e082a1c0ff790348c0b350"},{"seeds":[9970464,9970591],"status":"done","candidate_source_sha256":"0d002e11b60bd7f8c966711e5cd1ce03ed92d63226e082a1c0ff790348c0b350"},{"seeds":[9970592,9970655],"status":"done","candidate_source_sha256":"0d002e11b60bd7f8c966711e5cd1ce03ed92d63226e082a1c0ff790348c0b350"}],"engine_unused":"9970024..9970063"},"limits":["All figures are local: the Python replica for Q, pyrevm for T/F, and amm_sim_rs through tca-path's engine.py for G/E. Nothing was submitted to the leaderboard.","Engine afterSwap peak of the delivered contract over 456 seeds is 232160, 12840 under the 245,000 line and 17840 under the engine's 250,000 limit; build v2 reached 239,374. The margin is thin and comes from the TC-A base filter, which this item did not touch.","Gate E seeds 9970100..9970163 were measured on build v2, not the delivered contract.","Q's worst report seed is 11062 at -1.36 against qt1; one engine-order port drives all three policies, so Q is a paired replica figure, not an engine figure.","On debug seeds 64000..64007 a positive label was a retail trade 35 times in 30,133 positives (buy-grid's known false positives); a negative was never an arb."],"bundle":{"format":"tar.xz, base64","sha256":"f8c97bd765720970af5b856c73852cac1860e8f3e9d0f598c43b4be5f5a54a47","bytes":28296,"files":{"Strategy.sol":{"sha256":"0d002e11b60bd7f8c966711e5cd1ce03ed92d63226e082a1c0ff790348c0b350","bytes":53183},"ref/lean_tell.py":{"sha256":"f51cf0f15c46a5ff14fc72604316c6b11bde346c8bc5d6828ee760b9d0bf61d3","bytes":3781},"ref/lean_policy.py":{"sha256":"d0194fd61f6b469238852a6a28238a7cc4cdc39dfaa79ae528f7c9ccba82bcfb","bytes":4141},"NOTES-la-1.md":{"sha256":"669c1ad7de278518f3f8ab927dfe3ba0c7fab026e0593666a6dad68f478c8fd3","bytes":1824},"score_lean.py":{"sha256":"4a41eaa9fbd9520e4cf8fc30b80dd739e57fbe8efe69cc9742cc40dc4b6137dc","bytes":3674},"gen_lean.py":{"sha256":"54bfb25649d7badb96832a0aea943e649fb019e4fe9e5f7b7677990b9e68d42d","bytes":11000},"test_lean.py":{"sha256":"950853c5e30d31464598f7b5e1997fcde63152f67d5f80e562370bfeeee97732","bytes":9876},"Probe.sol":{"sha256":"2efef16cc2b52fa6bbb9607dea86d89e530740fcfc5cb45149c388987ddc1764","bytes":8424},"lean_compile.py":{"sha256":"227042848620de92564bfde0dc6d5a758457ecd259936ee0d7d7de79cd524ad1","bytes":1213},"check_exact.py":{"sha256":"75d812ae38e03f29469b9decded378e1e693cc49005ce45e41080dedc4be0b21","bytes":2628},"esum.py":{"sha256":"e717513adbaae9a09c1c393d3b34c1ec2a5931bdc282e540989a555239482ef9","bytes":1874},"gasprof.py":{"sha256":"509f91caef0220c4ef7cc36105353f13936fc376b9ee4296b9556a05571064ff","bytes":3556}},"left_out_for_size":{},"base64":"/Td6WFoAAATm1rRGAgAhARwAAAAQz1jM4d//bkZdACmdCkYjqY9FAsUiKPQkVWCd/9YMWcf0Oj7QusKRrPS9kNIuWokH0crIaQSLKZuey3BYgoy3p0nfAgPVkQgFfn6OaJR1x9745fBRqzlrP/jjG9PEXjl725L8xLQfUgtuA4rHbCo5JC0pxY4fygs3poYRATgEUieEc1thGV7q3n707EUYGOLCVh3toUb+1Ef1o7hKJJSMPTltIUxFPkimpZ4fNXWSV9GLZQgTkad8DW59rmp04gKcGvwd4skrHph26M1UcUlD3P6mxreP0VV4FS0K5LiQu01Gju+DjnibzHmVd8Wawku6E/HVGVH1fjZdDLgfkumqTvZidR16bqzo0yMJB1xm1wpJicF7cFwlIWcnymfMJVmS2gA37LJWeA96dKOnFBgc3MM6o0YwHozX1p/QKlMjU1qy2bc77zZQzc0666iKEAu3y7E30BAtDa+RmhIu/UhsgZy2fjbDmFHjR9+KBzuKsUkNNd4Zs6nef5G1ROQcl4IbjkON6lOmLDGvXFYlPH4qCHtY4UZz2tG/FdXAhepEVG5Pyv5h3E7Jp2WBNktatdApEey3gpifUleZibKOZIHk1tCKe/kC68kVOtNDD1Ikc5R9oaBm4yat8tstEi2g03FPWKbjWesSOEZEAyZbeSUf5Sb5eiZif02ZOPslH5dl9TKkc7rdgzIMxf+NEQIa/Sgtp3GNkaDaJeTNw2itlysnI5s6S4nIduJQeZE4LQOMpPwXl5sy3gaiTbSgZgi9V6QLsT7ZnN6Lh4QmAj4lnhXE13939X33QbzsKhki6b5E9BFTtluHCgl4lW3fyOT0uTVD/n4WkVn5brBMS0zbE3LKAFF4U5qLGKsSFUaOghPXl1qR39KR9YC4o0VN/JdOtcPcd5uqTLSDXTXR4dw47BXpErqOxVIAY9Pv9omoBpA9ZNZlTDjz07z8FPNf7QAPkiu0GIjzxPqq7UWfpCm1m7VMypUm3dD6iiZCnPVANBCsOjxnUNWIBUs5tpxKPI4oN5gGOuUDdn4GZZ52mjsklWn63vS64Jlo7qEddSByCcpNIeXpEgiFYbR1HCLzCgWxRMhOWFcBECPfshLwqhJHT7M6AwCtUAOAIZCYBuBzaRvJOLzNDG045LOuB3IUM54UbqUvPYD8mbjTA2QsCiFQ/OeU3w8TMwqCrE8/WHfWlj5dmP6PN5IxVBxR+OLy75yZeuvNpvafCm0jSREriN2Ph+gZ2VwHvYMyilxhgRAdefQyefl6lWSJ2LsV0wVRCpjZtPMWYCeMqPuLEZgRUPWrDT9pTZ7IAgV0Fq7Do1xtKm41vvvEvT67dfCNF3Iltyh9E/fehOsOF9PU6UgrT+2WZLAV/aTXoSHI/eifr88YHsB5wbf8qyCB1qIO66zh4mXpoCvQirQ2HH3wmn02KDq/hw2PwUsGA8ZWEnhHLRWs/t/9CzFvuv/TKRu4lPsgO7rKYTQmUAuZc8d/dF2V7KetGQOD7CQUkayvUaNkSIx+C3nbfmd9zVJxy601REPn53moVIyWZuP57z9o41IN2Pw3Agl7EGKJlzLpe7vYsyI/3t0DfFbtY4C4iuP1IPcIyuALjEWfcZsQrbuOHzgqI4zohvA1F5KP3g+KClzWZ2CEBOOXv/picIzmgzqgeULfkuAIoDiBC2UzRP0LqD6480Xs1EZkg6nLzhUjlliprTcz162VClehc7GVVyTmLDhVBx0CPErr/MyIn5wEHkAxtgsIMVMV5JqHzUO+J0oH68g/hDRz9qsRUOgLhvGPZSsUUpR9/74vfBL9+TDeF1sB/g8mq5I/Rpu1fUXs34WXOrzv/9J0E1Q5Fv4hgeA3kxww2Gs+p9MvtJr3M35qmBCg9H7h+OjBfaXNkP9Gd3CsEfp+9DKqGbTbpc9MFO6GWT+9pJvqhY5JvUkxIHH52tIRHmv+uUo6RzAA15r3E4rJDe5AITHjEDeBf7Rk4vyIB77SuDAdT6yuSkuuaveSalR+xoynou6awUaFT+0GHknIPFijEqXzehOGYFKtzC3OUS8PORJWN/14zucfNNcPfmS23xTKkk4mtP31rdYmIMHuCyszjFNgOUvGlNi/xRwe+eM7G+dTyd2ezWq1MwAgneMOwgj2dTcskY+19vgIZGHQ4k7CBD10rBvldb26l2Csh8fJhYnCAoyUC/FLHZYKSDvw9SHr7XdgpfKXA7z0BT/9KERSCKi7XXCUwYJBOEvmvRYje7z55oxu9X0sgjQsDHak/EvAhrZXtmHrvKHcH3ylAwyvjEAUh4t3d5vKJVMeqLwkrdzezma9Onbg7i5+aX8bi1azZE4zeYF4NGn8/1O34loioh5sc9ucXj3ubwAz3XvrWPJzCHk1VmVFpgVR2pibhUxaJ3T/WOIqffQ82YRf2AMautbtgyvwQJV6jWjEAtJFvJyvVnFGirYInNsYBPGyeargor9Iym7slF2xVPEaIVypRHRbqfk7wzgZQQwEKw/Ckin6UOkJNLHCanOHZhu1I3q4/QFSiX5KSpdK4xVpOo86tGKo3BE//WtB8kfnvwNT7CE4T6Jk0XiVqSMnwlsnusCwE8eVhuTAzjLXrva8uXjA6UbONd+/yhXhP/WgJas6Pjux0CrGRd0bPVwMVsBu719iQlZnnFhcItrveq7hc/W59uxmsvhfP+nnDpw0pz1w5DRadvfJK28YlAFA3aM7Z4ZfLPe6naxIYIysacOU5H1F5aoIKi2LhsIEgSsMMSHb/sSbTCZ2SgC7Y3sFqKWWoFz34pmEE6lGFwatZRkazXTCd7EiC0amwTPgexN8baS1BgVTwIoDZ8+37u7tGi9p9EF56EjfmSD2L25k9RndkcIXLs/8E/k76YujN/fLV1p9skUntIUjHK6l+tSMtUiNoxU/C+1/Tx/I7IUPFrrHczd4nPhTLc/ycRIw3Yldu3KP6GBma1Y0hUO5Ypc+U0MxsWetturGyFHOSX4XuLeNrxkH/nGn7b1W66aG3OLgjbdiwc6Knkcn34iOSdfNN4Brapk9fuwK1Bwneg0QWyGEXjKfHChupGuSfOd7+gZuwi1okTeqxUB7VZLbCk0lqQnKlcvVsNeaQqZdIyXTeUl6lPBTqdrWTgRcmJMkViNIzOJbuZ02sDEDWx6HOBd0Tn+qCBRLZJ8eQH/H/KaFepVGp0vlvax0ShpgFvbAtw9ISgi9ZDMA275aUA3qxS4hR8OZUnDnQTZ00vsoRzHe+ZXth41wXqSql1UEI7R67HOXLVK5etYQRghW2UO8MuIgVZ6tw+YnCPr2gjLjWBn36jvRO60QQOT0S9vYLitmJba8JAzCkelB+QXLtHtlef2q0Ieou+gyFdtdxEYhJsTV/aBuNBKhxgdjMOpSFs2LtM/hbopqYWlwb9Wbl0WssS/8YVahDzL6OAdwWuoEug78T3zqPtr+yzmmLRLhCMzFOuUcwFv6jW63w44egG085LBrs2iKBIib3ggkTSso+tTI4XrpZjPbWdPwa36CCf694IRCWsYAtNqrvPzmngE9ijY60kZm5DJVq3l7p9xqX/d8Vz3YRMqw+khtioApp/C191WpOceXq7wnHvexVvhGzk2F1iM3UHHD2wK9uNvUH6D2hlcREIUMncbMKoOJwA1Qjeskltrbk2mHN/kYKNHqGGAl2P2dYHjaokFuRSiLgLPtY4qTAp6mcL1vefjB3P5Bp57BcBWcMHQqxsXUJeq1uRHcQK+eADHoyR6I/eTiT/qbz76SmHMAAMktUwBltuts8gCrQJUmP1hG6t6yPvrwnz9ZzQ+o4UZu1XvDK6dWCEhdr4nW+k9lP/kMcD53mXWktVqVEjP+VoGCOR78ehZgb8+hpGyKkWsuZh9zwDZXv8frxtZF1A/4nKbBD6Ww8wZewvSpGmE9RpRC35oEN4J16rnQU0TtZeNA5ogP7yqRxefHA+Ct9W+fE6D9ApqSx7cjAG9JkOqGXniecsgP0UknZepP4voLTbSDI1wyOoijV2PqsGbpiZjstBd5lbTmODTkW7Y7ydG2NHCRS4CzsHvHuBAaFSJKFWQBv1i3NOobG09e7Vx0V92YGziAbPZ9nbXlCteAWEhw12w80tlHnqoDDKWyZgS00pF1shBzNXbDzIc2G1k7ViFaB268kCVDzvgEd3+VyiIlFB5aOWRxdxyJ6H79CCLAiPanb5ABbO8OBYzrg1lzldMRDfoJy4dwfCfT59jVIP+uopWHvpQl/EgXeHlVGK9HJM4Ki+wIChrj0FJxVfYEr4I0Vmx/5G/oqXhicb06vfuxog8V8m4fqRSoeaTON/lxK0nXNrjLQ+v0l0uEY+uUx2NPAiSd5zhkFjzAhAzQic1z8QsNBWz52QE9PgzfK/E1dYk8yTG2utnBdv8aQ789wcg9O4OeyS3uIS4hZkxetzM0hPv2CVCkpOzyTTZK08DSBEKjtqKziK0FPE22LH6jeWKnAKFooJGsJlXpAV0COz/H1AXNnTAXNA59GPSKWN6VbFJA0b4qOJ8YAg/zaC+h+mHKf00jXt2v832mdKZhglXtqmf6Olh7Wkj4KOjOGQ9Z0FxReakGkIO9WXepD9mBYVSJzSbdvHEWhzhe+LirXmzqa+UstF5JtPMmj0GO70mk5l8N6gYtipXom5vgA32zqEGwR/HG378ixBu+zOeZDjzQljRM+ppKwS2cRntSectltlxbhzMUntSg8WtHmNlzV0q3t4WXkTjare9K/N1WHu8uqmsarfyKpcPSpFEeT2f3yu7Hing11Vk1sGpK4AxfUA7ypO+QxIBsQMV/qynuYEO/51BjG2P2EnlyBDawI7fHgnO9jTNSb11i4/4frPEi6gEYjCUpRGGuW3+wqPLY2s8igFxwHZTryZ4WRCv6x9iCDzHWUSiLosxTi8U3Ow8DgPMT8f87BU5Qxk3DHkV2cM/izY+nKUbfBqqdIufa3lX49vQRSvSyjDoLNaTSCXJdnhm7Wf4EmzYyMCMTp7PKYBloGvakGGzW3GMRkVVhizAWKtyJte6P5U7hVSFkdgYO007Wo1LJhNT9s+o/0rG6nC3Th9nNl7QhAZusdNXDWbU98yodP7Jv1Cay3q3zzIy43aHkrB5dS9vEcA67kXure18qFBGHR+b6S2lDwdoQ/QtHLU5RgJxH6pfu3vdTauu+N2NOsarw5Y9x+Y54bLwvL5vWShJxtsfPesWJIwvzw5vVK3J8x/aGLNAUVA28V2Llkhxx9ewyw/T/dHYOWzP4XlMauEHIqKbjpAwGGEsprxGW8TGxCo+AnAil7sLEO+GDT/Zqcv0UYr2584K3KSSnpq6tJ7k9gvswOaraCcGvQBEvgZrknRv8eUX9el+Bym7y8xR9b6N6cCcSl9gl45xx9WSPwylAYeT74oa6aqLnZF5T2Hq4A87nA2zYfmzJrxkovlsisTbBXJvJ2EfqbHWaNK2iq+iQ5SXNnHTtEFjhcvRCG1D/YFUt3NtldNm1wJVysTa7D6j+JLnDc17O5chW5XJYDXCq7rLlh7IEaIYee174HBRX52rOHDbcTudImow4OUUb4Kzcb7vLZS7ZhA/eEciTCyhCUbdE1f5AlXr8Gz+wMC9RIl1KNbBaSJgJf/jKdke98jkiwtNVbXx3aYKEk101alUyjYrM9i5i25c0FPenD7P5ZA7EmVeo/MRq5OUgv804eljP68b9plOsj9LCol6V6mtjuweI0BKBzODgQCJtyj0FplZkkJueb+oMQ7x/ogKWz5hiLHoqUhXkUheLQlVh6IjmtDoMEh0eeNYZBv1wPCA5h3RJgycCAJrXbW/YkqJpTKKdVlZDECqfALzl04DBSlzfkvz0AqdMyNQsiXofFCwHkE9sMrhkKFcxuqxZc1X6cf+PpoFRk6UnWfFXE/+U4RmBU12z80oNWDF3Iu3z3FSP/0F8iqfZ+LN/W6a+x9236z7sXBNNNCZJ+cb5I3is5kAm9nEMAx3tOyBM1CYrWy6/27kXf7L8p4rzLvyXLIXAnEneVjsRsPzkIAIIA58Gp1qKup8dgBWQwBL5cyS9Sxa4B0wKceMNUc1uN7SMBHZDoRkvR3aRgFgC70e/UCd18VvmPfooVwjPI355YBPJcQXJCXw8wFGi3MZjlRuT8hFZ8hEVyLN2lrg55wpRWxuErustsgNZNUKzidSjF2bUiP/jPgV8N4W2Oj5iRi61L+3KQZzUUZSxUkm968eUYgwGfEhxxWEzE2doldMM0n/4NcsGK6IoM6i31eVVyhFZluspYvtZIwhxzVtlKUyqxmFlEPotMkWiI1XoZfBe6OhoXeaYRddBc6XU1uyKt9ZcAhYekoDHLAksdhx+Uxp6N4jRqWOGrcyE3z6GUCd7hG7IGBVXyE2qEOUtLDcwSrAnVly7VdP3aDuqMh5Cuqqs2bIB6paXJqJ/LC7BVZfQZLVC+iqBPT7RbPqnxm5j5ZW8TAZ1cRNfIDZlDoMUXYU1SmsI/xIVyh4sL2aVp5KpIZZRMracIcswGsQD0zmTJRJ0e/7krMfttcjI2mdGKvjWjWGO5DZnOSJdCfW3+3o1+uDNdxqDTB/ou+Aor4zd7WqDnr1PGXBnRBhL4OumKeV2oaQBpOlgc/YyXhZkZLEZc0PIm5zu53k+X4YU/l3wyzn1+utXkzqcxqe2xoxpUR5t5xUIzI4T6IbBu9WPZIXlObwMueHGszwpuiXOBjmnNjyLz8u4w98JoB3QJGueXOLEI8+N2OHQN9m6HmfKkQ0YJ49HvfwQd8cmfl88AjXBqZ4kNTwd3KQGbDMuW7CFoI+IbPHzu/CVKrpiKTmjBb9GGspmOCU4pFTI8xWVJvRklyelTctEMHuHDSzK6vXN3a5O4HIHkiKK3cETZ54kJgGSXuH73MOn+EPOLA51hVgzvc3HPuTvI9AsNQvFo/ARA7ub4kP/CPgPBNF7LrgITcHt1zB47o0brwnbLM8mxwivuLtQwSaRhR1pKy4L1uxaKooIKvVwAYlBh9/M8qhi46qZ3u/8Ge6NFb18H+5gQJ0YcbcbwwdHzIEgIk8/gmlLdkIrhultyD0kXd/7RlDQ+Y+G8SuBkma+aIU0P00jx0YSwq0OaOhMzNFVt7Ve3pMGZbmqLVl1gnM6B3A47W+39z47Jxs0jIGXJUFHYA1K4uIqP0VkTQfBNMcPIZLrba/O0JWT2PlnU6gAPEtEDd9udAWq7JiXBRC2bJ0UH+BVNiAQTqxisOGC2HX4+gzanDMirR5jmJSVCGgl+xZkLfQbU8vzRrq1Z67ijdlB5tlJ6+DnKlDG8EH1aDv5VbM2tYgQZXYKCbichv5QdLFLDwlcLd1P5ei5PvBpP+lS1EYb2ohO/ojiJrrfYYbybywxMBJ34hr+auGyOexoeh4qHO9luQbgSp+ylcRde5seuLkcOczsR0u+J/d4RgtbBCgXJT1m8teD2I5nXjeZUgZ6PW+SbXtCp36cKvi7DxhooGIMiPm/dMQlPfAtdBMAEFE+m6EL7A+QV9eABmzi9Bm6msi0/cfrybs8OQRttnuOhSkLj8V6s6s1ZeAwVzcaDDME183U3SKAnaWiXGZWeD7wf2fThVSOekeHkZVpcfuHPp1KsXqsEGYMNqlozDtsRvGeJjUZ4QJWSyxskdDOWAAGRLDdaAHZQ244CB2Vzks3FbEjoeIH2aVS9TunKHVYtyFcBq9643ow7O7dG106/1M+Gwns9iPyaFzbCCyPVpQiemuUvdgX4t2r38gGxpQCQT/mA6+RklxqA+CFNfhkDPu6AoWUjhGCrfNZcT8J9Z4DDYEHJLoNrfGsaCyNqGLjPzmIK6IbifagKygUwX1dWHJdDC8fDpKMqm/sUXm5QUhirwmeym1V01bw0kxicvqvyMidr/6jJn9bZHbiI+jPMLFbUKBihGoQcWaibJavANJyZCh7TPO3BjF2L42t2wannAnU3FKUPNvUxDPm/BWoNBnetRovaH0FXyTYdRW0ZlGHBRF8+bWjWOsjwze0kLyE8Mkm1Dg6XF9wQiIDKAJ44CyiSmYutxn3m5WvvA7eZOqR2d0ljKpA0dI5v2OiLbKMtpRTNoDD+b+XIrI4kQQijwlv05QG5HQFj90JkVCGvHzPDVLpmnjGLhWSEd1Jd0r7wol+XgHoKCtzsO8QWTJDycBXXLodZEionI+tUMPb5IRqYVM5tO0njVyKbifj0qlQPcNKiJE9rQPME+TRqYFWbcM4Xzsutm2kpCORKqWWtxOZKrmq+rtroR8srfChtwtpf+PL1jwm2OSit6p3HsAwbmnAZC86uJJRmbhEZma28QTDs2q7kPoVdlTeEOZZSW5gD4Z9bYOOfOIvRXhLY3IlbpcJsFEs1+EXJphvktRDQhP4dQjtgpn0tUxrOadpstTgepzNitEenTXVz3D4Ju2LP+kzQQC4F3XCDuFq8jbre7oK3ONUzovEQuk4rXvVxjyIrH1DDRfaE2AQzPGuJo1f6IjM9AsIGaffvVcL6cRIvmtgj2dN5mEDWr21Gr4cI5V7y/hY8fadrxmXBnpqNBp1XVKydCBWjH466SUYBRJ26saEnVSNB5GwIZmA5KaJpzH9Z7GMFNNjFuuZn21QEWnivrPNInV/6C5IovsW4wsEIlYjs540YWlklCXslwBZ+9gA14SfBhtT33mCsxTulbz35k2iDUuYmEGT7Wu1MaXYiUXChidURpPuweAgfASdAU0M5MvZ732ZgzbBN2VBGHW+trShezXafbNoZekdoCZq7BWDnU0B7sv9QT6bdMim769+L1bzoAlOGJnPTFc54LeB5cyuTJr3WUTk1VWhNsvYk4xG/MRe/3Nm6QpG6N3St/VMevgu4yWUJXurumM7jU+0CYksGwXA/W3eUTtZiSluwRQE0G0u/QE2DLV0b2Zij5Moj+oC0cdlEuHRTcab0CKQwW8p0PGbMNRlofgojZk7M4DsfgzWWpxydKuX5NlrXolm6D0EyMaHii2BTi5li1fp5U5OuNV+lNxWunfC09mnz3/OJYTAcEHw9K+3enG75iRhFMFcKLChgxAXrrG7Eu4xknNPJ/xvsCWsBTRl5Zjq7wbnNv2wQgwdAqxS+SKRO9EMu0gDf1bCcqp78MyntP4r2C8CSAL055c+OtB8UuLyzGqyCMWG5j4jSohMGuCze62xReMk+akMDg19gD+1LsI8wlZ8j4wPo8kQWEIfu2+gGoSuWW2MezUAEcAFZ37GI0m3A5LEG2+jm7gTjTK92dEuv0Kk8JfFDmxWxlt6gHsLLNOdbJXG1eyxAmPR6om21HUjX4vg5+utAskjiVmKuLQU89jUqqtT7xP6lJiZlF8YhIt1yXUqPOuMcPYjQdXXAS3lVN++eP+TldygBV3/XRgOXE+Msx5xoxK6vwRTwuD9L3SIKdAyKopb7rV2fUF10guk6b72c5XdBndazt21ccSt+3CyPCMk0/1En6dYo0Voj5ERVsoXezVq/Nb3TKD/o8L0BKksxv7Ul+UpuW4WvkpXo5CYA2qOGU+ds7fzWP8Hll1Xo8Oo8Hmkz1YHq+LgtDCXZLozNyODcLlucEwgshQUjZvy2zp5pX34G2EsscuZ437eJfhxpZbaPSa6M5PXKBGR5IDoUjzMyr6GaA4i8dzFKuVmzUNkUU93aJN/cD/EP/vhbJyu5WTNr7S/v2YAUhGW1Fi1tLgeSHXZ/qTWubXd1pP/vIWN+N1Lg2lROdlU/E1ZSAHoWi1Mp19YTZb0OH9dwRgb/1Tn4pnObSTmerN6YacJSlPv6aqwEJQ2G6Z1Mgrl8zkGfLJXjloIbXHgEpDAPwksFYX8gh9xov8HdOgbax/xO63l89OQBDK45o6LtmySUw+YabxG9Bi28Cn44Uik/oRhSkZVlCpfCL1nlPyJsnxOVEcpGq0PyuNx/L6N65eEQr9rR4YKkxu1/zw1K0ac2sHBWrQqaYouLobMnFW8YAURbcHUKspZK7AF7DZYXSnDC9CwrUOWTvCGha/LbvAyoFCrlR+nIDM3rR0vkoUfP0bXP1HUlhMB6B8H06tfXhe6FHwTWrVufRxkfEoioduwlUqfc9ZrX+u4fxNs02dGz6v6qZcH/REGyQSqFJv51PMRQZEHk/kZs//fh1dypQVzB11vv9h6Nci+JRfvce+oA98KMs4ZrWmC9MBngdazEFOlcGWZ0cUgG70NoSYDWJZkgFXdggEFU0Wf0kDMM3A7WjX1MmhDExjeDhTkwn7AlSdlsScfkR52vsQDLv1E5t7wN7Qy9GzA52iXcTKEwGY9yP0OxEOfG0dlxGwfhoaVMXadqoWcgxZUZCoypuV1E5b/Vhd92SQjOhbw/nX28dqWEIbHYVsZBNK16faLUaTDAh6/78gJwBEWLNvN2lxWgdvkT6jzk9JC3UCbgIxRsRfQ3t7e3hOFzu52O5QfdUiBAsKyRpoDUUkMQkBgFe0qzAmfRYqG3OoeMHP9zQ5n1l/TZrWOrdLPFKXI4DyOcs4Kd/7O8ItSuJHNJOjlDPqsYjZQfb31+IRivYnlegPtEYes7zf6ElU+brXcTmS+dV70mLFQmW8EZnSpg7J8f6UU6+LA1T4WA17hwfFhvm28yAD20yrqq8Op28wkErJYayULEJdv3zHUl3JLi74xAoJOW85HYMXEFSgq5wN/eZELoDrMG6zlUMP0+4StG5oU3oiN219tknHsfrnANwsUjq7qBs9eqxiW1oVxG/DsDE09OjRMb2RThEH/fANXSErKQLvWxTq+88xIPAgqA1uztB5j3LM+Ow/Ma4RWzMHc69Iyt9dRxwP9BzJBPv2aFKivlZdOps8cVqaqV8vQyCXjILx7zpgt6N8RXfG2c37ePsLDhVHjvmSn5WdTKcqYpZdizcxXr6gOjPZUN5F/wZAUpHYvj4Giif81Pt9pY1XkM+5gza7ygqBCj2dOJLln1RIyIOfKY9jvMGf2SJorMyw0hGjFmwwbifQkM3RraZOriDheI41RkqtvPGIb50F4mJ8pAxze+ONJu8GEj3H2RfSFaqhMV7emvGHaSPjyvvj6hp3sGAm+jzR9XWLX4fb08nRqdNfn4ZMJ16xX+P6DjKQOvZasen2BH53rr9P1alc7wj4SEwzTXmByfcW8xyGIAYyyLt2nD4pqklVt9S9rEZHiwDVE7E+6bSoQkuHs9cNo4d/RNY9rEAbcu0OHmysN4djbGipF9hr3qmMf0RzgXpOEcw0DY6x9QYI3ViDdZYQfe55ImRG4LrMB4utj5fK+ro26Jv4Ok/5zyTQCK7Dfxi2vvFau/jZuoVBFxx+pEVs4/y/BnPbAf3N6zQDjyv0TWkEr3vN2tRrE6qqytf5D85gjilC3LZ1xLI3TRxSSPk+PjDGg9qmtJmD9RQXu4XQpZt1AcCjO6h+ZOv4bEEhpJq7oWG4EBrR0lcpQaHB2R2G+1jRz/q+7B26E7ybnkdMAyn9qEla+oyHdLrGbsNSrPOqNGjNaGZ+EewGf2Z1G6LXO8Y3B7pnQlUUfABLspaGgJMe2/b9ZGpihzIJLDiEeejzLBIY3Vtr/XJ3xXtqpVx2FLvDkQ/r8wqq6pdgmSFxpgQ1HfyUV+TDpA89tWzcn7V34vs/EW53ZpoRJ3ztqmaNdOFUqDNmEDiJ45eF+J4MapNDlXUIxckihrjN+ABswT9LhxM5La3h2KrCaZ7bAkMU5TdEbeZYZKYbrJFdRhdOUrAYVwjgEcId2RBy3je1DCs7DZg8NoVmS3PEuR1TxNYpM4LA+3aNunKy1ve1A9mxwR7OOyal8/M8L9bybbAfYR7Ro4UoN3zcj7R4qec7lUEdo0YSsRtNSElqfHtsWMJErLtYBlScVgsnYhVBzoGJE+oBpFoGCMLZlLMPY4nUPjF/DRpIRB7xDV2YncsTFc6PhuU1X2XRSHp3yM3SZrSuutRpr3WwaHnYXuAcQgXwBakrRB0SWdIzmMpFlGG334oRZQhbQX8vZMRRA9G6Ptn17SAoZLkdVjpEoVnXA4aqDypNWZBb9HjDfVXzLRpDLfc4A+TQgvC1E9KhvPCKqRN8sUkalzkhwGulsehBN0DFI/bA9mKDMzUqTOfZ5NrAq3POSwer6OoRNZy6oDOOMHlfcpHWMfqNLJ3VF219Ta+q5QFaUfxlSo5we5e/AtZ6lgkcE8wX64aZR8raXPJCnhWYgNfZ2WlKnIjmBqG/+UicwkK9fLovWuxlAs51JfMmCl75ZyMnwsX3vqwg6eGqPGqd4ytfXcBqlOTH8EbyI1sKNnLitj823kYru7HwXxFRSUEKSiy7E8je735tlZbeqmj8CjryqemYf5sG197lKyQL50LHCdg2OhdxHrErEdPOZ1tCjFe3zYv1nIzKINCHQtHRE9ygjYtz1dSKi1bm1/17oLx5r5J1O6Cnb/njckn+YUbsFY+Uwxdvhu7jvHFFybiSeBtefOQ0+r6BkW+5md+/bxnyu0Byf42NpX3LwwROGde4LQBJag+BH9ztPjRj6kEVkMwijHYkNet0JP+tvULMYgcO9GzKjRlGT8xPe1aL6YZ2mssMmQRzcxfTWynF+rEbOYyfMYUpxvITKLQf6WyA8xtfFtmg5/qWPI0ziYBtHHMhiSKhqsJkN5vm2beXr/WZibqjBZqtEy7uekPZ3ZWQU4qnlvp1VtJhFEIzCPBwn17LjEZF4WmHV9LwavyrhTPsOdA30AOVyHaI53I9ZRpP1YDyef1onyoSqbUQmzIBHgNyzCYtdwmpW8/kdIL4FNVjMjRcOC1+sNc6ekyFkzAJ/mo0SCP13Hxu13R2a1RDbJmLJr4zfxtGlVvmKBdWscuh147NAJgrBikEe8DoUYGLqWgEXov6YB6ZT+CkzbTlOqq4xlQEH2tjHn2+QMK41ICBFfoFeJ6LMjwXtwNQNNsircTp/gzmBjfFzq54/m8Is9ymryLWuZ6ggtoOgiwr2F/Pxjq8iQamDEElGf8ONg2xQi8aKezLJdXQxK7i2selUO9M0YtCdV2b5xyoqTONZYaHPWSzlWLiVu8xvGbvG7AdFxOgTrcqmCdPnQV27cJ5dLKhijev5MVhv6lPAUb2HbJY8e4Ogpx2r15yOpQwEwKaFmZETQ0uRilQq1B8K3sOuFCTTft5ZVh8lrbeRppyyHjcnSX3nIs+9W6giESYW4r9iXQCMiKXjo0CuTmXPI05+SgNvlfrdUVPRp7KxgGZU0ClxRjgtrrhC3G53inaY+pyE02EcjcgJQX9KarFTonl7yyAM0LiX1xnxcBsQb5n3i6YChjrYC0kGRnItAJKn/8Yjzm+Eg+PRhksuABeT2tmvpNUVBVJrWEoEDd/bZSbgmruEgO66K2l425+7itdXpd0zxFQ5y89swS4KklxM0maxR7F+ga5KtSYB87tR6d/X6sZ9BgJCuAl8Wncdr0p69MowlHydQ/uAVcwRhKWtVTOYs4y5TXVsSQHr5bfRCWjTl/hqVJ2SPhdiXW1zpe6vOHKsi5V/2Bf162VIGlp1jyyAAXS5QnQuBem/zrYzCQyceg/4KdlSNJMxs2KCE2MIbBop0bTJonhrzVpI/MarXyCod8S/8SIgcf/y2fJGYDAKIaOu4ce1Nu5dmenwRTwDNtIUiUsFvb6LvJQ3kxjb5JACPZJ/mi0qARdkHlcihFFw/Y7dYmLdHb7t6iV5gu5aofqKjKipS0EIENcvmr34HaAEyMRC/5Y4L++Lgct70xWc+tg2cuxgXTKra7aInyG4r5DavQ97H91YI/Gsc6rjDjR9TRsEVXWto4IUbImgff0NAB+2H1bLydtMDkucs2A2ip26e7epa25uctg2gBLpJsBu16JIvGSExRF1GwmiEGkV/bAFcZg8lT/WrzlOYvwYnzg1PwQG6GHHjigvw3YpTVEqBftuut015cnYrLQQKERG4Wmuz20yiBInOK8ulQHVY0IltQygdgUgF+yhbKrrL28QdlHQXOW95fCNNODrXTKQv4jiVwRHGNEFpJnVkPAbDghM7CY1sj45gUFmEOst4yoaTsHMXQE661tWzeGlDzQz6SP2Xx3w8nz6vlHOB/wo5IoXfOa9PgxduZm7iqKGD2Pc7bLYUiLVHH/3jQ9mqR7Hx7Z1WkHooEYPdR2eGw38aUJhGLI2XvCzxDgWAYjtrDBoldZrdagv+YrN6QfJjXwxY/55apU5ifv08kIfcSCQ9KRxofzO16PPbXdqU0esYD9NTaF8zsZsS3KHKwYZO+9DadTlxvh2GlXR8H4ngrdBZg83evMgR2Rmux8uolMQ2braM6F8Sg6Rz0Ez0DTBLJYozhwYYWTeKU/jxcPwjb3c8PBY28x7jFD8vl0KU5tA1PFIQ4anKLFuX5WfsEA+hM7DzgVE3hzlKTJDk4MSx9PTAy7p6ZvBPSIo5zM8yau3TjF8Jf7skx3ZunDhUaEjTC1RNhwPH5hHW7/Y4CKds30iBurQhoLeexpNfkerSGYf8Z8Eiy1n1qBm83xDP2eOxNN6jrCPWIfew02W5T0oi0ROiTTfKv2NORnjC1TlSYuH4zoyUmsFzdPmGQoLRzfp7mqunP0eBqQQ7pyZ+FzDeLF/aTUmbdN/4820u6p8RfpTFaGsfDJRDvks/dwK5RYXNSel0XISKQiK8u3+XsRv+s8K7FiBDtOELAKIt95+EIhSDVc3wONEsWARwtNEROjB6xHJdxOc3DelbWO5OZ/e6mWe/6HfAYvvbc4tp3mMIhfpe2XoPw2NBeG425HwXf+npNY9jwCPXJ+DqIn1fpIE2EyDN08pxEb8scW3FP7xTnEv9IY4mJ/ZfGTUs7Sb25hfDZh1BYGb2qGG+79SZD285YUmMsf9gf/1hqKWc/UuhR79Hw3qFjGhK0t6bFeuTJ3FGlTLMZLN+7hno2oRPIysd4LqMGkWVurnckqvyDF+4rdMJ9lGK4TwZ3MqKpM2s2VWxmLYQuL0HJMHZGQy0XdoV5UWqesyvtFs2zQnnA6Ce6HKbxctWicwNwW5GdWZEECfJ8Af122HeWbxEoooq4gWPEutS4royxvVGV5R26dAVXv+BflIV6ySa7HbwrlElG45ZkzjG5N4CwFj1VB15HWXlb0RglzrWtt5a3qjjbsJS1Vdd3qHCVqk//XzIlR1IZUkRw2tyzh422mHrzuKWPYmMc7h/aYYSGdrRt2KONNXsfJlyaEh/KjRX0qS74XODOtlNBmfJMG6KsYmRl0zIi9kuii9nMVnTN1ftyn4qZpejqk8QAHL2vmIzcSH0E/dAYQ2VcDuoHV4eUkiSTel6DWpiI5CsuCpsJcoI5fRvKtiWEi/MjIdsgdhh9ZK9jdXdshS957BfnEtxJcD/5soUz+JNNJrv2o6A90oqKirDJRx52tjOArbtiumusRSkSuucBgcw8kvZSKxIv6eE+cBgxYHQqWqMdb+btxQz66ABO0312IKpw1+VPeNpmsRHMIimGvF8IsJV7Q8XFBuKGiUdX3Um6Y6Nr5A/iVXhuF5QjKC91mL7v/hUbizSCpNHs4dH/nPpv10mFcN0Z9H/Y6GFf+IBfzMmPlr+ZphQbtyt7L9ODfYBigbsdbm9qcLBCpFdcpG/531qNSQnGbR7AXGoBqKljJS48+6+I+3WVpa/ODratF81Brl44eGoOrCz1OffHbiZ0LVBjZ9gxiHlGI4qHmHDbZEFukVnjSqlh8TnUTGiNd3Zh99BH5rAtiJklSCSlzBqjN7Ep4WEmdH4w47wGQyRbPgWC1poIDJhcTRR6VNbHEjxqtg0uylAnIkq59T7OAEAepF13+guqOPMUahTDbM6b/ykOqYC9XF1ntulxIFIT4gqAt1e4/atW+0U/kYxFsbPrQG4jzXmkTOlnc9wdJZdOXKh8tEtRyyxw/OwTK/xSDMSdJvdfkeV9MSQMJZtnve3p4w8qxBha64XE4CXHMjl6FYrIireWi4y3b0u4No4c0s8ycRiAgAdQxcKCXkMpFIFxPibdsJ309BHIASzxGB5N+hC9xqWoMfaow5EluZ1KCFWW3ect1V0AazzkoEDfZyPk+W/AzBnFPpbv+fn3zm4Q9tUnWXMzffoC1V7F2WF/Dn54Stf455HR4fGfjGl6kCQfV4m9VDGehvWYHUI8MQ8lAMVLZeOiN9TP/2ZNjNVDHLS3GdEMuL75x0Xqi+DOiocfEcUhw1Fx697waqjOWO1xP06rHWaPZMqLK6AM4KDSR1NgAVJ+bZhF/4R779C2Bdrpzntb+j8jT1RuXV/8LQSg2Drj26GoTlTYk9kbOxK14z4Rlm2FFo31VD5h4ZJtmHTNNpiaIzcsMEtOSfrLyGhHEcgef2HwWFTZIZ9sMCRo741YntLx/AWXTu8def5OXuzaXha4qN2wMbr3siG0sMbHTTl21MdlG4RE7aj5BO1nJcTPaFs0JzznK6mU18L5GXyd014fkDp8+9oIWyVJ3/zQXaJzMvKnz1ZVRoebxrITIWHKmQpT/FeWjIe3grRvhlN7bJ3EF+X1jtt66eurC1v3CYtm+/nBs985AGCK6IY3/insIcQhGwcVh9cyMoTCP7LBRBR26c2DNUqNLGtG/WoOyLMDQ69hzxyTIgNRVjDna1WTGhe1Bnw5hb9TQ96470Z8XtzCnG8SfXNuofiRoX8Usblbwvv4fJZW8h5vwSgNxnbpNMFSQmJeSZ88/KHKBBkJUP0K0vyf1xVPaTYP3zXzoQVVC9jB5vDasCMzbwd2smhQ0XY8Bd5mXK3oj3p0ZGnAjBBrTrsWhSXzIo8LwQiAFq8MPQQVTDq4evCVtNCuBFDuchgAtVJXuCkSRKej+d323uB0p4RBtCLGbplSZB9qBX1QLtp5qFXvzorYQwXP6HLkc5BjvQoPIyEsZRQMDloxQgX2nac2SRqQ2ciIrUueJiaBoS6EFzGWrF38i7lf9eqicl9skZtSal0KJPNGZaslLxQ4bb4bhN427DY2K/INhdtkxRj+gHwKaNEWVtn6IqlEYlGnDBJhytg7hMej0YYsIBqvD+oZAPPN56gVQoAcCZEpS/WKBERFdMcS3m9CZHjkGH5knzFu+J3qnpi2TdZfRcFqTQhlb5KT2Qy52knQEtpycOEnfZUWmg4UaFpY3eWncBEP40LrUle4q7hb7A7GEUUbCq0P/xYzqqQ8Hu23XUAbAHHp1hlQoSdVcD8utbWNQej+lnnhvUK41j7XJmm17PKemZ6yNGH22UyWNwDHIDxy4ftRTosW3jxrY/bXoahD8d3/kYdrhVHCTTguPm1fuhodkMbMQPVuW8zL0N/nhel4meOkhWlgVBXXpjz4DqUgikzKv9o6Ma11YLhjJzejuBsxP/bMZPMTVfKYRiwiM0eBxxFl/muPoz4NHEWv8UoOhxJ052INXx+nCm4udBlFVrsnS8Cz3LH+c9cRgF8spmZL7O09jS8tQ+KgrZmFR8BghTxniOHgBRgV0td8QEvuluQsf/YAzLLdZvkoOIuKerbHns7ZplLEqDVUB097jrZtESN+PDTiEduJ32FN3NKkY0TLylrSgHcQrE5X2QpR7sGdF+Tjv8m8NErwqnR4gL0SIXICKZteLB0fmv6+TCv1FLPqSDX11N8kV68/VVLgV1DkJdlDFNoWdHTq/0QNn8rEkWJLou3C89utnOuaBuz9mZ20XtpJUURSAxHFtuDDY2bUNaoTue36Cn4F15asLYLQQmXWF/GfabZvZrvNPfbHCGCDuqEYiBhpKvfEQZhY2WMdNLml7RYy5pv9pA0seO9uvI6geV0lz+8MLXmzrqf2jGb2sPKcwAdDg4tRYNWrQ2MMFlTGI2pOQKrYlpjh1TAZsyuo7Yv0QLUpzqbgaWv5/7y9tihwQCXTfGUGbEjsMFenGibsOkypxd8elOWLhlTP98Lv2bi5mTjbp2oLLCAiZwts0LpbSUCR5zaYbm3blflfHhvuuQDWcjyd8hJHsJuDu6fUh0C2aLcd5afZ6PN1z6Vyn1FAwxouq7IYv8Q0312zI5EJtzs04FSqBB2plGrmAxUFj5GhStbSfkl4/l6QoPIZbakGR49qw76dsP8tHuLPo94y/X1fNoy7AmIG5ugZ/L+8r7TOYA2dbQn7YOdL3RbpxCyUPCuYakElKyCSbp9ZHwLZxMCOIaykk+chbVk0+wnkzUkax5vKGFBcXy/uZvh9DIQ47NKsFhhwF6KPEyunwPoPZMfvu/dWrxuhWTa1sfJoR0wPTGWNhWLnNptOdJkA/RALsRpW9Jw7yWTZu61UZK5YJytZH/bVnlpzG07XP/C4q7Ul+ML7dYamVCNMnLOEZklXoaSdwjZmYnGCiPxn23Ftk47kmTH1W6PAuF+eibWwmPsXc/R4LDWoBPHxPRk7r1Y3l9arD1fJM/vQjpavW3ecjWQvk/0OrJo/7xA2pMlNFJ7ILR0mNPiYqbwka5Xk5nRNdG4s4SiuSOryxIfQqOhJAN73Ui0IOze6SfVyjCeVY4v1GR0CKQWzTPQ7oj+6iDYwecnu84EavwiUSp6qSb8r8X4oY/zhIUbJi/GDCVGdeInkj+YWxnlvUDsjR1KHGOu7vh0TYlIgWiUQ/rcSbzph351gfu+D82xlLo/2nvMQLLIGq14cCsbd7PNukY5t5bdNo6TUcxhiDHw0PNYGQjg6skcJYya0q2jrmax18hFWv4IOalRCSK2y8bp5BTd3pK7Bw0kKqp84yMpwBEDZCWXQJ0S1zu4zrslHCQ/qEDdFHnUEi/RY08aVuqzDiPL4xyF46TFzOrLGOOrBxozp1Kap1arriNkuqCkJaZ+47syGBzeZHw8zmQOA69gShy2SYfcr4BNUCTIoRAl7NXnuQ/x8nk5WXBjBaepoNgaxCQVSlAM+i+cFF7qQ9tS1SEhMyoNbJjgH9YiD7aswZDo15g87P/L3apzqfJRBk1Zks1GKkglucsyJTEcS+nYs+RLGwA/QBH6VqNLXHasg9VCgx1p0UftyLOsn91fo3URCIPSCoY1Bh0fayejNcSwsuSLjDiG8mNSq+tNEECK+0ci/zbqs+nyWEjI2qc10tzjvZEsEIhQTxLzr9v4jE6Jh/rhItWU92buXd2GgFhoNwtrEuqFU2W1DSGy//5ffcsYi3kL6+zbq1IKJ5ceXwik/CkIp9hyZhd3nRaaikHdXsl1VfaP8UbdCH23DY2hZtTjNdVi8Y80y/lOISaMrscRF1NamItmR1LkItCZ05aXwqY67Vdxk1X6yVzpFVrymZgFejBp6W+0QJnH2hecPpA5K9VSAuZQFM5/2wANtLgGS1l6VCqvvl1bOtZ8TRN2qI5zICuCDC6/seEdrkoBJQkWRzDNzSDY1NXlPg6hAYHz9OObKmCdDwW4JFI2fnKHXZTadnp1+tT6x7Jlj3d7zmbXWTrDF3Al71rOp8w0g/ksWaeQW3/Fv1Kgwe83ZzmGXtd71BAT51o7gQ3QfSCjhHaIRO+LwNbx4px4N5h9M5z9YqGbL9mFhIOVqiAVX5EAxqake82AeDEN4UZi9KRlYiEI3iKGgVTQ86bsqd1aHS4gGi/bqfVIHr1BjpjaLkNJpWtb5a4ZEPC5KGc4DOTqLk/rZ3gtwAfDvVwVRBDS2WU/E/oyVixW2nGhFoyQxn7Ujilh6/WYY6bjxt2SpA8IVAVBNdN5QSuG3RhzqHQDeeMKiUECjyM+llGnGK04FJEQ2uCtirRO48/eUAKky9VJ1hbbC+SiRumQHPEBDLql5z3OU4fRdX68KJ4hKhE3K98iNPHwwiKk/enR6r5j+K52DrLJmNFopZOuu7gDynwr2WXXzDb9Sc+TtTk1oVicraKOAXhS/T+ZEa9nn75jAF4kbk8lZCq66SwFam95/SzpeoPIIGn/fVyf6hv/hIzkNW2ecx9jOBWCNUeJqgEF/ew2IqHJwUY/5bmNbe7hIkV3WQ5nr0I5ovPB1FMaBxm/ORxx7TcJiRtZeej+OIn+pBjbd9DZ5V3LMlpDUY8qlpetVFM9cHEEdEa6jHXjfJPDtavJ8AcYgsnzSugv/F1yzLuRxFb6oTKrVEbf5q38EdQryGefpiKgHB+RVf6+Oh11hyLQ08xE33BbDGv7+95C4y6PGRtuyPYUDcM7ePqqer8YrUwheTMe5SkmlwYzmd733n8KO9CSqx8iXb+VXvSFmNIenaVqdLcghWx6rGTPEjGSzTCVv2KhZwOjC60QS9iA7rV278eGv6Efyixj4C/x77J/dYno7mgD4aH8Z1cUBrVQ9dqZoyEU4Uwat3gU/pMeikhErdfnX6tIeGUIvXq+zxAuMVh5yOJJ0RRnZZio95kxB6iux5eg7yf71m0+igzVhPcaSS0eOEHaU0TipJDKaFjgGMDEjFZzmo+hIYLXlK6QGzpnH6+FO5yk9k+xGKUKXGuvI/s/iZWEQQatcfHkEVufy9SuiN0YGWTEKVykM61eSAgP9aiuy+J1qmu1Ex3Cpf2cMo7KS7wUxLuOBmtdH4fsNEjRRQdYtrsD+Hntq2HtN9MQfz6/ueHPDDsewL3Z1/v29p81xTC2Nm4rpO7xziXcumIlodN6PouL+EYKLJEhtwzjk6xMjgCTLYVUdjtPH73Qrn252iAK6HsUQF21Bh52fz8cVIs3Kc8Qub780GbwSEQRwtrrfoKkmrtFWFb4B8WxH6yOpb0ARXdlR2mKwPFDYTbPtCTWZwgy8bI+yBS20RrcXVeZCJ/CHhaoztuPMKcj3aLsG0IaQTyyHX58xOOgpUf7dlUGLwQadUcgMCTCOgxphPpyqt4LYmLO/uL9v3IrLk9PHXLFMBjK+xleeTBGIoJzvxK5imCuv+s9bimwEsXBqVVqFnYyx2BCCP+F91XGgYTjW64FVNHfNdkjeYa+IfUUmznaP35oLxzMuC9MWwGb88HJ8Zthp8ADiRmjI8ZR7tJUcB4D2Zsc4bsocfPnyxPb50GzPy901lKLXUTl9oxjmDFBGPWBtgZvJXvQklH9I0qPi8psVt1sO3jTck0/8b0l4mF3sJFfODIIbolMJtDTvNRF/zhwUuVTRmwDQvRJR645quv7WCRkgiLxjenJ+dcwFfUDJogeqKIfKh3oVS7bxtoOmZgG+HC8NvXtDupC5lJoKW6IW/LvyONJAck2Z6fhnn6bl2Al5htRyP0c18ne3a0J5fcjzBEUfqI3CdDtrZizFgLoe2ZgJyEmcYSph06t6Mw94+JOzs7qp8RrZvZCVIw9See9BVg3JDozcshaschNQGAdEfzJloVgXAUEDLuEiGWCPolno/NwJWdAvPQrZ6SHoxL2nHSsVv0mcNo4VNHUtUs9Mzi0wQqezlNJiT8TkeMzK9YsXOWNkeGiGuTnZPEk+nX9mOTEVoE0/bo+IBIPdQlZKmwxqYzvJ3INwdyJx3A08vPMZMcxH3BtVC+2NB/ebCn33fxv/H+JCBKvJo/dK/k4eH/7QPq5MNMJV+zA7Q4ELify0E46Nqb6gPNgYUYy5irVbcneWIVw1GxrE5QbDjEaE5RcCA0me++tbEqK+3nIuyMB1/GflTLCu8+uxTJv3bU+Oo9H35G4aL2qDAdsTgKD10d0ahSCZwNBVV1u2IG7lZG1Dm4iJ+rmW9g5sAt0oIR68dAdutZo2FmfVsZdvS+yXsHlwgqrUpwPbbWpsVcXR2ARaWs5/VrfmA6265uMH/SXNdjyZZpdMnwyJWCgMyv8wHR3pR4py8jQxJNWJa1UEkEZ0xH7w34ELMKKBJ0dDvt/BNACBP79fY51dBeX+ArpzdT5b/W/txuoR49PgOlYU1ReJ/KLPLV9UWCYAjrJ6EytRS4Dc+YsfDiRCUmu/4+qgv6StQQET6r3qt/Jqh1eJ3FrXddVTuYt2P/UdTg3a4770M1AsqQ4YFFIoGrMW/iTmDN5s7VR1ZmdQE3MManIE/wNd7ZZFkZ3zj00qBmNKD6AeVKP2PaEFyaPs/Vfrw9pO2pejjva+wCdGzuTPCNIM4CcdsfFZLN7dWDim/qltffq9AnrCdXKTgwPxGj51hwfvWa2s9W7eY+Z/3yoRQNFwi0yYh35akuzxEmZRGOC6GfdyS3qsaY3GJP36nsd+m9vErYbaC8++xHLbOuMzIyNpKNnLszylpPjr2Jy/IMtiI/0DNRJkuqj89u96mKZrj3DSPRVbPOQDqql80WZsJzv6lP3dodDMKq7ue6Zr/KkehZ+DKAiVXfSgrRsYk4lnu5vO3paVtVIWytASTIubILkw95bsRsLCSEJ0o5pcoYELU1qebRIfhh3NKyIxR8n7aCuGbE9TWAhzF3Wmja5CLPOcHMWsDO8JAthiAO0ndMDhQTI0CPR7+6AsafhnKgGlR038aQHBj1DYXpbs9IALVmeyGmiLhpWJcG9y0HLd1t72bfQJE+vq2RwI9BIZ6QD/ee/FrKJwKfT9fEAT9a2ObOGPU/HX4wX/GmnGtWut5ZY2Y5GG6CvV30+2duExLWdJyNBkiY+/3XbA2PgVVOjUv/wfJmRmnM/Mlqkk3qYpxyRLdYapULtGbHuHsinMYEcgXb/MJz1al1dobWIrMiTLm6nLiK0fxQ1gXrixDjgb8imxa9SAs7V76UERil/4StivWodlXzp1icI6H5ZLonCQyphJT7tHUAv+C3r9g/MgVZNipKkiQ85Ns1bKr1Eq1soIC7bRKPWkIGEaefYOvS028EeAXFDeSutEWCyU3nl3hqrxM3cXhdUVMKHUJXOEYYujBsNqJx1DX769kb+uCmCYKfyajIkQnYO73eRIzcG7uvRRxzm+a6tZTfjxCe5lxHdj24GD2Q8n9uDJlA0xqw0U0jpL+vgXQ2stvXXeAFtsqE5Y4F8TZC3J+RvwaTJt77dZTzK5Q5toJd+Oj1NcNxSMw6Lgzy/jZMRXpeVmKuWV5DlddwoPZGJfFkBl3P2t8KoXO0VpksOiqXj9v44VVZ3QEHRNwhsAiNKjyQd/Wim65dukwTZYMxpbHzOEf6fVFhiI4zN1T7O/6jMO0BYRHQTAh5dOfZDVXI1mWCUT2OjNc+iqgRKihLak815IiFDPZ/On5afCkYT2A38PAj5T4jlDlvuDas+01TXTH0LXnzYFJ/4CYKm3S8t7NIxlZYgViqAFLv3NpWUCPQ1y7gXmcWjppmHMFilKaXXDR+PXOJ/OeiLe80AHk0sK3jcqX3awslBH4zMnmQC4I5YtEZdU9wExL5HKp0NUBNAyRtYKjk/g4hGWfs1a9AXH9OjDTzf7tJu0b1f77KQqRqaitJS3IDIYknFM9bIiipKprlhIVxwc8lbd7neNh5CK118MB0ugu+7eAiUAgLkKAWGbshXxuTc6VlUUL9o+QjDDVNGrO/nwC3bGLp4cWGihqXXUMrpOxLqibYk0/k8NSMoTApDvkNAO0IyWWl2h32wI8Av/0lKjHNazd4YNLcy6R/7VAj7ocTEiY1U9e65jQNYuI1JP3HqttUhOH4aG6LtYzsvzws1Hzj2pYG3s2uWuFLF4lXnD0i6qSsvJHNAXbrxCjx86RISCBywvdKpvll/FiiWDnddyM4tDcSP4454irS4IjKs2cad0LghLYkdCNU9CUe6j9tY1ZLDC46T5l8G6bUxHUw6OlsebzR+7FKmwC1yFwUnVZJhSe5nxJveuZ7Tjb9+ktfP2oLHU8LDXW5/pUJ6D8wIlq3MgcEpJiigFz5sPPxaEkVEP81omp7aDfXeqDNxbkssERq1gJ2ELMetibjY4s+LHg2EkvlAZGkcjLuTtRwUkYuPdKKNwS9+qkEFAreKjbLm8YPVTvHbi+dvzyqv06kyVayLkGeTnmD/HKjdUDl0WrL1njbLOqtHi/4PkzlCO7rDeHxCDrAH46YYTVZ/y2Z6dUrMSRMMrOjilmg2Y8ZnDKR2b9s1S53AiSUui9s3q62LgXfKisdz3H8hIIT8/tFbLiBp9xbLjMZXfKDdElgb3en6ggEuOk7JiY1OeTMIMyxruHmF2EEWx9wXwuoZrYYpvPkrj8QiqtXsb2tRIQUtg5SLptkDagRhG8cuIjixUJeYUdRg+GAe/fFi5w5gAAQ3MBkaoXIVbMKMNmBBuGNTrcKLLgvl30IEQHq0sx8g2MasIj3yKGFcusaHZLGyGmveIl2sDtaLeXZ8lZALPtoEb3U9Udh2AjH6JS9iNRAhCnqlRG/m532WV8tOivr4D0Dl86PbAbz6CAtqBeOd6Mr2zAwfdTBXg+9WI6C9vrHGmIobUU/tbuWg/47FP2vAGVRdW+CaJy5ELWVdkimLWF/McNPdssrq8uL4vwV0rgaEmPUDUAvLR1zRyKbQjVc9GPPtPT9L5mjfNvs9zlZVTTspoL677oG5RFEBA6OVmCLTy0vmLHrFuzYvFQfL4xNQldmsv5tyG8oVZaY30KMva0gqsyjDwbxZQpMfQIY5mIeYqGcQQ6Y9qRrGu5nyMP9lo37SwhWuWWS74mbCfw7VJrw+Do90y/rdkhx09IYJkjMvnXzMOGOtWEXlK+NoRLXQi6cPRjqlYfJxd+Xq0p173y1cG4j3EgBsPho8Str9pJrUPsZj9tmwkS5DEejViYm3/74EMTH6jRykcFcsPUekYCiXziD8/Vm34AxuW0WyqD+rPpD99SYP5rsRGhcUkWZShQz+fhTs53MEXfxjL559NQa3rk84daOuif7THw3m+Re5/28f4xXAQrlAm9nkBMV6gsyHjfMDt4LiTZ4hS+fVNdskBVeha/pvJLqp+By99Crs6IGvJimKKe8d9BvrcFx/l+XRvWfyb4cRuQoDGftSsTYQmq3JzNBSs8go+Q5yZHkkKQNPlCmXrYeQ9RIi53uNM7FhWhIVJRrEW7D1ctv5ZAT8oA0q8zfhdSpnGVsTbgwQ+X+yWRtGhdkDUQ+o9IZfKCF9EfPCwkML6H+zscIPSj/TuWJN4Y6zUYxLbzK9yqY23DeDae8ELcDfKHWP/JMBdzo0lSvhqW70G7Kl5AmYTHEErxM9wXN4XHYrSJNucIy4lX6XKKBzKrtJNX0OOhLjZuW0Z8+BeT6Oo4Umx65eQSF8SnLWiJe3YNcH+1Y3gXGXgeVGKdMWBnME0kXgCZvYcMtlAHvPmtegYrEX9SW4QtYuipz9NecX7amccOaX1OG6giUtQK3a6zWY/td1M8U/+q6wyEIsnpAF4+oFzCzDU5mIihM4W0K/XqOZwEzial1mXrNBKJ8M65AyWpR2r/mC6m6bdL5TcSaYMS3utz8I83yvwTqw+41PIjeU7ePS1tdlWbfKlCtD8iVLBjcM05tJSDMP9q5gsn+MvN2P5+/juckRszqFdz8Myu79M17a7Egox0kV8zAeN9fSB2up126j9AWwPyDUsGXigYHdYWnnOXHKrG3G1hAz54yqQ+Yw+lLHc2QHHFxwsFyJ85QsN4GZspcKa90LE1lHcft3XG2gUGWRBWsrVnswa46aD1nIf1XdZL4Z/2Y/3nSIkiTtiwG9X/oYVv3GWkudmugeqHo1ffsNNxyM1Y/lzxC60NEeZkgqsEZxTJ4uJLM49kOUKU4Lu9cRXDJd5AQWkgWYJZu/dL8krnZCMXnCmkDMu9MTTEOZiziJoEiDTfEypYSGclM2ENfqb3GtOmwUcN27EaeoZ13Bxzmv4y68IKPVmtsj99ojAYXCfKOkTYXqnaAdHKA7pWyJdMgMCx++4xjTRYPprUo8DK1CtH+f4+82FFTyKauzdq+rf2bVTEu43WUMa43KH4cWxZdnxMQN86ZR8xrciOlThXr3wcw94iWrNL0Xah5ihkdTbF5vSvF+o+bOrbX5j2gcMKVCUn9IrMQUoGs8F1z47nXg7lDZ20oMTLC6OoIRQtkTDH5+V0bWmAPxiAkonRTFX+eM7PK4Z1xKg7+cLMDQUJQH/bE14PDgCHSUl1IyjNgrHTGsOksvkDKaNkpJl7hNjQX8Us+ds848KLrSVPUlpYfyXr8HvvtL0jUpWpypZ7Q5BIsiixAZ74Ed/lsEjOFONXBFF91rT9qgXKmbFHfRDAVODxRPdnFJWq1VveILcLFc7r65R0dU9MmDFaKlyy+thznj1W5ca3wP2yphiBDFTUCSieAEIyXk2d30NtsKdYkKjhkKof4VoACyxjKmMkX4bxrNUVjCJHZ32P6oZqkkxrCdKYraYSzYuBglu4TO+z1Hy8poC9ytmh7d/d0+/6xdWhQ07xa+TokWpsYSeehh8HV2BmUJ0RxY39A2k5oi4YORJNavOdFFl2LNTbNUZk8y19uGzevg+hAfh5Vtr1shMtJ+DayR/gQlT25hO5zqi+3HCju5wmPAbA9ooGSikf+raVBnzEH19Vqh7HYBYl0F/FoGjIxs9vwVwDl22aAyJ9XZ9vZbTRQAur05ja65TFjmU2QK6hMxtsyz4XhHyc8Mpa5yDFEyinySKnoqmv+GGZnHd84s2+91XBL8KAm82SdVGVU6U0mqzG9+/sRQH19V2EkjMZdNaGbpmQnL9oR4D7mHa+dhk7hq/I4lN5rM+Lva1Zouk14kSCaUxTM5zXY3n+PgD++60d4dxcTsZTQT2xkBJlbID/mCyL/m/tAezGsFrWZgtOXTxcTxZ37aZunWlXQ+6kyotwKu2llPZWYT4MG2yPl+BgsAFTeit6U54VVs5spu+IUO4CFcyjmfQu1eRyrF8DAk+IY/3G3+Li/PCGBw44xDrc+zqdGzrS3PSLQGHt3AFgPbQATuZ14Ek9MB8rckrDNzIUOswP6RYsmsaDvMvf3ombHJ2ewhTnh89ECqm/ro6ZgUBqWxUZyAphznXUwJneHPu7kLKhPrW4CPVRntARZKlZMwt+hgLeIhSRfE27Z5cPL1DAH8VtopLI5voW80Gttvbpd7AflSIY66NBxCJAOE2YBLoZwSWz+Yi4IeXjxjOeU0uwr5NNmehYK/jy03i3MOWeM6kBd+1gQdDuNvSromHu8vFsJEM7O3n8by+xMKn+3mFKN6Ygn60Rh6gXd38dJFfF35MpdnMhKoBuAnuMMAX6Erg4mnTUQoFcp+vmp0F5DmvtGrfaWtRLFaUEiO8M8Ova/HbyY9Vf8ci3nDZxCX2G+JPo3DFgcHRHPKfqVGRS8B2tQxX5wYxsTK7WltPd1dWoZ3ifXm3J0BW2Flq1ovkAvOJ8l4MN+bf9f6tGjfJsUGakhRjy4Zrwf7Jw2szLawub8hC0QT3R7Dco9KEj/uA1Ns/iSmAydBiGJvVqNR7IYNuFP+zj472N+0dIH2LZw5uTbTMPBxJn6o8py8APfu1csVV/X2eYTrTXPOawe0VSUA9HhH7fOBSrTc4WYNOO7sNsTpKF+rVJTsqNVQI3KGyFsBY3nqEej0WXm9X5C+73JaWhV6MGaBr3yqPSIcwooAUPe3BEFOd+OaLfsYaGMxHEjbFlZq1+xhoemHQRB0d6AzDQe0QkYyCNzKx8HeSSxc4oj0FlXzhPPcwzrz9ZuVuGVltObUk8Xsh6Ez00gBTI2htprEXNgBGguq1etD7gK2M2CnAJ1oSds3mnJRIerfpUQlN/S9mYlsXoXPgB8P/gA9+21Pw/uhvfcyzIbFFaPrXT9nJgSdj8M4aBa71KcphV42xtiD//3abmhNEd8HhjXYVwTe1mcwWUqB6KHsZKSegHsuXhjDbgO3pgqM9NeqpHBSQGlDJ8NbSEkj7+YMwPsHWRnhxL/gnbQ4aFJ5pqJgd4nEfBDVMJfoFDsyg12RPa9zNNwcXUEcXJwMMgiE19lPZTZgDouM95Q32f+grs6qHvZmW2/ynaIvN81354Js1n8dei8tt4J+q3t0aSlKTShti7UZB4akICcesl0ZqacWx3H9VhdqnUtqhaAmTa5g12ZUSjxx8D3/sgqmEbRjNEo7b+hsqopG2uw7UoAfUChL+oRXPH/WlKW6nDydrs3DpvSpTd79fQ+LgsULR9LeJaukcG/hHIAYQOXWxvvHhzF5iMSw1iugM/w4L8jNJuOA77GpgI3PVDR81lGQwKQfK6avsC342ICaSZnThBTQWULrffkUssz/r9Fv/7kVwq7DBIGs+Mp+1YjGz0ZP1/gzLzKwlqxj/KL34esk9Y9BsCh6QPUiByhCZm3NLSYqoa7aWc4MRf49KrNK22v8FvVTPPZtA/B8P6SseJlFlGXs12ttIcgZRRCsmcUZEewmDb4HfeVB6236+V2mjbEaNhdMDpkiMjUO+mzmblsdd0gHKlb0WYoJFSfAZnrYuAo3KjrBDkfc7Vuxuaua1EZXB5SAccAcvfCIBqcIVYWWtHulhwcJr7tklK6RSGPY4W7qltKSIOG/B2A9JnzUB9d+DPSzLyOPAoW+6THdf8erD8+pZa4hWDAVYzJB3e5RkWAsDrUwnx625wg/y85RS7+IrRyTG+bFfEA/P5DSAJnrQ2E3tIz8+KdGIatyBlQdagcwD6CPQEwrLjcptPEmLD8/CHVxph1OjeAJ+07Nln+3WVyMfmYe9Gnw0M0g1hJRb5KUJ+OtuyAyAFeFT4imnAcEXQ2/VbA/tA3r0mwYEOpOtg6oMuQuBcyRUtED4oktmdGkKPrbmOSZn5+mgi2rru/l0i4W4REXM1Hzx6gCPCIrSCjrJwMIQc053TLCtajeGPhHz/7IQQ3OJcyxehCVWQPlyhRiC+I4g/Ox7TnccEqthCEOks8TjnuNLUWtTG/c5snLw7Yp2IdiDT9cHJe3DM2jSEy5aF127thIro6/Hur0fy4emafGXtY/WnAKBoXuCED9a35hN7z/A8C8d2gQCVLGrsy7vfRe8znkQvuW4LP20j7lHHFc9e1j3UDedspM+ytzCITkqMgfc1IMIvKlEQ9HfcGOS+sUHmw1ot786lr9d1PTGwCgxqzJKM/efY4pVcxMWeLr0pisdX2b5lxdVze5RGlXl6g3yUd24yD3oO9/O0zA8qrjD7X0KXJtr8ovOLFF9/2DUidpgjkD9a2Bnq7Zf/fJwvGqenioE1KDSjnSVQln54T/vZ489Sgbj3m7G+mF2k2HbmPMJZBQzLsXOwcairrw3mQ55q+a1LXEffGQSxUFKHyJupzxzDBRRWHHWhgQj4UUov6mJ3Svx0cd/uJD4voumclkIdraEvYVu7M64L+18vqb4JqybqGJEC2+cC7Z3ZkqngGOqkwPx2o492PGXiSPpYWwKe319agxHzSMI3oazJYRph5H2npgG/v9XGjKnuR7FuYHTRHJN2DLGhm+hWy4N48WiC+KzfjjahUaeWufegO+twhdBqBcx7O0ZbMu9yvEOnI8s1khX20JWinmnz2gNMHBks1o20c+xKGIzjSpSGboVY70A6KpUUwe6gDb7u5KVETxDN+x48jXqTFRWA0O360qnuSMQfIisTAD65q/Cr1Z07XxwpB7wvM/O7ANP+JD594++Bhi/NcM4dVzAtkBOLh79HSjY7UTQMzHRX2AvlXVs4kAmyAkzu3lQ30NEZRjrWyWpjOwUC6k+/yXTO37HswefOtlftFsQJVlPeQwvY8mCGsae/PyJy0Z7PItCEX9EOwwJEuSRNIaxb5TsrutUxh2jMJkKiEOMlWOzOmm9zvWtyGIu5bvEmJuO7RU35bBO8BarosA55+mOCY3LwqK5Q5KHFV+4NlWNkvJhTK7WSVXXZVYAljOqDzC2ANczgAtdpF/ohcRrQ5C8uH7/Aq4pn3aLqBAWmOhrg7itC2zECvVlnMQ6qrQcTajOZ/N+jZiUD97nUqTYo2oQhm4Te6zb0R4QgdbkPu0B1Hu4fykcFssqB3itQTwgXHoQ00jhcxr2LErp8Mrj3WlXd70N5wHyLuRMpk9hTNW03QGLe1MC897kcxoI5JUCTHbiDdSQpvgIhde0DXtjKtgAfkdB2e9i9mTjtXkqGuMaKgLoYo4qf42EXraVjaHxT4VrvF+L96CIAzqKQr+1MjpltVFxZnxD+8kdLtycPtFO3nCSqhEiaMSrk6fPD9UOoJNK52RaG4tfkP4HFDnWt6CiJwDXMNZuYRRS0/2Z6sBwqFlH01j4Ed5H5G6b2kX5jMLQWgqoBPihx3D9pcmAoE8KwvchLNXYiNBYpziDwT1mNY2WimZlGItTZCtmo67JDIJxH0ux3WCBGmUj/jFX2UOrZH5YlmwGxnr+uzlXGfiNE/Lk3RO4cMsBL9rDGubGio+ZmUkz/qn0ivAeGtO7x2mx8iHZrszTe4pYm2/8Y7ETumd8ss6z791C4b4ieXnBJDiDcA2VlLpCJpSWgHsHzj7kBAM8V4rMcI5bAdTdoMNXK5LF8HiRzm6jYFsnXHe8WGbsBdqg1K5p1JIw/V3I+L+0ZKyByRPhGKE7GKjCSEvWNFa5iqwb25QlYiixXFZbTw+9CXXFUonANWtiKckoovqEzhGr2zt53nuI0NNrR9XHFoOj4LQa9L6TR2/JlhNZI+bcLLCPu1SqgbWTOe4Rei/kCC4wRIQalyzKLt/tv8rQIN5MtZGuQ2WFJCQg4zj5lHsmHKOLPwyta+PFp9g4kfBRJD9q+igZlgH9sg2aoyReVJud82fTcnrjgXX0ye3zMI4gf1SCyN2lKs1EdeDNZKsABcYF6b2FJ1R1gnWmiE5UodrztdojybuWYmFe1L8PLt6TOhLpnKUt1mqqycZzHj9xhaB+B7zNrMqr1NrjsXK3dkL3O97iGkVyb8GDJEQR/nJFd66CrTJvKegKx6DR2mHZO3J+YDVCB8SMZcj/0YUnRBJ1Rv7+s1NOuon0JdBt2Tbq74Dzs7aN/MxrGmwDydb3td+7QwbzgQ2N/RCFw0TeRGh2YrtWv+vtK2fOApoK1mQAGftnlg5/dIT+CHsnsr7Q69W8jJo4hOdZFU1HORaXLU1nCsn/1yGvIAvvPv2cBoPRVnmxiB+LT3c1Vc2644WPhZRXnCFXoa8PbuIko7GJ+BVLPWaw+p97gq8U++4vMPV/GIxtfk6ohUCNUKEPE84RH0X+A6EjBiXrtw9ZL0Yo2ipr6A5ahqUmy3kUSHT/GyItnt3DLxLtyc3/4M+Pdtfvkn9rHWnG0Ms3tKMV6v6nHKka5ahgMBMYzpA8Z4agykUDbSiNbGJTKSlX6JqTD6p5X1fFpzB1oT5wL9ipUDvgZr2VVfnPhQ6FdwxUHHEn2mU1TLXAuH9pLlWB9qHdmvSiiNIkstoi4dFAIN0SyK09ndOq1eKC54A2zerug/8B1MfEPny974IQyk0pNlHHN0+SjGOsScpbTX22syesb21RHZhWMMONic4Gb5apYEVKuVYYzrccOjgP+Xb//c44QGrBWfagu0NXUBiPngV62Izo+kpPQQc9lpmVKboQQBmHoe8w5H38cfYezN3fjdvnWmvDXoEyZi3vLspf6IZE7gpVPT2jfLI5tjM1pf3iNeEHws0FrYhmdUNr9TNRJj54giYorQACeb6PUyIBNF/iI0PJuGaYZ0qMhAQhWygVHht2Uj8AuO80vtBgLE/fS3xcRO+3cZRNH5ewjgo0v8Y+t5m4tsrd2xwDrINpDIEnZ/aTJkYwiBB0faVMUZ3Y+1yH2Ob8Zui5O1Jv7dbTTDvQTu1SIl8nEH3jnX7/Oi7lSw8CPpJ4heWwGDGy4Li5gHJzQ/fe9Kzn1/N7AqPoxfLNx5qyq+EcBhJ2OGnS2GLR1P74hgmykNVUay4ngXoSs4C1HhHQQ2/UBtxXHh+UD9JM+VnbvRhcJkTnh96rIvFQ5vkZJ4YmPr6N9ePgtXZIfUvV/eE//i0WoRyzYYdZtUV7qhYADS2we5+H6SLLTnFcwsYUJqNeyi0UyJDIIGQzQ+gcPLXT2ik2azc6JfPt2s9q6Y/JGUDhRJVanC/CLshLeSjJbyYQXs3jKB8F+Ow0DtkDtMJZG2+xhOG0/xbjfZlADeq6+HH1eGVUWUBt9JxsrNlc32swrAty1j/jLRBhOgYSQ7fa/QYlNRtN7q1JKSLJ0wZ73XL4kUBJkh4U/jxAYpzMNrv3EmvMPWEYcuH0OPEhmcHrjubKjyAkFpbriHotGFxhx+5d3M6KTzLAQBCRF9eWnUQi5hBwDJxq9YW34IEbmaBno8AySv8DJ33YwvisvDadrCupUgm0WjVyK/xv74miWosLzoPihrtXu1lPx6S3Fozwm9Ksgm7TV+eUmwdf0NYPUf0k7OljyCtVudC0i2xBsWQpPP7wY5xGNnW7Y3/utz5Da+SavCxGUnFE5+kxEOOzYfY8JWLW37mdqiuGRjdk86Db/1GaHJumLNUuopOw+Iff6CbXlzQMeTAKTpNv4JkV8Nd8onteHpsZeBi67NXXdniLsJGXWPbsW9fOtPLe3p041y1peNIjB8buPqKyyjSzvYUTMV9VkPk9OzZSGa8VGTq7gJojkERULdHwd6kZ3MmpbkNvo+loZTuNFuWNnTb61Yyx8ZvYTYlkT0TpUfYX4kTT8WsJzDegGgttAi702TklVEQGEYi2SBdFHy58aQXHz7/MbcPbfo2WG0JpX67TR8NC+a8nUfpas+RkxrXifUN9c+Z/iRnR6KGdKT2/7pbowjjBabOh9JOx/zb2TyM20O1HuRI/Ca6dxrz7mmiiPh17ht6lkXRiOm4i1xirKRn3I1Z0McCO5N0FuWoTENxrxQkykl0KFyrpQVzTkIqqjMVheeKRizFWvbEv/yroz3j/Zf8RwIn+EeRozOBhFlPGoXpt/eX/uZydg6orxXE5nwnW1Jy/ZuWnGjPiKcACKgiA6O+mrALnHHRZ9bNCol8BEKLz7TlNSTJjmj7n5mFaiXt2tbUP3W+Z6Tt2Da/f4Q/cE3Vr5CJVsvMBteD9tgxW0xEC86mHbDJ0gF+SNPtj/+tzXn6AgnraP1xg/6Al8nPg5NP9KQRDNj72G2gUDNqUNAKVfxK+yiDQKnkWeJ8pLHTXCFwXC9RPKP8QOnuq7WydrWWHjSpp040OjKQbZG3LlWZLEbY+obXPS6WjB819j6OOFSbZm24kzRYB5H/DkkH1pfFMzMTNDqrqXWWRWbiZiRWHjbG9+a3lylNoe10EpXrvLsWlRv5N1OiaNb+iyAArtHBETmeizorwMuhgcDfUtHxxHhSilzTgsueohcXimMjIYhoMZZCpS1pe+19M/ke5xXiAkP4tbrRriktcSaiaNtmaSnBR+4XsC+Ao97C5OeV3B9w4aXTN2+XJ0t2UGuf6AnitBAnmCJi5CrqeBBxZQ5bl8rEirUZoRsphZ6UV9dS4i/WgRKBYWgeGpbdRoBMt0lRuhQQlAdVNdwrB1PcgZGcqYLfFvmH99u/WtJW3ze5hIGhKQ5ki0Zh3hPiug238E7MAMbnWGmH3ZVOrgN0WPLBwmiR8Ej//GN5lJL+fSyXchoOCJ6ghjED5h6X9OKuRCBsYax4q+3WvGDKnPA6wp/MV95kMURCS4NMEAiqDKI32k3GPX2Pod7bu9YS/omUco7TF1Bcl5yZbI6v31M+MUNpvwnc6ZuCeSw7yRVA8I8Fj7Uf7xEX8HZia7pnqVpyV1Fn53BOnBxp8FyXskTlV9lTabdjoxig2n+zA655DmJGBWIKyDr2Itdp30PJKeo8JoHcmPZTP8qwcJjBrLY/yxEUFr2kVHTH7YIDd0jwNrZv3tmuv0BtW/8EurI1vB8JxLD7sqcYHKl4vsJ+0SENCdOILm410rs2kpU4y3oHOHQpcU3q6Ufl1sBQ/XcCGn+ag+NfU6cc+SNmdYy6vcVSyReUlMmqhvNUFQ9AJBAjswiTpzmEVcdBz5PpBTiCZSg8cwZJMJ9Zr+psKIwvR/xD5gn9ZOvAtfKQ9yZK2lhECTDGrd1ZZeFLH6aq4zTCPmc43p9GwAGsIDmUVp96vPd3EDo/Pv+2ees+GiZxB5iHmguBUHljQyQr0MOIIWy9KR/jT3SHtSMvPxMx6qc60rqzxpqtiXTqhdDyI8bMWK1hgvDOytZAVFnwXqLwTqig7922wRea4bgeCbXQIpEtONC1/2l8dUvwTvC2xwX6usojt2J0Ee6ptTX699HQ9VM8HSIr62qQm1W+OkIuyn9yvCW8ZNxr98pFCdaSMwajXqEBCGIM4hINowzerhXK8IaAMaVhbdlFbbaMvIaegO2NzHU7yDvo2dV/d5fhqgN12QAcR8YHWS8h9XhakHZea6er+HzAlMDXhcUVipEGzilSA7jgLeW3F85ogU+DlMQ7LE95U5vGj48KyC+blmtS8yTWJN/D6WTYqXognBrPTYmAtz6O1cFV/ine+ZoxbD9NF4VftuulL5sbiTzZYTh708ypjIQMjYas1WxtqimOlvAv7ULSA4sVx8HtCUIav1ir0osqE++D50ObHUemUcRrSBh+wJ9KZHElvo9dNL7Bc28ii+lp+YtTcCNcYKEWkPu1ah7pw+M9eCotlF3eVS0KBmAjZY4hOzXL+MPYwx0noHZmClwBHDfywo5rKXdjXQCp0DSnUku1OO4ZS0qUNC0X7sQVjXCoNn9htcg6pNljf/HTnRlOIZTlkeyAkHocjqdmWA9OiJ+J4oidmBgxC4EaldRqUJ24AoRo43h9JiSy53/b9Zmy1Z2wR1wk9pKM6532fTMrFJaacPWby5/iiTt8zEGtxN9U9SPcf6SxuwA3MYIE50jsyOOW+XA/U4P6MlXb5zgArUOJUc6KMk97/Ozprh+zfKN0QgIXb0pifcW5hBWNRppMN/bGh+N1Gn0qNSUSAqU4ah7EVMDZKxT4Snkqybxr4uyZQXJGRWOIKKUx7qGmqHOQ4F263vRSLFDDKYc2ZLydUgVSsiFxkeMyY7ckKp//J7k+j50KHDn0TBJMd65zIGVOPv9h8M/tZ6m4z6asl3+6HlUH+G12KQGkoEPmLQOV0HhvLk3vP3xGEr52XRQfjaB5G/T0+MgOvLAjWzl+U6dnhtFMoN4LJQVYtX9+H2invJ9kx5oIt+zMBU/8M82GtVGYtL8vEZjubPieMXM9IZ9uBlrqTkJR0y3K85TfV/bzxUNSP2KBM5C9WHC9ppQFmkmD0ie5YEFjlpunxy0KtvSAqm6K/cUVGfM7jLY9odqbjti/pd9bZJRKueESTSXSm2xdZCrktgNkWY4KUonnm3RXrbn856h12Vee6YcRQYMP5dDT5yTLjzqujoE8RE+PUbur3kmrpAvFmxHljJpLP2B3bGKI2tY1Yfta8S+GMhxjHfRxyP3rpkTUf4P1hkXgRVmAdF4NRZS1PCyG7GMIRTnLGBy0BkoD7TM5tzUaP6JaS0Pjq1PDIJa623X1zDO6SpuSv7a3oW5S2DBfQVc8AwqrEC+Xwj/fJRtSguml090/BbxA1QxxxXO4stcPC5qYuUKNS4LVb2k8Xfc53n4I36Hr3hZYxkXpTivz4vApw+SUslY3pT/Pa3v7Fuq+vJXj0raBDwlrp/dkKsHXaaC1qkv0LwTEVWLY4aVjShoWVVqkYOme8cshqk+WwRB1ZBAuQfzq2sAhIFafw1lfe5IFle1x26njQRIH7QctW2CVxD+j/0mk2x79r8F0WcbOWiOoks76mrvJGzwAG3Pn7V+1b3Xn+fLKGTsy2CCy4KCjr6MOXXt+XErKHDPxWMYu8sMX3ciZRkRLPEf3gEF+MlTHc7+0wyOIVceGTRqdwnlcvvSnls6Pj3RaCyff236GUWl9C396xz7CY8eHGVBEeUydf243caTRXyUu0YqgB3SkZGJ+phB/fIqukrrWPurDvPNxvwZKzz/k/LF/gYqfQJld4JDVJV5iKZQ39ldAzbzwUSSr9Uufd74rfHQJP6J9LLpLQ82ID2AY2hLYfV/MYuDv6ihzgYM/G722zQUvf2CZSe/2kRt9L9KHp2Nni9cFoLn5OIJ/qfzef/Z4fzjx3wKZVtb4ixXhnnDPxWtglekh3lFH2qPG5G8ddOKmlhyLOn19y0yed4uA9cVRDyWDtehp4o38xAedFIkRXz+BS3eFt67LaCHPaCHlb3l8JbYHPOmfYUXjwRFNIDYWYyt2rYG1mCPLwL0XbNYBM8GBK2jPbLDreJPmV8lkuvrpmdChFpV9Gc21YLs/OPpwEcOLEACiXBCeGaG8zGTpco6sWz+ZoK4Kwo83NiIg4sxOBaT+AG/Q++YvcrDasbKFFO+1Yf47rQp7xPNdXxcxpKEZDuEiTglvrwXjmVz17jIYTRbrd8Z4haav6TA0b2hIVuOB7Q5eHhsrpEBj3LBF4dUfrQQajX8vEnaDsPGu2IU5j6qfh5edeGkh6vtd8JUUFdWfxDco2yBZ3UWBsreFc4VeVQPtekVyYqUvu+/Q1pLGGcPH1X7lOCQNpqEZHAgFdHOlcchX4OMlb9kXgbidUehm3IqEXYNaMWZr3lc/dkV2Cc2QT0nq62eGq+h26jH18p3cQBdWNp7LkmHHmPpLto9mNqhle2kLTAkAJEaatpX9X5A8ic7WRQJtY0FgB8694dAE2n0tA+2Qy18yJt1h/NUAEAK4B6+sdufS7qbyx5dLjo8Y9Zy08j7WpaaqG/QUyyZrxH04lZQWGkv6Wr4Exky4BfYCMEwKrMt3GKBNKX0ggNLHSm1Qqlqiq+ZhYHHipFQ2WvrBL33Z9hk3Uo2RubR8BHCmDo9W0QDZpdX9TGo5Ijywkj3VBVgkKbvqWRLfI7t+iKkAAonqGTv5fdKdFLMankHd10F2zzAcZsCSTMw/7F9RF4IOuFmEYAaqEW40iQAmQ5G8gnE0v1mgQqHp4ngnAV27Dt/xJYa2vNDgs2aGWMJ1BkQ6OIDITh0XAmFv8UIYsptMB+m+GfhkyNIJelmuIIpU6yd0shulp1ci0+S7+phnqAmYhDeXpTFOi24jKmWi9KaYMAUXWtglG5cUKeg15oQwSQX/Kc7ieDYMa3Mb4NzjwQMSIzXN/vZzJu4KFjEtmnm9gUULolFGTbGLgSAnbNLRXbRSOqyYsbh+hMUFjvHwc/JrVK5QYy/iU+cE3SeVTsyqYzE9QE2yoA2lQA753Yir5HAcvTjftzNVTcH6vyVvylqLOkz7ymvHWVkoTgg6qlISmqsU32BZx/WFo9Dnpg/mlZxjs6xpQM7iAV/D7Ue6sD0VBL+aEY9jD6DeTwBSSz0guoAVdPMCg6BJRRI+YxaBZVqvszvFCaDdGM/KDm4GFgnAUvulmvue1oZrSEwUd9HEggGFZGuxpm/VVgzKUMswyjjGGYErTTX/Vt0iLPtvYdVUwbJ2oSHl/lGKURxalFIBNSjbP/kzw1mrYstqn0twb8nQBGfN0iu3W7lVQqImwp1XdIECx2ugaDKrE3Y2hQ9X6WKId134MWLd5ICeqD6VrrkXFoLrQoBvPepQLClcOnnTRWr02alYaoMJdXN96CL9SUtZ8+RQxvTDXSuTKFcF2fmPbGis5d/l00bx6TXwf2dG0THgHCJBRrf+Lwk5HPBuTQOit+1caGE1DghlbLE6QJy9CVy4Y3eAW1OsdiY1wnaw0X0mh/OJJmdtXqn96ptk3endW9Hp28pLA0eOOkDQ5wryn4fa2Tn0XGC3iQ31y1ql0AH+FZNtpOpQ3VzIEuY6xkzSJbtt4dDUNSU9xUEAoPFM7cSb/SeRweEJM7+0lJ9amCyPDImG0DlEvvP1o6zdQkotCyh5TJsqFkIyIrbhcSnxkewSTahK9QnarSBn6nZHwqf36Zjyh9NIEQRcsmECT6i1dJVb3EuCWqRzVmvmYV+HfdmVng2C7gAxRZWimzhXKpW5YS8Bun5Q1kRDV623V0gNV041shQYuJ9bs3CvYmKjsDtHfB5LHqRxRZ0tgeosvD4BPi8YzrnWvABwkQKeF/8L2r6+Fhaxjuytpb8IJGQyP4j3k/VtLGh1Bg5Dc5WdPPAkskDyxP7R4BKQ1Nd5rkPppAX6KpNy5bPejuVJCTKiWE3ZO+XO+R8EGJFHt7NG8Abh627ZlrwyAAAACdWsQMEcRl7AAHi3AGAwAcEwsvYscRn+wIAAAAABFla"}}