<mxfile host="app.diagrams.net" agent="Mozilla/5.0 (Macintosh; Intel Mac OS X 10_15_7) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/132.0.0.0 Safari/537.36" version="26.0.8">
  <diagram id="C5RBs43oDa-KdzZeNtuy" name="Page-1">
    <mxGraphModel dx="2140" dy="2194" grid="1" gridSize="10" guides="1" tooltips="1" connect="1" arrows="1" fold="1" page="1" pageScale="1" pageWidth="827" pageHeight="1169" math="0" shadow="0">
      <root>
        <mxCell id="WIyWlLk6GJQsqaUBKTNV-0" />
        <mxCell id="WIyWlLk6GJQsqaUBKTNV-1" parent="WIyWlLk6GJQsqaUBKTNV-0" />
        <mxCell id="p-pctJ4XtrJVEeON2Whd-2" style="edgeStyle=none;curved=1;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;exitPerimeter=0;fontSize=12;startSize=8;endSize=8;" parent="WIyWlLk6GJQsqaUBKTNV-1" source="p-pctJ4XtrJVEeON2Whd-0" target="p-pctJ4XtrJVEeON2Whd-1" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-0" value="Program" style="strokeWidth=2;html=1;shape=mxgraph.flowchart.start_1;whiteSpace=wrap;" parent="WIyWlLk6GJQsqaUBKTNV-1" vertex="1">
          <mxGeometry x="364" y="-60" width="100" height="60" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-3" style="edgeStyle=none;curved=1;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0;exitY=0.5;exitDx=0;exitDy=0;exitPerimeter=0;fontSize=12;startSize=8;endSize=8;entryX=1;entryY=0.5;entryDx=0;entryDy=0;entryPerimeter=0;" parent="WIyWlLk6GJQsqaUBKTNV-1" source="p-pctJ4XtrJVEeON2Whd-1" target="p-pctJ4XtrJVEeON2Whd-5" edge="1">
          <mxGeometry relative="1" as="geometry">
            <mxPoint x="310" y="100" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-4" value="Y" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontSize=12;" parent="p-pctJ4XtrJVEeON2Whd-3" vertex="1" connectable="0">
          <mxGeometry x="-0.144" y="2" relative="1" as="geometry">
            <mxPoint y="-2" as="offset" />
          </mxGeometry>
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-1" value="help option" style="strokeWidth=2;html=1;shape=mxgraph.flowchart.decision;whiteSpace=wrap;" parent="WIyWlLk6GJQsqaUBKTNV-1" vertex="1">
          <mxGeometry x="371" y="60" width="86" height="80" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-5" value="Display Options" style="strokeWidth=2;html=1;shape=mxgraph.flowchart.terminator;whiteSpace=wrap;" parent="WIyWlLk6GJQsqaUBKTNV-1" vertex="1">
          <mxGeometry x="190" y="70" width="100" height="60" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-21" style="edgeStyle=none;curved=1;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;exitPerimeter=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;fontSize=12;startSize=8;endSize=8;" parent="WIyWlLk6GJQsqaUBKTNV-1" source="p-pctJ4XtrJVEeON2Whd-13" target="p-pctJ4XtrJVEeON2Whd-16" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-122" value="Y" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontSize=12;" parent="p-pctJ4XtrJVEeON2Whd-21" vertex="1" connectable="0">
          <mxGeometry x="-0.2056" y="2" relative="1" as="geometry">
            <mxPoint as="offset" />
          </mxGeometry>
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-13" value="Init?" style="strokeWidth=2;html=1;shape=mxgraph.flowchart.decision;whiteSpace=wrap;direction=south;dashed=1;dashPattern=1 1;" parent="WIyWlLk6GJQsqaUBKTNV-1" vertex="1">
          <mxGeometry x="221" y="750" width="80" height="86" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-22" style="edgeStyle=none;curved=1;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;exitPerimeter=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;fontSize=12;startSize=8;endSize=8;" parent="WIyWlLk6GJQsqaUBKTNV-1" source="p-pctJ4XtrJVEeON2Whd-14" target="p-pctJ4XtrJVEeON2Whd-17" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-123" value="Y" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontSize=12;" parent="p-pctJ4XtrJVEeON2Whd-22" vertex="1" connectable="0">
          <mxGeometry x="-0.3167" relative="1" as="geometry">
            <mxPoint as="offset" />
          </mxGeometry>
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-14" value="Next?" style="strokeWidth=2;html=1;shape=mxgraph.flowchart.decision;whiteSpace=wrap;direction=south;dashed=1;dashPattern=1 1;" parent="WIyWlLk6GJQsqaUBKTNV-1" vertex="1">
          <mxGeometry x="321" y="750" width="80" height="86" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-23" style="edgeStyle=none;curved=1;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;exitPerimeter=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;fontSize=12;startSize=8;endSize=8;" parent="WIyWlLk6GJQsqaUBKTNV-1" source="p-pctJ4XtrJVEeON2Whd-15" target="p-pctJ4XtrJVEeON2Whd-18" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-124" value="Y" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontSize=12;" parent="p-pctJ4XtrJVEeON2Whd-23" vertex="1" connectable="0">
          <mxGeometry x="-0.2427" y="2" relative="1" as="geometry">
            <mxPoint as="offset" />
          </mxGeometry>
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-15" value="Seed?" style="strokeWidth=2;html=1;shape=mxgraph.flowchart.decision;whiteSpace=wrap;direction=south;dashed=1;dashPattern=1 1;" parent="WIyWlLk6GJQsqaUBKTNV-1" vertex="1">
          <mxGeometry x="421" y="750" width="80" height="86" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-52" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;fontSize=12;startSize=8;endSize=8;" parent="WIyWlLk6GJQsqaUBKTNV-1" source="p-pctJ4XtrJVEeON2Whd-16" target="p-pctJ4XtrJVEeON2Whd-51" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-16" value="Overwrite&lt;br&gt;&lt;div&gt;initial&lt;/div&gt;&lt;div&gt;context&lt;/div&gt;" style="rounded=1;whiteSpace=wrap;html=1;absoluteArcSize=1;arcSize=14;strokeWidth=2;dashed=1;dashPattern=1 1;" parent="WIyWlLk6GJQsqaUBKTNV-1" vertex="1">
          <mxGeometry x="226" y="890" width="70" height="65" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-53" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;fontSize=12;startSize=8;endSize=8;entryX=0.5;entryY=0;entryDx=0;entryDy=0;" parent="WIyWlLk6GJQsqaUBKTNV-1" source="p-pctJ4XtrJVEeON2Whd-17" target="p-pctJ4XtrJVEeON2Whd-51" edge="1">
          <mxGeometry relative="1" as="geometry">
            <mxPoint x="410" y="1040" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-17" value="Overwrite&lt;br&gt;&lt;div&gt;next&lt;/div&gt;&lt;div&gt;context&lt;/div&gt;" style="rounded=1;whiteSpace=wrap;html=1;absoluteArcSize=1;arcSize=14;strokeWidth=2;dashed=1;dashPattern=1 1;" parent="WIyWlLk6GJQsqaUBKTNV-1" vertex="1">
          <mxGeometry x="326" y="890" width="70" height="65" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-54" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;fontSize=12;startSize=8;endSize=8;" parent="WIyWlLk6GJQsqaUBKTNV-1" source="p-pctJ4XtrJVEeON2Whd-18" target="p-pctJ4XtrJVEeON2Whd-51" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-18" value="Starting" style="rounded=1;whiteSpace=wrap;html=1;absoluteArcSize=1;arcSize=14;strokeWidth=2;dashed=1;dashPattern=1 1;" parent="WIyWlLk6GJQsqaUBKTNV-1" vertex="1">
          <mxGeometry x="426" y="890" width="70" height="65" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-114" style="edgeStyle=none;curved=1;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=0;exitDx=0;exitDy=0;exitPerimeter=0;fontSize=12;startSize=8;endSize=8;" parent="WIyWlLk6GJQsqaUBKTNV-1" source="p-pctJ4XtrJVEeON2Whd-27" edge="1">
          <mxGeometry relative="1" as="geometry">
            <mxPoint x="510" y="1703.4705882352941" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-115" value="Y" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontSize=12;" parent="p-pctJ4XtrJVEeON2Whd-114" vertex="1" connectable="0">
          <mxGeometry x="-0.0697" y="3" relative="1" as="geometry">
            <mxPoint as="offset" />
          </mxGeometry>
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-27" value="generative?" style="strokeWidth=2;html=1;shape=mxgraph.flowchart.decision;whiteSpace=wrap;direction=south;" parent="WIyWlLk6GJQsqaUBKTNV-1" vertex="1">
          <mxGeometry x="374" y="1660" width="80" height="86" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-28" value="detached?" style="strokeWidth=2;html=1;shape=mxgraph.flowchart.decision;whiteSpace=wrap;direction=south;" parent="WIyWlLk6GJQsqaUBKTNV-1" vertex="1">
          <mxGeometry x="234" y="390" width="80" height="86" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-29" value="ouput?" style="strokeWidth=2;html=1;shape=mxgraph.flowchart.decision;whiteSpace=wrap;direction=south;" parent="WIyWlLk6GJQsqaUBKTNV-1" vertex="1">
          <mxGeometry x="328" y="390" width="80" height="86" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-30" value="debug?" style="strokeWidth=2;html=1;shape=mxgraph.flowchart.decision;whiteSpace=wrap;direction=south;" parent="WIyWlLk6GJQsqaUBKTNV-1" vertex="1">
          <mxGeometry x="421" y="390" width="80" height="86" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-31" value="silent" style="strokeWidth=2;html=1;shape=mxgraph.flowchart.decision;whiteSpace=wrap;direction=south;" parent="WIyWlLk6GJQsqaUBKTNV-1" vertex="1">
          <mxGeometry x="514" y="390" width="80" height="86" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-32" value="Count" style="strokeWidth=2;html=1;shape=mxgraph.flowchart.decision;whiteSpace=wrap;direction=south;dashed=1;dashPattern=1 1;" parent="WIyWlLk6GJQsqaUBKTNV-1" vertex="1">
          <mxGeometry x="527" y="750" width="80" height="86" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-33" style="edgeStyle=none;curved=1;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;exitPerimeter=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;fontSize=12;startSize=8;endSize=8;" parent="WIyWlLk6GJQsqaUBKTNV-1" edge="1">
          <mxGeometry relative="1" as="geometry">
            <mxPoint x="566.5" y="836" as="sourcePoint" />
            <mxPoint x="566.5" y="890" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-125" value="Y" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontSize=12;" parent="p-pctJ4XtrJVEeON2Whd-33" vertex="1" connectable="0">
          <mxGeometry x="-0.2056" y="2" relative="1" as="geometry">
            <mxPoint as="offset" />
          </mxGeometry>
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-55" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;fontSize=12;startSize=8;endSize=8;" parent="WIyWlLk6GJQsqaUBKTNV-1" source="p-pctJ4XtrJVEeON2Whd-34" target="p-pctJ4XtrJVEeON2Whd-51" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-34" value="Set count" style="rounded=1;whiteSpace=wrap;html=1;absoluteArcSize=1;arcSize=14;strokeWidth=2;dashed=1;dashPattern=1 1;" parent="WIyWlLk6GJQsqaUBKTNV-1" vertex="1">
          <mxGeometry x="532" y="890" width="70" height="65" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-35" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;exitPerimeter=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;entryPerimeter=0;fontSize=12;startSize=8;endSize=8;" parent="WIyWlLk6GJQsqaUBKTNV-1" source="p-pctJ4XtrJVEeON2Whd-1" target="p-pctJ4XtrJVEeON2Whd-29" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-36" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;exitPerimeter=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;entryPerimeter=0;fontSize=12;startSize=8;endSize=8;" parent="WIyWlLk6GJQsqaUBKTNV-1" source="p-pctJ4XtrJVEeON2Whd-1" target="p-pctJ4XtrJVEeON2Whd-28" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-37" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;exitPerimeter=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;entryPerimeter=0;fontSize=12;startSize=8;endSize=8;" parent="WIyWlLk6GJQsqaUBKTNV-1" source="p-pctJ4XtrJVEeON2Whd-1" target="p-pctJ4XtrJVEeON2Whd-30" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-39" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;exitPerimeter=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;entryPerimeter=0;fontSize=12;startSize=8;endSize=8;" parent="WIyWlLk6GJQsqaUBKTNV-1" source="p-pctJ4XtrJVEeON2Whd-1" target="p-pctJ4XtrJVEeON2Whd-31" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-113" value="N" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontSize=12;" parent="p-pctJ4XtrJVEeON2Whd-39" vertex="1" connectable="0">
          <mxGeometry x="-0.7308" y="1" relative="1" as="geometry">
            <mxPoint as="offset" />
          </mxGeometry>
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-41" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;exitPerimeter=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;fontSize=12;startSize=8;endSize=8;" parent="WIyWlLk6GJQsqaUBKTNV-1" source="p-pctJ4XtrJVEeON2Whd-28" target="p-pctJ4XtrJVEeON2Whd-45" edge="1">
          <mxGeometry relative="1" as="geometry">
            <mxPoint x="414" y="601" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-42" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;exitPerimeter=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;fontSize=12;startSize=8;endSize=8;" parent="WIyWlLk6GJQsqaUBKTNV-1" source="p-pctJ4XtrJVEeON2Whd-29" target="p-pctJ4XtrJVEeON2Whd-45" edge="1">
          <mxGeometry relative="1" as="geometry">
            <mxPoint x="414" y="601" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-43" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;exitPerimeter=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;fontSize=12;startSize=8;endSize=8;" parent="WIyWlLk6GJQsqaUBKTNV-1" source="p-pctJ4XtrJVEeON2Whd-30" target="p-pctJ4XtrJVEeON2Whd-45" edge="1">
          <mxGeometry relative="1" as="geometry">
            <mxPoint x="414" y="601" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-44" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;exitPerimeter=0;fontSize=12;startSize=8;endSize=8;entryX=0.5;entryY=0;entryDx=0;entryDy=0;" parent="WIyWlLk6GJQsqaUBKTNV-1" source="p-pctJ4XtrJVEeON2Whd-31" target="p-pctJ4XtrJVEeON2Whd-45" edge="1">
          <mxGeometry relative="1" as="geometry">
            <mxPoint x="414" y="601" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-45" value="Set program controls" style="rounded=1;whiteSpace=wrap;html=1;absoluteArcSize=1;arcSize=14;strokeWidth=2;" parent="WIyWlLk6GJQsqaUBKTNV-1" vertex="1">
          <mxGeometry x="379" y="615" width="70" height="65" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-46" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;entryPerimeter=0;fontSize=12;startSize=8;endSize=8;" parent="WIyWlLk6GJQsqaUBKTNV-1" source="p-pctJ4XtrJVEeON2Whd-45" target="p-pctJ4XtrJVEeON2Whd-14" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-47" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;entryPerimeter=0;fontSize=12;startSize=8;endSize=8;" parent="WIyWlLk6GJQsqaUBKTNV-1" source="p-pctJ4XtrJVEeON2Whd-45" target="p-pctJ4XtrJVEeON2Whd-15" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-48" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;entryPerimeter=0;fontSize=12;startSize=8;endSize=8;" parent="WIyWlLk6GJQsqaUBKTNV-1" source="p-pctJ4XtrJVEeON2Whd-45" target="p-pctJ4XtrJVEeON2Whd-13" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-49" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;entryPerimeter=0;fontSize=12;startSize=8;endSize=8;" parent="WIyWlLk6GJQsqaUBKTNV-1" source="p-pctJ4XtrJVEeON2Whd-45" target="p-pctJ4XtrJVEeON2Whd-32" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-61" style="edgeStyle=none;curved=1;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;fontSize=12;startSize=8;endSize=8;" parent="WIyWlLk6GJQsqaUBKTNV-1" source="p-pctJ4XtrJVEeON2Whd-51" edge="1">
          <mxGeometry relative="1" as="geometry">
            <mxPoint x="414" y="1190" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-51" value="State exploration" style="rounded=1;whiteSpace=wrap;html=1;absoluteArcSize=1;arcSize=14;strokeWidth=2;" parent="WIyWlLk6GJQsqaUBKTNV-1" vertex="1">
          <mxGeometry x="379" y="1040" width="70" height="65" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-56" value="TLA+ file (not pluscal)" style="strokeWidth=2;html=1;shape=mxgraph.flowchart.document2;whiteSpace=wrap;size=0.25;" parent="WIyWlLk6GJQsqaUBKTNV-1" vertex="1">
          <mxGeometry x="560" y="-60" width="100" height="60" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-58" style="edgeStyle=none;curved=1;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0;exitY=0.5;exitDx=0;exitDy=0;exitPerimeter=0;entryX=1;entryY=0.5;entryDx=0;entryDy=0;entryPerimeter=0;fontSize=12;startSize=8;endSize=8;" parent="WIyWlLk6GJQsqaUBKTNV-1" source="p-pctJ4XtrJVEeON2Whd-56" target="p-pctJ4XtrJVEeON2Whd-0" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-59" value="" style="sketch=0;pointerEvents=1;shadow=0;dashed=0;html=1;strokeColor=none;fillColor=#434445;aspect=fixed;labelPosition=center;verticalLabelPosition=bottom;verticalAlign=top;align=center;outlineConnect=0;shape=mxgraph.vvd.ssd;" parent="WIyWlLk6GJQsqaUBKTNV-1" vertex="1">
          <mxGeometry x="212.5" y="-49.519999999999996" width="55" height="39.05" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-60" style="edgeStyle=none;curved=1;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;entryX=0;entryY=0.5;entryDx=0;entryDy=0;entryPerimeter=0;fontSize=12;startSize=8;endSize=8;" parent="WIyWlLk6GJQsqaUBKTNV-1" source="p-pctJ4XtrJVEeON2Whd-59" target="p-pctJ4XtrJVEeON2Whd-0" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-70" style="edgeStyle=none;curved=1;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;exitPerimeter=0;fontSize=12;startSize=8;endSize=8;" parent="WIyWlLk6GJQsqaUBKTNV-1" source="p-pctJ4XtrJVEeON2Whd-63" target="p-pctJ4XtrJVEeON2Whd-69" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-74" value="N" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontSize=12;" parent="p-pctJ4XtrJVEeON2Whd-70" vertex="1" connectable="0">
          <mxGeometry x="-0.2492" y="1" relative="1" as="geometry">
            <mxPoint as="offset" />
          </mxGeometry>
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-71" style="edgeStyle=none;curved=1;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;exitPerimeter=0;fontSize=12;startSize=8;endSize=8;" parent="WIyWlLk6GJQsqaUBKTNV-1" source="p-pctJ4XtrJVEeON2Whd-63" target="p-pctJ4XtrJVEeON2Whd-67" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-73" value="Y" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontSize=12;" parent="p-pctJ4XtrJVEeON2Whd-71" vertex="1" connectable="0">
          <mxGeometry x="-0.0809" y="-1" relative="1" as="geometry">
            <mxPoint as="offset" />
          </mxGeometry>
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-63" value="bug?" style="strokeWidth=2;html=1;shape=mxgraph.flowchart.decision;whiteSpace=wrap;direction=south;" parent="WIyWlLk6GJQsqaUBKTNV-1" vertex="1">
          <mxGeometry x="374" y="1192" width="80" height="86" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-105" style="edgeStyle=none;curved=1;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0;exitY=0.5;exitDx=0;exitDy=0;fontSize=12;startSize=8;endSize=8;" parent="WIyWlLk6GJQsqaUBKTNV-1" source="p-pctJ4XtrJVEeON2Whd-67" edge="1">
          <mxGeometry relative="1" as="geometry">
            <mxPoint x="140" y="1235" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-67" value="Error logging" style="shape=parallelogram;html=1;strokeWidth=2;perimeter=parallelogramPerimeter;whiteSpace=wrap;rounded=1;arcSize=12;size=0.23;" parent="WIyWlLk6GJQsqaUBKTNV-1" vertex="1">
          <mxGeometry x="190" y="1205" width="100" height="60" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-69" value="log result" style="shape=parallelogram;html=1;strokeWidth=2;perimeter=parallelogramPerimeter;whiteSpace=wrap;rounded=1;arcSize=12;size=0.23;" parent="WIyWlLk6GJQsqaUBKTNV-1" vertex="1">
          <mxGeometry x="364" y="1360" width="100" height="60" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-99" style="edgeStyle=elbowEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=0;exitDx=0;exitDy=0;entryX=1;entryY=0.5;entryDx=0;entryDy=0;fontSize=12;startSize=8;endSize=8;" parent="WIyWlLk6GJQsqaUBKTNV-1" source="p-pctJ4XtrJVEeON2Whd-79" target="p-pctJ4XtrJVEeON2Whd-51" edge="1">
          <mxGeometry relative="1" as="geometry">
            <Array as="points">
              <mxPoint x="790" y="1380" />
            </Array>
          </mxGeometry>
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-79" value="New seed" style="rounded=1;whiteSpace=wrap;html=1;absoluteArcSize=1;arcSize=14;strokeWidth=2;" parent="WIyWlLk6GJQsqaUBKTNV-1" vertex="1">
          <mxGeometry x="757.23" y="1670.5" width="70" height="65" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-110" style="edgeStyle=elbowEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=0;exitDx=0;exitDy=0;exitPerimeter=0;fontSize=12;startSize=8;endSize=8;endArrow=none;startFill=0;entryX=1;entryY=0.5;entryDx=0;entryDy=0;" parent="WIyWlLk6GJQsqaUBKTNV-1" source="p-pctJ4XtrJVEeON2Whd-83" target="p-pctJ4XtrJVEeON2Whd-51" edge="1">
          <mxGeometry relative="1" as="geometry">
            <mxPoint x="570" y="1548" as="targetPoint" />
            <Array as="points">
              <mxPoint x="790" y="1320" />
            </Array>
          </mxGeometry>
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-111" value="N" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontSize=12;" parent="p-pctJ4XtrJVEeON2Whd-110" vertex="1" connectable="0">
          <mxGeometry x="-0.8671" y="1" relative="1" as="geometry">
            <mxPoint as="offset" />
          </mxGeometry>
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-83" value="end of state path/count?" style="strokeWidth=2;html=1;shape=mxgraph.flowchart.decision;whiteSpace=wrap;direction=south;" parent="WIyWlLk6GJQsqaUBKTNV-1" vertex="1">
          <mxGeometry x="372" y="1500" width="84" height="96" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-84" style="edgeStyle=none;curved=1;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;entryPerimeter=0;fontSize=12;startSize=8;endSize=8;" parent="WIyWlLk6GJQsqaUBKTNV-1" source="p-pctJ4XtrJVEeON2Whd-69" target="p-pctJ4XtrJVEeON2Whd-83" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-91" value="Program end" style="strokeWidth=2;html=1;shape=mxgraph.flowchart.terminator;whiteSpace=wrap;" parent="WIyWlLk6GJQsqaUBKTNV-1" vertex="1">
          <mxGeometry x="150" y="1673" width="100" height="60" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-94" style="edgeStyle=none;curved=1;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;exitPerimeter=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;entryPerimeter=0;fontSize=12;startSize=8;endSize=8;" parent="WIyWlLk6GJQsqaUBKTNV-1" source="p-pctJ4XtrJVEeON2Whd-83" target="p-pctJ4XtrJVEeON2Whd-27" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-95" value="Y" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontSize=12;" parent="p-pctJ4XtrJVEeON2Whd-94" vertex="1" connectable="0">
          <mxGeometry x="-0.177" y="2" relative="1" as="geometry">
            <mxPoint as="offset" />
          </mxGeometry>
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-96" style="edgeStyle=none;curved=1;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;exitPerimeter=0;entryX=1;entryY=0.5;entryDx=0;entryDy=0;entryPerimeter=0;fontSize=12;startSize=8;endSize=8;" parent="WIyWlLk6GJQsqaUBKTNV-1" source="p-pctJ4XtrJVEeON2Whd-27" target="p-pctJ4XtrJVEeON2Whd-91" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-97" value="N" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontSize=12;" parent="p-pctJ4XtrJVEeON2Whd-96" vertex="1" connectable="0">
          <mxGeometry x="-0.104" y="-3" relative="1" as="geometry">
            <mxPoint as="offset" />
          </mxGeometry>
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-106" value="Potentially different log file&lt;div&gt;(IF we want every bug found, including &quot;non reproducible bugs&quot;)&lt;/div&gt;" style="text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];autosize=1;strokeColor=none;fillColor=none;fontSize=12;" parent="WIyWlLk6GJQsqaUBKTNV-1" vertex="1">
          <mxGeometry x="48" y="1267.5" width="360" height="40" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-107" value="Iterate bug found counter" style="rounded=1;whiteSpace=wrap;html=1;absoluteArcSize=1;arcSize=14;strokeWidth=2;" parent="WIyWlLk6GJQsqaUBKTNV-1" vertex="1">
          <mxGeometry x="70" y="1202.5" width="70" height="65" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-117" style="edgeStyle=none;curved=1;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=0;exitDx=0;exitDy=0;exitPerimeter=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;fontSize=12;startSize=8;endSize=8;" parent="WIyWlLk6GJQsqaUBKTNV-1" source="p-pctJ4XtrJVEeON2Whd-116" target="p-pctJ4XtrJVEeON2Whd-79" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-118" value="Y" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontSize=12;" parent="p-pctJ4XtrJVEeON2Whd-117" vertex="1" connectable="0">
          <mxGeometry x="0.0442" y="1" relative="1" as="geometry">
            <mxPoint as="offset" />
          </mxGeometry>
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-119" style="edgeStyle=none;curved=1;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0;exitY=0.5;exitDx=0;exitDy=0;exitPerimeter=0;fontSize=12;startSize=8;endSize=8;endArrow=none;startFill=0;" parent="WIyWlLk6GJQsqaUBKTNV-1" source="p-pctJ4XtrJVEeON2Whd-116" edge="1">
          <mxGeometry relative="1" as="geometry">
            <mxPoint x="587" y="1550" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-120" value="N" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontSize=12;" parent="p-pctJ4XtrJVEeON2Whd-119" vertex="1" connectable="0">
          <mxGeometry x="-0.2099" relative="1" as="geometry">
            <mxPoint as="offset" />
          </mxGeometry>
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-116" value="Set seed?&lt;div&gt;AND&amp;nbsp;&lt;/div&gt;&lt;div&gt;no bug found&lt;/div&gt;" style="strokeWidth=2;html=1;shape=mxgraph.flowchart.decision;whiteSpace=wrap;direction=south;" parent="WIyWlLk6GJQsqaUBKTNV-1" vertex="1">
          <mxGeometry x="514" y="1660" width="146" height="86" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-121" value="(see Seed? decision above)" style="text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];autosize=1;strokeColor=none;fillColor=none;fontSize=16;" parent="WIyWlLk6GJQsqaUBKTNV-1" vertex="1">
          <mxGeometry x="500" y="1754" width="220" height="30" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-130" style="edgeStyle=none;curved=1;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;exitPerimeter=0;fontSize=12;startSize=8;endSize=8;" parent="WIyWlLk6GJQsqaUBKTNV-1" source="p-pctJ4XtrJVEeON2Whd-127" edge="1">
          <mxGeometry relative="1" as="geometry">
            <mxPoint x="-180" y="1235" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-131" value="Y" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontSize=12;" parent="p-pctJ4XtrJVEeON2Whd-130" vertex="1" connectable="0">
          <mxGeometry x="-0.0637" y="5" relative="1" as="geometry">
            <mxPoint as="offset" />
          </mxGeometry>
        </mxCell>
        <mxCell id="m4UItMatK1CIFqo1bRlJ-0" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;exitPerimeter=0;" edge="1" parent="WIyWlLk6GJQsqaUBKTNV-1" source="p-pctJ4XtrJVEeON2Whd-127" target="p-pctJ4XtrJVEeON2Whd-147">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="m4UItMatK1CIFqo1bRlJ-1" value="N" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];" vertex="1" connectable="0" parent="m4UItMatK1CIFqo1bRlJ-0">
          <mxGeometry x="-0.3194" y="2" relative="1" as="geometry">
            <mxPoint x="-2" y="2" as="offset" />
          </mxGeometry>
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-127" value="bug&lt;div&gt;Threshold reached?&lt;/div&gt;" style="strokeWidth=2;html=1;shape=mxgraph.flowchart.decision;whiteSpace=wrap;direction=south;" parent="WIyWlLk6GJQsqaUBKTNV-1" vertex="1">
          <mxGeometry x="-90" y="1186" width="90" height="98" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-128" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0;exitY=0.5;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;entryPerimeter=0;fontSize=12;startSize=8;endSize=8;" parent="WIyWlLk6GJQsqaUBKTNV-1" source="p-pctJ4XtrJVEeON2Whd-107" target="p-pctJ4XtrJVEeON2Whd-127" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-135" style="edgeStyle=none;curved=1;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0;exitY=0.5;exitDx=0;exitDy=0;entryX=1;entryY=0.5;entryDx=0;entryDy=0;fontSize=12;startSize=8;endSize=8;dashed=1;dashPattern=8 8;" parent="WIyWlLk6GJQsqaUBKTNV-1" source="p-pctJ4XtrJVEeON2Whd-132" target="p-pctJ4XtrJVEeON2Whd-134" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-138" style="edgeStyle=elbowEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;fontSize=12;startSize=8;endSize=8;entryX=0.5;entryY=1;entryDx=0;entryDy=0;entryPerimeter=0;" parent="WIyWlLk6GJQsqaUBKTNV-1" target="p-pctJ4XtrJVEeON2Whd-83" edge="1">
          <mxGeometry relative="1" as="geometry">
            <mxPoint x="-200" y="1740" as="targetPoint" />
            <mxPoint x="-230" y="1410" as="sourcePoint" />
            <Array as="points">
              <mxPoint x="-230" y="1410" />
            </Array>
          </mxGeometry>
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-144" style="edgeStyle=none;curved=1;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;fontSize=12;startSize=8;endSize=8;" parent="WIyWlLk6GJQsqaUBKTNV-1" source="p-pctJ4XtrJVEeON2Whd-132" target="p-pctJ4XtrJVEeON2Whd-143" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-132" value="&lt;div&gt;Special&lt;/div&gt;Error logging" style="shape=parallelogram;html=1;strokeWidth=2;perimeter=parallelogramPerimeter;whiteSpace=wrap;rounded=1;arcSize=12;size=0.23;" parent="WIyWlLk6GJQsqaUBKTNV-1" vertex="1">
          <mxGeometry x="-290" y="1205" width="120" height="60" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-134" value="Notification&lt;div&gt;trigger/hook?&lt;/div&gt;" style="rounded=1;whiteSpace=wrap;html=1;absoluteArcSize=1;arcSize=14;strokeWidth=2;dashed=1;dashPattern=8 8;" parent="WIyWlLk6GJQsqaUBKTNV-1" vertex="1">
          <mxGeometry x="-449" y="1202.5" width="70" height="65" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-136" value="Optional settings" style="text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];autosize=1;strokeColor=none;fillColor=none;fontSize=16;" parent="WIyWlLk6GJQsqaUBKTNV-1" vertex="1">
          <mxGeometry x="602" y="831" width="140" height="30" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-137" value="Future idea" style="text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];autosize=1;strokeColor=none;fillColor=none;fontSize=16;" parent="WIyWlLk6GJQsqaUBKTNV-1" vertex="1">
          <mxGeometry x="-464" y="1172.5" width="100" height="30" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-142" style="edgeStyle=none;curved=1;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;fontSize=12;startSize=8;endSize=8;" parent="WIyWlLk6GJQsqaUBKTNV-1" source="p-pctJ4XtrJVEeON2Whd-141" target="p-pctJ4XtrJVEeON2Whd-107" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-141" value="NOTE: Each state path can only add 1 to bug counter, avoiding seed affinity/biasing" style="text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];autosize=1;strokeColor=none;fillColor=none;fontSize=12;" parent="WIyWlLk6GJQsqaUBKTNV-1" vertex="1">
          <mxGeometry x="-130" y="1140" width="470" height="30" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-143" value="reset bug found counter" style="rounded=1;whiteSpace=wrap;html=1;absoluteArcSize=1;arcSize=14;strokeWidth=2;" parent="WIyWlLk6GJQsqaUBKTNV-1" vertex="1">
          <mxGeometry x="-265" y="1350" width="70" height="65" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-145" value="granularity depends on above options&lt;div&gt;ALL errors logged here&lt;/div&gt;" style="text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];autosize=1;strokeColor=none;fillColor=none;fontSize=16;" parent="WIyWlLk6GJQsqaUBKTNV-1" vertex="1">
          <mxGeometry x="454" y="1365" width="290" height="50" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-146" value="reproducible errors here" style="text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];autosize=1;strokeColor=none;fillColor=none;fontSize=16;" parent="WIyWlLk6GJQsqaUBKTNV-1" vertex="1">
          <mxGeometry x="-320" y="1172.5" width="190" height="30" as="geometry" />
        </mxCell>
        <mxCell id="p-pctJ4XtrJVEeON2Whd-147" value="&lt;div&gt;Iterate&lt;/div&gt;tries on seed" style="rounded=1;whiteSpace=wrap;html=1;absoluteArcSize=1;arcSize=14;strokeWidth=2;" parent="WIyWlLk6GJQsqaUBKTNV-1" vertex="1">
          <mxGeometry x="20" y="1350" width="70" height="65" as="geometry" />
        </mxCell>
        <mxCell id="m4UItMatK1CIFqo1bRlJ-4" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;exitPerimeter=0;entryX=1;entryY=0.5;entryDx=0;entryDy=0;" edge="1" parent="WIyWlLk6GJQsqaUBKTNV-1" source="m4UItMatK1CIFqo1bRlJ-2" target="p-pctJ4XtrJVEeON2Whd-143">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="m4UItMatK1CIFqo1bRlJ-5" value="Y" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];" vertex="1" connectable="0" parent="m4UItMatK1CIFqo1bRlJ-4">
          <mxGeometry x="-0.2377" y="-1" relative="1" as="geometry">
            <mxPoint as="offset" />
          </mxGeometry>
        </mxCell>
        <mxCell id="m4UItMatK1CIFqo1bRlJ-6" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;exitPerimeter=0;endArrow=none;startFill=0;" edge="1" parent="WIyWlLk6GJQsqaUBKTNV-1" source="m4UItMatK1CIFqo1bRlJ-2">
          <mxGeometry relative="1" as="geometry">
            <mxPoint x="-85" y="1550" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="m4UItMatK1CIFqo1bRlJ-7" value="N" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];" vertex="1" connectable="0" parent="m4UItMatK1CIFqo1bRlJ-6">
          <mxGeometry x="-0.0259" y="-1" relative="1" as="geometry">
            <mxPoint as="offset" />
          </mxGeometry>
        </mxCell>
        <mxCell id="m4UItMatK1CIFqo1bRlJ-2" value="Tries&amp;nbsp;&lt;div&gt;threshold reached?&lt;/div&gt;" style="strokeWidth=2;html=1;shape=mxgraph.flowchart.decision;whiteSpace=wrap;direction=south;" vertex="1" parent="WIyWlLk6GJQsqaUBKTNV-1">
          <mxGeometry x="-130" y="1333.5" width="90" height="98" as="geometry" />
        </mxCell>
        <mxCell id="m4UItMatK1CIFqo1bRlJ-3" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0;exitY=0.5;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;entryPerimeter=0;" edge="1" parent="WIyWlLk6GJQsqaUBKTNV-1" source="p-pctJ4XtrJVEeON2Whd-147" target="m4UItMatK1CIFqo1bRlJ-2">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
      </root>
    </mxGraphModel>
  </diagram>
</mxfile>
