yakindu/test-plugins/org.yakindu.sct.test.models/testmodels/SCTUnit/NamedInterfaceAccess.sct

<?xml version="1.0" encoding="UTF-8"?>
<xmi:XMI xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:notation="http://www.eclipse.org/gmf/runtime/1.0.2/notation" xmlns:sgraph="http://www.yakindu.org/sct/sgraph/2.0.0">
  <sgraph:Statechart xmi:id="_Irb9AWx0EeK7IYWlCJtDsw" specification="interface Safe:&#xD;&#xA;out event open&#xD;&#xA;out event close&#xD;&#xA;&#xD;&#xA;&#xD;&#xA;interface User:&#xD;&#xA;in event numberPressed: integer&#xD;&#xA;in event reset&#xD;&#xA;&#xD;&#xA;internal:&#xD;&#xA;var number1 :integer = 3&#xD;&#xA;var number2 : integer  = 7&#xD;&#xA;var number3 : integer = 5&#xD;&#xA;&#xD;&#xA;" name="NamedInterfaceAccess">
    <regions xmi:id="_IsCZ8Gx0EeK7IYWlCJtDsw" name="region 1">
      <vertices xsi:type="sgraph:State" xmi:id="_DwndTGx-EeKceIpq-RYuRw" specification="entry / raise Safe.close" name="Idle" incomingTransitions="_DwndUGx-EeKceIpq-RYuRw _DwndWmx-EeKceIpq-RYuRw _DwndV2x-EeKceIpq-RYuRw _DwndU2x-EeKceIpq-RYuRw">
        <outgoingTransitions xmi:id="_DwndTWx-EeKceIpq-RYuRw" specification="User.numberPressed &#xD;&#xA;[valueof(User.numberPressed) == number1]" target="_DwndUWx-EeKceIpq-RYuRw"/>
      </vertices>
      <vertices xsi:type="sgraph:Entry" xmi:id="_DwndT2x-EeKceIpq-RYuRw">
        <outgoingTransitions xmi:id="_DwndUGx-EeKceIpq-RYuRw" specification="" target="_DwndTGx-EeKceIpq-RYuRw"/>
      </vertices>
      <vertices xsi:type="sgraph:State" xmi:id="_DwndUWx-EeKceIpq-RYuRw" specification="" name="Number1Pressed" incomingTransitions="_DwndTWx-EeKceIpq-RYuRw">
        <outgoingTransitions xmi:id="_DwndUmx-EeKceIpq-RYuRw" specification="User.numberPressed &#xD;&#xA;[valueof(User.numberPressed) == number2]" target="_DwndVWx-EeKceIpq-RYuRw"/>
        <outgoingTransitions xmi:id="_DwndU2x-EeKceIpq-RYuRw" specification="User.numberPressed" target="_DwndTGx-EeKceIpq-RYuRw"/>
      </vertices>
      <vertices xsi:type="sgraph:State" xmi:id="_DwndVWx-EeKceIpq-RYuRw" specification="" name="Number2Pressed" incomingTransitions="_DwndUmx-EeKceIpq-RYuRw">
        <outgoingTransitions xmi:id="_DwndVmx-EeKceIpq-RYuRw" specification="User.numberPressed &#xD;&#xA;[valueof(User.numberPressed) == number3]" target="_DwndWWx-EeKceIpq-RYuRw"/>
        <outgoingTransitions xmi:id="_DwndV2x-EeKceIpq-RYuRw" specification="User.numberPressed" target="_DwndTGx-EeKceIpq-RYuRw"/>
      </vertices>
      <vertices xsi:type="sgraph:State" xmi:id="_DwndWWx-EeKceIpq-RYuRw" specification="entry / raise Safe.open" name="Number3Pressed" incomingTransitions="_DwndVmx-EeKceIpq-RYuRw">
        <outgoingTransitions xmi:id="_DwndWmx-EeKceIpq-RYuRw" specification="User.numberPressed" target="_DwndTGx-EeKceIpq-RYuRw"/>
      </vertices>
    </regions>
    <regions xmi:id="_W81agGx-EeKceIpq-RYuRw">
      <vertices xsi:type="sgraph:State" xmi:id="_XYfbwGx-EeKceIpq-RYuRw" name="Closed" incomingTransitions="_asHIoGx-EeKceIpq-RYuRw _eDpsMGx-EeKceIpq-RYuRw">
        <outgoingTransitions xmi:id="_ZnitQGx-EeKceIpq-RYuRw" specification="Safe.open" target="_X9BFIGx-EeKceIpq-RYuRw"/>
      </vertices>
      <vertices xsi:type="sgraph:State" xmi:id="_X9BFIGx-EeKceIpq-RYuRw" name="Open" incomingTransitions="_ZnitQGx-EeKceIpq-RYuRw">
        <outgoingTransitions xmi:id="_asHIoGx-EeKceIpq-RYuRw" specification="Safe.close" target="_XYfbwGx-EeKceIpq-RYuRw"/>
      </vertices>
      <vertices xsi:type="sgraph:Entry" xmi:id="_dmkHkGx-EeKceIpq-RYuRw">
        <outgoingTransitions xmi:id="_eDpsMGx-EeKceIpq-RYuRw" specification="" target="_XYfbwGx-EeKceIpq-RYuRw"/>
      </vertices>
    </regions>
  </sgraph:Statechart>
  <notation:Diagram xmi:id="_Ir4o8Gx0EeK7IYWlCJtDsw" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_Irb9AWx0EeK7IYWlCJtDsw" measurementUnit="Pixel">
    <children xmi:id="_IsCZ8Wx0EeK7IYWlCJtDsw" type="Region" element="_IsCZ8Gx0EeK7IYWlCJtDsw">
      <children xsi:type="notation:DecorationNode" xmi:id="_IsVU4Gx0EeK7IYWlCJtDsw" type="RegionName">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_IsVU4Wx0EeK7IYWlCJtDsw"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_IsVU4mx0EeK7IYWlCJtDsw"/>
      </children>
      <children xsi:type="notation:Shape" xmi:id="_IsVU42x0EeK7IYWlCJtDsw" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
        <children xmi:id="_DwhWoWx-EeKceIpq-RYuRw" type="State" element="_DwndTGx-EeKceIpq-RYuRw">
          <children xsi:type="notation:DecorationNode" xmi:id="_DwhWomx-EeKceIpq-RYuRw" type="StateName">
            <styles xsi:type="notation:ShapeStyle" xmi:id="_DwhWo2x-EeKceIpq-RYuRw"/>
            <layoutConstraint xsi:type="notation:Location" xmi:id="_DwhWpGx-EeKceIpq-RYuRw"/>
          </children>
          <children xsi:type="notation:Compartment" xmi:id="_DwhWpWx-EeKceIpq-RYuRw" type="StateTextCompartment">
            <children xsi:type="notation:Shape" xmi:id="_DwhWpmx-EeKceIpq-RYuRw" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_DwhWp2x-EeKceIpq-RYuRw"/>
            </children>
          </children>
          <children xsi:type="notation:Compartment" xmi:id="_DwhWqGx-EeKceIpq-RYuRw" type="StateFigureCompartment"/>
          <styles xsi:type="notation:ShapeStyle" xmi:id="_DwhWqWx-EeKceIpq-RYuRw" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
          <styles xsi:type="notation:FontStyle" xmi:id="_DwhWqmx-EeKceIpq-RYuRw"/>
          <styles xsi:type="notation:BooleanValueStyle" xmi:id="_DwhWq2x-EeKceIpq-RYuRw" name="isHorizontal" booleanValue="true"/>
          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_DwhWrGx-EeKceIpq-RYuRw" x="244" y="34"/>
        </children>
        <children xmi:id="_DwhWrWx-EeKceIpq-RYuRw" type="Entry" element="_DwndT2x-EeKceIpq-RYuRw">
          <children xmi:id="_DwhWrmx-EeKceIpq-RYuRw" type="BorderItemLabelContainer">
            <children xsi:type="notation:DecorationNode" xmi:id="_DwhWr2x-EeKceIpq-RYuRw" type="BorderItemLabel">
              <styles xsi:type="notation:ShapeStyle" xmi:id="_DwhWsGx-EeKceIpq-RYuRw"/>
              <layoutConstraint xsi:type="notation:Location" xmi:id="_DwhWsWx-EeKceIpq-RYuRw"/>
            </children>
            <styles xsi:type="notation:ShapeStyle" xmi:id="_DwhWsmx-EeKceIpq-RYuRw" fontName="Verdana" lineColor="4210752"/>
            <layoutConstraint xsi:type="notation:Bounds" xmi:id="_DwhWs2x-EeKceIpq-RYuRw"/>
          </children>
          <styles xsi:type="notation:ShapeStyle" xmi:id="_DwhWtGx-EeKceIpq-RYuRw" fontName="Verdana" lineColor="4210752"/>
          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_DwhWtWx-EeKceIpq-RYuRw" x="319" y="9"/>
        </children>
        <children xmi:id="_DwhWtmx-EeKceIpq-RYuRw" type="State" element="_DwndUWx-EeKceIpq-RYuRw">
          <children xsi:type="notation:DecorationNode" xmi:id="_DwhWt2x-EeKceIpq-RYuRw" type="StateName">
            <styles xsi:type="notation:ShapeStyle" xmi:id="_DwhWuGx-EeKceIpq-RYuRw"/>
            <layoutConstraint xsi:type="notation:Location" xmi:id="_DwhWuWx-EeKceIpq-RYuRw"/>
          </children>
          <children xsi:type="notation:Compartment" xmi:id="_DwhWumx-EeKceIpq-RYuRw" type="StateTextCompartment">
            <children xsi:type="notation:Shape" xmi:id="_DwhWu2x-EeKceIpq-RYuRw" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_DwhWvGx-EeKceIpq-RYuRw"/>
            </children>
          </children>
          <children xsi:type="notation:Compartment" xmi:id="_DwhWvWx-EeKceIpq-RYuRw" type="StateFigureCompartment"/>
          <styles xsi:type="notation:ShapeStyle" xmi:id="_DwhWvmx-EeKceIpq-RYuRw" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
          <styles xsi:type="notation:FontStyle" xmi:id="_DwhWv2x-EeKceIpq-RYuRw"/>
          <styles xsi:type="notation:BooleanValueStyle" xmi:id="_DwhWwGx-EeKceIpq-RYuRw" name="isHorizontal" booleanValue="true"/>
          <styles xsi:type="notation:BooleanValueStyle" xmi:id="_DwhWwWx-EeKceIpq-RYuRw" name="isInline" booleanValue="true"/>
          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_DwhWwmx-EeKceIpq-RYuRw" x="269" y="144"/>
        </children>
        <children xmi:id="_DwhWw2x-EeKceIpq-RYuRw" type="State" element="_DwndVWx-EeKceIpq-RYuRw">
          <children xsi:type="notation:DecorationNode" xmi:id="_DwhWxGx-EeKceIpq-RYuRw" type="StateName">
            <styles xsi:type="notation:ShapeStyle" xmi:id="_DwhWxWx-EeKceIpq-RYuRw"/>
            <layoutConstraint xsi:type="notation:Location" xmi:id="_DwhWxmx-EeKceIpq-RYuRw"/>
          </children>
          <children xsi:type="notation:Compartment" xmi:id="_DwhWx2x-EeKceIpq-RYuRw" type="StateTextCompartment">
            <children xsi:type="notation:Shape" xmi:id="_DwhWyGx-EeKceIpq-RYuRw" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_DwhWyWx-EeKceIpq-RYuRw"/>
            </children>
          </children>
          <children xsi:type="notation:Compartment" xmi:id="_DwhWymx-EeKceIpq-RYuRw" type="StateFigureCompartment"/>
          <styles xsi:type="notation:ShapeStyle" xmi:id="_DwhWy2x-EeKceIpq-RYuRw" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
          <styles xsi:type="notation:FontStyle" xmi:id="_DwhWzGx-EeKceIpq-RYuRw"/>
          <styles xsi:type="notation:BooleanValueStyle" xmi:id="_DwhWzWx-EeKceIpq-RYuRw" name="isHorizontal" booleanValue="true"/>
          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_DwhWzmx-EeKceIpq-RYuRw" x="269" y="239"/>
        </children>
        <children xmi:id="_DwndQGx-EeKceIpq-RYuRw" type="State" element="_DwndWWx-EeKceIpq-RYuRw">
          <children xsi:type="notation:DecorationNode" xmi:id="_DwndQWx-EeKceIpq-RYuRw" type="StateName">
            <styles xsi:type="notation:ShapeStyle" xmi:id="_DwndQmx-EeKceIpq-RYuRw"/>
            <layoutConstraint xsi:type="notation:Location" xmi:id="_DwndQ2x-EeKceIpq-RYuRw"/>
          </children>
          <children xsi:type="notation:Compartment" xmi:id="_DwndRGx-EeKceIpq-RYuRw" type="StateTextCompartment">
            <children xsi:type="notation:Shape" xmi:id="_DwndRWx-EeKceIpq-RYuRw" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_DwndRmx-EeKceIpq-RYuRw"/>
            </children>
          </children>
          <children xsi:type="notation:Compartment" xmi:id="_DwndR2x-EeKceIpq-RYuRw" type="StateFigureCompartment"/>
          <styles xsi:type="notation:ShapeStyle" xmi:id="_DwndSGx-EeKceIpq-RYuRw" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
          <styles xsi:type="notation:FontStyle" xmi:id="_DwndSWx-EeKceIpq-RYuRw"/>
          <styles xsi:type="notation:BooleanValueStyle" xmi:id="_DwndSmx-EeKceIpq-RYuRw" name="isHorizontal" booleanValue="true"/>
          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_DwndS2x-EeKceIpq-RYuRw" x="284" y="339" width="116" height="80"/>
        </children>
        <layoutConstraint xsi:type="notation:Bounds" xmi:id="_IsVU5Gx0EeK7IYWlCJtDsw"/>
      </children>
      <styles xsi:type="notation:ShapeStyle" xmi:id="_IsCZ8mx0EeK7IYWlCJtDsw" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_IsVU5Wx0EeK7IYWlCJtDsw" x="220" y="5" width="676" height="476"/>
    </children>
    <children xsi:type="notation:Shape" xmi:id="_IsoP12x0EeK7IYWlCJtDsw" type="StatechartText" fontName="Verdana" lineColor="4210752">
      <children xsi:type="notation:DecorationNode" xmi:id="_IsoP2Wx0EeK7IYWlCJtDsw" type="StatechartName">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_IsoP2mx0EeK7IYWlCJtDsw"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_IsoP22x0EeK7IYWlCJtDsw"/>
      </children>
      <children xsi:type="notation:Shape" xmi:id="_IsoP3Gx0EeK7IYWlCJtDsw" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
        <layoutConstraint xsi:type="notation:Bounds" xmi:id="_IsoP3Wx0EeK7IYWlCJtDsw"/>
      </children>
      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_IsoP3mx0EeK7IYWlCJtDsw" y="7" width="200" height="471"/>
    </children>
    <children xmi:id="_W87hIGx-EeKceIpq-RYuRw" type="Region" element="_W81agGx-EeKceIpq-RYuRw">
      <children xsi:type="notation:DecorationNode" xmi:id="_W87hI2x-EeKceIpq-RYuRw" type="RegionName">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_W87hJGx-EeKceIpq-RYuRw"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_W87hJWx-EeKceIpq-RYuRw"/>
      </children>
      <children xsi:type="notation:Shape" xmi:id="_W87hJmx-EeKceIpq-RYuRw" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
        <children xmi:id="_XYfbwmx-EeKceIpq-RYuRw" type="State" element="_XYfbwGx-EeKceIpq-RYuRw">
          <children xsi:type="notation:DecorationNode" xmi:id="_XYfbxmx-EeKceIpq-RYuRw" type="StateName">
            <styles xsi:type="notation:ShapeStyle" xmi:id="_XYfbx2x-EeKceIpq-RYuRw"/>
            <layoutConstraint xsi:type="notation:Location" xmi:id="_XYfbyGx-EeKceIpq-RYuRw"/>
          </children>
          <children xsi:type="notation:Compartment" xmi:id="_XYfbyWx-EeKceIpq-RYuRw" type="StateTextCompartment">
            <children xsi:type="notation:Shape" xmi:id="_XYfbymx-EeKceIpq-RYuRw" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_XYfby2x-EeKceIpq-RYuRw"/>
            </children>
          </children>
          <children xsi:type="notation:Compartment" xmi:id="_XYfbzGx-EeKceIpq-RYuRw" type="StateFigureCompartment"/>
          <styles xsi:type="notation:ShapeStyle" xmi:id="_XYfbw2x-EeKceIpq-RYuRw" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
          <styles xsi:type="notation:FontStyle" xmi:id="_XYfbxGx-EeKceIpq-RYuRw"/>
          <styles xsi:type="notation:BooleanValueStyle" xmi:id="_XYfbzWx-EeKceIpq-RYuRw" name="isHorizontal" booleanValue="true"/>
          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_XYfbxWx-EeKceIpq-RYuRw" x="44" y="89" width="109"/>
        </children>
        <children xmi:id="_X9BFImx-EeKceIpq-RYuRw" type="State" element="_X9BFIGx-EeKceIpq-RYuRw">
          <children xsi:type="notation:DecorationNode" xmi:id="_X9BFJmx-EeKceIpq-RYuRw" type="StateName">
            <styles xsi:type="notation:ShapeStyle" xmi:id="_X9BFJ2x-EeKceIpq-RYuRw"/>
            <layoutConstraint xsi:type="notation:Location" xmi:id="_X9BFKGx-EeKceIpq-RYuRw"/>
          </children>
          <children xsi:type="notation:Compartment" xmi:id="_X9BFKWx-EeKceIpq-RYuRw" type="StateTextCompartment">
            <children xsi:type="notation:Shape" xmi:id="_X9BFKmx-EeKceIpq-RYuRw" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_X9BFK2x-EeKceIpq-RYuRw"/>
            </children>
          </children>
          <children xsi:type="notation:Compartment" xmi:id="_X9BFLGx-EeKceIpq-RYuRw" type="StateFigureCompartment"/>
          <styles xsi:type="notation:ShapeStyle" xmi:id="_X9BFI2x-EeKceIpq-RYuRw" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
          <styles xsi:type="notation:FontStyle" xmi:id="_X9BFJGx-EeKceIpq-RYuRw"/>
          <styles xsi:type="notation:BooleanValueStyle" xmi:id="_X9BFLWx-EeKceIpq-RYuRw" name="isHorizontal" booleanValue="true"/>
          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_X9BFJWx-EeKceIpq-RYuRw" x="51" y="221" width="102"/>
        </children>
        <children xmi:id="_dmqOMGx-EeKceIpq-RYuRw" type="Entry" element="_dmkHkGx-EeKceIpq-RYuRw">
          <children xmi:id="_dmqOM2x-EeKceIpq-RYuRw" type="BorderItemLabelContainer">
            <children xsi:type="notation:DecorationNode" xmi:id="_dmqONmx-EeKceIpq-RYuRw" type="BorderItemLabel">
              <styles xsi:type="notation:ShapeStyle" xmi:id="_dmqON2x-EeKceIpq-RYuRw"/>
              <layoutConstraint xsi:type="notation:Location" xmi:id="_dmqOOGx-EeKceIpq-RYuRw"/>
            </children>
            <styles xsi:type="notation:ShapeStyle" xmi:id="_dmqONGx-EeKceIpq-RYuRw" fontName="Verdana" lineColor="4210752"/>
            <layoutConstraint xsi:type="notation:Bounds" xmi:id="_dmqONWx-EeKceIpq-RYuRw"/>
          </children>
          <styles xsi:type="notation:ShapeStyle" xmi:id="_dmqOMWx-EeKceIpq-RYuRw" fontName="Verdana" lineColor="4210752"/>
          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_dmqOMmx-EeKceIpq-RYuRw" x="83" y="39"/>
        </children>
        <layoutConstraint xsi:type="notation:Bounds" xmi:id="_W87hJ2x-EeKceIpq-RYuRw"/>
      </children>
      <styles xsi:type="notation:ShapeStyle" xmi:id="_W87hIWx-EeKceIpq-RYuRw" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_W87hImx-EeKceIpq-RYuRw" x="905" y="5" width="246" height="476"/>
    </children>
    <styles xsi:type="notation:DiagramStyle" xmi:id="_Ir4o8Wx0EeK7IYWlCJtDsw"/>
    <edges xmi:id="_DwzqgGx-EeKceIpq-RYuRw" type="Transition" element="_DwndTWx-EeKceIpq-RYuRw" source="_DwhWoWx-EeKceIpq-RYuRw" target="_DwhWtmx-EeKceIpq-RYuRw">
      <children xsi:type="notation:DecorationNode" xmi:id="_DwzqhGx-EeKceIpq-RYuRw" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_DwzqhWx-EeKceIpq-RYuRw"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_Dwzqhmx-EeKceIpq-RYuRw" x="-6" y="-152"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_DwzqgWx-EeKceIpq-RYuRw" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_Dwzqg2x-EeKceIpq-RYuRw" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_Dwzqgmx-EeKceIpq-RYuRw" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
    </edges>
    <edges xmi:id="_Dwzqh2x-EeKceIpq-RYuRw" type="Transition" element="_DwndUGx-EeKceIpq-RYuRw" source="_DwhWrWx-EeKceIpq-RYuRw" target="_DwhWoWx-EeKceIpq-RYuRw">
      <children xsi:type="notation:DecorationNode" xmi:id="_Dwzqi2x-EeKceIpq-RYuRw" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_DwzqjGx-EeKceIpq-RYuRw"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_DwzqjWx-EeKceIpq-RYuRw" y="10"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_DwzqiGx-EeKceIpq-RYuRw" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_Dwzqimx-EeKceIpq-RYuRw" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_DwzqiWx-EeKceIpq-RYuRw" points="[0, 7, -1, -51]$[1, 13, 0, -45]$[1, 28, 0, -30]"/>
    </edges>
    <edges xmi:id="_Dwzqjmx-EeKceIpq-RYuRw" type="Transition" element="_DwndU2x-EeKceIpq-RYuRw" source="_DwhWtmx-EeKceIpq-RYuRw" target="_DwhWoWx-EeKceIpq-RYuRw">
      <children xsi:type="notation:DecorationNode" xmi:id="_Dw5xIGx-EeKceIpq-RYuRw" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_Dw5xIWx-EeKceIpq-RYuRw"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_Dw5xImx-EeKceIpq-RYuRw" x="-31" y="71"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_Dwzqj2x-EeKceIpq-RYuRw" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_DwzqkWx-EeKceIpq-RYuRw" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_DwzqkGx-EeKceIpq-RYuRw" points="[-63, 0, -58, 108]$[-213, 0, -208, 108]$[-213, -108, -208, 0]$[-88, -108, -83, 0]"/>
    </edges>
    <edges xmi:id="_Dw5xI2x-EeKceIpq-RYuRw" type="Transition" element="_DwndV2x-EeKceIpq-RYuRw" source="_DwhWw2x-EeKceIpq-RYuRw" target="_DwhWoWx-EeKceIpq-RYuRw">
      <children xsi:type="notation:DecorationNode" xmi:id="_Dw5xJ2x-EeKceIpq-RYuRw" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_Dw5xKGx-EeKceIpq-RYuRw"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_Dw5xKWx-EeKceIpq-RYuRw" x="-78" y="76"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_Dw5xJGx-EeKceIpq-RYuRw" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_Dw5xJmx-EeKceIpq-RYuRw" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_Dw5xJWx-EeKceIpq-RYuRw" points="[-63, 0, -58, 203]$[-223, 0, -218, 203]$[-223, -203, -218, 0]$[-88, -203, -83, 0]"/>
    </edges>
    <edges xmi:id="_Dw5xKmx-EeKceIpq-RYuRw" type="Transition" element="_DwndVmx-EeKceIpq-RYuRw" source="_DwhWw2x-EeKceIpq-RYuRw" target="_DwndQGx-EeKceIpq-RYuRw">
      <children xsi:type="notation:DecorationNode" xmi:id="_Dw5xLmx-EeKceIpq-RYuRw" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_Dw5xL2x-EeKceIpq-RYuRw"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_Dw5xMGx-EeKceIpq-RYuRw" x="2" y="-150"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_Dw5xK2x-EeKceIpq-RYuRw" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_Dw5xLWx-EeKceIpq-RYuRw" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_Dw5xLGx-EeKceIpq-RYuRw" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
    </edges>
    <edges xmi:id="_Dw5xMWx-EeKceIpq-RYuRw" type="Transition" element="_DwndUmx-EeKceIpq-RYuRw" source="_DwhWtmx-EeKceIpq-RYuRw" target="_DwhWw2x-EeKceIpq-RYuRw">
      <children xsi:type="notation:DecorationNode" xmi:id="_Dw5xNWx-EeKceIpq-RYuRw" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_Dw5xNmx-EeKceIpq-RYuRw"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_Dw5xN2x-EeKceIpq-RYuRw" x="-1" y="-152"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_Dw5xMmx-EeKceIpq-RYuRw" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_Dw5xNGx-EeKceIpq-RYuRw" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_Dw5xM2x-EeKceIpq-RYuRw" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
    </edges>
    <edges xmi:id="_Dw5xOGx-EeKceIpq-RYuRw" type="Transition" element="_DwndWmx-EeKceIpq-RYuRw" source="_DwndQGx-EeKceIpq-RYuRw" target="_DwhWoWx-EeKceIpq-RYuRw">
      <children xsi:type="notation:DecorationNode" xmi:id="_Dw5xPGx-EeKceIpq-RYuRw" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_Dw5xPWx-EeKceIpq-RYuRw"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_Dw5xPmx-EeKceIpq-RYuRw" x="-126" y="91"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_Dw5xOWx-EeKceIpq-RYuRw" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_Dw5xO2x-EeKceIpq-RYuRw" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_Dw5xOmx-EeKceIpq-RYuRw" points="[-55, 0, -43, 312]$[-245, 0, -233, 312]$[-245, -312, -233, 0]$[-95, -312, -83, 0]"/>
    </edges>
    <edges xmi:id="_ZnitQWx-EeKceIpq-RYuRw" type="Transition" element="_ZnitQGx-EeKceIpq-RYuRw" source="_XYfbwmx-EeKceIpq-RYuRw" target="_X9BFImx-EeKceIpq-RYuRw">
      <children xsi:type="notation:DecorationNode" xmi:id="_ZnitRWx-EeKceIpq-RYuRw" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_ZnitRmx-EeKceIpq-RYuRw"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_ZnitR2x-EeKceIpq-RYuRw" x="-1" y="-51"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_ZnitQmx-EeKceIpq-RYuRw" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_ZnitRGx-EeKceIpq-RYuRw" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_ZnitQ2x-EeKceIpq-RYuRw" points="[7, 18, 5, -82]$[7, 89, 5, -11]"/>
      <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_Znoz4Gx-EeKceIpq-RYuRw" id="(0.7889908256880734,0.7121212121212122)"/>
      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_Znoz4Wx-EeKceIpq-RYuRw" id="(0.803921568627451,0.18181818181818182)"/>
    </edges>
    <edges xmi:id="_asHIoWx-EeKceIpq-RYuRw" type="Transition" element="_asHIoGx-EeKceIpq-RYuRw" source="_X9BFImx-EeKceIpq-RYuRw" target="_XYfbwmx-EeKceIpq-RYuRw">
      <children xsi:type="notation:DecorationNode" xmi:id="_asHIpWx-EeKceIpq-RYuRw" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_asHIpmx-EeKceIpq-RYuRw"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_asHIp2x-EeKceIpq-RYuRw" y="10"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_asHIomx-EeKceIpq-RYuRw" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_asHIpGx-EeKceIpq-RYuRw" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_asHIo2x-EeKceIpq-RYuRw" points="[6, -12, 2, 86]$[6, -83, 2, 15]"/>
      <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_asNPQGx-EeKceIpq-RYuRw" id="(0.1568627450980392,0.21212121212121213)"/>
      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_asNPQWx-EeKceIpq-RYuRw" id="(0.25688073394495414,0.7575757575757576)"/>
    </edges>
    <edges xmi:id="_eDpsMWx-EeKceIpq-RYuRw" type="Transition" element="_eDpsMGx-EeKceIpq-RYuRw" source="_dmqOMGx-EeKceIpq-RYuRw" target="_XYfbwmx-EeKceIpq-RYuRw">
      <children xsi:type="notation:DecorationNode" xmi:id="_eDpsNWx-EeKceIpq-RYuRw" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_eDpsNmx-EeKceIpq-RYuRw"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_eDpsN2x-EeKceIpq-RYuRw" y="10"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_eDpsMmx-EeKceIpq-RYuRw" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_eDpsNGx-EeKceIpq-RYuRw" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_eDpsM2x-EeKceIpq-RYuRw" points="[0, 7, 0, -44]$[3, 43, 3, -8]"/>
      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_eDvy0Gx-EeKceIpq-RYuRw" id="(0.44954128440366975,0.13636363636363635)"/>
    </edges>
  </notation:Diagram>
</xmi:XMI>