StringExpressions.sct 53 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572
  1. <?xml version="1.0" encoding="UTF-8"?>
  2. <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">
  3. <sgraph:Statechart xmi:id="_GAg-QMUEEeGBt-G4bU7TpQ" specification="interface:&#xD;&#xA;var stringA :string = &quot;A&quot;&#xD;&#xA;var stringA2 :string = &quot;A&quot;&#xD;&#xA;var stringB : string = &quot;B&quot;&#xD;&#xA;&#xD;&#xA;var quotedStringX : string = '&quot;X&quot;'&#xD;&#xA;var quotedStringY : string = &quot;\&quot;Y\&quot;&quot;&#xD;&#xA;&#xD;&#xA;var stringVarEqual : boolean&#xD;&#xA;var stringVarNotEqual : boolean&#xD;&#xA;&#xD;&#xA;var guardStringNotEqual : boolean&#xD;&#xA;var guardStringEqual : boolean&#xD;&#xA;&#xD;&#xA;in event e &#xD;&#xA;" name="StringExpressions">
  4. <regions xmi:id="_GAg-Q8UEEeGBt-G4bU7TpQ" name="main region">
  5. <vertices xsi:type="sgraph:Entry" xmi:id="_GCmo9sUEEeGBt-G4bU7TpQ">
  6. <outgoingTransitions xmi:id="_GCmpEMUEEeGBt-G4bU7TpQ" target="_GCmpAcUEEeGBt-G4bU7TpQ"/>
  7. </vertices>
  8. <vertices xsi:type="sgraph:State" xmi:id="_GCmpAcUEEeGBt-G4bU7TpQ" specification="entry / &#xA;stringVarNotEqual = ! stringA == stringB;&#xA;stringVarEqual = ! stringA != stringA2" name="AssignmentChecked" incomingTransitions="_GCmpEMUEEeGBt-G4bU7TpQ">
  9. <outgoingTransitions xmi:id="_8i7lkASXEeSwkvJRsasmHw" specification="e / stringVarEqual = stringA == stringA2&#xA;" target="_7LWuoASXEeSwkvJRsasmHw"/>
  10. </vertices>
  11. <vertices xsi:type="sgraph:State" xmi:id="_6o46wASXEeSwkvJRsasmHw" specification="" name="Failed" incomingTransitions="_aMjV0ASYEeSwkvJRsasmHw _bERA8ASYEeSwkvJRsasmHw _fYZvoASYEeSwkvJRsasmHw _bE1ncAVCEeSwkvJRsasmHw"/>
  12. <vertices xsi:type="sgraph:Choice" xmi:id="_7LWuoASXEeSwkvJRsasmHw" incomingTransitions="_8i7lkASXEeSwkvJRsasmHw">
  13. <outgoingTransitions xmi:id="_aMjV0ASYEeSwkvJRsasmHw" specification="" target="_6o46wASXEeSwkvJRsasmHw"/>
  14. <outgoingTransitions xmi:id="_sjex8AeaEeSfhcT_1ck-KA" specification="e / stringVarNotEqual = stringA != stringB&#xA;" target="_KUhGIASYEeSwkvJRsasmHw"/>
  15. </vertices>
  16. <vertices xsi:type="sgraph:Choice" xmi:id="_KUhGIASYEeSwkvJRsasmHw" incomingTransitions="_sjex8AeaEeSfhcT_1ck-KA">
  17. <outgoingTransitions xmi:id="_bERA8ASYEeSwkvJRsasmHw" specification="" target="_6o46wASXEeSwkvJRsasmHw"/>
  18. <outgoingTransitions xmi:id="_eYfKwASYEeSwkvJRsasmHw" specification="e [stringA == stringA2] / guardStringEqual = stringA == stringA2&#xA;" target="_ciyNYASYEeSwkvJRsasmHw"/>
  19. </vertices>
  20. <vertices xsi:type="sgraph:Choice" xmi:id="_ciyNYASYEeSwkvJRsasmHw" incomingTransitions="_eYfKwASYEeSwkvJRsasmHw">
  21. <outgoingTransitions xmi:id="_fYZvoASYEeSwkvJRsasmHw" specification="" target="_6o46wASXEeSwkvJRsasmHw"/>
  22. <outgoingTransitions xmi:id="_pnmukASYEeSwkvJRsasmHw" specification="e [stringA != stringB] / guardStringNotEqual = stringA != stringB&#xA;" target="_vJitIASYEeSwkvJRsasmHw"/>
  23. </vertices>
  24. <vertices xsi:type="sgraph:State" xmi:id="_vJitIASYEeSwkvJRsasmHw" name="VarToVarCompareSucceeded" incomingTransitions="_pnmukASYEeSwkvJRsasmHw">
  25. <outgoingTransitions xmi:id="_S-q9YQSZEeSwkvJRsasmHw" specification="e / stringVarEqual = stringA == &quot;A&quot;" target="_S-rkcwSZEeSwkvJRsasmHw"/>
  26. </vertices>
  27. <vertices xsi:type="sgraph:Choice" xmi:id="_S-rkcwSZEeSwkvJRsasmHw" incomingTransitions="_S-q9YQSZEeSwkvJRsasmHw">
  28. <outgoingTransitions xmi:id="_S-rkdASZEeSwkvJRsasmHw" specification="e / stringVarNotEqual = stringA != &quot;B&quot;" target="_S-sLgASZEeSwkvJRsasmHw"/>
  29. <outgoingTransitions xmi:id="_S-rkdQSZEeSwkvJRsasmHw" specification="" target="_he3QYASZEeSwkvJRsasmHw"/>
  30. </vertices>
  31. <vertices xsi:type="sgraph:Choice" xmi:id="_S-sLgASZEeSwkvJRsasmHw" incomingTransitions="_S-rkdASZEeSwkvJRsasmHw">
  32. <outgoingTransitions xmi:id="_S-sLgQSZEeSwkvJRsasmHw" specification="" target="_he3QYASZEeSwkvJRsasmHw"/>
  33. <outgoingTransitions xmi:id="_S-sLggSZEeSwkvJRsasmHw" specification="e [stringA == &quot;A&quot;] / guardStringEqual = stringA == &quot;A&quot;" target="_S-sLgwSZEeSwkvJRsasmHw"/>
  34. </vertices>
  35. <vertices xsi:type="sgraph:Choice" xmi:id="_S-sLgwSZEeSwkvJRsasmHw" incomingTransitions="_S-sLggSZEeSwkvJRsasmHw">
  36. <outgoingTransitions xmi:id="_S-sLhASZEeSwkvJRsasmHw" specification="" target="_he3QYASZEeSwkvJRsasmHw"/>
  37. <outgoingTransitions xmi:id="_S-sLhQSZEeSwkvJRsasmHw" specification="e [stringA != &quot;B&quot;] / guardStringNotEqual = stringA != &quot;B&quot;" target="_S-sLhgSZEeSwkvJRsasmHw"/>
  38. </vertices>
  39. <vertices xsi:type="sgraph:State" xmi:id="_S-sLhgSZEeSwkvJRsasmHw" name="VarToConstCompareSucceeded" incomingTransitions="_S-sLhQSZEeSwkvJRsasmHw">
  40. <outgoingTransitions xmi:id="_ihLIEQVAEeSwkvJRsasmHw" specification="e / stringVarEqual = &quot;A&quot; == stringA" target="_ihTD4AVAEeSwkvJRsasmHw"/>
  41. </vertices>
  42. <vertices xsi:type="sgraph:Choice" xmi:id="_he3QYASZEeSwkvJRsasmHw" incomingTransitions="_S-rkdQSZEeSwkvJRsasmHw _S-sLgQSZEeSwkvJRsasmHw _S-sLhASZEeSwkvJRsasmHw _691rQAVAEeSwkvJRsasmHw">
  43. <outgoingTransitions xmi:id="_bE1ncAVCEeSwkvJRsasmHw" specification="" target="_6o46wASXEeSwkvJRsasmHw"/>
  44. </vertices>
  45. <vertices xsi:type="sgraph:Choice" xmi:id="_ihTD4AVAEeSwkvJRsasmHw" incomingTransitions="_ihLIEQVAEeSwkvJRsasmHw">
  46. <outgoingTransitions xmi:id="_ihTD4QVAEeSwkvJRsasmHw" specification="e / stringVarNotEqual = &quot;A&quot; != stringB" target="_ihTD4wVAEeSwkvJRsasmHw"/>
  47. <outgoingTransitions xmi:id="_ihTD4gVAEeSwkvJRsasmHw" specification="" target="_ihTq8QVAEeSwkvJRsasmHw"/>
  48. </vertices>
  49. <vertices xsi:type="sgraph:Choice" xmi:id="_ihTD4wVAEeSwkvJRsasmHw" incomingTransitions="_ihTD4QVAEeSwkvJRsasmHw">
  50. <outgoingTransitions xmi:id="_ihTD5AVAEeSwkvJRsasmHw" specification="" target="_ihTq8QVAEeSwkvJRsasmHw"/>
  51. <outgoingTransitions xmi:id="_ihTD5QVAEeSwkvJRsasmHw" specification="e [&quot;A&quot; == stringA] / guardStringEqual = &quot;A&quot; == stringA" target="_ihTD5gVAEeSwkvJRsasmHw"/>
  52. </vertices>
  53. <vertices xsi:type="sgraph:Choice" xmi:id="_ihTD5gVAEeSwkvJRsasmHw" incomingTransitions="_ihTD5QVAEeSwkvJRsasmHw">
  54. <outgoingTransitions xmi:id="_ihTD5wVAEeSwkvJRsasmHw" specification="" target="_ihTq8QVAEeSwkvJRsasmHw"/>
  55. <outgoingTransitions xmi:id="_ihTD6AVAEeSwkvJRsasmHw" specification="e [&quot;A&quot; != stringB] / guardStringNotEqual = &quot;A&quot; != stringB" target="_ihTD6QVAEeSwkvJRsasmHw"/>
  56. </vertices>
  57. <vertices xsi:type="sgraph:State" xmi:id="_ihTD6QVAEeSwkvJRsasmHw" name="ConstToVarCompareSucceeded" incomingTransitions="_ihTD6AVAEeSwkvJRsasmHw">
  58. <outgoingTransitions xmi:id="__elSkQVAEeSwkvJRsasmHw" specification="e / stringVarEqual = &quot;A&quot; == &quot;A&quot;" target="__elSkwVAEeSwkvJRsasmHw"/>
  59. </vertices>
  60. <vertices xsi:type="sgraph:Choice" xmi:id="_ihTq8QVAEeSwkvJRsasmHw" incomingTransitions="_ihTD4gVAEeSwkvJRsasmHw _ihTD5AVAEeSwkvJRsasmHw _ihTD5wVAEeSwkvJRsasmHw _FRr5oAVBEeSwkvJRsasmHw">
  61. <outgoingTransitions xmi:id="_691rQAVAEeSwkvJRsasmHw" specification="" target="_he3QYASZEeSwkvJRsasmHw"/>
  62. </vertices>
  63. <vertices xsi:type="sgraph:Choice" xmi:id="__elSkwVAEeSwkvJRsasmHw" incomingTransitions="__elSkQVAEeSwkvJRsasmHw">
  64. <outgoingTransitions xmi:id="__elSlAVAEeSwkvJRsasmHw" specification="e / stringVarNotEqual = &quot;A&quot; != &quot;B&quot;" target="__elSlgVAEeSwkvJRsasmHw"/>
  65. <outgoingTransitions xmi:id="__elSlQVAEeSwkvJRsasmHw" specification="" target="__el5pQVAEeSwkvJRsasmHw"/>
  66. </vertices>
  67. <vertices xsi:type="sgraph:Choice" xmi:id="__elSlgVAEeSwkvJRsasmHw" incomingTransitions="__elSlAVAEeSwkvJRsasmHw">
  68. <outgoingTransitions xmi:id="__elSlwVAEeSwkvJRsasmHw" specification="" target="__el5pQVAEeSwkvJRsasmHw"/>
  69. <outgoingTransitions xmi:id="__elSmAVAEeSwkvJRsasmHw" specification="e [&quot;A&quot; == &quot;A&quot;] / guardStringEqual = &quot;A&quot; == &quot;A&quot;" target="__el5oAVAEeSwkvJRsasmHw"/>
  70. </vertices>
  71. <vertices xsi:type="sgraph:Choice" xmi:id="__el5oAVAEeSwkvJRsasmHw" incomingTransitions="__elSmAVAEeSwkvJRsasmHw">
  72. <outgoingTransitions xmi:id="__el5oQVAEeSwkvJRsasmHw" specification="" target="__el5pQVAEeSwkvJRsasmHw"/>
  73. <outgoingTransitions xmi:id="__el5ogVAEeSwkvJRsasmHw" specification="e [&quot;A&quot; != &quot;B&quot;] / guardStringNotEqual = &quot;A&quot; != &quot;B&quot;" target="__el5owVAEeSwkvJRsasmHw"/>
  74. </vertices>
  75. <vertices xsi:type="sgraph:State" xmi:id="__el5owVAEeSwkvJRsasmHw" name="ConstToConstCompareSucceeded" incomingTransitions="__el5ogVAEeSwkvJRsasmHw"/>
  76. <vertices xsi:type="sgraph:Choice" xmi:id="__el5pQVAEeSwkvJRsasmHw" incomingTransitions="__elSlQVAEeSwkvJRsasmHw __elSlwVAEeSwkvJRsasmHw __el5oQVAEeSwkvJRsasmHw">
  77. <outgoingTransitions xmi:id="_FRr5oAVBEeSwkvJRsasmHw" specification="" target="_ihTq8QVAEeSwkvJRsasmHw"/>
  78. </vertices>
  79. </regions>
  80. </sgraph:Statechart>
  81. <notation:Diagram xmi:id="_GAg-QcUEEeGBt-G4bU7TpQ" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_GAg-QMUEEeGBt-G4bU7TpQ" measurementUnit="Pixel">
  82. <children xmi:id="_GAg-RMUEEeGBt-G4bU7TpQ" type="Region" element="_GAg-Q8UEEeGBt-G4bU7TpQ">
  83. <children xsi:type="notation:DecorationNode" xmi:id="_GCmo8MUEEeGBt-G4bU7TpQ" type="RegionName">
  84. <styles xsi:type="notation:ShapeStyle" xmi:id="_GCmo8cUEEeGBt-G4bU7TpQ"/>
  85. <layoutConstraint xsi:type="notation:Location" xmi:id="_GCmo8sUEEeGBt-G4bU7TpQ"/>
  86. </children>
  87. <children xsi:type="notation:Shape" xmi:id="_GCmo88UEEeGBt-G4bU7TpQ" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  88. <children xmi:id="_GCmo98UEEeGBt-G4bU7TpQ" type="Entry" element="_GCmo9sUEEeGBt-G4bU7TpQ">
  89. <children xmi:id="_GCmo-sUEEeGBt-G4bU7TpQ" type="BorderItemLabelContainer">
  90. <children xsi:type="notation:DecorationNode" xmi:id="_GCmo_cUEEeGBt-G4bU7TpQ" type="BorderItemLabel">
  91. <styles xsi:type="notation:ShapeStyle" xmi:id="_GCmo_sUEEeGBt-G4bU7TpQ"/>
  92. <layoutConstraint xsi:type="notation:Location" xmi:id="_GCmo_8UEEeGBt-G4bU7TpQ"/>
  93. </children>
  94. <styles xsi:type="notation:ShapeStyle" xmi:id="_GCmo-8UEEeGBt-G4bU7TpQ" fontName="Verdana" lineColor="4210752"/>
  95. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_GCmo_MUEEeGBt-G4bU7TpQ"/>
  96. </children>
  97. <styles xsi:type="notation:ShapeStyle" xmi:id="_GCmo-MUEEeGBt-G4bU7TpQ" fontName="Verdana" lineColor="4210752"/>
  98. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_GCmpAMUEEeGBt-G4bU7TpQ" x="86" y="-4"/>
  99. </children>
  100. <children xmi:id="_GCmpA8UEEeGBt-G4bU7TpQ" type="State" element="_GCmpAcUEEeGBt-G4bU7TpQ">
  101. <children xsi:type="notation:DecorationNode" xmi:id="_GCmpB8UEEeGBt-G4bU7TpQ" type="StateName">
  102. <styles xsi:type="notation:ShapeStyle" xmi:id="_GCmpCMUEEeGBt-G4bU7TpQ"/>
  103. <layoutConstraint xsi:type="notation:Location" xmi:id="_GCmpCcUEEeGBt-G4bU7TpQ"/>
  104. </children>
  105. <children xsi:type="notation:Compartment" xmi:id="_GCmpCsUEEeGBt-G4bU7TpQ" type="StateTextCompartment">
  106. <children xsi:type="notation:Shape" xmi:id="_GCmpC8UEEeGBt-G4bU7TpQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  107. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_GCmpDMUEEeGBt-G4bU7TpQ"/>
  108. </children>
  109. </children>
  110. <children xsi:type="notation:Compartment" xmi:id="_GCmpDcUEEeGBt-G4bU7TpQ" type="StateFigureCompartment"/>
  111. <styles xsi:type="notation:ShapeStyle" xmi:id="_GCmpBMUEEeGBt-G4bU7TpQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  112. <styles xsi:type="notation:FontStyle" xmi:id="_GCmpBcUEEeGBt-G4bU7TpQ"/>
  113. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_GCmpDsUEEeGBt-G4bU7TpQ"/>
  114. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_GCmpD8UEEeGBt-G4bU7TpQ" x="-15" y="39"/>
  115. </children>
  116. <children xsi:type="notation:Shape" xmi:id="_1R8RsMUPEeGfjbriQ9CjYQ" type="Note" fontName="Verdana" description="Expectation:&#xD;&#xA;&#xD;&#xA;equal = false&#xD;&#xA;notEqual = true" fillColor="13369343" transparency="0" lineColor="6737151" lineWidth="1">
  117. <children xsi:type="notation:BasicDecorationNode" xmi:id="_1R8RtMUPEeGfjbriQ9CjYQ" type="DiagramName">
  118. <element xsi:nil="true"/>
  119. </children>
  120. <children xsi:type="notation:BasicDecorationNode" xmi:id="_1R8RtcUPEeGfjbriQ9CjYQ" type="Description">
  121. <element xsi:nil="true"/>
  122. </children>
  123. <styles xsi:type="notation:TextStyle" xmi:id="_1R8RscUPEeGfjbriQ9CjYQ"/>
  124. <styles xsi:type="notation:LineTypeStyle" xmi:id="_1R8RssUPEeGfjbriQ9CjYQ"/>
  125. <element xsi:nil="true"/>
  126. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_1R8Rs8UPEeGfjbriQ9CjYQ" x="13" y="452" width="121" height="82"/>
  127. </children>
  128. <children xmi:id="_6o7XAASXEeSwkvJRsasmHw" type="State" element="_6o46wASXEeSwkvJRsasmHw">
  129. <children xsi:type="notation:DecorationNode" xmi:id="_6o9zQASXEeSwkvJRsasmHw" type="StateName">
  130. <styles xsi:type="notation:ShapeStyle" xmi:id="_6o9zQQSXEeSwkvJRsasmHw"/>
  131. <layoutConstraint xsi:type="notation:Location" xmi:id="_6o9zQgSXEeSwkvJRsasmHw"/>
  132. </children>
  133. <children xsi:type="notation:Compartment" xmi:id="_6o-aUASXEeSwkvJRsasmHw" type="StateTextCompartment" collapsed="true">
  134. <children xsi:type="notation:Shape" xmi:id="_6o-aUQSXEeSwkvJRsasmHw" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  135. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_6o-aUgSXEeSwkvJRsasmHw"/>
  136. </children>
  137. </children>
  138. <children xsi:type="notation:Compartment" xmi:id="_6o_BYASXEeSwkvJRsasmHw" type="StateFigureCompartment"/>
  139. <styles xsi:type="notation:ShapeStyle" xmi:id="_6o7XAQSXEeSwkvJRsasmHw" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  140. <styles xsi:type="notation:FontStyle" xmi:id="_6o7XAgSXEeSwkvJRsasmHw"/>
  141. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_6o_BYQSXEeSwkvJRsasmHw" name="isHorizontal" booleanValue="true"/>
  142. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_6o7XAwSXEeSwkvJRsasmHw" x="37" y="111" width="48"/>
  143. </children>
  144. <children xsi:type="notation:Shape" xmi:id="_7LXVsASXEeSwkvJRsasmHw" type="Choice" element="_7LWuoASXEeSwkvJRsasmHw" fontName="Verdana" lineColor="4210752">
  145. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_7LXVsQSXEeSwkvJRsasmHw" x="197" y="107"/>
  146. </children>
  147. <children xsi:type="notation:Shape" xmi:id="_KUhtMASYEeSwkvJRsasmHw" type="Choice" element="_KUhGIASYEeSwkvJRsasmHw" fontName="Verdana" lineColor="4210752">
  148. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_KUhtMQSYEeSwkvJRsasmHw" x="197" y="155"/>
  149. </children>
  150. <children xsi:type="notation:Shape" xmi:id="_ciy0cASYEeSwkvJRsasmHw" type="Choice" element="_ciyNYASYEeSwkvJRsasmHw" fontName="Verdana" lineColor="4210752">
  151. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_ciy0cQSYEeSwkvJRsasmHw" x="197" y="187"/>
  152. </children>
  153. <children xmi:id="_vJj7QASYEeSwkvJRsasmHw" type="State" element="_vJitIASYEeSwkvJRsasmHw">
  154. <children xsi:type="notation:DecorationNode" xmi:id="_vJj7RASYEeSwkvJRsasmHw" type="StateName">
  155. <styles xsi:type="notation:ShapeStyle" xmi:id="_vJj7RQSYEeSwkvJRsasmHw"/>
  156. <layoutConstraint xsi:type="notation:Location" xmi:id="_vJj7RgSYEeSwkvJRsasmHw"/>
  157. </children>
  158. <children xsi:type="notation:Compartment" xmi:id="_vJj7RwSYEeSwkvJRsasmHw" type="StateTextCompartment">
  159. <children xsi:type="notation:Shape" xmi:id="_vJkiUASYEeSwkvJRsasmHw" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  160. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_vJkiUQSYEeSwkvJRsasmHw"/>
  161. </children>
  162. </children>
  163. <children xsi:type="notation:Compartment" xmi:id="_vJkiUgSYEeSwkvJRsasmHw" type="StateFigureCompartment"/>
  164. <styles xsi:type="notation:ShapeStyle" xmi:id="_vJj7QQSYEeSwkvJRsasmHw" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  165. <styles xsi:type="notation:FontStyle" xmi:id="_vJj7QgSYEeSwkvJRsasmHw"/>
  166. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_vJkiUwSYEeSwkvJRsasmHw" name="isHorizontal" booleanValue="true"/>
  167. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_vJj7QwSYEeSwkvJRsasmHw" x="149" y="241"/>
  168. </children>
  169. <children xsi:type="notation:Shape" xmi:id="_S-qWUASZEeSwkvJRsasmHw" type="Choice" element="_S-rkcwSZEeSwkvJRsasmHw" fontName="Verdana" lineColor="4210752">
  170. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_S-qWUQSZEeSwkvJRsasmHw" x="365" y="291"/>
  171. </children>
  172. <children xsi:type="notation:Shape" xmi:id="_S-qWUgSZEeSwkvJRsasmHw" type="Choice" element="_S-sLgASZEeSwkvJRsasmHw" fontName="Verdana" lineColor="4210752">
  173. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_S-qWUwSZEeSwkvJRsasmHw" x="365" y="324"/>
  174. </children>
  175. <children xsi:type="notation:Shape" xmi:id="_S-qWVASZEeSwkvJRsasmHw" type="Choice" element="_S-sLgwSZEeSwkvJRsasmHw" fontName="Verdana" lineColor="4210752">
  176. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_S-qWVQSZEeSwkvJRsasmHw" x="365" y="356"/>
  177. </children>
  178. <children xmi:id="_S-qWVgSZEeSwkvJRsasmHw" type="State" element="_S-sLhgSZEeSwkvJRsasmHw">
  179. <children xsi:type="notation:DecorationNode" xmi:id="_S-qWVwSZEeSwkvJRsasmHw" type="StateName">
  180. <styles xsi:type="notation:ShapeStyle" xmi:id="_S-qWWASZEeSwkvJRsasmHw"/>
  181. <layoutConstraint xsi:type="notation:Location" xmi:id="_S-qWWQSZEeSwkvJRsasmHw"/>
  182. </children>
  183. <children xsi:type="notation:Compartment" xmi:id="_S-qWWgSZEeSwkvJRsasmHw" type="StateTextCompartment">
  184. <children xsi:type="notation:Shape" xmi:id="_S-qWWwSZEeSwkvJRsasmHw" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  185. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_S-qWXASZEeSwkvJRsasmHw"/>
  186. </children>
  187. </children>
  188. <children xsi:type="notation:Compartment" xmi:id="_S-qWXQSZEeSwkvJRsasmHw" type="StateFigureCompartment"/>
  189. <styles xsi:type="notation:ShapeStyle" xmi:id="_S-qWXgSZEeSwkvJRsasmHw" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  190. <styles xsi:type="notation:FontStyle" xmi:id="_S-qWXwSZEeSwkvJRsasmHw"/>
  191. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_S-qWYASZEeSwkvJRsasmHw" name="isHorizontal" booleanValue="true"/>
  192. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_S-qWYQSZEeSwkvJRsasmHw" x="317" y="396"/>
  193. </children>
  194. <children xsi:type="notation:Shape" xmi:id="_he33cASZEeSwkvJRsasmHw" type="Choice" element="_he3QYASZEeSwkvJRsasmHw" fontName="Verdana" lineColor="4210752">
  195. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_he33cQSZEeSwkvJRsasmHw" x="162" y="331"/>
  196. </children>
  197. <children xsi:type="notation:Shape" xmi:id="_ihJ5_AVAEeSwkvJRsasmHw" type="Choice" element="_ihTD4AVAEeSwkvJRsasmHw" fontName="Verdana" lineColor="4210752">
  198. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_ihJ5_QVAEeSwkvJRsasmHw" x="533" y="446"/>
  199. </children>
  200. <children xsi:type="notation:Shape" xmi:id="_ihKhAAVAEeSwkvJRsasmHw" type="Choice" element="_ihTD4wVAEeSwkvJRsasmHw" fontName="Verdana" lineColor="4210752">
  201. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_ihKhAQVAEeSwkvJRsasmHw" x="533" y="479"/>
  202. </children>
  203. <children xsi:type="notation:Shape" xmi:id="_ihKhAgVAEeSwkvJRsasmHw" type="Choice" element="_ihTD5gVAEeSwkvJRsasmHw" fontName="Verdana" lineColor="4210752">
  204. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_ihKhAwVAEeSwkvJRsasmHw" x="533" y="511"/>
  205. </children>
  206. <children xmi:id="_ihKhBAVAEeSwkvJRsasmHw" type="State" element="_ihTD6QVAEeSwkvJRsasmHw">
  207. <children xsi:type="notation:DecorationNode" xmi:id="_ihKhBQVAEeSwkvJRsasmHw" type="StateName">
  208. <styles xsi:type="notation:ShapeStyle" xmi:id="_ihKhBgVAEeSwkvJRsasmHw"/>
  209. <layoutConstraint xsi:type="notation:Location" xmi:id="_ihKhBwVAEeSwkvJRsasmHw"/>
  210. </children>
  211. <children xsi:type="notation:Compartment" xmi:id="_ihKhCAVAEeSwkvJRsasmHw" type="StateTextCompartment">
  212. <children xsi:type="notation:Shape" xmi:id="_ihKhCQVAEeSwkvJRsasmHw" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  213. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_ihKhCgVAEeSwkvJRsasmHw"/>
  214. </children>
  215. </children>
  216. <children xsi:type="notation:Compartment" xmi:id="_ihKhCwVAEeSwkvJRsasmHw" type="StateFigureCompartment"/>
  217. <styles xsi:type="notation:ShapeStyle" xmi:id="_ihKhDAVAEeSwkvJRsasmHw" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  218. <styles xsi:type="notation:FontStyle" xmi:id="_ihKhDQVAEeSwkvJRsasmHw"/>
  219. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_ihKhDgVAEeSwkvJRsasmHw" name="isHorizontal" booleanValue="true"/>
  220. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_ihKhDwVAEeSwkvJRsasmHw" x="485" y="551"/>
  221. </children>
  222. <children xsi:type="notation:Shape" xmi:id="_ihKhEAVAEeSwkvJRsasmHw" type="Choice" element="_ihTq8QVAEeSwkvJRsasmHw" fontName="Verdana" lineColor="4210752">
  223. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_ihKhEQVAEeSwkvJRsasmHw" x="330" y="486"/>
  224. </children>
  225. <children xsi:type="notation:Shape" xmi:id="__ekEfAVAEeSwkvJRsasmHw" type="Choice" element="__elSkwVAEeSwkvJRsasmHw" fontName="Verdana" lineColor="4210752">
  226. <layoutConstraint xsi:type="notation:Bounds" xmi:id="__ekEfQVAEeSwkvJRsasmHw" x="699" y="599"/>
  227. </children>
  228. <children xsi:type="notation:Shape" xmi:id="__ekrgAVAEeSwkvJRsasmHw" type="Choice" element="__elSlgVAEeSwkvJRsasmHw" fontName="Verdana" lineColor="4210752">
  229. <layoutConstraint xsi:type="notation:Bounds" xmi:id="__ekrgQVAEeSwkvJRsasmHw" x="699" y="632"/>
  230. </children>
  231. <children xsi:type="notation:Shape" xmi:id="__ekrggVAEeSwkvJRsasmHw" type="Choice" element="__el5oAVAEeSwkvJRsasmHw" fontName="Verdana" lineColor="4210752">
  232. <layoutConstraint xsi:type="notation:Bounds" xmi:id="__ekrgwVAEeSwkvJRsasmHw" x="699" y="664"/>
  233. </children>
  234. <children xmi:id="__ekrhAVAEeSwkvJRsasmHw" type="State" element="__el5owVAEeSwkvJRsasmHw">
  235. <children xsi:type="notation:DecorationNode" xmi:id="__ekrhQVAEeSwkvJRsasmHw" type="StateName">
  236. <styles xsi:type="notation:ShapeStyle" xmi:id="__ekrhgVAEeSwkvJRsasmHw"/>
  237. <layoutConstraint xsi:type="notation:Location" xmi:id="__ekrhwVAEeSwkvJRsasmHw"/>
  238. </children>
  239. <children xsi:type="notation:Compartment" xmi:id="__ekriAVAEeSwkvJRsasmHw" type="StateTextCompartment">
  240. <children xsi:type="notation:Shape" xmi:id="__ekriQVAEeSwkvJRsasmHw" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  241. <layoutConstraint xsi:type="notation:Bounds" xmi:id="__ekrigVAEeSwkvJRsasmHw"/>
  242. </children>
  243. </children>
  244. <children xsi:type="notation:Compartment" xmi:id="__ekriwVAEeSwkvJRsasmHw" type="StateFigureCompartment"/>
  245. <styles xsi:type="notation:ShapeStyle" xmi:id="__ekrjAVAEeSwkvJRsasmHw" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  246. <styles xsi:type="notation:FontStyle" xmi:id="__ekrjQVAEeSwkvJRsasmHw"/>
  247. <styles xsi:type="notation:BooleanValueStyle" xmi:id="__ekrjgVAEeSwkvJRsasmHw" name="isHorizontal" booleanValue="true"/>
  248. <layoutConstraint xsi:type="notation:Bounds" xmi:id="__ekrjwVAEeSwkvJRsasmHw" x="651" y="704"/>
  249. </children>
  250. <children xsi:type="notation:Shape" xmi:id="__ekrkAVAEeSwkvJRsasmHw" type="Choice" element="__el5pQVAEeSwkvJRsasmHw" fontName="Verdana" lineColor="4210752">
  251. <layoutConstraint xsi:type="notation:Bounds" xmi:id="__ekrkQVAEeSwkvJRsasmHw" x="496" y="639"/>
  252. </children>
  253. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_GCmo9MUEEeGBt-G4bU7TpQ"/>
  254. </children>
  255. <styles xsi:type="notation:ShapeStyle" xmi:id="_GAg-RcUEEeGBt-G4bU7TpQ" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  256. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_GCmo9cUEEeGBt-G4bU7TpQ" x="452" y="20" width="989" height="837"/>
  257. </children>
  258. <children xsi:type="notation:Shape" xmi:id="_GCmpGMUEEeGBt-G4bU7TpQ" type="StatechartText" fontName="Verdana" fontHeight="12" lineColor="4210752">
  259. <children xsi:type="notation:DecorationNode" xmi:id="_GCmpGsUEEeGBt-G4bU7TpQ" type="StatechartName">
  260. <styles xsi:type="notation:ShapeStyle" xmi:id="_GCmpG8UEEeGBt-G4bU7TpQ"/>
  261. <layoutConstraint xsi:type="notation:Location" xmi:id="_GCmpHMUEEeGBt-G4bU7TpQ"/>
  262. </children>
  263. <children xsi:type="notation:Shape" xmi:id="_GCmpHcUEEeGBt-G4bU7TpQ" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
  264. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_GCmpHsUEEeGBt-G4bU7TpQ"/>
  265. </children>
  266. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_GCmpH8UEEeGBt-G4bU7TpQ" x="8" y="5" width="433" height="764"/>
  267. </children>
  268. <styles xsi:type="notation:DiagramStyle" xmi:id="_GAg-QsUEEeGBt-G4bU7TpQ"/>
  269. <edges xmi:id="_GCmpEcUEEeGBt-G4bU7TpQ" type="Transition" element="_GCmpEMUEEeGBt-G4bU7TpQ" source="_GCmo98UEEeGBt-G4bU7TpQ" target="_GCmpA8UEEeGBt-G4bU7TpQ">
  270. <children xsi:type="notation:DecorationNode" xmi:id="_GCmpFcUEEeGBt-G4bU7TpQ" type="TransitionExpression">
  271. <styles xsi:type="notation:ShapeStyle" xmi:id="_GCmpFsUEEeGBt-G4bU7TpQ"/>
  272. <layoutConstraint xsi:type="notation:Location" xmi:id="_GCmpF8UEEeGBt-G4bU7TpQ" y="10"/>
  273. </children>
  274. <styles xsi:type="notation:ConnectorStyle" xmi:id="_GCmpEsUEEeGBt-G4bU7TpQ" lineColor="4210752"/>
  275. <styles xsi:type="notation:FontStyle" xmi:id="_GCmpFMUEEeGBt-G4bU7TpQ" fontName="Verdana"/>
  276. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_GCmpE8UEEeGBt-G4bU7TpQ" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
  277. </edges>
  278. <edges xmi:id="_8i-B0ASXEeSwkvJRsasmHw" type="Transition" element="_8i7lkASXEeSwkvJRsasmHw" source="_GCmpA8UEEeGBt-G4bU7TpQ" target="_7LXVsASXEeSwkvJRsasmHw">
  279. <children xsi:type="notation:DecorationNode" xmi:id="_8i-B1ASXEeSwkvJRsasmHw" type="TransitionExpression">
  280. <styles xsi:type="notation:ShapeStyle" xmi:id="_8i-B1QSXEeSwkvJRsasmHw"/>
  281. <layoutConstraint xsi:type="notation:Location" xmi:id="_8i-o4ASXEeSwkvJRsasmHw" x="-44" y="-97"/>
  282. </children>
  283. <styles xsi:type="notation:ConnectorStyle" xmi:id="_8i-B0QSXEeSwkvJRsasmHw" lineColor="4210752"/>
  284. <styles xsi:type="notation:FontStyle" xmi:id="_8i-B0wSXEeSwkvJRsasmHw" fontName="Verdana"/>
  285. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_8i-B0gSXEeSwkvJRsasmHw" points="[7, 10, -54, -31]$[61, 10, 0, -31]$[61, 34, 0, -7]"/>
  286. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_8jBFIASXEeSwkvJRsasmHw" id="(0.940677966101695,0.2830188679245283)"/>
  287. </edges>
  288. <edges xmi:id="_aMkj8ASYEeSwkvJRsasmHw" type="Transition" element="_aMjV0ASYEeSwkvJRsasmHw" source="_7LXVsASXEeSwkvJRsasmHw" target="_6o7XAASXEeSwkvJRsasmHw">
  289. <children xsi:type="notation:DecorationNode" xmi:id="_aMlLAASYEeSwkvJRsasmHw" type="TransitionExpression">
  290. <styles xsi:type="notation:ShapeStyle" xmi:id="_aMlLAQSYEeSwkvJRsasmHw"/>
  291. <layoutConstraint xsi:type="notation:Location" xmi:id="_aMlLAgSYEeSwkvJRsasmHw" y="10"/>
  292. </children>
  293. <styles xsi:type="notation:ConnectorStyle" xmi:id="_aMkj8QSYEeSwkvJRsasmHw" lineColor="4210752"/>
  294. <styles xsi:type="notation:FontStyle" xmi:id="_aMkj8wSYEeSwkvJRsasmHw" fontName="Verdana"/>
  295. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_aMkj8gSYEeSwkvJRsasmHw" points="[-7, 3, 132, -51]$[-117, 50, 22, -4]"/>
  296. </edges>
  297. <edges xmi:id="_bESPEASYEeSwkvJRsasmHw" type="Transition" element="_bERA8ASYEeSwkvJRsasmHw" source="_KUhtMASYEeSwkvJRsasmHw" target="_6o7XAASXEeSwkvJRsasmHw">
  298. <children xsi:type="notation:DecorationNode" xmi:id="_bES2IASYEeSwkvJRsasmHw" type="TransitionExpression">
  299. <styles xsi:type="notation:ShapeStyle" xmi:id="_bES2IQSYEeSwkvJRsasmHw"/>
  300. <layoutConstraint xsi:type="notation:Location" xmi:id="_bES2IgSYEeSwkvJRsasmHw" y="10"/>
  301. </children>
  302. <styles xsi:type="notation:ConnectorStyle" xmi:id="_bESPEQSYEeSwkvJRsasmHw" lineColor="4210752"/>
  303. <styles xsi:type="notation:FontStyle" xmi:id="_bESPEwSYEeSwkvJRsasmHw" fontName="Verdana"/>
  304. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_bESPEgSYEeSwkvJRsasmHw" points="[-7, 1, 132, -20]$[-117, 21, 22, 0]"/>
  305. </edges>
  306. <edges xmi:id="_eYfx0ASYEeSwkvJRsasmHw" type="Transition" element="_eYfKwASYEeSwkvJRsasmHw" source="_KUhtMASYEeSwkvJRsasmHw" target="_ciy0cASYEeSwkvJRsasmHw">
  307. <children xsi:type="notation:DecorationNode" xmi:id="_eYgY4QSYEeSwkvJRsasmHw" type="TransitionExpression">
  308. <styles xsi:type="notation:ShapeStyle" xmi:id="_eYgY4gSYEeSwkvJRsasmHw"/>
  309. <layoutConstraint xsi:type="notation:Location" xmi:id="_eYgY4wSYEeSwkvJRsasmHw" y="-159"/>
  310. </children>
  311. <styles xsi:type="notation:ConnectorStyle" xmi:id="_eYfx0QSYEeSwkvJRsasmHw" lineColor="4210752"/>
  312. <styles xsi:type="notation:FontStyle" xmi:id="_eYgY4ASYEeSwkvJRsasmHw" fontName="Verdana"/>
  313. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_eYfx0gSYEeSwkvJRsasmHw" points="[0, 8, 0, -24]$[0, 40, 0, 8]"/>
  314. </edges>
  315. <edges xmi:id="_fYaWsASYEeSwkvJRsasmHw" type="Transition" element="_fYZvoASYEeSwkvJRsasmHw" source="_ciy0cASYEeSwkvJRsasmHw" target="_6o7XAASXEeSwkvJRsasmHw">
  316. <children xsi:type="notation:DecorationNode" xmi:id="_fYa9wQSYEeSwkvJRsasmHw" type="TransitionExpression">
  317. <styles xsi:type="notation:ShapeStyle" xmi:id="_fYa9wgSYEeSwkvJRsasmHw"/>
  318. <layoutConstraint xsi:type="notation:Location" xmi:id="_fYa9wwSYEeSwkvJRsasmHw" y="10"/>
  319. </children>
  320. <styles xsi:type="notation:ConnectorStyle" xmi:id="_fYaWsQSYEeSwkvJRsasmHw" lineColor="4210752"/>
  321. <styles xsi:type="notation:FontStyle" xmi:id="_fYa9wASYEeSwkvJRsasmHw" fontName="Verdana"/>
  322. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_fYaWsgSYEeSwkvJRsasmHw" points="[-7, -7, 139, 4]$[-124, -7, 22, 4]"/>
  323. </edges>
  324. <edges xmi:id="_pnnVoASYEeSwkvJRsasmHw" type="Transition" element="_pnmukASYEeSwkvJRsasmHw" source="_ciy0cASYEeSwkvJRsasmHw" target="_vJj7QASYEeSwkvJRsasmHw">
  325. <children xsi:type="notation:DecorationNode" xmi:id="_pnn8sQSYEeSwkvJRsasmHw" type="TransitionExpression">
  326. <styles xsi:type="notation:ShapeStyle" xmi:id="_pnn8sgSYEeSwkvJRsasmHw"/>
  327. <layoutConstraint xsi:type="notation:Location" xmi:id="_pnn8swSYEeSwkvJRsasmHw" y="-160"/>
  328. </children>
  329. <styles xsi:type="notation:ConnectorStyle" xmi:id="_pnnVoQSYEeSwkvJRsasmHw" lineColor="4210752"/>
  330. <styles xsi:type="notation:FontStyle" xmi:id="_pnn8sASYEeSwkvJRsasmHw" fontName="Verdana"/>
  331. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_pnnVogSYEeSwkvJRsasmHw" points="[-5, 8, 0, -33]$[-5, 19, 0, -22]$[-5, 33, 0, -8]"/>
  332. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_3Ew3QASYEeSwkvJRsasmHw" id="(0.8666666666666667,0.6666666666666666)"/>
  333. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_pnpx4ASYEeSwkvJRsasmHw" id="(0.3225806451612903,0.16981132075471697)"/>
  334. </edges>
  335. <edges xmi:id="_S-sykASZEeSwkvJRsasmHw" type="Transition" element="_S-q9YQSZEeSwkvJRsasmHw" source="_vJj7QASYEeSwkvJRsasmHw" target="_S-qWUASZEeSwkvJRsasmHw">
  336. <children xsi:type="notation:DecorationNode" xmi:id="_S-sykQSZEeSwkvJRsasmHw" type="TransitionExpression">
  337. <styles xsi:type="notation:ShapeStyle" xmi:id="_S-sykgSZEeSwkvJRsasmHw"/>
  338. <layoutConstraint xsi:type="notation:Location" xmi:id="_S-sykwSZEeSwkvJRsasmHw" x="110" y="14"/>
  339. </children>
  340. <styles xsi:type="notation:ConnectorStyle" xmi:id="_S-sylASZEeSwkvJRsasmHw" lineColor="4210752"/>
  341. <styles xsi:type="notation:FontStyle" xmi:id="_S-sylQSZEeSwkvJRsasmHw" fontName="Verdana"/>
  342. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_S-sylgSZEeSwkvJRsasmHw" points="[13, 8, -67, -38]$[80, 8, 0, -38]$[80, 39, 0, -7]"/>
  343. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_S-sylwSZEeSwkvJRsasmHw" id="(0.9192546583850931,0.24528301886792453)"/>
  344. </edges>
  345. <edges xmi:id="_S-symASZEeSwkvJRsasmHw" type="Transition" element="_S-rkdASZEeSwkvJRsasmHw" source="_S-qWUASZEeSwkvJRsasmHw" target="_S-qWUgSZEeSwkvJRsasmHw">
  346. <children xsi:type="notation:DecorationNode" xmi:id="_S-symQSZEeSwkvJRsasmHw" type="TransitionExpression">
  347. <styles xsi:type="notation:ShapeStyle" xmi:id="_S-symgSZEeSwkvJRsasmHw"/>
  348. <layoutConstraint xsi:type="notation:Location" xmi:id="_S-symwSZEeSwkvJRsasmHw" x="-4" y="-95"/>
  349. </children>
  350. <styles xsi:type="notation:ConnectorStyle" xmi:id="_S-synASZEeSwkvJRsasmHw" lineColor="4210752"/>
  351. <styles xsi:type="notation:FontStyle" xmi:id="_S-synQSZEeSwkvJRsasmHw" fontName="Verdana"/>
  352. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_S-syngSZEeSwkvJRsasmHw" points="[0, 8, 0, -25]$[0, 41, 0, 8]"/>
  353. </edges>
  354. <edges xmi:id="_S-synwSZEeSwkvJRsasmHw" type="Transition" element="_S-rkdQSZEeSwkvJRsasmHw" source="_S-qWUASZEeSwkvJRsasmHw" target="_he33cASZEeSwkvJRsasmHw">
  355. <children xsi:type="notation:DecorationNode" xmi:id="_S-syoASZEeSwkvJRsasmHw" type="TransitionExpression">
  356. <styles xsi:type="notation:ShapeStyle" xmi:id="_S-syoQSZEeSwkvJRsasmHw"/>
  357. <layoutConstraint xsi:type="notation:Location" xmi:id="_S-syogSZEeSwkvJRsasmHw" y="10"/>
  358. </children>
  359. <styles xsi:type="notation:ConnectorStyle" xmi:id="_S-syowSZEeSwkvJRsasmHw" lineColor="4210752"/>
  360. <styles xsi:type="notation:FontStyle" xmi:id="_S-sypASZEeSwkvJRsasmHw" fontName="Verdana"/>
  361. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_S-tZoASZEeSwkvJRsasmHw" points="[-7, 3, 132, -51]$[-117, 50, 22, -4]"/>
  362. </edges>
  363. <edges xmi:id="_S-tZoQSZEeSwkvJRsasmHw" type="Transition" element="_S-sLgQSZEeSwkvJRsasmHw" source="_S-qWUgSZEeSwkvJRsasmHw" target="_he33cASZEeSwkvJRsasmHw">
  364. <children xsi:type="notation:DecorationNode" xmi:id="_S-tZogSZEeSwkvJRsasmHw" type="TransitionExpression">
  365. <styles xsi:type="notation:ShapeStyle" xmi:id="_S-tZowSZEeSwkvJRsasmHw"/>
  366. <layoutConstraint xsi:type="notation:Location" xmi:id="_S-tZpASZEeSwkvJRsasmHw" y="10"/>
  367. </children>
  368. <styles xsi:type="notation:ConnectorStyle" xmi:id="_S-tZpQSZEeSwkvJRsasmHw" lineColor="4210752"/>
  369. <styles xsi:type="notation:FontStyle" xmi:id="_S-tZpgSZEeSwkvJRsasmHw" fontName="Verdana"/>
  370. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_S-tZpwSZEeSwkvJRsasmHw" points="[-7, 1, 132, -20]$[-117, 21, 22, 0]"/>
  371. </edges>
  372. <edges xmi:id="_S-tZqASZEeSwkvJRsasmHw" type="Transition" element="_S-sLggSZEeSwkvJRsasmHw" source="_S-qWUgSZEeSwkvJRsasmHw" target="_S-qWVASZEeSwkvJRsasmHw">
  373. <children xsi:type="notation:DecorationNode" xmi:id="_S-tZqQSZEeSwkvJRsasmHw" type="TransitionExpression">
  374. <styles xsi:type="notation:ShapeStyle" xmi:id="_S-tZqgSZEeSwkvJRsasmHw"/>
  375. <layoutConstraint xsi:type="notation:Location" xmi:id="_S-tZqwSZEeSwkvJRsasmHw" x="-4" y="-137"/>
  376. </children>
  377. <styles xsi:type="notation:ConnectorStyle" xmi:id="_S-tZrASZEeSwkvJRsasmHw" lineColor="4210752"/>
  378. <styles xsi:type="notation:FontStyle" xmi:id="_S-tZrQSZEeSwkvJRsasmHw" fontName="Verdana"/>
  379. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_S-tZrgSZEeSwkvJRsasmHw" points="[0, 8, 0, -24]$[0, 40, 0, 8]"/>
  380. </edges>
  381. <edges xmi:id="_S-uAsASZEeSwkvJRsasmHw" type="Transition" element="_S-sLhASZEeSwkvJRsasmHw" source="_S-qWVASZEeSwkvJRsasmHw" target="_he33cASZEeSwkvJRsasmHw">
  382. <children xsi:type="notation:DecorationNode" xmi:id="_S-uAsQSZEeSwkvJRsasmHw" type="TransitionExpression">
  383. <styles xsi:type="notation:ShapeStyle" xmi:id="_S-uAsgSZEeSwkvJRsasmHw"/>
  384. <layoutConstraint xsi:type="notation:Location" xmi:id="_S-uAswSZEeSwkvJRsasmHw" y="10"/>
  385. </children>
  386. <styles xsi:type="notation:ConnectorStyle" xmi:id="_S-uAtASZEeSwkvJRsasmHw" lineColor="4210752"/>
  387. <styles xsi:type="notation:FontStyle" xmi:id="_S-uAtQSZEeSwkvJRsasmHw" fontName="Verdana"/>
  388. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_S-uAtgSZEeSwkvJRsasmHw" points="[-7, -7, 139, 4]$[-124, -7, 22, 4]"/>
  389. </edges>
  390. <edges xmi:id="_S-uAtwSZEeSwkvJRsasmHw" type="Transition" element="_S-sLhQSZEeSwkvJRsasmHw" source="_S-qWVASZEeSwkvJRsasmHw" target="_S-qWVgSZEeSwkvJRsasmHw">
  391. <children xsi:type="notation:DecorationNode" xmi:id="_S-uAuASZEeSwkvJRsasmHw" type="TransitionExpression">
  392. <styles xsi:type="notation:ShapeStyle" xmi:id="_S-uAuQSZEeSwkvJRsasmHw"/>
  393. <layoutConstraint xsi:type="notation:Location" xmi:id="_S-uAugSZEeSwkvJRsasmHw" x="-8" y="-146"/>
  394. </children>
  395. <styles xsi:type="notation:ConnectorStyle" xmi:id="_S-uAuwSZEeSwkvJRsasmHw" lineColor="4210752"/>
  396. <styles xsi:type="notation:FontStyle" xmi:id="_S-uAvASZEeSwkvJRsasmHw" fontName="Verdana"/>
  397. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_S-uAvQSZEeSwkvJRsasmHw" points="[-5, 8, 0, -33]$[-5, 19, 0, -22]$[-5, 33, 0, -8]"/>
  398. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_S-uAvgSZEeSwkvJRsasmHw" id="(0.8666666666666667,0.6666666666666666)"/>
  399. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_S-uAvwSZEeSwkvJRsasmHw" id="(0.3225806451612903,0.16981132075471697)"/>
  400. </edges>
  401. <edges xmi:id="_ihTq8wVAEeSwkvJRsasmHw" type="Transition" element="_ihLIEQVAEeSwkvJRsasmHw" source="_S-qWVgSZEeSwkvJRsasmHw" target="_ihJ5_AVAEeSwkvJRsasmHw">
  402. <children xsi:type="notation:DecorationNode" xmi:id="_ihTq9AVAEeSwkvJRsasmHw" type="TransitionExpression">
  403. <styles xsi:type="notation:ShapeStyle" xmi:id="_ihTq9QVAEeSwkvJRsasmHw"/>
  404. <layoutConstraint xsi:type="notation:Location" xmi:id="_ihTq9gVAEeSwkvJRsasmHw" x="110" y="14"/>
  405. </children>
  406. <styles xsi:type="notation:ConnectorStyle" xmi:id="_ihTq9wVAEeSwkvJRsasmHw" lineColor="4210752"/>
  407. <styles xsi:type="notation:FontStyle" xmi:id="_ihTq-AVAEeSwkvJRsasmHw" fontName="Verdana"/>
  408. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_ihTq-QVAEeSwkvJRsasmHw" points="[13, 8, -67, -38]$[80, 8, 0, -38]$[80, 39, 0, -7]"/>
  409. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_ihTq-gVAEeSwkvJRsasmHw" id="(0.872093023255814,0.33962264150943394)"/>
  410. </edges>
  411. <edges xmi:id="_ihTq-wVAEeSwkvJRsasmHw" type="Transition" element="_ihTD4QVAEeSwkvJRsasmHw" source="_ihJ5_AVAEeSwkvJRsasmHw" target="_ihKhAAVAEeSwkvJRsasmHw">
  412. <children xsi:type="notation:DecorationNode" xmi:id="_ihTq_AVAEeSwkvJRsasmHw" type="TransitionExpression">
  413. <styles xsi:type="notation:ShapeStyle" xmi:id="_ihTq_QVAEeSwkvJRsasmHw"/>
  414. <layoutConstraint xsi:type="notation:Location" xmi:id="_ihTq_gVAEeSwkvJRsasmHw" x="-4" y="-105"/>
  415. </children>
  416. <styles xsi:type="notation:ConnectorStyle" xmi:id="_ihUSAAVAEeSwkvJRsasmHw" lineColor="4210752"/>
  417. <styles xsi:type="notation:FontStyle" xmi:id="_ihUSAQVAEeSwkvJRsasmHw" fontName="Verdana"/>
  418. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_ihUSAgVAEeSwkvJRsasmHw" points="[0, 8, 0, -25]$[0, 41, 0, 8]"/>
  419. </edges>
  420. <edges xmi:id="_ihUSAwVAEeSwkvJRsasmHw" type="Transition" element="_ihTD4gVAEeSwkvJRsasmHw" source="_ihJ5_AVAEeSwkvJRsasmHw" target="_ihKhEAVAEeSwkvJRsasmHw">
  421. <children xsi:type="notation:DecorationNode" xmi:id="_ihUSBAVAEeSwkvJRsasmHw" type="TransitionExpression">
  422. <styles xsi:type="notation:ShapeStyle" xmi:id="_ihUSBQVAEeSwkvJRsasmHw"/>
  423. <layoutConstraint xsi:type="notation:Location" xmi:id="_ihUSBgVAEeSwkvJRsasmHw" y="10"/>
  424. </children>
  425. <styles xsi:type="notation:ConnectorStyle" xmi:id="_ihUSBwVAEeSwkvJRsasmHw" lineColor="4210752"/>
  426. <styles xsi:type="notation:FontStyle" xmi:id="_ihUSCAVAEeSwkvJRsasmHw" fontName="Verdana"/>
  427. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_ihUSCQVAEeSwkvJRsasmHw" points="[-7, 3, 132, -51]$[-117, 50, 22, -4]"/>
  428. </edges>
  429. <edges xmi:id="_ihU5EAVAEeSwkvJRsasmHw" type="Transition" element="_ihTD5AVAEeSwkvJRsasmHw" source="_ihKhAAVAEeSwkvJRsasmHw" target="_ihKhEAVAEeSwkvJRsasmHw">
  430. <children xsi:type="notation:DecorationNode" xmi:id="_ihU5EQVAEeSwkvJRsasmHw" type="TransitionExpression">
  431. <styles xsi:type="notation:ShapeStyle" xmi:id="_ihU5EgVAEeSwkvJRsasmHw"/>
  432. <layoutConstraint xsi:type="notation:Location" xmi:id="_ihU5EwVAEeSwkvJRsasmHw" y="10"/>
  433. </children>
  434. <styles xsi:type="notation:ConnectorStyle" xmi:id="_ihU5FAVAEeSwkvJRsasmHw" lineColor="4210752"/>
  435. <styles xsi:type="notation:FontStyle" xmi:id="_ihU5FQVAEeSwkvJRsasmHw" fontName="Verdana"/>
  436. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_ihU5FgVAEeSwkvJRsasmHw" points="[-7, 1, 132, -20]$[-117, 21, 22, 0]"/>
  437. </edges>
  438. <edges xmi:id="_ihU5FwVAEeSwkvJRsasmHw" type="Transition" element="_ihTD5QVAEeSwkvJRsasmHw" source="_ihKhAAVAEeSwkvJRsasmHw" target="_ihKhAgVAEeSwkvJRsasmHw">
  439. <children xsi:type="notation:DecorationNode" xmi:id="_ihU5GAVAEeSwkvJRsasmHw" type="TransitionExpression">
  440. <styles xsi:type="notation:ShapeStyle" xmi:id="_ihU5GQVAEeSwkvJRsasmHw"/>
  441. <layoutConstraint xsi:type="notation:Location" xmi:id="_ihU5GgVAEeSwkvJRsasmHw" x="-4" y="-137"/>
  442. </children>
  443. <styles xsi:type="notation:ConnectorStyle" xmi:id="_ihU5GwVAEeSwkvJRsasmHw" lineColor="4210752"/>
  444. <styles xsi:type="notation:FontStyle" xmi:id="_ihU5HAVAEeSwkvJRsasmHw" fontName="Verdana"/>
  445. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_ihU5HQVAEeSwkvJRsasmHw" points="[0, 8, 0, -24]$[0, 40, 0, 8]"/>
  446. </edges>
  447. <edges xmi:id="_ihU5HgVAEeSwkvJRsasmHw" type="Transition" element="_ihTD5wVAEeSwkvJRsasmHw" source="_ihKhAgVAEeSwkvJRsasmHw" target="_ihKhEAVAEeSwkvJRsasmHw">
  448. <children xsi:type="notation:DecorationNode" xmi:id="_ihU5HwVAEeSwkvJRsasmHw" type="TransitionExpression">
  449. <styles xsi:type="notation:ShapeStyle" xmi:id="_ihU5IAVAEeSwkvJRsasmHw"/>
  450. <layoutConstraint xsi:type="notation:Location" xmi:id="_ihU5IQVAEeSwkvJRsasmHw" y="10"/>
  451. </children>
  452. <styles xsi:type="notation:ConnectorStyle" xmi:id="_ihU5IgVAEeSwkvJRsasmHw" lineColor="4210752"/>
  453. <styles xsi:type="notation:FontStyle" xmi:id="_ihU5IwVAEeSwkvJRsasmHw" fontName="Verdana"/>
  454. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_ihU5JAVAEeSwkvJRsasmHw" points="[-7, -7, 139, 4]$[-124, -7, 22, 4]"/>
  455. </edges>
  456. <edges xmi:id="_ihVgIAVAEeSwkvJRsasmHw" type="Transition" element="_ihTD6AVAEeSwkvJRsasmHw" source="_ihKhAgVAEeSwkvJRsasmHw" target="_ihKhBAVAEeSwkvJRsasmHw">
  457. <children xsi:type="notation:DecorationNode" xmi:id="_ihVgIQVAEeSwkvJRsasmHw" type="TransitionExpression">
  458. <styles xsi:type="notation:ShapeStyle" xmi:id="_ihVgIgVAEeSwkvJRsasmHw"/>
  459. <layoutConstraint xsi:type="notation:Location" xmi:id="_ihVgIwVAEeSwkvJRsasmHw" x="-8" y="-146"/>
  460. </children>
  461. <styles xsi:type="notation:ConnectorStyle" xmi:id="_ihVgJAVAEeSwkvJRsasmHw" lineColor="4210752"/>
  462. <styles xsi:type="notation:FontStyle" xmi:id="_ihVgJQVAEeSwkvJRsasmHw" fontName="Verdana"/>
  463. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_ihVgJgVAEeSwkvJRsasmHw" points="[-5, 8, 0, -33]$[-5, 19, 0, -22]$[-5, 33, 0, -8]"/>
  464. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_ihVgJwVAEeSwkvJRsasmHw" id="(0.8666666666666667,0.6666666666666666)"/>
  465. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_ihVgKAVAEeSwkvJRsasmHw" id="(0.3225806451612903,0.16981132075471697)"/>
  466. </edges>
  467. <edges xmi:id="_6925YAVAEeSwkvJRsasmHw" type="Transition" element="_691rQAVAEeSwkvJRsasmHw" source="_ihKhEAVAEeSwkvJRsasmHw" target="_he33cASZEeSwkvJRsasmHw">
  468. <children xsi:type="notation:DecorationNode" xmi:id="_6925ZAVAEeSwkvJRsasmHw" type="TransitionExpression">
  469. <styles xsi:type="notation:ShapeStyle" xmi:id="_6925ZQVAEeSwkvJRsasmHw"/>
  470. <layoutConstraint xsi:type="notation:Location" xmi:id="_6925ZgVAEeSwkvJRsasmHw" y="10"/>
  471. </children>
  472. <styles xsi:type="notation:ConnectorStyle" xmi:id="_6925YQVAEeSwkvJRsasmHw" lineColor="4210752"/>
  473. <styles xsi:type="notation:FontStyle" xmi:id="_6925YwVAEeSwkvJRsasmHw" fontName="Verdana"/>
  474. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_6925YgVAEeSwkvJRsasmHw" points="[-7, 0, 161, 155]$[-168, 0, 0, 155]$[-168, -147, 0, 8]"/>
  475. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_sJ0n4AVBEeSwkvJRsasmHw" id="(0.26666666666666666,0.13333333333333333)"/>
  476. </edges>
  477. <edges xmi:id="__el5pwVAEeSwkvJRsasmHw" type="Transition" element="__elSkQVAEeSwkvJRsasmHw" source="_ihKhBAVAEeSwkvJRsasmHw" target="__ekEfAVAEeSwkvJRsasmHw">
  478. <children xsi:type="notation:DecorationNode" xmi:id="__el5qAVAEeSwkvJRsasmHw" type="TransitionExpression">
  479. <styles xsi:type="notation:ShapeStyle" xmi:id="__el5qQVAEeSwkvJRsasmHw"/>
  480. <layoutConstraint xsi:type="notation:Location" xmi:id="__el5qgVAEeSwkvJRsasmHw" x="110" y="14"/>
  481. </children>
  482. <styles xsi:type="notation:ConnectorStyle" xmi:id="__el5qwVAEeSwkvJRsasmHw" lineColor="4210752"/>
  483. <styles xsi:type="notation:FontStyle" xmi:id="__el5rAVAEeSwkvJRsasmHw" fontName="Verdana"/>
  484. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="__el5rQVAEeSwkvJRsasmHw" points="[13, 8, -67, -38]$[80, 8, 0, -38]$[80, 39, 0, -7]"/>
  485. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="__el5rgVAEeSwkvJRsasmHw" id="(0.8313953488372093,0.2641509433962264)"/>
  486. </edges>
  487. <edges xmi:id="__emgsAVAEeSwkvJRsasmHw" type="Transition" element="__elSlAVAEeSwkvJRsasmHw" source="__ekEfAVAEeSwkvJRsasmHw" target="__ekrgAVAEeSwkvJRsasmHw">
  488. <children xsi:type="notation:DecorationNode" xmi:id="__emgsQVAEeSwkvJRsasmHw" type="TransitionExpression">
  489. <styles xsi:type="notation:ShapeStyle" xmi:id="__emgsgVAEeSwkvJRsasmHw"/>
  490. <layoutConstraint xsi:type="notation:Location" xmi:id="__emgswVAEeSwkvJRsasmHw" x="-4" y="-95"/>
  491. </children>
  492. <styles xsi:type="notation:ConnectorStyle" xmi:id="__emgtAVAEeSwkvJRsasmHw" lineColor="4210752"/>
  493. <styles xsi:type="notation:FontStyle" xmi:id="__enHwAVAEeSwkvJRsasmHw" fontName="Verdana"/>
  494. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="__enHwQVAEeSwkvJRsasmHw" points="[0, 8, 0, -25]$[0, 41, 0, 8]"/>
  495. </edges>
  496. <edges xmi:id="__enu0AVAEeSwkvJRsasmHw" type="Transition" element="__elSlQVAEeSwkvJRsasmHw" source="__ekEfAVAEeSwkvJRsasmHw" target="__ekrkAVAEeSwkvJRsasmHw">
  497. <children xsi:type="notation:DecorationNode" xmi:id="__enu0QVAEeSwkvJRsasmHw" type="TransitionExpression">
  498. <styles xsi:type="notation:ShapeStyle" xmi:id="__enu0gVAEeSwkvJRsasmHw"/>
  499. <layoutConstraint xsi:type="notation:Location" xmi:id="__enu0wVAEeSwkvJRsasmHw" y="10"/>
  500. </children>
  501. <styles xsi:type="notation:ConnectorStyle" xmi:id="__enu1AVAEeSwkvJRsasmHw" lineColor="4210752"/>
  502. <styles xsi:type="notation:FontStyle" xmi:id="__enu1QVAEeSwkvJRsasmHw" fontName="Verdana"/>
  503. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="__enu1gVAEeSwkvJRsasmHw" points="[-7, 3, 132, -51]$[-117, 50, 22, -4]"/>
  504. </edges>
  505. <edges xmi:id="__enu1wVAEeSwkvJRsasmHw" type="Transition" element="__elSlwVAEeSwkvJRsasmHw" source="__ekrgAVAEeSwkvJRsasmHw" target="__ekrkAVAEeSwkvJRsasmHw">
  506. <children xsi:type="notation:DecorationNode" xmi:id="__enu2AVAEeSwkvJRsasmHw" type="TransitionExpression">
  507. <styles xsi:type="notation:ShapeStyle" xmi:id="__enu2QVAEeSwkvJRsasmHw"/>
  508. <layoutConstraint xsi:type="notation:Location" xmi:id="__enu2gVAEeSwkvJRsasmHw" y="10"/>
  509. </children>
  510. <styles xsi:type="notation:ConnectorStyle" xmi:id="__enu2wVAEeSwkvJRsasmHw" lineColor="4210752"/>
  511. <styles xsi:type="notation:FontStyle" xmi:id="__enu3AVAEeSwkvJRsasmHw" fontName="Verdana"/>
  512. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="__enu3QVAEeSwkvJRsasmHw" points="[-7, 1, 132, -20]$[-117, 21, 22, 0]"/>
  513. </edges>
  514. <edges xmi:id="__enu3gVAEeSwkvJRsasmHw" type="Transition" element="__elSmAVAEeSwkvJRsasmHw" source="__ekrgAVAEeSwkvJRsasmHw" target="__ekrggVAEeSwkvJRsasmHw">
  515. <children xsi:type="notation:DecorationNode" xmi:id="__enu3wVAEeSwkvJRsasmHw" type="TransitionExpression">
  516. <styles xsi:type="notation:ShapeStyle" xmi:id="__enu4AVAEeSwkvJRsasmHw"/>
  517. <layoutConstraint xsi:type="notation:Location" xmi:id="__enu4QVAEeSwkvJRsasmHw" x="-4" y="-137"/>
  518. </children>
  519. <styles xsi:type="notation:ConnectorStyle" xmi:id="__enu4gVAEeSwkvJRsasmHw" lineColor="4210752"/>
  520. <styles xsi:type="notation:FontStyle" xmi:id="__enu4wVAEeSwkvJRsasmHw" fontName="Verdana"/>
  521. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="__enu5AVAEeSwkvJRsasmHw" points="[0, 8, 0, -24]$[0, 40, 0, 8]"/>
  522. </edges>
  523. <edges xmi:id="__eoV4AVAEeSwkvJRsasmHw" type="Transition" element="__el5oQVAEeSwkvJRsasmHw" source="__ekrggVAEeSwkvJRsasmHw" target="__ekrkAVAEeSwkvJRsasmHw">
  524. <children xsi:type="notation:DecorationNode" xmi:id="__eoV4QVAEeSwkvJRsasmHw" type="TransitionExpression">
  525. <styles xsi:type="notation:ShapeStyle" xmi:id="__eoV4gVAEeSwkvJRsasmHw"/>
  526. <layoutConstraint xsi:type="notation:Location" xmi:id="__eoV4wVAEeSwkvJRsasmHw" y="10"/>
  527. </children>
  528. <styles xsi:type="notation:ConnectorStyle" xmi:id="__eoV5AVAEeSwkvJRsasmHw" lineColor="4210752"/>
  529. <styles xsi:type="notation:FontStyle" xmi:id="__eoV5QVAEeSwkvJRsasmHw" fontName="Verdana"/>
  530. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="__eoV5gVAEeSwkvJRsasmHw" points="[-7, -7, 139, 4]$[-124, -7, 22, 4]"/>
  531. </edges>
  532. <edges xmi:id="__eoV5wVAEeSwkvJRsasmHw" type="Transition" element="__el5ogVAEeSwkvJRsasmHw" source="__ekrggVAEeSwkvJRsasmHw" target="__ekrhAVAEeSwkvJRsasmHw">
  533. <children xsi:type="notation:DecorationNode" xmi:id="__eoV6AVAEeSwkvJRsasmHw" type="TransitionExpression">
  534. <styles xsi:type="notation:ShapeStyle" xmi:id="__eoV6QVAEeSwkvJRsasmHw"/>
  535. <layoutConstraint xsi:type="notation:Location" xmi:id="__eoV6gVAEeSwkvJRsasmHw" x="-8" y="-146"/>
  536. </children>
  537. <styles xsi:type="notation:ConnectorStyle" xmi:id="__eoV6wVAEeSwkvJRsasmHw" lineColor="4210752"/>
  538. <styles xsi:type="notation:FontStyle" xmi:id="__eoV7AVAEeSwkvJRsasmHw" fontName="Verdana"/>
  539. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="__eoV7QVAEeSwkvJRsasmHw" points="[-5, 8, 0, -33]$[-5, 19, 0, -22]$[-5, 33, 0, -8]"/>
  540. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="__eoV7gVAEeSwkvJRsasmHw" id="(0.8666666666666667,0.6666666666666666)"/>
  541. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="__eoV7wVAEeSwkvJRsasmHw" id="(0.3225806451612903,0.16981132075471697)"/>
  542. </edges>
  543. <edges xmi:id="_FRuV4AVBEeSwkvJRsasmHw" type="Transition" element="_FRr5oAVBEeSwkvJRsasmHw" source="__ekrkAVAEeSwkvJRsasmHw" target="_ihKhEAVAEeSwkvJRsasmHw">
  544. <children xsi:type="notation:DecorationNode" xmi:id="_FRuV5AVBEeSwkvJRsasmHw" type="TransitionExpression">
  545. <styles xsi:type="notation:ShapeStyle" xmi:id="_FRuV5QVBEeSwkvJRsasmHw"/>
  546. <layoutConstraint xsi:type="notation:Location" xmi:id="_FRuV5gVBEeSwkvJRsasmHw" y="10"/>
  547. </children>
  548. <styles xsi:type="notation:ConnectorStyle" xmi:id="_FRuV4QVBEeSwkvJRsasmHw" lineColor="4210752"/>
  549. <styles xsi:type="notation:FontStyle" xmi:id="_FRuV4wVBEeSwkvJRsasmHw" fontName="Verdana"/>
  550. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_FRuV4gVBEeSwkvJRsasmHw" points="[-7, 0, 163, 153]$[-170, 0, 0, 153]$[-170, -145, 0, 8]"/>
  551. </edges>
  552. <edges xmi:id="_bE4DsAVCEeSwkvJRsasmHw" type="Transition" element="_bE1ncAVCEeSwkvJRsasmHw" source="_he33cASZEeSwkvJRsasmHw" target="_6o7XAASXEeSwkvJRsasmHw">
  553. <children xsi:type="notation:DecorationNode" xmi:id="_bE4DtAVCEeSwkvJRsasmHw" type="TransitionExpression">
  554. <styles xsi:type="notation:ShapeStyle" xmi:id="_bE4DtQVCEeSwkvJRsasmHw"/>
  555. <layoutConstraint xsi:type="notation:Location" xmi:id="_bE4DtgVCEeSwkvJRsasmHw" y="10"/>
  556. </children>
  557. <styles xsi:type="notation:ConnectorStyle" xmi:id="_bE4DsQVCEeSwkvJRsasmHw" lineColor="4210752"/>
  558. <styles xsi:type="notation:FontStyle" xmi:id="_bE4DswVCEeSwkvJRsasmHw" fontName="Verdana"/>
  559. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_bE4DsgVCEeSwkvJRsasmHw" points="[-6, -7, 105, 134]$[-112, -117, -1, 24]"/>
  560. </edges>
  561. <edges xmi:id="_sjfZAAeaEeSfhcT_1ck-KA" type="Transition" element="_sjex8AeaEeSfhcT_1ck-KA" source="_7LXVsASXEeSwkvJRsasmHw" target="_KUhtMASYEeSwkvJRsasmHw">
  562. <children xsi:type="notation:DecorationNode" xmi:id="_sjfZBAeaEeSfhcT_1ck-KA" type="TransitionExpression">
  563. <styles xsi:type="notation:ShapeStyle" xmi:id="_sjfZBQeaEeSfhcT_1ck-KA"/>
  564. <layoutConstraint xsi:type="notation:Location" xmi:id="_sjfZBgeaEeSfhcT_1ck-KA" x="-7" y="-91"/>
  565. </children>
  566. <styles xsi:type="notation:ConnectorStyle" xmi:id="_sjfZAQeaEeSfhcT_1ck-KA" lineColor="4210752"/>
  567. <styles xsi:type="notation:FontStyle" xmi:id="_sjfZAweaEeSfhcT_1ck-KA" fontName="Verdana"/>
  568. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_sjfZAgeaEeSfhcT_1ck-KA" points="[0, 8, 0, -73]$[0, 74, 0, -7]"/>
  569. </edges>
  570. </notation:Diagram>
  571. </xmi:XMI>