{
  "manuscript_sha256": "a3ac0ec8661bb0553397f5bc881993d054eeb3b6917f2dcdec4569b0d87bf590",
  "source_sha256": "5e84a660521a1a9ae2e2a9bad7e42bcd6e6a251b6d8475a14f142b86accf2318",
  "python": "3.11.0",
  "sympy": "1.14.0",
  "numpy": "2.4.1",
  "module_sha256": {
    "check_certificate.py": "c3c896da20e34dbb016630f6d554c10aa929379c90648f9f7f04a9260faab332",
    "linkage.py": "64b59d34ba0c00577344d376af8ed0deb45d5209c5f8f004b8ed792477130bfa",
    "network.py": "13ed5f285123cffbfb0019528125cf03908ce87b22704bfe5ea842ad4190ad67"
  },
  "output_sha256": {
    "all_direct_linkage_graphs.json": "ea73e279ac6d4933077e22464d1e1544c9d62408192bace0361a60dcc55f6edc",
    "complete_switch_check.json": "dd0d4a4a490c0b1f9a364a24dda919ddc39c1e04bac571df48d16a20138cfdc2",
    "configured_certificate.json": "beb48dfc74ef61ff30ea962973bb08f45664cde5220391c53b9cebe1f6b726e6",
    "configured_search.json": "745fa3619078e802acb4dbe022d3bd047dd5f1b8e20a7c2e61ea7dacb3bc79c9",
    "configured_source.bits.txt": "7a94d64fe302831cffb04f6e2628088737390be03360eaeac7f2fed483bb3a84",
    "desired_versus_crossed.json": "5680468efdb7d05d70882616f046987cd44851e63b9c2d1fa0bd26fa07ee26bc",
    "explicit_budget_exhaustion.json": "36342565e13c597d102b128135180535c9ab87db92aea9cf226d66ac848346b5",
    "formula_boundary_cases.json": "912413b5c98b0232326615e31229de9b74b4a561ca648ca5215cd8a753f7072d",
    "formula_paths.json": "f0b0c4396c0d7b5c28b7b9b4ad3a6f56a688537bcfbdb3aab282c490517133e6",
    "formula_productivity_certificate.json": "b4be8a24c34c2fbaaad8522d986a37f14e089d5a53e6fd1ae37e21dc27276bb4",
    "formula_source.json": "f0a64f9b1b5ccf39cf3f2351fae032352a8c19202d68e526891969c6aeeab4e1",
    "literal_and_signed_flow_examples.json": "d291b543173a2fd16c6f6732200673595d7e18d858dd3c410427c80e3ecde303",
    "literal_network.png": "807325eba8d1a00b6e486844c42e4886f600cf3d5c0a753f7ccdaf34b1e53a89",
    "literal_network.svg": "4e9b9838d63ae02666d7f7b410664852384f50fc26a535c37cff8ee3d6331d27",
    "pairing_obstruction.png": "fd3dcc51bdec8039119bd90c9464afe7f3c8f6e6a9df4e887030c7bbd2da2729",
    "pairing_obstruction.svg": "6013db9054620d0a00555b021b148b7338c7b4b0aad6d4e2702e802b17fad221",
    "rejected_reversed_certificate.json": "e65806270a74083183a37a3d96b87a29cf188a1a14ebf548b5f4498c9be9c3c2",
    "sat_to_network_summary.json": "e7c7ebc6400a01dbb54e358cd1d3edd4f0dfe25eae27e6e241343cd58a77942c",
    "console.txt": "4800d16360380cc8b10db7c91f5d3a0e7c429eb79f3e3fcec34db6fcd3a92f15"
  }
}