{
  "paper_sha256": "c89e78a1ffadcaaca3ac047d71817feef3b32d26f6c0af1b1d245082499e35ea",
  "source_sha256": "e8c868320067d03762e0b36bc142bd8c4e0ff89f92c76ea0c8467db6c2892a32",
  "python": "3.11.0",
  "matplotlib": "3.10.5",
  "inputs": {
    "statements": [
      "0",
      "1",
      "2"
    ],
    "implications": [
      [
        [
          "0"
        ],
        "1"
      ],
      [
        [
          "1"
        ],
        "2"
      ],
      [
        [
          "2"
        ],
        "0"
      ]
    ],
    "slots": 1,
    "control_statements": [
      "0",
      "1",
      "2"
    ],
    "control_implications": [],
    "control_slots": 2,
    "graph_vertices": 3,
    "graph_edges": [
      [
        0,
        1
      ],
      [
        1,
        2
      ],
      [
        0,
        2
      ]
    ],
    "clique_slots": 3,
    "max_transversals": 100000
  },
  "output_sha256": {
    "completeness.png": "581201af31b2e0717f0d03d9878ff9e3d24730c4b4c9157a3848e9c7c248c695",
    "completeness.svg": "4b7398e385f49f447b5fe82967ac75b963935887b1e6008d7b255d8de939bf3f",
    "console.txt": "5a1f5ea6373132254a37c2817a1942f9fbf64c0453f2961151ad1ab1c3c250c1",
    "model_input.json": "22a68396fd50db1970463ec0e409f8d3b79b101e43c0fa3b96774db6e56d71d4",
    "results.json": "8be8005bf2232ba276468ddee0b798a6b2b0751670e8540c4b1886da34a4613c"
  }
}