MLE/debugging_fsa_cbd_composition/cbdsimulator/cbdsim_debugging.py.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!-- Created with Inkscape (http://www.inkscape.org/) -->

<svg
   xmlns:dc="http://purl.org/dc/elements/1.1/"
   xmlns:cc="http://creativecommons.org/ns#"
   xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
   xmlns:svg="http://www.w3.org/2000/svg"
   xmlns="http://www.w3.org/2000/svg"
   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
   width="322.1868mm"
   height="126.34663mm"
   viewBox="0 0 1141.6068 447.68492"
   id="svg2"
   version="1.1"
   inkscape:version="0.91 r13725"
   sodipodi:docname="cbdsim_debugging.py.svg">
  <defs
     id="defs4">
    <marker
       inkscape:stockid="Arrow1Mend"
       orient="auto"
       refY="0"
       refX="0"
       id="marker7710"
       style="overflow:visible"
       inkscape:isstock="true">
      <path
         id="path7712"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:isstock="true"
       style="overflow:visible"
       id="marker13358"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow1Mend"
       inkscape:collect="always">
      <path
         inkscape:connector-curvature="0"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         id="path13360" />
    </marker>
    <marker
       inkscape:stockid="Arrow1Mend"
       orient="auto"
       refY="0"
       refX="0"
       id="marker11524"
       style="overflow:visible"
       inkscape:isstock="true"
       inkscape:collect="always">
      <path
         id="path11526"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:isstock="true"
       style="overflow:visible"
       id="marker11122"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow1Mend"
       inkscape:collect="always">
      <path
         inkscape:connector-curvature="0"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         id="path11124" />
    </marker>
    <marker
       inkscape:stockid="Arrow1Mend"
       orient="auto"
       refY="0"
       refX="0"
       id="marker9783"
       style="overflow:visible"
       inkscape:isstock="true"
       inkscape:collect="always">
      <path
         id="path9785"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:isstock="true"
       style="overflow:visible"
       id="marker9289"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow1Mend"
       inkscape:collect="always">
      <path
         inkscape:connector-curvature="0"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         id="path9291" />
    </marker>
    <marker
       inkscape:stockid="Arrow1Mend"
       orient="auto"
       refY="0"
       refX="0"
       id="marker8905"
       style="overflow:visible"
       inkscape:isstock="true"
       inkscape:collect="always">
      <path
         id="path8907"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:isstock="true"
       style="overflow:visible"
       id="marker6833"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow1Mend"
       inkscape:collect="always">
      <path
         inkscape:connector-curvature="0"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         id="path6835" />
    </marker>
    <marker
       inkscape:stockid="Arrow1Mend"
       orient="auto"
       refY="0"
       refX="0"
       id="marker6348"
       style="overflow:visible"
       inkscape:isstock="true"
       inkscape:collect="always">
      <path
         id="path6350"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:isstock="true"
       style="overflow:visible"
       id="marker5988"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow1Mend"
       inkscape:collect="always">
      <path
         inkscape:connector-curvature="0"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         id="path5990" />
    </marker>
    <marker
       inkscape:stockid="Arrow1Mend"
       orient="auto"
       refY="0"
       refX="0"
       id="marker5374"
       style="overflow:visible"
       inkscape:isstock="true"
       inkscape:collect="always">
      <path
         id="path5376"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:isstock="true"
       style="overflow:visible"
       id="marker5014"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow1Mend"
       inkscape:collect="always">
      <path
         inkscape:connector-curvature="0"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         id="path5016" />
    </marker>
    <marker
       inkscape:stockid="Arrow1Mend"
       orient="auto"
       refY="0"
       refX="0"
       id="marker6215"
       style="overflow:visible"
       inkscape:isstock="true"
       inkscape:collect="always">
      <path
         id="path6217"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:isstock="true"
       style="overflow:visible"
       id="marker6969"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow1Mend"
       inkscape:collect="always">
      <path
         inkscape:connector-curvature="0"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         id="path6971" />
    </marker>
    <marker
       inkscape:stockid="Arrow1Mend"
       orient="auto"
       refY="0"
       refX="0"
       id="marker5557"
       style="overflow:visible"
       inkscape:isstock="true"
       inkscape:collect="always">
      <path
         id="path5559"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:isstock="true"
       style="overflow:visible"
       id="marker5287"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow1Mend"
       inkscape:collect="always">
      <path
         inkscape:connector-curvature="0"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         id="path5289" />
    </marker>
    <marker
       inkscape:stockid="Arrow1Mend"
       orient="auto"
       refY="0"
       refX="0"
       id="marker4495"
       style="overflow:visible"
       inkscape:isstock="true"
       inkscape:collect="always">
      <path
         id="path4497"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:isstock="true"
       style="overflow:visible"
       id="marker9951"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow1Mend"
       inkscape:collect="always">
      <path
         inkscape:connector-curvature="0"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         id="path9953" />
    </marker>
    <marker
       inkscape:stockid="Arrow1Mend"
       orient="auto"
       refY="0"
       refX="0"
       id="marker14561"
       style="overflow:visible"
       inkscape:isstock="true"
       inkscape:collect="always">
      <path
         id="path14563"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:stockid="Arrow1Mend"
       orient="auto"
       refY="0"
       refX="0"
       id="marker14345"
       style="overflow:visible"
       inkscape:isstock="true">
      <path
         id="path14347"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:stockid="Arrow1Mend"
       orient="auto"
       refY="0"
       refX="0"
       id="marker14057"
       style="overflow:visible"
       inkscape:isstock="true">
      <path
         id="path14059"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:stockid="Arrow1Mend"
       orient="auto"
       refY="0"
       refX="0"
       id="marker13847"
       style="overflow:visible"
       inkscape:isstock="true">
      <path
         id="path13849"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:isstock="true"
       style="overflow:visible"
       id="marker9248"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow1Mend">
      <path
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         id="path9250"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:isstock="true"
       style="overflow:visible"
       id="marker9248-4-8"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow1Mend">
      <path
         inkscape:connector-curvature="0"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         id="path9250-5-4" />
    </marker>
    <marker
       inkscape:isstock="true"
       style="overflow:visible"
       id="marker9248-4-8-6-6"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow1Mend">
      <path
         inkscape:connector-curvature="0"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         id="path9250-5-4-6-8" />
    </marker>
    <marker
       inkscape:isstock="true"
       style="overflow:visible"
       id="marker9248-4-8-6-6-4"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow1Mend">
      <path
         inkscape:connector-curvature="0"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         id="path9250-5-4-6-8-2" />
    </marker>
    <marker
       inkscape:isstock="true"
       style="overflow:visible"
       id="marker9248-4-8-6-6-4-2"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow1Mend">
      <path
         inkscape:connector-curvature="0"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         id="path9250-5-4-6-8-2-0" />
    </marker>
    <marker
       inkscape:isstock="true"
       style="overflow:visible"
       id="marker9248-0"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow1Mend">
      <path
         inkscape:connector-curvature="0"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         id="path9250-1" />
    </marker>
    <marker
       inkscape:isstock="true"
       style="overflow:visible"
       id="marker9248-0-2"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow1Mend">
      <path
         inkscape:connector-curvature="0"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         id="path9250-1-1" />
    </marker>
    <marker
       inkscape:isstock="true"
       style="overflow:visible"
       id="marker9248-0-6"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow1Mend">
      <path
         inkscape:connector-curvature="0"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         id="path9250-1-3" />
    </marker>
    <marker
       inkscape:isstock="true"
       style="overflow:visible"
       id="marker9248-0-6-1"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow1Mend">
      <path
         inkscape:connector-curvature="0"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         id="path9250-1-3-4" />
    </marker>
    <marker
       inkscape:isstock="true"
       style="overflow:visible"
       id="marker9248-0-6-1-5"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow1Mend">
      <path
         inkscape:connector-curvature="0"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         id="path9250-1-3-4-7" />
    </marker>
    <marker
       inkscape:isstock="true"
       style="overflow:visible"
       id="marker9248-4-8-6-6-4-2-9"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow1Mend">
      <path
         inkscape:connector-curvature="0"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         id="path9250-5-4-6-8-2-0-7" />
    </marker>
    <marker
       inkscape:isstock="true"
       style="overflow:visible"
       id="marker9248-4-8-6-6-4-9"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow1Mend">
      <path
         inkscape:connector-curvature="0"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         id="path9250-5-4-6-8-2-4" />
    </marker>
    <marker
       inkscape:isstock="true"
       style="overflow:visible"
       id="marker9248-4-8-6-6-5"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow1Mend">
      <path
         inkscape:connector-curvature="0"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         id="path9250-5-4-6-8-8" />
    </marker>
    <marker
       inkscape:isstock="true"
       style="overflow:visible"
       id="marker9248-4-8-8"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow1Mend">
      <path
         inkscape:connector-curvature="0"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         id="path9250-5-4-9" />
    </marker>
    <marker
       inkscape:isstock="true"
       style="overflow:visible"
       id="marker9248-8"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow1Mend">
      <path
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         id="path9250-9"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:isstock="true"
       style="overflow:visible"
       id="marker9248-0-6-8"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow1Mend">
      <path
         inkscape:connector-curvature="0"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         id="path9250-1-3-3" />
    </marker>
    <marker
       inkscape:isstock="true"
       style="overflow:visible"
       id="marker9248-0-6-0"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow1Mend">
      <path
         inkscape:connector-curvature="0"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         id="path9250-1-3-47" />
    </marker>
    <marker
       inkscape:isstock="true"
       style="overflow:visible"
       id="marker9248-6"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow1Mend">
      <path
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         id="path9250-97"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:isstock="true"
       style="overflow:visible"
       id="marker9248-6-3"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow1Mend">
      <path
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         id="path9250-97-8"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:stockid="Arrow1Mend"
       orient="auto"
       refY="0"
       refX="0"
       id="marker14561-5"
       style="overflow:visible"
       inkscape:isstock="true"
       inkscape:collect="always">
      <path
         id="path14563-6"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:isstock="true"
       style="overflow:visible"
       id="marker9248-6-3-0"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow1Mend">
      <path
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         id="path9250-97-8-7"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:isstock="true"
       style="overflow:visible"
       id="marker9248-0-6-0-4"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow1Mend">
      <path
         inkscape:connector-curvature="0"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         id="path9250-1-3-47-2" />
    </marker>
    <marker
       inkscape:isstock="true"
       style="overflow:visible"
       id="marker9951-0"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow1Mend">
      <path
         inkscape:connector-curvature="0"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         id="path9953-5" />
    </marker>
    <marker
       inkscape:stockid="Arrow1Mend"
       orient="auto"
       refY="0"
       refX="0"
       id="marker5557-5"
       style="overflow:visible"
       inkscape:isstock="true">
      <path
         id="path5559-0"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:stockid="Arrow1Mend"
       orient="auto"
       refY="0"
       refX="0"
       id="marker14561-5-3"
       style="overflow:visible"
       inkscape:isstock="true"
       inkscape:collect="always">
      <path
         id="path14563-6-2"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:stockid="Arrow1Mend"
       orient="auto"
       refY="0"
       refX="0"
       id="marker14561-5-3-1"
       style="overflow:visible"
       inkscape:isstock="true"
       inkscape:collect="always">
      <path
         id="path14563-6-2-9"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:isstock="true"
       style="overflow:visible"
       id="marker9951-0-4"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow1Mend">
      <path
         inkscape:connector-curvature="0"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         id="path9953-5-0" />
    </marker>
    <marker
       inkscape:stockid="Arrow1Mend"
       orient="auto"
       refY="0"
       refX="0"
       id="marker4495-5"
       style="overflow:visible"
       inkscape:isstock="true"
       inkscape:collect="always">
      <path
         id="path4497-3"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:stockid="Arrow1Mend"
       orient="auto"
       refY="0"
       refX="0"
       id="marker4495-5-0"
       style="overflow:visible"
       inkscape:isstock="true"
       inkscape:collect="always">
      <path
         id="path4497-3-5"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:stockid="Arrow1Mend"
       orient="auto"
       refY="0"
       refX="0"
       id="marker14561-5-3-3"
       style="overflow:visible"
       inkscape:isstock="true"
       inkscape:collect="always">
      <path
         id="path14563-6-2-4"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:stockid="Arrow1Mend"
       orient="auto"
       refY="0"
       refX="0"
       id="marker14561-5-36"
       style="overflow:visible"
       inkscape:isstock="true"
       inkscape:collect="always">
      <path
         id="path14563-6-4"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:stockid="Arrow1Mend"
       orient="auto"
       refY="0"
       refX="0"
       id="marker14561-5-3-1-7"
       style="overflow:visible"
       inkscape:isstock="true"
       inkscape:collect="always">
      <path
         id="path14563-6-2-9-6"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:stockid="Arrow1Mend"
       orient="auto"
       refY="0"
       refX="0"
       id="marker14561-5-3-1-7-5"
       style="overflow:visible"
       inkscape:isstock="true"
       inkscape:collect="always">
      <path
         id="path14563-6-2-9-6-3"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:isstock="true"
       style="overflow:visible"
       id="marker9248-6-3-5"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow1Mend">
      <path
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         id="path9250-97-8-0"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:isstock="true"
       style="overflow:visible"
       id="marker9248-6-0"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow1Mend">
      <path
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         id="path9250-97-9"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:isstock="true"
       style="overflow:visible"
       id="marker9248-6-0-0"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow1Mend">
      <path
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         id="path9250-97-9-9"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:isstock="true"
       style="overflow:visible"
       id="marker9951-5"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow1Mend"
       inkscape:collect="always">
      <path
         inkscape:connector-curvature="0"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         id="path9953-0" />
    </marker>
    <marker
       inkscape:isstock="true"
       style="overflow:visible"
       id="marker9248-6-6"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow1Mend">
      <path
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         id="path9250-97-1"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:isstock="true"
       style="overflow:visible"
       id="marker6833-1"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow1Mend">
      <path
         inkscape:connector-curvature="0"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         id="path6835-0" />
    </marker>
    <marker
       inkscape:stockid="Arrow1Mend"
       orient="auto"
       refY="0"
       refX="0"
       id="marker9783-5"
       style="overflow:visible"
       inkscape:isstock="true">
      <path
         id="path9785-9"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:isstock="true"
       style="overflow:visible"
       id="marker9951-0-4-6"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow1Mend">
      <path
         inkscape:connector-curvature="0"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         id="path9953-5-0-5" />
    </marker>
    <marker
       inkscape:stockid="Arrow1Mend"
       orient="auto"
       refY="0"
       refX="0"
       id="marker4495-5-7"
       style="overflow:visible"
       inkscape:isstock="true"
       inkscape:collect="always">
      <path
         id="path4497-3-2"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:stockid="Arrow1Mend"
       orient="auto"
       refY="0"
       refX="0"
       id="marker4495-5-0-2"
       style="overflow:visible"
       inkscape:isstock="true"
       inkscape:collect="always">
      <path
         id="path4497-3-5-0"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         inkscape:connector-curvature="0" />
    </marker>
  </defs>
  <sodipodi:namedview
     id="base"
     pagecolor="#ffffff"
     bordercolor="#666666"
     borderopacity="1.0"
     inkscape:pageopacity="0.0"
     inkscape:pageshadow="2"
     inkscape:zoom="2.8284273"
     inkscape:cx="103.40723"
     inkscape:cy="264.28503"
     inkscape:document-units="px"
     inkscape:current-layer="layer1"
     showgrid="false"
     inkscape:window-width="1920"
     inkscape:window-height="1017"
     inkscape:window-x="-8"
     inkscape:window-y="-8"
     inkscape:window-maximized="1"
     fit-margin-top="0"
     fit-margin-left="0"
     fit-margin-right="0"
     fit-margin-bottom="0"
     showguides="true"
     inkscape:guide-bbox="true" />
  <metadata
     id="metadata7">
    <rdf:RDF>
      <cc:Work
         rdf:about="">
        <dc:format>image/svg+xml</dc:format>
        <dc:type
           rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
        <dc:title />
      </cc:Work>
    </rdf:RDF>
  </metadata>
  <g
     inkscape:label="Layer 1"
     inkscape:groupmode="layer"
     id="layer1"
     transform="translate(-99.967734,-188.00919)">
    <rect
       rx="7"
       style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate"
       id="rect4136-3-6"
       width="1140.9067"
       height="446.98492"
       x="100.31773"
       y="188.35919"
       ry="7" />
    <path
       sodipodi:nodetypes="cc"
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
       d="m 100.06458,200.48499 1140.25672,0"
       id="path4138-2-9"
       inkscape:connector-curvature="0" />
    <path
       sodipodi:nodetypes="cc"
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:4, 8;stroke-dashoffset:0;stroke-opacity:1"
       d="m 102.25809,495.27965 1012.04821,0"
       id="path4138-2-9-3"
       inkscape:connector-curvature="0" />
    <path
       sodipodi:nodetypes="cc"
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:4, 8;stroke-dashoffset:0;stroke-opacity:1"
       d="m 354.91553,633.72872 0,-138.59167"
       id="path4138-2-9-3-7"
       inkscape:connector-curvature="0" />
    <path
       sodipodi:nodetypes="cc"
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
       d="m 1115.702,634.80363 0,-433.38389"
       id="path4138-2-9-3-7-0"
       inkscape:connector-curvature="0" />
    <rect
       style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate"
       id="rect4136-1-4-2"
       width="46.824177"
       height="20"
       x="1148.7444"
       y="316.06638"
       ry="7"
       rx="7" />
    <path
       sodipodi:nodetypes="cc"
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
       d="m 1148.7288,325.91275 46.4671,0"
       id="path4138-6-8-0"
       inkscape:connector-curvature="0" />
    <text
       sodipodi:linespacing="125%"
       id="text4152-8-8-6"
       y="323.215"
       x="1157.3477"
       style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       xml:space="preserve"
       transform="scale(0.999993,1.000007)"><tspan
         y="323.215"
         x="1157.3477"
         id="tspan4154-9-8-6"
         sodipodi:role="line">stopped</tspan></text>
    <path
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker9248-6-3-0)"
       d="m 1116.0357,302.40424 50.4054,0 -0.044,11.97662"
       id="path9240-73-6"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="ccc" />
    <text
       sodipodi:linespacing="125%"
       id="text4528-4-9-0-1"
       y="279.54465"
       x="1118.7952"
       style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       xml:space="preserve"
       transform="scale(0.999993,1.000007)"><tspan
         style="font-size:6.25px"
         y="279.54465"
         x="1118.7952"
         sodipodi:role="line"
         id="tspan11406">     [IN(/simulation_state/stopped)</tspan><tspan
         style="font-size:6.25px"
         y="287.35715"
         x="1118.7952"
         sodipodi:role="line"
         id="tspan6780">and IN(/simulation_flow/stopped)] /</tspan><tspan
         style="font-size:6.25px"
         y="295.16965"
         x="1118.7952"
         sodipodi:role="line"
         id="tspan6805"> self.finalize()</tspan></text>
    <text
       sodipodi:linespacing="125%"
       id="text4152-5-0-4"
       y="196.45534"
       x="487.41339"
       style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       xml:space="preserve"><tspan
         y="196.45534"
         x="487.41339"
         id="tspan4154-95-8-1"
         sodipodi:role="line"
         style="font-weight:bold">statechart <tspan
   style="font-weight:normal"
   id="tspan39494">{inports: in; outports: out, semantics: {internal_event_lifeline=next_combo_step}}</tspan></tspan></text>
    <text
       xml:space="preserve"
       style="font-style:normal;font-weight:normal;font-size:9.1942749px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       x="265.50198"
       y="274.16"
       id="text6592"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan6594"
         x="265.50198"
         y="274.16" /></text>
    <text
       xml:space="preserve"
       style="font-style:normal;font-weight:normal;font-size:9.1942749px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       x="493.82623"
       y="461.61942"
       id="text5128"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan5130"
         x="493.82623"
         y="461.61942" /></text>
    <text
       sodipodi:linespacing="125%"
       id="text4152-5-7-6-5-3"
       y="506.7121"
       x="637.07117"
       style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       xml:space="preserve"><tspan
         y="506.7121"
         x="637.07117"
         id="tspan4154-95-2-1-0-0"
         sodipodi:role="line"
         style="font-style:italic">UserOutput</tspan></text>
    <g
       id="g4430-1"
       transform="matrix(0.99999563,0,0,0.99999649,688.85345,643.96396)">
      <rect
         rx="7.0000329"
         ry="7.0000329"
         y="-82.003708"
         x="124.64892"
         height="18"
         width="69.671318"
         id="rect4136-1-4-5-70"
         style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate" />
      <path
         inkscape:connector-curvature="0"
         id="path4138-6-8-6-8"
         d="m 124.63226,-72.024559 69.75708,0"
         style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
         sodipodi:nodetypes="cc" />
      <text
         xml:space="preserve"
         style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
         x="146.15266"
         y="-74.719902"
         id="text4152-8-8-5-3"
         sodipodi:linespacing="125%"><tspan
           sodipodi:role="line"
           id="tspan4154-9-8-9-1"
           x="146.15266"
           y="-74.719902">waiting</tspan></text>
    </g>
    <path
       sodipodi:nodetypes="cccc"
       inkscape:connector-curvature="0"
       id="path4156-1-8"
       d="m 842.72555,580.01499 0,10.52517 8.4727,0 0,-9.08627"
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker14561-5)" />
    <text
       sodipodi:linespacing="125%"
       id="text4528-4-7"
       y="598.97156"
       x="790.3609"
       style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       xml:space="preserve"><tspan
         style="font-size:6.25px"
         y="598.97156"
         x="790.3609"
         id="tspan4530-1-1"
         sodipodi:role="line">termination_condition / </tspan><tspan
         style="font-size:6.25px"
         y="606.78406"
         x="790.3609"
         sodipodi:role="line"
         id="tspan10861"> out::terminated,</tspan><tspan
         style="font-size:6.25px"
         y="614.59656"
         x="790.3609"
         sodipodi:role="line"
         id="tspan10863"> out::current_state(self.simulated_time, self.state)</tspan></text>
    <path
       sodipodi:nodetypes="cccc"
       inkscape:connector-curvature="0"
       id="path4156-1-8-5"
       d="m 842.72555,561.91335 0,-10.52517 8.4727,0 0,9.08627"
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker14561-5-3)" />
    <text
       sodipodi:linespacing="125%"
       id="text4528-4-7-5"
       y="527.60468"
       x="781.53986"
       style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       xml:space="preserve"><tspan
         style="font-size:6.25px"
         y="527.60468"
         x="781.53986"
         id="tspan4530-1-1-1"
         sodipodi:role="line">paused /</tspan><tspan
         style="font-size:6.25px"
         y="535.41718"
         x="781.53986"
         sodipodi:role="line"
         id="tspan10861-2"> out::paused,</tspan><tspan
         style="font-size:6.25px"
         y="543.22968"
         x="781.53986"
         sodipodi:role="line"
         id="tspan10863-4"> out::current_state(self.simulated_time, self.state)</tspan></text>
    <path
       sodipodi:nodetypes="cccc"
       inkscape:connector-curvature="0"
       id="path4156-1-8-5-9"
       d="m 883.33685,567.32717 10.5251,0 0,8.47266 -10.1469,0"
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker14561-5-3-1)" />
    <text
       sodipodi:linespacing="125%"
       id="text4528-4-7-5-4"
       y="565.78851"
       x="898.91949"
       style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       xml:space="preserve"><tspan
         style="font-size:6.25px"
         y="565.78851"
         x="898.91949"
         id="tspan4530-1-1-1-0"
         sodipodi:role="line">big_step_done [IN(/simulation_state/running/realtime)</tspan><tspan
         style="font-size:6.25px"
         y="573.60101"
         x="898.91949"
         sodipodi:role="line"
         id="tspan6630">                   or IN(/simulation_state/running/big_step)</tspan><tspan
         style="font-size:6.25px"
         y="581.41351"
         x="898.91949"
         sodipodi:role="line"
         id="tspan6632">                   or IN(/simulation_state/running/big_step_done)] /</tspan><tspan
         style="font-size:6.25px"
         y="589.22601"
         x="898.91949"
         sodipodi:role="line"
         id="tspan10861-2-7"> out::stepped,</tspan><tspan
         style="font-size:6.25px"
         y="597.03851"
         x="898.91949"
         sodipodi:role="line"
         id="tspan10863-4-1"> out::current_state(self.simulated_time, self.state)</tspan></text>
    <path
       sodipodi:nodetypes="cccc"
       inkscape:connector-curvature="0"
       id="path4156-1-8-5-9-0-9"
       d="m 813.21015,567.0492 -10.5252,0 0,8.47266 10.147,0"
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker14561-5-3-1-7-5)" />
    <ellipse
       style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate"
       id="path9238-1-4"
       cx="804.86224"
       cy="551.50879"
       rx="2.9999869"
       ry="2.9999895" />
    <path
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker6969)"
       d="m 808.00195,551.18409 15.5,0 0,9.75"
       id="path6961"
       inkscape:connector-curvature="0" />
    <text
       sodipodi:linespacing="125%"
       id="text4528-4-7-5-1-3-1-4"
       y="567.16608"
       x="648.42944"
       style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       xml:space="preserve"><tspan
         style="font-size:6.25px"
         y="567.16608"
         x="648.42944"
         sodipodi:role="line"
         id="tspan7274-6-8-0">breakpoint_triggered</tspan><tspan
         style="font-size:6.25px"
         y="574.97858"
         x="648.42944"
         sodipodi:role="line"
         id="tspan7278-2-0-1"> out::breakpoint_triggered(self.simulated_time, </tspan><tspan
         style="font-size:6.25px"
         y="582.79108"
         x="648.42944"
         sodipodi:role="line"
         id="tspan7360">                                        self.triggered_bp)</tspan></text>
    <g
       id="g4629"
       transform="translate(-143.89137,28.057476)">
      <g
         transform="matrix(0.99999563,0,0,0.99999649,440.26812,620.68534)"
         id="g4430-1-2">
        <rect
           style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate"
           id="rect4136-1-4-5-70-6"
           width="69.671318"
           height="18"
           x="124.64892"
           y="-82.003708"
           ry="7.0000329"
           rx="7.0000334" />
        <path
           sodipodi:nodetypes="cc"
           style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
           d="m 124.63226,-72.024559 69.75708,0"
           id="path4138-6-8-6-8-6"
           inkscape:connector-curvature="0" />
        <text
           sodipodi:linespacing="125%"
           id="text4152-8-8-5-3-8"
           y="-74.719902"
           x="143.67525"
           style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
           xml:space="preserve"><tspan
             y="-74.719902"
             x="143.67525"
             id="tspan4154-9-8-9-1-8"
             sodipodi:role="line">Listening</tspan></text>
      </g>
    </g>
    <path
       sodipodi:nodetypes="cccc"
       inkscape:connector-curvature="0"
       id="path4156-1-8-5-5"
       d="m 450.32959,566.57816 0,-10.52517 8.4727,0 0,9.08627"
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker14561-5-3-3)" />
    <path
       sodipodi:nodetypes="cccc"
       inkscape:connector-curvature="0"
       id="path4156-1-8-1"
       d="m 450.32959,584.49709 0,10.52517 8.4727,0 0,-9.08627"
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker14561-5-36)" />
    <path
       sodipodi:nodetypes="cccc"
       inkscape:connector-curvature="0"
       id="path4156-1-8-5-9-0"
       d="m 490.74049,571.80927 10.5252,0 0,8.47266 -10.1469,0"
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker14561-5-3-1-7)" />
    <text
       sodipodi:linespacing="125%"
       id="text4528-4-7-5-1"
       y="604.79138"
       x="374.43051"
       style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       xml:space="preserve"><tspan
         style="font-size:6.25px"
         y="604.79138"
         x="374.43051"
         sodipodi:role="line"
         id="tspan10863-4-4">in::add_breakpoint(name, function, enabled, disable_on_trigger) /</tspan><tspan
         style="font-size:6.25px"
         y="612.60388"
         x="374.43051"
         sodipodi:role="line"
         id="tspan7274"> result = self.addBreakpoint(name, function, enabled, disable_on_trigger),</tspan><tspan
         style="font-size:6.25px"
         y="620.41638"
         x="374.43051"
         sodipodi:role="line"
         id="tspan7278"> out::add_breakpoint_result(result)</tspan></text>
    <text
       sodipodi:linespacing="125%"
       id="text4528-4-7-5-1-3"
       y="570.86542"
       x="505.60886"
       style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       xml:space="preserve"><tspan
         style="font-size:6.25px"
         y="570.86542"
         x="505.60886"
         sodipodi:role="line"
         id="tspan10863-4-4-8">in::del_breakpoint(name) /</tspan><tspan
         style="font-size:6.25px"
         y="578.67792"
         x="505.60886"
         sodipodi:role="line"
         id="tspan7274-6"> result = self.delBreakpoint(name),</tspan><tspan
         style="font-size:6.25px"
         y="586.49042"
         x="505.60886"
         sodipodi:role="line"
         id="tspan7278-2"> out::del_breakpoint_result(result)</tspan></text>
    <text
       sodipodi:linespacing="125%"
       id="text4528-4-7-5-1-3-1"
       y="535.49481"
       x="439.73203"
       style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       xml:space="preserve"><tspan
         style="font-size:6.25px"
         y="535.49481"
         x="439.73203"
         sodipodi:role="line"
         id="tspan10863-4-4-8-7">in::toggle_breakpoint(name) /</tspan><tspan
         style="font-size:6.25px"
         y="543.30731"
         x="439.73203"
         sodipodi:role="line"
         id="tspan7274-6-8"> result = self.toggleBreakpoint(name),</tspan><tspan
         style="font-size:6.25px"
         y="551.11981"
         x="439.73203"
         sodipodi:role="line"
         id="tspan7278-2-0"> out::toggle_breakpoint_result(result)</tspan></text>
    <text
       sodipodi:linespacing="125%"
       id="text4152-5-7-6-5-3-4"
       y="506.84393"
       x="363.59781"
       style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       xml:space="preserve"><tspan
         y="506.84393"
         x="363.59781"
         id="tspan4154-95-2-1-0-0-1"
         sodipodi:role="line"
         style="font-style:italic">BreakpointManager</tspan></text>
    <g
       id="g4426-4"
       transform="translate(297.00838,641.52285)">
      <circle
         r="3"
         cy="-68.843407"
         cx="97.341057"
         id="path9238-2"
         style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate" />
      <path
         sodipodi:nodetypes="cc"
         inkscape:connector-curvature="0"
         id="path9240-0"
         d="m 100.5837,-68.843422 22.05546,0"
         style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker9248-6-0)" />
    </g>
    <g
       id="g4629-3"
       transform="translate(-387.48941,32.643317)">
      <g
         transform="matrix(0.99999563,0,0,0.99999649,440.26812,620.68534)"
         id="g4430-1-2-0">
        <rect
           style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate"
           id="rect4136-1-4-5-70-6-1"
           width="69.671318"
           height="18"
           x="124.64892"
           y="-82.003708"
           ry="7.0000329"
           rx="7.0000329" />
        <path
           sodipodi:nodetypes="cc"
           style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
           d="m 124.63226,-72.024559 69.75708,0"
           id="path4138-6-8-6-8-6-2"
           inkscape:connector-curvature="0" />
        <text
           sodipodi:linespacing="125%"
           id="text4152-8-8-5-3-8-6"
           y="-74.719902"
           x="143.67525"
           style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
           xml:space="preserve"><tspan
             y="-74.719902"
             x="143.67525"
             id="tspan4154-9-8-9-1-8-8"
             sodipodi:role="line">listening</tspan></text>
      </g>
    </g>
    <path
       sodipodi:nodetypes="cccc"
       inkscape:connector-curvature="0"
       id="path4156-1-8-5-5-5"
       d="m 206.73157,571.16401 0,-10.52517 8.47266,0 0,9.08627"
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker6215)" />
    <text
       sodipodi:linespacing="125%"
       id="text4528-4-7-5-1-3-1-8"
       y="541.58075"
       x="122.6338"
       style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       xml:space="preserve"><tspan
         style="font-size:6.25px"
         y="541.58075"
         x="122.6338"
         sodipodi:role="line"
         id="tspan6512">in::god_event(state_var, new_val) [IN(/simulation_state/paused)] /</tspan><tspan
         style="font-size:6.25px"
         y="549.39325"
         x="122.6338"
         sodipodi:role="line"
         id="tspan6516"> result = self.godEvent(state_var, new_val),</tspan><tspan
         style="font-size:6.25px"
         y="557.20575"
         x="122.6338"
         sodipodi:role="line"
         id="tspan6518"> god_event_result(result)</tspan></text>
    <text
       sodipodi:linespacing="125%"
       id="text4152-5-7-6-5-3-4-5"
       y="506.84393"
       x="105.24221"
       style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       xml:space="preserve"><tspan
         y="506.84393"
         x="105.24221"
         id="tspan4154-95-2-1-0-0-1-2"
         sodipodi:role="line"
         style="font-style:italic">GodEventManager</tspan></text>
    <g
       id="g4426-4-1"
       transform="translate(53.853295,644.46307)">
      <circle
         r="3"
         cy="-68.843407"
         cx="97.341057"
         id="path9238-2-0"
         style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate" />
      <path
         sodipodi:nodetypes="cc"
         inkscape:connector-curvature="0"
         id="path9240-0-3"
         d="m 100.5837,-68.843422 22.05546,0"
         style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker9248-6-0-0)" />
    </g>
    <text
       xml:space="preserve"
       style="font-style:normal;font-weight:normal;font-size:9.1942749px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       x="-33.24799"
       y="597.68188"
       id="text5758"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan5760"
         x="-33.24799"
         y="597.68188" /></text>
    <text
       xml:space="preserve"
       style="font-style:normal;font-weight:normal;font-size:9.1942749px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       x="-148.22672"
       y="735.72198"
       id="text6722"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan6724"
         x="-148.22672"
         y="735.72198" /></text>
    <text
       sodipodi:linespacing="125%"
       id="text4152-5-7-6"
       y="210.2946"
       x="637.44836"
       style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       xml:space="preserve"><tspan
         y="210.2946"
         x="637.44836"
         id="tspan4154-95-2-1"
         sodipodi:role="line"
         style="font-style:italic">SimulationState</tspan></text>
    <rect
       rx="7"
       style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate"
       id="rect4136-1"
       width="46.824932"
       height="19.999929"
       x="748.57007"
       y="284.63754"
       ry="7" />
    <path
       sodipodi:nodetypes="cc"
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
       d="m 748.55368,294.48386 46.71768,0"
       id="path4138-6"
       inkscape:connector-curvature="0" />
    <text
       sodipodi:linespacing="125%"
       id="text4152-8"
       y="291.78885"
       x="758.62494"
       style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       xml:space="preserve"><tspan
         y="291.78885"
         x="758.62494"
         id="tspan4154-9"
         sodipodi:role="line">Paused</tspan></text>
    <g
       id="g6778"
       transform="translate(514.85483,-74.308359)">
      <rect
         rx="6.9999981"
         ry="7"
         y="527.80377"
         x="394.57697"
         height="19.999662"
         width="46.82494"
         id="rect4136-1-4"
         style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate" />
      <path
         inkscape:connector-curvature="0"
         id="path4138-6-8"
         d="m 394.56089,537.64997 46.4677,0"
         style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
         sodipodi:nodetypes="cc" />
      <text
         transform="scale(1.0000078,0.9999922)"
         xml:space="preserve"
         style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
         x="403.16763"
         y="534.95923"
         id="text4152-8-8"
         sodipodi:linespacing="125%"><tspan
           sodipodi:role="line"
           id="tspan4154-9-8"
           x="403.16763"
           y="534.95923">Stopped</tspan></text>
    </g>
    <ellipse
       style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate"
       id="path9238-6-0"
       cx="721.46631"
       cy="-294.32211"
       transform="scale(1,-1)"
       rx="3.000001"
       ry="2.9999897" />
    <path
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker9248-0-6)"
       d="m 724.70918,294.32214 21.55558,0"
       id="path9240-5-5"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <path
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker9248-0-6-1)"
       d="m 795.40749,291.52225 104.32039,0"
       id="path9240-5-5-1"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <path
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker9248-0-6-1-5)"
       d="m 932.84429,413.1405 0,38.5001"
       id="path9240-5-5-1-2"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <text
       sodipodi:linespacing="125%"
       id="text4528-4-0"
       y="288.93765"
       x="800.03802"
       style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       xml:space="preserve"><tspan
         style="font-size:6.25px"
         y="288.93765"
         x="800.03802"
         id="tspan4530-1-5"
         sodipodi:role="line">in::continuous</tspan></text>
    <text
       xml:space="preserve"
       style="font-style:normal;font-weight:normal;font-size:6.25px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       x="934.68835"
       y="437.73248"
       id="text15978"
       sodipodi:linespacing="125%"
       transform="scale(1.000008,0.999992)"><tspan
         sodipodi:role="line"
         x="934.68835"
         y="437.73248"
         id="tspan8584">self.endCondition() /</tspan><tspan
         sodipodi:role="line"
         x="934.68835"
         y="445.54498"
         id="tspan8588">   termination_condition</tspan></text>
    <g
       id="g4630"
       transform="translate(508.3794,-114.23259)">
      <rect
         ry="7.0000253"
         y="402.08453"
         x="391.85059"
         height="20"
         width="58.441673"
         id="rect4136-1-3"
         style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate"
         rx="6.9999943" />
      <path
         inkscape:connector-curvature="0"
         id="path4138-6-5"
         d="m 391.83394,411.93097 58.58959,0"
         style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
         sodipodi:nodetypes="cc" />
      <text
         xml:space="preserve"
         style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
         x="399.89343"
         y="409.23563"
         id="text4152-8-2"
         sodipodi:linespacing="125%"><tspan
           sodipodi:role="line"
           id="tspan4154-9-4"
           x="399.89343"
           y="409.23563">Continuous</tspan></text>
    </g>
    <rect
       rx="7"
       style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate"
       id="rect4136-3-1"
       width="203.8537"
       height="141.91266"
       x="863.38434"
       y="270.88736"
       ry="7" />
    <path
       sodipodi:nodetypes="cc"
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
       d="m 863.36793,280.7336 203.49627,0"
       id="path4138-2-4"
       inkscape:connector-curvature="0" />
    <text
       sodipodi:linespacing="125%"
       id="text4152-5-76"
       y="277.68527"
       x="947.74042"
       style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       xml:space="preserve"><tspan
         y="277.68527"
         x="947.74042"
         id="tspan4154-95-6"
         sodipodi:role="line"
         style="font-weight:bold">Running</tspan></text>
    <ellipse
       style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate"
       id="path9238-6-0-4"
       cx="873.99365"
       cy="-301.85013"
       transform="scale(1,-1)"
       rx="3.000001"
       ry="2.9999897" />
    <path
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker9248-0-6-0)"
       d="m 877.11042,301.84992 21.55547,0"
       id="path9240-5-5-6"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <text
       sodipodi:linespacing="125%"
       id="text4528-4-0-7"
       y="253.82674"
       x="825.12079"
       style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       xml:space="preserve"><tspan
         style="font-size:6.25px"
         y="253.82674"
         x="825.12079"
         sodipodi:role="line"
         id="tspan7098">in::pause</tspan></text>
    <g
       id="g4630-8"
       transform="translate(504.57913,-87.40094)">
      <rect
         ry="7.0000253"
         y="402.08453"
         x="391.85059"
         height="26.717529"
         width="75.942574"
         id="rect4136-1-3-8"
         style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate"
         rx="6.9999943" />
      <path
         inkscape:connector-curvature="0"
         id="path4138-6-5-4"
         d="m 391.83394,411.93097 75.61624,0"
         style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
         sodipodi:nodetypes="cc" />
      <text
         xml:space="preserve"
         style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
         x="413.23251"
         y="409.23563"
         id="text4152-8-2-1"
         sodipodi:linespacing="125%"><tspan
           sodipodi:role="line"
           id="tspan4154-9-4-3"
           x="413.23251"
           y="409.23563">Realtime</tspan></text>
    </g>
    <path
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999993;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker4495)"
       d="m 782.69796,304.68361 0,17 112.49416,0"
       id="path4487"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="ccc" />
    <text
       sodipodi:linespacing="125%"
       id="text4528-4-0-79"
       y="328.2037"
       x="795.41431"
       style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       xml:space="preserve"><tspan
         style="font-size:6.25px"
         y="328.2037"
         x="795.41431"
         id="tspan4530-1-5-1"
         sodipodi:role="line">in::realtime(scale)</tspan></text>
    <text
       sodipodi:linespacing="125%"
       id="text4528-4-9-0-5"
       y="330.52957"
       x="900.0022"
       style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       xml:space="preserve"><tspan
         style="font-size:6.25px"
         y="330.52957"
         x="900.0022"
         id="tspan4530-1-7-1-2"
         sodipodi:role="line">onentry:</tspan><tspan
         style="font-size:6.25px"
         y="338.34207"
         x="900.0022"
         sodipodi:role="line"
         id="tspan6629-6"> self.resetStartTime()</tspan></text>
    <g
       id="g4607"
       transform="translate(511.6988,-109.38985)">
      <rect
         ry="7.0000253"
         y="460.04227"
         x="388.53119"
         height="20"
         width="58.441673"
         id="rect4136-1-3-4"
         style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate"
         rx="6.9999943" />
      <path
         inkscape:connector-curvature="0"
         id="path4138-6-5-43"
         d="m 388.51455,469.88869 58.58959,0"
         style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
         sodipodi:nodetypes="cc" />
      <text
         xml:space="preserve"
         style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
         x="403.04498"
         y="467.19336"
         id="text4152-8-2-4"
         sodipodi:linespacing="125%"><tspan
           sodipodi:role="line"
           id="tspan4154-9-4-5"
           x="403.04498"
           y="467.19336">BigStep</tspan></text>
    </g>
    <g
       id="g16432"
       transform="translate(0.70711,0)">
      <g
         transform="translate(506.99169,-102.63618)"
         id="g4613">
        <rect
           rx="6.9999943"
           style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate"
           id="rect4136-1-3-4-5"
           width="66.691681"
           height="20"
           x="392.53119"
           y="491.04227"
           ry="7.0000253" />
        <path
           sodipodi:nodetypes="cc"
           style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
           d="m 392.51454,500.88869 66.58959,0"
           id="path4138-6-5-43-7"
           inkscape:connector-curvature="0" />
        <text
           sodipodi:linespacing="125%"
           id="text4152-8-2-4-3"
           y="498.19336"
           x="401.3775"
           style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
           xml:space="preserve"><tspan
             y="498.19336"
             x="401.3775"
             id="tspan4154-9-4-5-0"
             sodipodi:role="line">BigStepDone</tspan></text>
      </g>
    </g>
    <path
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker9951-0-4)"
       d="m 924.04783,370.66072 0,15.77253"
       id="path9240-7-4-6"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <text
       xml:space="preserve"
       style="font-style:normal;font-weight:normal;font-size:6.25px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       x="875.53717"
       y="382.078"
       id="text15978-3"
       sodipodi:linespacing="125%"
       transform="scale(1.0000078,0.9999922)"><tspan
         sodipodi:role="line"
         x="875.53717"
         y="382.078"
         id="tspan8588-3">big_step_done</tspan></text>
    <path
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999993;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker4495-5)"
       d="m 777.47117,304.51384 0,52.35534 121.28278,0"
       id="path4487-5"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="ccc" />
    <path
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999993;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker4495-5-0)"
       d="m 901.81893,390.29284 -130.22956,0 0,-84.05496"
       id="path4487-5-7"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="ccc" />
    <text
       sodipodi:linespacing="125%"
       id="text4528-4-0-9"
       y="354.58017"
       x="800.61487"
       style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       xml:space="preserve"><tspan
         style="font-size:6.25px"
         y="354.58017"
         x="800.61487"
         id="tspan4530-1-5-7"
         sodipodi:role="line">in::big_step</tspan></text>
    <text
       sodipodi:linespacing="125%"
       id="text4528-4-9-9-8"
       y="387.85104"
       x="789.84082"
       style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       xml:space="preserve"><tspan
         style="font-size:6.25px"
         y="387.85104"
         x="789.84082"
         sodipodi:role="line"
         id="tspan5265-8-6">after(sccd_yield())</tspan></text>
    <g
       id="g4784"
       transform="translate(818.38589,-570.27532)">
      <rect
         ry="7.0000072"
         y="810.57483"
         x="-69.815826"
         height="19.999939"
         width="57.324932"
         id="rect4136-1-8"
         style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate"
         rx="7" />
      <path
         inkscape:connector-curvature="0"
         id="path4138-6-1"
         d="m -69.832201,820.42121 57.147505,0"
         style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
         sodipodi:nodetypes="cc" />
      <text
         xml:space="preserve"
         style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
         x="-60.611977"
         y="817.72614"
         id="text4152-8-9"
         sodipodi:linespacing="125%"><tspan
           sodipodi:role="line"
           id="tspan4154-9-7"
           x="-60.611977"
           y="817.72614">PrePaused</tspan></text>
    </g>
    <g
       id="g4778"
       transform="translate(757.48051,-386.87543)">
      <rect
         ry="7"
         y="840.18188"
         x="-8.4104538"
         height="19.999939"
         width="113.325"
         id="rect4136-1-8-6"
         style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate"
         rx="7" />
      <path
         inkscape:connector-curvature="0"
         id="path4138-6-1-0"
         d="m -8.4268183,850.02827 112.6474983,0"
         style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
         sodipodi:nodetypes="cc" />
      <text
         xml:space="preserve"
         style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
         x="4.1034851"
         y="847.33319"
         id="text4152-8-9-0"
         sodipodi:linespacing="125%"><tspan
           sodipodi:role="line"
           id="tspan4154-9-7-3"
           x="4.1034851"
           y="847.33319">PreBreakpointTriggered</tspan></text>
    </g>
    <path
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker5014)"
       d="m 885.78379,270.80643 0,-24 -78.125,0"
       id="path5006"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="ccc" />
    <path
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker5374)"
       d="m 761.40879,260.55643 0,22.3125"
       id="path5366"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <text
       sodipodi:linespacing="125%"
       id="text4528-4-0-7-5"
       y="267.31488"
       x="763.07819"
       style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       xml:space="preserve"><tspan
         style="font-size:6.25px"
         y="267.31488"
         x="763.07819"
         sodipodi:role="line"
         id="tspan7098-8">after(sccd_yield()*2) /</tspan><tspan
         style="font-size:6.25px"
         y="275.12738"
         x="763.07819"
         sodipodi:role="line"
         id="tspan5780"> paused</tspan></text>
    <path
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker5988)"
       d="m 755.14251,453.42069 0,-147.05435"
       id="path5980"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <path
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker6348)"
       d="m 876.55777,413.00038 0,44.41295 -13.49569,0"
       id="path6340"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="ccc" />
    <rect
       style="fill:#ffffff;fill-opacity:1;stroke:none;stroke-width:0.69999999;stroke-linecap:square;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0"
       id="rect6700"
       width="9.5459414"
       height="8.6620579"
       x="871.96155"
       y="434.60916" />
    <text
       xml:space="preserve"
       style="font-style:normal;font-weight:normal;font-size:9.1942749px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       x="788.39014"
       y="440.97549"
       id="text8315"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         x="788.39014"
         y="440.97549"
         style="font-size:6.25px"
         id="tspan8340">[self.breakpointTriggers(INSTATE(Realtime))]</tspan></text>
    <rect
       style="fill:#ffffff;fill-opacity:1;stroke:none;stroke-width:0.69999999;stroke-linecap:square;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0"
       id="rect6700-1"
       width="15.556349"
       height="18.915106"
       x="748.99823"
       y="424.75516" />
    <text
       sodipodi:linespacing="125%"
       id="text4528-4-0-7-5-7"
       y="431.89059"
       x="712.44537"
       style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       xml:space="preserve"><tspan
         style="font-size:6.25px"
         y="431.89059"
         x="712.44537"
         sodipodi:role="line"
         id="tspan7098-8-3">after(sccd_yield()*2) /</tspan><tspan
         style="font-size:6.25px"
         y="439.70309"
         x="712.44537"
         sodipodi:role="line"
         id="tspan5780-8"> breakpoint_triggered</tspan></text>
    <text
       sodipodi:linespacing="125%"
       id="text4152-5-7-6-5"
       y="210.2946"
       x="105.53884"
       style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       xml:space="preserve"><tspan
         y="210.2946"
         x="105.53884"
         id="tspan4154-95-2-1-0"
         sodipodi:role="line"
         style="font-style:italic">SimulationFlow</tspan></text>
    <g
       id="g4430"
       transform="translate(79.099778,305.41611)">
      <rect
         rx="7"
         ry="7.0000005"
         y="-82.003708"
         x="38.259964"
         height="18"
         width="69.67131"
         id="rect4136-1-4-5"
         style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate" />
      <path
         inkscape:connector-curvature="0"
         id="path4138-6-8-6"
         d="m 38.243322,-72.024559 69.757048,0"
         style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
         sodipodi:nodetypes="cc" />
      <text
         xml:space="preserve"
         style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
         x="57.083046"
         y="-74.719917"
         id="text4152-8-8-5"
         sodipodi:linespacing="125%"><tspan
           sodipodi:role="line"
           id="tspan4154-9-8-9"
           x="57.083046"
           y="-74.719917">Initialize</tspan></text>
    </g>
    <g
       id="g4426"
       transform="matrix(0,-1,1,0,192.77835,364.90125)">
      <circle
         r="3"
         cy="-68.843407"
         cx="97.341057"
         id="path9238"
         style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate" />
      <path
         sodipodi:nodetypes="cc"
         inkscape:connector-curvature="0"
         id="path9240"
         d="m 100.5837,-68.843422 22.05546,0"
         style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker9248-6)" />
    </g>
    <path
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker9951)"
       d="m 238.58435,241.22364 0,20.02253"
       id="path9240-7"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <text
       sodipodi:linespacing="125%"
       id="text4528-4"
       y="255.80594"
       x="158.22688"
       style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       xml:space="preserve"><tspan
         style="font-size:6.25px"
         y="255.80594"
         x="158.22688"
         id="tspan4530-1"
         sodipodi:role="line">/ self.initialize()</tspan></text>
    <path
       sodipodi:nodetypes="cccc"
       inkscape:connector-curvature="0"
       id="path4156-1"
       d="m 176.50206,336.12439 -10.07423,0 0,-63.76427 36.04645,0"
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker14561)" />
    <g
       transform="translate(79.022234,345.7942)"
       id="g4430-2-2">
      <rect
         rx="7"
         ry="7.0000005"
         y="-82.003708"
         x="124.64892"
         height="18"
         width="77.671318"
         id="rect4136-1-4-5-7-3"
         style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate" />
      <path
         inkscape:connector-curvature="0"
         id="path4138-6-8-6-0-8"
         d="m 124.63226,-72.024559 77.69902,0"
         style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
         sodipodi:nodetypes="cc" />
      <text
         xml:space="preserve"
         style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
         x="130.00191"
         y="-74.469902"
         id="text4152-8-8-5-0-7"
         sodipodi:linespacing="125%"><tspan
           sodipodi:role="line"
           id="tspan4154-9-8-9-84-5"
           x="130.00191"
           y="-74.469902">CheckTermination</tspan></text>
    </g>
    <path
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker9951-0)"
       d="m 238.58435,281.94023 0,47.14905"
       id="path9240-7-4"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <rect
       style="fill:#ffffff;fill-opacity:1;stroke:none;stroke-width:1;stroke-linecap:square;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0"
       id="rect6128"
       width="144.13062"
       height="24.369165"
       x="169.58168"
       y="295.06653" />
    <text
       sodipodi:linespacing="125%"
       id="text4528-4-6"
       y="301.12085"
       x="170.03139"
       style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       xml:space="preserve"><tspan
         style="font-size:6.25px"
         y="301.12085"
         x="170.03139"
         id="tspan4530-1-4"
         sodipodi:role="line">[   IN(/SimulationState/Running/Continuous)</tspan><tspan
         style="font-size:6.25px"
         y="308.93335"
         x="170.03139"
         sodipodi:role="line"
         id="tspan6634">or IN(/SimulationState/Running/BigStep)</tspan><tspan
         style="font-size:6.25px"
         y="316.74585"
         x="170.03139"
         sodipodi:role="line"
         id="tspan7618">or IN(/SimulationState/Running/SmallStep)]</tspan></text>
    <rect
       style="fill:#ffffff;fill-opacity:1;stroke:none;stroke-width:1;stroke-linecap:square;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0"
       id="rect6128-5"
       width="48.130619"
       height="16.07995"
       x="139.77454"
       y="274.6944" />
    <text
       sodipodi:linespacing="125%"
       id="text4528-4-9"
       y="280.68274"
       x="135.9671"
       style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       xml:space="preserve"><tspan
         style="font-size:6.25px"
         y="280.68274"
         x="135.9671"
         id="tspan4530-1-2"
         sodipodi:role="line">after(sccd_yield()) /</tspan><tspan
         style="font-size:6.25px"
         y="288.49524"
         x="135.9671"
         sodipodi:role="line"
         id="tspan5265"> big_step_done</tspan></text>
    <g
       transform="translate(212.05089,369.2436)"
       id="g4430-2-9">
      <rect
         rx="7"
         ry="7.0000005"
         y="-75.253708"
         x="125.11331"
         height="16.229185"
         width="89.921326"
         id="rect4136-1-4-5-7-0"
         style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate" />
      <path
         inkscape:connector-curvature="0"
         id="path4138-6-8-6-0-9"
         d="m 125.09665,-65.274559 89.25708,0"
         style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
         sodipodi:nodetypes="cc" />
      <text
         xml:space="preserve"
         style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
         x="156.24036"
         y="-67.969902"
         id="text4152-8-8-5-0-2"
         sodipodi:linespacing="125%"><tspan
           sodipodi:role="line"
           id="tspan4154-9-8-9-84-9"
           x="156.24036"
           y="-67.969902">Waiting</tspan></text>
    </g>
    <path
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker5287)"
       d="m 279.519,266.12756 98.64139,0 0,26.32717"
       id="path5279"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="ccc" />
    <text
       sodipodi:linespacing="125%"
       id="text4528-4-6-0"
       y="262.94891"
       x="302.01489"
       style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       xml:space="preserve"><tspan
         style="font-size:6.25px"
         y="262.94891"
         x="302.01489"
         id="tspan4530-1-4-4"
         sodipodi:role="line">[IN(/SimulationState/Running/Realtime)]</tspan></text>
    <path
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker5557)"
       d="m 356.15169,293.58036 0,-16.13909 -74.15782,0"
       id="path5549"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="ccc" />
    <rect
       style="fill:#ffffff;fill-opacity:1;stroke:none;stroke-width:1;stroke-linecap:square;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0"
       id="rect6128-5-3-6"
       width="4.643548"
       height="7.5946684"
       x="353.44186"
       y="284.88412" />
    <text
       sodipodi:linespacing="125%"
       id="text4528-4-9-9"
       y="283.61487"
       x="289.61212"
       style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       xml:space="preserve"><tspan
         style="font-size:6.25px"
         y="283.61487"
         x="289.61212"
         sodipodi:role="line"
         id="tspan5265-8">after(sccd_yield()) /</tspan><tspan
         style="font-size:6.25px"
         y="291.42737"
         x="289.61212"
         sodipodi:role="line"
         id="tspan12622"> self.syncSimulatedTime()</tspan></text>
    <path
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker5557-5)"
       d="m 356.15169,310.15194 0,24.57196 -47.99488,0"
       id="path5549-2"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="ccc" />
    <rect
       style="fill:#ffffff;fill-opacity:1;stroke:none;stroke-width:1;stroke-linecap:square;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0"
       id="rect6128-5-3"
       width="48.130611"
       height="11.130201"
       x="333.12512"
       y="318.97623" />
    <text
       sodipodi:linespacing="125%"
       id="text4528-4-9-9-6"
       y="326.57831"
       x="304.79715"
       style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       xml:space="preserve"><tspan
         style="font-size:6.25px"
         y="326.57831"
         x="304.79715"
         sodipodi:role="line"
         id="tspan5265-8-3">[self.waitTime() &lt;= sccd_yield()]</tspan></text>
    <g
       id="g6819"
       transform="translate(4.1229451,5.4536535)">
      <rect
         rx="7"
         ry="7.0000005"
         y="217.95874"
         x="199.83591"
         height="18"
         width="77.095917"
         id="rect4136-1-4-5-2"
         style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate" />
      <path
         inkscape:connector-curvature="0"
         id="path4138-6-8-6-1"
         d="m 199.81926,227.93789 76.47456,0"
         style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
         sodipodi:nodetypes="cc" />
      <text
         xml:space="preserve"
         style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
         x="203.83003"
         y="225.24254"
         id="text4152-8-8-5-9"
         sodipodi:linespacing="125%"><tspan
           sodipodi:role="line"
           id="tspan4154-9-8-9-9"
           x="203.83003"
           y="225.24254">InitializeDebugger</tspan></text>
    </g>
    <path
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999993;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker6833)"
       d="m 176.46699,241.57159 0,7.42462 46.31549,0 0,-6.01041"
       id="path6825"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cccc" />
    <text
       sodipodi:linespacing="125%"
       id="text4528-4-07"
       y="251.83984"
       x="240.86946"
       style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       xml:space="preserve"><tspan
         style="font-size:6.25px"
         y="251.83984"
         x="240.86946"
         id="tspan4530-1-6"
         sodipodi:role="line">/ self.initializeDebugger()</tspan></text>
    <rect
       style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate"
       id="rect4136-1-4-5-7-00-6-9"
       width="210.09462"
       height="156.24997"
       x="381.2652"
       y="332.0274"
       ry="6.9999986"
       rx="6.9999981" />
    <path
       sodipodi:nodetypes="cc"
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
       d="m 381.24851,342.00655 209.3875,0"
       id="path4138-6-8-6-0-4-6-5"
       inkscape:connector-curvature="0" />
    <text
       sodipodi:linespacing="125%"
       id="text4152-8-8-5-0-0-2-5"
       y="339.31122"
       x="460.00391"
       style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       xml:space="preserve"><tspan
         y="339.31122"
         x="460.00391"
         id="tspan4154-9-8-9-84-1-2-8"
         sodipodi:role="line"
         style="font-weight:bold">ExecuteStep</tspan></text>
    <g
       id="g8509"
       transform="translate(94.899479,423.9757)">
      <rect
         rx="6.999999"
         ry="6.9999995"
         y="-22.804356"
         x="348.98148"
         height="17.63299"
         width="101.24539"
         id="rect4136-1-4-5-7-00-1"
         style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate" />
      <path
         inkscape:connector-curvature="0"
         id="path4138-6-8-6-0-4-4"
         d="m 348.96481,-12.825208 101.18474,0"
         style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
         sodipodi:nodetypes="cc" />
      <text
         xml:space="preserve"
         style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
         x="357.70966"
         y="-15.520557"
         id="text4152-8-8-5-0-0-1"
         sodipodi:linespacing="125%"><tspan
           sodipodi:role="line"
           id="tspan4154-9-8-9-84-1-8"
           x="357.70966"
           y="-15.520557">CheckNextComponent</tspan></text>
    </g>
    <g
       id="g8524"
       transform="translate(87.021849,543.69705)">
      <rect
         rx="6.9999981"
         ry="6.9999986"
         y="-94.22213"
         x="314.15649"
         height="17.279432"
         width="71.546906"
         id="rect4136-1-4-5-7-00-1-1"
         style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate" />
      <path
         inkscape:connector-curvature="0"
         id="path4138-6-8-6-0-4-4-4"
         d="m 314.13983,-84.24298 71.13269,0"
         style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
         sodipodi:nodetypes="cc" />
      <text
         xml:space="preserve"
         style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
         x="322.22244"
         y="-86.938332"
         id="text4152-8-8-5-0-0-1-3"
         sodipodi:linespacing="125%"><tspan
           sodipodi:role="line"
           id="tspan4154-9-8-9-84-1-8-7"
           x="322.22244"
           y="-86.938332">PreCheckCycle</tspan></text>
    </g>
    <g
       id="g8530"
       transform="translate(110.35637,549.00035)">
      <rect
         rx="6.9999971"
         ry="6.9999976"
         y="-100.23254"
         x="392.29178"
         height="18.693645"
         width="61.293854"
         id="rect4136-1-4-5-7-00-1-1-5"
         style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate" />
      <path
         inkscape:connector-curvature="0"
         id="path4138-6-8-6-0-4-4-4-3"
         d="m 392.27512,-90.253385 60.87963,0"
         style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
         sodipodi:nodetypes="cc" />
      <text
         xml:space="preserve"
         style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
         x="401.48792"
         y="-92.948738"
         id="text4152-8-8-5-0-0-1-3-5"
         sodipodi:linespacing="125%"><tspan
           sodipodi:role="line"
           id="tspan4154-9-8-9-84-1-8-7-9"
           x="401.48792"
           y="-92.948738">CheckCycle</tspan></text>
    </g>
    <g
       id="g7620"
       transform="translate(91.052204,279.38486)">
      <rect
         rx="6.999999"
         ry="6.9999995"
         y="102.07713"
         x="53.455761"
         height="28.239586"
         width="195.9977"
         id="rect4136-1-4-5-7-00-6"
         style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate" />
      <path
         inkscape:connector-curvature="0"
         id="path4138-6-8-6-0-4-6"
         d="m 53.439114,112.05629 195.583476,0"
         style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
         sodipodi:nodetypes="cc" />
      <text
         xml:space="preserve"
         style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
         x="102.34572"
         y="109.36094"
         id="text4152-8-8-5-0-0-2"
         sodipodi:linespacing="125%"><tspan
           sodipodi:role="line"
           id="tspan4154-9-8-9-84-1-2"
           x="102.34572"
           y="109.36094">IsolateStrongComponents</tspan></text>
      <text
         xml:space="preserve"
         style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
         x="55.715343"
         y="118.61205"
         id="text4528-4-9-0-3"
         sodipodi:linespacing="125%"><tspan
           sodipodi:role="line"
           id="tspan4530-1-7-1-6"
           x="55.715343"
           y="118.61205"
           style="font-size:6.25px">onentry:</tspan><tspan
           id="tspan6629-8"
           sodipodi:role="line"
           x="55.715343"
           y="126.42455"
           style="font-size:6.25px"> self.strongComponentList = self.createStrongComponents()</tspan></text>
    </g>
    <g
       id="g7434"
       transform="translate(-43.210899,265.08766)">
      <rect
         rx="7"
         ry="7.0000005"
         y="65.56913"
         x="220.00705"
         height="29.25"
         width="131.42133"
         id="rect4136-1-4-5-7-00"
         style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate" />
      <path
         inkscape:connector-curvature="0"
         id="path4138-6-8-6-0-4"
         d="m 219.99039,75.548281 131.00707,0"
         style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
         sodipodi:nodetypes="cc" />
      <text
         xml:space="preserve"
         style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
         x="254.52753"
         y="72.852936"
         id="text4152-8-8-5-0-0"
         sodipodi:linespacing="125%"><tspan
           sodipodi:role="line"
           id="tspan4154-9-8-9-84-1"
           x="254.52753"
           y="72.852936">CreateDepGraph</tspan></text>
      <text
         xml:space="preserve"
         style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
         x="221.80064"
         y="82.836647"
         id="text4528-4-9-0-3-7"
         sodipodi:linespacing="125%"><tspan
           sodipodi:role="line"
           id="tspan4530-1-7-1-6-9"
           x="221.80064"
           y="82.836647"
           style="font-size:6.25px">onentry:</tspan><tspan
           id="tspan6629-8-4"
           sodipodi:role="line"
           x="221.80064"
           y="90.649147"
           style="font-size:6.25px"> self.depGraph = self.createDepGraph()</tspan></text>
    </g>
    <path
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker9951-5)"
       d="m 238.58435,360.2529 0,19.39753"
       id="path9240-7-2"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <g
       id="g4426-1"
       transform="translate(319.62285,476.18998)">
      <circle
         r="3"
         cy="-68.843407"
         cx="97.341057"
         id="path9238-0"
         style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate" />
      <path
         sodipodi:nodetypes="cc"
         inkscape:connector-curvature="0"
         id="path9240-73"
         d="m 100.5837,-68.843422 22.05546,0"
         style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker9248-6-6)" />
    </g>
    <text
       sodipodi:linespacing="125%"
       id="text4528-4-3"
       y="480.85785"
       x="440.46017"
       style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       xml:space="preserve"><tspan
         style="font-size:6.25px"
         y="480.85785"
         x="440.46017"
         id="tspan4530-1-0"
         sodipodi:role="line">[IN(/SimulationState/Running)]</tspan></text>
    <path
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999993;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker8905)"
       d="m 458.70025,466.6235 0,7.42462 55.33109,0 0,-5.01041"
       id="path6825-6"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cccc" />
    <path
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999993;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker9289)"
       d="m 458.51858,418.89356 0,29.19176"
       id="path9281"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <rect
       style="fill:#ffffff;fill-opacity:1;stroke:none;stroke-width:1;stroke-linecap:square;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0"
       id="rect6128-5-0"
       width="48.130611"
       height="16.079948"
       x="434.05188"
       y="424.32938" />
    <text
       sodipodi:linespacing="125%"
       id="text4528-4-3-2"
       y="430.20172"
       x="385.4281"
       style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       xml:space="preserve"><tspan
         style="font-size:6.25px"
         y="430.20172"
         x="385.4281"
         id="tspan4530-1-0-0"
         sodipodi:role="line">after(sccd_yield() * 2)</tspan><tspan
         style="font-size:6.25px"
         y="438.01422"
         x="385.4281"
         sodipodi:role="line"
         id="tspan9722">[self.hasNextStrongComponent()]</tspan></text>
    <path
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999993;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker9783)"
       d="m 555.03865,448.5687 0,-62.9325 -86.62058,0 0,14.2028"
       id="path9775"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cccc" />
    <path
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999993;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker9783-5)"
       d="m 562.19951,451.39663 20.42983,-0.0273 0,-87.47628 -133.62057,0 0,36.38782"
       id="path9775-2"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="ccccc" />
    <text
       sodipodi:linespacing="125%"
       id="text4528-4-3-3"
       y="353.77747"
       x="455.91666"
       style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       xml:space="preserve"><tspan
         style="font-size:6.25px"
         y="353.77747"
         x="455.91666"
         sodipodi:role="line"
         id="tspan10820">[not self.currentComponentIsCycle()] /</tspan><tspan
         style="font-size:6.25px"
         y="361.58997"
         x="455.91666"
         sodipodi:role="line"
         id="tspan10824"> self.computeBlock(), small_step_done</tspan></text>
    <text
       sodipodi:linespacing="125%"
       id="text4528-4-3-3-6"
       y="374.07446"
       x="455.91666"
       style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       xml:space="preserve"><tspan
         style="font-size:6.25px"
         y="374.07446"
         x="455.91666"
         sodipodi:role="line"
         id="tspan10820-4">[self.currentComponentIsCycle()] /</tspan><tspan
         style="font-size:6.25px"
         y="381.88696"
         x="455.91666"
         sodipodi:role="line"
         id="tspan10824-2"> self.computeCycle(), small_step_done</tspan></text>
    <path
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999993;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker11122)"
       d="m 238.36721,409.36936 0,34 141.43934,0"
       id="path11114"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="ccc" />
    <path
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999993;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker11524)"
       d="m 444.3672,405.01841 0,-149.14905 -177.99999,0 0,6.25"
       id="path11516"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cccc" />
    <text
       sodipodi:linespacing="125%"
       id="text4528-4-3-2-9"
       y="244.70718"
       x="347.68268"
       style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       xml:space="preserve"><tspan
         style="font-size:6.25px"
         y="244.70718"
         x="347.68268"
         id="tspan4530-1-0-0-9"
         sodipodi:role="line">after(sccd_yield())</tspan><tspan
         style="font-size:6.25px"
         y="252.51968"
         x="347.68268"
         sodipodi:role="line"
         id="tspan9722-1">[not self.hasNextStrongComponent()]</tspan></text>
    <path
       sodipodi:nodetypes="cc"
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:4, 8;stroke-dashoffset:0;stroke-opacity:1"
       d="m 628.17642,634.7287 0,-434.00539"
       id="path4138-2-9-3-7-5"
       inkscape:connector-curvature="0" />
    <rect
       rx="6.9999943"
       style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate"
       id="rect4136-1-3-4-1"
       width="58.441673"
       height="20"
       x="984.39075"
       y="341.10648"
       ry="7.0000253" />
    <path
       sodipodi:nodetypes="cc"
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
       d="m 984.37416,350.9529 58.58964,0"
       id="path4138-6-5-43-4"
       inkscape:connector-curvature="0" />
    <text
       sodipodi:linespacing="125%"
       id="text4152-8-2-4-8"
       y="348.25757"
       x="994.44775"
       style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       xml:space="preserve"><tspan
         y="348.25757"
         x="994.44775"
         id="tspan4154-9-4-5-6"
         sodipodi:role="line">SmallStep</tspan></text>
    <g
       id="g16288"
       transform="translate(-0.5,8.0825366)">
      <rect
         ry="7.0000253"
         y="380.32355"
         x="984.89075"
         height="20"
         width="66.691681"
         id="rect4136-1-3-4-5-3"
         style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate"
         rx="6.9999943" />
      <path
         inkscape:connector-curvature="0"
         id="path4138-6-5-43-7-6"
         d="m 984.87416,390.16997 66.58964,0"
         style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
         sodipodi:nodetypes="cc" />
      <text
         xml:space="preserve"
         style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
         x="989.28027"
         y="387.47464"
         id="text4152-8-2-4-3-6"
         sodipodi:linespacing="125%"><tspan
           sodipodi:role="line"
           id="tspan4154-9-4-5-0-6"
           x="989.28027"
           y="387.47464">SmallStepDone</tspan></text>
    </g>
    <path
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker13358)"
       d="m 1008.2088,361.11481 0,24.77253"
       id="path9240-7-4-6-0"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <text
       xml:space="preserve"
       style="font-style:normal;font-weight:normal;font-size:6.25px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       x="1009.6086"
       y="370.43582"
       id="text15978-3-6"
       sodipodi:linespacing="125%"
       transform="scale(1.0000078,0.9999922)"><tspan
         sodipodi:role="line"
         x="1009.6086"
         y="370.43582"
         id="tspan8588-3-5">small_step_done</tspan></text>
    <path
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999993;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker4495-5-7)"
       d="m 779.8808,304.5836 0,43.16296 203.30719,0"
       id="path4487-5-1"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="ccc" />
    <text
       sodipodi:linespacing="125%"
       id="text4528-4-0-9-7"
       y="344.75046"
       x="809.03491"
       style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       xml:space="preserve"><tspan
         style="font-size:6.25px"
         y="344.75046"
         x="809.03491"
         id="tspan4530-1-5-7-3"
         sodipodi:role="line">in::small_step</tspan></text>
    <path
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999993;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker4495-5-0-2)"
       d="m 1001.0912,408.35334 -0.1234,11.25 -239.04658,0 0,-113.23569"
       id="path4487-5-7-2"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cccc" />
    <text
       sodipodi:linespacing="125%"
       id="text4528-4-9-9-8-7"
       y="417.54477"
       x="790.29089"
       style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       xml:space="preserve"><tspan
         style="font-size:6.25px"
         y="417.54477"
         x="790.29089"
         sodipodi:role="line"
         id="tspan5265-8-6-4">after(sccd_yield())</tspan></text>
    <g
       id="g7695">
      <g
         id="g4430-2-9-9"
         transform="translate(-16.606243,523.33321)">
        <rect
           style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate"
           id="rect4136-1-4-5-7-0-6"
           width="89.921326"
           height="16.229185"
           x="125.11331"
           y="-75.253708"
           ry="7.0000005"
           rx="7" />
        <path
           sodipodi:nodetypes="cc"
           style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
           d="m 125.09665,-65.274559 89.25708,0"
           id="path4138-6-8-6-0-9-4"
           inkscape:connector-curvature="0" />
        <text
           sodipodi:linespacing="125%"
           id="text4152-8-8-5-0-2-0"
           y="-67.969902"
           x="155.25525"
           style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
           xml:space="preserve"><tspan
             y="-67.969902"
             x="155.25525"
             id="tspan4154-9-8-9-84-9-9"
             sodipodi:role="line">Stopped</tspan></text>
      </g>
    </g>
    <path
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.7;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;stroke-miterlimit:4;stroke-dasharray:none;marker-end:url(#marker7710)"
       d="m 204.61953,267.29147 -73.18555,0 0,179.25156"
       id="path7702"
       inkscape:connector-curvature="0" />
    <rect
       style="fill:#ffffff;fill-opacity:1;stroke:none;stroke-width:1;stroke-linecap:square;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0"
       id="rect6128-5-3-7"
       width="48.130611"
       height="11.130201"
       x="118.32883"
       y="422.57639" />
    <text
       sodipodi:linespacing="125%"
       id="text4528-4-6-0-8"
       y="429.88708"
       x="108.34875"
       style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       xml:space="preserve"><tspan
         style="font-size:6.25px"
         y="429.88708"
         x="108.34875"
         id="tspan4530-1-4-4-5"
         sodipodi:role="line">[IN(/SimulationState/Stopped)]</tspan></text>
  </g>
</svg>