{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","item":"phase2-blend","where":"replica_choose","gain_vs_base":0.012452601285066756,"se":0.007292993536111095,"n":512,"seeds":[64000,64511],"advance":false,"status":"all_stopped","baseline":"QLX5 unchanged; no AGE","source_sha256":"384e917bc63146193c8b3bd2f9b813fb76cf3dbff6329f9e2079c6d9603bbd11","source_hash_scope":"Exact measured Python integer policy module qlxblend.py; knob values in measured_config and choosing entries. Hash includes the original Taylor credit.","selected_parameters":null,"selection_note":"Freeze the surviving completed choosing setting with greatest mean; ties by [1250,2500,5000,7500]. If every setting stops, selected_parameters is null and top-level choosing statistics describe only the best measured stopped setting.","top_level_measured_parameters":{"phase2_blend_L":5000,"denominator":10000},"choosing":[{"parameters":{"phase2_blend_L":1250,"denominator":10000},"round_count":1,"stopped":true,"completed":false,"stop_reason":"mean+2se<0.03","rounds":[{"round":1,"n":128,"seeds":[64000,64127],"gain_vs_base":0.002551394722499545,"se":0.009658013978783957,"sum_diff":0.32657852447994173,"sum_squared_diff":1.5171479468617037,"upper_2se":0.021867422680067458,"stopped":true}],"paired_moments":{"n":128,"mean_diff":0.002551394722499545,"se":0.009658013978783957,"worst5":[{"seed":64009,"diff":-0.3074408615774473},{"seed":64117,"diff":-0.3056988631693116},{"seed":64021,"diff":-0.29246827513293283},{"seed":64104,"diff":-0.21229318611881354},{"seed":64041,"diff":-0.20511303536795822}],"sum_diff":0.32657852447994173,"sum_squared_diff":1.5171479468617037,"mean_base":534.9978274476013,"mean_candidate":535.0003788423238,"sum_base":68479.72191329296,"sum_candidate":68480.04849181745,"sum_base_squared":37723031.65540793,"sum_candidate_squared":37723227.05520954,"sum_base_candidate":37723128.59673476}},{"parameters":{"phase2_blend_L":2500,"denominator":10000},"round_count":3,"stopped":true,"completed":false,"stop_reason":"mean+2se<0.03","rounds":[{"round":1,"n":128,"seeds":[64000,64127],"gain_vs_base":0.010069842140672858,"se":0.010950917107272742,"sum_diff":1.2889397940061258,"sum_squared_diff":1.9624409699857461,"upper_2se":0.031971676355218345,"stopped":false},{"round":2,"n":256,"seeds":[64128,64255],"gain_vs_base":0.017184376300869886,"se":0.00791949444189528,"sum_diff":4.399200333022691,"sum_squared_diff":4.169854157754498,"upper_2se":0.033023365184660446,"stopped":false},{"round":3,"n":384,"seeds":[64256,64383],"gain_vs_base":0.010111915835517404,"se":0.00709958643395824,"sum_diff":3.8829756808386833,"sum_squared_diff":7.4523001678452445,"upper_2se":0.024311088703433882,"stopped":true}],"paired_moments":{"n":384,"mean_diff":0.010111915835517404,"se":0.00709958643395824,"worst5":[{"seed":64338,"diff":-1.0278059436795957},{"seed":64208,"diff":-0.3712660204019471},{"seed":64052,"diff":-0.3423231841543384},{"seed":64304,"diff":-0.33194625886164886},{"seed":64274,"diff":-0.29935740975611225}],"sum_diff":3.8829756808386833,"sum_squared_diff":7.4523001678452445,"mean_base":536.7100137463826,"mean_candidate":536.7201256622182,"sum_base":206096.64527861093,"sum_candidate":206100.52825429174,"sum_base_squared":113661451.8031322,"sum_candidate_squared":113665380.11862795,"sum_base_candidate":113663412.23472999}},{"parameters":{"phase2_blend_L":5000,"denominator":10000},"round_count":4,"stopped":true,"completed":false,"stop_reason":"mean+2se<0.03","rounds":[{"round":1,"n":128,"seeds":[64000,64127],"gain_vs_base":0.013009014880925651,"se":0.012333753628459575,"sum_diff":1.6651539047584833,"sum_squared_diff":2.4945487675199614,"upper_2se":0.0376765221378448,"stopped":false},{"round":2,"n":256,"seeds":[64128,64255],"gain_vs_base":0.025029967270020936,"se":0.010136981843109311,"sum_diff":6.40767162112536,"sum_squared_diff":6.868452220891628,"upper_2se":0.04530393095623956,"stopped":false},{"round":3,"n":384,"seeds":[64256,64383],"gain_vs_base":0.015251055492717805,"se":0.0086321860034654,"sum_diff":5.856405309203637,"sum_squared_diff":11.048332790261117,"upper_2se":0.03251542749964861,"stopped":false},{"round":4,"n":512,"seeds":[64384,64511],"gain_vs_base":0.012452601285066756,"se":0.007292993536111095,"sum_diff":6.375731857954179,"sum_squared_diff":13.995013089044122,"upper_2se":0.027038588357288944,"stopped":true}],"paired_moments":{"n":512,"mean_diff":0.012452601285066756,"se":0.007292993536111095,"worst5":[{"seed":64338,"diff":-0.9906042082104705},{"seed":64159,"diff":-0.7486273628616118},{"seed":64336,"diff":-0.523536226181875},{"seed":64430,"diff":-0.45011015049385605},{"seed":64208,"diff":-0.4183939889582007}],"sum_diff":6.375731857954179,"sum_squared_diff":13.995013089044122,"mean_base":535.2191257797188,"mean_candidate":535.2315783810038,"sum_base":274032.192399216,"sum_candidate":274038.56813107396,"sum_base_squared":150725394.5437638,"sum_candidate_squared":150732539.29196963,"sum_base_candidate":150728959.92036015}},{"parameters":{"phase2_blend_L":7500,"denominator":10000},"round_count":1,"stopped":true,"completed":false,"stop_reason":"mean+2se<0.03","rounds":[{"round":1,"n":128,"seeds":[64000,64127],"gain_vs_base":-0.00485135387284652,"se":0.014715561579517554,"sum_diff":-0.6209732957243546,"sum_squared_diff":3.5232128274780647,"upper_2se":0.024579769286188588,"stopped":true}],"paired_moments":{"n":128,"mean_diff":-0.00485135387284652,"se":0.014715561579517554,"worst5":[{"seed":64124,"diff":-0.3873616116466678},{"seed":64098,"diff":-0.36173228732440066},{"seed":64052,"diff":-0.35992236376887377},{"seed":64002,"diff":-0.34690897000291443},{"seed":64051,"diff":-0.3419990945743052}],"sum_diff":-0.6209732957243546,"sum_squared_diff":3.5232128274780647,"mean_base":534.9978274476013,"mean_candidate":534.9929760937284,"sum_base":68479.72191329296,"sum_candidate":68479.10093999724,"sum_base_squared":37723031.65540793,"sum_candidate_squared":37722248.92205329,"sum_base_candidate":37722638.5271242}}],"freeze_record":null,"freeze_record_sha256":null,"report":null,"statistics":{"implementation":"https://raw.githubusercontent.com/identity-md-launches/goal-3178-build-shared-evaluation-kit/45e7563d1a29ffca9d608fdf60c90bf2624d2d01/score.py","score_py_sha256":"7b9fa5e37695a5d1b048efe91a8b6c45d31bd4245a733261774c871fe9105a43","function":"score.summarize","difference":"candidate edge - unchanged QLX5 edge, same seed","se":"sample stdev of differences / sqrt(n), ddof=1","round_size":128,"futility":"stop iff cumulative mean + 2*se < 0.03","overrides":"score.evaluate is not used; its 3se and above-bar stops are replaced by the required sole futility stop","choose":[64000,65023],"report":[10000,12047],"report_tuning":false,"engine_E_seeds_used":0},"baseline_smoke":{"passed":true,"rows":[{"seed":10010512,"expected":606.1300985640944,"observed":606.1300985640944,"observed_hex":"4082f10a711db056","expected_hex":"4082f10a711db056","zero_blend_edge":606.1300985640944,"calls":12227},{"seed":10010513,"expected":482.77829524211705,"observed":482.77829524211705,"observed_hex":"407e2c73e5b63867","expected_hex":"407e2c73e5b63867","zero_blend_edge":482.77829524211705,"calls":9988},{"seed":10010514,"expected":404.7966542836623,"observed":404.7966542836623,"observed_hex":"40794cbf188fe8c4","expected_hex":"40794cbf188fe8c4","zero_blend_edge":404.7966542836623,"calls":9532},{"seed":10010515,"expected":450.2556494695746,"observed":450.2556494695746,"observed_hex":"407c241723e5f101","expected_hex":"407c241723e5f101","zero_blend_edge":450.2556494695746,"calls":10484}],"seconds":11.384360356954858},"structural_checks":{"unchanged_branch_cases":80,"exact_blend_cases":12,"passed":true},"measured_config":{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","module":"qlxblend","policy_class":"Policy","knobs":null,"all_other_knobs":"unchanged QLX5 defaults","table_source_sha256":"e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40"},"measured_config_sha256":"f2d05af01b351af77ad5900bf5e3efb8ce0c0ed4c8e2078a2a1d457ffa038f83","measured_config_hash_encoding":"UTF-8 json.dumps(config,sort_keys=True,separators=(comma,colon))","policy_patch":{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","format":"unified diff; new module must be qlxblend.py, original remains qlxcore.py","base_sha256":"701dbfd1175fee7d129de92db21b1ddc78645796c422b29d8efba2eda501ab00","patched_sha256":"384e917bc63146193c8b3bd2f9b813fb76cf3dbff6329f9e2079c6d9603bbd11","text":"--- qlxcore.py\n+++ qlxblend.py\n@@ -75,6 +75,7 @@\n     ('table_p1_synced', 1, 'table for phase 1, rival synced'),\n     ('table_p1_stale', 2, 'table for phase 1, rival not synced'),\n     ('table_p2_synced', 3, 'table for phase 2, rival synced'),\n+    ('phase2_blend_L', 0, 'phase-2 synced table3-to-table1 log-fee blend, denominator 10000'),\n     ('table_p2_stale', 4, 'table for phase 2, rival not synced'),\n     ('sd_levels', (0, 4, 8, 12, 16, 20, 26, 34), 'belief sd levels of the tables, bps (table levels)'),\n     ('w_step', 5, 'bps per grid unit of the own-offset and rival-offset axes'),\n@@ -523,8 +524,16 @@\n             tb = (K['table_p1_synced'] if syn else K['table_p1_stale']) if ph == 1 else (K['table_p2_synced'] if syn else K['table_p2_stale'])\n             p2 = self.w2pos(tdiv(w2, st)); nc1 = len(self.T['w2l']) - 1\n         t = self.T['tabs'][tb]\n-        xa = surf(t, pw, p2, k, tt, nc1 - 1, 2 * H - 1) + wq - w\n-        xb = surf(t, 2 * H * U - pw, nc1 * U - p2, k, tt, nc1 - 1, 2 * H - 1) + w - wq\n+        xa = surf(t, pw, p2, k, tt, nc1 - 1, 2 * H - 1)\n+        xb = surf(t, 2 * H * U - pw, nc1 * U - p2, k, tt, nc1 - 1, 2 * H - 1)\n+        if ph == 2 and syn and K['phase2_blend_L']:\n+            t1 = self.T['tabs'][1]\n+            a1 = surf(t1, pw, p2, k, tt, nc1 - 1, 2 * H - 1)\n+            b1 = surf(t1, 2 * H * U - pw, nc1 * U - p2, k, tt, nc1 - 1, 2 * H - 1)\n+            xa += tdiv((a1 - xa) * K['phase2_blend_L'], 10000)\n+            xb += tdiv((b1 - xb) * K['phase2_blend_L'], 10000)\n+        xa += wq - w\n+        xb += w - wq\n         fb = U - exp(tdiv(-xb, 10000)) if xb > 0 else 0\n         fa = U - exp(tdiv(-xa, 10000)) if xa > 0 else 0\n         return clip(fb, 0, K['fee_max']), clip(fa, 0, K['fee_max'])\n"},"reproduction":{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","workers":8,"platform":"linux-x64 (scheduler-provided; host not inspected)","requires":{"platform":"linux-x64","minCpus":4},"dependencies":"Pinned kit replica-only CPython 3.12.16, numpy 2.5.4, numba 0.68.1, llvmlite 0.50.0. Download/install/cache/checkpoint state stayed under test/scratch/.","runner":{"encoding":"base64(zlib(bytes))","sha256":"6c082969213b6ae9eaac7fd5c797c25e3fca4f5e4e1d6130239d5ddd40eb3f2e","uncompressed_bytes":7647,"data":"eNq9WG1z27gR/q5fgZn7QNKGaEqyHUc6ZJqLfe1N1Uti+9pONRoOREISK74ZIC3Jmfz37gIgJduycy9tc5eIBBa7i319lt+RD1LESTUkt3ybFpK4iyqLVnmyWFYeJYukWtYzPyqyk936Cc+yrkqyP51e9Pr8fHDRH/R65/1T0TsLznnEe4NexAdn0eDNxfztIIjfEimU4DJanqgivRex30myspAVKXm1TJMZVVtFC0WrJBP036rI6ZIrvZHVaZWUsoiEUkm+IFyRrKSRuqeqknVU0Qw4wDOvElUlkaIxrwSy6Xxilrn/CX7dMJwnqQhDzwddUAnX80suRV51PrBPJ44UZZpE/OQu3USFFE4HVPKRw2QYTNkEpLkfPBTqAvEqqRxv2lxC4YHOh+ury59umfN/NKPT+fP1T5ds0uufBRT+BhT+BvQN/Dvt3Ny+v75ljTn85sHtB/1z2uvp/+kFPevT6iHJ58WOFP95KHLh11Xk6Tewb1a6Xufy6v3l+Kefr5hmfnx6dnQedDqxmBMgdb2hFFUtc/JMqJ8Xa/cF/okq5oUENwJ/5KQ4+CbnEAhwgHvDDpmDf3BhVGUlm/trsGWo6vk82biOD2uOhzv+WiaVCCuxqVwMIT+us1KhVE55mhbrMOc5+5GnSlAlwPW8KqRirkPhv6HjeYYLxgGPhDs32iR5AoqBEtbXNjwo/M5SkccdskiLGU/JZ/oDve2Qz8xSjH5gDc3oln3204LHYcVhQdmLggVcLhfIXNExg8dRxbSBsiIvqiJPwKQdIuGwrHNX0VuPJHMyJokiP8NhIuAq5Idmk5aQM6IfapHhmI3xrPVHElWuEiJmKGhMRbwQTE4c/HWmYI2oyGP1THa3ohFYTiGpfnCmRvOsyCBvlCuLtUL142Q+V2wCWkTdmUfAnXCjGY3AegRppqOirphOE1/VWcZl8iBcfQqUhD2/LjE6XNgMcZlhVvtzeHVjyy5GZuYIRTJ1V0P2xs/Ijw4d6JBM8DycgYHYrlb4uOjOnuvrUU0e8TxOUK9nZ6JDZ8CNoJeWsdPnIHek2zHfEX+DbXPnffZH3xZw4Fh09C1Rh9SbHTy1CzNwpCkGpjTXkqcHUgdL+F2bP/g265Bbdvc4Q0ZRUecVCzrkO3IDuQ/iyrpSlGgCEhWFjJMc9FMENIXdSiyEJBBZ1TKDMhONiNgIGSWQIhC6ZCZ5Hi2F8jv6CmNUH4snqEfuSpD+qYDyv3VvvdGsZLP29VBWaQ7lEllMAiii/SlyMabZ5nrZlJlbWQuzh4lbLhnra22BaggpVyV5LfQuHl3TdZ/e69Nu9yIIju78X2gXWoF+CDzqBjSgF9AIsNLjH1hq6BqyXu/sPGj/AEHvjeUz0L/np3u7VjVwgRLon9KfC7C9VqSEprrN6b3H2OzgunHQMeuhh/4uZDLfkmoJnlnyfCFia3BIQCmiKt0SvuBJripNIzY8wrbJUy7x7tDkubaB4HBEJbEAN+Xa5BgBzxz26zy0b9ADpnvNMtTt9oKeXn/75pBhjelUDIEji6Jy772jHm6MViwY3cDq5dWP738Z395MHBWHqbgXWD3xzHoJMISsvgdt3RuvawMifsduJqvj3hSFDVfarIRUFXCK0qR07/wqTu5dFXeBTBNRQ6/fPbgdLOHFSbl+cmZNz7zj3rkNIzro6ydvtL5jbrnu2h3v6GxU9tHX635ZqPZwH05rvvcQ0WwybQJ9Q7e0mM+Ndcs1Lft0fdddg+WsgC4snl6YJ9jrru+aeNsMQENVy7l7O3EgncEwk8GUIscVrSp6+oYOem+90ab3nK73nE7zfGCbwbHV2d30upuBdzSm2iXeMeipifAKPi9LiBO3tdEv3TtfbFprdR/sKd1rH94FpssG2sI7p0JChBnfQEPU8m0GPcqUvk5/nUFVXabClRAFUonYRT0AbZgA167e79N1blMoNCkEpVgJxXS6UZ05NtTNuuFCS1QhZijS63RA9TBEyBSGjDkhqJrkYeiA/avgWZsfYXcTTAuP9CzADJZFWC2rEFAa0/COrgu5giuwC7qQScwwHSl2izTJBXNaxcnn8T/PHA3Ka8UclRUr4dBoWRTQGr98pQCxoB8wxDB0LoV4EPoZLKk1gZRp+0cINTtagefZfk8ZaYzoaGofsZ4RhhwQHMKE4C9EFWKJRTToqJKvc8eDklGk7gVFTJfwFDCIZPjsYRMqYQ/jk9dogBS6vQtThn8JVrkWPBbSLSBwEPxripNZXw5OAHqpk1LIEMFVeNbr+3AGoeRkeIqpgsuQNdCd3A1cC94gYkz+YOZoTkgn+ZqhAn7GSxfNglhqbJEUUmpGu0I40bYLplOwap2vFFyF9TASta1NmiIxb6WYesVQE95qMpIsRwPpIkykbul8jYEvGxrGTIOFhbEzbaCnN3r4jScZC3SmQKpBP4BInUO717qIfAHhEyIWDetcQpjHRrml9TlMYdHKdd7FDm0xq+cvxcbdzz1orjtmsAnKWunmBGONaL3+8HxdWwjt19SIfdjc6t080GIGcmEI2wPSzRLKZ8v2jH59ohyF4CtsIms43ir0HHNrx+pYtzC5ybnQuFvruVcAKOIypvdewfaB12aoSU3ntbwipcTYcW7+9vGvV+Gn9zc3xDneG7O0NI/O01otbRWCMzxB3PllPJxMH3fxr1B0CrAymFbAfDXSqPnLVxu2u2ZvC4JVcKrH8LE3NVfGUUbHCzYm2jA00Asmbai5VfPeYAJd0Uy0QqVyddOn52dB/5T2+heezhII4nZMdb13zczbPT0btvUJ7QaxAzVvDhVELSFiRzMp+EpHZFQl95CF48eXMcMbeEAntNF2agXiqjk2bNmY4qErkdFWK2+K8jFqCwOrPDAw2l79m+vJ9Nho8Kyo7HIcGbd49nFJGKILJ232T3dp0XDQkuwlNQ8THpPxFBpwhQnntsfpE257mf9Ym50izCA/QjLWzKetAE+HG8smjh7scCp0psf9owwFONPvAz8Y6LMyNqGlw4ohRnshAieOiTxQ6LhHbZ1/7KA3U3p0lNG6xAbRx6nwBfF0XldJmlRbhlqaS4D+csteED7SuzsVmoIlY89stfN0k2Twu5cSIDdHg/Uw7s1AvmWZ1zgWqYf2qM/j2LWGtSXgw18+fry5epz+j/ORydgqB5fLrTiKA8ATG1BjFW0E7SFtgKdlpIEFIuUl1LjQ1jS4wYGq9mINsxvGliGGhrL7B5CPrqBfjLmHbRg9qWGmMNfyPrnHL0mH8v3F6GmdYfsUFoAXia0vIA+wqIKnk3xxUNyrXH6/SBxejdRXKyBQQluyWjRmeX4CulrYsNdHlKkH0NNMiwVg7bbn6UpsWcqzWczJePhyOtowhqVHAdZF0/gJYIoN0Bm0bjHnAbfvoO6YNeoAXOUQJsyBYXUhYIJt7Ui0FvhVGiVSHG2hskLPT+YJ7CJGJoUE6GjBL1CGtlLsGg9MPgYPN1t6/IBuFJxCASn1kBuqJe+fnTP7Udw3r6774cRpvqP45dbBT9scxoZthV9QNESKE1QZ7oNGL0BBGa5ygCnMQYxOYjHndVqpfQUr/cnosEBAv3uJ9Yo8befvyD9kUkFlJzHg9lm6JTMx11+A8i0xl9aNCFuIFHc1nBRoMSKgstcgJvZ1XOi8NU6zGWte7OTSFDvrVvPTYhsjx2mGjl1116DhCUx4DCK8VwFRUw5/vL66+teTcmj1269jI11x9iboJ1Bk5/aLHRT541jk16CI3wcXaJMgz6cQQmZ6Nv3SNvBh279fat8NjvjaQgP1AixQvxUXNIoeggfqj0MDG2H/c0jworj99v+EaO/Dumny9BuQAOPPitOhb2vTr2mXxpytCn+sW+8DjuurTx+vbw8Ajv8CtNjDO0/Syd68ccReTumO9RJ9Y1Kn83hmw0Fv116eGOfgePaKbaxhLj/+jIXniSqPrvgfBTfuOQ=="},"runner_filename":"run_search.py","runner_note":"The embedded original runner includes its actual wall-clock deadline, already in the past on a later reproduction. For replay only, reset START to time.time() and put run_search.py beside kit/, replica/qlxcore/, audit/b2r3/ and production.json. This affects time budget only. The experiment as measured was unmodified.","steps":["Decode base64(zlib(tar)) code_zb64 from the pinned replica artifact; retain enginecore_f.py unchanged. Decode the pinned audit payload_zb64 for b2r3/runs/per_seed_512.csv.","Decode production code_zb64.QLX5 to QLX5.sol and verify full hash. Run mktables.py production.json replica/qlxcore/qlx_tables.json. Verify table and core hashes.","Apply the embedded unified diff to an exact copy of qlxcore.py named qlxblend.py; verify its hash. Keep qlxcore.py unchanged.","Set up the pinned kit with --platform linux-x86_64 --replica-only --cache test/scratch/phase2-blend/cache --scratch test/scratch/phase2-blend/runtime.","Set OPENBLAS_NUM_THREADS=1 OMP_NUM_THREADS=1 MKL_NUM_THREADS=1 NUMBA_NUM_THREADS=1 PYTHONDONTWRITEBYTECODE=1 and NUMBA_CACHE_DIR under scratch. Run the embedded runner with the kit venv interpreter. Eight spawn workers; no host inspection."]},"solidity_edit_recipe":{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","status":"Recipe only; not compiled, promoted, submitted, or engine-evaluated.","base_source_sha256":"e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40","scope":"Inside fees() only, replace the following exact two-line block once. Replace BLEND_NUMERATOR with the chosen integer L; no other edits. Signed Solidity division truncates toward zero. Both table lookups receive identical original coordinates; offsets are added after blending.","before":"        int256 xa=surf(t,b,pw,p2,k,tt,uint256(nc1)-1)+wq-w;\n        int256 xb=surf(t,b,320*U-pw,nc1*U-p2,k,tt,uint256(nc1)-1)+w-wq;\n","after_template":"        int256 xa=surf(t,b,pw,p2,k,tt,uint256(nc1)-1);\n        int256 xb=surf(t,b,320*U-pw,nc1*U-p2,k,tt,uint256(nc1)-1);\n        if(ph==2&&syn){\n            QT memory t1=qt(1);\n            int256 a1=surf(t1,b,pw,p2,k,tt,uint256(nc1)-1);\n            int256 b1=surf(t1,b,320*U-pw,nc1*U-p2,k,tt,uint256(nc1)-1);\n            xa+=(a1-xa)*BLEND_NUMERATOR/10000;\n            xb+=(b1-xb)*BLEND_NUMERATOR/10000;\n        }\n        xa+=wq-w;\n        xb+=w-wq;\n","expected_source_hashes":[{"L":1250,"source_sha256":"0317fe3f8522a1363559e35afa741c91458d81699da208bd27ebf05c3b7dd544","source_characters":47526},{"L":2500,"source_sha256":"f6dfde6d7310bbd25aff9e84c78f17af5e5951a9f1f2a65b503a2baf4b10bb52","source_characters":47526},{"L":5000,"source_sha256":"b9d3e5f4485b2efd5cc9ac65208dbbcd4331d43b7e0edd6306e76d6a66744e0f","source_characters":47526},{"L":7500,"source_sha256":"7d2c1475c674e0ed8ef45236cffc25fac297919cb373c9d91b1c6b35a1192633","source_characters":47526}],"selected_source_sha256":null,"source_limit":50000,"deployed_bytes":null,"afterSwap_peak_gas":null,"OOG":null},"timings":{"budget_seconds":2700,"budget_started_utc":"2026-11-11T01:08:52+00:00","search_started_utc":"2026-11-11T01:11:04.372452+00:00","search_finished_utc":"2026-11-11T01:19:34.833021+00:00","search_wall_seconds":510.46070413000416,"smoke_wall_seconds":11.384360356954858,"kit_setup_seconds":11.374,"total_experiment_wall_seconds":642.833021},"provenance":{"links":{"replica":"https://api.imd.fun/artifacts/60dc237fa0a4d42f3b6e2d2bed61c1a2df08d27c31ccd95cce508ee9c8689de4","audit":"https://api.imd.fun/artifacts/362fb97f041087bf3548c302af4c0f82d2537d6a6c0157a95ac06d0cb70a5ce4","production":"https://api.imd.fun/artifacts/1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15","setup":"https://raw.githubusercontent.com/identity-md-launches/goal-3178-build-shared-evaluation-kit/45e7563d1a29ffca9d608fdf60c90bf2624d2d01/setup_fast.sh","score":"https://raw.githubusercontent.com/identity-md-launches/goal-3178-build-shared-evaluation-kit/45e7563d1a29ffca9d608fdf60c90bf2624d2d01/score.py"},"artifact_sha256":{"replica":"60dc237fa0a4d42f3b6e2d2bed61c1a2df08d27c31ccd95cce508ee9c8689de4","audit":"362fb97f041087bf3548c302af4c0f82d2537d6a6c0157a95ac06d0cb70a5ce4","production":"1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15"},"files_sha256":{"qlxcore.py":"701dbfd1175fee7d129de92db21b1ddc78645796c422b29d8efba2eda501ab00","qlxblend.py":"384e917bc63146193c8b3bd2f9b813fb76cf3dbff6329f9e2079c6d9603bbd11","enginecore_f.py":"60af56a7570fabd603c6374d38a38f88b3c35a8f1e8192f588769460a96bfcfd","mktables.py":"2b373f0c821f501ea67538f9bbaf2f3be9c1c44a7152cb5f4d32622e1a8a8e6a","qlx_tables.json":"8c6d33c5c1024bc23593f46123aad1712c0cc8af3f4a118c5875258f9d7b81a6"},"replica_bundle_tar_sha256":"0e8adc477297130b731395b8494b6652c982d2c865306a317e139835d21e27f3","audit_bundle_tar_sha256":"c9d5f89540cbcb02096c74f12e797d2f225b43adeb6002b24594dedf9b1d9ef5","audit_unrounded_rows_sha256":"06bce18b1eb7712b848713baa86cabd2265778d480be61d2f4af59f8753cdc90","production_QPL1_sha256":"830868f9b3e5ad162c4f2070e6faed0782c7b4cc308ab69044b2cf7306f68099","setup_fast_sha256":"48e150d165ea3b385fb92e0e3a7aefbbe0d97c38c53efa737a587ed62c308d20","upstream_audit_claim":"Audit reports bit-identical 512 unrounded QLX5 edges. Locally reproduced four before search; full 512 not independently repeated here.","local_evidence":"Smoke rows, choosing/report summaries, embedded measured runner and patch; these are local checks, not independent certification.","source_refetch_checks":[{"url":"https://api.imd.fun/artifacts/60dc237fa0a4d42f3b6e2d2bed61c1a2df08d27c31ccd95cce508ee9c8689de4","sha256":"60dc237fa0a4d42f3b6e2d2bed61c1a2df08d27c31ccd95cce508ee9c8689de4","refetch_identical":true},{"url":"https://api.imd.fun/artifacts/362fb97f041087bf3548c302af4c0f82d2537d6a6c0157a95ac06d0cb70a5ce4","sha256":"362fb97f041087bf3548c302af4c0f82d2537d6a6c0157a95ac06d0cb70a5ce4","refetch_identical":true},{"url":"https://api.imd.fun/artifacts/1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15","sha256":"1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15","refetch_identical":true},{"url":"https://raw.githubusercontent.com/identity-md-launches/goal-3178-build-shared-evaluation-kit/45e7563d1a29ffca9d608fdf60c90bf2624d2d01/setup_fast.sh","sha256":"48e150d165ea3b385fb92e0e3a7aefbbe0d97c38c53efa737a587ed62c308d20","refetch_identical":true},{"url":"https://raw.githubusercontent.com/identity-md-launches/goal-3178-build-shared-evaluation-kit/45e7563d1a29ffca9d608fdf60c90bf2624d2d01/score.py","sha256":"7b9fa5e37695a5d1b048efe91a8b6c45d31bd4245a733261774c871fe9105a43","refetch_identical":true}]},"limitations":["Replica evidence only. No contract promotion or submission. No engine E seeds evaluated.","Only four prescribed L settings tested; all other policy knobs and production tables unchanged. No AGE.","No new engine, Solidity bytecode, gas, OOG, callback-label or fee-difference gate certification for the blended policy. Limits remain unverified beyond source length and local integer-branch checks.","Embedded patch/config and runner reproduce the change against hash-pinned upstream sources. Runtime/dependency archives remain scratch-only as requested; external provenance URLs are required to reconstruct that upstream environment."],"report_pairs":null,"tested_configs":[{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","knobs":{"phase2_blend_L":1250},"all_other_knobs":"QLX5 defaults","source_sha256":"384e917bc63146193c8b3bd2f9b813fb76cf3dbff6329f9e2079c6d9603bbd11","config_sha256":"6606d8e7125b5e4d5401a36135c0fc86f661ce4e7df841dfc0985d0e617526c1"},{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","knobs":{"phase2_blend_L":2500},"all_other_knobs":"QLX5 defaults","source_sha256":"384e917bc63146193c8b3bd2f9b813fb76cf3dbff6329f9e2079c6d9603bbd11","config_sha256":"953ab1e851cf7336f236e50bfdca838de39505439f594b0138d6ef83a389f42b"},{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","knobs":{"phase2_blend_L":5000},"all_other_knobs":"QLX5 defaults","source_sha256":"384e917bc63146193c8b3bd2f9b813fb76cf3dbff6329f9e2079c6d9603bbd11","config_sha256":"1e34c58dd9f76ebba309ca3bd6fa641728c1fd4565443e8da8d75234058610d2"},{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","knobs":{"phase2_blend_L":7500},"all_other_knobs":"QLX5 defaults","source_sha256":"384e917bc63146193c8b3bd2f9b813fb76cf3dbff6329f9e2079c6d9603bbd11","config_sha256":"fabd913d588c9e3bf6d1edfe9acd6423756332421568642fb08c2d0aabee75a5"}],"config_hash_note":"tested_configs hashes are SHA256 of canonical compact sorted JSON for the knobs object alone.","advance_reason":"All four settings hit the mandated mean+2se<0.03 choosing stop; no setting was frozen and no report seeds were evaluated.","freeze_record_status":"not created: no setting survived completed choosing","choosing_pairs":{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","encoding":"base64(zlib(bytes))","sha256":"d06a4c0bc7182e09200100ea0c4c4126b06a2a190c90da79d461f4e5146eba33","uncompressed_bytes":23040,"data":"eNpdnHc8V+//xklISkLikxIpRDIjGS+pVCoiqy1RZlbWew+jYaeMUKSUJGWlEKKFQlZCoVAyEhXJ7z7fv373+et6PK5H1vvc53Vf93leHR6eaR6grjRhiJ0LQSo0l0+v4OGZ5oWQuVylXRMsoMzrM9+j6YW8ecDVni9xxzsVuFo2rDu9x5HHB8yYB6xglT9In6g09w8jbz6w1Ffv88mpQJpzODa4Gnn8wPIVN6owWQ8sv5X9tr4LkScAwWpxRz4JDkHwRp7kukJ95AkCO6FB2A7+AvtyrT336C7kLYBQ6kFnnrJ0CKUcLDvwYB/yhIBtQrtOG/sNbGPB2THec8hbCCxOWGtmqTuw2NPZ9ZYeyBMGpsrtudSELUiv0A8VjiJvEbA97kgnG7xFmnH++56byFsMwWzn4uQHSyA4bOczM8EA5IkAg9Z2PdagAhj05c4eq54ibwlQNxS+c5FZDlQ10z37uq4gTxRCihQ3ZTXaQkhh5c6tQmuQtxRohjfOzqZcA5pRyVCbCAN5YsDqPC/aG7QfqbWvFSggTxyCetdK+rLykcb/rVpvhjwJ4PSuzrP4ux04fVrDX4M/IG8ZMAJDes8vjQCGb92o9TYu8iSB1XBJhS7tg9TN8HXXMuQth/DNeo6fJC0gXP/kXQlNKeRJQYiHQIijbRPS9L1+M4eRJw0s1RNTm6WLkFZEyHZqIu8/CATZJvfvXRBoAoIbAu8jbwVQ0v6zzBxsRcp40GDOizwZoHpKrP9kFQZU90tD7upxyFsJLD1lU3FLANZmlRPj7kPIWwVsPs8da/eNAXv+mS/7hyjIkwVOg2fKwpJXwKnXG/ESN0HeagheG1m82jYdgteEjl/XW4Q8OWAdn1/5cPgtUt11uucmkCcP3Et3dw9NvARufMvXcUcd5K0B9r3u0mwPAaTJuVJPO5CnAFTNfkUB2kKg6jgn3pIiru9aYOT5H0pLs0fKvbo30gV56yBgIGSaz/kK0sawuQdWyFMEptNvpXEptF5OCjdaBh1BnhIEGHbNPHDKggAjzWKarAbylIEj5XDIcdUR4EgW7hIPJ/6O9cCuu3dOz1kD2A1Ld0lZE/eCCtBPDii6yAoh/bpuo2Ex8lSBrp1/qMcekD4/u1tQG3kbgHk9T4LnJBWY14betj+JR54aUMrfrQjiTQHKU7pvpcl+5G0E5nIFGQtZHWBK/ntbK/kNeerAFdrqv7YvFqnvlrb9BshDv8NjFae2UWuk2x3KrogjTxNooomi/MbmSB/OkywnvlYLgqZua/t/uomUT+vx2TrkaUP44riLXzNGkFIzPYuJa6kD4UuWunh/+oX0isGFkBDkbQLKpbmaaslmoFz+vKDlTgLydIHxqSH8uUo90uvsyC4j5OkB5w2/8YvPa9G1L/1+6cM15G0G5kz7cGn2L6T2K5auI9aaPrD+2K3qSXIG1u/yKaH6WuRtAe63hrz8vEVIHV7sraxEngGw/9z6/o1bAexpNTcvLUXkGQLnqpne3vgNwEk1MFltnow8IwiLCKto9JhD6s+xYagizxiYhaEvufzzkR7puO6wFHkA4S0lfgWTehD+Lqrk3/MU5JkAs6ZFf83PZGC+4D+lIxuGvK3ANHqr1VQmA0zjBcH7yonrYQqsx9RuU/o9YJWJjpp9IObVNmCU/vFzedYLjEezqiJ5esjbDtzIYKO8pRyk70TPLiBm2A5gLn2XQW28hTTt70PNu8gzA66Hllfes8tISy7xVBsibycwN+kP7z99AZg6k7/DlH8gbxfQNK74hrrJI9W0qUuXQ95uoGdEiqW8DkAq+v6KhQ/y0LX2dUrxe81BKpyzR5ZY93uAohn8IsbuFVA0TD7ltRPrfi9wH168MDFjBdyCxfaCmcTM3geUU4JRWsqjQHHZNeX8wBV5FhDMGq+XT0iAYMagYLwKMUssIUg2QnBYnIK0x+VhSB/y9gPD35LjZL0ezatQ22fhxLy3gpBvEbk/J1sgZNhcUqz0FfKsgUUtfpJ66zuwKDsmNrGINXkAODzfmWmJe5G2jI+/lEGeDXC86IfdHm4BjmeLsVznaeTZAp0yebbyxiTQQ9ojeJ49Q54dcNifVWIenwEOxzL7l9JP5NkDV61HYqRwCmkAw7ziAvIcgMXr42zYWYO01ESu8yTyDkKoWGE6zygDQsVrderN/yDvELCzRZPkKFPAvrX+7GZ5X+QdBq7R1esXiwaAC078W/93D6I5MOir9DeJBZwBb8g5/Bp5R4Hp3cv13bQEmD6s77PDJ5B3DFgPpWdv6TGA9UBFx7QnAnnHgRaU2pm3Lg9owfkPtcqDkecIzGPUXPEDn4F53JEe+3A+8k4AxaHt/nqFGKDYJjV47SH2GScIVZeLUH2uC6FqbaqPvIn78iTaT32rMkoa0f7azL/5AzEPnCHkrAr/2KMNSF9f07kjgjwXCF4Y0v9saSjS4J9bDf8h7xSw5ONfRduKAGuNMP1qPvE5nwa2fy8l8fFWYPttLGhOG0SeK9BXrFaw/GCCVNDczs0UeW7AurWyaIxCAdbNpFSxrv+Q5w7sTsu9LzPSkf6V/Lv2DfI8ILihOWX4rD4Ev3Fcn1LljTxPoFP1eqppZ4BOfxGvnE3c017A2TK8aMkDNDe2vGz7+qEUeWeAJeFbZeYQByzJDN2X8cQ194bgr7/Xd2SKQ/D3WIYUbQXyfIApF1tn8SUPmPIC547HiiLPF/2u640H7XWQnvLndXFCnh9wvW7vLFtRDlzPz6oBd9cjzx9oM70/F7rPAG3WL2rXDg7yzgL9q5ZUQtg3oH/e93P5a3nkBQD7zJFmzyeBSA9NW5UJIC8QqAY/tr7pbQaqYXJkSys/8oKAMhW5fkVIFFAmgwPCj1CRFwyMPtGwkj2hSFvyYxjEjA0Bzqtz6tOLFJGyr53hJ/YZCnBDDqQrpzUg9U21ELREHhWoNJdtlM8VQGW83DeYTMwSGtDz7HUcJmqAfrfit6oYE3l0CHH9HTm4VxdCTtEa22+UII8B7Bu3tgttRPkq661uYWQsD5b/ZLRH0quK8fzHs5+W6rSElP9mqHqj+/H8F7vnR0tlDp7/NBjLHC+JkfLfcvMB9at4/tvw86HQZBue/xJE467sdMbzH9W6YNRCE89/Jg6ViVn6eP7jaC6Pl3Mn5b+CPIl7Z/H8597ruE21Cs9/4Zsyfif04PmP9szrh0E8Kf+dszGqLsPzX4lspjXnA57/DPQHaN29eP77oLsxyvYwnv/6CsVeiLwl5T9p/4yX/Hj+8+tZr8FswvPfG6V1vegjxfLfZrvoK7IOpPx3XVtH7i4p/9V6L3C/jec/6PVdLL8Bz3+pg3tMX27H898Z84dbcm6Q8l/Lg/P+e/H8xxfxqCSKiee/umuOx2bv4flPYexXv+YVUv7z2JV7wQXPf5cPaXS94Sflv4murtTneP7TvncqMN4Iz3/3pPrMLEPx/Nf3WauPaovnvxMHSncXXcLzn8FY5UPzXDz/LY/+WWLrg+e/urUVm7c9JuW/vez9nuGk/KfS+Sz1Ip7/rkOqalgbnv8qZSoTaqxI+e9F/oDsOCn/KX8z5p3F81/pAxkDnjpS/hvTfftllpT/Wtf5feTB89/ClqDpNElS/nOYUT0XQMp/a+0zjQ7j+e/j24q9Q3Gk/JfQtD9UjJT/Fi/TzNxHyn/v8nxneEj5b4D7gyuP578/S47v3fmQlP/8pnkz+PH8F177rUErnZT/4t5e6Nch5b8zPjfXupHy326BNauj8PxnVLjAKcuUlP/E6ifTYvH89yT9wE+xdXj+i/qeJ04PIOU/R6uLwbN4/vPatDT47A9S/ptd0c0ywvOfJmeBT/45Uv6rSTfc7ErKf6dP/IypI+U/uTSxs7V4/nv46Wi57w88/zmNLvzmooTnP1omh0+7CM9/q0W6hf0Bz39+Vygf+G1J+U+yJSb6PSn/tT+22m1Dyn8vql87n8bzn5fudYFdFXj+o66093zjRsp/YaNRFddJ+U+nQlNtDyn/ddyMyNfA859Eqvcb1mdS/uM/fuHwSVL+8zqn5zuI57+hJNMlu7eQ8t/nZV9+6+L5L3/ALt7CDs9/lGy2sPFSPP85KvUxc/nw/GfH//DoAJWU/4ZHnQ8b4Plvo9LWpYrteP7zs9DZO8CP5z+hVsFFQ3N4/pP/nvU5WQrPf76c7vBEQzz/ycR8SxU5iee/W43PLRdU4/mv60V6V8ZFUv7bvoIT1ojnP0b8fYWiBjz/GdBaNVIW4flPQu1K9Kv9eP4b0binz59Myn+io/Y+mqT8p9vyNHo/Kf/N/KImbMHz37/aP4I2lXj++9aitbKnkZT/2Hw1tUtI+e9oZFFZFin/dfopdtzC81+vbbz1yt+k/Oevxcq1IeW/5Nyi8p+k/Oc/3nCpl5T//jRfiD1Myn8NtUmrVuL57wb13zltIeQxgXMmdHfMI/Rzz0jyb/Ql7ksWcFXoYv5LeoCryhE7ySLyFRtC7PtNg92XIZXLLX7jiDwOmk3BJjsdioGp6089pkDkJi5w7C/ELoy6jtRly9AM8dmHAqtNfMh6wAhpQNwnB2KGhQHz3690rVZ0jeZU2yVKiOwYDoz4UpMfax8AI66ztC31L/IiIKS157jEPiMIadNh/24lfudzwBySGY5w+gnMwe0+Kv7EGeI8BI+rSvaEXYLg0cGaoVDiPkczs655NbXLCpivd6ZOfyWe01xE91RjxKFyfbTHO6X9yyZyeyQwNPMnPmz5CAztAIV/psTfEQV0jWOpd2gKSFebNu2uR140MLRMxdMChoCh0ZUtnkLcMzFA71y9YeONSqB3WYunrCIyYSwwPQX+LU+aAqbXgUevrxAZMw6C+tOfrJpKg6CB/CUBidPIiwfmGf+iI7ro359JHA3rIWbsJWBu46Tri/UBcyvV6JkjcUZMQHtJz0BUhC8wKu5wH5QQz2PRHrEmfLbtKcpD8hX9lq5EXrsCHKfvx091HUT6KktdURh5iUDtC1+cTb0E1P79u4IuE88yktC1rtpQTG9E+j3x+kHia5OBdYZ98qHCN6SH5pSjiRmRApyb4yH2hqeAc4vvmbh/BvKuAiM9v948JgkYmZKnRZVkkZcKwS9dQ+lmC5H2dS/aTOS/NGDMn3nwyAqtcb7TYjfeE2ewdOAIe2qYPET5aWGToeptYu1eA4bFxdclNDYwrLinGs3GkHcdWJUXL0XxqQGralWoWORB5GWgOSrneOptMNJ3+4vNiVmXCaFCS17/DvWGUEHz0YWbiLVxA5iaIReS+58CU2s3xcuchbwsYOsUSZfaPEY60KwV1oy8m8BcoazfUYk+5/80Bx+qEs+Gb0Goa/OTxskZCHUPvbxqOZETs4ETPHNbI4gOHIrpefkNxDq9Df6zafoXKxPB/6+O26QKcW/dAbbEikL9W0uRHjyft56YQznAvmz49JLFHLAvjeZS2cS+fxfYVw7VOmuiXJy84mPqfGLG5gJ1b7rGYgU3pB8LZncQ3+8ecP9ZRjJGpYA7Oyf8hU2cdfPQNdwp8EO/Gmls8pdu4pnvfWDXuvX8XLURKX8FI5N4zpCPPnO7kwJKecAQjA4wWkLMtQdAVR7YXax2E6jrtC4dPhKDvIdAbVZo4jX6D+mGubEdRAYpANbe+V/mKgyAted21e+Tp5BXCMysEknqvwpg3vhWqv+XeA5cBEHDCr8CUx2Q/lxzqJ94zlUMFLHYb+YfVwFFPFx2zQkiI5UAlaLktNBvMVBDHAIP+39F3iNgiR9dMbf5J7DEliyPvks8FygFanb2oWzJE0h3O4eutkfeY6DPiD/J6P2C9DDdIlQaeU+AWj4o4pYxBdSK5wFfv3Yhrwyd5YwmP/5Bn6n7GO1eOfFzy4G1VvUiYxTtSwpdB+1P7UReBXC2n0vJceQFzk6HNY8TiDPxU+A6B1t2auwCrtOdNMMcP+RVAvv35HXleUNIr9qqmBK5vQqdSc+/WAO8SB9V1SgSGaQaWAlb3/8YbUA6ohm/jcgbz9D8bm6VdELnt7qa3e3dRD6tAWbciy+DjwOBeUlQvXMr8eyrFvy//PkavYAF/kPc878WEs+lngMnb9tC7ZdiSAsbJX4Q+8ILYGYvOtirYIb0oFZf3GLkvQTmrs2DPC28SNsLtDYTWfkVsLVvNVaePYf0nea6O5+Q9xq4Ni+mdZ4cAK7tbsfO/cT1rQPWFzq13WcxsD5PudjcsUZePQQ7GzStKpWDYCePHwENNchrACo71ulGXyNSgWH5ciKXvIGAwo304NLrEFA8tCLKNxp5b4EubLe0/1s00PldjpicIc50jUBLKW7TfTYJtKSBxpb3RDZrAtq2+juXvo4CbafBSM934t5vhvCV+ndYk20QLpPEurqJyJ3vgGMu9yLqWw9wdv+y7XtJzOIW4AQOB57RrUYqIH1iyR3ktaKfB56aMbeBLrh35ZwxcS3bgB43q/p0TzDQU4TuhSUSuaQdmIIBPPadykiHfL8/JD6/DmC/Cz7/tNgJ2M1fZF9pEc+f3wNDTXZ0IlAaGOpBL69ckUBeJ4TcGbnBt8ARQu6mBX+rIWb7B2Bv/priLl4KbH1L+gJdYmZ3Aeuq4zLPZTpIn7OKp4lM2A10g3O1Zr0dQNefm7ewlVi7PRDapq4IR1QhtH3pg9kQ4ln4R6DcO/rHYwETKHms9JxB4l74BBRP1dfPlyUDxSPNmP9/57JeCM2RECzyGYXQO5flmsyI/aMPaIJ9gXanTJFmVVk934i8fmDGtr8/sR793TGjhTYlBFP6DCHzdQZbbo1CCN+ETqYPMSO+AGuHK0/s009IHxxS8gxE3gAwBfJF3gYtR+rt9FaceB42CGx50T1Hi9FZW17qZm9zGvKGgHI78Znexw1AubN8/fRGYj5/BVqmh2/pc1egXav38FlAnNm/QVB1igLjaTQE1fx3tWY7sf6GgfmbEt7JcwKYf+S67y9JQt53YIvNaxGLvIXUtzpTl3gGOgIs06mhdSaeSF11E/qJZ5uj4J83PlxkZAD+9yW+1G8uRN4YUEu8cjea3Qdq8Yauz57o4Dg9Diwd+0ewaBvSj5KOuQT/+AEcaQNl1lsH4PyXq2G49wvyJoDTLa8rkIZmfFftk/U6xPMNlCnefB6X6S8BZuPhPepriLmBzhj9ZefCpH4g1eTJeknMxClgrTQ6sWrbaWCtMjnPWjOFvF/ANTDmzq09gZQT4NxyGXm/0TrZKl2Vxwa2obLV7VeCyPuDzu+JmiZR35BGGOcsIObLNITuUg2dPT+FdNe+i5LEXjYDwTf0pmTqDZGO7NTfQZyj/kJQQWh33vRGpDUBZbfQzT89C4wsK6XDynXAuLHqTNL/rvk/YK12uL79nQ3K8tHLvapSkTcHNPvDL7uMQoBmx+aR3on2wRkeCDyfIeE57zXSC1YehpHIQzPu+LsS9f5ZpO4emloTyJsHHIdfvXpz6IztoH7l7WkL5PEBs2mz337dk0jL9Udf+CIPna0rzib8YaAzTIVHl1Uxmokz/EAVfbDRT+M6UJf41Cw+hmbEjADQq09+vB0tDvTndzJ/trCRJwhs5ScZNTRdYK8X/nTmBNrfZhYAvSQu8MM3f6Txr3bFaCNPCNi6cfmliXXA3mRlt40Xzc6ZhcCe3lBT/QOt1+nmoYynPsgThrD5TuPNiveQfoxW24fy38wiCBPYrJYi9A7p/ta9d44jbzEwE/Z/L0N7PPPydc19MSiDzIgA5+PWdx+OhSMVmqxrQ5/9zBII3TTv1i0nRQjVafQ8jLYKnhlRoF3NivxV1Au0NNe9/wkoIG8phGgvKqyfNw9CtOYVhUWsRZ4YhJttbZuw/QHh27qq/MaJv0McmPPFaixRLmHyR7S/XJWIPAlgnfxrlCw1itQ1seAnHXnLgG47O/CGMwZ0O3ajNL8n8iSBtUCl+lobWuuChXGbHYnvtxxoZz3b1VcKAM2/vjXkPzSHZqSAU+F7qfXvWeA8vfO1/Ow75EkDs9217L5ZKTA7FjjTBSjI+w9oz/6bkb45H6nfeb63KGPOrACuTGPUxl87gLtqtYHLMrROZ2SAnpi8U6t1FujJW5z/bWQibyWw5oxv3h/5CWweqcusP+gMMYMywCtuiH6DBVBe3i0UO2WJPFlghdmP3TREGTM0zNYkE63dmdVArwja5SNxAOiVQ0sO6BOfnxxwRpYPGLVqIV07NxL/HHnycE7s6RMROTc4t3Rv9PZA4rNfA4Fzwq8Xl1sgXQfFHGL9KQCr1v77kto+pMIPBrVRTpxZCwFyC/dcyHwEAavOqU7MQ3vPzDrgsBZvvmG4Bemamw266AwxowiUmIbe48YFSIUON/8kPgMloE9cVn6/nAfoU8qOLt7FyEP5Vb7UujlcGjir453znqH9Y2Y9cEqLGvn80F5Veqrq7exL5KkAO7AjR3SuH9hBVjodysRnj2Y/JU60N00QQhlKLwWOcJC3AWWU+MAzz5RQZlklMjNcgDw14Dz6uGy0uBx9P3fzR8vQuXsG3fMa8lZPEkogSP2QSuOOc8hTB+4+t7T2rCjgmle9PjXVgjwNYL44kyl5DJ1/nmfsDy4m7nNNCBaYE+5+4QPBC+6Ijrs4IE8LKDaXD07q2QDFlqna44rO2DPaENxccav08TMIbllntFv1CfJ00L0s8e7g+FFglvvaWNxEmXVmE3AseCTbzdHvZ3lD5+pzNMdndIFpcHJJqOYHYG5J4JpxiHWlB4yvFvtUl9kD48t4155xNGNnNgPzadO6LQvQvyuPHRK/gG6kGX3guKhFrH85AhzniR9SmRrI2wLUoaqejFwDpM8dEjcSP9cA2PN9TPuU6cDmM1p8t52YV4ZAkVnbsaTsJlD+E5h800RccyPgjgvvWCDjANwfg0HZK4nfxRjtsa8jtn51Qnuui/GXMGL9AXC+udxtEpcAzte44zvjGMgzQdljm92PjvcoJ249rV8uhrytwJba5tr/ZBfSyU8JNehMN2MKTEWZueV3GUh7ElM3PELeNghwnUre0R+J9JJg1yAxN7YDi+971rGDpehe3Rs//74O8nZAiJXS0D8NbQixvD+4NnAh8swg9JjxkX1/ypBy8sNSO5G3E+hbLA/WjaMsbGDWPtGIstnMLnRdWXcL1vEgLYrSVupG3m5gORbOKKg8QWoWE7IgG3nmQHlsrjFWUAqU4sH9L6KI+3IP0JNWTA+N5KH7+NANg41yyNsLnKUvxoa64pBa8BYdRWeXmX3APQpbgx9OIq1eXOSCzoMzFsBVNnyjl5UIXEXPxIb/0Dl+xhKoBlPbZ3VXA3XzqSNilSgzzOwHzjPtyd95aF99lr3m4Vnic7GC0JaRRysPhEJofWHtq3K0H81YA/UHu+uJ2BBQxx+NlU0RM+IAMCUokc8V5IEp3rygii2JPBugSSw3mdpuCTRxt0N5QrXIswXG42M6Ol+56Gw8mraChc4VM3YQXNirJmpRhPSEyMkdmcizh5BbinmGl69CyM3lyW2UUuQ5oKzXO3/4UA8wNkpNbYqdRN5BYG9ky3fr8ABbbc9ItxGxbx0C1mTngVRtH2D9/KU0wkb5dOYwsKKqV0S910Xay17fgrLozBE469VOa/prBWc9336T5iX2y6PA6fy2ZVtJPXA+3PcIfE/83GPAvaYkYTdyHripw0Pxh0SQdxwC++6Zyli1IX33PFypAXmOwDGNrIm17kPnlbM2NyRskHcCWEePz31zRHnjWMfd9RLE1zoBk6E0TnsaDkz6tHpHBDHvTwKbY7xszI+BNL2B160Iec7oTNw6YisASLN5yt6NIM8FOBeMeRpuJgPnIuujjzBxzU9BgJZWrMbVQqQ0DY3LKIvOnAZuzJyb83s14MbWrNx9mPjbXIH70Ph3Zmgk0nZl9UtOyHMD+lLq7sCIxUAXGy1PGNNEnjtwK3mbau0+APdp7Y0zKreR5wG0uAn9jW5JQIsveN77joY8T2BOf4yQfZMMzBn9sQu3XyDPC9ip+oIt2fuRshKSTq1B3hlgyCwyTL95HBgr6mzCVhMzxxvCSp6m5/w9AWGlxm6RsAR5PsBQSGbcpa8CxjqWp8ktYj77Aju3JmGnMDqT35c2cf/fvPcDZqKOv8K758C8ojyevFQXef7A+Odi+0ZAFhhzfJuqVhHX9yyw7piq1JpOA+v27sW7JlAGngkApkzLRNj1ImCumheaZk3sFYHAkjXKnvbyR9pl7TlJZJAgdHbWyvB/hn5WFutzqfoe5AUD48WDTHl9Z6QFZn+15pAXAozyT/xh25KQSrAnb95FHgVYlmoZ5w/mIX1j2HGH+PyowOWeGhCyPQrc0PlODe7/IY8GzN0Hq+/orET6vHsbTRh5dGD5a+nqjsUDy3cisXJ3DvLQmlBusI+QV0D5qm7qiJsDzn9XGsyszH+N8d+Qf38vKgn34fxXY3Ln8fX8OP+NTrUTYfwm9f+2Xbd6sAznv/4bojzq63D+q9y6tzj+Ls5/r7xPfuK+hNT/e/y+z+wHif+6D09tPonzX1Z/mZj3chL/bTMcWNFO4r/5zEttp3H+G+ox9ODrVhL/Lbg9NSOL898NX7Sri7aS+n+iPw60nibxX4+cQdUsUv/v5HPLMAaJ/woss5D6ReK/8qMLrt3D+a//nP7ZqZ84/63vWafb6Eziv7KK8gqpOP91DzDbyA3G+e8GkWeDWc44/zU0LCz9uZLEf7tdEia34PzX4+X69RtGcP6r9/KhGi2V1P876UnT4yHx3/Xbk6rDcf6rtHq8WsOIxH/ds54lL8L5b8JN01PyQOK/NEbn7584/9WKvdJjQMX5b46exYUTv3D++zmhbsrbgcR/N8hk/JvD+a/hoxG/extJ/HfK/6n1DZz/vp5ZEVRQhPNf5+JUla/pOP/VtRWOFBgh8V+zy37X83H+W2GlZXWS1P9b1vhXdYcQzn8XrXE83ZBP4r+uAmskLHH+Kzat0ia2F+e/k0LB28cUcP4rfDdGeN4szn9FeUR/6pL475UTs/VxJ3H+23tsRz/zD4n/jt2t2LcK579/TT84xdjh/PfPvZx4QTGc/w5L+82zXUjq//3Y0XvDG+e/6dkXb4etIvHffwekPw/j/LeIaaLL7sb5b8vd7PRmFZz/1nZ11Lvmk/jvk/uKF97i/Pfxt6t+rdE4/y274mzq85LEf7cnCy4xJvHf99/LW+pJ/HetF0tgBYn/codXh0uQ+n+hVizRBJz/Zv75L3cqhsR/qyJNLtzF+a9an+Nio28k/nvgtMJSLxL//VKWV5iP81+2t67QlSac/65KbYowdiP1/1KFvI//I/Hf7wcPdXaT+G+LSzyrB+O/7Lkjudd8DEn8d0tmV30izn8pI4qKRiE4/+WuL9lkIYDz3w2py2QyAnD+O89eZuYMm9T/e5atoaWE89+bvk6vhT/i/Ncooz6o9wjOf79qBY74s3D+69vJW8YrS+r/rbVed3Uzzn9DUuKdl6wk9f9+vB3ctInEfzcLSN+RxfnvRsejZemdJP5rsG73h0QS/zULW7VoiNT/+yZufqCc1P8rGmvtTSH1/5Siz7w/g/PfldcGC/vkSPx3zPls/2Wc/35Iv1g98xDnv2/fT3/t6yHxX3W1rlVRpP5f3s510WdI/He8Q0roIs5/h+PbvpTI4PxX7lq1e5U6if/yye5ZvQjnv97iBs98AzD+S+fdG/S4IITEf88J5/Edxvmv95kceZUiEv+V3N83P57EfxN0LpcN4fx3YH790nkXcf77WnVaQNAe57+U0GPZxWI4/6XKt8prs3D+m/vAzZilSOK/1+woxiok/nu28r8KERL/5VleKFeC898N8oahRy/i/Ncu8rTQnlU4/9XuuJQc4IvzX1t200TdFIn/aow0uiST+K9FjnaGIc5/L61LKvs7D+e/7TVN4UUZJP7rGbQ9ohPnvz+jhU7dPoDz33qTT6pFozj/dVL/9I7pgvPfTZzPvXd5cP6ruSXm/fVYnP+qd+W9rVyB899OH5/62Xck/nucIyG7h8R/DczWdIiQ+O/az99Zm3D+a5ogJDZYi/Pfp3GBRVcW4vxXgW+dsuRlEv89sJZZYYPz38+ZmlTpgzj/9b4sUGf1lsR/1e+3VIzg/De7clw93wLnv1lNK2deWOL89235wTVb63D+y6s39ilzK85/+b15hsZkSPx3k4h9zxyJ/56un9iVi/Nf33l6Z/9twfnvAqfRNa8X4PxXs7f23GorEv/NlL2i14Pz3xXP5aTY93H+6+a7s+DzdZz/Bt05INytTOK/S1YIvqLh/Fec22lm64Tz3wQ5Su66bJz/Jono/Rq6hPPffSdClWIiSfz3YdxknyHOf3vtDN1YvTj/fX7fMj15Lc5/+YWZwQLKOP9V9m1uiQwj8d8o5Vc1YyT+2/ifR04Vzn+zRC48fy+N898R7RMvE//h/FfM2v9Vjg+J/x6Ze0A8E/z//Hep9ymzSwwS/53NljIVwfnv36WXr4nI4vy3iqWyLboQ57+el1956h/F+e/agfuNbQdx/mv25cGFF/ok/vvunYdGP85//9xd+n2XNc5/L6fHUUzmcP57efFiQZkjJP4re07kqQKJ/zrXHb1egPPfQebw9uGNJP6bGhhI5SfxXy9vVRM5nP+aPd7CCMvB+a+uGWuhxDWc/9pUyBtYZuP8d7DldNoKB5z/nnBkXltxHOe/dBfbDUmCJP5rVOtWVIzz3/lZ1nMFXTj/TYwwV+srwPnvrgNXdjpY4/x3RYKMet0XnP+a8x8dFzlE4r/fK6/lZuL8l//yEH/MKM5/k444jIxfwfnv/Id3RrOf4Py3VaJ6+EAUzn9VZ47xux/D+W9uU+KHCk2c/255WLBdz4jEf6Fz/0dFEv+9/3rz7kic/7amBTUovMf57/0zg3td+HD+6/Uj69qF6zj/zRagxd04jvNfAW75JvNCnP/G0vuuHdDG+e98lzfWq26R+O/gcgsYJPHfl8d+yvKR+G+/s0H3c5z/3t4XId/Qg/Pf68cLFl3Wxvlv9cXdT4x+4Pz3d3x2eK0vzn+XSTaniCwg8d99YTpti0n8V3Sr9cRZEv8t6ilRo5L47/Sok9gEif8GXGlnhOD89yOvztWcPJz/Nq2NjnFzx/nvF6pc/KlfOP+VNcmy0QvG+a+RraFx61+c/xr9Zyyp+hHnv8tutEltPk/iv/nOMt1FOP/N+ru2VyQS57+FlSEeB7/h/DfTQXb/HWkS/92QYdodQeK/uxRVBgxw/nuuYv1TR1Gc/57gPQOLp3H+a39N79FXORL/fYeOMxok/hu766bqQpz/irrM3VJ/Q+K/Hwoa/kqS+K+1+AIFfRL/bRVrnj2A81/dnYn/hY/h/HcmcP/bli0k/qtpK+8ygfNf/sBTrtcW4Pw3IX/qrPg1nP/2FN7u/H0f57/aYbeW7X+A89/0vviwJk0S/31dRqvvx/nv9uDuwv1iOP8V8PA6bSyH81+Xuxbqsnk4/7UZ7ro0KI3zX4F7Rn8u1OP892zkkQM1KTj/rdj1gMePgfPfditv2uZPJP4rKeQR5Ybz35U6Dl8OHsL5b9KC5/LT0jj/5V39V3SfNM5/n5/iS7roSeK/hokHx4px/lv+I6tjbg7nv6MLv99ouk7iv8uP3xe5j/HfIJ6PQlUvPHD++7zSaL46L4n/Voc6mRXg/Jcp4ZcpJIvz30iqjkvsXxL/fWKon+aL8185G77RBYdw/vs4i8/x7hUS/9WrO/qjF+e/9NIaPu+/OP9dYxI2SJ2H899HnfJ26w6Q+O9y+vqtyST+u27jww9iOP99+ePlbbVGEv8t47vZsQnnvza+xhK9kTj/bRWI3Nv8Due/ZQHPL4T3kPjvSnE1zVkS/91/enNGA85/B0b+qD51xflv2TT/py+pJP4bsGR28AKJ/7rlZHiR+e9Ny7WZP3H+K3PCwnvRRhL/Pbbh2JMenP/mHbQSPvMK57/fzAV543/h/HfX421HnEtw/vufhHmlkTrOf9dLu0+eb8b57+n0ftPN+Tj/nV/I61fkj/NfK9epruBpnP8eV0ny6ZHA+a+eSQN/+xjOf2sP3PiRfQHnv8fztce2fcT5b6nIBjf3bhL/vaNYpXwW57/im7I2OT0n8d8eZdN1J3D+q5Sw+fDrZpz/aid0B6bEkvivYXqT3j2c/zbw/tJVUsH574Te/WP/rHD+K/H6aMDSVJz/itp/tD73Aue/5buNGq974fy3KOB8VMQjnP9m5V3cILIJ578b5A5eKI8g8d/j1TY5OTj/nTqp+rHbGOe/0Qa9ByT+kvjv63/T1ao4/+1Sk33MnMb5b3rJvdP+8iT+q7R7cA0fif8OP3Drjcf571HHebZLjpP4b24rf85mMv/drphKJ/Ff1WPa2wVw/nt++wLHssM4/9Ve9kgnMp3Efyv18vhFcf5b+FOxJDaPxH+XGugTz8j+P/+tUIxMSz6D89842Xj9VY9x/vtPMU+NfZDEfyOi/om5kPhvO6uvtBnnv4/VFvtdicP5r2I6bOzKwvnvvT8GFru9SPzXa+9p3bs4//0bGhjmyiHx3yCtKKjD+a8Mbfx8FIfEfytyilQzcf6baec7KZ+P89/nR0UDI7Rx/lvW8Wuhykuc/+43iL8vQ+K/3NSBLOcAnP+aF3qvbpzF+a+f822v/Emc/6rUmAlTULadYUIon+GXMoPzEDq/IdHYGp0NZlhANU01LLNrBurWnB17Koi1y4YQk8JVHeIfkE70FTCITgIHmP0W225UxgHzc0wDiBJ7HhdYTWe21VXzIeWVH7AlPoNQoFWL1S6XzwBa+XL308FE/guDcB49/ryFfBDOe/7zPWoF8lDWsvyTvWPqCHCsFFxPNxK9ggjgCF3O6e5IRDr3Xmr7NuSdA0ag34X8021I57gjxuLIOw+clO6yVXfzgJN8a6WzKZH/LgA3KK99WGIMuIEDr7STic7TRaCO5ztPq6YDdewFM1qNmAeRQC1Llfu6ZACo5VMt2WPE10YBzWK28uFYONCsRB8ldbYiLxpCHBSbvG26kL74szuamGsxwNEYo3msQ/eRuv0D/wRiNsUCtVuJ319cDag969mcMaLbGAfcgvbzHe/00b2jZi7+/iTy4iFEch7P4ctpECJRWZ52m+guXAJ2dMnyMDtbYMcc9LqZsRV5CRAUJrE3umMYgrhBCosWEH/HZQjemuM5sKEUgo1P9n/IIbqNV4AV7pL9dE0S0oSK8WliPSeiDB+5cvJQKMr0AA0JxLxPAqrJxyKl73Po+r6bjLj5AXnJwFL9YkD5i7KI6sCndcdykZcCoUU1vw6e40Wqzx/iQPRGrgLrvWVVdzbaZ97H9S9frYe8VKBKbDX5qiMFVHEHgy+61chLA45rUNVfkdtIxX6OnSLuj3Rgx033b5bzBvYVVo8g+x/yrgHDUNt6ZSxSsJq33ofIetch6NVvRZFbHhBUfzDE1NEZeRnobGinJ3rvKrAlNvG5TBJ9kEzgxDgV/ko5AZzY/rIiBeI+vwGUKnHzgaZDQCmz5mxsI65lFrB5lF5ZPjFC+dR7cWXjSuTdBI7trvZ1beeAY2e0RryfWKe3gLJM2GGiG+UD8WtHe4VZyMsGSs3t/xg9KGNUHvuwYQvR57qNzm9vcx+0ZyJ1mx1t6ULeHaAp7+3IyNJC+sHQNJG433KAk6XGGyuJ1sjNHfZZjUT2vgvMTamHC1RfAVPn9MdrosTnl4vObw9/eikXASNbLufRRXTWnbkH3IWnBH7HoBkrUK+V9pbI92jPvi2/ihl1A+nspsTOZ8i7D0Efm7xzR/9BUE+HksYscabLB2pnp69b2wRQu9xrpJYQ+/kDdO7RrDxR9AqdhR6I210uRN5DoG4q35P0uhhp7eNtF4keXgHK+hXdIQZywJVV0nmpTHSKCoHiIn71oL8HUFwll37aSuzJRcBW/cvPTTiM9k2mvUUssdaKgSV5mfqiygRpXPr2sAHklQBnUaZxjthr4Cyma5htGEbeI2B5Pm/y3rcVWF47YiretCOvFOhu65YV2lYC3fW+XMkYsW89hrDm+tFDinEQ1uK6495ZYp0+Ac5gleVXd3PgfN39W3Q50eMpA7ZQaYLmPArS/t/KT4hMWI6ykZhnlR+a07WHe5+v+oO8CghcseZ2j/Z/ECgzr9V5JbGvPgXm2vhVW3x8kdKiO047Iq8SzXRDFSdvtC/IaDg9CqpEXhVwj3UlGF8cAe5xn8C2J7uRVw1h2u+nBgy8IEzrvmvQtaXIewaBO36v0L73EgLNbpoWahLXtwZoawS/qeyIBdpaB7XUA8R5sBaY5fudc8O1kU5cCqoh/t1zYHXmXhS4ex9YHVFHq4NuIO8FsJJO2fQ+ygRWiu9Otc3E3/sSmCHMfro3+tqQwxlPvhPf7xVQF0kO/PHNA6rQnDU7pAN5r4HSFr3v6sRjoLxrbg6bJOZLHTD8fkb/5tcAhu/9qiRxootYD4y42LPKHz4CI0G+++RhogfVgHKzT2Pe6oNIk6p3riGywBt05sxO93a3BZZQ7/r0uyHIewuhmZ6jBz45IHVJ41wj+maNQNsXoDR7agOandXNQzLEemkCzjbK1pyLi4Czw+FTKtFXmWkGztZ5N71G0DXdesOhNJBYf+8ggHMstLhRFgK4j9dIB9gjrwVlI9Hli91bIbD3vwXr4ok9rxWYJbOJ7bYpSGv2/RQfQl4bcNyiLw/9kEUzRzjTJqkPee1A3b0E8qTQLN5Low9fIfpmHRAYkHrq2jYqBPr9l3DIjtgD3gNTvfJiwlm0XjTZlo6pxD3YCayu3NtvDaKA9aHVTy1REXnozNK3/vSByhKkWkVl2sTc7UI5Q7vDkPUbKb3t0CJr5HUDQ5sjEPREERjqLzzr2oh7sAc4ElEG1tQHKGdXtyy9RJxJPgLzwG432yIXYNqs20izKUPeJ7Tfa/yUCBJH+3/V4JAhkTF7gWb3Z2WQkAHQbNrWhN3dibw+YMuK1vVcOwvslVI/ddqJzN8PIWadrQU+5UiD4h46E+vqM9Dms87fVMwB2rw/49GniAzyBa2Nppc9gSygtO/95beHuOYDwHYRUdq4aRKpgIoIi9grBoHrXll4SQWtf9cyHbfTxP47BKwC1vIDwc1IH54t1SLW0FdgSQxp3pqbQer14fU54jnIN6DtPDb4ruom0HZlfpDiEvNgGCjdT/NT7fcA5eMiM6VZ4lzxHYKmpW/8WKYLQX+W8kk5NiFvBKiPU6RkfZyBWlLak85LPMsYBU7rgIy5Bzobt/AOFlgSs24Mgp4d4DijfTiouk3uUDwxX8aB7Rd30olnA7B9jXrOJ3OR9wNYOl+kTmovAZauq+nAGLFeJoD+eeHiXf5iQB9U/iHVS5zzfgJt6kX9aSW0dn9TH7ucCkbeJITcXrGkQzsF6QPtoGLiOcMUsDKCJdVCRJCaLxtwIPL4Lwipo0oNm6dCSL33/Wu35iPvN7DO9Ls/7MpHs67mll0E0SH9A7S8IMO2hFag3dtp5bGD6DFOA7PnYknqbXTG/ujKjF9KdAxngNJ7buLPej/0WbkO3T99FXl/ge3+jH3j/HFge3yg2xkT82AWuDzFMV3ZbODy1o1n2RN79z8I9dan9TytQjon+Pkg8ZxrDhgWM7VzyaeRNl8VptTi/b8V+3hvau0h9f+ecjUuPiX1/wyv+t+ux/t/cQHDvQbmpPe/KFqMXThCev+LefftDA+8/6cy1LVhsyPp/X/DCvGNqnj/L+S7YY6wPt7/g3ZlUel3pPf/mYUugxpS/0/tgleqO+n9f9oGzV5WeP+P8+4Q/9M50vv/YqxL+fRJ/b+tX/vVLuH9v3z3E4vXKeL9P8ND9YWFPHj/r0PRU2MjH6n/d+V6bMBSUv/Pqn246B3e/wvkd1W4ykvq/9l8jvmdivf/dKf4pHefJvX/0pbMqv0kvf/FU/PEuft4/8+gTtbCtAnv/6WLR8R6HCa9/8XouMoNTVL/7wXNYb4u3v/jd1RvlueS+n929QdNjuL9v7Udee+tlEn9v5QWIXN+Uv+v9sqZHge8/5drL2pOrPv/3//TLMq2D3xL6v9dtNXRzSK9/y9JkMpbSOr/TfNaxQ6Q+n89qzJKaKT+33iL4HFlUv/vfcuu2j+k/h/ltFOuHOn9LzenO069Ib3/T9Amv8Wf1P8L7Vj7u5b0/pcbMYc32uD9P+Eos1znXFL/b5PbTJEy3v9bssm3et0Y3v8bVz/uOr2f9P6XfM+x4oWk/t8ymcc2Wnj/L6mticuaJPX//DJOSr8i9f+C148p3cL7f7NhRyYic0n9v5RDey7vwPt/Q0Fij5pf4v2/mZxN4bcj8P5f2mp7GfVY0vv/lqX0iluS+n/rJF0CI0n9P7ngacosqf/nlG9w0I7U/6umREyl4P2/J0FH/hk7kvp/7Z9bxqzx/l+0+zPve+fx/p+YiFDOxCK8/+fZMFauMEvq/3UfO/RXitT/SxI5J7SH1P9bMe1pM4n3/7w7pVpMT+D9v40CPRN73uD9vwcx839buuP9v5PWXSlZ7Xj/j0s/lv0ti/T+l6v+/LMppP4fr8+iklJS/y9OyabZB+//hZxnxqnkkPp/qWvuFTwl9f/Seli7u/D+H8PQkqfpF+n9L0dfzDv3h9T/O5XONbhJev/L5t7T/JKk/t+BR8Lx5aT+n0tL4kIpUv9vjXOBdy3e/xs8tPThmXZS/y/08oVtF0n9vxHrNc0DpP4fTenNUBSp/7fou4aMK97/OyCy4GjWSlL/L+H6G3Fv0vv/Sgb3u+7D+3+U3Wl3Cg6T+n9yFwQmJvH+n4K6wG+Dz6T3vySz7xhZkt7/siPUyeYTqf8n5nh/tRPp/X+dLTLUZXj/r3H1kX11bnj/j/nf2rBta0jvf7HYHFAvQXr/n7q2z4NiUv8v5fqzDHXS+1/OfBoJvo/3/1Yabd9Q6oH3/zwKiw62J+Pvf5m7OX/f8B1S/09eTuzUPVL/L/INPC3G+396+mv0zz3D+38/b3cHLb5P6v9JLExucsD7f3UOkq6LI/H+H3XbogKBZXj/L1Arw5n4v1D/v/+XZ1sophxI6v9JS8du8iH1/56lpDGk/w8e+uLe","format":"big-endian uint32 seed, binary64 QLX5 edge, binary64 candidate edge; 20 bytes/row, grouped in specified grid order then ascending seed","groups":[{"L":1250,"n":128},{"L":2500,"n":384},{"L":5000,"n":512},{"L":7500,"n":128}]},"local_verification":{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","json_parsers":["Python json","Node JSON.parse"],"paired_moments":"independently recomputed every choosing round from unrounded pairs; equal","embedded_payloads":"decompressed runner and choosing pairs, verified hashes and exact row equality","policy_patch":"applied embedded diff and reproduced measured source bytes exactly","provenance_quotes":"all five URLs refetched and quotes matched verbatim","authority":"Local self-checks only; no independent engine or verifier certification."}}