{"item":"k21","status":"incomplete_requested_real_seed_coverage","mode":"real-only","speed":{"markets":512,"seconds":1.22486517787911,"markets_per_second":418.0051888539627,"workers":8,"steps":10000,"warmup_excluded":true},"search":{"performed":false,"reason":"Measured 512-market speed below 500 markets/s; followed mandated real-only fallback.","requested":{"algorithm":"CMA-ES","population":32,"es_seed":721,"weight_dimensions":178,"constant_dimensions":41,"duration_minutes_min":45},"frozen":"unchanged supplied J5","training_markets":0},"curve":[],"solidity_validation":{"passed":true,"command":"amm-match validate scratch/j5.sol","reported_name":"censored_10"},"gates":{"A":{"passed":true,"sequences":50,"callbacks_per_sequence":2000,"swap_callbacks":100000,"seeds":[310000,310049],"max_fee_diff_bps":0.002460970108184024,"fees_above_0_01_bps":0,"seconds":35.193504131166264,"threshold_bps":0.01,"reserve_domain":"X reserve direction bounded toward [50,200]; constant-product executed trades"},"B":{"passed":true,"n":512,"seeds":[7672000,7672511],"J5_minus_IA":0.8655072079761197,"se":0.033774160243544064,"target":0.876,"tolerance":0.15,"seconds":4.204525851877406},"C":{"passed":true,"sequences":50,"callbacks_per_sequence":2000,"swap_callbacks":100000,"seeds":[310000,310049],"max_fee_diff_bps":0.002460970108184024,"fees_above_0_01_bps":0,"seconds":35.193504131166264,"threshold_bps":0.1,"reserve_domain":"X reserve direction bounded toward [50,200]; constant-product executed trades","reason":"Frozen code and port are byte-for-byte the unchanged J5 pair tested in gate A."}},"holdout":{"seeds":[40000000,40008191],"n":8192,"over_T":{"mean":2.307544068661547,"se":0.013528690579041706},"over_base":{"mean":0.0,"se":0.0,"reason":"Frozen candidate is unchanged J5 in real-only mode."},"retail_over_T":4.524297283666126,"arb_over_T":-2.21675321500458,"seconds":54.53546727099456},"real":{"engine":"amm_sim_rs-0.1.0.post1; each arm alone against VanillaStrategy 30 bps; run_batch(...,8)","seeds":[8380064,8381023],"n":896,"chunk_max":64,"requested_range":[8380000,8381023],"requested_paired_n":896,"candidate_scored_markets":960,"IB_scored_markets":960,"engine_execution_target_per_arm":1024,"lost_score_chunks":[{"arm":"candidate","seeds":[8380160,8380223],"n":64,"stage":"postprocess","error":"arb volume residual exceeded diagnostic tolerance 1e-5","residual":3.003858364536427e-05},{"arm":"IB","seeds":[8380000,8380063],"n":64,"stage":"postprocess","error":"arb volume residual exceeded diagnostic tolerance 1e-5","residual":5.4369964345823973e-05}],"missing_candidate_seeds":[8380160,8380161,8380162,8380163,8380164,8380165,8380166,8380167,8380168,8380169,8380170,8380171,8380172,8380173,8380174,8380175,8380176,8380177,8380178,8380179,8380180,8380181,8380182,8380183,8380184,8380185,8380186,8380187,8380188,8380189,8380190,8380191,8380192,8380193,8380194,8380195,8380196,8380197,8380198,8380199,8380200,8380201,8380202,8380203,8380204,8380205,8380206,8380207,8380208,8380209,8380210,8380211,8380212,8380213,8380214,8380215,8380216,8380217,8380218,8380219,8380220,8380221,8380222,8380223],"missing_IB_seeds":[8380000,8380001,8380002,8380003,8380004,8380005,8380006,8380007,8380008,8380009,8380010,8380011,8380012,8380013,8380014,8380015,8380016,8380017,8380018,8380019,8380020,8380021,8380022,8380023,8380024,8380025,8380026,8380027,8380028,8380029,8380030,8380031,8380032,8380033,8380034,8380035,8380036,8380037,8380038,8380039,8380040,8380041,8380042,8380043,8380044,8380045,8380046,8380047,8380048,8380049,8380050,8380051,8380052,8380053,8380054,8380055,8380056,8380057,8380058,8380059,8380060,8380061,8380062,8380063],"complete_requested_range":false,"score_recovery_failure":"Two chunks completed run_batch but an overly tight postprocessing arb-volume check raised before saving scores: J5 8380160..8380223 and IB 8380000..8380063. Those seeds were not rerun. Primary engine scores are now saved before component processing.","candidate":{"n":896,"mean":532.1424224403997,"se":2.949472195801015},"IB":{"n":896,"mean":531.5753865924761,"se":2.9490759711059455},"vs_IB":{"n":896,"mean_diff":0.5670358479237297,"se":0.042741198260174,"sum":508.06411973966186,"sumsq":1753.0460671637363,"worst5":[{"seed":8380572,"diff":-4.293008615027702},{"seed":8380553,"diff":-4.114551856654657},{"seed":8380629,"diff":-2.755156468416203},{"seed":8380791,"diff":-2.2349714827740854},{"seed":8381004,"diff":-1.952780314347251}]},"retail_delta":{"n":800,"mean_diff":-0.480003976489444,"se":0.049960272081915676,"sum":-384.0031811915552,"sumsq":1779.784654286731,"worst5":[{"seed":8380572,"diff":-6.0567225796201},{"seed":8380553,"diff":-5.522068469503665},{"seed":8380629,"diff":-4.0111032866418554},{"seed":8380791,"diff":-3.1172201792577425},{"seed":8380639,"diff":-2.9154156167453493}]},"arb_delta":{"n":800,"mean_diff":1.0648099706949103,"se":0.015008174393642834,"sum":851.8479765559283,"sumsq":1051.0330138373304,"worst5":[{"seed":8380540,"diff":-2.307922408900083},{"seed":8380341,"diff":-1.8726175429451253},{"seed":8380387,"diff":-1.164354035001395},{"seed":8380258,"diff":-0.6731723201272644},{"seed":8380900,"diff":-0.2898821685308235}]},"component_seeds":[8380224,8381023],"component_method":"Reconstructed pre-arb reserves from previous step spot and constant product 1e6; apply exact engine closed-form arbitrage with previous end-step bid/ask and current fair price. Retail edge = engine total edge - reconstructed arb edge. Checked reconstructed arb volume against engine arb_volume_y and report the maximum absolute residual; reconstruction uses floating point and is approximate.","component_max_volume_error":0.00011184651521034539,"component_coverage_note":"Components were not retained in the initial diagnostic chunks. Component paired deltas cover only the explicitly counted remaining fresh seeds; total vs_IB covers only the reported common scored seeds. No seed was rerun.","chunks":[{"arm":"j5","seeds":[8380000,8380031],"n":32,"seconds":16.78317771689035},{"arm":"j5","seeds":[8380032,8380095],"n":64,"seconds":59.86432037781924},{"arm":"j5","seeds":[8380096,8380159],"n":64,"seconds":30.768196359975263},{"arm":"j5","seeds":[8380224,8380287],"n":64,"seconds":57.27646067808382},{"arm":"j5","seeds":[8380288,8380351],"n":64,"seconds":58.456451684003696},{"arm":"j5","seeds":[8380352,8380415],"n":64,"seconds":57.71309224399738},{"arm":"j5","seeds":[8380416,8380479],"n":64,"seconds":56.68165034009144},{"arm":"j5","seeds":[8380480,8380511],"n":32,"seconds":16.22774102096446},{"arm":"j5","seeds":[8380512,8380575],"n":64,"seconds":55.800756216049194},{"arm":"j5","seeds":[8380576,8380639],"n":64,"seconds":53.024083277909085},{"arm":"j5","seeds":[8380640,8380703],"n":64,"seconds":54.9872892240528},{"arm":"j5","seeds":[8380704,8380767],"n":64,"seconds":34.37031153589487},{"arm":"j5","seeds":[8380768,8380831],"n":64,"seconds":53.73966072802432},{"arm":"j5","seeds":[8380832,8380895],"n":64,"seconds":53.11024061497301},{"arm":"j5","seeds":[8380896,8380959],"n":64,"seconds":35.38109476095997},{"arm":"j5","seeds":[8380960,8381023],"n":64,"seconds":49.767058273078874},{"arm":"ib","seeds":[8380064,8380127],"n":64,"seconds":56.91826909407973},{"arm":"ib","seeds":[8380128,8380191],"n":64,"seconds":57.3671733699739},{"arm":"ib","seeds":[8380192,8380255],"n":64,"seconds":57.22300708387047},{"arm":"ib","seeds":[8380256,8380319],"n":64,"seconds":57.00113349989988},{"arm":"ib","seeds":[8380320,8380383],"n":64,"seconds":34.62600387306884},{"arm":"ib","seeds":[8380384,8380447],"n":64,"seconds":55.069519456941634},{"arm":"ib","seeds":[8380448,8380511],"n":64,"seconds":53.201727660838515},{"arm":"ib","seeds":[8380512,8380575],"n":64,"seconds":52.86225468595512},{"arm":"ib","seeds":[8380576,8380639],"n":64,"seconds":31.911610692040995},{"arm":"ib","seeds":[8380640,8380703],"n":64,"seconds":38.41626441502012},{"arm":"ib","seeds":[8380704,8380767],"n":64,"seconds":52.817739942111075},{"arm":"ib","seeds":[8380768,8380831],"n":64,"seconds":50.56450680596754},{"arm":"ib","seeds":[8380832,8380895],"n":64,"seconds":45.53295005601831},{"arm":"ib","seeds":[8380896,8380959],"n":64,"seconds":35.61036713887006},{"arm":"ib","seeds":[8380960,8381023],"n":64,"seconds":34.04104519612156}]},"gas":{"candidate":{"afterInitialize":{"calls":960,"ok":960,"max_ok_gas":243234,"sum_ok_gas":233504640,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"afterSwap":{"calls":10419417,"ok":10419417,"max_ok_gas":237586,"sum_ok_gas":1411719268307,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"getName":{"calls":960,"ok":960,"max_ok_gas":21742,"sum_ok_gas":20872320,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"IB":{"afterInitialize":{"calls":960,"ok":960,"max_ok_gas":243227,"sum_ok_gas":233497920,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"afterSwap":{"calls":10381463,"ok":10381463,"max_ok_gas":234958,"sum_ok_gas":1403150929660,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"getName":{"calls":960,"ok":960,"max_ok_gas":21735,"sum_ok_gas":20865600,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}}},"gas_coverage":{"candidate_markets":960,"IB_markets":960,"failed_postprocessing_chunks_excluded":true,"all_roles_errors":{"j5":{"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"ib":{"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}}},"valid":false,"valid_policy_gates_and_gas":true,"code_zb64":"eNrdPdly3EaS7/oK2A8T3SSaRB24eDSDkiibsdQxIj32rEPLQLNBEVJf0wcpyda/b2ZdqAIKTc5s+GX10AQKlVlZedep/f3g8t3L3wYX1U05W5WD83E5W1e3Vbk8CF6fXz1bLIuP0yJYzSfVuFp/Df4n2sv2KD989qyaLubLdfDH6evXl+tlsS4/fn1erMrvwe1yPg1+3NtvfNgDHD8eGrCrZTEuz2e38xrg3IJQtZ/dzGdQcrMO9IegWgUNzMEfzwL4t6lmaxonAYCs1sVsHZxdnL67PHt5/eL0XXAcpIf+WpfnP705vbi++vn92eXPby9eQlVCkizKYhZleQJ/sg7Il+fvr1+evTj9J4AkaZSljBIapzTKWEpoB9DpiysDxAE9zaMsYTRP8oTQrJPG/z6roVKawVca0xSAMs67oK7e/maAchazJCbQYsRjluYZ72bH69O6W9AC5XEeRymFHvIs6gC7OH39/GUNl2dplkYpyyOesJhGUbStZ88vzt68NLDQCmMZAJKYMBYnnW1i/1xQynmaJRkB1vCM0owkW6TgggJHEp5HaUoIMIqmrAv03c+nV9enF/BHNJiCIBiJCEvTPMrTx6Gu359dnZ5fADAwNUs5/qQRAcFEj8Nenr4+QwXlGfAmjpIUZBkn3Srw/uwfZ++vrn8BmGiLFp+/foccef3LxRXS1VHzp9Ors2upH7omp5xEeZZFEagGARXrauX1+ZtrhEeepTHNEkI4/MnZFvG+P315di2E/PbtJTZH85jFOSUg3JQkNOedSnx1enF2fXoFKKBbr+AXHQBjOWdJgrJlFGTczbQr5TMo6EPC0wi6xuGZbrM0CUEymsURJTGqYR6xTjWSvXt/enX+VjcGLKEgThalnIDv6VReZWuqQUaBRsbBieQxTUAlaCdTzt5dv3j7yxvdu7irgeenl2fXr85QWDGJwEXlJGM0juNoq9N48fbsFVKUQ+8jmlNKkjyL0iR7pB8KjCU0Q+tLwfSBER1Ary7e/notvIaC4yl62wi6DxZEMtLpeYWQJAy4NHBJjKWMgNJmW+X6919OX9Y0glPhIFsOPElT3m3vqHcKKKM8AmUD0BxiAwXXti2gKCBG0oxFoKtxBNEoT7ZAWP0iyDoGvoSkeQyuJdpqH1ZzKYfYQHOWctBziBMx3Sppq0kex6C4WZalIHQW0S6TRJ93/V9vhFJxsFwGvAPFBe/F+FaYy4u3786u371/e3X2Ap1ABlEPpAY/eZyAF+jUYgtaeQKERtMHchl4nkgppwC/3cxu1tV8FhS363J5PqvWVTGpvpU9jbeSRb+FQaPkn/2g/AIws2ISzO/L5bIal8GyXG+Ws1WgwQ1UX2Ur+G81ma9Xv0cfgC5tcoeqkPgKGRb+evryMGigiPGDJjAYBlFwEjyMq/ueJjE0X/vBAahJFOwIRA08CeLJ0Tbqf7rxFL9lUfOf/px9EP6y8bGBnwhCeQtJ8KdhVK+Jox8cHQUkifqGNYINeUTjJg2E4xfNEotLUhpBTzM0NKztSxK/+5Tg8qFY9EyeGtwUk8m4WBfBGov+Y6Fr7Vksy/vn1fhVWRqaI6DZ/ny6+mx/JtbnSbFaX63gExYkvCdr0A/9w1ZD42p5uYZk2eBhFh5Irc8gv9efuE3Bz8XaZmcL8aqCoYFdKXEInI7GztfU+roCy7K/ZR706/kXm7TcBl+XCyGYF/PNrMZCgIHP/GS+mi9fAcuwqqK63eAtVLCJAnVqVwINKZfrAt6+1hWZlzuTUtAm1GVvXU1L8EvTBZinEt5J69NAfzoILNsZzecTGPa8KR8uod9bMNYg1W3QMxC29tkUlpNisSrH74sHD85BC6cHFOAsJENnxHXivB1YFV2Ulnpej8ub4usLYFu5LMc9/SWsR1qhRtN3kRg1fphuJj35FgbXi/nDr8W4Z8ZcNXgDvtZHgUC91hjqAVgnCqOuAoN8qxGYsVgnPIqsodfoyP/2N5fFUVOatlik0Z3PhKI3sQmP3w/2OyWhqbCwDK1ks++irz+0sdjGL9hhCkJnpNgPdu3viDlEKkH7nGpuC9+dt/394N1yflOuVsF9sawKsE+cI1gs54viI2jPGELfCr3z+q4McJJjDroVbBbgysu9lgRs8x5ioHRDkWv9pCvaCZVq+ijr+/dnrnHfVsvV+nymzLsJ6YAa97KY185lWa7K5X3phH7nC6idWxPTgIXjBbH30uUfo5Jp7w/NeHzqbVn+Iu1foq1WzzdfoWUrqB1YIaxN/sdiKoxFIzoSYj9RwtelB76eL86ni0lVjl3SFUJB+x+mju6BpTPlBGeM7BpuF6QDAKBQEomcEgy1yw5tEYIGXh6Alt2Wy6AIZvOBQAgF4MbuIT+4EQ5NTnOhEqJjDRbz1VpVRMR7/vhxU15C2lGqtM/psK0z4CRUuAGd7XL3H0XwE7UGAWk7n48SGKsRv9d/kHQAuHZr7XwQONT3Q69MvKQfguEwSLjHASoJYl1XPZ0UH72blJN2F7XiCZ8i5GV/k3rYR/dH283eBEPZntL7XeW2HkJoayC/uFBCi0TdQV1Xvgc3reDSlCRUEjDMw76HvtdP+GUKGafilG36xWj1srq97Wkdl5T11R/XqmxsxWRxJ4zSUq0Te8LroD2P5ccELH93V6y9UhQeb1XCOG38blkJ1/hDU5lbHpD4cBTT8mW1RIILEMehLJ0vFnZhW8Xqln2hVODYLCiSrl3E0NcNJ8UmdS5IP/ijKtT5QXmnmnAsxd718RdaPazJ/0HVOmzEO9MP+blvpNaYJtwWMxv+Q9Ckqfd0HJSAgOxpkxSjN+Nisa7uy59kGqdSKJlmh81pQ0/a48AfmbnCfhOx/tDI/VT/ZeqHL6Fjcs1U0UOsXbYVGKlFmzs6dvCIkGOlOwvRcWnogiKT6NQmKcsPPZJRKgB2YKZvH8n7wNxqBSQdCoiVhraXU8LVlMFn6epC026/jal2fMfa35kuS1/bCf6YDnqpRm4P9ZRsXzk89dqmzhqSNrTQWtcwwgBkWkr25y6q3ZB/jkG9mi+RpKKaBMv5Zl3NPgblvzZi4miFWcygGH/arDAJnRbLjxXOFiyWFSSre072sBmtAAwjs8gIVpA7QCaBXjC4KWYzyPRGMn9VszhBsRxVUPVjqZIXJzNoelOdTQ0DhvM+z99dYqlMmDyKpZVqNl9Oi8mlnWeKHKnFdBV1WomT5q1utd+CPGhBNiBMvuWAtk0tVxNaEN4J5ulKwHUXQih3qhx2iPWFHiEUq9VmWo4HYyjAlU9M2ITA94I3c2vyBxK7zXqzRNksNutVO5EDWcEAZVSMqgngqdvtqfmG0B5VhI3qfRwWm6Z77/TTOTbWc7jiR1c7HMlgNwMLXb6aJCq0kqbQzgeUd1yHtka4WNyBR3tIUkwxqDdHJP8UeYlBZI+O7Wk/q2+tCmL2T3HBM52Erb0v1tW8OWz6N2l003AL7bC5qNN3G218tYZVLUTNRekuG11sVne6OxJ2p7mg1w5gAmiobIH3NRL13q5vSdrnpa0JHPO4K5B2JEK60jCgelLCwkGbU9PCRtWw7UmND2WPTuqSgSxpJb7fnzCJ1FgqNr6l5rn2Ws2aT5tiaq6Ab2mgVdWT3apWhpKvdaMOS78/8822bhlJSN/RPYoQagIYhnoptK8Qqte6pn+arLGUX/Ng/kV3vlnFO2F8WX1Ep3ysmvHWuahmZbH0fvr7phgvgeM3h4+MuxbFzedyfDq7uZsv68wr+eAfDS03s9dlMatn623wrtFyAX7bzB057XWNnS2IoyBOwLKtot1dj2FLWUCWryjsG1JhBKw+D/S3fQubZzCsIWE83FPPA4lhC6RhXGBowLUgpytH0Nv2XKuUIkbHQnDlOUSlsW44DLRipTGjGWVJzuMsTXHLQRuVkfqj2AjD1Vga0TxjcZTGGW8kEs86Z/8aBbv2iNY79esu1/fbGN0Knkm6+bISKeeFmFwFCDMLe9iqcwmOQswPCX9hkSaq/U7yD8G0nM6XX4PZl0bgYpzyKEnznOSMk4xFfFtWKTX51WT+UNtN3GU30rHjaxb1asgOk7lRjGnVR4vJog6oKUhY9d4LKJYe24NAQZoYzysq26uabai6LQFpNU0fhe1czrE7U8m5ecmJfZWr+cNwJef3mQ7BCpT5wm9jygm3CM5nMjMV04B5nrfmscyEZMIhmsDPgSryDCqX1lh8KcbgphUTCiq9ODCov7Ux3bQn29uB3sxnltXHu3VrwgvbcLNwoL3Fk1rrlsvyBoZ4v2psEm1bghTFTreJb1qtVjiGVKxQAzfwO3kSsSjLIpYnhOUc/E+W9f1y1ThAtI1/adK3Wmh/9XGz1TcxXhNvUhgK4dahvhTK7nETn5+hE/DrM4sL2IpPwSQVjYYtk7oeCSeuS8LATqh0Iw3wbUtrJgxrzwBur9tMVrOORdVD6e5nKCBQBlGP0Tai2ZffSSr3dYh9EVBRWqpf7I0xf0N/h0Hcck992acGjZ45Fe2kj4WZQni+0YEZnCq+G6arnRpYBrjhjfKo/xRLlHMo71tugCUJyzDA5ITxKCVJ1uHFJQLtTIV/BUvW6e+BxGlUATcAUTClOCMkx2AeNTMMewVTKVK9hllTG7aDX2far9DoxL+meDuS7+3FN9A/1dPm4qpC7kmOb8VO6XpPkXar9da90MyeGZ9r7dALa5aYz+5evNAQ5mv+dYVLbZIKBa53kYV1Pte3v5mdd6EZDJhULXQSt76B0/vuQjWas0jRJOAfp/M1HY05w5qsvpXz2KrhpliHlrTtxMq7J+dleX+o10Imk3fLcrXaLEs3KayHtMcySP+hIO3h7kBuCbOxCLPelJ5lTwMuB1UaSQtcrah4Boqrz+WD1jy9gzBUeI0Y7H2Jiq2yRliP0voeNRmJ2Sdre1Jj+Vgu4NSUNoPpSG+oUlJGYhvT/3pPlagxlN05kW8D+eaMbL0zDy4SXzMuIU9o5rGVPnDOk7I175l6vLoSgZkObC8ydg05sYkrMWz3DP41AX3r0beDReGwZgIsvK3pgFb7l3fVremku081NJg6OlCsxVkRB0WNNPRsC/f1ACe8h8d1J32LhFq66mHXor0dQI22qIehS+iJLh+45e3Zqq5JsGYD28lpEt8iR5U/Ss7jyivcm0gwTidg82K3hT2dKNZ6Fb/lrNKfkDr84Ktx5FuFN7OTCv223FrUez6fr4xqNA4Y2AliR5LVXFmxcOJAUS1auE3pYj9Gd27Vo1g1Lt9CsPLqbQXoBvOK7cl+9Qai3wIee9c38+kCa19BFvNrtb67nMwXZW+klg/aW7eb+90MzY+hLNQqRHs/t41yu5/+D9roIPv/wgkf2c+ePXFBVCyUaweiqAAVNEZs1sxqEnWRZ7YOsdX2L9HisEE3UGMzPGxjaxC/FV/SxtcyDEPZ1n4m7X4aTF1BdHZzV+LQzeMfYJwV2cMsnQPv4O6+fVISOiC+ORk9RrNg6wx5hz4OSZ1WZd6+Ez+lTWZBqinWpwFyC1Dlx08DjC1AnTP2HwEz68h3Ts7iSVl2nYTl0XxF0SQmjXuagRAj+gP1Mrvri37Jf/t1qRePPci2IoBhTEcocDy3RjMQD95mMpv37hrvU7Ql/9Cap1LIiE78DoJBo8ivsba6W+upKM9ku64TR2VxMm+YASFZPbe3o+D3Mz8GW+k31l9zhIEkH/r9J2qlXBL2ruUq1E9Y0kW+qdpdDLPNxrup2g9mG421P9FfOWlUVhsW/ZUzW/Ub21efthXj6Vsv+lBo2RV8BblkwX7wiFlJ4aiHnQCPUcY8Iynuv0AEu0FvkJCM5mwb19UDNIrHGzMHmkYspQndxn31sBNQGuGhOEJsBHhgLU63CUQ9IHxGgHrWgM8SEve3zN2ph52AE+BV7ABTlhGyTcDqARpPOWMxj5kFT9LU1/Pb+dIcPwpm1XF0OKuOSA6/u7u+7Fi6sx40Nas+DLl2JfL9mHcZnwN2NGjCDToB2ymsUuPgbhTqp0LserkrizG04EvFVfdGtcnIXKC/ezfaIf41FBuwsFyxtLPdu2IboEk1ZqMjdC8R2E9vNhoqJK9PfxOHyeCLeoTv2r3NRv3+lkHhrLAwFk/DWPSfsknNOl6o51Wsw4VqaqXeEHSsxr5ywTX4s3tm2DqNaE0gqQNkiFqkFof24UR3/6x12tAcx7KPGVoLldbpwtbipD4YVq/31wfBWkuuVnKojwPqFL2wfS2u4rqHAaUmtldCv/TlHn+xqw+nzcz5Pz2bpTW6cA4AdiSjI3E8lbL6VGMh7qIgWRLF3lVBifybW/pNHLBN45Sim+gREhMqtsdhntsXrifPkziLRRFRRYQl4CCpKKOyjGYJjxJZxFQ1SpKEJrko47KMZHnKqWwgVtUSaCBKRVGikBGgiGeiKFW1GB6STyVkphvgPOdU1strbCySRUR3IY6ziDBZpvrACY+IJI1Q3a2c5xBiZKHuBLCUmJqqFzGlCZGkENULlqdMtZBoShgErESWqV7wPE4jhQs6AUmUfwG39+0I/OM3cMh6mNP7Vvvbb35XOxL7MFiaQ9zZCb71USWwJM7SmGSyqCX8QcZIkknpgz6lxBE+jXmiGacEmEBJxGzRM4iseZrYoicpyWKlDYpnaRZFeeYInuRpSjJb8AOS8TxyBc9ZiomAJXeSRzlPHKnTiFJGXakTxlii1K8WO2Ocu2IHLYpi5kodlE2Rr2WOt3ZwljhCHxCKl744YscVVw2aanpjEqd/qdQHFE0ydwUPhXinRNQlepomKeWxtPyU4kF5V/hghTl1LZ+DejmGj1drRKp3WvrgHAjhtvQ5aBbLE1f8cZKkEbHlj3VAKWz5E8QVuXYPhEZ5TmwNIHg8P24oAOck4tRRgAGUMW2VWoFzvD7GUQBghu6UUQBIonLtCGoF4JDXEVcDIM1UfdAaABSnDDD+pToQU2AKdTWA4FVBCenSALyBiDOhAIMkQW/quv4k5sRRAJAZKJRj/gNO44xyx/OTOM8yHjuen4FzVZzSPhP8viN+kD0YlGv9kMgSYksft2fx3JY9o1mkYoqRfc6hyLV9cBJ5Bj1yZJ/hPS+Ja/xZTlWgMQ4fbxlKXYfPwFUpJTeSB+UiruB5lkJM+WttH9xjJPpaC57SmHIRkDrkTmkO4yNh+eA648QRPCq65pOy3zjJIcI5hk/x0hE34EMGECm75CYJYODkc8fyQaaJcqXa8eeEEhV7NOtoEkUsdhw/S7T3zjVdxsCN1ccZNxZO2uZsoj04DHBLrugTztxQD04yTlJX9GA04DhzN9oDt3WR6QBex/LXRvsBA49ME9fqUxAMzztlH4PzhM9C9jBYpJQ4Ro/XklHdFcVliNPKUo3R80gHau0ywehTlTsq5oHzyYkT86FSCmNRx+dzvKTJFX2agxBzW/QYZKgT8yHxY8QRPQzws1hLVJGexDFpBnxMh7LMEXzMcu4KHlIYkpNGvM+TNG4KPsMr0lyrjwnkftFfK3gOkVik5ba3T6OUp52pHnAevJ309iAIzuLcljyjLI6cZC+OKFdB21hNklOqamnBM+ivSqCMs4c8UVmNMXogTvFOSx6yy0wFbRPtozRSwSQzGT3IIbJFn7JIByEte9ArCHTckT0oAzhkR/YJeqiokeslEddJnLF6yNMj6gifgNPU1BrhU9xn5wqf0IiY+P8XSZ+npBnqCUbKTtFDFpVDGiBED2ksZCOpY/Qw9EkZd0Z5HKJsyjIn0we1Jkkj1INv5aoaNy44zvOIuNkeTWKdFCrugcnRzBE/eEzGE+aIP4O8Lme2+GHwRXWqYiV7EI0axg8DB2kOlvFnMPIjrteHFpPGCC/lSaLTOtUDkL3uuxE/xDZm9ETLH/xU+hfLH0IShm9nlAfBzJvqj4J9c/kEVrbeGtvGmvcaOdvb7R3Q9a1W98VkU9avnzsnOTx3G+HCyGfcfCc2K6lpFoHQ3cIjinDRfyoPHciKU3HwQC4ViRoDQdln351G5WRtDpFgrYEk266rsMqqRxL7ifgzkGVmR4Pi0mq93NysA/eMnefmpumm3qB0b22lH60Ones5nMucLsVFGp79Ts5mp0PrPpDDxlVC6tto89W9R0n3wRV015nBxyevmpdXeW+xQil+2Ztu1E52+Qh/Vk43Za174D6xdyhhkXN7Spsxk7mW7pc9xT253/jLHvDMoxF3ld621AIAvvabNAkO+5bYoQtyYYvgqrPBNdx6/lrdqHNsgLOT7EC/tOd+sf+77hVmOz2FY+BbEhCsDgGsf3w9KsB09Xs4mYd31dYttlBr99i5LW3L1tLpe3mY+VhItM3le+v7/aF9bvbUbC2fP8wGC7PxB+/iKep7d8TpZzQVvBoFNXXPJxiH9b7TJD1FaKgpEisGNWuQvBCUKAwc7nx3z0l3qIHozaTAO1sW4oIK6ILcrbsXvJ1NvgbgSCpz+nu+WctOzuxuNRHOb8X57Tn8AFbgThg8VOu7oPyymFQ31dqGtQ+57nk3ut2KlQMwBbHkJ0wCvJnQ9PYGqdvGho5uNZbHpS3M9RKhtGxpUYBQLigOWLTjPdfdPNttQyuYGtW2oyararwRFDkbEiWdodDRfih+t2w/mFdi47NzgKC+AUC2EOqHLYg+1w7mHm1vV2D2nWZRywtqw7dQSEXy536oGHIfYv/hffsGeY3LGHy0dWt42WTVlz1QrNDLqPrc47qY/EOaNPCF+jyFrvvNHAHBXpQhKIIE98ZoeXC+PiYkIKHb2PXdb/tZP+QeuPl4vNLOX+EIBWTzhFV4Xa3+tVz3JAU7mHP0W44eI6RQ/+Y2WbsZfA45YoDMzoOivlqpBZW1oUxwxu2Oikbg7Y67U8AcQqrG6zvN1rtqAE6rQ1DjCi82vSmVdz6azE8m8wE+Hgj9GN5VJ/h3cFcd+Oj59hz8oxEg/miMSkFWvsA6LVamxxISCQ7F7y7dAZjQkauoKJoKxW9LJgKhuO9rX9zVoBpQ73VdzWpELliNFT0ELpbzkVMPqcAHT93Pp8uRbcadyjuVFW0TlqaEGHz15flefeZIRSfEEiJ9vq3u5fqhLGdNgxUgCr7TZM1Fd3pjFTTRcCxIptkLjiWijo6Wjo9RlWpMurpyVorSUP1tytMQ47kvzyK087I87eJEsq8BbK41U9uRM3opQsNR8/TQkdz6xiyq+dHwuMCt2FJ/R4MifMBNMsVAXgYwAP52kVPYY6mNIeI+rJPZsE5THyEt9JCIV8TMb9f1jXKT6nM5qe7m83FQ3M8rsBOwZPyvEqrZplpXJWQj6+Bf8nQMtjGbj0vPzSSr8bEcQG20K5VOqq1xuNivBg7FjXU6/hbGFxrbJxj2fjpKDz+1d5oYUz3+dMSAy9DisMcGn/rgPk7AYennA4I8n252e58GDAs67qE7/nR8zE5SetCDB/rnn/DLT3gsXol4jU9IBNg6Dgpov3e8UE50cdBboPtcNH2n4z+PV+NhdOJ6TvB/Bx3XqdVSOnY8JN+RPjL81qTvQcrjAaUQ1uCty05vfo8+7B4/HOITwSd5Ad2iq7vH7rVwITr7VtKEyGiNTMbfcNzfmnBMFWpBSCgp84Uul4JpmwKjk+J6thor9WCVJgNYZOWhIfVEFgxMwQFp7SJtTYn4t29bqXY9GbLCT//uhAjm30fH9QXoZr7j1j7ZpMrqa9J3zRlgvPxCF4eKho6+qESrvtH4Zj1f1vTDaOMx6jHp3kzWrofEkuYdIg93kBYFPUDpG6Bhx/HT3wJ9wZ3BohNveAsVhQ1NlIXmFLTqhLeqaH7o3A/YMfPl3i1sTm+rgtBKW6Heqybj1J29/4bo64gwsVJgB3v7LmNxGaUiyTr0p5QDd2gqtTCVxOm/EFtx7pKrswx504JOA/B6StNlAdQKhALCvY9VljXnyyAsvZrMQVArCDXIjfl8fRCMqvUAAvRHSGpXJd6jBTnnqryHTOdN+bAGSeC2LGBZMZmYiaW9hqxkMNJ9+PK4zrampvTdDLJP9kimY/eVRoXjlS+uji3bN6JiG1/F7RA0M9c6fpWaSLNDADkCk0+473q/r/IClwYY1pVQjHZCMdqAwroSiiSdUCRpkphoqKwTqNkt06nuPjW7ZHrU3aG6P6oXzZrikswlaP2XYB/FjN05/H9bwwzJUQmx0qFvMgBYFeA5vSVY5Poxv/exXL8ppmXP+v8KhA21/9OC1XqJ03cyzbO8zo968u6aRD+ifL4/+18vrxli","code_sha256":"dd53db1fbe42628e040c6c7b7a82689867ab601263c5e740506299a3a186b38c","params":{"W1":[[1.15129,-0.996585,-1.360612,2.864062,-2.166269,1.89742,-0.696507,2.175748,-3.58687,-2.449428,-0.696308,-0.558013,0.414019,-1.949829,-1.111019,0.52261,0.039733,-0.631826,0.495709],[0.86271,0.254613,1.646103,3.037976,1.718562,0.780098,-0.197718,-0.184908,-0.437817,0.190946,-0.202232,-1.333669,0.413344,-0.244053,-0.058662,1.013436,-0.128968,0.139462,0.195157],[1.729115,2.575792,-0.147932,1.629057,1.061114,4.271396,-1.566701,1.396977,1.6111,-1.150991,0.180765,-1.441042,-0.441326,0.394615,0.291057,1.177919,-1.248081,0.126277,-1.173105],[-0.664494,-0.965412,1.563603,-0.425824,-1.598845,1.349881,0.036501,0.697289,-0.445311,0.369449,0.32802,-0.940209,-2.098654,0.833946,-0.08927,0.548337,3.384914,0.014411,-0.487982],[1.022564,0.779154,4.569973,0.12783,-2.062091,-2.137189,-0.453636,-0.91211,-0.260035,0.136344,0.045042,-1.584326,0.291057,-1.076427,-0.006439,-0.275677,2.576729,-0.043329,-0.250119],[1.274221,-2.125229,0.477101,-0.440908,2.15979,0.969918,2.157772,1.49217,-0.795849,0.290526,0.042831,3.728527,0.655144,-0.751888,0.053949,1.711916,-0.967529,-0.845371,0.51631],[-2.154359,0.323503,0.502496,-1.692203,2.351653,1.316477,-0.470729,1.546865,1.607024,-0.69916,0.730603,1.579664,0.852441,0.6062,-0.560468,-0.257002,1.122865,-0.208801,1.201277],[-3.431737,-1.947345,4.449738,3.631164,-1.291438,-1.559901,-1.265114,0.949285,2.503463,-0.876593,2.612494,-1.483027,0.781478,-0.841417,0.463619,0.746681,0.865164,-1.373002,1.526777]],"b1":[0.497572,-0.831682,-2.767245,-0.125743,-1.222987,-1.550949,-0.777339,-0.161961],"W2":[[0.037931,-2.360691,0.520992,-0.817009,-3.147262,-0.447985,0.471992,0.567987],[0.587518,-2.30336,-1.969661,2.252433,0.778349,-1.707478,0.144538,0.56426]],"b2":[0.8623,1.118605],"constants":{"ELAPSED_CAP":7.0,"SIGNAL_THRESHOLD":0.001168085308968538,"DIR_DECAY":0.6708732125720838,"ACT_DECAY":0.49682908632969613,"SIZE_DECAY":0.4728256252769685,"TOX_DECAY":0.935365149604538,"SIGMA_DECAY":0.6696245950727084,"LAMBDA_DECAY":0.987870739046352,"SIZE_BLEND_DECAY":0.8483380461513357,"TOX_BLEND_DECAY":0.24478681527482282,"ACT_BLEND_DECAY":0.9846490771136527,"PHAT_ALPHA":0.247625310137791,"PHAT_ALPHA_RETAIL":0.0507874078770196,"PHAT_ALPHA_SAME":0.14851350675375644,"DIR_IMPACT_MULT":5.0,"GATE_SIGMA_MULT":5.424109880048015,"MIN_GATE":0.02752861145289368,"TRADE_TOX_BOOST":0.29535921748716293,"STALE_ATTRACT_FRAC":0.7339436627363265,"RET_CAP":0.02077647001542073,"TOX_CAP":0.18285021586819034,"TRADE_RATIO_CAP":0.2114237530741308,"LAMBDA_CAP":1.3277634863952608,"STEP_COUNT_CAP":56.0,"BASE_FEE":0.00051082991832555,"SIGMA_COEF":0.19158029221698078,"LAMBDA_COEF":0.001362871137046423,"FLOW_SIZE_COEF":0.47371206396001814,"TOX_COEF":0.02450003373115383,"TOX_QUAD_COEF":1.322845864299775,"ACT_COEF":8.240528322972024,"DIR_COEF":0.003178306275011696,"DIR_TOX_COEF":0.0104643196179574,"STALE_DIR_COEF":0.7451429374420652,"SIGMA_TOX_COEF":0.045521188875803024,"TAIL_KNEE":0.04944397677675635,"TAIL_SLOPE_PROTECT":0.8769115691956163,"TAIL_SLOPE_ATTRACT":0.8632618839360807,"ANCHOR_COUNT_CAP":564.0,"ANCHOR_LINEAR_K":0.7532823694587746,"ANCHOR_QUADRATIC_K":1.301162029835076},"scaling":{"feature_multipliers":[1000.0,2.0,500.0,500.0,500.0,1.0,500.0,500.0,2.0,2.0,1000000.0,1.0,500.0,647.054817,1.395287,220.617911,228.148131,0.412565,274.335453],"feature_offsets":[-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,0.0,0.0,-1.0,-1.0,-1.0,0.0,-1.0,-0.618293,-2.037262,-0.803057,-0.808615,-0.823811,0.001772],"weights":1000000,"inputs_clip":[-4,4],"hidden_clip":[0,4],"output_unit":"bps","constant_unit":"normalized float except ELAPSED_CAP, DIR_IMPACT_MULT, STEP_COUNT_CAP, ANCHOR_COUNT_CAP are integers"}},"seeds":{"speed":[1250000000,1250000511],"callback_sequences":[310000,310049],"gate_B":[7672000,7672511],"holdout":[40000000,40008191],"real_requested":[8380000,8381023],"real_common_ranges":[[8380064,8380159],[8380224,8381023]],"real_lost_chunks":{"candidate":[[8380160,8380223]],"IB":[[8380000,8380063]]},"training":null,"monitor":null},"hashes":{"j5":{"artifact_sha256":"fe2320b5c091489337b3eb06bcbaea19bf4a8af09d959d67504ba63184f1dab6","code_sha256":"dd53db1fbe42628e040c6c7b7a82689867ab601263c5e740506299a3a186b38c"},"ia":{"artifact_sha256":"df0ddfdf122c88641513dd179980fce475f42a912a184f812d213f27db7c14df","port_sha256":"b29cd2a078b4c3fc57945a79e927624dd346c44d8cc149dae43f4929aa6d736b"},"ib":{"artifact_sha256":"afd5183e9ff3235334e041c00b0cd19079599a2c6464db95f8c1586712105557","code_sha256":"301941829a44bb60977bb28181a5e4bfa6544f3696763f987054789b2611d686"},"rep":{"artifact_sha256":"e8a7a2af9039c24b8bb2d3b5fa1c9113606cbf5a480ac07d02ca26750f1752ea","replica_source_sha256":"1e4c44b4bffbdeed65872ee15d46dbde209bf5aa11014329d13d100507b4040c"}},"frozen_port_sha256":"68248558e625681f2a05873af8307b9fac136dd4045ff8be41a610efb4911e86","frozen_vector_sha256":"0ccefe361aa3d0508949315013c3db3deda9c6ada317a707d4e96bb922a457e3","notes":["All numerical performance and gas values outside artifact hashes are fresh local measurements, not claims copied from upstream results. External sources document the inputs and engine formulas; no source independently certifies the local experiments.","No learning gain is claimed: fallback preserves J5 weights and code. Holdout over_base is identically zero because base and frozen candidate are the same policy.","Callback gate uses 50 deterministic random sequences of 2000 callbacks, elapsed increments 0,1,2,8,13 and lognormal amounts capped at 15% of reserves; trade direction restores X reserves toward [50,200]. An earlier unbounded synthetic reserve path eventually caused an EVM division-by-zero revert; that out-of-market stress attempt is not the completed bounded-reserve gate or a real-engine run.","Missing chunk scores mean the exact requested real evaluation is incomplete, so valid is false even if all policy gates and gas checks pass. No real-engine seed was rerun or used for selection. Candidate and IB run in separate markets against Vanilla on paired seeds. afterInitialize gas is reported separately; the 245000 ceiling applies to afterSwap.","No top-10 or HA improvement inference is made from the IB comparison."],"reproduction_sources_zb64":"eNrtff1z2ziy4L/CN1N3EiWKJqlvO3I9T+JJXOvYXtuZvB1HT0VJtMVYIjWkZFuZmv/9dTe+ScrJ7m3d/XKZXRloNBpAo9HdAJrknz+ts2gdZpG73v10aP0Ur9ZptrG+5mnirMPNYhlPnWS7Wu+sMLeS9ZdkPeJg9wr+1mv5LAs3s0XNPvo6wlruMg3n9XQdJfX1Qe1r10VgzbbvatBKuMpr46OwAjEOy4hfknzEy9a7mu1mUTifbKKXTd3GovzuMHfjZB691GtXt9bIuv0w+e3k/NPpjTtL17u6XbOJRA4V18twFtVrvX7HrTm12w93HW84JpK8xHP7ftAb9jy/M/D6va438Hsc0/cMTN8Nht2g4/W77UHQa/terysxfcD8kvxsQa/iWZRbwFcrXMMQ59HcCu83UWZtFpEVvcT5Jk4eoMeAkoW7I2seQeEqTiJrlm6TjQVMXRB2mADn8+0qcr8kfHLyXQ7j2uUuzgRwII+yTd1z8k1WX9u2RIvDL0kyWgJ/gYGSN/bROouTTR06bOXxt6jmJHaBS4I9zj0m/0z+MsYvWCJKm35Fua+VB38RV/LmqFarffmS/GfyNd7UZ+FsEY1us20EZfPo3oLuh5tJnEDZjWP95lgvnmPtPPvwS2LBvyzabLPEmszSLFJYdxefD8cS9Tu0aQI48TifTLc7xwpXyO7Ji0wBbBOvonwTrtYOtArMfYqwXCR3lT1StHmXfrs7vPg8/j9r6EuCHDMnh0YIXASRKw8WwFApo1UDNaqWzSbMNqNMrJufrZvb65Pb0/f/sH45fX92AcsYhLWy/PTiHSOewbpDKuNm3sT5rDWzO6h0CIsN212l82jJWn7O4k3Ems74TDxFszpb384sxd4km5wY+jxK1m42ufNdJ7yr3UchMDearLbLTbxexlEG+kAvSO/v82iDQKhGa4iTvat99mtjGHX4FC3rtiOgU78SN6jEBSiMBlYf75S+gLhyce5k/+8ex9Z9mlmPsO6tu9rJxdsPl9eTt5efLm4nb0+uYKY46Pzs4vTkevI3Bfn7p5N3wN+ztwAcU5tEyHlCUrIBF9i4yutM8OJ71hDr08XJx9Obw83iTsvyyXu0x6MnqMHllI3k2dksoJnZ6M/Hw6c7f6y39/WuJpusjUWjfx1tGLL3I8igctZuDvxk2v/JTUASHJz1r87Mto+00jjUSkNng6rraSQyR9jgyHP1GhtRATB/cqyfhKih4fpC/93MwmWYWaswe4xAicKiiWehld7Dolu1ZotwCerwIbL+szftDQP/fgBK9Tr6YxvDmrPIzB3hn2kIy9ZK15s4TcKlVYelByO+2m0WKUwQEJmGs0dEyZfpc5TZQOUitZJo85xmj451+ttHx7pJl/E83uxgFlfreAm6HHgHKyHKkOQ9QKDFKCLDAD0FjRCTjofUZBUmOz5tuZWlz7l1F80fIlQNmzBeTlgmzKYTA/yULsFOjIHIVQbm54CBreuL96gAIxBtMkgoHWSSks2RhSYkB9AGcjTa5c6ax/f30N/7LF1Z19t8AwQ/5RFZrgn0LU4mE+thG2Zz63kRgSAmT+kjWjPZdaoZWuAaxGuszeZGGqYVtKkytMKzFMxljkTAzVitZanhemyyHVe91ACfKI6IWjGJXmbRemOdEew0y9KMV0DVQ9qyEWYPuWM1Go/PmBK6XOA8Z+G6fm8fikVzr4o5BDFgRIlYbOB33NVOz0+ubk7fsdVu1W7O3l+cnE9uP1yf3ny4PH+HsHdn15N3p29P/oGZk7e3KnNz9vupyt1e/pde9P7jicqen3z85d1JoeYv56CZzfoFELZWAF19OLmdnJzDHzM3uT69PTk7Fx0++3iFlT9+Or9F0HuwBBPWJwH6eHYxQTA1fX3y7nRCHbi8vKHim9uT89PJyS0UAZ1f4Reh0IhgFWKLJFVHbXgpQHzAgq23p1e6WrVqv5zcnE5+PT1VvHp7efqrXpNnfz2//DwhdgkINaylURNLAHZWpJEPelqvyIanY7BeGMSBn5O/XbBOUubm/PLqdHJ1fXl7+va2AOWsQujZxdkt47bMsVFphb8T1Y8n/yW48Os5TCWmxyiiIJzS5N0NXPCSPNfzfPBcOz3120Vwn367bfU79PG3N6Q0/Q6CAVHoUsmQVQz6BOs5Vgcb6LsB5YlEGzB8wCdIMOj2/Y76pcr8xwfajtXriC56HVkK/aW/nUFHUvZdIDl0/UGnzVBYCesw6xZvtEc9JSwO97whJQZaTajYgn6Cuzbf7NYRWv172J5seh2wNNriBn56X5Li8gao/yWRCxyywZdELnHItrGOWOSQ78DciGUO2S6RFAsdAL0vib7UAdLnFLRlDNABo2MCh6xtE+hDt9UqR4CvA/iyR3jARqKtfITCCAqLH6EwDrH+MQvjKKgAhMJgyloAC2BMXBFgjo+F54aClFQHyFVP8oUDfKStKwUEwgiEXsBsW3AXFyQCOooKh0DHTQWBwB7vEM/2WVaqCYQNGKtFdshYx7Ntj2U1Im1f8ELHC0QHdUzotVQcmO/wvKE7sKBrFHAeYwH0X2kQBPQ5gA0eIQOJ8js1AgPgqgSF1EOuMG2CWR+tHrPk1zeBxdeHhZbWtX6NovyAb1zyg3VGu98tOA3gdiytLWzXwOgmKe5rn2HXe/f55B36KTfoRHFKsOccH1GdEOx7lC+sb1GWsv0xOZ4RbHTASK+X6W4F3opLCk7Vt3CnK6yyDRsvaDQOl7DFnTN/QXnwFnhr92G+QUcEyJyB9/MADg/vFxJMM+YrgX8ZTyPYPEbgF2H/I/BXIDc/svIo4p4Suk4wSugz+DL5d/wdw6PZ58fgfz9bv4R5pDYB1jqLZuAvWsh9aDKLoxxGEq5gfDxLXY6ewuUWu0i8byHvkZiik2Zz6PPcmu7QpYszK0+32Syy0tlsm8FgZpFrnb9Zxkl0PLl4A9gxuIXHog12vPEEuTTbgat7ev0PHEEEU24tYReQocMcJ7Pldo7uHHjIOPVrcJjJu0vmMGV/ZBsbiCApdCoXYb6A/uC4cK+IUweT+QKe+5J19gjR8khrVx8wiBRSEo2vwgcY8nYecYkL5+CGM0d+s03C6TKyaJ+HBy7AwJtNtp2BZwfF/NQGiVE/mVi0wuVDChvZxUo0wZtF7zpB4QLZDGG0Gy7hsN1G3pJYojT8zCdJtWrlixBnIJxlaZ5rjGeUN3E0d1BE2PQkUCtH+Vju3ILnWa+BwBY8ANTIPPnL1Q3+KXin54PJhbfPTT0f8kLDXz33PQ42PNdz35ekdB/23A843PBmz/22atnwa/0OLyh6uOd+V2+h4MWe+z2tnVJhX+tzqVAwwfSEz/1hCa75xOeBVy6+gclghYIb17gsbiefGDTQOFpwqM8DwZEK1/o8EFzRnezzQHCkwt0+DwRDqh3v86Avuyid6PNgoHFRAodGM6Zb3vbM+ZJwKQ8lV/28LfigO+3nbVMkpPveLkiEKhDDL7v0521dHBS0r0ENN/+8PdBEREH1NSChHU+DGg10fIPpZq3AGJ9ZT4zd2CKcdzo6uLRZOO90y+XatuG8I7jw++n1JYOIAVHKx9TlxakEBJTqyjnFFCH9enJ+/svJ279B82dvT2UZxxejRhfiDPSI3KpQkS9TgY6kdjBU1papjknq91NZ0mWpoNDctVgQWOLLVCBTbZki2sDCt6c3N+ADXMsCRbonU32W6ktu9CX5viQ/kKUDWTqQpZLd3aEslXzuST73BJ/Pe20Jk3LfE9N83u/oKaoBg1DqXBIcSIIDX8Jk5YEkOOjJlOzqUNYYytJhXwovqM+3p5P3stGh5MBQcEAgKSU7lNR9zzOSPk+KRm8/X3JIUGgSJPv04hNqnwuO0VWUhkaSE5XGB5I9lewbSY4bqG4FngENeFJRULrz8tOt0mB+W/WirXohlQIkA6OisLS+XP8s6SuUi9PPCh6oZJsnVYsd1WJXtagWIOzvFbSjkl0jSbhXn24+yPn1lZj6Uk5Js0kERbjXls0pqfX7gZHkCP2+rr/JLHODrNAHCn2gWlHy6ysB9gd9IymqDRRUyCc1iFpDjUEJPSU1tFOQOiVzw0DvdNGfomJfJfmEDTt6pbeX19egwYHk5OPlu9MqOCjws9+4UKn15csF9vHs5ubs4r0yIL5cYLJIWG+13gK13gKvo6A9I+mrZMD9A7QujF2ivcDrl4yvGAwUDhRF0WVOxjTTVBzwpBTlwFddVqsukH4IM6432PDn07P3H4QD1TbKfz25uS2V88F1VANy6fEOkgeluKeWUqCWUtBTveoplvX6CioEUPhdkmBfNd1X09FXzfRVM/22grYNaKCSbZ5UEyptA0sK3K5C6CqErkJQg+qrQclVhYYGJvvymsPVHMt1Ba6iXLqBXApXyNDiSgmGamxDNbahGsVQjUJaH3A3A5WUAtNWAtP2fXM+Ly7PbriDKTcdkOyqpCB++YtyCdrSHLw7vbg5u/3H5OYtCJUOuLr8fCqQVacCMerLd+9uVCUokI2fXL8/VX5NO+gYBVRPOv5U6qtkwJNd3Tbelip1VaWuqiRnrC299o8n4AepWW1Lt50lORG1XCgpoIr/ymNsS5cRN5N8iGoRtdUiakuPEDxQXKgK2lZJctj+PnkLoxTc7ipuK4evLT2+v0/walUB2yrZUckuQ/149k7BeirZV8kBTyrhUdaTksxWXH4SbSrRUq5jW/mObeUUtnu+keQIyp62lT1tK3+w3deSXSPJcfuqYWUr20PPSHJctRDbavW11eqjZKCSnJ9Dja5qeKjEDZMCt6dwewq3p3B7Cld1fah4Nuwr3L7CVRItTSNLBiopcBXXh0OFO1S4Q4HbUSazo0wmJQOe9BVCoJJtleyoZFcleypJw7TpDIedRRo3ND67/qBrDHERAhm6uNl7e+NYvS5HxzucvtuNmn5fXON03faeLF7vDF1fZPGep+cOZekQS2WWbn4GbjAQALoD6lL1nrwMGroD2TheCwVuX+IDVk8g+3TjE8gy/tORP3SJ1CeMgbjzaYvaeKkECoeqsMsl/JWo5Wumdpc1EWCPjRS7dsJfVp1dQJnXUB1ZRXWYrqT8gJWwiyn85dWws6J72DvoK+XEhdUQ/4gmkK5gAbDU93iGrrHgR5RBrivKiJkig5dbQzWtWG2gZEDw1pc/1HJXFXj6n54cOV6SDbHn6h+bGY9fnnFRGBgD8UoVfN4UcpLVqMTqsT9txicv6EYtD3CHkDLwOoXe408gh6VKe7KzA04Sx6hI+G1Jw/jx+CSUOlgGvf7j7/vRmRcY4sbzXIy4yFfMYlCV97WqmPXFgEgaJbyt/YLsIIe16Sfd4+uQYg+1afI7xWEHXX0RB8URlfkDo+yAW97rD4f+sN2B3R5OZAGkMYEJ00AXGaY5NJwq8WqbP6jemH7jCk5f95XToX78IYhW2xsMPLBfsOHvkAIZ9gwY9Dlgwyv8Q21UAPK+7wGrPlaOvd3rtQfIw6EPThpoPCRUgPU1WdNFZzBoB9Dd7sCHXetw0KmAtZla3DMlr82UsEiwCAW0SqBJl/ZwQGxYRRE1xRWEGXDbDKv0W1AIbB5/WC2w2qB1BsZiL6x9TXI93TAzakVlVQXcM7ghtNxD7L1KJnBJKUL3ApPiQA5RpZBXqHG9SrXFLVRFkbB3vlfQVwVGBSWL5e/Vk/6e9ajsSbviB6YCRU+ZrH5QSNJPp6s8h65SiZ6ccb8wZ1XuRkFy/NIwSzLgVSr2CgMQDBSApUtahgtqoH49ldQXhqeShkuoT3zHHF5p0f/IT3UYDF5knq1W2w1dofK70iN1q2nhvXNEl5arPFo+4WXm8jnc5RgBGYkrePdL8vnkHYujUbEGPgsk4REbxZCbTmXITc8MuRmYITe+V4i5wcAWPejG7xSjbvxy2A1GpVTE3WAgSjnwJgiqIm8w3MSIvMHAkqrIG4wmKdwq8igScZ3Ig0XK4TkYHVIOz8EIEC08B6M9yuE5GOVRGZ7TCfTwnE5HD8/p9KrCczqDQnhO16sIz+ma4TndTiE8p9srhud0BxXhOT3PCM/pBeXwnF7HCM/p9YzwnN6gFJ7T9yrCc/pV4Tn9jhme0+/tCc/pD/aE5wygLbyfwyS0cHmBZAYYiGTcuSFwyKJ05BUbxngFCibDeYZdHZEieoYDBbrmUVoeRn6puzACQff5jRKtFAzZ0m98KAKsr4BqDeEsfL6kZFeVa3c2VISRXuLOhBaaJwA8eq7XFYCL088EwMXA7yMoVkzEVvFgsYCLBK01ggw5RBzwUxSZBIrjfFq8orKpZQKvw+GFo3oqG5TL2HE9lWLglHY4T6FpgQbj0WodWlLGuTrpDV8XcNEkBq4Vj88JLgPqtLNwCnQLRIF2CE4Fql15zk1w1JnqpJqUVZdJAh0OkrKCXhSPcgk+kDTprJVC5ADGj1NJn6Gu0s9RCdhRQDpLJSC0qk5OCUK6RByZUnCdJyDy2JPAARe72wIclZ885iRF6uOxyzULp8MZ4weQFJcHoxTHjZTvYR5PFEnnepj7ePaOMigll5+ooE0xcXueOZqs0+f67QfHug9nmzRzrOhlrR4dwlAxemTtDroxZtDnRbzEh8PW1jEWoHoYa/Hp8T2GJNWRjPW/LV8r0Ug2Rrw9VcryVSXY1IjC01yKeUPa1gG2DYt6bBuPOTH6r40X3IJkTiMOHWvqWM9itNDxqXU8ssLDUjR9aDWt+rQV2o1no7XQaln1sDUl+CtNhrzF1daxnhxrmTrWIhbt/qwewuAhfRh5Vn+yGuBdtnu2tUmtMBFxXg56LjTOWYgPZ0x3gOXjEyJIK58jp7ZQldjFCHEOhR6bSZowDvLLoKAEwsixrxjtloXJQ1Tv2+Zsf7XeWO3CNNOEbVt1nCMU5nHrq92AzgE69O7YKhVEyzziYobSPtZmH0oqqTfrX1uSDBJRSM9sDGKtjFk3R7AWWEN1KsSFo4oCi4YJqY6OBOtJ4fgSp6v3eGzb2vMZMQYwziLowjJtrbHuGji0TDnVdWsRM+AxCIEkQ/zWyHyD+oLUAeMc/KoVZ1ZU9ZbxY7SMF2k6V+v2oM4TTfiLWmHc+Nb4Zuv8gmWnaqoCkJnmyHrWAD4BGmttwNBQOM1hYKutfbDaasgBQ543OMkVovoHoccfd+E1V0bNPJqlCRUFEpOvt5XDS1tAkljCcI8tzAuOSMswfl3v5bAdiEGdaCsznebQxDrdOBjHOmGpaUxxjo+gI+MsB0AOCjDBAnxiEp9O1VQIiPdoVKUXsYBIS9QnEAujuxr2E5s9fSg0uynARc8aYlpb0EM+myBRCkHOewt6b8t2aRTmGmYjYuKFFSiyVJCp1vNsbYbrPCKdEyd1wRZALtpiXbLZ8Jo0Ps3DGzfqnFxLrCqzDk0RNLVPnerMK1PnAjjhT5uhAmGgJwV6Mln0A0wQ9BydzOsdBOoYf1uchPsINQZMJNmh7Y5JM8ybMU+IRR2RjmpxSpI0W4VLLmpKQqCircTBIGAbLZrVTMQDg1zJsMfzLbWMS5p1o6QRWA/jPGLirbtm46Yg0RAJs94jztBB/alJBErNs6eclXVH3rNeONajDfOgRoXZsuYUOobNmVke8WGBfjDGtEk34XKCUvmEupW7lbwSqvCoER1wJPGIX5KjqR8pz6ukpb8dQMrwScesx4ZLKtZHOp/naCwY4QYSkU7q+ED5AbwbSgxRczFpUj6sLk5EuDFSCNJ1HWs0TMVRXb3o+o51b6XkqDzH880Cw8YXcWuZKmablhX0KVO3mm0Fl4MZV3Iy9ljXb7Q+kb60rzilwn9YhTmykzpxUKc/Te5qgo9ha7NEdBrsj+Iq1SfFrhx7Q2Uw+ma5NpMHI0JhkHWWTgEZC1TDmOPtPU7CbErrwhCyFQcXlgNZN6rCq68icCxNNKnQiIZDPeDY02jzHEWJMNpY3hL4apaewizms4R1G/q6o6abMk+0G0JzNgm9UMjbFH+V7RStHAsziVZGN6CqGxqC6U3A6B2JyIb6msdgvNMBmWW++uFn6wQfUZbePPA7We6MB3zoMRP2uo08jx8SfEBnhk97g9NPjxHdcD/+Bh9jp56LQ6ixKPD3FbTHxZ3azV0XYTvv4MVDpsFvhQNpHuXIqj1OzjjUkaX9Qik73pHFg1Ll37URdAuleMyghtF+ta4oLdt2KOxgIY7amGedWU6Bdd+Zbfm+DJzuz/+W93GAQ/E0QTs/olnWgGDsCegLZy/MN5NNTrBgLHRgFs3wOSGCtsWmbbahfEeQW4QbgxMgbKuQID1JfEX5vsT4FhFgMBam7WUS8UpDDmMvfaE+ip7jA2oMIhrfwmLK8KEjsnI0ZaIJshUjxamWGCIIpwSCjApwxR4niZ4n4LivdTKqhnKxONqhvpEk73KCz/ZV9KGEyL1arRoJzx6vdrVdFmy6PPYHoeNEbMOZU3N5PKqwn8XpFuq/LoHSUW5A66/umKfRMsVRS+0qaRTq7mm0xQigo0iJN3KjsGcbihLZMPkh7z0q+UHyV6ihbkYqqwgJLdSS1yf7+M6kWNOE6A7o0rF3vxMnJOwoFkTkoCgc6mKhuHth6w1+GwqN9bKJVA2X2yjW6JgrC3uhQRzdzmmVxJotnOnQBmckSovFtOMZKeV1IDUaMlBliuYEFY9cg0wLVW6GuYJS22G2/ZG6EQ8RSdVyslw9MtyHcEV6SduMiL3Rq3IJOLxqZZ/w0cWYlr3qVmEpmSgNRq3QV9p4U4mm9WawicTzuqKFNraar/jSD8YWW6x7R/rW4gpkbJcOwYhF5qrSrkeAxoO+CplZCcbm6cAejokaatZJ4FDP5LojxybVbioftiVm1LYPuHNdEg7NK0WIY83wsFbXGJWMbWlD1G54xtrRLfdg+Wy2kLp9QK0KqX39nC1cAhJ3Q+RV6FhNpqhSuj8dF0645EEAzb++FpWI5OEKR/drCET5NmG9TmGrV4DK0zBtgrZoJoXQHhcnau4z+1yYbQD/x/7pZr2pY13ZURvT27WJqfUSh4kVTaECQIF4JV/pinm89/CK+q9mn1ajOWA5HUrKHkLq1yp8qZNnhDq5cDPNFpe4mBbrivUQDI4hfBrR6iLSmRvrzYiQynoQ/6gFQ43YTT6MBmUlHclWlBg6QmG37uNqq7VvLQHbfDZESWD/ASFbMqh/IMUr3RbVjXAxJUO1sAU82zFNnF5YcTBGo6s47CI4U7uVwzVPvwjxtVOvot7ee/Cl6fPitEnMy/N34ybrgAJenH4Wm5HwGdwEcKtQ+/BNgzSrO92s7r6jftDldizD9ONLtvhZQeFguwKZC5Y46CZ970jb60hrWzrvFrsfORTb3JZprZhbMuyE4ALjAAmTIMPcNjNSQ5MKVueY2S4zwMYQ9W2+kJShRoP74FoQCpN4cWM/Nt1CNrpXHHCkLPNNbE76+QVqFR64Tkg58NRncyvAxvGKWz3C3wZ3qLUoHlhkNGxdhosoRYd7RH8awtf+DrUSTpkcc1K+RfJU05a7SW51Uej+eZPL6iN1SEk3X2O72q7yVIPjGGOCMmNERQRxmcz2xn5P7q/FtrevLBEByeFsD9q6IFJBc2T5rkYtWzXrvGetbGUfIJJcJHTWkq1knk5XFAbWW8Z0UhcyRZ6tHDFOh/WgozPij1dRuwJVbA3kfqZpOJZGTJQ8bc7iB3zTykRuaApwTa4kq/CUScbB7LFUGbPJdDykXYvAbnOijh3aHa0Mz+8m8tyi3TbdGEZvryPDm6s+hRJHuaqBvXT0TlQfWu0/kShsKdVYD7SrNCNcaFy+9mBvRCycPZjhRDCfhfu5YmCRcYOtsQf/NGQjhZ2qhBfqGnNW1mHPUfyw0KJKWtJ4lRxo5QUzcc1QS8J2W5JgCYPPYnSF8Kgxn8Pq8KjSrMbsNY98YiJSkXrslHAPZeRUcWb2dlb5I7wRu1Lam6MSCe2SPwqzhPVP12aFWbcbxXq6sOqH/gLsWNweiwZsw9Gmc1sUCR3aZhZe9twoI7dAkjc8SnwVqC5l6jpQRp2NSxU05aLPtYxIG+srlYmRbF1rQUaq6YETpM80rgDA0TvqFNRY2fhplTk3Va/31Ca+8ep4OKTYdD8NxTWpPK9uSs+ZOt8gX7upnTsRFOg0Dc4wsGyK01/RGTQ10xT2lBC5uRFAGazKSv5gv03uXbAC8Eg0qk1+6aeHo/LOCuL6IbRuUozDaMOmyIPyPN9mke5Facen4o71yfCytL2hrK+rGHUaypt/jPjhiYiwHTeAZpMD1JAA2OC2VZ168RY0jcJO+5E1TSSteQp04o8FLWoTFSAy8Jh1ocIPKniWikCBsmryRynnG9iuTsyNTSmAc9xEV14VaSGcBhnlrkmXT9K3D2SyypHLF/E9tw5mlDNIkKDNvbLNJmMOMdVRvdJjxLWraoriGKmBFmaoyekUuQu/LdEUun0APJZt/9gUlUmz+YFfnfSUJugV0uGSLg1R7fOtK50b8oGRU40RanXcRxcR3rBy5b4yWjoT0jTnnC9E4I8bZBdMf8bYq7O6x1pQh4zhLdpWrZkS6vc3ZHymiMirGy7Odw0Rqk7yZbrmWrUcCV+tIcqB8WI28sc99ATe9+iJdlUAasxj/GTY/rikR4zSZh1lyADZDTlQNdkktPvoMjkv0EWxL9CVA5b85IscD9Lo6IAfmdGhCcuxh2fk+Rm1JKrQGcP3qlQHrLEBYQ9I+gTb9oZFSdYpDF161OIDukhRMmwvRcm0IsX9tLQo9kr26+VCl+wf6x5qcqRlakDrMwYWHFueq9V4YU/3R6v1Zle/ONP8mmQhjIHn9pnq99y2VpOFKTDLjs+euS2x6WXFFKyAfk1QLAnG4vChW65GbqPYx1eUd8b8FKSijJxUZfvNQtpoM3uULOyDZEEUdIw+93HjlIqKp4QtVaTXongHsY8pD3aIxb5b2OAUeeUVztAaftQr4hBD9c3cwLUPBiZOMBanF2X+/Iz7UNh0rreb3KrTtSXFk4PJobeEhvf3+HUXPLvG/QU9DvfZ8HRZTA2dxMgrdGhsMKZnAfUoTH6JqB/F+m6LHuzcc/oqi4sHrpkuoj2tkYxJoDxK1EuIV4U9ScYETxx26gVtWWBEXWZM2mjgOpTkrP6kyZK2jwMjHKuI+Z5d0B0wSe1mTB2/i8eNz3d+kwBNTF2csYyh7/i69d0CJeA8CJd22PSjXWCVAw+70WT9qEToaQgNE8u4vJSbeFQu3XIvaYVIidnLKlA/xQOSe2BXjIPvuBVjoLIRlBUjk0W9N1brtYotvSaeTPvNoHFxpmALPFT/fJc2Lz4AHH6x/IPGBrqyKiE0/bE5yIU2yA/FQX4zSCzGr85lmUeMRJPRWCAJmKyX0pQCS74BPzy3svrI8qqY+G0f579VsB2Y1SwwYzFufCsghSWkEl7Jt2gupqAPW/TCfZteAWEXLajmVjQXYTU2D6yTS5/H08kVf8P0Q0FQ6YrECAzg4XaFjeONtExGAJ66duVhdWQwjVA6ufXlsXNqx3vDrIexzbzhxkJTbjzWTTyrgJFtF2f8HfUXH9iTxxefpXwXhDV4LRKOHySLcMnlNsKI6kMtFhNAuAFBjPLDUwht1gmphWm78age/yCqLSqUcK1ei0JB5iC0FKpKpsJz2ZvH//8Hun78A134VLz+iSwGOX3BDw/FG/1bO/IbPHnKj6+sOVjX3JqFCW75VukT+8YOvT2fPsxDLw9/STPa4vY6Des53iysG6C9+Ri/9Dr4Dvo5PsUXJjkslSPrl/Sl9XGLYa/8wjY/sv6WbKHSVRrn+NE9pHhLL1NfhLw9/MQPhYBn8XSLS46/OB3htdy6mj30Oge/xw8PW5gjWAcwkuiPLb2u3N0v29i1Ov6I2fjGPI0tOGC9Ditpqrz3Moza/f5wOuzfd8L+zO/aqlr923/Xvx0fK+y2Z9t2Q689ve8OOv3e3J9Fnag7Hb5WO+gXaw87c68znE79dtv3/Wiq1S417dvmg5HfmPb/D310ns1WlIL49muKYJvEYIpWdZC1jXzmiTLWf49YQu+DH9hVKG/eaGPs2t+jAmzgN0xb8iax3OBK0O107ztDv3Pfm83nvgj2+9m6XEfssckM9IsVPqXxPLeW6QOM+8jqBigj+PIHEHT8IBbFbqOgFT6g5RpspOadOr1vog49KozXbrpd+6DT9drd4bAX9Nt9mLCe+xpT2Qqo4KmDD4wVeK4XP+0rNrqqHq9oBW6DcsiCLYgWZWZpXhcF67jxZL/+zBwtT9YaXRbILi/jVbwRj3PAWq+30BTTubnrSWEED3FuKWc1YW/YUE8VU/kxI6ZZku/wQ1JuwP5J272SX1zBE9gVMgW4TtMlfbnssFJx0qN/k/soIpOKCVJM+BURvCEBxbSM/9jyYH8Qo+16HtIHM8UnRvA7ITl7DCCJNmzb9Yoyil6i2XYT1a8c62tR4zukVUnbOxYFpAvOvzgYDXp199Xxxg7+EZ4ni6lESDAu7rcQ2h6b8ZToP/mug/PmuQ7sxfApL+3AkPqBQUywLQaPlFWjrPwQGdSD/5lRaaVjvPBFhsBok8XC8l4ahZ1fgoN7aewO6i9NwNGdPizZtZKdeTC0+16X8J/BLWygWQ9fWtA6DtnZtcKddv7CGH9YaHnPAHalAbyIAeyKA6CSVvJiDuDlXxoAdN7ZwSiw7w31eF7xMLqK9axR8N9eXm9TmwpozS4OPdm1doUb782PDIW4CbjFPT8MYsJlDvnaApQfGr+qp2SXntn29FMyh2LVDH/u9oPD1xzQCnfOxjFasc3WAwZviwMZ1xcrZ2rbjgkJC8aY0cel/6rfnYGFysIHoRDI4/on1j8/f9kdvJh3IKMRI6VNC0dgCmLEbxQYlqkjQCvUX9ModiHUWmoL5i4WxeEVJSFmvq4sGMgeP0gianbrpXRQVNBTpaY0xcGVCkNndE17ch9zyeMoGjuKy2qlRdK8tIweH9SJNKsNkvHScIdD+1/ocV0sPSbbrV05LFH2Weuw1GWacmQTQsjVjTIBTXFXrVmlr3J9MJNECxmWCS4dU8BbnDoGrD7q27Z9sp6l3PCBwM+jbCIfrd8r9jR2n4nk1Z3ntOkhIlmbNRroJi4QyP7ryERVzSES98ZMQPwG5qQuIJI6pi8xgwbmfBWVtWFxqTxyodg2wg80AcPJCkhpweSIhzWISKUAZvzFCoH+nVD0rlivmxnvlB5Mk2bkilX1xtO0sN72QUBn2ESa5Ig9dps1aOhEctzkw6cKNk0NK7AP5uIBTp0wi+kDXKEsqUAoTPpyLPtiLB1QOUJCCy8lCeyq5cjakPqfdZcaa1FR1So8tuj1qsXbnj0LAnegmsjyhaFBjNVhvDWFeoRHp+ljxekaDpxrnxe2kKsmSpTJRW68ZEGwTRTyxanx9JUlyT6Tix8oZgEtEUYMm5FCkcNOsmAjTqFt8ju1/H3R+EhrXu94TsV7+vghn8OO7oxDG2gOX9Po0MsMxY3ClX4DUA+cjr2PKluvDluo9Cdgf8hUa5QLRhofUSkZbnxCRZD1GVmfkfUZWb9Mlt5ciT98z8M2HRnb4o70MwdHpZu+3CLFdMPiyysm/XPK8mvK5pqQywL2dhN604jc6eFI1LTRXqzldhu+G+D/xV6ZTlceooQ+IkhvR4QdWQo7MvqynTUNN7OFNY1g1UUW6mrY5dBH6aJwhRueRZRFglScW/itathzR8nmkJ5vxn00fkf6CUjRh+dg8c4WuHCtCJzrSH4K+/rivba+N2p9FwRM4yuefohN9Lq8K0RmNvRtKYyd3Vey4CmW1l+GI1iMu0fDB/McZopKS9rA8vdhZXzzyUI12UaawzKz1/Ir7XzsxeP+rDzyrDhyPSZbjJ0JRxOn/ptdSdLYYlfS5OcOwl7j6xfcrkOytWfcBRFGtkaFt8EwWW7KN7DIl3nJWk0p+K+sBtRmqLqYME1maXIfPxine+yTl6cvGF/zEWX6epuAzLugUePlnNfI6cSTSz4qaKAZ4lvLaDpyV3w3U7uYhJJ5unI54iRLHur4EjRq2vSM2MlR5gom+0PXCXwXNE+xxO051XBQMoNBgBoGdMTAtsWwJ3iMBTuZDWotPuDNwiHNzdcPGnJ510GTRmpcPLtTwThzQpRNAMJyhE6BkmhN9kx8cl1akpzetjDLRwNpO0akPc2JusSraDQN0cPOCpcpZEGF5Nvc+i1M4uUytNYwRUjwiB2u8EmL6TOkdAYz5/rkCl+7wdr06Y1qeBxY/Kz7EXsLAxtiLr9tny/CNbg5Hhgd8X4G0alojoeI+FA0aEE66BFvyUAVSoSy/Aj6vtQ+bco+b89eM6sGKyaMf2shB/xN/LBNtzn77gLwbo/FI47iF95pRmzSH3ScSQVj4/EqAkl/X1lU7xWL+jWdIvk6TnpO0y4muNiWrYVBAqtxd+GXb4RoePxjEkJov9rKpcP2xvs687P1K9TAiV8h68lvgYmEPxi4MEvnyFswKTF7V0zKZiJfR7P4Hp8KPI+T7Yu1SPONKwjeLugDtvhVVyCUhPiV3a9pnOQ0b6yDubR+NAa0f+JtNTBlq7X7wBYOEqnXAPOxZrtXabokRUDcAG6FOZ05vsoSRHBX4brOWeMgO5zZYps84joboUH3HfyMMGP5wQEj3wBVUDmFX0BxWJMJfqB1MkG3szaB1Rgnk0lNXOKxr/qG2cM6zGBL9xVsk4O3StwloeAWVuaeZA9b/LDxFeayuvBa3HA+BzvIyuq1ViupOdQVGL7D9eIo6Pb24uNgKqp4eyvQoCtqDMTmDG9eXeo01stFV03HFrxDdNkGDv+ahK/O2DPxrgoXhO2eRberEeOxMQZwaKqNmevQJY3L/jRDN7EhzQRAPv6bV1NuUavSD4Rx4ky48+1qndf/rCW1QyDn1NCdqx1yuwDduDsEz9RFaB0koLwRoH+1PCrXyTfz+nye3o98W3tTFPb5NTr4lHFeO8RxQGeYspzASCasiHp5gKV/oXH6ybF+wsde3fXup0Prp/IHppm45bucixwFHc1hveKjnBz9HcvyQrx1XMZTUXhFX66mEth7AjtX62hDX1N2o6eVi/kYLxs5unhBz1sOf6Uq2+qlsurpbx+F6j/lRXtq422uS9s1UfcWM2fJfaq+uA3Kaok8ACJPuGZhdub1Wj7L0DU5+Np9cpP1Dj/EMxsVO123xbjqOHy9lpunS1A+6GhPSB3Z9hFYvwhanLn5dobGzpm5UZalWf4lAX0CyZHnHk3D+cg7IhkckXSuUjAZaRLPUOhJ0+NNrnRM22SyHfzTZZYbeDaq4FF95k53mwiVMzQcTuldeLjbGyGT6fx1ot6TVOeTXQe6tqNlICtHguhiMEDsZqTtN+2jqROOMtfYVT4VN5V83LQ/oqSDsepshRB1fvlj4/td/ahTLOZXQja+FhaKkeTVSH0l6U7fEkJ/xs5d5SZxTEdE4DGOqv1I8rCOQBECViEQKJAO06aJKrAO+O5skYIbXsdNMPwHm1UncAaO3+aPeE23u9EUzRLisubq9huX3cOCnWC75zddzz1EVHZGrZUcQ6OsSB7js0OPEX+ELWTdgL0G35q0AvBju6BQ+EGayy/NxZEKTJR2pOI5lQeMT3LiU/JeN9lIrqd6DarUjLcYgpJaLmtSdkAQ6uGLbZuAHQA2Boj1sIDHT/wY+2Dbo8ls/hyuJxgWW99kVCwEit4VuN3ceeMDfDtvi51C2I6A+xocZwYFCOuXZRL+b+PCbI4gdTxy8f3QOFSSixZbgfb/8r3RaHjITAZZH177frnNF/JUZ/RnbY1cBA1NIsCQ3uCZgFOT0RK1w67n1OS2nSt2Vlg7RJkDZBy4RKkdsu9OIJEILcOdphk6wzEaiRdcK5N5fH8/ma5zYYlYD6B1KMwn4TR9iibexPMZDo4Ghk6d4zanqJaYxfzrSyINZX3upGtwjqRCRNtz4mJ5zak910CFMD7NuW0CPbk0bVPBHlVYLNT2ebyaoP78v2uR8HGtJXq6vCq6nU9sMzQROnYCyxqYGZuG5ksSZqsRDAs01MMTiOBRen+fRxvSHBIMUnqUmKA2e1kCeZwcZh/zNynj29zXI8MC1ewjdpi4PqhDi83ahA93zibBJn8U9yKEBjY2zjfgnaEie9XO1QVBZuB+3MLxhp5hTxAxfMOtEmyrHSoz5S6ilzoIHnARwfCHfJnpbIQYuYvzgyhECM12zk5QjT7dKdKo5Pk0OZPRa5OGppaW0WgJfKkzTT9oD3BBNdmMOWa2mWDXZvcPo7uxaabZZg8YUNigj0gg3OrtPhBywzWGg9WVmLs3MeyVMcI6ecvQ2QoXJk3aNfgfOwPwXdEgNO27gYPHRPw8RKP7EOYTPGfKJ7hhB64dVfkedP440qqh203AOnFpOrMdSnCu2g6MwsGdAC0klKA0iXDvzVcEuJcIy6N/i/O3z1nd5w5Bd2ER/Bv9H9BoMJk7UPCwQMD/zlZKF9NfsEQOS7T8MShk3AJA2Z+ExTTti8sOc2p4oiYU9IuLufyulm+n9LwyLOCx/Rd5Ii8oYjQJLnvtPmzaazCf0H7F/NZfVeOowmF939dQG0/+hAH8NfmTifeh15n/xVXHnjXMh4+ihQOT66Dcw0NmPVH7UNwPMwU1/lkCfPQOowvBCDrzOKu/2KYFtdCE/mscg8o/g5xk8VOkiyOJTwZsyeb4flA6o8N7+u2avcMo4iGaS3ydKJ6UP+PLk7f4TrQoa9GLENkmg45W7+NoOc+5o0gnyHc17bwURlUTR6aY1oq0khp7mgh6sQhz5Ej9xXm0D+d3j2NUXBKC7HAp5Cmqy+UEJRUetFPhNpM/hXMglA0qH3Sv/kkZxt//R2IHvcVRcBmaw5TWHOw219Lo6Mm2xyyL/RybQoV35MwQjyhC5WVkSCx7RyhvIw9X6yW0kkXrCukUSCgVJVF2SbiAGhlznmVG/K7QIw3hUKdptq4ImrXRp1ISbnpWK/KLyg4V16MAmYZCi+K15N7bSfA9Z3W6cMgdjFbJHfQgHa5E6T1GIi1OwxEND5lhnxvPRxomqNTHkYYNuLAWcEPMrhUw9Tjyo155B4Y+EeuFzTZilBkx0F08PspeRupc5fEA+2AfgaLWgA0C8iWH6WMWnUPnL3SZPvLdlnhigW+26joBIyYmM4Ji5L32sXzqI9yNsl3r8aCeFYJfjljQxqgy4oWiR4AIfyk+IiJJfAf0iGU5t5ojdt1MoXM4nDdVwxGXENreMdMDZx6LYTOZFjdTPag6DUmGx2QiPkYOa29QzD8zLJIikjicXpQkFLy7GPaNJEc8RzFYItorm8oLKpRdpSzZEn9dauluhCGyFccWOsiXdtgADmkYZxN23amO5BGdjheowwY+QiZcTg1TVVUdB2W2Fv1INT7w0T+5WPEcCTbBuFeG2i0+djRPjIuTXcG4km294hc+7OIlCvGZ6zmZ1gR28Vv2pgj5lQLQOqE1j8OHJM038cxVs/WnMoTcouNLy01jKc5RWc8q7H2L1dH6bHZkQlsTQQe3wH8xxZlHD3i+bWpN3IoCdX5PxXelxc0cO7Yr7eXyTboubee+JPsO+MASKe1GJB2k4PQ6JI0JrdReh4AtQEbeL9OHEW257+Weu2BOmS0FPLYDR4GUw0FXHkQKesf8bXzayDEIATOYXcXTGGyTEokN3sBmjh4DEMYkCo1G9+b23eWnWwcMx+yRTAcxDvE7gafMJTfYDrffGSiJeb3sKDh+0cz99T+E/I4+","reproduction_note":"Compressed JSON mapping of local harness sources. model.py uses the supplied replica market routines and IA core, with only J5 parameter plumbing and dynamic anchor entries added. Requires the task setup and verified artifact JSON/code inputs."}