{
  "credit": "Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved: solved policy, Gaussian filter, exact-arithmetic tell, U1 tables and replica; QLX5 and AGE are network extensions.",
  "item": "s2",
  "batch": "a2-age-a",
  "where": "engine",
  "gain_vs_base": -0.018355603594308434,
  "se": 0.014726233378506495,
  "n": 128,
  "seeds": [
    10208256,
    10208383
  ],
  "allocated_seeds": [
    10208256,
    10208511
  ],
  "allocated_seed_count": 256,
  "completed_seeds": [
    10208256,
    10208257,
    10208258,
    10208259,
    10208260,
    10208261,
    10208262,
    10208263,
    10208264,
    10208265,
    10208266,
    10208267,
    10208268,
    10208269,
    10208270,
    10208271,
    10208272,
    10208273,
    10208274,
    10208275,
    10208276,
    10208277,
    10208278,
    10208279,
    10208280,
    10208281,
    10208282,
    10208283,
    10208284,
    10208285,
    10208286,
    10208287,
    10208288,
    10208289,
    10208290,
    10208291,
    10208292,
    10208293,
    10208294,
    10208295,
    10208296,
    10208297,
    10208298,
    10208299,
    10208300,
    10208301,
    10208302,
    10208303,
    10208304,
    10208305,
    10208306,
    10208307,
    10208308,
    10208309,
    10208310,
    10208311,
    10208312,
    10208313,
    10208314,
    10208315,
    10208316,
    10208317,
    10208318,
    10208319,
    10208320,
    10208321,
    10208322,
    10208323,
    10208324,
    10208325,
    10208326,
    10208327,
    10208328,
    10208329,
    10208330,
    10208331,
    10208332,
    10208333,
    10208334,
    10208335,
    10208336,
    10208337,
    10208338,
    10208339,
    10208340,
    10208341,
    10208342,
    10208343,
    10208344,
    10208345,
    10208346,
    10208347,
    10208348,
    10208349,
    10208350,
    10208351,
    10208352,
    10208353,
    10208354,
    10208355,
    10208356,
    10208357,
    10208358,
    10208359,
    10208360,
    10208361,
    10208362,
    10208363,
    10208364,
    10208365,
    10208366,
    10208367,
    10208368,
    10208369,
    10208370,
    10208371,
    10208372,
    10208373,
    10208374,
    10208375,
    10208376,
    10208377,
    10208378,
    10208379,
    10208380,
    10208381,
    10208382,
    10208383
  ],
  "partial_seeds": [],
  "burned_seeds": [
    10208256,
    10208511
  ],
  "burned_seeds_semantics": "Inclusive whole lease retired; completed seeds also cannot be reused. Untouched seeds are burned without simulation.",
  "unmeasured_burned_seeds": [
    10208384,
    10208385,
    10208386,
    10208387,
    10208388,
    10208389,
    10208390,
    10208391,
    10208392,
    10208393,
    10208394,
    10208395,
    10208396,
    10208397,
    10208398,
    10208399,
    10208400,
    10208401,
    10208402,
    10208403,
    10208404,
    10208405,
    10208406,
    10208407,
    10208408,
    10208409,
    10208410,
    10208411,
    10208412,
    10208413,
    10208414,
    10208415,
    10208416,
    10208417,
    10208418,
    10208419,
    10208420,
    10208421,
    10208422,
    10208423,
    10208424,
    10208425,
    10208426,
    10208427,
    10208428,
    10208429,
    10208430,
    10208431,
    10208432,
    10208433,
    10208434,
    10208435,
    10208436,
    10208437,
    10208438,
    10208439,
    10208440,
    10208441,
    10208442,
    10208443,
    10208444,
    10208445,
    10208446,
    10208447,
    10208448,
    10208449,
    10208450,
    10208451,
    10208452,
    10208453,
    10208454,
    10208455,
    10208456,
    10208457,
    10208458,
    10208459,
    10208460,
    10208461,
    10208462,
    10208463,
    10208464,
    10208465,
    10208466,
    10208467,
    10208468,
    10208469,
    10208470,
    10208471,
    10208472,
    10208473,
    10208474,
    10208475,
    10208476,
    10208477,
    10208478,
    10208479,
    10208480,
    10208481,
    10208482,
    10208483,
    10208484,
    10208485,
    10208486,
    10208487,
    10208488,
    10208489,
    10208490,
    10208491,
    10208492,
    10208493,
    10208494,
    10208495,
    10208496,
    10208497,
    10208498,
    10208499,
    10208500,
    10208501,
    10208502,
    10208503,
    10208504,
    10208505,
    10208506,
    10208507,
    10208508,
    10208509,
    10208510,
    10208511
  ],
  "source_sha256": "c0fb05961b60655744bfc5597a098e2f91bc5b90db9e8688e488d077864fb5da",
  "source_chars": 47757,
  "runtime_bytes": 22558,
  "peak_gas": 208123,
  "peak_gas_all_arms": 208826,
  "peak_gas_scope": "Submission afterSwap; peak_gas is CAND, peak_gas_all_arms is maximum over CAND, QLX5 and QT1",
  "oog": 0,
  "other_callback_failures": {
    "revert": 0,
    "other_halt": 0,
    "tx_error": 0,
    "bad_return": 0
  },
  "driver_failures": [],
  "advance": false,
  "submission": false,
  "pooled_promotion": false,
  "contract_returned": false,
  "comparison_stats": {
    "CAND-QLX5": {
      "n": 128,
      "sum_d": -2.3495172600714795,
      "sum_d2": 3.568434658832348,
      "mean": -0.018355603594308434,
      "se": 0.014726233378506495
    },
    "CAND-QT1": {
      "n": 128,
      "sum_d": 405.695548779385,
      "sum_d2": 1405.6254629008304,
      "mean": 3.169496474838945,
      "se": 0.08583728540740386
    }
  },
  "rounds": [
    {
      "round": 1,
      "requested_seeds": [
        10208256,
        10208383
      ],
      "driver_exit": 0,
      "seconds": 534.9622312940191,
      "cumulative_stats": {
        "CAND-QLX5": {
          "n": 128,
          "mean_diff": -0.018355603594308434,
          "se": 0.014726233378506495,
          "worst5": [
            {
              "seed": 10208378,
              "diff": -0.4891377237885308
            },
            {
              "seed": 10208256,
              "diff": -0.4784542690415492
            },
            {
              "seed": 10208369,
              "diff": -0.4747722679899198
            },
            {
              "seed": 10208375,
              "diff": -0.4023540427417629
            },
            {
              "seed": 10208306,
              "diff": -0.37644354181475137
            }
          ],
          "sum_d": -2.3495172600714795,
          "sum_d2": 3.568434658832348
        },
        "CAND-QT1": {
          "n": 128,
          "mean_diff": 3.169496474838945,
          "se": 0.08583728540740386,
          "worst5": [
            {
              "seed": 10208369,
              "diff": 0.7743197345125736
            },
            {
              "seed": 10208258,
              "diff": 1.0374993079275328
            },
            {
              "seed": 10208272,
              "diff": 1.324482993402171
            },
            {
              "seed": 10208357,
              "diff": 1.4025094352621181
            },
            {
              "seed": 10208347,
              "diff": 1.530694702697815
            }
          ],
          "sum_d": 405.695548779385,
          "sum_d2": 1405.6254629008304
        }
      },
      "futility_upper": 0.011096863162704557,
      "command": [
        "driver.py",
        "--kit",
        "test/scratch/kit",
        "--cache",
        "test/scratch/compile-cache",
        "--strategy",
        "CAND=test/scratch/CAND.sol",
        "--strategy",
        "QLX5=test/scratch/QLX5.sol",
        "--strategy",
        "QT1=test/scratch/reference/qt1/Strategy.sol",
        "--seeds",
        "10208256",
        "10208383",
        "--lease",
        "10208256",
        "10208511",
        "--block",
        "32",
        "--budget",
        "1799.9998704080936",
        "--out",
        "test/scratch/ledger.json"
      ]
    }
  ],
  "stopping_reason": "first-round futility: cumulative mean + 2*se < 0.04",
  "arms": {
    "CAND": {
      "compile": {
        "source_path": "CAND.sol (exact supplied code_zb64)",
        "source_sha256": "c0fb05961b60655744bfc5597a098e2f91bc5b90db9e8688e488d077864fb5da",
        "source_chars": 47757,
        "source_bytes": 47757,
        "runtime_bytes": 22558,
        "runtime_sha256": "d5d5ddaddcfac4a7212f7be41e26453776536571bd006c4c24b177523f63a0d9",
        "creation_bytes": 22587,
        "creation_sha256": "c5e443a5270912dda14169d0907a1af5a29e6137079e8b15d7386e03da697e5f",
        "vanilla_creation_sha256": "3bcbd8a295b9d9c357e76df36a08c6232f8afa692a2189c643fe0d029a9efc05",
        "compiler_sha256": "fb03a29a517452b9f12bcf459ef37d0a543765bb3bbc911e70a87d6a37c30d5f",
        "compiler": "solc 0.8.24, optimizer 200, viaIR, paris (kit SolidityCompiler)",
        "compile_seconds": 20.13269352912903
      },
      "measured": {
        "n": 128,
        "mean_edge": 543.8399237757717,
        "afterSwap": {
          "calls": 1410461,
          "peak_gas": 208123,
          "mean_gas": 136492.00132509868,
          "out_of_gas": 0
        },
        "seconds": 165.38011441216804,
        "seconds_per_seed": 1.2920321438450628
      },
      "validation": {
        "valid": true,
        "errors": [],
        "warnings": []
      }
    },
    "QLX5": {
      "compile": {
        "source_path": "QLX5.sol (exact supplied code_zb64.QLX5)",
        "source_sha256": "e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40",
        "source_chars": 47230,
        "source_bytes": 47230,
        "runtime_bytes": 22440,
        "runtime_sha256": "903a0cf860910022916e7c16aa1ffcfb94b0db9e25074665947d786615a44ae8",
        "creation_bytes": 22469,
        "creation_sha256": "275fd44fa37b567c17e18607436eebae510e2bd157979bf3a2fdb61228d59dab",
        "vanilla_creation_sha256": "3bcbd8a295b9d9c357e76df36a08c6232f8afa692a2189c643fe0d029a9efc05",
        "compiler_sha256": "fb03a29a517452b9f12bcf459ef37d0a543765bb3bbc911e70a87d6a37c30d5f",
        "compiler": "solc 0.8.24, optimizer 200, viaIR, paris (kit SolidityCompiler)",
        "compile_seconds": 18.753941424190998
      },
      "measured": {
        "n": 128,
        "mean_edge": 543.858279379366,
        "afterSwap": {
          "calls": 1410302,
          "peak_gas": 204120,
          "mean_gas": 136541.13523770086,
          "out_of_gas": 0
        },
        "seconds": 165.25051437015645,
        "seconds_per_seed": 1.2910196435168473
      },
      "validation": {
        "valid": true,
        "errors": [],
        "warnings": []
      }
    },
    "QT1": {
      "compile": {
        "source_path": "reference/qt1/Strategy.sol (materialized kit)",
        "source_sha256": "c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca",
        "source_chars": 42990,
        "source_bytes": 42990,
        "runtime_bytes": 20605,
        "runtime_sha256": "79c8d6c305ec6dfc29770b27cfb15b6cbd57b1fb01a23309cf8c131ca5c70189",
        "creation_bytes": 20633,
        "creation_sha256": "0af76fa66572167378c48100a70dcd8e64b58eb28cdd94b2e3456c95f367445f",
        "vanilla_creation_sha256": "3bcbd8a295b9d9c357e76df36a08c6232f8afa692a2189c643fe0d029a9efc05",
        "compiler_sha256": "fb03a29a517452b9f12bcf459ef37d0a543765bb3bbc911e70a87d6a37c30d5f",
        "compiler": "solc 0.8.24, optimizer 200, viaIR, paris (kit SolidityCompiler)",
        "compile_seconds": 13.422625260893255
      },
      "measured": {
        "n": 128,
        "mean_edge": 540.6704273009327,
        "afterSwap": {
          "calls": 1410077,
          "peak_gas": 208826,
          "mean_gas": 137875.17828033504,
          "out_of_gas": 0
        },
        "seconds": 197.6680036690086,
        "seconds_per_seed": 1.5442812786641298
      },
      "validation": {
        "valid": true,
        "errors": [],
        "warnings": []
      }
    }
  },
  "normalizer": {
    "credit": "Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved",
    "source_sha256": "62d40ccef0de99a385e332a36ddf9cbd1da73eda06bd7954492a9880cb91a572",
    "runtime_sha256": "69ed6562da17454439bad4fbe3690194539001ef8ca2068ea50d937ee50c670b",
    "creation_sha256": "3bcbd8a295b9d9c357e76df36a08c6232f8afa692a2189c643fe0d029a9efc05",
    "runtime_bytes": 640,
    "source_chars": 989,
    "fee_bps": 30,
    "separate_match_for_each_arm": true
  },
  "method": {
    "driver_url": "https://api.imd.fun/artifacts/764c9461a9f3bab6e277178f4bb48553d1b97c6cca33bed016f7c9bfd611cc42",
    "driver_sha256": "d3f8646b541a76921a47e9d03247c8c9dfab594076a7c5dca79c36b6c048a282",
    "driver_unmodified": true,
    "wrapper_sha256": "02493bdd6b9164501112b5f3d91e286bb530d4a15d9013e5320d0dca6aea060c",
    "wrapper_zb64": "eNqFVm1v4zYS/q5fwcN9kLQrK3qXbEfFLbbtoUBb5JrgcIBhGBRF2bzoxSUpb3JF//sNSSl2nFxugXgpcjjzzNsz/Cv6ymnN5Ao94Od24MjZy4489mx/kK6H9kwexsonQ3dz3r/BXbcQrPtbUoQRzuIiisMwixIapkGGCQ7jkOA4JXFeNMs4qJeIU0ExJ4cbMbQnWvsW644Dl0g8Cw8N8PdvMfQekqyjHuqwPHjogMWhZZWHBNv3uLUaPnToCEewiabrd/A5q6o5O1FugUZfSfmsF5RLJ/CE5I4SdGxJhbwRhGMJSB6ZtF0fgClEjuu6L5jIwKl1V769Y7tr9PW3H77/6aE01nzzZWGhbKGW9s4gfEEOtN7tqcRNw3omn53Adb8rC4s+HSmRtC7/sL9++fV7H0zbK5sETRWkyyyssiBL0zxJqoak6TLHwbKgUbMMK5JWy6CulrTIioImRVEHeV5kSVOlNbY9+x8//yudtNGwiGlakbip8mVS5UGW50FchQHOa7xcRkGU5RinTUIwXmYFDTPIVxBWQRTHRZMEoI3ThnLaE3rzuwxv7iX4TvfPM1pAUOSkabIwLAIaRhWOqpDQKo5jWjd5hos4AMxNFgO4PE9xUQRZA9hJUEBtgP4pdsdnUFfHDfiRVWkS4jxbRiFOcrqsgzhKclKQZd3gKl0mAejNSVoTnC9JnFUZCZICR0Vk/2k1ULS9d0CsR3OAfSZpJxx3habMTMXkiwOO0sxx7m56lXtc76pnyDCk3z/Qp5rtIduOW5ZQVf2BcqaSpUrTbwdcC3XPJrivWQ0h8dWBPamR9AkuunMl4LZ1XjRs7D2IC3u72W/L0j6CjI0U6r3CvLHvICYP8PejvX1RoK8cV+juy/29rcSUab0HUPavrVrQnUfWvgPV7L8HdDMf2lvTWdDSO7VFJZMMtNBT559wqzwFpFNr3A+wAQX9z/nAmkTgRvmHSUWLK9p6vXbN0XUOrr2Uu+s5ulovi1bvPYQfV567XVnoVL5B4LgzTHqZ1snNNToD3Ghk2/KEuXBOrjXXxsko8C5EX87myE53N7YYRk7ojhxAib29LdMA/iEoibeifOwVn5kKU7JRkuaZda3ZhOhC3tSoDaVyUUHXh9bURBCCjpGdyrDK+NkFk3SvZkQ6RDN8acjKw7wT5VkQinbgbM+AY2dWA2O7qh3Io2XVtEFAZ+SR1g7tQYp6lHqgUN/1TrhnbYs9QWkt3NVL3FT9h0EUFAD2thS3pf5Iw1DXvVDFYa68ujGZJ0PfsP0OJB3h+v1OQNWLElSoUL+5T2toWg+P4KF35EPVQueXs0f/H7OFWIP07Y2NG0n5/Td8VOk4Uvy422PI3HeQODC9QrN6Hx+PtK+d8wWkpIF+iNKJjLwNujmVI+/fxWhZ19Eup0BbQmIuS5Vvvxv6QQ49I9DmnKomLN9JKR/GvhblZgvDbjgeWb/fgbdQAOWvA3gPsR0INEi9U6NNlIVnwrKrRgAmd4JCyOE+EHrg6pQLrGbiSjmgbG5s2uKjAAWTKFTnNbyFRm2h9wvTIJyK0ig1loCyGfjiqCk/dl7DcUcvDV85BIZtBRMZIMg4gmro+RYW9togX3PMBEX3z1A73Q9PTDphlLiWeUr45j9n+rr/6e9ffv7tF29C4q6nfdxCpzgmJqrqWF/TJ89pGBfSa7GQrh45gJoqnnI2LxXv6UVcxMBs0zLx5g5wt16oO4XvT+XmYhh69mKhHiXmwXJj6weK2iQYCuNleyKOaVcLiIkoJ6It7c+T7AXtvhZT3HsWu2DiK7GH8Cz1ETnre6r2DUwdI1cvdaDUcQv5Ay/sOUjzEkKiXdctAKs4Mp+6NI26Dj85oacysXDeLzt4vqlLw3gOX6uajk+zb2upp6avY65+LPS2v9aczATYYdZDwyHQLen1VH2l+PW00SEo9S2o3LHrMH9WXGJCs11r6p2O1dreGhtCDU9NbYMEyjfPgnlMwmRUsw/evhDVcuMIzeAXc2P4pt4Wym3hbhf6UKt5c+ZesSdYR7jU713foGX/oY6246oj7cOuhp5TT3K/gS+nNjq8WmkxoutZMHot+ekdWVCrHTbwF/Zng7TElkJycaK9365HYFpegoGO4n5Xs6axt5+jT8oiPF00d89LgSCVSBEeoi00v1qdecQQkL2duVuzqN4sTWNz+vsIrz/NcSqLm3Ojbz1TFzsKTFJy4s2E+aYYpUfGbmxh0JxgVuvM6l+vGSVr4d2yMw7pXw9auYOng65I10wiTv5SwqT5gP0MFNRg1o6c2uZSWUbG6fnYtA9S922YkS1IaTdhjOrXigZwG/hB8qExHYOFDhOaXVihs49IpQV9RtEnsH2LlL4rc9GH+hWZtRSCjuS3AU05sqbxsz5y1ktHt189dkfhXCdzswi3rte0oziUD3ykUwz/l70VqmD5aL0ieGD3/wL44wYB",
    "wrapper_encoding": "base64(zlib(UTF-8 Python)); wrapper only validates, enforces gas/lease/horizon/deadline and implements prescribed two-round stopping; no policy modification",
    "native_sha256": "ff88b6353c2aad7342f0a26194f7347e78b9c3b38d683a7449006d423978cd14",
    "allocated_cores": 8,
    "workers": 8,
    "requires": {
      "platform": "linux-x64",
      "minCpus": 8
    },
    "after": [
      "build",
      "check",
      "engine"
    ],
    "n_steps": 10000,
    "strict_lease": true,
    "reused_seeds": false,
    "retuned": false,
    "score_method": "Unmodified kit score.py summarize(paired seed,difference rows), unrounded engine edges. CLI bank seed range is incompatible with this lease; its summarize API is used directly. Built-in 3se evaluate stopping rules are not used.",
    "futility_rule": "After first 128 complete pairs, stop iff cumulative CAND-QLX5 mean + 2*se < 0.04.",
    "advance_rule": "Only n=256, CAND-QLX5 mean>=0.04, P/size/gas pass, no callback failures; block-only, not pooled promotion."
  },
  "gates": {
    "P": {
      "status": "pass",
      "inherited": "pass",
      "inherited_source": "https://api.imd.fun/artifacts/dcda482dfdc67a08edbd81196d26cff298d5a34e18483fa7dd4ce356662baed0",
      "measured": {
        "_credit": "Taylor (gtmcknight), solved-policy research, amm-sim@4812a6382311624e1506aca131ca35c378f930d9",
        "identity": {
          "format": 1,
          "commit": "4812a6382311624e1506aca131ca35c378f930d9",
          "implementation": "cpython",
          "input_digest": "0dabe003f62d413d6cb222acca4586f806e2a3f94b183d02569f04fd010f2d5e"
        },
        "status": "passed",
        "returncode": 0,
        "stdout": "seed   perfect-info      gaussian+plain    gaussian+qm       lattice+qm\n10000  448.261189  443.455598  443.522608  443.663520\n10001  576.779199  571.463409  571.623551  571.977293\n10002  531.886497  525.168028  525.865859  526.411631\n",
        "stdout_sha256": "10f187b4b7d36e2d034ac4c74766f4b6670b3f766a2d291c7370050b799dcbf8",
        "stderr": "",
        "elapsed_seconds": 17.43761022295803
      },
      "command": "python3 -B test/scratch/kit/gatep.py --reference test/scratch/reference/taylor --cache test/scratch/gatep-cache"
    },
    "T": {
      "status": "pass",
      "evidence_kind": "inherited only; not rerun",
      "source": "https://api.imd.fun/artifacts/dcda482dfdc67a08edbd81196d26cff298d5a34e18483fa7dd4ce356662baed0",
      "evidence": {
        "callbacks": 549905,
        "split_tests": 356959,
        "mismatch_count": {
          "inferred_arb": 0,
          "split_tested": 0,
          "split_verdict": 0,
          "tracked_offset": 0,
          "age_rule_kind": 0,
          "age": 0,
          "weight": 0,
          "rt": 0,
          "synced": 0,
          "twin_fee": 0,
          "twin_state": 0
        },
        "seeds": [
          74200,
          74249
        ],
        "stream": "autonomous contract-driven replica_e",
        "kind_counts": {
          "arb": 191729,
          "binding": 320342,
          "pull": 37834,
          "neither": 0
        },
        "max_relative_rival_error": 8.731332265820772e-15,
        "fixed_input": {
          "callbacks": 549733,
          "split_tests": 548149,
          "mismatch_count": {
            "inferred_arb": 0,
            "split_tested": 0,
            "split_verdict": 0,
            "tracked_offset": 0,
            "age_rule_kind": 0,
            "age": 0,
            "weight": 0,
            "rt": 0,
            "synced": 0,
            "twin_fee": 0,
            "twin_state": 0
          },
          "kind_counts": {
            "arb": 146,
            "binding": 440688,
            "pull": 108899,
            "neither": 0
          },
          "fee_callbacks": 100000,
          "worst_fee_bps": 8.254e-11,
          "fee_sides_over_tolerance": 0,
          "max_relative_rival_error": 6.795853303475876e-15
        },
        "method": "Python reference shadows contract-driven callbacks with only prior observable fees synchronized. Candidate storage supplies arb and offset; QLX5 TellMath probe supplies split verdict. An instrumented AGE twin records branch kind, and its fee outputs and storage words 0,1,2,6 matched the unchanged candidate on every callback. AGE age, weight, rt and synced are compared on every callback."
      }
    },
    "F": {
      "status": "pass",
      "evidence_kind": "inherited only; not rerun",
      "source": "https://api.imd.fun/artifacts/dcda482dfdc67a08edbd81196d26cff298d5a34e18483fa7dd4ce356662baed0",
      "evidence": {
        "callbacks": 100000,
        "worst_bps": 6.0834e-10,
        "fee_sides_over_tolerance": 0,
        "tolerance_bps": 0.01,
        "seeds": [
          74200,
          74249
        ],
        "stream": "autonomous",
        "both_sides": true,
        "fixed_input": {
          "callbacks": 100000,
          "worst_bps": 8.254e-11,
          "fee_sides_over_tolerance": 0
        },
        "method": "First 2000 callbacks per seed per stream, both fee WADs versus independent production-QPL Python reference before contract quote feedback; error = absolute WAD difference / 1e14 bps."
      }
    },
    "source_identity": {
      "status": "pass",
      "evidence_kind": "measured SHA256 of decoded bytes; compiled CAND runtime matches a-check",
      "source": "https://api.imd.fun/artifacts/dcda482dfdc67a08edbd81196d26cff298d5a34e18483fa7dd4ce356662baed0"
    },
    "size": {
      "status": "pass",
      "evidence_kind": "measured compile",
      "max_chars": 50000,
      "max_deployed_bytes": 24576
    },
    "G": {
      "status": "pass",
      "evidence_kind": "independently measured native gas counters across both participants and all callbacks; afterSwap peak ceiling",
      "max_afterSwap_gas": 245000
    },
    "Q": {
      "status": null,
      "reason": "Replica scoring outside this fixed engine block; not measured or claimed."
    },
    "E": {
      "status": "not certified",
      "certified": false,
      "reason": "This item is at most 256 seeds and cannot certify the 1024+ seed promotion. Early futility stops cannot certify E.",
      "complete_block": false
    }
  },
  "rows_format": "base64(zlib(JSON [[seed,CAND,QLX5,QT1], ...])); unrounded submission edges, complete paired seeds only",
  "rows_zb64": "eNpNmQsS3TYOBC/0SsUvSJ4llftfI92QHWqzWa/xJIoEBoMB+M8/tbSy24zfiP6UMtYu87S6WxrG7q2PHbW1Pgem8pwxx+in7jht/Pv7u8D6zbWeVerutZYx+2ppiTVitc7/toOBb4zTzokWLFbv+/sXbT7821fZ0VvUP5ZVy5wl5tytYRnP3GuvOufsfbS7wOHH/cw6ZtmzHI70WjgR5zmjFbfkkjPqOBxzN/74f4EobK89pXP4ckbd2wPU50Tv7QRvzzF/MzjSjL56n7ONGff9+hulPOFOa2+l8kq8pjnqGPjxVNzUz8KHbXCK2WLhm7sEX4z2xBg16sLDc9a0jF74XmzcwKn4wNNXjb5x9mRzd4H+i1Oe3mPgg4gSbaWlxSFaZ2E4uGUHkVqnFJ+c/bOAMV5PW2ucEcEpepmvqddZiMweMZZomc9opwfR4ecVH0fM3yrsuZ5T266jllJfyzhllMUxiD8WtkXYGhAL3HRDGfGbfT87CnjBQbiupeWwWK+nsULHDb0/Z62zdz27xrrvg8VRnkqQwFlph8jx9HnOGR3rnCuO3wiiDYyDFYIQ3QU2Po5nEyUDtPcy8ljwSt8bN7RCxoDAh8O1CWAIz339/HrEM4n/4nPsGjylKXp4Yr4FIicmMixq5Uhrzf2Jwyq/iPEICTJiHrH6WgjaBF7D4GOpD4Huk4zg132DsADO5PFptpzJxvNQ82GvILOceXYeqprjIIP/R5behFwvFhvfb7VV4TJeLPL6OpM9D8A1YYRNMnWys+usu0AnCiywSEbOXRd4T0uYo5XNTj1lpMquHHIt3NI+Oxh5hAZcYuMfPH/+WMihMxs74pRje4Jd+UAHXp8NTKBPzDhZBTj4asRrgYHmHoDw1IqlP9DXIYTkw7kwEuWCprJFMA7CWHEksMY8o9SiCzsPkR0kB0FhpwT3roB/yPYehXRp8NISNVggpymPkpQC+QxwhJ93aQL5E0Vjdp4mo1X+ET5pqXy0F6gx2ERCk0QhtwnJjLiktkh2SY2gtwN3EMeZltq3IYPbKo+Q32tUdtak+nEzYUOKhyCe2kkeEpGETAsEt2Dy0vDCD4zBOYMQHZK+lYvjbYCOXEAudv6z3K4Wjkuig+Zhcg9SkSgBoVE9x12AOtQzZDANW9gx+mvZx1TucOUZCxNkYBKQq0TyxOcMPUEGhTbSAb6r8qxxPGRHl4SLQCSMGzaD6xcZuS8t75GUi3cntbGS7pldkDCuKuZNUtwbhWTIMgu14S5A0PZ5BFjbC6wC39cy5XpKD9zOR/aU4qBJwky6fHYAFDcgafucTm0DvOSeJg4FN5AMsOj+jXUeaylxowzjr7vCGzaAS45Qe44FU8u23DXKEV/lmb35CgxBNkMb+7MAcYudxXdQJ6suTgvbpTCAGpSDfDDAO0xAZEnbuOlI8g5Z/eD61fAyCZ2WA4hJBxXFypwL4E3NnDVPelc4VmieJ2PZP8es5gdHRp0AxwY3kMVYAng1CzEPUL/uAgQJRRBkCStTlYlcWgg6xFqpK0mKiowizwV5R2rfBVrWwr4oWMBu8tX6t2LCJaQj2J1ZHInH6nVRcPD9zegjGOcDV21/gwbPSQsAAFZCuiqU4EkSCuZdh+L2qQywMPt6oDs2TtJCe2nAA9sKQOXGK2iPJxlPriPHLiOwPZJeiVAXybOB2x+LuUHNrWQaMqJXztSL2KRUfJBk5UypSNWmEJFxUoIWwQxOkFt/8yMZGZbkv/f9lTJwdkjNKgQnxWth8/n36PoE6YXKI6EsdfGpCzAI6gYGk4bd7iIP00ThBgIeAaFlfljcKE0wOLzcPk44SfuIPCAuBaJ10kJ6b76JBB36lRTd0gXVDkyX/8NIIoMSwripiBQyX9hp4csQoxxKRcPCR440iGNX9HEXwEMbCkKg4UmriX4Fy+wCFl24iQAllvkTP5EkC666C6BllzAjz4a5zj5fS3jioczxmAuOIM/5E8B86nM3Uxq8j4aEQgtosOCSDEh4XpXvu/WVQ/HlzMcmgd8FXlHFpqg5gAfw97RQLRe0oqiTdsxnJMohw/FBm3cBMqUuxK09BhGgArW0dLKPfDxQBbGuhAV8BfQYxKV+nIiKlPcpmavAnHAimH6sCdBoPr1/uPIR6ZlJlPD7NnsrcD5kAv0oNBPJmmgYOjRJfW0cqQz6EpQmTICjvgdQgTXYgwArKWwo0mLmkBibEqkkJxUorcuUVY18FjhJ+nRS9Ed8Bz0904JAHalKSQyABZB5mQ3SfoCUu0AVh0gqmhvwBsZTNWEB93CMDl8is0LrFLq3J+j7swARRhJB9YMiiDSLelKilNfZcMqyiJMbm0w8XThz8LsAISv2VKsZguwy0oIypyJI9wAaC5pj4wU0DZrlo7NQ5Cy/H7XHECSwQhr4nOzFulm80H3kFbtqqd7u6+R+Jl5SGSHDlJbdY2dybl2AdkF+04xUiwukdZO58j2aEfCDJiLtSIb+WlBdbpcMJBM4GM0kIUEbQJ/t44NIUVYoLBwNnQdnJgFyHArRNHf+yG88UJYiYqzvDgBuFh1LN0GDDl5Lh5kQSPCybuJd0ttfKbHw3MeHILH74zhvt045Tgtpb+ettLQVbHY1Yu3I3HHuAoQIFTfFAVwGbiIVhg18FXXgC9WQNEu1IEF4EjxfPmm0LKT6IGoAD5SADA1gnl4eMI+tARUDYQNrOAPRfl+vyRT8SaeN5Acsb4sG2mw46AWJD5ZG90xm4uWwM78LvA0LCN1qJ+qhSMZimsFgKM+z30CNxABdJWDqdwGEJanQpzW7KbWREGlq+aWqMoQVMVHsjhIRn6qW7hIj6QruZcP4rOr0tLDllhykfK2FfCn8tcBc/bbOXXV/qHujWa94cVhJtagiUJWgPV69jTzpKS4QOTedGwesU4XD0ezayMS0UEKojRZo/sFiN07/zoIcbX+cAEhoaxGFlNBmLJ262OjSHOYAga4BCTIUmmOqZuH57xFAIt/D1eFfOR/ZqwVVQU4RRYieSlXpXO2QluRZvz40alNNBz4bioiMfi1ICfppVBI+nHS+vEVFQk2iYC8f9JKzAlLCt4+TkzRQ6ZEHU/Sd9mINlj12VoiW64H+ZjplEcJWbZ810oJv0DLNhuX0BEEPlRG6hUjEDYINjZl6oCvraDMGrSqZCALiJBQXxE2CodriAhqxm4tsGIp+aCOcxVm7/5ogn1CLTGEzMRGXRemBLtJyl2DLtCM0+k31sGzYV5rgSJTqnlowqE/A1SSThchd4OVgyjkflETKeC1gHnHqsCHDcLK4O2GA0mPfMHZiXJAzyISlUHPCkhb5CL8j2kKsUCmIsftEyvb5WeBt6pCofGTB69C0BkslmIFEQy1KDjyGAS5KQXg50cIJ3dCfLNagWciWBwu4bfqj1SQEGIUDIBhQcfNK9axaTvuc/NGmU19t9rFQApcCk2o1c0pqx2ekqBL7EtIoFB1iAItQsWbNIWvLoNjikqDFfgKWp8DpZnT+GJ/33955+WCzRVvWGRPPCozJqNlO2JB04N3CMcd9v70Sk80elYxqPS00l2wGlsRh8Q5pWREXOZH4iFypKtiAsTDofGmmBXGm0j85JXUWyKGaQ9+Z9DIvDsf4weYPmWsucRSYKS0c1jI1bHpgPX5SNuIDix2xvSvQnZA7dLgiAYA0UYPCsfVyaDQjeyIUjmXykBNO3S4feERSp5iiSkaQrsYaTyZWc1xY7ElwjFNhtWAYr7uAiaOGpDI7eWsD6ZwWm5kO0dfq0HM4I7B2w3xVd90VUKFI++KsUlnKIxRzW1meRiNxKOozFkqNDOnYA51yOQlZCfos723mPN2FXtPIUmOXVjG0x7+N7NhgwuuFWRJphAoSGtJeWKyUGIkFImkzwykUj8g+D2sr+lmC/IWzHG1Qs5xGl3gtBhallQHFMuwlQYxUse9ctqvuHWEaZFKa4pKTG0xxyrBakZflvWXgE2dl+/+Zb3cTMJu6zc6KndKJeE0OXlCqDn1/Q0gHkguNb8wvqXiH4Zwn2zMkCiu1mSbbRmDlzYVj+27Xg2BTZqDZbiznzEnu0h+hwHWqoIXnVBmg+Djmc7ar+HQuEf0rlKQBYo9GANxVAHssLSY2x2WlIfst7zpGimUK3aeH7t62OMutxUG/M/3xGig5IxUn0iLn0zSmlX6ypSa77++cMCxFO9sAAbL76EIU9EPQKOH9zswdmUMO6Lp+y4NMGq4uK1WFjqMYLLhQsXlMifpOh5cngGpqfMDkbQs1HeSIPcu8kjlsJLb9OgezbiPfZKkB6CT8mxG5eHeaxCk5QSDY0mKfFvapCK53PF19grTGn58i6wzQRgucb3EGKb8TuEWpwoRAyY9QYvUxLU+B0T/v9+Q9uMpBEiWCjPlj2UrNyoJmmCP+qdIcXvVwsruCMSv0CKSvc5Mz7Ei1zKSgMhF7I/m9oRjoDY5T6s8WQO62nkx7IptBfaZpWTDRptNhKpbmzYMdAMEcnyECybOSni0vRXLqLzHRKNKRO6xcGsYjrTm1HuDic4Q/mgJ2s2UWNPWvhUxiz5zDDJ3eYYEjKE6l8F0C3HhlhX+HQoSuL9LiLR2FdyqR3shMfEqpXy5z33fGQf5DyjQZ3s/ISt7bVZtZRcU78/ZqjvpznLndCTk/5vjNNG52983JqpZpv2xjXXpW2Sq0kAFwI4l/CWG9Yc+Gw6G+DfBMky0Sub0cKCUQ7CrwMERDjt0FiBBVnZfRuqpZ5EC8JkfRCNCSswBMIsFGxqEVSXeX6DkZFTYVB0OKwltLDmck0dLfuVu1uYJkWKzfdFLiDnI1pbDER7+elmxFacZsfPp71wFpew6vP+IzivC6RblRVdxeCfFUWmg/bB3BV1UCsitEJcAMLxA+gYAzz/GA6hA8T/r8MUExyxESMaLqHe/RqGLiCc3VPp5ciTQ+xZmJPUWwvhabQqM/vL8Y5hgJvG1l6HY/bthvCygWCBY/Ipm0bLP/pJCu2Q4MO1XvQzjUutPR7oVL3ivSKAGU84KPanIkYpLQqpFtMFF2YOHAY10veOECM6vOWhJJeS/NvGQNb91JiJbELDiXXSREcjN6v5SlPqNkkLPbCyYt1AZbFWViz4lSwf3LO2ao+ULJW296s16hTSJM9SrOpDA5LQXSXmO/gzKroBMxHO1c5C7R8yadtswb1GYfXV9L857eVmU6fURJwogLFrIFpLr8+x8GnLct",
  "rows_sha256": "c7f27129b4b4fc1dcfd4b58b036ce77bc8bcca3c2f9cc9811b0033f6edbc4159",
  "audit_format": "base64(zlib(JSON)); exact driver ledger, except absolute source paths sanitized to scratch-relative",
  "timing": {
    "engine_elapsed_seconds": 534.9623879690189,
    "engine_budget_seconds": 1800,
    "compilation_seconds_by_arm": {
      "CAND": 20.13269352912903,
      "QLX5": 18.753941424190998,
      "QT1": 13.422625260893255
    },
    "setup_summary": "setup_fast: OK platform=linux-x86_64 mode=engine setup=cold downloads=16 download_bytes=135768787 cache_hits=0 install=fresh fetch_s=5.343 install_s=6.007 verify_s=2.820 smoke_s=0.000 total_s=14.188 deadline_s=420"
  },
  "commands": [
    "bash test/scratch/kit/setup_fast.sh --platform linux-x86_64 --cache \"$PWD/test/scratch/cache\" --scratch \"$PWD/test/scratch/runtime\"",
    "python3 -B test/scratch/kit/reference/materialize.py --out test/scratch/reference",
    "python3 -B test/scratch/kit/gatep.py --reference test/scratch/reference/taylor --cache test/scratch/gatep-cache",
    ". test/scratch/runtime/env.sh; python3 -B test/scratch/driver.py --kit test/scratch/kit --cache test/scratch/compile-cache --compile-only --strategy CAND=test/scratch/CAND.sol --strategy QLX5=test/scratch/QLX5.sol --strategy QT1=test/scratch/reference/qt1/Strategy.sol --out test/scratch/compile.json",
    ". test/scratch/runtime/env.sh; python3 -B test/scratch/run_item.py"
  ],
  "input_artifacts": {
    "candidate": {
      "url": "https://api.imd.fun/artifacts/dcda482dfdc67a08edbd81196d26cff298d5a34e18483fa7dd4ce356662baed0",
      "download_sha256": "dcda482dfdc67a08edbd81196d26cff298d5a34e18483fa7dd4ce356662baed0"
    },
    "base": {
      "url": "https://api.imd.fun/artifacts/1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15",
      "download_sha256": "1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15"
    },
    "driver": {
      "url": "https://api.imd.fun/artifacts/764c9461a9f3bab6e277178f4bb48553d1b97c6cca33bed016f7c9bfd611cc42",
      "download_sha256": "764c9461a9f3bab6e277178f4bb48553d1b97c6cca33bed016f7c9bfd611cc42"
    }
  },
  "kit_file_sha256": {
    "setup_fast.sh": "48e150d165ea3b385fb92e0e3a7aefbbe0d97c38c53efa737a587ed62c308d20",
    "engine_eval.py": "0a3ed61457cb66c85a292c82acbb9657b5e5544a98c7aa04c7a6a5dccdc1d3b2",
    "score.py": "7b9fa5e37695a5d1b048efe91a8b6c45d31bd4245a733261774c871fe9105a43",
    "gatep.py": "1d1d65bc18647530037cf3cff73fd8d4448f353d61b4494dd2ee7d556be122db",
    "bootstrap/manifest.tsv": "f9a0c49310aa6f501eac9a760e537af444d21f556239e3f00a9ed6f1d9628dad",
    "reference/materialize.py": "79e316706e8b4a84ee29e261c817476120d7a502f9017ec2f7f76f8f4444aaad"
  },
  "limitations": [
    "No leaderboard submission; no contract or dependency bundle is delivered. This is a measurement report, with frozen source artifacts identified by URL and hashes.",
    "Gate T/F evidence is inherited from a-check, not independently rerun here.",
    "Native gas is aggregated per arm/block, not attributed to individual seeds. Peak gas is reported as actually measured, not inferred."
  ],
  "audit_zb64": "eNrtfWuPHceR5V8h+pMNkKV8RL4EDDCzni8DLAzs2h8WMASi7ovqVZPN7W7K1hj673tOVGVlZt2mKGvGOyuTYwxU7Lo3b1VmRsSJx4n8683r48P5dPt08/XNH+cf7u4fXvzmzdPb43fvbt98+/Tbly/e3D59++EwHe/fftX+/tX89u2rx9u3/yzZujn67Ly10cnZBhPn42y9Pc4+HH3Kl+LNqbx4OD+e54fjt1893t99fz69fLH899X7+7vb4w/b7ZuXN9/ps9yezu+ebp9+ePX29Opu/vDu+O358as39/PdK29TfnX4cHt3evX47Yxnf3X+fr77MD/d3r97hS//s4RzCtGf7OzK5XKcyymafDldojkWc7g4POfJnYzFb/35/uG788Pjzdf55c3deX4833z9J2ucyS7El3oRrP3m5c388BYf+uvN7/7l9//K/2I23t/enXn5eP/h4Xh+/X5++haPzQ9MeLUXvzn/ZT4+vXj88P793e359OJ4fzq//vdDlN/iZ9fv4PHxO/jW0VwOJpRoD9HEEJLI4XIMoaTZlHx2l2IPx3Ao5nQo5xxzPkvOJ5NSjnI5hNPchjxiRvCkklJI2x8PPzyd2x8fPmBi325/dS6E3P66PdMp4H+n+XQ6XuajzMlZd0mHs9izixJ8SjH4GJI9nIyJRzk6OVj8gPOX6GesOJ4JG0tXpfupnLo/t/cPZxE/B5dMsQ6/asXGcjLFpNnOl4CFPEfrk0l4/4MNp+RzPBt/mmNJ53DBb30/v7u9u5tfXw/uD8fDKWMIzOCpHH1I5xRPFx9nk4/ReXfJ8wUDudnZXI5R/OVsTsaVuZwvRxP4IstyP7RBsV4eQ87BJgnuUC7WHY4XCfiKTyczB/GYoMPBHw7HYu05mTmnU5x9OkIc9InroBgNG+b4wkx5cvLyxf17LMTtv58fXjhjXr74/nb+t//58sX7+eH28cVvsL9f/AEiA4H94XfrAL9tg71+PB/v350412ay3sXig8OUFuN/xBrf/1l3cd3h2BLRT8ZIyth9eHv3st5LN1+HlKZkbIZkGy54u5lvvo4uTPh/LEmO+Bmbt5uFN/MUrARIjyn4nVJvRsNh3WQ8fswUsbn9ZLR4HGOmCAHIeHRjo/Fxu+vwzeimKNgZNtmMT9ntpsdvFjN5HwU/GSFELm03ha+ZJpeSFIkRA3sTtrvh5utk3CS2YJoy9p0xbVzMUPB5ytGEhB3vBLtlu8kpEs5y8gWjupKCbDcxRSHEKYvDbyeXM7bJdhNT5GOcAt4v4evFCuai3k2Yoxhl4jtjgkMJ2bWbluPiJuYo5QJNUeI29WmdI4fvQVotxaV90/NxcTNhTaLHHKa8PVGSZViHRYkZUuxz3hYtBc5unBJm3FIwo5VtXRI3kS9TsZiLINHibduwnKKSJh+NxOCwH6CXt5s6RWWijjUW//PYT9tN7iJulGywebGD8DLbzcxdVPAqxfpSBIuCxdlucoakcEGxLh7/l8o2Q9nxafEqmDZr8F0oUL/d9MuCeuxOzC+UHCzadlNnCAJasK0D3tbmtO2TjBkKuWD/GeMydBN+e5u+zBnKMmF3FZjCgqFK2505Le8CzWHESE6Ql/ZVTlGELGGtBXKD143bgubCd8HmLHjo5FyBPt5etKig5alAAWBIiCyM5naTUwQRjYJ5xsOLhfXebrpFXKC+xFi8rTPJbj9adI7ClPCSSaAZBC+13cQcQfQma2EGcBv/3d6zcBN5TxG1yQsmRJpAFMqZaiJIK7VWzG1Bi6oiPwWPjVJCydgL2yYqmZMbIISeM2hLTL5JS+EuKh57IWN5vLeU//UmloqzgFfJkBmokwRVlrebnKIM4YYiwVMVTkX7puPmDBPHKJgEU7BTtpucIQfNCcWJPWjwtkm2m9xFkBYoZUgC9hh0ld9uYorEpkm8d5gh6AAb3HYTU5Qwf3jBSCMp2xbyhhNkEh4nYQ8U6qk2fZg0qhM3BQfRwOaCxpWy3Sx8TWhy7EhIqJECk15vWp0gqFxnPPQQlJ9rb2I5QVAK0E5ioB0wA3Yb1nIPmTAFiDCfteAntweynKCSJzxllAKti0Xd7lFXY02K1f2RLP+23aSUwUDg3TN2X+TkbpNn46JNDDa1gdGD4ghtWMwQlDcUbqCCMAnL2Z6HE+RhfPE00AcW2lPaTQpZTlPga2J/mBSbaYGN4lfjBOwCgbAlQ+tu9zhBuIcLAxSMachtB7lVUxePwRP/bdrsOUwQ9BM2CfaWc1SLsa2K4xRZCBKwHOCR4UfaA3GKioV+I8h1+JxsWgpihZs2UOyjcTQPYtqwmCIokAl22ULT8IVcexdOEb5ZMs0nNhcAf/tN7qEIEXSQW4AIQH+zyZE3iwXFLPMW9J/flszT4MM6QFCSTVSNpe0vzxkChoG0QyFCzbv2rB4T5LFrJXKVcQtC3w3LCYLpjZBbDAu5hnhuT+vDsvsghZHYDVtB2sCRCqxM2A6SqFAsZHC7mahvoUygbyCF2Ju2fZGK2gvu4RUylW3T4t6XRaMCzhAeF8hS2J5WDHc8nhZLDOkM1m0WEupjMWUJy8X/YV82PSNu1VCwQwUPw8XeFky4hSK+ycd2MPtBNqsM1YLpg20A6OC0Y3TsiO0m9bSzkGvHF/V4ILetpsRFXRjY0ECdBPXQhuX8QAJp/iCY3H6mvSYmCAsxAZFkmDLgAdMUnxAPhUAJBPDEVDl+qN4NOkOYW8A6vEcp1NftruXWhIBiAoCpYC3hjWw31ZYBLVlu0wiDBUC0bYXAScp2gi9FgAz7UEozD4HbyEOrQg95qA1YutxeNoQFwiU+QYR406puN2nxMcGQUMwnnaLYFlyRNV4WoJpgNcJItZfJC0ZL1Jv4MjZD25yhLEYSaBX7wFLwN5PuFVhDCLGaNLyUwqb+iKz5TSAF7DwMC6dne08F1plmEGJLcGJMk8Ko+wgwNgXCBOzfmLfXjAqJzFSghrByQIzAIdtNGrNMKcTKYFgoBWkySmCddAtyVxtuie5mWgQY7ipk23oo++5HOUWE+hB9qC8odOneRVEjVhQ7L2PQ4nPbDMTVhC5cKQfbAcTUFCdxNV9UNXEg6oEkbxNIYA3RnnAH2g1vialKbWC/YC1oBSgMaGXI8iZPRNZ4HGxBTBBMNVC2aTcpbJRhS72YC8yL26aByBo7coJ3g+nBhADfS/tRnSRYEExCBOyGfm0bkNBaLQjfFBYE09x0g0JrGCYD+c2wd9AATbUqtMYOBOJM2F6Q1u6eYiJAECBuqDH4WNlvSo7IGu4BFL3FnigZWsc0o6XQGnAeoIgekaNFs3BID3f3x+/gkv7przeP5zPd1l30BTDym5c37zATeP7m2wK70klxXEtgUKqv+fJ0fvjDn+f3Gp6Z7+4eKaGwSbh3/127fn+ev3v9ZlYPGW+KF3j88Pb1/fo3AiB6TkLkdf/h6fX9Zblh8LS4eP34ND8tD/xwz/jPzX+bH893t+/O9MHxq4f5iB9bnubf3t0+3c53cOXXm4/Le+jj4L9v579sP0xTFcdnibAldLrv79/g9+G9n78/Pzzp5f3Tt+eH19/Od8s/n/7y+vzwcP+g/zjMp9cP56cPD+/0qX/Og+q0tUcMMLxxfcz1enhU2DY3Piq8NOA1+Ft/78d9c376/fz2Z81ncPv5hErw/3kP+IcPh7e3j4+39+/+g0sPtaoQbtiHFF36ev8vHna3/M8IzTCznxSbv+8j/y1bgCpxFCnGF/+Dj/hNCzaeT2/Ou4gazPIElYxZglnD7+U+pOYBd6E6o4dehb/nYh9Sg1MyZUCcAFsJtexKH1IDapuoVaERALC8SX1IzRNZwRRiVEKnFnug5YfZmOAxZ7iIgGHWlz6k5ml9QqCvDzdMbDcuTT+se2ZQxxFAJWf7mJqnywk3FIaLjqfYPqSmISEYALiHeEvAWt/H1DzDFlAX8LgAimGbQh9Ug4WdGPMh+IRyjyX0UTXPqFqhgXe0QGaIqsHowJctGBvPw8ccomrwDCf4BNEkgDqYQN9H1YCvJiA8gqAE4OGlj6oBtcEpsIAjuTC8mPqoGmAxLC3fAw622NQH1YizoRW9Gntg4hZtou3HPyesQMBWsMB77UVp+wFP4KVI1JBIcX1MzQNYYVnogtCBzENMDbsHU2+AHS084dACKTT8kNyJQWEL5ARAYksfU6NPFRUAEc514S1OD2AVthB2GdaUYcs+pIZNRwcGKFgcdoP0ETVdL0DdkrA9MfG5j6jxJoB3FDhcAW5MCH1IDYLC6CqgGNCRKS2AxZAaAP0UIuFYAjTLbgypMZCMi4g5xV4BEvyRmmXEGDm/rE7+MxhD0sQtBneC+JUr/jzCwH6xVVku1z3CiEGuVKVjAIwO8WeMMMRS+haEsVx/AmHAFcDsQqfKF4Tx60cY10IzIoxPic1nizCYEYDvNxXYC1grD0SQm8VhSsBBaTpmEhheTSYNKQG4o1DGwGkM+zvmMvqcAE0gFDjUNDQv3fk+J+AtTCBjtdHA8TYtIqk5AZjwiXFeGGsPfe6HnICHQwlfzTKiBAudTOyzAjDUE1zmlKBt4ae2dBazAsQnDPHB9MJolYZASlrsg2eWwRQm5lrehFkBzyBWCiKWGZkW6dSkAIGNNfw5iweLuUXymBXgyzCiwSICBupD6tMC8PcnojdNCeTUYlxGk0uCKQRowfsAMCQZ8gKwYlgbwD+gCA+o4Pq8AGefwUwYK8slsH1ewDE7AlAJ+BKYVrDSJwYYYMB4jHEwpGlbLIW5AQI1z/oMQEP6+kH63ABM71SgCwAZsq58nxvgVstYHFhgg1UEIuuTA54/G5wPCplaGIa5AYwISMCIZ4JSDC0wxNyAIyoShYc2QjW5ITkAezBhSTFjhJUljukBx/hOgqcRGAYLuQXImB8AHJoIZZkOY76sxfOYIODrMKWFXQEM1wCgJggYa8EGxqoR/MYWrGeCAGsFKBKIbjJzoG2GmSHwRLsATVnw2BbTla7hhnfmZQ1ZPgc3sG8YIc/EaSVTMT+LNwTIrGqj9brHGxAyv1OcyTCrERWYfq54gwgzrY+5Xn8Kb4TCVK0m9r7gjV853nhGaEa88Smx+VzxhmY4YWEnuPHF0/A4KM/U5zjphzlmveC0wu/eHFzNcdJrhEaF/w/sbmF6Y5/k9B5KFU4qptnCN89dTlEVPVPaHuqXzmPYXHlNcgImwLqbAq0LC8jKnD7LCRln3CLALAVWW0if5RSYQya0LTBMhis7ZDmZtWboBc/jl4qLPs0Ji8G8DTN/yUqriNI0J8ApVDgsEh4ql1ZFpHlOvip2HgAUq+1ySwEwzwmNNDnPYV3k0C0hxEwnTBLGZbUdvWs42dJnOhXuwX5Z+OUAg64lmrx60HnC/DEDwOKRlrPwmlxgfQMsjiWQYXCiT3XSRhtRWxogHiHHPtkJ0Me8D9192KvsWpqF2U6Ycfjm2JkpsKYqNrTCdCcfGWZSa0aZnWyggglPzrGRyJoe+PXWt6dixpN2mKkdwCfmvluOixlPlz0gakkWv2hZkNRnPF3ENwNjTZ6Qr/vmGoihZceoFlZ8C6BpxpPArOCBsOKlAG+nPuMJuDYVprYyC3c6SMeMJ9OWeNYYAB0WRNOnPLHYWJwCBASYUmSro9GMJ2+WzEoGYi3XMBATnpr/jwxuYH9D0+Zn4EZwL2vu5Xm4wfAMw1COixA/BjeAamsqYL3u4YZoRcigN9VxiClSoX6+cMNs/u16/Um4QewLMTJf4MavH25cC80INz4lNp8t3AhuCf8zn+1YeJFsV2ESNNDgpgSvO9NEAFr4oWADWGAK6vYlRg2K7+s1oPnhG0YW5lGxR+nrNWjQ4OnT7sAYRNtqIDRvA6PkTICaZrkBNlbqSzb4xPgHa6ZidK2QK6x1LcWzEMvB0obmXi95mwQUg2UvWhdgh4oNJnVYJI03ziyJCX3FBvMKjDIwzpN695ppG/j1E3McFhrFdrXZWrEBPDWxGJKFIjA9sfQVGwRzBu4rMAdBhevrNRgocNikrLMMgHpmKNjgb3oSAhxBoDWtiqkmbSLuYR4sgWAeSjaAIoBw8ERRInZcm0AmbbCuGLjkwIgVXjv3JRueYX4AppRZOmV97is2mEAB4gQ0sokFg9IXbBBAGtaBsFyrmGbUk6zYB3Y7AWcEfKSrBFFQBbBAmGaTrqPrKzZcLBOxMowRTXvJfcGGt9ie2LMszoGox75ewxUAiZIV5FnmRFJfsIEdC/worFvBJgKaGyo2PMtaWD6HR2URSelLNjyr+grTUfjFVHyrrGLqhiEpwMwA9G6XSuK+ZgMfxspIwc7FHAs85x8pvbfvLndkAd18/e7D3R0M+//47/8r/CQthh/4aVrMxI88x405Q17P4XD0lwPe75AI940/WDOn08y6QLzVPIeLHOcZk3628TgDSh+MAyi7AHBec2MAtq+5MfrHK24MEPAz3Jhi/GyOl0zbzhImrPQ5HW2cZ3u5HC8HPKdydRjtFFb2STqlHAH/Z5H5nJ/lxghl8Zq+Aoh2OYlcZp8OIeJXEmYkYlwfz+fDfA7WnN3hxA2ZyuHiZ3c5HVjGmk+hnObDF27MFTfGsjaPAViWyMKilfxRcozQVV3Kgn2jd1R6TNRqRU/RKlfsmAQtyCIoQvQ9O0YS62ELvN6OV7OwYyycDc9yRQZPO9JIpccEYcGTp6uZ9uwYYR0ZayBjT7pZ2TFQTVqIbVhzeMWOYUrY5Eghb+X1GztGyE6AyTDNhd/YMcWqWneRXtnAjmFYlAXynjH02H1zZcckVuhl/Kxr9mJjx0QWPuOBLbVeuGLHwMMOrDKFjssjOybQbNpoDMkCbQIrO0ZYAAAjhKFd2rNjImlLcAFhq9oENnYMXOgCVVlascNGjhH6yXDiInb0QI5RipAwDQ21zkLHPTsGe40Vh/iua/NX2TEMM3gWHELV5D07RmsjnaNFKXtyDJyJZLBsDr96xY1xQYu1DTCLu+LGwG6xWEHEtmLZjRyDpQjEaQBYbYIqOYYxBKwKDZi5JscEcrewyQke9uQY+uVMBzmGYfbcmEyyGPQjpjemPTcGWzOw2oEctrTnxhRDPmUpUJipI42onBVWrGOSGNEqG5jZyDEBNrNgG7GoIezJMVgBywLe2GDZRo3B2wFZcQqtu6LG4AdzFD6NdJm5yo0h6Qiq3ZbY6mU2bgynD28NvZHsFTcGIyozJvpS9twYiFtgoQ1DIh0hZ+XGAHBlsjnxmintuTH4BnaRVSgeBm4Mpi+yYhogsQA6pCtuTGQ5jFDyW2Bj4cYQeOWgRf3iW3195caYgKlxNpJvkfbcGB+AeKmxg+SRGgOUiO0F1Riiyd3NSo5hJbEYYaW833NjIP4MBsKtkI6Os3JjoLhYIR4FE5333BjBpkv4V4odMl24MYlLhkdh/DK1AubKjUlErSxpEN+cgsqNgZdBhZJcNwWVG0NErXyl3P9k5cYEA7CLnQbTa0duDKQBGobFWCS25T03BuYQ1h1CFn3Hqlm5MeRJRJZxmz5Xt3JjiLAjg3G+VZ5t1JgFWGL+JF9RY4C4qIpNSNI4BpUawwUwieS9kuOeGsM0HX0b6IOufH6jxgjQnJDc1kWjKzOG6WATjLfSXJ/KjEksVxPKmYwxYzJjINFWrSc0ruyZMRBYTD/JC7GlfDdmjJiSoKsZM94TY6AZIZ5Mg7Yar40Z48mHzvQsXXNlF2aMJVkOT2vJUWmCW6kx2K0wZQW7JHaMrkqNoQ8HD5sVZ3ZPjMECwBDiNXL/tCsxRn0I+BmYsbZilRijHgZmNxRslbinxjhAQRJxYMxz3FNj4GEkKifYwHDFjDGQLsIhZ9oMVWoMayAwESxLa2JdqTGAaQxcQ0B9W5RKjRG6sqRkkoQc99wYy6g10X/mECM5xk1kRAIqJ7I3ZCTHyKR0JEcEZEq6IsdQZzN2bWEJw8iOYUZD4HZmOsjNq9zYMaKEL9jPtmiVG+P1PfEmJDOGK24MOT6O7ke3cys3JjKKT3YtzKJcUWOgSzAmrZnfE2NoUVgtSOpG3PNiWPmaWGzA1E28IsZw2bCn8SlpTMWNGVMsKQJxLT3vqTGeBCJALOxCskL21JjoVEcVTq7dU2MAFjJJyrHnoazMmJISUZRnvDhdMWMgYlDUEbPQjboxY0iSoBfY5aA2ZkwgJwTgFspG9syYRA6Z0+hEdHtiDPwGgTTl1E18x4vBpGNuI8sV9sSYEK0kZpkAimRPjCFvGe9hU8/5qMSYwEpdkj0BxvyeGMNKC2jBRKhwRYthkMUwHUQ7eUWLUa4rC3SMT3tajDIxgUCoxtuyVF4MdDJtCoTCNmu28WIgQ/hZ7W8gV7QY1sWyD4Ck7kdXWgzTR9Q0iSEcGXkxwDz4NUbtqZOvaDEM0QL0MNzkrngx2LgwIBFQo6GIyoshBRlzSLetI+duvBhH15AlQ0EbNfxSXkzUgBf2nyhPjjP6EV6MVpCvJf563ad1IEXhqsA/M+QaqO8+Z16MdLwY+Xm8GChB8yWt84/Ai7kSmjGt8ymx+cKLIZ0D4NParlVF48UIAySsS3WNB1CJMYXlGMwK2YYYOmKM8jLhkHedNTZiDOwBbCKGlZa735gxDlrSsHjCtyh/x4wx2sAhAxUY2TNj2JbEkLqZW8OAjhnDMBfcYRLY454aw1gwPFlTuihTJcYUguvAMs2+E83KixF2Uyg0a7m4K16MfjXxZ+0VKwb+B/xybNLmjy+kGFvwPd5hfYppAYKNFIPJ0ynCFKY9KQa+L+sl2IAlF79nxQjLKRxJOnhs2fNieIfBIozh7Z4WY+H7ADDTWSzxiheD5wywozDhXVHLRo3B87BrCUQ0pB01Bm5TzGzXQMfXtDjUxo0J/JYANRMLXZFjIox7IkgCughX9BhLFg+bF5UWvqn0GHJ8mLpgvWvxe4IMQCTRO1teZHdFkCHtHQ4jcGKjLG38GHJfLE2ixCt+DBEb35cepFzRYxxTCBYyZ+Dt/RJ+DPZ/iYB1ZJtrSu9jDJmt9nK97rGG10fbl/oXTLCW4XzGDJntMdfrn8GQYeTwSwnJPwZDZi80I9b4lNh85gyZPLEfCMMs8OBb7ejGkAGQIKtPjG/KuBJkyHLBTa9dQ/b8GM8aDvayCH1Ht0qQYXRQAj3d3gZsBBlYzMwAa2KWbs+QEZPYOUbIfUpXDBn4/EbglMI1bzmQjSFjyZa1LGrN1wwZON9slhFj6d51ZcjQxlpmpgJb3A0UGSEugBNtSEswLTZUGTIxM+pL/13G3AAJMmSUCOOWOdsrgownA4N9qkJrQbfxYwAUtKOeRtb3/JjktGajpL6PUOXH2MQIP9OYrc61smNIZzXsNBK7yG4lxwhmpgTDsqJW6bFxY+DyE0Fio7Rijo0bw7ocsotM7BghKzVG26Ml5gR9V7RbyTGJpcdFC2pyvGLH4Pcw58WQCpf35JhIOrdTHNPdXLkxgbGNwLXJscU1KzcGGyT5qFyVrqdU5cawBR/TXozIxD5BQLxgSPpiJMZ3gZHKjWFzMUc6lHSFwhs1BiKhbUEiQ+i/hBqDeWI/SEc8rUjyY9wYplJqmT+vh2JV68xVkX9Mmrb2nzc3JnbcmPjzuDFrOfkXpPHr58bshWZXrPoJsfnsuTGJ3Ao2h4jGlT01BkZD1Tx7gaR4xY1h0w58Wfvk7qkxjA9YpsklyRUxhvkV0VZgzYQuxJgCNV7YhYox7FL2vBhaZuY/YVM7ckvlxbDnGNxi2E3Z02J8KfoSJfiu216lxQAjwGVmb5PY5RQrLQaWzLCfam41jxsrhm08WEVA+xGvaDFMuwDJldAVd1ZWTDQM67CzbOyYIJUVI4yULGa/TdFGiiG51LN+1nQd/lZSDFBAzoVlHK71QKycGNYcJZKkXZe392sBJ16S5VPMPHTZ3JURk7SBdUqWdVjxihGT1A+HBS2p5XwWRoybcg7aeQw4rJulyohhe+cYAOBoZ/eMGIYjMmud8Atuz4hhJUBiJscwS3RFiTHsHCtaEJQGSkwkHkjkx4WuxdpGiGFyioEo5mzDFSPGMbXP8qtWtrQRYnSrJGLW0ODWQoixExlSzIDCz2kNWjZGDEs/gL4BAH8BHyZo9Td7VxoADXYfeB5iYJ9u2nK5HoIZmoraF/azfbS2WPyM+TC5QQy9/hl8GHglyX5pKPYPADGuhWYXzPiE2Hz2fBgmjun9QwGWtKfDaMWIUb5qS4RvbBhh91efmVuJ4YoOwz5kDFqzk6vf82EKw8xQ2ySo7NkwbKNQssX/pIsNVDYM4wlw4I3gqdNIh2E8mwaF7Ue6zs+VDpNZKUVXE+bQX/NhbGJXMDJ/Ox5DJcQ4oKmk1SOlo66shBgr0bJtB2xtR5KtjJjE3F1wDGa05sWVEcOqEXauZ1agVTpWToywDDSyuWzoCi5WSgy8aa0EDeRuyJ4SQ3qyzaFofkX2lBjGFlgcBlBhW5lR5cSwPSdJOpkAMe5JMfj/LKyTdK252kqK8RO782LHFNrKfEWKAVrg8zOx08oYKivGs66aHW2xmmlPiknaDh7AUrpdupFiCIw8m5n1ZJuVFMOanIKlYVl2TiMtJkzaYSQkjNuidY0Vw/pVEmTJBZMrVkxm3X7R4ifZs2JY4UEaMQvzrlkxjt1QcjJ0dduGqawYBtUgjZZdROxHSDF/tD/JiXk4X84P53fH81f/58l+9Yenh/np/OaHhSXzFtcPi74/vfju9unZQ2OoI9PxciFbzpytO8zuYI/nAwDy+XRJcYYNvRR7if4QTlizmVzky6GcjybPx2cOjcECXBNjlj/uiTEmsoDoihiTyjGf4tGbcD7G0+XoAGbNweEpDzYc4vFwCulgLwdjZ8eebsdLPupZQeHIo0aePTRmia1dc1fMjHe8zHA4IJaRGcijZOC3OZnT8ZTPUQ4hnw8uH0+nIgd3xoaIxxIu2N3Ail8OjXmGGOOZlYWCdKx4g5YIHyHGMC4aKI8WLqHb8WJI4C9s9gBpjy0VvRBjRE+zYL8C+JGyI8YELV9j02GeUpAHYgw7qEPIk2ftjXR8EbvUDxRhVpbtJlProrwwY0hNgNulEf3g3ciMYSkeq5AN9UfwO2ZMwISwuSmTwqR3jswYZlGpXajXjHEjM0bLCgubLOYWMV2JMWy/jJmLWlhud8fGePamgobOfZogro42ez3b4mg6fBlZMdqhkTkGMim7ppDKimGfc89qTE2525EVwz77mS01mV1ohKS0kj5MtoH1rkzm24EVw3ZL2hIJPqtpna1XWoxXciZjDYB4aTwyJk2AUwbONHCJ6/g0yvkggsAmzAz3xrQ7MiZOJNrC3WZdYRxJMdgkSQDTeLiEdV3ehzsop8mzzIPdrorb02Iiy1MwN2z50tG5FloMwRBmFd453qY/hIUzxC7xlgW0MbHJlh9pMXxc5VWxE7qEkRZDigWL9bD1eQ7EQIsB3qHQ4NmZU2hVG0qLyUA0GhJ3PrPfyEiLkQlbhcaNx/l0h9iUheKjSSYiADyiG1kxURUAO7am3B2TtLBieIIG6VMEJc7uWDFkJmDHMB3EGvs48mLchJl3VptbWb/jxWDD0z6T8gDMuOPFWKVnkDdEhksZeDEq2Nx4BWinVXMstBgW+2NtMilisescl2vbfzJUsO6usQ8WVkwmhRdfYQE9gOnuxBhFzdgz5GDGFoVYWDGanAFsI7HBd6e3KCtG2MoOCoD1uU3KVlZMYPBNl8WxEHlkxUQGrEhoJ9OkAbqFFQMgE1jlnxe6ydAZDhhyYiMVnffUZbeUFiNTpIHGUrIf/pD6iuSLAGPyKB/qjDDSYuyEGxAypgBtGY+MAZymr7ycw+Vb7G2hxXhgMuI4TqJvWHuhxTg2RKHzSmat358ZIxPTfyFqoV0DbAsxxk+RBWSsMAuxi2Ux80UuBVsCs54IWr5RFxZmTOCbmsRTnaRvY6fMGB4MwyplNjWMZjw1xvGALx6cw8Kr2PgkCzMm4Il8caycxiS6kRkDDQfIEhjpwmzakRrDtv5sbmey8lwGagx7NOpLAoPEjsu0UGM88TurprByrrUgWpgxLA5nlRej911nPKXGQDeyD6vKLmQ/jNQYp+RzaHJ8xOchbBzJwoBeI1iO9IVGaowlBE88TCazc9JIjVkietDJJtm+r5FZj85J7OUcjB6dMHJj2P+maKclPnPHcNFy68TKPcBJxm9jF6X1i8tg4STS1XuGG0Ph5qkSWC+SgUZyjEphXovOsh3JMUFPcWAtFHyCsDs1xk58Wp7+QiZoGrkx7GhEKwCkHNKOGgNpgeFgHJ/1YW7kxkCfZB75BC/ci+y4MTzBi34Tax93p8aQuMzeoWyeiNfdUWOgwhwP/AvKggq7Y2Mi+XmsvdMSuDIwYyyhKFCNz3qu3Y4ZYzTawBOqYnFhd2wMnfeknrRlvGIkxkR69uwwxiSw3R0b4yb6cKK2gUmNkRpDui/7e8K/th1XZ2HGsLFEYAMqRrm7OIVbEC72FUPmbMjQ8jrKjOEERhv1PI+u2HKlxlCTQ6lQeqFXdkfGYEHhr5B1yt6ibmTGEBuLKj7LDIOMzBge/ULbCSOausi5MmM0y+41kyRsRjUyY6DDGDHRDm6xzcICqzGB+LvAopO5taPGaHd4PVeMrd3KSI2ByuURQYZ0ClNGZgwEKVBBCcF4H9yQZXM6Nqdl49BifBmpMY7Ub6PliVbCjhojpIzwRCz4St0hQXHlfegc8GjS1M+fwmroY0AeE+nWd+mMhRrDYydhrQojGI0buTBj2Ec2MQPFfoBdKxC7vCcxc2B5Zux6hi7UGL4mGYw8e860hq4LM4Z6SNu7UNf7IdKi9CpmmSJBWu46oCqu1p7yLAJh/U3XYSQuBT8RcIPVQNqtbHdgDHu9wiaTwsiMz8iMER5WxtMUM7BYyxwuxBhVNjyUjSe2tYOHFFhj90VN+DBE0x0mtTBjSFVk+3eASnbrHZgxhrWvRB/WatP+gRgTi7a2w8rTePj8y4kxQpxNGw2hhbZwBCXPF6taTZItdXfL9dBeNe9zAPpi5E5zyM+2WLVoM4ClWHW5/hQxxrJDQ3b+S37nb1969gDK46M6tYHxv6ZW9Vpmdt1VPyE1//+kd1K5Su8Eegt/V14M4A18m8h8J7ToEEsTusZWTzPhiY5+R4uJU2FNo2dczOfdeTGMzBBlRPhnpnG5F15MZoSATcYzECswdBh5MYEdRzM560CA/WEzbvmuo2mBWfdd+6uVF8NWKIBrtCKh9Ge3yMq/kEysEdmpwQ+8GChp0lPgOGYeWzISY3gqnrZO9zzc1I28mKy+Mxn9wh4iAy0mksUceQAsG/W0cNFCjCFTFNCIZ4nS3OfxuBg6hrS0PFyxdDEzuxanMHjHgBJQtBuYMfhRmNmQGC4x7dzPhRhDI8yMXdEkVwO0CzEGMIUxStKGmdPIIzEmk8izTELomtStxBggHBYLceV49snAiylGi4ZI0M+MBO2IMXRfeCiyJQyy3d2y1OyGFT7ShbEDL6ZYtqRgr9YE5ye0YPDCi+ERLgRIUfvpxj6shh0/scGKUmK4xePAiwH4ZA93S6K5+K5njCw3LbGlyQv+6sNqrFZVxK+9TTjaQIxhMM/w9BzOQmgn067MmMANTCcwBxJr/N/MjKFLwo4X+EDh6dX+48wYLddZi/z1ejg7ppR9Er9ojCJrQ6nPFmzARdpYuMv1J1m4WYMsJn8BG796sHEtM7ujYz4hNZ8t2FBiTGalZmT0gcFtt+PFkCxLv5vRgnbU8EKMyYbnYfEIXTIIWsKmrD27mfzgsciptNSc0mIYQc3MGLBrpYx5AdgxPcwtWIY72zHNKykmMq8iMDqQ32KGs+QZ/bI8z93wzDtYQhlJMcK2HYHNxeHRtxYumhogn9ikFNmeg9WlaWTFAMHA3gi79LJ3zO7gGPbwinowGFuhlTTSYthkSRhSikRzeaTFlEl5kqyy7kpFlBUjwASAJ+zswX6bdmTF+CnyaFjL0+BMHE+NYS2Oh2vONph9fe3CitHSCmx97H3XtbpfaDE80Fswr1l7rcjIiyFUY1t/FvSyAceOGJMmQ/Yzz3guoQUmzVqVQXc9p6VjSDs+Z2HG8ChnbSda2Dl+5MWkiUk/fImh7+5kX+XFYAviadgNnY1kW/RCeTHOTuyWJco74uk6IzGGoTWe4czQee7Odw9rDDGzHyuj8b7r2qO8GOY62LUWqJYc6jDyYrQXFb6UGFRIO14MT75jDSyQJ/ZrGokxQhjt9eQEJgF+AS+mTGwrCMeADWw12/QRWkzcuITr9Qgz/F5hspdcZPbffL4wQ4y2619mbbn+VM1qZOAsKw/7C8z4dcOMZ2RmDzN+Wmo+V5ixsmIY1s3EAnCRCQoGWgxZH6nQyGZL0vqOFsMK0ZjZYJSneIysGPaUYG7YMQ3X7KvSYqCoubsBdBLPNLHjgTFKSmXvP9G0w0CLEYb/+UQKCsSNvBieag70IkyY+K71uxJjLF1N1n1AqYvpf7Qs9ZSeDJVEIgXUfBqZMWkKLP7wbMcq/V2dJZhYJuzYFY+t83bcmDyx7SappQbOdMuKLeSYQkYmnxkAit3C+iynV/fYGa8dqXhkfZ/mJDjiySI8no1FIK0cc6HHhIntrpkgZBlol8tMi4XmycWwaYG5jTzyYxiuKjHzkDNGrEZ+DFupWZ1VWMVugZjq5BOzCx3zKB3RdiHH8JgaFnI41j51PfWUG8OeHYUFO0zE5DJyYzR8xjN/qba7EoeFHMOjWzJ5PgCtXYXtwo1RKMeeb46s+zxyY7RnuoZhtDehjPQYhvsUv7DbV0sxy8o3tkQ+JhNfjNwY7X0XYOsxOOY/jOQYry2lIWpsbZJHagxwAkvfgEwJU4L/29kxRRvSMbilBTrp48fF+KY2l+seaiRz1bQADgUfUysrPl+ooeS2FWro9aehhpK/yxcG7q8falzLzAg1PiU1ny3UWNgxLD+y7L7pGHJvDvBCj0m0DoYOco5d72Klx8B20y4YevK267OwsGMiv8kzyByTMyWO7JisbY/ZfdLSiR7pMbBlWDY9zyf3P5qXLiEAAr5od+dWRLmwYxjy1kPdMW6OeajU8NlN7ILOzvTsmVlGdgxpl+wokfXcdzOeFpPJEmLDd+IBEmQGdgzP9zOFLWXY6rqZUE3Z8Bhd49j0qtBLba6zsmMA5ZZal+BJDQkjOSZOsbANbmCpVd8CdQ0wsKLaRYcvJ+m+m+spcKEw+pNC1zs6ro26LK5IaCsweGHkxhSetOfVuWejexm5MTKxHJlISHtSjNyYuGRBggK9OB4YwzbrnHZPrm1shxgv3BiAz8ACLxb3kLg4cmMA9ALBryS2Aunalca1Cx172zFX1xUBL+QYR6KtsnwCcVEYuTHYhQTCDF74ruZx4cbQaAceUEJs2YqUFmoMe9ApxUdIeo0jNYZ93RLbMQcW5rUfXagxwoIhz5Kr0B9zuDBjyNFiW1q8ECQqPseMYRkHZBv//BNuXubbuw8PFGv+63j/9u2smAMWf3548z0ubl69+u72CQro6fz49NXj8WF+On771fKnV6+O8/Hb8/7mSmzYbr569bjSa/CP3/3L7//1n4aP8y/k3ew/ySNpxk/Wc2yuPvlHO37w4+Se5auKvl62PHA3i7x/d4Y5fuZ+sFbvax0MruAL6D8/QDNyPqAYeOZGUT+H1UVR7wNZ7afojsr0Yfrfj1D436yFNYtSXwf7+nosLib0+9v54QelMz1fgQM/piap60V5WXPP9cLWC1cvfL2QehHqRR051pFjHTnWkVMdOdWRUx051ZFTHTnVkVMdOdWRUx051ZFzHTnXkXMdOdeRcx0515Fzq0d6OSYN4bq+rHH1elFHLnXkUkcudeRSRy515FJHLnXkso4MBVcvbL2oAN/4eiH1ItSLWC9SvaiJTlNHtnVkW0e2dWRbR7Z1ZFtHtnVkW0e2LYX6chfsdHVkV0d2dWRXR3Z1ZFdHdnVkV0d2dWRfR/Z1ZF9H9nVkX0f2dWRfR/Z1ZF9H9nVkqSNLHVnqyFJHljqy1JGljix1ZKkjSx05tNDvy52LFurIoY4c6shVBn2VQV9l0FcZ9FUGfZVBX2XQVxn0VQZ9lUFfZdBXGfRVBn2VQV9l0FcZ9FUGfZVBX2XQVxn0VQZ9lUFfZdBXGfRVBn2VQZ/3Dqsl0Jwf3io+pELnf+vf357nd4oelybymfBL+48letnPubLsJivRPne6ug62Eu0BQIDKlFDLQs187cQ2bl0ME16ER5RYZ5dzfNebr9+TJQhtik9N7EtHqOBZJxNd7o5X+9jrBKqrpaHJx9+GKuCZfljD27DYVY+5Z7s5bdnwU2/DLrVsx8v2cwwxPf825KxHkqOZd/GNF/vsy7Dkg4k3aLBCkf7o22hzuOvSzP5tAIsCa2yd8uiM/NTbFFZ0ZyAtPRWJb/7cy5DFjT3A7r2YvMI2Izfv59uHbc+9fnv77sPj62fX63R7udx8/Yrd+iixkYQeuCZ5aeSIt+cd0SY6nsVTJmpVEUbUb61dWPQIxKDEmT/fPzw+ha0WFr9Vpedm+639t2rkZ/0wjXb34URCgOOJEJYlTbsPU9D7D7P8hicK5kLKyf7DROXtw4anp+m5p0qu23/Y9I8BjcDghjAslwIe/8dvfnw5TO8zG2j5NolkBQAeDwfNUJZNqTMLGfFM0QlpBl47kHBizZRYZg4vgsSroOyfj8xre/vrL11N67YGdjI8ygdeQ4LHF7y7WgKGnOpneYAWzbie153sfpoYIa4fZTbdFDqK0VlM1f6z0n2WXYALu0XFkrINOp/coz9nPpVSy9NEPY/Ojm1ChT2DcFt4lAfPYNMJtZMad8+OFAzy8+2en9BxknZf+vjWg0phYwNHhiw+janaT2jpJlRzN9AkQCDRYe1/ckaJbnhYHYPePIbh4+tEbi41ABtnsD8kZhRTukBqTuUC3/fIGOD9G+XMf8HMXzDzF8z8BTP/l2LmLgbzfn5g9Hz5xweYBGq9NTNUxdRXMfVVTH0VU7/Vw1Yx9VVMfRVTX8XUVzH1VUx9FVNfxdRXMfVVTH0VU6liKlVMpYqpVDGVKqZSxVSqmEoVU6liKlVMpYqpVDGVKqZSxVSqmEoVU6liKlVMpYqpVDGVKqZSxVSqmEoVU6liKlVMpYqpVDGVKqZSxVSqmEoVU6liKlVMpYqpVDGVKqZSxVSqmEoVU6liKlVMpYqpVDGVKqZSxVSqmEoVU6liKlVMpYqpVDGVKqZSxVSqmEoVU6liKlVMpYqpVDGVKqZSxVSqmEoVU6liKlVMpYqpVDGVKqZSxVSqmEoVU6liKlVMpYqpVDGVKqZSxVSqmEoVU6liKlVMpYqpVFMpVQalyqBUGZQqg1JlUKoMSpVBqTIoVQalyqBUGZQqg1JlUKoMSpVBqTIYqgyGKoOhymCoMhiqDIYqg6HKYKgyGKoMhiqDocogoRIh1bv56fb7rr/Q5ZLzIUKdH908nwDA3cXMQEZFLvhHOqd8KEd/8PkUs58Tzy028cS2tikfT1Zufvy/UfsGUA==",
  "runtime_dependencies": [
    {
      "set": "linux-x86_64:replica",
      "kind": "python",
      "sha256": "ce4f6d0a6cfdb3bed6e44c2f9affd85943c76a42e25ad3a259002f31d6fb8a20",
      "size_bytes": "34505639",
      "filename": "cpython-3.12.16+20261026-x86_64-unknown-linux-gnu-install_only_stripped.tar.gz",
      "url": "https://github.com/astral-sh/python-build-standalone/releases/download/20261026/cpython-3.12.16+20261026-x86_64-unknown-linux-gnu-install_only_stripped.tar.gz"
    },
    {
      "set": "linux-x86_64:replica",
      "kind": "wheel",
      "sha256": "fbde6962867ee75b48b0ee29b2b9372ec5d617799dbaf38e82dc0596f2f7738a",
      "size_bytes": "16727283",
      "filename": "numpy-2.5.4-cp312-cp312-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl",
      "url": "https://files.pythonhosted.org/packages/43/a3/c799c62e19c337e6d3770b08e475887fb30ce8477d3c09efca6b2f0228a6/numpy-2.5.4-cp312-cp312-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl"
    },
    {
      "set": "linux-x86_64:replica",
      "kind": "wheel",
      "sha256": "8b33fee239194b9b6cb9b176f3c2563b94e5882fd846748ad0cf960daeee5406",
      "size_bytes": "3890001",
      "filename": "numba-0.68.1-cp312-cp312-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl",
      "url": "https://files.pythonhosted.org/packages/43/23/0813ab091f60403c33cb741392ae77db13324587748df6f52167bf3a2404/numba-0.68.1-cp312-cp312-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl"
    },
    {
      "set": "linux-x86_64:replica",
      "kind": "wheel",
      "sha256": "d501e5103076b9a14be885d2574dc2f6793171aa54a853d1244e011d476f1399",
      "size_bytes": "59696588",
      "filename": "llvmlite-0.50.0-cp312-cp312-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl",
      "url": "https://files.pythonhosted.org/packages/4c/72/22b6449e15bec4cc86c62b659e6c625ab777d01e87aaec717ecef440f87a/llvmlite-0.50.0-cp312-cp312-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl"
    },
    {
      "set": "linux-x86_64:engine",
      "kind": "wheel",
      "sha256": "aedb68280aca34c110968f00148387c95885207913fb2cf19a1ab4c5cfd6887a",
      "size_bytes": "727586",
      "filename": "amm_sim_rs-0.1.0.post1-cp310-abi3-manylinux2014_x86_64.manylinux_2_17_x86_64.whl",
      "url": "https://github.com/gtmcknight/amm-sim/releases/download/sim-6b6921f8/amm_sim_rs-0.1.0.post1-cp310-abi3-manylinux2014_x86_64.manylinux_2_17_x86_64.whl"
    },
    {
      "set": "linux-x86_64:engine",
      "kind": "wheel",
      "sha256": "d055860c3352d6bc180b80255d8563f0b3c0fe6ce62b5c2a52e1bc7ecc4fad4f",
      "size_bytes": "4317826",
      "filename": "pyrevm-0.3.7-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
      "url": "https://files.pythonhosted.org/packages/7c/6c/17f60815e678474fa8bb36363e4a9f336fa444abb983c2a1e4bb08f681ae/pyrevm-0.3.7-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl"
    },
    {
      "set": "linux-x86_64:engine",
      "kind": "wheel",
      "sha256": "4bf45aa96c29ed0a3654dcb6951f0f14c648d2be3f938260babbbd1ace6dde04",
      "size_bytes": "18126",
      "filename": "py_solc_x-2.1.0-py3-none-any.whl",
      "url": "https://files.pythonhosted.org/packages/8d/6d/3456e1c77b7efe9e277c5202bb8b879048117369f97c2b3dcefbc4c43071/py_solc_x-2.1.0-py3-none-any.whl"
    },
    {
      "set": "linux-x86_64:engine",
      "kind": "wheel",
      "sha256": "d7193f7c8e4e93f444fde0262bf90af30e16fa0ad0ad44cb553c87339b23cd1c",
      "size_bytes": "129956",
      "filename": "packaging-26.3-py3-none-any.whl",
      "url": "https://files.pythonhosted.org/packages/63/34/ba1c580383c9eada3711951fef0795c80b829a078d72188184bcab9dd527/packaging-26.3-py3-none-any.whl"
    },
    {
      "set": "linux-x86_64:engine",
      "kind": "wheel",
      "sha256": "2a0d60c172f83ac6ab31e4554906c0f3b3588d37b5cb939b1c061f4907e278e0",
      "size_bytes": "73075",
      "filename": "requests-2.34.2-py3-none-any.whl",
      "url": "https://files.pythonhosted.org/packages/a0/f4/c67b0b3f1b9245e8d266f0f112c500d50e5b4e83cb6f3b71b6528104182a/requests-2.34.2-py3-none-any.whl"
    },
    {
      "set": "linux-x86_64:engine",
      "kind": "wheel",
      "sha256": "3d31298449090ab8d47b7b1b2a555ff73cac7ed438a08b7ac160980c7ebed649",
      "size_bytes": "257601",
      "filename": "charset_normalizer-3.5.2-cp312-cp312-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl",
      "url": "https://files.pythonhosted.org/packages/7f/c5/38806a25ab5e65fc178f39affeda20858efafede2fce1ffc2556cfc9fe73/charset_normalizer-3.5.2-cp312-cp312-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl"
    },
    {
      "set": "linux-x86_64:engine",
      "kind": "wheel",
      "sha256": "ab7ae7122974553370f0bdb919e1a960b2cd1bc1ef0276416d896db81c14582c",
      "size_bytes": "69583",
      "filename": "idna-3.20-py3-none-any.whl",
      "url": "https://files.pythonhosted.org/packages/58/a2/bb081bab032533a855d44de1d56f8e8426114ff1ba5d1f07a438a0a654f8/idna-3.20-py3-none-any.whl"
    },
    {
      "set": "linux-x86_64:engine",
      "kind": "wheel",
      "sha256": "0cf3cae568d36aa9576b28dfb35f11328f1cb974ca7647d9475ebb86c75ac6e3",
      "size_bytes": "135717",
      "filename": "urllib3-2.8.0-py3-none-any.whl",
      "url": "https://files.pythonhosted.org/packages/92/9d/c4e665119135114480843e7ab388fa94d8480650450e6f8e26b70d323a4c/urllib3-2.8.0-py3-none-any.whl"
    },
    {
      "set": "linux-x86_64:engine",
      "kind": "wheel",
      "sha256": "e9b54de76e530bb6cf0ccd036787103acb58fd42ba930ea8bf948ddbaa2f61d1",
      "size_bytes": "135082",
      "filename": "certifi-2026.10.23-py3-none-any.whl",
      "url": "https://files.pythonhosted.org/packages/32/d1/a3652fe2c19134d0d15922177821d863cbd7e842d53a21bbe7e8e3a1b5ac/certifi-2026.10.23-py3-none-any.whl"
    },
    {
      "set": "linux-x86_64:engine",
      "kind": "engine-src",
      "sha256": "fa91b175c4b0db13fa44657903f55f664c80fb34796172c94d57ebebba71ec9e",
      "size_bytes": "58742",
      "filename": "amm-challenge-6b6921f8d463314aa7c96234e1be25a25245f704.tar.gz",
      "url": "https://codeload.github.com/benedictbrady/amm-challenge/tar.gz/6b6921f8d463314aa7c96234e1be25a25245f704"
    },
    {
      "set": "linux-x86_64:engine",
      "kind": "harness",
      "sha256": "0fe3bcb3f836bf9bbd8f6b88b06c7cbd2971bfd5999c4b366aba25675f86c590",
      "size_bytes": "5222",
      "filename": "harness.py",
      "url": "https://github.com/gtmcknight/amm-sim/releases/download/sim-6b6921f8/harness.py"
    },
    {
      "set": "linux-x86_64:engine",
      "kind": "solc",
      "sha256": "fb03a29a517452b9f12bcf459ef37d0a543765bb3bbc911e70a87d6a37c30d5f",
      "size_bytes": "15020760",
      "filename": "solc-linux-amd64-v0.8.24+commit.e11b9ed9",
      "url": "https://binaries.soliditylang.org/linux-amd64/solc-linux-amd64-v0.8.24+commit.e11b9ed9"
    }
  ],
  "sources_quotes_rechecked": true,
  "local_validation": {
    "status": "pass",
    "authority": "self-check only; no independent certification",
    "command": "python3 -B test/scratch/check_result.py",
    "checker_sha256": "c7803347028161306601bfb0cadcc6761ff4031476af6f5b89991b92b03768c3",
    "checks": [
      "JSON parsing and 64000-byte limits",
      "paired rows and statistics agree with embedded driver audit",
      "source hash, compile size and measured gas",
      "lease coverage and retirement",
      "engine elapsed time under 1800 seconds",
      "prescribed futility and advance rules",
      "all cited quotes re-fetched verbatim"
    ]
  }
}