{
  "manuscript_sha256": "cdd3d14f5f78c6d309b35c7702b8379750fe5df5b5b08ec8e76bf80d3b9336ab",
  "source_sha256": "9deaa2e8a68869be03d645d15e3993acde84135d4ca1db5e5abfb25676052213",
  "python": "3.11.0",
  "z3": "4.15.3",
  "module_sha256": {
    "activity.py": "ab33fbf41eb7ebad9c5883b0ae4abff84897b79070ff160ad2ab82a3f670ca18",
    "elimination.py": "81274139a5101ba060a180f70bc883ca21fb276344593149cfb5a11ccd07e2c2",
    "paper_checks.py": "85375aa75d30d11914b2739c814149916aefccfbf52a3cd328ec888eb27d69c8",
    "solver.py": "2c77aa760bb2ede1a4e702bf9f6015d81a44c3db9d6ee1199728dd95e8c7df09"
  },
  "input_sha256": {
    "source_provenance.json": "201044774ae21fb98d573a1e7a2cd3f45c0a56fca12da0cf19ef2e09b0b85310"
  },
  "output_sha256": {
    "aggregate_production_counterexample.json": "7384726d21273b5fc990d14fd9926f4fc5803a19102aa5e4990e02b9cc002cea",
    "canonical_module_certificate.json": "9e6afb80ce5694c38383696908c9c18ec573fcd5dcfa7a91ed2900e7f8a2a980",
    "capacity_bracket.json": "ff91cbf831bc31a0d968c71dc61340ecf367a205452e2f09b93bd388fc1310f9",
    "compatible_module_and_food.png": "c0682722eacb05d62b69635032dbcaed36c77ed9da040aeb4616563fce62fc07",
    "compatible_module_and_food.svg": "5c0f38dea4fe758092128161b4c4f167fa0dca072108a8bd4cdc0b11e1f17a3b",
    "configured_cycle_closure.json": "3c3f37625206885c7ba3678841971c5135bd14fe50e75592c26d3b26283bbb84",
    "configured_grid_elimination.json": "569e3201d6264ef4f55ce4b062126e65afceb01aca29a6bf1830bd89a1af2226",
    "configured_operating_accounts.json": "83e8ac2ff00aa191717581af869b8c28ed1fe2471d877e5d031475daa3f414f6",
    "configured_robust_decision.json": "721fc8c6375f1d522e66926adde0fe3ed1046c73db7de6029fe0ecee70a67b3a",
    "configured_strict_decision.json": "4e8533c1a57dde7f13444664be1896db3fd86a3dadecfde08594e71c271f3b8a",
    "console.txt": "621bd3fa85775a22b30aa426d39ff4a98625fa9e33a3ecc72dd0cbd0db59bbb0",
    "disconnected_next_map.json": "b377575c44c68118834eb6a139907a3eed04f11a69bfca9e0440c189bf282195",
    "finite_cycle_jump.png": "a5a1beb927f59efd17bd1459e99fc175fd60aab4be7fb09c68cad048e40967e2",
    "finite_cycle_jump.svg": "b47363b4449c64a558b133a2e07aa5024efbcef145a5813c478bc195624366ae",
    "fresh_source_identities.json": "bf960d38184539b7fb95e3f5cb6d6bd80a54695c4d8bb23847d8e10186d28495",
    "plain_iteration_diagnostic.csv": "1d96e50470e20e66b95ceb09e1804874a7b70e48c20cc80beba6fab93a92feae",
    "policy_counterexample.json": "f1fd5a3a48a5ce374414a7a02da3fa387406cb28242434a2872b79d91ab820a1",
    "unit_cycle_trace.json": "07d8aecb042bdd25078c3edcc9e439d6ac86b43e3236f97115fadc2ae6c6627d",
    "windmill_resource_scaling.csv": "114f2c3abb56d40b440295d4a7ddc3f8a4d718d26c4c33e3a1c35483f983ba6c",
    "zero_margin_diamond.json": "6d16090f6b35868a89d4c0714599322c8cfdc7d9e9a84f8991daa9efd4693ff2"
  }
}