{
  "schema": 1,
  "discopyVersion": "1.2.2",
  "construction": "Int(Matrix[bool]) with direct-sum tensor and Boolean trace",
  "checkedExteriorInputs": 48,
  "inputOrder": [
    "A+:clear",
    "A+:shore-only",
    "A+:storm",
    "C-:delivery-request"
  ],
  "outputOrder": [
    "A-:survey",
    "C+:deliver-jetty",
    "C+:deliver-boxes",
    "C+:hold"
  ],
  "cases": [
    {
      "landing": "shore",
      "delivery": "boxes",
      "diagnostic": "none",
      "rows": [
        {
          "input": "A+:clear",
          "discopy": [
            "C+:deliver-jetty"
          ],
          "javascript": "C+:deliver-jetty",
          "diagnostic": "exit"
        },
        {
          "input": "A+:shore-only",
          "discopy": [
            "C+:deliver-boxes"
          ],
          "javascript": "C+:deliver-boxes",
          "diagnostic": "exit"
        },
        {
          "input": "A+:storm",
          "discopy": [
            "C+:hold"
          ],
          "javascript": "C+:hold",
          "diagnostic": "exit"
        },
        {
          "input": "C-:delivery-request",
          "discopy": [
            "A-:survey"
          ],
          "javascript": "A-:survey",
          "diagnostic": "exit"
        }
      ]
    },
    {
      "landing": "shore",
      "delivery": "boxes",
      "diagnostic": "missing",
      "rows": [
        {
          "input": "A+:clear",
          "discopy": [
            "C+:deliver-jetty"
          ],
          "javascript": "C+:deliver-jetty",
          "diagnostic": "exit"
        },
        {
          "input": "A+:shore-only",
          "discopy": [],
          "javascript": null,
          "diagnostic": "missing"
        },
        {
          "input": "A+:storm",
          "discopy": [
            "C+:hold"
          ],
          "javascript": "C+:hold",
          "diagnostic": "exit"
        },
        {
          "input": "C-:delivery-request",
          "discopy": [
            "A-:survey"
          ],
          "javascript": "A-:survey",
          "diagnostic": "exit"
        }
      ]
    },
    {
      "landing": "shore",
      "delivery": "boxes",
      "diagnostic": "loop",
      "rows": [
        {
          "input": "A+:clear",
          "discopy": [
            "C+:deliver-jetty"
          ],
          "javascript": "C+:deliver-jetty",
          "diagnostic": "exit"
        },
        {
          "input": "A+:shore-only",
          "discopy": [
            "C+:deliver-boxes"
          ],
          "javascript": "C+:deliver-boxes",
          "diagnostic": "exit"
        },
        {
          "input": "A+:storm",
          "discopy": [
            "C+:hold"
          ],
          "javascript": "C+:hold",
          "diagnostic": "exit"
        },
        {
          "input": "C-:delivery-request",
          "discopy": [
            "A-:survey"
          ],
          "javascript": "A-:survey",
          "diagnostic": "exit"
        }
      ]
    },
    {
      "landing": "shore",
      "delivery": "pallet",
      "diagnostic": "none",
      "rows": [
        {
          "input": "A+:clear",
          "discopy": [
            "C+:deliver-jetty"
          ],
          "javascript": "C+:deliver-jetty",
          "diagnostic": "exit"
        },
        {
          "input": "A+:shore-only",
          "discopy": [
            "C+:hold"
          ],
          "javascript": "C+:hold",
          "diagnostic": "exit"
        },
        {
          "input": "A+:storm",
          "discopy": [
            "C+:hold"
          ],
          "javascript": "C+:hold",
          "diagnostic": "exit"
        },
        {
          "input": "C-:delivery-request",
          "discopy": [
            "A-:survey"
          ],
          "javascript": "A-:survey",
          "diagnostic": "exit"
        }
      ]
    },
    {
      "landing": "shore",
      "delivery": "pallet",
      "diagnostic": "missing",
      "rows": [
        {
          "input": "A+:clear",
          "discopy": [
            "C+:deliver-jetty"
          ],
          "javascript": "C+:deliver-jetty",
          "diagnostic": "exit"
        },
        {
          "input": "A+:shore-only",
          "discopy": [],
          "javascript": null,
          "diagnostic": "missing"
        },
        {
          "input": "A+:storm",
          "discopy": [
            "C+:hold"
          ],
          "javascript": "C+:hold",
          "diagnostic": "exit"
        },
        {
          "input": "C-:delivery-request",
          "discopy": [
            "A-:survey"
          ],
          "javascript": "A-:survey",
          "diagnostic": "exit"
        }
      ]
    },
    {
      "landing": "shore",
      "delivery": "pallet",
      "diagnostic": "loop",
      "rows": [
        {
          "input": "A+:clear",
          "discopy": [
            "C+:deliver-jetty"
          ],
          "javascript": "C+:deliver-jetty",
          "diagnostic": "exit"
        },
        {
          "input": "A+:shore-only",
          "discopy": [],
          "javascript": null,
          "diagnostic": "loop"
        },
        {
          "input": "A+:storm",
          "discopy": [
            "C+:hold"
          ],
          "javascript": "C+:hold",
          "diagnostic": "exit"
        },
        {
          "input": "C-:delivery-request",
          "discopy": [
            "A-:survey"
          ],
          "javascript": "A-:survey",
          "diagnostic": "exit"
        }
      ]
    },
    {
      "landing": "jetty",
      "delivery": "boxes",
      "diagnostic": "none",
      "rows": [
        {
          "input": "A+:clear",
          "discopy": [
            "C+:deliver-jetty"
          ],
          "javascript": "C+:deliver-jetty",
          "diagnostic": "exit"
        },
        {
          "input": "A+:shore-only",
          "discopy": [
            "C+:hold"
          ],
          "javascript": "C+:hold",
          "diagnostic": "exit"
        },
        {
          "input": "A+:storm",
          "discopy": [
            "C+:hold"
          ],
          "javascript": "C+:hold",
          "diagnostic": "exit"
        },
        {
          "input": "C-:delivery-request",
          "discopy": [
            "A-:survey"
          ],
          "javascript": "A-:survey",
          "diagnostic": "exit"
        }
      ]
    },
    {
      "landing": "jetty",
      "delivery": "boxes",
      "diagnostic": "missing",
      "rows": [
        {
          "input": "A+:clear",
          "discopy": [
            "C+:deliver-jetty"
          ],
          "javascript": "C+:deliver-jetty",
          "diagnostic": "exit"
        },
        {
          "input": "A+:shore-only",
          "discopy": [],
          "javascript": null,
          "diagnostic": "missing"
        },
        {
          "input": "A+:storm",
          "discopy": [
            "C+:hold"
          ],
          "javascript": "C+:hold",
          "diagnostic": "exit"
        },
        {
          "input": "C-:delivery-request",
          "discopy": [
            "A-:survey"
          ],
          "javascript": "A-:survey",
          "diagnostic": "exit"
        }
      ]
    },
    {
      "landing": "jetty",
      "delivery": "boxes",
      "diagnostic": "loop",
      "rows": [
        {
          "input": "A+:clear",
          "discopy": [
            "C+:deliver-jetty"
          ],
          "javascript": "C+:deliver-jetty",
          "diagnostic": "exit"
        },
        {
          "input": "A+:shore-only",
          "discopy": [
            "C+:hold"
          ],
          "javascript": "C+:hold",
          "diagnostic": "exit"
        },
        {
          "input": "A+:storm",
          "discopy": [
            "C+:hold"
          ],
          "javascript": "C+:hold",
          "diagnostic": "exit"
        },
        {
          "input": "C-:delivery-request",
          "discopy": [
            "A-:survey"
          ],
          "javascript": "A-:survey",
          "diagnostic": "exit"
        }
      ]
    },
    {
      "landing": "jetty",
      "delivery": "pallet",
      "diagnostic": "none",
      "rows": [
        {
          "input": "A+:clear",
          "discopy": [
            "C+:deliver-jetty"
          ],
          "javascript": "C+:deliver-jetty",
          "diagnostic": "exit"
        },
        {
          "input": "A+:shore-only",
          "discopy": [
            "C+:hold"
          ],
          "javascript": "C+:hold",
          "diagnostic": "exit"
        },
        {
          "input": "A+:storm",
          "discopy": [
            "C+:hold"
          ],
          "javascript": "C+:hold",
          "diagnostic": "exit"
        },
        {
          "input": "C-:delivery-request",
          "discopy": [
            "A-:survey"
          ],
          "javascript": "A-:survey",
          "diagnostic": "exit"
        }
      ]
    },
    {
      "landing": "jetty",
      "delivery": "pallet",
      "diagnostic": "missing",
      "rows": [
        {
          "input": "A+:clear",
          "discopy": [
            "C+:deliver-jetty"
          ],
          "javascript": "C+:deliver-jetty",
          "diagnostic": "exit"
        },
        {
          "input": "A+:shore-only",
          "discopy": [],
          "javascript": null,
          "diagnostic": "missing"
        },
        {
          "input": "A+:storm",
          "discopy": [
            "C+:hold"
          ],
          "javascript": "C+:hold",
          "diagnostic": "exit"
        },
        {
          "input": "C-:delivery-request",
          "discopy": [
            "A-:survey"
          ],
          "javascript": "A-:survey",
          "diagnostic": "exit"
        }
      ]
    },
    {
      "landing": "jetty",
      "delivery": "pallet",
      "diagnostic": "loop",
      "rows": [
        {
          "input": "A+:clear",
          "discopy": [
            "C+:deliver-jetty"
          ],
          "javascript": "C+:deliver-jetty",
          "diagnostic": "exit"
        },
        {
          "input": "A+:shore-only",
          "discopy": [
            "C+:hold"
          ],
          "javascript": "C+:hold",
          "diagnostic": "exit"
        },
        {
          "input": "A+:storm",
          "discopy": [
            "C+:hold"
          ],
          "javascript": "C+:hold",
          "diagnostic": "exit"
        },
        {
          "input": "C-:delivery-request",
          "discopy": [
            "A-:survey"
          ],
          "javascript": "A-:survey",
          "diagnostic": "exit"
        }
      ]
    }
  ],
  "branch": {
    "input": "A+:clear",
    "offers": [
      "B+:jetty",
      "B+:shore"
    ],
    "outputs": [
      "C+:deliver-jetty",
      "C+:deliver-boxes"
    ],
    "landing": "shore",
    "delivery": "boxes"
  }
}