yakindu/test-plugins/org.yakindu.sct.test.models/testmodels/SCTUnit/HistoryWithoutInitialStep.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="_PSA8cDA8EeKkkaVMi1n7-A" specification="interface:&#xA;&#xA;&#x9;in event toA&#xA;&#x9;in event toB&#xA;&#x9;in event toHistory&#xA;&#x9;in event next&#xA;" name="HistoryWithoutInitialStep">
    <regions xmi:id="_PSCKkjA8EeKkkaVMi1n7-A" name="main region">
      <vertices xsi:type="sgraph:Entry" xmi:id="_PSIRMjA8EeKkkaVMi1n7-A">
        <outgoingTransitions xmi:id="_PSKtcTA8EeKkkaVMi1n7-A" target="_PSJfUDA8EeKkkaVMi1n7-A"/>
      </vertices>
      <vertices xsi:type="sgraph:State" xmi:id="_PSJfUDA8EeKkkaVMi1n7-A" name="A" incomingTransitions="_PSKtcTA8EeKkkaVMi1n7-A _gRLMQDA8EeKkkaVMi1n7-A">
        <outgoingTransitions xmi:id="_a1PIADA8EeKkkaVMi1n7-A" specification="toB" target="_VCDBYDA8EeKkkaVMi1n7-A"/>
        <outgoingTransitions xmi:id="_oY0BwDA8EeKkkaVMi1n7-A" specification="toHistory" target="_fBxZ4DA8EeKkkaVMi1n7-A"/>
      </vertices>
      <vertices xsi:type="sgraph:State" xmi:id="_VCDBYDA8EeKkkaVMi1n7-A" name="B" incomingTransitions="_a1PIADA8EeKkkaVMi1n7-A">
        <outgoingTransitions xmi:id="_gRLMQDA8EeKkkaVMi1n7-A" specification="toA" target="_PSJfUDA8EeKkkaVMi1n7-A"/>
        <regions xmi:id="_VCDocDA8EeKkkaVMi1n7-A" name="r1">
          <vertices xsi:type="sgraph:Entry" xmi:id="_V3KrgDA8EeKkkaVMi1n7-A">
            <outgoingTransitions xmi:id="_bpsq0DA8EeKkkaVMi1n7-A" specification="" target="_YC2f8DA8EeKkkaVMi1n7-A"/>
          </vertices>
          <vertices xsi:type="sgraph:State" xmi:id="_YC2f8DA8EeKkkaVMi1n7-A" name="C" incomingTransitions="_bpsq0DA8EeKkkaVMi1n7-A _hx70YDA8EeKkkaVMi1n7-A">
            <outgoingTransitions xmi:id="_czQ68DA8EeKkkaVMi1n7-A" specification="next" target="_ZKRbADA8EeKkkaVMi1n7-A"/>
          </vertices>
          <vertices xsi:type="sgraph:State" xmi:id="_ZKRbADA8EeKkkaVMi1n7-A" name="D" incomingTransitions="_czQ68DA8EeKkkaVMi1n7-A">
            <outgoingTransitions xmi:id="_Y5WcwC7CEeSaT5utVQ5Eng" specification="next" target="_XdOdAC7CEeSaT5utVQ5Eng"/>
          </vertices>
          <vertices xsi:type="sgraph:Entry" xmi:id="_fBxZ4DA8EeKkkaVMi1n7-A" name="he" incomingTransitions="_oY0BwDA8EeKkkaVMi1n7-A" kind="SHALLOW_HISTORY"/>
          <vertices xsi:type="sgraph:State" xmi:id="_XdOdAC7CEeSaT5utVQ5Eng" name="E" incomingTransitions="_Y5WcwC7CEeSaT5utVQ5Eng">
            <outgoingTransitions xmi:id="_hx70YDA8EeKkkaVMi1n7-A" specification="next" target="_YC2f8DA8EeKkkaVMi1n7-A"/>
            <regions xmi:id="_bTlqkC7CEeSaT5utVQ5Eng">
              <vertices xsi:type="sgraph:State" xmi:id="_cr3FEC7CEeSaT5utVQ5Eng" name="F" incomingTransitions="_jK8BUC7CEeSaT5utVQ5Eng"/>
              <vertices xsi:type="sgraph:Entry" xmi:id="_igCDIC7CEeSaT5utVQ5Eng">
                <outgoingTransitions xmi:id="_jK8BUC7CEeSaT5utVQ5Eng" target="_cr3FEC7CEeSaT5utVQ5Eng"/>
              </vertices>
            </regions>
          </vertices>
        </regions>
      </vertices>
    </regions>
  </sgraph:Statechart>
  <notation:Diagram xmi:id="_PSCKkDA8EeKkkaVMi1n7-A" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_PSA8cDA8EeKkkaVMi1n7-A" measurementUnit="Pixel">
    <children xmi:id="_PSFN4DA8EeKkkaVMi1n7-A" type="Region" element="_PSCKkjA8EeKkkaVMi1n7-A">
      <children xsi:type="notation:DecorationNode" xmi:id="_PSHqIDA8EeKkkaVMi1n7-A" type="RegionName">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_PSHqITA8EeKkkaVMi1n7-A"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_PSHqIjA8EeKkkaVMi1n7-A"/>
      </children>
      <children xsi:type="notation:Shape" xmi:id="_PSHqIzA8EeKkkaVMi1n7-A" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
        <children xmi:id="_PSIRMzA8EeKkkaVMi1n7-A" type="Entry" element="_PSIRMjA8EeKkkaVMi1n7-A">
          <children xmi:id="_PSI4QDA8EeKkkaVMi1n7-A" type="BorderItemLabelContainer">
            <children xsi:type="notation:DecorationNode" xmi:id="_PSI4QzA8EeKkkaVMi1n7-A" type="BorderItemLabel">
              <styles xsi:type="notation:ShapeStyle" xmi:id="_PSI4RDA8EeKkkaVMi1n7-A"/>
              <layoutConstraint xsi:type="notation:Location" xmi:id="_PSI4RTA8EeKkkaVMi1n7-A"/>
            </children>
            <styles xsi:type="notation:ShapeStyle" xmi:id="_PSI4QTA8EeKkkaVMi1n7-A" fontName="Verdana" lineColor="4210752"/>
            <layoutConstraint xsi:type="notation:Bounds" xmi:id="_PSI4QjA8EeKkkaVMi1n7-A"/>
          </children>
          <styles xsi:type="notation:ShapeStyle" xmi:id="_PSIRNDA8EeKkkaVMi1n7-A" fontName="Verdana" lineColor="4210752"/>
          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_PSI4RjA8EeKkkaVMi1n7-A" x="70" y="20" width="15" height="15"/>
        </children>
        <children xmi:id="_PSJfUjA8EeKkkaVMi1n7-A" type="State" element="_PSJfUDA8EeKkkaVMi1n7-A">
          <children xsi:type="notation:DecorationNode" xmi:id="_PSKGYDA8EeKkkaVMi1n7-A" type="StateName">
            <styles xsi:type="notation:ShapeStyle" xmi:id="_PSKGYTA8EeKkkaVMi1n7-A"/>
            <layoutConstraint xsi:type="notation:Location" xmi:id="_PSKGYjA8EeKkkaVMi1n7-A"/>
          </children>
          <children xsi:type="notation:Compartment" xmi:id="_PSKGYzA8EeKkkaVMi1n7-A" type="StateTextCompartment">
            <children xsi:type="notation:Shape" xmi:id="_PSKGZDA8EeKkkaVMi1n7-A" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_PSKGZTA8EeKkkaVMi1n7-A"/>
            </children>
          </children>
          <children xsi:type="notation:Compartment" xmi:id="_PSKGZjA8EeKkkaVMi1n7-A" type="StateFigureCompartment"/>
          <styles xsi:type="notation:ShapeStyle" xmi:id="_PSJfUzA8EeKkkaVMi1n7-A" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
          <styles xsi:type="notation:FontStyle" xmi:id="_PSJfVDA8EeKkkaVMi1n7-A"/>
          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_PSKtcDA8EeKkkaVMi1n7-A" x="40" y="80" width="40" height="53"/>
        </children>
        <children xmi:id="_VCEPgDA8EeKkkaVMi1n7-A" type="State" element="_VCDBYDA8EeKkkaVMi1n7-A">
          <children xsi:type="notation:DecorationNode" xmi:id="_VCE2kDA8EeKkkaVMi1n7-A" type="StateName">
            <styles xsi:type="notation:ShapeStyle" xmi:id="_VCE2kTA8EeKkkaVMi1n7-A"/>
            <layoutConstraint xsi:type="notation:Location" xmi:id="_VCE2kjA8EeKkkaVMi1n7-A"/>
          </children>
          <children xsi:type="notation:Compartment" xmi:id="_VCE2kzA8EeKkkaVMi1n7-A" type="StateTextCompartment">
            <children xsi:type="notation:Shape" xmi:id="_VCE2lDA8EeKkkaVMi1n7-A" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_VCE2lTA8EeKkkaVMi1n7-A"/>
            </children>
          </children>
          <children xsi:type="notation:Compartment" xmi:id="_VCE2ljA8EeKkkaVMi1n7-A" type="StateFigureCompartment">
            <children xmi:id="_X37cAC7CEeSaT5utVQ5Eng" type="Region" element="_VCDocDA8EeKkkaVMi1n7-A">
              <children xsi:type="notation:DecorationNode" xmi:id="_X37cAS7CEeSaT5utVQ5Eng" type="RegionName">
                <styles xsi:type="notation:ShapeStyle" xmi:id="_X37cAi7CEeSaT5utVQ5Eng"/>
                <layoutConstraint xsi:type="notation:Location" xmi:id="_X37cAy7CEeSaT5utVQ5Eng"/>
              </children>
              <children xsi:type="notation:Shape" xmi:id="_X37cBC7CEeSaT5utVQ5Eng" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
                <children xmi:id="_X37cBS7CEeSaT5utVQ5Eng" type="Entry" element="_V3KrgDA8EeKkkaVMi1n7-A">
                  <children xmi:id="_X37cBi7CEeSaT5utVQ5Eng" type="BorderItemLabelContainer">
                    <children xsi:type="notation:DecorationNode" xmi:id="_X37cBy7CEeSaT5utVQ5Eng" type="BorderItemLabel">
                      <styles xsi:type="notation:ShapeStyle" xmi:id="_X37cCC7CEeSaT5utVQ5Eng"/>
                      <layoutConstraint xsi:type="notation:Location" xmi:id="_X37cCS7CEeSaT5utVQ5Eng"/>
                    </children>
                    <styles xsi:type="notation:ShapeStyle" xmi:id="_X37cCi7CEeSaT5utVQ5Eng" fontName="Verdana" lineColor="4210752"/>
                    <layoutConstraint xsi:type="notation:Bounds" xmi:id="_X37cCy7CEeSaT5utVQ5Eng"/>
                  </children>
                  <styles xsi:type="notation:ShapeStyle" xmi:id="_X37cDC7CEeSaT5utVQ5Eng" fontName="Verdana" lineColor="4210752"/>
                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_X37cDS7CEeSaT5utVQ5Eng" x="34" y="33" width="15" height="15"/>
                </children>
                <children xmi:id="_X37cDi7CEeSaT5utVQ5Eng" type="State" element="_YC2f8DA8EeKkkaVMi1n7-A">
                  <children xsi:type="notation:DecorationNode" xmi:id="_X37cDy7CEeSaT5utVQ5Eng" type="StateName">
                    <styles xsi:type="notation:ShapeStyle" xmi:id="_X37cEC7CEeSaT5utVQ5Eng"/>
                    <layoutConstraint xsi:type="notation:Location" xmi:id="_X37cES7CEeSaT5utVQ5Eng"/>
                  </children>
                  <children xsi:type="notation:Compartment" xmi:id="_X37cEi7CEeSaT5utVQ5Eng" type="StateTextCompartment">
                    <children xsi:type="notation:Shape" xmi:id="_X37cEy7CEeSaT5utVQ5Eng" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
                      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_X37cFC7CEeSaT5utVQ5Eng"/>
                    </children>
                  </children>
                  <children xsi:type="notation:Compartment" xmi:id="_X37cFS7CEeSaT5utVQ5Eng" type="StateFigureCompartment"/>
                  <styles xsi:type="notation:ShapeStyle" xmi:id="_X37cFi7CEeSaT5utVQ5Eng" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
                  <styles xsi:type="notation:FontStyle" xmi:id="_X37cFy7CEeSaT5utVQ5Eng"/>
                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_X37cGS7CEeSaT5utVQ5Eng" x="34" y="76" width="40" height="53"/>
                </children>
                <children xmi:id="_X37cGi7CEeSaT5utVQ5Eng" type="State" element="_ZKRbADA8EeKkkaVMi1n7-A">
                  <children xsi:type="notation:DecorationNode" xmi:id="_X37cGy7CEeSaT5utVQ5Eng" type="StateName">
                    <styles xsi:type="notation:ShapeStyle" xmi:id="_X37cHC7CEeSaT5utVQ5Eng"/>
                    <layoutConstraint xsi:type="notation:Location" xmi:id="_X37cHS7CEeSaT5utVQ5Eng"/>
                  </children>
                  <children xsi:type="notation:Compartment" xmi:id="_X37cHi7CEeSaT5utVQ5Eng" type="StateTextCompartment">
                    <children xsi:type="notation:Shape" xmi:id="_X37cHy7CEeSaT5utVQ5Eng" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
                      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_X37cIC7CEeSaT5utVQ5Eng"/>
                    </children>
                  </children>
                  <children xsi:type="notation:Compartment" xmi:id="_X37cIS7CEeSaT5utVQ5Eng" type="StateFigureCompartment"/>
                  <styles xsi:type="notation:ShapeStyle" xmi:id="_X37cIi7CEeSaT5utVQ5Eng" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
                  <styles xsi:type="notation:FontStyle" xmi:id="_X37cIy7CEeSaT5utVQ5Eng"/>
                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_X37cJS7CEeSaT5utVQ5Eng" x="123" y="47" width="40" height="53"/>
                </children>
                <children xmi:id="_X37cJi7CEeSaT5utVQ5Eng" type="ShallowHistory" element="_fBxZ4DA8EeKkkaVMi1n7-A">
                  <children xmi:id="_X37cJy7CEeSaT5utVQ5Eng" type="BorderItemLabelContainer">
                    <children xsi:type="notation:DecorationNode" xmi:id="_X37cKC7CEeSaT5utVQ5Eng" type="BorderItemLabel">
                      <styles xsi:type="notation:ShapeStyle" xmi:id="_X37cKS7CEeSaT5utVQ5Eng"/>
                      <layoutConstraint xsi:type="notation:Location" xmi:id="_X37cKi7CEeSaT5utVQ5Eng"/>
                    </children>
                    <styles xsi:type="notation:ShapeStyle" xmi:id="_X37cKy7CEeSaT5utVQ5Eng" fontName="Verdana" lineColor="4210752"/>
                    <layoutConstraint xsi:type="notation:Bounds" xmi:id="_X37cLC7CEeSaT5utVQ5Eng" x="19" y="2"/>
                  </children>
                  <styles xsi:type="notation:ShapeStyle" xmi:id="_X37cLS7CEeSaT5utVQ5Eng" fontName="Verdana" lineColor="4210752"/>
                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_X37cLi7CEeSaT5utVQ5Eng" x="54" y="164" width="15" height="15"/>
                </children>
                <children xmi:id="_X37cLy7CEeSaT5utVQ5Eng" type="State" element="_XdOdAC7CEeSaT5utVQ5Eng">
                  <children xsi:type="notation:DecorationNode" xmi:id="_X37cMC7CEeSaT5utVQ5Eng" type="StateName">
                    <styles xsi:type="notation:ShapeStyle" xmi:id="_X37cMS7CEeSaT5utVQ5Eng"/>
                    <layoutConstraint xsi:type="notation:Location" xmi:id="_X37cMi7CEeSaT5utVQ5Eng"/>
                  </children>
                  <children xsi:type="notation:Compartment" xmi:id="_X37cMy7CEeSaT5utVQ5Eng" type="StateTextCompartment">
                    <children xsi:type="notation:Shape" xmi:id="_X37cNC7CEeSaT5utVQ5Eng" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
                      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_X37cNS7CEeSaT5utVQ5Eng"/>
                    </children>
                  </children>
                  <children xsi:type="notation:Compartment" xmi:id="_X37cNi7CEeSaT5utVQ5Eng" type="StateFigureCompartment">
                    <children xmi:id="_bTnfwC7CEeSaT5utVQ5Eng" type="Region" element="_bTlqkC7CEeSaT5utVQ5Eng">
                      <children xsi:type="notation:DecorationNode" xmi:id="_bToG0C7CEeSaT5utVQ5Eng" type="RegionName">
                        <styles xsi:type="notation:ShapeStyle" xmi:id="_bToG0S7CEeSaT5utVQ5Eng"/>
                        <layoutConstraint xsi:type="notation:Location" xmi:id="_bToG0i7CEeSaT5utVQ5Eng"/>
                      </children>
                      <children xsi:type="notation:Shape" xmi:id="_bToG0y7CEeSaT5utVQ5Eng" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
                        <children xmi:id="_cr4TMC7CEeSaT5utVQ5Eng" type="State" element="_cr3FEC7CEeSaT5utVQ5Eng">
                          <children xsi:type="notation:DecorationNode" xmi:id="_cr46QC7CEeSaT5utVQ5Eng" type="StateName">
                            <styles xsi:type="notation:ShapeStyle" xmi:id="_cr46QS7CEeSaT5utVQ5Eng"/>
                            <layoutConstraint xsi:type="notation:Location" xmi:id="_cr46Qi7CEeSaT5utVQ5Eng"/>
                          </children>
                          <children xsi:type="notation:Compartment" xmi:id="_cr46Qy7CEeSaT5utVQ5Eng" type="StateTextCompartment">
                            <children xsi:type="notation:Shape" xmi:id="_cr5hUC7CEeSaT5utVQ5Eng" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
                              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_cr5hUS7CEeSaT5utVQ5Eng"/>
                            </children>
                          </children>
                          <children xsi:type="notation:Compartment" xmi:id="_cr5hUi7CEeSaT5utVQ5Eng" type="StateFigureCompartment"/>
                          <styles xsi:type="notation:ShapeStyle" xmi:id="_cr4TMS7CEeSaT5utVQ5Eng" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
                          <styles xsi:type="notation:FontStyle" xmi:id="_cr4TMi7CEeSaT5utVQ5Eng"/>
                          <styles xsi:type="notation:BooleanValueStyle" xmi:id="_cr5hUy7CEeSaT5utVQ5Eng" name="isHorizontal" booleanValue="true"/>
                          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_cr4TMy7CEeSaT5utVQ5Eng" x="27" y="13"/>
                        </children>
                        <children xmi:id="_igD4UC7CEeSaT5utVQ5Eng" type="Entry" element="_igCDIC7CEeSaT5utVQ5Eng">
                          <children xmi:id="_igEfYC7CEeSaT5utVQ5Eng" type="BorderItemLabelContainer">
                            <children xsi:type="notation:DecorationNode" xmi:id="_igEfYy7CEeSaT5utVQ5Eng" type="BorderItemLabel">
                              <styles xsi:type="notation:ShapeStyle" xmi:id="_igEfZC7CEeSaT5utVQ5Eng"/>
                              <layoutConstraint xsi:type="notation:Location" xmi:id="_igEfZS7CEeSaT5utVQ5Eng"/>
                            </children>
                            <styles xsi:type="notation:ShapeStyle" xmi:id="_igEfYS7CEeSaT5utVQ5Eng" fontName="Verdana" lineColor="4210752"/>
                            <layoutConstraint xsi:type="notation:Bounds" xmi:id="_igEfYi7CEeSaT5utVQ5Eng"/>
                          </children>
                          <styles xsi:type="notation:ShapeStyle" xmi:id="_igD4US7CEeSaT5utVQ5Eng" fontName="Verdana" lineColor="4210752"/>
                          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_igD4Ui7CEeSaT5utVQ5Eng" x="83" y="29"/>
                        </children>
                        <layoutConstraint xsi:type="notation:Bounds" xmi:id="_bToG1C7CEeSaT5utVQ5Eng"/>
                      </children>
                      <styles xsi:type="notation:ShapeStyle" xmi:id="_bTnfwS7CEeSaT5utVQ5Eng" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
                      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_bTnfwi7CEeSaT5utVQ5Eng"/>
                    </children>
                  </children>
                  <styles xsi:type="notation:ShapeStyle" xmi:id="_X37cNy7CEeSaT5utVQ5Eng" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
                  <styles xsi:type="notation:FontStyle" xmi:id="_X37cOC7CEeSaT5utVQ5Eng"/>
                  <styles xsi:type="notation:BooleanValueStyle" xmi:id="_X37cOS7CEeSaT5utVQ5Eng" name="isHorizontal" booleanValue="true"/>
                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_X37cOi7CEeSaT5utVQ5Eng" x="215" y="56" width="136" height="141"/>
                </children>
                <layoutConstraint xsi:type="notation:Bounds" xmi:id="_X37cOy7CEeSaT5utVQ5Eng"/>
              </children>
              <styles xsi:type="notation:ShapeStyle" xmi:id="_X37cPC7CEeSaT5utVQ5Eng" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_X37cPS7CEeSaT5utVQ5Eng"/>
            </children>
          </children>
          <styles xsi:type="notation:ShapeStyle" xmi:id="_VCEPgTA8EeKkkaVMi1n7-A" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
          <styles xsi:type="notation:FontStyle" xmi:id="_VCEPgjA8EeKkkaVMi1n7-A"/>
          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_VCEPgzA8EeKkkaVMi1n7-A" x="141" y="23" width="389" height="283"/>
        </children>
        <layoutConstraint xsi:type="notation:Bounds" xmi:id="_PSIRMDA8EeKkkaVMi1n7-A"/>
      </children>
      <styles xsi:type="notation:ShapeStyle" xmi:id="_PSFN4TA8EeKkkaVMi1n7-A" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_PSIRMTA8EeKkkaVMi1n7-A" x="220" y="10" width="581" height="400"/>
    </children>
    <children xsi:type="notation:Shape" xmi:id="_PSL7kzA8EeKkkaVMi1n7-A" type="StatechartText" fontName="Verdana" lineColor="4210752">
      <children xsi:type="notation:DecorationNode" xmi:id="_PSL7lTA8EeKkkaVMi1n7-A" type="StatechartName">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_PSL7ljA8EeKkkaVMi1n7-A"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_PSL7lzA8EeKkkaVMi1n7-A"/>
      </children>
      <children xsi:type="notation:Shape" xmi:id="_PSL7mDA8EeKkkaVMi1n7-A" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
        <layoutConstraint xsi:type="notation:Bounds" xmi:id="_PSL7mTA8EeKkkaVMi1n7-A"/>
      </children>
      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_PSMioDA8EeKkkaVMi1n7-A" x="10" y="10" width="200" height="400"/>
    </children>
    <styles xsi:type="notation:DiagramStyle" xmi:id="_PSCKkTA8EeKkkaVMi1n7-A"/>
    <edges xmi:id="_PSLUgDA8EeKkkaVMi1n7-A" type="Transition" element="_PSKtcTA8EeKkkaVMi1n7-A" source="_PSIRMzA8EeKkkaVMi1n7-A" target="_PSJfUjA8EeKkkaVMi1n7-A">
      <children xsi:type="notation:DecorationNode" xmi:id="_PSL7kDA8EeKkkaVMi1n7-A" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_PSL7kTA8EeKkkaVMi1n7-A"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_PSL7kjA8EeKkkaVMi1n7-A" y="10"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_PSLUgTA8EeKkkaVMi1n7-A" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_PSLUgzA8EeKkkaVMi1n7-A" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_PSLUgjA8EeKkkaVMi1n7-A" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
    </edges>
    <edges xmi:id="_a1QWIDA8EeKkkaVMi1n7-A" type="Transition" element="_a1PIADA8EeKkkaVMi1n7-A" source="_PSJfUjA8EeKkkaVMi1n7-A" target="_VCEPgDA8EeKkkaVMi1n7-A">
      <children xsi:type="notation:DecorationNode" xmi:id="_a1QWJDA8EeKkkaVMi1n7-A" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_a1QWJTA8EeKkkaVMi1n7-A"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_a1QWJjA8EeKkkaVMi1n7-A" x="-2" y="-7"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_a1QWITA8EeKkkaVMi1n7-A" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_a1QWIzA8EeKkkaVMi1n7-A" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_a1QWIjA8EeKkkaVMi1n7-A" points="[18, -9, -111, 58]$[131, -83, 2, -16]"/>
      <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_tGHeYDA8EeKkkaVMi1n7-A" id="(0.775,0.22413793103448276)"/>
      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_a1SyYDA8EeKkkaVMi1n7-A" id="(0.022222222222222223,0.2297734627831715)"/>
    </edges>
    <edges xmi:id="_bpt48DA8EeKkkaVMi1n7-A" type="Transition" element="_bpsq0DA8EeKkkaVMi1n7-A" source="_X37cBS7CEeSaT5utVQ5Eng" target="_X37cDi7CEeSaT5utVQ5Eng">
      <children xsi:type="notation:DecorationNode" xmi:id="_bpt49DA8EeKkkaVMi1n7-A" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_bpt49TA8EeKkkaVMi1n7-A"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_bpt49jA8EeKkkaVMi1n7-A" y="10"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_bpt48TA8EeKkkaVMi1n7-A" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_bpt48zA8EeKkkaVMi1n7-A" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_bpt48jA8EeKkkaVMi1n7-A" points="[1, 7, -18, -83]$[21, 81, 2, -9]"/>
      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_bpvuIDA8EeKkkaVMi1n7-A" id="(0.35,0.1724137931034483)"/>
    </edges>
    <edges xmi:id="_czRiADA8EeKkkaVMi1n7-A" type="Transition" element="_czQ68DA8EeKkkaVMi1n7-A" source="_X37cDi7CEeSaT5utVQ5Eng" target="_X37cGi7CEeSaT5utVQ5Eng">
      <children xsi:type="notation:DecorationNode" xmi:id="_czSJETA8EeKkkaVMi1n7-A" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_czSJEjA8EeKkkaVMi1n7-A"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_czSJEzA8EeKkkaVMi1n7-A" y="10"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_czRiATA8EeKkkaVMi1n7-A" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_czSJEDA8EeKkkaVMi1n7-A" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_czRiAjA8EeKkkaVMi1n7-A" points="[18, -10, -71, 19]$[56, -29, -33, 0]$[72, -29, -17, 0]"/>
    </edges>
    <edges xmi:id="_gRMaYDA8EeKkkaVMi1n7-A" type="Transition" element="_gRLMQDA8EeKkkaVMi1n7-A" source="_VCEPgDA8EeKkkaVMi1n7-A" target="_PSJfUjA8EeKkkaVMi1n7-A">
      <children xsi:type="notation:DecorationNode" xmi:id="_gRMaZDA8EeKkkaVMi1n7-A" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_gRMaZTA8EeKkkaVMi1n7-A"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_gRMaZjA8EeKkkaVMi1n7-A" y="10"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_gRMaYTA8EeKkkaVMi1n7-A" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_gRMaYzA8EeKkkaVMi1n7-A" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_gRMaYjA8EeKkkaVMi1n7-A" points="[-4, -7, 422, 137]$[-75, -159, 351, -15]$[-417, -144, 9, 0]"/>
      <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_TFUzMC7DEeSaT5utVQ5Eng" id="(0.0019455252918287938,0.3101449275362319)"/>
      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_qeXZADA8EeKkkaVMi1n7-A" id="(0.75,0.7586206896551724)"/>
    </edges>
    <edges xmi:id="_hx8bcDA8EeKkkaVMi1n7-A" type="Transition" element="_hx70YDA8EeKkkaVMi1n7-A" source="_X37cLy7CEeSaT5utVQ5Eng" target="_X37cDi7CEeSaT5utVQ5Eng">
      <children xsi:type="notation:DecorationNode" xmi:id="_hx9CgTA8EeKkkaVMi1n7-A" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_hx9CgjA8EeKkkaVMi1n7-A"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_hx9CgzA8EeKkkaVMi1n7-A" y="-12"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_hx8bcTA8EeKkkaVMi1n7-A" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_hx9CgDA8EeKkkaVMi1n7-A" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_hx8bcjA8EeKkkaVMi1n7-A" points="[-12, 10, 69, 5]$[-77, 13, 4, 8]"/>
      <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_hx-3sDA8EeKkkaVMi1n7-A" id="(0.175,0.6981132075471698)"/>
    </edges>
    <edges xmi:id="_oY1P4DA8EeKkkaVMi1n7-A" type="Transition" element="_oY0BwDA8EeKkkaVMi1n7-A" source="_PSJfUjA8EeKkkaVMi1n7-A" target="_X37cJi7CEeSaT5utVQ5Eng">
      <children xsi:type="notation:DecorationNode" xmi:id="_oY128TA8EeKkkaVMi1n7-A" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_oY128jA8EeKkkaVMi1n7-A"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_oY128zA8EeKkkaVMi1n7-A" x="-49" y="23"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_oY1P4TA8EeKkkaVMi1n7-A" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_oY128DA8EeKkkaVMi1n7-A" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_oY1P4jA8EeKkkaVMi1n7-A" points="[18, 23, -119, -157]$[145, 180, 8, 0]"/>
    </edges>
    <edges xmi:id="_Y5Xq4C7CEeSaT5utVQ5Eng" type="Transition" element="_Y5WcwC7CEeSaT5utVQ5Eng" source="_X37cGi7CEeSaT5utVQ5Eng" target="_X37cLy7CEeSaT5utVQ5Eng">
      <children xsi:type="notation:DecorationNode" xmi:id="_Y5Xq5C7CEeSaT5utVQ5Eng" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_Y5Xq5S7CEeSaT5utVQ5Eng"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_Y5Xq5i7CEeSaT5utVQ5Eng" y="10"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_Y5Xq4S7CEeSaT5utVQ5Eng" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_Y5Xq4y7CEeSaT5utVQ5Eng" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_Y5Xq4i7CEeSaT5utVQ5Eng" points="[6, -2, -89, 1]$[98, -12, 3, -9]"/>
      <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_Y5aHIC7CEeSaT5utVQ5Eng" id="(0.85,0.33962264150943394)"/>
      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_iANTkC7CEeSaT5utVQ5Eng" id="(0.0,0.15602836879432624)"/>
    </edges>
    <edges xmi:id="_jK8oYC7CEeSaT5utVQ5Eng" type="Transition" element="_jK8BUC7CEeSaT5utVQ5Eng" source="_igD4UC7CEeSaT5utVQ5Eng" target="_cr4TMC7CEeSaT5utVQ5Eng">
      <children xsi:type="notation:DecorationNode" xmi:id="_jK9PcS7CEeSaT5utVQ5Eng" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_jK9Pci7CEeSaT5utVQ5Eng"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_jK9Pcy7CEeSaT5utVQ5Eng" y="10"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_jK8oYS7CEeSaT5utVQ5Eng" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_jK9PcC7CEeSaT5utVQ5Eng" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_jK8oYi7CEeSaT5utVQ5Eng" points="[-7, 0, 55, 4]$[-44, 0, 18, 4]"/>
    </edges>
  </notation:Diagram>
</xmi:XMI>