{
  "manuscript_sha256": "c71bb73dd23e95817ca599f6a14b3fcb7ca4ec611d6549e411292a3aa23b80c0",
  "source_sha256": "c9955064f3936fe89a6a3a02db0c8d38b6f74e2a59293b8b8071147d1b5b3d2c",
  "python": "3.11.0",
  "z3": "4.15.3",
  "output_sha256": {
    "console.txt": "9f8806d5bba240c10606eac47a1978866a3f97eac26ef4fd74ba98763b54e2f4",
    "exact_currents.csv": "33eb8a9639c43329a17884dfca7525e55631cd3cb0a3e6480748e35e8a604ddd",
    "factor_tolerances.csv": "adfa0df5eb86d624847698c59a846d2d4c4708bd20036a303e9fa185bae0d8f1",
    "fixture_inputs.json": "9fdd07f82888203e3b0dc4043d7ba086caef6d92e6c0b491c09fdda970d023c6",
    "food_response.csv": "4be774179bdad5bdf8db1557e7d76cd0ec548a959264ae17accfbb0b7855b181",
    "nongraded_input.json": "781780045f59fe827f09e9739cdf56c39dcd2ed6249f0841e880423990248858",
    "operating_windows.png": "b3e827f5b9f21afabc40dea4669ccf7f781714d53bb795f893e5423ec2fcb58a",
    "operating_windows.svg": "9e248f83cff23ff7a67b9e80c24a6fbdba139e89af4be6d81a4041901db4c3d3",
    "representation_sizes.json": "d45c69c3560666a8d1b6b92ccdd0b4cbe71d16b536bda5d1995b6ab6076fbbcc",
    "response_bands.csv": "721dfe3f0a8d955984b4a3aa77996d62a47de2e3c7ed0ab73c9c580b1a8cc721",
    "response_bands.png": "b99fbd462429708c8c8dc7795c613a7ad90e2851fdab6e16b0d1b94668a960e4",
    "response_bands.svg": "b61feda121af7ce00676f52b68cabcfac21fc0c3fe5a409f810b205f9e52aabc",
    "results.json": "053b0ab0dd5804fd73a2bb3ae14f0b7e503deb8a15959509ff94403a6d1bd6c9"
  }
}