{
 "credit": "Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved: the solved policy both arms are built on, and the harness run shape the driver follows",
 "key": "tml-a",
 "item": "tml-a",
 "batch": "e05-engine",
 "submission": false,
 "seeds": {
  "first": 10011024,
  "last": 10011791
 },
 "n": 768,
 "seeds_complete_every_arm": 768,
 "arms": {
  "LEAN": {
   "mean_edge": 545.1185942371961,
   "peak_gas": 199412,
   "out_of_gas": 0,
   "runtime_bytes": 21368,
   "source_chars": 43563,
   "source_sha256": "a6dfc3ba6b7a1b19ae77680eeb1d24f1e902a216a10c1093d8388a0510c38c94",
   "runtime_sha256": "52d01b1e7221eccb0b55982f498caa0fecea01dd0619c9d96cf685db85f6e912",
   "creation_sha256": "f61277a35aa888219da6880d695e8d0fb44467e8880e465c0a27dd098a526a67",
   "n": 768,
   "afterSwap_calls": 8474877,
   "afterSwap_ok": 8474877,
   "mean_gas": 124515.88739199401,
   "callback_failures_all_roles": {
    "oog": 0,
    "revert": 0,
    "other_halt": 0,
    "tx_error": 0,
    "bad_return": 0
   },
   "blocks": 24,
   "engine_seconds": 928.813,
   "mean_vanilla_edge": 352.4340455523183
  },
  "TML": {
   "mean_edge": 545.1185942371961,
   "peak_gas": 208688,
   "out_of_gas": 0,
   "runtime_bytes": 21055,
   "source_chars": 40615,
   "source_sha256": "99d031f41074ea872c78fa7dec5db33d9f20f3251e29bdbb4682c92791334b72",
   "runtime_sha256": "b6f3c2c2a78f7f5676d16fa8f78ee9ea43fda4e16f957aa3e1eed2bfe15b1d05",
   "creation_sha256": "41a9c2c7efd4b829743ad71fce5cc2cfbaa7a870ace385b9be92c61a4644d0bb",
   "n": 768,
   "afterSwap_calls": 8474877,
   "afterSwap_ok": 8474877,
   "mean_gas": 130698.92754844701,
   "callback_failures_all_roles": {
    "oog": 0,
    "revert": 0,
    "other_halt": 0,
    "tx_error": 0,
    "bad_return": 0
   },
   "blocks": 24,
   "engine_seconds": 973.067,
   "mean_vanilla_edge": 352.4340455523183
  }
 },
 "diffs": {
  "LEAN-TML": {
   "mean_diff": 0.0,
   "se": 0.0,
   "n": 768,
   "seeds_positive": 0,
   "seeds_negative": 0,
   "seeds_zero": 768,
   "min": 0.0,
   "max": 0.0,
   "sd": 0.0
  }
 },
 "bit_equal_seeds": 768,
 "seeds_not_bit_equal": 0,
 "bit_equal_how": "LEAN edge == TML edge as IEEE-754 doubles (float.hex equal), per seed, from the driver ledger's unrounded edges[\"submission\"]",
 "seeds_abs_diff_over_0_5": [],
 "seeds_abs_diff_over_0_5_count": 0,
 "worst_seeds": {
  "LEAN-TML": [
   {
    "seed": 10011024,
    "diff": 0.0,
    "LEAN": 536.5851948382327,
    "TML": 536.5851948382327
   },
   {
    "seed": 10011025,
    "diff": 0.0,
    "LEAN": 440.0346210980104,
    "TML": 440.0346210980104
   },
   {
    "seed": 10011026,
    "diff": 0.0,
    "LEAN": 538.0010660567742,
    "TML": 538.0010660567742
   },
   {
    "seed": 10011027,
    "diff": 0.0,
    "LEAN": 532.8231890305278,
    "TML": 532.8231890305278
   },
   {
    "seed": 10011028,
    "diff": 0.0,
    "LEAN": 432.13906004419897,
    "TML": 432.13906004419897
   }
  ]
 },
 "worst_seeds_note": "every one of the 768 differences is exactly 0.0, so no seed is larger in size than another; the 5 listed are the 5 lowest seeds (ties broken by seed)",
 "pass_peak": true,
 "peak_limit": 245000,
 "cross_checks": {
  "arms_are_different_bytecode": true,
  "blocks_with_equal_afterSwap_call_count": "24 of 24",
  "seeds_with_bit_equal_vanilla_edge": "768 of 768",
  "source_sha256_as_briefed": {
   "LEAN": true,
   "TML": true
  },
  "runtime_as_recorded_in_source_artifacts": {
   "LEAN": true,
   "TML": true
  },
  "note": "the arms ran distinct contracts (different runtime hashes, peak and mean gas) yet returned the same edge on every seed"
 },
 "inputs": {
  "LEAN": {
   "artifact": "https://api.imd.fun/artifacts/a79a3606add967bb8f8ec2af8ef3d61bafb597419c488133597c8af5b9d34505",
   "field": "code_zb64",
   "edited": false
  },
  "TML": {
   "artifact": "https://api.imd.fun/artifacts/fd2f147e94f3523e4c4f91e43dc98b88e9ce8ef1060d2939367445711154a16a",
   "field": "code_zb64",
   "edited": false
  },
  "driver": {
   "artifact": "https://api.imd.fun/artifacts/764c9461a9f3bab6e277178f4bb48553d1b97c6cca33bed016f7c9bfd611cc42",
   "field": "driver_zb64",
   "sha256": "d3f8646b541a76921a47e9d03247c8c9dfab594076a7c5dca79c36b6c048a282",
   "edited": false
  }
 },
 "engine": {
  "repo": "benedictbrady/amm-challenge@6b6921f8d463314aa7c96234e1be25a25245f704",
  "module": "amm_sim_rs 0.1.0.post1",
  "native_sha256": "ff88b6353c2aad7342f0a26194f7347e78b9c3b38d683a7449006d423978cd14",
  "vanilla_creation_sha256": "3bcbd8a295b9d9c357e76df36a08c6232f8afa692a2189c643fe0d029a9efc05",
  "compiler": "solc 0.8.24, optimizer 200, viaIR, paris (kit SolidityCompiler)",
  "compiler_sha256": "fb03a29a517452b9f12bcf459ef37d0a543765bb3bbc911e70a87d6a37c30d5f",
  "kit": "identity-md-launches/goal-3178-build-shared-evaluation-kit@45e7563d1a29ffca9d608fdf60c90bf2624d2d01",
  "setup": "bash setup_fast.sh --platform linux-x86_64 --cache \"$PWD/scratch/cache\" --scratch \"$PWD/scratch\" (exit 0, 16 pinned downloads, no Rust build)",
  "steps_per_seed": 10000
 },
 "how": "each arm alone against the 30 bps VanillaStrategy, edge = edges[\"submission\"]; driver.py --strategy LEAN=... --strategy TML=... --seeds 10011024 10011791 --lease 10011024 10011791 --block 32 --budget 390, run 6 times (exit 75 five times on the budget, then 0); 24 blocks of 32 consecutive seeds, LEAN then TML within each block, one amm_sim_rs.run_batch(arm, VanillaStrategy, configs, 8) per arm per block; configs built per seed with default_rng(seed) and compared with the kit's before every block",
 "ledger": {
  "lease": [
   10011024,
   10011791
  ],
  "run_every_arm": 768,
  "burnt": [],
  "failures": 0,
  "commands": 6,
  "longest_command_wall_seconds": 357,
  "note": "every seed of the lease was simulated exactly once per arm; nothing interrupted, nothing rerun, no seed outside 10011024..10011791 was simulated"
 },
 "code_zb64": {},
 "code_zb64_note": "neither arm was built here: both are the unedited code_zb64 of the artifacts in inputs (source sha256 in arms.<name>.source_sha256)",
 "rows_zb64": "eNptnUmOBDtyRPd9lkSA87DUQruWVjqC+gS6PyB7znBBRY/faKnLyn5WRpD02Z3/869//ffvn//+b//5+6//+Oc/cko5p9J+vY6nr553W3WVWmZEnNx/raUn1TZKTnulnFpEnDz0OevR/05jpD7mbCUiTuaPlkd/LK+dauplrog4ef2afpXrTiOl1vJee35ATt+/sfqTW6t1pll6SiUiL7mm38jtKa33Urd+nUeOiJPzr+f+jKp3tcZO+gojIk7WH637yX22qv/R0swtIk6uP73Qp1e9qjTbyPq0iDhZa9jGM/teo6e5Z8ojIk7uv5HqU1vOY+p3ac0dESfzOe2ptfZSRpml5RoRJ2sN0n6mNkxuc5TR9OYD4uT1m6s9qfXS22597/2BOFnfMJeHt9R279pos0fkJbf0a7M8aZWUl/Z32kWbPEJO1xr29WjjpKztsOtsAXCq9m9vjw7F4HlqX6tHxMn111Z+tt6pXtKauawZESdrJ8z0DD3y7nPvHn52op679WenVVObS+uqpQ6Ik8evjq6F1f7WX5xjth0RJ0/b5putpY/q6/rRacJnfvLYtc3Udt4SCgFxstZ/ZM7Z3lqprvekjR2hl961cn0/XaKh56mjqGMUESdnO/H63mWzcVvKWrkIOb38tFGe1lfVg0s4TZ2agDhZm3zXp+nfKnktSYc5I+Jk7Zc0npw5k/qmpQ09ZIScri0jiTlXZnWHtqvEWUCcPGwVpr5RnVNnX58XESfrO+rV6iXtWroeaoocECcvO8erzLFaKbWt1CLiZK1jT8/KK29t87X1DiLykockaLNDr/WS9K0dcXsjTtY3XOnZdSEkikT3F+JkfU6R2N6rNG2eudesEXEygqo/a9esd7DSWqVExMnaCxLbW1qp6snn2PoaAXFyN+FaZtVe14KNXEtEnMzxLI8eXQe0LH0YK3gjTp6/mddTlrRpyUVbp34gTtYK9v7wflbvUjWlB8CpW5+iBciSP0uCJc8ZgJc6k16/tL+WVeehoD52RJystdLRb2MNLZU+qqN4bsTJSE8doYms1ubSa2oRcbIWVieo6U9mCW39SZED4mR9zl6SwrtLvpeqTbYj4mTZMNpfpWcMm6I1u392olausgOqrApJn7pMg1+Ik3X2dB70ilZZ9tjIkBtxsg7Pzk+RTJMUHHpZescBcbIeZUgV6EsWzpleaInIS16SoGXoWGorjb57ldCKiJO1xZv2ll6nHkmvqCKvb8TJrJ4kMXab5F+fFdvgRpysZ88DlZB4lty0YBFxshZWu0Dmj45E2Xqne0fEydrjsiiyNox+yrLcOtZPgJw+9ED6jtoBpbVyvlpAnKw1TOnpc8k6mTqYOhXtA3K6VnHqWw4pEFkgkj5a8oA4Was4x6PHapJRMpkXUuRGXvLWGWQZts6lzPAxTXL9BZwqYdJlU8guXTLb+rEHbsTJ+hjtsqF/pGY2SzEj4mQ2jhT1KhLFWBYI24A4mROYpB61D7TX9UF7RMTJMhiKDL05kNIyN2XiRMTJCJTyaPNKuI9Wt1lhN+JkfU4vT814LlL/Ovk7Ik4+8hNlUFIBQ5zdiJO1fto2TcJyFZGmfh+RQ9b/0Wku0ndZEkBHo0okRsTJ6Lv8rCZVqi2mpS01Ik7GcZGcmA2jbGnNxgfi5GqW4diyptEz2mMzIk5uphF2SaY5ZJGWD8TJrOB8EIFDFlnOlfd8I05+bZiS9d0aen3niDhZNrIUuiwbvVydiyH7ZnxATtcZlM0iLbv1JbVqdQTAqccLZKF0jLp5RRF5yVknME2JqyUTUcaTdEOOiJPRgvtZ0tASxvqzve6IOJmjrA05+hiyGeQvtA/EyTpxez6raqOvXHDlAuBUbN8mx1N+pA5FsjdxAU7t9iFzI7hnrhPTLyBOHra/ZMpL9sp+k4nYI+Jkvp4UepM6l0kmS3IjRgLkdJ3AtJ4lQTLxrnTusNoC5HS91SSfT++/YOvVYoomQC+9oAuxcTgVUtV5m4caIKdrFbe2u/6R0pEQ2nz4jTiZU1fkl8gSkFKV57x6RJxcLaCijVulgvWCG6rzRpyspehEX6SE59ZuI0oQECfjy8sgYafLXm/YchFxMn9U2ilXtCQWyfpAnDzNIMEyLmNL7sg9ioiT5bnrRUkcm3UmN1iHLSBO5mxM7CLtdsz23HpEXnLVOZRYkV9dpZ6QQFiRN+LkI76lE/uoWrQyzQa7ECejC4ucgT12GTIJJu7TjTi5/qoWt8iH0vNoeScvOkJOl0WDNaczJ2dfB2pHwKlaQbms2jptdL3+3vUyA+Lk8ZNPJLGirZ5krOqXOyJO1uMUfY5EoewRbV/J5og4eZkdoKOv7ZuQW3iDN+Jk/VFZGHK8VsrYUERjAvKSm1aw7icRmevSITLqdkScLDUpy3bLAmj2AiReIuJknUGZlPLfZdLK2CmD43AjTq6/VeRjF5Z3SWZkLWBAnMxy6a3uKYUjQ8dEZkCczB/VHitS1dsCj3gqN+Lkc+KI7/H19A+b9kaczInDsJVDIO9JW6e1iDhZ20aCU1atBK1WuEuxRsTJsvNXfQg51imnbst2GB/QSycuI/Oz4clU5L1sh4g4WWs4m2xVOV9bXpJcbUmeCDm9SE1tbR2t2ZIFU7XC/QNyejVnNMkRlabU4UDBBMTJ6MSlhZAikTNa5cOviDhZfxXPVVaJjCP5BzonEXEyv1qcDilrHSbJrxoRJ08Le/eFCarllRDqEXHyMjtD+gxzIMtzTD0iTsa67UhO/TM4HzNH5CWPZA6p9KLU907yBlKNiJOxabTh5QZkmZbyI4gu3IiTy09v8sFnaHou+11EnCxZOhYhm7GnWYvyBwLi5GamcJNlkjnS5mMFxMndIkfa6nJFkwRuxXe+ESez39sjSSRxbGEp9saNOBmtKhNN8lgLvLD3V0ScLG2YZHg1CW4iRxkfPCBOlixNsvXl9hSCeTrePSIveeJXECiUNkXcF1Ei4mTOIdtGtpG87kwYNyJOJrImWSHbS29felWLFhEn63Ek3yTZOqGjLR1YIuLkZlGCbcJPazAREAFx8jkXEj6zaWGlL1OJiJPxK9JTlh5G67C13WdEnHySWvLi95SvpFebWkScvH5VW71pw+hZkIaDUHqAnK5dlmUZye6bBEL08DkiL5kIDXaixBSZtV3kT7QPyOnZ8hyZNysFkeZcAXBqsS0pE3HLn0K4lRYRJ58IjZ6iYElNklsRcXKzoN5oM+lMWAQiAE6VFEWrkg1M2NdTiikgTkYbSljJlZKWrBZGjoiTMbgqITJsHSw02SEBcfIyFSxzRyaovJTa6oyIk1m/hXU2SUYQZO0Reck7mQstbaNPwF8rpUfEySe3JPNQx3PidH8hTsYPrFotEno4Jnj7AXGyznI2053jrAO3N25dgJzejqRfMleanlxPNSPiZEkgbTFUWZJElE+1S0SczFaQbtcm15njTZG4vREnnxwTKT4t2kbC1og4mfiMLGypaG2ePfTfEhEnsxcSvhrhFR2lbkc2QIeuhZWabMT1cHm3rOY6IuLkbLtBAmiTMNPxmx+Ik5HI4xkY4NoSOsxkfCLkdOLc85FU02EqBJHMbLsQJ0tQ6DwXGcMyeSRcsP8D4mT0NTtNLpjsZunKCDiVHEV7ZPdp88oFk8AIgFO1gqPL7SFVLBNQ9v2KiJN19Ed59OJXS13+xqgBcKrOoByZOXTsJTO1WuMDeclEZxA/HaVQdJQ3/suNODnb+yQGgxk3zcG6AKeeSEzX15JOklsyLch3IU7GeJIjmpbsGwkAnY0cESc3OUhSvVuyVadA/kYOgFN1+uT/SeuVxhdMeMwBcfKwwLD8gSkxpg1w0osX4mTi21nesLa4lQSsE06/Iacvi60syRLCY0mUHBEnayPKt0RJb6zJvsgu3MhLLpw+wtn6erLxSc/0iDg5mxLDz5ZlMYn57og4WadPp1iPKrsCy9rOzI04udqvqHjQZ2nT+L/+B3Eyluh+iEsV6hiGNF9EnHxyvFI10iDy1CrmVECcjB2jFZMmkAezKUepEXHyNHexyM8lEjksYBQQJxNKwEuTab8a8VA++UacvM1JOxFI/V2SxRF5ycRl0nikfnXmc234uf0Dcnq296oP0s6RmE3hZyeeCotOcDOTNi8o5xtxcrX0YZV4kDtnDnEAnNrM9G1Lh73yJBXjI0JOR/9vfT9UacF4Wh+Ik6Vn5JTjfcrobJ2k3Bfk9JPR3VV/RV770vqOiDh5mT3U5I1IP7Ytb3hGxMlITHkOU+cnDRzF+YG8ZKpktFwEjCwuRuKlfkBOZy90nWbtMJ046n56RJxMbG2SvyMBdaIaEXEyf1UiaElcypCjzIMwcoCc3iwJpUO0KWjoxAfmB+T0bgUkMumJM+mvyzUYH5DTtRRSZphajSORmv5eQJz8Vsxgmdm5nsT5bsTJywJZZAMWcXb5BSUiTiZElgku4vV3+YutRuQl92SlKaTKNkkxAtsRcTInT762bHodJwpfTOZdiJOLpdy1tFPbbcnIQNnfiJOrLXGjIkVaTbsN5/1GnNxMuUuTECjRXpsIthtxMsG38WzC+zIU2GojIk4+roksBtznJWt4fCBOpmqQtzqoxiAiauGoC3EyHnGiIkSfoZ1pGfCAOJls05ZjLmdDzrmOtszZgLxkKmYWlTdJ3teSk9YIId6Ik7PM2v1UefAybBO+646Ik/U4mSiu5FAlU0rwNiBOPpGZJd82U8LS5wiAU9Gq2mG76uH1y0pdYECc3M3qa3KPpBK00a1260acPKy4QapdbsOi+k4GUUCcLFkqO3Vgo8tWPeVpAXGyZKncxUa+vSezYALg1JNpKthEWp1KzWD9gF76xCfUO5VmaNoCi3BJRJyc7SSPbpFT/aKbTr8QJ2v9SiOPIvVUCD+jlG/EyVXPrpOsgznQIoXSioA4mR1Wn5F0hJbMnE2tXUCcfDyYWpd8LtlzE8n8ATmdJKxcAgn6TbpqXz86TaevcTAJZmc5A8WicgFyOhJ0ScxXqlhYs0qENkBO11+VopRKld1ciIci+G/kJa9kwY9N/gmDZFGAGxAnU1U3HqqMZaHpT1JoGRAnY9EMlLvOhFw0Sq4i4mQdoioNLCOjk29MZY0vyOnNvmO1cJf8eIJNEXFyt3pqiR2dpoyrjQdzI04+Xv3UHxzayCSAWkScPE9JTZWDJL1EyWitH5DTl20HaY48KeteluG/ESdvK0pEUSeJeWG1RuQlE5vJeDPyeSqGCQmlgDg5WypAO6JlCpLSxJm+EScXq+zhyWWcyYPHMwyIk6uVdTet7KaW1D45IE7WEU3p4QRp01TZCVJuAXHym3aRq41DhZIaEXEyv5pUq2FdVJ08AhE34uSTzqRCWh7YKNSXfkFOXxayXKnpPzKk5PpYAumGnI421DmVQyr1N6hwWhE5ZB0eswQsoE/4I1GdGRAnH02ih1lkvGXtlhURJxcrBpI9OXkDVpsUESdXc/2xZmUadQoaPxAn8w07y4BKrSSuZkScjEKT90NJngT47uaG34iTxwkYSo/JgpIQylaFfiFOnlb2WIvcV72mbVUgAXEyLul8yG5Y/mejlgPiZK0gpW2ylmUhEokgMn0jL5n4TNbnCBWFclviFDfi5GxV8XqfVkGubTZ2RJxcfjIs5HMXzAoJrC0v8wNyerXYlE50pswuZYz/gDj57LJJMl1+Uh22LDfiZDx8/VXJKjm8NCFYGc+FOFlHI3XKa06ZAkVBEXGypCmeJlWjBHwlxUdEnIw9LnNn62QIl1qjRvVGnHyqkqQJ5JKuiZveIvKSS/rVqY0zqffIs6UqIf4BOf1E2aYOhU5zJ18zIuJkqmdk0WnfbOoyumXcb8TJ1WqrJWL1+OiGPkZEnEwwRAdJxsLSaulUE5++ESezvASdNuXKFGWQS74RJ1MNLP2n38tWbHIaewCcOs3E1qtvPUsqy48qEXHysjAZJ07HU0vcluVQbsjpsvUxB7D1s2wp3LuIvGR6maiMlWhrU3+bsxcRJ3MOZR1pTaWUZNMVCpci5PTy02I9uD0ZISevakfEydX6b0jiUP5JNftoH5DTj60hu2RZZJIGn4g4+awi1dCDjEvBxw2Ik4nyz4emNklDPRBJswtw6rQYDjUFTScDU6RExMnLEgIb172TuO05AE7ddvTlP7DLF6UINSIvmeoZfUyifjVRLVPmjoiTqSSVMtOiFjqdrET1Apyqx97yLyWocBplDesLB8TJb+xB1rgMBhJVa0bEyc1K7EahAm1rBRbB7wg5/cRnhk6EpHGj+LdGxMnjFJHLeUW2yeQfLSJOfmuBdei0To0oe4uIk5eW9jTsWJ2w0BYRJ7ME1sChPyunY5iLeiMvub+1wIhMYhrZ2h4i5HQtA9bLkn8uS2haLdkFOFVraE4HpavH7qwRcfIpw+xyzyVOkPNrRsTJzcKGpKsG0mdQpRMQJ2NU1od9LkORiJN1EVyIk90Fkxevx8clDYBT6Waaj7RBIeUo0U2E6UacfOJSU8KNtaXRqETEyZKhev+0LvEXcY1G+4BeOtEZijVlUM/KVpiYszfi5HPk5qDriw1MECUgTj5VF0Uvvww6w/T/I+Jkiki27C3JYb1Timo+ECc387/kcNAFpEUzG+RGnMwZzFZgJJ9AhpF5FTfi5GFmjl5QkfdKgfoOgFPPDttL/xKBX9pcvyCnS4YOyrH1RqWmU2ljRsTJbwWbBccoyqCo5QN66VTOTKuy65Y4toT3B+T0s4rav/QFYsKTVrsRJ2sLU4AmsSz7Iw/aQCPi5BNWkJgsA2dD37hFxMkUhkwZwnomCQod6mZlSzfk9G6lsfIbJcLLrMccuhEnk/6gQjdxpmXYbpbrRpw8ratZ+qavhX+8rH7kQpy8bFvSEp7lM+J4l4g4eVtplLWj4ljJUaoRecnUzowkk0snmyTJbDgWEXJ6lmegLW/BCioVGv08EXL6MeClgJPEkFX8zYg4uZrBOrH76PnbuO0BcfLp826bMJnWmARSRJxMNZxFzaWupdjk79aIOHlY4b7sj0k7tkztPucH5HT9btQnWaMiytgq9m/Eyeuk/8YkHZSXqeMPyOl4iLRidoq65P3Q3X4BL3UnLTHlYuPkEvsm73IjTs7WWdJoONKulL1jvfEX4mT0lBwamVCSF3QzESO7ESeTZq0k96flcPWSZ0ScTC1VtpD1sGIVliUgTu5Wk0qzZJJ5maxIKCBOHhajsirJSXXgJMF9I06eFoMY9FIkCa32iTh5WZqVT0h7FCIiNSJO3mZo6H1jEEw2T43IIbf0ViJqx48hHa/TQS4lQE7PWl4JxEkVWDmpxYg4uVhCOzVqPJc8X4rgAuJkahHTQ7BudBq89vxAnNxMLs8lY2PO007YPyCndwuHyC3QvqQRM98/O5FoaX+2YAlCfUtCKxfgVHkVXY8iUF4EdcJSFgFx8imt2QS38Yq6dU7diJO39dBRt9ospU49bEBecqYKkZDCKhSXYcXPiDhZclQSxXpa9A9q26zjG3J6eXtZqQonH6tv2T8gpx+rbjFWQzJYn4cNdSNOpgpDrh35tknabeP+3YiTu3kpkz5kSR9tmxoAp56GHJoAtMvozC4fiJOnpf0KObze2AtMo7gRJy9Lk49mzVXobTspAXL6tsRRpwqtJ/Qwpu2NvGTqaGh2kwCU/KFvZY6IOPnMKpGVLSNGv+3bahouxMnlOGH6nUSttFmxuFSAnF7No8GCQaqwZLN9QE4/kwboXk1yPyrmV0Sc3E8Iv6JuBlkmK+W8ECcjVmhxwc+UT0jjSkScPK1KV9pXHtMchDmIFgXI6Uy+oEl1WnUsAfERESeTS6B6jTRTxpm1ZoQLecnEaSRYZAnIOegN73tExMnZKqJRq8OCtAwLCYiTi0WhZSnqWEyao8sH4mTJe0pCJw3l+LAlAk5tp6u8YAVkGc6SQ+MDcnq3zWDpd0kKEl0rIk7GMqW9HTmUsUKpZYyQ06e1E02Okox46llLRJwswSyRKIg/2rC2W0ScTFO+3is2NomVadv8L/BSidMUiijk4zHMKBG0DYiTs4W+dDBofN1yvEcAnKpHkblP5moSZulH3l2Ik6u1XFvHGOqBkTQRcfKpDSf5nVPmYfIH4uT+k9B8ZARLp5L+YIMGxMlHtevryahF1ldrabgQJ09zpQlGyoKasldbAJy6bHyH3maWZCZQ1WtEnEzlU3qIfDGuRa6ULf2FvOSu86eHYRSNDD/tmW39EBfi5GxmLbkl2S6r0pkQESfrc+RTaWVp+R4MQZoRcXK1LDIpfUZtMKmoRMTJzfLvhJNTIYo0rGXzQpzcT7G3rCEpDaqwMKluxMmnblrfkHBUkb3VZkScPE9PCRleyR4pYL2tD8jpy2Y1aNXwMel24pzciJMpVSnWvSlXWl+XBr+AvGS6m2jW1WMTWaB0rkXEydn6VWh1aGS67h+dVuwlUQAgU47Gp9wi4uRqiRe8W/2a5Aj21404uVllP01ZVFpQnVEj4uS3W0yKgwpX7a/cIuLkMy9hMQqHhpp6hrRciJNPjFtWCwXZRJG0UwLi5GV9DlN+MBXyi26OiDiZyU/Yyui6pH3ZLSYVoJf+xmdkdlaCyomhTBFxcraTzJwdpmeUk6f7CziVkP16JPgY9sFQNmqabsTJ5O0rs3YQKDbYaEfEye24GRJ+i6kSZh8ExMndNlhnSFfucrUnrbw34mT9SjsBUwgrLtFsGhEnn5puaTq9IplD0gclIk5eNi2JuVGdITY9/OzEt+oCN8OGP2QLhVzIS7baGUmHwUdo3yYrLoqQ09k08rg2qeAxqNEqEXFyOS7XoPer5429EhEnn4lrjdTnlhhM1lx6I05u1hpYJG9kzWKQWT33hTiZDUaMTi72XAhNU+8X4uRhOTYZhLtT1rAwBgPiZEpd12NpyUQNCfU+F+DUUzfTZVpRFoC9QuYoQE7fVgydyApi+FCLFpGXbJUznRQzSXcZfTZK5UaczHbMxOHHromKelJ/N+LkEx216ZCY9VQKRMTJ1cJAFIDKlZLa0KuNiJNPlqKQnE9VanemEhEnd8tdb4lVUsyZeF5EnHwiMsCy3KQ80uty/EGcjEK3oZZVUg93tQbAqetUm1gWTKbvIMkRECdvc8i1ZammZ66e1UkF6NA7VTP6q2QgJmmMUW3k0IU4+UxjwkLQ+souI2B1AU59OyrkZDEzrZzQ+404ma40xk4SprSybUJQN+JkLBh8PgasyYykwPYGnNot7pht2kMjndNG+4CcPs5IrzptcBNVBTMiTj4RUFmajYEgu2E4BMTJy1yLXs1rl7JJpoovxMn7FDXoZUotZ6lJxgjcyEumZkayWJurYk5bQ/8NOBXbLaP9ifftZX0rAXHyGU1HE31HG2AXRsTJFLnKGZLdJLM09WRl2Tfi5JOZnPSA7sbJLwFwKqdvPpSZyLuf1mwUEScPGxrKqC1G0M49iMtGyOnTyrvNUudsjlk/ECevt1wuaRcMWlxnAJxK73gj5anjjrREJAbkJTNrJlFGIF9estIGv/YPyOnZCos6Mw51lminbxFxcrFkXLL6jjSIEfWIOJkZXTIjGdihD2GoSwCcSgyPBg6deGpj6DyJiJO7bXMSFlKOmPURcOo4pQ96jomBMurbLvkHcfK0HgGaZzHJ5mlguxEnLwsxbKvutapcIm8Rcvq2CUgSfrNWEz8Ubd7IS65awcw4EDlDleAPe+4CnErNIVNlmo2EkyAk2HUjTi5WZC6lSN7a2uNnRJyMB6gXZVKEgLvlC2/Eye3omVoT2Wp6xWtEnHz6sktDNerHNdoH4uRhZi+BHDYt/e4rIk6eZ16NlG7BqMbki4iTz3AbmUCVqAJf+M+PTsPuZuzetOeU8YZDfiMvmU6mimNfcXs7tt6MiJOzVW0x87JvJAQWdECcLO/BJl/qAOOD7G7NFxfi5FPyXEeiX5x8PT5ChJx+pgwXminL1mbAow+Ik/ub0xur8J88Wo2IkxlVkB86Y0gHbUYY1w/I6Uh4OVqYH9RKWSHjBTh1nXlRWtfOsV/WFXEjTt42r9pCjLSNVyubuJGXTA/TkDTh/KRGIIww5404OZtIY+Jkp6dHImhFxMmnH5s9y4ywbZ8cECdXE6zaLzRu4MbND8TJzUpXdCS0voNaRKyMG3Fytyxdoiiz2zyUmSPi5GHF0QSsmSXJ09eIOHlaZnExkJQZsTvVADj1zHSW/5spl9W+mTUiTt4WoR2MNKgMdBppReQlE32pmb4DJsMsIqkrIk5mtC7VzlN2CsP06Kj5gJxebKoHEz0qZh6DXCLiZE6hDigje8g8LLbDB+R0+pi0Ysw+a0lq7GQEA+T0fqa+6CtKP06bqxQRJw9rJ5BbO2WQSdoP2x8X4uRpM9Dk9SGCKOyNgFOXeQEypMnM0r/eZkScvE0/VukDegcpPq39A3rpTP/VDqbFUIIl9TN/80acnC1ISrsGY+7lkeDo3oiTyzsAttKgSYnODIBTmbY2GTxp4nuYwPiAnN6stVouHi3uVgQSAKd209NaqoJhT5puR8TJw6L9hVpkhjoVqgsC4uRpwYMpSUaoTweQ8RU34uRlQsXaTxO9VtYidSNOJnggPa21kr3AZAPEw4285JUslKLHZjhU34zcj4iTCQymh2pQss7k7UtEnHxmb6SZSG92hnO3iDi52pCaxNwGQi0jRcCpZ25l41IIG++zU/6CnN4tuKynkCeyqPb33u6/kNPHTxYDkTMylhi0lAfciJOnTenbdIPLYpjWXxYQJy87n4l8Br6n1bAExMnbVCpFFowhtJRJRF4y03+lUxnyOxmFWKwU8kacnG0R8P91OFDs1jByIU4uFtOx8YYW5SMzExAnnzrcjZuz7WthT9+Ik5ut76zs3LVpcZ0RcfKZ4Twrolg+MF1Z4wNy+qn6peUS/cCAgRYRJ0+rxJX02TSP6ICsD8TJOodYOky4YkIYmyEiTiYbIYtL0qeTCFmnryNAhz6okCnUt+uDKiOvTe3diJNP1W9iZOfiygfGQl6AU0kJVXpyyUxtlMiOiJPruXCFLspZOE0RcGqzvCKpOWpmxrIq/BtxcjdPmFqfspqkzkRy3IiTabmhSXNTAIipSv/HjTh5nslLYzJGkibb9YE4+cxRbxIqKLM2tmXFLsTJp76p4y/LAaVyt0fkJedkM/qRgGVSg2JNfTfi5NP7goyXkGfwn6VSL8TJ5dx/QdF1YwqtGZ034mTO4Hysu1xyXoeJuaMRcnqzVn6C+XJ+pbItUPAXcGo/cwKJjWR7phYApw7bB5UxtZZ/n6tHxMlnoDgB6c04AUYY34BT1ymMbvzDS7KpADfi5G0pcqx7ZNSwnRKQl1ySjdAjGyQtTr9I3hFxcraSaw540unqmULYgDj5hLiKuYmbfmPk3I04+czb4zqPxmhD9OIX5HQiifORJUlY/OyiG3DqqWxKzI6wEPqyUWoX4mR6XgZDbTgRiVbAGREnT2tz5zR05rphvowPyOnL6o0m9dx5FmLePSJOPhkJOYkyXOjipII9IC+ZeAzBYHmVg6my3e7ouBEnnxPIRLmJmVrnGhFx8tty0Mqc+Bmc//4BOb1aGF2ry6iCbJ55RJzcrCKBYW00QFHKuiPi5FPVgp+xaGDZySbuXIiTjxaU51XoAivpiMoLcfLJ1jEDpzabIdlHRJx8ennpfaKyMiWzhCLk9G0qpFhPDCWIlqS7kZfckuz2jm4iwtu2lcYGxMnZzGvaE5Y1O69cI+LkYoGxbC0Hg5KjFQCnVnuayuAeriFhvnP/gJzebA60/ibz1wgEM9HuRpzcrVDLOu2x/AZvIyBOPrMtaC+UVbTO9VoX4NQzqXzQd9S5XgAjMCBOXjYjoOCVLFwImxJxI04+M4EmHgxTTqVCckReMnEZTL4peSKZhTxsEXFyPtVG7JhGDaE1i9yIk4uVcjBL3DKRVE1GxMn1DLLkKjgC4uZPXIBT28nvM/hNzu2g6KF/QE4/U38nHesytBDaLSJOxpKpT7M5l0w/s4arv4BTTzW0dCkzapjGaJe+XIiTz+RZWVpNpgW5vZzGB+T047MuYoonc7lyRF6ydS/Jd2AoDPPgO8UvAXFytqJXclk2x3vbtQc34mQ2+qKBrNLo1Wq1SZgX4uRqA97IC+nYr0I+PiJO1hrqWCxmp46TTh4RcfJxYZg3QP1ct97LgDh5WOmtXZ5VClVD0+6GuyGnn5HwKXHhl1Q8hY0RcfKyDsp8Atg1mVcTECdvC29aN5FVPQwbc3MhL5n5Mp3mI9mTBI/ym0j+/4BTyZdrcWm6pkpy21VPN+Lk4+7Tjc91SuYSR8TJ1QbPMJG7Z8ujWtQuQE5v5pXYnN4kmxJpEREnn8sT0pL8WUSdzT69ESePt5CP7tB+hgb//dmJZ8RpSYu2azp9do2Ik5eVzTDdODEArZ2YToCcvi1LxV0ddiMkEwAj8pKJylDEgL2FZ8R0gIg4mfpCMubUzei/xWZu3oiTiyVGybBwgw89dyMiTq5WszKXzUYaDJcOgFNPbNs2DTc4dPIVAXFyt+yz3YRS6PBqNrr1QpxMVJQmTiJBXXqP4tKAOHla27dOhGy9Rt10zhFx8jLFu3eV80D1qOXDbsTJ771A9Pkz6stEQ0BeMhGZlbhNjJv/qB+tMyJOzpZElZ08uG2SK1pGRJx8JuUROE42edaiajfi5HqCE5aAI/yy7A7DADn9zE7PWOwMnbUcxAU49fTwMiKQEMKm/CIiTj7+APcJ0FVLkZ1dwXVDTp82N55CKdM1jQ7vgDh5WfDd7siQi8Tg9hwRJ580AJdOMiaU0tsAHOqkOmaTRl3Uly/mz46IODlbSwkFKPTl2fWGEXFyMbFNbJBbvCQw8ZduxMnVrs7ZOCGU5HTa+QPi5OP+pU6JFNXBVtFzI04+HiG9yLKbOoM1W0ScPH46CY+Nq0aDUN50A06dJoc3l9PSps6OvQGnntp6ymKtwHNwKW9AnHzuQyNHZXaydmuOyEumWwlrr1RaA5l8MHZEnHzGy1fS6lQ1j3H/7MRilXay6rnBiyiUnaYLcXK1MaQ6x0lHLS+b9RgQJ9Nnpr2VkhkIktunNvGGnH6qgkgIScsw13SMiDh5/Cb3qmnPDkJhVOlGxMnTUj1IBgk/uhasrCFATl+2BFyrg99CfnZHxMlEZGQZUi1CxnrSQRiQl0x9DJNZi81Hr6QLLM92Q07Hnm0y79e5K03yB4M6QE4/HWdJDhQCi7hmAJyKxc6sPflP9Hpwc2hEnNysBETeod2Wu7ddChkhp3fb7pvYC2OaB7MaA+LkYUYqNwbT9mf37ETEyWfCKbUOpXHHg+Xw/gJOXab/8YCZka5vOT4QJ58Z21lbZi8rl+Au2ht5ycz8HWQv9Vq5+6uO1+X+gzg52/gMpvPQ1r6xqscH5PRik8mkFihBtPqjHREnV1vdzWxHqWyGz7b2ATm9nYmX3Pm1rMF5BMCp3U5p11tkdfVRVnJ5IU4+DU/yGmjmor/nrU/6gzh52sNzS4cevVKp0CLi5HM3Lxfe4e7glgTAqeeAdrsOS1pgMpotIC+5vV2fDIsvjfEnm5MSIKfLl6ACkXvVNmWW1MwGxMlU2ssw64OKcMYN2AC5ADm9WuRD9u8iIcR9dj0iTj4zvOXLUsXGrPSVI+Lk/pMfQsViIwvNpIsZESefQc2MQ2Ys/mj/1wHxF3L6KQOmH7SSdhocgYA4+W0Cpmax8lG4RBfg1G1JWk6bLEkmOa8SkZfcz41aaBAmXDOCN0fEyec2ZeYacUey/m6ZEXHyuU2G1iTudeKO1BURJ1OrTbyNprVKMDsCTiUHnfB2GIDFlHmc/xtxcreep87fk1eS8Kci4uRh7jjJ9XEMBysfvBAnT/scLmXErjZn+Qacem5hoqlzy9SifcHC4Dfk9P22zlEV07lX7b0f6A/ykkey3unBG6LwbtMDFRAnn/mGiZmlXMw4jykRIKcXm0lwrhxnRjRBiQtwarWoWE/phHnt7syAOPncBpe4RpJkOKUjEXFytyI5kkh5yXQgAjs+IKe/I/kGQybRk/YUN+LkM6GBNmu6fei9KBFxMv3zm4w8wzio4+RGnBtx8j539E2ub8DEt97EG3nJ9CuVyU3zev/FBiITsQuQ04/Xyq1LW2YiV2etiDj5xEk6nWiLaq81PhAn41Hg4nJ9/aLnhyDcjTiZccAUxtjVf5MxQT0iTu4n8kd0hwGFzOONiJOHVVxa/FGqjP7nGhEnn7gM3WLcmWMDZSPi5GWzzCVDuLgEuUn850acfCZHbqJLk/Y2naT2Ab104jI0Cm+Gkm0MrzYj4uRzbfukRbedWx9LRJx8vMJBSL0Wu7RtR8TJ1SwBu+6aJLTea+ofkNObZYBpDyL+Ps8V2BFy+rmr1zr6tnwPBHlEnHzCzlSJ1pqIy1qQL0BOP8nPxYXXhEL6fKeI/EGcvGy+EMn2oQPU0ilcC5DTt4WFCsODsXJRrxF5yfusJFcLFkqX7Ba2gDg5nyIBavD0m5SsovtG/vG/8cir8w==",
 "rows_format": "base64(zlib(utf-8 csv)); header seed,LEAN,TML; one line a seed, unrounded edges as Python repr of the double",
 "rows_csv_sha256": "30b9c5b7fda72a7e789944dd098d63d659fa475bc3c7a3b1546042132d399a38",
 "not_done": [
  "No submission was made and none was prepared.",
  "No rare LEAN loss was seen: 0 of 768 seeds differ at all, so the list of seeds with |LEAN-TML| > 0.5 is empty. This does not rule out a rate like the replica's 1 in 2,048: at that rate 768 seeds would show no such seed with probability (1-1/2048)^768 = 0.687 (computed here, not measured). With 0 of 768 the one-sided 95% upper bound on the rate of differing seeds is 1-0.05^(1/768) = 0.39% (computed here).",
  "Only this first seed block (10011024..10011791) was run; the second block of the pair belongs to another item.",
  "Gates P, Q, T and F were not part of this item and were not run; the replica figure for seed 10942 (LEAN loses 35.67) is the brief's and was not reproduced here.",
  "pass_peak rests on these 768 seeds only (LEAN peak 199412, TML peak 208688 against 245,000).",
  "Neither arm was compared with lb-4 or qt1 here; the brief asks only for LEAN against TML.",
  "se is 0 because every paired difference is exactly 0; it is not a measure of how well either arm's mean edge is known."
 ]
}