{"item":"e07-tell-build/tca-short","credit":"Taylor (gtmcknight): solved policy, Gaussian filter, qm tables, replica2 (github.com/gtmcknight/amm-sim @4812a6382311624e1506aca131ca35c378f930d9, research/solved). Source seats: qt1 (QMRef reference), TC-A #770 (TwoComp / Candidate.sol base), o1-a #541 (one-division sell-arb rule), o1-b #1497 (retail redo, buy closed-form grid, likelihoods, engine-order port.py).","status":"INCOMPLETE: P PASS; T Python-side PASS (0 supported disagreements); Q report mean +3.158 vs qt1 PASS, min -2.383 FAIL (>=-2); contract not written, so contract-side T and F, G, E not done. No submission.","summary":"TellTC = TC-A TwoComp with, on a step's first own trade only, the filter pi Bayes-updated by the wad tell (sell: o1-a one-division arb rule + o1-b retail redo; buy: o1-b closed-form grid; o1-b likelihoods), pi capped at 1-EPS after a tell-arb (EPS=0.003, chosen on 64000..65023), candidates bounded (CAP=16 doubles per wad each way), unsupported/neither -> original pi. On the o1-b engine-order port over Taylor streams, report 10000..12047: see Q.report.","inputs":{"artifacts_sha256_verified":{"o1-b":"d56e3af5cc1e32dcc52be27046df89fb403d770a7fabf39e1a0ef94827349a5a","o1-a":"9242f3ebbe1ef8d23e590c9784f147655714aaf8a6da7a841273170f20c9ad9b","cost8":"3385a6e029d6bea8c32e24205e2207988e325b8b70ad133c8b2083a052e3ac3e","cost8_bundle_compressed":"3e4ae8e98d4215fcf7c712ab563eaa01c7cb90a3161d30a1bd008fa66c7fbb9a (all 29 manifest files matched)"},"base_TC-A_Candidate.sol":{"url":"https://raw.githubusercontent.com/identity-md-launches/goal-3170-beat-network-s-amm-entry/4eb3e985fd31e3cd17832501b95b6d2491aca73d/contracts/Candidate.sol","sha256":"b87234c89e094f4955578417c1266129b0f96e6dfda68e3fb8866e00eeda71a2","matches_brief":true,"note":"https://api.imdnotdead.fun/artifacts/b87234... returns unknown_artifact; the hash is the file hash, verified on the cost8 provenance.base URL"},"qt1_Strategy.sol_sha256":"c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca (matches cost8)","python_refs_from_cost8_sha256":{"twocomp.py":"9d3c1833321493fb51bbde4e1b4dabc2f8978bd6d774ee2af8dc8aed13f0f0af","qmref.py":"1dfc9b7a3c2237ff7a93dd9f0af54b9bdab16f2ce0a7eb00784cb4432598db92","blob.bin":"3ac7cb8811ecfb6a17f499aa4e9b70dd55f7fb6432b3aec3b904e11a3dece38e","replica2.py":"6e37b4e61e1ffa5ffb1e43912ddb8659105989aa986eb48fcd1d7608f8dca685"},"o1-a_file_sha256":{"tellport.py":"5101e0afb19641e85a37aaca2db43ff57914f9a44ac5102e77d5a90f70c6d332","brute.py":"aa10e58fd197b794efc1f5320d55bb606c6de2c29f55a09d5a98f6361e104cc9"},"o1-b_port.py_used_unmodified":true,"git_heads":{"amm-sim":"4812a6382311624e1506aca131ca35c378f930d9","amm-challenge":"6b6921f8d463314aa7c96234e1be25a25245f704"},"setup":{"script_sha256":"f3abb169ae32d5b1c3d8604d693fa1c646dcbda1a527aab6cc6c8402724f392b (cost8 scratch/setup.sh, identical to brief)","ran_once":true,"result":"passed; StarterStrategy validated","used_later":false}},"P":{"status":"PASS","command":"python3 -I research/solved/gates.py (unmodified, amm-sim @4812a638)","output_rows":["10000  448.261189  443.455598  443.522608  443.663520","10001  576.779199  571.463409  571.623551  571.977293","10002  531.886497  525.168028  525.865859  526.411631"],"matches_README_6dp":true,"secs":7.1},"policy":{"base":"TwoComp (twocomp.py, Python reference of TC-A Candidate.sol)","change":"pi := Bayes(pi, tell) on dt>=1 only, then min(pi, 1-EPS); mixture kept when .005<pi<.995 or (pi>.5 and pi<1)","likelihoods":{"sell_both":[0.7877162316918811,0.001142334932602239],"sell_arb_only":"decisive arb","sell_retail_only":"decisive retail","buy_pass":[1,0.0012413686088913027],"buy_fail":"decisive retail","neither_or_unsupported":"original pi"},"frozen":{"EPS":0.003,"CAP":16},"selection":"EPS in {0,0.003,0.01,0.03} scored on 64000..65023 only; 0.003 had the highest mean vs qt1 and vs base; frozen before any report seed ran","returned_fees":"clamped to [0, 0.1] in Python","state":"port stores previous reserve wads (init 1e20/1e22 wads) and the fee wads in force on every callback","hidden_truth":"path flag read only for err counters"},"T_python":{"scope":"Python one-division rule vs full execute_sell_x redo (o1-b), seeds 74200..74249, every first own trade, exact stored fee wads; contract side NOT done","n_first_trades":351773,"label_mismatch":625,"mismatch_cause":"all mismatches are the full redo exceeding CAP=16 amountX candidates (unsupported); 0 disagreements where both supported","table":{"buy_fail|buy_fail|retail":80011,"both|both|arb":72761,"buy_pass|buy_pass|arb":96615,"retail_only|retail_only|retail":80595,"arb_only|arb_only|arb":20933,"both|unsupported|arb":418,"arb_only|unsupported|arb":103,"retail_only|unsupported|retail":104,"both|both|retail":104,"buy_pass|buy_pass|retail":123,"unsupported|unsupported|retail":2,"unsupported|unsupported|arb":4},"policy_stats":{"n":351767,"err_filter":41474,"err_tell":105,"fallback":6}},"Q":{"harness":"o1-b engine-order port.py on replica2 streams, 10000 steps, base/qt1/tell each run per seed","base_vs_replica2":{"seeds":[10000,10007],"max_abs_diff_twocomp":1.559783413540572e-10,"max_abs_diff_qt1":1.6467538443976082e-10},"choose_64000_65023":{"tell:0":{"vs_qt1":{"n":1024,"mean_diff":3.103251603387729,"se":0.030677230663565567,"min":-0.0018303153399301664,"worst5":[[64509,-0.0018303153399301664],[64322,0.0008114562592709262],[64593,0.3423857734550211],[64636,0.48918435006009986],[64778,0.5683470020800314]]},"vs_base":{"n":1024,"mean_diff":2.6952236465466295,"se":0.02968931098194461,"min":-0.6943495599639391,"worst5":[[64003,-0.6943495599639391],[64901,-0.1191310974878661],[64636,-0.10538063823355515],[64593,-0.021653983553278522],[64150,0.23004894817961485]]},"stats":{"n":7192191,"err_filter":850140,"err_tell":1963,"fallback":111},"labels":{"both":1523866,"unsupported":111,"buy_pass":1952496,"buy_fail":1644748,"arb_only":422365,"retail_only":1648716}},"tell:0.003":{"vs_qt1":{"n":1024,"mean_diff":3.1041061378757755,"se":0.03063520466587817,"min":0.012824373729813487,"worst5":[[64509,0.012824373729813487],[64322,0.24476761125299618],[64593,0.4680272484285979],[64778,0.5703480410670068],[64109,0.6807107117716669]]},"vs_base":{"n":1024,"mean_diff":2.696078181034676,"se":0.029548838167664633,"min":-0.48922293887903834,"worst5":[[64901,-0.48922293887903834],[64003,-0.026992634256657766],[64593,0.10398749142029828],[64636,0.1162504182846078],[64150,0.3262104936453625]]},"stats":{"n":7187165,"err_filter":852814,"err_tell":1934,"fallback":112},"labels":{"both":1520363,"buy_pass":1948020,"buy_fail":1646791,"arb_only":421363,"retail_only":1650628,"unsupported":112}},"tell:0.01":{"vs_qt1":{"n":1024,"mean_diff":3.0867040871165106,"se":0.030475737781333053,"min":0.12241375000735388,"worst5":[[64509,0.12241375000735388],[64322,0.3149206685432091],[64593,0.41547559543607804],[64636,0.4166159720750784],[64778,0.4413432063131495]]},"vs_base":{"n":1024,"mean_diff":2.678676130275411,"se":0.02944478618131798,"min":-0.17794901621857662,"worst5":[[64636,-0.17794901621857662],[64003,-0.13241846697894744],[64593,0.051435838427778435],[64901,0.09632322170637053],[64778,0.30229129594187043]]},"stats":{"n":7184009,"err_filter":856106,"err_tell":1983,"fallback":108},"labels":{"both":1517328,"buy_pass":1943765,"buy_fail":1649389,"arb_only":420467,"retail_only":1653060,"unsupported":108}},"tell:0.03":{"vs_qt1":{"n":1024,"mean_diff":3.0493874241447556,"se":0.030907916624861784,"min":-0.2639495918826924,"worst5":[[64509,-0.2639495918826924],[64322,0.19927510664251713],[64636,0.3803993083932937],[64395,0.4328424172750829],[64593,0.5364453159165805]]},"vs_base":{"n":1024,"mean_diff":2.6413594673036562,"se":0.02987450269735754,"min":-0.21416567990036128,"worst5":[[64636,-0.21416567990036128],[64477,0.012778988757190746],[64395,0.03504231315241668],[64901,0.046262154110308984],[64019,0.11377118509687989]]},"stats":{"n":7179264,"err_filter":864255,"err_tell":2003,"fallback":117},"labels":{"both":1512293,"buy_pass":1936988,"buy_fail":1653751,"arb_only":418846,"retail_only":1657386,"unsupported":117}}},"choose_base_vs_qt1":{"n":1024,"mean_diff":0.4080279568410993,"se":0.017184184114443182,"min":-1.4142493225737098,"worst5":[[64205,-1.4142493225737098],[64374,-1.3881508786722634],[64101,-1.1336950977618017],[64590,-1.1226070785095317],[64698,-1.053683833554146]]},"report_10000_12047":{"n_rows":2048,"tell_vs_qt1":{"n":2048,"mean_diff":3.15777887503495,"se":0.022523380035794013,"min":-2.3834520078763717,"worst5":[[10481,-2.3834520078763717],[11062,-1.3642312923469717],[11376,-0.3633058744172786],[10256,0.12827039339481416],[11519,0.1800823649667791]]},"tell_vs_base":{"n":2048,"mean_diff":2.732981416107416,"se":0.020932254980313418,"min":-2.43050443856157,"worst5":[[10481,-2.43050443856157],[10578,-0.5827723605526671],[10403,-0.19466234568676555],[10449,-0.051964554558026066],[10141,-0.04570726336055486]]},"base_vs_qt1":{"n":2048,"mean_diff":0.4247974589275336,"se":0.012202196748914046,"min":-2.7519340067506164,"worst5":[[10146,-2.7519340067506164],[11701,-2.426585095109658],[11062,-1.680672465452858],[11949,-1.2201722781714466],[10394,-1.201831221042653]]},"stats":{"n":14353157,"err_filter":1709493,"err_tell":3953,"fallback":213},"labels":{"both":3028150,"buy_pass":3886373,"retail_only":3300433,"buy_fail":3295902,"arb_only":842299,"unsupported":213}},"criteria":{"report_ge_2_vs_qt1":true,"min_diff_ge_-2_vs_qt1":false,"min_diff_vs_base":-2.43050443856157},"verdict":"Python Q: report 10000..12047 tell vs qt1 mean +3.158 (se 0.023, n 2048) PASSES >=+2.0; minimum diff -2.383 (seed 10481) FAILS >=-2 (base vs qt1 min there is -2.75 on 10146). Tell vs exact base +2.733 (se 0.021). Filter first-trade label errors 1,709,493 of 14,353,157 (11.9%); after tell 3,953 (0.028%); fallbacks 213."},"F":{"status":"NOT DONE","reason":"no Solidity contract written in this run (soft-float binary64 RN-even add/sub/mul/div + wad conversions not implemented); time spent on P/T/Q"},"G":{"status":"NOT DONE","note":"TC-A base benchmark per cost8: runtime 22370 bytes (patched cp-c), peak 204742 gas on replica seed 70000; tell headroom ~40k gas unmeasured"},"E":{"status":"NOT DONE","engine_seeds_consumed":[]},"seed_ledger":[{"kind":"P","seeds":[10000,10002]},{"kind":"T","seeds":[74200,74249]},{"kind":"Q timing probe","seeds":[74200]},{"kind":"Q choose","seeds":[64000,65023],"arms":["base","qt1","tell:0","tell:0.003","tell:0.01","tell:0.03"]},{"kind":"Q report","seeds":[10000,12047],"arms":["base","qt1","tell:0.003"]},{"kind":"replica2 base check","seeds":[10000,10007]},{"kind":"engine","seeds":[],"note":"none reserved or consumed (9900000+ untouched)"}],"commands":["python3 -I research/solved/gates.py (7s)","sh scratch/setup.sh at amm-challenge checkout root (6s)","python3 -I one.py 74200 (timing probe)","timeout 470 python3 -I tcheck.py (17s)","timeout 475 python3 -I q.py 64000 65024 choose.jsonl base qt1 tell:0 tell:0.003 tell:0.01 tell:0.03 (3 runs, resumable: 470s+475s+126s)","python3 -I summ.py choose.jsonl choose_summary.json","timeout 475 python3 -I q.py 10000 12048 report.jsonl base qt1 tell:0.003 (resumable chunks of <=475s)","python3 -I summ.py report.jsonl report_summary.json","python3 -I repcheck.py","python3 -I assemble.py"],"limitations":["Port (o1-b) scores are replica-scale on Taylor streams, not engine/board scores.","No contract: the tell needs exact binary64 soft-float in Solidity; gas on top of TC-A (peak ~204.7k) is unmeasured, so a 245k pass is not shown.","Report >= +2.0 vs qt1 is a Python-policy result only; per the brief it would qualify for a contract, which is the next item of work.","Tell assumes the Rust engine computes bit-identically to the port (no FMA, RN-even casts); not checked against amm_sim_rs here."],"bundle":{"format":"base64(tar.xz); per-seed jsonl omitted for size (sha256 listed)","jsonl_sha256":{"choose.jsonl":"2838ddcc0c34af351bc036c1980d560ae0f2ad3f41d59b1ae33d98bf071d08ed","report.jsonl":"5406f3e11d6ee5385e4eb608a18832812d4f33ff248f45c0bfe058b53f1500fd"},"sha256_compressed":"e84807beb723e551322f6e32b744b33d2237d947fee2fa7583c8807eaff187d1","manifest":{"tellpol.py":{"sha256":"73c02a44ed17b9be65634861be2524779f9f3eb1fc949a8088a58310f1130356","bytes":7759},"q.py":{"sha256":"b868aa5c984c66144d3f7c23bc4b6cecf37807f0ac895b18a52ab44053b7ac1f","bytes":1184},"tcheck.py":{"sha256":"a8ec5145771512c9a155f5fe25639f727c4d25ff587fbbc77f3ec4b75bbe924e","bytes":1232},"summ.py":{"sha256":"849ad94fa17a2fdf82b9b24d4156c4ecb05c553378b31b7fb31ac84258a63ac7","bytes":1120},"one.py":{"sha256":"709f5e180f29034616ecee8574ec44fd2189b1f2b185833194a99fda674a6373","bytes":482},"repcheck.py":{"sha256":"8d296e49ef0e5c7689673348891b1fe92ef6e91171cc3ad6e5300aa5fac2055d","bytes":629},"assemble.py":{"sha256":"dc082af2ebd060a8bdb45b004185ef3feedde3a4056e0dc219e9b2512e87c77c","bytes":9739},"frozen.json":{"sha256":"7b0bd7cc42c5480a176520fbf84d3100c4eda1d8e246bc33ccfd0f005175660a","bytes":60},"T.json":{"sha256":"8a8066029f390113b0e83728ad0694f0640e05acca4eeb123c84b4a9ecf101fa","bytes":614}},"data":"/Td6WFoAAATm1rRGAgAhARwAAAAQz1jM4J//IY9dADoYyEWIp+7oEtgtRqqQvSnq7Gj15tYmGsCLluE1qItBfE9fCCoUGhaB7HQOYHYxnv9FUi0GhlzAPszAwYN47wUQ+/9QEDXMXKt0KthRGY+1L6fhDMLBD6fBJXWT1awkDD/bM93nFi1G+zl1QsIKa6z+aFAWm59ZqZO3EzBbexm8/QTwEbiswEYO9aBwgRXMu47az68yIbOT6eNy59EGm1CJERw4xAr2SJtwR7xZeQvNN9ktDMZE70D/u/KtcgtbsRu8k+i9epEKX3X4RQaRcKTx0elDsN9P530KV7KVGrNXvG70wCx1yesAXlrRLDutQOCeTde4aD6jvC5ZEbllLAxBmd7f6VQ+cIfuT4JaF6MdRof8L9dv86IeOoh2xPg0eYy71izYDufe/PI5T1HsHaO82UKcJvhFHd+hiG6SI4WMMtJsT36LeQiNIG7lSkvB42HqfdiKqlWmfy7NURyM20CixJdy+selZ34jtq/sA+qoUodkDZc7n7eJ0UhL6ycdHXBpEhrFhmxjMnNp2V4Z/SnCYuAgvBiiAUQocdu3L/AEu4uft/UgXMMLdOtnZPWvzhKZ8cVkufcpn+t9Nesi9ZjM5uoJMHVtDAYl06smg7bfoRkVgeT62s3DgEUJTcX2ndmSGURMeYP7gCqX/TsxqzM+wCCKRD6HJauf+gJ1+5Xf78o4lxZLfrIyNbQ07Qg1rXsulaIISj1wC0R4E24HLM5uRzjnZGzLpGSqD0KB1ee7Rai4/NXjiIr7IAQWt2WJkATQIoYv3+52ePAV+AhL+Y0gY4fpiOomWtJYWx3t3zOiFAIEiEqWzsOMcjd6aFBUqeZHYZZIYmrjLhrelAKEBITJZE51H1fNeW1QBWDvPvePTprbFfAbxoq5sCk2MdmTFZoBbsgq3IesfhFAcCw1FDKTy0yWRv6Imv83iAoALTTexrU9kiCfeh35p8ZzF2if8Gv6i0dN0XfExIG0NjTjtVvxq+F2GO7EKbjCXZP++TYN0G/pZEA9dshpXJ7PAIfomyddId2qJA8bIER2kLUbfYeyOZA1AZVFEppU/NUu+AE9MMW6LDskBVPKMzVqJjA+UpkBXTN4AJDgu82nxqxNDUdsXebRNSmBmSpHYVVHuzZTeiZlZL4Fuy0+AbkPiARfD4Qb6ecICGhUfpfDFFFOdEoDT2EQ/LILkhG/PUeeHASS7W9UC0jdqCGGSOYm/ynsPKtYcnkLU+tcewXXVu0450il9qppI8fQD3VLWn3cLTfdAuahINp4BGBPRASkiKqh1GG0iyxGmvnkJsWFw8FE/7xJiXHjT7kqeJShkHFO/Mblg8ADf3yuuQqkka0EwKwPKlkFk/h14wXVyXzNGTCSbyS4IBxP8d3lvsBIM2iKg4etok2Y/0Gk+P+cOD9zPqlMV2JWdFhuB0D74RTA672e5u2UwtRz5ilopBLaH5k29wk2i1DTqRzJUQynQB6epKEJUhUc0dlbOvC9U3hbTEm/IB8oFWdGHcUt9/ETTGro+5QMyXrwzUG5uT1nWOW6lxc/B2JPGgUBjUCPchzl0+9Hk9ru4T2MfVVk14lPOKaj6w/VDpLUhLRmrW97jqR+1eVCFsBv4fjaiy1ciGKLFyBpvuqbIONc9Rj2gEMzIFIXBH7E/3iOb998vowdtyAIFjEcsPInSFl211+kFVWaF38Jdw2pdceHcsA/zbnNyKfBkEyD5bCBshxrlQF49mrIAbxoS1ZYKrxQ6hD7MLwRWXa7YjXqNuPNsDunHlJbOaltM7GpT23ZC9oLQk1Zu1y8IPqSOOe2Y5FpJSn3VjogF4vXCscZyvPB7DE4phSoh66aAYPGZGkcgkTO6AS9d+1oyHz0/eRFAgfwTM2EdHb60zdEvMA6JGdLPqYAKyOMLtcJnRhnl+nNcFpd27c0067PE1UeZND3j+3VyLg7sPHpBOT0cZ5PEaKATGpHCTzQlzqCe+P4eKvNaBKbTEd5bTRediFdYVjNgmUOf7EzQoT55bMXP49gnsJXXeHuCuCnyjNTOO6gkACTTRj1ss4flk9U9bueM2qW59uSAhJY2YbEk0JZ5L3fv2hPGFnkKiBTHJwH35YQfH47bDAm7y1qUV8YGXUY/eYtIJKWu9l2MLw6LatE58g6fj2Yy4TUFPPJIvGpPFyZI31Jy511MlqVoUo1ktQSwPLkezLKGYl8kHJqKBNYx4m73h94D6L/bqzDt87Xfi6lMDf5H6k0g2kmAgmekkAHwHzhlwV25jmWZSj0++tWgLNhrPxB1j5q5lbRWEe2534VvDgd78/ch2POLTs5GodIW0PVosxrnYVAD34zbANCHYoa0R3ErGRz6Ugl3YDaGePHBLilTl7brY392i3IaNxH3doVxkJoLihvSIfIRkBRnOF2tG9CTNKL/6B8RNCTUXN54H5UgvLLT/czWCXpqvuZ5Q32oHrRNdh4Q8Bs7Jjv9hiwsepwfzMcnJBDol7aSAQA/RFKDQxMYhOuAn1fjoA89LywGtXlQePv7uqc0itDhD483w4Ve+czolIlJeYy8+tmayFc+SiNFl3aQkfsBUbbTCqogGYJHnX/YC7F4t4BHXdPSQghYoCaD46bo8QJK5jbhFwhkkGBmhbkOD0AWGMk0JftxNw455bTuS2Q3t09tYr13PboQlD/5CCdIGzCWn42QaeqyDp/Pcg4vNUpYpnaYGz1x5r78GEeumoLs2l3/EAsDqtU1fpYuJxieO0aAFRb1M0yNYvs2/G2QFBoyuiYo0tYH5hRJ2y8rSBF9Mk7C7wq3Pe6F/9BqW9xcQAJdkUwaIvsY3J06Lnwzdog+sURVI1QhcdELNdUlD9SVWsLqFJ8oooKm599KQx6CcJq5sOIULLD1e61WCqMOufUGvt2mC308aoyt4oWbU2KNYBWHyRyLbfhzGPGZh03GiDAri2PWOQaKvZQkVCOgmIsUXRk8eSzZA9tcWHac1WIYjnw+CvoiWkCUq0zmD8Pl3Lr0wj0v2HppiyCI7fTuQct44C/5mpYulATbAUp+/YWpOZKgdYwDhJcbVkhrsbxnTSN6zwIbmkj6P5TV96xcRC1y0Vj7ivCRiNaYY3Tyf6j7kqhysZJ6q75OjLQLqcGUdMVE3nXkGmuhJ/Oww+5TTS667z5AtzZa4iwxFDj/eFw1VvsTLMJh1MypcXz7FGpY9oR4Dzb4aR4OolAyY7QkVvm0W6bhVjcUO2Rv9mTvaAOToIvgwB+SxJghJvfmFvhrUXyw/IU678C3vJld7Ebu2zcBUu3Ue4nrVJKw9BST++dsK5MT+4yo9S93GZ6jQhMthG0z5wbOF+aZPI8lriP3N/xrZeElAJVSSs8FLBLBMDcs1u9DEqIY+F3up036DAB3Ffts+jnaGOhJqJ/wCFHzWKgIHSATIJ9kbAt2UFRDUvxQlDc2614oeqk6vuO7a/Fd6q4eHxOzVtG7PsC6bZS9BudCDlbrJY02Ch1HTdI9pqFrhcVUbyoKmK5GNB99Gdy2P3eY4Rj6qrzBIL8bSJWQnFq4NB648WC3H3juJZNGzke7Mm6JYRcGwic7WpmqPLDGAyatBu7W7veBEQhCktV+XB7UjCD+xPS6Lls3fze7XJmBAS1N+MTFSkZFWlikT+R3p3leAimNMnuGFCEyoadhokuNBGtJaYhzbJNWMYMSJtJiQs0I5g9tjWN6rbTePp8PAxjjPbC84Cigiv+Ump4aNaLMtK/wVWyWLLjy2WFG8u5k/wvM+a4qoAYWHKcPxjy79beyrldcXMP1BGUdtSL1SaPNGsXAI6AJ1zu8dbKcl4hTOcSLOux4ykluD4cXCH0RiIofy4+RZV6WFN17zW4n4fjGwJstvdEw4mNjhEKdvESq4zhw27ypAx717RzL9hxquVbpPdLEOBVdWFzTFrnjPlJlk6g9J4ZZCTS9Pq4vDvzrmoLEex7mgA9Z4iGG9JiA0te1xXKLURFYDZxdJxZWKIanMIykJLmR2P/yJEmo8FjhT7wfM99KpHNCkB/OmfBY0PeDlYp8H8ZOXvMlxZAf2dqzMZYKvx3Fct4OXHWO7At4Ri/wicviv9OEOf3I+T5Dkjwl2X/OV6Oo8aCYJuRe4KC9HaNjrOv5oruvMa/vynswKxWJcQj5p7U24v+QUXRPI2Y4g7feyXiKHuoo/DODSXDL9v22qyPu+VRzG0Kt6/z4TY1dSE6sKvc6bjK/eyI3LRcIkVb1JPNz9pDgBHmXF5f42zlrjDB2o4cq1+gmo01l4AtAqTC5iktsjQmV3OVKKD7YURmDsWDdBI8DqD/hiOHRbnuQWRs3UZ1J0NzXn2U4UPlxYPQE/VGir6bDy6YHGjh91YRKUYLHF7x904GvEYvp9XNPv7aF97dEl9NkyDUNMNDuyHIu4ZyXZYn7hFSCoZDe3F8l6e1GGXVX0YXeHzLtfxblhEqCjWZyffILpN/hUVfOup/1HL74p4Mbk9Sbq7Vm2Dh5yszVf7HmfedmpOe2kFdrch9t8cZyiq/x2V8gag8+3I3HqltIWlaU0F3AwueA0SIx1Z8t4EJWXVdVQM4k9791L2DOhOIqu/JbB8DY67mP96i/jJ7tcaPNQWi0xKZPrkF/wJbQ0ghXusfSaK84wIqREQYatbS7sdUeknKabO+4eGvccw/q53SL09EdcpE3HbzDCNYqhY3uPkMhzBX/eox2lHh0y4FmcyYTV6usgstSG+xJYZWx1W6WzRHvBi3UKB5H56wBSS+7XqAC8dXCn3XWGhUdGZmJC5YvJ5Zn1qyDTWtIrp7OkLPU+F9TKjX7oUg76tGqYHg3LPwaH1HiYzSnzFNs9nFpVdTCJ70/IA4/P/e3T2aecJZUolQP96LKzSMic2eY5aaIfcFn2O7OIuzUD1ydvOrRxh7xSmm2VOGJHjXFqsdMhogSiIguHei4dmvA1OoImKMRbmCpMcyF8gPBxie8E5b50YG61k33HB4aSZuATLgeL9VfLHkknloh1fdlzxju6lxYXcRd2bWYqWZFXotdYGVGNnuNE2auuFqok04l25MIaXitOxch7KEKA4I1uDV7K5bQPYDPU3bcxP+yMx1ndFGAmL9Vo87WbFoOZSx6MuosCLjvDE45naAODWS9MZRK8b89ukA4nSA8UYS5sTrJahLRHfQ+jYa0ia4bnN/ruufvr1HaM0FxyPbAruNggtOY8kngWWWolAwPO1Q9c/aO84lWX3aX31yI+4fXdx7lu17GzVVm6HkWu24AQ3aA+iH2hxyACgDNceRQEVRIiyOa24BPlr17wwP2T56coqnCBxNFW60463daBn94VeuCVAmwmvE2R5mPT/ERgMFrUWNj/K9Z214XxqP1zyjHVvKSXT+Q7nzBp/GoQoncMVtwAb8QxnpHOAz3XJAXAT42Zht1TzxF2heykWCV0rHug1/ROn88tWH8vJ2KmIvDTnUpoBSg4vKzYWugMW3RsbCmTv356dB+LvEzKT9TMaOErnI5C1JPMxGd+wLt3v95ILTF1TV3/AxR1o0WQjPKLGe2g+OWM3vboDF800qiYNoTJS93HUTRjz1FeyBa8HPSgRL2geOlb7AKItjex6ijHJ6MH3JeJ9BwAEfe9wAyobShwe2/w3wuviIXRS6MLnuqn3UgUv90jtIAstlWMgx24uAUpU01aj5fEfI7DkUV/XSzWF9FIxo+MmxBIKqFGLBIoNL68PCxidaObEgvoKXU5V63Ygo8SAafcKKRFD4R2s4Oo9NrPWlheFKcJETPXCRCZ5164nZXll8t4e8UcVfw5gTCFHeFnBvEWx5Jo761N5T+ODILRj/sffV/nUc5GUCM53k3lloxpVRqRGaJoFjfvQSPD1/7xcDNkUi0S4evUKUjqc+GjiItyodhHxTnSGozCW7PajuqNRGkiOEOPkbp2BRD8RB+ndImbQLo4mSXBvy9TXBJVwm7MmRM5FTivRavpKaWH5D1yiWjhP6EfvOHL1yNlE2i3TwbFJQy3HaEZFFJ+O3CBCp+CBYIJINObLDVRD7GZpMFMixO/kT7xxBQoAA2SbFZTzJgpvwBkH7KtP9pXhV1Dc65HKYUcHAeiInPQYNRYUs2WEO7W4DvlC7jjqqd5oRXx0XSEl05915iYC/uV41I5lAS4fdaK6+1XluVrW2PRr0PeSVsnCW8j5J7D1plB1TiZyXvZB+2Q+H73dkbzO9ND9zNxFxpqSrXV2SId2AsNpc8O1hyuVpOhi1yevlg4qkP5PeAl1dhG/5qlq1uFgZl98IxR9FvXtB4Th7BJSfHndNKKrgjVHTTZVExzmHFhhRc0n8RMCC9ovhjLWqzh9OdkKrYj9WV7Co9GWVSjAu+sUHieDmehqzFPYRkHaRKpJ3hj05ElMx5NnGs1e7qAuiatlEClgDTXJeY9W3TQy8kgnD0QQ1GHQcJ3LD5dTx7cIP1vY68SvMEju2tn8367MLO+Z/lpfPYIP3M3feGwI/wKRMdgkwWwc36ygdYI/1JDIxMWy7o1BkczIK7I7m3b0gytHo5LLJqz3DHMwqThDjNKcu0WUmJv1usPlDuuDN3tjA5ZxU+ITxeP4njBf6ZDFKgae3UAEj9JBcxGIBsz0ZQHgxG57YrTUyK+c4jeGacd0FdUgCtjETulG1XsYRiR26Z7K7036Ggr7MkVwkOLMlctDxRZd2RKwCZ0Gh97t/qChfb256irfILpJpUyqM79Inr74Vyfq7XliC+Q3rcCPhFQDBBLtJ/AnMnEwtSdTmBIbYPpOPwKfoRkGwdivQDoGgYywMIEhSDUHMx5Ejjlu1nfn77SPkOhFyba3/T7Z2EhuHgXb6sfTIGj2JLIyti0ywLo6QWgKy0g1DeUWBbQgMb7WFGSpDnQKQAWvEZDsEfaaOxqfPTAdComu35NerMRS+B+/jWpXpdXIvGW4QNZMSeugJIr9F6X34Q9zkmipCWpd5XfvHAo11jXaWEzjK2zfTIg7oi3YLmpZDh+ElNUashtlg5j08+3eAui2R3/XZ3sHDuEbBunEzA+ko96eyMU0SuGk5/5oIqSmn+97toLIp+8uzdrr5VZETXnJCAoDDD9cBqLkhAOSQTeNkWZMaU7sItNfIh41oTGiYQ1KbUuStT3iFx34RQBoLSGsOAeMAngYF3rawTx+nKEbzK7+vTSvdi2mJP1dAZ+ibtJNLOfWYeleXGEeJAgzRcKOWs7r134qhwMd2UuPqEhE27A39tefkWgY1f+jXvMB5356k56Z3qD5Ed71VXCsYRaIQmEcr7bmxkkxVzlJhsT7DU4IX7gTZ2Bi9T8j8+pL6hB2y8X6qAyX+mUIOupXIRUkE/KYIHWbHI9kpSqVjQOXC2ix49gQa0SxaJOjeL6aqvyqnH9827UnBzpmRiG5eO3HJT/xakoAfGP9/fqCS9bqDCm19WAIYVBJtcxx7ewBYzhvDM4B8dFDjSOBWhAzXpbz42P6a455m4SSIYPh1ks/0oeah4HA/0taR1a3tKq06rZD/HSQ2aSyVzz51vXE2/0k3k+hUoyYUVh1UHyMy7u8jTr8eLI3jmrfIwWXFjXqngJdAnFfozXDaWCTnur+6oKrRxADEFyQ/kc6tpMqNEi91VNzFnXfKNLvjiX59UwoqnccmY0WI0RuqZTSibTMCQT/ZDllOfUpGTevfAicuVXvfatHuTR2L2VzIXpJ1zowjHxCU+obDIP39qBjhRkK9HHI337GTpooCWaAIzKy7U6zeb5XDePx7RyGITtgbdrMaG+/EcktyWqBnV8vqYe9I4a8x5ptblWOZBjwTTf0+2STw0y/rN1j4zh0WRgPUn1gb3zz04NUlRN/qwL7ZTreEdmLIpRv+FqxAKRDZ38btflESV9kicGM6OHaAuRORl7FL41OC/thWyXx8hE7/ASCndi9IOVeWLq1acdehwFedDOabfbnMT8ItEBzNlZ9QVa/ZC3sfsdSeJqPpx8dfG/VxUTZpwBtg60qAM+JrZPshdIOz+u1FX7ikjuKF0TcFDDCls95+eRoPeu8qWMmqna6BCfisuzSjhMRTOI6Sazrs5wlW43uG4Ab2IzKRfoVWD0OmfucM1vhPVJjTnIaHDE4xuVwabZGU1JrNzLNocE9lfrhxEF78CDZPi+2w9NUNWCmOVGf40hSXTCe33FVmxwWLdXqXzh/+6TCG1xWcPK791nUNTvNc+BimJ7idWJsZ3VX8Ofqaaa4ORBSAgAOhQfxbLfMYuX/fHzyRhNYuXdK+AOG8A50Z7XHxL5cYtiKUQkoXVx5d32ZIYWWrc9RDvvGEipal5L4/cCl7mj3zcpZ4hHfzmeVbQ6AawOaHgpxsPcszE1qLD5kr0D5L36xu/06h4/IZBCM8BXgd6ashX2Uvdbam1+VXbNKou0H/DfIQ0btEQjCmDEprivedwHOHFOjfrKXITInZidlbliC/wByS/x3TKrex8mbUdsCYXtV3dQQEKaeY8AxBjeNfF1/BBIGPwOvyGPWifoDyZisG5kWAf+oEoPvu8VLY8p7ER/dpP6qZjxksrT6/GdJMPQCIoTA4+Tp9XV0hIu7BJxmluSun8ecdClO1XwB8VVMstd6GD/N7n8xvMes9jqxCqBM11nmNjKWIm2p+RxEzi2DwhUiazYSFScqbKLQGaNIyp4jU/9Rs06EJmN3ley91Fix0lTIWl8PPJLnCqZhPj3eSrjnGofwFi2g37NR/fzRAX3LDk1TOBuzBAlneGIx0X42O13aHnnmfM6yKVGmZcJssazCj4xkOcASz4Xafdvh88ldFBJ0esd99kL5TN0d1K8fdjUBO/teGWot5rcNO03WFsYei7OJh7AK75To6Tfv9obE28u0cmTlUPnerVj1mOJK0ZAauULnCQLezN8K1ovJfePd5M7v1Pf7IWVSVvua+/ps6bvarjQshOAvTAcUNKasSXnl5Fy0fLA8k6F7r7B9LIFcJ732k9/bHGubqBNhZ/zbUeKqIeMWItSLQnj9lFdq4Nblu2O3MWsKkgrkiaaIy+vdywqlZ4UgKhWosQDLY6f6Z4MQ61RimomS8uoQMtkpgFQJgCmiaT4TJH28GMq7KU23OLUQo7qHstB/BEz/B+91b35otCLYAvyGZymsUZGcSWGeoT+thlST0Qd16y/rpw92ZesoHsgdPHo79GZUu6eudkKJyyK5QFqUDDJguM4O0TY9ntn1fWevR54Vdf0YeHa4NViNrLCPtehTuLZlHtKuR+2e0TWnupMCn5QwC4qjAevamw+dH+NvA5amx8mYye6MfpsSRRildgBq5A28TunxvKWpAo+Rvwy7vx4UqXzUjOpgLsQTHHgtVkuz+FTZg1aRCgcQ6JOuxcdSX6334TRFCLcht9sWPtBRy2YWMR4KplQBGV4BA+377TP79OCydwgu6SJ1YBcRd2+pAnReo+qR7kjzdPKcZLG9Yd4aWdDVOmcHdkuS2dYpntTDQFEzkF1qjzvJGRdMKmYSQZP9BgwfcLjTA6w0ksd3NcZi0nCh71XMI9rGU/iKBqF0RbqoUql+vx14Y+i1SyqpYgHlAkQaqV4GeZ3QesLcm7hZzu7YaRN1vXjaxvXbS0WwadiJ9QpElSwxBFL9yNvyDra1LSzvEmyQIJZDCH+EUpp3ZzqhXXR7SR93+Dzrsnji+bDW0BZLLhFauTSXfpJKZKfBdgKVh3vyE2mThx3d/sg2un0cX4iuS9RBhEjZ+iU7+M+LZYDwro0EgzHTDWV3zOsgfCEiOx4GJtDTTLoBeX8476pPv0Wihsi03+hHj5HPZ60dLqBqQhNK+VwUyqxDBrPRgsDbU10tPTlXiP6tzgBMo5mFvF7jZCWCYX63cASt2RE2sjn0+GKQPnp3a6V+wwsKecg0ZJOIlbi0H3OEK1vrLAi7gBCY9tbMiyAGQXIUsZfs03QL01vKvkymWJKuXtLpaBL5JXUxpbr3nI54b0+Kn5oAOqURMkydUwk4LoVrZGCB4sT40c2A21XmN32hizdxXOjhVwwAWvqo58MnSUnXNLS6LxcstoJpAYjNxoAWuod6KNGM+8eD/rEZIIZfnYQ5s1bF0XxD7/+wICeGRF1i4F/9XZcxY0BdtVLjfLw0xFVxk9FdmgiCqH/SvkRV/R7cCGKEMx+XJQQ8YYJMsAVygsh1tiDp+NmkZtVeABFp4NHYhTBYd6iH2N+T5lnfHSGBA14v66l6ALJsQPse9dCtgikZUyxxTc0VzYXBjbzVQQPLLLykeIQHNC9F4Ea9+agYMxebD5SFl79c2KAHN4CYEwzfxjAPlXMh3TdNREvJpmaAVxRk41NDr7ChyfLWO1N0Omjb1sXhVQ/syQUa7tqngxlBbiwk9k+QUG5n/KMb+fAl1k8QJVEx/ruykCr/5J/lJkciFePfVKp7/8TBf/GAJJJlkVVa67vzwztqkwIp9m3bJvNX5qTdZ6xT38Lim6+Ll3hwZbQ+8uacmmFneXIe9E9QWuphZPAkGVLI6URqG/Ta4jYVZGfc+NgftqntuVcBgcmedxsmffZUiXYKZFZlfBRzR5Csrfzr5dxxHYDUAiYw8jrVsrH//+o1RwR3Qkl2s2XtRwmwbgAOD79YgcX9RezqC8ElzrWnsv0toQ506ca6lXxbCb68zE23aDWW705iBvpqmmlaQpDruMddTCgV0k5vPEdmGfRSFC8fvA75NrzTtDh3d0YOmhOHDhGdMfoH8cmsR6Gv6wNrezqqIYsEHII2dK7lmyhXRuCkCtGS8XyQ2agYlWRcvvjOvEdKysls9GSwjYp/bW761rNPgFA9IuDN4aTQdhDeBTpg87ewBnD8jyFQ3pjDhrUD0iDEBgnRPMuOelHEMpwiEZkqmQ7tIZXbWCDy9845h0FR+EkJDJP63pMs4tiXdbfYGe1AACrDBUArheiVOdDf6J3B7/JT6/akMOuDaBoYg3naijY7XshiKvClBOGVzsVkKhn+pmQAl8F24NEntv3NArnT+K8sXhLtte/xRvxeAYn8/i39CsN6C6k4ROyFI+PwExYAWaOj78DyvTM2rbh9LzFlGX8i0MpBlLGx92p7Q2nmw6RuoGQeb6MzKT64p464/Z/hwiTb1V3CwT0Kjf8XatOc7AkqP3T9XFfYP4yup0wDhEEmhByF9hcLtkswSZHJBd4T3RDe8qxpRlBog5oqmBBEiTKvD75hJRcAoIeZHpvK0t82IkpydRdbx/ZLTACE5D6qMSbVwNNQODy70thu3vAtdwhts+9p4pN0U2RJMuK5zniUUwaT6UnQdCBW4khhAtvTq8jY+M4FmG8C8YKycl6/z3A0JDlgrJeTgLc6tagCRz0ANRIZg7Sy/Yx+u2M7tG6lGqNY351MUIjElCAyW0dYOn5iOumNxvBVbYnsubNZq5pyDECpzQr+uTDtv6HMmWIxGsYD67W+BadiHFR9mIeSXWX378IshM9UMA74CBUGDzHVjBu5rFOFF2Vu9xsyqGzVd5Yf2iRY8bIAOnvsDQT0wyrna+xOJeK90asZpD9EAAACY3D5h0gspDwABq0OAwAIAkFUd4bHEZ/sCAAAAAARZWg=="}}