{"item":"rp-1","batch":"e09-refit-port","credit":"Taylor (gtmcknight): replica, filter, solved policy, qm tables; github.com/gtmcknight/amm-sim @4812a6382311624e1506aca131ca35c378f930d9, research/solved, README first. Built on IdentityMD seats qt1, TC-A, o1-b, tca-path, buy-grid, lb-4 (LEAN contract and reference) and e07 visit-refit (REFIT blob).","status":"complete: P, step 2, Q, T, F, G pass; E run on 9993100..9993355. No leaderboard submission.","summary":"R = lb-4's LEAN contract and reference with only the QMS1 coefficient words replaced by REFIT's blob. Replica Q (10000..10255, n=256): R-qt1 +3.201 (se 0.064, min +0.288), R-LEAN +0.041 (se 0.009, min -0.372), LEAN-qt1 +3.160 (se 0.064, min +0.258). Contract StrategyR.sol: 22953 runtime bytes, labels equal the reference on all 350950 first trades (T), largest fee error 4.84e-07 bps on 50 x 2,000 callbacks (F), engine afterSwap peak 221453 gas with 0 out-of-gas over G and E. Engine E (n=256, each arm alone vs the 30 bps VanillaStrategy): R-qt1 +3.129 (se 0.059, min +0.163), R-LEAN +0.052 (se 0.010, min -0.579), LEAN-qt1 +3.077 (se 0.060, min +0.137). All figures are local measurements on this machine; replica levels are not leaderboard scores.","sha256_checks":{"downloads":{"LB4":{"url":"https://api.imd.fun/artifacts/93cc15561f172c49c8bce174143333ede904fdbfcf51276cbbeb514d4f5b614e","sha256_equals_name":true,"bytes":53722},"TCA":{"url":"https://api.imd.fun/artifacts/dc359635b5851de9f5b3ecf81dc2107d46acd5dbe67e0be234bcfbe0c8a488e7","sha256_equals_name":true,"bytes":63997},"QT1":{"url":"https://api.imd.fun/artifacts/8a6e303b662e1a5ea9bb47f31acedd3988ef65b3ddb66d074517aa59ad41ca40","sha256_equals_name":true,"bytes":62223},"REFIT":{"url":"https://api.imd.fun/artifacts/5893446c82f8bc1473468bba6b156ec2a96ce3df5ddfc897c05c63cf545e1162","sha256_equals_name":true,"bytes":54017}},"TCA_source_bundle_sha256_compressed":{"value":"546b440855726c3cd2231e4879e0002dda182dc609ee9c5155c04e4790ca6fdb","equals_stated":true},"LB4_bundle_sha256":{"value":"f368c459fec21abaa30e179ffbf03cfbe1c7b194f1ad8b07de3637892d06e9f1","equals_stated":true},"LB4_Strategy_sol":{"value":"a243bb3570545fb614d8995ced61e811db8e075af68e636add20eaf8fbaeebfb","equals_lb4_file_sha256":true},"LB4_reference_files_equal_lb4_file_sha256":true,"qt1_sol":{"value":"c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca","equals_lb4_solidity_block_sha256":true},"REFIT_blob":{"bytes":10167,"value":"ca5a606d074224ccc72fb4999c1d01a677ba00440ba39df2f99eba4913a72e1d","equals_brief":true},"original_blob":{"value":"3ac7cb8811ecfb6a17f499aa4e9b70dd55f7fb6432b3aec3b904e11a3dece38e","via":"unmodified scratch/materialize.py on lb-4 Strategy.sol"},"replica2_py":{"value":"6e37b4e61e1ffa5ffb1e43912ddb8659105989aa986eb48fcd1d7608f8dca685","equals_amm_sim_checkout":true},"amm_sim_commit":"4812a6382311624e1506aca131ca35c378f930d9","amm_challenge_commit":"6b6921f8d463314aa7c96234e1be25a25245f704","engine_wheel":"aedb68280aca34c110968f00148387c95885207913fb2cf19a1ab4c5cfd6887a, checked by setup.sh (sha256sum -c); setup.sh is byte-identical to the brief's script, ran once, exit 0"},"P":{"status":"pass","command":"python3 -I gates.py (amm-sim @4812a638, research/solved, unmodified, before any change; exit 0, 5.8 s)","gates_py_sha256":"603280c1f595ca163ffaf2ba1ebdc7945fdb08dabae67fc53c922d39e1cce604","columns":["seed","perfect-info","gaussian+plain","gaussian+qm","lattice+qm"],"rows":[{"seed":"10000","perfect-info":"448.261189","gaussian+plain":"443.455598","gaussian+qm":"443.522608","lattice+qm":"443.663520"},{"seed":"10001","perfect-info":"576.779199","gaussian+plain":"571.463409","gaussian+qm":"571.623551","lattice+qm":"571.977293"},{"seed":"10002","perfect-info":"531.886497","gaussian+plain":"525.168028","gaussian+qm":"525.865859","lattice+qm":"526.411631"}],"stdout_lines_equal_README":true,"tracked_files_unmodified":true},"step2":{"status":"pass","refit_blob":{"bytes":10167,"sha256":"ca5a606d074224ccc72fb4999c1d01a677ba00440ba39df2f99eba4913a72e1d","header_and_knots_375_bytes_equal_original":true,"int16_coefficients_differing_from_original":1599},"StrategyR_sol_sha256":"c54d8d48d4a62ac655024ffa8b0e808e45d9809c9612fb614895aab10aee3491","StrategyR_sol_bytes":49905,"proof":"scratch/materializeR.py = scratch/materialize.py with only the file name (Strategy.sol -> StrategyR.sol) and EXPECTED changed by sed; its extraction of W[3].. of T0c,T1s,T1c,T2s,T2c from StrategyR.sol, behind the same 375-byte HEADER, printed \"blob.bin restored/verified 10167 ca5a606d074224ccc72fb4999c1d01a677ba00440ba39df2f99eba4913a72e1d\" and asserted byte equality with scratch/ref/blob.bin (REFIT blob)","materialize_extraction_sha256":"ca5a606d074224ccc72fb4999c1d01a677ba00440ba39df2f99eba4913a72e1d","inverse_check":"the same rewrite fed the original blob (3ac7cb88...) reproduces lb-4 Strategy.sol byte for byte","only_coefficient_words_changed":true,"words_changed":{"T0c":"43 of 60","T1s":"73 of 84","T1c":"48 of 54","T2s":"60 of 84","T2c":"18 of 24"},"lines_differing":"242 of 720","unmodified_materialize_on_Strategy_sol":"3ac7cb8811ecfb6a17f499aa4e9b70dd55f7fb6432b3aec3b904e11a3dece38e (kept as scratch/ref/blob_orig.bin for the qt1 and LEAN references)","note":"The header comment of StrategyR.sol still names the original blob sha256 3ac7cb88...: only the coefficient words were rewritten, as the brief asks. Contract name inside is still Strategy."},"Q":{"status":"pass","pass_rule":"R - qt1 mean_diff >= +2.0 and no seed under -2","seeds":[10000,10255],"n_steps":10000,"method":"scratch/scoreR.py = scratch/score.py's way (o1-b engine-order port on Taylor's replica streams): qt1 = QMRef(original blob), LEAN = lb-4 TellPolicy(original blob, budget 4, cap 1e-4), R = the same TellPolicy(REFIT blob). Frozen (source hashes) before the report; 10000..10255 once, in order, one command, 61.7 s. Nothing was chosen or tuned.","levels":{"R":537.081120702673,"lean":537.039825120676,"qt1":533.8801625174441},"paired":{"R-qt1":{"n":256,"mean_diff":3.200958185228995,"se":0.0644425598467614,"min":0.2880978330219932,"worst5":[{"seed":10141,"diff":0.2880978330219932},{"seed":10146,"diff":0.3003220083646738},{"seed":10106,"diff":0.8253609552703551},{"seed":10246,"diff":1.2130717877097368},{"seed":10056,"diff":1.2680141251838677}]},"R-LEAN":{"n":256,"mean_diff":0.04129558199705863,"se":0.008938002849719058,"min":-0.3721803444367424,"worst5":[{"seed":10028,"diff":-0.3721803444367424},{"seed":10076,"diff":-0.3547907174154261},{"seed":10156,"diff":-0.3147282467259629},{"seed":10067,"diff":-0.28927009613892096},{"seed":10147,"diff":-0.26752926719569814}]},"LEAN-qt1":{"n":256,"mean_diff":3.1596626032319364,"se":0.06406424831687553,"min":0.25751453048019357,"worst5":[{"seed":10146,"diff":0.25751453048019357},{"seed":10141,"diff":0.26930913252806477},{"seed":10106,"diff":0.872663734308162},{"seed":10246,"diff":0.9469877853038042},{"seed":10056,"diff":1.0983464202915911}]}},"seeds_under_minus_2_R_vs_qt1":0,"tell_counts":{"R":{"neg":820724,"pos":968641},"LEAN":{"neg":819682,"pos":970637}}},"T":{"status":"pass","seeds":[74200,74249],"first_trades":350950,"label_counts":{"sell/neg":80149,"buy/pos":96855,"buy/neg":79497,"sell/pos":94449},"mismatch_count":0,"stream":"TwoComp on the R reference tables (ref/blob.bin = REFIT blob), o1-b engine-order port; Probe.sol unchanged from lb-4","probe_peak_gas":36109,"rows_sha256":"f5004c9cb8237b43fc5eb0c66b25eb7bc26f5d3dfe2cdf3c264e1a5e4dda5a8d"},"F":{"status":"pass","seeds":[74200,74249],"callbacks":100000,"per_seed_callbacks":2000,"largest_fee_error_bps":4.839644136833687e-07,"max_error_bps_bid_ask":[4.812593813047217e-07,4.839644136833687e-07],"tolerance_bps":0.01,"errors_over_tolerance":0,"first_trades":64643,"tell_mismatches":0,"peak_replay_gas_pyrevm":192845,"callbacks_over_245000":0,"strategy_source_sha256":"c54d8d48d4a62ac655024ffa8b0e808e45d9809c9612fb614895aab10aee3491","contract":"StrategyR.sol, engine-path creation code","reference":"TellPolicy(REFIT blob, 4, 1e-4)","per_seed_rows_sha256":"2829a5cb6ee31361a737ecd6a9a961e1a60788623f11401a208b97d3e034d24f"},"G":{"status":"pass","runtime_bytes":22953,"runtime_limit":24576,"runtime_sha256":"23f8715372e4edf06692c342e082521ef1e601575616f1042b458eb6118e954e","compiler":"solc 0.8.24 via amm_competition SolidityCompiler (the validator/engine path); scratch/compile.py settings (viaIR, optimizer 200, paris) give the same runtime except the 32-byte metadata hash, because the source file name differs","other_runtime_bytes":{"LEAN":22946,"qt1":20605},"LEAN_runtime_sha256":"dab7d69ddb7a172624b37828021941904406326442fb11f750a727e16707d017","engine_seeds":[9993000,9993007],"afterSwap_peak_limit":245000,"afterSwap":{"R":{"calls":89110,"peak_gas":214626,"out_of_gas":0,"other_failures":0,"ok":89110},"LEAN":{"calls":89147,"peak_gas":214672,"out_of_gas":0,"other_failures":0,"ok":89147},"qt1":{"calls":89593,"peak_gas":202346,"out_of_gas":0,"other_failures":0,"ok":89593}},"paired":{"R-qt1":{"n":8,"mean_diff":2.870483976170192,"se":0.40973670933365863,"min":1.1068065357419528,"worst5":[{"seed":9993003,"diff":1.1068065357419528},{"seed":9993000,"diff":1.9101265481631344},{"seed":9993004,"diff":2.120605080298674},{"seed":9993001,"diff":2.828324993680326},{"seed":9993002,"diff":2.9567565222357644}]},"R-LEAN":{"n":8,"mean_diff":-0.010809160850428157,"se":0.05401450563238253,"min":-0.2799131232518448,"worst5":[{"seed":9993007,"diff":-0.2799131232518448},{"seed":9993000,"diff":-0.18347634641645527},{"seed":9993005,"diff":-0.033561412812559865},{"seed":9993004,"diff":-0.018893276374114976},{"seed":9993003,"diff":0.05008832981343403}]},"LEAN-qt1":{"n":8,"mean_diff":2.88129313702062,"se":0.4057537615123289,"min":1.0567182059285187,"worst5":[{"seed":9993003,"diff":1.0567182059285187},{"seed":9993000,"diff":2.0936028945795897},{"seed":9993004,"diff":2.1394983566727888},{"seed":9993001,"diff":2.716387151469007},{"seed":9993002,"diff":2.827810656668021}]}},"configs_check":{"ranges":[{"seeds":[9993000,9993007],"n":8,"exact_equality":true},{"seeds":[9993100,9993355],"n":256,"exact_equality":true}],"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 its outer range bounded to the slice; engine.configs equal field by field; no engine run"}},"E":{"status":"complete","seeds":[9993100,9993355],"method":"scratch/engine3.py = scratch/engine.py (its vanilla(), configs(), the same amm_sim_rs.run_batch(X, VanillaStrategy, configs, 8) per arm, the same never-reuse ledger) with three arms in one invocation per block: StrategyR, Strategy.sol, qt1, each alone against the 30 bps VanillaStrategy; four blocks of 64 in order","blocks":[{"seeds":[9993100,9993163],"paired":{"R-qt1":{"n":64,"mean_diff":3.010864649948502,"se":0.10232652282823115,"min":1.633627650937683,"worst5":[{"seed":9993148,"diff":1.633627650937683},{"seed":9993128,"diff":1.8757335146497667},{"seed":9993133,"diff":1.9132322732520493},{"seed":9993144,"diff":1.9585531238534486},{"seed":9993104,"diff":2.002697804173067}]},"R-LEAN":{"n":64,"mean_diff":0.06737708561385336,"se":0.019549356173696297,"min":-0.3627493251493661,"worst5":[{"seed":9993139,"diff":-0.3627493251493661},{"seed":9993101,"diff":-0.2082354701882423},{"seed":9993157,"diff":-0.19439986043141744},{"seed":9993124,"diff":-0.1390400733426418},{"seed":9993111,"diff":-0.13626209228584685}]},"LEAN-qt1":{"n":64,"mean_diff":2.9434875643346485,"se":0.10284438221336717,"min":1.4443220324824324,"worst5":[{"seed":9993148,"diff":1.4443220324824324},{"seed":9993144,"diff":1.7625091153810217},{"seed":9993104,"diff":1.7685094413212141},{"seed":9993125,"diff":1.8331566816432883},{"seed":9993128,"diff":1.8717431407184222}]}},"afterSwap":{"R":{"calls":684596,"peak_gas":217004,"out_of_gas":0,"other_failures":0,"ok":684596},"LEAN":{"calls":685029,"peak_gas":217425,"out_of_gas":0,"other_failures":0,"ok":685029},"qt1":{"calls":689041,"peak_gas":209007,"out_of_gas":0,"other_failures":0,"ok":689041}}},{"seeds":[9993164,9993227],"paired":{"R-qt1":{"n":64,"mean_diff":3.162722846023473,"se":0.13371064031405552,"min":0.1629579386324167,"worst5":[{"seed":9993174,"diff":0.1629579386324167},{"seed":9993199,"diff":0.919844768532414},{"seed":9993220,"diff":1.5693501671913168},{"seed":9993217,"diff":1.695960715154058},{"seed":9993189,"diff":1.7618558195059677}]},"R-LEAN":{"n":64,"mean_diff":0.02826880929925668,"se":0.01839965245367405,"min":-0.3906080636858178,"worst5":[{"seed":9993197,"diff":-0.3906080636858178},{"seed":9993167,"diff":-0.3386278553945772},{"seed":9993205,"diff":-0.32757675423874844},{"seed":9993172,"diff":-0.25006900701612267},{"seed":9993182,"diff":-0.14729414636713045}]},"LEAN-qt1":{"n":64,"mean_diff":3.1344540367242164,"se":0.13491558720796626,"min":0.13738771271277983,"worst5":[{"seed":9993174,"diff":0.13738771271277983},{"seed":9993199,"diff":0.7946180670095941},{"seed":9993217,"diff":1.421343170024386},{"seed":9993220,"diff":1.632917926766595},{"seed":9993189,"diff":1.6630944190937953}]}},"afterSwap":{"R":{"calls":690632,"peak_gas":215632,"out_of_gas":0,"other_failures":0,"ok":690632},"LEAN":{"calls":691181,"peak_gas":217026,"out_of_gas":0,"other_failures":0,"ok":691181},"qt1":{"calls":694754,"peak_gas":209028,"out_of_gas":0,"other_failures":0,"ok":694754}}},{"seeds":[9993228,9993291],"paired":{"R-qt1":{"n":64,"mean_diff":3.2784758260803333,"se":0.12135678375134651,"min":1.734766249888935,"worst5":[{"seed":9993237,"diff":1.734766249888935},{"seed":9993282,"diff":1.791962910547113},{"seed":9993288,"diff":1.8695588717781675},{"seed":9993257,"diff":1.925827879517044},{"seed":9993229,"diff":2.072104724613382}]},"R-LEAN":{"n":64,"mean_diff":0.08205462625575688,"se":0.021986509776320665,"min":-0.5787975983432716,"worst5":[{"seed":9993246,"diff":-0.5787975983432716},{"seed":9993244,"diff":-0.5004690205267934},{"seed":9993254,"diff":-0.1588398346770532},{"seed":9993237,"diff":-0.1353272455029355},{"seed":9993251,"diff":-0.11638888761825683}]},"LEAN-qt1":{"n":64,"mean_diff":3.1964211998245764,"se":0.12289889173816607,"min":1.6656513438624643,"worst5":[{"seed":9993288,"diff":1.6656513438624643},{"seed":9993282,"diff":1.6868470395228883},{"seed":9993237,"diff":1.8700934953918704},{"seed":9993257,"diff":1.9606986947359246},{"seed":9993229,"diff":2.0037311608436994}]}},"afterSwap":{"R":{"calls":694745,"peak_gas":221357,"out_of_gas":0,"other_failures":0,"ok":694745},"LEAN":{"calls":695289,"peak_gas":218954,"out_of_gas":0,"other_failures":0,"ok":695289},"qt1":{"calls":698931,"peak_gas":208924,"out_of_gas":0,"other_failures":0,"ok":698931}}},{"seeds":[9993292,9993355],"paired":{"R-qt1":{"n":64,"mean_diff":3.064929020076531,"se":0.11273191725740947,"min":1.31601862628753,"worst5":[{"seed":9993322,"diff":1.31601862628753},{"seed":9993319,"diff":1.347241208256719},{"seed":9993299,"diff":1.4025470179272475},{"seed":9993292,"diff":1.505002970912642},{"seed":9993338,"diff":1.7849043638181001}]},"R-LEAN":{"n":64,"mean_diff":0.031568136444933614,"se":0.01525878014368101,"min":-0.30166855509207835,"worst5":[{"seed":9993343,"diff":-0.30166855509207835},{"seed":9993308,"diff":-0.28964968107675304},{"seed":9993331,"diff":-0.20654208871621904},{"seed":9993312,"diff":-0.1663899734487586},{"seed":9993351,"diff":-0.1427006711737704}]},"LEAN-qt1":{"n":64,"mean_diff":3.0333608836315973,"se":0.11793590853678325,"min":1.0847878816268235,"worst5":[{"seed":9993299,"diff":1.0847878816268235},{"seed":9993319,"diff":1.3293032818240818},{"seed":9993322,"diff":1.3472105710279152},{"seed":9993292,"diff":1.437204137068818},{"seed":9993338,"diff":1.6716927447616854}]}},"afterSwap":{"R":{"calls":683560,"peak_gas":221453,"out_of_gas":0,"other_failures":0,"ok":683560},"LEAN":{"calls":684070,"peak_gas":223925,"out_of_gas":0,"other_failures":0,"ok":684070},"qt1":{"calls":687818,"peak_gas":209137,"out_of_gas":0,"other_failures":0,"ok":687818}}}],"pooled":{"n":256,"mean_edge":{"R":525.8994311853484,"LEAN":525.8471140209449,"qt1":522.7701830998161},"paired":{"R-qt1":{"n":256,"mean_diff":3.12924808553221,"se":0.05904475772130123,"min":0.1629579386324167,"worst5":[{"seed":9993174,"diff":0.1629579386324167},{"seed":9993199,"diff":0.919844768532414},{"seed":9993322,"diff":1.31601862628753},{"seed":9993319,"diff":1.347241208256719},{"seed":9993299,"diff":1.4025470179272475}]},"R-LEAN":{"n":256,"mean_diff":0.052317164403450134,"se":0.009530577170227157,"min":-0.5787975983432716,"worst5":[{"seed":9993246,"diff":-0.5787975983432716},{"seed":9993244,"diff":-0.5004690205267934},{"seed":9993197,"diff":-0.3906080636858178},{"seed":9993139,"diff":-0.3627493251493661},{"seed":9993167,"diff":-0.3386278553945772}]},"LEAN-qt1":{"n":256,"mean_diff":3.07693092112876,"se":0.06005063903617367,"min":0.13738771271277983,"worst5":[{"seed":9993174,"diff":0.13738771271277983},{"seed":9993199,"diff":0.7946180670095941},{"seed":9993299,"diff":1.0847878816268235},{"seed":9993319,"diff":1.3293032818240818},{"seed":9993322,"diff":1.3472105710279152}]}},"afterSwap":{"R":{"calls":2753533,"peak_gas":221453,"out_of_gas":0,"other_failures":0,"ok":2753533},"LEAN":{"calls":2755569,"peak_gas":223925,"out_of_gas":0,"other_failures":0,"ok":2755569},"qt1":{"calls":2770544,"peak_gas":209137,"out_of_gas":0,"other_failures":0,"ok":2770544}}}},"runtime_bytes":22953,"afterSwap_all_engine_seeds":{"R":{"contract":"StrategyR.sol","calls":2842643,"peak_gas":221453,"out_of_gas":0,"other_failures":0,"ok":2842643},"LEAN":{"contract":"Strategy.sol (lb-4)","calls":2844716,"peak_gas":223925,"out_of_gas":0,"other_failures":0,"ok":2844716},"qt1":{"contract":"qt1.sol","calls":2860137,"peak_gas":209137,"out_of_gas":0,"other_failures":0,"ok":2860137}},"seeds_consumed":{"replica_Q":"10000..10255, once, in order, after freeze","replica_T_F":"74200..74249","replica_choose":"none (nothing was chosen)","engine":[{"seeds":[9993000,9993007],"arms":["R","LEAN","qt1"],"use":"G"},{"seeds":[9993100,9993163],"arms":["R","LEAN","qt1"],"use":"E"},{"seeds":[9993164,9993227],"arms":["R","LEAN","qt1"],"use":"E"},{"seeds":[9993228,9993291],"arms":["R","LEAN","qt1"],"use":"E"},{"seeds":[9993292,9993355],"arms":["R","LEAN","qt1"],"use":"E"}],"engine_total":264,"engine_reused":0,"engine_other":"none; 9993008..9993099 not used"},"notes":["Gate order kept: P, step 2, Q, T and F (side by side), G, E. Every gate ran once; no rerun, no failure, no command over 8 minutes.","T and F ran through scratch/test_contractR.py, which is scratch/test_contract.py with only the compiled-contract file name changed (sed) so that F deploys StrategyR; B = scratch/ref/blob.bin is REFIT's blob, so the reference in F is R and the T stream is TwoComp on the R tables (350,950 first trades; lb-4 reported 350,657 on the original tables).","Peak gas is the engine's max_ok_gas for Submission/afterSwap; revert, other_halt, tx_error and bad_return counts are 0 for every arm (other_failures).","R-LEAN is small next to its seed-to-seed spread on the replica window (worst seed -0.372); on the engine it is +0.052 (se 0.010) pooled, positive in all four blocks.","State was kept under test/scratch (the checkout's scratch/), which is not delivered; the bundle holds StrategyR.sol and the scripts written for this item.","No leaderboard submission. Local measurements only; nothing here is independently certified."],"bundle":{"format":"base64(tar.xz); overlay on lb-4's tree (amm-challenge @6b6921f8 + tca-path source_bundle + lb-4 bundle), see scratch/NOTES-rp1.md","sha256":"303be367a4ee498a778bfa35528d882d5321728c2a613eafa784ebbbea05195a","bytes":22864,"file_sha256":{"scratch/StrategyR.sol":"c54d8d48d4a62ac655024ffa8b0e808e45d9809c9612fb614895aab10aee3491","scratch/buildR.py":"dcc8651fac95868cc46d2ac1272076849a7b1b452c6a4f34612015f46308fcf1","scratch/scoreR.py":"a080c4e976854a6604d41ed8d3efab8415d040bc0cc4684a3ecb94e658de639a","scratch/summarizeR.py":"001f76594269fa018c8f64a978d89e317c58ab129e3ccf9e72b6f0604e1b4057","scratch/engine3.py":"c445bb4071c07b2eaf5c2741a29718e1a6409a5687a247c8d8c0d0fc23ed079b","scratch/check_configs_rp1.py":"1d5c5eb1adb8ec8a8bd3b0b2a39aa8d62b6fa17f886984fb0d9de3c9e2284528","scratch/NOTES-rp1.md":"36140924f0feb1bece67daaf745633fba61c28d35a15b763849b1d6013af65e4"},"StrategyR_sol_sha256":"c54d8d48d4a62ac655024ffa8b0e808e45d9809c9612fb614895aab10aee3491","roundtrip_checked":true,"data":"/Td6WFoAAATm1rRGAgAhARwAAAAQz1jM4T//WQ1dADmYyqqbSOsPwyK5nHn9qH4WBMYa2ujM+L6lmv5H5q+/I7P28tcMdw3KY00dvcm5zuWyHrBz5rJjURp8Y8CbjrO9NLdKQN+Kzg0UKGPFOCt7xzAHc1uTWEp20CodQj1w9kbn97jKxLBg70UHahWzV9v55UBenVU3RxO4V+73aSKoZg1ev19wBf/I/gcTf0Xya8zzK5pE7MLsxRhnbQRgQ7ZT5EdLUscYLlKG4d7psseMtghdAHavaKRVkZldnVtbGt32MRh8/wL2gRWmY1hHxInSUSTRo3m8ToXhw+T604MZteUgtZ548+kOs6+kM1p0nltzpRzZtHNF2a53jcH9+XYagFnSxzFPPwhXge7QsL8rvDYqR3r2AgqLqFZ1dumIK9X07DNg+qSIt9w/QJUNu9hznSQDwinYUVKhixL83Lgh8nZfzu8YZuVYTyxp4IRNjsMg21/rohGAbHaV+3+2ln6/HZzsafFZ25JTnW0xOlTRj8sSRn9LVkZwKcy2agTJ0Fr3ySEAdzoKys/d/ea5LqVFrgZn6Ds7s4mzvR/LeuL5d2tOzORwS1JNa/DTapLZe3peR0WHw2xMyDQqKUZsmcS6zLBQj6AlMlajabb1NC9nJVYY38vQ50NXQ9IdUvQbv7mXrbXX/w3mfFU00LfMVKitxWu8T1G43VV7oD2Ya+lX3F+uQV2mNVVkQECTYO7bhLKX6b54j2o3NgTXby8Q07gS8vUKMBXX1mCl3OeMYgTmxRUn31IcqUdh4byc0dF7tq0pNPclDjazrVJ35/aQXgKUzAjh9O2wwOno6hf3kZsKZK2iJtIjIssGDxLxike9WhPCYjB9v1OBTQ3n1KdcOzoVQehSLFW4Ytzkq/gTfXgcKZfaPm6nJmNVWzQyGZOcENn+5C/EI4KJTCRJzkNomToPyC3joiuV2jJFza3brfQH4gDe0h0/kssEvXsHGAxC4rqWJb+eKMRIKeLhVUYtQbIS+HhvAe+e1FcDP0Itij0o4y2NKC1um+C1gYxQXmLFf+V7roAMEepGAY3rpkqDjDRCdAzgsQClCxli+OvHYEi6KuRhxWdJgl4+w3zrQbY0cL5YRV2hYlFuCIdGxVCbdmZVAdS03ftE4POng1Eg2byBpMHc5VTONC64qEgFSMG2V06YldYvN1TE7ALa8l57q+5e/J66rPfov3IG2vb4YPkdLQAHAGs2Zjcn6XNH+zae3W4gVjEE7Cs+3CCVYl1Tkx5mxlthDzkB+h4qMMvu7zj/gEHYhj2LBdeeMqbfoHupbavkmiI+jW6mmxsK8z6VwGz1WS0D6teGZC6igp14LVKOF9C9y4b6IUBF87ah69sKr6+BDcyTPz64f6OHEbt+hRNMgC+Ao8fh1PwX9kre4bYPSu5He5SlLRLSFwUhlQtLkoMvErZ8bx/wGTZ6zUxXbgP+yhnyXHL+o9lh72ody+gfyKziDzfC5HVBBV6dDmgSM34HALeAe5enYhT/M6oM0efCNBQdxyM6jdvYs8+LRh1O3cMtwYhcDyWIdguFuW7DTSyXW6MXpwpeUmLzLEyYBFiDSPZwZit6XxOE/oGcvRyLyl2bZ/oG4WOBMwjBizQQryarGodllnLlcxN6TQpLIu6tE5DXUt5sXkOTvjHET428mIwc/LtDFVoL814KKcAnwXEK8awwWzNOC1dB4EU9gO+Vue1b0mBlhSg4gy+XeDPA/Hkr3IjjK5EuA21QMMizVXFUC6xxugaHWY2CMW3BI7ptQQTEEP3CS7jIaRZViG1RFV+zCvF2WYHXQyC8bKC5pEL4oUGcVerarPAlxWxdHX1s5g9wwhXz/hYy29AzGIreKWM3RfedrBBdipuh2HW6NR0acfGVDJPlN2mWdAzBBIo5s4CfPEiUhbzjLUJf9P5eg1dBwslDI+dbOD3g00dCfV7UO9sk/t1hemMj/poYM0e+OmKyMx1cHTENqFvrz4afPgLFNnZtT1tpIa+dNIZoImrmG+4pEEShX8gYnL/03B4VG0SYKTYnCTGfyXvvW0xbcPv+TXDfHxoZX0GEefbvO5H8rlL0TqBTtiFh4oKz7lp58hG8e8RyW1SdvOF8rkagcuEwrWbSWjrskJ30iXVm45k32LGSNADyX89Nf1qHHoXNDvFCVoRg8P7GfDOfyY7npve42DOysnCsaY3dn9nx6i/MLTEpmME+M3qz1GiLmZ4DCig0fQ+ncxbFStVK+LFx4Nau9vMFbyiT1bYp+1mw6Vo5jInAe7/XyUevpC27KgPxTnXip4KUibVmXzFic4RKRAkfZClAxNmD4Dhx4GB2vDMtgQnzPEc/gEsjGVlBwjhce6QdImWl0mXLIuQ68Y4BZlVM6mYXfqCZwh2PiMScdwWW2UVttHiYq8AwD5oBwl7sKuzLbvybjp/aq3RQ/vGXFtKX0YTFZIhRfvfjjFsiqzOx0teRxJdfA2Eoh6HHuoJDl/LAIEn3A424h+2QgwGEBhFotNX71sNpb2IcvgYjPRLNf0f3UM2O9BUFbVk5H7ljAABV3G3Z84gZtHWFkhnLj0OQ8hpYTqyHiB6QO4wYPBCvxxaSoovOO3ecXzGmgQSQvQ3HNrJtpF2hN9toE8MxScQsTuieJiTPlAPvaDpDQvmT9WiSQnt7ovurT85/SC3ck53dPKOk9N8j98KhaFh6ZoS+wXYisAIAPa+WW2HvoFA0E/t08DZqSekmYeqmMIO1445nIyr/+oIgxblDRr+WAd8IYN1KRhI96W2GeyEk7aMXXjPRxlihVYVSzlZdbGpYqIdxKYgYkvv2SZoEmMdEg4hpFsfWg1KwOBoPXdvI15zzetgOG1EPZwCN4sLR4/w4QQoIFVQVqqLe1UJf6OtETOBtuNXfjjMCmATj0p0M0MTq0a9kMJa81+Wk9ix04fxgoHQmH+cqsHU9tS4JDe4EIhkaJD0+aF3pReOVj2K/kpr/dM/IWXWxhmS9Rj0m+tz4jLh61+HZq6zucip9WPShR84DTAnrlnaHWIOS7ORMgFuo0lsQCB2scXucox1ravK18FFiXL9e2RvlVaz0ugQv8uwCB456ZYcDxFyQmUOLqHLqYMQZAz+5MLTzKsU3pnpyiXhR/QUicTboiVHnEEi+mi2kqQfARS2Z4550d1kz4n7TDRVnPzlc3xkoZRuc3QzKt6i4/Zl8LNrfTv7Trw1yniYFm8ZwpUjtofo3P2Z1oK3NcffWe9C1uKSq93C5rbrGOvo92nzPIP56tTzzDjh4h0QJrDUngiRoH8Iu/yQc7FrpFg8G7j83t1iHWS6zdXGEA7prDsSg8INg0VJrcmGB19vyi0xGShss/gAHs8eVAj2dwVi1Ox/LN7NDF26NDsdSD/mAWr2qhFiSmoEN+9woyTdA0Ol+wAhs3vFCv+35U+hmMHUnm4clDUT+sXzAdwWl2HrRi8yC6Ae3fHtNaAs2Df8m6KqG2c/36pIuRvCObiu8PQU0/C0IlZ17wYX99YVE9UIRckUMxSSG0tc07FNFY/ZHRwcB7bExyQ/2NUy7vPeOEZIWNHY5mZWYK1QGh+urBlBvn9tLOiOOXUrA3vMYhy8TskVeINUjfD6LIi1563BDm9p1m1ZL99aG4fJ4DDgVGAaQY1CrfkyUQX7iEPGEkzgqGvdGocP6eYQoy03nD0n5SriDDW5jIJ+WrjYZnGIVcsf0ATy2SKvJGSVApKL7o4bnV5UyQNoyT3tdalqKe2eD9Lc0I3pCJvdcswR1stmWcaDdGp58WpZDhYgDC7uXGqgWL3EvsSRMsDP0EucannO0MvSTvvKmefXUlCppMp/zsgmgfUL2/6dxuv3S1UXXenMoUiB4nYcv48Ep+67NHaK3pWcpyrCZer5RQUBWCzzQyXtt+09q2Rvolab/IRlxw0JvxXP0iormZz8bMN1nbrbkDHSI3cFsWNqgcstdVdzpZ+kScOhes47pGBs2ifSxPwTPMQWzkO8SLeENLkn1KlWUvJtauuq2l2ELmbzEzYcBFdF65ijgBXmv3aOMdgo556+Nua+Bx6IhnqeIqQvggIS2knktcN3GMDv8qkHBJZoIhYKEYbAVRmTHQeUhQmdEHngpnb9ZGCTh91uQenn2bu1h/VRmFYfdobCSJ67UTrAHNCLIler7lIYt2gydrsqROPBN3/CXE5V8m+2cIQG68hVCZUNAJ8VlcFde1ZMcMb8Ica1DMA8HNVwNuEz7ZmWgncQXt09jpRlNwDRbMj4qSrht5ASidb1EBb70L6SXgFXZ+AxmFLJI0wDxmpuuU3XMNz7ZnkPzAT1BugM3micvMx1pHxAqHpnwzgYB5iBTnMradvSS8jxsKNEBPt+dGftPT99mAachAPfJyh/qXXfRsZMWLZiodFUAGLFLAc9oqhDPtu1TXKzzBdAtrW5gBLUgn4qQTLDdS0nMMo+ONMLn10k0R3Ed86K+pO67jlUkgfAVnkE7EqpByNjQsGb1TkhTEWuuK+/vbWZ4mqtl5kYKyOrZqPNP4q4TtD0nAfgrO0dBM0p7rBiKi2zyVDZfXzW5ewtQ5gkCJ7ZF2TKulI9KMzap8ko1gjVxIz+UifHe5TK925DjqHgn0KcfGTBgq67/5Yd9hYuCOo2m7z+AYLfnKjEoMYLxgfUL0jo1wpNqegyqOWkg+yXNCWXRRLj0n2tk0RY0n3nAyl9pHVoU32gf+Rtzn652VlIdF5s0bomo92hmImmss797OCVRR4290yIE/Czs4CD6ubHDzwyCv6tjibuIPkUyXAe78ZaRlKnJfuBBXt4YRz/D/SpoV/ImOf7fDqVJvZBZo68EjuDYJqa6o2JvFlwfjqYGZXRkmo+dzA7/xaZmw+n1Oap9vID8TcemsQiWe2J2bfXr9Z2yEE6qQSjei4zSj4WsCPWyN50j1LcSmeZ392q9RCAH70fumRt/MtwlPS3rh2aLgDHZwiosz2LcUwRS/I9BJTweOK6aibjCqlx35CtlW9PxcIrxEdyQ0wVN33nLVdbAJEeRqzO1t9DyXJGLA/OyP5b5c4ykaoyYaAhcBGGFG58gMVQDH97PsPyv2wPEDTxItcTOWgsuoRa7RWZjPFi8S59hdt/mcVm/MH2wKs36720FsWHlNa7u0syp3oIaOww0jdu800Lvr7i8jG86NSGtema75Ic/KklN+dpe8K+zBvxGCa8OVVPJwNUcC8aGl7U6Rejt7LkpabvBahom5suWe/lI2kh/ZWzQCTwIrxNJZYLqgVWIAlfTll2RAOIQ3BZFE9x9poNeH6nQeVgRXXskiiCdjfGc0DwecAbF6HcJT0DNKsPfN/zKI0NVuSKz+svrmQ8sLc+gRo6NUX6KxwT3KGOYZd/th2hjNz0zJDwTu48RnQ2OSeAWn/TMFSwBU50Yg+84YlQK4ijEpoTgdd5tdlIFFzSHvvGZWsRlIfrXio6q1vEuOHr3jete9wec/0JLy4DL4PMLs6IwyCa5EM/bzqb8lB+DHgH2PI4t/MMJjvRpHfubnrc80iqNJDdyHdZJ8v9AoG4lEs8icHnrk8VhflKTDDhTqfbfEFBdN5D0SV9kntVjd0XdOINen1w+a/Y8xSXNqUcy32ayCflvoURWc5vkHO2aY3/5OeJo0b2yshOt+10n0kr7LKaPpYXMi7915dtZnbXM3ETGJYgXcQgpW5G3AJ86z8RQIggUX+c/2i7tggoexTTqF6D89I4H1xNLX4uj2veUXcgHgzOjyoIDWjENAHn35dg/5bGdIc44AkOZPxunSdoeOSHd+oYDG4ygtpjTJdccX4C97BoqDPQ57jApUZOIszPSNO9qXJTQuxewf2b8tAcA11r/Zlewm/dCzLLFZpnbj1JJRT8A+uC59Ib4bn8fZYLlAAhW4OmfaZycYzxGF0yjM8p+gTVr5bs4phDTDNkPoxsF65zS6drmGQk1lS24HViqdM8mNGr07MtQlsjcaRskhZkj8YbVRMVXUZe2Ioi0pYufJhAxkS/LON4x7MS+DcI2wV7uPl/FuGsZ65pPhIbCGEYp1LaoSDc1G/mP5kxUkS5S38f2CBYH9MLlTPrrpoC1oF+KdTdx31NWKrJiA+p6xMNp/ocId9nd/y+C9PJCYwudw4V/23eOBMcSDCdR88SxFnT+iywHX1sWMNhMeLt7aqU6e+YjWcDmIr27WNhA00hQGI54J0hJi8NvS9Frn7UnC7EPvuE5R852MacE5bgGVrlqFWoGpjx6VjyojC85RBo1YrcOXxXPIAGesVEKnizSAz7MehmRq1k3Mk9NerpcCvvCS8CczBRT9W9+RVJyP3qdpjiWf99G1ay8/JLqefhqIlVn4lq3y9m2wU71D5sT04M5h2amqGkstgfQWN6+VzAuwRVaUNxoQYBaVVTD8dFbnry9yAhv5JFpPbt0gOjrgTv4ya5Why9HACu1xhnLFMSkgCPQjW1CoAoZqkSe8ImOVVaA0JvZit2oDfzT8h2TZNasAeRgLGM5nWFUthrvkiaqOxb2Z+qDnXdgUGijurdW3WvBPnkcB29TfNR4kaj1DUBnjqJMNbmadj4DW1e+ziAiS3jol4DZsTPKd+eQEmpteKygyZ1Kv+D/37E2t9dCpnHKmauF8RzGa1pUj99iUernmh6Xy2YOsX6M2zy2IwpbnsIH15ipL13kVw9MjVoEg0pCLDYeh2XTdPRCXqjQTek/e8dSg2r668iK8N7ZmpUX8OF3iZzowyucGIaMP75T4VslFF3pUVQDO8rbxCvZEBYDRy/7yjyw/JZdbj5qpIUB5Zwals5xAez22qJZ2JImNqLfwUpAwlcn3/P9elJTFgpK9AtBqGHRYK863E+j8R3g1FhltwKZjRU0GovrKJSVcNMEeUpM0c0pD55EtduL6impQbgMqHf7lAuwy5pEwtkKrRcfXaDBdu8Gs7ewHq81SLSbK/69PDAwsLioRSs2Qutu9J1FqWlnQYtTMaEkdBXGbVniDzOE78SzNPHT/bK9rdUYLlP3Tp4Uolc31MQq3WpXq6+9/N5rHGF6ALKVq+Us146RfNROZWcqDLKPSvXpWxJRszGdw+3ibx3zRYAOLsevP48Tf0+FZC0Ih7X2i8adyD1ytUgq6xqb0piaalS1XkWJs93rpwihbBWuT+fMqzIYtKqk5xvAGA5hA1cz1u4oPYSpxO3KLPnvxFiMEu1BvPQCtRF3RHGf0WvUUmn8Uoa7ibquCEvyxaGgiX1w+UE17DpUfj9YnW621pC7Ws0yPypB7YXY8lf45V46u5ooWkBOihQSuVyxZ+JB0+va0cQIGfULRggUiSEy0FKk1V8/Dbp7pnowaOsdnrop3yOPbWDglNz88m3W0DPyJ+HMilu1XjvcHid1tZx99Lz4AEqAIAuyl/aRTyY58qXOd0aava926BFMWL9VDtciPGlEQ1I+I2lsFm0smHmXYQfpt2DGco1xSiRIIS53pkdW/j3P52el37XAMZtfVnkLmJbPEJaIJPyPyM065FDOcYYr8RcRkUt5beNGD3hMLlQImSLLm6gtolcbfCKK1ApWxV62uetI+p5mEylEmdpHe95sURGV0OaFlBJVaDQca4JWfACuh4TTKJ1jAbjdUJ6vfW07OdLGppUCASwoDFNpHTq4mlzXmhGdCW+0VkPKhbExABZHvny5Jxxu4AdMUE4nUNbgD/G8o/l5czkLq+8fJ+lAE1AxDfr/GOy7KAMvS0w+5MbIqTuUXqi1VSE8QnFmQCJfdS4GoFyI40HWcqE+CmqobhWD7kne3aPhXWpcHQWxqUYBqH5liErb6OYgfDW/aTiu5luY0cormJoZBE4B9Of8eWDpilU34NSkPn94+DbO0cUT1HA9BVPDPaopOc2HCCHJ67CvHvNf5HhJ1qMYNeYTaXRPTX1Ii7wjD3Glj1BdCGQqIU7DVg/682pPBwLNj9m3KXh5VsUJq3q5OKUQKkCOGtNMfhuayUMj4CawbRqw+yP2AMmnGP1F+QZBJcnMFBwS4I1PEMd5iqQcDYDlzgzUuSmpAViMrRLKJzJ6OZQnu7cABpomBVZp06BK1P3b7c+sbBEXb7Watd7zDMnouGynBfTe1iOpMEidS89U0FWtlmVeDPIxN7bJbG5Lv+1yXiKwysn9CEnVlSu7Bt2eDX8w/OajtZb9cbq++lzwBgCEthgyB/lAsk1Li5EHdZhnH0aL/MwB20WWyBDwdJvvfY5UWs2je+fNW/YVTxMxdB4f6Xu6PXGH70zu5KczWiaEK/fiJp4rPJ41ey2LCnuc7io2SZ3rnvoRwDiA3NpHOWlmiKV1HO/hS08oIVzE/es/nvQVk8nBlm24j3OXLq7YT9iVuDlFGB1jP4VpRygr+x3BkAZIKIvCHv4oU7pFT7dbgn1dnZYMcQmhFvXj/lVZ5qVMUfELcvsKPM58UJsPqqq1EF9CSyTYESeTXkf227GFnHKCJqH/DqM2orMHZDnkXKokDLNGVVsZ6ggW9gsoKUv9KDgFf/FR6F4NGu5mx64auLHQmQhNGbkTJWTpJBgqBqXUNydybxRYfVVrBNF+pGyEzSaTJ9/WSFzmBbVAQQuLmUAOKq7b+2JG2bj5zL9gqKdNz0Ql8YAShyazK8fEVxJJb9LOpJVHuPM9P7jCJlA1aRRATtikdtyXgLTfyXbn8Eo7oSdvHAVerW8EftzzCM+7JXHELACo5l0BKS6nl/ymtpPvSnJ0fs4T0LSps0XDQbI/Su6yqWdlDRndxcXq16UT570iPSzj1EKEdNXvt+IyKfbgmsMX+en/TkBOB2/JCsDpzkXNWsLMVPXpy9Mlelr6QAlVxHGTGGja8M6LIeSnaVaXzrKQK3imCq/QG6kxiCItWldiD9SIfMf937F+/Q7eQ8Inc3f6KNdJmY7xWzcsQCzRfTTqPY89ppBFgT3cm89UJ+RIj78yqvWHCUqq/DnmHacXevTRQ9sscqKmA57mTSze/Vc7bgJNfuO81St4UhJIAKE8j3VW70Yu6KOWfDSSQs96RfnvSE5XLYd0UrnuYcJGVnoVgEs9Cf9UB5cU/WXotujinFUtkYi9VNx94SC5CRf4t7KCfC65cmCuWhtWWSAYtUGd9Rk3o20VOjsT8geOEqv7vkAUOlrYshF0KXT5Ic3L0YPJLG+6RwO+KyHopH5VGESI/LJ3Y+8pioDqrjOe7xL3+tpiE77BaTs4Ss4VkbEhvcUKMaENAahs+WGftNxKIjC5NNawgD5jZoLpsJr8gzJzD0NYlq9vDtNtzgAENPvgOosaKa54DQddjHlH9mYucMDzHmC21bjI5pZXIZIoxW/x47v2n+irCuZP7UkAx3E//SPog7KN51foIcpk8Pylr/mohpFSYMREsTIrSZy1TgOfNiraM9D7Y/SfEnzLwnEw8HB0sG+2viQMJw+LMxm9drJrC0N4XCIJvkCWRdyc8lv40JphVpeN01ovAQ/M3O/vU435qf+3MUJ49+ntbdJimXUDWXQLukZPcMZ7yBzIiNOGHNR9wm5r7EIcvrGzD0lb5Gt7I6/cj8DACFZzZjAbwOFrWAM9GD4VO0nlzUGhs/mnAcEVwx6riDAypKN3WwGSjaBkxfkCFLYyYrqQMl100AAiL6en/gURhsDN5HnsX+55d3cy4CsAeT+r8FxJ+Qbs6/CFzRcCzEC0yZPQNDPMNwOnCmiOkJDwFPzSrRD2gf/0K57AMjxbVsYgZtveiix0fMUZLWLcoA50RIKUrE8NPYbH+oo0WYron8zIvjXS7aZ9qete0JUUi7w8zF66ZnqONbJ2k7B/OB/vK33zYD0fv4SI6NfIUcDL74Rzo9Zc4N3SCwxrUr2cjYCgr0YMJRJVYEpgAF7c1Hl5uTRJzrPd/mDEseQoblm8kVGuEOd7aPKHhmRLIP82wHoVQVYxwFYo7QHL3/IxozItWpPaRs8lql8EkSYA5/w0jxKwJjTkGyLfqGfn4Ak1kyLybWssSAj/9JIz+FoFDo/kUWNovnU/g2rOXXOei60HGxsf1RV0n1ZGXtcI+yIaycNP2sZ/18XiqOFLPjfg4HfyUjZdSZmAGJ61FeT60Tt8wbWd+dq8K/KQ2lMYNxKtsv1Yhfs2Cngc0lD5NvCu2pYNsGT2sSCauqIHcb5veuB9ESwKO3rILzZeqG3F2At1teiEfharKjvTKYNqCwIttw58jwCvgODMuXE7wBbCP/Zyb6Vl8cMkUUbpMO4b+rZsNMh3+xMLDR84Ai9K5nvbaSXRQZrsGp5ZVMiCpG93mxjNM2WnhLANYAB+HPZsvErrSEvXStBBCW9yeLyxd/Zi0Jopfn/hmkclM2iVKP+46lSQ94a4qp7e/IT8fqZubRlAqcFjw5EnUAzU2NdBjiH/8P4P55njH3zFLiJ4L/Yytr3hQUiOc6TLSCiC/OpYhS19n922mqx6BYQCRxcJOnTtQR9tUGdbPrdnAXxtzWJ8NY2lIfloysS2CiXxc4w80AJIe7npQew2+rFvrGA2mewQTU7XZO44kIIgpLjnDdlbZnDk3MASkWQ7Ie7h8afVne3xyJJr6F3Rf4dbcBqrkY4FsMq25CaHMbdt5Rf4eOqveIvVkkLJdrpHEy6mRfu1zKK9Mx/6lwZZs2M/B+xmC0Bcs40Kh/JJYECZD9uLj9x1o7MUKMAJAurf4BXXdDbFF8U1EeIlFiwkY60Sbg2uGXvoU05kjX/dtbh9HIMXYzbpSx+8n9iSZrfoGPUN7qPr9U1UsRyazB0W7KuQ1WW4eNQD6MXr2iwpFcj/8ESTeMeyOfmdfD58JaHqy3DJJJi4PGkrnG4kEYBbtKcAIumgavVotSh8QCriVuMuAojyjxjjBlfrvlCyLaYgTuLPLoiYGI96nUUSLcvB38bLl/uPpKllvXENWCQPAlOjuoQ//zzhQzuVl8N7kCQaL2KvBUG5LLbUptr2VkmNqYsHp/79X04uflkMcOZ02GJ4gHl4qAG+2AV/lS5fy560s973IoCmIrAu4EmCYoxDkKiHacYdIlrSne+tGL+diwj+b1NkKyJ/x06vt/PEKU8Pc/tBWg5M60kfya1EFYQmNezPO59WyAB5nxqaLgDnfynO+rxv2xjPx6U625yBeK+tlqfTi0Buta5a1UnhkiyPbJJ7g44mlsBapI4Ev6HyMfXnCigfaO+SygCW1wFSyvoeDD50GSO33ZHjUIsRMiwT7jg+qW/cS7dWNM8D1SV3/7MHOmVoES/o+GWQySEI9XAtEz3mA4Qhkqw4FQHGXYWT0FKPTzLeTfwhKcTPpiz7VQ6DY3FkQDnjzj+Qa7UL6MICsUDlqtz7kiSpgmemZ+iOiK/g+aYChh5yfvzjWy1omcZ23dnKLwprbQwmh2fOGveAH51053OvfNwU4UAwCvjvAENOo1QjiR5rewTXBLAKL3gHv/DJHmD5n9ePBhNvu72vbWTnWA3ZnY49WpRz8Iri+E7Az4IbtClG8r32Fmm2Aqcw9SRRkzafdSJ68SbM5dnmQhkhFIyfPCxwTQ43WS1j5pM0IUEjt4T94FfjfcNzkBOc1o1aQxtVYB5k1/SGKI5OM4Wf6MVDrDsEYEULBy5p61Sy3yzGBujvXrfQ0XT988qsL9g36D8I1nTxS2qxVCeNtp1H19deC1Keu33D0T9UMZkZ3HwG1WCsT+TnD6zdCeR1jsQu65P0PslCoO/hcyGbQVwWgd/HqhJkWYGi2LGFWsmiezdZf7burW2vijO7ttAj3MPgLlyokP1H2fAQ94KKy/pyy4mWLcIuydYOvEAHVkgoaCJxBVwPMCX9wJjS2VQiLyRha4jsbYETbVQ3rjw0qf48x80xnMQbx1CkRD/uSIxh/bqezFGMsp9I/yfuCX8n4WH1nb74W2oj1QO+BOkobv5SVYadLiR6AUI8TLvwFLbiohYsJdkXvqz8t/JR1ebAxM7CjKo7ha3lyKyMJNA9Cvg80btjvy2KVOxgT6gU3L3cYKddms5lUf8Y1rleDDSC8OXLODQu59Zl6rfWverVy8om2jNYRkok8qKZIMQV/yq+Dg/QcR8S8UvJRUo9OtR6Gqi/2NVER2aU7qD6pcsFybaI//kJVUClIO7By87LNiHuwbqUbBT3HtPvsbgvbaqxi8rnfASBmKs6f66HgXZQw9vFmF7kOkex8rp/9x+q4uAYVnObMWNmo93UlnqlNoPe3xXiqXAOjAxDMw0fmms7KoeVI9GFJehTQOROvveQ5VpxKoscEN+5hafJCIzLxKVeaSBdpSEqSXq6eWS9fsJ2o6oGBhb+EYf5pQFWsTrAoslAZEvC5RCNlYsTHNvlhKG75mTS0XqhqO0y6tQvR3lxvaqvXgc0siEwy0yJh37g9ELG8vWh147LSohO0xDJTr0URYpUBPb8VjTq7NB/T8Wg+Z+dCqLTSE4TvmOOeFRjrikAxXXIOYqGJ9XGvYrkfwxkTv9DlJQ5BTPzJ+/1eWCIBU2j3itz0zAwYzKAEVDajJjI7oW9HMtWiEr4N8+hScPttQGu0fVA1zPLSCcL7zTyWome3rjX0QO7Q78iC5IsS9PTZexDJGzbiUkoFh5YzhJp4sAp4tr4G8mDhHE+XXgQSA6W9GUQSiy/6A3aoxtoxg9tYqlItPuCxLlJwVtLwcQAuvan2H9UDjdAuY5/QaPlsf92HJfti6e8cbyI96jWnHFwu4dWexfkxVn0i83/PqRvJp3Fhv2xa7J+1HJZvPhHUhWaBBTSnGP7UlmcbuzrJ3sg3z8UQI1OE8EY9NKUJ14qmsE1bUZtcmvlZE6zX0q9Q/P6zXiq7KKn86jxJba8Wlvp5GGhfekAjqpPZayBgn30AVQrrUXt19QtHsG52pX0/d3GCUy0pH/dsDmE2tbgD750t7t+hheUbxd3FNx959f1Ut1PYCiMK6CS7BSzdjjkvGD9oKeLNbQMXcpxdqeqGkoa1HooZ2oblkkL5bjp9SL+6XTCxLR+1zNtOjwxnh2lpZfE1pC2DR+4fHIJogh13KwG4rsx9oO5qfgTSt51AaQ2/jmf/97s6Bj1i5t42jeAhjmIZsb9I5ht7xUnGKypj7NHFu4Le6YjZMpAbg1ku5gtSIBuxnUj6vVAGo1yorMXqfqhJNy6rwsBEFiNj7l6CH1frPVOKQH39rLRF4+XxXdmiPqHSu2iFZWiC+EkvZlIjpVHCqo7jgoi2M10vWyAPjreyMHtG/uvGEZqUhVUDdynel6PZE+scnWB7vHe7ZZJ/AHAjLkDif5XvsvQAXN+jdtOMV/eZ7O6H5+RmwVEu/y4GwFv7DjOjZuHU4AJTn1s3Rk8kbCWkXglgB20Q7U2WCliJqjahutkA+Yniwj1jqkYagoM064pwFmDkaX8xEE7HzE9wA/MNuN1dNeUTYCh6IPkP4SBZrVvH0u8STeo8Z3qtYyYXnEtviPR0Ssd6D5EQjoCq8hfxFhABxo2Pljnx6unQ7EEXW8lssV+d6OgWB63k81npsHvPRakxaCTIECBFiQ90QQYFsFi8hoz330ttQxg+tLYSV5eY1DR1rcv3ckjUXmAvq6kbeCnj6z5D5htEVKkcpU8dE/8zjGCymSaPolWBiK7vOO6UQdlQFS57clKzMttweh+TpdgramOe+ZkhqdZukJluPjCBkxn7RcW1Fdrmufd3KMIZcBY5CKsPCv4/jJ5ED4RqZOANH1vQRcfRnqEO/7BkTbAq57ML3d3UQeLIQkhndiK8hlRG+YS1UKI7Bf4xFw8yYmljGLkvSMOnReF3S+He8ikbvQmWobaFY9dZ2FtSkI/JU7+4xPMvam4V9g4eZJgEmWoA+1aKv3qyw5VkCTRx6m6Xiu9E6avn9NuSS1zb+PrGVq3LU9H/zs4lnHeXNwWq/aSR+32uljlOntqoQ3C2KH94Q+wsFs3Ec/Xg9gl2gwEkHSu2A45ct8T9M1HyK/vkicOeaflqW5n+Y7AqmCd7PVUympkSNF+lzKoaOh2dTA7DlaRPVpQodr5WCRFjMowpAfVMUV+5vxxe7bW96p/D77V5lx1xPZHdQvOT4Mmhd6rfH3llKvzFGUamc3BwVnEBneT7uOvOkXi+pu2Eal7u50E2TwkDVlliEkvpDELRAvD5xX0XRsibb8ltPf6pKeATnuDVvQigUzf0mTwy3Q93AjKQ22VxBPqKP3nigmsg8Uea05g9y4AaC4jvC4Kka11kWHB9Um83aytkESTOYSzRADEHJ0ggy318i1XlGeiJvJqjcpYXn6NBuC7Ym5LtQEPwqN8NRrihoXV3GbL2Ugj4HXXCPPkoEmvcRKt+xUCJEq77OBB6QC1SqLsfDqExS6RZBlUBwdtT9iobslLBIvcFbEMzVVfhtxs5V9kVZKQlJiztROKZgqv6OWuX+m5HP0sx6E/de23yAzx2w6Mpxb5mtc1fwbogA6nEYuhWeKVuI6xdrpc0S7o0sLaQ6qy2ahVjhev1JIGLOtZfuqlmyXeVN5YSCulA5RiKJBJN3kKmJ+EbtEjfRU7CC1lJwg5M1mAeCUPqiTluk5Aji/Ne+fpPjhMYWf8LdBXVMEqtJjfS9XQXHtlMQ8DTFcxlhXyMTeWnsSPHsS4wgDVj9FFsTVEZh2QD7ikSIxC+2paIxquITIb158/446w0vkJ7rPjtyG/a7RDBj+tl8SX3z22uoTE7AkWC5SB1RJvVmKFhr4KegsiSbXllfN8f1UjxdrGxBkf9rrOaM7BtTg/x5tcvHAeRk53XyQwM3/YXYz9Y4qIVwTyHI2XqT8ZqiG47CsASFy5e37a9Z2pIwWJELMmjDMZf+LoQKaQERJYpJMKp6f+p+knVAlcP21s22Jc+QCUCGkhwT2s7geohv5VNRREyCmvLLDA+TeyUX2Vik2pWx5gMzFxTmwrpOr+6MJFaCrTlHLmWbuH2ltFNsbjJSrFAtB/Tft8yMy1UjaHsnuMp6KB1xbesbwyuv+zU/LnKVUXVfd57/8ZZDFsGu/GCxba5qR7QAD4/yhFhcc5jGVNlRzanC/rmt4Ccox00pkm7zFe+qq85PsBHB8pZ0oSqNOfZLFDpTI+OdrAPASj0r40wth8B0xx6ytDStrnw9t/LHxlQ8lDqsf2zHuAQS0xLnw9UHN9LzvZAtzo2x7p9N6JeL4IrwB0vXAf4GzMuJNJ77U26bKuUO/To9NhHQYUwEDMeLFBtyK4ArX3sDpXpWfxE0Gpt9812Jr5ww6n3K3hHY8WHTyaJzpgVCaNq3R9g3bZWXOeQzn5dSdNV9y0tcXH5OAchcleiltzm3EbI1/lIMk1TJYMQwJJoXNTRQsvSBav0M3iKLHPxsuQH61o7z5AQ5lcf4ruHzR3awgD0xaRqPVyxN0rehHkpqdN+HIXYZSNDtFG/7b/QjG6vXRFX2hjNJWSIsOnl8kZkNV+KTtKWUYobzDjMoywbWpyLg4rs6nFefBxdGf7GOL7QHdFwuzuocvWpNwUt0OanjfQS3camJtOlZckWZbOtlHXox7t/v90f+WYjwHX23tlQ+V/CacQoQA3PrrLswDSKkGFTOoqnsTJnh/nP7SFG6d9Q9DwkMPYvn4jfUNK4zigCrTya7nHYs+u8pmULqqBOYjyIExKoqj3L1KPj6hO/z5fUkU1R81Jw3mu8teWqW/HQ+d29wBtmb+Hc1/T5l/lm8hwWCx66ZVEcLytq3oOC7Vsn51xkXPND+xixJeVFYlMIRBG6YZvOwZWaG+cyyCOD6FK0fdBqaU+CwcxQOerxdU/X0ZgTmIrQr5DsOt4XqpYlJiqGVu+fKmBtPSUcba4TMXm9t78bT4/ODrLues+A+2hGUgAqArmD9mOh9PHpvW+yanoC0TVOlJ7g5XHqJA+YHRC4N2fOLJJ/QEJ0tqPIViYv/Ohsoxi9f5Atm42jwEfaUisbWlmUcBajqJJ4Jj9d1oYug8Gi0bhp2fY3z7cIODmc4sEOYsC12hZSbUIwiT4e+mVC3OwuTYiPRVhXJe9C2yHydMped0Bobv3GENuMbOtQyOHm6uabZguqFIGcs/dlM5pvZdDbjZsXoj9+Qe3lbgYFkWFEoxYDTRxY9O7MsTMJ4CUPZKDbXDUqHszPp/x/F7bAKCaNd4StD8wTMz1iNZjX41h0U8isGP4XLvOQJ8KRvNI4fDx2c3oY6qRcko97S8vWtWmFjmscRPNnQ+5zqBcBf7S+q5HAZUj01EExkOTK8ILNmLFvFUl8sg2BdGbVroyPHniZ7phVJLbyqnw4zcXK1dRPaCrxMn4N9smQnfMOGXjSP/2rLuk/gRYVvrsuvUvT8rQzdnYuKLi0D1ShhUiAywDs8wG2+LfxddpDulC5BH7VIA5WaExIS9EReOgyiW/EA7VB5tH2eSXIRs8aUvmFE1+nv7uK084ECpcsgCPMBym6zqegumgomjvNadV3PZpMAh7/1F0PhbsfsJMCos83Zeys6pGY0Ylv1RZNO79mKAdTwyQ4GO/pdYMaHJyxoczquWcMzJcmOInD8lbQk72GdViB5ygpVJLI/IDQmxWUrO8QOGVcZTkLvtQhumoEU2LkBKaWbanrK4SxJjAT14y1BJOe2k9dJqmZDqqgYr5CQDN+huxrv2chlsJfy3HKutn8vwSCz8JtzJSsaAypSsSyGHyZcSIiOWxh2FcyuW+4MSzlYGBokiPQrsV2452chb635DBwCKkJeh6X4NzWnD4UdxXh3286Z4DQJSblGDMA/ekJqdycplVNeapceV59M9yRHZlGLuhx9LHh880m1nRNjIANhDUi8afoPAKk1rPSZ+CyTLiwZZCSrp3wzsNeFn1c9FuzRimGUiXrWC0Flp6Gy7bFvCz5on+eml/ul48zM/4QpaBhAhRnvelt/C+JmRmZChNKCAQrKaHBTDtlPJN7WlD0Aob9FUnGUYyPRZs9Qk4YXHyuNTQsQEx3mo9It2gY32tfiuXKXtCq0JIC2g74rvWzgoGZBBU36QcDo49XRNP4ZZOwRVDc3yONTexami1IQ73K8Mp2zDVKcbVxDlXAQnglrL0nv5Daom/Tu43/Otm1oBOIgBPHRJHyd4wAjDgY35v4hcgIdF66fD39qcWf79i1Et0t2VkjSXWWB1gbDgw5hNaaL/V5+Rpk4nxykOo2Kya4Km4i8S1iSvM09saZrg1ypcLiVwJ4aNNuTe92ubF/LqPhdFl8ADq/oWVhUsD+C8h5/7OGuH5UO/4b4CjKdooCHOogfSGsL3kznlObuv4NdT7L35XvK05au5oZNUX+BkP49zw9DCgqbzaTRSL8/7rRuRqkKp5bO/cpr3VaRbACP+rOUr1gBaYTclUxMnMYjfxnKy/BD/nOGUrMX9ZqA1q2HE7FDPyavWAUXKYLPWdTtlTd6HnNaa4GPYGy+KkVB6FtvZCpFEtCLTjmU5TvoboQvaqjUxmTNi89hctz88lPzQ3ktpQoIRQV4RBFao4ezmfBaSdNsQhipv4SN3h4rzZd4p03Uch6B9FS/KhXIzcYshvwlSyLS6tScvLJdjkFwcpHPbDMBZnkAZka05rRcAr93X7iDN6jrY/L3SL9A/2AJGbiI6C5HrE1jLIhFghOv/Xz61HacaowrtGeDFGfNntYieCPMLs6OpEN8aW7gd4REI11gKgSDPrRIYPNleUTV9/R3zpJ9j318bV9OkWR2bOEdBz0kxcgb/HTkqncqxviVcb86M/FvmUiXYGxfEcJX7jzXsbJ5ZNSKJZavW9VhXaGfk0z5I23xzCeW2GeDp3SLwXPXDDda9ircHkcpOHOIrKwLy6AmCS5tdFo5JZ34XC7oEIExBlCycvRatXR5OLi7diunomqxI4SStGjAP4dpDssJvIQXlkLGkuRowA+1fBPtO+tGXPFtxuO1Q8f4WYNGdFra1Zckm7+qBEIfX3sPYNd2pKrGCRaWb+FDem/nwaW1cGs+/bmBA37s8Tiupff10JNR0vI9cQt8tr5MN7tJfaQ5NO+dVMaVcAG30dLsnA11x5QcYyVqKquiTtTrz3pFFj37QydZ6er3kg1iPIw/K7Ox345Yoh3XeMBUoMB4yKvzjsJrQfPeAFTFPuOcx32T1CFeAdFtw5czsfQ3PEEaHw6YH7JCPHdpUuWXSA+FFEB0GD7Ufmcy5JRa4fVOEuO1wLhDsJY9UeTOBsQWbS/1C7Bka4RoX9y+ZeoPxkFMOgJUCK8FMWzG9sf0R6xsYqfx6qhg5+t4TRyZuAMmAq+tgQgSnwhcQcYz+94EIsyBH8O7DCfTOGEekCCHnFU/BmCmw8z9EIY9oGkfTSMoB0IllrsdiSvlQBw23zx3SFtibKnMHzB0Z+jUjtUVBaKp0je7ulFY3pt1HnhWhmOxqQQGvbQ7X54wS/BU3uqXNYW0cGTGm/L3Px3mpQc95vpr5+FRpCt+oGPoML9rj7kXIMrtyz2Ee6h/cFlRXPjCjczDjgJiXT2vgco4o9nizL2wPEbvMbWWyDbr0Oe+ITk3EdmDwbrf77TiVOC5AyqDPBVXWt6yLlVJZSMV37inYRdjgRS3/VZZ4Ve8ChDDmjJAIBWhiRRt+PT3PFS3/Wf+CY9Yo+lzxmSlldVKr5j93954BOTbsSA207OPkD2e/9n+b4XF7RZxYEg+nI+UT76oLoDMH5ocT1sjBR9/HTmRXU1bqHi6InxgMnMxvJlsi5I5awvFxEN3EIMf8/VUMTDsiYO4EN2f6ZSw7mBOsW/WkPumT1C9IVnAK+qnqDnbN5k01uQKNA2oqKdwtBV6ME6o0MYAnsBVB6Tr5JcpF1rfSpvdt4lZ+ngNyCCyjt4YKURHAhjwq6QkbMcEgx1vVZkkYXAcc+3KvC/a8fdsMDjpYV3c5PgS1Jq99quwm2WXzDCkIGCmVN8HCVSTkOXxbspAMq1PUWkXtKdr/9Qetznzkm59dDfXKxv5ukuab2agwnHtVGjhvAM7+UgmNsT5iEimAzgzYey8LQae3sURBo7GcQ3n3bpsBy2fBOIQ/0f4rWgv0VWKrY84rjQAK9B5PQQARf+nVy1WP4bC04ICjZkOWmpq0OUjXVJoy3kczY5RCXzW388z0FRA4tXG8y/LN5v4m4zzh8L/Fh3X78B3YwwJZySc11NhSgT3RdE+mRUu/dM1BGvlZPoOiz4eOAvzS3C0QRisaLLmEVkTOyNoga6JS9HkMcs+/mmYiUD4C728+l+PaieZ7jVln/mgGVb6QonyAOYq8L5x3cBCI6hpqAigOnbp0fnDQlpovt9u+xBwhbmvYgi5KxdvWtG1uYOiusZMc8/If0GKPl6l3cVRuU80MR38l627IkxDW10ZINdQgsojcrO1jf5I691Y5i42ZomWjHxu+0yNeWN7j5QTAf+4Tjr0cgS4M2rSIYYghoP8cQx19HP89pW0JSiFf5tNjypRZuP8IOy6awCG3gl5pSWgdPwhKJzrFi1dxwZF1a14C79d6zK2cYxb91em2tDH8NRitB6WKjzdGU8e8syEYU6qpDooV4ZWfnTYv3+4couaAw1xLLVd4/Xn/JXhwp8T+6RqW09qAbBjAKlGM7cqEeHuG0lmxBonhspzmyRC3Kq7AxFW6jXPlOSwrufo7miGQEmCCcbM3SjokhOY38xgXKFgVKETlXRAixXtKStwp+Sjd5IeYYe2xbUqLvrLYo1/ip8NKD62MuozMh7ZFzXSe0XuSmPc18Cwul1+2G9vpKEXuThhRB8smwnf7qpRWFYduhIKNmg92PgAYrCBvTyTWancUp1cATCTBvdX1Kpu+Fm45rU0XYFV9ULc5U7feV/uSxAq43my0TuGOmLRIXx+SZyL1sW4PAxAiI5736POnMhX21fkpCAxAZfyzUTCp4GoPEtbUhHsLpNtFtPqXM2ldw50WjeQqw1BlD0Rm5eOG3wdRU11+Sz0oc1rW9kYdh3Ca1tOw3O996Vp0zBmH+F1Zu1EkRfWxtKu9DraO2vDyZrFkZ8+vHmDj5sOt/c9eeVzm5WzyRcHzmuRYGOaGVz382a1a3LYsNSvUYMLhx66EZWRNowC+QMgcLYL1YYptdbaadpFcCePRYoTDrvLxtzn2A9MKnBdHScHSIz3AVVxyuuHhbtaRMsHZQaCW1OYSrPqkXpr6+WyW3jgfIwIVFuw6FS/y7pldiG+Jwoh2Bcb+/vmXSWQA65A32J9rKQQdMA8FyhZGBZC/pD9KTngZ4jSNAFtzpgmFwqaFfAVlCSnfo1gIGcWI7RF+RvgzzBWfvq16P11dZzezpllbe4E57pca21oRZsL/k0+FzzyagCmMobR3XoE30R8xGzib6/594RnrTk9Yr7H6VzYMZe34D3TR3wqwBGGL1icVzBbn090TSZkDI83RsTKWf6KKDKdih75JdNL0JEevb5FGUEMwyg55HEl/SHpqJmiRT8p2uMcPAALwjCLBQXwvMe/eDgjgCkO2wZ/mQICeeK+yT5wmPUgMgXVnfjiwNiWxXtCtRM8TcMM4yRFgpOyccUDbSYExjtRvt2fqBXCN5JxR+pcleTY+jagWyo26czbrTvxmg2AU810vCR2CyHdnOdz7hE/SwWKgl6aRRR1mwOJEOwGJ0pHzj714DZysvNmxE4g6rGvFawiii8Teb4Q5tTp08JkrCct+PW3SVAfn/kzauqSI2bzu9V68YFS5ji0frV310WX6BPHn3A9Gc95onaGVnoYW2z7W+y9QRSITtgLy2j8vhPenHZkzLvFMaIUyXPoIAOLqyHB0j9RArFOjaHjyg7rDkyOv0AKsQFGuFsAfPLPCaxb9Eba8EEare+6wXwNo8Zuey5eW11b2O+MZk+nFQ3LOpCTeYYn5Q7bVHy1qJZA0RCOGuFtYlZ3koF3w709V/2100bgixUuA7FL3FYcTbO2ZVCNrIpcGzvlC0rhKQ7t6Nl38coe/LovcL9w9S769RYifhibIj6I3EH/qVuUl8KQG9UYaXHffLIfXsVD7yeqm6mgbrbadXXjMeywXgUcZlphsi3qC0kEs38sY8YGpDnjPoTOH9kzpHdS0KAqESQDPfZFvh9+KHyW9NQ/FaTe2W0Aq09AKm9I7ejG78jkbF+MJ1RqRRpgFxY5qje98AFprr8/qCVsOwYhkpx0Ha+zCXZQIIXWHtU6IkOK4dLqHTchKQe76LxyMPpJojk8oDccbVtxotc425HgjoBUX+BgN2ITwanIvco5VTP8H3T693tdfxAgfu+ZBiqBmsRa6W4TuLUul4hJx35AkJas99XJdZHYCpECyzNmKYJtvYscWhCRFYeAs2mKvTmeWnTUfKpDJKIWVIP300q3BbIK2gZI7vvWZlgRh4Qj5KbJOKIx2dJt1k5oUrnTBBn7KJos8u1F7k+GeWA/kvwkRTCECKaWEY89iLQv8pfJgt87ZWeVhgFUWj5+v/vQ3jo3lHemJtYwNDa5gDz/aROADSKtzN3nW07wqvVwhw0Nox8rmT9DFlcSLha7zIqnqvZc7zNzXBri7tJ99Qy1BNaf7XnZKPBYvGWOceAKK4F6EQCznjvdcunWhKCTK9pBNc1dpCNBO++TkOkUmVTDFksJRYiOmtNLMKgZ/PwG8KyEyQ5nUTpoLvRa/vR+G1AQBU9sG7AGLgr9tOXcW2zP1ZxrVjp5f6JmKyGu857hy7Q7civtsULlqCEdFR7fiid2w+ixyoClojvEF0jnJHfdhUgp4FdTWc30i8HqussrzFehn3QRiDH44cEdDJbYGsPRj5vkcbvtZeIK4Q45aTu5vQ3mCWzxFr+UI6j+KCSL30bPA2eLbFHb75/xcZVVU0VhgghcCpWtZdc9nRe4kslLEJ8OA2FcaMPExuws9fKZlOR1VF40W9ZFF3C9u2LFfKqXO5NjToswD6a+tCy+s2TV16O7FA3dNfdZACtFylCcRHnlfkxBc5gi2+531IFc8GcVmu7gdUoPsFj3np1C6j6dcjiLGGtphouK2q5T2wAM3mv7KmntKwPY1gJStsIjk9JIouTwwvc3tUhoGoeVmkLPCKXI+/cWtmQZoLKDKG4ZP/VR6bcWvDAxon976TB8pNPY0+BqTn9xNmfGAMKzRASNQ9U5s3pcXGx0t2bOEPeJeyD6QuSwnDAV9wlIM6RcmqQPQejRYlc75MDIlX3t5JCBKtBCgOFYzBjH430NVyrH+FxlKJTqRYllvLetL13iIUdrThscr7au0gIQngN680E7/wFn/E+Ty2WhK/qdgyG237H9h5uJ1LJTayJyhW0IDdTbof4pU61Y2/9QorRL+bHi32tqgkbqzHxINpG0eXKM6YYOy/hVLG7OrLfpZlaXa/zBzZ37Bz+iZXcW0O+XaCd2xDzd2igxBxNc/RtvRiGT7hcksZAWBkQb1KeDqBW9OzWcCcOsRTr3UlURSzT+gb/aq0UHQ3DvdrccLBB8v8icjwXT6kdb079DPURhhiLVfsmeYn5p942Sp8jxOpO7hzCUy+RbBsHYW7GweLqft16OCnUB5TdJYPVNkg1D+9Ou2RDr01Plwe9eBLsY1ePdyOPgrYgtYGhxhGfp5LOOmvplQrz9ceCMaXcrhVfUuZHuYp4+C/iSnrBhnNAsH5g1OaKgQ613VcKAVFreE25c03ZxjFrH6hZ7rMSekQLLCjpIsDdc85rld1I/G14r8aiZUVwFr/2Wy35xas83JlPLXwmrbowJ4iIfLkbcbFrnLk3tIl6APvhBBAUwLbucARjAY2CmGXg1qXFa58HPajjYVO8SBA7NXJkHxM+c3o0+AgOVf41e/mCx+lZA9ZwW+SLWwrBvpeDrfsejPVLjPhVsqGVpDRD88lXnrNTcimM2xNzkgeETRx6CBra1SIdUZEhJ9Ifd+0j7g7Qx5goP7zdO6oNhYoV18Bh48Qy8w1zKx7u5j6MHrTWrxDnonznT0yD3GYzzVWge6nvD+/a7uzazHMfkQ4GdjIcp00ZlfX3AMG7sr8cZUVvvllf+7G7i3V3YpXNSO7/uRIMJVoymviM5nBtAn1ahMBQzcD//ewzzBfVFb9S5gAWqZ97wFyNDNs+0TaDgJoKolErw+KOAdQkIcpWFEMt45ZFFjj0vgWz9M4nCAxes9kQUV/H6KZz8hJYnf47kv/rTI3o4POfGAAVpj4YZvLCROdAb3IHUib6vukRhZhUINrVOy2znLVAkZaibWBZ+H6BgQh0hZkKV+5bMOJrMYV3ANtLR3E15bA2e9gmHJq+eWRllZ9ecgm+wtxaEvhj80eDcE9/g/1gGger5F14Jmvgl0v+p1jDXz4jCJeopjLEAfvBmdbMpyPVwKZywHbaY/wTwkKXKH5Gk2TzG7FyczHyfIpQ/+VV7cxmSbpiIVRm29uICEeSC9V2Zp1Q5BeqoxqFFyooNK8DVMe7sdWkSYmF2G2iB2g1S++H9C7hzQGRNW3zh4qfZwUD1YuIpUkykzp2MayBHe4ycn7c189py5cC07ogKuK5zFYBKid4+PCx46MgG5BCgrXi2jfXZHhnYqWsqF377BZW/PNaO07Qk2ePnAqgnvX2O924qW64pllKU/Y8+iukoXcZc00mkFMOnn5gMFSCENDs6X25eUNFaeOeJ9LJ05fp3+T6a8TKNgF/sP4WdrrD8oBZ028DZ2y4L0YC1uYuKgtq79zv+0D2ATbslWy+2i/BHwUQDo4NVYIqiYJ++W29qhUNQL6pNtwLhYLWCbEYKatrBNpL9hIeoBv5fc84VwaI9/iWghOq9FSZOjWm8nCaIgeofoopb8ZbCEdxQNaQGaGSOCk47WKFpVS2n1rEtlDzVPdiUXAm8+0iABAeLOxceeh6lclgoY3BWb6r1VZzeqvKkZrm/kJnrk7qgO6iOjRVALyFm4wxrcnC9gKiOYJteC8KuLyB/kDv9eLg7/XKP1TLOn2i971xonTco1R12+Kh0EX5sefANKyw6CjIj1yCBuP8yBoCmsaCpx0On6ksnBctAmJjJwWN05QvY1RLEyHUjMHV71wf5kiBMIgFc8jfpGHDLtkPT6omKqvaOOwF35JRupxNtuNUr8UWGSwn870k4j45SYSa+hsPA3G5zlz14fRCSjvlt0lVU+eevEdBKoxCxu22XR20SOeLnL4qTfrdjrlt1jNy354ttBoZptviT8KHQLCbMxMzjLQsU+wpq8GPkVxTh3MS/t4ouTRhB5rh/9wo/khj2F8qGdy018W+EbWvvzBUK9FBqL8tzCnREHywLhOsGlNS+JrwhTA19m0nTevPQr2QdRZLO3lvbICcuau+ifes7V1NaBQ0eq4sSzlSfyX6fhbw6wtJ07b2t7kvBqN5r6iX9CZiYujHnVHkcvqcjTgd182wPa6zExy98WVE8chv4/4NPThM7WLhWH+As6Wyhlp614TGxkGisFNJfumsnZMDgYr0x8JFHbw6Z6B8N/aX/Xgo7t6tRVlfW8ALKGoLdmJC+bzyoico0ayxQr413AH/VTyjM+m0790NbHhSdU5nt4h1RyxjlyJNN7lTpEMinCpbZtu+wDKrDX3sduksLJ78oh5QB6LhNw0Onif0ijEjwgoDnffbH0SRi5jhsT77Eyp+qnl7pd3OOkeo0U4neYIKjoWVWpvDANq7LGcubXf1vq+nm3Swk6EozsHydfxYczaHLIfk6Rv39doifYWhMhRWmzCCSSi6PXHi0UM6s6rlLjjof1udq6WBV1KJSoiFtq/CRq1Gtnr4fU5TKDlTJjQOYtAv1KF2W/Jjubx6yGedtPeJv7EzBbnmscZjrIdsApSSTRdWtOBADGEZhSwNHpfAxXNg/twSp+5RDmgr5Xoqk+W1sBvNPLBNxhOn0Z6trJ7I3NBybB8oQodvslJedo2fUb2ZEWS3rfa72BxoAn4cz0NU05ZBGl5BY8k1qEQv7gVwalVfRre6zfSe6jTZaKRtwTXFkY3a1RloGWoJ2dBr2Ykt4h8MAgMBoTGh5+5N0OfqGthuO1iCZHQxmYd9ZV6ikPEYk4qVL/DNEj0j8WfWylI911crHtYospIyreh5JfInnP0YhsY9ssnZsFbBLpKCexUak4bOfpCSaAPS5YgCzVoCPDx/y06znM4nrRcPhz/oPh8SGPVPFCElk7QtjMHOGZ7N1iwD3KaVk1sHNOl0xQbg/FSiF2nkXZnszG6SRWgFjwW6IB6ZifMfW5EZcOLKR+llbclCQlcnNSivofCRitw3OLMghWHmOH0NJiJLawxyulYRH1t2Soq8MjtSgm65aa8X6mQONji4/qEYvMuJyZUauRadvJs26f3nM9l6CnANXeoc2PSZFFVNSOt5v2/SYpV8a3pJKunJlQeCuque1e07txfwvHdn69LV3a0Cfo+TWTVMA6Czayv3AkuEFDfxMmNIxjPmr3r5hXPj2IymAXZA0E1BIDh+9JOqx2d9na/xBgQ+RlM3JdA8Zgbky8RbpCuw8I7vTzi8QZhGDeZrgLYaiImPqIJrCg3U7eaR5y/puBaP1rvRS1ji+732INcBocGOlmQas+bzqcfq9eEq/R0E0EwDqWN3LwDHMVxnK/LcyyiYBR20fgzi6JrekP7uSQVbAn6faYPS0Tr/16cUeUO0VDAbe7cCWMgPuV3ylyWqUb+h+eipy1oXp/2HIvv9Z6Bd3NSXIyJtDSEdIcraVPu7Onbix2u7hndYUAzN1F15+i0fIseWqTcg68uftxcqrhjc2cpJnck5b8t12arv/edSVarfEwfKNF58fF5n9CKiwOiwogaAXEO3VDOgePoahQBu5lLC9hTznWi1Xapj23KWxtyrQT9Xu/Z4ZqzopaNccUHSNj8TH2EQmSo+YhrCbehKVUJ7z4X2uBDOfMnPIVyg/2aXVYXtd6my/0/VwdQPOD0QgkRIXmzYy/aPKqPYOn3RC7bHv43jHjwNQYoi+DTYfvb98hXGfiQ8BNXTUWED0zyqtkt3FXVcgWUC2pEOX5Z8a7q4XFm2AcGn/6Rn+JL4t61KYa9B4gWd2MDtP6EDZJL0W60trbPHZHYi/tYfw3tvGkW+6oOV8urNdPR0PaMiUvvfeosLjOw8x5zIBxSOeIB8XEtXDsMIoN6GmkSWOxtcYjHZM2/YZRyr4mnh1l6bCwBjizPZwUamcV4PZg9taNDDMBJkMw9SKuc9LREN2Pn2CX5iw8V1AkF1E3GBBNWYD1UcnfbK2O9VJqZ75COvgejQ0Pquf5nkZ2ssMA9uh8Uab7Kw+LbDOZ8JMuOfMfKTgrLIKAxChyqjoJj5f7M6VNMPQkV+IqTl7oC3iJc8b4sQ2599UTI1S9+wUnEJcNC2nn7vjcH1tCMmthz7gRPPsOZIJromqNPZcykad7hMUNPtwCDLlIqFN9LzxJjG8poOY6IfyqwD91YbNkmUItUpd5w2pipWeXxTQSsHj1s3kNvvPeS4zyI5arN74fH1X5cJXzTcdci/GW8/9LqVRD9Z6yxtWBvMNqUJSyNFQNKQ6iRPU/8ZCgT7BQYwUA821UQm/Cf6OCN5bacJ3EO8UNhpjl8/zrDlRRhCzkToYTZlj5v+mR0l7P34tJbI0A+ceCKfvosvmxrWcM4bVXVYx8GlqCkNfgkk7efg4gAP65G7c1YQK7j7N9jDOsSNI3eS4mBOh8sUEPSKh9Q02hPbJosZIkIMvv6mndjHqQGpya9+NkjH73Ql1Rs6TW0iKJAgJ8dDodqdevA9oC7u88b+mGJU3wusYzL73HlSQpUUkTU+srHV5Q/6sXvFZkC8VqDNiBspUCToy8JPsDom7OxzUeWw/uk+T2EhZD2kpRc9lLCry/wrXZnJ22VjMLbkutbhG4qNxCIY0g07087MqXfqR58r3tN1INWcpBr2MRHY1T12xYwWKYy7PoZbtm0B96OgwI4JMZ20xzKurnHr1M9/0QGuKAARs/tv3l9soouN6u7FlSPIH+QbmSG1O/1hZ5Fq509giEV6WRWA1wfyz7PLPIWRQHuSuExDt2uadXXahENfjX5NfMBu83OG7eID+YBQ65p9G1tXdBms5TLfA+qZIoreNkuF9lkp1UKzXURgnIyI07wNbX1XgALZ9VbenUWmlHhXyvl1XeaVDBgLwzxh0wjMnwvsLVKqYf/l6OHqmCsWOIN9S0ky4im79MTkYwsclPrmolOmoTySNRluWK4VBJ2plNyPso8X/p07NU4dtchDMa9UAldqsRpLC7NG9xbzc+VFqBDH0zKlpDVeMfnDASak9XsMT1Vj+EnOO0O7FMkmH3rYhDzBtYmVgp0txev+WKuGSoL7YQ9kP2nJzuwlgphOh+QL6sbbwSax2pYDzPig8kUpgGrLv24F3MLkxbpi4txJ9vid2m4EmGn/BQHNa1eDBajnuZPb37HVayL4XW8YNrAIkDovERGkHhhC39RSRPwqJH8x1aqo5n+FvGndVvo3WZqocAyUcFcz5T6xQ0Vic/BFtp6zQPd3nf/50vuCye+rn3soipQ7Tce/lG1n94rZykRNRo2+SS7crZbczoaLEW6gi515RxucisMx6JBtgulUYeFyPi1I2pgxEf414g0nemX+irKmfB2kmMWLMrP4Ns0aNx6g0IS2PX771GJUSfpzYSzBTB3PyfcDSySGQcocpG2J5C3R/2xFVDz6Yg4AbP4kNyroI7hBn9rhkParRK21t1mlloG6qr4XdZFKVFoC1ZQCtLoPUa3hQJ2fn+xG1ywGAfhOfbcWJj9k2CxCsm1VLhwrrE0FuLlBAheg869xmINRHKCgdjvwIlpZ6g3gC8oTuldaytMWTqEguVp4mCN4wpVrskSJjAaGvWAguEoaCnv6PNMaL1IxRf/nM82VplYbWBDlc9IytNDpFwueXKdFaQNPnCKZE2GKu39njUxQ57OXp04cdMOjg+R4G7cfA+xxH+fcB5YsLaUmcgqla/H6auGnPcE97VBhiTRPF0AcoVEYCt12/Fym54oGeULlHpLoFxFYAJHNhptRIKrBmLO0Bjhu0ljoZlSVpwCleR3Y8SHdw7t0bBL9vvv8MX+720C79qMHOZM2AQHOYwxrZlK4dok7TIwYedG8CuwxzhVhf3Trdl2xdVLjl1EqyPfYEgrLYPIxLqJEWohDrddgJOQIRqj+rKoGrAkVkxNLFSDzgduTykvz8myK63xMSXDH6rsVgBBf4d109HctCKDD/tIOBs6w6F5/oBJ1ugrlXL5huNKyqcDWw3aopaTkH3g6+/ioAmrHixWhJ/v+59x8cYebFHUq05OQGZJV1r9zZ/D42UvX/8myYwyiGQ2K9gzAJZtKIoy3cb5h2vltcDuCB35IJU0LL3Sak7OdsCmmeZQyFx4SoLUR1X/ILNxiapb/FIYRrl15V2J+L82B90IHr6IqpMMRRSiSAiJPoQnLbcwubTfnbzkMQoo8gR7Tait/kWPUQ5t8AYLn7GHqWTk8cGHIFSaP3ZvtrFKDgifuE65r0LVZra4ALa5c94EthvVB8uT4bB7MAai2QQJjZNDqai5hXLivROckFIXFyTpWp0cbT5nLn6oBpGBgn5uBlA3CxoL0Ce5RN3USbSiaLLArx28/Lt0muYOn68nRtNqlj3xZyO3S0IriCJwTZR5RZv5gZ8AZFjDE3tmeOTVyRPPYLNDyAKOifj+N2CMvQ1nj1L77SOc+caWkz//f7AjkQfwqpu38e7Ik6M2aVfONl6EGRS9XjJRHP6Gr1MuF7CdeajjD4D8hMHrVZ1FoOCDzhHX9zxmGEsNE1rSUaGwI0teGXkQGA/XABBrgP/RXYdmz4OS/WPHTGANbqxbZ84z84IJbgvVowPRX0DaxW/ExVe/TZaCaFLg3qFH9oQmlY/y1FbrCAnuxR5zakhPpCb5V/be3KJ7FE9iI6q5txtGLTTMC9B/qAgmSbRq3aB0CJIgdM87jTTWGpTzMLHOMdJHcC1Bg5O087QCT4+h6fVreVeuxSoosr9sO/Nk2QD7ztn8bsADiQhrh3xC6J7dD9Jrer3YUJjiS33NfMQSe0ohfi0XzInynYlBEs/kH749blB550v3v53btkxbQuGczbWY3n8Vm1kz8t9BB/WthjcfEXiFOeZ2sItVrfuUfeJt4vL3k9m7ZHF1K49jOOs6BgMvBWWr1xA316wsDg27PviLkTkiYKBNOwCrHjBkrjRMYrhayTKDcmxDhYN9oMMhgsTDpuj6oOgkjbJr1K6vzf7aQDAQqAreovwJQAqQtSkZ1h4LoYGZXtteDW5Ff1LtDVoaIaktBCo1ZGp8NZu4qK10ekGH+ON595BRWhR7eY9pmPwp3w9e8hHWngrfpEru0t/PqELsTN2LiAGY6l2aryKV8YmDA8W5IO+NuZpjcSps9tmFg+C1GFI3toXBgYDb+qqCIJ5LsIKxBUvkFrI5Pd/TdF+CaaTKM4UwUOTg/TSOmSAHw1d2EVYNvGOvm8wOPEmH/1PVW424+VePuYI3B3d61zlrvdpa+ITNXr7frKeTPt+oKJXZ1Ou6Z+y7VIH12N64ZDh1LGxGk2Si/dFmeqZMGJiMPSA+GQxiUp68wrhrKR0CGnzM6UDyGjrksRdWRIfDq/oUTm1BYeOKMue03iS5xYDDKRlvuUgfEChyhLH4UHjbLLK9+QfvDgqTVvgy4HoAl608olUROAmFvVZd58q1Xi8PttN5um2+aP+Fw/G+iUTKiQ/K8+EEKdjp41+hGpA2uAt/scOAo/1mioEp6ojRPX8TfR/aI+5SxkEh7Jzv86PzxXXfbLL6uHGIIlE5gRCBmIAcIUoT+8C3JVN/eN7cC6qmgk9SzCEaR18ZsaC4kufGJBN7XzrQeKZdOMA7TZKDwxbJsD0NwAT/C5WZuGXfwLeLkrr4mHMpuABFBR9yLeIFtuUggRd9/dNkTBLmz6oimmESkvCT8+fJBbBoIjF7In6tUl118q3IQo7UKAywQtY4uvObdJDe++iAyFx7PMknQqypTqnY6qiz0ugepxPG2QRe1vLlY7tjVBNx4SU9HL57vHGqUO1zeOgAEfm617xgcI6Z6I4om5t+UQcVEO7o6n3UYfDjM6fI4nsMldFDr7bijNNGLN2OUgHeFLDJWL/lya93SJqzg8RMFy2hRsTcaDxhqlgTElqymn7wTkCGNwWzADJiiX4SWota9EKg628laD6ehPjvldUzkawFoof/FYJN6kaTEzMHquOKPiXDtboABDFfxwnST5OsPCaqo+nUTl7g1QzE0H8xfRaVG36CN7uPgz5g/tJiBdDuvJiN1Sxs55iyBiX71OZWlSCxrSlt3Q9PVNHpNmtTbakpveKeR8sqdKnbhLh/X1eW0RnyPglDa+/podV2QDLKxf3GkIQbD5jQGJA3CQuKnoC9eb4AbfIDPunfHNObQrHk3zYtttcOSFFne4FKh6TmmXi8nqpLT7z+8ecZ7baodP8oWB6IraTfxJm521KL5uE350CPn3jW/d7dGKfJZFja5bgLA5kHHCMTUq1xOHriYssk3DwhfEl01h7oxCF1lZFq4B0pmy7xuM1jFPAiL9ORLvmb8r8k+F5oVJvysS0qKGaNYN/Ydlwa4NEisERVze9yymk/x0dZUHu8WDel+khG1p9SpA3aYfXdw30fzRAMYEn/w6Lh4Lmy972gwSB2wuS4AAAAAABOimNSAGvKbAABqbIBgIAFrt8hhbHEZ/sCAAAAAARZWg=="}}