{
 "credit": "Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved: replica, Gaussian filter, posterior policy and qm tables under every arm. CAND from result 5718a00b (qlite-a, e03-cheap-sol), LEAN from a79a3606 (copy-a), LB4 from 93cc1556 (lb-4), QT1 and the engine setup from the shared kit (goal-3178 @45e7563d), block driver from 764c9461; all built on Taylor's work.",
 "item": "qlite-a",
 "batch": "e03-cheap-eng",
 "gate": "E",
 "status": "E measured on 512 fresh engine seeds, one frozen contract, no submission anywhere.",
 "candidate": {
  "url": "https://api.imd.fun/artifacts/5718a00bf95a80e2c2f0073071fa9b94d59be643e3e577793b9fd3e9cd2cc354",
  "source_sha256": "5289a60c833857b4f3eeed22677593ec26c824ab4b9350dec474333d1ab1937b"
 },
 "n": 512,
 "seeds": [
  10003536,
  10004047
 ],
 "cand_minus_lean": {
  "mean_diff": 0.003610379375102779,
  "se": 0.003651679394188395,
  "min": -0.41585774395360886,
  "seeds_below_zero": 224
 },
 "cand_minus_lb4": {
  "mean_diff": 0.16730962539183214,
  "se": 0.0162033622587378,
  "min": -1.1730259123451106,
  "seeds_below_zero": 151
 },
 "cand_minus_qt1": {
  "mean_diff": 3.3949652818044793,
  "se": 0.05113571811908682,
  "min": 0.3338154918899363,
  "seeds_below_zero": 0
 },
 "lean_minus_lb4": {
  "mean_diff": 0.16369924601672936,
  "se": 0.016088837215725172,
  "min": -1.0690361385732103,
  "seeds_below_zero": 149
 },
 "lean_minus_qt1": {
  "mean_diff": 3.3913549024293763,
  "se": 0.05094070512237267,
  "min": 0.39259602129163795,
  "seeds_below_zero": 0
 },
 "mean_edge": {
  "cand": 533.3235956447742,
  "lean": 533.319985265399,
  "lb4": 533.1562860193823,
  "qt1": 529.9286303629697
 },
 "afterSwap": {
  "cand": {
   "calls": 5585092,
   "peak_gas": 199777,
   "mean_gas": 133179.90372531017,
   "out_of_gas": 0,
   "reverts": 0
  },
  "lean": {
   "calls": 5584426,
   "peak_gas": 198064,
   "mean_gas": 124626.14815506553,
   "out_of_gas": 0,
   "reverts": 0
  },
  "lb4": {
   "calls": 5565722,
   "peak_gas": 222093,
   "mean_gas": 139912.7781538496,
   "out_of_gas": 0,
   "reverts": 0
  },
  "qt1": {
   "calls": 5593346,
   "peak_gas": 209256,
   "mean_gas": 137966.5270623344,
   "out_of_gas": 0,
   "reverts": 0
  }
 },
 "pass_peak": true,
 "beats_lb4_by_0_15": true,
 "reading": [
  "CAND minus LB4 is +0.1673 (se 0.0162) on 512 seeds: the mean is at or above 0.15, so beats_lb4_by_0_15 is true, but the margin over 0.15 is 0.0173, about 1.1 se; these seeds do not separate it from 0.15.",
  "CAND minus LEAN is +0.0036 (se 0.0037), 1.0 se from zero, with 224 of 512 seeds below zero: the cap-24 gated rival rule is not distinguishable from LEAN on the engine; the lead over LB4 is LEAN's (LEAN minus LB4 +0.1637, se 0.0161).",
  "The rule costs gas: CAND afterSwap mean 133180 vs LEAN 124626, peak 199777 vs 198064; LB4 peak 222093, QT1 peak 209256."
 ],
 "extra": {
  "lb4_minus_qt1": {
   "mean_diff": 3.2276556564126473,
   "se": 0.04939842973049113,
   "min": 0.45813695511878905,
   "seeds_below_zero": 0
  },
  "worst5_cand_minus_lb4": [
   {
    "seed": 10003628,
    "diff": -1.1730259123451106
   },
   {
    "seed": 10003704,
    "diff": -1.088073474343446
   },
   {
    "seed": 10004036,
    "diff": -0.9395338685159231
   },
   {
    "seed": 10003961,
    "diff": -0.89796632106777
   },
   {
    "seed": 10003810,
    "diff": -0.8005694039528066
   }
  ],
  "worst5_cand_minus_lean": [
   {
    "seed": 10004000,
    "diff": -0.41585774395360886
   },
   {
    "seed": 10004020,
    "diff": -0.37532444167402446
   },
   {
    "seed": 10003812,
    "diff": -0.3619145257979426
   },
   {
    "seed": 10003986,
    "diff": -0.32992050651660065
   },
   {
    "seed": 10003811,
    "diff": -0.29628096125497905
   }
  ]
 },
 "rows_zb64": "eNp1nQsSJLttbDc00cE/wbU4vP9tvDyJmiEVz5LD0r2YHnY1i8Q3kfif/6mllD77+jN6/+3W1hllRGszeorWjDZGbbHmsGS0USOi9yirSVJ+5UQdve1ztND//vm75v4zZtWaZdTSap8lxrBortb4hhZl7BSNXdfeXd86+NCIX+zVIk47u5zV76rxZ0X9xVi7tjrmnmd9kn60RteSW4L2K6XNtltdZ8/6R6v/dozT6g79mPmseP7sEr9Txtmnlt70dZKcX1ljrjr00/Tw/swoNc7RIru3Icn4BRvWQz/hnPi35Ch/5i6/qr3U/5a6R+ufRP+JEfpYa5Zob7Xr2l3tryRr/MaJ2cYurdR2n3LUP321nx6ll7L1w8vZKekxY+zZS4+6UqR9q/oZdVc+NOM3zzzBN2iT7hsaen0xf1v7M4YeQW9/p4RXe/TpMbR7Fs1a9cpPRSJB/80d68QZs+uVzbtm/6MT8xtxlo6FHoAnt0Sbt3VwtPdDL2jyOlrTgmfuMY4kWrNuCaPXos/dJXUgtNVFm9Jm1d6tUy2pczctXctsXS/dH+q1nrL2GXr5OtRFR6utPpd2aY3z7Of8o3f2OzVa0c/Xk51miXZJ70Uvruw18jM6B/rnrcMZW5L108Fd+vm9rLKfJfV9s/x23W2vUk7fPKckK0rXqaxTT5WSWntpJ0rTjnbO+9aHhjZG57NHO+Muqt+1dYt0DRoHQz9Fj56i1StbeM7uluhy6PXoGnIV/owVvzJm05as0EbtZ9H4M6d+WO9aVb9s6XekpOlWz+DLtCYS3VP9O9dMp06SpRepE6wdWjqh+y7JqSg/XY46I7SDq8yUVG3k5Hi2lZ/RMT2n1qJrdPjxupl6fcv3RkveNaeuUdcX9qI7WHTudRBTsprUje629tgCXbDjn9K3P6KDwNkILvB7MaUIZp364U33o05dQl0ZS6q2VtdVOmp2S3bRwmeuqavEZ/pv6e5MXT1pw3Lfum7t0q5Ubb72aKA+IiWLN1S6FGB8n9Hp1tUqOj7cifrrOhHaAp1fnd27IlcIPVDW5D1M3iYSnWhtfq9SRb5U0s7alKi6B6VLRemA8wKG9p+V7kWX5paS0fUatUujNV2lbgmnMo6eSF9VJakog6Od0/bp5OkPdS5P0w/jUL+/Wrvc9G065drMXjgSlmgTtGc63fqu/IxuKDdK70uKWJKlA6DLU+ppoT2/S+r68If669qxooVWTcnSD+YZq9RufkhLbr0c7bceQJIp9a+t5X60czXH1OXp59f1VqSjpjapNUtGa9Kii5e1uTyIpD8lkLHTt+jo9vnrOqb8/CUV91zJGfrGKlWjlyH1pkOr3UiJbJ0Us0yG3ri2+bdOj6Pj24804Z9R/fN0Iwb/U+LZTylA/QrdQ+k+vXJpkBToiuu2oPhklZDofHK2e9Vb0UHTS9Sd0f3WYdW9v7996fJI0/Sh+121b3NFt0RPKm2mrcfYW7L25FM6XVIvf6QduOO6PRxLXZC7pA6dNl//r7OATggOXeOG6pH30cWX9rSk6phhH/TWdEVXw8Jrt3vHgNZrLvAgsFjSJl3qreotfBLt7OrYap0bS/Ag5IfopC5txUA36fBvWRqu6KPa/ac6uCzGDSra0hTpzNQqt6HrX4YlTeZLV163umzeOrd0rNr0D6tILd9FMULHK0wsoXYgUqIH4MLp3HyfidB+VqkBKTXWLDqvBRMt5T6kn+6a0wZfXyabJ2vReQQkujtyaaTvUZ6WFF0PvTjdnKZ7gmLmzul16Vzp790ldT/0cd6lDp4eUwfqE+mQy9RJn0llTYsWhkrvkv3gCGuT5cjsQOPIzNe7ar7C0I/W7knL4jqkhDVn4cynZKJEpVHO8hGW+dQ51VHzIXxW1NEdug2yvjgeshrykJCcwllcenytm59p3NYt70ZHVpIuTyBCG63vmI/+4DAP/U49rZTxlkZdKajSnV6Cl44EpYkF0JrosSGbrVMqP006Rw7JvxW3rlBIM8jKygfQI8i5TImOlbS2dqHyNkLeI36HrDqr6DlwmKTu9McyXToOd0kZIFlqnUhpFX1Cm7U/SVnYGt0CnXc8w61jVWQapvwdfa2sua4ZO6UXO98l5begyiceF6qisQASaR0djyJNHsuSfmxvcAZa+jYd714WEs//vh1sf5P3wB3Q25VT3lhyy7pwWjAHelJ/Rr6t3pasBRdeksl24X5Jm+qw3SXxcqRS5dsd3PqC346EU66H0vHeRCF6PdgjbdrmTsma6939ZOkDRarneBQx5kReuVw13awp7d11UOW3/Q5upLS+3nyXNrCo6bzoUGJ2tGFFz6kLqi+WWyXf9q6pZzgylYog+Pqz8lpLpDOiGyzdU2cKpJ+69hDNyZPrFEiLabN9VOe9k8QjDq70enUn5WlHCuxm4aHodFoiLSaNJvWjA6zD32WO5Wfq7qBg7nrsc/9JFeqzS/qs+Qj8/5KmY6n1MbNLClkvfEuzS0k3GQw5is8jHgUOh0DuoHr0w0u3RH9Nalk/etVCBCK1OrCKOq0ETtKvP4INHCNcvycQiCJ/QtGivKeF1yFFtC3Rn8gSV95vHynhmeX36w1OPqOo6CzMj7Tm+75D/oBuXx7zjVdf97RIJzaWDrU0Ufk+JOXX8Q7kqyFZCp30hQqI0MX1/nRZavuLOsSD6EYf2pboX9glbQiXthOdaOu4KtIdfESeLBGlDIC2sl3Li7HRMR64LXK2dN4Ublo09Rd1qheuDQGLRKiII0+PJyvcEa0q75roYf2HscBg6XYVfpg83YohS4m0q6TFLmx+qOIn1pBfYANkRY3eHn3gfN81OWSy/7oKOvADC5wCeeeDF08MKrWuDZ4YaJ1uvapIm6/4G5kOw3x+O8ZGxl5OktyexQE/KdGTyO3V69g9JfoVg7+rl4nNJyCU64rd0cW6Tgchl6yAnB4OgH6oXF8EskV6Fqk72So0vw6iTo7+hownxkRvUz7dkldUCJAe/4Drdyae8tE9qGsRUa2zuD96Yt0BfVVPSSWwr/gIGwm/Y+tH4UqW50qGnuDo/sgqVII/xYfSTUd2Qf+kqE67rtdsCQ6efAHOGQG/H0TXVmEfgf09l6fIc5Ctw73RU+FNVUukQGXLpfIULzo0bnKxCfP0o2I6Di6E63o5fJVuy12zWqno5uJZSAnrwf6bRBZR51cRTPcL3/LaFbljq2WQ7i9X1KytUfwkv2HgB+p0p4ScEOGPTMWwZDpoxNQ3jq5MnNSGfGfdffk2477yQ7JE8ZakDeMy/klkHnVRGpejWYLK0b/L4uhu2WxOsjuFTVtPvCILKk1kixakiGQpWkpkweVy2JmXQ1cr15wzU3EtiWHJDSkmG6GDRgR/9dGZdkMJyHS89QIqh92+mVSuXvSXY5Gk8BHtZyPxQ2JM9xZn9uD2jve1y1LbIa7oYbkpA39CkoZhULwhO7bxCfWgk/BE95CIUxfuhw+qrdQ92M/ZJAV0MjjR2VUsLm3zf0oKyb7WyNho63QnemyneWYmAR4Vx1ZJRcr30PGWOiVDmJJ2HFn40R1E6QP22GV1tDm9kRpqMjNbP0hK7S55HNk5D3bIFOlG/JUM/Wyd/3W+8E+KRA6YHkjanPCvE8hKiZFO0Yv7d5JkpvS7FpZWF1BaRe+wbou0mlQRWREZEkm27pWOWUhv6WxI2eqkEajq4fG3sNx3VV2RseV36BDJj6t473ZVpbKlOEki6ItSIheuY5uCFMtC4Q/cVjShVO5dktO4Se9VtIEufRCXIlIMJPdaqrexgZLIt5cq3Yqk9QeSDO3H5NZoSb2qfRfVrZGBlmu6dc5W0y9bKRm4xOfgVlVLdCWlQsipOEei84ayl+OHL3ajyoWJWvimiu4Pr2ThoSEJq6lybByRkIshW9dJCVm/h5x7vSd9Rn/teUwURmOrdC11dKQ3tiXa3m6VonttHUJqUwqWoK2i961EpKGCTJCOxD31q+CRaYmGw7pkpvSbPxH5BEKuQmbDIukE3X8dMxnHcEIqiNBJZSjwn/Ouuh1ABOdOjhwp7xToXzZZben0YWOk6yvdJKWu70AivT3xHUjwrZvskTqyodEiih60bsiRtUTXSm+NuFSqWBK9d/mzMoC49ETiuKQbXzk9ped4YmgUSZE30wHWVeMJkCgqGjhB0qnLEoI/+Zq4tbIN0m5SVFLwcsZk8OMez6pISN4giVBukFwkkgkLv0AvlazhtFuKRNZJz6O95Bbp5v8ULm97Vv2JAOViyKrI5R3kMeS74eCnRBdKZkGerw66JXq4bg0SQQ6k2OWRhse5vR7SwlVZzm/wK3G3uXI+iQqjZNQUTclBQoIHqv8bHSPhZLRMeugXy8XQb79L9kzXaof4dqIkDKxEUuQEUtqNcCqhYKnxskklkIwjtpEulKaTotKveRbVM8jNk/IrOHHyMHhyJPrN3ge94PyMgsotbUxygsR6xwrLMMkYKSw7z2bq++Rb4F6Rq5aN6XhiEpH8kHVcpGClLA5e1qcQKhdVWo7skRSczvC6xm3VzGbrRsvsF+6Q3dPzI5UlnSn3JdMNiGTcFFwNnbTKlg37codwWMfhOZr4zbIz8nIdU8hQ67Rbos1XXKWHXFwgSVBvcueJU9BRQeJZfvRwGvw6C7ijxM9yvWRC7KFGVlYUIsh7kCElNZgxtj1kXNm28vgSFKJd8FXvijqHBSOOfSloVGkaJLos+qhUXyVd4s/M3kIHjih7SYKO02krnIUnEakza2eD53NYLEODQyKlMAhbdbTIFHR/SIqUKFCf1OmQpGACFEaQkwlt+V1UN0jO32m649LaUlb4bviMer0EbQVHKD/T0RFL9ql5w7mmR38w9RrLczRdlJK3Is9tkOWSr1xTMuWVaz91hciP70CzEjVIs+F9SGVWqhf6Rm7J88v7ny0vQPukgyyHAxVryXCMoM3d1GKk+fHoOVnSrbo3ksjZVnyJx6Ur8NjKxn2TcSYF479fXWfptkr6OaRXO17oJGevFUihOOfOgVb8Kwd+8PVyT+6i0wdCIekgS0PyPfWZrLttIOFPOA1DdZQyy8D1TOvZMSao6n1zcatlUXVJZeqsNHJ3WVOlDtdINsnRCUtQt9zRgx8rSeWeV5JtnZzPXXI7peYQSVdC31ozyYbXopO38dCHJYQ8UoSklUi21WmvSVdyz/98Sv2ogYMqj1VHQS8V1S5J1SWXpZISxjshTyzLQAlkEf2kldsuR1Dcav05mCdjEC1ILlFWh4MsyaKAQUys7cB5LmTetL8oF27MsmumzVDYJNOq43afs+sKyT7xMxU+oFeluZFQ3ZKy0VsdnAO7bZ36tRapfMvhi3UwtWdttXdJysJa4EzSAnKlC1kXSQpFWr2Kfvh3UhaHoCOovGovcTpIGuk5cQPues3nQ6qXKqZ2/sxM3HUS6fpRWD28q60HcuyrQIT6g1zTnytNu3cnw+6SPRMNmHm5WIR80xIqSbqcHEzeYEep6jFZk2jSdRbpgY3P7D+5S44/Olw/fsAixqtYbkv07wQ9mwyeJXobOoGFzKmMs06bgqNF/VtaqTzqjapBqb8mZ49jrws8KAeV6vyi3hbp3O9Dezr9qFvK60MRVTKKuoD7eTNkVTf+tP6ernhQ3/0km4BAr9p5VvxjOQ86A9ZHzrzq/EgYlHbGNZH4lLoEOjjbfx3Dj6BTDh3Y3cbVq2RPdKLw5HXhp7W0rQbKa636PGQ49NBvlT6QgSQz+08i4zeJVpclhPc6LYSy8RWLtFkcci2lHX5eOA7llubjTg3uILlbJPoKWSpULCXOgYeo4+SQuKGl5WLKDVwYzPWY3FF0YPW7dUxACdjVsgSLE3iQo0V+RL5LJTfF40viLCgVGN0MXZy7YrWLzPMPLIi8pqzi4la40iwbnRI8IVkDUBnhsrXDXm4SQd6Db5Bh8t0PAzt09zulYUs2btbmre0M3YhYSb37pGWcJkdBSkmuVH0dYblMcrJ+FP4qmaVOetES2SxCb8o8wxI5TAAo5HAX7mMAUiFvRElLDtVdcjjTqvCDtO3iaC5L8Hl1pvVV8tgskQ4dZJulI0hNyG3VVZeG1SvSLb/mzPsCbOCQVpcacFEMHRNk/Q45mMyW6MYfkvmFuqYca90zohqdzv3cb2AIWFPcYHmzhY+PFGGmFE4sVk6RziM5cVzQDwPUiQPtveAz3lW3XRFKpCU4KYPjj0QbJYug14opQUI2ExBFt/8ipYGam6TbiZSvuhyZtcCVJW1LrjYlh/oMy3an0SjcSSvJ6OGBY4QnrjWpH9f+Hssz5FvgMBWsWOP+6BGQyGDI+OvAN5wk0D1kXgpZBrkLIIDIucgr4+/JFt7XAwihOT+MnpKNGN+/DwWV0jJyr/26dQIHAS9/+Uu1F8cIiqrbzYtTZ8cYkxiUhpKOChAESGQXxnQRShExEsqxpP30zjBMlQr+AYoCounqIXsMegCpBtkOXZ1Y+SpxIak8k/Xdzr1gPDFORTuArlJ8sA0PQWc/fgZZlZAFp14oA7+qq51I9Hv0jPr/sG2ViEzPdHKlkY7YVIm0VURH9T80kaNQKWx56nqbZCuaBQ0XXB9frOuwFDeFLKMMOPcTs984oSSbFMLeFadTFUF9bzmujkxeyGDobwJBAL+EhAx7Inum6+BB7XEBLSNNd5UbKIRidbmGT7VRK0jwevBiXV+WQBerozEInZyHxY07wECm3u16osiZOdlqV5bfKfU4LFLksEFP6DCNliL+EIgATmPqOyAEHCvnr+5ZB4ZAGWsSjVFo11HOJ5OvjvHTfdQVH/mwhYSkVCD5mWlcFNsnh043RMHH87BfHo70tLx+MuLyBgy62Hha2tCKYyYRGl/OA4gkBWaJw1hYXzsh47lEgBGw9Zw/EoQudEvAjfH56pQukOgo6LtkzKfxRvr5vnkKiXDa76+nnNUAySg43du2ulmiR9bL6zzYd1V1PCky6D/Dd1U+CFqXqJaq412yGRIAmk4vlDR/JzUFlEDuJMUB+c9gUvgQuZVKtfYMSobGDZAo5PKuW7MyVKGS+95kSRuBngW6tXqvBNFkZ5DgpZFO073Z6PBKhpYCIcmZ8VR8l5MDOhe6Y4GmHIYDITnaRj2PC7qSgOQbvjdTamVbIjXLzdKjK667S87PGdPDt5qZvhTJyupe+jKglxDpdwACLYYoIJIXNTnJhLKlP6suVw6wJhtYGegqSchKSGNQMqDC7M9I/RQHc+w5qBaFKcP4B+nD5yBtP4HU/qEswNF3xRbgExeHagLOez46ME1pmka1xY8px0KbIw2k767PhkZiMakFA03lQiReE5+Ni0idOFNgAEJtU6eTWwa6gW2TvnqO0nGeSt+yqI9j9mZmrhaWiRjM4TuRm4wddUzpxCC600HSAhFE2+PZS8AIYJL0xdL/ih9IMiEB12EkVfHxlmT77IOGaiRzFU3K6B2DN3WQ7tnkgpG81C/U1agy6VRVgEwohNfrJKeJx8SpCbCzfNPaWVuTktMV6PIcXo1M3VkHsRz5/YsYTGreEm0akMxN0SLd1wTK6rA3J6pHczKkAiveD3iN75Nd/gEIk8HmiMmm9+jgMjlGFOWJHC2R6tG11GK6bxJR2xw67tIHWvhZE/QDdTMgOUXbudg6DCxeBjgOynMp0Qmr+P0UPWYBz0bsT66JZP9dcjpJJV+Z0GN2wyHCB2RiRXRhKCwHIK+CkdYSnWgwgOEFNZWJ8rxnnYOtuM6gA22RrjZYNyRyh6RKBpkOriSwu0WKXG+qObeLbg75tBQewSs9Z92BVCHex5nCf+QNISFf2ohcl1M8h1IasUmnWt2d4+HByegXPcY97WR+C4UdFjM2lBS0JHMTZOiKk8awRMeQ8uyp2HxEuBTDIh238vz480fG9rcodyvC0Hbi/SMJwEZSsrIiwxKSYzJklP8pcHR7ZzIClH3BDt3fHsUhiG72boY8G1smCTgQvVF9WbE6Jk4pwC5kigt32PhaHYOiF0Sg+EBbcCg7yfhpE0GUQXLDIhK5wAhkSUdKtHVaUC9f/6cDSk4drxQ8orzke5wiUy5OC2pjKLv2LwnjYhBYdXA+4xArVnJM+lPONXZA6lrnRc/dn/w4uIQdPweC+iWVwlVKACOBFrBfZhcOBzNIFi3XSDZ29bSNjSPV8iyagV7oz0iPAFFqKcFbk+rsrnwj0UWSR4uXIkWfi5IHa5QFMHR3zZmZOhLAaIeKr5iiAaawgIXrI3PPzkECNwNsIcly6gxL++THg+Qs0cuieiRF5pwYEqLdQ2zeKARYQpKIVCtnkIp9cPcp5bT9LrntP+tRpIYOjm5g6xFRhVtoJ+8FEuB7JNLlIJQvI6CYlDr4AVZ2FyUSr5QnFOd1fSmIc/JN8jO0+RhMAhBnoFzFAroZICxX4IwZaE3K7jq05CTiOLqgvt9cbrZIBmIZSLpxtUiTSVXqxugmhsNvHVwAQKQ+G3nI+5yAE1ygAydaQdy5uiaRNl/+CerSyA8+JG0chDUf2pMKgnaHYoAO7XPkT3UdVneFtg3KE3JmvtKsHgtslePfLy0g/0ARD74RqQO5gvID9Rf3iSe7aXgCjtEEj0e3Acmqv6ID+pnC0bBo0QggbUbJLwxZCMBcDVsqq3MX5SZufhhF2WKFkBI5ZOBAqQXmZ4g/JqlfSq6S6MjrhaEA5L2U+5bIl8gnB+wgZSkPppbsXuAN4ajLiTHMvwDNkJoHKgPsRCr+lyqSNEx5bqZ00AaJq1dBkEeG66QEhUJ2An/NEjBKE1yJVEg1MFz2ZFFe1im7OvkkklS/tqLZCRBGShavgho9uDCLgEBTNSKqG8b7kNHtTg3U+uzldqVM1wuvl7TgSlxgNxpsUeiO/AyaFkxIwaeShBwaYCjwD6Q575phvP6k5F8NUC8p6YTPXfcAZKYlNNLgCnJd6e1wIbuRgNR31Oenc4uAJjZddClecGIrRfgbzcmnVlIUoIWWFc3MZhly4NSiiD9v5C43x3DSQtqAF2AwmgQVr33TC9UJX/mInpFM3O5primcThDVAZ653hWrweykx7mCMmlo2m5IynHNMxKU3MH2HSouxEU9c0bAVuSXAu1e467ZcrNpO5LRDbfrINFX4xSSUjhGc+pD3W1bQKAAvPcv900/ke573DWpEuKwgTKjpKmI4BNhc6StcJJOSsDsUWcLsu2GyG22n2J7k0Z9nnS4dE62kCgAz2tnMV2/1VGhPh4upoPjko6bgF8VKkl/NM4XFk/h5LMktxbjfghUZXP5Ekuwd8OpTcPoG+hNXrucUqOTRhjiQzF2kDi+Sy4X0CjqATPCIm1LgkI1jUUb+AiSSua86iXhuUsyiRtlWDgwZzxPub9iOi1KpDsLSSUk04V4ivnLAt1EcitkbCgmkZUctLgBZa7P+wm7K9ouHfhDw0CP9GAO8PiKr0LulOwr/nYF2A/w18gi0phSjPLLXkjbth+gU0Zc1wHnFGc2F84okfU+s7oNRL/zuPFlEINjruQrHHsz0xjKC8ZR6P9nGwpRyfgRYMgdtQSAlvO+dKIgoTuKDg1aFYYkVecC81kIK9qzJGVU0E1028mIy26mANysjAMqPj+yeN4GBLKSMk+HwsdytacXctcs6hVw6HoqskuRklop1h+scEvv/hgv759uoL48XNxTurKso++i3d1+A8gTux0oV4sMyAekrgv69Q0GUHNF8DQbSFIBRDdX8Tljd81hB8TAVtkpAt1jyfbBcbsatW9JlhMlk7Yg7pTsOu4IGUMqm/co2XVroEAGmwcSh19qEWEEenOQXkRCldiQW4BJuHcEBXj39BW9r2i53W8b7Ffwz5y/lkiHq/B+N/pqWqQfCrSABIVtmF4TTk5x/qu9O7qNmi4kDbjaetPHCSOjmoi4ZBaqP0Ng5FJZJZU+XXAFqeBU1HqWTFB8Y68pG1P8sKSCDMUppO77SaiUNXuFX55K37fw2fqrO1Gsm0pocYAtW1Z7utN6mQtzSfKmptc+QOBS1tFhyL7B1iPci6WD/88B0W4ZS4+ubpPMAebHIl3NTV/EAqBlSafcOzGl3ZKJ3wIUZsvfr48+pu4x9Y1AR2Xf9fvtFlUnSgfxbCEzjYSUINhO7qN15+yuW+qQzfk8ZnO/H3nH7r4RGg8tkWKWszao0o+U4FyQRwTH7ywIAHMZGqAi15vj2lHDp8GNnzV1ykei5AyzkSkNlyoWXopbZeltbaSVC0lUin96ytafpxzOHtG/0UEVgUJOSaUGpDeOwrBk0I3sysLy127ApvqLUiHjInedL8VNooWNd0HiAJdoF4M4pJZoUkSiPcE2tPm1tvDPi7qgFPS86y2nIoIET7YYzCye0nhHK51xiFlOrcRPMkFS5gn9iE3ek6C8jXslMSdyfipOGrHGBOVrCS3kjbtXaNWWN1ToepANGR3tQkso8FvqSv21vRS2qfcR4Mp8F2eOEOjnUH4BVNK+mkKjUj03reaSdNoW9a1A9uWG3hWPM8Ju/pO2nAaTky8go8Ld6S2rORuTV8Hr+XrrLrrrLWFPN+ujl+lgrIUzi9pvhY2WdIoZx5jGnSEcHT6ACJzBk74EHAqknThQeuwuWVPlkIrUReb7VkoWz00LcPAjW7GXLvegUZ7HezW6fOKzY57v6QGY0GxmnbTVr/SPohF2UC2iAaSlEtIVlUs8gBRxZo3HkzbEgZFFuTvZs6OB47cBIG5AbPbWgubcSussydoBhUClPETyAAcZWBvd2FKU4DTuignRBpq2aPqetPcnRttgJxRZ+SRuU6bLiE11jXH79BR8nf3YM+pm0i4ye4raiGXp5kFC6oss+HbHsD9DjChVx9EaTpV3J7u4UePCVd2lNIlPtGeNWNu9axZR2KoLL/pEfqo0EqRg3fAkEyuHNq+81ddOAE8AGkS2G3eMZHvyLdBLiKs0OGHJyUC7Og7TIGyxH+Heouo2uXEtBSVa7oLsMTYBC2ZATKflA+DWMcwrRbKheiJcqGjGZhiiSBczVdHz7Olx24KccbpOGs0SNSXSgzS/FmAqluiY6NpAJEBDEfcSlA4x3AZc9m9JCBNQA9JtHDaKItOSvXFWg/IC2OUgp66wzq2mvWRScmSvSaPF/B5QSiI0Tja8U11v5yP0In4A3yq4iGbMniT0SKGPwH1NkxXIsixbgvpEayPbNVCQPCdu9HZx8oC+oiXOpA4SgO/DfUV1rozfUPh4ojTF3BV7lg3Jc02jZGtK0NWbKLO5gISEGiwIyVYjXZhF6olMCpCLuyRQxcANDapDiUW1RHsA38YEcGsJ6V+9bPgnKEpTJaRAGqQwH2jcZk+GP76AmRtWkJLDzoO2yxuzAbyiYxaZm+k7JIvOQwOlenTcyH7ECmaaPCEeRrpeS0p7S487dWPJNiQEmNm2n0WK1Vk34Kd3RSAR5Agmna/sPjlri/RPw1VsaqpOTuiPu3PyhWBsfP6x7izglv2od+w+EDP5n3YwgNQlTBreD1msVYwg0cEuJHWB/+ZJpz1jg3OttLdcKzkSXFrcRsTNobcWAQW6Qd0iRr4ePWwYmEYvmFGcg4K4G5aejkX9uZMOIA/AEkElgFKIRMZx0qXj987URDH8A40CoC3pGCCMaPgbMth3Q3EgF5UcDDkVj+9fFw2Ux6mhlEBPUChY152t2xu2jb1Ni3KXgwIBjAXAbT0qYMeUyMGqdJLPkpqZUy8bsvg72+cMnUAttmG67orwNOhHumGF2+IyXgW9t2l17oaAWdLopcEzbwQv0z3apOr4O+vx/7GKE+ixLIruGh5EpuEnvvugq6CQECDtTPpwALx1X/3Y1p+DBKOitGdJWsucE3bFhwvYLNEGYHwrP21bgupmVelQcO5oaf8nrNvu5ZmJ7OY8Un0H4PffJDi/xx234Uw96EqOySFcJHNxF90Zicv8wu8DsOEkYOtsKj5BTR5Tyaecq2KT+9nZ7eViLv7yeSgd8CmtekitAG7CYH7HX1FbQ6dRhLQy4soeKB1klBxbs1YBx1Hbk5jg1GBqCI432IVDHVUSsE6D1n7qQJ9Ev1S7QKmnu18iAiRBJZV06/7SCy4bSBd2U0goSnd6irQR2fTiskjNDwGYLsmPsdK7Kb608rHa43GZukJ+qVyhBVCOakJKgFD3DD5JjEq03TYInpOz4f5NGoCkZp1XvWvyh+NHv3E1mpg0Toq20+OkOk5KKFrrZoENKSRLW3aYy2eSuz3Hs2jCNoY+TC6FQPFj1BjxcaywjCUEdJsaznFqjhZzQIn67RRx7juyRqSrhpYX8rO25kioyEPF0TcRLkoSRIoem7g3QxLKJHGodszHUppWAoDjMk5ut/U1i7hhiriPlCKSTXUykQnm0DAwttEiTr7uHnhjE/gFdFvooE0HMEhkAWAG0I1p+RlC31WD8wblBgBsJ7awAPNxOXjFJGSAqhSAm8QzaV4AV28SDI2S0KqUogq5KjcbJsqEaw62UcbpqQTulTwTCk7Q3dSIDaszWAMQm+sqLbko5K+QjqJZ1KAj2nQ3Thg/8LFrK9OLcoUWCAkdE5MOnB88Xvx1bvLMYE/6VYd1GkslyQKCwG2Wkn4u0S7ugAc2BU7mmECIAhJN90BIdXTcJZ/nXSELZ5aURBDWbiMyCF2vgndR6vzYDFoA6byY8xOR2SWQt0Wnz5Zwkl9J3cyw8CCSpREP/+O+dgLGSnWXdFKbIGFsIk4YhNwxsf/MiJyhyWsCSApA+gzjEKnO3L3c2ZhD7VlHiIZ5MPlItJdU4CHm2imZGEW8PBrXl5sDJlHGIht3tcceH63KkW8PLIDUKRJK8VIZ8yPggFikuktv84YkAScBiKLRX3B7JjZqWleB5CjUGSjw9V8ktIhXHPueqsAdhxwI0GtyKO6atB64d3hRnQQWMT8JhGjdOPiwhLrWofba3VBOVsnNGod68np+OJYQcMIhP9/o//izqF4C0ej0E1P0Xu7v32RNmkvDC5yFnAkTALHmXRBkTzMwhBIVL6imhB7qwCt1y+0mpiQ33NEU7QPpyxbKJLlf9VnymPiCtkxd7RNZ2UNCUU2bJ9+CaFySDvC1OZj70GnoOXc2xG042lGSnUP/oVGOlFV6w7TPmN5rE+chIc5rLv1ZX+IOL7LN1HriCVLJnnaX3KX2IJ0AmJWiBjoe8DW+h8s+h79AaZmWTeNEnROg3YRu+rtopqw6bZE6fLrj/SOxi23SKO+WYVKbSpUtSAetvsB9k8uU0QKAf5f8Whvda35AYY+UdB/hZoicSzjb5FmHXD3tWBRsaF3gWOmg39cT2T4m19f8AITJPRvKFogj6YlKLcQSeamVLCroYNO4NBnnIOjV19wbHkkMtIB/QivnVjWLcFppTuQpTkpIYC94foibMlHgTlu6HC8YFtg4bXIA3PDYSR41S9DTgPXxrqilQg03qYeD5KbmlRwplYgWt3s+/UEgyMj6rsgMzMB5smQTaVBwTzo9PoPZ4P0O3rleotupZjjieFZM6xNsPxgR+nXS1mwyATz6MQiJ/jiI2kwagJs2XDGpLqeOQyXtLpoRDr7tdCMvKDFLyD0ABMIIZhTUiPf0w+UTSbBAXmLijvNR/1Y8xQiyQzc6bZvUIy2gLbp8aXFL7BDhFMMc4AwpbYZhxqT+RPtmW+BuOPPY4HKsaVLd6EUKw6RnSCC0AVpCgs3xum4QdBx0RIPWu4s2F/GoSy1g3INDYglMYeDvzMWCBHcQqAywpGYFpe3irfLfV7GfbNaiDAwMjvJOBihg+Ohfp5K9UwJvHeWEAjxrGGZNMpLq0V1vfJWEQb8KDV9GBEGaROm8uyWFfJfbonSMZREU37rGL2cBkGGw32/S/mTymly4TD5tiQ6ZnG/oMF3IIV5JzbSJ/w8lJMpbM0u9M9yrex5XC9LPSVK2uN1V5wxuKLhFqUkM2C/JpyvM0Ga7vE7hhVibXjcz+B2AlE+NDp093U4pC0K7Vp1Z6cU/PDRIm25Gjwy/ik7upMOHRuqRPJLk4jdMUnfJ+KOfQY8binw6V5ISKMNwE+lhtoTG2UMLmfsja4E4xyyeMR++NPebS4mD2DpuaqF0/0nw97cJTFMyWHC686KbwEa/gmar5f/+u2QAQvC9wixATMD1REIvPjgzOiKqJVS4OKPbRdlJ6go6PKjsSDHeJfHcSEpW640CCOOTYI/0dpMmBAlMDnBAtR7pMPbh0hosKbdK44y3U7I+RWBJPmQq/BdSMWzm+kog2mV8aNygZawqGilAUBBm3SW70UiDdvOgjENvrkXEJHIMGuQxCVkim0SKhnjcaQ8qlxVGSHcv3jWHlUyrwDWk8d0dArQVH5uGSDpQLJEbN5zWwpPR6zn0c2kBOHTHTY2agmSi8OmBxwmvxm9MWAho58F1XGYZgfat2tdvf1tkpV62Ke/iVuVIwssUU1Zxlz59wjUlwVeX5YqfJfibHdwEJBBuCYPRgVJOh2nqLvmhOwv9OQNAM0xAKarbvmQ1OLHQ2aq7uBOAWS2hFQsnG9dgPM+ZncrAd0kngWZeKZlAEpIVdxmiJztMswkg2pYJOsgSgHy5oewuebIQUshBBY3k0B5QCKm40ICAzJyF+oUYFYfBr8dRIMDkScv0P29Dm/GnT7dz4uugCEm9IApybAXyCjwus/DSJ4giInnYIObFgVjU0kgeP/2PIJy5XcnrSdU0XJuWSJ7ZgkyIjjnKYRKR410wVIbPgTbIWWZIa8DI3UWb8Xh1ZOg2jg0abX4wwZgx1DCe7e5juQP4eMm5wjVxorm74/qCX6NmkpXkG1Aap3Q+iS7qwWXChVjTdGeBN7vschMWuy1X8TtLXV5icJxpwcbiWnOXPgsGVKOajxqNBBpWgcoEgUeflY0aL5UCzHw1cdQshlYcwgaKwiloJDsMhOAipMFxhhJayEDb614Cn3HnZzxZo6jpQxIw04tT6B+2hB6f3skQuDM3/UwcK/N2ZpKDgAp8Vu9PG62jxIkeoJxRUdMuRyCBkwrmCAzIMsMQOCPQBhA1QC4L5Nmthijku2TomKEqhlXPJjZFQHwOFI3UVX4EvwqdJqWP39mdmgXgyNmu53njx7h2t+YbyAOPBJJmSCqg43ryZ5qhGAQ5tDJGrfGa4AjoL2OafD77etMtW9BWjr/+YKWBfaCIQabAr2DPeJD6SlAO2Gio3SAqurrDZFCyJSdc5JsF4nAXiwjHqXKAKrZEWgLCHpQQFR6cZdNWQ9s2n99NjoV6OqxUEEbRCZLVTP0XQZrOym6fxLlLAJVG/mzTvrodvgMxu2t2p1hBUMFSQOIr0edU9OUidAggl/0vQksYNdzhnbe00C26XbdsN8URzrECNW+Ai9C7M5kiaHAfQEkIpvMzy3RRFCKoi7pFH6XFT3nYdMI+pRt56E+vJC/3J9kuzI9EwUH8ASS2TvNQhn06qskETqs/m7n+KFJDIxJMgcjURlkC0S88ftoxCQCsERFFMjNJQvxpvQQFw6OIWvKyyGFxQQEi5pkUJgT5h55EiKg/Qhc6qwoGGdCeM7uUHTHXDg6eNxT+VW4kgnMdvHNKyD44uWOmCMI0+TqAFtme/f1yOjy1qC7E1cP4Z7XYpSAblBirlAQhRSPZuFIS1B3IvDgB4F5aNDC9puu6w7pjfzYHIuzdk8XVr9rgxikgyl9yX7Y/Q5K4uTEYxmd8doNd4Y+az5XsmXwj9U2afRWT9CEhM0u6GQKDr82qmFxk+m6bY0ZuB92+NCFcRDKMYFQZ6WmgFw5346Rk+VSWjYa0BBoRoksoBDmqxvpSbiEQeJ6yJ0jswPJCHycRFhJQl5X0JtRPluxtQosAMjvzjW9y3rIZ68lIgHqSqidGgNmRmoW7cReNAdh0mg2h6zSXc5NPEHTn+W81s4xSZpJBqs+S0/AjCh5AYxudHinZQJT5obMnoyTvKsA8HtpKTLlKZQ6oNXQNd8nlHCUNAiDwdMCpSyGpePBmasmPAFkhs7J8HclikoegQZWC911wZzOvyXVgguzOB3LdTCoKoAQyNItQ0+ZX0gY06ysg8DIuOMCPQetEO83ZHTIvRkekBBQ14wOIWlKCv7GIeDFoOgpQbNCdUCkH38tj8khQwnitE6wdlPpIaMBr9qHrV+YF3F+BdAR+ESRlE/rMk5bz35KjJNu3iQayJsVPR8SJJGFUzBZhUBlOVYbW7qkmpWfKN/rn6uMSA7w8HUb9ooMOrze2GImOFUGQCfAsaVSetZXM2lhuCuq0LlE5MXPyXbN5NAa11UVo39zGz7CMRn4dKzfcmsuHwOuHQYbjL/muvGupt8EvuEdpfNyKOPnMJdhn/2VbpOeHWIBX4gwEfd9ORyYTDmfEvQD7GajhZmjoBaUTSLhGmOLgQGxKQa2bUmolL4upNbFQx9EfkyrwOukLeqZ+mDtC75gmJ0ZM9GS8QkL/EHyhO4wNX27C1vmnojFBlQLSK1kBoo31uggjqxH0dyoOIxdsGKU5Dz/KETyT/BRpFGheYXZ0c3wnAYYTJ632vHRpXTxykulJ5+w5Ifg9pENJQkxPF+n0N9CUy/GCkEB7UYCSGqF+++DkmCTtDf3KNGnSYTFSZNhXmJyeLgqCnko7kOuCI2lwSfhRygGT/ix6zIgLUTbRpOGL0yKQs6CPmO/i34ljyU9s7lgJ/3KqLowhgejwvqNZzBgMVBx6a04KvTrLqShS9wdmoGkJXJrd7AfaiiGRC6MNuBWN/E92wqNbcGamxxRQkw9LliFncLR3d0Q1qisL4CRZ5gQkMwDFI0zot7xLNmONEysFZve4zgH8mGpiNSDZZLyA+qH5A23adv/YzmjtwHYwqOAO1TDHr/xwZwVGydJcZonl+mFwJ4ROXy7ZBHUxsmzrLwLqyvl2i9NddDgfD0jQWay2/kpo5OrMc3GfBdfNjg8KGKvYCJyx8/A6vKE6gAQobSBJIhOjAOZY0s2LRosc6Tkk8AS6bDfd0ExlBxgwrZsKop6HXIZpgI44kEdz31Ky8JB0po9LWqTeQALJVis29mdIXBUXz7GL11WYmVCA04D+B5qbM3ugGBObQZKCw2QRbSE6nj5APvXgCiv+CEbpec4wFTheeMDyC/GrJVAG0HMMa1DShdNjekh6QPwqyfCgHkJPOuQeuzkzo1BNt+ZgBV1JTxW9aZUEuynI3YkFdZK7BxLeDTMqeKkKKP7fisARGJuBNgY57F6NFJkC2Wh5EjzQMoNbM1bYbJ85GsPTgdzjdOlVw/Tf+kqwHMZah6k1EKHIyPJk+ze0A4axAKGq33bIxrlm64jiniW3uUBMA+kAsQhlSUtkMUzhA6TdEjoVp7uih/mqthE0k04HuHfvkj2hLBDXmH27uOVfZ4nfUJk8UnxdjW6R2STUMAoSxAdJt0ZSTj/xLikFQ0gF3opQg5cgycjStN44XYOQwJoDqbg1l6OhL+52mPntckRI8dxFc1DGBvwK35PTakigNpIX0XGPqyUQ2nbKiOYbNXc1eL9Gc/B6jByIBNqyiPI8yIRu+pSg1gf8eC4kBxqlJ8UKfay0/OP9MrcLvoK74nYIVaAMmjnnaFhCb36DLroxv2aHGfYBJB0CdYIsaJSb4cIPGU6sRG2Q6yYU2sccAodhRERy1AVpW0fCassFjcDxDPpTV6WhEFjks5HHpXHoxiG1c47aEmkzyji0K6wsnw8AfO4pxkHTFoPegNkE1+XJ8kGVAKwzk9PhjnVLYASzrdMJD0vYNOgw9jRzjMIMYln8XV3y+5A7iRUnpf8Nv8RkXAWSYlq2ZUo6h9QFgAptQdIxSXLCizxw/dfHCO2sB9NE4VbD1YzyBojQOOIJB83eEXlxFSsEHYNTkYtL7pFj68nvfRObSvFuUD9yEznYQlTW8Xibk9w3JEAMLXM4OynvECAQOT8KcyceruGzGRzt2gLxsxUZ6aFhEolDVLHQDr75mYYH3U7H7RP2k1YOksK0rUBCXGm+C9Nw0z7i4WY757mZygFu9vWlpxtOv/vGHmx7GOQzcMw5e5REgX/93xLGWFXmDHgiHOQbzmcY2ff86u2qa3Z8kzcjUk1RmPujnWZwyqBwvaBcpH+gGg7mvWLWAWCyu2Q43xmwORFmmGYYqKSc85HNLDUloChAaJI0rvZeg5bPZT7x9/wkFzQMtiZTawBkUnRMZeeicc4cQv2EB1kNN5kRqE4yxlTWHnBqwI/QTXcILVZyz8xP1F0IwPst/cOlQxmAZTaRLCwjMLfRjgsQ9S5av24amLkLy/REBIBKMUm0GxzW9PXyuAqam30b6cMikDF2466YQ5zgKYSmYIXNoSXDIz5gkpkp8uQX8jC7/+VFA2aYZa5ryaiQVbdw2qCSDEz6j7bSrfzIFSo5s0bJiIZdW8f4eb7hSFLqC9yCFxjV3EwtT50Lviok8EXt4YwxWF/oUQvxIJW2bhgPpPLO2YLafu4PWIrjfkAU62R4z9cAA60NZ5PapyXLReZCfQEf5dCETHYV9tL9HKTIgScUBSJdB1+Aw7QYlAwZKK40IV24jcj1VqdeFB0cutVA0lMpvIvmFTKlcoHJzcEyEiLpxjFh4KPTMJDY4SoZdu5pL1qTp0GNPqls8tSLPDUcZKDBwRlawuxJxmoRX6aoRpjiw4bK7Y5QLUr1A8N/vDeACIOUCM2S8I3R5br0CGaY6qTx5VX6MwShxA7kwjDLTKFbbheh5vZvxVPsR3g/yKvqRdeZogGuAYMzZnokUD1ToiqebScRLP/ANP16L6wjsIgYEnZ/4wDaaiIBv++GIBPBmj/LIYHCPdpvgBVXs7jT7PLMWGDaIQkrgzk9KKeW+UloSFz4OwBx6chxIzXfQEAHfFdeC1VGiLWeUJWP26ulsFaaCd8sCN4O6IocJFXcVjwBJ1RPNatMntkeTKXf8kQBJ7MbmGI4PgYPNS2Cy49CjYuCmfAgAFgM64NjpSf/tmJDmRQynOU825leGDMB6F5iLln7bxKa0bFj1JPNsUkISvvkeLTHv3wTv4cIsuQgFECE3TybhQbhT0Ryg1wXWT9jQTdjLiC4oVJ+D+fJ6XWw/NL71NzUa9EEdW4S+0QNgZjj9JOtmR//44Zg50C0c27fbHhk3AcuadtQ4PpJ9JKpnm4AbkioO0L8OQ1HM9jW00txyfpT7AeSoJ8FDpdUtlm8UgIcHZ5llGr6X9CYhMEv6KQFuRF4SJoyn74Y+XR5CTelbd4zRVVLmnlZG+3veS1J82yILwbBXIIsK822QRy/7pI1cWmQ+g6sX6dq5eQEyYjkw0nsmnaauRqT2CxJvgq038Xh8V0wcbzLgc8wVnT8lXQITyDfXTkO51CyIC74sGRQXB6r0kUO5fnh3elzT2NhIhwtJStFVCBg7lE8+eXYW5IpHY+1pIPLjRASQTr5PGhSJqCLB/geYHQzy1RUKGUfTSVugRmD6D+YDDYjBUq4Dd15pVRy18wkwmSQDaHMYCQGHHaoYHjtD9QtKA+4hg5dZdBdWXkEhJ+kQ/W3+10RxrswgIsyPfCokRLK+uU4/DIdLyEW1KK0uQLnM2cvBSMS206Sjrvqztmz5DRQWNDfWEI6Cl58Sq3VAwCSpI5atH5rjtvE4fYQwn3LgCYBp7ONPQrXrwxup9dNppPuAU+6ys9UVHEryR53shyzqQ6vhxDilLwLTP8aqNqRPhO4ykEjCwDuyJGtjNcDjgGV0PA4Voa84Z6f1wAfWBEKmU/bW/mGwIwgnDThGkMJ2DlL+P6JNSbTAdISIs8O1DnKDcwPoHOQoYpzdB2aVb8l0hypZZiPu74PTVjUIIalqwcKJCrg9E0A6rwG2E2jx7OywDNCsWm2F0QwN9CDRzxlyaSIMEywWEuihzyTh9KitvmeeJBjIM9BDHsgKK3vloAxB15GmJ980qSJIJvdHqJDWvfAxLXMV/LsZ9JcDVyNRr7eU8WQ0Gujzeew8OuhQd7kyUlCFxow9/g5hbUJbeI6xufrx18UaoFPh40GEijYpCtn9xzfzdSp7ixtoTEnOZQwoUxdgAT5LpmQbNhCwBUxnTUB2KObiIdmTQrpFfIW6p+AbHG2Ka1TepoeQvy06h2ryY3PSuDCkOzyV8JEIiqDnvxBA9QiswYv48h4u5pIEGTkiOch44NuGETH5N75gTkYigqVFyVKS4qLYdoKSFI+ajPuDqNbWn/e+EdaOvCaaRd0GJmkpbS/GWcXOTxoONKk5G60M+0zFBlpKwWff0+8hzYwPxrvimDSqpQsKHx2ESYaXcnU2UCBVMc2PRuScwiYA+xRn0VzACRhyTYIkTdkib8R187lF16ZLJj1GSAbx0fkLCkPEyncFduf7bzTtpMAGnN9Erx9mtZoAN9kX83u1T18o0rCZpB8oLgYd9zLaZn/BZ4IeIz4ZX8SGMozlZD6fWFs18FdrTkB4wAzOIx7fUZOKz6VG07xC14eHWzC7G5fHUQUCChAwzUlmD4PhSEg9N+j0AcjkHzQBymU83s4ueD9YCMyV62rOnC2B3wnuNau6pjvXIFL8XHxRMDdzYYH39BdcxnNAqyOAQyuCloCbQY0RXjYLbkdUXF0L7ul39pjgH4Dy7v3s5/b4yzw8kHImcA+JbDPgTpoTKEnix/02wJBh0hrM2CTSj80WID57orxNV+60d6clV87ZvfccX5TTyCWu+9olu8O4zwyHre4DryFq4qd2mGiGhR9oEwc3oIilB9AsQQUzraEVA8kvi0HqQCytRpgSMG8k9sPMxuYJYdLjs7cmDFLmONZHaC6IsJWYInpTWY0RzbGYT46Zfjz+jMoXlh9bZ9MX1E+Ce0+e3sCuZPhZHyA6hNL/5uESKKcSTJUkq5+1wXpaAtjE3Wz8RM/CQbjEEyflEAdQ/MKGVP+llt/pxPJGKN7MYmQmUoCWYj5Qkn+JC7Tig54xLCXP7lZ1TOkuDnbBSHSMTBdgqW4RsOs+ONHzwHDJBhQRTYb0SQZieMLS5dF0HHSK+zJ1mZvArROS0R5RnUepzpI0fO5zsu2CUUEHcCGTMRMLxV66phuFUa3J/kL6DkMsQ7ts+ZyfrSSHsJsMW8oJRBzQAVcnfzwcBq6RqFH7TVBSM0TqRjUdZ7LTpssxFvdfJ8AUugVmXAOQm8A3YuHn7B35vECPkJhk8IT4T9UZgTfzwFNYphqYw82xNxxSKiITBpaqJLAykRhpwIj62bTAONShokO6S2+Kx7nTsi2MbJZMZiJzRB59DqT6LpHl5Fh8cQE2jqqa4XBiGp5LS6VPM0IB36EborWcBf+9rQtJL5wdEs4hdVhurcHeuz6JLa1bHMWLGZp3yWrc6IUyjpI3JwnhARXgzTr8ixIne+Ad47BGWe2pDEeRGbUZOEBuks2D3zfntmBEmEMhCWH5mjauwibeEpGH8KJdHIkMlTiQISnGU4uIaZ+hY+tP+32a8+RQFSPowLouE4SsOKlGRIMtds0jsK8Ix6MPh7Qqt0TGG+Dlhc8JU+IAv6CifXEWmexqYPQjQXmCDiT2x/JZTGOCY6+Z8n5J2gCN7X4YpicIhpL6MCGZxgnXRLm2fNbl/vMqiSA3uDmM3lWeZZcBj4VT9fmsNHcy/U4TDUnv0y3mCX0p2ILeg7GNItmRd/Q+vXoTvI3JCAbHm81ac92IWWaGn4CDGkWgEqatm/NcTWXhEmtzMl7hjgcYgZH9sXZGzrbzkeqwQxDu6gUthbQJE8+pF9xZlwWNHhNj/m6cCnGuVISgACJOYeMSkqJR54Didke1BMQuVdSpJTHzbJDnAwRQafh9GbldFSS+5ylCjgdWHaYxkh+D27P5rmHSAxYbR4ST5+ZeRJBvBRGQj1uAj4rBUMUZDXVdreAzCVFIQaCZG9PJRfgEcpJ+tRwkTpwNugd7/WhEkffO4qMt+bJlJaAlQOjSsnEEk+2Z9KwrNJ23g/iZS6YZ6XcJf8Ov3b3sSH2kSVvmAydOOyu0EoC4mWZ/suDBKh5g9xxaEOsfRcdmSYB3M0EKzoP3QZIBR0AFrSX+Rko7cGkOLftVMpkG2npogvvLpksAptGWHrpzO7wSai1KRSKr+mIe4/3AaDFcyLpYeXfmFl21rPmcm9xS0Z3o/MjJVLsy80AhSqK4dgHqg44oXZOhKRnuDmdKztzT7txnUG/o86Yqf7ct0SbmhS7eUQ90U4SlJmRsMYJeyQkoHFKjaM8JzNZwlsxGpIpDelsMogHym9QCOmQUjTGPwLNN0wb3uh9hHcUc3FXPDmHEag7dn8b+gx1PedhuH+j9C8bxuNSJPXkDVD7kNcZZPmMlDmMb2AOo45s3b4dOfQGQ86s8BPrGzjOLHCsJo0lLWnxiHN0jakNPivWT5cSgQ5PNdqWMN2S+gIN+vHhs+EH3Q6t5te7i0UyWuPWaHHGiLsKpUoIdejRkoQO9AOqDVgPbiFHnekUbtXdOD90KtJ2P6pVzrNkwjSracDhy2DyTkpodz0mYEqHAdAwIf7JDhSafwGbUuVH790lh/mADOuABYIsuCXQXzCgaRnig4R8AMqKnE8yx28q6vBcPvx1Z2UagdAER6hAKN4zj0A5FlzvZCe2KSA8R/CYP8GdTtxw6lAQstxzTidVSaQ1bWpQASdZO6zU1CzsQKYoPHiuVtOKZK7Sh5eJjqTo76Lb8aH7Tkwe6DQiEugr0WQ5C4cWS9wHOm2y74jhPKaRQM2P9bygDOBJChBXmt7IEl8NYzKpdPgzQXoNjwxnx6FAgbOU6aTE6c9zJnk9SXez4aI7s5kJihPiJu0KB7iYdpQYcsKhEx83wfGMdsCpT/55FyfV9StoMwiKPtvulm45zemkOVwd8fT25RoqLKzwTzSWc4/OuF2V58MkHI+FoxZYTmISwEoNSKmJa78eCRx0WiJzlGWFA9q5TmhWr3tg8DVQPOeKCBI9Y9I1ZXc5A4DOzzDvw+PlZ1Kpwx/GQDxgI89BIsanrKXLW0yE1KEopQtp0WNA88CcFlC8CVC1NIZJUrhABfg1HZDj2clkF5mpZCgvEofA7uK5JhVQQ0++EdohSUwSrk5jUHhXE6hMfSr+kNgAJGNuD6duk3bK+XUQHgzadMKmFPJtUM+ecQmdLRNWpfJwCf8jzbOz1gNdM9B7j+H9JMYGEDOYc2e5E5sJXt08i1kQAgyEuTgMBrmLbkPTmRnLlAayVssSMDIEWCd9LeDrgI1AxuBeeZiU3osDW2LkZzPDdXZmh7iSvmz64ScZhhhBfOpknsuAzAkAl0y9fhr8xPsuukXPiscEG6amI4NZ3SqKZDCSCO5BcsJIavXAQ7rUrF7As5llGRL3y3B1gCUwcQTnJKqLxRYwgauY34PmEwoYy50S5biX8+M7gCyBTkts5V0y4XCkrSulHojrXN03ZbOL2eS8+Azz1c0rwFSRfErPOKYmqINxfzmwBIYmcqHxnMvx0LQKUhcLyVzBk59h5iygP9ylnJEGNzcz66lqX1uO0xQk/ristBF3562ZIULFlpkPFQJUPmNcmw+iOeewCAPeK/dP3hXHl0pE37vo19LykzqlhfgzYEw1pePmcALcOrCI2rQaswCehglPAJq8TEOwSeSRwbTIk3FoCYWMNLtYi2fdAn3oHy8wLgXtwNard1WaVMMTjUxreICVI+HmYQAZQ2YBBUGD7vAyPb4TTYkDN3p/V/zIxBqbzlT2NVOiJ2ob4nm3jVlC6woPGgaayXcDGkFXDjnG52CGaTjpGqUAtZYb22FVCTIQNNVMU44ySo0pwd1ZiGqqTuJ4+OEgsnsOZlIjSC8uevqdm7WkmiUhcCb6R6GC6XAtYv+lzAJr301w+AQBDGuI5qiRkBk3ZhvHTWBLTEIKgBcEMJDmoaEdYlbecLMHDHDH+ZDy3En6Zt0jwKgo7LSJNyAF2AxmJK5b+RHzGnBxk1wVJlS3lpp4+6nVcTXorS9AgetHCG+BK2Bj5shBSYqHkzM0xkhQ2n2YSYIJ7c9gPAqO0wOVnQ5i3pZZUl3Dx4+gXZnyBmlsqEjgRq1J9kMOSveAxls6ZZ+nTBY1ZhHRQU5ea30ier8CjU+FBAmJQkjlW05FgDYw0Bkg2oCe30W/2UH+LrOYO0MBmBeAo95q26kJGIy5zC9O6cwZZ+Z3ciEhbL0rrqxsUMitNPN094QjIodOxZous8ySeja4570N5l5wWtHdsN9ghp4fv81tQWRshAhlnWUResND10wFYspW+F6J7JyepCNrY8Ho+XmfM2eo0gQBCg/0x06JLzlQAztWSIjMm19ko9mv5lQEurI8TPeueb5wyxOFmnkaP4mHUOneAYOEbQKPsLrk5cZ9KWaSNQxrI2X7rQhx+p9OmNiN5jCoZFuyzCoOMiY8pmr+jAEjEmBIRg6lIinjoY7x77RrSUCu0MVDEb5J1ZDu8ahfGmZBWpuVs3tiNZOHKjmgbdYnd/tU40b/9THROGkcTAVJBu9QjnVAQraOPsRljAIS1Mp2g+o3bYN5apzXCsnBXZJAgkiEeUAOwIpD9ZPDpClub0MhPS2KVmwoXUg85pwlk7QwQrb+K1K6HgMuqTV33SiKPh9SCeQ2HCOec2gJRWEokwngk/THkNFKebP0Z8lspMJgogZodMpmK+jM5MHQNdC/cQXAkDzlWpvgaQXOrxF8yzzHXTIbf9oxfAkbCNSGiTinGCsL5JkLwWT6RQcijIT4AGG2Vo6Ewcn72c7s4YcxGDPKxLeWPfw4w3CzTAj28kN0oim20qUz1s6tlzKTjfzWTRsBunEsbpQSvtD03CLStkluBfPQzKm1PCB5lzU+znqGS9HOzEiZ5zGPtSSN1mDw3QZiCQAJ0nfUvPMz/MXh0WN1pLvEqByaEJlxec9mLTkhgJzpgLuDK4xkdueQOXlwfWEdKjEBKYBhDl8FTXTwNNgI9z96uFEMSAiI2yCwxUEzwz0JO/J8NIAmVV6nq2x4CjU+9sxOPhrhaJc/fPKeJGvV4v5rBjEWw74s6NAMFtN+JFkxNwzOcXpZM1NBwN1MI/+vruZgXJoWsp0Dlw0dcSMlFP4AycMDYwmJNgp/tG7sHAFL9qPgyPzHbqaprQwcAYOdo+WQIALrTXhgCWBp3BKInmfW7bVdelBDzu5xr9mxA+mkk4jc45QwSg2uKPyU9I5IFbtvdvgzkKHo5DLr8qGBpPhiiMXcMHPTEDtGSnT+GYII69XOId7UDQFWYJa6c1uoHOlLAuPnd3NmGiG2kb/c7GoJeQZYqhnlJ+eIVs9glPMA1YKqBQVvWD1m5TZYwbvpzhH6l/GkgH60lDhioOWnRTIKLhfo+Tn7Q8gWtooWiXH5VQA/fUtyk/jTr97j7hKQs3BzGCximsJN0aN6/LQxLQyEpQGNQO3cB20lq3yQVEF2C1hCEviNQVuS9u0lJUxypFxMAinrJ7CwLYAE9KY8a7IzDEpCbTMM27uHhC5OZoHSL2rJZqii8SZu95qUyHK+CN73s2RLF2F3iCiGS1Ofh2AmIuZhcxIRVfR8MKECzWUvoTpAJz9yZ62BePKN89RPWt5Wpk2L+aZRaLB95K2kF4dui2nuZkYWkj2nrhF3vo1WHA4OocYDYYjZgWdBomqObjoTDX2H2HEQw05nb5dbfif0hsz9pdHn6s0GlRPWmXQSQFAqAEjMyuFmP3J72sofoHeGah+KuJ5HTYiHe+6pvXfJHG7KZQJHtjDtKZmA5GhmyiwEkNuZPFOQcXPaSMxBAD7+w1S2LPgM4Iy0N2ywNq74eOO6hwXNLAqRaF9E7FYPnX5dOnho6j/lHng6X8gGHwYVY8WoqyKhAEVaBORFziNKkApd9DS1ofPwChuO5E2faMVjr5z8HNzFdAXFJ5meHzbpLc7wHO0Go9Wx6iiuKgEyg/rvuZVgEUBNmpQb5A5TlyzxYAqPB8CtQ1RJNdBG3qLlNU3lBrHf+8MpIjnAKJRRuD+jfRJw3BMKDziQPWoUM0vXtsM3auuTMgn8uf9oF7RiM861G0GMA0cFFInn1/CgxyEiWFjDCgpz1rJOJVcBUhcSQffq9HTxGaNG1x9+qT1sWE7AREIJ2MyZSnaS4jZsotDbmuAXaJURGIwPuItmXxCdup4VD2wxebJhTQD7yUgpz3XhOsnbIuk0snhCc4sZ4+iMvEsmSz1oogPFcDGv6v8pGWbvwM0BOUnc6xFK+EZjPSsulwjN+9nhWWeKCxIG2YALGMtc3MxfDWcemWBXsowICBM8JxzM19X6GOhh8d49cYM9JRA4DIbaTOhxqgkwKamTHvWoOSZrBMBp8i7PSe9JKFy7uRCOZxZZQOcREy6Gue5M9ElT4XHG3jm+4eIJiY3bfQ/0SlGHG0JMD2OISUrAJQ8zYpduCXPrUCH0kYSH7JJDap7WdvZ9RtAHcEqT99km8RzfrG25KiRyttssPGu7Gx0Ocmtnk2tzjz8LzcfdGDkVmAZ7UB7Qzn0SG0j8Uo/4RsKAO1IMywRNrjVDMAzy5b6akfxwDBA7XMwTXxsarf9GQMBSbUkz/4nHepEPgPLpmAFy+q3fJbuTyJ6vAp6KZt2UNKYKUzZe2esIxRqtZowbS7LRf/Pj151VNooT23AYAVOgY2gSpmwzfEL7Dgs3U704gAEQknmzjNHp5FGgZScDh7G+S05TFlH79yRCYAWWoI3AQTB1eViCBwyeFuqohBiWJLU5Hnxzl8xRAYwvpCsJvqxtCd0stCsvTypPkSmN8EdM26V99cCh4d7W/njrXH4mYkNLNkGdZwckySDAK57nQxrE14sJcTbNpizBZUUVGsckj+h//x9fWykq",
 "rows_format": "base64(zlib(JSON [[seed, cand, lean, lb4, qt1], ...])), unrounded submission edges, 512 rows",
 "ledger": {
  "lease": [
   10003536,
   10004047
  ],
  "run": [
   10003536,
   10003537,
   10003538,
   10003539,
   10003540,
   10003541,
   10003542,
   10003543,
   10003544,
   10003545,
   10003546,
   10003547,
   10003548,
   10003549,
   10003550,
   10003551,
   10003552,
   10003553,
   10003554,
   10003555,
   10003556,
   10003557,
   10003558,
   10003559,
   10003560,
   10003561,
   10003562,
   10003563,
   10003564,
   10003565,
   10003566,
   10003567,
   10003568,
   10003569,
   10003570,
   10003571,
   10003572,
   10003573,
   10003574,
   10003575,
   10003576,
   10003577,
   10003578,
   10003579,
   10003580,
   10003581,
   10003582,
   10003583,
   10003584,
   10003585,
   10003586,
   10003587,
   10003588,
   10003589,
   10003590,
   10003591,
   10003592,
   10003593,
   10003594,
   10003595,
   10003596,
   10003597,
   10003598,
   10003599,
   10003600,
   10003601,
   10003602,
   10003603,
   10003604,
   10003605,
   10003606,
   10003607,
   10003608,
   10003609,
   10003610,
   10003611,
   10003612,
   10003613,
   10003614,
   10003615,
   10003616,
   10003617,
   10003618,
   10003619,
   10003620,
   10003621,
   10003622,
   10003623,
   10003624,
   10003625,
   10003626,
   10003627,
   10003628,
   10003629,
   10003630,
   10003631,
   10003632,
   10003633,
   10003634,
   10003635,
   10003636,
   10003637,
   10003638,
   10003639,
   10003640,
   10003641,
   10003642,
   10003643,
   10003644,
   10003645,
   10003646,
   10003647,
   10003648,
   10003649,
   10003650,
   10003651,
   10003652,
   10003653,
   10003654,
   10003655,
   10003656,
   10003657,
   10003658,
   10003659,
   10003660,
   10003661,
   10003662,
   10003663,
   10003664,
   10003665,
   10003666,
   10003667,
   10003668,
   10003669,
   10003670,
   10003671,
   10003672,
   10003673,
   10003674,
   10003675,
   10003676,
   10003677,
   10003678,
   10003679,
   10003680,
   10003681,
   10003682,
   10003683,
   10003684,
   10003685,
   10003686,
   10003687,
   10003688,
   10003689,
   10003690,
   10003691,
   10003692,
   10003693,
   10003694,
   10003695,
   10003696,
   10003697,
   10003698,
   10003699,
   10003700,
   10003701,
   10003702,
   10003703,
   10003704,
   10003705,
   10003706,
   10003707,
   10003708,
   10003709,
   10003710,
   10003711,
   10003712,
   10003713,
   10003714,
   10003715,
   10003716,
   10003717,
   10003718,
   10003719,
   10003720,
   10003721,
   10003722,
   10003723,
   10003724,
   10003725,
   10003726,
   10003727,
   10003728,
   10003729,
   10003730,
   10003731,
   10003732,
   10003733,
   10003734,
   10003735,
   10003736,
   10003737,
   10003738,
   10003739,
   10003740,
   10003741,
   10003742,
   10003743,
   10003744,
   10003745,
   10003746,
   10003747,
   10003748,
   10003749,
   10003750,
   10003751,
   10003752,
   10003753,
   10003754,
   10003755,
   10003756,
   10003757,
   10003758,
   10003759,
   10003760,
   10003761,
   10003762,
   10003763,
   10003764,
   10003765,
   10003766,
   10003767,
   10003768,
   10003769,
   10003770,
   10003771,
   10003772,
   10003773,
   10003774,
   10003775,
   10003776,
   10003777,
   10003778,
   10003779,
   10003780,
   10003781,
   10003782,
   10003783,
   10003784,
   10003785,
   10003786,
   10003787,
   10003788,
   10003789,
   10003790,
   10003791,
   10003792,
   10003793,
   10003794,
   10003795,
   10003796,
   10003797,
   10003798,
   10003799,
   10003800,
   10003801,
   10003802,
   10003803,
   10003804,
   10003805,
   10003806,
   10003807,
   10003808,
   10003809,
   10003810,
   10003811,
   10003812,
   10003813,
   10003814,
   10003815,
   10003816,
   10003817,
   10003818,
   10003819,
   10003820,
   10003821,
   10003822,
   10003823,
   10003824,
   10003825,
   10003826,
   10003827,
   10003828,
   10003829,
   10003830,
   10003831,
   10003832,
   10003833,
   10003834,
   10003835,
   10003836,
   10003837,
   10003838,
   10003839,
   10003840,
   10003841,
   10003842,
   10003843,
   10003844,
   10003845,
   10003846,
   10003847,
   10003848,
   10003849,
   10003850,
   10003851,
   10003852,
   10003853,
   10003854,
   10003855,
   10003856,
   10003857,
   10003858,
   10003859,
   10003860,
   10003861,
   10003862,
   10003863,
   10003864,
   10003865,
   10003866,
   10003867,
   10003868,
   10003869,
   10003870,
   10003871,
   10003872,
   10003873,
   10003874,
   10003875,
   10003876,
   10003877,
   10003878,
   10003879,
   10003880,
   10003881,
   10003882,
   10003883,
   10003884,
   10003885,
   10003886,
   10003887,
   10003888,
   10003889,
   10003890,
   10003891,
   10003892,
   10003893,
   10003894,
   10003895,
   10003896,
   10003897,
   10003898,
   10003899,
   10003900,
   10003901,
   10003902,
   10003903,
   10003904,
   10003905,
   10003906,
   10003907,
   10003908,
   10003909,
   10003910,
   10003911,
   10003912,
   10003913,
   10003914,
   10003915,
   10003916,
   10003917,
   10003918,
   10003919,
   10003920,
   10003921,
   10003922,
   10003923,
   10003924,
   10003925,
   10003926,
   10003927,
   10003928,
   10003929,
   10003930,
   10003931,
   10003932,
   10003933,
   10003934,
   10003935,
   10003936,
   10003937,
   10003938,
   10003939,
   10003940,
   10003941,
   10003942,
   10003943,
   10003944,
   10003945,
   10003946,
   10003947,
   10003948,
   10003949,
   10003950,
   10003951,
   10003952,
   10003953,
   10003954,
   10003955,
   10003956,
   10003957,
   10003958,
   10003959,
   10003960,
   10003961,
   10003962,
   10003963,
   10003964,
   10003965,
   10003966,
   10003967,
   10003968,
   10003969,
   10003970,
   10003971,
   10003972,
   10003973,
   10003974,
   10003975,
   10003976,
   10003977,
   10003978,
   10003979,
   10003980,
   10003981,
   10003982,
   10003983,
   10003984,
   10003985,
   10003986,
   10003987,
   10003988,
   10003989,
   10003990,
   10003991,
   10003992,
   10003993,
   10003994,
   10003995,
   10003996,
   10003997,
   10003998,
   10003999,
   10004000,
   10004001,
   10004002,
   10004003,
   10004004,
   10004005,
   10004006,
   10004007,
   10004008,
   10004009,
   10004010,
   10004011,
   10004012,
   10004013,
   10004014,
   10004015,
   10004016,
   10004017,
   10004018,
   10004019,
   10004020,
   10004021,
   10004022,
   10004023,
   10004024,
   10004025,
   10004026,
   10004027,
   10004028,
   10004029,
   10004030,
   10004031,
   10004032,
   10004033,
   10004034,
   10004035,
   10004036,
   10004037,
   10004038,
   10004039,
   10004040,
   10004041,
   10004042,
   10004043,
   10004044,
   10004045,
   10004046,
   10004047
  ],
  "burnt": [],
  "unused": []
 },
 "arms": {
  "cand": {
   "source": "https://api.imd.fun/artifacts/5718a00bf95a80e2c2f0073071fa9b94d59be643e3e577793b9fd3e9cd2cc354 code_zb64",
   "source_sha256": "5289a60c833857b4f3eeed22677593ec26c824ab4b9350dec474333d1ab1937b",
   "source_chars": 47094,
   "runtime_bytes": 22390,
   "runtime_sha256": "772f45c951e91eff9b74136a99a929036d7e688d937f2cfd6eef0c4bef4fd678"
  },
  "lean": {
   "source": "https://api.imd.fun/artifacts/a79a3606add967bb8f8ec2af8ef3d61bafb597419c488133597c8af5b9d34505 code_zb64",
   "source_sha256": "a6dfc3ba6b7a1b19ae77680eeb1d24f1e902a216a10c1093d8388a0510c38c94",
   "source_chars": 43563,
   "runtime_bytes": 21368,
   "runtime_sha256": "52d01b1e7221eccb0b55982f498caa0fecea01dd0619c9d96cf685db85f6e912"
  },
  "lb4": {
   "source": "https://api.imd.fun/artifacts/93cc15561f172c49c8bce174143333ede904fdbfcf51276cbbeb514d4f5b614e bundle.data, member scratch/Strategy.sol",
   "source_sha256": "a243bb3570545fb614d8995ced61e811db8e075af68e636add20eaf8fbaeebfb",
   "source_chars": 49905,
   "runtime_bytes": 22946,
   "runtime_sha256": "dab7d69ddb7a172624b37828021941904406326442fb11f750a727e16707d017"
  },
  "qt1": {
   "source": "https://raw.githubusercontent.com/identity-md-launches/goal-3178-build-shared-evaluation-kit/45e7563d1a29ffca9d608fdf60c90bf2624d2d01/ reference/materialize.py output qt1/Strategy.sol; the same bytes as https://raw.githubusercontent.com/identity-md-launches/goal-3170-beat-network-s-amm-entry/4eb3e985fd31e3cd17832501b95b6d2491aca73d/reference/qt1/Strategy.sol (fetched, sha256 equal)",
   "source_sha256": "c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca",
   "source_chars": 42990,
   "runtime_bytes": 20605,
   "runtime_sha256": "79c8d6c305ec6dfc29770b27cfb15b6cbd57b1fb01a23309cf8c131ca5c70189"
  }
 },
 "how": {
  "run": "each arm alone against the 30 bps VanillaStrategy, once per seed; 16 blocks of 32 consecutive seeds in order; inside a block cand, then lean, then lb4, then qt1, all four before the next block; one amm_sim_rs.run_batch(X, VanillaStrategy, configs, 8) per arm per block, gas counters reset before and read after; edge = edges[\"submission\"]; n_steps 10000",
  "driver": "driver.py from https://api.imd.fun/artifacts/764c9461a9f3bab6e277178f4bb48553d1b97c6cca33bed016f7c9bfd611cc42 (sha256 d3f8646b541a76921a47e9d03247c8c9dfab594076a7c5dca79c36b6c048a282, checked), one call per block: --strategy cand=.. --strategy lean=.. --strategy lb4=.. --strategy qt1=.. --seeds B B+31 --lease 10003536 10004047 --block 32 --budget 400; every call exit 0, none exit 75, none exit 2",
  "checks": "source sha256 of all four arms equal the named ones; runtime bytes 22390 / 21368 / 22946 / 20605 equal the figures of results 5718a00b (G), a79a3606 (G) and 764c9461 (compile); lb4 and qt1 runtime sha256 equal those in 764c9461 compile; driver configs equal the kit engine_eval._config on all 512 lease seeds (6144 fields, construction only) and again before each block; zero oog / revert / other halt / tx error / bad return on every callback of both participants; pair statistics recomputed here from the ledger rows and equal to the driver summary",
  "statistics": "paired differences over the seeds every arm finished; se = sample sd (n-1) / sqrt(n); seeds_below_zero counts differences < 0; mean_gas = sum of afterSwap gas / calls (Submission role)",
  "clock": "work began 19:34 CET (task start); first block started 19:38:39, last block started 19:59:49 (minute 26 of work), all blocks closed 20:01:08; the 40 minute line was 20:14:00 and was not reached; four simulation commands, the longest 382 s",
  "block_log": [
   [
    10003536,
    10003567,
    83
   ],
   [
    10003568,
    10003599,
    81
   ],
   [
    10003600,
    10003631,
    77
   ],
   [
    10003632,
    10003663,
    69
   ],
   [
    10003664,
    10003695,
    74
   ],
   [
    10003696,
    10003727,
    74
   ],
   [
    10003728,
    10003759,
    73
   ],
   [
    10003760,
    10003791,
    74
   ],
   [
    10003792,
    10003823,
    75
   ],
   [
    10003824,
    10003855,
    73
   ],
   [
    10003856,
    10003887,
    74
   ],
   [
    10003888,
    10003919,
    79
   ],
   [
    10003920,
    10003951,
    82
   ],
   [
    10003952,
    10003983,
    73
   ],
   [
    10003984,
    10004015,
    72
   ],
   [
    10004016,
    10004047,
    79
   ]
  ],
  "block_log_format": "[first seed, last seed, wall seconds of the four arms incl. start-up]",
  "seconds_per_seed_per_arm": {
   "cand": 0.5536153126736281,
   "lean": 0.5007481706675208,
   "lb4": 0.6109407186245335,
   "qt1": 0.6049767849317504
  }
 },
 "environment": {
  "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, 36.4 s, 16 pinned downloads)",
  "engine": "amm-challenge@6b6921f8d463314aa7c96234e1be25a25245f704, amm_sim_rs 0.1.0.post1",
  "native_sha256": "ff88b6353c2aad7342f0a26194f7347e78b9c3b38d683a7449006d423978cd14",
  "vanilla_creation_sha256": "3bcbd8a295b9d9c357e76df36a08c6232f8afa692a2189c643fe0d029a9efc05",
  "compiler_sha256": "fb03a29a517452b9f12bcf459ef37d0a543765bb3bbc911e70a87d6a37c30d5f",
  "compiler": "solc 0.8.24, optimizer 200, viaIR, paris (kit SolidityCompiler)",
  "python": "3.12.16",
  "numpy": "2.5.4",
  "machine": "12 cores, run_batch workers=8"
 },
 "not_done": [
  "No submission was made or prepared; the requester decides.",
  "Gates P, Q, T, F and G were not rerun here; T, F and G are those of result 5718a00b, P and Q are outside this item.",
  "beats_lb4_by_0_15 is the point estimate only: the 512 seeds put CAND minus LB4 about one se above 0.15.",
  "The afterSwap peak is the largest successful call on these 512 seeds; the engine reports no per-call gas, and a larger sample can show a higher peak.",
  "Engine edges here are the local pinned engine against VanillaStrategy on 512 seeds; they are not board scores.",
  "The kit score.py and the replica were not used; no early stop was applied, all 16 leased blocks ran.",
  "Of Taylor's repository only research/solved/README.md was fetched, for attribution; his files reached this run through the kit and the named results, and his gates.py (gate P) was not run here."
 ]
}