{
  "inner": {
    "min": {
      "x": 0,
      "y": 0
    },
    "size": {
      "w": 0,
      "h": 0
    }
  },
  "decorations": {
    "title": {
      "name": "top",
      "side": "Bottom",
      "offset": 0.0
    },
    "tag": {
      "name": "",
      "side": "Top",
      "offset": 0.0
    }
  },
  "pins": {},
  "children": {
    "b1": {
      "inner": {
        "min": {
          "x": 0,
          "y": 0
        },
        "size": {
          "w": 20,
          "h": 20
        }
      },
      "decorations": {
        "title": {
          "name": "top",
          "side": "Bottom",
          "offset": 0.0
        },
        "tag": {
          "name": "",
          "side": "Top",
          "offset": 0.0
        }
      },
      "pins": {},
      "children": {
        "b1": {
          "inner": {
            "min": {
              "x": 12,
              "y": 0
            },
            "size": {
              "w": 8,
              "h": 12
            }
          },
          "decorations": {
            "title": {
              "name": "Run",
              "side": "Center",
              "offset": 0.0
            },
            "tag": {
              "name": "b1",
              "hidden": true,
              "side": "Top",
              "offset": 0.0
            }
          },
          "pins": {
            "p1": {
              "name": "",
              "tag": "p3",
              "tag_hidden": true,
              "side": "West",
              "offset": 4,
              "rect": {
                "min": {
                  "x": -5,
                  "y": 7
                },
                "size": {
                  "w": 5,
                  "h": 3
                }
              },
              "kind": "Input"
            },
            "p2": {
              "name": "",
              "tag": "p2",
              "tag_hidden": true,
              "side": "West",
              "offset": 3,
              "rect": {
                "min": {
                  "x": -10,
                  "y": 8
                },
                "size": {
                  "w": 5,
                  "h": 3
                }
              },
              "kind": "Output"
            },
            "p3": {
              "name": "",
              "tag": "p1",
              "tag_hidden": true,
              "side": "West",
              "offset": 0,
              "rect": {
                "min": {
                  "x": -15,
                  "y": 7
                },
                "size": {
                  "w": 5,
                  "h": 3
                }
              },
              "kind": "Input"
            },
            "p4": {
              "name": "",
              "tag": "p4",
              "tag_hidden": true,
              "side": "East",
              "offset": 0,
              "rect": {
                "min": {
                  "x": 0,
                  "y": 7
                },
                "size": {
                  "w": 5,
                  "h": 3
                }
              },
              "kind": "Input"
            },
            "p5": {
              "name": "",
              "tag": "p5",
              "tag_hidden": true,
              "side": "East",
              "offset": 3,
              "rect": {
                "min": {
                  "x": 5,
                  "y": 8
                },
                "size": {
                  "w": 5,
                  "h": 3
                }
              },
              "kind": "Output"
            },
            "p6": {
              "name": "",
              "tag": "p6",
              "tag_hidden": true,
              "side": "East",
              "offset": 4,
              "rect": {
                "min": {
                  "x": 10,
                  "y": 8
                },
                "size": {
                  "w": 5,
                  "h": 3
                }
              },
              "kind": "Output"
            }
          },
          "children": {},
          "routes": {}
        },
        "b2": {
          "inner": {
            "min": {
              "x": 12,
              "y": 20
            },
            "size": {
              "w": 8,
              "h": 12
            }
          },
          "decorations": {
            "title": {
              "name": "Stall",
              "side": "Center",
              "offset": 0.0
            },
            "tag": {
              "name": "b2",
              "hidden": true,
              "side": "Top",
              "offset": 0.0
            }
          },
          "pins": {
            "p1": {
              "name": "\n",
              "tag": "p1",
              "tag_hidden": true,
              "side": "West",
              "offset": 0,
              "rect": {
                "min": {
                  "x": -5,
                  "y": 0
                },
                "size": {
                  "w": 5,
                  "h": 3
                }
              },
              "kind": "Output"
            },
            "p3": {
              "name": "",
              "tag": "p3",
              "tag_hidden": true,
              "side": "East",
              "offset": 0,
              "rect": {
                "min": {
                  "x": 0,
                  "y": 0
                },
                "size": {
                  "w": 5,
                  "h": 3
                }
              },
              "kind": "Input"
            },
            "p4": {
              "name": "",
              "tag": "p4",
              "tag_hidden": true,
              "side": "East",
              "offset": 1,
              "rect": {
                "min": {
                  "x": 5,
                  "y": 0
                },
                "size": {
                  "w": 5,
                  "h": 3
                }
              },
              "kind": "Input"
            },
            "p6": {
              "name": "",
              "tag": "p6",
              "tag_hidden": true,
              "side": "East",
              "offset": 4,
              "rect": {
                "min": {
                  "x": 10,
                  "y": 1
                },
                "size": {
                  "w": 5,
                  "h": 3
                }
              },
              "kind": "Output"
            }
          },
          "children": {},
          "routes": {}
        }
      },
      "routes": {
        "r1": {
          "start": {
            "Pin": {
              "block": "b1",
              "pin": "p5"
            }
          },
          "edges": {
            "e1": {
              "start": {
                "x": 21,
                "y": 8
              },
              "end": {
                "x": 23,
                "y": 8
              },
              "kind": "StartToEnd"
            },
            "e2": {
              "start": {
                "x": 23,
                "y": 8
              },
              "end": {
                "x": 23,
                "y": 2
              },
              "kind": "StartToEnd"
            },
            "e3": {
              "start": {
                "x": 23,
                "y": 2
              },
              "end": {
                "x": 21,
                "y": 2
              },
              "kind": "StartToEnd"
            }
          },
          "finish": {
            "Pin": {
              "block": "b1",
              "pin": "p4"
            }
          },
          "start_pos": {
            "x": 21,
            "y": 8
          },
          "end_pos": {
            "x": 21,
            "y": 2
          },
          "waypoints": {},
          "labels": {},
          "name": "Untitled",
          "crossings": []
        },
        "r2": {
          "start": {
            "Pin": {
              "block": "b1",
              "pin": "p2"
            }
          },
          "edges": {
            "e1": {
              "start": {
                "x": 11,
                "y": 8
              },
              "end": {
                "x": 9,
                "y": 8
              },
              "kind": "StartToEnd"
            },
            "e2": {
              "start": {
                "x": 9,
                "y": 8
              },
              "end": {
                "x": 9,
                "y": 2
              },
              "kind": "StartToEnd"
            },
            "e3": {
              "start": {
                "x": 9,
                "y": 2
              },
              "end": {
                "x": 11,
                "y": 2
              },
              "kind": "StartToEnd"
            }
          },
          "finish": {
            "Pin": {
              "block": "b1",
              "pin": "p3"
            }
          },
          "start_pos": {
            "x": 11,
            "y": 8
          },
          "end_pos": {
            "x": 11,
            "y": 2
          },
          "waypoints": {},
          "labels": {},
          "name": "Untitled",
          "crossings": []
        },
        "r3": {
          "start": {
            "Pin": {
              "block": "b2",
              "pin": "p4"
            }
          },
          "edges": {
            "e1": {
              "start": {
                "x": 21,
                "y": 24
              },
              "end": {
                "x": 23,
                "y": 24
              },
              "kind": "StartToEnd"
            },
            "e2": {
              "start": {
                "x": 23,
                "y": 24
              },
              "end": {
                "x": 23,
                "y": 30
              },
              "kind": "StartToEnd"
            },
            "e3": {
              "start": {
                "x": 23,
                "y": 30
              },
              "end": {
                "x": 21,
                "y": 30
              },
              "kind": "StartToEnd"
            }
          },
          "finish": {
            "Pin": {
              "block": "b2",
              "pin": "p6"
            }
          },
          "start_pos": {
            "x": 21,
            "y": 24
          },
          "end_pos": {
            "x": 21,
            "y": 30
          },
          "waypoints": {},
          "labels": {},
          "name": "Untitled",
          "crossings": []
        },
        "r5": {
          "start": {
            "Pin": {
              "block": "b2",
              "pin": "p1"
            }
          },
          "edges": {
            "e1": {
              "start": {
                "x": 11,
                "y": 22
              },
              "end": {
                "x": 9,
                "y": 22
              },
              "kind": "StartToEnd"
            },
            "e2": {
              "start": {
                "x": 9,
                "y": 22
              },
              "end": {
                "x": 9,
                "y": 10
              },
              "kind": "StartToEnd"
            },
            "e3": {
              "start": {
                "x": 9,
                "y": 10
              },
              "end": {
                "x": 11,
                "y": 10
              },
              "kind": "StartToEnd"
            }
          },
          "finish": {
            "Pin": {
              "block": "b1",
              "pin": "p1"
            }
          },
          "start_pos": {
            "x": 11,
            "y": 22
          },
          "end_pos": {
            "x": 11,
            "y": 10
          },
          "waypoints": {},
          "labels": {},
          "name": "Untitled",
          "crossings": []
        },
        "r6": {
          "start": {
            "Pin": {
              "block": "b2",
              "pin": "p3"
            }
          },
          "edges": {
            "e1": {
              "start": {
                "x": 21,
                "y": 22
              },
              "end": {
                "x": 23,
                "y": 22
              },
              "kind": "StartToEnd"
            },
            "e2": {
              "start": {
                "x": 23,
                "y": 22
              },
              "end": {
                "x": 23,
                "y": 10
              },
              "kind": "StartToEnd"
            },
            "e3": {
              "start": {
                "x": 23,
                "y": 10
              },
              "end": {
                "x": 21,
                "y": 10
              },
              "kind": "StartToEnd"
            }
          },
          "finish": {
            "Pin": {
              "block": "b1",
              "pin": "p6"
            }
          },
          "start_pos": {
            "x": 21,
            "y": 22
          },
          "end_pos": {
            "x": 21,
            "y": 10
          },
          "waypoints": {},
          "labels": {},
          "name": "Untitled",
          "crossings": []
        }
      },
      "texts": {
        "t1": {
          "text": "stop_in & void_in\n---------------------\nsel=0\nmain_en=0\naux_en=0\nstop_out=0",
          "anchor": {
            "x": 25,
            "y": 2
          },
          "size": {
            "w": 7,
            "h": 6
          }
        },
        "t2": {
          "text": "stop_in & !void_in \n& !void_out\n----------------------\nsel=0\nmain_en=0\naux_en=1\nstop_out=0",
          "anchor": {
            "x": 25,
            "y": 11
          },
          "size": {
            "w": 8,
            "h": 7
          }
        },
        "t3": {
          "text": "!stop_in + \n(!void_in & void_out)\n----------------------\nsel=0\nmain_en=1\naux_en=0\nstop_out=0",
          "anchor": {
            "x": -2,
            "y": 2
          },
          "size": {
            "w": 8,
            "h": 7
          }
        },
        "t4": {
          "text": "!stop_in \n-----------------\nsel=1\nmain_en=1\naux_en=0\nstop_out=1",
          "anchor": {
            "x": -2,
            "y": 13
          },
          "size": {
            "w": 6,
            "h": 6
          }
        },
        "t5": {
          "text": "stop_in \n--------------------\nsel=0\nmain_en=0\naux_en=0\nstop_out=1",
          "anchor": {
            "x": 25,
            "y": 24
          },
          "size": {
            "w": 7,
            "h": 6
          }
        }
      }
    }
  },
  "routes": {}
}