{
  "manuscript_sha256": "74a88c8c0b5389c8eb0f7ff73655f82ba75f6f79246594ae36629706e225fce0",
  "source_sha256": "716ffeeb9a125eedc1af0f9f7dd61e6f1c654e109ffadd0c48931dbedfbe4c6f",
  "python": "3.11.0",
  "output_sha256": {
    "conjunction_certificate.json": "e53cdd0ade7761b71ea848164a49c6ccbbca61e1f60811c1cc9b2f5fba350e70",
    "console.txt": "9ce4144095ad41b31882288c28a4ee59f322ce561538651758201f1a3b474a72",
    "cycle_certificate.json": "e7297839362d03369a6c7c32e36edfc4be6661955d04a76af213a7f0b602c3e0",
    "editable_certificate.json": "a39efefa8883d59650bcd5dea3f1b9559fd7a46d22396aaa0c357927ba3459d9",
    "families.png": "72f24b619510b94cb6e71a07fc9f09d40e412ac017d73af2b41341db4c1dfbd8",
    "families.svg": "ca2cf73039df6236a506387289d1ad01f5185e084eba2fdb326366f1194581be",
    "hall_counterexample_certificate.json": "9f07f10860721f8a4869e7c2e33bc817a70194a421b97761451a9b2ac143176f",
    "results.json": "b2bfb62d7f44b2100d1f875efc8ca438cbca68e49ff3506c2de1d9b4433b09ea",
    "root_choices.png": "3d95f9d19836e6bb249ad41c5b3954b4cb97e47109938cbb2bb7760fe6127219",
    "root_choices.svg": "5c4383592e9971d129827eae798e30a74c94f19d3ac196a8273cc7f08141aa4f",
    "trace_steps.csv": "113289d4fafad31b04725a157beb94a9aa5b1fb8a1267208071a5149db63e57d"
  }
}