diff --git a/.gitignore b/.gitignore
index 85c69dc..9291deb 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,5 @@
 *.vcd
+*.bkp
 *.so
 
 # bluespec files
diff --git a/diagrams/.$bus.drawio.bkp b/diagrams/.$bus.drawio.bkp
deleted file mode 100644
index bc4e718..0000000
--- a/diagrams/.$bus.drawio.bkp
+++ /dev/null
@@ -1,360 +0,0 @@
-<mxfile host="Electron" modified="2025-04-10T14:57:00.389Z" agent="Mozilla/5.0 (Macintosh; Intel Mac OS X 10_15_7) AppleWebKit/537.36 (KHTML, like Gecko) draw.io/24.1.0 Chrome/120.0.6099.109 Electron/28.1.0 Safari/537.36" etag="ekP5roVFLUHWn5xg36VA" version="24.1.0" type="device">
-  <diagram name="simplified" id="y4uZzcGV7WDpy27g0Dv6">
-    <mxGraphModel dx="803" dy="898" 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="DDLsznhKMAXYVWb-8vYK-235" value="Client 1" style="rounded=1;whiteSpace=wrap;html=1;" vertex="1" parent="1">
-          <mxGeometry x="80" y="80" width="200" height="40" as="geometry" />
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-236" value="submit&lt;div&gt;request&lt;/div&gt;" style="endArrow=classic;html=1;rounded=0;" edge="1" parent="1">
-          <mxGeometry x="-0.52" width="50" height="50" relative="1" as="geometry">
-            <mxPoint x="119.69000000000028" y="120" as="sourcePoint" />
-            <mxPoint x="119.69000000000005" y="370" as="targetPoint" />
-            <mxPoint as="offset" />
-          </mxGeometry>
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-237" value="&lt;div&gt;consume&lt;/div&gt;&lt;div&gt;response&lt;/div&gt;" style="endArrow=classic;html=1;rounded=0;" edge="1" parent="1">
-          <mxGeometry width="50" height="50" relative="1" as="geometry">
-            <mxPoint x="240" y="160" as="sourcePoint" />
-            <mxPoint x="239.68000000000006" y="120" as="targetPoint" />
-            <mxPoint as="offset" />
-          </mxGeometry>
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-238" value="" style="group" vertex="1" connectable="0" parent="1">
-          <mxGeometry x="100" y="370" width="40" height="80" as="geometry" />
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-239" value="" style="rounded=1;whiteSpace=wrap;html=1;" vertex="1" parent="DDLsznhKMAXYVWb-8vYK-238">
-          <mxGeometry width="40" height="80" as="geometry" />
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-240" value="" style="endArrow=none;html=1;rounded=0;" edge="1" parent="DDLsznhKMAXYVWb-8vYK-238">
-          <mxGeometry width="50" height="50" relative="1" as="geometry">
-            <mxPoint x="10" y="19.75" as="sourcePoint" />
-            <mxPoint x="30" y="19.75" as="targetPoint" />
-          </mxGeometry>
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-241" value="" style="endArrow=none;html=1;rounded=0;" edge="1" parent="DDLsznhKMAXYVWb-8vYK-238">
-          <mxGeometry width="50" height="50" relative="1" as="geometry">
-            <mxPoint x="10" y="39.5" as="sourcePoint" />
-            <mxPoint x="30" y="39.5" as="targetPoint" />
-          </mxGeometry>
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-242" value="" style="endArrow=none;html=1;rounded=0;" edge="1" parent="DDLsznhKMAXYVWb-8vYK-238">
-          <mxGeometry width="50" height="50" relative="1" as="geometry">
-            <mxPoint x="10" y="59.75" as="sourcePoint" />
-            <mxPoint x="30" y="59.75" as="targetPoint" />
-          </mxGeometry>
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-243" value="" style="group" vertex="1" connectable="0" parent="1">
-          <mxGeometry x="220" y="160" width="40" height="80" as="geometry" />
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-244" value="" style="rounded=1;whiteSpace=wrap;html=1;" vertex="1" parent="DDLsznhKMAXYVWb-8vYK-243">
-          <mxGeometry width="40" height="80" as="geometry" />
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-245" value="" style="endArrow=none;html=1;rounded=0;" edge="1" parent="DDLsznhKMAXYVWb-8vYK-243">
-          <mxGeometry width="50" height="50" relative="1" as="geometry">
-            <mxPoint x="10" y="19.75" as="sourcePoint" />
-            <mxPoint x="30" y="19.75" as="targetPoint" />
-          </mxGeometry>
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-246" value="" style="endArrow=none;html=1;rounded=0;" edge="1" parent="DDLsznhKMAXYVWb-8vYK-243">
-          <mxGeometry width="50" height="50" relative="1" as="geometry">
-            <mxPoint x="10" y="39.5" as="sourcePoint" />
-            <mxPoint x="30" y="39.5" as="targetPoint" />
-          </mxGeometry>
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-247" value="" style="endArrow=none;html=1;rounded=0;" edge="1" parent="DDLsznhKMAXYVWb-8vYK-243">
-          <mxGeometry width="50" height="50" relative="1" as="geometry">
-            <mxPoint x="10" y="59.75" as="sourcePoint" />
-            <mxPoint x="30" y="59.75" as="targetPoint" />
-          </mxGeometry>
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-270" value="Server 1" style="rounded=1;whiteSpace=wrap;html=1;" vertex="1" parent="1">
-          <mxGeometry x="80" y="630" width="200" height="40" as="geometry" />
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-274" value="" style="endArrow=classic;html=1;rounded=0;" edge="1" parent="1">
-          <mxGeometry width="50" height="50" relative="1" as="geometry">
-            <mxPoint x="239.68999999999994" y="260" as="sourcePoint" />
-            <mxPoint x="239.69000000000017" y="240" as="targetPoint" />
-            <mxPoint as="offset" />
-          </mxGeometry>
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-279" value="client1&lt;div&gt;arbiter&lt;/div&gt;" style="rounded=1;whiteSpace=wrap;html=1;" vertex="1" parent="1">
-          <mxGeometry x="200" y="260" width="80" height="30" as="geometry" />
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-280" value="server1&lt;div&gt;router&lt;/div&gt;" style="rounded=1;whiteSpace=wrap;html=1;" vertex="1" parent="1">
-          <mxGeometry x="200" y="330" width="80" height="30" as="geometry" />
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-281" value="request /&lt;div&gt;grant&lt;/div&gt;" style="endArrow=classic;html=1;rounded=0;" edge="1" parent="1">
-          <mxGeometry width="50" height="50" relative="1" as="geometry">
-            <mxPoint x="214.89" y="330" as="sourcePoint" />
-            <mxPoint x="214.89" y="290" as="targetPoint" />
-          </mxGeometry>
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-282" value="value" style="endArrow=classic;html=1;rounded=0;" edge="1" parent="1">
-          <mxGeometry width="50" height="50" relative="1" as="geometry">
-            <mxPoint x="264.89" y="330" as="sourcePoint" />
-            <mxPoint x="264.89" y="290" as="targetPoint" />
-          </mxGeometry>
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-283" value="" style="endArrow=classic;html=1;rounded=0;" edge="1" parent="1">
-          <mxGeometry width="50" height="50" relative="1" as="geometry">
-            <mxPoint x="119.69000000000017" y="450" as="sourcePoint" />
-            <mxPoint x="119.68999999999994" y="470" as="targetPoint" />
-            <mxPoint as="offset" />
-          </mxGeometry>
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-284" value="client1&lt;div&gt;router&lt;/div&gt;" style="rounded=1;whiteSpace=wrap;html=1;" vertex="1" parent="1">
-          <mxGeometry x="80" y="470" width="80" height="30" as="geometry" />
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-285" value="server1&lt;div&gt;arbiter&lt;/div&gt;" style="rounded=1;whiteSpace=wrap;html=1;" vertex="1" parent="1">
-          <mxGeometry x="80" y="540" width="80" height="30" as="geometry" />
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-286" value="request /&lt;div&gt;grant&lt;/div&gt;" style="endArrow=classic;html=1;rounded=0;" edge="1" parent="1">
-          <mxGeometry width="50" height="50" relative="1" as="geometry">
-            <mxPoint x="94.88999999999999" y="500" as="sourcePoint" />
-            <mxPoint x="94.88999999999999" y="540" as="targetPoint" />
-          </mxGeometry>
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-287" value="value" style="endArrow=classic;html=1;rounded=0;" edge="1" parent="1">
-          <mxGeometry width="50" height="50" relative="1" as="geometry">
-            <mxPoint x="144.89" y="500" as="sourcePoint" />
-            <mxPoint x="144.89" y="540" as="targetPoint" />
-          </mxGeometry>
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-288" value="consume&lt;div&gt;request&lt;/div&gt;" style="endArrow=classic;html=1;rounded=0;" edge="1" parent="1">
-          <mxGeometry width="50" height="50" relative="1" as="geometry">
-            <mxPoint x="119.67999999999995" y="570" as="sourcePoint" />
-            <mxPoint x="119.67999999999995" y="630" as="targetPoint" />
-          </mxGeometry>
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-289" value="&lt;div&gt;&lt;br&gt;&lt;/div&gt;&lt;div&gt;submit&lt;/div&gt;&lt;div&gt;response&lt;/div&gt;" style="endArrow=classic;html=1;rounded=0;" edge="1" parent="1">
-          <mxGeometry x="0.7037" width="50" height="50" relative="1" as="geometry">
-            <mxPoint x="250" y="630" as="sourcePoint" />
-            <mxPoint x="250" y="360" as="targetPoint" />
-            <mxPoint as="offset" />
-          </mxGeometry>
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-290" value="Client 2" style="rounded=1;whiteSpace=wrap;html=1;" vertex="1" parent="1">
-          <mxGeometry x="320" y="80" width="200" height="40" as="geometry" />
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-291" value="submit&lt;div&gt;request&lt;/div&gt;" style="endArrow=classic;html=1;rounded=0;" edge="1" parent="1">
-          <mxGeometry x="-0.52" width="50" height="50" relative="1" as="geometry">
-            <mxPoint x="359.6900000000003" y="120" as="sourcePoint" />
-            <mxPoint x="359.69000000000005" y="370" as="targetPoint" />
-            <mxPoint as="offset" />
-          </mxGeometry>
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-292" value="&lt;div&gt;consume&lt;/div&gt;&lt;div&gt;response&lt;/div&gt;" style="endArrow=classic;html=1;rounded=0;" edge="1" parent="1">
-          <mxGeometry width="50" height="50" relative="1" as="geometry">
-            <mxPoint x="480" y="160" as="sourcePoint" />
-            <mxPoint x="479.68000000000006" y="120" as="targetPoint" />
-            <mxPoint as="offset" />
-          </mxGeometry>
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-293" value="" style="group" vertex="1" connectable="0" parent="1">
-          <mxGeometry x="340" y="370" width="40" height="80" as="geometry" />
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-294" value="" style="rounded=1;whiteSpace=wrap;html=1;" vertex="1" parent="DDLsznhKMAXYVWb-8vYK-293">
-          <mxGeometry width="40" height="80" as="geometry" />
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-295" value="" style="endArrow=none;html=1;rounded=0;" edge="1" parent="DDLsznhKMAXYVWb-8vYK-293">
-          <mxGeometry width="50" height="50" relative="1" as="geometry">
-            <mxPoint x="10" y="19.75" as="sourcePoint" />
-            <mxPoint x="30" y="19.75" as="targetPoint" />
-          </mxGeometry>
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-296" value="" style="endArrow=none;html=1;rounded=0;" edge="1" parent="DDLsznhKMAXYVWb-8vYK-293">
-          <mxGeometry width="50" height="50" relative="1" as="geometry">
-            <mxPoint x="10" y="39.5" as="sourcePoint" />
-            <mxPoint x="30" y="39.5" as="targetPoint" />
-          </mxGeometry>
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-297" value="" style="endArrow=none;html=1;rounded=0;" edge="1" parent="DDLsznhKMAXYVWb-8vYK-293">
-          <mxGeometry width="50" height="50" relative="1" as="geometry">
-            <mxPoint x="10" y="59.75" as="sourcePoint" />
-            <mxPoint x="30" y="59.75" as="targetPoint" />
-          </mxGeometry>
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-298" value="" style="group" vertex="1" connectable="0" parent="1">
-          <mxGeometry x="460" y="160" width="40" height="80" as="geometry" />
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-299" value="" style="rounded=1;whiteSpace=wrap;html=1;" vertex="1" parent="DDLsznhKMAXYVWb-8vYK-298">
-          <mxGeometry width="40" height="80" as="geometry" />
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-300" value="" style="endArrow=none;html=1;rounded=0;" edge="1" parent="DDLsznhKMAXYVWb-8vYK-298">
-          <mxGeometry width="50" height="50" relative="1" as="geometry">
-            <mxPoint x="10" y="19.75" as="sourcePoint" />
-            <mxPoint x="30" y="19.75" as="targetPoint" />
-          </mxGeometry>
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-301" value="" style="endArrow=none;html=1;rounded=0;" edge="1" parent="DDLsznhKMAXYVWb-8vYK-298">
-          <mxGeometry width="50" height="50" relative="1" as="geometry">
-            <mxPoint x="10" y="39.5" as="sourcePoint" />
-            <mxPoint x="30" y="39.5" as="targetPoint" />
-          </mxGeometry>
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-302" value="" style="endArrow=none;html=1;rounded=0;" edge="1" parent="DDLsznhKMAXYVWb-8vYK-298">
-          <mxGeometry width="50" height="50" relative="1" as="geometry">
-            <mxPoint x="10" y="59.75" as="sourcePoint" />
-            <mxPoint x="30" y="59.75" as="targetPoint" />
-          </mxGeometry>
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-303" value="Server 2" style="rounded=1;whiteSpace=wrap;html=1;" vertex="1" parent="1">
-          <mxGeometry x="320" y="630" width="200" height="40" as="geometry" />
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-304" value="" style="endArrow=classic;html=1;rounded=0;" edge="1" parent="1">
-          <mxGeometry width="50" height="50" relative="1" as="geometry">
-            <mxPoint x="479.69000000000005" y="260" as="sourcePoint" />
-            <mxPoint x="479.69000000000005" y="240" as="targetPoint" />
-            <mxPoint as="offset" />
-          </mxGeometry>
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-305" value="client2&lt;div&gt;arbiter&lt;/div&gt;" style="rounded=1;whiteSpace=wrap;html=1;" vertex="1" parent="1">
-          <mxGeometry x="440" y="260" width="80" height="30" as="geometry" />
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-306" value="server2&lt;div&gt;router&lt;/div&gt;" style="rounded=1;whiteSpace=wrap;html=1;" vertex="1" parent="1">
-          <mxGeometry x="440" y="330" width="80" height="30" as="geometry" />
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-307" value="request /&lt;div&gt;grant&lt;/div&gt;" style="endArrow=classic;html=1;rounded=0;" edge="1" parent="1">
-          <mxGeometry width="50" height="50" relative="1" as="geometry">
-            <mxPoint x="454.8899999999999" y="330" as="sourcePoint" />
-            <mxPoint x="454.8899999999999" y="290" as="targetPoint" />
-          </mxGeometry>
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-308" value="value" style="endArrow=classic;html=1;rounded=0;" edge="1" parent="1">
-          <mxGeometry width="50" height="50" relative="1" as="geometry">
-            <mxPoint x="504.8899999999999" y="330" as="sourcePoint" />
-            <mxPoint x="504.8899999999999" y="290" as="targetPoint" />
-          </mxGeometry>
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-309" value="" style="endArrow=classic;html=1;rounded=0;" edge="1" parent="1">
-          <mxGeometry width="50" height="50" relative="1" as="geometry">
-            <mxPoint x="359.69000000000005" y="450" as="sourcePoint" />
-            <mxPoint x="359.69000000000005" y="470" as="targetPoint" />
-            <mxPoint as="offset" />
-          </mxGeometry>
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-310" value="client2&lt;div&gt;router&lt;/div&gt;" style="rounded=1;whiteSpace=wrap;html=1;" vertex="1" parent="1">
-          <mxGeometry x="320" y="470" width="80" height="30" as="geometry" />
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-311" value="server2&lt;div&gt;arbiter&lt;/div&gt;" style="rounded=1;whiteSpace=wrap;html=1;" vertex="1" parent="1">
-          <mxGeometry x="320" y="540" width="80" height="30" as="geometry" />
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-312" value="request /&lt;div&gt;grant&lt;/div&gt;" style="endArrow=classic;html=1;rounded=0;" edge="1" parent="1">
-          <mxGeometry width="50" height="50" relative="1" as="geometry">
-            <mxPoint x="334.8899999999999" y="500" as="sourcePoint" />
-            <mxPoint x="334.8899999999999" y="540" as="targetPoint" />
-          </mxGeometry>
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-313" value="value" style="endArrow=classic;html=1;rounded=0;" edge="1" parent="1">
-          <mxGeometry width="50" height="50" relative="1" as="geometry">
-            <mxPoint x="384.8899999999999" y="500" as="sourcePoint" />
-            <mxPoint x="384.8899999999999" y="540" as="targetPoint" />
-          </mxGeometry>
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-314" value="consume&lt;div&gt;request&lt;/div&gt;" style="endArrow=classic;html=1;rounded=0;" edge="1" parent="1">
-          <mxGeometry width="50" height="50" relative="1" as="geometry">
-            <mxPoint x="359.67999999999984" y="570" as="sourcePoint" />
-            <mxPoint x="359.67999999999984" y="630" as="targetPoint" />
-          </mxGeometry>
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-315" value="&lt;div&gt;&lt;br&gt;&lt;/div&gt;&lt;div&gt;submit&lt;/div&gt;&lt;div&gt;response&lt;/div&gt;" style="endArrow=classic;html=1;rounded=0;" edge="1" parent="1">
-          <mxGeometry x="0.7037" width="50" height="50" relative="1" as="geometry">
-            <mxPoint x="479.67999999999984" y="630" as="sourcePoint" />
-            <mxPoint x="479.67999999999984" y="360" as="targetPoint" />
-            <mxPoint as="offset" />
-          </mxGeometry>
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-316" value="request / grant" style="endArrow=classic;html=1;rounded=0;jumpStyle=gap;" edge="1" parent="1">
-          <mxGeometry x="-0.6501" y="6" width="50" height="50" relative="1" as="geometry">
-            <mxPoint x="159" y="472" as="sourcePoint" />
-            <mxPoint x="320" y="545.32" as="targetPoint" />
-            <Array as="points">
-              <mxPoint x="300" y="472" />
-              <mxPoint x="300" y="545.32" />
-            </Array>
-            <mxPoint as="offset" />
-          </mxGeometry>
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-317" value="value" style="endArrow=classic;html=1;rounded=0;jumpStyle=gap;" edge="1" parent="1">
-          <mxGeometry x="0.7414" width="50" height="50" relative="1" as="geometry">
-            <mxPoint x="160" y="480" as="sourcePoint" />
-            <mxPoint x="320" y="552" as="targetPoint" />
-            <Array as="points">
-              <mxPoint x="270" y="480" />
-              <mxPoint x="270" y="552" />
-            </Array>
-            <mxPoint as="offset" />
-          </mxGeometry>
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-318" value="request /&lt;div&gt;grant&lt;/div&gt;" style="endArrow=classic;html=1;rounded=0;jumpStyle=gap;" edge="1" parent="1">
-          <mxGeometry x="0.0909" y="-6" width="50" height="50" relative="1" as="geometry">
-            <mxPoint x="320" y="490" as="sourcePoint" />
-            <mxPoint x="160" y="550" as="targetPoint" />
-            <Array as="points">
-              <mxPoint x="220" y="490" />
-              <mxPoint x="220" y="550" />
-            </Array>
-            <mxPoint as="offset" />
-          </mxGeometry>
-        </mxCell>
-        <mxCell id="DDLsznhKMAXYVWb-8vYK-320" value="value" style="endArrow=classic;html=1;rounded=0;jumpStyle=gap;" edge="1" parent="1">
-          <mxGeometry x="0.5556" width="50" height="50" relative="1" as="geometry">
-            <mxPoint x="320" y="495" as="sourcePoint" />
-            <mxPoint x="160" y="560" as="targetPoint" />
-            <Array as="points">
-              <mxPoint x="240" y="495" />
-              <mxPoint x="240" y="560" />
-            </Array>
-            <mxPoint as="offset" />
-          </mxGeometry>
-        </mxCell>
-        <mxCell id="x_lcP1lRQqL86m_3BT7G-5" value="request / grant" style="endArrow=classic;html=1;rounded=0;jumpStyle=gap;" edge="1" parent="1">
-          <mxGeometry x="-0.6501" y="6" width="50" height="50" relative="1" as="geometry">
-            <mxPoint x="279" y="262" as="sourcePoint" />
-            <mxPoint x="440" y="335.32000000000005" as="targetPoint" />
-            <Array as="points">
-              <mxPoint x="420" y="262" />
-              <mxPoint x="420" y="335.32000000000005" />
-            </Array>
-            <mxPoint as="offset" />
-          </mxGeometry>
-        </mxCell>
-        <mxCell id="x_lcP1lRQqL86m_3BT7G-6" value="value" style="endArrow=classic;html=1;rounded=0;jumpStyle=gap;" edge="1" parent="1">
-          <mxGeometry x="0.7414" width="50" height="50" relative="1" as="geometry">
-            <mxPoint x="280" y="270" as="sourcePoint" />
-            <mxPoint x="440" y="342" as="targetPoint" />
-            <Array as="points">
-              <mxPoint x="390" y="270" />
-              <mxPoint x="390" y="342" />
-            </Array>
-            <mxPoint as="offset" />
-          </mxGeometry>
-        </mxCell>
-        <mxCell id="x_lcP1lRQqL86m_3BT7G-7" value="request /&lt;div&gt;grant&lt;/div&gt;" style="endArrow=classic;html=1;rounded=0;jumpStyle=gap;" edge="1" parent="1">
-          <mxGeometry x="0.2727" width="50" height="50" relative="1" as="geometry">
-            <mxPoint x="440" y="280" as="sourcePoint" />
-            <mxPoint x="280" y="340" as="targetPoint" />
-            <Array as="points">
-              <mxPoint x="320" y="280" />
-              <mxPoint x="320" y="340" />
-            </Array>
-            <mxPoint as="offset" />
-          </mxGeometry>
-        </mxCell>
-        <mxCell id="x_lcP1lRQqL86m_3BT7G-8" value="value" style="endArrow=classic;html=1;rounded=0;jumpStyle=gap;" edge="1" parent="1">
-          <mxGeometry x="0.5556" width="50" height="50" relative="1" as="geometry">
-            <mxPoint x="440" y="285" as="sourcePoint" />
-            <mxPoint x="280" y="350" as="targetPoint" />
-            <Array as="points">
-              <mxPoint x="350" y="285" />
-              <mxPoint x="350" y="350" />
-            </Array>
-            <mxPoint as="offset" />
-          </mxGeometry>
-        </mxCell>
-      </root>
-    </mxGraphModel>
-  </diagram>
-</mxfile>