<mxfile host="app.diagrams.net" modified="2023-11-08T19:35:32.492Z" agent="Mozilla/5.0 (X11; Linux x86_64; rv:109.0) Gecko/20100101 Firefox/119.0" etag="Arkzoypenm2zX9L1K_tJ" version="22.0.8" type="device">
  <diagram name="Pagina-1" id="heIegY8rYzWn5zT_ywOG">
    <mxGraphModel dx="3187" dy="1611" 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="0" />
        <mxCell id="1" parent="0" />
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-1" value="A" style="whiteSpace=wrap;html=1;aspect=fixed;fontSize=24;fontFamily=Times New Roman;" vertex="1" parent="1">
          <mxGeometry x="275.32" y="200" width="30" height="30" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-2" value="C" style="whiteSpace=wrap;html=1;aspect=fixed;fontSize=24;fontFamily=Times New Roman;" vertex="1" parent="1">
          <mxGeometry x="275.32" y="170" width="30" height="30" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-3" value="B" style="whiteSpace=wrap;html=1;aspect=fixed;fontSize=24;fontFamily=Times New Roman;" vertex="1" parent="1">
          <mxGeometry x="320" y="200" width="30" height="30" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-4" value="A" style="whiteSpace=wrap;html=1;aspect=fixed;fontSize=24;fontFamily=Times New Roman;" vertex="1" parent="1">
          <mxGeometry x="530" y="139.04000000000002" width="30" height="30" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-5" value="C" style="whiteSpace=wrap;html=1;aspect=fixed;fontSize=24;fontFamily=Times New Roman;" vertex="1" parent="1">
          <mxGeometry x="530" y="169.36" width="30.32" height="30.32" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-6" value="B" style="whiteSpace=wrap;html=1;aspect=fixed;fontSize=24;fontFamily=Times New Roman;" vertex="1" parent="1">
          <mxGeometry x="530" y="199.68" width="30.32" height="30.32" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-7" value="Initial state" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=24;fontFamily=Times New Roman;" vertex="1" parent="1">
          <mxGeometry x="260.32" y="109.03999999999999" width="120" height="30" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-8" value="Goal" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=24;fontFamily=Times New Roman;" vertex="1" parent="1">
          <mxGeometry x="515.16" y="109.03999999999999" width="60" height="30" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-10" value="Current state" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=24;fontFamily=Times New Roman;" vertex="1" parent="1">
          <mxGeometry x="414" y="250" width="406" height="30" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-12" value="&lt;font style=&quot;font-size: 20px;&quot;&gt;on(c, b) &lt;span role=&quot;presentation&quot; data-mathml=&quot;&lt;math xmlns=&amp;quot;http://www.w3.org/1998/Math/MathML&amp;quot;&gt;&lt;mo&gt;&amp;amp;#x2227;&lt;/mo&gt;&lt;/math&gt;&quot; style=&quot;position: relative; font-size: 20px;&quot; tabindex=&quot;0&quot; id=&quot;MathJax-Element-12-Frame&quot; class=&quot;MathJax&quot;&gt;&lt;/span&gt;&lt;span role=&quot;presentation&quot; data-mathml=&quot;&lt;math xmlns=&amp;quot;http://www.w3.org/1998/Math/MathML&amp;quot;&gt;&lt;mo&gt;&amp;amp;#x2227;&lt;/mo&gt;&lt;/math&gt;&quot; style=&quot;position: relative; font-size: 20px;&quot; tabindex=&quot;0&quot; id=&quot;MathJax-Element-12-Frame&quot; class=&quot;MathJax&quot;&gt;&lt;/span&gt;&lt;/font&gt;∧ on(a, c)" style="rounded=0;whiteSpace=wrap;html=1;fontFamily=Times New Roman;fontSize=20;" vertex="1" parent="1">
          <mxGeometry x="111.16" y="290" width="200" height="30" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-13" value="&lt;div style=&quot;font-size: 20px;&quot;&gt;&lt;font style=&quot;font-size: 20px;&quot;&gt;ontable(a)&lt;span style=&quot;white-space: pre;&quot;&gt;&#x9;&lt;/span&gt;&lt;font style=&quot;font-size: 20px;&quot;&gt;&lt;span style=&quot;white-space: pre;&quot;&gt;&lt;/span&gt;ontable(b)&lt;/font&gt;&lt;/font&gt;&lt;/div&gt;&lt;div style=&quot;font-size: 20px;&quot;&gt;&lt;font style=&quot;font-size: 20px;&quot;&gt;clear(b)&lt;font style=&quot;font-size: 20px;&quot;&gt;&lt;span style=&quot;white-space: pre;&quot;&gt;&#x9;&lt;/span&gt;clear(c)&lt;/font&gt;&lt;/font&gt;&lt;/div&gt;&lt;div style=&quot;font-size: 20px;&quot;&gt;&lt;font style=&quot;font-size: 20px;&quot;&gt;on(c, a) &lt;span style=&quot;white-space: pre;&quot;&gt;&#x9;&lt;/span&gt;handempty&lt;font style=&quot;font-size: 20px;&quot;&gt;&lt;br&gt;&lt;/font&gt;&lt;/font&gt;&lt;/div&gt;" style="rounded=0;whiteSpace=wrap;html=1;fontFamily=Times New Roman;" vertex="1" parent="1">
          <mxGeometry x="503.5" y="290" width="227" height="80" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-14" value="Goal stack" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=24;fontFamily=Times New Roman;" vertex="1" parent="1">
          <mxGeometry x="8" y="250" width="406" height="30" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-15" value="" style="endArrow=none;html=1;rounded=0;exitX=1;exitY=0;exitDx=0;exitDy=0;" edge="1" parent="1" source="xEpXjmtw2FbbvQ37l8T_-12">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="370" y="310" as="sourcePoint" />
            <mxPoint x="311" y="360" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-16" value="" style="endArrow=none;html=1;rounded=0;exitX=0;exitY=0;exitDx=0;exitDy=0;" edge="1" parent="1" source="xEpXjmtw2FbbvQ37l8T_-12">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="321" y="300" as="sourcePoint" />
            <mxPoint x="111" y="360" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-18" value="&lt;font style=&quot;font-size: 20px;&quot;&gt;on(c, b) &lt;span role=&quot;presentation&quot; data-mathml=&quot;&lt;math xmlns=&amp;quot;http://www.w3.org/1998/Math/MathML&amp;quot;&gt;&lt;mo&gt;&amp;amp;#x2227;&lt;/mo&gt;&lt;/math&gt;&quot; style=&quot;position: relative; font-size: 20px;&quot; tabindex=&quot;0&quot; id=&quot;MathJax-Element-12-Frame&quot; class=&quot;MathJax&quot;&gt;&lt;/span&gt;&lt;span role=&quot;presentation&quot; data-mathml=&quot;&lt;math xmlns=&amp;quot;http://www.w3.org/1998/Math/MathML&amp;quot;&gt;&lt;mo&gt;&amp;amp;#x2227;&lt;/mo&gt;&lt;/math&gt;&quot; style=&quot;position: relative; font-size: 20px;&quot; tabindex=&quot;0&quot; id=&quot;MathJax-Element-12-Frame&quot; class=&quot;MathJax&quot;&gt;&lt;/span&gt;&lt;/font&gt;∧ on(a, c)" style="rounded=0;whiteSpace=wrap;html=1;fontFamily=Times New Roman;fontSize=20;" vertex="1" parent="1">
          <mxGeometry x="111.32" y="400" width="200" height="30" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-19" value="" style="endArrow=none;html=1;rounded=0;exitX=1;exitY=0;exitDx=0;exitDy=0;" edge="1" parent="1" source="xEpXjmtw2FbbvQ37l8T_-18">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="370.32000000000005" y="420" as="sourcePoint" />
            <mxPoint x="311.16" y="540" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-20" value="" style="endArrow=none;html=1;rounded=0;exitX=0;exitY=0;exitDx=0;exitDy=0;" edge="1" parent="1" source="xEpXjmtw2FbbvQ37l8T_-18">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="321.32000000000005" y="410" as="sourcePoint" />
            <mxPoint x="111.16" y="540" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-21" value="" style="endArrow=classic;html=1;rounded=0;" edge="1" parent="1">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="210.92" y="460" as="sourcePoint" />
            <mxPoint x="211.16" y="440" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-22" value="" style="shape=flexArrow;endArrow=classic;html=1;rounded=0;endWidth=8.275862068965518;endSize=5.172413793103448;" edge="1" parent="1">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="210.86" y="360" as="sourcePoint" />
            <mxPoint x="210.83" y="390" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-23" value="on(a, c)" style="rounded=0;whiteSpace=wrap;html=1;fontFamily=Times New Roman;fontSize=20;" vertex="1" parent="1">
          <mxGeometry x="111.32" y="470" width="200" height="30" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-24" value="&lt;font style=&quot;font-size: 20px;&quot;&gt;on(c, b)&lt;/font&gt;" style="rounded=0;whiteSpace=wrap;html=1;fontFamily=Times New Roman;fontSize=20;" vertex="1" parent="1">
          <mxGeometry x="111.32" y="500" width="200" height="30" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-25" value="&lt;div style=&quot;font-size: 16px;&quot; align=&quot;left&quot;&gt;&lt;font style=&quot;font-size: 16px;&quot;&gt;&lt;b&gt;&lt;font style=&quot;font-size: 16px;&quot; face=&quot;Times New Roman&quot;&gt;Disjunction of goals&lt;br&gt;&lt;/font&gt;&lt;/b&gt;&lt;/font&gt;&lt;/div&gt;&lt;div style=&quot;font-size: 16px;&quot; align=&quot;left&quot;&gt;&lt;font style=&quot;font-size: 16px;&quot; face=&quot;Times New Roman&quot;&gt;Push in arbitrarily decided order&lt;/font&gt;&lt;/div&gt;" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;whiteSpace=wrap;rounded=0;" vertex="1" parent="1">
          <mxGeometry x="311.64" y="395" width="238.68" height="40" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-32" value="&lt;font style=&quot;font-size: 20px;&quot;&gt;on(c, b) &lt;span role=&quot;presentation&quot; data-mathml=&quot;&lt;math xmlns=&amp;quot;http://www.w3.org/1998/Math/MathML&amp;quot;&gt;&lt;mo&gt;&amp;amp;#x2227;&lt;/mo&gt;&lt;/math&gt;&quot; style=&quot;position: relative; font-size: 20px;&quot; tabindex=&quot;0&quot; id=&quot;MathJax-Element-12-Frame&quot; class=&quot;MathJax&quot;&gt;&lt;/span&gt;&lt;span role=&quot;presentation&quot; data-mathml=&quot;&lt;math xmlns=&amp;quot;http://www.w3.org/1998/Math/MathML&amp;quot;&gt;&lt;mo&gt;&amp;amp;#x2227;&lt;/mo&gt;&lt;/math&gt;&quot; style=&quot;position: relative; font-size: 20px;&quot; tabindex=&quot;0&quot; id=&quot;MathJax-Element-12-Frame&quot; class=&quot;MathJax&quot;&gt;&lt;/span&gt;&lt;/font&gt;∧ on(a, c)" style="rounded=0;whiteSpace=wrap;html=1;fontFamily=Times New Roman;fontSize=20;" vertex="1" parent="1">
          <mxGeometry x="111.32" y="590" width="200" height="30" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-33" value="" style="endArrow=none;html=1;rounded=0;exitX=1;exitY=0;exitDx=0;exitDy=0;" edge="1" parent="1" source="xEpXjmtw2FbbvQ37l8T_-32">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="370.32000000000005" y="610" as="sourcePoint" />
            <mxPoint x="311" y="790" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-34" value="" style="endArrow=none;html=1;rounded=0;exitX=0;exitY=0;exitDx=0;exitDy=0;" edge="1" parent="1" source="xEpXjmtw2FbbvQ37l8T_-32">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="321.32000000000005" y="600" as="sourcePoint" />
            <mxPoint x="111" y="790" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-35" value="" style="endArrow=classic;html=1;rounded=0;" edge="1" parent="1">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="210.76" y="710" as="sourcePoint" />
            <mxPoint x="211" y="690" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-36" value="" style="shape=flexArrow;endArrow=classic;html=1;rounded=0;endWidth=8.275862068965518;endSize=5.172413793103448;" edge="1" parent="1">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="210.86" y="550" as="sourcePoint" />
            <mxPoint x="210.83" y="580" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-37" value="on(a, c)" style="rounded=0;whiteSpace=wrap;html=1;fontFamily=Times New Roman;fontSize=20;" vertex="1" parent="1">
          <mxGeometry x="111.32" y="620" width="200" height="30" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-38" value="&lt;font style=&quot;font-size: 20px;&quot;&gt;on(c, b)&lt;/font&gt;" style="rounded=0;whiteSpace=wrap;html=1;fontFamily=Times New Roman;fontSize=20;" vertex="1" parent="1">
          <mxGeometry x="111.32" y="650" width="200" height="30" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-40" value="&lt;div style=&quot;font-size: 16px;&quot; align=&quot;left&quot;&gt;&lt;font style=&quot;font-size: 16px;&quot;&gt;&lt;b&gt;&lt;font style=&quot;font-size: 16px;&quot; face=&quot;Times New Roman&quot;&gt;Single goal (not ⊆ of current state)&lt;br&gt;&lt;/font&gt;&lt;/b&gt;&lt;/font&gt;&lt;/div&gt;&lt;div style=&quot;font-size: 16px;&quot; align=&quot;left&quot;&gt;&lt;font style=&quot;font-size: 16px;&quot; face=&quot;Times New Roman&quot;&gt;Pop and push suitable action&lt;br&gt;&lt;/font&gt;&lt;/div&gt;" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;whiteSpace=wrap;rounded=0;" vertex="1" parent="1">
          <mxGeometry x="311.32" y="645" width="258.68" height="40" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-43" value="" style="curved=1;endArrow=classic;html=1;rounded=0;" edge="1" parent="1">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="111.16" y="665" as="sourcePoint" />
            <mxPoint x="80" y="670" as="targetPoint" />
            <Array as="points">
              <mxPoint x="109.16" y="664" />
              <mxPoint x="90" y="660" />
            </Array>
          </mxGeometry>
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-45" value="STACK(c, b)" style="rounded=0;whiteSpace=wrap;html=1;fontFamily=Times New Roman;fontSize=20;" vertex="1" parent="1">
          <mxGeometry x="111" y="720" width="200" height="30" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-46" value="holding(c)&amp;nbsp;∧ clear(b)" style="rounded=0;whiteSpace=wrap;html=1;fontFamily=Times New Roman;fontSize=20;" vertex="1" parent="1">
          <mxGeometry x="111" y="750" width="200" height="30" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-47" value="&lt;font style=&quot;font-size: 16px;&quot; face=&quot;Times New Roman&quot;&gt;Preconditions of STACK&lt;/font&gt;" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=16;" vertex="1" parent="1">
          <mxGeometry x="311.32" y="750" width="238.68" height="30" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-61" value="&lt;font style=&quot;font-size: 20px;&quot;&gt;on(c, b) &lt;span role=&quot;presentation&quot; data-mathml=&quot;&lt;math xmlns=&amp;quot;http://www.w3.org/1998/Math/MathML&amp;quot;&gt;&lt;mo&gt;&amp;amp;#x2227;&lt;/mo&gt;&lt;/math&gt;&quot; style=&quot;position: relative; font-size: 20px;&quot; tabindex=&quot;0&quot; id=&quot;MathJax-Element-12-Frame&quot; class=&quot;MathJax&quot;&gt;&lt;/span&gt;&lt;span role=&quot;presentation&quot; data-mathml=&quot;&lt;math xmlns=&amp;quot;http://www.w3.org/1998/Math/MathML&amp;quot;&gt;&lt;mo&gt;&amp;amp;#x2227;&lt;/mo&gt;&lt;/math&gt;&quot; style=&quot;position: relative; font-size: 20px;&quot; tabindex=&quot;0&quot; id=&quot;MathJax-Element-12-Frame&quot; class=&quot;MathJax&quot;&gt;&lt;/span&gt;&lt;/font&gt;∧ on(a, c)" style="rounded=0;whiteSpace=wrap;html=1;fontFamily=Times New Roman;fontSize=20;" vertex="1" parent="1">
          <mxGeometry x="111.32" y="840" width="200" height="30" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-62" value="" style="endArrow=none;html=1;rounded=0;exitX=1;exitY=0;exitDx=0;exitDy=0;" edge="1" parent="1" source="xEpXjmtw2FbbvQ37l8T_-61">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="370.32000000000005" y="860" as="sourcePoint" />
            <mxPoint x="311" y="1080" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-63" value="" style="endArrow=none;html=1;rounded=0;exitX=0;exitY=0;exitDx=0;exitDy=0;" edge="1" parent="1" source="xEpXjmtw2FbbvQ37l8T_-61">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="321.32000000000005" y="850" as="sourcePoint" />
            <mxPoint x="111" y="1080" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-64" value="" style="endArrow=classic;html=1;rounded=0;" edge="1" parent="1">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="210.8" y="990" as="sourcePoint" />
            <mxPoint x="211.04000000000002" y="970" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-65" value="" style="shape=flexArrow;endArrow=classic;html=1;rounded=0;endWidth=8.275862068965518;endSize=5.172413793103448;" edge="1" parent="1">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="210.86" y="800" as="sourcePoint" />
            <mxPoint x="210.83" y="830" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-66" value="on(a, c)" style="rounded=0;whiteSpace=wrap;html=1;fontFamily=Times New Roman;fontSize=20;" vertex="1" parent="1">
          <mxGeometry x="111.32" y="870" width="200" height="30" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-70" value="STACK(c, b)" style="rounded=0;whiteSpace=wrap;html=1;fontFamily=Times New Roman;fontSize=20;" vertex="1" parent="1">
          <mxGeometry x="111.32" y="900" width="200" height="30" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-71" value="holding(c)&amp;nbsp;∧ clear(b)" style="rounded=0;whiteSpace=wrap;html=1;fontFamily=Times New Roman;fontSize=20;" vertex="1" parent="1">
          <mxGeometry x="111.32" y="930" width="200" height="30" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-73" value="&lt;div style=&quot;font-size: 16px;&quot; align=&quot;left&quot;&gt;&lt;font style=&quot;font-size: 16px;&quot;&gt;&lt;b&gt;&lt;font style=&quot;font-size: 16px;&quot; face=&quot;Times New Roman&quot;&gt;Disjunction of goals&lt;br&gt;&lt;/font&gt;&lt;/b&gt;&lt;/font&gt;&lt;/div&gt;&lt;div style=&quot;font-size: 16px;&quot; align=&quot;left&quot;&gt;&lt;font style=&quot;font-size: 16px;&quot; face=&quot;Times New Roman&quot;&gt;Push in arbitrarily decided order&lt;/font&gt;&lt;/div&gt;" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;whiteSpace=wrap;rounded=0;" vertex="1" parent="1">
          <mxGeometry x="311.32" y="925" width="238.68" height="40" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-74" value="holding(c)" style="rounded=0;whiteSpace=wrap;html=1;fontFamily=Times New Roman;fontSize=20;" vertex="1" parent="1">
          <mxGeometry x="111.32" y="1000" width="200" height="30" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-75" value="clear(b)" style="rounded=0;whiteSpace=wrap;html=1;fontFamily=Times New Roman;fontSize=20;" vertex="1" parent="1">
          <mxGeometry x="111.32" y="1030" width="200" height="30" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-76" value="&lt;font style=&quot;font-size: 20px;&quot;&gt;on(c, b) &lt;span role=&quot;presentation&quot; data-mathml=&quot;&lt;math xmlns=&amp;quot;http://www.w3.org/1998/Math/MathML&amp;quot;&gt;&lt;mo&gt;&amp;amp;#x2227;&lt;/mo&gt;&lt;/math&gt;&quot; style=&quot;position: relative; font-size: 20px;&quot; tabindex=&quot;0&quot; id=&quot;MathJax-Element-12-Frame&quot; class=&quot;MathJax&quot;&gt;&lt;/span&gt;&lt;span role=&quot;presentation&quot; data-mathml=&quot;&lt;math xmlns=&amp;quot;http://www.w3.org/1998/Math/MathML&amp;quot;&gt;&lt;mo&gt;&amp;amp;#x2227;&lt;/mo&gt;&lt;/math&gt;&quot; style=&quot;position: relative; font-size: 20px;&quot; tabindex=&quot;0&quot; id=&quot;MathJax-Element-12-Frame&quot; class=&quot;MathJax&quot;&gt;&lt;/span&gt;&lt;/font&gt;∧ on(a, c)" style="rounded=0;whiteSpace=wrap;html=1;fontFamily=Times New Roman;fontSize=20;" vertex="1" parent="1">
          <mxGeometry x="111.63999999999999" y="1120" width="200" height="30" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-77" value="" style="endArrow=none;html=1;rounded=0;exitX=1;exitY=0;exitDx=0;exitDy=0;" edge="1" parent="1" source="xEpXjmtw2FbbvQ37l8T_-76">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="370.64000000000004" y="1140" as="sourcePoint" />
            <mxPoint x="312" y="1440" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-78" value="" style="endArrow=none;html=1;rounded=0;exitX=0;exitY=0;exitDx=0;exitDy=0;" edge="1" parent="1" source="xEpXjmtw2FbbvQ37l8T_-76">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="321.64000000000004" y="1130" as="sourcePoint" />
            <mxPoint x="111" y="1440" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-80" value="" style="shape=flexArrow;endArrow=classic;html=1;rounded=0;endWidth=8.275862068965518;endSize=5.172413793103448;" edge="1" parent="1">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="211.18" y="1080" as="sourcePoint" />
            <mxPoint x="211.15" y="1110" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-81" value="on(a, c)" style="rounded=0;whiteSpace=wrap;html=1;fontFamily=Times New Roman;fontSize=20;" vertex="1" parent="1">
          <mxGeometry x="111.63999999999999" y="1150" width="200" height="30" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-82" value="STACK(c, b)" style="rounded=0;whiteSpace=wrap;html=1;fontFamily=Times New Roman;fontSize=20;" vertex="1" parent="1">
          <mxGeometry x="111.63999999999999" y="1180" width="200" height="30" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-83" value="holding(c)&amp;nbsp;∧ clear(b)" style="rounded=0;whiteSpace=wrap;html=1;fontFamily=Times New Roman;fontSize=20;" vertex="1" parent="1">
          <mxGeometry x="111.63999999999999" y="1210" width="200" height="30" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-85" value="holding(c)" style="rounded=0;whiteSpace=wrap;html=1;fontFamily=Times New Roman;fontSize=20;" vertex="1" parent="1">
          <mxGeometry x="111.63999999999999" y="1240" width="200" height="30" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-86" value="clear(b)" style="rounded=0;whiteSpace=wrap;html=1;fontFamily=Times New Roman;fontSize=20;" vertex="1" parent="1">
          <mxGeometry x="111.63999999999999" y="1270" width="200" height="30" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-88" value="" style="endArrow=classic;html=1;rounded=0;" edge="1" parent="1">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="211.39999999999998" y="1330" as="sourcePoint" />
            <mxPoint x="211.64" y="1310" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-89" value="" style="curved=1;endArrow=classic;html=1;rounded=0;" edge="1" parent="1">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="111.8" y="1285" as="sourcePoint" />
            <mxPoint x="80.64" y="1290" as="targetPoint" />
            <Array as="points">
              <mxPoint x="109.8" y="1284" />
              <mxPoint x="90.64" y="1280" />
            </Array>
          </mxGeometry>
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-90" value="UNSTACK(c, X)" style="rounded=0;whiteSpace=wrap;html=1;fontFamily=Times New Roman;fontSize=20;" vertex="1" parent="1">
          <mxGeometry x="111.64" y="1340" width="200" height="30" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-91" value="handempty ∧ clear(c) ∧ on(c, X)" style="rounded=0;whiteSpace=wrap;html=1;fontFamily=Times New Roman;fontSize=20;" vertex="1" parent="1">
          <mxGeometry x="111.64" y="1370" width="200" height="50" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-92" value="&lt;div style=&quot;font-size: 16px;&quot; align=&quot;left&quot;&gt;&lt;font style=&quot;font-size: 16px;&quot;&gt;&lt;b&gt;&lt;font style=&quot;font-size: 16px;&quot; face=&quot;Times New Roman&quot;&gt;Single goal (not ⊆ of current state)&lt;br&gt;&lt;/font&gt;&lt;/b&gt;&lt;/font&gt;&lt;/div&gt;&lt;div style=&quot;font-size: 16px;&quot; align=&quot;left&quot;&gt;&lt;font style=&quot;font-size: 16px;&quot; face=&quot;Times New Roman&quot;&gt;Pop and push suitable action&lt;br&gt;&lt;/font&gt;&lt;/div&gt;" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;whiteSpace=wrap;rounded=0;" vertex="1" parent="1">
          <mxGeometry x="311.64" y="1265" width="258.68" height="40" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-93" value="&lt;font style=&quot;font-size: 16px;&quot; face=&quot;Times New Roman&quot;&gt;Preconditions of UNSTACK&lt;/font&gt;" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=16;" vertex="1" parent="1">
          <mxGeometry x="311.64" y="1370" width="238.68" height="50" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-95" value="&lt;font style=&quot;font-size: 20px;&quot;&gt;on(c, b) &lt;span role=&quot;presentation&quot; data-mathml=&quot;&lt;math xmlns=&amp;quot;http://www.w3.org/1998/Math/MathML&amp;quot;&gt;&lt;mo&gt;&amp;amp;#x2227;&lt;/mo&gt;&lt;/math&gt;&quot; style=&quot;position: relative; font-size: 20px;&quot; tabindex=&quot;0&quot; id=&quot;MathJax-Element-12-Frame&quot; class=&quot;MathJax&quot;&gt;&lt;/span&gt;&lt;span role=&quot;presentation&quot; data-mathml=&quot;&lt;math xmlns=&amp;quot;http://www.w3.org/1998/Math/MathML&amp;quot;&gt;&lt;mo&gt;&amp;amp;#x2227;&lt;/mo&gt;&lt;/math&gt;&quot; style=&quot;position: relative; font-size: 20px;&quot; tabindex=&quot;0&quot; id=&quot;MathJax-Element-12-Frame&quot; class=&quot;MathJax&quot;&gt;&lt;/span&gt;&lt;/font&gt;∧ on(a, c)" style="rounded=0;whiteSpace=wrap;html=1;fontFamily=Times New Roman;fontSize=20;" vertex="1" parent="1">
          <mxGeometry x="111.63999999999999" y="1480" width="200" height="30" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-96" value="" style="endArrow=none;html=1;rounded=0;exitX=1;exitY=0;exitDx=0;exitDy=0;" edge="1" parent="1" source="xEpXjmtw2FbbvQ37l8T_-95">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="370.64000000000004" y="1500" as="sourcePoint" />
            <mxPoint x="312" y="1720" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-97" value="" style="endArrow=none;html=1;rounded=0;exitX=0;exitY=0;exitDx=0;exitDy=0;" edge="1" parent="1" source="xEpXjmtw2FbbvQ37l8T_-95">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="321.64000000000004" y="1490" as="sourcePoint" />
            <mxPoint x="111" y="1720" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-98" value="" style="shape=flexArrow;endArrow=classic;html=1;rounded=0;endWidth=8.275862068965518;endSize=5.172413793103448;" edge="1" parent="1">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="211.18" y="1440" as="sourcePoint" />
            <mxPoint x="211.15" y="1470" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-99" value="on(a, c)" style="rounded=0;whiteSpace=wrap;html=1;fontFamily=Times New Roman;fontSize=20;" vertex="1" parent="1">
          <mxGeometry x="111.63999999999999" y="1510" width="200" height="30" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-100" value="STACK(c, b)" style="rounded=0;whiteSpace=wrap;html=1;fontFamily=Times New Roman;fontSize=20;" vertex="1" parent="1">
          <mxGeometry x="111.63999999999999" y="1540" width="200" height="30" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-101" value="holding(c)&amp;nbsp;∧ clear(b)" style="rounded=0;whiteSpace=wrap;html=1;fontFamily=Times New Roman;fontSize=20;" vertex="1" parent="1">
          <mxGeometry x="111.63999999999999" y="1570" width="200" height="30" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-102" value="holding(c)" style="rounded=0;whiteSpace=wrap;html=1;fontFamily=Times New Roman;fontSize=20;" vertex="1" parent="1">
          <mxGeometry x="111.63999999999999" y="1600" width="200" height="30" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-105" value="" style="curved=1;endArrow=classic;html=1;rounded=0;" edge="1" parent="1">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="111.64" y="1685" as="sourcePoint" />
            <mxPoint x="80.48" y="1690" as="targetPoint" />
            <Array as="points">
              <mxPoint x="109.64" y="1684" />
              <mxPoint x="90.48" y="1680" />
            </Array>
          </mxGeometry>
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-106" value="UNSTACK(c, a)" style="rounded=0;whiteSpace=wrap;html=1;fontFamily=Times New Roman;fontSize=20;" vertex="1" parent="1">
          <mxGeometry x="111.64" y="1630" width="200" height="30" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-107" value="handempty ∧ clear(c) ∧ on(c, X)" style="rounded=0;whiteSpace=wrap;html=1;fontFamily=Times New Roman;fontSize=20;" vertex="1" parent="1">
          <mxGeometry x="111.64" y="1660" width="200" height="50" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-108" value="&lt;div style=&quot;font-size: 16px;&quot; align=&quot;left&quot;&gt;&lt;font style=&quot;font-size: 16px;&quot;&gt;&lt;font style=&quot;font-size: 16px;&quot; face=&quot;Times New Roman&quot;&gt;&lt;b&gt;Goals ⊆ of current state&lt;/b&gt;&lt;/font&gt;&lt;b&gt;&lt;font style=&quot;font-size: 16px;&quot; face=&quot;Times New Roman&quot;&gt;&lt;br&gt;&lt;/font&gt;&lt;/b&gt;&lt;/font&gt;&lt;/div&gt;&lt;div style=&quot;font-size: 16px;&quot; align=&quot;left&quot;&gt;&lt;font face=&quot;Times New Roman&quot; style=&quot;font-size: 16px;&quot;&gt;with substitution X/a&lt;br&gt;&lt;/font&gt;&lt;/div&gt;" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;whiteSpace=wrap;rounded=0;" vertex="1" parent="1">
          <mxGeometry x="311.64" y="1665" width="258.68" height="40" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-111" value="" style="curved=1;endArrow=classic;html=1;rounded=0;" edge="1" parent="1">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="111.64" y="1645" as="sourcePoint" />
            <mxPoint x="80.48" y="1650" as="targetPoint" />
            <Array as="points">
              <mxPoint x="109.64" y="1644" />
              <mxPoint x="90.48" y="1640" />
            </Array>
          </mxGeometry>
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-112" value="&lt;b&gt;&lt;font style=&quot;font-size: 16px;&quot;&gt;&lt;font face=&quot;Times New Roman&quot;&gt;Apply action&lt;/font&gt;&lt;br&gt;&lt;/font&gt;&lt;/b&gt;" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;whiteSpace=wrap;rounded=0;" vertex="1" parent="1">
          <mxGeometry x="311.64" y="1630" width="98.36" height="30" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-114" value="&lt;div style=&quot;font-size: 20px;&quot;&gt;&lt;font style=&quot;font-size: 20px;&quot;&gt;ontable(a)&lt;span style=&quot;white-space: pre;&quot;&gt;&#x9;&lt;/span&gt;&lt;font style=&quot;font-size: 20px;&quot;&gt;&lt;span style=&quot;white-space: pre;&quot;&gt;&lt;/span&gt;ontable(b)&lt;/font&gt;&lt;/font&gt;&lt;/div&gt;&lt;div style=&quot;font-size: 20px;&quot;&gt;&lt;font style=&quot;font-size: 20px;&quot;&gt;clear(a)&lt;font style=&quot;font-size: 20px;&quot;&gt;&lt;span style=&quot;white-space: pre;&quot;&gt;&#x9;&lt;/span&gt;clear(b)&lt;/font&gt;&lt;/font&gt;&lt;/div&gt;&lt;div style=&quot;font-size: 20px;&quot;&gt;&lt;font style=&quot;font-size: 20px;&quot;&gt;holding(c)&lt;font style=&quot;font-size: 20px;&quot;&gt;&lt;br&gt;&lt;/font&gt;&lt;/font&gt;&lt;/div&gt;" style="rounded=0;whiteSpace=wrap;html=1;fontFamily=Times New Roman;" vertex="1" parent="1">
          <mxGeometry x="503.5" y="1605" width="227" height="80" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-115" value="" style="endArrow=classic;startArrow=classic;html=1;rounded=0;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;" edge="1" parent="1" source="xEpXjmtw2FbbvQ37l8T_-112" target="xEpXjmtw2FbbvQ37l8T_-114">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="420" y="1630" as="sourcePoint" />
            <mxPoint x="470" y="1580" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-116" value="" style="endArrow=classic;html=1;rounded=0;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;dashed=1;" edge="1" parent="1" source="xEpXjmtw2FbbvQ37l8T_-13" target="xEpXjmtw2FbbvQ37l8T_-114">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="470" y="800" as="sourcePoint" />
            <mxPoint x="610" y="1170" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-141" value="&lt;font style=&quot;font-size: 16px;&quot;&gt;&lt;font face=&quot;Times New Roman&quot;&gt;UNSTACK(c, a)&lt;/font&gt;&lt;br&gt;&lt;/font&gt;" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];" vertex="1" connectable="0" parent="xEpXjmtw2FbbvQ37l8T_-116">
          <mxGeometry x="0.3188" relative="1" as="geometry">
            <mxPoint y="-204" as="offset" />
          </mxGeometry>
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-117" value="&lt;font style=&quot;font-size: 20px;&quot;&gt;on(c, b) &lt;span role=&quot;presentation&quot; data-mathml=&quot;&lt;math xmlns=&amp;quot;http://www.w3.org/1998/Math/MathML&amp;quot;&gt;&lt;mo&gt;&amp;amp;#x2227;&lt;/mo&gt;&lt;/math&gt;&quot; style=&quot;position: relative; font-size: 20px;&quot; tabindex=&quot;0&quot; id=&quot;MathJax-Element-12-Frame&quot; class=&quot;MathJax&quot;&gt;&lt;/span&gt;&lt;span role=&quot;presentation&quot; data-mathml=&quot;&lt;math xmlns=&amp;quot;http://www.w3.org/1998/Math/MathML&amp;quot;&gt;&lt;mo&gt;&amp;amp;#x2227;&lt;/mo&gt;&lt;/math&gt;&quot; style=&quot;position: relative; font-size: 20px;&quot; tabindex=&quot;0&quot; id=&quot;MathJax-Element-12-Frame&quot; class=&quot;MathJax&quot;&gt;&lt;/span&gt;&lt;/font&gt;∧ on(a, c)" style="rounded=0;whiteSpace=wrap;html=1;fontFamily=Times New Roman;fontSize=20;" vertex="1" parent="1">
          <mxGeometry x="111.63999999999999" y="1760" width="200" height="30" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-118" value="" style="endArrow=none;html=1;rounded=0;exitX=1;exitY=0;exitDx=0;exitDy=0;" edge="1" parent="1" source="xEpXjmtw2FbbvQ37l8T_-117">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="370.64000000000004" y="1780" as="sourcePoint" />
            <mxPoint x="312" y="1920" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-119" value="" style="endArrow=none;html=1;rounded=0;exitX=0;exitY=0;exitDx=0;exitDy=0;" edge="1" parent="1" source="xEpXjmtw2FbbvQ37l8T_-117">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="321.64000000000004" y="1770" as="sourcePoint" />
            <mxPoint x="111" y="1920" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-120" value="" style="shape=flexArrow;endArrow=classic;html=1;rounded=0;endWidth=8.275862068965518;endSize=5.172413793103448;" edge="1" parent="1">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="211.18" y="1720" as="sourcePoint" />
            <mxPoint x="211.15" y="1750" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-121" value="on(a, c)" style="rounded=0;whiteSpace=wrap;html=1;fontFamily=Times New Roman;fontSize=20;" vertex="1" parent="1">
          <mxGeometry x="111.63999999999999" y="1790" width="200" height="30" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-122" value="STACK(c, b)" style="rounded=0;whiteSpace=wrap;html=1;fontFamily=Times New Roman;fontSize=20;" vertex="1" parent="1">
          <mxGeometry x="111.63999999999999" y="1820" width="200" height="30" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-123" value="holding(c)&amp;nbsp;∧ clear(b)" style="rounded=0;whiteSpace=wrap;html=1;fontFamily=Times New Roman;fontSize=20;" vertex="1" parent="1">
          <mxGeometry x="111.63999999999999" y="1850" width="200" height="30" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-124" value="holding(c)" style="rounded=0;whiteSpace=wrap;html=1;fontFamily=Times New Roman;fontSize=20;" vertex="1" parent="1">
          <mxGeometry x="111.63999999999999" y="1880" width="200" height="30" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-125" value="" style="curved=1;endArrow=classic;html=1;rounded=0;" edge="1" parent="1">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="111" y="1895" as="sourcePoint" />
            <mxPoint x="79.84" y="1900" as="targetPoint" />
            <Array as="points">
              <mxPoint x="109" y="1894" />
              <mxPoint x="89.84" y="1890" />
            </Array>
          </mxGeometry>
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-128" value="" style="curved=1;endArrow=classic;html=1;rounded=0;" edge="1" parent="1">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="111.64" y="1865" as="sourcePoint" />
            <mxPoint x="80.48" y="1870" as="targetPoint" />
            <Array as="points">
              <mxPoint x="109.64" y="1864" />
              <mxPoint x="90.48" y="1860" />
            </Array>
          </mxGeometry>
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-130" value="" style="curved=1;endArrow=classic;html=1;rounded=0;" edge="1" parent="1">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="111.64" y="1835" as="sourcePoint" />
            <mxPoint x="80.48" y="1840" as="targetPoint" />
            <Array as="points">
              <mxPoint x="109.64" y="1834" />
              <mxPoint x="90.48" y="1830" />
            </Array>
          </mxGeometry>
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-131" value="&amp;nbsp;" style="text;whiteSpace=wrap;html=1;" vertex="1" parent="1">
          <mxGeometry x="100" y="1770" width="40" height="40" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-132" value="&amp;nbsp;" style="text;whiteSpace=wrap;html=1;" vertex="1" parent="1">
          <mxGeometry x="100" y="1750" width="40" height="40" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-133" value="&amp;nbsp;" style="text;whiteSpace=wrap;html=1;" vertex="1" parent="1">
          <mxGeometry x="230" y="1730" width="40" height="40" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-134" value="&amp;nbsp;" style="text;whiteSpace=wrap;html=1;" vertex="1" parent="1">
          <mxGeometry x="100" y="1750" width="40" height="40" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-135" value="&lt;div style=&quot;font-size: 16px;&quot; align=&quot;left&quot;&gt;&lt;font style=&quot;font-size: 16px;&quot;&gt;&lt;font style=&quot;font-size: 16px;&quot; face=&quot;Times New Roman&quot;&gt;&lt;b&gt;Goal ⊆ of current state&lt;/b&gt;&lt;/font&gt;&lt;b&gt;&lt;font style=&quot;font-size: 16px;&quot; face=&quot;Times New Roman&quot;&gt;&lt;br&gt;&lt;/font&gt;&lt;/b&gt;&lt;/font&gt;&lt;/div&gt;" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;whiteSpace=wrap;rounded=0;" vertex="1" parent="1">
          <mxGeometry x="311.64" y="1880" width="168.36" height="30" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-136" value="&lt;div style=&quot;font-size: 16px;&quot; align=&quot;left&quot;&gt;&lt;font style=&quot;font-size: 16px;&quot;&gt;&lt;font style=&quot;font-size: 16px;&quot; face=&quot;Times New Roman&quot;&gt;&lt;b&gt;Goals ⊆ of current state&lt;/b&gt;&lt;/font&gt;&lt;b&gt;&lt;font style=&quot;font-size: 16px;&quot; face=&quot;Times New Roman&quot;&gt;&lt;br&gt;&lt;/font&gt;&lt;/b&gt;&lt;/font&gt;&lt;/div&gt;" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;whiteSpace=wrap;rounded=0;" vertex="1" parent="1">
          <mxGeometry x="311.64" y="1850" width="168.36" height="30" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-137" value="&lt;b&gt;&lt;font style=&quot;font-size: 16px;&quot;&gt;&lt;font face=&quot;Times New Roman&quot;&gt;Apply action&lt;/font&gt;&lt;br&gt;&lt;/font&gt;&lt;/b&gt;" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;whiteSpace=wrap;rounded=0;" vertex="1" parent="1">
          <mxGeometry x="311.64" y="1820" width="98.36" height="30" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-138" value="&lt;div style=&quot;font-size: 20px;&quot;&gt;&lt;font style=&quot;font-size: 20px;&quot;&gt;ontable(a)&lt;span style=&quot;white-space: pre;&quot;&gt;&#x9;&lt;/span&gt;&lt;font style=&quot;font-size: 20px;&quot;&gt;&lt;span style=&quot;white-space: pre;&quot;&gt;&lt;/span&gt;ontable(b)&lt;/font&gt;&lt;/font&gt;&lt;/div&gt;&lt;div style=&quot;font-size: 20px;&quot;&gt;&lt;font style=&quot;font-size: 20px;&quot;&gt;clear(a)&lt;font style=&quot;font-size: 20px;&quot;&gt;&lt;span style=&quot;white-space: pre;&quot;&gt;&#x9;&lt;/span&gt;clear(c)&lt;/font&gt;&lt;/font&gt;&lt;/div&gt;&lt;div style=&quot;font-size: 20px;&quot;&gt;&lt;font style=&quot;font-size: 20px;&quot;&gt;on(c, b)&lt;span style=&quot;white-space: pre;&quot;&gt;&#x9;&lt;/span&gt;handempty&lt;font style=&quot;font-size: 20px;&quot;&gt;&lt;br&gt;&lt;/font&gt;&lt;/font&gt;&lt;/div&gt;" style="rounded=0;whiteSpace=wrap;html=1;fontFamily=Times New Roman;" vertex="1" parent="1">
          <mxGeometry x="503.5" y="1795" width="227" height="80" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-139" value="" style="endArrow=classic;startArrow=classic;html=1;rounded=0;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;" edge="1" parent="1" source="xEpXjmtw2FbbvQ37l8T_-137">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="399.5" y="1834.76" as="sourcePoint" />
            <mxPoint x="503.5" y="1834.76" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-140" value="" style="endArrow=classic;html=1;rounded=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;dashed=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;" edge="1" parent="1" source="xEpXjmtw2FbbvQ37l8T_-114" target="xEpXjmtw2FbbvQ37l8T_-138">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="700" y="940" as="sourcePoint" />
            <mxPoint x="627" y="1615" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-142" value="Text" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];" vertex="1" connectable="0" parent="xEpXjmtw2FbbvQ37l8T_-140">
          <mxGeometry x="-0.0145" y="-1" relative="1" as="geometry">
            <mxPoint x="1" as="offset" />
          </mxGeometry>
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-143" value="&lt;font style=&quot;font-size: 16px;&quot;&gt;&lt;font face=&quot;Times New Roman&quot;&gt;STACK(c, b)&lt;/font&gt;&lt;br&gt;&lt;/font&gt;" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];" vertex="1" connectable="0" parent="xEpXjmtw2FbbvQ37l8T_-140">
          <mxGeometry x="0.0145" y="4" relative="1" as="geometry">
            <mxPoint as="offset" />
          </mxGeometry>
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-144" value="&lt;font style=&quot;font-size: 20px;&quot;&gt;on(c, b) &lt;span role=&quot;presentation&quot; data-mathml=&quot;&lt;math xmlns=&amp;quot;http://www.w3.org/1998/Math/MathML&amp;quot;&gt;&lt;mo&gt;&amp;amp;#x2227;&lt;/mo&gt;&lt;/math&gt;&quot; style=&quot;position: relative; font-size: 20px;&quot; tabindex=&quot;0&quot; id=&quot;MathJax-Element-12-Frame&quot; class=&quot;MathJax&quot;&gt;&lt;/span&gt;&lt;span role=&quot;presentation&quot; data-mathml=&quot;&lt;math xmlns=&amp;quot;http://www.w3.org/1998/Math/MathML&amp;quot;&gt;&lt;mo&gt;&amp;amp;#x2227;&lt;/mo&gt;&lt;/math&gt;&quot; style=&quot;position: relative; font-size: 20px;&quot; tabindex=&quot;0&quot; id=&quot;MathJax-Element-12-Frame&quot; class=&quot;MathJax&quot;&gt;&lt;/span&gt;&lt;/font&gt;∧ on(a, c)" style="rounded=0;whiteSpace=wrap;html=1;fontFamily=Times New Roman;fontSize=20;" vertex="1" parent="1">
          <mxGeometry x="110.76999999999998" y="1970" width="200" height="30" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-145" value="" style="endArrow=none;html=1;rounded=0;exitX=1;exitY=0;exitDx=0;exitDy=0;" edge="1" parent="1" source="xEpXjmtw2FbbvQ37l8T_-144">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="369.77000000000004" y="1990" as="sourcePoint" />
            <mxPoint x="311" y="2040" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-146" value="" style="endArrow=none;html=1;rounded=0;exitX=0;exitY=0;exitDx=0;exitDy=0;" edge="1" parent="1" source="xEpXjmtw2FbbvQ37l8T_-144">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="320.77000000000004" y="1980" as="sourcePoint" />
            <mxPoint x="110" y="2040" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-147" value="" style="shape=flexArrow;endArrow=classic;html=1;rounded=0;endWidth=8.275862068965518;endSize=5.172413793103448;" edge="1" parent="1">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="210.31" y="1930" as="sourcePoint" />
            <mxPoint x="210.28" y="1960" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-148" value="on(a, c)" style="rounded=0;whiteSpace=wrap;html=1;fontFamily=Times New Roman;fontSize=20;" vertex="1" parent="1">
          <mxGeometry x="110.76999999999998" y="2000" width="200" height="30" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-155" value="&amp;nbsp;" style="text;whiteSpace=wrap;html=1;" vertex="1" parent="1">
          <mxGeometry x="99.13" y="1980" width="40" height="40" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-156" value="&amp;nbsp;" style="text;whiteSpace=wrap;html=1;" vertex="1" parent="1">
          <mxGeometry x="99.13" y="1960" width="40" height="40" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-157" value="&amp;nbsp;" style="text;whiteSpace=wrap;html=1;" vertex="1" parent="1">
          <mxGeometry x="229.13" y="1940" width="40" height="40" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-158" value="&amp;nbsp;" style="text;whiteSpace=wrap;html=1;" vertex="1" parent="1">
          <mxGeometry x="99.13" y="1960" width="40" height="40" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-159" value="&lt;div style=&quot;font-size: 16px;&quot; align=&quot;left&quot;&gt;&lt;font style=&quot;font-size: 16px;&quot;&gt;&lt;b&gt;&lt;font style=&quot;font-size: 16px;&quot; face=&quot;Times New Roman&quot;&gt;Single goal (not ⊆ of current state)&lt;br&gt;&lt;/font&gt;&lt;/b&gt;&lt;/font&gt;&lt;/div&gt;&lt;div style=&quot;font-size: 16px;&quot; align=&quot;left&quot;&gt;&lt;font style=&quot;font-size: 16px;&quot; face=&quot;Times New Roman&quot;&gt;Pop and push suitable action&lt;br&gt;&lt;/font&gt;&lt;/div&gt;" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;whiteSpace=wrap;rounded=0;" vertex="1" parent="1">
          <mxGeometry x="311.64" y="1995" width="258.68" height="40" as="geometry" />
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-160" value="" style="endArrow=none;dashed=1;html=1;dashPattern=1 3;strokeWidth=2;rounded=0;" edge="1" parent="1">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="211.34" y="2070" as="sourcePoint" />
            <mxPoint x="211.34" y="2040" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-161" value="" style="endArrow=none;dashed=1;html=1;dashPattern=1 3;strokeWidth=2;rounded=0;" edge="1" parent="1">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="616.75" y="1920" as="sourcePoint" />
            <mxPoint x="616.75" y="1890" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="xEpXjmtw2FbbvQ37l8T_-162" value="&lt;font face=&quot;Times New Roman&quot; style=&quot;font-size: 18px;&quot;&gt;Continue until stack empty&lt;/font&gt;" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;" vertex="1" parent="1">
          <mxGeometry x="110" y="2070" width="200" height="30" as="geometry" />
        </mxCell>
      </root>
    </mxGraphModel>
  </diagram>
</mxfile>
