{
 "credit": "Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved. QLX5 (A/1ef80bfb) and its exact replica qlxcore (A/60dc237f, audited in A/362fb97f) are IdentityMD work built on Taylor's solved policy, replica and U1 tables; kit: identity-md-launches/goal-3178-build-shared-evaluation-kit@45e7563d1a29ffca9d608fdf60c90bf2624d2d01.",
 "item": "window",
 "batch": "c3-search-a",
 "where": "replica_choose",
 "gain_vs_base": 0.007696589256484199,
 "se": 0.006222291471350581,
 "n": 128,
 "seeds": [
  64000,
  64127
 ],
 "headline_note": "Highest choosing mean of the four settings (split_window=25), which was itself stopped by the futility rule after round 1. Nothing was selected, nothing frozen, no report run.",
 "advance": false,
 "advance_reason": "All four settings (split_window 9, 13, 17, 25; split_nc 5) stopped after the first 128-seed choosing round: cumulative mean+2se < 0.03 for each (0.0111, 0.0191, 0.0201, 0.0201). Per the brief: all stop -> advance=false, no report run.",
 "source_sha256": "701dbfd1175fee7d129de92db21b1ddc78645796c422b29d8efba2eda501ab00",
 "source_hash_scope": "qlxcore/qlxcore.py of A/60dc237f, unmodified: the measured policy program for every arm. An arm is this file plus the knob split_window (baseline: no knob = QLX5 defaults, split_window 7). Equivalent contract sources per setting are in solidity_recipe.per_window.",
 "baseline": {
  "name": "QLX5 unchanged",
  "contract_source_sha256": "e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40",
  "split_window": 7,
  "split_nc": 5,
  "mean_edge_64000_64127": 534.9978274476013,
  "split_tries": 901085,
  "split_hits": 803007,
  "split_hit_rate": 0.8911556623404008,
  "afterSwap_calls": 1392888
 },
 "selected": null,
 "selected_parameters": null,
 "grid": {
  "split_window": [
   9,
   13,
   17,
   25
  ],
  "split_nc": 5,
  "semantics": "split test runs when timestamp < previous own callback timestamp + split_window (strict); every other knob at its QLX5 default"
 },
 "choosing": {
  "seed_range_planned": [
   64000,
   65023
  ],
  "seeds_simulated": [
   64000,
   64127
  ],
  "round_size": 128,
  "rounds_planned": 8,
  "rounds_run": {
   "9": 1,
   "13": 1,
   "17": 1,
   "25": 1
  },
  "stops": {
   "9": {
    "stopped_after_round": 1,
    "n": 128
   },
   "13": {
    "stopped_after_round": 1,
    "n": 128
   },
   "17": {
    "stopped_after_round": 1,
    "n": 128
   },
   "25": {
    "stopped_after_round": 1,
    "n": 128
   }
  },
  "survivors": [],
  "rule": "after each completed 128-seed round, stop a setting when cumulative paired mean + 2*se < 0.03; statistics from kit score.summarize (mean, sample stdev/sqrt(n)); the kit evaluate() 3se stop was not used",
  "selection_rule": "highest completed (1,024-seed) choosing mean, grid order on ties; no setting completed",
  "settings": {
   "9": {
    "split_window": 9,
    "split_nc": 5,
    "rounds_run": 1,
    "n": 128,
    "seeds": [
     64000,
     64127
    ],
    "stopped": true,
    "stopped_after_round": 1,
    "stop_rule": "cumulative mean+2se<0.03",
    "paired_moments": {
     "mean_diff": 0.0016025558637893234,
     "se": 0.0047423688363549404,
     "sum_d": 0.2051271505650334,
     "sum_d2": 0.36592717851653633,
     "min": -0.19347008731494952,
     "max": 0.29261868181066575,
     "seeds_positive": 55,
     "seeds_zero": 17,
     "mean_plus_2se": 0.011087293536499204,
     "mean_edge_base": 534.9978274476013,
     "mean_edge_candidate": 534.9994300034651,
     "t": 0.3379230758063671
    },
    "worst5": [
     {
      "seed": 64055,
      "diff": -0.19347008731494952
     },
     {
      "seed": 64027,
      "diff": -0.14275658984047368
     },
     {
      "seed": 64114,
      "diff": -0.13320970687425415
     },
     {
      "seed": 64100,
      "diff": -0.09923447639340566
     },
     {
      "seed": 64057,
      "diff": -0.08614036417202442
     }
    ],
    "split_tries": 903534,
    "split_hits": 805204,
    "split_hit_rate": 0.8911717766016553,
    "afterSwap_calls": 1392902,
    "extra_tries_vs_base": 2449,
    "extra_hits_vs_base": 2197
   },
   "13": {
    "split_window": 13,
    "split_nc": 5,
    "rounds_run": 1,
    "n": 128,
    "seeds": [
     64000,
     64127
    ],
    "stopped": true,
    "stopped_after_round": 1,
    "stop_rule": "cumulative mean+2se<0.03",
    "paired_moments": {
     "mean_diff": 0.00672992884606094,
     "se": 0.006167988318385393,
     "sum_d": 0.8614308922958003,
     "sum_d2": 0.6242419313960774,
     "min": -0.13762070945324467,
     "max": 0.49111052620412465,
     "seeds_positive": 60,
     "seeds_zero": 10,
     "mean_plus_2se": 0.019065905482831727,
     "mean_edge_base": 534.9978274476013,
     "mean_edge_candidate": 535.0045573764473,
     "t": 1.0911059649708688
    },
    "worst5": [
     {
      "seed": 64101,
      "diff": -0.13762070945324467
     },
     {
      "seed": 64011,
      "diff": -0.1357814214075006
     },
     {
      "seed": 64100,
      "diff": -0.10227410168567985
     },
     {
      "seed": 64055,
      "diff": -0.09103625430736884
     },
     {
      "seed": 64094,
      "diff": -0.0879394155757609
     }
    ],
    "split_tries": 904302,
    "split_hits": 805997,
    "split_hit_rate": 0.8912918471926414,
    "afterSwap_calls": 1392904,
    "extra_tries_vs_base": 3217,
    "extra_hits_vs_base": 2990
   },
   "17": {
    "split_window": 17,
    "split_nc": 5,
    "rounds_run": 1,
    "n": 128,
    "seeds": [
     64000,
     64127
    ],
    "stopped": true,
    "stopped_after_round": 1,
    "stop_rule": "cumulative mean+2se<0.03",
    "paired_moments": {
     "mean_diff": 0.007645884000694547,
     "se": 0.006222433415174853,
     "sum_d": 0.978673152088902,
     "sum_d2": 0.6368936445632281,
     "min": -0.13762070945324467,
     "max": 0.49111052620412465,
     "seeds_positive": 61,
     "seeds_zero": 9,
     "mean_plus_2se": 0.020090750831044252,
     "mean_edge_base": 534.9978274476013,
     "mean_edge_candidate": 535.005473331602,
     "t": 1.228761079555834
    },
    "worst5": [
     {
      "seed": 64101,
      "diff": -0.13762070945324467
     },
     {
      "seed": 64011,
      "diff": -0.1357814214075006
     },
     {
      "seed": 64100,
      "diff": -0.10227410168567985
     },
     {
      "seed": 64055,
      "diff": -0.09103625430736884
     },
     {
      "seed": 64094,
      "diff": -0.0879394155757609
     }
    ],
    "split_tries": 904381,
    "split_hits": 806073,
    "split_hit_rate": 0.8912980259426061,
    "afterSwap_calls": 1392902,
    "extra_tries_vs_base": 3296,
    "extra_hits_vs_base": 3066
   },
   "25": {
    "split_window": 25,
    "split_nc": 5,
    "rounds_run": 1,
    "n": 128,
    "seeds": [
     64000,
     64127
    ],
    "stopped": true,
    "stopped_after_round": 1,
    "stop_rule": "cumulative mean+2se<0.03",
    "paired_moments": {
     "mean_diff": 0.007696589256484199,
     "se": 0.006222291471350581,
     "sum_d": 0.9851634248299774,
     "sum_d2": 0.6369645059580398,
     "min": -0.13762070945324467,
     "max": 0.49111052620412465,
     "seeds_positive": 61,
     "seeds_zero": 9,
     "mean_plus_2se": 0.02014117219918536,
     "mean_edge_base": 534.9978274476013,
     "mean_edge_candidate": 535.0055240368578,
     "t": 1.2369380785072117
    },
    "worst5": [
     {
      "seed": 64101,
      "diff": -0.13762070945324467
     },
     {
      "seed": 64011,
      "diff": -0.1357814214075006
     },
     {
      "seed": 64100,
      "diff": -0.10227410168567985
     },
     {
      "seed": 64055,
      "diff": -0.09103625430736884
     },
     {
      "seed": 64094,
      "diff": -0.0879394155757609
     }
    ],
    "split_tries": 904395,
    "split_hits": 806088,
    "split_hit_rate": 0.8913008143565588,
    "afterSwap_calls": 1392903,
    "extra_tries_vs_base": 3310,
    "extra_hits_vs_base": 3081
   }
  },
  "overlap": {
   "seeds_with_identical_edge_w17_w25": 127,
   "seeds_with_identical_edge_w13_w17": 122,
   "of": 128
  },
  "seeds_64128_65023": "never simulated (no active setting after round 1)"
 },
 "freeze": {
  "record": null,
  "reason": "no setting survived choosing, so nothing was frozen",
  "report_seeds_opened": false,
  "report_runs_in_log": 0,
  "driver_state_status": "all_stopped"
 },
 "report": {
  "run": false,
  "seeds_planned": [
   10000,
   12047
  ],
  "seeds_simulated": null,
  "pairs": null,
  "reason": "not opened: all settings stopped in choosing"
 },
 "baseline_smoke": {
  "passed": true,
  "what": "unchanged QLX5 port (qlxcore defaults, enginecore_f.py with fdlibm exp, tables from mktables.py) on the first four rows of b2r3/runs/per_seed_512.csv in the payload of A/362fb97f: unrounded engine edge, IEEE-754 hex, callback count, split tries and hits all equal",
  "rows": [
   {
    "seed": 10010512,
    "port_edge": "606.1300985640944",
    "port_hex": "4082f10a711db056",
    "audit_engine_unrounded": "606.1300985640944",
    "audit_engine_hex": "4082f10a711db056",
    "bit_identical": true,
    "calls": 12227,
    "tries": 8155,
    "hits": 7255
   },
   {
    "seed": 10010513,
    "port_edge": "482.77829524211705",
    "port_hex": "407e2c73e5b63867",
    "audit_engine_unrounded": "482.77829524211705",
    "audit_engine_hex": "407e2c73e5b63867",
    "bit_identical": true,
    "calls": 9988,
    "tries": 6388,
    "hits": 5684
   },
   {
    "seed": 10010514,
    "port_edge": "404.7966542836623",
    "port_hex": "40794cbf188fe8c4",
    "audit_engine_unrounded": "404.7966542836623",
    "audit_engine_hex": "40794cbf188fe8c4",
    "bit_identical": true,
    "calls": 9532,
    "tries": 5838,
    "hits": 5236
   },
   {
    "seed": 10010515,
    "port_edge": "450.2556494695746",
    "port_hex": "407c241723e5f101",
    "audit_engine_unrounded": "450.2556494695746",
    "audit_engine_hex": "407c241723e5f101",
    "bit_identical": true,
    "calls": 10484,
    "tries": 6858,
    "hits": 6117
   }
  ],
  "note": "these four seeds (10010512..10010515) are saved-row seeds of A/1ef80bfb, not fresh E seeds; no engine was run for the smoke"
 },
 "choosing_pairs_zb64": "eNqtmkGOLbmNRedey0NAEiWRXE2jG10r8KC23+dSkR64+vtFBX6hDFeejKQiJJG8pPTPP/7438///Pc///ivP/3zZ37+7Mb/+M+x/rFna+0zZ14xYmazsa1H7kK+s8/d1/CWdoib7bV9jIz1hNQA/TOtX+npPn21FW7/LxlXa7O5h8091n5Cyv747Lmv1XrmWLPHjPhdpOzbZ1m7WnjfvXUbbl6EH8aIPa3Z/czfJmV/ftbCfl/Mxh6tN79Jy+G+gpH3S1L2FzyusdLS22AOhxeZrG7u0XPGfEnKPuvSxpW8t822+9hbW0HIciQsYox1ozW9WbeVzhZ8QGoERs55OQvefO2YY8cha073Hu5DX/+GlH1WPvwCd/PcbRjfJDIZktXoyUPjHSn7+Vkxrx7b2PfO2OxlkdEs+rKFo9m4id5tzdir5xMi+719mJlrMtOWzRO3Wocwk2EWi1UZ70jZ75/V+S42VXPsD1t+yBy9R0xb9f4QNhdrvZcTTx6Rsq9vz2uFtbX3XOarH0Jk6HqV+bd+LJtElBZXnwmy1oPtWYR3nsxbGHvYbrSdNZh7xX/+sewyWLNLcz9ZzJ3Zf4CFR2Py0m/ikyjF163xHZRtfAQPZuIjiQNjstVvxIe1ZHmj3E1k77Y6MZa9YA9RjcEvBmuAZQjBofk4xHeL3lnftv0QDd+Gb8/1FNUQ/GI7nzGYJC3Kin5IZPCk+2by72esaT2s+befyzJu772WsBOn8bH+FBjLleSkNS3+Ssp4fizZMQSsRdprSxH7hyRRlfVe85BeUYIVHx4/xLONzu6d869E9kf78N0Xk5KE4lAA3UXYAiSbjAG0Q7oP02dH399BGT+7kDnjqwcRJ9vZhZPhow+b+me/RjWGwoOUAjCIBavNKJL8kHrUd9g7Uvbtgz9cCA6tOnPInv1dpOxPNuwg/GtDLtbYrLwBxBfGZjMscuONvHdchCSaEiffSY1A2EUCMXFGYMQf8gbMoinq5FwvSZnfH3MpIDwIrcbHRR7SySxsebYVs3mjJI7yp5NVfEJqALxudvy0y+mIB0izWciNUIJea0mcu58yS+t6og9F2yeoBiGsrklI8zmMYDMIf0WIR4vFIh4SWw8hUpi0XgwywgNS9smSq1/4W59eDrEOIOMgtsjNlb6KDF6CITsx6gmReSPZ+r7mCGUFfHgo9Yl0Bhgaobe4SVfcZguO6E9I2e84OLmBt+QXbFbicwEcmy8iKUeeR5Avts0ZjXX7Csr2KIGFyzV5BVFiHsmFZiPEMYE49bDzUDKt3QlJ6Xs/QzUG3r02m5R5GaR0XGEc0jd5nyiC6/w8QwDTFida7Sek7M8PqfiqDcX3IeNy/C5S9ln3VOYJ6cSV/KL/kE0tROQgahyQuB1KAtkYh+zO83ugwPr6KynzSswdLUieZeBMxPQsxHzZJrASFBFK9ZCRuntXWlBO/U5qAMX9feGnpADkqG+qjYPI0Up3HSk0hJyiJlXl4XlIDn+GahCy3t6VbkiD4QQ8u8nSqvftDX94jWoM/HjMa+bG9ULhW5VSkYVmduLJQh6J8KdMKOGPSShAdt5ELCTNUtn170TmZ/vYWlJIRGnieCISD2FymCWcwfjm16jGwFE7MWTihShkAgbC/zeRss8ebp09zATgwsRxvrZIGsUY85rSmq9I2ScUBGKjUa6iitDQpLtCU6FCgY7dfx4iFLpTdOLwiQ89QjUGuz/solC0UqNUG36QflZm4vm97SBSRpBviYL9EakR2CRGjOPtGZhEP+XREPKMW/IPcu4lKftql9iVY3uomKTu1hcIEVTJCsQYlIYdZHj8ILOiKuMJqRFUbpEyGQJhQQxVbSKCJ6jeG5IIdhMSLJt8U4bMJ6Tsq/VBLFkIIUQZ0nLlISzPVhNos73ekbKPK2eSLAiz6AcSmb5IJHBh8pN29nhHZH81qoV1EftUNC1TB2od5F0qQ/Eh8x2pAQgNDExkogwjUXRqpHkQhQaIxMyq3Q8haLyjnlC3T0gNMD5ufpEMFoLSVBvYIWxlPpPnlFJEqEZxT4VAVNJXUMaPKfnqCab3aOQlXl1qkq17CF/BhlLhT1x+QMr8kYgkIpUKLJAjUIqY42osCmXrekfKPv7bGwXVQKEjgMg5ocRECUERRQLaOZGx9RCFUOizeJX7z76QGmAfheW+WF8SJ9vgAFxEzo4P200IwPhcyu2ekDLPy+LV8iwGRY+WRIWwzI73EkVNirGIae22avP+hJR9qc11kTqXgirlzbiJs1QKPxScL0DZ5puo1SZY8ZOdFQcsdVakhfTqRbbUpLqM1LJPiMxvamIExmj8gty88Ir4XaTsk4CHq5JibXl3cvO6CZvUWCnXriiyVA+yREtl+TdQxvGiceoK4jATQkF+CBEZ2b7Rfqx0kSmlZxL7GU9I2VfDGOWitjylArvco4irtcHXsNrzJSn7vO0exSUdiJroFRH5E4mrNfzE35Gyr7y7KULQp2x+lDV+9ZtI2UfD9iQedWaa+rdKBgHikoe6WVFJMVVr8q9Tm1AlPyFlHrfdfk31oZt816sB8ltI2Y8S15t4qp5/V2vuAMI08b+pYFoHSbQn0oLS/9bkX1ENgdstWZwUw5QyiMR1E6oMPjVUs74jsu+t9MQYgWeRkwnG4xA2rydLQm3o70jZx32XIe8R6OqSbdUtvyAoStehkE6rnpCyr7eNy53Qr4afiqobjGq+bFOn/g0p81ZNzCqzp5qka/VfEc9Q/aBeA2XOI1RD8IskNy6mTfJNQv1G2lGwVFL7IcEDhF4dOTxDNQZ52bta6dZxkUHUzEOoa0mmSHcWzF6jGkOHe6SfRYqp7fQvQsQKHSeq0XYTnUdigNfIJ6Tss4OJUVOKkfQ8cYT5K0I4D5y0ada/gjKuFws8nMiK/uFlSQiFyDB9YNwcEfce1SB5DjSoepX/h/oG8yBCCVtJp3Kj/aAul2wEwDGeEI0QVMSxLilCmWxdoauIotFYOuwh0N4oJY0IUQSZ+QzVGKdPrZdFwaAeCHW/Ijof0gEL2nc9IWWfb7NGrqBmTLWgVHsUUWinXJ0KXoeQJxCQTN3WrH0nZV+dKx1VqZ+DGiXRz0NQxJQM3tXwf0fKPjtMa9O1jZJ6MtNushdCFd0nvfCKlH2JnU6y06SRjpZKf4ArObFIFCKElEOY06520VQ38Tsp8zhtUIAQ3SgpqN7rTEsEy1uFhv59j2oMjT0vUyMUjY28llwvwiIRL0h2fj/DJE51bqvb9w2UcVXCS72+rIYKM7cPQV+i79AUqpXOM0KmWm19B2Vcsl/nwI2CTsem8vYijN+U9shn/o7IfqKmnW+y2OxbbXTk5yHbRuDC6vf+fVC2TxMUdVFNIItK2r+HlH3d4qC4HFsSD+2ovtIvSAbrPJhENZIfkLKvAo5xKa/Vfw7i9DiExKqjDd5EtcEbUvbVm9w4nCJFDzWsCzSdniW6VVXtIdWqcySqmqYPSJnXgf6+TGdNBCHKBElbEXIQrjjr7kKR4I8Q+jh9RdLvpOzvSswoJGpI9RPjpHjq2FHfowNF+0E9dYcBmb3XM1RD6PPV3Fr6CIqa+gQRfIr/n4Qkkv4hxL7N1qDmf0TKvrIwIrXrfI8V1umYHaR2lMoH9XoPQR80nVoQcOMJqQHkTFGHbW5oqxHEqCKkodANAR04vyPY77qJpesvyoLUsPierjYIBaojEKc4dvVLCxGNiHW6LND3M1SDoDeZPRvWql1G6ZE3YS/wbaxYHqLyKXgMkep12P8A1RDSF41yhOBsjD/rhpAASqtJXqaPXxGEFRONGw0l7n8nZZ5dM0O3SFgIVAP18vxdpOzrlhDj9rqX1qaO9/Rz6IQRiRJqjr4iZV1prfNV6kl0lByrYIVcIZv/6KrG90Gqa1OH+UOS+zupEfCPPXXZYunKyFKauYnadmxpHDzekbJPgtD9gF4HneyrqbhchGxPtq4S4R0p+7hfH2qn711N2C0vOESXNrbarTqGKKT054NX80ekBsijLLZRWejsb9QxaOmWREN0PHCmjqBfIg3SycV9XVOnqvitzvoOiCQ1NOLpni9AmVYfcKsd1VQCJ7okimy2D7uZ1OfzEMo49Kt2gH37uSzjhNThlBNsfddZhg6Dex2yd4R2O1caDpksTdQj8wkp+2rHkCRxNtKWrvLploqI6puhQ+mh8P6GlP15O5fLk6hrYsTxJF3gaovNc2tUHtIBvm6C8Ka3B35FNcaqXkKYDmGoWqiJ/Sa6QpWK6p7vSNlXJk521JDzkrJYTLsRKU83dEf710N/JavrhB3P0RUqEWyQITN+uipdJ8c5ld90PwINmfXXQqOhaYhROiibr1ENEnUpT8dYxCclAbXxRJDDQyVmqBf7ipT9rONvdaSQkSyVLjwVUcmjFk+JvIOGKjUqA6uzuu9EAwzdi/ZLym7rDlF08vFBOnfWrRn8ss4sHBUmiZpS9UvXjJ6gGqSfow2qV9IBomtUx7Jdo42UkGxWN5Leohrj3B/RXUW2GGKUrXsIkbWTNJZ5/ACpbDUXVMF8J2We4L/Whbqyzmrb0jXPIoSKJGpMhaT7GVWEqj2nqozvpOzrdgS1lOkuj6TRkpAWykA9BKGXIjnfoxpkVe8rFWbX0P0tCUURXqNXH8FYq1ek7J9LZXglWheX0BXqXxGCbOouEXElnpCyr6qKlKD7E7PKVh31ijj2dThhr8k//g/Dsa0r",
 "choosing_pairs_format": "base64(zlib(csv)): header seed,base_w7,w9,w13,w17,w25; 128 lines, seeds 64000..64127; unrounded edges as Python repr (round-trips the f64); pair difference = column - base_w7",
 "choosing_pairs_csv_sha256": "bdf087b4d22c27e8cd9ca14cd4e2614aa739f403af59316925b31ab87c79938b",
 "policy_config": {
  "run": "T = qlxcore.load_tables(); qlxcore.run(seed, T, split_window=W, split_nc=5)   # W in 9,13,17,25; baseline: qlxcore.run(seed, T)",
  "patch": "none to qlxcore.py: split_window is an existing knob (KNOBS), read at the single gate `if K['split'] and ts < self.t + K['split_window']:` in Policy.swap",
  "files_sha256": {
   "qlxcore.py": "701dbfd1175fee7d129de92db21b1ddc78645796c422b29d8efba2eda501ab00",
   "enginecore_f.py": "60af56a7570fabd603c6374d38a38f88b3c35a8f1e8192f588769460a96bfcfd",
   "mktables.py": "2b373f0c821f501ea67538f9bbaf2f3be9c1c44a7152cb5f4d32622e1a8a8e6a",
   "qlx_tables.json (generated by mktables.py from A/1ef80bfb)": "8c6d33c5c1024bc23593f46123aad1712c0cc8af3f4a118c5875258f9d7b81a6",
   "QLX5.sol (code_zb64.QLX5 of A/1ef80bfb)": "e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40",
   "kit score.py": "7b9fa5e37695a5d1b048efe91a8b6c45d31bd4245a733261774c871fe9105a43",
   "kit setup_fast.sh": "48e150d165ea3b385fb92e0e3a7aefbbe0d97c38c53efa737a587ed62c308d20"
  },
  "bundle_tar_sha256": "0e8adc477297130b731395b8494b6652c982d2c865306a317e139835d21e27f3",
  "tools_zb64": "eNrtfft328aVcH7mXzGbHhfAGoIA8C0FOXVtpfGX1HYtZ727ig4KAqCIiCRYANQjOfnfv/uYAQYgKblN091txXNsAZjBPO7ce+e+5sI5do5/9y66+zqNkrT47Ff5ufw79Nd1+4PmGp97ru/5n4m7z/4Bv21ZRQV0/9m/5s+fiFWVrdLAG08H/eF0NOk7o1F/NJmOep89/f7pf7fZOslvj5Miu0mdzf2vRv+jAdG4Nx75+l+8HHlw7Q398WA8cEcu1PMG3nj4mXD/kfR/mxfXaXHkHer0sfL/o7/fiJdFmmTVifgQ3S/zQphX1Sq+XmdXi8qyxVVWLbYzJ85Xx83z42i1Oiqz1e8GE8+PRv2J3/dgDQepN3RHURx5fS+O+sO4P57Mp303mYoiLdOoiBfHZb68SZPe559/Xm6WWRUy+gkuFflaVItUpHdRXIk/ffufQ3gRqsWRMP+yvIvzIhX5XLw4HrlJ7PfHcxjgJspg/OIWxim263gRra/gFt91et+V0VV6Ijb31QJaPvq9UFiO5S/fvj8LX71+L755/YH+nn948YGfvH7zH29fvvjw+u2b8NXZi1ffvn5zFp733qfldhXNltBiepMW92KerbNyAb0V27XIShFtNuk6gfsqbxo7hsLS+aHM18tTkaRxVmb5GurCVCK4r9Jihc1UWSzmMP4KSnGOWeX04kWel6kYDYBIHGc0dP2+LTx/clSm2Gm+XSelLcoq30BTZVpV2fpK3C7StYi3q+0yqmCyYpVG6+d+mX7hOm5fmNdZJUoEpAOTWUVF9mMKLUBVHEFpnfbmRZrCs3wNz7fFTXaDKLGAVU/LSgAabJYw5kTQ2LA/bB/QpMgSkRcgQdAaZmlpid+ffQUgFtH6HlcxL6BjHDcACkBy2pPPPJdm5/nuYLxvdtEqBcBUGSALtLNdpo74kFfRUiA9ihhhnoioEi9fvAvPHcCrXraihhdRuVhmM1sg7G2xiqqFLXICWLGNK/h7Dze49cGc85UAiFXZpsjjtKSJyWbe5fmy9ydYSFt8Q/+f0/8KL0SA7ThRcXVz4V3azY2v3/ThZr7Mo8qsHw0urR7ebGBcTrYu06IyXVtgT9ap2FOCvVtqcpIa1C2taK/3h/evX8GALqYASEQVAKg/vDwVv39xfhZ+hJLxqXj/9rs3WAkgfSo+vn3/zdn7c7iFm6+++wAXiCanDE2488ewOG7v5ddv357jXE1CRlsQMsI435+9e/seXzNpHXEBYR2t3vvv3uDruZzFD3m2NhlwRkMPBjRAdHKgJuJlSlUNq4edvAGs7PWSdI7oaf6Qz6yTnoDf1TKfAUZ8oJsNLHxqi1ub0S0QUI8Ksrn4gNiHrQC3gxIJRQdWJgkrJO3StKhuDKWIGo5EiBBvZFmhvQmTMbEbW3ywsINbEQQK3OkSiHdPRRiYxvqCW3W/joOh7CGttsVaJFlcmTSdQE0qkNMKuK00uUoDIKTCLC4MvDEugSUu0ruAkRxgGl+bxpeJYYumhgMVTKgXR8tlGcBzujAubepc/1UFUDLWoAuoIRZZRQ/wL97j5EJ4guRq7oGYOBKxLfqWxeuGkDblqiEW/vSzWhqFAOkdsKLSRASS9fA3By60zIAnZcAdgct2y9W6ILLQcpYmVgcEe3WBsCH44Xjh+lb+RRACNC7htUIH+yse6ipfpWsYSRufgGW8kv3izlMiuZmlom7oTKtuXdYgBzB0azCWtKtZNNESZ0mdXVJH5Qq5TJtpm9Q7zA8x/GIDvIde3eCrVHS5g0nroFxdGGucPTLtMMnmc3pU32ERIBs+Y2hBd2ESIOt05nBtJpZ85msP78S/izvq/Q57xzqwpQXwj+qvojuofIfXO/hFkww3sJPgXhVwa18Kt90a1/oxLXJZA2isUwU2g7Ia0sj5ch820zxnSE7N4D9lVTqLYoljsUyZnEvrQDdxtE4e6Ob2F/WwhU2vCH25VNryiefCh9VoFpB2zjSYwSZmPlxXfIEbANJpvIzKUpyDWGGe3cXpBkWSGuXLUlJHBMsrn1au4pYalwRpQSNHk4iWmL1l7SF3LmGWScgak1AaKPb58v3Zq9cfaJ2vgd3AnmQDtG7yOMLRlcEFzpUklwDZOw9htgXo4jAQFdWGbcu97QhGSMgC7cEK1ByJORTd4jzL6CY1cSPalhq7SZftGUNrlVuXlpUPxTSNssLNvPKbnpCUtY5hFdKlrKJNqK7XfvZcXMhmo6IKKgDCLbBuAEi6tAWPMuA/NgpZwIRRVAoQl15Z1qU+wguDK8qe8LIurlYbeMhb83NhOHBvnPJiJtvVBrr3bWbDUAIb9a1h4XIkwC8DDyYMi4tyexSnXIFXV3F6uSxfBGJ4oo0It6FNWKRRvEC+DAP4UGzTU16BVhn0sCmydUVPhfaUuR21qe+7ni3WYVmlmzIYuhYU/oYEWSAMpDhUODYgjq8rYc5RpiwXcAfESEuHIoSHUsM6r0CUBdUESC/DnYHKmCqAumC4KCmaUqJqEChdgxhNwoqOQHiLjPsHovwfcBz0CMDzA3UFD1416wWP8SFWOdFnSVsjSk9qS4TFiAyrtW0WtCXA2JxsBUDcrklMT4Ek18CIsEnYxRfb9XUJ2wosX3tT/bTt81TMndsiq2CeCklKs7AQeb5f48rMnflyWy5Mq9U4TKtLRMD9GT9Odrje3ImXoA+ZuNBRBoyCWJQ2WVXOTKm4b5r4jTiCHystaf0UlEzUkIDmgQeZKDxD08v8CuUSkJ/MW+tEXPC+eotAxBo/n5LCVTayC/7WKHuYLCXjVnwk5LWLNOsBPz9mwXt3ZQpUWM110YG7XHEe4omYAZZf93a2TjV2bkTvswDWTj3araGYBY9HFlrt9ZC4egGERZAy5EbV2Z4aiFzwdokt80gv2w2CHnpgiH/NsOruqCHuyNrFD+xKCW2tCcAoUGo7FbDVkaBK3IW6pPW+4MW+dFiBN1fWTtuK37BGzo3Y3ATxP+oHZCtbKBGLtlqsQ5JxV8oaWqjfpHo5ExgV8K7NjclrUiCBggJkirvjA3TR6u7CpkF34MyrHDjqrSUxWc2+2bJy1KnDaF6BkEHDC+REQaiTswN0BEIPjJZ1QWM8xM55CZqGEXcCWkNee0vOHh7mV2zIwO0L/rdr20MZ8LBV1RAYevDT9QnJRzeMmde2uCH0yK8c4EErUOJ+tnr7KalNQxWCfZnGldxxUHY4ZWbJhhlQQJHf8B5EWy1DR9uDXnz7LWxwb9+9O3vV2YNIBklJEEIBWE3kOr0PltFqlkTi9kSYGgJeHHmXHUQ5Qqbj4N56BzWs1rTKygFGaRos+BhWrdy2JgkiW1pUcv+6N6+R4kCANtj+YjAEab9B1JNWmSSqIsGyGUxhjoY32UubvhcoPMALsJ1Ay2gAuSbLx6uLa5gJ6JlKuOUecNT1ACR+WDtLInuqEWde5D+m6zCqYPPK7gJty0Chry6rYi4CYM6p2Hj2X0fPVkfPkg/Pvj559seTZ+f/bbDFx7lacQNWRxnH5dL1cXsvJbVBwIawEJctUIuJ7exdz7o6CO/7KjMXqGvtb3G9T7vp/nglQxIDATxSOnZl4ylQ9m0ZgqzjD0eBtJU5fKtv4vHCctJ1nCcILDQcJNkVjMS0PmEAW9A8jEdMhyJa5XBZk/s+U+KpQNmiStcKFbsmxduIbIpdVCKiZQQxiNsd1EhO2zL5EeqXIDRIWyhIfCVQAnQk+5d9YwvlDvYeEvSPhNkVdmS/j8r9Fyew7HVHH2UVRSaANBoKG5eniuQ/Ipkh3nTlIB5//bRA6fUC3ivIliztbG3Zhg19LNvI679ZttkjuuhNaqKL/vhTRRfJ1x4TXUyl6X+0OkJLS46oW4Oa+8b7yBgPyx3F8oC4IbcViWNdUeN/RsRAdJOQ2LedMwi6vPRjvb0XS97dSTe3G1YQfBWBwr+jEzwoySgc/cWyymlHqNbniMpxvuHlwqvTTmk9g6aK2nyBOSWwuDWjRho8SDx154dEDsnEE2hYEzmk1f3V2zdnhn14aAzYlGw4pCydPNpfkkYJGk61ztQjFG3Q0VXl6M3brvAB7C0wAGle6PVg7cJwHa3SMKQdPgzRTBSGBnfMNqOnqIL/VT/nKf7nKf5Hi/8ZDifO1J1O/eH4iVL/deJ/ylV+/T8U/+P6o+Gojv8ZuGOM//Hd0VP8zz9v/I+KW8AQjLi8UUEayIhUgMbjURl7giS0WIydWIk6gkAFEKAEuy+C4O8QKHB6MErgFG3n7DUn4fGAz1z33haPCVaoyit9CqDpvALZ+D3t56zlakEplmVdnAwud3wkKOphMyCY1qb9ltuE3rjd4+ijyCvyfQws0DzFBj0UOJyNs4o27GW4oObrhjUNEbq8bPsfqNF8W5FO2qv1SVtE+MKP2caE5m16U9MrF3ekFT8W9FDXhw6U/lVrM0E9QluQ2L0/vIKKMMZicQeD2gLthOn6CiTkcLsmFQRaiqA+P8PXmgJsuvUKttNUJoPZYcvKDN7L0MuWxdEyWJAjvPvyblSH7JCf40LAKzQHWQGm9Gicx8Ehcdv8vmyblUDZkqW6pwZbNbhpqxNDolGHLXxl8Wx8j7RauPgBLGHt/2xbVkDzz68DKDHzC6MFNCA51M/yGjoIQrjTQNRUkVNoVVHPZBWeQ6uGfIRIm1O4yrZCO0CbEDEgrOM27TXKf7eu5YCmmpjWr6E7Pcn/T/J/I/+PXG84cDy/7478p/j/fyH5n+I17n8lBeCR+H93OBgr+d8b9n2U//tQ/CT//zPH/79P42yTguiXxtfCXOeCxRgB7VLsOgadcRw/vMNSJobqgDx5VIGuuhby6AAO3lYBPUlTESPd5dPCFozfGH6+Fpv7Ir1Z9eRhA9z0ZyAxlhwJhBqDOmzQNWhbsD/nyTZOk1MxT0HIXQHyiFkq0r9sQXuABvlggGryFF1HR3gnrtBFlcbo10r2HEyoyQ9PI7ROJ5y/f0l/3373gUKhxZvw/MPZu3Nxfnb2Kvzq9fvzD3z57Qu4+iguPgrHcS61QHhSsli/qmPiPy3s/RsMuUNTs43DsHEMtnhD3cMTULfOvU+Pf9ci31Hq0ULhh5dW58lo58kY9LmPGFJOqsSd1YR/1lUmJ5eX+3RCmMX+iHpyWigoKXH9BhYS1ioFnVQpjgQnRhoFnrP/+KN8DE0CRGuwwW3v7bcYSGhkc7MimRQYzGrzhVn6X37p+ZPf/nE0sJ6PrZ9gIv5wJFZuwFdmucyrEud+avRevn11ds5BRp8c+f7LQt458EmqXAe010YjVFgAb8nojUdi2hF4AcINleOXcPm5e+e7n/TzP6cWoiTBYUFDTgLkkt+b/CctgpfIAJI0IKhd3AKCwTJuydsNhBd4bgjN4D85ljWq7TIG4+aEMO3Gcqo8nN1XAJC+D9L5LLuSDuVVRhHYLhB9VpAXWcaJpNE1P8erMGpKrsqteiPKliVfRpuseRWQKay0l5NK97suMupGRpghqme2AB0dOd1sew86Faqe8BfuC7gs4BKoOrKQINL1dpUW6NaBhdFUZEAGbOFExIgiNFMHcRgV488n/XGUzgfjzzFoD+BjFnf11b2lBb6W6f4GYn8WzWbDpgGPYz3vOajXVY+jut3oXl1VD3faCuVju0gpEQGIC1kpaW4m/sfIUOUBYgsrwxjLEsRJByf8oYYQmp+sDnkmLtDulxfzeaA57iRgGTFqSlN4QspqFsDipUWRF2xLSK2LE8D8bqhcDhrqetv43dMZNACYSSCWiAkTv3BP+shbGT9PRRrtr9b3T0aDyxYeE8Pouvd3gHslQYtOvmXlAKzCbYk7HuOvsafM+GuAKJtZE6AM9PcroEzcVsSrmQJKp4DT/xYIk7C73RCR5d+0GFVQsRknuMB2AUowqeCC+7vcCR1DqiGF/0oFAu9GWRH9VuJIUrZkATC6q+7orsSXRPInin9c6fwj0/lBUrVevpah7AmM3hvA2mP0FbIKCgO73vGjL2qfNDAQ7HZxQtUvrtHweLVvmicNZ6p2DpB82umjWp6isHNkQTYKSyEuV1SBuFcGeMkVQySpLaBTQLRl82IF9P+u0Ykgg8SLFzbfUisUHxdIKOoFSRVIcMpDL/g2Lc0xxeR57L3GUcLaeRbxhhBQNIB/e452RHfYApAZtkxBwtcgpd60whBlPBwtjAxHxHjEx4y4eDBFhXKDtIWx08dK/DWUBaiO7cHaIJVvYecCccPCBpkOsvU8b28dFO7y8VyLtS9w+6P+1JG1MXNpalWF7kO7IPJ9+6p+YIDUYgBHef4ssQzxTNxqMTgYkoHCDw4dj6+YRj32bidUEt4+S7gU29FR8RbpfQyIyBHlYZXegRxYxE2luHPe5JQ2f94SnFDK/OYG5QwpD0ARVbnQOMwvF0g+UShRPT8ilChmLIpK7a4mNgu0HVL8HXZlPbZf8dtKyKAADtUAbV8pWcWZ49riQj+3lRXYn6XYwZ1Dp0xKVKhMIzT0MClEsp244XxbxOmBiEJYvwNhhEK+Fy+iglkGrjWADhAep8VbGhUwTBQ4rUdCEOsG9o+o29inxzaCPIx4pw2sqAhqRaXvD4zsHPGkXtk/FHhd7/3Bph6eMqN++zxm41PC47k6yRJ63Nqt1dyNATt8kqbj/plI90+vLabpbiCzicmTXKmJz+PAOqlVYhTdPr9Qxw9w4JQYylJFFJPDYZ7vKi0YtwQbV6nM8qTX7jPHN36qtDyRAMPg8zbDLxSbp/BmZF9Ga6Mwfv5fHPT0ZP9/sv/r9v+RN3L6/mg8cZ/s//9C9v/ZNlsmodTr/t5egIft/wN3MB4o+78/GCL9D4ejp/w///zxP6hvjAaaXTrL2/laOEdLVMxBrLHFj1Cnd0526Afszj0WA9DI8A+cktEDaa6xKm5OREfKI0kDT0sXs1qda8l9vb0HVEgPpEwox3o+FLRoY8jeoTcQW2VQX/1CsXmwtvRByOo9GVR0oafUYNFtWWfh0Een53W57Ek1Fc1yzflh/dhXOwbIIvsKydJ0BxVHA7dHKULM3UPHoOa03//5YO6bPYdNVA6bgedPYKJyqGVamaxI/9QVUy/GGK1PPbSPk/zc4xNw2mnHWkOPFzBcdayJ537BcSN07LA+fA8g0Q8W1jXqU3DSiNOTGZ7k0ePWqWQZX69UMeyaj14Yl/rZwsZ8gJDeV4sNCTQG7RSGupfHGQBsfLwd4V1ntngg48n4wWwXrJIrhJmVpp5vRBxjd9BY+3iLJb4QXnrk+fKsNy4C1NeGoQJ1Opk1TsUi262sxexodTmPhYT6jrp70N/ROqpKJ1FgBjKLSXChId/4ko/FwLKTvlXftc6zeA/rfPhKyEftDmX9MlSWtFAeawpoBk0SmD05YLopYBCX4aJ+4teP/McOI1IyGOgh49QzmA7mAhUk7qmVAGbFFN48aepQ+pe6HO/qRDYb0FgpGwoU16lRHh0VvknBeZwRRoJgJhMdNMWYySVLgMPVdfAJ1qk6gEObIoOtyUjzYEKa1jo2UXNBVSh8oqi5RabdhujZgUfQGVYjTDm/jTYyvq+D2CqirYPZVm9WNVQwfoxkZovdygdIZg9bosjMDhWdijtgB3egpfOUw5tSgh4q33ViCIH6Z5X2Bna9/wU5KKi/6GHmuNAbh/6wGbxXjx5jJZGXwUN/2Hq4M3tuqA9taQ319zTUab0LGu0oOAJn5yB4F0awbbao1njsbDgs1KoLa3lseKepXlzeoIRElnwEZHg7tm+n9i3M7BYmcusPv1+jd8YwOCeb8Syxn5X47JnAhFeGLQt2WP++fXMns5XV+404z5dZQmn9KBTEFuldGm/xnO0iLfggHUWHYIK/qyhbA/goYEOGehzXMR1sQix7NA+2buviSRHvM6T/Pbz0ctPqmhblMPZbPGnHT71JPx3O4v58Bmr3bOyOxmO3P/PcaJxE06nvggYeRcP5II6i6WiSeiMQQV1v5vr9/mQ+cFlMqDvqOgJKSkgDUkJ0ddWICywtbS4oBZ86W4kyK9RyAGuSdB6B+lfLW9oxT1f367g7Dh23681x7cZZ43YcMmwSRVwpQwqcCVmQphPpWHt1xQmeFsFPP0t7ZSQZP+ZACvD4bMS8jQbED4vWE6rRHmVdrfu4bq0ef6tF7akay4HB82ucMqebJqemjiBootKp59VV3Z1yUcme0BAMpCsBCbW+xPrN/Un7VgTt6qd1sQR9q0r9rLZ01vbMi4798lIZOKnDBTAi8iBSUgu6ZwekLVzY+G60TaBhAIxsjeeJyHSP94nQ+a/xQJ3SEQzE6trq24izumT5qR4JHFAM66a7M9TKM61c3DZSvoaYSHkjost9qEc562RhF9f0ssOoRe0zGPPlw96X3fF3/CxNBbqncwO6wwXhIh0cULXti9lfuem543h5QPBhBh5ofKYRj11veKkznTbBfxIHOsRivNHjySuUt5kaRS7WorQOR9shM1slAZQvsztG0TqoNCN0xXzSKJASVTvK73yt02GdXUX6nbmEpQvYsixkobMtZgnLcuf3uICv35pWj+Mk2bLi0G6JV/nshwAqw/jRc4kuEfTpVPOTmkmsKXmCoTIpIzWqs4MG54/hQEa86RgVDS2Ao5o7UZLo5gcUNtYg0BYx+sihbzZM0mOrV+U5xVHB4JDZkCcVZvECt/BFVW3Kk+PjaJM52Spx5tv1cVRU2RyZwbHRYz8UYVlPegbRayTNRJjgjnNNmy+OvXQ+cWfzGdsjQJqUuahVGmqVhdpsclDLAy4cWvriuD/y57PpeG5RiufXdPCkuv/jK85XjBCpMFCULVPfG6Vg85HYgDAU39t1T9j/d57gEL1TjGY9EZls7WiVHC0jzHadlsdXebQ86nvjyRGB+4jS1yVHGMi4JTo8gnd/Nxim4+Gon3iRP53P42iajNzJPJmP3HgKE/ZH/iDxE9dzDMZKZPhqDWApZ0hmoGH2j5iQjiJMsIFiWmDIEYcq5RYHJmJog5TRg9keBXNWa5gP6cccDSczEITrHFQf42uVUaaVRyafk3A4B65WS8CiraU/o0yhiyxeUMYYWN10OVc6t5jdcwN6rmlWr1ifF54j3uTVgpJsw+sqcZSNblp6yqlm8F5liAFBy8F9itIKySDGm2gdp5z5ovUoVHkqXiyXD01DtCxcp7XhQQytei48bJoOBT/VabVrmNGUTvYlChdfUA5oInZMrShMuPU8z8bH3pT/+m7913LEO9nZDPS1+Qka/Tgr+dGX9XznNN8uaGy5nel7lzF2vWQ2TzxvPAQmP048f5qkUz+Z+d7MS5J4PBkNhuPpKB74/gzKJul8FvlpEg1dL5q5brtV3PbDMgYOFxiSeo+Vv3hz304nb4vtGhhfNs9SgA3OCICCeWUUeWL891URrRg4FOsdFStHvFjjX7TUASaUAjmpQKsEB6Kv81krPFaQhoAYfYIAofKAWZAUwct2PK0YA5DP/rLNgKYx86SSdJTig2HmdQJ4ZDu0G7ByFbJy5aBZhFtTYFeD4P2XmS4Nok6jbzSu9LCzSL9YgelEDI8fy7rVGGSIQ4TEIIJa1zWmxmGFuTbzEO/RDC2zqmVomS12DC2zBWzXs2rfiA6YXsaPmF4kdkruIbUhdRtuIkAv/CpAGTTxHpgSK9i1OrIVQTc8lukqwoOOZcAGEVEho0R1j78LUOu5QOQY6JflgKP57bqWs7Qazzs4CwInjAAjTgnvgecB0hHuRhXtlDoCG3Kait80Ml5INvgQpIT1GqZ/oSeUr4198gyIXi7tpcS3Qg4JwV1DmlpVc5N9C6VnDlR5Pb1OWk+VfrCucDC/kLLoWrst1DkLL/bKvGylZd5MnLXJidb+7sGjH3WQH72gje+58P+95tqn2sccBB1Q2PfBB5M/2lBG2D28kaQ3x+VfCmACqE+pwzNSgsDgoX6Z8pBw48OoJIr63TdHRmSU/g+lfzM92/UHNFvr8c9InCKHVGBochvt75p5Qc0U9lXKAXmX0UbTOUKUhJsTwswsbr1xeOsPg8aIqFBzf+0+vhE0lkIbNhZCkv0DxYbI/RQS3gfGGolK1GhP56Fketqar+uiiKUITKb141PRdL5IchQlTWjgY/zUpABUCmvpBZdWJsuzVfJAHilqBypZ1+589DyDIPPhgRDkhB2vn55tsvH62fxFliIkF2JYZ7Bu/GNymvy6nCbQMY9FuQ8UL9G/QbGHlzBgKDv+DpA4mx9u+yS9KMlLCVQwYAU0BXm1fYak/vDQMD86hkfjkwsjv8b95nYRVYHR/jRN+5iZtuvzKSQ6AD9H8YS0tDlIv7MVpp62pT7ApL265juoaKlP57C8R+IjOXBBvpn5RZ+8s8coAxAPHnq+gwbgOv31PTp4WRhSCsyJqLMWqKN5iOy2eH12dnY0Hg7wOxONhi7IBim3I04oQDoMbqwEU9LDjcM6L6nmF48lY5CpC9h8puViUAUyCcKBtAyFOqTfLdmbl6Fb+5HsDAcTNRQ7SQj2ZWl4LAeDljVD4hfbhR4YEetLsMJlrRihMxy/1eK5iAOOvBqytoo54JKjgr7HhBUJH5RKTHoO8ptyIc64AjFniRsyBycNEnGKxtgVA0IivvDH2WgQcOyHA5fSDIfRHRiVAYJJWVIeE2Wfs8XUspwklXf7moRuV0hn3Cq1hU1YsJMvKLJRPODpOCUfMxJzKblG/dElFDtOdUpAmxLaRN7x2U0MpRYmlR7Bwm1Y5J+P8HgGjkygygtqMuhAFIS+3K7W6J/icRh75wLjPhAprANlT8QyKykhyOzzTIpcPS1qOTAOngA8/YQP1XxsHeqjbKIfERunNkASAIlwbBSbfblvNOrfsEEBTwFhRsFGIztpi534Wa01ZyLGTYrkTfObN29/f24R+6ZvPxG+QTEIM1fA6cWfs7n45uJ7loG/l/ELwIa+QPFk7lQgM9XFsiOodfJnnM07gqFTglyvDRc1ujpb7k9GM1zjBL8XIO1YdyP3eFfHxLBio8PYD77WrYfvanz+4Ht6nYOGRRy3XHI+S2xewZ5XkMQxu9f3E95gNHvYQ/PUm3yg8/osN0XdExNwaDNssZl2T23fHcCiEWc7wICC41KHONVMq+0mnEdlBRS0W71Vav3cjHwG5LxMYV5FrfC66SRK4sF47E/HXt+djftefzqcTQag/Y5GQz+eTvzEjyejYd8dRX1vnEL5pD9MfC/1x/O+hkxky/wkJkg1O9xPvq6NrcMkqPzAeQZ+dx+zhPaQWXY+BynMQn31TuaNPmaJ81glCif5zRYTwfGRKNN1UsrhZzW2BW8r+Kip0Zx6N9UHOZ6rg9Zcpsx6HVdx00THxCzM2gCDtlUqTQud8UBHoCOjpRGnv8DT4W1EEEdH0HOFMMItYXt3dDcZgbQOz6Wl8yhfL+/hNsYPj5CKDZhXIEM75kdHR/K+XShPgYjf/lY4e0uA+m8QFfeRkMHJAvri6LXKD6ATvXjx/sPrr168/BAqQmIKV1W7ZPpAF5iPoF47+f5DQqQWZfhIq93PL1Kyg+azi0A5tKtwnlkEyVIAEdOxi1JoefbxPGMrB+6+bv/q1f0blxOlw8NLiqVyWbHSIxkfMM2C0OIw+euILIywT0yMxVR4feGNhT+s1aOOsa+z9ZMNvma/tmA+IX6pCU+YA9j0Yc3IhWjZ/IE23+3jNlobx7TFyZdJ8IviLUAETW8faeLjI0005+fQB2RIzzIxGZAGYDNcAoilXkRHZ+N4W7D8BrzozzCHP+Ne+ZHtJEOs+pevs+o/Tcdx7JVrg2RkKjGJvUhkL2Mdm9zcMOp7XRIilAg+f/vtq18GnVNRBuTIMw4fGy21UJEg8E5F80J9IvPZRxsdf/KDPmXLG7/rjGdf/LOPlmV9rk2qtjYHiHIN9+V4nsAg+1fKfjM2LT+SwkWYWoaO+pQnaIAZ6v5IAbFwnYnjDxjq3dQuUkykTUtlceGe2kIuKtIdFQDJDnQmG4mQDpKR9c4Styl/C4CDkKoFaAFXPHDlFW+yzXBX/pBbwWwwaLPHAZ6IWQ5FfNAa2pmnqExB/weSypAThY9y0jObVC76uqcwt2sJU7Lb50tUnXR3kSM+wPA+BuPag9+MVbEF7Las8b8xCEgjDOfQJxQTb/Zk7VGaoKPhOPquWRltOdVRupfg0RM5CJVXQBo1gGa8kfr6Iiqh9I1g7rfmM2x/QDxpZMl6xL47sfujUT1ybBi2r3rwrMySGoHfm639KzjaEjUMbzyxx4MBBaZZjnirxsWYQoiFh/mLrATtENjDs4RXJZhyoJb2hBeDHvvDExEBZqB6KvWdZVpxe237PRmg2tgMi5QrKWmFVqQyI+cQyD4IBkJUh6P18qX0j3B18pTo60Ahk1Rr/GAtmyt5/b9DW5pQKs1+Bm9eAqUrsizUy4BoUuSbHI3O8j3gkWTrlfYiCu6QHwfkYAv92xsUbCH0Wvg5uTLAr9vWz+lQKBC7rSTZYKLCOCgfZYg8DbVo2T7bOOtMrp3jDMeCmurvU4dIYApl5krZGlt0+JkaMLC/kIUX5WIvg6HnTPQSyRTLYOBhyByDUHHHEJAs5BVQ3XlTf8+ImDZbYGRnZq1Xs5yvfXNRmP8P5JaaDcNsyc9k61+TZm4zGB7BWm0r5MeNB0F+ts9RCwoLfJOuyVdMa0pxF2riwQtU2pSbNnKjQTLw5/3ZKAWda5YmIy/2Ij+Zu5PEH8d9L46T6TCO06E7SdMpKGWTaZIODGnj49YUW3MHnjsZz+b94WAS910/AoHHnaMyN+yPk1E0ioH/j6PpMIrdUeLGIChFwxhb26vogqA9VM5SAj+aNalDxZVGyWg89WaT8XjmgRg1mETDdNSP536UDjH/XTpKJ+NRP0r780k080DPhJnNvOGBDq9RjFEhMEV06/D5JuCfBRIQsAQ66vS3x44cf2rsyPHhEaK6OgMMbEaqncL6BUNDhAXE/OQhOjAO5+rHAwOtKCgnMH6dE2I2mg059qgJN4nppo5Wom0BJsabEW5fZVblsPvLYBVFPeysYDmVP6h+YEpswJYG/pZBI54mw/lkOhwASscg1LvTUTwezD0/HU/HiT/3/eFs0I+SdDZyXX/mD4bTQZIm8+nMS6bpfKioKdQVQt12qdmLgNaOD2uQh2xGUoUKdk05Sup7Ka2wfQdawqC69XYFGpXvDJ0B3cwiEApHEwfzvCxvVijhw4Oh67iq0yVsJJX6imw9DOO9DMNKbxA7Ufhfk5G4dljyzq8FXjCza4cPldE9C4sUD4UsdZYuYZenABvcw2eY6Lq6zZFrrpOoSDhRFAgjMOUkT3m1ywW8Q0LPfJ7yfogHYBxRhwptctAHBAgL2Sqq0EBdoKjLZ2iE+Rz6c0GEqnJBl+Mxy8gok8KwPKff7R91HepCQyvjw058FXbDqYOSFHNpAx1T3Mw9f0RVSq7k2FYyOezoP8AccnIQQS8tcQgEmbJagqwL04kB8HgoIq1h7kjnLSUN4W6wE/rqJ86NbMn0ATfyVMBIW8N/2V468r+CeI8OWA6+BWBqXxUrWfl2HHInsrDfcdPuF4BJQGcPCV2SSdp8Z4s/kU39K1v8wRb48UPleS23sxV+34yrN8KnFHlak2gZxykKspShGCAUrkEFUEsSI7AaPiNHuYkKRE4i3La7zxFf4wwJqjRXdfSCjF36+Qtdw8Bx7lF2kFhGyttEmTIPKDMMhXbzNNLWpP8QlSe7Aj9J3Mrd1BkUiS/btQrfYtqUg6tzclID+lALRCQAGJOl59kTl78zzvAu0fDCdAMSO7NoYIuk0REbAclxu0zEIrohfJw1QJQGBTkH7TN2sE23pvqKswclwpTczxIY7FIzfjWjkz0KHEzZ9+3BaMrZg2jkOM85hRHIUDFTQUuwQ7okstlsywWDDxlBZXXoHlpeARfDsReRnEorLrbmZX1nSPncj0oY01pySFRgtIjZWi1znemQo5NIGW5ew1VBv7HslAk+AuYKs2nCRxpmjH53DriLhG+DSCWDaZiaCQ51dI5cJAQmLdScSI/m1JJUT3lrTTKuG6Fut8MOpf4FA0e4YPj/Ei0uIMqowMHOhkFmgGV+ddWEdJCUTYICDAh97Qlm26sXCLsXCcj1JSw2I/ICuCTsfd+xzku4QUZSolbYq5JtwT3ClkkIqyaRrefAMdbS3sV6jmzEnMCiX1o9kCDVKXH5GWd0iqq0ODYiVH4bgqCuPt7WzqAjrUbYSv3xZ86bQ4e7QTyt/Zfyi3aEq6cUIouBxsS/dwKGm2hhQ24Chi1awTl16E33DGKT50ib1G4Sn+7pu3ZOH/lJblMd5rQprP4pe8jT7+n39Hv6Pf2efk+/p9/T7+n39Hv6Pf2efk+//wu//w9x4hvT",
  "tools_tar_sha256": "12159e9e8f126b6e61277119e05743aa53de6c2beebd9003bb044c829a76821b",
  "tools_format": "base64(zlib(tar)): window/drive.py (resumable choose/freeze/report driver, 8 workers), window/smoke.py (four-row smoke), window/replay.py (compile + pyrevm replay of the Solidity recipe), window/build_result.py (this file's builder)",
  "commands": [
   "bash KIT/setup_fast.sh --platform linux-x86_64 --replica-only --cache test/scratch/cache --scratch test/scratch/runtime && . test/scratch/runtime/env.sh",
   "python3 -I QLXCORE/mktables.py ARTIFACT_1ef80bfb.json QLXCORE/qlx_tables.json",
   "python -B smoke.py QLXCORE b2r3/runs/per_seed_512.csv smoke.json",
   "python -B drive.py QLXCORE KIT STATE_DIR 530   # rerun until it prints ALL STOPPED or REPORT DONE",
   "bash KIT/setup_fast.sh --platform linux-x86_64 --cache test/scratch/cache --scratch test/scratch/runtime_eng && . test/scratch/runtime_eng/env.sh && python -B replay.py KIT QLXCORE SRC replay.json 10000 64000 64015 7 9 13 17 25"
  ]
 },
 "solidity_recipe": {
  "base": "QLX5.sol, sha256 e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40 (47,230 chars), line 203 in afterSwap",
  "old": "if(t.timestamp<(s2>>128&M64)+7){int256 m0=int256(slots[6]);",
  "new": "if(t.timestamp<(s2>>128&M64)+W){int256 m0=int256(slots[6]);",
  "edit": "replace the literal 7 in the one occurrence of `old` by W; the 5 in qHitX(...,m0,5) (split_nc) and everything else stay",
  "python": "OLD='if(t.timestamp<(s2>>128&M64)+7){int256 m0=int256(slots[6]);'; s=open('QLX5.sol').read(); assert s.count(OLD)==1; open('QLX5_w%d.sol'%W,'w').write(s.replace(OLD,OLD.replace('+7)','+%d)'%W)))",
  "per_window": {
   "7": {
    "source_sha256": "e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40",
    "source_chars": 47230,
    "creation_bytecode_bytes": 22469,
    "creation_bytecode_sha256": "275fd44fa37b567c17e18607436eebae510e2bd157979bf3a2fdb61228d59dab",
    "replay": {
     "seeds": [
      64000,
      64015
     ],
     "callbacks": 169269,
     "fee_mismatches": 0,
     "call_failures": 0,
     "edges_equal_search_rows": 16,
     "peak_call_gas": 178744,
     "peak_call_dt": 6,
     "mean_call_gas": 111901.0,
     "max_call_gas_by_dt": {
      "0": 130302,
      "1": 160921,
      "2": 163422,
      "3": 167665,
      "4": 171842,
      "5": 174700,
      "6": 178744,
      "7": 149529,
      "8": 154208,
      "9": 158582,
      "10": 159267,
      "11": 164733,
      "12": 171616,
      "13": 168005,
      "14": 172289
     }
    }
   },
   "9": {
    "source_sha256": "368e864b96e467038985e6326d49762e29d1d2e3e8ce7994aa16e7e8fecb0ef6",
    "source_chars": 47230,
    "creation_bytecode_bytes": 22469,
    "creation_bytecode_sha256": "284857f2bbd47919905dc7e17fe99cce6b8c0852742e200cc8de38fcc2c9ee58",
    "replay": {
     "seeds": [
      64000,
      64015
     ],
     "callbacks": 169283,
     "fee_mismatches": 0,
     "call_failures": 0,
     "edges_equal_search_rows": 16,
     "peak_call_gas": 180407,
     "peak_call_dt": 8,
     "mean_call_gas": 111918.7,
     "max_call_gas_by_dt": {
      "0": 130383,
      "1": 161765,
      "2": 163569,
      "3": 168822,
      "4": 172832,
      "5": 173808,
      "6": 178744,
      "7": 177906,
      "8": 180407,
      "9": 158478,
      "10": 160360,
      "11": 165007,
      "12": 171616,
      "13": 167976,
      "14": 167163
     }
    }
   },
   "13": {
    "source_sha256": "70c9808ae8f21561d63c34c4127f992e8786d1e311bb05f3b1a18e3a61482132",
    "source_chars": 47231,
    "creation_bytecode_bytes": 22469,
    "creation_bytecode_sha256": "8a6fad397fc4c6e79f7c5457ff51c605708e785d644652a9dba88f70ec89d052",
    "replay": {
     "seeds": [
      64000,
      64015
     ],
     "callbacks": 169279,
     "fee_mismatches": 0,
     "call_failures": 0,
     "edges_equal_search_rows": 16,
     "peak_call_gas": 190580,
     "peak_call_dt": 10,
     "mean_call_gas": 111928.3,
     "max_call_gas_by_dt": {
      "0": 130383,
      "1": 161765,
      "2": 163559,
      "3": 168822,
      "4": 172832,
      "5": 175402,
      "6": 177656,
      "7": 177906,
      "8": 180407,
      "9": 180465,
      "10": 190580,
      "11": 177856,
      "12": 179267,
      "13": 167775,
      "14": 167163
     }
    }
   },
   "17": {
    "source_sha256": "e1480dce9efc231f481497d036c57fd31bcc38d0df7085a2e9d49726204108b5",
    "source_chars": 47231,
    "creation_bytecode_bytes": 22469,
    "creation_bytecode_sha256": "98c9d068e9dbc86339ef63abb3f9a689c89db445e3f6b0b6addcae44c19df109",
    "replay": {
     "seeds": [
      64000,
      64015
     ],
     "callbacks": 169279,
     "fee_mismatches": 0,
     "call_failures": 0,
     "edges_equal_search_rows": 16,
     "peak_call_gas": 190580,
     "peak_call_dt": 10,
     "mean_call_gas": 111929.2,
     "max_call_gas_by_dt": {
      "0": 130383,
      "1": 161765,
      "2": 163559,
      "3": 168822,
      "4": 172832,
      "5": 175402,
      "6": 177656,
      "7": 177906,
      "8": 180407,
      "9": 180465,
      "10": 190580,
      "11": 177856,
      "12": 179267,
      "13": 188511,
      "14": 181622
     }
    }
   },
   "25": {
    "source_sha256": "87ce6535bc57c055942fd44cbc069ec4f3652086430c76ef5972ebab8a17e4ff",
    "source_chars": 47231,
    "creation_bytecode_bytes": 22469,
    "creation_bytecode_sha256": "da97bc2320c23a23693094219ba6b8307eac005eb807856baee39fc35b8fd4aa",
    "replay": {
     "seeds": [
      64000,
      64015
     ],
     "callbacks": 169279,
     "fee_mismatches": 0,
     "call_failures": 0,
     "edges_equal_search_rows": 16,
     "peak_call_gas": 190580,
     "peak_call_dt": 10,
     "mean_call_gas": 111929.3,
     "max_call_gas_by_dt": {
      "0": 130383,
      "1": 161765,
      "2": 163559,
      "3": 168822,
      "4": 172832,
      "5": 175402,
      "6": 177656,
      "7": 177906,
      "8": 180407,
      "9": 180465,
      "10": 190580,
      "11": 177856,
      "12": 179267,
      "13": 188511,
      "14": 181622
     }
    }
   }
  },
  "checked": "each edited source compiled with the kit compiler (engine_eval._compile, pinned solc 0.8.24) and the callbacks that the port produced with split_window=W on seeds 64000..64015 (10,000 steps each) were replayed through the bytecode in pyrevm with 250,000 gas per call: both returned fee wads equal on every callback, no failed call, for W = 7 (unedited control), 9, 13, 17, 25. The W=7 creation bytecode sha256 equals the one A/362fb97f reports for QLX5. No engine simulation was run.",
  "gas_note": "peak_call_gas is pyrevm message_call gas_used on these 16 seeds, not the engine afterSwap counter (A/1ef80bfb reports 208,366 for QLX5 on 512 engine seeds; the same contract peaks at 178,744 here). On these seeds the peak rises by 1663 for W=9 and by 11836 for W=13, 17 and 25: a wider window lets the split test run in callbacks that also replay more silent filter steps.",
  "status": "recipe only; no contract is proposed"
 },
 "timings": {
  "search_work_s": 363.8,
  "search_work_cap_s": 2700,
  "search_runs": 640,
  "workers": 8,
  "mean_core_s_per_run": 3.544,
  "smoke_wall_s": 4.9,
  "kit_setup_replica_s": 51.8,
  "kit_setup_engine_s": 41.0,
  "recipe_compile_and_replay_wall_s": 192,
  "note": "search_work_s is the single driver invocation (JIT compile, 640 runs, statistics). The 45-minute cap was not reached."
 },
 "provenance": {
  "exact_replica": "https://api.imd.fun/artifacts/60dc237fa0a4d42f3b6e2d2bed61c1a2df08d27c31ccd95cce508ee9c8689de4",
  "audit": "https://api.imd.fun/artifacts/362fb97f041087bf3548c302af4c0f82d2537d6a6c0157a95ac06d0cb70a5ce4",
  "qlx5_source_and_rows": "https://api.imd.fun/artifacts/1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15",
  "kit": "https://raw.githubusercontent.com/identity-md-launches/goal-3178-build-shared-evaluation-kit/45e7563d1a29ffca9d608fdf60c90bf2624d2d01/",
  "kit_tarball": "https://github.com/identity-md-launches/goal-3178-build-shared-evaluation-kit/archive/45e7563d1a29ffca9d608fdf60c90bf2624d2d01.tar.gz",
  "taylor": "github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved, as credited by the cited artifacts and kit; the repository itself was not opened in this run",
  "audit_payload_tar_sha256": "c9d5f89540cbcb02096c74f12e797d2f225b43adeb6002b24594dedf9b1d9ef5",
  "audit_per_seed_512_csv_sha256": "06bce18b1eb7712b848713baa86cabd2265778d480be61d2f4af59f8753cdc90",
  "runtime": "kit setup_fast.sh pinned CPython 3.12.16, numpy 2.5.4, numba 0.68.1, llvmlite 0.50.0"
 },
 "limitations": [
  "Replica evidence on 128 choosing seeds per setting. The futility rule says each gain is below 0.03 at about two standard errors; it does not show the effect is zero. All four point estimates are positive (+0.0016 to +0.0077) and within 1.3 standard errors of zero.",
  "The four settings are not independent: they share every seed and the trajectories of 13, 17 and 25 mostly coincide (see choosing.overlap), so they are close to one test, not four.",
  "Choosing seeds 64128..65023 and all report seeds 10000..12047 were never simulated. No engine simulation, no E seed, no gate (P, Q, T, F, G, E), nothing submitted, no contract proposed.",
  "split_window values other than 7 are not covered by the engine parity audit of A/362fb97f. Here they were checked only against the edited contract bytecode in pyrevm on 16 seeds (fees equal on every callback), not against the engine.",
  "Gas: engine afterSwap peak for the edited contracts is unmeasured. The pyrevm per-call peak on 16 seeds rose by about 11,800 for windows 13 and wider; the 245,000 limit would have to be checked in the engine before any use.",
  "Deployed (runtime) size was not measured: creation bytecode is 22,469 bytes for all five sources (the edit changes one pushed constant).",
  "This machine ran the exact replica at about 3.5 core-seconds per run (A/60dc237f reports 0.95 runs per core-second on its machine), so a full 1,024-seed choosing pass plus a 2,048-seed report for a survivor would not have fitted the 45-minute cap; this did not arise.",
  "The replay re-ran 16 already-measured choosing seeds with logging after the search had ended; it changed no decision. The host CPU count was printed once during setup and did not influence the worker count (8)."
 ]
}