<mxfile host="app.diagrams.net" modified="2023-05-24T05:39:20.875Z" agent="Mozilla/5.0 (Macintosh; Intel Mac OS X 10_15_7) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/113.0.0.0 Safari/537.36" etag="biqXJpEM_W8PPm5Vmly5" version="21.3.3" type="device" pages="3">
  <diagram name="Page-1" id="YkfpsGQL7ucW1FCeyX4i">
    <mxGraphModel dx="2074" dy="1188" grid="1" gridSize="10" guides="1" tooltips="1" connect="1" arrows="1" fold="1" page="1" pageScale="1" pageWidth="850" pageHeight="1100" math="0" shadow="0">
      <root>
        <mxCell id="0" />
        <mxCell id="1" parent="0" />
        <mxCell id="JWyRAcdewLAgm94EdzgS-14" value="HandleContext" style="rounded=0;whiteSpace=wrap;html=1;fillColor=default;verticalAlign=top;fontStyle=1;fontSize=16;dashed=1;" parent="1" vertex="1">
          <mxGeometry x="120.61" y="40" width="610" height="770" as="geometry" />
        </mxCell>
        <mxCell id="JWyRAcdewLAgm94EdzgS-13" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endArrow=none;endFill=0;" parent="1" source="JWyRAcdewLAgm94EdzgS-1" target="JWyRAcdewLAgm94EdzgS-6" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="JWyRAcdewLAgm94EdzgS-1" value="Savepoint V1" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
          <mxGeometry x="390.61" y="450" width="120" height="40" as="geometry" />
        </mxCell>
        <mxCell id="JWyRAcdewLAgm94EdzgS-3" 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;" parent="1" source="JWyRAcdewLAgm94EdzgS-2" target="JWyRAcdewLAgm94EdzgS-1" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="JWyRAcdewLAgm94EdzgS-12" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endArrow=none;endFill=0;" parent="1" source="JWyRAcdewLAgm94EdzgS-2" target="JWyRAcdewLAgm94EdzgS-8" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="JWyRAcdewLAgm94EdzgS-2" value="Savepoint V2" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
          <mxGeometry x="390.61" y="390" width="120" height="40" as="geometry" />
        </mxCell>
        <mxCell id="JWyRAcdewLAgm94EdzgS-5" 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;" parent="1" source="JWyRAcdewLAgm94EdzgS-4" target="JWyRAcdewLAgm94EdzgS-2" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="JWyRAcdewLAgm94EdzgS-11" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endArrow=none;endFill=0;" parent="1" source="JWyRAcdewLAgm94EdzgS-4" target="JWyRAcdewLAgm94EdzgS-10" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="JWyRAcdewLAgm94EdzgS-4" value="Savepoint V3" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
          <mxGeometry x="390.61" y="330" width="120" height="40" as="geometry" />
        </mxCell>
        <mxCell id="JWyRAcdewLAgm94EdzgS-29" 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;" parent="1" source="JWyRAcdewLAgm94EdzgS-6" target="JWyRAcdewLAgm94EdzgS-15" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="JWyRAcdewLAgm94EdzgS-6" value="Wrapped State V1" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
          <mxGeometry x="570.61" y="450" width="120" height="40" as="geometry" />
        </mxCell>
        <mxCell id="JWyRAcdewLAgm94EdzgS-7" 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;" parent="1" source="JWyRAcdewLAgm94EdzgS-8" target="JWyRAcdewLAgm94EdzgS-6" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="JWyRAcdewLAgm94EdzgS-8" value="Wrapped State V2" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
          <mxGeometry x="570.61" y="390" width="120" height="40" as="geometry" />
        </mxCell>
        <mxCell id="JWyRAcdewLAgm94EdzgS-9" 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;" parent="1" source="JWyRAcdewLAgm94EdzgS-10" target="JWyRAcdewLAgm94EdzgS-8" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="JWyRAcdewLAgm94EdzgS-10" value="Wrapped State V3" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
          <mxGeometry x="570.61" y="330" width="120" height="40" as="geometry" />
        </mxCell>
        <mxCell id="JWyRAcdewLAgm94EdzgS-15" value="Root HederaState" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
          <mxGeometry x="570.61" y="510" width="120" height="40" as="geometry" />
        </mxCell>
        <mxCell id="JWyRAcdewLAgm94EdzgS-16" value="Transaction Data" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontStyle=1" parent="1" vertex="1">
          <mxGeometry x="150.61" y="80" width="120" height="30" as="geometry" />
        </mxCell>
        <mxCell id="JWyRAcdewLAgm94EdzgS-17" value="Stack Data" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontStyle=1" parent="1" vertex="1">
          <mxGeometry x="150.61" y="290" width="120" height="30" as="geometry" />
        </mxCell>
        <mxCell id="JWyRAcdewLAgm94EdzgS-18" value="RecordBuilder Data" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontStyle=1" parent="1" vertex="1">
          <mxGeometry x="150.61" y="590" width="120" height="30" as="geometry" />
        </mxCell>
        <mxCell id="JWyRAcdewLAgm94EdzgS-19" value="- TransactionBody&lt;br&gt;&lt;div style=&quot;&quot;&gt;&lt;span style=&quot;background-color: initial;&quot;&gt;- Consensus Time&lt;/span&gt;&lt;/div&gt;" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=top;whiteSpace=wrap;rounded=0;fontStyle=0" parent="1" vertex="1">
          <mxGeometry x="150.61" y="110" width="120" height="100" as="geometry" />
        </mxCell>
        <mxCell id="JWyRAcdewLAgm94EdzgS-20" value="- readableStore()&lt;br&gt;- writableStore()&lt;br&gt;&lt;br&gt;- configuration()&lt;br&gt;&lt;br&gt;- newEntityNum()&lt;br&gt;- Validators&lt;br&gt;&lt;br&gt;- savepointStack()" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=top;whiteSpace=wrap;rounded=0;fontStyle=0" parent="1" vertex="1">
          <mxGeometry x="150.61" y="325" width="120" height="155" as="geometry" />
        </mxCell>
        <mxCell id="JWyRAcdewLAgm94EdzgS-21" value="Signature Verification" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontStyle=1" parent="1" vertex="1">
          <mxGeometry x="150.61" y="190" width="140" height="30" as="geometry" />
        </mxCell>
        <mxCell id="JWyRAcdewLAgm94EdzgS-22" value="- verificationFor(key)&lt;br&gt;- verificationFor(evmAlia)" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=top;whiteSpace=wrap;rounded=0;fontStyle=0" parent="1" vertex="1">
          <mxGeometry x="150.61" y="220" width="150" height="100" as="geometry" />
        </mxCell>
        <mxCell id="JWyRAcdewLAgm94EdzgS-23" value="- recordBuilder()&lt;br&gt;- addChildRecordBuilder()&lt;br&gt;- addRemovableChildRecordBuilder()" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=top;whiteSpace=wrap;rounded=0;fontStyle=0" parent="1" vertex="1">
          <mxGeometry x="150.61" y="620" width="220" height="60" as="geometry" />
        </mxCell>
        <mxCell id="JWyRAcdewLAgm94EdzgS-24" value="Record 1" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
          <mxGeometry x="390.61" y="630" width="60" height="40" as="geometry" />
        </mxCell>
        <mxCell id="JWyRAcdewLAgm94EdzgS-25" value="Record 2" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
          <mxGeometry x="450.61" y="630" width="60" height="40" as="geometry" />
        </mxCell>
        <mxCell id="JWyRAcdewLAgm94EdzgS-26" value="Record 3" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
          <mxGeometry x="510.61" y="630" width="60" height="40" as="geometry" />
        </mxCell>
        <mxCell id="JWyRAcdewLAgm94EdzgS-27" value="Record 4" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
          <mxGeometry x="570.61" y="630" width="60" height="40" as="geometry" />
        </mxCell>
        <mxCell id="JWyRAcdewLAgm94EdzgS-30" value="" style="endArrow=none;dashed=1;html=1;rounded=0;exitX=-0.001;exitY=0.299;exitDx=0;exitDy=0;exitPerimeter=0;entryX=0.999;entryY=0.299;entryDx=0;entryDy=0;entryPerimeter=0;" parent="1" edge="1">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="119.99999999999987" y="279.23" as="sourcePoint" />
            <mxPoint x="729.9999999999999" y="279.23" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="JWyRAcdewLAgm94EdzgS-31" value="" style="endArrow=none;dashed=1;html=1;rounded=0;entryX=1;entryY=0.169;entryDx=0;entryDy=0;entryPerimeter=0;" parent="1" target="JWyRAcdewLAgm94EdzgS-14" edge="1">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="120.61" y="170" as="sourcePoint" />
            <mxPoint x="710.61" y="170" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="JWyRAcdewLAgm94EdzgS-32" value="" style="endArrow=none;dashed=1;html=1;rounded=0;exitX=0;exitY=0.688;exitDx=0;exitDy=0;exitPerimeter=0;entryX=0.999;entryY=0.688;entryDx=0;entryDy=0;entryPerimeter=0;" parent="1" edge="1">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="120.61" y="579.76" as="sourcePoint" />
            <mxPoint x="729.9999999999999" y="579.76" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="JWyRAcdewLAgm94EdzgS-33" value="Dispatcher" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontStyle=1" parent="1" vertex="1">
          <mxGeometry x="150.61" y="710" width="120" height="30" as="geometry" />
        </mxCell>
        <mxCell id="JWyRAcdewLAgm94EdzgS-34" value="- dispatchPrecedingTransaction()&lt;br&gt;- dispatchChildTransaction()&lt;br&gt;- dispatchRemovableChildTransaction()" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=top;whiteSpace=wrap;rounded=0;fontStyle=0" parent="1" vertex="1">
          <mxGeometry x="150.61" y="740" width="220" height="60" as="geometry" />
        </mxCell>
        <mxCell id="JWyRAcdewLAgm94EdzgS-35" value="" style="endArrow=none;dashed=1;html=1;rounded=0;exitX=0;exitY=0.844;exitDx=0;exitDy=0;exitPerimeter=0;entryX=1;entryY=0.844;entryDx=0;entryDy=0;entryPerimeter=0;" parent="1" edge="1">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="120.61" y="699.8800000000001" as="sourcePoint" />
            <mxPoint x="730.61" y="699.8800000000001" as="targetPoint" />
          </mxGeometry>
        </mxCell>
      </root>
    </mxGraphModel>
  </diagram>
  <diagram id="8qKQOWr9yPAwz0shBDBd" name="Page-2">
    <mxGraphModel dx="2074" dy="1188" grid="1" gridSize="10" guides="1" tooltips="1" connect="1" arrows="1" fold="1" page="1" pageScale="1" pageWidth="850" pageHeight="1100" math="0" shadow="0">
      <root>
        <mxCell id="0" />
        <mxCell id="1" parent="0" />
        <mxCell id="eSVsOAut4mg-zB8vub5D-1" value="HandleContext" style="rounded=0;whiteSpace=wrap;html=1;fillColor=default;verticalAlign=top;fontStyle=1;fontSize=16;dashed=1;" parent="1" vertex="1">
          <mxGeometry x="40.61" y="40" width="610" height="810" as="geometry" />
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-2" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endArrow=none;endFill=0;" parent="1" source="eSVsOAut4mg-zB8vub5D-3" target="eSVsOAut4mg-zB8vub5D-11" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-3" value="Savepoint V1" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
          <mxGeometry x="310.61" y="490" width="120" height="40" as="geometry" />
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-4" 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;" parent="1" source="eSVsOAut4mg-zB8vub5D-6" target="eSVsOAut4mg-zB8vub5D-3" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-5" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endArrow=none;endFill=0;" parent="1" source="eSVsOAut4mg-zB8vub5D-6" target="eSVsOAut4mg-zB8vub5D-13" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-6" value="Savepoint V2" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
          <mxGeometry x="310.61" y="430" width="120" height="40" as="geometry" />
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-7" 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;" parent="1" source="eSVsOAut4mg-zB8vub5D-9" target="eSVsOAut4mg-zB8vub5D-6" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-8" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endArrow=none;endFill=0;" parent="1" source="eSVsOAut4mg-zB8vub5D-9" target="eSVsOAut4mg-zB8vub5D-15" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-9" value="Savepoint V3" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
          <mxGeometry x="310.61" y="370" width="120" height="40" as="geometry" />
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-10" 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;" parent="1" source="eSVsOAut4mg-zB8vub5D-11" target="eSVsOAut4mg-zB8vub5D-16" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-11" value="Wrapped&amp;nbsp;State V1" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
          <mxGeometry x="490.61" y="490" width="120" height="40" as="geometry" />
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-12" 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;" parent="1" source="eSVsOAut4mg-zB8vub5D-13" target="eSVsOAut4mg-zB8vub5D-11" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-13" value="Wrapped&amp;nbsp;State V2" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
          <mxGeometry x="490.61" y="430" width="120" height="40" as="geometry" />
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-14" 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;" parent="1" source="eSVsOAut4mg-zB8vub5D-15" target="eSVsOAut4mg-zB8vub5D-13" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-15" value="Wrapped State V3" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
          <mxGeometry x="490.61" y="370" width="120" height="40" as="geometry" />
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-16" value="Root HederaState" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
          <mxGeometry x="490.61" y="550" width="120" height="40" as="geometry" />
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-17" value="Transaction Data" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontStyle=1" parent="1" vertex="1">
          <mxGeometry x="70.61000000000003" y="90" width="120" height="30" as="geometry" />
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-18" value="Stack Data" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontStyle=1" parent="1" vertex="1">
          <mxGeometry x="70.61000000000003" y="330" width="120" height="30" as="geometry" />
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-19" value="RecordBuilder Data" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontStyle=1" parent="1" vertex="1">
          <mxGeometry x="70.61000000000003" y="630" width="120" height="30" as="geometry" />
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-20" value="- TransactionBody&lt;br&gt;- Transaction Category&lt;br&gt;&amp;nbsp; &amp;nbsp;(user, preceding, child)&lt;br&gt;&lt;div style=&quot;&quot;&gt;&lt;span style=&quot;background-color: initial;&quot;&gt;- Consensus Time&lt;/span&gt;&lt;/div&gt;" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=top;whiteSpace=wrap;rounded=0;fontStyle=0" parent="1" vertex="1">
          <mxGeometry x="70.61" y="120" width="278.78" height="60" as="geometry" />
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-21" value="- readableStore()&lt;br&gt;- writableStore()&lt;br&gt;&lt;br&gt;- configuration()&lt;br&gt;&lt;br&gt;- newEntityNum()&lt;br&gt;- Validators&lt;br&gt;&lt;br&gt;- savepointStack()" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=top;whiteSpace=wrap;rounded=0;fontStyle=0" parent="1" vertex="1">
          <mxGeometry x="70.61000000000003" y="365" width="120" height="155" as="geometry" />
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-22" value="Signature Verification" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontStyle=1" parent="1" vertex="1">
          <mxGeometry x="70.61000000000003" y="230" width="140" height="30" as="geometry" />
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-23" value="- verificationFor(key)&lt;br&gt;- verificationFor(evmAlia)" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=top;whiteSpace=wrap;rounded=0;fontStyle=0" parent="1" vertex="1">
          <mxGeometry x="70.61000000000003" y="260" width="150" height="100" as="geometry" />
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-24" value="- recordBuilder()&lt;br&gt;- addChildRecordBuilder()&lt;br&gt;- addRemovableChildRecordBuilder()" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=top;whiteSpace=wrap;rounded=0;fontStyle=0" parent="1" vertex="1">
          <mxGeometry x="70.61000000000003" y="660" width="220" height="60" as="geometry" />
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-25" value="Record 1" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
          <mxGeometry x="310.61" y="670" width="60" height="40" as="geometry" />
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-26" value="Record 2" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
          <mxGeometry x="370.61" y="670" width="60" height="40" as="geometry" />
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-27" value="Record 3" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
          <mxGeometry x="430.61" y="670" width="60" height="40" as="geometry" />
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-28" value="Record 4" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
          <mxGeometry x="490.61" y="670" width="60" height="40" as="geometry" />
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-29" value="Record 5" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
          <mxGeometry x="550.61" y="670" width="60" height="40" as="geometry" />
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-30" value="" style="endArrow=none;dashed=1;html=1;rounded=0;exitX=-0.001;exitY=0.299;exitDx=0;exitDy=0;exitPerimeter=0;entryX=0.999;entryY=0.299;entryDx=0;entryDy=0;entryPerimeter=0;" parent="1" edge="1">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="39.999999999999886" y="319.23" as="sourcePoint" />
            <mxPoint x="649.9999999999999" y="319.23" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-31" value="" style="endArrow=none;dashed=1;html=1;rounded=0;entryX=1.003;entryY=0.209;entryDx=0;entryDy=0;entryPerimeter=0;" parent="1" target="eSVsOAut4mg-zB8vub5D-1" edge="1">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="40.610000000000014" y="210" as="sourcePoint" />
            <mxPoint x="630.61" y="210" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-32" value="" style="endArrow=none;dashed=1;html=1;rounded=0;exitX=0;exitY=0.688;exitDx=0;exitDy=0;exitPerimeter=0;entryX=0.999;entryY=0.688;entryDx=0;entryDy=0;entryPerimeter=0;" parent="1" edge="1">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="40.610000000000014" y="619.76" as="sourcePoint" />
            <mxPoint x="649.9999999999999" y="619.76" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-33" value="Dispatcher" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontStyle=1" parent="1" vertex="1">
          <mxGeometry x="70.61000000000003" y="750" width="120" height="30" as="geometry" />
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-34" value="- dispatchPrecedingTransaction()&lt;br&gt;- dispatchChildTransaction()&lt;br&gt;- dispatchRemovableChildTransaction()" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=top;whiteSpace=wrap;rounded=0;fontStyle=0" parent="1" vertex="1">
          <mxGeometry x="70.61000000000003" y="780" width="220" height="60" as="geometry" />
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-35" value="" style="endArrow=none;dashed=1;html=1;rounded=0;exitX=0;exitY=0.844;exitDx=0;exitDy=0;exitPerimeter=0;entryX=1;entryY=0.844;entryDx=0;entryDy=0;entryPerimeter=0;" parent="1" edge="1">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="40.610000000000014" y="739.8800000000001" as="sourcePoint" />
            <mxPoint x="650.61" y="739.8800000000001" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-36" value="ChildHandleContext" style="rounded=0;whiteSpace=wrap;html=1;fillColor=default;verticalAlign=top;fontStyle=1;fontSize=16;dashed=1;" parent="1" vertex="1">
          <mxGeometry x="720" y="40" width="610" height="810" as="geometry" />
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-37" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0;exitY=0.5;exitDx=0;exitDy=0;endArrow=none;endFill=0;" parent="1" source="eSVsOAut4mg-zB8vub5D-38" target="eSVsOAut4mg-zB8vub5D-40" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-38" value="Savepoint V3.1" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
          <mxGeometry x="939.3900000000001" y="370" width="120" height="40" as="geometry" />
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-39" style="edgeStyle=orthogonalEdgeStyle;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;" parent="1" source="eSVsOAut4mg-zB8vub5D-40" target="eSVsOAut4mg-zB8vub5D-15" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-40" value="Wrapped&amp;nbsp;State V3.1" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
          <mxGeometry x="760.0000000000001" y="370" width="120" height="40" as="geometry" />
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-41" value="Transaction Data" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontStyle=1" parent="1" vertex="1">
          <mxGeometry x="1079.39" y="90" width="120" height="30" as="geometry" />
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-42" value="Stack Data" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontStyle=1" parent="1" vertex="1">
          <mxGeometry x="1079.39" y="330" width="120" height="30" as="geometry" />
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-43" style="edgeStyle=orthogonalEdgeStyle;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;curved=1;strokeWidth=3;strokeColor=#FF0000;" parent="1" source="eSVsOAut4mg-zB8vub5D-44" target="eSVsOAut4mg-zB8vub5D-29" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-44" value="RecordBuilder Data" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontStyle=1" parent="1" vertex="1">
          <mxGeometry x="1079.39" y="630" width="120" height="30" as="geometry" />
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-45" value="- TransactionBody&lt;br&gt;- Transaction Category&lt;br&gt;&amp;nbsp; &amp;nbsp;(preceding, child)&lt;br&gt;&lt;div style=&quot;&quot;&gt;&lt;span style=&quot;background-color: initial;&quot;&gt;- Consensus Time&lt;/span&gt;&lt;/div&gt;" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=top;whiteSpace=wrap;rounded=0;fontStyle=0" parent="1" vertex="1">
          <mxGeometry x="1079.39" y="120" width="140" height="100" as="geometry" />
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-46" value="- readableStore()&lt;br&gt;- writableStore()&lt;br&gt;&lt;br&gt;- configuration()&lt;br&gt;&lt;br&gt;- newEntityNum()&lt;br&gt;- Validators&lt;br&gt;&lt;br&gt;- savepointStack()" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=top;whiteSpace=wrap;rounded=0;fontStyle=0" parent="1" vertex="1">
          <mxGeometry x="1079.39" y="365" width="120" height="155" as="geometry" />
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-47" style="rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0;exitY=0.5;exitDx=0;exitDy=0;entryX=1;entryY=0.25;entryDx=0;entryDy=0;edgeStyle=orthogonalEdgeStyle;curved=1;strokeColor=#FF0000;strokeWidth=3;" parent="1" source="eSVsOAut4mg-zB8vub5D-48" target="eSVsOAut4mg-zB8vub5D-23" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-48" value="Signature Verification" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontStyle=1" parent="1" vertex="1">
          <mxGeometry x="1079.39" y="230" width="140" height="30" as="geometry" />
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-49" value="" style="endArrow=none;dashed=1;html=1;rounded=0;exitX=-0.001;exitY=0.299;exitDx=0;exitDy=0;exitPerimeter=0;entryX=0.999;entryY=0.299;entryDx=0;entryDy=0;entryPerimeter=0;" parent="1" edge="1">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="719.3899999999999" y="319.23" as="sourcePoint" />
            <mxPoint x="1329.39" y="319.23" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-50" value="" style="endArrow=none;dashed=1;html=1;rounded=0;entryX=1.001;entryY=0.21;entryDx=0;entryDy=0;entryPerimeter=0;" parent="1" target="eSVsOAut4mg-zB8vub5D-36" edge="1">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="720" y="210" as="sourcePoint" />
            <mxPoint x="1310.0000000000002" y="210" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-51" value="" style="endArrow=none;dashed=1;html=1;rounded=0;exitX=0;exitY=0.688;exitDx=0;exitDy=0;exitPerimeter=0;entryX=0.999;entryY=0.688;entryDx=0;entryDy=0;entryPerimeter=0;" parent="1" edge="1">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="720" y="619.76" as="sourcePoint" />
            <mxPoint x="1329.39" y="619.76" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-52" value="Dispatcher" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontStyle=1" parent="1" vertex="1">
          <mxGeometry x="1079.39" y="750" width="120" height="30" as="geometry" />
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-53" value="- dispatchPrecedingTransaction()&lt;br&gt;- dispatchChildTransaction()&lt;br&gt;- dispatchRemovableChildTransaction()" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=top;whiteSpace=wrap;rounded=0;fontStyle=0" parent="1" vertex="1">
          <mxGeometry x="1079.39" y="780" width="220" height="60" as="geometry" />
        </mxCell>
        <mxCell id="eSVsOAut4mg-zB8vub5D-54" value="" style="endArrow=none;dashed=1;html=1;rounded=0;exitX=0;exitY=0.844;exitDx=0;exitDy=0;exitPerimeter=0;entryX=1;entryY=0.844;entryDx=0;entryDy=0;entryPerimeter=0;" parent="1" edge="1">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="720" y="739.8800000000001" as="sourcePoint" />
            <mxPoint x="1330.0000000000002" y="739.8800000000001" as="targetPoint" />
          </mxGeometry>
        </mxCell>
      </root>
    </mxGraphModel>
  </diagram>
  <diagram id="epehk15aaWYCC8Yj4ZPC" name="Page-3">
    <mxGraphModel dx="2074" dy="1188" grid="1" gridSize="10" guides="1" tooltips="1" connect="1" arrows="1" fold="1" page="1" pageScale="1" pageWidth="850" pageHeight="1100" math="0" shadow="0">
      <root>
        <mxCell id="0" />
        <mxCell id="1" parent="0" />
        <mxCell id="rv-nA__rrJGCTgUZBuo9-1" value="&lt;div style=&quot;color: rgb(204, 204, 204); background-color: rgb(31, 31, 31); font-family: Menlo, Monaco, &amp;quot;Courier New&amp;quot;, monospace; line-height: 18px;&quot;&gt;&lt;div style=&quot;&quot;&gt;&lt;/div&gt;&lt;/div&gt;&lt;span style=&quot;color: rgb(106, 153, 85); background-color: rgb(31, 31, 31); font-family: Menlo, Monaco, &amp;quot;Courier New&amp;quot;, monospace;&quot;&gt;// --- (SECTION I) State access methods that reflect all changes up to and including the current&lt;/span&gt;&lt;br&gt;&lt;span style=&quot;color: rgb(106, 153, 85); background-color: rgb(31, 31, 31); font-family: Menlo, Monaco, &amp;quot;Courier New&amp;quot;, monospace;&quot;&gt;// --- {@link Scope}, and ALSO have the side effect of externalizing a result via a record whose&lt;/span&gt;&lt;br&gt;&lt;span style=&quot;color: rgb(106, 153, 85); background-color: rgb(31, 31, 31); font-family: Menlo, Monaco, &amp;quot;Courier New&amp;quot;, monospace;&quot;&gt;// --- {@code contractCallResult} has the given sender contract number; and whose result is derived&lt;/span&gt;&lt;br&gt;&lt;div style=&quot;color: rgb(204, 204, 204); background-color: rgb(31, 31, 31); font-family: Menlo, Monaco, &amp;quot;Courier New&amp;quot;, monospace; line-height: 18px;&quot;&gt;&lt;div&gt;&lt;span style=&quot;color: #6a9955;&quot;&gt;// --- from the returned state via a given {@link ResultTranslator}&lt;/span&gt;&lt;/div&gt;&lt;/div&gt;&lt;div style=&quot;color: rgb(204, 204, 204); background-color: rgb(31, 31, 31); font-family: Menlo, Monaco, &amp;quot;Courier New&amp;quot;, monospace; line-height: 18px;&quot;&gt;&lt;br&gt;&lt;div&gt;    &lt;span style=&quot;color: #4ec9b0;&quot;&gt;Nft&lt;/span&gt; &lt;span style=&quot;color: #dcdcaa;&quot;&gt;getNftAndExternalizeResult&lt;/span&gt;(&lt;span style=&quot;color: #4ec9b0;&quot;&gt;Id&lt;/span&gt; id, long callingContractNumber, &lt;span style=&quot;color: #569cd6;&quot;&gt;@NonNull&lt;/span&gt; &lt;span style=&quot;color: #4ec9b0;&quot;&gt;ResultTranslator&lt;/span&gt;&amp;lt;&lt;span style=&quot;color: #4ec9b0;&quot;&gt;Nft&lt;/span&gt;&amp;gt; translator);&lt;/div&gt;&lt;br&gt;&lt;div&gt;    &lt;span style=&quot;color: #4ec9b0;&quot;&gt;Token&lt;/span&gt; &lt;span style=&quot;color: #dcdcaa;&quot;&gt;getTokenAndExternalizeResult&lt;/span&gt;(&lt;/div&gt;&lt;div&gt;            long number, long callingContractNumber, &lt;span style=&quot;color: #569cd6;&quot;&gt;@NonNull&lt;/span&gt; &lt;span style=&quot;color: #4ec9b0;&quot;&gt;ResultTranslator&lt;/span&gt;&amp;lt;&lt;span style=&quot;color: #4ec9b0;&quot;&gt;Token&lt;/span&gt;&amp;gt; translator);&lt;/div&gt;&lt;br&gt;&lt;div&gt;    &lt;span style=&quot;color: #4ec9b0;&quot;&gt;Account&lt;/span&gt; &lt;span style=&quot;color: #dcdcaa;&quot;&gt;getAccountAndExternalizeResult&lt;/span&gt;(&lt;/div&gt;&lt;div&gt;            long number, long callingContractNumber, &lt;span style=&quot;color: #569cd6;&quot;&gt;@NonNull&lt;/span&gt; &lt;span style=&quot;color: #4ec9b0;&quot;&gt;ResultTranslator&lt;/span&gt;&amp;lt;&lt;span style=&quot;color: #4ec9b0;&quot;&gt;Account&lt;/span&gt;&amp;gt; translator);&lt;/div&gt;&lt;br&gt;&lt;div&gt;    &lt;span style=&quot;color: #4ec9b0;&quot;&gt;TokenRelationship&lt;/span&gt; &lt;span style=&quot;color: #dcdcaa;&quot;&gt;getRelationshipAndExternalizeResult&lt;/span&gt;(&lt;/div&gt;&lt;div&gt;            long accountNumber,&lt;/div&gt;&lt;div&gt;            long tokenNumber,&lt;/div&gt;&lt;div&gt;            long callingContractNumber,&lt;/div&gt;&lt;div&gt;            &lt;span style=&quot;color: #569cd6;&quot;&gt;@NonNull&lt;/span&gt; &lt;span style=&quot;color: #4ec9b0;&quot;&gt;ResultTranslator&lt;/span&gt;&amp;lt;&lt;span style=&quot;color: #4ec9b0;&quot;&gt;TokenRelationship&lt;/span&gt;&amp;gt; translator);&lt;/div&gt;&lt;br&gt;&lt;br&gt;&lt;br&gt;&lt;div&gt;    &lt;span style=&quot;color: #6a9955;&quot;&gt;// --- (SECTION II) State mutation methods that reflect all the context up to and including the current&lt;/span&gt;&lt;/div&gt;&lt;div&gt;    &lt;span style=&quot;color: #6a9955;&quot;&gt;// --- {@link Scope}, that do not have any corresponding synthetic {@code TransactionBody}; and/or have&lt;/span&gt;&lt;/div&gt;&lt;div&gt;    &lt;span style=&quot;color: #6a9955;&quot;&gt;// --- such different semantics for signing requirements and record creation that such a dispatch would be&lt;/span&gt;&lt;/div&gt;&lt;div&gt;    &lt;span style=&quot;color: #6a9955;&quot;&gt;// --- pointless overhead.&lt;/span&gt;&lt;/div&gt;&lt;br&gt;&lt;div&gt;    &lt;span style=&quot;color: #4ec9b0;&quot;&gt;ResponseCodeEnum&lt;/span&gt; &lt;span style=&quot;color: #dcdcaa;&quot;&gt;createHollowAccount&lt;/span&gt;(&lt;span style=&quot;color: #569cd6;&quot;&gt;@NonNull&lt;/span&gt; &lt;span style=&quot;color: #4ec9b0;&quot;&gt;Bytes&lt;/span&gt; evmAddress);&lt;/div&gt;&lt;br&gt;&lt;div&gt;    &lt;span style=&quot;color: #569cd6;&quot;&gt;void&lt;/span&gt; &lt;span style=&quot;color: #dcdcaa;&quot;&gt;finalizeHollowAccountAsContract&lt;/span&gt;(&lt;span style=&quot;color: #569cd6;&quot;&gt;@NonNull&lt;/span&gt; &lt;span style=&quot;color: #4ec9b0;&quot;&gt;Bytes&lt;/span&gt; evmAddress);&lt;/div&gt;&lt;br&gt;&lt;div&gt;    &lt;span style=&quot;color: #4ec9b0;&quot;&gt;ResponseCodeEnum&lt;/span&gt; &lt;span style=&quot;color: #dcdcaa;&quot;&gt;transferValue&lt;/span&gt;(&lt;/div&gt;&lt;div&gt;            long amount, long fromEntityNumber, long toEntityNumber, &lt;span style=&quot;color: #569cd6;&quot;&gt;@NonNull&lt;/span&gt; &lt;span style=&quot;color: #4ec9b0;&quot;&gt;VerificationStrategy&lt;/span&gt; strategy);&lt;/div&gt;&lt;br&gt;&lt;div&gt;    &lt;span style=&quot;color: #569cd6;&quot;&gt;void&lt;/span&gt; &lt;span style=&quot;color: #dcdcaa;&quot;&gt;setAlias&lt;/span&gt;(&lt;span style=&quot;color: #569cd6;&quot;&gt;@NonNull&lt;/span&gt; &lt;span style=&quot;color: #4ec9b0;&quot;&gt;Bytes&lt;/span&gt; evmAddress, long entityNumber);&lt;/div&gt;&lt;br&gt;&lt;div&gt;    &lt;span style=&quot;color: #569cd6;&quot;&gt;void&lt;/span&gt; &lt;span style=&quot;color: #dcdcaa;&quot;&gt;setNonce&lt;/span&gt;(long contractNumber, long nonce);&lt;/div&gt;&lt;br&gt;&lt;div&gt;    long &lt;span style=&quot;color: #dcdcaa;&quot;&gt;reserveEntityNumber&lt;/span&gt;();&lt;/div&gt;&lt;br&gt;&lt;div&gt;    &lt;span style=&quot;color: #569cd6;&quot;&gt;void&lt;/span&gt; &lt;span style=&quot;color: #dcdcaa;&quot;&gt;releaseLastReserved&lt;/span&gt;(&lt;span style=&quot;color: #4ec9b0;&quot;&gt;int&lt;/span&gt; n);&lt;/div&gt;&lt;br&gt;&lt;div&gt;    &lt;span style=&quot;color: #569cd6;&quot;&gt;void&lt;/span&gt; &lt;span style=&quot;color: #dcdcaa;&quot;&gt;createContract&lt;/span&gt;(long contractNumber, &lt;span style=&quot;color: #569cd6;&quot;&gt;@NonNull&lt;/span&gt; &lt;span style=&quot;color: #4ec9b0;&quot;&gt;Bytes&lt;/span&gt; evmAddress, &lt;span style=&quot;color: #569cd6;&quot;&gt;@NonNull&lt;/span&gt; &lt;span style=&quot;color: #4ec9b0;&quot;&gt;Account&lt;/span&gt; model);&lt;/div&gt;&lt;br&gt;&lt;div&gt;    &lt;span style=&quot;color: #569cd6;&quot;&gt;void&lt;/span&gt; &lt;span style=&quot;color: #dcdcaa;&quot;&gt;deleteContract&lt;/span&gt;(&lt;span style=&quot;color: #569cd6;&quot;&gt;@NonNull&lt;/span&gt; &lt;span style=&quot;color: #4ec9b0;&quot;&gt;Bytes&lt;/span&gt; evmAddress);&lt;/div&gt;&lt;br&gt;&lt;div&gt;    &lt;span style=&quot;color: #569cd6;&quot;&gt;void&lt;/span&gt; &lt;span style=&quot;color: #dcdcaa;&quot;&gt;deleteContract&lt;/span&gt;(long number);&lt;/div&gt;&lt;br&gt;&lt;div&gt;    &lt;span style=&quot;color: #569cd6;&quot;&gt;void&lt;/span&gt; &lt;span style=&quot;color: #dcdcaa;&quot;&gt;updateStorageMetadata&lt;/span&gt;(long contractNumber, &lt;span style=&quot;color: #569cd6;&quot;&gt;@Nullable&lt;/span&gt; &lt;span style=&quot;color: #4ec9b0;&quot;&gt;Int256Value&lt;/span&gt; firstKey, &lt;span style=&quot;color: #4ec9b0;&quot;&gt;int&lt;/span&gt; slotsUsed);&lt;/div&gt;&lt;br&gt;&lt;div&gt;    &lt;span style=&quot;color: #4ec9b0;&quot;&gt;ResponseCodeEnum&lt;/span&gt; &lt;span style=&quot;color: #dcdcaa;&quot;&gt;chargeStorageRent&lt;/span&gt;(long contractNumber, long amount, boolean itemizeStoragePayments);&lt;/div&gt;&lt;br&gt;&lt;br&gt;&lt;br&gt;&lt;div&gt;    &lt;span style=&quot;color: #6a9955;&quot;&gt;// --- (SECTION III) A state mutation method that dispatches a synthetic {@code TransactionBody} within&lt;/span&gt;&lt;/div&gt;&lt;div&gt;    &lt;span style=&quot;color: #6a9955;&quot;&gt;// --- the context of the current {@code Scope}, performing signature verification with priority given to the&lt;/span&gt;&lt;/div&gt;&lt;div&gt;    &lt;span style=&quot;color: #6a9955;&quot;&gt;// --- provided {@code VerificationStrategy}.&lt;/span&gt;&lt;/div&gt;&lt;br&gt;&lt;div&gt;    &lt;span style=&quot;color: #4ec9b0;&quot;&gt;ResponseCodeEnum&lt;/span&gt; &lt;span style=&quot;color: #dcdcaa;&quot;&gt;dispatch&lt;/span&gt;(&lt;span style=&quot;color: #569cd6;&quot;&gt;@NonNull&lt;/span&gt; &lt;span style=&quot;color: #4ec9b0;&quot;&gt;TransactionBody&lt;/span&gt; syntheticTransaction, &lt;span style=&quot;color: #569cd6;&quot;&gt;@NonNull&lt;/span&gt; &lt;span style=&quot;color: #4ec9b0;&quot;&gt;VerificationStrategy&lt;/span&gt; strategy);&lt;/div&gt;&lt;br&gt;&lt;br&gt;&lt;br&gt;&lt;div&gt;    &lt;span style=&quot;color: #6a9955;&quot;&gt;// --- (SECTION IV) Read-only methods that reflects all changes up to and including the current {@link Scope}&lt;/span&gt;&lt;/div&gt;&lt;br&gt;&lt;div&gt;    &lt;span style=&quot;color: #569cd6;&quot;&gt;@Nullable&lt;/span&gt;&lt;/div&gt;&lt;div&gt;    &lt;span style=&quot;color: #4ec9b0;&quot;&gt;EntityNumber&lt;/span&gt; &lt;span style=&quot;color: #dcdcaa;&quot;&gt;resolveAlias&lt;/span&gt;(&lt;span style=&quot;color: #569cd6;&quot;&gt;@NonNull&lt;/span&gt; &lt;span style=&quot;color: #4ec9b0;&quot;&gt;Bytes&lt;/span&gt; evmAddress);&lt;/div&gt;&lt;br&gt;&lt;div&gt;    &lt;span style=&quot;color: #4ec9b0;&quot;&gt;Account&lt;/span&gt; &lt;span style=&quot;color: #dcdcaa;&quot;&gt;getAccount&lt;/span&gt;(long number);&lt;/div&gt;&lt;br&gt;&lt;div&gt;    &lt;span style=&quot;color: #4ec9b0;&quot;&gt;Token&lt;/span&gt; &lt;span style=&quot;color: #dcdcaa;&quot;&gt;getToken&lt;/span&gt;(long number);&lt;/div&gt;&lt;br&gt;&lt;div&gt;    &lt;span style=&quot;color: #4ec9b0;&quot;&gt;Nft&lt;/span&gt; &lt;span style=&quot;color: #dcdcaa;&quot;&gt;getNft&lt;/span&gt;(&lt;span style=&quot;color: #569cd6;&quot;&gt;@NonNull&lt;/span&gt; &lt;span style=&quot;color: #4ec9b0;&quot;&gt;Id&lt;/span&gt; id);&lt;/div&gt;&lt;/div&gt;" style="text;html=1;strokeColor=none;fillColor=#1e1e1e;align=left;verticalAlign=top;whiteSpace=wrap;rounded=0;spacingTop=0;spacing=13;" parent="1" vertex="1">
          <mxGeometry x="800" y="40" width="830" height="1320" as="geometry" />
        </mxCell>
        <mxCell id="2VTC1IHk2AFVCrEdbUQ5-1" value="HandleContext" style="rounded=0;whiteSpace=wrap;html=1;fillColor=default;verticalAlign=top;fontStyle=1;fontSize=16;dashed=1;" parent="1" vertex="1">
          <mxGeometry x="120.61" y="40" width="610" height="770" as="geometry" />
        </mxCell>
        <mxCell id="2VTC1IHk2AFVCrEdbUQ5-2" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endArrow=none;endFill=0;" parent="1" source="2VTC1IHk2AFVCrEdbUQ5-3" target="2VTC1IHk2AFVCrEdbUQ5-11" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="2VTC1IHk2AFVCrEdbUQ5-3" value="Savepoint V1" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
          <mxGeometry x="390.61" y="450" width="120" height="40" as="geometry" />
        </mxCell>
        <mxCell id="2VTC1IHk2AFVCrEdbUQ5-4" 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;" parent="1" source="2VTC1IHk2AFVCrEdbUQ5-6" target="2VTC1IHk2AFVCrEdbUQ5-3" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="2VTC1IHk2AFVCrEdbUQ5-5" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endArrow=none;endFill=0;" parent="1" source="2VTC1IHk2AFVCrEdbUQ5-6" target="2VTC1IHk2AFVCrEdbUQ5-13" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="2VTC1IHk2AFVCrEdbUQ5-6" value="Savepoint V2" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
          <mxGeometry x="390.61" y="390" width="120" height="40" as="geometry" />
        </mxCell>
        <mxCell id="2VTC1IHk2AFVCrEdbUQ5-7" 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;" parent="1" source="2VTC1IHk2AFVCrEdbUQ5-9" target="2VTC1IHk2AFVCrEdbUQ5-6" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="2VTC1IHk2AFVCrEdbUQ5-8" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endArrow=none;endFill=0;" parent="1" source="2VTC1IHk2AFVCrEdbUQ5-9" target="2VTC1IHk2AFVCrEdbUQ5-15" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="2VTC1IHk2AFVCrEdbUQ5-9" value="Savepoint V3" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
          <mxGeometry x="390.61" y="330" width="120" height="40" as="geometry" />
        </mxCell>
        <mxCell id="2VTC1IHk2AFVCrEdbUQ5-10" 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;" parent="1" source="2VTC1IHk2AFVCrEdbUQ5-11" target="2VTC1IHk2AFVCrEdbUQ5-16" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="2VTC1IHk2AFVCrEdbUQ5-11" value="Wrapped&amp;nbsp;State V1" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
          <mxGeometry x="570.61" y="450" width="120" height="40" as="geometry" />
        </mxCell>
        <mxCell id="2VTC1IHk2AFVCrEdbUQ5-12" 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;" parent="1" source="2VTC1IHk2AFVCrEdbUQ5-13" target="2VTC1IHk2AFVCrEdbUQ5-11" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="2VTC1IHk2AFVCrEdbUQ5-13" value="Wrapped&amp;nbsp;State V2" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
          <mxGeometry x="570.61" y="390" width="120" height="40" as="geometry" />
        </mxCell>
        <mxCell id="2VTC1IHk2AFVCrEdbUQ5-14" 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;" parent="1" source="2VTC1IHk2AFVCrEdbUQ5-15" target="2VTC1IHk2AFVCrEdbUQ5-13" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="2VTC1IHk2AFVCrEdbUQ5-15" value="Wrapped&amp;nbsp;State V3" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
          <mxGeometry x="570.61" y="330" width="120" height="40" as="geometry" />
        </mxCell>
        <mxCell id="2VTC1IHk2AFVCrEdbUQ5-16" value="Root HederaState" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
          <mxGeometry x="570.61" y="510" width="120" height="40" as="geometry" />
        </mxCell>
        <mxCell id="2VTC1IHk2AFVCrEdbUQ5-17" value="Transaction Data" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontStyle=1" parent="1" vertex="1">
          <mxGeometry x="150.61" y="80" width="120" height="30" as="geometry" />
        </mxCell>
        <mxCell id="2VTC1IHk2AFVCrEdbUQ5-18" value="Stack Data" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontStyle=1" parent="1" vertex="1">
          <mxGeometry x="150.61" y="290" width="120" height="30" as="geometry" />
        </mxCell>
        <mxCell id="2VTC1IHk2AFVCrEdbUQ5-19" value="RecordBuilder Data" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontStyle=1" parent="1" vertex="1">
          <mxGeometry x="150.61" y="590" width="120" height="30" as="geometry" />
        </mxCell>
        <mxCell id="2VTC1IHk2AFVCrEdbUQ5-20" value="- TransactionBody&lt;br&gt;&lt;div style=&quot;&quot;&gt;&lt;span style=&quot;background-color: initial;&quot;&gt;- Consensus Time&lt;/span&gt;&lt;/div&gt;" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=top;whiteSpace=wrap;rounded=0;fontStyle=0" parent="1" vertex="1">
          <mxGeometry x="150.61" y="110" width="120" height="100" as="geometry" />
        </mxCell>
        <mxCell id="2VTC1IHk2AFVCrEdbUQ5-21" value="- readableStore()&lt;br&gt;- writableStore()&lt;br&gt;&lt;br&gt;- configuration()&lt;br&gt;&lt;br&gt;- newEntityNum()&lt;br&gt;- Validators&lt;br&gt;&lt;br&gt;- savepointStack()" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=top;whiteSpace=wrap;rounded=0;fontStyle=0" parent="1" vertex="1">
          <mxGeometry x="150.61" y="325" width="120" height="155" as="geometry" />
        </mxCell>
        <mxCell id="2VTC1IHk2AFVCrEdbUQ5-22" value="Signature Verification" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontStyle=1" parent="1" vertex="1">
          <mxGeometry x="150.61" y="190" width="140" height="30" as="geometry" />
        </mxCell>
        <mxCell id="2VTC1IHk2AFVCrEdbUQ5-23" value="- verificationFor(key)&lt;br&gt;- verificationFor(evmAlia)" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=top;whiteSpace=wrap;rounded=0;fontStyle=0" parent="1" vertex="1">
          <mxGeometry x="150.61" y="220" width="150" height="100" as="geometry" />
        </mxCell>
        <mxCell id="2VTC1IHk2AFVCrEdbUQ5-24" value="- recordBuilder()&lt;br&gt;- addChildRecordBuilder()&lt;br&gt;- addRemovableChildRecordBuilder()" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=top;whiteSpace=wrap;rounded=0;fontStyle=0" parent="1" vertex="1">
          <mxGeometry x="150.61" y="620" width="220" height="60" as="geometry" />
        </mxCell>
        <mxCell id="2VTC1IHk2AFVCrEdbUQ5-25" value="Record 1" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
          <mxGeometry x="390.61" y="630" width="60" height="40" as="geometry" />
        </mxCell>
        <mxCell id="2VTC1IHk2AFVCrEdbUQ5-26" value="Record 2" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
          <mxGeometry x="450.61" y="630" width="60" height="40" as="geometry" />
        </mxCell>
        <mxCell id="2VTC1IHk2AFVCrEdbUQ5-27" value="Record 3" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
          <mxGeometry x="510.61" y="630" width="60" height="40" as="geometry" />
        </mxCell>
        <mxCell id="2VTC1IHk2AFVCrEdbUQ5-28" value="Record 4" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
          <mxGeometry x="570.61" y="630" width="60" height="40" as="geometry" />
        </mxCell>
        <mxCell id="2VTC1IHk2AFVCrEdbUQ5-30" value="" style="endArrow=none;dashed=1;html=1;rounded=0;exitX=-0.001;exitY=0.299;exitDx=0;exitDy=0;exitPerimeter=0;entryX=0.999;entryY=0.299;entryDx=0;entryDy=0;entryPerimeter=0;" parent="1" edge="1">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="119.99999999999987" y="279.23" as="sourcePoint" />
            <mxPoint x="729.9999999999999" y="279.23" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="2VTC1IHk2AFVCrEdbUQ5-31" value="" style="endArrow=none;dashed=1;html=1;rounded=0;entryX=1;entryY=0.169;entryDx=0;entryDy=0;entryPerimeter=0;" parent="1" target="2VTC1IHk2AFVCrEdbUQ5-1" edge="1">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="120.61" y="170" as="sourcePoint" />
            <mxPoint x="710.61" y="170" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="2VTC1IHk2AFVCrEdbUQ5-32" value="" style="endArrow=none;dashed=1;html=1;rounded=0;exitX=0;exitY=0.688;exitDx=0;exitDy=0;exitPerimeter=0;entryX=0.999;entryY=0.688;entryDx=0;entryDy=0;entryPerimeter=0;" parent="1" edge="1">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="120.61" y="579.76" as="sourcePoint" />
            <mxPoint x="729.9999999999999" y="579.76" as="targetPoint" />
          </mxGeometry>
        </mxCell>
        <mxCell id="2VTC1IHk2AFVCrEdbUQ5-33" value="Dispatcher" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontStyle=1" parent="1" vertex="1">
          <mxGeometry x="150.61" y="710" width="120" height="30" as="geometry" />
        </mxCell>
        <mxCell id="2VTC1IHk2AFVCrEdbUQ5-34" value="- dispatchPrecedingTransaction()&lt;br&gt;- dispatchChildTransaction()&lt;br&gt;- dispatchRemovableChildTransaction()" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=top;whiteSpace=wrap;rounded=0;fontStyle=0" parent="1" vertex="1">
          <mxGeometry x="150.61" y="740" width="220" height="60" as="geometry" />
        </mxCell>
        <mxCell id="2VTC1IHk2AFVCrEdbUQ5-35" value="" style="endArrow=none;dashed=1;html=1;rounded=0;exitX=0;exitY=0.844;exitDx=0;exitDy=0;exitPerimeter=0;entryX=1;entryY=0.844;entryDx=0;entryDy=0;entryPerimeter=0;" parent="1" edge="1">
          <mxGeometry width="50" height="50" relative="1" as="geometry">
            <mxPoint x="120.61" y="699.8800000000001" as="sourcePoint" />
            <mxPoint x="730.61" y="699.8800000000001" as="targetPoint" />
          </mxGeometry>
        </mxCell>
      </root>
    </mxGraphModel>
  </diagram>
</mxfile>
