{
  "schema": "finite-verifier-mathematical-public-reproduction-v1",
  "members": {
    "README.md": {
      "sha256": "331a8f2276d7266b61de027dc03742f270a112cfaf576822a733aa2ee5ce2edb",
      "bytes": 3559
    },
    "figures/CAPTIONS.md": {
      "sha256": "f9b0cdd3bacef62d3f2b01e1c64c0a3b26b07e7b85940837b4c0f01e21a7f797",
      "bytes": 1502
    },
    "figures/build.py": {
      "sha256": "d00dbaa1205d1d7e77398c34097c8808c8d06bed178c323983a2b703a82530a1",
      "bytes": 4542
    },
    "figures/full-coverage-success-cost.png": {
      "sha256": "5dcd354189533d1d6e04fcb2b72eef9856d5988cf87a976aa567abc29eebb261",
      "bytes": 143182
    },
    "figures/full-coverage-success-cost.svg": {
      "sha256": "d4849249c81ea543cdfdbe9dd5698137d9e94bc93fffe9eb7956fee5778bc424",
      "bytes": 75970
    },
    "figures/joint-minus-single-gain.png": {
      "sha256": "dab01ba598df6361d1639dc36e33426024ccaa0af6f797833e718570bb01b817",
      "bytes": 95363
    },
    "figures/joint-minus-single-gain.svg": {
      "sha256": "b420b138808684a6bac81ba83c0c3b3efb0a7f167d5c860624fc541eb49654ff",
      "bytes": 58367
    },
    "figures/plot-data.json": {
      "sha256": "2abe805679019306d3d49f6343a3c91f9219f9c03a359426d2dec3af774c5a95",
      "bytes": 1483
    },
    "figures/regime-map.json": {
      "sha256": "e9e2468bc862940519fd78019bfec9d6e6282784cf6b15fc4dd16f1fd08a2c54",
      "bytes": 226690
    },
    "figures/test_plot_data.py": {
      "sha256": "07f7193d67d0918760b7ec534bf88adfc6c97fe7470bab455a59a8b01d619d3b",
      "bytes": 647
    },
    "matched-laws/DERIVATION.md": {
      "sha256": "a0130d08ddbe5856ff43a866e49c153ab1fc74058b49d4b932f7f3bbd5872ca3",
      "bytes": 6354
    },
    "matched-laws/SUMMARY.md": {
      "sha256": "e4af1d9bcef2a56221c63d8d92cec60d71c50664e18d5cf505dd561b7f62ab76",
      "bytes": 1423
    },
    "matched-laws/regime-map.json": {
      "sha256": "e9e2468bc862940519fd78019bfec9d6e6282784cf6b15fc4dd16f1fd08a2c54",
      "bytes": 226690
    },
    "matched-laws/regimes.py": {
      "sha256": "938bed6346fe8b27c14a89955bc96c459eab46cf93b982fdd841c7587246280e",
      "bytes": 6876
    },
    "matched-laws/test_regimes.py": {
      "sha256": "632cb98d7d69b0abf8e5aa270acffd07d1ed81f634f4e1942b69bfbbad49ad01",
      "bytes": 4498
    },
    "pool-headroom/DERIVATION.md": {
      "sha256": "1b6c5c746f9bbd37fd0c4c0ff28b311c6268c7386de039119b90f2185c0e583a",
      "bytes": 3661
    },
    "pool-headroom/headroom.py": {
      "sha256": "77b83484babbe17e99bac25613a749f0ecfb17281a9cff5df7404da52c6aa994",
      "bytes": 5148
    },
    "pool-headroom/regime-map.json": {
      "sha256": "3527dea644e7bce0f828dac8747424567dd800355fa23d5b971df82a33884925",
      "bytes": 291283
    },
    "pool-headroom/test_headroom.py": {
      "sha256": "8e09479ef266df2577c8420a68a55db2856f92b96fca53d242324c82ddaf116d",
      "bytes": 2891
    },
    "reproduction-check.json": {
      "sha256": "bbfe20d5bc54a5246f7997fc89c4c89c4d63ed18b1fbfe3b3612eee5651f2aaa",
      "bytes": 868
    },
    "source-commitments.json": {
      "sha256": "9ecc92e3f7eca0e2128df8cf970da57f67a5b9246744ada06a3523105aec1e86",
      "bytes": 2168
    }
  }
}