{
 "credit": "Credit: Taylor (gtmcknight), solved policy, github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved. Arms LEAN (A/a79a3606...) and TML (A/fd2f147e...) used unedited; engine benedictbrady/amm-challenge@6b6921f8d463314aa7c96234e1be25a25245f704 through block driver A/764c9461...",
 "key": "e05-engine/tml-b: LEAN vs TML, each alone vs 30 bps VanillaStrategy, engine seeds 10011792..10012559",
 "seeds": {
  "first": 10011792,
  "last": 10012559
 },
 "n": 240,
 "arms": {
  "LEAN": {
   "mean_edge": 538.8748642623761,
   "peak_gas": 197967,
   "out_of_gas": 0,
   "runtime_bytes": 21368,
   "source_chars": 43563,
   "source_sha256": "a6dfc3ba6b7a1b19ae77680eeb1d24f1e902a216a10c1093d8388a0510c38c94"
  },
  "TML": {
   "mean_edge": 538.8748642623761,
   "peak_gas": 209166,
   "out_of_gas": 0,
   "runtime_bytes": 21055,
   "source_chars": 40615,
   "source_sha256": "99d031f41074ea872c78fa7dec5db33d9f20f3251e29bdbb4682c92791334b72"
  }
 },
 "diffs": {
  "LEAN-TML": {
   "mean_diff": 0.0,
   "se": 0.0,
   "n": 240,
   "seeds_positive": 0,
   "min": 0.0,
   "max": 0.0,
   "note": "all 240 completed seeds bit-equal; no seed differs by more than 0.5 (cf. replica seed 10942 loss not reproduced on these engine seeds)"
  }
 },
 "worst_seeds": {
  "LEAN-TML": [
   {
    "seed": 10011792,
    "LEAN": 689.0941917493855,
    "TML": 689.0941917493855,
    "diff": 0.0
   },
   {
    "seed": 10011793,
    "LEAN": 646.5021009793031,
    "TML": 646.5021009793031,
    "diff": 0.0
   },
   {
    "seed": 10011794,
    "LEAN": 419.1879224796644,
    "TML": 419.1879224796644,
    "diff": 0.0
   },
   {
    "seed": 10011795,
    "LEAN": 473.3806423012534,
    "TML": 473.3806423012534,
    "diff": 0.0
   },
   {
    "seed": 10011796,
    "LEAN": 594.3725764258018,
    "TML": 594.3725764258018,
    "diff": 0.0
   }
  ]
 },
 "seeds_abs_diff_gt_0_5": [],
 "bit_equal_seeds": 240,
 "pass_peak": true,
 "code_zb64": {},
 "rows_zb64": "eNptmksOJLkNRPc+S0HQh9Rn6YV3Y698BPsEvj/gF6riopPZwEyjoqIrUxIZDDLzf//9738+f/3j7//6/Puff/2t1draOv0z9yn1WDtt2RnbPSNBHp9ps3jtfD58rKNlJMj24RdK21yj2zpz2gsSZP/YGmXsOq2P2roPy0iQ58ePlbG6L770XdvOSJDXx22XM/hjtXszbxkJMr+zWmmjz8Hd9eN7ZiTI5zNnLXvx0bc1s52AL3XX+hnHS+/Ld+Oao7U2X6Cgt88avYzW+zY7fXILGQlyv1/VObij5W02GxkJ8vi4tzKrV/fV2dmxMxJkHUEtxEBbe2/21vp8gYJO4JxZ+mLhg2DodfSMBJl9JcqszWF79eG7n4wEmTMcs/ArbfXZz/aegKCynOplsPdz9MYWN8tIkM/HzimE4axrL+5xcSwZ+tFb/Vjvxbc3zot9nUdblKCgkxvLSyMldjvmta6RkSCzIiPrep38w7FW2zsjQeYUK1m3JhHM7c7eEhBU+6x6+GbsxdJrn3NlJMhOsNdSK1k/27R9bkI8kCCzU6OWMTf3phP2te0FCvr62HbirE1imLicc2QkyPtDtpGimxvcfbFfIyNBJnCcmGRHjQWdvTPwo3adoJe6Odo9+54+lr9AQecEmyk3vJ7hTlKvjAS5EzmjALTNbdbTFzedoaBzhn0XndBgQW5j7Yz8yMSCtVomC2h7Vk6C/ElIkNGlccrhWqyKPALLyI98tCO1tEW01zY28XN35AkFnUBbVvqsdSjUx0R+EhJk0t+skJ1kxqmc6nxBgkxutFWmtBuxb85PZSTIBBp6rw09NtF7vs9IkInqaQXBON2G99HXykiQJ9UPod3aRyS8U7EyEmSiQUFp3h0Z4sCkgU8kyByCn7KodaSzo1rWMxLkc4+XakP6Dxscg6QmQV/6qTrFUU4dUnBbxjFnJMjtFktKGTrQq/f+K6h/IEHun0F6UEnQFiefjEUnJMjEdEPfpJrHvZ8m8X0iQearzR0uKdYYCFFPQFA5XKuFPKU4DVfV3hkJ8rySrMpAAJN6bFVGgswJurJ/d36ikftUuIQEmYtO6irHwLI7YWktI0FWFm4uugcBWTmwZRn5kVVZbhKdg2BtfmdJLxMUdE4QI4Vo4nbGwRKcFyTI0qXGD1HIyA1SCaFJSJCR2b0LytfnlsQhWvMFCjoxif1buAH84jld8vwCBd2v86IOoytHoiX38USCTFCSHdQy4nzrqDwBQeUUUU5SFOulsoO+ZCTI1BbKDqHGxs57wJaRIFNKrJXlxl9tkc0Z+FGpLbNtFJmPiOFe8qkJCbIKNtrGum3KCxw8zwsUdOkmVz1cdEyr/LGMBPlbV1tjZ9ua7UinEhLkbxZOzJlTALnR7RkJMurmi4sSjmSRrzVGRoI8P3hPpf7m9oxM+/Nj0Dg7LXsYe7Um4aWe4okEWRpqRWVdFn+2fhP4gQQZDbWlkkD3UGVnp2XkRx5kIMkpJ45j8ErUqsgkKOj48bWRbrJ4IC6ttxckyHKrdCcUO0rwcZbkGQkyO1pxlKiJXAIxU1+QINvdqqGSPmi/ltqdhARZ/nwVWT7lmt0dSkiQ5c8bVs6mbNHsJH5GgsxFN4ZL7pcYG2p+MhJk1Mfx7vjls77ZaxkJ8vkM7Wpt7BPLrwRaRn5kq4ggG0U60GlUMkPm5IkEWdLdCvXxzIpVIXBnRoIsDe1YIizDMrkobNQLFPRxfwk1bttRFCoUxjFDQVdYcmEqGvVpKIrHGxR0zrEORRqRX4kgHExGgsyiKGf86373C3PpGQkyN4njQiWwdHQpZ94kSFDQ9zeKsXwoIXqFT8pIkNXe4bnYrCVFZkUrIz+yk400jpo+VCmyBD8jQf6Wd2KNNgJ7SQebgKD27xEbTocyRnO8WkaCTMDTzdBFb/ptShO2MiNBlo46hoQNInqwiWhVQoKsaccpSGbHuSj9RgKCqvMjzEg93AsCy18ZCfK6hpIsos3ULIb7zEiQ2VH6QPyLfB+qNWcCgsrZqeuhxxzaRNJyZ+RHntRBlwUm5Qc3WKv6gCcS5Ha/onXg+Gn/kZWZkSDLINZC+kwngZbxd0aCLNXEXHN/jb6c5mGvjASZ06NRm51ApEq1dZ6fg+jXhHP82ELKKK1rAoI6v1tEWHMtjnXbCxLkr6nGNdGP48XBqPAZCjoiiHDTvyzNGVxVcrxAQT+3x8UKEoZTG3lekB95yYtyWnvSHNJyDcqfvUBB5wRJedoA86NpFPH5BIIqNd6lEotcr5tmUxkJslzM1DiIQx1kj/vKSJBVQZoabaezRAUnhjghQfbbGlWFI80JTZpK0hMJ8vyKFGZTxlpyfzISZIk8R2bqbNsdgbwgQVZPT0Wgb1iOjexK0Rco6HIztKFYFnUPdNuGQGXoR9/1s3TArIRsxlzT5GYkyOoIW/E2WnXsA/XOMhJk6Y8mZHRoi5rHmcjzJyjo5KGGkS4vsOZm11pGgqy+vhIPruqEUnCX6wUKul/LTPpXDtknUaRWNkFB57vBYThVuBLI87YfTyTIXNcOZZJiihR1/lPlTFDQv7+ECrBhDb9WbWYkyJwlrpmtpH/FoGmAaS/Qj37wNU55RwSIILTAtconEuSv8+rkx6Y03BB8AkElH+ek6tCwqVsTmJEgE2waMe6qAQTHekelTyTI9tUAdT5Lh+zypU8kyH7rzmqKNuo1IdffoKBzWfKPM1uUqL67psEJCfK6PmpQ1vkbS/y1eQkKuib4pxA3nd2SNZJFfiJBVlWkm1ic12h0bUhNRi65k5zsrEa/xALFddwe/gEElU6CtEaIJcuYI/IpI0HW2lWp0KShTpPUmi9Q0KkS5mU0JbU8F5uVkSATk6x9qBNDj7HPmnE+kSDjSjuFEIdI3pHTrr7liQR53tGeawDY2qRxkkd4IkHWtG7JxPsiDNZQMCUkyJyg5l50/piH9W3MEhJkugt2aqjEb0w8/UfLyI/cOEEaD3yJyUfRdWsM/0SCTPmh8ejUkkNB8d/jsAcS5H4HruT8nX3RC40XJMjsKnqouRfxOCT5KyNBthtkJByag/ejUnhGgsxX/M6uNBFOVqpFegI/KtUF+1Q05efW2NYtj5ChoKvMzzL0tIhqKX9/MhJk1r564fxZC/fZqqrCEwnyuO0Jak8yY5W4hZWRIKNKc2tUjWkmgL1rwP9EgowETaMWk8mEuZalyWKCgq6nIdgvtAdBJOblXF+goHNmpuLADtD/uFz9Ewjqr19GTqh/rIignC9Q0OUTyGcEmXJM8rsi74n8yKosqxX6KVrjqT5WU6gnEuT2LX8kHCtBCVtXy5CgoPc7ZCfrhmao9FZzZSTI4z4adpwXuWE3Wf0FCjonufGNc+F06ZY4as9IkNUv77K5RXWPbLOGRk8kyPM6f40pup5Zjv3rBf5AgqzN8tJl1djZbep/H0BQv8+GkauNC7Oq8/7zcxC/BYc473Yt4/ex8gP5kvkfC1HlU1nomrXWnpEg67m3ntWjgcQ63RUeOyFB7re4U8pM7Xa/o5iEBJmqgnlRT0MD5nrocDISZLvLoaGYW0a3XW/wRILst2fDcU1iXM08hjwhQebszCip+xp+mpQ7Xn4gQV43O2mAhjpo/vEVkwQFfd8nzlWn31A2lLNnJMiEzBhFhmHRoU+NbJ7Aj6qqMlpBPzTHHfq3KyNBlnMm72kzyXxcDhGZkSArFmfha7Kzt31ngwkJskYmpmd+KM9tajQuzFDQVVfuowxXzlPeFflPJMia26tvWxslPM30UDohQZ73OR71hsKOzd6a8CYkyCxI/ZLMvjk/ye/ZCxT0/R0AkBIa13Gmd376QIJMuO9VDNFc1ErCZ11j9YR+9M45GmWHpkr1jMPrKyNBbvfplSaBeGbu0s0zEuSvphxShNJOJem08wkJ8rj+hV5DDXWVID0+B5GV68WFg9/HONy+PiNB9u9zbKxZVbGp9z2QJxLk7+SYNgMVrqNSJXdGgvx9s0NGctzFNI1NnkiQv2/5gFc9ZW7rOpY/gaCiooiVHJBeW6L9Vl/0RH5kzf47eYFB1eBLZWxnJMjtDiKduriIHYr1ekGC3O+bCCxD7olCdoeeTyTI4z6Wa3qHo95npXffH0iQ7T7S5+i7LGWzq6tPJMioqJ7CTo5ADwjpT3pGgjyvpNh9fEDQzqGa8kSCzHL0ho9c+9RbSUtDuicS5H1becIWKW565O3LXqCgf6eOg6WcuVXQ+s7Ij2z1znHVN6OvbEB7fg5iu09TaFqpNuhgbdcfPJAg9/uSlt4MsfvmCT2Vv0BBH3cOTwJLtvWumJ5MPpEgK99a0YshXXGgliAjQdYJ0j2ctTV6qPvbQj2QIOsdBj0OoDt0vS9G6ctIkNd9o0vDAaoTXQ7dw3yBgr6vz9IraHphDa/hL0iQcQGjYq/xAV0jWk1sEvIjOwq6Nde+w2Rkb95HBg8kyO06YJR1T82zTjebL1DQFe6jXP25dVQj0YQEedxHaHp8wdaibEtN5RMJsiqIa9509qYt6HrLMSFB9g/Wgtgxzc0JBxmDhARZbx52iRvnMDX3ai9IkNc1qXpToLFLXbUpI0He1+coDIykHnBkthMU9HNngYNI0ANkp9UfGfnb/wHBfF5L",
 "burnt_seeds": [
  10011824,
  10011825,
  10011826,
  10011827,
  10011828,
  10011829,
  10011830,
  10011831,
  10011832,
  10011833,
  10011834,
  10011835,
  10011836,
  10011837,
  10011838,
  10011839,
  10011840,
  10011841,
  10011842,
  10011843,
  10011844,
  10011845,
  10011846,
  10011847,
  10011848,
  10011849,
  10011850,
  10011851,
  10011852,
  10011853,
  10011854,
  10011855,
  10011856,
  10011857,
  10011858,
  10011859,
  10011860,
  10011861,
  10011862,
  10011863,
  10011864,
  10011865,
  10011866,
  10011867,
  10011868,
  10011869,
  10011870,
  10011871,
  10011872,
  10011873,
  10011874,
  10011875,
  10011876,
  10011877,
  10011878,
  10011879,
  10011880,
  10011881,
  10011882,
  10011883,
  10011884,
  10011885,
  10011886,
  10011887,
  10012016,
  10012017,
  10012018,
  10012019,
  10012020,
  10012021,
  10012022,
  10012023,
  10012024,
  10012025,
  10012026,
  10012027,
  10012028,
  10012029,
  10012030,
  10012031,
  10012032,
  10012033,
  10012034,
  10012035,
  10012036,
  10012037,
  10012038,
  10012039,
  10012040,
  10012041,
  10012042,
  10012043,
  10012044,
  10012045,
  10012046,
  10012047,
  10012048,
  10012049,
  10012050,
  10012051,
  10012052,
  10012053,
  10012054,
  10012055,
  10012056,
  10012057,
  10012058,
  10012059,
  10012060,
  10012061,
  10012062,
  10012063,
  10012064,
  10012065,
  10012066,
  10012067,
  10012068,
  10012069,
  10012070,
  10012071,
  10012072,
  10012073,
  10012074,
  10012075,
  10012076,
  10012077,
  10012078,
  10012079,
  10012208,
  10012209,
  10012210,
  10012211,
  10012212,
  10012213,
  10012214,
  10012215,
  10012216,
  10012217,
  10012218,
  10012219,
  10012220,
  10012221,
  10012222,
  10012223,
  10012224,
  10012225,
  10012226,
  10012227,
  10012228,
  10012229,
  10012230,
  10012231,
  10012232,
  10012233,
  10012234,
  10012235,
  10012236,
  10012237,
  10012238,
  10012239,
  10012400,
  10012401,
  10012402,
  10012403,
  10012404,
  10012405,
  10012406,
  10012407,
  10012408,
  10012409,
  10012410,
  10012411,
  10012412,
  10012413,
  10012414,
  10012415,
  10012416,
  10012417,
  10012418,
  10012419,
  10012420,
  10012421,
  10012422,
  10012423,
  10012424,
  10012425,
  10012426,
  10012427,
  10012428,
  10012429,
  10012430,
  10012431
 ],
 "not_done": [
  "Only 240 of 768 seeds completed for both arms (time ran out at ~0.26 seed-arm/s on this machine).",
  "192 seeds (10011824..10011887, 10012016..10012079, 10012208..10012239, 10012400..10012431) were burnt: marked in flight then interrupted by my own aborted parallel runs; never completed, per the driver ledger they must not be rerun.",
  "Seeds 10012160..10012207, 10012240..10012399, 10012432..10012559 were never run.",
  "code_zb64 empty: neither arm was built here (both used unedited from the named artifacts)."
 ],
 "completed_seeds_note": "Completed seeds (both arms, same seeds) are exactly those listed in rows_zb64: 10011792..10011823, 10011888..10012015, 10012080..10012159."
}