{"advance":true,"advance_basis":{"replica_e_lower_2se":0.03670810736117839,"rule":"REPLICA-E report lower 2 SE > 0, otherwise Taylor report lower 2 SE > 0","taylor_lower_2se":0.03327674819161372},"arithmetic":{"binade_safe_entrypoint":"qlx.hit: round (dm+m)*2**de to binary64 before product/division. Original D0 ulp is fixed while trying offsets, not repeated nextafter.","domain":"Positive normal binary64 amounts/reserves derived from WADs, fee clamped to [0,1e17], positive offset denominator; arbitrary uint256 extremes/subnormals not certified.","implementation":"Integer mantissa/exponent operations, isqrt, nearest-even; no floats in qlx.py","literal_entrypoint":"qlx.hit_mku: raw dm+m and original de, exactly the candidate-loop equation of mku.py. An upward crossing with an odd 54-bit mantissa differs from a rounded binary64 denominator; both forms are provided.","measured_policy_entrypoint":"qlx.hit (binade-safe). Both forms agree on all 713095 tested callback vectors; no crossing occurs in those vectors."},"checks":{"core_source_freeze_verified":true,"integer_vs_native":{"binade_cases":260,"integer_float_mismatches":0,"positive":12044,"random_vectors":30000},"kit_selection_screen":{"arms":{"QLITE":{"last_round":{"mean_diff":-0.0018607940135859646,"n":256,"se":0.005319248554384056,"worst5":[{"diff":-0.30960505977117236,"seed":64228},{"diff":-0.28847631321758627,"seed":64109},{"diff":-0.2847770979855113,"seed":64121},{"diff":-0.250630414344414,"seed":64251},{"diff":-0.22371396225861417,"seed":64241}]},"round_sizes":[128,256],"status":{"available":256,"n":256,"reason":"exhausted"}},"QLX3":{"last_round":{"mean_diff":0.038504906011441964,"n":256,"se":0.010515829412623315,"worst5":[{"diff":-0.5523329700766908,"seed":64160},{"diff":-0.37372288089852645,"seed":64075},{"diff":-0.34708198025026604,"seed":64228},{"diff":-0.3460058314933576,"seed":64251},{"diff":-0.3228215518726074,"seed":64187}]},"round_sizes":[128,256],"status":{"available":256,"n":256,"reason":"exhausted"}},"QLX5":{"last_round":{"mean_diff":0.046186889103389195,"n":256,"se":0.011037764285018185,"worst5":[{"diff":-0.4839456205052102,"seed":64160},{"diff":-0.39501863862221853,"seed":64075},{"diff":-0.3773644312055353,"seed":64228},{"diff":-0.3722039575064855,"seed":64109},{"diff":-0.36574173752183015,"seed":64251}]},"round_sizes":[128,256],"status":{"available":256,"n":256,"reason":"exhausted"}}},"interface":"kit score.py evaluate(Dataset LEANBASE, RowCandidate), unrounded local edges","replica":"replica_e"},"kit_sequential_screen":{"arms":{"QLITE":{"last_round":{"mean_diff":0.004378424395895475,"n":1024,"se":0.0030703030810096186,"worst5":[{"diff":-0.7567150236359339,"seed":10156},{"diff":-0.6757230731316213,"seed":10296},{"diff":-0.4747816723864844,"seed":10322},{"diff":-0.44137259261765394,"seed":10212},{"diff":-0.35235093564023146,"seed":10250}]},"round_sizes":[128,256,384,512,640,768,896,1024],"status":{"available":1024,"n":1024,"reason":"exhausted"}},"QLX3":{"last_round":{"mean_diff":0.04421456577785282,"n":1024,"se":0.005210773667320412,"worst5":[{"diff":-0.5107279928131447,"seed":10403},{"diff":-0.47184460818789375,"seed":10414},{"diff":-0.4702311663660339,"seed":10519},{"diff":-0.3956878261850534,"seed":10449},{"diff":-0.3887203712246219,"seed":10879}]},"round_sizes":[128,256,384,512,640,768,896,1024],"status":{"available":1024,"n":1024,"reason":"exhausted"}},"QLX5":{"last_round":{"mean_diff":0.04711886607071064,"n":1024,"se":0.005205379354766125,"worst5":[{"diff":-0.6929003202881745,"seed":10674},{"diff":-0.48825728811607405,"seed":10449},{"diff":-0.4765454759981367,"seed":10287},{"diff":-0.4746152433773432,"seed":10414},{"diff":-0.4111607939708506,"seed":10710}]},"round_sizes":[128,256,384,512,640,768,896,1024],"status":{"available":1024,"n":1024,"reason":"exhausted"}}},"interface":"kit score.py evaluate(Dataset LEANBASE, RowCandidate), unrounded local edges","replica":"replica_e"},"named_run_py":"Ran requested PROCS=4 python3 -I run.py leanbase:Policy 64000 4 ... soft=1 qm=qm_k1e-5.json a0=0.35 ainf=0.35 successfully","packaging":{"credit":"Taylor (gtmcknight), amm-sim research/solved","paired_rows_equal":true,"replica_smoke_seeds":[64000,64001],"unpacked_source_files":26,"vector_nonheader_rows_equal":25736,"vector_nonheader_sha256":"4d477cde3719b2cc63a0608ee46e65f68cfba3b2c8482ca322f3d2ef7c3a2279","vector_seed":74200},"policy_equivalence":[{"disabled_equals_leanbase":true,"qlite_equals_prior":true,"replica":"replica_t","seed":64000},{"disabled_equals_leanbase":true,"qlite_equals_prior":true,"replica":"replica_t","seed":64001},{"disabled_equals_leanbase":true,"qlite_equals_prior":true,"replica":"replica_t","seed":64002},{"disabled_equals_leanbase":true,"qlite_equals_prior":true,"replica":"replica_t","seed":64003},{"disabled_equals_leanbase":true,"qlite_equals_prior":true,"replica":"replica_e","seed":64000},{"disabled_equals_leanbase":true,"qlite_equals_prior":true,"replica":"replica_e","seed":64001},{"disabled_equals_leanbase":true,"qlite_equals_prior":true,"replica":"replica_e","seed":64002},{"disabled_equals_leanbase":true,"qlite_equals_prior":true,"replica":"replica_e","seed":64003}],"primitive_and_literal_tail":{"credit":"Taylor (gtmcknight), amm-sim research/solved","literal_vs_binade_safe_verdict_differences":493,"mku_tail_cases":50000,"mku_tail_mismatches":0,"mku_tail_positive":28198,"primitive_mismatches":0,"primitive_sets":50000,"tail_binade_cases":9651},"qlx_has_no_float_literals_conversions_or_true_division":true,"replica_e_vs_emu":{"credit":"Taylor (gtmcknight), amm-sim research/solved","replica_e_vs_emu":[{"matched_retail_callbacks":6440,"seed":74300},{"matched_retail_callbacks":7532,"seed":74301},{"matched_retail_callbacks":7058,"seed":74302},{"matched_retail_callbacks":6394,"seed":74303},{"matched_retail_callbacks":7521,"seed":74304},{"matched_retail_callbacks":5165,"seed":74305},{"matched_retail_callbacks":7908,"seed":74306},{"matched_retail_callbacks":7214,"seed":74307}]},"source_quotes_refetched":11,"vectors":{"counts":{"binade_crossing_callbacks":0,"callbacks":1099404,"hits":608857,"inits":100,"tested":713095},"credit":"Taylor (gtmcknight), amm-sim research/solved","literal_mku_candidate_loop_mismatches":0,"sha256":"4706aec7fa9be0c5fd3a4771bc42e560c42810e4e37d88632318658fb3e3814c","state_discontinuities":0,"verdict_mismatches":0}},"choose":{"arms":{"QLITE":{"mean_diff":-0.0018607940135859646,"n":256,"se":0.005319248554384056},"QLX3":{"mean_diff":0.038504906011441964,"n":256,"se":0.010515829412623315},"QLX5":{"mean_diff":0.046186889103389195,"n":256,"se":0.011037764285018185}},"n":256,"replica":"replica_e","rule":"Higher mean_diff of QLX3 and QLX5, tie QLX3; frozen before any report results","seeds":[64000,64255]},"credit":"Taylor (gtmcknight), amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved; LEANBASE, QLITE and tracked-mantissa loop from the credited IdentityMD artifacts in sources.json.","dependencies":{"python":"stdlib only","research_commit":"66604b3426d8e97a73e2c39940b9b4dece51cc73","table_sha256":{"calib_out_2048.json":"fdf24c7aa2b604d770336a5783276da8ed4d50bca9dbcc02e98b4da58f608d26","pol_mid.json":"efbb5ee102db4d312f64565d9bf7232b6becbe02b624164f744a402bbbf2983b","qm_k1e-5.json":"5ff53e42ca87390e5f65d1caa3f7a480e67a8212fb0670274dfd562b05ba1afd"},"table_source_base":"https://raw.githubusercontent.com/gtmcknight/amm-sim/66604b3426d8e97a73e2c39940b9b4dece51cc73/research/solved/"},"evidence":{"callback_vectors_generated":true,"checkpoint_sha256":{"choose.json":"8272ccc4717dce9d7daec0c2816023cbaac023cb15994db790eaaebfc3a9ff57","report-e-10000.json":"11ae943821b692b2ab1380bf2b98165cbee71c73464e08eceb9ba9f5dc388d67","report-e-10256.json":"ad1b838a1c93c8e964ea1df6dc749a616c7a179dd35a659588b4b359443e8558","report-e-10512.json":"6a14c0719651586b9fca8aa30e7819904987d69b2ffec397d878df7ebb164bd7","report-e-10768.json":"8543da80d0ebdb087efff0c29f7de63d185f5ba54933ed7e5a1b2223af4e0742","report-t-10000.json":"fb871b43a9c7001037753975a8e5f01d0a7c6f703301bda11b0b65c223444737"},"submissions":0},"false_accept_rate":{"replica_e":{"QLITE":{"false_accepts":527,"false_discovery":0.0007833682157636874,"non_split_tested":770071,"rate":0.0006843524817841471,"wrong_spot_fraction_of_hits":0.001212957237311516,"wrong_spot_hits":816},"QLX3":{"false_accepts":1129,"false_discovery":0.00019126292655317271,"non_split_tested":772815,"rate":0.001460892969209966,"wrong_spot_fraction_of_hits":0.0006734013578820739,"wrong_spot_hits":3975},"QLX5":{"false_accepts":1751,"false_discovery":0.00027137946319251357,"non_split_tested":773112,"rate":0.0022648723600202816,"wrong_spot_fraction_of_hits":0.0007535390919714454,"wrong_spot_hits":4862}},"taylor":{"QLX5":{"false_accepts":932,"false_discovery":0.00028824094468804724,"non_split_tested":387419,"rate":0.002405664151732362,"wrong_spot_fraction_of_hits":0.0007843122700953732,"wrong_spot_hits":2536}}},"hit_rate":{"replica_e":{"QLITE":{"hits":672736,"rate":0.09297797478354443,"split_recall":0.10397080566087318,"tested":7235434,"true_split_hits":672209,"true_split_tested":6465363},"QLX3":{"hits":5902869,"rate":0.8151758087239971,"split_recall":0.9123946591486899,"tested":7241222,"true_split_hits":5901740,"true_split_tested":6468407},"QLX5":{"hits":6452220,"rate":0.8909828758156938,"split_recall":0.9972007749464488,"tested":7241688,"true_split_hits":6450469,"true_split_tested":6468576}},"taylor":{"QLX5":{"hits":3233406,"rate":0.8897997665291268,"split_recall":0.9956983636532213,"tested":3633858,"true_split_hits":3232474,"true_split_tested":3246439}}},"method":{"arms":{"QLITE":"one candidate m=0; no tracking","QLX3":"m0,m0+1,m0-1","QLX5":"m0,m0+1,m0-1,m0+2,m0-2"},"baseline":"LEANBASE variant A, soft=1, qm=qm_k1e-5.json, a0=ainf=0.35; each arm alone vs 30bps Vanilla; 10000 timesteps per seed","false_accept_definition":"Test accepted an actual arb or a retail allocation wholly to us; rate=false_accepts/non_split_tested; false_discovery=false_accepts/hits. Truth labels are diagnostics after callback only.","gate":"Only inferred non-arb callbacks with dt<=6; joint m0 starts 0; accepted candidate replaces m0; miss preserves m0; other LEANBASE logic unchanged","hit_rate_denominator":"Tested callbacks on each arm own trajectory, report seeds only; also report true interior split recall","replica_e":"Taylor RNG and event ordering, recomputed k=x*y in each quote and arb sizing, execution reserves updated by amount-fee and output subtraction, as Rust cfmm.rs and emu.py. Not native Rust RNG. Rival-first ordering preserves blind policy behavior.","split_truth":"0 < our allocation < total allocation; a very small rival allocation may fall below the engine execution threshold. wrong_spot_hits separately counts |log(candidate/rival_actual_spot)|>1e-9.","statistic":"Per-seed edge(candidate)-edge(LEANBASE), arithmetic mean; se=sqrt(sum((diff-mean)^2)/(n*(n-1)))"},"not_done":["No Solidity deployment, direct EVM differential run, or native engine measurement. The literal mku candidate tail was checked against independently transcribed integer ltDivWad/ltWad equations, not executed contract bytecode. P/T/F/G/E contract gates remain downstream.","The original mku raw-denominator rule and the binade-safe extension are not identical at all synthetic upward crossings. Both are delivered; 493 of 50000 synthetic tail cases differ, but all 713095 tested callback vectors agree. A Solidity port must choose the binade-safe arithmetic to cover the full extension.","Large Taylor policy tables and the 453528720-byte callback vector stream are not embedded in the 64000-byte result. The source bundle overlays the explicitly specified Taylor research files; table hashes, a deterministic vector generator and vector SHA256 are supplied.","ammfast was not used to simulate this new Python policy; custom runner.py executes the specified replicas. The pinned kit score.py evaluate API screened the resulting paired LEANBASE rows; no Rust-engine or leaderboard performance is inferred.","Only the frozen pick was reported on Taylor (512 seeds), as requested; QLITE and QLX3 Taylor report statistics were not measured in this item."],"pick":"QLX5","reference_encoding":"base64(zlib(UTF-8 JSON {filename: text})); overlay on pinned Taylor research files; source only, as LEANBASE was packed","reference_files_sha256":{"README-QLX.md":"c33cca07b41fd1f9da7cc04e180e497f0ae75ad72f2fd9ba6667e38c41de3299","check_policy.py":"c6170c37ef156e67e7c1da759c99cc8e2d2b0dcf67ce463e7bb4d4db51df83ef","check_primitives.py":"62f273a665ad114a8e24075d7f8ba89d8e0efbc5c5d48b5bf5e9a7c361607cb2","check_qlx.py":"bf08ff9a6c3c7c82435978b4bfd2c0a0f515ef5b8439460b9eaa4f140e432237","check_vectors.py":"27ae6081239f6778d2cc8682fbe8e146837a3e6fbd2e03f1850e76a44ea9e34a","evalpol.py":"79a96efe8c543aee125c937554688b37ec2e7df44df4f3435265bba6eb012bf3","kit_score.py":"7b9fa5e37695a5d1b048efe91a8b6c45d31bd4245a733261774c871fe9105a43","lean_tell.py":"b70054f8c0561779e40c4c8df3f41ab08da05b9aef591816ac6c9034beb40a95","leanbase.py":"ba015769f7981d7798acbbc9aff8c0e0c59825bb1541d55bcdef49311d7a04bc","par.py":"bf8a1a2e2a4bf9a23bf4622d726fd815702298ad1f9fa0dd17197230cce63ec1","policy.py":"0031c006ab44b5e88773c6a219d1da0c78b4a154e0596a58ac4e521d539de038","qbase.py":"9e81ff7cbde60fe0160ed01e6e51a135b88189822a4bdd990803df47f4455d68","qlgate.py":"0823f2d25728bf95238fc350a8aabefe8e73143cfaf9859e894a7c2c06984de6","qlite.py":"2ab8337870a2375b79f1773619e3b11a472bc6d8b4b9085f5047cec645c57535","qlx.py":"642c7ddbdf782a05ca027609cabbec97c459be9764c6ab2fc8b324f52525e771","real.py":"6a4a0f0e7f8b43d38e5eaa9d8b2e847a0771aee7f89551b122fe89bfe7969b5f","replica2.py":"54380c8755f4e42e9a0426759e918eacd2c5f915b7f04e5d0501c394c5846b40","replica_e.py":"67aebe610bd4a6538219784c16037d7137f8aa2c4ccd58293030066a36bb4713","replica_t.py":"a0c0cc988fdc7f86d48b1cabbd93918106781e3094d3b7f0cbb259f14b455dc4","run.py":"91133e4ef485626226679d73349b5b4e374d9713ac5d7e9d36a39e1afd75933c","runner.py":"60e27cf262985a4d8f12af8a159bb8ea023d26dd3abcaa530eff19c740ce2711","screen.py":"b882211bf8becc0353d6a32d15dff08874789364cc88dec7baac1dd6748abe7c","stalerival.py":"d124a171d35b024daed840e5449d352b2b5e50a68ce98c8a9aaafaf3419d23da","tellpol.py":"7d5961c45bec56292533e65607245ad119b8733c760a5bf28f76a2e07bc3960b","tellref.py":"4867a33106ce2597863b8d7c8fb396288954b98f291714801fae8820f1f47aa3","vectors.py":"c2a8d626d01a9b318f2ca4059203c5d6ee70391df5dac18d80cd8e9f16dcecfc"},"reference_zb64":"eNrsvQt720iOLvxXuN3PrEibkiXZzkWOfNa5dedMJkknme3ecbwaSqJsxiIpk9Qt2fz3Dy9QRRYpynbSmZne7zgzbUlkXVBVKAAFoIDPP7x9dvL0L8+av7z8rRWOf+j98CTxx0HWs95762mcWPZ5Fo4uo+D8InNc6zzILubD1igO94rne14YNtMg/I+DB52ud2//QXe/07nXPfA7h+173sjr7HdG3v7haP/+g8nD/fb4oZX4qe8lo4u9NJ4u/LFlJ/5sGow815oE08xPXGsW0++15UVjK/OGUz91WtbLZyevHp+8e8ZPf3n54j19S3xrksShlV341oghp+ZejP0oC7L1X55SgSyYeKMstYLISuN5MvLT1sc0jlofog/R+4sgtYbzaDz1rXjhJ1NvnaqBN9IcSgDlp5aXWffu3WsfDPcPuvfGD/yH9737+353tP/w4UF7+HB4MPZH/mFnNLq/T+Pws9EFgbKkCSuGm/nT6R6/aqUXLetFRq+u5gG9xwCCBMMehMGYIeRhXoWDy47fPOQnR9aFl14AFBo2jYfqzaeZDMd6FVMbQTJuzmjMa+vNOrugNmbe6NI7p9Kp7mrcst7TZMVJcB5E3tRK5lFrRjM9TWNrnlLjI28aDAfxPBt02wcPBJQJYUJAkzgO0hlNkjQx9RJq2V8FaRZE52qdGLYoziw/HPrjMU0BAZphnmX21XS7VujRNKCeXlaacYGWHvLqPPVH8dgnuCd+4kcjf/BpeO/A8mjFvNSnb81j6xOBis//++71K2pxNkODWK7IC30ri62/vn/efGBl/iprWW+mHvVP05L6akmHfhqMfUYegZ6m0Sc8oEFlCWGN5Q0JQ+cZpouAIyiyJr2gEik6mnnZRcqgPouyZE2rF0RZ2vsQ7VhX01XrAtuInvjnftKMo+natYY05cmaYCcMjUP6kVHDT9u74c58OrOftmmLjeIk8UfZdG0lMU0VTSAhnsc1CdQhnlETLcsmKMbBKHMjAnYQtp0jWrloHIy9jEbWdnc7brPj7nbdZpemcOplwYJnJGy7VkaLPvKwVehBNOp39vb3DlvW68i30gsa5thKg/OIPsK2lWaET4z9n/wkPrIwEMsbjfxZZs1n0luQtYxBD8LLec+a0lZMgF/eshl6tB/T1CsgtKZxPJOtS6UJAXk3jH1aT6pF+4SG72deEPHOKLB1HulZGYe7oTmNLetkSHvY6u7sHO7T3rHi8RidW3nnhINATK92FYDSVID+769mhCGoSz0n1D21lQKlsCajqReEWPthTBubtkU4nxJGeueJT1DSnp1Oacln84xQiQjA6HIwS6gCJj/FNiPKCTzCqGhGeRICGs7Mj8bSgXeOQdOr7Gmw+NUb700z+mvR3qUVjKPUpfKj6XwMGEZJnAIRU559IZktIYx7RCB/25ePw15BOpkeqXUics44QICMs0f9e4A/iGizAQF49qcgBtMh7UoazlW/TU9nSTyeExHNm2TKcxHQVo+AV0zuvNGFkDQNFOBTNH7g0zzk7IV2W5TtvX31kxXSXp9qeolpmgO2S6aCNOTED6kk8ImIaULrrHEvpyN+CDyiIb+d0/yNJmHYSghs3W2Gl4K84zGtGNEy7zyKiXaNLCJqQWZdxPElNsQ8IliCSUDdKyi9hMAKfSpaoAlQCSPk3jAAlIssPyJE9XlmZdTzKPITHvLMA/k111uAp0EsUmu/PZyl1n96UTCdekSsiGakPhX3x+egqjQLBsAj2gRAMVpRUFYvnBEHe/fUiie6F65Lo1C0E6R7EWDfDNdWepVkduQwfAuiNXGSMoBA3nzBmeYzljMmCc/97RBIcv+g2263WvRx8NDExyACUqWXwWwG0uKnGaHrrydP1Y4gzufTA7REdGXoUwf+njchMtGynnhRHNEyTZmUv+RC734+6R7ea1lvffAcC1glw2KyIZ0Rc9EQ0wKM0dR/Cl3sT4il8Z7UABVDC30vwgoyjNaSNjAt0xEa5yfEI5mor3heU8zqUFEdQkyiJ4Q/9pu3r5+86x84RO4ta8bcdt9qvigWvEB4695Bu9229rtEEmKiLU3+LZw135myb3muMc+3aLXTVq3SozjJmvz7d7aaFa1mjPtbWt1oqsCj/CvqTCvFhCZuL/xXWrLUJxIJHpFPNlAxnRPPIXJHW390MY8u0yNrmXgzQQvIGEHok9BiHRy2rSURbmpnPsO8QOJ550+pH6KfvNiTYIWNwAioJi/tqbUhUnYOsg8UwcJXkB/Cgaxe695B9/CQeGngcyHGU2pJJrDV6nTa3X2g39tnb16+eHLSFLl1FhCm6iLtw04HRYTMMNI94Z3ds8BHeRJof9P3dE8hptCqAZFIZjUpaK4/kIdSrvitqzznnSA82yNigGrGL5qtiEmZouJMk7lMMgRVwyviurRPQSHikWL5NI/z6VQzCi8E4Ew+aWVYVjREHKaXUQUs3qADEilHmNY1CskjgS3dw3hILiAJKgmAAUylZe+2H5E0qcGhdX2UxcQcXIbdCiYCc7DwpiRVFqXQxdCfxksG0F/5ozk/zi6Iq1zEUwJqmcTROQEay3TmyAjez0tjyDDEKQmsY5LPHwIDp/G5hYpHIlAyL6QO5xAmmPEAjQsinqojiM9iD80Ac11Fr61x7AuPGfk4whDXst4RL6UDDgCJWDwlLrH3fu/53k97z1wlXu+dE35PIXEoSkvF5kRVh+tMpGnNErKAnvJuxMkgJKGDulyS5EHcO7SWcXLZsh6zzNlMvYlfdF7wQisE6xv6MkJaeRJEfRzYcDZQ0h/NaQ4uEVLiAlrgjofMxwuyTP0DDMgTGTN0bNV0PqSxCEX+wf1BiVQiVMzWdFz9wP+79tBaPZ5Wj58taeNDFIS8gdN16sbph4g+WxDxWySQ0SLYbXoqD8ZBggOGrX/TMQGf9mCAc8Vg4DhO3prQWFdgdq+mkAzcnNzm3+jZPHJBxFyQQkKMvqLO09gb5z19pCOGrV78/OztM7dhHhkb6DeeZX0wQDuNJ1m/416F/e21S+fLhuN67X5r/9CldZjgC5qbZ/3Tsw8RkPct0NyuAZ65IFNpX058iRed+zZTShd/FZ/0+m9b1L+NYq4C5PGUJCINVehd+nYjPxLSRJ42IAE1zlB9uLW6Qok3/GG/d3kCaCZcklqdSiujm1phpkmNUP1K1fHWqrKwNQCMvFm/e+Dibf+eyzJKvzFsVIHyUuAYTVB/6NqeO3SO1JNRvz927ZE7dlCMVqNFx1zaZjb3oFaAwBoMgJKDgQvY+gwgkVacascDnB6m6WBKpBNn5/574hGEirRH9asZKCw/BwrRryizWa8wnoez1KZu8bzYgeah5nvtwuixPpcVzYu0yCdEi/lM+bTE0OAIo05NASt6+MT9IZpmbyG10YlAH6b4Kz71wc2UXtOLgGTRcdPkW3LqZkpdphFx6hJ5+F40go4BFy5tGaKAvPtpbVZgDmN/YiW01JGbyv6xwNvSR/12j9juPIms6NGjZipvrvrR8XF6RMS8H/27bXcePUqdZsc5uvCmkz79slP6JUVV5atdLDNVOEYZsHr86Pf5F2uf/r0DKAHGVUInBgVD2o9aQ2LkdCY+pxE5zcP9UrsaZDfVg1gSCQtdXzcQ9cOd+4QHh+3i31Hap3M7DY9GQYKR5UNmOexKhVlft3mU9f3d+7tpqcPZo0cZc/1jOqNyxdnxcTPTvdPRBwCMXd/9KQfBxVDpDZ317PGjRySu0ct8jullL/qffud2A0br+aD93bR5eN/RnQNr7dnSnYXuzHfHoTv23YXvhhqQ8agPVYaCKnSjtE9zPQt3xiPnKEp3+zN/l5jwws9hi9JHbVW5eNI8PNA4weJe8T4KZfJCtxmlTrkeLXZ7W7W03y4NUs0ig7i78Gmf0DS4BGW/P1vq0YpEYUd9Xlo9xqQvyN16yx/2/QNiCc7RLE55l/fbR1qvRV9zCWXA8kRKApqGhNWQBXvJERL/vL6dtNCNvIMaqOuyMshxzRfNB213v+0YEzH85prepI+t25qO/dXM3vGco2H5ydAoPGEdYpC4E4zg1IYWhogQE3vXm+wMJ47LD2mi9cO9/KE3HuuHu/lDPsh7jstdyo+J45wZs8JQCiMx4QIctG6TouCybw614xLB6HTb5lg3WwEIEVFSe+mgMRJUMvpaVPmROAGRbJzDptCmsP5PHfMhCpvaPo0A1tN2q2hhTLjbooNZMPJtY2G6ux1ZoKZaKKJsDhA6+FNX9v+2BTWa9vvNw+5RWBp388A9dI4II4temwf33Ob+Q3PZacva2LO0lY2ns2WfyWlrHgXgL3aLdgBNJGH6TsfvPChvveBP+9h75ZWa9TGl8wj7bLakDZLE477Gk5nLFCHiB6wFHTDLslHqtH1GVKXJXztnVGzSz1cnipxKN0t+yVrgHA015tnRBI3R384ZbXMHvYIftZ7/evLUnIUKsMWL8zjjV/lBickftUMQGsWWXpT1NXXcmZmkcQPr0GQfFVw7cOmHi+8mLIqS7PbppbGzFVLt9nGSYjywHvVFdfxINMXGqm7SHW7u3+oGg0fxZJL62cCQF2ybB0Eb0inGmpNPEtfERNVvXCchVQWjhpuLQwPqj3iR8SAMUqVD7Lfd8irjH0lOA0zxYERiH2rmD3Laq78Ur0pt8hMRg1QjelJrulOnvsEi1VVwdhwoS8XAUEf2a2Yb8tDE0nJsv98YDHAgHAwavQ2BVPEZpySVYlH+dxwKTYEvP/OZUt9kZi+cnsYdk+gulECW+BOgYrJyaSkmS3c4X7th241GminOFEWmvbkH+nN03u+02k15OFEPpehKFU1WquhaP1ibxebuom+v3RWTWupPSK29ctcK1cf98127YEb2fOfcIYD3ikcPH96H6ou46E67RT+k3nkSjIVvwgy2cApuT3uMz5xtl81ZsGY5p71oZPK4sB+2d6ngEUSp3XAnb2hsUIiozyTTnpFctYf+KpLQcVtZGghsO9rhEntE+oR0Q8TRchIfnsLS3mbRiWZ/Qwrav14K6j586Byxeu82Ek6yqjCYg7bbzbnLEQlP1ddtLlDDgCa+Xyncdlsd3RItLe3yeGoTO3WOwnaFRbbdAzpWRMQEO+4+8ctT4mVnBh11z30mmSZhVGjq+8DTEhOp8svDEnKRGFnlm91NvkkLTxtmC00e08LsFvzcxCTHqXJGE0uMXddp0aAIZzceEYpsSACz6mx7fWVxMzaszITasUfDfnk7l95ucENREgQu5MHiJdBot+8R85ZnuXXQxC32G7Cb99ouhHcSgGga2m7bRDPWUoZc7nqJq7IIqBcWqNu8596vFlFrdQ3zZN65WUkNnBaZzxvGMgidGhPD9R299/MF8muayqdlV5/uTAYtO1QbKMBqNZ/E9LpKtzDgXsuMssQj805+N08rTCXfTc1yMqfqhiieK2BVXz0x+5Vt9akLTwA2ykRZEM2DbO0qd5R/tHaEeSO6ouOCO4qnypSTmvzSw5hsNJErKQBt2v/85eiiryq30guve3jPdo5GfaOdFttc/MRW2MI26HjmR9ye20iGDQduJ5PKJhkC2ScVFCfOw4Zpe0gUuc+rCwVuag8ruAglw2njMojGjTPCiwufsCdp9NT0+uXCl/66T6W9JGycufQF6r3G2bUNwj7a6G3dSlQ0bKNge7OITN0pdXpGR+PTRrKSXpO1fA6DsXzx0kv6AvpRs89OGYS0cUYb7ah+WLOVO1u7w6XrLUHroNtb9Y3ea8+xgGiW+IsgnqcDDVrxoIBxIBa+HNTSbwwen9xn44yIil0HTWVgNKjciswDq1sCsW81zuomPyFyjAF41KcqToSevsuplV4Afg3JZgkCTT8QGDNb48Vpkw5+dbQz5z476N45iqfjvuGqox5vxRTiNuhDCfFq9jo0ZdfVoD5cOyEORV9qCo7dwYaIcKtB1yOapr2K6g5Ka+RFa7t8/CMWuSsioz4FmrIm4Hr9/Pm7Z+/fnfYwNZjYLR3rpWYUP21cKHwvmLD+h3Fs34wAz5xiFkXVNBO3q2zRr9yeqh3B593OdzuVCjHtX7Qu/NU4OKeZsB1XbKRifxo5NUdEfRYs8U59bsQRNGc7A7CdcjkeuViMFRMK8PxrmKwwCjAmWtoFdCVuSkxmQLOZ5vYP4r7+wpvO4qnw3R8t4bn/TKfYnKu+nUeWZ2lP2fGMQHKsmZ9MiH01A9jlQjFuK5/ZWIz5s3niN5UXqLISUZPz1Dv3e6ZHRjFQ6xE+MVfHpy6+d+VHq9U6s2AdzxGQuE+aOzF02wf3Xe12tBC3r5Q2NP36+cTaYxNwnHijqXKytJJ4meaIcRMkVhiMrdPozKr9Ry/Z6RLOmbT4hEWpZU+90Go9cOHDGHrWw9bBIb5/8q1u29EAPn3TSK14GVnUJ7hSzWkfUowc1EUCYQ+TDxHsplbfur0gUycGWWiF3rAnE8FuqX5noTcrLMeyal3IHm/ZN+Tk5YvHRt9szmU7rtWo8dptUAe0nWjvUJ3PX9CCCEtsUTZlpWDCvqxMh4gCSqWe+jzFqzNqIhdm7Fw4csrUxKwg3Y2mROJotsUuqrqD8i4dfKQmseGU6sDHDobEMBjYqT+duNZ7F54FA3bjEJMl/55daBOmebxAldZ7NHkk339t48dp41di9OrRq1/l0atfi0dd9aibP3r+WB49f5w/eqJKPemaQhe/upA3Pw+GszQv/2v3peq8+zJ/mI+FXuXfjXc8LvWOv1d6os2T0utTm9o9gfSCDh7TFyJB/Kyjn3WKZ139jL44Z8VUY6LVNO94JSWDrCT3OIDDnt1uEb7KH8dYKzoYdVULC7MBzLGehCMr0r9edUvH+AUY8a/EJnMdF/VQKXGMEpHVtDpFKTnu8UODI09jOosE1BUBye8MLfMFbUO8bFIp69jqVLgwyEufaEZs7VIpx9rbs7obQt2vp1TsDCAvemimj2o1DF6AKL1TcHP79oKg+PV0Gp9RP5b96+lFcJY/MaaWp12mdkn/7xJ1vTCn+Ed5jK1KWFc8P3Gtx3q+gS2ns4szUztB75bUscLbXb1PStNOpR5Z7Z6Urq4JPTzOtxJNsyomi2I8N5cGW4dg1d2W26PdQ730Niacaj2ymmo79qQR/bOu8LFVLltbdIY39HpXvyb0xKOutZPv/F0Td2qEtlneumyAaddRrWxiOT1kddCSinzUP7oVdVZpQrs9rmU8KBX+SIWpLy6HBuW7cSilZ7QgTSs4ss7xHe8/GuojYPrJaXB2+vGMxmx36PXEoTHTM4xcPadH6uU5XqoaXGBLLf2Oa54b9hd0+Limw8fXdvh4S4ePb+xwgiF2Wm2qwZog6IGatkc/lyjZ8ZsHrLz2aCaXcrgo4fhkWFd/SN2V6w+pfrOuAU2mhi7BUmzpOBpkCR1R1K4O0gHUe5a3ov/oM3Mt+oYHCVWckbhCe/6jueWxzUS3FZ/bcHJf0X8zgenAKNY1y6Xd2kLYdVabpyEZKh1+R/CLKFxHnph4uskTCrJUSBX+ws45CStORE50rdEEyKhmAyy6kD/kGdx2ibGdFWpKua6F6iZrokLK/crNRQr7vcM99Ok/A2TDTwqlE+1qxV/FZVX9oDnQjxf6kf4y0a8mXuOsIutQD8XYCajUp90dx1N3Y/D9V3FEsgt7Lfcf5NYAH9wcAp/tL1xi60a106AHTOcaZ9yGU7UMEKeb+uKIljqqceesDOLnRBhsoa1Cp/iRMO8wREKcrFJ7nHvHYJWo+TGRrhAUaR7Sd8KmSCnXmGniKfO0kHBsh+goml6gaS6r2DS/a7cOS6CFLtqg9vKX+J9xigNjMM5xBVph1ozjW4u9gu2G2wCo8HA1XncVSmFd6DnWIRd4IUCWvWikNnWLs05VdSZnHpqVIGUtMZwkcAByLRyAHlQVLzjjbIrMLMA7BGjiT5RMXtWg88qgNkSeSYuwipbHm09ZzyPKPZcqOqe5FhCiebLZEAv0QSRzVqN6yCAf40jTwh+bgQLI21C5RgGisUTeH4nPPD3ywuHYs4Ieow21epqeEUWvbGwDm0oMlg/sk8ZnfciBwyKfsJhgfOnxhRjrM/qyO06vtT/5on3Q5WFXPQRxkyf7uthCPTigB20U0Q8O1YNhMN7z0kuIVerNPXrTnXzZk1/35Zdl2Z+NqWtmba6eOo2aWcKwL9mc0pBjcIOOaz+f4O/7Rp2FhMVSzDpQmfflqZrEDsRFQovTyzP8VDStMrF1qipzZqGEodFd9u6lX2iQvV2eG+rtM0k7+G4OokYEipQok++y/TPmiYwJ6plD/HFfMRLaJDdupX3ZSvxBhC+qbqfbIHQdZyltyWvRWyg1zkxQFahTE2Gy+sa6hMaZlgFqmt+6Yjevzk04jxt68GyFvqJQdPS0ggCLWF1DavXpG1FuWJ/fn3744fzDD2c7JAbkK/yD+8MlHbbTUZz4Ssv1b3vzNNkbBtGeHy20ZuZDpLVft7Q43aToctFiRdnlKv1WU+mw9OtcCfZG1Eud7gO5FZeOEt+PguicDtDZeBoM+YItVLhTXL/DqHCN2Hrn4yrFKN2TcYYbfh2ErTSlOGyzLmbsZR7rLHDFRUrkj/I6ypyU/5YP84m48BvOHrmqJ0NN3fQbfpOrewr1E+FQwHdETI0UOOTb13999XTw7sXfoIOi2fgQPXv104tXzwZ/efHKtfT3k9/oLXtaYFfhy2GHzjWPT179efDm9csXT148ewf+01AY1OjR96us0yTawnRpGT+Jwxm+Pnn9l8evFcX6Qh9yv1FXaHwhFvb8xW/Png6ePf0JMNEk4/ImHbrtpNH8P6ft5sOz3Q8fWvzl870vHz78rWEIjRMoInybEZUkGm/oTw2lVJDCqxuXlHQJuCU4cB5kVdXGazvNEvh0k0DNh1KnpNrwAtoh/4mSz3BzBzuOe/yS32TxFEBWNA+HfqIpYZasjXZkV+ljL/9S5fwVX4u2iz5c6/XCT6jkkn+yHZFKfR1UAlPDkYuPVL1wBY6VR2aQmjPpfFv7JQlNK0bVQsGcQtL0IL601VdjnSqLoQrAYpzwYqkHWr9YwsPrQG3oihpSTfHgySCIaOASCAPg47sP1iaU2Xrm80tH398lRLm2eyY1OW5E+mqBxfYkRsVG4TKuYYUEqYBjOw7KFpsURyxulj6L7Xr9eqk7xVztM/5+yW9SfS5a/tJqfS5a/GLODK2lmFQgWNr4k8+Pa+3gO51MxImJw0SwVYuPLXr6lOdBHJFIZ2yThK/S+Qnr9dloJciDi9Arb5QVV5h1dIac/rJ+YBOp8sMRibyGiKztuyUpnuVlQKAk5rJHVxknqYDL1i5GSBGdNT6iDTxkccp4WBEyNvGD756idsQiDQ8Ws8ANOab+1seBiUpumu7rsbY0lPxSFc/KTVBNGuM575KshDKNcptYcrmQqmdW7QlML7/QWKoL3Dgb3CQffPSWIZi9dETj4fs1aI/vP5mgGAuLAvUw2puLWRzoNZFBmYIVtXA5lS2HZmnHuXn2uFdGWeCX2m8Fg0iDVXPsj4LQm6JrGtnGzG7QgUqnuKPJ2NA6J1G0wVfgB+nSmw1mvnc5oNeNTWcRpl70yiReGDYae7ShQ72ekgBl1cAEc6M4ivxziRGiidwNYP1oPVsBzYKMmyOZ1IOkRPt8LfdW+dYndpxYBPkGNiQ3vqfaKk1ZPhVq7hrFRrD+rZ/PqGx3KUn9JcEIgolsNpSTrzevcBBxGI4sUNZI3cGeNGqse6OkBcPuO8VzHLkVvy2h4qRRwZuGeaNI0dWajYZLWGicRyE/VWETX8OAvRuwU/hau10uSUdDoyXzDIdgNtVa0l2z0ptzLR8qhiCMUZnmexqy/mf1hQRF7rT/mT++VEQL6b1gT/MooIYH8fAjoYgNS3J+3Y2eGVyAj9L+2lUiGB8GqXCZ8FMBvKGaX0MpOYIQqn6mP6V1p4bY14LgUDKRqQUcfjS0gL43HkD0LxlXEYOmz6K+PG5xMVzITm3D6pP4GP2Atg2IXHYrQY62rWLEDL6ua33mytVpN5zRCCbXkvke8BQOEPykX1oIHI/pYJRD1K9A6LhWxa+OWnVMbxCZmf8wDlDKHEwPCO96JSGgB2qq1XVsLC4ecAyUHrNvLQ7ECzohEy/QT03b9mAsHSiVaknAMRAL8gAA5VNLaeW2CbaqkhIi8BL4ia+E5zYEIRRxhBgNxK2mca2ECepD59N5yNFgCklTlkBcEVVDRHGSNGtcB9xp3mmFL5bftcC3Zva1yKVL50ARrvnhLFtzMC0NRc7r0EOZhDs3iHjqpG/UlCfbB6iu0JcGpm5s32ZAqsNABYe7fmAlCUkq1h1eTtWYzq7tucRvoNthHYVmOuVhF5hdmpr86TXTk5ep4KixWa6dn6LnQtrJJ0cQsmFczcg5PlSbvDOKFpyKZl0VvYl1W0aztxAIbpRISxOv48+VeL2KZ8ZsG5GUdMiYa7eZgAZJt0FEEGpM56ZNnhpzigq6fYnu1K+c0Hi7cvtnxkGNiRj+lMm6oqbFqVvvE27btT4XoDVA3RpMWIXQ0RoI7W70FDGkJwohe3lD+Sr0cmCMNtVy9tQaokmeaTRQoKQJRELiMy58oY4pTmNsjXzrsfa44aXF/VEO9qSd0uFe1VDNfnFMb6O38fKJLtbb6l2keMSGD1FB0lQJ/aRSTq+cLsW/K2VKm1kXLB5+iAroaFImU2hUFXhiI+lVzoHKy4L7yoXFjaL1WFieOqWFZ6zkozrtApbmCgIlJWwl0+2xKOeIWkFDzbEst0GsrZB40TMmTYnQZrgQrvvFXMSXdBSprqKoDl56n9ZagcqHbQV9XNBUvtIAH0lD6uaLPSXtQw1SbOyhHWY3BML5eoAdo2y58NYfsCo+VU+IZs2I/5eUJtfyv+/A425a5yrHM4KA3nxm5bk1xmkeW26EoVKPaSyTONHZKK3zdhh0CTkfmQvwVWBs1KwAUugQbzEX6LXU4M3qIXXa1jFeS7UrvSr8yXtKfFOD0Tg9af7Na34anH34sNyx/08PGnXzkbPTK/1u5Bh5M8LorjWHCuPxfOr3JvOI78eUFVkFhXQVjdNyXGXvVCqVxq6qGliinmhQ+lalfKmoKnUdsf1cw7PqOFuVedWbTjXnUh1TcQ0orGENLwwnXpr1knk0GGLBGlvxWZiaIMYADs9GJeeG3o05IAhKM1LGdOHwxvRd326JHxcBVhGTTE68aePLV7GqDcpe40tRqDxNnLo9c/kRKCxkTgXyE5awx6SfpIalL5/qLXRQIIP0FdMu0VRbGyhUjKzs8pAh1nGmffMKVDvNccJQ6coGci29g+BowfW1s0qvpFfiMFJUhgp4GUlmuTmxJd8G0p4tH07RblVLbEovBtL1al1TpFubjfDai8jY0GUeV92u13sI3NRDCTk3/czqrBVlwlPYKPQ65TageRh6SfDJL6uRFKOtaou0hNIA6reZHHgRhymg38LXG6lffF/GdAI/pN+nZ0ojhbLslY0vOeK7/DzXTynUUO4xSnFY2Hhb7FrCLTkKBiNyq0YVdi7YrJtmY3+hKlt7VnHTnt23+DFL+SRejL1kLDELG7nDhqp4rN3+CuMKj7XQGvJAXL6IqPx78KRn8YvTzpncADltnznOae/wrOyHxvM75TsDWJTKROO7nujUrxArY84/i+2kp6a4oarj40vN1HPFsy+mgyLve9gno0u3OEooDVGiJDk/DLIa29db5QRJU48Ilygl4sRojlBirDpn0qlxsIgmDrLCQd9N6ZM5RLJFnMGbfLXpB5/BklqdSnTZKguW1HA+tJwe8KG5KHrtcbUQICGMVPUVqcLNAi/Fm0fhCfci5xPDnXMLM6javjbGwg3oWdANy/mBp0SBZtrbirHXU3NGQcPdVFZrLU6OJdqhcdhLmYQ3/NWFN+f7fiWiIhPAJxHCCWN0+Gmr5s3JQED1rY6chYNH+SiljzF95SHKrfSkrV2jlsGG9Am1mBHhqIW6f+N0WT5Y1lohbsIZ2fNiHijOjQJ1yfCHOW5JyFBbYYBaavVRXmwj7KpojZpWDUqoa2gm+dziDlcOV1kzJTchhpq2yqJvWXg9x/IQVmDc/916lDGLFqTyjFZ6H5cVSq1sMf7laAs66Dc2SwypyOVGtxWaJAewOlCaNaAco/q1wHiI0T8ALbsWoJxxSM1GTzVBK4wfea8RFGQNb+EFU7ggKC4je8mg/PAituGXWKLrbN4AndU+YK2T5Jw18W/4jT320xGduSFq9QeDcTwaDByzKoKyDTxVx240m5ogNdz8oK0url3401m/oSPhioILNhu9I5TnstFuOEfg3ul64K9G0zniXg/Oib/M7FLLRvUNaFiBmHddbFDT5FCFYbMRJUS6iCSMiWjw3c4BwkxfW1Edna+rt2UW1SltE/JckZHPAW9iPqgABueGhrXc2eRDkm5fndKLbnQxyzymb2kSMnFTncl0g2yLYx3bDI6EHBpZOy6JTHxDo/pIoRukOWPaXzmYu2IeKlnXNb9H/g4SVJKb5ho70WXfAon4pLuMGeuViwMnQqF9i9K42suOPLph3JAvMFdMhnjG+63Wf44vnpynre3ij8H2dcmyBCRSEO2hftngp0rLLlQac2ObmL1XPIb0q2htSyv6GMQ/KtoIflZWSeCJ1rg4t3HGaABtldcqTzZHFucEJSO2WkRrS+3hahCKHFP7JV23vTkVqO5cf1jT86G2AccMrwzvVsMp7QVRNTLK8xCrQ0DRktm12qVDJ4kcNFObWDml1M1JSXVsF7qXfOXVXjR1MQ21hGrVr1WYlEIxmLrhOlQxT9H4XmiKSyhjKjZexVa+/WTLK91GCnVTGshxg/jpnKjhlLN2XEbwDZc0G0x1yv41X3Me+B5ngq1y+MYZoeQJVgnV8DkX8FmJR3VME2cBEr01O9NFvrgc+X85oF/K9s/5xfw+bing3JwkcBOepxdVGiGHPEKl7UdGnBdz2nQduvBxUh2Z4VO4OU52TawBtYDs+lkSaFnphy9fbj1MffO65Lz8Z389jL1kzGkXkvnMFG6l8wb70ktqKy7hj4/gkErIx95fQzC+BAkGGhuQbPbe2S/3/4w/gN4brtL6noTq/zO7xFERJw9+/oWe0oMvt+m4e7s7Z2jCX5FAz0Kkig6CSOoDZHPbjMtVd0kiv6rhWj/RETINvCjPdHcV6sxp9rWBRD5Et79hUb1e4SDMgEek4SrruNb7J80T68f79+nkGXeanvXj4UGHUJi+D60fOwcP75NAQHRb6Ndwvm4iGCInq0Bcfuv9s5cveyx16KQ4tEmnAyLJA+QYSgOVuo5qDlBTEgEhl4ry6tVNovExtKoHLqfO+hCRlDNrpOLowrdd+NJsy7JeCGVDbrnZfEgzyaoXgSL3INVRf1TqPiSJWnq42YNSE59/fYjy82mGtCcTld+EO4LYNPYlbwanrHuPpy+iSUwgnKA6NT2O53meO5DeIpkYi2MfIgmrO5YggEApqif3sfkis+8jqxdeWrau6wLXRUMtsqikv0KWFYcpOV9gxDSn1m+9PNotSLsGZ0aiCoK/TMpzwuYkf6kn5L+sc9QD76XCTapFZ7aaCGA8AzwOe7x37hRjkTQv/1UARYvJMJWA8hRYVrLagEhB8ptIGrrgakGAUGmAV3NXUUCxV7hsiiClmyD9RiC9xLWGtAc7D6TxRuSf4wPZZRo02YxsUD7Oo8LPg1b2lSjvWP7lDDF6Rd++aiKfDKP+O11DpSmxbJUpbwjPLE4VkBXyeJ4t5SURive0bke5x34g/rB8BYN6+xCVwFE5ggDG1J+QLDjlA6tGX76g7XfuH5UwnOOJd//7Hm3o7n8javcRbSXqtGe1rUd6yRDqCi/dvCoS3UV+JMn9whhbDixdEg16IOFujiWSNaf734f71nw6S6kDWniz/d9MV/FikfesLk3fi0jy3amp80zorSWnGlIXBizJL4c0YrFkETK3WxgjzyS26zImtCbySCQooTkMXSvc7QDXaBVJXkGYC5v32A4B7ePKraDbIkg4H44GgDCqD7zbtS4xsDwhW56v55IXNSAM6Fh2l56PfHp23KdmDwj/qEc1/p3zPe4RmRwdwqrHiKG4DKIxjCGAHpt66pMEZVezVtCIPkRKuwhMFAS0hISr/GOKZiKdEcmF60++5LozMtPN2O0VxHYwCRBbPUOKHGczOqNxH82IgqhdKlQwROD8478+/ekZrlUe0N567Vo/v2Ai9uiRBVTjL4RQhZqFlj8IvXPfXpZV539RGRhTK6Q5/G+JwhbiDxDKUV4cgoyWj+H6nBBK0YZwh5bQWnLeTiAMocuypEqHZomWHHAdcASXThvXynXYYsR0KOdvKELEEOLgyBBZx8dEIej5YZcoBL4Qiy3pok4vjZu8wDfEoJCg81FmG3FHSU70JeaCpv9n9KSYJfZvCSZrW+8WpAXFuSBFTc0U+zL5ua5q5WIbFltMDW3OlnfE6vXLEfJAMPpouBROl/oo6a7bWAQUBV2RSbu/aR8rUSgVsZnjZICfSThp34f1qQgV/ZO6JHxOE/Gw3b7fefiwe3hw/6BNny2nTk7+0TrnzXq47wopKMwkc1N74K0gl0sExQ1PmpevmQytiCwRsiIj4woP2urrMV4dbwYB2j5Ojo6dAiKZe8Hv2WrTiWeVflWjl7h+TyDt0FTtgVgplAUWk0xLyEU7oy7EkX1Je++ynWPfJWgw78WDByqYxyXil3RUqW4lRDBif5RN9Ry0dxP8VR5KhNEaO2VVcy37sjBlhN7KBpwdh2EFhHWBB9AuCO7mK1xzYVskjeZQ0u5l1r9vLFd+xFRBRbcfvn40aXue/1XoymabzAyMIWc1Q9Y3UzlOuJZHCPXPS1veW20BmVdgt29GGVKW2FXqcAgqen+saMAWhGJ5ZnOTQuhBY9yE6DYgACmrGDRZa9k5HCeSt9BabyGFw7baP2vZP5h/eTIynjDPl9/OrWgFYun569L+0WaRT3j1yXw1Wpc9b9epdoP7xN+8YWpTjSa16FTCeW2HQE3xOsUi4dsntnlvzHLNDAPF17xD1uYOWZcxZY3dsa4ke/nE1T5VN9anctVPqPpp877XJ8z7ugaN6kPpUg2b2hLygfkJ6bSKqzLUtgOGRzDKy3X1pQOSeLhfa7e5joSVtgK6XNdshPU1zQJjSzxWIazhBarEZ9XIy8E7OnyC9RyC2+zT//SLx3/9Lzy/h+fdBw8emo5EVSfPOgZbeLfJmbSvilXeqhyQfcuIGV10lLN26aiWwdfsmZskAgOuUncq0rTqLFD35/nMvjEsAfyUS5zVUCA+jkD/gSWoJzzt1pYqWMdKlZfaVUpWxpRB1GOsZCWKvw9BbgbGYbNsMQuASy9rgaFie1wDZ2D6oGOsyvwVbMwvHimlDTSKt9PZ/APjup70rHkkKtvmMdvJj6zHpWdxMpYzAE2tZD89sp70oIPACVPy106DSxLyL+KYU5UHcU0c9jTzpj7HmYSTgVJZuRb+Jv5EbzIVSKsorLIYahz6z5O3L05e4RzQOGls21WcLXHD+znPRUlfQL0/f3FUxMsFnVxwqYxetGbxzG6oBw2XX6s+azzcVDl9HccmmNzGY/rvSQN6tqrm2qxTMu7PsHlb+SAk22MpYhvOWzI4Fa/NW7ne2kW6k5I8uqSnS5c+1ktxlIuHxkUA3ib9QmGYb3YBjarx53rpyJeheuAtK2rlzyzf9xQskH976BtcvAcAEAe6hwfE33vr5RenZrdKFCJwN7dE1B11EdVYmD5Nah52k43YHTPQ3QVrtTG0vkHHaxaK3j8pGkLa+WIuNHkvqISMTnZybbky2Zh5RCfFw9Pl+8p929MzusKaONVGbUyVmnFaMDNtVR9cUe2NlqhBbGnbcSuPuS/HaR4a0RdHF7A6cCM0U2631d7ZqTYHeFGreS75yvD7uL09jiCmS9plCjbzkj9IQOqMeBOSSCPiOnQ2SM3tExmbsEoUySSymNVJ6p1Kye2J0lAZOtl7iZqVVOqPIoTCzFKlLpRqzLYsW8VA6ynFwJM3fz2iU0IfKdzRoNPaSEBhaCUQYm+C+M2AWW9dGYAKQiVvCmUCRJoYJtFFkMSRXPdiIKFObDf4Zkab/6LYaDYfMJw2P+oYAqwEVISPAgmd0gs/2pQBTidUQKL8MV3jwmd15nNW3IQ0G4GaJNwJ1wGFaDLMrGgc9g4PbaBl5BpwOE692eX3gKb5LXXYKs26ClCI0Fp9PT8T2hLTqVmd642mccrh6PgXh7gWm8t3z/occZ7fPSRv35Ps7kWK+5b13k+VgyfyhkcTP5EE3ZLtnKjlOHvUv0etvGYnUJ1D5deTp6J1ByeXjCneBKHarbHysqddoly+jVzgrCGEM1xCk7JNZad+XE1Xws4hzLglJg9yMwMKVHh7LvqUOfurJ4Qe+9cF4N7C1HGdrczWK+JmNNLbSPP3CDc+JbLtE6da3I84UbHWZeWVrhrQJlzPt62Ccefthe2ymkMc21Ugkn411Sm/vSJau+UVzWSWB54pZmsax5fzWTVQM5zVxxsX94zu87tEeEisyUuGG/cjroM253tQ3LGw71rE6yziZ0pN6BJuavl7NE82Tmz0lojQvZqTWT7cIrVFKUr7RlnMmmvMeZ7oigHU4BSAqpKuxhLnGhh0Jh2VMqJvdBh2+qqlevVMXnSLGgaUfw0jwWqpTHPIjOf7RrK7jWO3x5dC053zPc5cVz7TSDa7vfP6umN/mnlmZF40tid3IboXsGUdbIFTFbF2+kVAYm5th+MQXldrTVLDeOvq5dGC7SJcsIZHIm2HN8EleFLk60hnccb4gkcbTEGRphbkOKFCres2kLnRbhs9eTL1zjeolZbIcQlnPsM1GmJMxllnCZ8cW7eFhkpZ4SBOWpAZ1R7T+6ok45u1MaWLPaMD4ghFYFxd14wvMh0PsMT9fLXNeNRtBJJu65eIKy1fvOr5fg5PVki/VYmXgVdHi+q7+pNGvpHURGvqosVqS8vPTOEzhS8Z8MGpJ53MLISi6Dhjelern2G7n9OG2t19E5Eu6KXJUUoRoYECm1h4A3bJEBVmfBVHMWaKSsgkbpgNruECoFF7q00/N6ZCdqdJyOGYiJb49Oen7sYa72yW2UN1r0o8Z1A0IOyEYOSmSzpjHpwzasjqzLcMGqUoSG2sU+4DtoKZXwOay8rJmb9X94prVz366WylVoFn55HqozIN/O5Y3m16vUsT6pZ6QrjiJ4NMiTCZU8OeVRnv3FeDaZd3g27DqYb+mm3nAxtg5QjCeM+R0GTHtlnfxRcY8JPEUzyQU7yNPo4lwLs5AXj8yGrXmWQ8vWu89q6dN9lUj5ydyoj37MqDXZVyYr6NnQt9y7Fjk+XsejsE39bq1/OyGQcF7+QoOooyM5L9ZgWhBUKghAcZIJXYn3sTf1Qcq7h3J7oPfrclhL7k7uY4+gSIUwjrfB6xtYgu0nmnePnbfuXdvvHusPLukM9MV4W+8yuj+G49/V/N4yzwo6wZR3zfoWfhvGRtqg+pzXYfeNRvt/YPHVFd6toEE9y0GIOa+qHF12PZhYF9bl5HnDJenaxevX7PDsPwlSJqGRDRPvdZSQ7lQnbhiyeXuGOwhExHzCzVcTuZJkiH0s+HyC5Dg8BWAbGoiA5MCKkfzxB0hPjU0MuCULnA6OSQibjgjsQMIA4j4quFrQodLoFptN+zJPcPIZIFQcnqYT8k5zgEN4kojej4dzX34LVhODPbSzi5ZGxRlU1QYtWST0tQWIJEH/Fq0GAw59ZsPp1yWJvLYDZD9EXlh6PnlOGF/hnwonC/09MN4PwqArg1j6CDOkf6sYJvQrvThEfTWPwAkZ+j0nVpO3PzbcK+vAV0UmmD3Z0Q7tFohIC86rct7B/RDSXwiI4nk5648LGnHv2f0VAFA2lZ1hV72fQ71GYac9jvYjmMlbZYVmW1ccpeiNGapJXUO098n2/IiLeONCCLbFm/PB48fXHyU//ROEiOrWUSwFdPo8KRFfGtT8bV4bo499NA3nGsam6n/pAvWcdK4aOVyGIe9LE5fupygh7Oof3nF6+eIqCz3SBpdsAAi//bKmNNJQflIeLU4FuzC3yEc3jnNrzxOJ0P8W0+5XjPTJzwJehOzBCy1LC9KHJXMDUDv1toa9+mGxCnCcnTkSMfaJfvsBFRO8JPQGKaohbtPKjysuxNAv50utA5FTkBE/tCLIzMxoPCD6Fr8jhJ1wTynE8HOyk0JW5yNCn5R2yWvQgUdS8X9fKri+KZoYUSGlcx7Ty6g/xFsTj8Aro4rxzLSTnIL4oDgweuJpPPvkTGPJv0CuRuQNOdrPjvGn+Jw+BDC7SjslOWQZuqlC/1EOM39yxjnR8uGeExB3Cl5bOUJTQnhSlotb7fxlFFSz5aNy8/D0HiTWC5VfJ6HpfGhrOb2+KfCqvN1s+JwRXJgaRxJbaxxr69s9O5r+YMJnET/eAAtE4NL4XUlnkeOa75bC3P1MFVQtpmtnH1d7XhacPuBRveBRrn4R4kgO+glI4WVMh0a6NA5aSQaFRmqcQrBwfo+PfgedR12Ecm9WnhxhbesC9mEUiSEVCv6kYqXNAQnuMuzzpTmGsWOIcMoJ0mlQyp0FRf1Kcy2ba1zarVHV6/wfONXrPPa7d5AXOx32m7O5t5get3fd1sHW7g6GHFEJ5q1Zes7a71iVdLvEp4MpIiUDb8WAdLdmMdbBzwgZOKuhIfBEql1SKE2Ya/VL+E5bp1kip59/MNI3gQz3Gv0ZZARcL4xmW/HXS3aRlQh32OPJEWFBO8JyeJqGnsGb6fPa7uGRbvJL6GJhrVIMsJZ/bD5uZ1pT5AQ3PCanRTt0i1dEWYYx1ORxzQmd4yxaLVQnIjgLDNY06SI7lWhIyFWzzl4N2Hk9w297ebwK3wm84WLY/wF/sStAQQw7GCmY0Q3972202mdbi8qFvWO88mMB9dEmkcZxWJojH1sIMKJbWyjTbGWUc/7ecnO3raHdwzSt/Ln9+fTedpyZXoJi8HZlkDqBALdc4/wjJypbQKwoKqlo4NDRMk+NoKeFNfRyTfLd1o4bDtfINZ5ZstKKKdLF/b5Bcwgekpy7N299uupZSF7evu1g3X/c/DnnWK1KTy/1b7rEh2ZitscgV9XI0vboEgzheXqZ705rLvJPGBWFLSzMP/YV37/5TTbG78i2fpgAr3P1/iRkS+xVkq/+LyaxI1try+od0szpAYm6q3XeMBumszvANhFZwF+w9jm6oTP5cr/KFvM3ybLa83U8F+WDthlYvEsAYNoPqrEYaLjjZE4XrdpuyOOkqsLK9KZq4l1XWny5tA4WvO/4bTzDZLlTg0vcVV3zC/jGscX0fxbK1u36biGmAqNSrjHOvpxrY7ssaGla9GTIshVFCZ4bpxdlpQ7LMjTmTRrqsj7sd1Lp9Uo7ONC/1YUQsJRve26UdcGNmb8RCyCStA2NQOnYpc3JPLfgFf7hvVGS6BLkvcniGc3Hx9XpwSsFSlk0CdKh5skwrVKN5FaNuzaqyCtRZBnSQXOsZq0k7zuv4wFRsgO0D7zc42AQGT3tXyAH7s84+i/jXaWtPgiNnYUSCrBGjfpqjdZnDkPASsUt02bFO42T+qEX1KR76j0hGxy5hekMpabCeyqvJcjloiT9rONtmNCVHNnFMvihXQhrnkXkb0WbuIeEHLp6qEuM1CT3rVB1ZdE6pMzglkQPRzM2lInBWd5KykUfRjPLNqmjD5+kWQbeqzldyg2M0/yob7Y66UVK2U1M2ztWNxNAIJBhP5R6Acl+wiG6mrg3y5dkXABlDqtf7F5mFs9H+2gRgkH9Z6JWOpTWB91b8fjTm8RvizvvFfffM5c+5Zv+9fffPfyYJ+XfPfYlPXJFGs6jdDX4hkIL3fa3L+CUbz77iU383qDsegert7no982HbKu3ib9R1B0jZL7alm/gA2+FoAtRW+dow32uHt2xrinX+oJV7vodvb4k0JbPN+Vckcb7jM8yEdvz582Jjs72GwryB8T1K6QDV7AYufWNascUIM3Qqya837uFtTgNDUjyF3VSdzz6qa+any7zb0UxseK63/IMb+qujp3kY+3Wb0l7e3N/sX2iUSrpVyyZR7xkwJKo7oyvhYiR8/ltDxF17KMaSFLDfA9DdyTGsTdmTrfMPsZT1GjLU/jVswPk4b1p/QMXU4C8Y2hxD2Gpy9dFJDdyYttoGaYYlymQMr3qB9oXIOX03POUxT4cUtT3rW1RRJSBHGhW3V230DTD9tNw+VNV1bP528f/YUJlcOEUF7xUoDxGvg+Ap5bAqcFg0D+IfoGr8IAkfcH3QuBclxqWL5fJ97FghJU3K1QHhDiVCG3gyLu5flXhn/ce/evfbBcP+ge2/8wH9437u/73dH+w8fHrSHD4cHY3/kH3ZGo/v7zlE+V5ZxAc79EPF8SxQJ7SZSpvb0mxUKL1TYxb88tSI/W8bJpYXwThNvlPGds+iNTgEgTWr/ABjBK47nlq2BaaT8jmULNpGPEe6GOfJRjgq82srynq8ZCda8vlwxplpbHUMgT+tRim8GMK3/k2X/hAgeoKzJXGybWe7tv4RPASumgEE0HeGMtn/xvRrPxkQnEKKf6jV6QctvWayPLAbC0UMsBD2ybKXuFo4gAZCKcjo+y09cOJXUjILWtYne6zAdEYww/HEznkwKiNnexy4g+dIU/h7GpDU7hfgdxfzMsnlyMdEclCm90DVoC7tiKXatK1fcUOAOo9YC3hnEsJrHBWoWfhvXukjkvhDcVHELokbRb+Kia225APHPUvqfS2TCGoU83jRcq9n5Fn38+XhDdz4g2QCbCNphXu4BLbepUP8nqonPx8aBUwPW2KI3LOYJW7MQruhYdnofqpK8wLZ7C9dqpW+wUmzAnc/dVtvZt/q113a3RQ+r+jBx+YbWmcUGVQ4bZNv99JRnnmc9OXnzhvjnDU55mlsO58GUWfEt2Ob/ElbpyhSVWSD7hxkM0vSbYfYIbrDJIiVoGGzmyokO9E+3omV3Av8Gp8DmplNg7glYdvz7EG14/im3Pz2uwo2P+xeiL15/cGp7r9lgkFrXOEZiDZpM233huMTVPtGJJZqHyhMIl/18b+YzC1NAq6B+rkroFLOItxT3PZ/TZwofXMbz6ZjvJMJ3/+/ESP5exGMzfI1s5XSgvErVxBKsl3R+TEnoUVKkCP8YKi/IswJK9jLUrg6Sc4SnGRagIxNwVh8mASbcUynSgjQXGoRMprRPZz02ffUn2mmJLxMdiX9Ov9Oc2OJcpB6v2lQSLhv6wZofrI2KCbUGtwW0x26SVOl/1qIxgMLQDtyPDoScNycv3r6z7Hw0RLZwk9Y1YqRBLM5dVBC8K55ZnL4c0QFNjsbJl3CmWe0w5DtrZ0/7DMktp9rwTXRsmk8tIkUoiyQcOvZz4bTyNwIRcXgUdBwR0i2AqoNJTFa5F4z0rzpDJF3o/A2SWvbC2BnviT/DTf+kNQLZldqVOC6i83/X4x0LpbqKRhjtXjo76GFvbIQjlMUvNZr7YTjiykqCT0XoIWx9xM8JJ+m7ZeMa9eHqULIkYHfiKFV2ZmWcN02BNhKGCVICbpKHTOfkI+uXlzVeq4THITXPcdkHadeyL4Ix4mkIYQJR4oTjtGAiHqvTVXF1VV9mZTrJYZ+9sRQlaSfOvWJd5RVL9b3cJfYmce/2HrGuzEfVMfbdL38uucHlfm+Fz6zMI//6EL1+/hzqqzYEMhfuOU3CaJR+/fbps7corrJp/ojzcI9TDGKJXMJwZpsuY0ukk5NxIRbQeCH7p7RlrY/ihZQWXm2H8iTAE4CAHx/1D2XxC1h1Ql8+MpqlZxvnjE9pn8oTBGk/HwHR/k+X/canyzy7GEE+RAKzFMARF8+sy34kC2Z7iCmtKKexwkQs7x08bLdbLXzcJ/Dgqy1X8fliCtrQikxu/V8z5PJgS+kkn3gzO7/iXiSASNNv8nCWKbqV0y1OQiN1GOrT3JSdcKWbFLsuE/cOONa5KpgqQZp/64PYu5/cS0efQKlKycP2NWGnoOkp96Zv6LNh8xTO04Xcn0JWtnd2LpemmB8pC+jlss4EynHEZ4V0Tg2zEwCCJ+JNbQxxmncjiZqq0beiCoV1xfhFHRNRCtONLJcjZU5d1EUdkMEE3Um/wwSXxJkjcRDU7uRlL+Lramqmwm38Hp/hrYCtCi935v63q7U2aq231yL2KpAr50ft+LjaUC6vTcPDCirVz+0eAfflSFyd8WvdzvP+acSJhvYY0VljZzONQKxj8lCJOuNE4iO+Xt4C/B+lWh67KWZPyJpTGQ8ulxT6dWWo0dP4bNOvF90Wrr2VDrf5CKvtL22WcVWRM1CqU043lDbOKqNdyTDhNh5g7eQnwuB9rJ7/eGAkKfSV5FSs+T/cG5x4Y6WMXvfky6bjwyc14k+bw2VC/EkGCUb/aesKYqDlLVYS78TL+YbKapuyoMZN3Nb1tiTO0Ugu60eSh27Zvdb5dhtcuaxXi6RVn1ubu3G+3vN2w/tWaKsr6ElrQDzR2eZ+rcsW/pgqCMyTEhWvr9QgUl/nWHv1L1SvjdiSV6NdA6ybyjV2sQCLlDyzRXF+CP/QYWPTq1a5qtb0wlaWb3SpzQXvWvfY6bhyeV58PtlDFtL+QP+4pOXjh5jkwYImnY2Cypc1L57/4i8DVWsrmi2TODoflDosPxJBaECi73XNwPUKss0FnVT6n7+weFP8+Md4z97kO/v/rrdsLmHyhfmSILvVYVbvMpZli/2zzb10Or7JufQaH8zb+F9+s+/lN/ld5h5I2Oh15s8L8UHeOJLfPLG1i1Yf02ZysYUf0EzntOCmmx41vqN5faYJWxtgCMTGDPUvVQL1uK64jlmALULAcz8mebpFV5vgliAoqNh1bZXp7PaMYznV8/mGGvquRRPdlKOAesinai4B05qkE5n7hgoFWg8uerj9JoExYQCAx1cQ25vWVc1XXrNCq7cZXZgK9IWnc72CoDe+yr9bHGy3g3nJAaDBbEF+nNwjV7MFOLv66zNxOC+/YK+HS0QrbkMfUNP4DJddGn8au/r/8F6goXEvmtdQD7NL1UHxjBufXW5ve/ueuX67/P/SkfrOZfr3u0z/jjhYX+cm9PL2bkLT8b/QSWg63nARWn3PKI9IZHbuJ5JqMbclmZFAxLhJBxmVwSiKk5Aot+C0Omo2s7gZUctUkoTOLPBTPOH0QLiOonLvHUGBL4mESAxY+AkHfoA/4mg6ZyFQX62GPeppu2+PQ3fsEz0Uowi4E06nb1/89OLVyUvOtdNT8ASf/D1JME6VdkNnp7uzM0a6dLCzkPbhiIOBLnzDpMLuIi2LA6nM4iVmYdJE8hwO3Ap4hkhTE6oELaLEz1OxhHOY8NhmSHh+zjFWWlY06ncAJ0erOcLP/b1DJNBij5bIt4AoVLlt6PMlZilhkb5JFUAP8SHCzCHzyM4OJLw3h12dYAaBdd8c7uc/9z9Er189A9GjQnSiO4RS/rlUt+/T4h+2i3+udd9RdgD7wcMH7c79+/cO7z28f+/+vYeou+9oy4D94P6D7oMHDx7e73YePrh/AI3/AV6/fv783bP375QxoCPadHTcdbQSWPz50otgkiGyah5ZFhIH+/LkQY8jDKGp+P6Vy8oYIsJhPEZFHqD297/wphM9aDuFiqx8ofYKDpwJESguiO2QgIHzL/YlvUK+DD6ICpTAHfSCC4K90g3tKIcPQ2yXotYy8BtJIPMUX0ZsCDO7Z1qXaOdQxRcNtZrGnLK8zxCjoAXv0bfjY+Y8Zp4MBShn69m10nwJYMlFS+PbD7AWyHHpQd6KjakYy/rIuh7nV5JttaoogevxVjOHlr/r0NARwAMnZzivb4sKOLVYwm3oV5gXu7sDLKCGgQP4QfNHvyo4oK8m5rN7dc3sXlVmlwQD23OtoVMgMpDJO22f7QxZF+Sdds52h/THkRoEbqWGrJDHpYs6TaMOyRtcx+Wcxf38IryvLu+jPOp2zso7gWHhlnmvcLO+A1aCdnbsoX4zVG+Qe0G6VDrQXikFlFegR6eD02e4BSf8Ji0gktKU5jDirDZY3SOLr3hzJ1EdzFecOMux/odWaucK1z8jAo7b3dvrNjsKynkEFeGymEvMLrewpOKgfaqg2KO9oqCeFMwJC7D4LLCNXx8fW008VwvnRzFNtpfRNk9WsGUVQVv1PKnbSwJWsiIY1Fd9wwMHd6wmEWr9rt5a4mAxmpqyzWH8IYzGpRinFFXVNq6PjFXj5y7jJeaCZxg/8B+1ck6tLtA00Xb6+1PXKc8+EYlFPmLhtwNz4PQ+LJvnTgp5wcNWm+hgYudw4+Q4Y/TsaVty4hEVjsbIVcc8VXPYchgcExHGYj4j/BsX2yF3PCl0BxxKl/4PFfGAmHMewhwoR0NXBYz45SadFa2trtvMio2kA5QXjMrQT0UTDq8O5qGKL4Qe2XY04Sbpg3Z/DlQBgRZ0GS0B4EKhq6Ha1jRGxwq+wYwatqHCg6hRXqC3ir6rYKLiTTII2yRQsXvTTEUwSSUUN4QXkWqGPpj6PqjnoboN+JSTExrZNSFdSDS5dE+34+q7xadtF4kYz9yi/NP2bojsf6q9VyJFFt5LbGKHdiB3vlX5EEmYmniJeJPR2UvEvT34T5MouXRa5oiLpRvlKTAwEtc6rEt/0agbcKNAAOWtonOkcQiZ/Mda/ehVTAGhCrsFnATpLFOPLYvoFFGeciqi7LJFsBfoT8QHANLXaS8amSYaiBAhrrBQsfKphhByN1SwbuZHGkM9um3D1yfKru6+EYbqlPNhWGFdrJOwbeD2ILyc/x78fkkHpgRpwC/nHKcrDwxIR8YZnUhHfRwF4F4QsNOghfS14tfWZCKgcOcZifSpePvgZpkpwHnIiEZHCWT2nC29ZJxTrh6oXUx0j+YvEDd7xSSLnLfFbLZ4LzvaN04SXjRTb+IXxTmEEo5ER0wjVXA3hNpjX0B2EJLOEp+3bsQRDlvWn31/JoH+6BGnxcERAxjj0bGKllupeXl8ei7OqUXkYh/nEaxo+0oayTSeJyO+EUwH8CBDkP8w4NQTNB2TYHW35fSW64ft3a/cbnX7iLeRLRVdZnfuxn6q204Y9w/uD3zx8F+f+eRd6S7QOCGqTzP36uV/QcG7BO7wsfvd0ptZqY+U3iqhtHARt7hGkmfhTTlBa/Scs4H3ivTgQ38aQEzhSzSRNbPs0PfoGCBZdUa+cIUmu0rilN/L3xCvR8pZgogE4dD77666Y3KkLo+wZodohFykJ/mF3UOZW4Oy8OaVzpHCZY7ke00vGUoQVQ4+iX7likrehqeAQEHgsaTJIBiqWapa1gkV6R9bnI9Rcv7ayHLVlLZYXZ5dEPE6v9iI5aFZ4VtpnlrRkCro4ZUkHsVlmKneW2jje1DmxtN5pjoa+964mfijyzhiZ3JRCgXKmxuOb7hDo0bDACI3Gw5Zo2kwMxP4WipGSUpLTIAAUtHu9TaitHIsAlVO3JLzsAaZd+mn2i+0ilHnfpa24G4pns6PpwE0/gk09gknxb1QjWuf+MybXtLKxkdIOn3BN6z4zhBbJxheyY3Ohgr47NOUyBPMHZvtdUQV6pUKzLzEI67B7pz8hsEt+4PiCirr9TCweeqd+yRSrbOLONq3mi8stZOtR9CBQhV4bJ1G1Gjv0l/34cjZarXOhI74rfOWNZtCKEvjSdZHsIKrUH13r8L+VTi4hFGlJd6h1eRncLiJ1TVN8SCVDfgh+vnZ22eiMmXN5jhIAEKu6SQcwac9GEyCqT8Y4BxBrclLWnCfzh3ErtGKk3enJr0L9edbpfHyaUA0Tq30evomv44UIxW90lGJsfNt69XzD9G7F8p9td1uPzw4RE7YLuHuz6/5Yffe1vvwb2xPIz12YkM53DP+Cm4xV2VEZvf/cyZeoE80hpdPB39xLfr7zrSNdjqtThdGCpdg7Ny/xx1Rg02aFmXYghFE9r9q26ALPdxrULrUCTTh737pvkEK6W6LCO+97oPu/YN7+x0aKQ3xZ87Y0jo8ZGCe/5XTPOaQdGlCoKdpt+53cWTKn9PUId0z/UMBwEfEMiQGAdEFYLFPtPh1pAjsS/g08iVsQB6v9iKwVwUvyq01TQIHnlT4TxymCHyp8qZcRQqyeUcBR6K7vQJorYPOQbezf3ivu39/v/3wsOMYfqTqiERU3VUJfsviXxiHnJ+dRvKKizlgGxntXEXqdPDZIyv3JA29FDivmYVTkWEWzLZb7U0/HwYfmeLiPD33RZCnJiMcCN0iR1k6LjmULZBgHYf4Kdz6Qg6NMD7izNs2NZI/ksp/Q1IqmsEhlhRfvEI6+huyGfvNTrcU/kWReUJhotB8EwJER1P3npVGRB816YeWPrH88bm/Mca/uQwiKxwfYaQ8PJpA6CB2sMMOtcxEoj/AnzF4Ln/qqwYcJ2TmIUPlEOP6m1Ik4T6r5DZO4YeW6MCbKL8oEMSG8Y+rD/FFmkAiYdQpZgL1HvFSqSbyyS8Gky+z6ZD1lkiscsrSFEej1e3drnTNVrX4hiMVCKl2zKq8+wUJ1ojUiaEnPm1chY0z1vHgWxHuRpahxv8pN4PWBRUMS7SKKYBOLmnOVl4+U8lI2kdF5IDNLFESwYCbq7yZDPMoO56i0fvVyjNdd4NAF0HK2DIDwYrh0cqAamdMR2tipPwo5yBUs5aecN8qqSd6gdMMGEGlWfFSqmn3R2boJCegTX2bWokC1dxeplcf5+uSVRS7Y0wHramPi56OEOTSRYIpyUNDWJOm48JRggrvafZBrRaoCsxTeLfjmdiJMEeTPKyFBFWgSWcCVaj6jZVzjYV7ixyc4WxiT4a0sYtf3qbDpPTz1Y5iv2jIfimdin7hY/Sm44kZJULGUjRtDoVdnsY6VIea73ScEi7gDjFRF6M0OPkvp413jbMj67KM58sLEmvo4SMOzPoOVLgrF/PGUBO/O72EL8RZj4qUnRsyYKRNpZoodAbCZevS+llpxFRBkTCuWtpT8voYYKvXpQSjGaNXoz3i+K4c9aOwl8CRBJMDatqQtOcmvZAosKOSE+eJaz2WKTlpUDVq/szFr8f6l5GHEJGDltrd50KHPfm1DDyVYjsZl66OjB6qG8uvfoUVTxUTx1HjuQHgFILfspt3W25PjX/T656qwXSEKs8f96QV/bOusAIrL1tbdIY3064e+fPHR1aER12NfM8fl91lMOO9mjYEp+l817WnXUe1IuM3vEkC5Vc7W1KRj/pHt4xLQWlGuz2uZTwoFf5IhakvLocG5btBQMDal/QskPxvM7z/WL7rMJza74dO/V6lN6fB2enHszwgFHARD3kzyIuJo99yFBRdR7bLlnr6Jdc1nBdBuAigE952qm6WobI85Xp4kxkuJ0Op9Li20uMtlSbFlZdCFLYhriwd7bXEViWa4mVN6lpmkxv1h9RXuf6Q6jeX23PfVmnv78sCtxnWS2J8lOKsGShU4pNbeDO1cFxNpK6e1fkBb8gb5fQUhSPXTMuKTc2+HNoXRXIKs+ReuaSnmG5F/6HvjOFet59uiY0aiiFOZCvFMBfXRuOHXW+cSSDzTtdxeqY8gZMXdFBTDiIA1dOmT9ACDAZn3s1XA1cDVHNKKhfPW7lN4DiWntQRGafXclM/surjYk2C2oWfBinR7Vwdo7QrhrKKNUHlgwav6UwhT7FaNStadVk2Cm8uagWdqqev8us4j0JZgUuBhbOMrYDMj2bmAS2n6jPsGyVoQD5rsIS1GRoNBY8rx8pqr2pIVBRkQJ7ucs2dOogO2kwo1Jdyszj50H5fZLfBjnHVlzfN/b1nzuZQ1Gih4uA7Hb26eMW5soODF0UplIV5MAjWNjSR65gk/KX428VLlvh5/1mjOJx5iQ5eYGrg7FwvWBe2z2+XYqtldXkqurVhQo3xJZAX0BQc5HtSQf/crEDnbq5yzGX2ylX2aqvkaC1x63inJIgHMu7pkVvDYJziJH7u3DJhatJV+UqatyGWepmO2zrtFnVI544s85O6MabbXME34LiG7DZL0O6p7CoVOJCtbBsc4B7gidzpFoCesvqMvYhp83BJkpi8kTz+qrGhqbGu3Kmr/FQFVHzqspu7U7e3aSdQqb+x8gRKsJ8BG9pUmzqfk6eYIaXa4+urrS6fH55CJmh1K41vgdvsD0rRaieAdqygVf39Bb1As8m9mQWoNj+viK1gs0KdqLwmU9wxk+zqo/wuabs6hQUxKc7ETFGkD6Vu43P0lga0EDILmLoebmsfKnFumokNlX6k31x4yZiJ9sOHh/nbYyWe1ZWpmfSwKyDsaMa2q5F/FmASw5qQk4u8jkHWacGhz67Wt4mO06MwM8ps84vP5RKgJp2QF90q3gj52byKVduEwOZuTv0W/NuEgdlQVYaQvb6UeHQIkyOSQ5p5SSaimJJBeluMSZoNVFDz5vCu+UG4e8FkXlF5Q7OlntVMW14IxF7R+nLFTYJ/rZbuBniLG8ybq1UwkWsD71cI/3aOpALS6uGUBoZ3Rzdeu9iCEQYwKqxviS1sB+b49wCTnyc2L5/cOj5q3ZGd67a36QzlyxatanZkqEANUX9ZvqmycUXl6Bsus5TVfzXB52+OzPp99ILakCO29yy1veR8UbbhVI2biPJzauOp3Ac+Mw00Eq7q9Kxwz0hnPifgQ8NmqA6uT2ekSz6yUaHWDEE5ESrEbvTMWx9ygdrUzXPglcwPOeTGosV3IOyG26iJ6YBiNVh/yX2DyPW5iNl5v1GD9QSEXM0p3SaBBZWbcSTXFa6iwTDAqCq6MrwsxSNvwd6NPGwYtExh2e+QysjCBLB1YKIGA255MIC33WDQ0G7iynA7j7TNJ+Mg++u0hdlmV1HtUQmFVPWGzat3z549xW3xbvvgQQNH9LS9pShKtlGUTZW5XlIvMA9DkpIpPMqB6PbOYFo5bZiG8MaZuVRZWwUrbeGPbWIrHEH67DJA/w3EbwUxJ+dp2uBO6cwUpJktx/m07WIIu1YEL1pMh9HWLMHA0BSyKqjZRwdQJ00alv3ZAKGZtXut9uRL6jSgkJmnF30QMUc584il/A/g0PNmnvjNN+ydkHtNEH8e+pEPf9IhnV3W3NvowpvCFdy3/uPe8N7DbmfygA5r0TlNRQveEKNJGOLLhyiPQDtP+I34lMhXPjXSVxoY7kJlflScGpVLGlBi5AdT3M0pQn7DTeTtK4R/TXwvTFXCn6LyW/ibCTi0hLHh5TKKaexiplehu1LfR2hNRAzUxzFGjMBPOZaVzhOsEn6mksqT9siJdnyCI4qZmVksWhIPShmgIjZAwSI1i+OpZZf8ghyX3YIK1xaaNqTjYn9DFpWtReAvLZutQxOCSXnXzHJ/lP02btJy48pxxUq7RVxcS925p+UYcbA/pf/iEeHSFt8d41jOymxOB8QBe7zTCQ1fnFZtLDLaKOM4xGz8Obf07WgHhA/RX05+e87WAGLKr55rI6Eo5NQdrgQeTUYoKcVkKoGn2upwIOYTZfXg1vnpscXfhU4aDgW0PW0smJsH3owGrHrrd+Ri1GgiulHXuhp5s5KadAQbs4yv9ZY/7E57QLXwH1sC8hyP0G0MlLl7lLTmRGrhKd55COtbt7BD0djKJdqte6adih3UqiWotwcPuiyTtwnqB4VFnIA3VboaCBf9uEVjE6U2n20OyBhDUv/WiEA0ToIJWKfyA5H21aey+M8H06ikHtAwibPKoZxt5a+61hLKpBSqcfqtHTXLhudVx7XWHf3MLbCMX9IMrbtbXubykWBBS+yogDufKw1npYIpAVXlHx+w+F3T2gVjZUcesMrXh/MZba85++z9lz74GFtYbUTxbJFGlsTxYKMhssKXUjXqNvAiHXwkFsIHi4LNo0uiKEbPUK4ppdweq3ALrWyy4OKLjgl4Og8HYs/HF898dV74ZMEji0sjM66hcS24d1Yow9VOMznzrHT7W/BpN0ekWdJiTiyWa+wKx/R5aTabZjhzk4Cw/cEG8ZPwpAFtflA8oWucFR1OncZewZjWOJ+synaylLWBFQkvWukYoH/GieYcCDyDfOPhxQqmsmi1ISrSy/pwSVyLr3KtXNTeYVVDjZAYJXn73uqIfuK+EUCgF8iqng04lBY9btJgjqyMf/LjPVq2upBjMQx9Hly4OIr7uvY8xsW2h3rKt1qEq1HU/RF2QbPP9czzlMzn8cZ8rhbFfO4Av/ZoOtVs2vSySV04NUO4blLzudqV4Z13NyZsHcuiN/Fi6+SsY55uzFDt5KwlXBqrjr7LPDHBILpGuFg2ndGLTVw0osF4G7Nzvm1yKghcxt9ODf7eNN2beNzZjsfG+nRuhcudKi7Xt3kbdL4dSpfYi7FcHb1cR0Jfi19EPhEwgQoJzecfsFN723uosqHcgqsuNWAeM2W6ZWBcdbFm5mpixUpNjpYGHsHyzrc35twC1OsYYLHLOzW73MDU4a0xtUIaaihDx6lHiJuwNUdATSC20IfONvpwWxrx1XTiW5FvHRvIx9BMhttBuhYBBTOAMuv49+Lfrdv6HugnYoFIOuXArW25d5zQUVOkWafq8HVFa8LiZ5Xdq1AvV5BWautzcN6kEHU6W5KWs82T21Ce36zPyHybBWW3xs6Dy+mI3mdEZRJPNLR0zO96uln8qGQcm6/LQ+bj0qaZRIyRuS2SfqbWb2J9/a+aBLDeVp7DbKCTR0jvcMBNhONEIEqvm7/oCp+nF3B64mhSYHhejYwiETBpNhOus1lgjv5svLXXYPfcLqbEYdbBQSPFdvhvuYMcz9ieta01dbqcg+HmLnWoIg+PpT4/n9eFsZzzSFGmSQVqadO8K8GSDraSp7VIJ7soquWXVU6fiCCs4lzaTFZb6c4qvoHUkAxC+D1HO1SW6MXRpqRSP4TOrYYACjsXTNgyhM7vHgLf3+sYI/CZCPrjIzkO6e9CKOedryK8OU3lUfwehr4iAjjvlIigemNS1I/JLVn6bZr7HkQ1t4aY/gr+lA5Xv222nq007u/VsZ7z4VYxgClWTjzWjDJgYCsQj2FOPNY58Vhp4jEE8RhuIx7Da4jHoiAeq5x4ZCsnlyw2SEe2qiccC4NwLEzCQRXk0THq8rNFHdFgkzCVaNLr2v22uJFk5EeeRfebjjwlUeVGksGdQM6G4HE7krHo3GoIIBkLWf9vkcpuNQSgBvehR3AtyVjH30YyuIffKYYtOhui0zdRjdu39j2IhtIg0RxMaBGVGgm/vHLQEQTvhTKq73dEidP3u9oU0MdKuJB2+5B46fGin2AA3qLv4RPz3OfJrol0Oxn2FRB7Ws2r01NOvL6CqPqqxqcB6qh+oR3s5xrCvqkmLO4XPQ9W/nj7haKJowzaODlMtl7mKN16mGg77FZ33+uqFKC9ZuvBL/CyKxlh+Qk7X83szm4onjDwCaOfTfyUwGrQTL5/+9dnpsLSNG7kN2xKMV1q5iDUc8Cq3hvngK0Ernmj6GscntmDhZA77d7g8Wx4drOPqbjOaSf/0FQ/Gk7cM+05ro3xe6Z5v8Ygbi7Fkzic+ZXF+HMUL28y5bSsE1osdpfsWbQ0fjKaZyVXSfakW1tzhdFIZKIyzPhTtI91nsbgrLTMqqF4nuGX2Qw7BqIZVdsbwlTGaEG1b1xneJxS3fAi6EOB26teUcN7/jZXn6G4cRf1/ijIkbA/RZ6Z+tVzyB5DebaTPyvKX3k6g3QZi2jWJOBT4pUQZw6TcrnoRVCKmH41VPq1CsZJi9RTMizVN1ps1reoZlDw+Ap0MnWNDXDlmfbogf8HMEi/ffbm5YsnJ81nWH6YZ+e46Xspl/OiUcJXl72pjh5h+SufNgYsnLh2zvEaxRJNLSr43776aY9NnuKYDMMyc58I7N+8t5/6Omaxonm6bcQyuDOU3xnK7wzld4byO0P5naH8zlC+YWe0V92dtVxo+NeaywtA/sFGc2nia03Dq26TLSXdXTtbN/Eft4PZ+labuh7xP96yXpnbf5l9fUWz561oIndIIsezJut3/tW2dnvV2RF7xB/H4l7A9M+xu3/VrijxrlVHdkanZmfcmeX/ZWZ5jUD/JON8BV//ECb6VUeTG57+daep1Ml35vo7c/2duf7/cXO9KRT9c4z2JEPCMgwZct5tzrs7Jb3kdzHgm2T4j23GJ7GBJ4No9LzTnHd2iP58jUkfGb1UMqD8OBkPWbk44IthDdxXVjTUfG4zOjJi3zkM3DkM/O9yGPi6k9z3cBvAmW3RbS66xpntO7sQfL3s+K9yJIBEueg0F52SRPl1TgXfTrgYGQml7xwW7hwW7hwW7hwW7hwW7hwW/lc6LGR3N+jvHAPuHAPuHAPuHAPuHAPuHAPubtDf3aC/u0F/d4P+7gb93Q36uxv0dyb5O5P8nUn+7gb93Q36P9IN+jtz+525/e5+/t39/D/U/fw7U/qdKf3OlH5nSr8zpd+Z0v9fM6XPoz+AEf0dbMyWp63DnJ+d9QQw9mirOpuRaTEv4iVM2wQq0ulaywsvK+zA/JpNy3FEODLK2O48T71z2gIzNtPvW80XlozbeiQ9HluP0HqbPiP6D1kWPqYxfT1ViSusVqvF2RAUhMjtkkz8UVaSvNkGj4HpYnl+MzZDK5oKmzFHGeDtbkNpMZwG0bjMmNmuU2ZWie9NCWjauD/hJVK8T4IpKLRIVK3zliX5EayrsH8VDi5J0jvkkZSanpKkA0gqj6Rp/dJsWZq+ts0wHs+nfu8Jkz/5t4ZFjbgGzTvRJymAOR/6KoF5kKIXv2VxLVsScTs8adtlFCWxgVw4SCWyaXbnGc5JRE4cQuJy2WCVfwOhCEI/zUi8cW/qT4WbQHX9db2l+5ZOathX2RLjqTWM57RfrN9aN/XzHmosQh6eYMsmYufNpxmeDMJgzE9deEHQg/4jTN6xI7kz0JXGVbhgpNzVSbQWZw3eTOzXMY0R/2IeIYN2hFTU4C1BlMXW6GIeXaZHXB3rhAwlKU+mcvLgfNghN/zm7esn7/rYLCk8OXigSTzyafFHmN0CdBEenrz565HVkX6DSNZeVXCUZwjvAb1xhB8l/sgPFtKvsYXcEhPDLnJ1pm7OJuYWWQgVNLG4dFD3DWLfNBYvJMZMk2S9QIoXmjkIiX8P/27Z00hnD5ftqjNROWqQ/CxJkEEGecLh2IFjCqeKkcn4OxtX/46Z+xD9XXIG/R00zfdGF+zywgsRyLDSC5hfqUsxyTLSpmgrDFKkIc9pZO5Gkq6JCsYqyQ+dDRgngMquyugyDehgj9QyRrqZcZAgE4ytf3vDFJ/2YAAsGgzAOZBzhV/Suvt00G+7FlqhN+wlRNOmU8bMQuhRdf4Ylc6EI7Cosj6tDS2lLv/0zRt1rprG3thFIrCMBvDk5OWLx1j9p8+en/z15fvBm9cv61PkNMwd0ChJ5I+BNyUZ69cL5TQg7kw5S0hpcjP/fC1+O0R3L9hFis5HJVFH+QyU8k7ViD9BFPnJhtDDTzkJDn2qjFCRzpfb1g9obY2fqS+aC/1WftfKRlUPDLN/84DA3YvThvN75CZCL7MLPbqij5L5Vbtf8BtatAgce4AtmTtg9FSKJwFwk0rXgCIJfYtAPYWvGfh/JZ/XVzXvXAs9r1oBeE0CMrWwmznIYDAgum9XmxRikLfpQK3FBTHMnoEc5SZDw7VFNxVSK+x7VRpDaJpBKiD7nGXMTNM5czYyi+VjIySEBobe+wZeluGqJpwCjoXepZ9rURRL7+X+V4q8IxuVEqAauayviYT93nHNTHrlapK7ycRJTYW86QZkLDG9pT+6ZYHHNXZ2uXUl/dS0jzcb7bPY9FLqbO+CRB9OFzaapoUeqC5bmWo1X2pNzVvybSAylE0frJdJnWpvehGWcXJpe3re9WpwuislRYOeqnxfSmfzHukgiTrb+hWdgWrSsYF9cxvGFMXDj67i3/1aBChnw2OKbVMlSYPO9VipRY+MKeaMdOyO6FrLclIv5HNrAArCHnrbgI4JiHQq387okSiZ5KH6jsfYfvwMX7jcQpVZyHv1kz7PvpS2FsPZQ++t+WwMkyTv/v5SkQFXc2w8oa+YavoK5VvE36LUr8/kRk1uyeCmHDJ14rLrFrJv8FBXZLn+A40BGQmnwL3TmiZOg15Ap0qucVa050iWvMJiS9LA1BffUHgfc3nnTMPNmE1SgQ3Uc6XD8qBSlpRsO+GGh9wwVcMPtgtD1wgJlnjbcEzHP14GXuMzxe8HFzh2g7LJzFx4A+Rfs/Uoz6fxkMRfKpZvbVQhilihhtLQ57x9A3MKeCBptHhDxLRKNssqkrScCl8SLlBhkIyfTxpfSgPl/vXqca64qTf0pypZXK/IqYfp5GdHlvKEVWO/7EGnaifIGJjDI6nm9qzIzJQ4aXzmxnvdB+kXavRz9MVix0XrM5q0P/zAXow/OL0Hrf3JF+3gqF8qL4D8NSRo/Q6ZLunFfam3KOos8PgesttZXvHYKx43BEKe5HyN8iUh+dfOZx4Do3KVQbJ4BkOFsWacdBaiB0RH+7RYsCY1cJo3WJmws/KOYx11w7IWqfXzCYHe2+XRUcOfSXbA90YOJ+cOBCRKENBNnrbPDLAm4gCKEUmx6oqJT4UqQiRgo0CJyEx6JpiKoBBwXP3DD+rBhx9q8GLSa3X/pOHXjhGl5mZWEqY06iI3qGqWOG1di1dOr9Wh6RnO0sa3ZZjU1IaVK0QHXYW2RopJl/NFFukez5zKk308yX8dKIqjk3oemZzMIIEFx9KJPvMmDnvmAt46k2eeoJM6bPTMblEZuaj16SmlwxXn7VRcrT7jZ8UhLE/+2Styhf7+hjcy3GbJ2uigLsUoV1yNfJrg//Smc/8ZDrtloBRTqU27WaTcrOVaZrZNQQr+yHNuau4jjTENHs/Dmf25Ic00elZhoptBevxM1DI/1g691Odz7sKRFMrIKO1FI3qAU2eiZm4h3I3WfgHUoIZaWHsiU18gEtAQGszp0y8Am8g0oS28yfPEpZIMlIm7BufmVKDQF32mlr40HK17xSmF1a9yABUV7P/X3NUwt20k2b+C3dQeAAmkKMlKvLShKq/jXHzlS3K2dpOUraIhESJZJkEaAEVxXf7v16+7ZzADQLLvLlW3SZUFAoP57OmPN92NcT8G20Zbe9DUXyT4hlTrgcToXK+R73QYvAD0kJUr4r7wjyL+dzrCwcM/smKxXGbD4E09JUWTLSqqxwdKpZOBTRMbfPsI8RynJ4EBSoNXL5799Ldnb14E//Xq5QX+/e0U/5y9K15vC0WW5CiDKQZc4NEZLb7gSI+GNOKrJbQBBhpg40zNJNhR1vlyGdzk9fWcevjjYjrNcSC1pS24raj4zz+9+t0J3/HgJBNnlPCyO6Ykw0M5o2U9KMu6Ehwl/b+hKAqiaMWM1zBcw/iNVfKT1XZZLxQUo0VLrtfLZc6xR5V9eUnCFjSeyMD60RYoLe+K569ffP/yIg2/ipb+p8h96Jl7RFhGr6GtlPKxrwDRycdV2mVToYcjh3GSjdLh6VlCsuMGF7rJyMJJzYCHYl6xAlGu0jQ0FKcfS25FfqBHnsiiuiJR5rq98bGlOBGLpQ9fUmgofQgYEgOdVvCDFxvlI0Sp4ENiaaMo/tGfcCxI2f6VG0yjVeqQw/C5kG0UP9Eqp/ld2osYdY6O70GGPK8GfpMvDSghneJ/74OTALBkd0m2T+rkLsESXCWbpDpJPASJTLy0Dz3alHkKk3B4t0vwZy9/ruRPtvP1uBQ3bfOtltsfOZf5exsaJlCFl4epg2JMU0M8sGNDfM49TLrQypSVwenbsM6rmq2Gvk/Sa1umjNeQyF9iWCkf+jC0xZ6qdoYfqpFITpZnopWjU8L/eAeEBU2IV6DbOobxNrzNS2zRzgg6bc4XddVTy0N941faPbsBMU+yaygV91WIjU3ajcWmpliwYrqApT0Bxh9eHlUncXxOfOOvY7/9XbkuZlxo8rVdRjgrzxC1szoOL//EF6Pw0o8nMfvzAVjNlomY78lebLZlUqdQFYjpEpmmDPbRBbG8OyHiKxgURLv2F6nEZfPshH41z04vk74onPx2sd5WE3qNrlFdc2vPt6hOnFNd5ST+cr5D9eLAyrnTW/dqZOYlWR2buUqEvlJnLyRKU6lLXj31EYPPS1JRAIPKZGBoAovG6GOqu546l+rOjzsMlKbVW2HfLLEAGEAIw3s0spkjW0k4VCkePnmd3oexSXkrQyqSzSrXqIa0qebTZ+dT9lCwSJ3EA4dIrlIBvKyojJ+UqSJbqOfKO7RHS0CnVkTGb+nPZdp4UTX4lsoEfnSlRB37Ek+qMhMiZvNdgz+kQB/o95MVvKVwdVR0nbdg3E8QKp6uaO5S33SM7gar+ODghMd+h5Gjlqg4iIrBcSxYSXF+LEyAQ4aLFN5U3J/tapWVi3/mkYuKaNOfsnFj5pupuDSDHzQ3Gy3gsgvgiP0vC+MY7+Zl5jh/chSJz549SypG25o1NFSThZgUCeRQY8iOzy6fMEW4diYOHp1OJiGrx/z3t1P5c2ZYTp2y0bBaE59ZF4trEu6MoqVvI9Mwk1zc4LBiR7G1jD7FSXN5iEsyqbRydkRoKZikUtH+QznSifLidkFcdEiiMApZK6fuPQqxipn4J4lBlOJyaIE+F+cjTp0JRV6zGZOKBpqo3ZDqKLgW/EMEdb0uplVn3AMDGHOvrf0F8wuduRk3ZiHaTEhXwc79kO8r1sw8G82WrSLdv9Io3gRoxL9oRwlB7tMWYYJKHF1Td7eQNO39OLlZbqu5aZaMuooGnxd/pFH3dzg94+xZzKIPizqsWOXfkmgMnv3ykv1lrutttmzsMJ5gnkDYWsTfa5POwBZZ4ADNhlM/f/US1RbbVY5T0mlwtV0s6wGAWVK/YekGC0QHL+pFXvkmoh2yGHrHYhK+5R8n8kPcZ1om1ppIYF/1WUxfb2+17CqanAknrLB8j/sW4a2Gy4AC314+UcKkLZtbZRh7a4Nl5jfGrpbYAoQRDoqaWIVgyKCpcZhNp9Bg9HdoYEiyJ3K24orIFI1TI8lQxxCUHHkwuIuCt+poEGyf632mSi24rG8xa6JxtrigXymwWS5kH6cp03sfZInpxS7CC44F6PBxuxrD77WcnRGwssRB4EtP5vUz889theJTKClPwjE4qUk9UuakY+TFda7YBTEy0+q4yO9IRYPpZOc/Tiy0RE0bcX6VmqE1uz9+Apb/6XNH4OvRBgYw+OQIFG9K4GTLZAfRtq3SZnLMXo6uGvodvl7vnhv9N3KnOU7yFTFXqU+PkHzrSNQGmhxuKBzLX5oFfiUcy1//0OJTKEybpvIhPtXBAb40t/6KhQuYrTcZL9kHOMzwWIlz2DlQSrGcLAncmaCebAvuPy30ck0mHZ92VCEf7RH9jIGv3S/IOzJB+YMjxy/jtjhRxl5ny5ydjv4FHCZ/ffb9QGx24GbBRb7UI+6As+CAr3N/CxL1A3aTFJfDzXa5bIF93Rw19gcQN9obCV/Qtkr0lJ1aT49HBwfHj62+TVzxtkEaMMmKLccHVFqVvpscwKzBUlK4tY4SOL1yZd8lUovRY78JXtxdL7fTXH3IkBpkN19X1q9nRtMJR8/lcgGfKdYWFNAkUcZP1eFOolePh6OB9GoXH1GvgLjjHnsXO1t1R8bFyWNve+wS98UGHNJDf52oYbMOVs+2LjCp49LQRY0ugDp1ACOLpuG4g2jMWhvWGMpGqfQMGPZmvYnCbBQmI4BonaJA19qF6V6YaE2dN+ps236BboXJybBbVpJUTWoDQ7UfZGS/uI+2G+BXQzsLF4nvKMDv3u2QdQgUJEDXfidZiA54EbyiVzsxurNdenrA9HTWKnH/UjBDgfNmJYtBPe7AdmSTSsjFFWJSoJCSFFX8LTPPMvvs+DLu98y6uTJl++G6ckZ6ivuC2zmdNEHvfMeuWbmYKgApzk6CiAEPc4aS3ZFpvd8l9GevE0ZspHk+J8mim12t8shW57yZ6OokuiqJN0UeWkdCmUxchhkSRufTKLtrKrjb6UENu8xKwF62byreu3XNUjAL07+rRcHoH9cdJ63b3FYcD86cUMHrOY6CuBLa9yDjg4N2degv3hrMxIDF73MNJbQJfpxFpRlLpN77gFFvPQQbZSLsRYdpNdJ6u4GXD2ysbJpEzUK6m+5LK/lN8IN4cHM6BWL7OCXB4d02r/jTekVVl9vregH5wacINhkbhPQsLytzGtQ0qR1Jo1vmn1CBbsUhSJp39ZDldFKdzKVndOGG14ySG+JbvdvBALyG1NsufNIHRdR6wN6GJlOeGQ/OA4InEBKTdhvIS/dHrQhrIJBpdRAdD6jT8RG7k/37SZtgqwN9cISC2ah1mEo6x7pMdT46eKyMHq4DPWjsRiEX5H7SCKQ+/A/1czRKbnrCUnWTmx4nXCZuvUwUD5MwjTDMp1ykPTQ8OZeXux6O8vrYZ/+yND0QqSMHRPBLyYH3euvFWbZJLSKMvhwZcup2J1IpRpt1XTYS73wkIHtEdZ2P2uOjm09HcV/GKZUmo8PIVjUwcvKgNaCjqHXj0IjP+B4YGjvDrmyT+80M7jA7oJ7d+/KeuM3UOYTyqGFepceWsK6L+mmqCFxPzDTvNJRbrtcftpvI6YouzCo+QORkTx+959Rq4oCDeHLLT+6Rgo5Qg7BlBdsoUf//2vXF/YE8Np1aAOibgYJlJknpEDMwI+4K73zJfql2kPpGcpxD0BOEpAMfO1o8aznByejR4+aM/YHQHqdOE71hXyPZdsROs5OPK7ljJcTh6fDkeCwRVBxigSFl02kV1GsNXuHeyGVJ4yPDYJmbvHtfahVSrt0o0s+QGDWtLqpgmd/Upj3J1kmvfal6TFmnaql+NEZVRO8CgQG93NL8V/N8igV43/IJfg+bZirhAfkmrNw4DLzsLfq2pAKw+yvjSXe1pzeRinS5mK/XCLSpF+tEYj9ocHwyBXI4/vYvirSthkFwgfgX9smUUVNboeQ6LbarK4heTdD3+sWz7//zRTyWbnDgUvNKycoJt6ME53cUKiFHCy1qPb9SElzfCOaHArIxaSiJJo4t8WncsdpcDrnzhEhTclCpbWolfN2eCLScLTHB+2COwA/eR+qOWwUcByao9HKRT016WVGngr4sIjrrOhNLmubK7UcSbJcbUeGQ8go9i46xSc+OT/QgoN5vFoANqhWpOxIkxDxqsyhoczWc0Rlceu7MA5FgCW5Dq8hxJtApiHqxPcbB4Hj41++CbJbB7YijnBKbYbdnNDTO6c12KUGOPDAN/8nAGuilTMbo9Yb1uUXhhCPt5jkyOHqLfNGwn0A/o4xqDanJBFYNXxOTGgjw3abE+QDphxymZPmCiVdC/lt2wUWrltWxmSgBYsTgb/OK5kc8J9CxOvuQo+rsuu5GbCIXsITkSBiWcE72R6iY1Ha03TBVgHwycCgNnob4QO0iWOhp9P7m6n0SvL/J3o+dEgWW/hqRecEzqqgEKCKTOy1NeNm7wswWT0kTPwqOgFr4oJ5oGO5t1KZO3KIyMV8cA/7eMDLnbY2hN7FfXU8jCeNCQBej4X9o4JYXHNHAFo2kiVrsML4/t4H48vdhFNTdh1EK0KtGulgkge6FyI3maQheX4a9HYjvNeupCTbseyMrv+F1savP2XMWtYkCa/f3TiPWN/tOftxOnZZWeaVfUo8XnGUVO0bI9l1xj6neCcHiqCRncoVUItrh1FLpSgEwObRws4wKJGoBazgS0Mucee7ma7LtisRjqi0WuiCbzYl9U11aujUW410qTZQXclc1jFwNOI5bZ+0P3FcnMJb4RL51F8d2trx42DFyqGWVyrFWqiOLHrQ7sPc7kPV2YO92YN/uAGl3UzT/e0/zBfxaWUFlScJpuQA0ikCJPbAE3Sn2UWETF9rFiM1qAGXkerAogEapDDqPjCjwiR5xGry4F1gIDFTRDMUVbnGLsL4quK8Xe+DGlEQ0vM8Qai+JPrhfUKLrRgMegBkgeUmt9TnRrN+GkrudY3Ow8fq2ccMfVKyI+MlmKgFly42t4AILLqqd62x2f4TY8GtnkYbg5VT8uZHQY6eLoclgT8olrOiERDfiPAA/INuEXBzSDepPrPoR/+C4bE8hGrrtSRka7usff5Y4dpkHrCNJbXq5RnArnnKS6bme9kIEiSjP6p4w2OLhBXHhrznyQMn0/fhzm4dTsykXOQhccMx4oP+BS+HmbVkUNLpu7W6HrKUJyO9fw9LsmpTKuNUUAArHdkyjlCBdFVSNKTRsjZ9vqxysW9n9QFSwLRtkTzXBIBIx8JvJivC7zW/wm72ie6y9sJZk9cSbbx8p3R3nx48TmG7FNRwHBG5BUH0BXanerYMVsnswmbHMReIBqHqwmGlpx22NDyH66sDWgJKOEniv/oe05aTk2Zh72feNDo6zI3aATwKVqO8Ka01xCx0jiqr7aS3aLSYTnubGNoK9iHs6qfQe0coqh1t5FrwhGiai2rNhgBHjUxnEHdmRAjuSLzgTE2klOUkjWk5qV4Lj6G/0/ja/rtdlxTbucPbP92DQ+fUHsZPe8zVR8HvJn/DrfM9q6boko5I7FYjtOFxNaQwvC0TBw0RpjZBE056ViJnVHhI1KGaoJ9MPhfB5OnJwYz11rQaIQJ8SEW7Zd5815DUZdbVnk4nZm9XmLc4xQnROXXjSqCPLfGbNEm63sN9BoamWJhJJDMOVzkk807atuHYmQ9r9eelo13xMydqbHFT+7eXFG/p5duqEVhYRbbKExGcRexkELlhPoJGQeSCWLHEWbMgjBB2Y82dasUy7Ng4iqieX5CWCsgcrYn4nBwe5gAGonH6dnQRPU3r0lH+cJqikyJFcA0ksENRON/D9Ay8lgbpnUAesooGOnBuGDKFND4c0XxN8Y4bsA2RQpDLtW5iFRmcgul6Xk6yO+hIJYG6Cp0+DAQ3r6IgbJFmeN5kV8ZweRHhC5Yzf1UcJLDIVuyewH4PzFBY5lUZH3EZzm0L4gbef6ssRL+YAepNXxeD+KiriJPl0wuut1+h36gxTCKE1SEsh7hDr3YIVJc4O1dSMREvIrGurb6Ie5Y1zt2nIGq0ode+zGvkx+LfW6D62gu8R3oc3+6dT3jg/5wlx4/Z1cT8StTYbgTf+ZH0TEUud7Py9gARTOHpX7qhn7xBAcGrDE+oDv8fOed8+gnYqMkH1X5NuFFlyWJLoBlJ147X5gA7voOYts3+8nbBgLwJqi0Y+6tJsizqSYND80GD8hHcLbX2uh0yJOPjyf2I6WE5f2Y2vp/yGRjjDAgglCeD2ILR0bnOXYojgSrKr2h2yvOirOjRd3C6mIgww2x6jYPr1vYGLSAhlwEmfqSH7q796rBlZH1uBYAyh6CGpyYHUIhXedNFyPTuJSrK41LNQJipAcro5YrIyRxLojIpYyp3UT8w4D3hkYJi2QWGcUc5GkxYg+cblFpVqFHZ1LILFTkL8oRMGoTqp7TIwSZJK/YxQl4zmyutKa3G5FJLZNn11lpnX2Dxpc2V61bvlcj0OFXG6p2zOLdI8lpTqfRve2e2iRsl26ybOcbRMV3ss3bU0W3Osnj7RrS5F7GcN9PfFgaH9nHddZ29IgYYy1Y2Xqti0d4g3tA1vuQ3nHt+4VdKD8/NgsHHG7js12KxgYAQmLxiubb4v9wc/gWY68R57d7iM5gTjSiUrWHun4OwOalbxALBvHHS7wL6jaW7K9XR7nVdDAwXo6WbmWgGGWddeq35mMhxKqEqdldIoNd6gp4YEVACim87JkSUZq4uzyi1ptFqqvKaUFQXqePSXlmThh1Wb6RtE6j4cqavWAirX1eVPYUxuFyX7SA+C8s6iM5MrF/rBW1g1XTxxLeFlxFxC6ngU46xzlyycH8oBGlirH4zqHUO9rrMlf+klKvLdhL/2Uu6b/hOB/W/6v/eIs4+InR+aXoP23iznbw142oI+FXAOgJXnmEMFksD1yaEbYHmNXG5NCVdEpE/8BZfGF/B+VE4LIno84z7ILKgW0mFE+vSAx2P9yKq5fKlthg8SNO0CvOInYCrjQFTFVO65qyr6YRoMnCfc4wgqIl47FMkOfRm3Gib2ICw49v1XIF+oG9htJJpzFxC6ZaU3YvzRzIg16fzkpzzDNErn/Vuai1vDZMFNyWierZhHVw5DxVM8YAbdSl2hUkVqig3qOdn1gz2N84LeUJe8Pyd/NnbvHxhC8ZqUjILjGtR2f/3il1cvnz8bvGgABqyDtdovjn6gqavzKrFKHzs8LchSb0U/NN21x9PL4C1H4aTfPToZjS6DtxyglZ7hkh3xEf6TIPjn8l3xY1bNQe9vfnx2cvYtlKbrrEAgDLGq/3jz80+vgr9f/DB4THqedgc+sUDsmO8KdDXPITWoX8AqFkvl4RwrT+MP3mw3m+XeyyLJVobnR9ATe49DMZlKrTUiSTJX/7ESesHCxJlxFfEw+EkSN24L1iOI9qiZ88esSVL3n7wr+NyVEzMSDc+2EAySqmCelVOblLLMP245tFAMap7NI55FGqRJZnDEL0K4ZQX7UGq/cJK9XK53ohw/e/XKLrI3f9WHxWaDwxmOXGXwjUaosY03kjbdhDXqz20BNHNGFa9GNNjnplqe7gp9LnD4867AsD1Zql+INQlut/VmW1dPGrmZzcqcHStoDHBWh4WxzHByCDK8Pz3BHxM7g2VFCgKbm6A5OeQQisTmfmjOEH8t4ev/QCp0aiUeq3vbMk/xj0a4z7NUW8Q1Ub0JZOfInJGGvZvJdQPbJxPctm0gc5YXaem69tPDlid/UuXI/YntmkZhQv+Pwzg+DN+9K8J4mBfX62ketc82OEUtvrVLEi22AzA5wK6cnnsxqf4YDhHxJsF1nDoqTlMbjx42c/oP5iUSLqqJN/jHA6eymg9QPtmKoBr+LnBPZkobuKo+y+UKoT3yQ15J5c8DTtqa28AdWvyAG3O/SycXkxKtLkr7EqeHaUpDlA0T7boOAqFDqRkDYqWdvAZ3O4RLOzf2u4dy+yLg2CmsccfOnWyXrEbujdWo56iOA4/NLJiJkZloUaiTPU4GaIngoUHeM0+SN04RHJVvHOmWONInMbJH4pUjL/TUAkxNpCW/H+6uTKylExaRypaPbtx8fu5qiRgKE43/VArWMFB8mzer0/Dj8m5gRj3YZdNqcHsc2iDR0HKasLtwmJiJjE2CcPmGDJD/lTFyjiEOlU2cLxfHra+R9Qdr2zyHuUo3SVUkreHfQ26oz2XU9rwJ7e7ZzzYK3MaiJ7tW5LYbQ+vPoXBLZBUkDjTP76aLGYmrKJag2h1zoaRhnLuGAcVfCm7GfnTDmS+fdAOStZepJTa8hHwDQAH4+viSdUYEH/IGN9HfQoq22Em72IkUIyrtzKt4w/Nrp5eSJgO8O27VcKooQou+tctOpG9PuPE98cJlXyDY5/8Gi0OPsQ==","report":{"QLITE":{"replica_e":{"mean_diff":0.004378424395895475,"n":1024,"se":0.0030703030810096186}},"QLX3":{"replica_e":{"mean_diff":0.04421456577785282,"n":1024,"se":0.005210773667320413}},"QLX5":{"replica_e":{"mean_diff":0.04711886607071064,"n":1024,"se":0.005205379354766125},"taylor":{"mean_diff":0.04795064850768349,"n":512,"se":0.0073369501580348865}}},"seeds_used":{"baseline_disabled_and_prior_qlite_checks":[64000,64003],"choose_replica_e":[64000,64255],"native_engine_seeds":[],"range_convention":"inclusive; replica seeds may be rerun for deterministic checks","replica_e_vs_supplied_emu":[74300,74307],"report_replica_e":[10000,11023],"report_reused_for_selection":false,"report_taylor":[10000,10511],"unit_test_rng_seeds":[74299,74400],"vectors_replica_e":[74200,74249]},"vector_sha256":"4706aec7fa9be0c5fd3a4771bc42e560c42810e4e37d88632318658fb3e3814c","vectors":{"arms":["QLX3","QLX5"],"callbacks":1099404,"fields":"Every callback: buy,ax,ay,t,rx,ry; previous reserves and fee wads; m0,m1,tested,verdict,inferred_arb; output bid/ask fee wads; seed,arm,index. No hidden truth in vector inputs.","format":"Canonical JSONL, UTF-8, sorted keys, separators comma/colon, LF after every row; SHA256 includes header and init rows; vectors.py defaults reproduce this byte stream","rows":1099505,"seeds":[74200,74249]}}
