SCCD/examples/semantics/statechart_semantics.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.40.1 (20161225.0304)
 -->
<!-- Title: state transitions Pages: 1 -->
<svg width="8835pt" height="1114pt"
 viewBox="0.00 0.00 8835.00 1113.50" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 1109.5)">
<title>state transitions</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-1109.5 8831,-1109.5 8831,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster__P</title>
<path fill="none" stroke="#000000" stroke-width="2" d="M20,-8C20,-8 8807,-8 8807,-8 8813,-8 8819,-14 8819,-20 8819,-20 8819,-1054.5 8819,-1054.5 8819,-1060.5 8813,-1066.5 8807,-1066.5 8807,-1066.5 20,-1066.5 20,-1066.5 14,-1066.5 8,-1060.5 8,-1054.5 8,-1054.5 8,-20 8,-20 8,-14 14,-8 20,-8"/>
<text text-anchor="start" x="4409.4986" y="-1047.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">P</text>
</g>
<g id="clust2" class="cluster">
<title>cluster__P_ComboStepMaximality</title>
<path fill="none" stroke="#000000" stroke-width="2" d="M2503,-16C2503,-16 8799,-16 8799,-16 8805,-16 8811,-22 8811,-28 8811,-28 8811,-1016.5 8811,-1016.5 8811,-1022.5 8805,-1028.5 8799,-1028.5 8799,-1028.5 2503,-1028.5 2503,-1028.5 2497,-1028.5 2491,-1022.5 2491,-1016.5 2491,-1016.5 2491,-28 2491,-28 2491,-22 2497,-16 2503,-16"/>
<text text-anchor="start" x="5590.9982" y="-1009.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">ComboStepMaximality</text>
</g>
<g id="clust3" class="cluster">
<title>cluster__P_ComboStepMaximality_ComboStepMaximality</title>
<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="2953,-428 2953,-990.5 8803,-990.5 8803,-428 2953,-428"/>
<text text-anchor="start" x="5817.9982" y="-971.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">ComboStepMaximality</text>
</g>
<g id="clust4" class="cluster">
<title>cluster__P_ComboStepMaximality_MemoryProtocolDeducer</title>
<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="2789,-24 2789,-990.5 2945,-990.5 2945,-24 2789,-24"/>
<text text-anchor="start" x="2800.6628" y="-971.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">MemoryProtocolDeducer</text>
</g>
<g id="clust5" class="cluster">
<title>cluster__P_ComboStepMaximality_InternalEventDeducer</title>
<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="2641,-24 2641,-990.5 2781,-990.5 2781,-24 2641,-24"/>
<text text-anchor="start" x="2652.9848" y="-971.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">InternalEventDeducer</text>
</g>
<g id="clust6" class="cluster">
<title>cluster__P_ComboStepMaximality_InputEventDeducer</title>
<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="2507,-24 2507,-990.5 2633,-990.5 2633,-24 2507,-24"/>
<text text-anchor="start" x="2518.649" y="-971.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">InputEventDeducer</text>
</g>
<g id="clust7" class="cluster">
<title>cluster__P_Priority</title>
<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="2282,-428 2282,-990.5 2483,-990.5 2483,-428 2282,-428"/>
<text text-anchor="start" x="2364.3382" y="-971.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Priority</text>
</g>
<g id="clust8" class="cluster">
<title>cluster__P_Priority_Composite</title>
<path fill="none" stroke="#000000" stroke-width="2" d="M2302,-554C2302,-554 2359,-554 2359,-554 2365,-554 2371,-560 2371,-566 2371,-566 2371,-847.5 2371,-847.5 2371,-853.5 2365,-859.5 2359,-859.5 2359,-859.5 2302,-859.5 2302,-859.5 2296,-859.5 2290,-853.5 2290,-847.5 2290,-847.5 2290,-566 2290,-566 2290,-560 2296,-554 2302,-554"/>
<text text-anchor="start" x="2302.3308" y="-840.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Composite</text>
</g>
<g id="clust9" class="cluster">
<title>cluster__P_MemoryProtocol</title>
<path fill="none" stroke="#000000" stroke-width="2" d="M1978,-222C1978,-222 2262,-222 2262,-222 2268,-222 2274,-228 2274,-234 2274,-234 2274,-1016.5 2274,-1016.5 2274,-1022.5 2268,-1028.5 2262,-1028.5 2262,-1028.5 1978,-1028.5 1978,-1028.5 1972,-1028.5 1966,-1022.5 1966,-1016.5 1966,-1016.5 1966,-234 1966,-234 1966,-228 1972,-222 1978,-222"/>
<text text-anchor="start" x="2076.8332" y="-1009.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">MemoryProtocol</text>
</g>
<g id="clust10" class="cluster">
<title>cluster__P_MemoryProtocol_MemoryProtocol</title>
<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="2088,-230 2088,-990.5 2266,-990.5 2266,-230 2088,-230"/>
<text text-anchor="start" x="2133.8332" y="-971.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">MemoryProtocol</text>
</g>
<g id="clust11" class="cluster">
<title>cluster__P_MemoryProtocol_RegionAssign</title>
<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="1982,-428 1982,-990.5 2080,-990.5 2080,-428 1982,-428"/>
<text text-anchor="start" x="1993.992" y="-971.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">RegionAssign</text>
</g>
<g id="clust12" class="cluster">
<title>cluster__P_InternalEventLifeline</title>
<path fill="none" stroke="#000000" stroke-width="2" d="M298,-222C298,-222 1946,-222 1946,-222 1952,-222 1958,-228 1958,-234 1958,-234 1958,-1016.5 1958,-1016.5 1958,-1022.5 1952,-1028.5 1946,-1028.5 1946,-1028.5 298,-1028.5 298,-1028.5 292,-1028.5 286,-1022.5 286,-1016.5 286,-1016.5 286,-234 286,-234 286,-228 292,-222 298,-222"/>
<text text-anchor="start" x="1067.652" y="-1009.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">InternalEventLifeline</text>
</g>
<g id="clust13" class="cluster">
<title>cluster__P_InternalEventLifeline_InternalEventLifeline</title>
<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="666,-230 666,-990.5 1950,-990.5 1950,-230 666,-230"/>
<text text-anchor="start" x="1253.652" y="-971.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">InternalEventLifeline</text>
</g>
<g id="clust14" class="cluster">
<title>cluster__P_InternalEventLifeline_RegionReceive2</title>
<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="546,-428 546,-990.5 658,-990.5 658,-428 546,-428"/>
<text text-anchor="start" x="557.9912" y="-971.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">RegionReceive2</text>
</g>
<g id="clust15" class="cluster">
<title>cluster__P_InternalEventLifeline_RegionReceive1</title>
<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="426,-428 426,-990.5 538,-990.5 538,-428 426,-428"/>
<text text-anchor="start" x="437.9912" y="-971.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">RegionReceive1</text>
</g>
<g id="clust16" class="cluster">
<title>cluster__P_InternalEventLifeline_RegionBroadcast</title>
<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="302,-428 302,-990.5 418,-990.5 418,-428 302,-428"/>
<text text-anchor="start" x="313.9878" y="-971.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">RegionBroadcast</text>
</g>
<g id="clust17" class="cluster">
<title>cluster__P_InputEventLifeline</title>
<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="154,-554 154,-990.5 278,-990.5 278,-554 154,-554"/>
<text text-anchor="start" x="168.8162" y="-971.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">InputEventLifeline</text>
</g>
<g id="clust18" class="cluster">
<title>cluster__P_BigStepMaximality</title>
<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="24,-428 24,-990.5 146,-990.5 146,-428 24,-428"/>
<text text-anchor="start" x="35.665" y="-971.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">BigStepMaximality</text>
</g>
<!-- __initial -->
<g id="node1" class="node">
<title>__initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="16" cy="-1100" rx="5.5" ry="5.5"/>
</g>
<!-- _P -->
<!-- __initial&#45;&gt;_P -->
<g id="edge1" class="edge">
<title>__initial&#45;&gt;_P</title>
<path fill="none" stroke="#000000" d="M16,-1094.189C16,-1090.0672 16,-1083.9596 16,-1076.5416"/>
<polygon fill="#000000" stroke="#000000" points="19.5001,-1076.4953 16,-1066.4954 12.5001,-1076.4954 19.5001,-1076.4953"/>
<text text-anchor="middle" x="17.3895" y="-1077.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _P_ComboStepMaximality -->
<!-- _P_ComboStepMaximality_ComboStepMaximality -->
<!-- _P_ComboStepMaximality_ComboStepMaximality_initial -->
<g id="node5" class="node">
<title>_P_ComboStepMaximality_ComboStepMaximality_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="5507" cy="-947" rx="5.5" ry="5.5"/>
</g>
<!-- _P_ComboStepMaximality_ComboStepMaximality_NoComboSteps -->
<g id="node9" class="node">
<title>_P_ComboStepMaximality_ComboStepMaximality_NoComboSteps</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="5560,-716 5454,-716 5454,-680 5560,-680 5560,-716"/>
<text text-anchor="start" x="5464.6586" y="-694.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">NoComboSteps</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M5466.3333,-681C5466.3333,-681 5547.6667,-681 5547.6667,-681 5553.3333,-681 5559,-686.6667 5559,-692.3333 5559,-692.3333 5559,-703.6667 5559,-703.6667 5559,-709.3333 5553.3333,-715 5547.6667,-715 5547.6667,-715 5466.3333,-715 5466.3333,-715 5460.6667,-715 5455,-709.3333 5455,-703.6667 5455,-703.6667 5455,-692.3333 5455,-692.3333 5455,-686.6667 5460.6667,-681 5466.3333,-681"/>
</g>
<!-- _P_ComboStepMaximality_ComboStepMaximality_initial&#45;&gt;_P_ComboStepMaximality_ComboStepMaximality_NoComboSteps -->
<g id="edge2" class="edge">
<title>_P_ComboStepMaximality_ComboStepMaximality_initial&#45;&gt;_P_ComboStepMaximality_ComboStepMaximality_NoComboSteps</title>
<path fill="none" stroke="#000000" d="M5507,-941.3288C5507,-936.6736 5507,-929.9097 5507,-924 5507,-924 5507,-924 5507,-733.5 5507,-731.1079 5507,-728.6252 5507,-726.1342"/>
<polygon fill="#000000" stroke="#000000" points="5510.5001,-726.0597 5507,-716.0598 5503.5001,-726.0598 5510.5001,-726.0597"/>
<text text-anchor="middle" x="5508.3895" y="-813" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _P_ComboStepMaximality_ComboStepMaximality_TakeMany -->
<g id="node6" class="node">
<title>_P_ComboStepMaximality_ComboStepMaximality_TakeMany</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="7497,-472 7419,-472 7419,-436 7497,-436 7497,-472"/>
<text text-anchor="start" x="7429.9956" y="-450.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">TakeMany</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M7431.3333,-437C7431.3333,-437 7484.6667,-437 7484.6667,-437 7490.3333,-437 7496,-442.6667 7496,-448.3333 7496,-448.3333 7496,-459.6667 7496,-459.6667 7496,-465.3333 7490.3333,-471 7484.6667,-471 7484.6667,-471 7431.3333,-471 7431.3333,-471 7425.6667,-471 7420,-465.3333 7420,-459.6667 7420,-459.6667 7420,-448.3333 7420,-448.3333 7420,-442.6667 7425.6667,-437 7431.3333,-437"/>
</g>
<!-- _P_ComboStepMaximality_ComboStepMaximality_Syntactic -->
<g id="node7" class="node">
<title>_P_ComboStepMaximality_ComboStepMaximality_Syntactic</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="5542,-472 5472,-472 5472,-436 5542,-436 5542,-472"/>
<text text-anchor="start" x="5482.6616" y="-450.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Syntactic</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M5484.3333,-437C5484.3333,-437 5529.6667,-437 5529.6667,-437 5535.3333,-437 5541,-442.6667 5541,-448.3333 5541,-448.3333 5541,-459.6667 5541,-459.6667 5541,-465.3333 5535.3333,-471 5529.6667,-471 5529.6667,-471 5484.3333,-471 5484.3333,-471 5478.6667,-471 5473,-465.3333 5473,-459.6667 5473,-459.6667 5473,-448.3333 5473,-448.3333 5473,-442.6667 5478.6667,-437 5484.3333,-437"/>
</g>
<!-- _P_ComboStepMaximality_ComboStepMaximality_TakeOne -->
<g id="node8" class="node">
<title>_P_ComboStepMaximality_ComboStepMaximality_TakeOne</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="3683.5,-472 3612.5,-472 3612.5,-436 3683.5,-436 3683.5,-472"/>
<text text-anchor="start" x="3623.8256" y="-450.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">TakeOne</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M3624.8333,-437C3624.8333,-437 3671.1667,-437 3671.1667,-437 3676.8333,-437 3682.5,-442.6667 3682.5,-448.3333 3682.5,-448.3333 3682.5,-459.6667 3682.5,-459.6667 3682.5,-465.3333 3676.8333,-471 3671.1667,-471 3671.1667,-471 3624.8333,-471 3624.8333,-471 3619.1667,-471 3613.5,-465.3333 3613.5,-459.6667 3613.5,-459.6667 3613.5,-448.3333 3613.5,-448.3333 3613.5,-442.6667 3619.1667,-437 3624.8333,-437"/>
</g>
<!-- _P_ComboStepMaximality_ComboStepMaximality_NoComboSteps&#45;&gt;_P_ComboStepMaximality_ComboStepMaximality_TakeMany -->
<g id="edge5" class="edge">
<title>_P_ComboStepMaximality_ComboStepMaximality_NoComboSteps&#45;&gt;_P_ComboStepMaximality_ComboStepMaximality_TakeMany</title>
<path fill="none" stroke="#000000" d="M5560.2074,-697.3267C5812.3736,-694.0506 6875,-679.2512 6875,-662.5 6875,-662.5 6875,-662.5 6875,-489.5 6875,-462.8515 7268.2007,-456.0302 7408.7737,-454.443"/>
<polygon fill="#000000" stroke="#000000" points="7408.8812,-457.9421 7418.8425,-454.3334 7408.8049,-450.9425 7408.8812,-457.9421"/>
<text text-anchor="start" x="6875" y="-577" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">¬input0 [INSTATE([&quot;/P/InputEventLifeline/FirstComboStep&quot;,&quot;/P/ComboStepMaximality/InputEventDeducer/TakeMany&quot;])] &#160;&#160;</text>
</g>
<!-- _P_ComboStepMaximality_ComboStepMaximality_NoComboSteps&#45;&gt;_P_ComboStepMaximality_ComboStepMaximality_TakeMany -->
<g id="edge8" class="edge">
<title>_P_ComboStepMaximality_ComboStepMaximality_NoComboSteps&#45;&gt;_P_ComboStepMaximality_ComboStepMaximality_TakeMany</title>
<path fill="none" stroke="#000000" d="M5560.1964,-697.745C5872.8851,-696.1614 7458,-686.9286 7458,-662.5 7458,-662.5 7458,-662.5 7458,-489.5 7458,-487.1079 7458,-484.6252 7458,-482.1342"/>
<polygon fill="#000000" stroke="#000000" points="7461.5001,-482.0597 7458,-472.0598 7454.5001,-482.0598 7461.5001,-482.0597"/>
<text text-anchor="start" x="7458" y="-577" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">¬internal0 [INSTATE([&quot;/P/InternalEventLifeline/InternalEventLifeline/NextComboStep&quot;,&quot;/P/ComboStepMaximality/InternalEventDeducer/TakeMany&quot;])] &#160;&#160;</text>
</g>
<!-- _P_ComboStepMaximality_ComboStepMaximality_NoComboSteps&#45;&gt;_P_ComboStepMaximality_ComboStepMaximality_TakeMany -->
<g id="edge11" class="edge">
<title>_P_ComboStepMaximality_ComboStepMaximality_NoComboSteps&#45;&gt;_P_ComboStepMaximality_ComboStepMaximality_TakeMany</title>
<path fill="none" stroke="#000000" d="M5560.1745,-697.6492C5935.3567,-695.1321 8169,-679.4351 8169,-662.5 8169,-662.5 8169,-662.5 8169,-489.5 8169,-472.9091 7668.5113,-459.1685 7507.3547,-455.1741"/>
<polygon fill="#000000" stroke="#000000" points="7507.3223,-451.6724 7497.2392,-454.9252 7507.15,-458.6702 7507.3223,-451.6724"/>
<text text-anchor="start" x="8169" y="-577" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[x == 1 and INSTATE([&quot;/P/MemoryProtocol/MemoryProtocol/ComboStep&quot;,&quot;/P/ComboStepMaximality/MemoryProtocolDeducer/TakeMany&quot;])] &#160;&#160;</text>
</g>
<!-- _P_ComboStepMaximality_ComboStepMaximality_NoComboSteps&#45;&gt;_P_ComboStepMaximality_ComboStepMaximality_Syntactic -->
<g id="edge4" class="edge">
<title>_P_ComboStepMaximality_ComboStepMaximality_NoComboSteps&#45;&gt;_P_ComboStepMaximality_ComboStepMaximality_Syntactic</title>
<path fill="none" stroke="#000000" d="M5453.7515,-697.476C5310.9102,-695.7209 4930,-688.5944 4930,-662.5 4930,-662.5 4930,-662.5 4930,-489.5 4930,-462.9066 5325.6176,-456.0134 5461.6805,-454.4291"/>
<polygon fill="#000000" stroke="#000000" points="5461.8146,-457.9279 5471.7746,-454.3158 5461.736,-450.9283 5461.8146,-457.9279"/>
<text text-anchor="start" x="4930" y="-577" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">¬input0 [INSTATE([&quot;/P/InputEventLifeline/FirstComboStep&quot;,&quot;/P/ComboStepMaximality/InputEventDeducer/Syntactic&quot;])] &#160;&#160;</text>
</g>
<!-- _P_ComboStepMaximality_ComboStepMaximality_NoComboSteps&#45;&gt;_P_ComboStepMaximality_ComboStepMaximality_Syntactic -->
<g id="edge7" class="edge">
<title>_P_ComboStepMaximality_ComboStepMaximality_NoComboSteps&#45;&gt;_P_ComboStepMaximality_ComboStepMaximality_Syntactic</title>
<path fill="none" stroke="#000000" d="M5560.2155,-696.5382C5717.7802,-692.0361 6171,-677.76 6171,-662.5 6171,-662.5 6171,-662.5 6171,-489.5 6171,-473.9811 5702.2729,-459.4798 5552.4556,-455.2412"/>
<polygon fill="#000000" stroke="#000000" points="5552.3251,-451.7362 5542.2307,-454.9538 5552.1284,-458.7334 5552.3251,-451.7362"/>
<text text-anchor="start" x="6171" y="-577" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">¬internal0 [INSTATE([&quot;/P/InternalEventLifeline/InternalEventLifeline/NextComboStep&quot;,&quot;/P/ComboStepMaximality/InternalEventDeducer/Syntactic&quot;])] &#160;&#160;</text>
</g>
<!-- _P_ComboStepMaximality_ComboStepMaximality_NoComboSteps&#45;&gt;_P_ComboStepMaximality_ComboStepMaximality_Syntactic -->
<g id="edge10" class="edge">
<title>_P_ComboStepMaximality_ComboStepMaximality_NoComboSteps&#45;&gt;_P_ComboStepMaximality_ComboStepMaximality_Syntactic</title>
<path fill="none" stroke="#000000" d="M5507,-679.9402C5507,-674.3497 5507,-668.1701 5507,-662.5 5507,-662.5 5507,-662.5 5507,-489.5 5507,-487.1079 5507,-484.6252 5507,-482.1342"/>
<polygon fill="#000000" stroke="#000000" points="5510.5001,-482.0597 5507,-472.0598 5503.5001,-482.0598 5510.5001,-482.0597"/>
<text text-anchor="start" x="5507" y="-577" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[x == 1 and INSTATE([&quot;/P/MemoryProtocol/MemoryProtocol/ComboStep&quot;,&quot;/P/ComboStepMaximality/MemoryProtocolDeducer/Syntactic&quot;])] &#160;&#160;</text>
</g>
<!-- _P_ComboStepMaximality_ComboStepMaximality_NoComboSteps&#45;&gt;_P_ComboStepMaximality_ComboStepMaximality_TakeOne -->
<g id="edge3" class="edge">
<title>_P_ComboStepMaximality_ComboStepMaximality_NoComboSteps&#45;&gt;_P_ComboStepMaximality_ComboStepMaximality_TakeOne</title>
<path fill="none" stroke="#000000" d="M5453.8645,-697.6968C5150.1976,-695.8791 3648,-685.714 3648,-662.5 3648,-662.5 3648,-662.5 3648,-489.5 3648,-487.1079 3648,-484.6252 3648,-482.1342"/>
<polygon fill="#000000" stroke="#000000" points="3651.5001,-482.0597 3648,-472.0598 3644.5001,-482.0598 3651.5001,-482.0597"/>
<text text-anchor="start" x="3648" y="-577" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">¬input0 [INSTATE([&quot;/P/InputEventLifeline/FirstComboStep&quot;,&quot;/P/ComboStepMaximality/InputEventDeducer/TakeOne&quot;])] &#160;&#160;</text>
</g>
<!-- _P_ComboStepMaximality_ComboStepMaximality_NoComboSteps&#45;&gt;_P_ComboStepMaximality_ComboStepMaximality_TakeOne -->
<g id="edge6" class="edge">
<title>_P_ComboStepMaximality_ComboStepMaximality_NoComboSteps&#45;&gt;_P_ComboStepMaximality_ComboStepMaximality_TakeOne</title>
<path fill="none" stroke="#000000" d="M5453.9508,-697.2353C5212.0162,-693.6626 4225,-678.1293 4225,-662.5 4225,-662.5 4225,-662.5 4225,-489.5 4225,-462.9372 3830.2914,-456.0293 3693.7897,-454.4346"/>
<polygon fill="#000000" stroke="#000000" points="3693.6973,-450.9334 3683.6585,-454.3205 3693.6184,-457.933 3693.6973,-450.9334"/>
<text text-anchor="start" x="4225" y="-577" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">¬internal0 [INSTATE([&quot;/P/InternalEventLifeline/InternalEventLifeline/NextComboStep&quot;,&quot;/P/ComboStepMaximality/InternalEventDeducer/TakeOne&quot;])] &#160;&#160;</text>
</g>
<!-- _P_ComboStepMaximality_ComboStepMaximality_NoComboSteps&#45;&gt;_P_ComboStepMaximality_ComboStepMaximality_TakeOne -->
<g id="edge9" class="edge">
<title>_P_ComboStepMaximality_ComboStepMaximality_NoComboSteps&#45;&gt;_P_ComboStepMaximality_ComboStepMaximality_TakeOne</title>
<path fill="none" stroke="#000000" d="M5453.9919,-697.9683C5090.7015,-697.6669 2983,-694.5376 2983,-662.5 2983,-662.5 2983,-662.5 2983,-489.5 2983,-473.9754 3451.3679,-459.5052 3601.9638,-455.2538"/>
<polygon fill="#000000" stroke="#000000" points="3602.3488,-458.7445 3612.2467,-454.9655 3602.1525,-451.7473 3602.3488,-458.7445"/>
<text text-anchor="start" x="2983" y="-577" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[x == 1 and INSTATE([&quot;/P/MemoryProtocol/MemoryProtocol/ComboStep&quot;,&quot;/P/ComboStepMaximality/MemoryProtocolDeducer/TakeOne&quot;])] &#160;&#160;</text>
</g>
<!-- _P_ComboStepMaximality_MemoryProtocolDeducer -->
<!-- _P_ComboStepMaximality_MemoryProtocolDeducer_initial -->
<g id="node11" class="node">
<title>_P_ComboStepMaximality_MemoryProtocolDeducer_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="2856" cy="-947" rx="5.5" ry="5.5"/>
</g>
<!-- _P_ComboStepMaximality_MemoryProtocolDeducer_Initial -->
<g id="node15" class="node">
<title>_P_ComboStepMaximality_MemoryProtocolDeducer_Initial</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="2884,-716 2828,-716 2828,-680 2884,-680 2884,-716"/>
<text text-anchor="start" x="2842.0002" y="-694.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Initial</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M2840.3333,-681C2840.3333,-681 2871.6667,-681 2871.6667,-681 2877.3333,-681 2883,-686.6667 2883,-692.3333 2883,-692.3333 2883,-703.6667 2883,-703.6667 2883,-709.3333 2877.3333,-715 2871.6667,-715 2871.6667,-715 2840.3333,-715 2840.3333,-715 2834.6667,-715 2829,-709.3333 2829,-703.6667 2829,-703.6667 2829,-692.3333 2829,-692.3333 2829,-686.6667 2834.6667,-681 2840.3333,-681"/>
</g>
<!-- _P_ComboStepMaximality_MemoryProtocolDeducer_initial&#45;&gt;_P_ComboStepMaximality_MemoryProtocolDeducer_Initial -->
<g id="edge12" class="edge">
<title>_P_ComboStepMaximality_MemoryProtocolDeducer_initial&#45;&gt;_P_ComboStepMaximality_MemoryProtocolDeducer_Initial</title>
<path fill="none" stroke="#000000" d="M2856,-941.3288C2856,-936.6736 2856,-929.9097 2856,-924 2856,-924 2856,-924 2856,-733.5 2856,-731.1079 2856,-728.6252 2856,-726.1342"/>
<polygon fill="#000000" stroke="#000000" points="2859.5001,-726.0597 2856,-716.0598 2852.5001,-726.0598 2859.5001,-726.0597"/>
<text text-anchor="middle" x="2857.3895" y="-813" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _P_ComboStepMaximality_MemoryProtocolDeducer_TakeMany -->
<g id="node12" class="node">
<title>_P_ComboStepMaximality_MemoryProtocolDeducer_TakeMany</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="2895,-68 2817,-68 2817,-32 2895,-32 2895,-68"/>
<text text-anchor="start" x="2827.9956" y="-46.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">TakeMany</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M2829.3333,-33C2829.3333,-33 2882.6667,-33 2882.6667,-33 2888.3333,-33 2894,-38.6667 2894,-44.3333 2894,-44.3333 2894,-55.6667 2894,-55.6667 2894,-61.3333 2888.3333,-67 2882.6667,-67 2882.6667,-67 2829.3333,-67 2829.3333,-67 2823.6667,-67 2818,-61.3333 2818,-55.6667 2818,-55.6667 2818,-44.3333 2818,-44.3333 2818,-38.6667 2823.6667,-33 2829.3333,-33"/>
</g>
<!-- _P_ComboStepMaximality_MemoryProtocolDeducer_Syntactic -->
<g id="node13" class="node">
<title>_P_ComboStepMaximality_MemoryProtocolDeducer_Syntactic</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="2898,-274 2814,-274 2814,-238 2898,-238 2898,-274"/>
<text text-anchor="start" x="2824.992" y="-252.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Syntactic ✓</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M2826.3333,-239C2826.3333,-239 2885.6667,-239 2885.6667,-239 2891.3333,-239 2897,-244.6667 2897,-250.3333 2897,-250.3333 2897,-261.6667 2897,-261.6667 2897,-267.3333 2891.3333,-273 2885.6667,-273 2885.6667,-273 2826.3333,-273 2826.3333,-273 2820.6667,-273 2815,-267.3333 2815,-261.6667 2815,-261.6667 2815,-250.3333 2815,-250.3333 2815,-244.6667 2820.6667,-239 2826.3333,-239"/>
</g>
<!-- _P_ComboStepMaximality_MemoryProtocolDeducer_Syntactic&#45;&gt;_P_ComboStepMaximality_MemoryProtocolDeducer_TakeMany -->
<g id="edge13" class="edge">
<title>_P_ComboStepMaximality_MemoryProtocolDeducer_Syntactic&#45;&gt;_P_ComboStepMaximality_MemoryProtocolDeducer_TakeMany</title>
<path fill="none" stroke="#000000" d="M2856,-237.8863C2856,-228.0162 2856,-215.5868 2856,-204.5 2856,-204.5 2856,-204.5 2856,-85.5 2856,-83.1079 2856,-80.6252 2856,-78.1342"/>
<polygon fill="#000000" stroke="#000000" points="2859.5001,-78.0597 2856,-68.0598 2852.5001,-78.0598 2859.5001,-78.0597"/>
<text text-anchor="start" x="2856" y="-142" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[x == 0] &#160;&#160;</text>
</g>
<!-- _P_ComboStepMaximality_MemoryProtocolDeducer_TakeOne -->
<g id="node14" class="node">
<title>_P_ComboStepMaximality_MemoryProtocolDeducer_TakeOne</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="2891.5,-472 2820.5,-472 2820.5,-436 2891.5,-436 2891.5,-472"/>
<text text-anchor="start" x="2831.8256" y="-450.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">TakeOne</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M2832.8333,-437C2832.8333,-437 2879.1667,-437 2879.1667,-437 2884.8333,-437 2890.5,-442.6667 2890.5,-448.3333 2890.5,-448.3333 2890.5,-459.6667 2890.5,-459.6667 2890.5,-465.3333 2884.8333,-471 2879.1667,-471 2879.1667,-471 2832.8333,-471 2832.8333,-471 2827.1667,-471 2821.5,-465.3333 2821.5,-459.6667 2821.5,-459.6667 2821.5,-448.3333 2821.5,-448.3333 2821.5,-442.6667 2827.1667,-437 2832.8333,-437"/>
</g>
<!-- _P_ComboStepMaximality_MemoryProtocolDeducer_TakeOne&#45;&gt;_P_ComboStepMaximality_MemoryProtocolDeducer_Syntactic -->
<g id="edge14" class="edge">
<title>_P_ComboStepMaximality_MemoryProtocolDeducer_TakeOne&#45;&gt;_P_ComboStepMaximality_MemoryProtocolDeducer_Syntactic</title>
<path fill="none" stroke="#000000" d="M2856,-435.7983C2856,-428.007 2856,-418.8073 2856,-410.5 2856,-410.5 2856,-410.5 2856,-291.5 2856,-289.1079 2856,-286.6252 2856,-284.1342"/>
<polygon fill="#000000" stroke="#000000" points="2859.5001,-284.0597 2856,-274.0598 2852.5001,-284.0598 2859.5001,-284.0597"/>
<text text-anchor="start" x="2856" y="-348" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[x == 0] &#160;&#160;</text>
</g>
<!-- _P_ComboStepMaximality_MemoryProtocolDeducer_Initial&#45;&gt;_P_ComboStepMaximality_MemoryProtocolDeducer_TakeOne -->
<g id="edge15" class="edge">
<title>_P_ComboStepMaximality_MemoryProtocolDeducer_Initial&#45;&gt;_P_ComboStepMaximality_MemoryProtocolDeducer_TakeOne</title>
<path fill="none" stroke="#000000" d="M2856,-679.9402C2856,-674.3497 2856,-668.1701 2856,-662.5 2856,-662.5 2856,-662.5 2856,-489.5 2856,-487.1079 2856,-484.6252 2856,-482.1342"/>
<polygon fill="#000000" stroke="#000000" points="2859.5001,-482.0597 2856,-472.0598 2852.5001,-482.0598 2859.5001,-482.0597"/>
<text text-anchor="start" x="2856" y="-577" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[x == 0] &#160;&#160;</text>
</g>
<!-- _P_ComboStepMaximality_InternalEventDeducer -->
<!-- _P_ComboStepMaximality_InternalEventDeducer_initial -->
<g id="node17" class="node">
<title>_P_ComboStepMaximality_InternalEventDeducer_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="2704" cy="-947" rx="5.5" ry="5.5"/>
</g>
<!-- _P_ComboStepMaximality_InternalEventDeducer_Initial -->
<g id="node21" class="node">
<title>_P_ComboStepMaximality_InternalEventDeducer_Initial</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="2732,-716 2676,-716 2676,-680 2732,-680 2732,-716"/>
<text text-anchor="start" x="2690.0002" y="-694.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Initial</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M2688.3333,-681C2688.3333,-681 2719.6667,-681 2719.6667,-681 2725.3333,-681 2731,-686.6667 2731,-692.3333 2731,-692.3333 2731,-703.6667 2731,-703.6667 2731,-709.3333 2725.3333,-715 2719.6667,-715 2719.6667,-715 2688.3333,-715 2688.3333,-715 2682.6667,-715 2677,-709.3333 2677,-703.6667 2677,-703.6667 2677,-692.3333 2677,-692.3333 2677,-686.6667 2682.6667,-681 2688.3333,-681"/>
</g>
<!-- _P_ComboStepMaximality_InternalEventDeducer_initial&#45;&gt;_P_ComboStepMaximality_InternalEventDeducer_Initial -->
<g id="edge16" class="edge">
<title>_P_ComboStepMaximality_InternalEventDeducer_initial&#45;&gt;_P_ComboStepMaximality_InternalEventDeducer_Initial</title>
<path fill="none" stroke="#000000" d="M2704,-941.3288C2704,-936.6736 2704,-929.9097 2704,-924 2704,-924 2704,-924 2704,-733.5 2704,-731.1079 2704,-728.6252 2704,-726.1342"/>
<polygon fill="#000000" stroke="#000000" points="2707.5001,-726.0597 2704,-716.0598 2700.5001,-726.0598 2707.5001,-726.0597"/>
<text text-anchor="middle" x="2705.3895" y="-813" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _P_ComboStepMaximality_InternalEventDeducer_TakeMany -->
<g id="node18" class="node">
<title>_P_ComboStepMaximality_InternalEventDeducer_TakeMany</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="2743,-68 2665,-68 2665,-32 2743,-32 2743,-68"/>
<text text-anchor="start" x="2675.9956" y="-46.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">TakeMany</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M2677.3333,-33C2677.3333,-33 2730.6667,-33 2730.6667,-33 2736.3333,-33 2742,-38.6667 2742,-44.3333 2742,-44.3333 2742,-55.6667 2742,-55.6667 2742,-61.3333 2736.3333,-67 2730.6667,-67 2730.6667,-67 2677.3333,-67 2677.3333,-67 2671.6667,-67 2666,-61.3333 2666,-55.6667 2666,-55.6667 2666,-44.3333 2666,-44.3333 2666,-38.6667 2671.6667,-33 2677.3333,-33"/>
</g>
<!-- _P_ComboStepMaximality_InternalEventDeducer_Syntactic -->
<g id="node19" class="node">
<title>_P_ComboStepMaximality_InternalEventDeducer_Syntactic</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="2746,-274 2662,-274 2662,-238 2746,-238 2746,-274"/>
<text text-anchor="start" x="2672.992" y="-252.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Syntactic ✓</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M2674.3333,-239C2674.3333,-239 2733.6667,-239 2733.6667,-239 2739.3333,-239 2745,-244.6667 2745,-250.3333 2745,-250.3333 2745,-261.6667 2745,-261.6667 2745,-267.3333 2739.3333,-273 2733.6667,-273 2733.6667,-273 2674.3333,-273 2674.3333,-273 2668.6667,-273 2663,-267.3333 2663,-261.6667 2663,-261.6667 2663,-250.3333 2663,-250.3333 2663,-244.6667 2668.6667,-239 2674.3333,-239"/>
</g>
<!-- _P_ComboStepMaximality_InternalEventDeducer_Syntactic&#45;&gt;_P_ComboStepMaximality_InternalEventDeducer_TakeMany -->
<g id="edge17" class="edge">
<title>_P_ComboStepMaximality_InternalEventDeducer_Syntactic&#45;&gt;_P_ComboStepMaximality_InternalEventDeducer_TakeMany</title>
<path fill="none" stroke="#000000" d="M2704,-237.8863C2704,-228.0162 2704,-215.5868 2704,-204.5 2704,-204.5 2704,-204.5 2704,-85.5 2704,-83.1079 2704,-80.6252 2704,-78.1342"/>
<polygon fill="#000000" stroke="#000000" points="2707.5001,-78.0597 2704,-68.0598 2700.5001,-78.0598 2707.5001,-78.0597"/>
<text text-anchor="start" x="2704" y="-142" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">internal0 &#160;&#160;</text>
</g>
<!-- _P_ComboStepMaximality_InternalEventDeducer_TakeOne -->
<g id="node20" class="node">
<title>_P_ComboStepMaximality_InternalEventDeducer_TakeOne</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="2739.5,-472 2668.5,-472 2668.5,-436 2739.5,-436 2739.5,-472"/>
<text text-anchor="start" x="2679.8256" y="-450.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">TakeOne</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M2680.8333,-437C2680.8333,-437 2727.1667,-437 2727.1667,-437 2732.8333,-437 2738.5,-442.6667 2738.5,-448.3333 2738.5,-448.3333 2738.5,-459.6667 2738.5,-459.6667 2738.5,-465.3333 2732.8333,-471 2727.1667,-471 2727.1667,-471 2680.8333,-471 2680.8333,-471 2675.1667,-471 2669.5,-465.3333 2669.5,-459.6667 2669.5,-459.6667 2669.5,-448.3333 2669.5,-448.3333 2669.5,-442.6667 2675.1667,-437 2680.8333,-437"/>
</g>
<!-- _P_ComboStepMaximality_InternalEventDeducer_TakeOne&#45;&gt;_P_ComboStepMaximality_InternalEventDeducer_Syntactic -->
<g id="edge18" class="edge">
<title>_P_ComboStepMaximality_InternalEventDeducer_TakeOne&#45;&gt;_P_ComboStepMaximality_InternalEventDeducer_Syntactic</title>
<path fill="none" stroke="#000000" d="M2704,-435.7983C2704,-428.007 2704,-418.8073 2704,-410.5 2704,-410.5 2704,-410.5 2704,-291.5 2704,-289.1079 2704,-286.6252 2704,-284.1342"/>
<polygon fill="#000000" stroke="#000000" points="2707.5001,-284.0597 2704,-274.0598 2700.5001,-284.0598 2707.5001,-284.0597"/>
<text text-anchor="start" x="2704" y="-348" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">internal0 &#160;&#160;</text>
</g>
<!-- _P_ComboStepMaximality_InternalEventDeducer_Initial&#45;&gt;_P_ComboStepMaximality_InternalEventDeducer_TakeOne -->
<g id="edge19" class="edge">
<title>_P_ComboStepMaximality_InternalEventDeducer_Initial&#45;&gt;_P_ComboStepMaximality_InternalEventDeducer_TakeOne</title>
<path fill="none" stroke="#000000" d="M2704,-679.9402C2704,-674.3497 2704,-668.1701 2704,-662.5 2704,-662.5 2704,-662.5 2704,-489.5 2704,-487.1079 2704,-484.6252 2704,-482.1342"/>
<polygon fill="#000000" stroke="#000000" points="2707.5001,-482.0597 2704,-472.0598 2700.5001,-482.0598 2707.5001,-482.0597"/>
<text text-anchor="start" x="2704" y="-577" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">internal0 &#160;&#160;</text>
</g>
<!-- _P_ComboStepMaximality_InputEventDeducer -->
<!-- _P_ComboStepMaximality_InputEventDeducer_initial -->
<g id="node23" class="node">
<title>_P_ComboStepMaximality_InputEventDeducer_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="2567" cy="-947" rx="5.5" ry="5.5"/>
</g>
<!-- _P_ComboStepMaximality_InputEventDeducer_Initial -->
<g id="node27" class="node">
<title>_P_ComboStepMaximality_InputEventDeducer_Initial</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="2595,-716 2539,-716 2539,-680 2595,-680 2595,-716"/>
<text text-anchor="start" x="2553.0002" y="-694.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Initial</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M2551.3333,-681C2551.3333,-681 2582.6667,-681 2582.6667,-681 2588.3333,-681 2594,-686.6667 2594,-692.3333 2594,-692.3333 2594,-703.6667 2594,-703.6667 2594,-709.3333 2588.3333,-715 2582.6667,-715 2582.6667,-715 2551.3333,-715 2551.3333,-715 2545.6667,-715 2540,-709.3333 2540,-703.6667 2540,-703.6667 2540,-692.3333 2540,-692.3333 2540,-686.6667 2545.6667,-681 2551.3333,-681"/>
</g>
<!-- _P_ComboStepMaximality_InputEventDeducer_initial&#45;&gt;_P_ComboStepMaximality_InputEventDeducer_Initial -->
<g id="edge20" class="edge">
<title>_P_ComboStepMaximality_InputEventDeducer_initial&#45;&gt;_P_ComboStepMaximality_InputEventDeducer_Initial</title>
<path fill="none" stroke="#000000" d="M2567,-941.3288C2567,-936.6736 2567,-929.9097 2567,-924 2567,-924 2567,-924 2567,-733.5 2567,-731.1079 2567,-728.6252 2567,-726.1342"/>
<polygon fill="#000000" stroke="#000000" points="2570.5001,-726.0597 2567,-716.0598 2563.5001,-726.0598 2570.5001,-726.0597"/>
<text text-anchor="middle" x="2568.3895" y="-813" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _P_ComboStepMaximality_InputEventDeducer_TakeMany -->
<g id="node24" class="node">
<title>_P_ComboStepMaximality_InputEventDeducer_TakeMany</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="2606,-68 2528,-68 2528,-32 2606,-32 2606,-68"/>
<text text-anchor="start" x="2538.9956" y="-46.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">TakeMany</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M2540.3333,-33C2540.3333,-33 2593.6667,-33 2593.6667,-33 2599.3333,-33 2605,-38.6667 2605,-44.3333 2605,-44.3333 2605,-55.6667 2605,-55.6667 2605,-61.3333 2599.3333,-67 2593.6667,-67 2593.6667,-67 2540.3333,-67 2540.3333,-67 2534.6667,-67 2529,-61.3333 2529,-55.6667 2529,-55.6667 2529,-44.3333 2529,-44.3333 2529,-38.6667 2534.6667,-33 2540.3333,-33"/>
</g>
<!-- _P_ComboStepMaximality_InputEventDeducer_Syntactic -->
<g id="node25" class="node">
<title>_P_ComboStepMaximality_InputEventDeducer_Syntactic</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="2609,-274 2525,-274 2525,-238 2609,-238 2609,-274"/>
<text text-anchor="start" x="2535.992" y="-252.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Syntactic ✓</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M2537.3333,-239C2537.3333,-239 2596.6667,-239 2596.6667,-239 2602.3333,-239 2608,-244.6667 2608,-250.3333 2608,-250.3333 2608,-261.6667 2608,-261.6667 2608,-267.3333 2602.3333,-273 2596.6667,-273 2596.6667,-273 2537.3333,-273 2537.3333,-273 2531.6667,-273 2526,-267.3333 2526,-261.6667 2526,-261.6667 2526,-250.3333 2526,-250.3333 2526,-244.6667 2531.6667,-239 2537.3333,-239"/>
</g>
<!-- _P_ComboStepMaximality_InputEventDeducer_Syntactic&#45;&gt;_P_ComboStepMaximality_InputEventDeducer_TakeMany -->
<g id="edge21" class="edge">
<title>_P_ComboStepMaximality_InputEventDeducer_Syntactic&#45;&gt;_P_ComboStepMaximality_InputEventDeducer_TakeMany</title>
<path fill="none" stroke="#000000" d="M2567,-237.8863C2567,-228.0162 2567,-215.5868 2567,-204.5 2567,-204.5 2567,-204.5 2567,-85.5 2567,-83.1079 2567,-80.6252 2567,-78.1342"/>
<polygon fill="#000000" stroke="#000000" points="2570.5001,-78.0597 2567,-68.0598 2563.5001,-78.0598 2570.5001,-78.0597"/>
<text text-anchor="start" x="2567" y="-142" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">input0 &#160;&#160;</text>
</g>
<!-- _P_ComboStepMaximality_InputEventDeducer_TakeOne -->
<g id="node26" class="node">
<title>_P_ComboStepMaximality_InputEventDeducer_TakeOne</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="2602.5,-472 2531.5,-472 2531.5,-436 2602.5,-436 2602.5,-472"/>
<text text-anchor="start" x="2542.8256" y="-450.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">TakeOne</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M2543.8333,-437C2543.8333,-437 2590.1667,-437 2590.1667,-437 2595.8333,-437 2601.5,-442.6667 2601.5,-448.3333 2601.5,-448.3333 2601.5,-459.6667 2601.5,-459.6667 2601.5,-465.3333 2595.8333,-471 2590.1667,-471 2590.1667,-471 2543.8333,-471 2543.8333,-471 2538.1667,-471 2532.5,-465.3333 2532.5,-459.6667 2532.5,-459.6667 2532.5,-448.3333 2532.5,-448.3333 2532.5,-442.6667 2538.1667,-437 2543.8333,-437"/>
</g>
<!-- _P_ComboStepMaximality_InputEventDeducer_TakeOne&#45;&gt;_P_ComboStepMaximality_InputEventDeducer_Syntactic -->
<g id="edge22" class="edge">
<title>_P_ComboStepMaximality_InputEventDeducer_TakeOne&#45;&gt;_P_ComboStepMaximality_InputEventDeducer_Syntactic</title>
<path fill="none" stroke="#000000" d="M2567,-435.7983C2567,-428.007 2567,-418.8073 2567,-410.5 2567,-410.5 2567,-410.5 2567,-291.5 2567,-289.1079 2567,-286.6252 2567,-284.1342"/>
<polygon fill="#000000" stroke="#000000" points="2570.5001,-284.0597 2567,-274.0598 2563.5001,-284.0598 2570.5001,-284.0597"/>
<text text-anchor="start" x="2567" y="-348" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">input0 &#160;&#160;</text>
</g>
<!-- _P_ComboStepMaximality_InputEventDeducer_Initial&#45;&gt;_P_ComboStepMaximality_InputEventDeducer_TakeOne -->
<g id="edge23" class="edge">
<title>_P_ComboStepMaximality_InputEventDeducer_Initial&#45;&gt;_P_ComboStepMaximality_InputEventDeducer_TakeOne</title>
<path fill="none" stroke="#000000" d="M2567,-679.9402C2567,-674.3497 2567,-668.1701 2567,-662.5 2567,-662.5 2567,-662.5 2567,-489.5 2567,-487.1079 2567,-484.6252 2567,-482.1342"/>
<polygon fill="#000000" stroke="#000000" points="2570.5001,-482.0597 2567,-472.0598 2563.5001,-482.0598 2570.5001,-482.0597"/>
<text text-anchor="start" x="2567" y="-577" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">input0 &#160;&#160;</text>
</g>
<!-- _P_Priority -->
<!-- _P_Priority_initial -->
<g id="node29" class="node">
<title>_P_Priority_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="2363" cy="-947" rx="5.5" ry="5.5"/>
</g>
<!-- _P_Priority_Composite -->
<!-- _P_Priority_initial&#45;&gt;_P_Priority_Composite -->
<g id="edge24" class="edge">
<title>_P_Priority_initial&#45;&gt;_P_Priority_Composite</title>
<path fill="none" stroke="#000000" d="M2363,-941.3288C2363,-936.6736 2363,-929.9097 2363,-924 2363,-924 2363,-924 2363,-877 2363,-874.6116 2363,-872.1707 2363,-869.7049"/>
<polygon fill="#000000" stroke="#000000" points="2366.5001,-869.4997 2363,-859.4997 2359.5001,-869.4997 2366.5001,-869.4997"/>
<text text-anchor="middle" x="2364.3895" y="-897.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _P_Priority_SourceChild -->
<g id="node30" class="node">
<title>_P_Priority_SourceChild</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="2378.5,-472 2291.5,-472 2291.5,-436 2378.5,-436 2378.5,-472"/>
<text text-anchor="start" x="2302.83" y="-450.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">SourceChild</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M2303.8333,-437C2303.8333,-437 2366.1667,-437 2366.1667,-437 2371.8333,-437 2377.5,-442.6667 2377.5,-448.3333 2377.5,-448.3333 2377.5,-459.6667 2377.5,-459.6667 2377.5,-465.3333 2371.8333,-471 2366.1667,-471 2366.1667,-471 2303.8333,-471 2303.8333,-471 2298.1667,-471 2292.5,-465.3333 2292.5,-459.6667 2292.5,-459.6667 2292.5,-448.3333 2292.5,-448.3333 2292.5,-442.6667 2298.1667,-437 2303.8333,-437"/>
</g>
<!-- _P_Priority_SourceParent -->
<g id="node31" class="node">
<title>_P_Priority_SourceParent</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="2474.5,-716 2379.5,-716 2379.5,-680 2474.5,-680 2474.5,-716"/>
<text text-anchor="start" x="2390.8226" y="-694.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">SourceParent</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M2391.8333,-681C2391.8333,-681 2462.1667,-681 2462.1667,-681 2467.8333,-681 2473.5,-686.6667 2473.5,-692.3333 2473.5,-692.3333 2473.5,-703.6667 2473.5,-703.6667 2473.5,-709.3333 2467.8333,-715 2462.1667,-715 2462.1667,-715 2391.8333,-715 2391.8333,-715 2386.1667,-715 2380.5,-709.3333 2380.5,-703.6667 2380.5,-703.6667 2380.5,-692.3333 2380.5,-692.3333 2380.5,-686.6667 2386.1667,-681 2391.8333,-681"/>
</g>
<!-- _P_Priority_Composite&#45;&gt;_P_Priority_SourceParent -->
<g id="edge27" class="edge">
<title>_P_Priority_Composite&#45;&gt;_P_Priority_SourceParent</title>
<path fill="none" stroke="#000000" d="M2370.9978,-813.0921C2382.6707,-808.2721 2403,-797.4453 2403,-780.5 2403,-780.5 2403,-780.5 2403,-733.5 2403,-730.6683 2403.5305,-727.8939 2404.4339,-725.2224"/>
<polygon fill="#000000" stroke="#000000" points="2407.6681,-726.5824 2409.0562,-716.0789 2401.421,-723.4243 2407.6681,-726.5824"/>
<text text-anchor="middle" x="2404.3895" y="-754" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _P_Priority_Composite_initial -->
<g id="node33" class="node">
<title>_P_Priority_Composite_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="2335" cy="-816" rx="5.5" ry="5.5"/>
</g>
<!-- _P_Priority_Composite_Basic -->
<g id="node34" class="node">
<title>_P_Priority_Composite_Basic</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="2363,-598 2307,-598 2307,-562 2363,-562 2363,-598"/>
<text text-anchor="start" x="2320.3318" y="-576.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Basic</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M2319.3333,-563C2319.3333,-563 2350.6667,-563 2350.6667,-563 2356.3333,-563 2362,-568.6667 2362,-574.3333 2362,-574.3333 2362,-585.6667 2362,-585.6667 2362,-591.3333 2356.3333,-597 2350.6667,-597 2350.6667,-597 2319.3333,-597 2319.3333,-597 2313.6667,-597 2308,-591.3333 2308,-585.6667 2308,-585.6667 2308,-574.3333 2308,-574.3333 2308,-568.6667 2313.6667,-563 2319.3333,-563"/>
</g>
<!-- _P_Priority_Composite_initial&#45;&gt;_P_Priority_Composite_Basic -->
<g id="edge25" class="edge">
<title>_P_Priority_Composite_initial&#45;&gt;_P_Priority_Composite_Basic</title>
<path fill="none" stroke="#000000" d="M2335,-810.4659C2335,-803.482 2335,-791.1007 2335,-780.5 2335,-780.5 2335,-780.5 2335,-615.5 2335,-613.1079 2335,-610.6252 2335,-608.1342"/>
<polygon fill="#000000" stroke="#000000" points="2338.5001,-608.0597 2335,-598.0598 2331.5001,-608.0598 2338.5001,-608.0597"/>
<text text-anchor="middle" x="2336.3895" y="-695" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _P_Priority_Composite_Basic&#45;&gt;_P_Priority_SourceChild -->
<g id="edge26" class="edge">
<title>_P_Priority_Composite_Basic&#45;&gt;_P_Priority_SourceChild</title>
<path fill="none" stroke="#000000" d="M2335,-561.7983C2335,-554.007 2335,-544.8073 2335,-536.5 2335,-536.5 2335,-536.5 2335,-489.5 2335,-487.1079 2335,-484.6252 2335,-482.1342"/>
<polygon fill="#000000" stroke="#000000" points="2338.5001,-482.0597 2335,-472.0598 2331.5001,-482.0598 2338.5001,-482.0597"/>
<text text-anchor="middle" x="2336.3895" y="-510" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _P_MemoryProtocol -->
<!-- _P_MemoryProtocol_MemoryProtocol -->
<!-- _P_MemoryProtocol_MemoryProtocol_initial -->
<g id="node37" class="node">
<title>_P_MemoryProtocol_MemoryProtocol_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="2155" cy="-947" rx="5.5" ry="5.5"/>
</g>
<!-- _P_MemoryProtocol_MemoryProtocol_Initial -->
<g id="node41" class="node">
<title>_P_MemoryProtocol_MemoryProtocol_Initial</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="2183,-716 2127,-716 2127,-680 2183,-680 2183,-716"/>
<text text-anchor="start" x="2141.0002" y="-694.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Initial</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M2139.3333,-681C2139.3333,-681 2170.6667,-681 2170.6667,-681 2176.3333,-681 2182,-686.6667 2182,-692.3333 2182,-692.3333 2182,-703.6667 2182,-703.6667 2182,-709.3333 2176.3333,-715 2170.6667,-715 2170.6667,-715 2139.3333,-715 2139.3333,-715 2133.6667,-715 2128,-709.3333 2128,-703.6667 2128,-703.6667 2128,-692.3333 2128,-692.3333 2128,-686.6667 2133.6667,-681 2139.3333,-681"/>
</g>
<!-- _P_MemoryProtocol_MemoryProtocol_initial&#45;&gt;_P_MemoryProtocol_MemoryProtocol_Initial -->
<g id="edge28" class="edge">
<title>_P_MemoryProtocol_MemoryProtocol_initial&#45;&gt;_P_MemoryProtocol_MemoryProtocol_Initial</title>
<path fill="none" stroke="#000000" d="M2155,-941.3288C2155,-936.6736 2155,-929.9097 2155,-924 2155,-924 2155,-924 2155,-733.5 2155,-731.1079 2155,-728.6252 2155,-726.1342"/>
<polygon fill="#000000" stroke="#000000" points="2158.5001,-726.0597 2155,-716.0598 2151.5001,-726.0598 2158.5001,-726.0597"/>
<text text-anchor="middle" x="2156.3895" y="-813" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _P_MemoryProtocol_MemoryProtocol_SmallStep -->
<g id="node38" class="node">
<title>_P_MemoryProtocol_MemoryProtocol_SmallStep</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="2172,-472 2096,-472 2096,-436 2172,-436 2172,-472"/>
<text text-anchor="start" x="2106.6634" y="-450.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">SmallStep</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M2108.3333,-437C2108.3333,-437 2159.6667,-437 2159.6667,-437 2165.3333,-437 2171,-442.6667 2171,-448.3333 2171,-448.3333 2171,-459.6667 2171,-459.6667 2171,-465.3333 2165.3333,-471 2159.6667,-471 2159.6667,-471 2108.3333,-471 2108.3333,-471 2102.6667,-471 2097,-465.3333 2097,-459.6667 2097,-459.6667 2097,-448.3333 2097,-448.3333 2097,-442.6667 2102.6667,-437 2108.3333,-437"/>
</g>
<!-- _P_MemoryProtocol_MemoryProtocol_ComboStep -->
<g id="node39" class="node">
<title>_P_MemoryProtocol_MemoryProtocol_ComboStep</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="2257.5,-274 2172.5,-274 2172.5,-238 2257.5,-238 2257.5,-274"/>
<text text-anchor="start" x="2183.8254" y="-252.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">ComboStep</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M2184.8333,-239C2184.8333,-239 2245.1667,-239 2245.1667,-239 2250.8333,-239 2256.5,-244.6667 2256.5,-250.3333 2256.5,-250.3333 2256.5,-261.6667 2256.5,-261.6667 2256.5,-267.3333 2250.8333,-273 2245.1667,-273 2245.1667,-273 2184.8333,-273 2184.8333,-273 2179.1667,-273 2173.5,-267.3333 2173.5,-261.6667 2173.5,-261.6667 2173.5,-250.3333 2173.5,-250.3333 2173.5,-244.6667 2179.1667,-239 2184.8333,-239"/>
</g>
<!-- _P_MemoryProtocol_MemoryProtocol_BigStep -->
<g id="node40" class="node">
<title>_P_MemoryProtocol_MemoryProtocol_BigStep</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="2258,-472 2194,-472 2194,-436 2258,-436 2258,-472"/>
<text text-anchor="start" x="2204.9922" y="-450.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">BigStep</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M2206.3333,-437C2206.3333,-437 2245.6667,-437 2245.6667,-437 2251.3333,-437 2257,-442.6667 2257,-448.3333 2257,-448.3333 2257,-459.6667 2257,-459.6667 2257,-465.3333 2251.3333,-471 2245.6667,-471 2245.6667,-471 2206.3333,-471 2206.3333,-471 2200.6667,-471 2195,-465.3333 2195,-459.6667 2195,-459.6667 2195,-448.3333 2195,-448.3333 2195,-442.6667 2200.6667,-437 2206.3333,-437"/>
</g>
<!-- _P_MemoryProtocol_MemoryProtocol_BigStep&#45;&gt;_P_MemoryProtocol_MemoryProtocol_ComboStep -->
<g id="edge29" class="edge">
<title>_P_MemoryProtocol_MemoryProtocol_BigStep&#45;&gt;_P_MemoryProtocol_MemoryProtocol_ComboStep</title>
<path fill="none" stroke="#000000" d="M2219.2214,-435.6294C2216.9578,-427.9696 2215,-418.913 2215,-410.5 2215,-410.5 2215,-410.5 2215,-291.5 2215,-289.1079 2215,-286.6252 2215,-284.1342"/>
<polygon fill="#000000" stroke="#000000" points="2218.5001,-284.0597 2215,-274.0598 2211.5001,-284.0598 2218.5001,-284.0597"/>
<text text-anchor="start" x="2215" y="-348" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[x == 1] &#160;&#160;</text>
</g>
<!-- _P_MemoryProtocol_MemoryProtocol_Initial&#45;&gt;_P_MemoryProtocol_MemoryProtocol_SmallStep -->
<g id="edge30" class="edge">
<title>_P_MemoryProtocol_MemoryProtocol_Initial&#45;&gt;_P_MemoryProtocol_MemoryProtocol_SmallStep</title>
<path fill="none" stroke="#000000" d="M2136.0518,-679.6603C2132.565,-674.5449 2130,-668.6812 2130,-662.5 2130,-662.5 2130,-662.5 2130,-489.5 2130,-487.0928 2130.0919,-484.5995 2130.248,-482.1015"/>
<polygon fill="#000000" stroke="#000000" points="2133.7449,-482.2949 2131.1785,-472.0156 2126.7745,-481.6517 2133.7449,-482.2949"/>
<text text-anchor="start" x="2130" y="-577" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[x == 1] &#160;&#160;</text>
</g>
<!-- _P_MemoryProtocol_MemoryProtocol_Initial&#45;&gt;_P_MemoryProtocol_MemoryProtocol_BigStep -->
<g id="edge31" class="edge">
<title>_P_MemoryProtocol_MemoryProtocol_Initial&#45;&gt;_P_MemoryProtocol_MemoryProtocol_BigStep</title>
<path fill="none" stroke="#000000" d="M2183.0005,-692.7911C2199.0364,-688.0093 2216,-679.0417 2216,-662.5 2216,-662.5 2216,-662.5 2216,-489.5 2216,-487.0688 2216.22,-484.5779 2216.5947,-482.0985"/>
<polygon fill="#000000" stroke="#000000" points="2220.0518,-482.678 2218.8389,-472.1529 2213.2235,-481.1372 2220.0518,-482.678"/>
<text text-anchor="start" x="2216" y="-577" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[x == 0] &#160;&#160;</text>
</g>
<!-- _P_MemoryProtocol_RegionAssign -->
<!-- _P_MemoryProtocol_RegionAssign_initial -->
<g id="node43" class="node">
<title>_P_MemoryProtocol_RegionAssign_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="2030" cy="-947" rx="5.5" ry="5.5"/>
</g>
<!-- _P_MemoryProtocol_RegionAssign_Initial -->
<g id="node45" class="node">
<title>_P_MemoryProtocol_RegionAssign_Initial</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="2058,-716 2002,-716 2002,-680 2058,-680 2058,-716"/>
<text text-anchor="start" x="2016.0002" y="-694.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Initial</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M2014.3333,-681C2014.3333,-681 2045.6667,-681 2045.6667,-681 2051.3333,-681 2057,-686.6667 2057,-692.3333 2057,-692.3333 2057,-703.6667 2057,-703.6667 2057,-709.3333 2051.3333,-715 2045.6667,-715 2045.6667,-715 2014.3333,-715 2014.3333,-715 2008.6667,-715 2003,-709.3333 2003,-703.6667 2003,-703.6667 2003,-692.3333 2003,-692.3333 2003,-686.6667 2008.6667,-681 2014.3333,-681"/>
</g>
<!-- _P_MemoryProtocol_RegionAssign_initial&#45;&gt;_P_MemoryProtocol_RegionAssign_Initial -->
<g id="edge32" class="edge">
<title>_P_MemoryProtocol_RegionAssign_initial&#45;&gt;_P_MemoryProtocol_RegionAssign_Initial</title>
<path fill="none" stroke="#000000" d="M2030,-941.3288C2030,-936.6736 2030,-929.9097 2030,-924 2030,-924 2030,-924 2030,-733.5 2030,-731.1079 2030,-728.6252 2030,-726.1342"/>
<polygon fill="#000000" stroke="#000000" points="2033.5001,-726.0597 2030,-716.0598 2026.5001,-726.0598 2033.5001,-726.0597"/>
<text text-anchor="middle" x="2031.3895" y="-813" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _P_MemoryProtocol_RegionAssign_Assigned -->
<g id="node44" class="node">
<title>_P_MemoryProtocol_RegionAssign_Assigned</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="2065.5,-472 1994.5,-472 1994.5,-436 2065.5,-436 2065.5,-472"/>
<text text-anchor="start" x="2005.8256" y="-450.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Assigned</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M2006.8333,-437C2006.8333,-437 2053.1667,-437 2053.1667,-437 2058.8333,-437 2064.5,-442.6667 2064.5,-448.3333 2064.5,-448.3333 2064.5,-459.6667 2064.5,-459.6667 2064.5,-465.3333 2058.8333,-471 2053.1667,-471 2053.1667,-471 2006.8333,-471 2006.8333,-471 2001.1667,-471 1995.5,-465.3333 1995.5,-459.6667 1995.5,-459.6667 1995.5,-448.3333 1995.5,-448.3333 1995.5,-442.6667 2001.1667,-437 2006.8333,-437"/>
</g>
<!-- _P_MemoryProtocol_RegionAssign_Initial&#45;&gt;_P_MemoryProtocol_RegionAssign_Assigned -->
<g id="edge33" class="edge">
<title>_P_MemoryProtocol_RegionAssign_Initial&#45;&gt;_P_MemoryProtocol_RegionAssign_Assigned</title>
<path fill="none" stroke="#000000" d="M2030,-679.9402C2030,-674.3497 2030,-668.1701 2030,-662.5 2030,-662.5 2030,-662.5 2030,-489.5 2030,-487.1079 2030,-484.6252 2030,-482.1342"/>
<polygon fill="#000000" stroke="#000000" points="2033.5001,-482.0597 2030,-472.0598 2026.5001,-482.0598 2033.5001,-482.0597"/>
<text text-anchor="start" x="2030" y="-577" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">/x = 1 &#160;&#160;</text>
</g>
<!-- _P_InternalEventLifeline -->
<!-- _P_InternalEventLifeline_InternalEventLifeline -->
<!-- _P_InternalEventLifeline_InternalEventLifeline_initial -->
<g id="node48" class="node">
<title>_P_InternalEventLifeline_InternalEventLifeline_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="1363" cy="-947" rx="5.5" ry="5.5"/>
</g>
<!-- _P_InternalEventLifeline_InternalEventLifeline_Initial -->
<g id="node53" class="node">
<title>_P_InternalEventLifeline_InternalEventLifeline_Initial</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="1391,-716 1335,-716 1335,-680 1391,-680 1391,-716"/>
<text text-anchor="start" x="1349.0002" y="-694.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Initial</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M1347.3333,-681C1347.3333,-681 1378.6667,-681 1378.6667,-681 1384.3333,-681 1390,-686.6667 1390,-692.3333 1390,-692.3333 1390,-703.6667 1390,-703.6667 1390,-709.3333 1384.3333,-715 1378.6667,-715 1378.6667,-715 1347.3333,-715 1347.3333,-715 1341.6667,-715 1336,-709.3333 1336,-703.6667 1336,-703.6667 1336,-692.3333 1336,-692.3333 1336,-686.6667 1341.6667,-681 1347.3333,-681"/>
</g>
<!-- _P_InternalEventLifeline_InternalEventLifeline_initial&#45;&gt;_P_InternalEventLifeline_InternalEventLifeline_Initial -->
<g id="edge34" class="edge">
<title>_P_InternalEventLifeline_InternalEventLifeline_initial&#45;&gt;_P_InternalEventLifeline_InternalEventLifeline_Initial</title>
<path fill="none" stroke="#000000" d="M1363,-941.3288C1363,-936.6736 1363,-929.9097 1363,-924 1363,-924 1363,-924 1363,-733.5 1363,-731.1079 1363,-728.6252 1363,-726.1342"/>
<polygon fill="#000000" stroke="#000000" points="1366.5001,-726.0597 1363,-716.0598 1359.5001,-726.0598 1366.5001,-726.0597"/>
<text text-anchor="middle" x="1364.3895" y="-813" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _P_InternalEventLifeline_InternalEventLifeline_Queue -->
<g id="node49" class="node">
<title>_P_InternalEventLifeline_InternalEventLifeline_Queue</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="1712,-472 1654,-472 1654,-436 1712,-436 1712,-472"/>
<text text-anchor="start" x="1664.991" y="-450.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Queue</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M1666.3333,-437C1666.3333,-437 1699.6667,-437 1699.6667,-437 1705.3333,-437 1711,-442.6667 1711,-448.3333 1711,-448.3333 1711,-459.6667 1711,-459.6667 1711,-465.3333 1705.3333,-471 1699.6667,-471 1699.6667,-471 1666.3333,-471 1666.3333,-471 1660.6667,-471 1655,-465.3333 1655,-459.6667 1655,-459.6667 1655,-448.3333 1655,-448.3333 1655,-442.6667 1660.6667,-437 1666.3333,-437"/>
</g>
<!-- _P_InternalEventLifeline_InternalEventLifeline_NextComboStep -->
<g id="node50" class="node">
<title>_P_InternalEventLifeline_InternalEventLifeline_NextComboStep</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="1465,-274 1355,-274 1355,-238 1465,-238 1465,-274"/>
<text text-anchor="start" x="1365.9912" y="-252.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">NextComboStep</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M1367.3333,-239C1367.3333,-239 1452.6667,-239 1452.6667,-239 1458.3333,-239 1464,-244.6667 1464,-250.3333 1464,-250.3333 1464,-261.6667 1464,-261.6667 1464,-267.3333 1458.3333,-273 1452.6667,-273 1452.6667,-273 1367.3333,-273 1367.3333,-273 1361.6667,-273 1356,-267.3333 1356,-261.6667 1356,-261.6667 1356,-250.3333 1356,-250.3333 1356,-244.6667 1361.6667,-239 1367.3333,-239"/>
</g>
<!-- _P_InternalEventLifeline_InternalEventLifeline_Queue&#45;&gt;_P_InternalEventLifeline_InternalEventLifeline_NextComboStep -->
<g id="edge35" class="edge">
<title>_P_InternalEventLifeline_InternalEventLifeline_Queue&#45;&gt;_P_InternalEventLifeline_InternalEventLifeline_NextComboStep</title>
<path fill="none" stroke="#000000" d="M1653.7842,-452.3745C1583.3577,-448.0666 1410,-434.9768 1410,-410.5 1410,-410.5 1410,-410.5 1410,-291.5 1410,-289.1079 1410,-286.6252 1410,-284.1342"/>
<polygon fill="#000000" stroke="#000000" points="1413.5001,-284.0597 1410,-274.0598 1406.5001,-284.0598 1413.5001,-284.0597"/>
<text text-anchor="start" x="1410" y="-348" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[INSTATE([&quot;/P/InternalEventLifeline/RegionReceive1/GotEvent&quot;,&quot;/P/InternalEventLifeline/RegionReceive2/GotEvent&quot;])] &#160;&#160;</text>
</g>
<!-- _P_InternalEventLifeline_InternalEventLifeline_Remainder -->
<g id="node51" class="node">
<title>_P_InternalEventLifeline_InternalEventLifeline_Remainder</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="1403,-472 1323,-472 1323,-436 1403,-436 1403,-472"/>
<text text-anchor="start" x="1333.6654" y="-450.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Remainder</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M1335.3333,-437C1335.3333,-437 1390.6667,-437 1390.6667,-437 1396.3333,-437 1402,-442.6667 1402,-448.3333 1402,-448.3333 1402,-459.6667 1402,-459.6667 1402,-465.3333 1396.3333,-471 1390.6667,-471 1390.6667,-471 1335.3333,-471 1335.3333,-471 1329.6667,-471 1324,-465.3333 1324,-459.6667 1324,-459.6667 1324,-448.3333 1324,-448.3333 1324,-442.6667 1329.6667,-437 1335.3333,-437"/>
</g>
<!-- _P_InternalEventLifeline_InternalEventLifeline_NextSmallStep -->
<g id="node52" class="node">
<title>_P_InternalEventLifeline_InternalEventLifeline_NextSmallStep</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="775.5,-472 674.5,-472 674.5,-436 775.5,-436 775.5,-472"/>
<text text-anchor="start" x="685.8292" y="-450.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">NextSmallStep</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M686.8333,-437C686.8333,-437 763.1667,-437 763.1667,-437 768.8333,-437 774.5,-442.6667 774.5,-448.3333 774.5,-448.3333 774.5,-459.6667 774.5,-459.6667 774.5,-465.3333 768.8333,-471 763.1667,-471 763.1667,-471 686.8333,-471 686.8333,-471 681.1667,-471 675.5,-465.3333 675.5,-459.6667 675.5,-459.6667 675.5,-448.3333 675.5,-448.3333 675.5,-442.6667 681.1667,-437 686.8333,-437"/>
</g>
<!-- _P_InternalEventLifeline_InternalEventLifeline_Initial&#45;&gt;_P_InternalEventLifeline_InternalEventLifeline_Queue -->
<g id="edge38" class="edge">
<title>_P_InternalEventLifeline_InternalEventLifeline_Initial&#45;&gt;_P_InternalEventLifeline_InternalEventLifeline_Queue</title>
<path fill="none" stroke="#000000" d="M1391.1716,-697.755C1506.8149,-696.5674 1939,-690.2713 1939,-662.5 1939,-662.5 1939,-662.5 1939,-489.5 1939,-467.9029 1794.202,-458.7117 1722.404,-455.4817"/>
<polygon fill="#000000" stroke="#000000" points="1722.5084,-451.9831 1712.3665,-455.0477 1722.2059,-458.9765 1722.5084,-451.9831"/>
<text text-anchor="middle" x="1940.3895" y="-577" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _P_InternalEventLifeline_InternalEventLifeline_Initial&#45;&gt;_P_InternalEventLifeline_InternalEventLifeline_Remainder -->
<g id="edge37" class="edge">
<title>_P_InternalEventLifeline_InternalEventLifeline_Initial&#45;&gt;_P_InternalEventLifeline_InternalEventLifeline_Remainder</title>
<path fill="none" stroke="#000000" d="M1363,-679.9402C1363,-674.3497 1363,-668.1701 1363,-662.5 1363,-662.5 1363,-662.5 1363,-489.5 1363,-487.1079 1363,-484.6252 1363,-482.1342"/>
<polygon fill="#000000" stroke="#000000" points="1366.5001,-482.0597 1363,-472.0598 1359.5001,-482.0598 1366.5001,-482.0597"/>
<text text-anchor="start" x="1363" y="-577" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[INSTATE([&quot;/P/InternalEventLifeline/RegionReceive1/GotEvent&quot;,&quot;/P/InternalEventLifeline/RegionReceive2/GotEvent&quot;])] &#160;&#160;</text>
</g>
<!-- _P_InternalEventLifeline_InternalEventLifeline_Initial&#45;&gt;_P_InternalEventLifeline_InternalEventLifeline_NextSmallStep -->
<g id="edge36" class="edge">
<title>_P_InternalEventLifeline_InternalEventLifeline_Initial&#45;&gt;_P_InternalEventLifeline_InternalEventLifeline_NextSmallStep</title>
<path fill="none" stroke="#000000" d="M1334.7659,-697.2473C1207.8124,-693.7719 696,-678.7529 696,-662.5 696,-662.5 696,-662.5 696,-489.5 696,-486.5157 696.6223,-483.6439 697.6845,-480.9158"/>
<polygon fill="#000000" stroke="#000000" points="700.7285,-482.6436 702.7261,-472.2387 694.6759,-479.1269 700.7285,-482.6436"/>
<text text-anchor="start" x="696" y="-577" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[INSTATE([&quot;/P/InternalEventLifeline/RegionReceive1/GotEvent&quot;]) and not INSTATE([&quot;/P/InternalEventLifeline/RegionReceive2/GotEvent&quot;])] &#160;&#160;</text>
</g>
<!-- _P_InternalEventLifeline_RegionReceive2 -->
<!-- _P_InternalEventLifeline_RegionReceive2_initial -->
<g id="node55" class="node">
<title>_P_InternalEventLifeline_RegionReceive2_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="596" cy="-947" rx="5.5" ry="5.5"/>
</g>
<!-- _P_InternalEventLifeline_RegionReceive2_Initial -->
<g id="node57" class="node">
<title>_P_InternalEventLifeline_RegionReceive2_Initial</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="624,-716 568,-716 568,-680 624,-680 624,-716"/>
<text text-anchor="start" x="582.0002" y="-694.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Initial</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M580.3333,-681C580.3333,-681 611.6667,-681 611.6667,-681 617.3333,-681 623,-686.6667 623,-692.3333 623,-692.3333 623,-703.6667 623,-703.6667 623,-709.3333 617.3333,-715 611.6667,-715 611.6667,-715 580.3333,-715 580.3333,-715 574.6667,-715 569,-709.3333 569,-703.6667 569,-703.6667 569,-692.3333 569,-692.3333 569,-686.6667 574.6667,-681 580.3333,-681"/>
</g>
<!-- _P_InternalEventLifeline_RegionReceive2_initial&#45;&gt;_P_InternalEventLifeline_RegionReceive2_Initial -->
<g id="edge39" class="edge">
<title>_P_InternalEventLifeline_RegionReceive2_initial&#45;&gt;_P_InternalEventLifeline_RegionReceive2_Initial</title>
<path fill="none" stroke="#000000" d="M596,-941.3288C596,-936.6736 596,-929.9097 596,-924 596,-924 596,-924 596,-733.5 596,-731.1079 596,-728.6252 596,-726.1342"/>
<polygon fill="#000000" stroke="#000000" points="599.5001,-726.0597 596,-716.0598 592.5001,-726.0598 599.5001,-726.0597"/>
<text text-anchor="middle" x="597.3895" y="-813" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _P_InternalEventLifeline_RegionReceive2_GotEvent -->
<g id="node56" class="node">
<title>_P_InternalEventLifeline_RegionReceive2_GotEvent</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="632,-472 560,-472 560,-436 632,-436 632,-472"/>
<text text-anchor="start" x="570.9902" y="-450.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">GotEvent</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M572.3333,-437C572.3333,-437 619.6667,-437 619.6667,-437 625.3333,-437 631,-442.6667 631,-448.3333 631,-448.3333 631,-459.6667 631,-459.6667 631,-465.3333 625.3333,-471 619.6667,-471 619.6667,-471 572.3333,-471 572.3333,-471 566.6667,-471 561,-465.3333 561,-459.6667 561,-459.6667 561,-448.3333 561,-448.3333 561,-442.6667 566.6667,-437 572.3333,-437"/>
</g>
<!-- _P_InternalEventLifeline_RegionReceive2_Initial&#45;&gt;_P_InternalEventLifeline_RegionReceive2_GotEvent -->
<g id="edge40" class="edge">
<title>_P_InternalEventLifeline_RegionReceive2_Initial&#45;&gt;_P_InternalEventLifeline_RegionReceive2_GotEvent</title>
<path fill="none" stroke="#000000" d="M596,-679.9402C596,-674.3497 596,-668.1701 596,-662.5 596,-662.5 596,-662.5 596,-489.5 596,-487.1079 596,-484.6252 596,-482.1342"/>
<polygon fill="#000000" stroke="#000000" points="599.5001,-482.0597 596,-472.0598 592.5001,-482.0598 599.5001,-482.0597"/>
<text text-anchor="start" x="596" y="-577" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">internal0 &#160;&#160;</text>
</g>
<!-- _P_InternalEventLifeline_RegionReceive1 -->
<!-- _P_InternalEventLifeline_RegionReceive1_initial -->
<g id="node59" class="node">
<title>_P_InternalEventLifeline_RegionReceive1_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="476" cy="-947" rx="5.5" ry="5.5"/>
</g>
<!-- _P_InternalEventLifeline_RegionReceive1_Initial -->
<g id="node61" class="node">
<title>_P_InternalEventLifeline_RegionReceive1_Initial</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="504,-716 448,-716 448,-680 504,-680 504,-716"/>
<text text-anchor="start" x="462.0002" y="-694.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Initial</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M460.3333,-681C460.3333,-681 491.6667,-681 491.6667,-681 497.3333,-681 503,-686.6667 503,-692.3333 503,-692.3333 503,-703.6667 503,-703.6667 503,-709.3333 497.3333,-715 491.6667,-715 491.6667,-715 460.3333,-715 460.3333,-715 454.6667,-715 449,-709.3333 449,-703.6667 449,-703.6667 449,-692.3333 449,-692.3333 449,-686.6667 454.6667,-681 460.3333,-681"/>
</g>
<!-- _P_InternalEventLifeline_RegionReceive1_initial&#45;&gt;_P_InternalEventLifeline_RegionReceive1_Initial -->
<g id="edge41" class="edge">
<title>_P_InternalEventLifeline_RegionReceive1_initial&#45;&gt;_P_InternalEventLifeline_RegionReceive1_Initial</title>
<path fill="none" stroke="#000000" d="M476,-941.3288C476,-936.6736 476,-929.9097 476,-924 476,-924 476,-924 476,-733.5 476,-731.1079 476,-728.6252 476,-726.1342"/>
<polygon fill="#000000" stroke="#000000" points="479.5001,-726.0597 476,-716.0598 472.5001,-726.0598 479.5001,-726.0597"/>
<text text-anchor="middle" x="477.3895" y="-813" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _P_InternalEventLifeline_RegionReceive1_GotEvent -->
<g id="node60" class="node">
<title>_P_InternalEventLifeline_RegionReceive1_GotEvent</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="512,-472 440,-472 440,-436 512,-436 512,-472"/>
<text text-anchor="start" x="450.9902" y="-450.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">GotEvent</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M452.3333,-437C452.3333,-437 499.6667,-437 499.6667,-437 505.3333,-437 511,-442.6667 511,-448.3333 511,-448.3333 511,-459.6667 511,-459.6667 511,-465.3333 505.3333,-471 499.6667,-471 499.6667,-471 452.3333,-471 452.3333,-471 446.6667,-471 441,-465.3333 441,-459.6667 441,-459.6667 441,-448.3333 441,-448.3333 441,-442.6667 446.6667,-437 452.3333,-437"/>
</g>
<!-- _P_InternalEventLifeline_RegionReceive1_Initial&#45;&gt;_P_InternalEventLifeline_RegionReceive1_GotEvent -->
<g id="edge42" class="edge">
<title>_P_InternalEventLifeline_RegionReceive1_Initial&#45;&gt;_P_InternalEventLifeline_RegionReceive1_GotEvent</title>
<path fill="none" stroke="#000000" d="M476,-679.9402C476,-674.3497 476,-668.1701 476,-662.5 476,-662.5 476,-662.5 476,-489.5 476,-487.1079 476,-484.6252 476,-482.1342"/>
<polygon fill="#000000" stroke="#000000" points="479.5001,-482.0597 476,-472.0598 472.5001,-482.0598 479.5001,-482.0597"/>
<text text-anchor="start" x="476" y="-577" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">internal0 &#160;&#160;</text>
</g>
<!-- _P_InternalEventLifeline_RegionBroadcast -->
<!-- _P_InternalEventLifeline_RegionBroadcast_initial -->
<g id="node63" class="node">
<title>_P_InternalEventLifeline_RegionBroadcast_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="348" cy="-947" rx="5.5" ry="5.5"/>
</g>
<!-- _P_InternalEventLifeline_RegionBroadcast_Initial -->
<g id="node65" class="node">
<title>_P_InternalEventLifeline_RegionBroadcast_Initial</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="376,-716 320,-716 320,-680 376,-680 376,-716"/>
<text text-anchor="start" x="334.0002" y="-694.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Initial</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M332.3333,-681C332.3333,-681 363.6667,-681 363.6667,-681 369.3333,-681 375,-686.6667 375,-692.3333 375,-692.3333 375,-703.6667 375,-703.6667 375,-709.3333 369.3333,-715 363.6667,-715 363.6667,-715 332.3333,-715 332.3333,-715 326.6667,-715 321,-709.3333 321,-703.6667 321,-703.6667 321,-692.3333 321,-692.3333 321,-686.6667 326.6667,-681 332.3333,-681"/>
</g>
<!-- _P_InternalEventLifeline_RegionBroadcast_initial&#45;&gt;_P_InternalEventLifeline_RegionBroadcast_Initial -->
<g id="edge43" class="edge">
<title>_P_InternalEventLifeline_RegionBroadcast_initial&#45;&gt;_P_InternalEventLifeline_RegionBroadcast_Initial</title>
<path fill="none" stroke="#000000" d="M348,-941.3288C348,-936.6736 348,-929.9097 348,-924 348,-924 348,-924 348,-733.5 348,-731.1079 348,-728.6252 348,-726.1342"/>
<polygon fill="#000000" stroke="#000000" points="351.5001,-726.0597 348,-716.0598 344.5001,-726.0598 351.5001,-726.0597"/>
<text text-anchor="middle" x="349.3895" y="-813" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _P_InternalEventLifeline_RegionBroadcast_Done -->
<g id="node64" class="node">
<title>_P_InternalEventLifeline_RegionBroadcast_Done</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="376,-472 320,-472 320,-436 376,-436 376,-472"/>
<text text-anchor="start" x="333.6624" y="-450.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Done</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M332.3333,-437C332.3333,-437 363.6667,-437 363.6667,-437 369.3333,-437 375,-442.6667 375,-448.3333 375,-448.3333 375,-459.6667 375,-459.6667 375,-465.3333 369.3333,-471 363.6667,-471 363.6667,-471 332.3333,-471 332.3333,-471 326.6667,-471 321,-465.3333 321,-459.6667 321,-459.6667 321,-448.3333 321,-448.3333 321,-442.6667 326.6667,-437 332.3333,-437"/>
</g>
<!-- _P_InternalEventLifeline_RegionBroadcast_Initial&#45;&gt;_P_InternalEventLifeline_RegionBroadcast_Done -->
<g id="edge44" class="edge">
<title>_P_InternalEventLifeline_RegionBroadcast_Initial&#45;&gt;_P_InternalEventLifeline_RegionBroadcast_Done</title>
<path fill="none" stroke="#000000" d="M348,-679.9402C348,-674.3497 348,-668.1701 348,-662.5 348,-662.5 348,-662.5 348,-489.5 348,-487.1079 348,-484.6252 348,-482.1342"/>
<polygon fill="#000000" stroke="#000000" points="351.5001,-482.0597 348,-472.0598 344.5001,-482.0598 351.5001,-482.0597"/>
<text text-anchor="start" x="348" y="-577" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">^internal0 &#160;&#160;</text>
</g>
<!-- _P_InputEventLifeline -->
<!-- _P_InputEventLifeline_initial -->
<g id="node67" class="node">
<title>_P_InputEventLifeline_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="216" cy="-947" rx="5.5" ry="5.5"/>
</g>
<!-- _P_InputEventLifeline_FirstSmallStep -->
<g id="node70" class="node">
<title>_P_InputEventLifeline_FirstSmallStep</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="265.5,-834 166.5,-834 166.5,-798 265.5,-798 265.5,-834"/>
<text text-anchor="start" x="177.5018" y="-812.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">FirstSmallStep</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M178.8333,-799C178.8333,-799 253.1667,-799 253.1667,-799 258.8333,-799 264.5,-804.6667 264.5,-810.3333 264.5,-810.3333 264.5,-821.6667 264.5,-821.6667 264.5,-827.3333 258.8333,-833 253.1667,-833 253.1667,-833 178.8333,-833 178.8333,-833 173.1667,-833 167.5,-827.3333 167.5,-821.6667 167.5,-821.6667 167.5,-810.3333 167.5,-810.3333 167.5,-804.6667 173.1667,-799 178.8333,-799"/>
</g>
<!-- _P_InputEventLifeline_initial&#45;&gt;_P_InputEventLifeline_FirstSmallStep -->
<g id="edge45" class="edge">
<title>_P_InputEventLifeline_initial&#45;&gt;_P_InputEventLifeline_FirstSmallStep</title>
<path fill="none" stroke="#000000" d="M216,-941.3288C216,-936.6736 216,-929.9097 216,-924 216,-924 216,-924 216,-877 216,-866.3104 216,-854.5672 216,-844.263"/>
<polygon fill="#000000" stroke="#000000" points="219.5001,-844.1503 216,-834.1503 212.5001,-844.1504 219.5001,-844.1503"/>
<text text-anchor="middle" x="217.3895" y="-897.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _P_InputEventLifeline_FirstComboStep -->
<g id="node68" class="node">
<title>_P_InputEventLifeline_FirstComboStep</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="270,-598 162,-598 162,-562 270,-562 270,-598"/>
<text text-anchor="start" x="172.6638" y="-576.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">FirstComboStep</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M174.3333,-563C174.3333,-563 257.6667,-563 257.6667,-563 263.3333,-563 269,-568.6667 269,-574.3333 269,-574.3333 269,-585.6667 269,-585.6667 269,-591.3333 263.3333,-597 257.6667,-597 257.6667,-597 174.3333,-597 174.3333,-597 168.6667,-597 163,-591.3333 163,-585.6667 163,-585.6667 163,-574.3333 163,-574.3333 163,-568.6667 168.6667,-563 174.3333,-563"/>
</g>
<!-- _P_InputEventLifeline_Whole -->
<g id="node69" class="node">
<title>_P_InputEventLifeline_Whole</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="244,-716 188,-716 188,-680 244,-680 244,-716"/>
<text text-anchor="start" x="198.999" y="-694.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Whole</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M200.3333,-681C200.3333,-681 231.6667,-681 231.6667,-681 237.3333,-681 243,-686.6667 243,-692.3333 243,-692.3333 243,-703.6667 243,-703.6667 243,-709.3333 237.3333,-715 231.6667,-715 231.6667,-715 200.3333,-715 200.3333,-715 194.6667,-715 189,-709.3333 189,-703.6667 189,-703.6667 189,-692.3333 189,-692.3333 189,-686.6667 194.6667,-681 200.3333,-681"/>
</g>
<!-- _P_InputEventLifeline_Whole&#45;&gt;_P_InputEventLifeline_FirstComboStep -->
<g id="edge46" class="edge">
<title>_P_InputEventLifeline_Whole&#45;&gt;_P_InputEventLifeline_FirstComboStep</title>
<path fill="none" stroke="#000000" d="M216,-679.9402C216,-674.3497 216,-668.1701 216,-662.5 216,-662.5 216,-662.5 216,-615.5 216,-613.1079 216,-610.6252 216,-608.1342"/>
<polygon fill="#000000" stroke="#000000" points="219.5001,-608.0597 216,-598.0598 212.5001,-608.0598 219.5001,-608.0597"/>
<text text-anchor="start" x="216" y="-636" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">¬input0 &#160;&#160;</text>
</g>
<!-- _P_InputEventLifeline_FirstSmallStep&#45;&gt;_P_InputEventLifeline_Whole -->
<g id="edge47" class="edge">
<title>_P_InputEventLifeline_FirstSmallStep&#45;&gt;_P_InputEventLifeline_Whole</title>
<path fill="none" stroke="#000000" d="M216,-797.9402C216,-792.3497 216,-786.1701 216,-780.5 216,-780.5 216,-780.5 216,-733.5 216,-731.1079 216,-728.6252 216,-726.1342"/>
<polygon fill="#000000" stroke="#000000" points="219.5001,-726.0597 216,-716.0598 212.5001,-726.0598 219.5001,-726.0597"/>
<text text-anchor="start" x="216" y="-754" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">input0 &#160;&#160;</text>
</g>
<!-- _P_BigStepMaximality -->
<!-- _P_BigStepMaximality_initial -->
<g id="node72" class="node">
<title>_P_BigStepMaximality_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="83" cy="-947" rx="5.5" ry="5.5"/>
</g>
<!-- _P_BigStepMaximality_Initial -->
<g id="node76" class="node">
<title>_P_BigStepMaximality_Initial</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="111,-834 55,-834 55,-798 111,-798 111,-834"/>
<text text-anchor="start" x="69.0002" y="-812.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Initial</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M67.3333,-799C67.3333,-799 98.6667,-799 98.6667,-799 104.3333,-799 110,-804.6667 110,-810.3333 110,-810.3333 110,-821.6667 110,-821.6667 110,-827.3333 104.3333,-833 98.6667,-833 98.6667,-833 67.3333,-833 67.3333,-833 61.6667,-833 56,-827.3333 56,-821.6667 56,-821.6667 56,-810.3333 56,-810.3333 56,-804.6667 61.6667,-799 67.3333,-799"/>
</g>
<!-- _P_BigStepMaximality_initial&#45;&gt;_P_BigStepMaximality_Initial -->
<g id="edge48" class="edge">
<title>_P_BigStepMaximality_initial&#45;&gt;_P_BigStepMaximality_Initial</title>
<path fill="none" stroke="#000000" d="M83,-941.3288C83,-936.6736 83,-929.9097 83,-924 83,-924 83,-924 83,-877 83,-866.3104 83,-854.5672 83,-844.263"/>
<polygon fill="#000000" stroke="#000000" points="86.5001,-844.1503 83,-834.1503 79.5001,-844.1504 86.5001,-844.1503"/>
<text text-anchor="middle" x="84.3895" y="-897.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _P_BigStepMaximality_TakeMany -->
<g id="node73" class="node">
<title>_P_BigStepMaximality_TakeMany</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="122,-472 44,-472 44,-436 122,-436 122,-472"/>
<text text-anchor="start" x="54.9956" y="-450.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">TakeMany</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M56.3333,-437C56.3333,-437 109.6667,-437 109.6667,-437 115.3333,-437 121,-442.6667 121,-448.3333 121,-448.3333 121,-459.6667 121,-459.6667 121,-465.3333 115.3333,-471 109.6667,-471 109.6667,-471 56.3333,-471 56.3333,-471 50.6667,-471 45,-465.3333 45,-459.6667 45,-459.6667 45,-448.3333 45,-448.3333 45,-442.6667 50.6667,-437 56.3333,-437"/>
</g>
<!-- _P_BigStepMaximality_Syntactic -->
<g id="node74" class="node">
<title>_P_BigStepMaximality_Syntactic</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="125,-598 41,-598 41,-562 125,-562 125,-598"/>
<text text-anchor="start" x="51.992" y="-576.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Syntactic ✓</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M53.3333,-563C53.3333,-563 112.6667,-563 112.6667,-563 118.3333,-563 124,-568.6667 124,-574.3333 124,-574.3333 124,-585.6667 124,-585.6667 124,-591.3333 118.3333,-597 112.6667,-597 112.6667,-597 53.3333,-597 53.3333,-597 47.6667,-597 42,-591.3333 42,-585.6667 42,-585.6667 42,-574.3333 42,-574.3333 42,-568.6667 47.6667,-563 53.3333,-563"/>
</g>
<!-- _P_BigStepMaximality_Syntactic&#45;&gt;_P_BigStepMaximality_TakeMany -->
<g id="edge49" class="edge">
<title>_P_BigStepMaximality_Syntactic&#45;&gt;_P_BigStepMaximality_TakeMany</title>
<path fill="none" stroke="#000000" d="M83,-561.7983C83,-554.007 83,-544.8073 83,-536.5 83,-536.5 83,-536.5 83,-489.5 83,-487.1079 83,-484.6252 83,-482.1342"/>
<polygon fill="#000000" stroke="#000000" points="86.5001,-482.0597 83,-472.0598 79.5001,-482.0598 86.5001,-482.0597"/>
<text text-anchor="middle" x="84.3895" y="-510" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _P_BigStepMaximality_TakeOne -->
<g id="node75" class="node">
<title>_P_BigStepMaximality_TakeOne</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="118.5,-716 47.5,-716 47.5,-680 118.5,-680 118.5,-716"/>
<text text-anchor="start" x="58.8256" y="-694.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">TakeOne</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M59.8333,-681C59.8333,-681 106.1667,-681 106.1667,-681 111.8333,-681 117.5,-686.6667 117.5,-692.3333 117.5,-692.3333 117.5,-703.6667 117.5,-703.6667 117.5,-709.3333 111.8333,-715 106.1667,-715 106.1667,-715 59.8333,-715 59.8333,-715 54.1667,-715 48.5,-709.3333 48.5,-703.6667 48.5,-703.6667 48.5,-692.3333 48.5,-692.3333 48.5,-686.6667 54.1667,-681 59.8333,-681"/>
</g>
<!-- _P_BigStepMaximality_TakeOne&#45;&gt;_P_BigStepMaximality_Syntactic -->
<g id="edge50" class="edge">
<title>_P_BigStepMaximality_TakeOne&#45;&gt;_P_BigStepMaximality_Syntactic</title>
<path fill="none" stroke="#000000" d="M83,-679.9402C83,-674.3497 83,-668.1701 83,-662.5 83,-662.5 83,-662.5 83,-615.5 83,-613.1079 83,-610.6252 83,-608.1342"/>
<polygon fill="#000000" stroke="#000000" points="86.5001,-608.0597 83,-598.0598 79.5001,-608.0598 86.5001,-608.0597"/>
<text text-anchor="middle" x="84.3895" y="-636" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _P_BigStepMaximality_Initial&#45;&gt;_P_BigStepMaximality_TakeOne -->
<g id="edge51" class="edge">
<title>_P_BigStepMaximality_Initial&#45;&gt;_P_BigStepMaximality_TakeOne</title>
<path fill="none" stroke="#000000" d="M83,-797.9402C83,-792.3497 83,-786.1701 83,-780.5 83,-780.5 83,-780.5 83,-733.5 83,-731.1079 83,-728.6252 83,-726.1342"/>
<polygon fill="#000000" stroke="#000000" points="86.5001,-726.0597 83,-716.0598 79.5001,-726.0598 86.5001,-726.0597"/>
<text text-anchor="middle" x="84.3895" y="-754" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
</g>
</svg>