{
  "preemption_bound": null,
  "pos": 0,
  "branches": {
    "entries": [
      {
        "Schedule": {
          "preemptions": 0,
          "initial_active": 0,
          "threads": [
            "Active",
            "Disabled",
            "Disabled",
            "Disabled"
          ],
          "prev": null
        }
      },
      {
        "Schedule": {
          "preemptions": 0,
          "initial_active": 0,
          "threads": [
            "Active",
            "Skip",
            "Disabled",
            "Disabled"
          ],
          "prev": {
            "index": 0,
            "_p": null
          }
        }
      },
      {
        "Schedule": {
          "preemptions": 0,
          "initial_active": null,
          "threads": [
            "Disabled",
            "Active",
            "Skip",
            "Disabled"
          ],
          "prev": {
            "index": 1,
            "_p": null
          }
        }
      },
      {
        "Schedule": {
          "preemptions": 0,
          "initial_active": 1,
          "threads": [
            "Disabled",
            "Active",
            "Skip",
            "Disabled"
          ],
          "prev": {
            "index": 2,
            "_p": null
          }
        }
      },
      {
        "Load": {
          "values": [
            0,
            0,
            0,
            0,
            0,
            0,
            0
          ],
          "pos": 0,
          "len": 1
        }
      },
      {
        "Schedule": {
          "preemptions": 0,
          "initial_active": 1,
          "threads": [
            "Disabled",
            "Active",
            "Skip",
            "Disabled"
          ],
          "prev": {
            "index": 3,
            "_p": null
          }
        }
      },
      {
        "Schedule": {
          "preemptions": 0,
          "initial_active": 1,
          "threads": [
            "Disabled",
            "Active",
            "Skip",
            "Disabled"
          ],
          "prev": {
            "index": 5,
            "_p": null
          }
        }
      },
      {
        "Schedule": {
          "preemptions": 0,
          "initial_active": 1,
          "threads": [
            "Disabled",
            "Active",
            "Skip",
            "Disabled"
          ],
          "prev": {
            "index": 6,
            "_p": null
          }
        }
      },
      {
        "Load": {
          "values": [
            2,
            0,
            0,
            0,
            0,
            0,
            0
          ],
          "pos": 0,
          "len": 1
        }
      },
      {
        "Schedule": {
          "preemptions": 0,
          "initial_active": 1,
          "threads": [
            "Disabled",
            "Visited",
            "Active",
            "Disabled"
          ],
          "prev": {
            "index": 7,
            "_p": null
          }
        }
      }
    ]
  }
}