<?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="_AU29oMdiEeGOoP2Ze98WBQ" specification="interface :&#xA;var x : integer&#xA;var y : integer" name="before_folding">
    <regions xmi:id="_AU3kssdiEeGOoP2Ze98WBQ" name="main region">
      <vertices xsi:type="sgraph:Entry" xmi:id="_AU4LxsdiEeGOoP2Ze98WBQ">
        <outgoingTransitions xmi:id="_AU6A88diEeGOoP2Ze98WBQ" target="_AU4y18diEeGOoP2Ze98WBQ"/>
      </vertices>
      <vertices xsi:type="sgraph:State" xmi:id="_AU4y18diEeGOoP2Ze98WBQ" specification="exit /&#xA;  x+=1 " name="A" incomingTransitions="_AU6A88diEeGOoP2Ze98WBQ">
        <outgoingTransitions xmi:id="_CSfvAMdiEeGOoP2Ze98WBQ" specification="/ y=3; y+=1; y = x + 10" target="_BE1pEMdiEeGOoP2Ze98WBQ"/>
        <outgoingTransitions xmi:id="_JQWKkMdlEeGOoP2Ze98WBQ" specification="/ y=3; y+=1" target="_yZnSUPN1EeGld5XQj3v7aA"/>
      </vertices>
      <vertices xsi:type="sgraph:State" xmi:id="_BE1pEMdiEeGOoP2Ze98WBQ" specification="" name="B" incomingTransitions="_CSfvAMdiEeGOoP2Ze98WBQ"/>
      <vertices xsi:type="sgraph:State" xmi:id="_yZnSUPN1EeGld5XQj3v7aA" specification="exit / x = 10" name="CompState" incomingTransitions="_JQWKkMdlEeGOoP2Ze98WBQ">
        <regions xmi:id="_yZqVoPN1EeGld5XQj3v7aA" name="InnerRegion">
          <vertices xsi:type="sgraph:State" xmi:id="_0eTG4PN1EeGld5XQj3v7aA" name="InnerState" incomingTransitions="_NU9ecPN2EeGld5XQj3v7aA">
            <outgoingTransitions xmi:id="_54p2wPN1EeGld5XQj3v7aA" specification="/ x *= 100" target="_4Tz_4PN1EeGld5XQj3v7aA"/>
          </vertices>
          <vertices xsi:type="sgraph:Entry" xmi:id="_MtnKkPN2EeGld5XQj3v7aA">
            <outgoingTransitions xmi:id="_NU9ecPN2EeGld5XQj3v7aA" specification="" target="_0eTG4PN1EeGld5XQj3v7aA"/>
          </vertices>
        </regions>
      </vertices>
      <vertices xsi:type="sgraph:State" xmi:id="_4Tz_4PN1EeGld5XQj3v7aA" name="D" incomingTransitions="_54p2wPN1EeGld5XQj3v7aA">
        <outgoingTransitions xmi:id="_BvOkUHIQEeKt7LlJCM3PJg" specification="" target="_AmFK8HIQEeKt7LlJCM3PJg"/>
      </vertices>
      <vertices xsi:type="sgraph:State" xmi:id="_AmFK8HIQEeKt7LlJCM3PJg" name="E" incomingTransitions="_BvOkUHIQEeKt7LlJCM3PJg"/>
    </regions>
  </sgraph:Statechart>
  <notation:Diagram xmi:id="_AU3ksMdiEeGOoP2Ze98WBQ" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_AU29oMdiEeGOoP2Ze98WBQ" measurementUnit="Pixel">
    <children xmi:id="_AU3ks8diEeGOoP2Ze98WBQ" type="Region" element="_AU3kssdiEeGOoP2Ze98WBQ">
      <children xsi:type="notation:DecorationNode" xmi:id="_AU4LwMdiEeGOoP2Ze98WBQ" type="RegionName">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_AU4LwcdiEeGOoP2Ze98WBQ"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_AU4LwsdiEeGOoP2Ze98WBQ"/>
      </children>
      <children xsi:type="notation:Shape" xmi:id="_AU4Lw8diEeGOoP2Ze98WBQ" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
        <children xmi:id="_AU4Lx8diEeGOoP2Ze98WBQ" type="Entry" element="_AU4LxsdiEeGOoP2Ze98WBQ">
          <children xmi:id="_AU4y0MdiEeGOoP2Ze98WBQ" type="BorderItemLabelContainer">
            <children xsi:type="notation:DecorationNode" xmi:id="_AU4y08diEeGOoP2Ze98WBQ" type="BorderItemLabel">
              <styles xsi:type="notation:ShapeStyle" xmi:id="_AU4y1MdiEeGOoP2Ze98WBQ"/>
              <layoutConstraint xsi:type="notation:Location" xmi:id="_AU4y1cdiEeGOoP2Ze98WBQ"/>
            </children>
            <styles xsi:type="notation:ShapeStyle" xmi:id="_AU4y0cdiEeGOoP2Ze98WBQ" fontName="Verdana" lineColor="4210752"/>
            <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU4y0sdiEeGOoP2Ze98WBQ"/>
          </children>
          <styles xsi:type="notation:ShapeStyle" xmi:id="_AU4LyMdiEeGOoP2Ze98WBQ" fontName="Verdana" lineColor="4210752"/>
          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU4y1sdiEeGOoP2Ze98WBQ" x="52" y="19"/>
        </children>
        <children xmi:id="_AU5Z4cdiEeGOoP2Ze98WBQ" type="State" element="_AU4y18diEeGOoP2Ze98WBQ">
          <children xsi:type="notation:DecorationNode" xmi:id="_AU5Z5cdiEeGOoP2Ze98WBQ" type="StateName">
            <styles xsi:type="notation:ShapeStyle" xmi:id="_AU5Z5sdiEeGOoP2Ze98WBQ"/>
            <layoutConstraint xsi:type="notation:Location" xmi:id="_AU5Z58diEeGOoP2Ze98WBQ"/>
          </children>
          <children xsi:type="notation:Compartment" xmi:id="_AU5Z6MdiEeGOoP2Ze98WBQ" type="StateTextCompartment">
            <children xsi:type="notation:Shape" xmi:id="_AU5Z6cdiEeGOoP2Ze98WBQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU5Z6sdiEeGOoP2Ze98WBQ"/>
            </children>
          </children>
          <children xsi:type="notation:Compartment" xmi:id="_AU6A8MdiEeGOoP2Ze98WBQ" type="StateFigureCompartment"/>
          <styles xsi:type="notation:ShapeStyle" xmi:id="_AU5Z4sdiEeGOoP2Ze98WBQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
          <styles xsi:type="notation:FontStyle" xmi:id="_AU5Z48diEeGOoP2Ze98WBQ"/>
          <styles xsi:type="notation:BooleanValueStyle" xmi:id="_AU6A8cdiEeGOoP2Ze98WBQ"/>
          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU6A8sdiEeGOoP2Ze98WBQ" x="25" y="98" width="75"/>
        </children>
        <children xmi:id="_BFBPQMdiEeGOoP2Ze98WBQ" type="State" element="_BE1pEMdiEeGOoP2Ze98WBQ">
          <children xsi:type="notation:DecorationNode" xmi:id="_BFB2UMdiEeGOoP2Ze98WBQ" type="StateName">
            <styles xsi:type="notation:ShapeStyle" xmi:id="_BFB2UcdiEeGOoP2Ze98WBQ"/>
            <layoutConstraint xsi:type="notation:Location" xmi:id="_BFB2UsdiEeGOoP2Ze98WBQ"/>
          </children>
          <children xsi:type="notation:Compartment" xmi:id="_BFB2U8diEeGOoP2Ze98WBQ" type="StateTextCompartment">
            <children xsi:type="notation:Shape" xmi:id="_BFCdYMdiEeGOoP2Ze98WBQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_BFCdYcdiEeGOoP2Ze98WBQ"/>
            </children>
          </children>
          <children xsi:type="notation:Compartment" xmi:id="_BFCdYsdiEeGOoP2Ze98WBQ" type="StateFigureCompartment" collapsed="true"/>
          <styles xsi:type="notation:ShapeStyle" xmi:id="_BFBPQcdiEeGOoP2Ze98WBQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
          <styles xsi:type="notation:FontStyle" xmi:id="_BFBPQsdiEeGOoP2Ze98WBQ"/>
          <styles xsi:type="notation:BooleanValueStyle" xmi:id="_BFCdY8diEeGOoP2Ze98WBQ"/>
          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_BFBPQ8diEeGOoP2Ze98WBQ" x="254" y="97" width="65" height="68"/>
        </children>
        <children xmi:id="_yZxDUPN1EeGld5XQj3v7aA" type="State" element="_yZnSUPN1EeGld5XQj3v7aA">
          <children xsi:type="notation:DecorationNode" xmi:id="_yZxqYPN1EeGld5XQj3v7aA" type="StateName">
            <styles xsi:type="notation:ShapeStyle" xmi:id="_yZxqYfN1EeGld5XQj3v7aA"/>
            <layoutConstraint xsi:type="notation:Location" xmi:id="_yZxqYvN1EeGld5XQj3v7aA"/>
          </children>
          <children xsi:type="notation:Compartment" xmi:id="_yZxqY_N1EeGld5XQj3v7aA" type="StateTextCompartment">
            <children xsi:type="notation:Shape" xmi:id="_yZxqZPN1EeGld5XQj3v7aA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yZxqZfN1EeGld5XQj3v7aA"/>
            </children>
          </children>
          <children xsi:type="notation:Compartment" xmi:id="_yZyRcPN1EeGld5XQj3v7aA" type="StateFigureCompartment">
            <children xmi:id="_yZ0GoPN1EeGld5XQj3v7aA" type="Region" element="_yZqVoPN1EeGld5XQj3v7aA">
              <children xsi:type="notation:DecorationNode" xmi:id="_yZ0tsvN1EeGld5XQj3v7aA" type="RegionName">
                <styles xsi:type="notation:ShapeStyle" xmi:id="_yZ0ts_N1EeGld5XQj3v7aA"/>
                <layoutConstraint xsi:type="notation:Location" xmi:id="_yZ0ttPN1EeGld5XQj3v7aA"/>
              </children>
              <children xsi:type="notation:Shape" xmi:id="_yZ0ttfN1EeGld5XQj3v7aA" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
                <children xmi:id="_0efUIPN1EeGld5XQj3v7aA" type="State" element="_0eTG4PN1EeGld5XQj3v7aA">
                  <children xsi:type="notation:DecorationNode" xmi:id="_0ef7MPN1EeGld5XQj3v7aA" type="StateName">
                    <styles xsi:type="notation:ShapeStyle" xmi:id="_0ef7MfN1EeGld5XQj3v7aA"/>
                    <layoutConstraint xsi:type="notation:Location" xmi:id="_0egiQPN1EeGld5XQj3v7aA"/>
                  </children>
                  <children xsi:type="notation:Compartment" xmi:id="_0egiQfN1EeGld5XQj3v7aA" type="StateTextCompartment">
                    <children xsi:type="notation:Shape" xmi:id="_0egiQvN1EeGld5XQj3v7aA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
                      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_0egiQ_N1EeGld5XQj3v7aA"/>
                    </children>
                  </children>
                  <children xsi:type="notation:Compartment" xmi:id="_0ehJUPN1EeGld5XQj3v7aA" type="StateFigureCompartment"/>
                  <styles xsi:type="notation:ShapeStyle" xmi:id="_0efUIfN1EeGld5XQj3v7aA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
                  <styles xsi:type="notation:FontStyle" xmi:id="_0efUIvN1EeGld5XQj3v7aA"/>
                  <styles xsi:type="notation:BooleanValueStyle" xmi:id="_0ehJUfN1EeGld5XQj3v7aA"/>
                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_0efUI_N1EeGld5XQj3v7aA" x="50" y="19"/>
                </children>
                <children xmi:id="_Mtw7kPN2EeGld5XQj3v7aA" type="Entry" element="_MtnKkPN2EeGld5XQj3v7aA">
                  <children xmi:id="_Mtw7k_N2EeGld5XQj3v7aA" type="BorderItemLabelContainer">
                    <children xsi:type="notation:DecorationNode" xmi:id="_MtxioPN2EeGld5XQj3v7aA" type="BorderItemLabel">
                      <styles xsi:type="notation:ShapeStyle" xmi:id="_MtxiofN2EeGld5XQj3v7aA"/>
                      <layoutConstraint xsi:type="notation:Location" xmi:id="_MtxiovN2EeGld5XQj3v7aA"/>
                    </children>
                    <styles xsi:type="notation:ShapeStyle" xmi:id="_Mtw7lPN2EeGld5XQj3v7aA" fontName="Verdana" lineColor="4210752"/>
                    <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Mtw7lfN2EeGld5XQj3v7aA"/>
                  </children>
                  <styles xsi:type="notation:ShapeStyle" xmi:id="_Mtw7kfN2EeGld5XQj3v7aA" fontName="Verdana" lineColor="4210752"/>
                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Mtw7kvN2EeGld5XQj3v7aA" x="16" y="35"/>
                </children>
                <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yZ0ttvN1EeGld5XQj3v7aA"/>
              </children>
              <styles xsi:type="notation:ShapeStyle" xmi:id="_yZ0tsPN1EeGld5XQj3v7aA" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yZ0tsfN1EeGld5XQj3v7aA"/>
            </children>
          </children>
          <styles xsi:type="notation:ShapeStyle" xmi:id="_yZxDUfN1EeGld5XQj3v7aA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
          <styles xsi:type="notation:FontStyle" xmi:id="_yZxDUvN1EeGld5XQj3v7aA"/>
          <styles xsi:type="notation:BooleanValueStyle" xmi:id="_yZyRcfN1EeGld5XQj3v7aA"/>
          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yZxDU_N1EeGld5XQj3v7aA" x="33" y="313" width="182" height="172"/>
        </children>
        <children xmi:id="_4T9w4PN1EeGld5XQj3v7aA" type="State" element="_4Tz_4PN1EeGld5XQj3v7aA">
          <children xsi:type="notation:DecorationNode" xmi:id="_4T-X8PN1EeGld5XQj3v7aA" type="StateName">
            <styles xsi:type="notation:ShapeStyle" xmi:id="_4T-X8fN1EeGld5XQj3v7aA"/>
            <layoutConstraint xsi:type="notation:Location" xmi:id="_4T-X8vN1EeGld5XQj3v7aA"/>
          </children>
          <children xsi:type="notation:Compartment" xmi:id="_4T-X8_N1EeGld5XQj3v7aA" type="StateTextCompartment">
            <children xsi:type="notation:Shape" xmi:id="_4T-X9PN1EeGld5XQj3v7aA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_4T-X9fN1EeGld5XQj3v7aA"/>
            </children>
          </children>
          <children xsi:type="notation:Compartment" xmi:id="_4T-_APN1EeGld5XQj3v7aA" type="StateFigureCompartment"/>
          <styles xsi:type="notation:ShapeStyle" xmi:id="_4T9w4fN1EeGld5XQj3v7aA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
          <styles xsi:type="notation:FontStyle" xmi:id="_4T9w4vN1EeGld5XQj3v7aA"/>
          <styles xsi:type="notation:BooleanValueStyle" xmi:id="_4T-_AfN1EeGld5XQj3v7aA"/>
          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_4T9w4_N1EeGld5XQj3v7aA" x="321" y="391"/>
        </children>
        <children xsi:type="notation:Shape" xmi:id="_Sep8IPN2EeGld5XQj3v7aA" type="Note" fontName="Verdana" description="Folding not allowed" fillColor="13369343" transparency="0" lineColor="6737151" lineWidth="1">
          <children xsi:type="notation:BasicDecorationNode" xmi:id="_SerKQPN2EeGld5XQj3v7aA" type="DiagramName">
            <element xsi:nil="true"/>
          </children>
          <children xsi:type="notation:BasicDecorationNode" xmi:id="_SerKQfN2EeGld5XQj3v7aA" type="Description">
            <element xsi:nil="true"/>
          </children>
          <styles xsi:type="notation:TextStyle" xmi:id="_Sep8IfN2EeGld5XQj3v7aA"/>
          <styles xsi:type="notation:LineTypeStyle" xmi:id="_Sep8IvN2EeGld5XQj3v7aA"/>
          <element xsi:nil="true"/>
          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Sep8I_N2EeGld5XQj3v7aA" x="217" y="343" width="105" height="41"/>
        </children>
        <children xmi:id="_AmpLoHIQEeKt7LlJCM3PJg" type="State" element="_AmFK8HIQEeKt7LlJCM3PJg">
          <children xsi:type="notation:DecorationNode" xmi:id="_AmrA0HIQEeKt7LlJCM3PJg" type="StateName">
            <styles xsi:type="notation:ShapeStyle" xmi:id="_AmrA0XIQEeKt7LlJCM3PJg"/>
            <layoutConstraint xsi:type="notation:Location" xmi:id="_AmrA0nIQEeKt7LlJCM3PJg"/>
          </children>
          <children xsi:type="notation:Compartment" xmi:id="_AmrA03IQEeKt7LlJCM3PJg" type="StateTextCompartment">
            <children xsi:type="notation:Shape" xmi:id="_Amrn4HIQEeKt7LlJCM3PJg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Amrn4XIQEeKt7LlJCM3PJg"/>
            </children>
          </children>
          <children xsi:type="notation:Compartment" xmi:id="_Amrn4nIQEeKt7LlJCM3PJg" type="StateFigureCompartment"/>
          <styles xsi:type="notation:ShapeStyle" xmi:id="_AmpLoXIQEeKt7LlJCM3PJg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
          <styles xsi:type="notation:FontStyle" xmi:id="_AmpLonIQEeKt7LlJCM3PJg"/>
          <styles xsi:type="notation:BooleanValueStyle" xmi:id="_Amrn43IQEeKt7LlJCM3PJg" name="isHorizontal" booleanValue="true"/>
          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AmpLo3IQEeKt7LlJCM3PJg" x="431" y="396"/>
        </children>
        <children xsi:type="notation:Shape" xmi:id="_CrkQwHIQEeKt7LlJCM3PJg" type="Note" fontName="Verdana" description="Refactoring disabled" fillColor="13369343" transparency="0" lineColor="6737151" lineWidth="1">
          <children xsi:type="notation:BasicDecorationNode" xmi:id="_Crk30HIQEeKt7LlJCM3PJg" type="DiagramName">
            <element xsi:nil="true"/>
          </children>
          <children xsi:type="notation:BasicDecorationNode" xmi:id="_Crk30XIQEeKt7LlJCM3PJg" type="Description">
            <element xsi:nil="true"/>
          </children>
          <styles xsi:type="notation:TextStyle" xmi:id="_CrkQwXIQEeKt7LlJCM3PJg"/>
          <styles xsi:type="notation:LineTypeStyle" xmi:id="_CrkQwnIQEeKt7LlJCM3PJg"/>
          <element xsi:nil="true"/>
          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_CrkQw3IQEeKt7LlJCM3PJg" x="355" y="356" height="28"/>
        </children>
        <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU4LxMdiEeGOoP2Ze98WBQ"/>
      </children>
      <styles xsi:type="notation:ShapeStyle" xmi:id="_AU3ktMdiEeGOoP2Ze98WBQ" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU4LxcdiEeGOoP2Ze98WBQ" x="220" y="10" width="549" height="551"/>
    </children>
    <children xsi:type="notation:Shape" xmi:id="_AU6oBMdiEeGOoP2Ze98WBQ" type="StatechartText" fontName="Verdana" lineColor="4210752">
      <children xsi:type="notation:DecorationNode" xmi:id="_AU6oBsdiEeGOoP2Ze98WBQ" type="StatechartName">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_AU6oB8diEeGOoP2Ze98WBQ"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_AU6oCMdiEeGOoP2Ze98WBQ"/>
      </children>
      <children xsi:type="notation:Shape" xmi:id="_AU7PEMdiEeGOoP2Ze98WBQ" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
        <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU7PEcdiEeGOoP2Ze98WBQ"/>
      </children>
      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AU7PEsdiEeGOoP2Ze98WBQ" x="10" y="10" width="200" height="551"/>
    </children>
    <styles xsi:type="notation:DiagramStyle" xmi:id="_AU3kscdiEeGOoP2Ze98WBQ"/>
    <edges xmi:id="_AU6A9MdiEeGOoP2Ze98WBQ" type="Transition" element="_AU6A88diEeGOoP2Ze98WBQ" source="_AU4Lx8diEeGOoP2Ze98WBQ" target="_AU5Z4cdiEeGOoP2Ze98WBQ">
      <children xsi:type="notation:DecorationNode" xmi:id="_AU6oAcdiEeGOoP2Ze98WBQ" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_AU6oAsdiEeGOoP2Ze98WBQ"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_AU6oA8diEeGOoP2Ze98WBQ" y="10"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_AU6A9cdiEeGOoP2Ze98WBQ" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_AU6oAMdiEeGOoP2Ze98WBQ" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_AU6A9sdiEeGOoP2Ze98WBQ" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
    </edges>
    <edges xmi:id="_CSkngMdiEeGOoP2Ze98WBQ" type="Transition" element="_CSfvAMdiEeGOoP2Ze98WBQ" source="_AU5Z4cdiEeGOoP2Ze98WBQ" target="_BFBPQMdiEeGOoP2Ze98WBQ">
      <children xsi:type="notation:DecorationNode" xmi:id="_CSlOkMdiEeGOoP2Ze98WBQ" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_CSlOkcdiEeGOoP2Ze98WBQ"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_CSlOksdiEeGOoP2Ze98WBQ" y="10"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_CSkngcdiEeGOoP2Ze98WBQ" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_CSkng8diEeGOoP2Ze98WBQ" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_CSkngsdiEeGOoP2Ze98WBQ" points="[18, 6, -196, 5]$[208, 25, -6, 24]"/>
    </edges>
    <edges xmi:id="_JQZ08MdlEeGOoP2Ze98WBQ" type="Transition" element="_JQWKkMdlEeGOoP2Ze98WBQ" source="_AU5Z4cdiEeGOoP2Ze98WBQ" target="_yZxDUPN1EeGld5XQj3v7aA">
      <children xsi:type="notation:DecorationNode" xmi:id="_JQacAcdlEeGOoP2Ze98WBQ" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_JQacAsdlEeGOoP2Ze98WBQ"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_JQacA8dlEeGOoP2Ze98WBQ" x="-3" y="-40"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_JQZ08cdlEeGOoP2Ze98WBQ" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_JQacAMdlEeGOoP2Ze98WBQ" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_JQZ08sdlEeGOoP2Ze98WBQ" points="[10, 31, -53, -160]$[61, 186, -2, -5]"/>
      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_JQeGYMdlEeGOoP2Ze98WBQ" id="(0.12179487179487179,0.005813953488372093)"/>
    </edges>
    <edges xmi:id="_54yZoPN1EeGld5XQj3v7aA" type="Transition" element="_54p2wPN1EeGld5XQj3v7aA" source="_0efUIPN1EeGld5XQj3v7aA" target="_4T9w4PN1EeGld5XQj3v7aA">
      <children xsi:type="notation:DecorationNode" xmi:id="_54yZpPN1EeGld5XQj3v7aA" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_54yZpfN1EeGld5XQj3v7aA"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_54zAsPN1EeGld5XQj3v7aA" x="26" y="9"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_54yZofN1EeGld5XQj3v7aA" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_54yZo_N1EeGld5XQj3v7aA" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_54yZovN1EeGld5XQj3v7aA" points="[12, -1, -143, 21]$[155, 2, 0, 24]"/>
      <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_549_0PN1EeGld5XQj3v7aA" id="(0.8125,0.4716981132075472)"/>
    </edges>
    <edges xmi:id="_NVCW8PN2EeGld5XQj3v7aA" type="Transition" element="_NU9ecPN2EeGld5XQj3v7aA" source="_Mtw7kPN2EeGld5XQj3v7aA" target="_0efUIPN1EeGld5XQj3v7aA">
      <children xsi:type="notation:DecorationNode" xmi:id="_NVCW9PN2EeGld5XQj3v7aA" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_NVCW9fN2EeGld5XQj3v7aA"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_NVCW9vN2EeGld5XQj3v7aA" y="10"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_NVCW8fN2EeGld5XQj3v7aA" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_NVCW8_N2EeGld5XQj3v7aA" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_NVCW8vN2EeGld5XQj3v7aA" points="[7, 0, -33, 4]$[42, -17, 2, -13]"/>
      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_NVHPcPN2EeGld5XQj3v7aA" id="(0.203125,0.2830188679245283)"/>
    </edges>
    <edges xmi:id="_BvRAkHIQEeKt7LlJCM3PJg" type="Transition" element="_BvOkUHIQEeKt7LlJCM3PJg" source="_4T9w4PN1EeGld5XQj3v7aA" target="_AmpLoHIQEeKt7LlJCM3PJg">
      <children xsi:type="notation:DecorationNode" xmi:id="_BvRnoHIQEeKt7LlJCM3PJg" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_BvRnoXIQEeKt7LlJCM3PJg"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_BvRnonIQEeKt7LlJCM3PJg" y="10"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_BvRAkXIQEeKt7LlJCM3PJg" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_BvRAk3IQEeKt7LlJCM3PJg" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_BvRAknIQEeKt7LlJCM3PJg" points="[18, -1, -92, -6]$[113, -21, 3, -26]"/>
    </edges>
  </notation:Diagram>
</xmi:XMI>
