Startsida Utforska Hjälp
Logga in
simon
/
SCCD
Bevaka 2
Stjärnmärk 2
Fork 3
Filer Ärenden 28 Pull-förfrågningar 0 Wiki
Träd: 348c04e397
Grenar Taggar
SCCD
/
examples
/
chatclient
/
model_chatclient_priorities.svg

model_chatclient_priorities.svg 53 KB
Historik Rå

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668 
  1. <?xml version="1.0" encoding="UTF-8" standalone="no"?>
    2. 

  2. <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
    3. 

  3.  "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
    4. 

  4. <!-- Generated by graphviz version 2.40.1 (20161225.0304)
    5. 

  5.  -->
    6. 

  6. <!-- Title: priorities Pages: 1 -->
    7. 

  7. <svg width="3259pt" height="548pt"
    8. 

  8.  viewBox="0.00 0.00 3259.30 548.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
    9. 

  9. <g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 544)">
    10. 

  10. <title>priorities</title>
    11. 

  11. <polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-544 3255.2978,-544 3255.2978,4 -4,4"/>
    12. 

  12. <!-- 3. Connected&#45;&gt;Connecting -->
    13. 

  13. <g id="node1" class="node">
    14. 

  14. <title>3. Connected&#45;&gt;Connecting</title>
    15. 

  15. <ellipse fill="none" stroke="#000000" cx="1627.2978" cy="-522" rx="106.6812" ry="18"/>
    16. 

  16. <text text-anchor="middle" x="1627.2978" y="-518.3" font-family="Times,serif" font-size="14.00" fill="#000000">3. Connected&#45;&gt;Connecting</text>
    17. 

  17. </g>
    18. 

  18. <!-- 4. NotJoined&#45;&gt;GettingRoomNumber -->
    19. 

  19. <g id="node2" class="node">
    20. 

  20. <title>4. NotJoined&#45;&gt;GettingRoomNumber</title>
    21. 

  21. <ellipse fill="none" stroke="#000000" cx="1589.2978" cy="-234" rx="141.8751" ry="18"/>
    22. 

  22. <text text-anchor="middle" x="1589.2978" y="-230.3" font-family="Times,serif" font-size="14.00" fill="#000000">4. NotJoined&#45;&gt;GettingRoomNumber</text>
    23. 

  23. </g>
    24. 

  24. <!-- 3. Connected&#45;&gt;Connecting&#45;&gt;4. NotJoined&#45;&gt;GettingRoomNumber -->
    25. 

  25. <g id="edge1" class="edge">
    26. 

  26. <title>3. Connected&#45;&gt;Connecting&#45;&gt;4. NotJoined&#45;&gt;GettingRoomNumber</title>
    27. 

  27. <path fill="none" stroke="#000000" d="M1624.9207,-503.9843C1618.4963,-455.2939 1600.75,-320.7961 1592.9998,-262.0573"/>
    28. 

  28. <polygon fill="#000000" stroke="#000000" points="1596.4521,-261.4651 1591.6739,-252.0089 1589.5122,-262.3808 1596.4521,-261.4651"/>
    29. 

  29. </g>
    30. 

  30. <!-- 5. GettingRoomNumber&#45;&gt;GettingRoomNumber -->
    31. 

  31. <g id="node3" class="node">
    32. 

  32. <title>5. GettingRoomNumber&#45;&gt;GettingRoomNumber</title>
    33. 

  33. <ellipse fill="none" stroke="#000000" cx="2863.2978" cy="-450" rx="183.0677" ry="18"/>
    34. 

  34. <text text-anchor="middle" x="2863.2978" y="-446.3" font-family="Times,serif" font-size="14.00" fill="#000000">5. GettingRoomNumber&#45;&gt;GettingRoomNumber</text>
    35. 

  35. </g>
    36. 

  36. <!-- 3. Connected&#45;&gt;Connecting&#45;&gt;5. GettingRoomNumber&#45;&gt;GettingRoomNumber -->
    37. 

  37. <g id="edge2" class="edge">
    38. 

  38. <title>3. Connected&#45;&gt;Connecting&#45;&gt;5. GettingRoomNumber&#45;&gt;GettingRoomNumber</title>
    39. 

  39. <path fill="none" stroke="#000000" d="M1728.1827,-516.1232C1940.3021,-503.7667 2434.3878,-474.985 2695.1826,-459.7931"/>
    40. 

  40. <polygon fill="#000000" stroke="#000000" points="2695.7294,-463.2673 2705.5089,-459.1916 2695.3223,-456.2791 2695.7294,-463.2673"/>
    41. 

  41. </g>
    42. 

  42. <!-- 6. GettingRoomNumber&#45;&gt;JoiningOrJoined -->
    43. 

  43. <g id="node4" class="node">
    44. 

  44. <title>6. GettingRoomNumber&#45;&gt;JoiningOrJoined</title>
    45. 

  45. <ellipse fill="none" stroke="#000000" cx="2292.2978" cy="-378" rx="163.5712" ry="18"/>
    46. 

  46. <text text-anchor="middle" x="2292.2978" y="-374.3" font-family="Times,serif" font-size="14.00" fill="#000000">6. GettingRoomNumber&#45;&gt;JoiningOrJoined</text>
    47. 

  47. </g>
    48. 

  48. <!-- 3. Connected&#45;&gt;Connecting&#45;&gt;6. GettingRoomNumber&#45;&gt;JoiningOrJoined -->
    49. 

  49. <g id="edge3" class="edge">
    50. 

  50. <title>3. Connected&#45;&gt;Connecting&#45;&gt;6. GettingRoomNumber&#45;&gt;JoiningOrJoined</title>
    51. 

  51. <path fill="none" stroke="#000000" d="M1723.6688,-514.2622C1838.7918,-504.4106 2024.2455,-486.4436 2091.2978,-468 2149.4395,-452.0074 2212.231,-421.5608 2251.8755,-400.5397"/>
    52. 

  52. <polygon fill="#000000" stroke="#000000" points="2253.5427,-403.6171 2260.7053,-395.8102 2250.2376,-397.4465 2253.5427,-403.6171"/>
    53. 

  53. </g>
    54. 

  54. <!-- 7. GettingRoomNumber&#45;&gt;GettingRoomNumber -->
    55. 

  55. <g id="node5" class="node">
    56. 

  56. <title>7. GettingRoomNumber&#45;&gt;GettingRoomNumber</title>
    57. 

  57. <ellipse fill="none" stroke="#000000" cx="2292.2978" cy="-306" rx="183.0677" ry="18"/>
    58. 

  58. <text text-anchor="middle" x="2292.2978" y="-302.3" font-family="Times,serif" font-size="14.00" fill="#000000">7. GettingRoomNumber&#45;&gt;GettingRoomNumber</text>
    59. 

  59. </g>
    60. 

  60. <!-- 3. Connected&#45;&gt;Connecting&#45;&gt;7. GettingRoomNumber&#45;&gt;GettingRoomNumber -->
    61. 

  61. <g id="edge4" class="edge">
    62. 

  62. <title>3. Connected&#45;&gt;Connecting&#45;&gt;7. GettingRoomNumber&#45;&gt;GettingRoomNumber</title>
    63. 

  63. <path fill="none" stroke="#000000" d="M1717.9534,-512.4944C1803.4967,-502.6613 1925.0345,-486.2108 1969.2978,-468 2045.2683,-436.7442 2045.8084,-396.7118 2119.2978,-360 2137.5264,-350.8939 2181.595,-337.179 2220.6899,-325.85"/>
    64. 

  64. <polygon fill="#000000" stroke="#000000" points="2221.8616,-329.1549 2230.5034,-323.0254 2219.9254,-322.428 2221.8616,-329.1549"/>
    65. 

  65. </g>
    66. 

  66. <!-- 8. GettingRoomNumber&#45;&gt;GettingRoomNumber -->
    67. 

  67. <g id="node6" class="node">
    68. 

  68. <title>8. GettingRoomNumber&#45;&gt;GettingRoomNumber</title>
    69. 

  69. <ellipse fill="none" stroke="#000000" cx="2812.2978" cy="-234" rx="183.0677" ry="18"/>
    70. 

  70. <text text-anchor="middle" x="2812.2978" y="-230.3" font-family="Times,serif" font-size="14.00" fill="#000000">8. GettingRoomNumber&#45;&gt;GettingRoomNumber</text>
    71. 

  71. </g>
    72. 

  72. <!-- 3. Connected&#45;&gt;Connecting&#45;&gt;8. GettingRoomNumber&#45;&gt;GettingRoomNumber -->
    73. 

  73. <g id="edge5" class="edge">
    74. 

  74. <title>3. Connected&#45;&gt;Connecting&#45;&gt;8. GettingRoomNumber&#45;&gt;GettingRoomNumber</title>
    75. 

  75. <path fill="none" stroke="#000000" d="M1732.0813,-518.4112C1893.6306,-510.2047 2211.4143,-483.3706 2465.2978,-396 2580.0437,-356.5117 2707.5612,-290.9807 2771.3082,-256.6165"/>
    76. 

  76. <polygon fill="#000000" stroke="#000000" points="2773.1145,-259.6186 2780.2416,-251.7793 2769.7814,-253.4631 2773.1145,-259.6186"/>
    77. 

  77. </g>
    78. 

  78. <!-- 9. Leaving&#45;&gt;NotJoined -->
    79. 

  79. <g id="node7" class="node">
    80. 

  80. <title>9. Leaving&#45;&gt;NotJoined</title>
    81. 

  81. <ellipse fill="none" stroke="#000000" cx="2328.2978" cy="-234" rx="92.8835" ry="18"/>
    82. 

  82. <text text-anchor="middle" x="2328.2978" y="-230.3" font-family="Times,serif" font-size="14.00" fill="#000000">9. Leaving&#45;&gt;NotJoined</text>
    83. 

  83. </g>
    84. 

  84. <!-- 3. Connected&#45;&gt;Connecting&#45;&gt;9. Leaving&#45;&gt;NotJoined -->
    85. 

  85. <g id="edge6" class="edge">
    86. 

  86. <title>3. Connected&#45;&gt;Connecting&#45;&gt;9. Leaving&#45;&gt;NotJoined</title>
    87. 

  87. <path fill="none" stroke="#000000" d="M1656.4202,-504.6468C1728.9897,-462.0693 1924.6888,-351.3042 2100.2978,-288 2148.6827,-270.558 2204.8902,-257.1727 2249.3905,-248.0916"/>
    88. 

  88. <polygon fill="#000000" stroke="#000000" points="2250.1632,-251.5063 2259.2779,-246.1051 2248.7844,-244.6435 2250.1632,-251.5063"/>
    89. 

  89. </g>
    90. 

  90. <!-- 10. Joining&#45;&gt;H -->
    91. 

  91. <g id="node8" class="node">
    92. 

  92. <title>10. Joining&#45;&gt;H</title>
    93. 

  93. <ellipse fill="none" stroke="#000000" cx="1852.2978" cy="-234" rx="64.9885" ry="18"/>
    94. 

  94. <text text-anchor="middle" x="1852.2978" y="-230.3" font-family="Times,serif" font-size="14.00" fill="#000000">10. Joining&#45;&gt;H</text>
    95. 

  95. </g>
    96. 

  96. <!-- 3. Connected&#45;&gt;Connecting&#45;&gt;10. Joining&#45;&gt;H -->
    97. 

  97. <g id="edge7" class="edge">
    98. 

  98. <title>3. Connected&#45;&gt;Connecting&#45;&gt;10. Joining&#45;&gt;H</title>
    99. 

  99. <path fill="none" stroke="#000000" d="M1641.3725,-503.9843C1679.898,-454.6717 1787.1848,-317.3446 1832.108,-259.8429"/>
    100. 

  100. <polygon fill="#000000" stroke="#000000" points="1835.1172,-261.6762 1838.5156,-251.6412 1829.601,-257.3667 1835.1172,-261.6762"/>
    101. 

  101. </g>
    102. 

  102. <!-- 11. Initial&#45;&gt;EnteringMessage -->
    103. 

  103. <g id="node9" class="node">
    104. 

  104. <title>11. Initial&#45;&gt;EnteringMessage</title>
    105. 

  105. <ellipse fill="none" stroke="#000000" cx="1446.2978" cy="-306" rx="115.0796" ry="18"/>
    106. 

  106. <text text-anchor="middle" x="1446.2978" y="-302.3" font-family="Times,serif" font-size="14.00" fill="#000000">11. Initial&#45;&gt;EnteringMessage</text>
    107. 

  107. </g>
    108. 

  108. <!-- 3. Connected&#45;&gt;Connecting&#45;&gt;11. Initial&#45;&gt;EnteringMessage -->
    109. 

  109. <g id="edge8" class="edge">
    110. 

  110. <title>3. Connected&#45;&gt;Connecting&#45;&gt;11. Initial&#45;&gt;EnteringMessage</title>
    111. 

  111. <path fill="none" stroke="#000000" d="M1609.0491,-503.9092C1598.8707,-493.6083 1586.1049,-480.3342 1575.2978,-468 1534.626,-421.5812 1490.4961,-364.5737 1465.8332,-332.0495"/>
    112. 

  112. <polygon fill="#000000" stroke="#000000" points="1468.5266,-329.8083 1459.7042,-323.9418 1462.9426,-334.0296 1468.5266,-329.8083"/>
    113. 

  113. </g>
    114. 

  114. <!-- 12. Initial&#45;&gt;Leaving -->
    115. 

  115. <g id="node10" class="node">
    116. 

  116. <title>12. Initial&#45;&gt;Leaving</title>
    117. 

  117. <ellipse fill="none" stroke="#000000" cx="1347.2978" cy="-234" rx="82.5854" ry="18"/>
    118. 

  118. <text text-anchor="middle" x="1347.2978" y="-230.3" font-family="Times,serif" font-size="14.00" fill="#000000">12. Initial&#45;&gt;Leaving</text>
    119. 

  119. </g>
    120. 

  120. <!-- 3. Connected&#45;&gt;Connecting&#45;&gt;12. Initial&#45;&gt;Leaving -->
    121. 

  121. <g id="edge9" class="edge">
    122. 

  122. <title>3. Connected&#45;&gt;Connecting&#45;&gt;12. Initial&#45;&gt;Leaving</title>
    123. 

  123. <path fill="none" stroke="#000000" d="M1576.0044,-506.1231C1504.1002,-480.7627 1376.1146,-423.5457 1322.2978,-324 1311.5438,-304.1082 1319.9223,-279.1841 1329.7812,-260.6115"/>
    124. 

  124. <polygon fill="#000000" stroke="#000000" points="1332.8958,-262.2155 1334.8199,-251.7968 1326.8186,-258.7416 1332.8958,-262.2155"/>
    125. 

  125. </g>
    126. 

  126. <!-- 13. EnteringMessage&#45;&gt;EnteringMessage -->
    127. 

  127. <g id="node11" class="node">
    128. 

  128. <title>13. EnteringMessage&#45;&gt;EnteringMessage</title>
    129. 

  129. <ellipse fill="none" stroke="#000000" cx="916.2978" cy="-378" rx="155.1726" ry="18"/>
    130. 

  130. <text text-anchor="middle" x="916.2978" y="-374.3" font-family="Times,serif" font-size="14.00" fill="#000000">13. EnteringMessage&#45;&gt;EnteringMessage</text>
    131. 

  131. </g>
    132. 

  132. <!-- 3. Connected&#45;&gt;Connecting&#45;&gt;13. EnteringMessage&#45;&gt;EnteringMessage -->
    133. 

  133. <g id="edge10" class="edge">
    134. 

  134. <title>3. Connected&#45;&gt;Connecting&#45;&gt;13. EnteringMessage&#45;&gt;EnteringMessage</title>
    135. 

  135. <path fill="none" stroke="#000000" d="M1528.8388,-514.9184C1440.8985,-507.3522 1308.9509,-492.9336 1196.2978,-468 1116.3463,-450.3043 1026.683,-419.46 970.8519,-398.8855"/>
    136. 

  136. <polygon fill="#000000" stroke="#000000" points="971.7637,-395.4907 961.1707,-395.2956 969.33,-402.0541 971.7637,-395.4907"/>
    137. 

  137. </g>
    138. 

  138. <!-- 14. EnteringMessage&#45;&gt;Initial -->
    139. 

  139. <g id="node12" class="node">
    140. 

  140. <title>14. EnteringMessage&#45;&gt;Initial</title>
    141. 

  141. <ellipse fill="none" stroke="#000000" cx="853.2978" cy="-306" rx="115.0796" ry="18"/>
    142. 

  142. <text text-anchor="middle" x="853.2978" y="-302.3" font-family="Times,serif" font-size="14.00" fill="#000000">14. EnteringMessage&#45;&gt;Initial</text>
    143. 

  143. </g>
    144. 

  144. <!-- 3. Connected&#45;&gt;Connecting&#45;&gt;14. EnteringMessage&#45;&gt;Initial -->
    145. 

  145. <g id="edge11" class="edge">
    146. 

  146. <title>3. Connected&#45;&gt;Connecting&#45;&gt;14. EnteringMessage&#45;&gt;Initial</title>
    147. 

  147. <path fill="none" stroke="#000000" d="M1529.5688,-514.6788C1461.0033,-507.554 1367.9059,-493.8485 1289.2978,-468 1189.972,-435.339 1178.327,-396.3678 1080.2978,-360 1035.1084,-343.2352 982.8894,-330.3893 939.9367,-321.4409"/>
    148. 

  148. <polygon fill="#000000" stroke="#000000" points="940.5748,-317.999 930.0758,-319.4208 939.1698,-324.8566 940.5748,-317.999"/>
    149. 

  149. </g>
    150. 

  150. <!-- 15. EnteringMessage&#45;&gt;EnteringMessage -->
    151. 

  151. <g id="node13" class="node">
    152. 

  152. <title>15. EnteringMessage&#45;&gt;EnteringMessage</title>
    153. 

  153. <ellipse fill="none" stroke="#000000" cx="525.2978" cy="-234" rx="155.1726" ry="18"/>
    154. 

  154. <text text-anchor="middle" x="525.2978" y="-230.3" font-family="Times,serif" font-size="14.00" fill="#000000">15. EnteringMessage&#45;&gt;EnteringMessage</text>
    155. 

  155. </g>
    156. 

  156. <!-- 3. Connected&#45;&gt;Connecting&#45;&gt;15. EnteringMessage&#45;&gt;EnteringMessage -->
    157. 

  157. <g id="edge12" class="edge">
    158. 

  158. <title>3. Connected&#45;&gt;Connecting&#45;&gt;15. EnteringMessage&#45;&gt;EnteringMessage</title>
    159. 

  159. <path fill="none" stroke="#000000" d="M1526.3965,-516.1898C1413.8859,-508.8024 1226.7508,-493.8014 1067.2978,-468 925.5311,-445.0605 883.2936,-454.8565 752.2978,-396 672.5965,-360.1902 592.4564,-294.3611 552.1048,-258.6334"/>
    160. 

  160. <polygon fill="#000000" stroke="#000000" points="554.3658,-255.96 544.5769,-251.907 549.7018,-261.1799 554.3658,-255.96"/>
    161. 

  161. </g>
    162. 

  162. <!-- 18. ExpectingAnswer&#45;&gt;Pinging -->
    163. 

  163. <g id="node16" class="node">
    164. 

  164. <title>18. ExpectingAnswer&#45;&gt;Pinging</title>
    165. 

  165. <ellipse fill="none" stroke="#000000" cx="1002.2978" cy="-162" rx="122.6784" ry="18"/>
    166. 

  166. <text text-anchor="middle" x="1002.2978" y="-158.3" font-family="Times,serif" font-size="14.00" fill="#000000">18. ExpectingAnswer&#45;&gt;Pinging</text>
    167. 

  167. </g>
    168. 

  168. <!-- 3. Connected&#45;&gt;Connecting&#45;&gt;18. ExpectingAnswer&#45;&gt;Pinging -->
    169. 

  169. <g id="edge35" class="edge">
    170. 

  170. <title>3. Connected&#45;&gt;Connecting&#45;&gt;18. ExpectingAnswer&#45;&gt;Pinging</title>
    171. 

  171. <path fill="none" stroke="#000000" d="M1524.9928,-516.829C1202.4839,-499.8583 228.2978,-443.1997 228.2978,-378 228.2978,-378 228.2978,-378 228.2978,-306 228.2978,-238.9772 286.5954,-239.674 349.2978,-216 441.3545,-181.2429 707.2107,-168.8014 869.9199,-164.3875"/>
    172. 

  172. <polygon fill="#000000" stroke="#000000" points="870.0978,-167.8841 880.0017,-164.1207 869.9125,-160.8866 870.0978,-167.8841"/>
    173. 

  173. </g>
    174. 

  174. <!-- 19. ExpectingAnswer&#45;&gt;Initial -->
    175. 

  175. <g id="node17" class="node">
    176. 

  176. <title>19. ExpectingAnswer&#45;&gt;Initial</title>
    177. 

  177. <ellipse fill="none" stroke="#000000" cx="1425.2978" cy="-90" rx="116.1796" ry="18"/>
    178. 

  178. <text text-anchor="middle" x="1425.2978" y="-86.3" font-family="Times,serif" font-size="14.00" fill="#000000">19. ExpectingAnswer&#45;&gt;Initial</text>
    179. 

  179. </g>
    180. 

  180. <!-- 3. Connected&#45;&gt;Connecting&#45;&gt;19. ExpectingAnswer&#45;&gt;Initial -->
    181. 

  181. <g id="edge36" class="edge">
    182. 

  182. <title>3. Connected&#45;&gt;Connecting&#45;&gt;19. ExpectingAnswer&#45;&gt;Initial</title>
    183. 

  183. <path fill="none" stroke="#000000" d="M1521.1988,-519.9461C1273.2352,-514.685 661.4126,-498.9111 458.2978,-468 302.0618,-444.2232 114.2978,-536.0348 114.2978,-378 114.2978,-378 114.2978,-378 114.2978,-234 114.2978,-146.9343 204.2123,-166.5849 288.2978,-144 383.797,-118.3494 1024.9874,-99.7993 1300.204,-92.9264"/>
    184. 

  184. <polygon fill="#000000" stroke="#000000" points="1300.328,-96.4245 1310.2379,-92.6769 1300.154,-89.4266 1300.328,-96.4245"/>
    185. 

  185. </g>
    186. 

  186. <!-- 16. Initial&#45;&gt;Pinging -->
    187. 

  187. <g id="node19" class="node">
    188. 

  188. <title>16. Initial&#45;&gt;Pinging</title>
    189. 

  189. <ellipse fill="none" stroke="#000000" cx="2449.2978" cy="-162" rx="81.4863" ry="18"/>
    190. 

  190. <text text-anchor="middle" x="2449.2978" y="-158.3" font-family="Times,serif" font-size="14.00" fill="#000000">16. Initial&#45;&gt;Pinging</text>
    191. 

  191. </g>
    192. 

  192. <!-- 3. Connected&#45;&gt;Connecting&#45;&gt;16. Initial&#45;&gt;Pinging -->
    193. 

  193. <g id="edge33" class="edge">
    194. 

  194. <title>3. Connected&#45;&gt;Connecting&#45;&gt;16. Initial&#45;&gt;Pinging</title>
    195. 

  195. <path fill="none" stroke="#000000" d="M1733.7892,-521.1232C2050.0092,-518.0965 2969.5986,-506.0876 3099.2978,-468 3174.6264,-445.8789 3251.2978,-456.5096 3251.2978,-378 3251.2978,-378 3251.2978,-378 3251.2978,-306 3251.2978,-210.9512 3149.1158,-240.5707 3057.2978,-216 2962.0141,-190.5019 2683.8047,-173.5326 2539.0929,-166.1713"/>
    196. 

  196. <polygon fill="#000000" stroke="#000000" points="2539.0723,-162.6659 2528.9087,-165.6579 2538.7198,-169.657 2539.0723,-162.6659"/>
    197. 

  197. </g>
    198. 

  198. <!-- 17. Pinging&#45;&gt;ExpectingAnswer -->
    199. 

  199. <g id="node20" class="node">
    200. 

  200. <title>17. Pinging&#45;&gt;ExpectingAnswer</title>
    201. 

  201. <ellipse fill="none" stroke="#000000" cx="1701.2978" cy="-162" rx="122.6784" ry="18"/>
    202. 

  202. <text text-anchor="middle" x="1701.2978" y="-158.3" font-family="Times,serif" font-size="14.00" fill="#000000">17. Pinging&#45;&gt;ExpectingAnswer</text>
    203. 

  203. </g>
    204. 

  204. <!-- 3. Connected&#45;&gt;Connecting&#45;&gt;17. Pinging&#45;&gt;ExpectingAnswer -->
    205. 

  205. <g id="edge34" class="edge">
    206. 

  206. <title>3. Connected&#45;&gt;Connecting&#45;&gt;17. Pinging&#45;&gt;ExpectingAnswer</title>
    207. 

  207. <path fill="none" stroke="#000000" d="M1733.4983,-520.2272C2054.3826,-514.5754 2995.636,-495.7122 3055.2978,-468 3104.3748,-445.2043 3137.2978,-432.1128 3137.2978,-378 3137.2978,-378 3137.2978,-378 3137.2978,-306 3137.2978,-242.488 3085.7157,-238.434 3026.2978,-216 2998.6098,-205.5461 2160.0967,-177.0322 1831.5365,-166.227"/>
    208. 

  208. <polygon fill="#000000" stroke="#000000" points="1831.6,-162.7273 1821.4904,-165.8969 1831.3701,-169.7235 1831.6,-162.7273"/>
    209. 

  209. </g>
    210. 

  210. <!-- 4. NotJoined&#45;&gt;GettingRoomNumber&#45;&gt;18. ExpectingAnswer&#45;&gt;Pinging -->
    211. 

  211. <g id="edge39" class="edge">
    212. 

  212. <title>4. NotJoined&#45;&gt;GettingRoomNumber&#45;&gt;18. ExpectingAnswer&#45;&gt;Pinging</title>
    213. 

  213. <path fill="none" stroke="#000000" d="M1487.0502,-221.4586C1380.4496,-208.3832 1214.2296,-187.995 1106.7982,-174.8178"/>
    214. 

  214. <polygon fill="#000000" stroke="#000000" points="1106.9409,-171.3091 1096.5891,-173.5655 1106.0886,-178.2571 1106.9409,-171.3091"/>
    215. 

  215. </g>
    216. 

  216. <!-- 4. NotJoined&#45;&gt;GettingRoomNumber&#45;&gt;19. ExpectingAnswer&#45;&gt;Initial -->
    217. 

  217. <g id="edge40" class="edge">
    218. 

  218. <title>4. NotJoined&#45;&gt;GettingRoomNumber&#45;&gt;19. ExpectingAnswer&#45;&gt;Initial</title>
    219. 

  219. <path fill="none" stroke="#000000" d="M1568.8587,-216.0535C1539.808,-190.5455 1486.4642,-143.7071 1453.6181,-114.8666"/>
    220. 

  220. <polygon fill="#000000" stroke="#000000" points="1455.56,-111.914 1445.7362,-107.946 1450.9414,-117.1741 1455.56,-111.914"/>
    221. 

  221. </g>
    222. 

  222. <!-- 4. NotJoined&#45;&gt;GettingRoomNumber&#45;&gt;16. Initial&#45;&gt;Pinging -->
    223. 

  223. <g id="edge37" class="edge">
    224. 

  224. <title>4. NotJoined&#45;&gt;GettingRoomNumber&#45;&gt;16. Initial&#45;&gt;Pinging</title>
    225. 

  225. <path fill="none" stroke="#000000" d="M1701.7052,-223.0215C1726.9009,-220.6368 1753.5077,-218.1779 1778.2978,-216 1987.7148,-197.6021 2234.1227,-178.398 2362.1451,-168.6041"/>
    226. 

  226. <polygon fill="#000000" stroke="#000000" points="2362.5784,-172.0812 2372.2826,-167.8293 2362.0449,-165.1016 2362.5784,-172.0812"/>
    227. 

  227. </g>
    228. 

  228. <!-- 4. NotJoined&#45;&gt;GettingRoomNumber&#45;&gt;17. Pinging&#45;&gt;ExpectingAnswer -->
    229. 

  229. <g id="edge38" class="edge">
    230. 

  230. <title>4. NotJoined&#45;&gt;GettingRoomNumber&#45;&gt;17. Pinging&#45;&gt;ExpectingAnswer</title>
    231. 

  231. <path fill="none" stroke="#000000" d="M1616.9832,-216.2022C1631.6311,-206.7857 1649.7865,-195.1144 1665.4941,-185.0167"/>
    232. 

  232. <polygon fill="#000000" stroke="#000000" points="1667.4117,-187.9448 1673.9308,-179.593 1663.6264,-182.0565 1667.4117,-187.9448"/>
    233. 

  233. </g>
    234. 

  234. <!-- 5. GettingRoomNumber&#45;&gt;GettingRoomNumber&#45;&gt;6. GettingRoomNumber&#45;&gt;JoiningOrJoined -->
    235. 

  235. <g id="edge14" class="edge">
    236. 

  236. <title>5. GettingRoomNumber&#45;&gt;GettingRoomNumber&#45;&gt;6. GettingRoomNumber&#45;&gt;JoiningOrJoined</title>
    237. 

  237. <path fill="none" stroke="#000000" d="M2750.4865,-435.7751C2652.1351,-423.3735 2509.988,-405.4496 2410.1702,-392.8631"/>
    238. 

  238. <polygon fill="#000000" stroke="#000000" points="2410.3985,-389.3642 2400.0392,-391.5856 2409.5228,-396.3092 2410.3985,-389.3642"/>
    239. 

  239. </g>
    240. 

  240. <!-- 5. GettingRoomNumber&#45;&gt;GettingRoomNumber&#45;&gt;18. ExpectingAnswer&#45;&gt;Pinging -->
    241. 

  241. <g id="edge43" class="edge">
    242. 

  242. <title>5. GettingRoomNumber&#45;&gt;GettingRoomNumber&#45;&gt;18. ExpectingAnswer&#45;&gt;Pinging</title>
    243. 

  243. <path fill="none" stroke="#000000" d="M2692.0406,-443.4981C2540.8499,-436.348 2314.7209,-422.2147 2119.2978,-396 1872.8289,-362.9378 1817.0092,-319.2004 1570.2978,-288 1501.0678,-279.2448 991.2056,-302.7374 943.2978,-252 924.4805,-232.0713 946.6054,-205.4276 968.9275,-186.3095"/>
    244. 

  244. <polygon fill="#000000" stroke="#000000" points="971.2503,-188.9312 976.7645,-179.8844 966.8122,-183.5178 971.2503,-188.9312"/>
    245. 

  245. </g>
    246. 

  246. <!-- 5. GettingRoomNumber&#45;&gt;GettingRoomNumber&#45;&gt;19. ExpectingAnswer&#45;&gt;Initial -->
    247. 

  247. <g id="edge44" class="edge">
    248. 

  248. <title>5. GettingRoomNumber&#45;&gt;GettingRoomNumber&#45;&gt;19. ExpectingAnswer&#45;&gt;Initial</title>
    249. 

  249. <path fill="none" stroke="#000000" d="M2977.9699,-435.9492C3028.9436,-427.3147 3081.28,-414.3309 3098.2978,-396 3193.5496,-293.3984 3045.1314,-177.9002 2909.2978,-144 2779.6318,-111.6391 1886.441,-96.2742 1551.6538,-91.6032"/>
    250. 

  250. <polygon fill="#000000" stroke="#000000" points="1551.4773,-88.1005 1541.4297,-91.4614 1551.3802,-95.0998 1551.4773,-88.1005"/>
    251. 

  251. </g>
    252. 

  252. <!-- 5. GettingRoomNumber&#45;&gt;GettingRoomNumber&#45;&gt;16. Initial&#45;&gt;Pinging -->
    253. 

  253. <g id="edge41" class="edge">
    254. 

  254. <title>5. GettingRoomNumber&#45;&gt;GettingRoomNumber&#45;&gt;16. Initial&#45;&gt;Pinging</title>
    255. 

  255. <path fill="none" stroke="#000000" d="M2969.4158,-435.322C3015.2343,-426.6029 3061.5173,-413.7306 3075.2978,-396 3126.5524,-330.0533 3094.1625,-256.8256 3021.2978,-216 2980.2807,-193.0184 2689.414,-174.5975 2538.9726,-166.4853"/>
    256. 

  256. <polygon fill="#000000" stroke="#000000" points="2539.0024,-162.9819 2528.8296,-165.9425 2538.6283,-169.9719 2539.0024,-162.9819"/>
    257. 

  257. </g>
    258. 

  258. <!-- 5. GettingRoomNumber&#45;&gt;GettingRoomNumber&#45;&gt;17. Pinging&#45;&gt;ExpectingAnswer -->
    259. 

  259. <g id="edge42" class="edge">
    260. 

  260. <title>5. GettingRoomNumber&#45;&gt;GettingRoomNumber&#45;&gt;17. Pinging&#45;&gt;ExpectingAnswer</title>
    261. 

  261. <path fill="none" stroke="#000000" d="M2888.7446,-432.0762C2945.1145,-390.3364 3070.4633,-284.9644 3004.2978,-216 2994.2228,-205.4989 2159.2221,-177.0137 1831.3622,-166.2215"/>
    262. 

  262. <polygon fill="#000000" stroke="#000000" points="1831.4466,-162.7225 1821.337,-165.8918 1831.2165,-169.7187 1831.4466,-162.7225"/>
    263. 

  263. </g>
    264. 

  264. <!-- 6. GettingRoomNumber&#45;&gt;JoiningOrJoined&#45;&gt;7. GettingRoomNumber&#45;&gt;GettingRoomNumber -->
    265. 

  265. <g id="edge15" class="edge">
    266. 

  266. <title>6. GettingRoomNumber&#45;&gt;JoiningOrJoined&#45;&gt;7. GettingRoomNumber&#45;&gt;GettingRoomNumber</title>
    267. 

  267. <path fill="none" stroke="#000000" d="M2292.2978,-359.8314C2292.2978,-352.131 2292.2978,-342.9743 2292.2978,-334.4166"/>
    268. 

  268. <polygon fill="#000000" stroke="#000000" points="2295.7979,-334.4132 2292.2978,-324.4133 2288.7979,-334.4133 2295.7979,-334.4132"/>
    269. 

  269. </g>
    270. 

  270. <!-- 6. GettingRoomNumber&#45;&gt;JoiningOrJoined&#45;&gt;18. ExpectingAnswer&#45;&gt;Pinging -->
    271. 

  271. <g id="edge47" class="edge">
    272. 

  272. <title>6. GettingRoomNumber&#45;&gt;JoiningOrJoined&#45;&gt;18. ExpectingAnswer&#45;&gt;Pinging</title>
    273. 

  273. <path fill="none" stroke="#000000" d="M2193.8405,-363.6135C2055.0726,-343.8195 1793.9042,-308.3332 1570.2978,-288 1500.8031,-281.6806 991.2056,-302.7374 943.2978,-252 924.4805,-232.0713 946.6054,-205.4276 968.9275,-186.3095"/>
    274. 

  274. <polygon fill="#000000" stroke="#000000" points="971.2503,-188.9312 976.7645,-179.8844 966.8122,-183.5178 971.2503,-188.9312"/>
    275. 

  275. </g>
    276. 

  276. <!-- 6. GettingRoomNumber&#45;&gt;JoiningOrJoined&#45;&gt;19. ExpectingAnswer&#45;&gt;Initial -->
    277. 

  277. <g id="edge48" class="edge">
    278. 

  278. <title>6. GettingRoomNumber&#45;&gt;JoiningOrJoined&#45;&gt;19. ExpectingAnswer&#45;&gt;Initial</title>
    279. 

  279. <path fill="none" stroke="#000000" d="M2450.8146,-373.4531C2606.9218,-367.3355 2833.627,-353.5882 2916.2978,-324 2979.3285,-301.4411 3060.4418,-270.3095 3021.2978,-216 2962.1292,-133.9081 2904.8479,-162.1594 2805.2978,-144 2684.07,-121.8863 1867.604,-100.4655 1550.6963,-92.8855"/>
    280. 

  280. <polygon fill="#000000" stroke="#000000" points="1550.6315,-89.3831 1540.5508,-92.6435 1550.4645,-96.3811 1550.6315,-89.3831"/>
    281. 

  281. </g>
    282. 

  282. <!-- 6. GettingRoomNumber&#45;&gt;JoiningOrJoined&#45;&gt;16. Initial&#45;&gt;Pinging -->
    283. 

  283. <g id="edge45" class="edge">
    284. 

  284. <title>6. GettingRoomNumber&#45;&gt;JoiningOrJoined&#45;&gt;16. Initial&#45;&gt;Pinging</title>
    285. 

  285. <path fill="none" stroke="#000000" d="M2449.5597,-372.9238C2637.3668,-363.1645 2934.9298,-334.7216 3004.2978,-252 3014.5786,-239.7401 3015.0497,-227.8489 3004.2978,-216 2973.7725,-182.3606 2689.6858,-169.0211 2540.2447,-164.2973"/>
    286. 

  286. <polygon fill="#000000" stroke="#000000" points="2540.2651,-160.7963 2530.1615,-163.9852 2540.0484,-167.793 2540.2651,-160.7963"/>
    287. 

  287. </g>
    288. 

  288. <!-- 6. GettingRoomNumber&#45;&gt;JoiningOrJoined&#45;&gt;17. Pinging&#45;&gt;ExpectingAnswer -->
    289. 

  289. <g id="edge46" class="edge">
    290. 

  290. <title>6. GettingRoomNumber&#45;&gt;JoiningOrJoined&#45;&gt;17. Pinging&#45;&gt;ExpectingAnswer</title>
    291. 

  291. <path fill="none" stroke="#000000" d="M2221.4336,-361.6457C2184.7122,-352.2795 2139.474,-339.3369 2100.2978,-324 2034.7757,-298.3491 2015.2928,-294.6106 1959.2978,-252 1942.0251,-238.856 1945.0009,-227.0138 1926.2978,-216 1891.344,-195.4167 1848.9584,-182.6696 1810.442,-174.7794"/>
    292. 

  292. <polygon fill="#000000" stroke="#000000" points="1810.7032,-171.2642 1800.2171,-172.7784 1809.3587,-178.1339 1810.7032,-171.2642"/>
    293. 

  293. </g>
    294. 

  294. <!-- 7. GettingRoomNumber&#45;&gt;GettingRoomNumber&#45;&gt;8. GettingRoomNumber&#45;&gt;GettingRoomNumber -->
    295. 

  295. <g id="edge16" class="edge">
    296. 

  296. <title>7. GettingRoomNumber&#45;&gt;GettingRoomNumber&#45;&gt;8. GettingRoomNumber&#45;&gt;GettingRoomNumber</title>
    297. 

  297. <path fill="none" stroke="#000000" d="M2398.4682,-291.2995C2484.8467,-279.3394 2606.5972,-262.4816 2695.6769,-250.1475"/>
    298. 

  298. <polygon fill="#000000" stroke="#000000" points="2696.4013,-253.5807 2705.8267,-248.7421 2695.4411,-246.6468 2696.4013,-253.5807"/>
    299. 

  299. </g>
    300. 

  300. <!-- 7. GettingRoomNumber&#45;&gt;GettingRoomNumber&#45;&gt;18. ExpectingAnswer&#45;&gt;Pinging -->
    301. 

  301. <g id="edge51" class="edge">
    302. 

  302. <title>7. GettingRoomNumber&#45;&gt;GettingRoomNumber&#45;&gt;18. ExpectingAnswer&#45;&gt;Pinging</title>
    303. 

  303. <path fill="none" stroke="#000000" d="M2117.6781,-300.4931C1757.6056,-288.9334 965.242,-262.3539 955.2978,-252 937.4331,-233.3992 955.3401,-206.6628 973.9657,-187.1658"/>
    304. 

  304. <polygon fill="#000000" stroke="#000000" points="976.4602,-189.6211 981.0662,-180.0798 971.5155,-184.6662 976.4602,-189.6211"/>
    305. 

  305. </g>
    306. 

  306. <!-- 7. GettingRoomNumber&#45;&gt;GettingRoomNumber&#45;&gt;19. ExpectingAnswer&#45;&gt;Initial -->
    307. 

  307. <g id="edge52" class="edge">
    308. 

  308. <title>7. GettingRoomNumber&#45;&gt;GettingRoomNumber&#45;&gt;19. ExpectingAnswer&#45;&gt;Initial</title>
    309. 

  309. <path fill="none" stroke="#000000" d="M2461.2205,-298.9127C2665.9403,-289.4857 2986.0332,-271.7022 3004.2978,-252 3015.1753,-240.2663 3014.5246,-228.305 3004.2978,-216 2892.473,-81.4518 2791.1015,-164.0068 2617.2978,-144 2413.7055,-120.5642 1812.7879,-101.098 1550.3265,-93.4646"/>
    310. 

  310. <polygon fill="#000000" stroke="#000000" points="1550.0875,-89.9563 1539.9903,-93.165 1549.8846,-96.9533 1550.0875,-89.9563"/>
    311. 

  311. </g>
    312. 

  312. <!-- 7. GettingRoomNumber&#45;&gt;GettingRoomNumber&#45;&gt;16. Initial&#45;&gt;Pinging -->
    313. 

  313. <g id="edge49" class="edge">
    314. 

  314. <title>7. GettingRoomNumber&#45;&gt;GettingRoomNumber&#45;&gt;16. Initial&#45;&gt;Pinging</title>
    315. 

  315. <path fill="none" stroke="#000000" d="M2439.6215,-295.1957C2499.4379,-287.462 2558.8262,-274.3001 2577.2978,-252 2587.5042,-239.6781 2586.1435,-229.3324 2577.2978,-216 2564.6938,-197.003 2543.9469,-184.6727 2522.7886,-176.6758"/>
    316. 

  316. <polygon fill="#000000" stroke="#000000" points="2523.6608,-173.2737 2513.066,-173.2981 2521.3636,-179.886 2523.6608,-173.2737"/>
    317. 

  317. </g>
    318. 

  318. <!-- 7. GettingRoomNumber&#45;&gt;GettingRoomNumber&#45;&gt;17. Pinging&#45;&gt;ExpectingAnswer -->
    319. 

  319. <g id="edge50" class="edge">
    320. 

  320. <title>7. GettingRoomNumber&#45;&gt;GettingRoomNumber&#45;&gt;17. Pinging&#45;&gt;ExpectingAnswer</title>
    321. 

  321. <path fill="none" stroke="#000000" d="M2183.1348,-291.5406C2114.8513,-281.3733 2034.0287,-266.96 2002.2978,-252 1979.7532,-241.371 1981.7229,-226.8789 1959.2978,-216 1914.5141,-194.2746 1861.211,-181.2623 1814.7124,-173.481"/>
    322. 

  322. <polygon fill="#000000" stroke="#000000" points="1815.0221,-169.9859 1804.5928,-171.8513 1813.909,-176.8969 1815.0221,-169.9859"/>
    323. 

  323. </g>
    324. 

  324. <!-- 8. GettingRoomNumber&#45;&gt;GettingRoomNumber&#45;&gt;18. ExpectingAnswer&#45;&gt;Pinging -->
    325. 

  325. <g id="edge55" class="edge">
    326. 

  326. <title>8. GettingRoomNumber&#45;&gt;GettingRoomNumber&#45;&gt;18. ExpectingAnswer&#45;&gt;Pinging</title>
    327. 

  327. <path fill="none" stroke="#000000" d="M2648.259,-225.9358C2580.7527,-222.7043 2501.7718,-219.0353 2430.2978,-216 1952.0306,-195.6895 1383.4933,-175.3191 1132.4567,-166.5171"/>
    328. 

  328. <polygon fill="#000000" stroke="#000000" points="1132.3181,-163.0102 1122.2016,-166.1578 1132.0729,-170.0059 1132.3181,-163.0102"/>
    329. 

  329. </g>
    330. 

  330. <!-- 8. GettingRoomNumber&#45;&gt;GettingRoomNumber&#45;&gt;19. ExpectingAnswer&#45;&gt;Initial -->
    331. 

  331. <g id="edge56" class="edge">
    332. 

  332. <title>8. GettingRoomNumber&#45;&gt;GettingRoomNumber&#45;&gt;19. ExpectingAnswer&#45;&gt;Initial</title>
    333. 

  333. <path fill="none" stroke="#000000" d="M2770.6682,-216.3467C2717.9194,-194.903 2623.6941,-159.658 2539.2978,-144 2353.28,-109.4883 1802.1311,-96.1997 1551.6847,-91.8429"/>
    334. 

  334. <polygon fill="#000000" stroke="#000000" points="1551.5039,-88.3394 1541.4451,-91.6669 1551.3835,-95.3384 1551.5039,-88.3394"/>
    335. 

  335. </g>
    336. 

  336. <!-- 8. GettingRoomNumber&#45;&gt;GettingRoomNumber&#45;&gt;16. Initial&#45;&gt;Pinging -->
    337. 

  337. <g id="edge53" class="edge">
    338. 

  338. <title>8. GettingRoomNumber&#45;&gt;GettingRoomNumber&#45;&gt;16. Initial&#45;&gt;Pinging</title>
    339. 

  339. <path fill="none" stroke="#000000" d="M2730.8335,-217.8418C2667.3716,-205.2543 2580.1808,-187.9603 2519.7157,-175.9672"/>
    340. 

  340. <polygon fill="#000000" stroke="#000000" points="2520.3645,-172.5278 2509.8746,-174.0152 2519.0025,-179.394 2520.3645,-172.5278"/>
    341. 

  341. </g>
    342. 

  342. <!-- 8. GettingRoomNumber&#45;&gt;GettingRoomNumber&#45;&gt;17. Pinging&#45;&gt;ExpectingAnswer -->
    343. 

  343. <g id="edge54" class="edge">
    344. 

  344. <title>8. GettingRoomNumber&#45;&gt;GettingRoomNumber&#45;&gt;17. Pinging&#45;&gt;ExpectingAnswer</title>
    345. 

  345. <path fill="none" stroke="#000000" d="M2659.2755,-224.0832C2436.7744,-209.6637 2028.2883,-183.1911 1824.1674,-169.9627"/>
    346. 

  346. <polygon fill="#000000" stroke="#000000" points="1824.2117,-166.4584 1814.0062,-169.3042 1823.7589,-173.4437 1824.2117,-166.4584"/>
    347. 

  347. </g>
    348. 

  348. <!-- 9. Leaving&#45;&gt;NotJoined&#45;&gt;18. ExpectingAnswer&#45;&gt;Pinging -->
    349. 

  349. <g id="edge59" class="edge">
    350. 

  350. <title>9. Leaving&#45;&gt;NotJoined&#45;&gt;18. ExpectingAnswer&#45;&gt;Pinging</title>
    351. 

  351. <path fill="none" stroke="#000000" d="M2262.9099,-221.1586C2250.7782,-219.1472 2238.1843,-217.3054 2226.2978,-216 2119.9252,-204.3183 1424.4358,-177.6338 1131.7574,-166.7521"/>
    352. 

  352. <polygon fill="#000000" stroke="#000000" points="1131.6406,-163.2454 1121.5175,-166.3717 1131.3806,-170.2406 1131.6406,-163.2454"/>
    353. 

  353. </g>
    354. 

  354. <!-- 9. Leaving&#45;&gt;NotJoined&#45;&gt;19. ExpectingAnswer&#45;&gt;Initial -->
    355. 

  355. <g id="edge60" class="edge">
    356. 

  356. <title>9. Leaving&#45;&gt;NotJoined&#45;&gt;19. ExpectingAnswer&#45;&gt;Initial</title>
    357. 

  357. <path fill="none" stroke="#000000" d="M2272.7589,-219.4754C2195.5543,-199.765 2051.1924,-164.6439 1926.2978,-144 1794.7375,-122.2544 1642.2317,-107.2602 1540.3619,-98.6868"/>
    358. 

  358. <polygon fill="#000000" stroke="#000000" points="1540.6128,-95.1957 1530.3563,-97.8517 1540.0305,-102.1714 1540.6128,-95.1957"/>
    359. 

  359. </g>
    360. 

  360. <!-- 9. Leaving&#45;&gt;NotJoined&#45;&gt;16. Initial&#45;&gt;Pinging -->
    361. 

  361. <g id="edge57" class="edge">
    362. 

  362. <title>9. Leaving&#45;&gt;NotJoined&#45;&gt;16. Initial&#45;&gt;Pinging</title>
    363. 

  363. <path fill="none" stroke="#000000" d="M2357.2803,-216.7542C2373.5936,-207.0471 2394.1485,-194.8161 2411.6911,-184.3775"/>
    364. 

  364. <polygon fill="#000000" stroke="#000000" points="2413.7478,-187.2265 2420.5517,-179.1051 2410.1683,-181.2109 2413.7478,-187.2265"/>
    365. 

  365. </g>
    366. 

  366. <!-- 9. Leaving&#45;&gt;NotJoined&#45;&gt;17. Pinging&#45;&gt;ExpectingAnswer -->
    367. 

  367. <g id="edge58" class="edge">
    368. 

  368. <title>9. Leaving&#45;&gt;NotJoined&#45;&gt;17. Pinging&#45;&gt;ExpectingAnswer</title>
    369. 

  369. <path fill="none" stroke="#000000" d="M2261.1953,-221.4487C2249.5813,-219.4797 2237.6068,-217.5774 2226.2978,-216 2086.7369,-196.5343 1925.3897,-180.9683 1818.7975,-171.6415"/>
    370. 

  370. <polygon fill="#000000" stroke="#000000" points="1818.9216,-168.1392 1808.6557,-170.7585 1818.3144,-175.1128 1818.9216,-168.1392"/>
    371. 

  371. </g>
    372. 

  372. <!-- 10. Joining&#45;&gt;H&#45;&gt;18. ExpectingAnswer&#45;&gt;Pinging -->
    373. 

  373. <g id="edge63" class="edge">
    374. 

  374. <title>10. Joining&#45;&gt;H&#45;&gt;18. ExpectingAnswer&#45;&gt;Pinging</title>
    375. 

  375. <path fill="none" stroke="#000000" d="M1797.4567,-224.2172C1779.3082,-221.2391 1758.9787,-218.1805 1740.2978,-216 1526.6887,-191.0671 1276.8689,-175.6515 1129.5378,-167.9676"/>
    376. 

  376. <polygon fill="#000000" stroke="#000000" points="1129.7138,-164.4721 1119.5462,-167.4501 1129.3517,-171.4627 1129.7138,-164.4721"/>
    377. 

  377. </g>
    378. 

  378. <!-- 10. Joining&#45;&gt;H&#45;&gt;19. ExpectingAnswer&#45;&gt;Initial -->
    379. 

  379. <g id="edge64" class="edge">
    380. 

  380. <title>10. Joining&#45;&gt;H&#45;&gt;19. ExpectingAnswer&#45;&gt;Initial</title>
    381. 

  381. <path fill="none" stroke="#000000" d="M1854.083,-215.8701C1855.0117,-195.294 1852.9797,-162.2317 1833.2978,-144 1812.0386,-124.3073 1653.8775,-107.8879 1540.863,-98.5014"/>
    382. 

  382. <polygon fill="#000000" stroke="#000000" points="1541.0118,-95.0019 1530.7587,-97.6708 1540.4383,-101.9784 1541.0118,-95.0019"/>
    383. 

  383. </g>
    384. 

  384. <!-- 10. Joining&#45;&gt;H&#45;&gt;16. Initial&#45;&gt;Pinging -->
    385. 

  385. <g id="edge61" class="edge">
    386. 

  386. <title>10. Joining&#45;&gt;H&#45;&gt;16. Initial&#45;&gt;Pinging</title>
    387. 

  387. <path fill="none" stroke="#000000" d="M1911.9981,-226.8C2019.5672,-213.8268 2246.0336,-186.5143 2367.773,-171.8321"/>
    388. 

  388. <polygon fill="#000000" stroke="#000000" points="2368.278,-175.2967 2377.7869,-170.6244 2367.4398,-168.347 2368.278,-175.2967"/>
    389. 

  389. </g>
    390. 

  390. <!-- 10. Joining&#45;&gt;H&#45;&gt;17. Pinging&#45;&gt;ExpectingAnswer -->
    391. 

  391. <g id="edge62" class="edge">
    392. 

  392. <title>10. Joining&#45;&gt;H&#45;&gt;17. Pinging&#45;&gt;ExpectingAnswer</title>
    393. 

  393. <path fill="none" stroke="#000000" d="M1819.533,-218.3771C1798.1688,-208.1902 1769.9974,-194.7575 1746.5124,-183.5593"/>
    394. 

  394. <polygon fill="#000000" stroke="#000000" points="1747.9674,-180.3756 1737.4345,-179.2308 1744.9545,-186.6941 1747.9674,-180.3756"/>
    395. 

  395. </g>
    396. 

  396. <!-- 11. Initial&#45;&gt;EnteringMessage&#45;&gt;12. Initial&#45;&gt;Leaving -->
    397. 

  397. <g id="edge17" class="edge">
    398. 

  398. <title>11. Initial&#45;&gt;EnteringMessage&#45;&gt;12. Initial&#45;&gt;Leaving</title>
    399. 

  399. <path fill="none" stroke="#000000" d="M1422.0796,-288.3868C1409.2803,-279.0782 1393.3982,-267.5276 1379.5669,-257.4685"/>
    400. 

  400. <polygon fill="#000000" stroke="#000000" points="1381.4119,-254.4825 1371.2659,-251.4313 1377.2946,-260.1437 1381.4119,-254.4825"/>
    401. 

  401. </g>
    402. 

  402. <!-- 11. Initial&#45;&gt;EnteringMessage&#45;&gt;18. ExpectingAnswer&#45;&gt;Pinging -->
    403. 

  403. <g id="edge67" class="edge">
    404. 

  404. <title>11. Initial&#45;&gt;EnteringMessage&#45;&gt;18. ExpectingAnswer&#45;&gt;Pinging</title>
    405. 

  405. <path fill="none" stroke="#000000" d="M1340.6057,-298.8753C1161.6055,-286.5597 817.1942,-261.6813 808.2978,-252 772.2751,-212.7996 837.4692,-189.2771 901.7955,-176.1679"/>
    406. 

  406. <polygon fill="#000000" stroke="#000000" points="902.5411,-179.5885 911.6814,-174.2307 901.1949,-172.7191 902.5411,-179.5885"/>
    407. 

  407. </g>
    408. 

  408. <!-- 11. Initial&#45;&gt;EnteringMessage&#45;&gt;19. ExpectingAnswer&#45;&gt;Initial -->
    409. 

  409. <g id="edge68" class="edge">
    410. 

  410. <title>11. Initial&#45;&gt;EnteringMessage&#45;&gt;19. ExpectingAnswer&#45;&gt;Initial</title>
    411. 

  411. <path fill="none" stroke="#000000" d="M1341.2072,-298.6032C1289.9693,-295.1292 1227.4312,-291.0842 1171.2978,-288 1126.3212,-285.5288 392.4338,-284.5506 361.2978,-252 188.7082,-71.5694 -524.177,-316.7848 713.2978,-144 918.6223,-115.3312 1159.5349,-101.0742 1301.9146,-94.6342"/>
    412. 

  412. <polygon fill="#000000" stroke="#000000" points="1302.1601,-98.1268 1311.9939,-94.1839 1301.8476,-91.1338 1302.1601,-98.1268"/>
    413. 

  413. </g>
    414. 

  414. <!-- 11. Initial&#45;&gt;EnteringMessage&#45;&gt;16. Initial&#45;&gt;Pinging -->
    415. 

  415. <g id="edge65" class="edge">
    416. 

  416. <title>11. Initial&#45;&gt;EnteringMessage&#45;&gt;16. Initial&#45;&gt;Pinging</title>
    417. 

  417. <path fill="none" stroke="#000000" d="M1557.7088,-301.2914C1827.2755,-289.7698 2493.2396,-260.4812 2501.2978,-252 2519.6743,-232.6588 2499.4822,-205.6402 2479.1404,-186.2625"/>
    418. 

  418. <polygon fill="#000000" stroke="#000000" points="2481.461,-183.642 2471.7104,-179.4974 2476.7482,-188.8179 2481.461,-183.642"/>
    419. 

  419. </g>
    420. 

  420. <!-- 11. Initial&#45;&gt;EnteringMessage&#45;&gt;17. Pinging&#45;&gt;ExpectingAnswer -->
    421. 

  421. <g id="edge66" class="edge">
    422. 

  422. <title>11. Initial&#45;&gt;EnteringMessage&#45;&gt;17. Pinging&#45;&gt;ExpectingAnswer</title>
    423. 

  423. <path fill="none" stroke="#000000" d="M1555.6355,-300.2197C1629.1456,-293.7802 1716.7558,-280.2598 1740.2978,-252 1756.0339,-233.1103 1741.6166,-206.9018 1726.0518,-187.6375"/>
    424. 

  424. <polygon fill="#000000" stroke="#000000" points="1728.5529,-185.1768 1719.3955,-179.8482 1723.2312,-189.7243 1728.5529,-185.1768"/>
    425. 

  425. </g>
    426. 

  426. <!-- 12. Initial&#45;&gt;Leaving&#45;&gt;18. ExpectingAnswer&#45;&gt;Pinging -->
    427. 

  427. <g id="edge71" class="edge">
    428. 

  428. <title>12. Initial&#45;&gt;Leaving&#45;&gt;18. ExpectingAnswer&#45;&gt;Pinging</title>
    429. 

  429. <path fill="none" stroke="#000000" d="M1287.5972,-221.5408C1231.0302,-209.7355 1145.645,-191.916 1083.0238,-178.8472"/>
    430. 

  430. <polygon fill="#000000" stroke="#000000" points="1083.681,-175.409 1073.1768,-176.7922 1082.2509,-182.2614 1083.681,-175.409"/>
    431. 

  431. </g>
    432. 

  432. <!-- 12. Initial&#45;&gt;Leaving&#45;&gt;19. ExpectingAnswer&#45;&gt;Initial -->
    433. 

  433. <g id="edge72" class="edge">
    434. 

  434. <title>12. Initial&#45;&gt;Leaving&#45;&gt;19. ExpectingAnswer&#45;&gt;Initial</title>
    435. 

  435. <path fill="none" stroke="#000000" d="M1357.0188,-216.0535C1370.4476,-191.2618 1394.7907,-146.3207 1410.4898,-117.3378"/>
    436. 

  436. <polygon fill="#000000" stroke="#000000" points="1413.7689,-118.6327 1415.4542,-108.1727 1407.6138,-115.2986 1413.7689,-118.6327"/>
    437. 

  437. </g>
    438. 

  438. <!-- 12. Initial&#45;&gt;Leaving&#45;&gt;16. Initial&#45;&gt;Pinging -->
    439. 

  439. <g id="edge69" class="edge">
    440. 

  440. <title>12. Initial&#45;&gt;Leaving&#45;&gt;16. Initial&#45;&gt;Pinging</title>
    441. 

  441. <path fill="none" stroke="#000000" d="M1405.8416,-221.1504C1416.5934,-219.1529 1427.7507,-217.318 1438.2978,-216 1614.9427,-193.9254 2144.9991,-172.9761 2358.609,-165.1914"/>
    442. 

  442. <polygon fill="#000000" stroke="#000000" points="2358.9801,-168.6803 2368.8465,-164.8196 2358.726,-161.6849 2358.9801,-168.6803"/>
    443. 

  443. </g>
    444. 

  444. <!-- 12. Initial&#45;&gt;Leaving&#45;&gt;17. Pinging&#45;&gt;ExpectingAnswer -->
    445. 

  445. <g id="edge70" class="edge">
    446. 

  446. <title>12. Initial&#45;&gt;Leaving&#45;&gt;17. Pinging&#45;&gt;ExpectingAnswer</title>
    447. 

  447. <path fill="none" stroke="#000000" d="M1407.7503,-221.7046C1466.046,-209.8478 1554.7048,-191.8155 1619.3336,-178.6707"/>
    448. 

  448. <polygon fill="#000000" stroke="#000000" points="1620.3898,-182.0276 1629.4915,-176.6047 1618.9945,-175.1681 1620.3898,-182.0276"/>
    449. 

  449. </g>
    450. 

  450. <!-- 13. EnteringMessage&#45;&gt;EnteringMessage&#45;&gt;14. EnteringMessage&#45;&gt;Initial -->
    451. 

  451. <g id="edge18" class="edge">
    452. 

  452. <title>13. EnteringMessage&#45;&gt;EnteringMessage&#45;&gt;14. EnteringMessage&#45;&gt;Initial</title>
    453. 

  453. <path fill="none" stroke="#000000" d="M900.4002,-359.8314C892.8821,-351.2392 883.7775,-340.834 875.5847,-331.4708"/>
    454. 

  454. <polygon fill="#000000" stroke="#000000" points="878.1911,-329.1344 868.972,-323.9134 872.9231,-333.744 878.1911,-329.1344"/>
    455. 

  455. </g>
    456. 

  456. <!-- 13. EnteringMessage&#45;&gt;EnteringMessage&#45;&gt;18. ExpectingAnswer&#45;&gt;Pinging -->
    457. 

  457. <g id="edge75" class="edge">
    458. 

  458. <title>13. EnteringMessage&#45;&gt;EnteringMessage&#45;&gt;18. ExpectingAnswer&#45;&gt;Pinging</title>
    459. 

  459. <path fill="none" stroke="#000000" d="M790.8045,-367.3863C643.9317,-352.0591 414.0079,-318.018 361.2978,-252 351.3147,-239.4965 350.4693,-227.779 361.2978,-216 394.9399,-179.4046 691.8367,-167.5925 869.5371,-163.7921"/>
    460. 

  460. <polygon fill="#000000" stroke="#000000" points="869.8234,-167.287 879.7485,-163.5797 869.6778,-160.2885 869.8234,-167.287"/>
    461. 

  461. </g>
    462. 

  462. <!-- 13. EnteringMessage&#45;&gt;EnteringMessage&#45;&gt;19. ExpectingAnswer&#45;&gt;Initial -->
    463. 

  463. <g id="edge76" class="edge">
    464. 

  464. <title>13. EnteringMessage&#45;&gt;EnteringMessage&#45;&gt;19. ExpectingAnswer&#45;&gt;Initial</title>
    465. 

  465. <path fill="none" stroke="#000000" d="M778.5427,-369.6528C653.222,-360.8955 478.0912,-345.4141 412.2978,-324 351.333,-304.1576 319.3822,-307.5069 287.2978,-252 272.4046,-226.2345 302.4753,-146.3152 305.2978,-144 343.1745,-112.9297 1014.1552,-97.3313 1299.0381,-92.0856"/>
    466. 

  466. <polygon fill="#000000" stroke="#000000" points="1299.4866,-95.5781 1309.421,-91.8959 1299.3587,-88.5793 1299.4866,-95.5781"/>
    467. 

  467. </g>
    468. 

  468. <!-- 13. EnteringMessage&#45;&gt;EnteringMessage&#45;&gt;16. Initial&#45;&gt;Pinging -->
    469. 

  469. <g id="edge73" class="edge">
    470. 

  470. <title>13. EnteringMessage&#45;&gt;EnteringMessage&#45;&gt;16. Initial&#45;&gt;Pinging</title>
    471. 

  471. <path fill="none" stroke="#000000" d="M1046.0906,-368.0797C1426.9717,-338.9319 2515.1732,-255.38 2518.2978,-252 2538.1965,-230.4748 2511.6105,-203.5451 2485.8792,-184.7781"/>
    472. 

  472. <polygon fill="#000000" stroke="#000000" points="2487.8134,-181.8598 2477.6149,-178.989 2483.7972,-187.5931 2487.8134,-181.8598"/>
    473. 

  473. </g>
    474. 

  474. <!-- 13. EnteringMessage&#45;&gt;EnteringMessage&#45;&gt;17. Pinging&#45;&gt;ExpectingAnswer -->
    475. 

  475. <g id="edge74" class="edge">
    476. 

  476. <title>13. EnteringMessage&#45;&gt;EnteringMessage&#45;&gt;17. Pinging&#45;&gt;ExpectingAnswer</title>
    477. 

  477. <path fill="none" stroke="#000000" d="M1015.663,-364.1275C1075.6504,-354.3881 1145.3573,-340.2351 1171.2978,-324 1222.8441,-291.7392 1202.3795,-245.9572 1255.2978,-216 1307.8008,-186.2779 1459.7268,-172.7582 1571.735,-166.7126"/>
    478. 

  478. <polygon fill="#000000" stroke="#000000" points="1571.9613,-170.2056 1581.7637,-166.1854 1571.5937,-163.2153 1571.9613,-170.2056"/>
    479. 

  479. </g>
    480. 

  480. <!-- 14. EnteringMessage&#45;&gt;Initial&#45;&gt;15. EnteringMessage&#45;&gt;EnteringMessage -->
    481. 

  481. <g id="edge19" class="edge">
    482. 

  482. <title>14. EnteringMessage&#45;&gt;Initial&#45;&gt;15. EnteringMessage&#45;&gt;EnteringMessage</title>
    483. 

  483. <path fill="none" stroke="#000000" d="M786.1306,-291.256C734.6097,-279.9465 663.2246,-264.2766 608.1566,-252.1885"/>
    484. 

  484. <polygon fill="#000000" stroke="#000000" points="608.5904,-248.7005 598.0725,-249.9749 607.0895,-255.5377 608.5904,-248.7005"/>
    485. 

  485. </g>
    486. 

  486. <!-- 14. EnteringMessage&#45;&gt;Initial&#45;&gt;18. ExpectingAnswer&#45;&gt;Pinging -->
    487. 

  487. <g id="edge79" class="edge">
    488. 

  488. <title>14. EnteringMessage&#45;&gt;Initial&#45;&gt;18. ExpectingAnswer&#45;&gt;Pinging</title>
    489. 

  489. <path fill="none" stroke="#000000" d="M801.5457,-289.8919C783.6739,-281.568 765.5734,-269.3945 755.2978,-252 747.1598,-238.2242 745.2647,-228.4635 755.2978,-216 772.5326,-194.5902 832.0127,-181.2048 888.2823,-173.1164"/>
    490. 

  490. <polygon fill="#000000" stroke="#000000" points="888.9492,-176.5574 898.3733,-171.7161 887.9871,-169.6239 888.9492,-176.5574"/>
    491. 

  491. </g>
    492. 

  492. <!-- 14. EnteringMessage&#45;&gt;Initial&#45;&gt;19. ExpectingAnswer&#45;&gt;Initial -->
    493. 

  493. <g id="edge80" class="edge">
    494. 

  494. <title>14. EnteringMessage&#45;&gt;Initial&#45;&gt;19. ExpectingAnswer&#45;&gt;Initial</title>
    495. 

  495. <path fill="none" stroke="#000000" d="M739.8915,-302.9157C586.6662,-297.5582 329.2196,-283.8836 300.2978,-252 270.9942,-219.6956 328.0514,-149.9638 337.2978,-144 377.1463,-118.298 1022.4942,-99.721 1300.0236,-92.8826"/>
    496. 

  496. <polygon fill="#000000" stroke="#000000" points="1300.2311,-96.3786 1310.1423,-92.6344 1300.0595,-89.3807 1300.2311,-96.3786"/>
    497. 

  497. </g>
    498. 

  498. <!-- 14. EnteringMessage&#45;&gt;Initial&#45;&gt;16. Initial&#45;&gt;Pinging -->
    499. 

  499. <g id="edge77" class="edge">
    500. 

  500. <title>14. EnteringMessage&#45;&gt;Initial&#45;&gt;16. Initial&#45;&gt;Pinging</title>
    501. 

  501. <path fill="none" stroke="#000000" d="M933.1805,-292.9739C947.8203,-290.9943 962.9917,-289.2112 977.2978,-288 1057.7569,-281.188 2368.2154,-303.632 2430.2978,-252 2447.9676,-237.3045 2451.7753,-210.689 2451.7223,-190.1997"/>
    502. 

  502. <polygon fill="#000000" stroke="#000000" points="2455.2184,-190.0202 2451.3956,-180.1391 2448.2221,-190.2474 2455.2184,-190.0202"/>
    503. 

  503. </g>
    504. 

  504. <!-- 14. EnteringMessage&#45;&gt;Initial&#45;&gt;17. Pinging&#45;&gt;ExpectingAnswer -->
    505. 

  505. <g id="edge78" class="edge">
    506. 

  506. <title>14. EnteringMessage&#45;&gt;Initial&#45;&gt;17. Pinging&#45;&gt;ExpectingAnswer</title>
    507. 

  507. <path fill="none" stroke="#000000" d="M867.251,-287.9946C885.062,-266.5407 918.0646,-231.6376 955.2978,-216 1010.4953,-192.8176 1373.3058,-175.0122 1571.8849,-166.8673"/>
    508. 

  508. <polygon fill="#000000" stroke="#000000" points="1572.2424,-170.3558 1582.0915,-166.4513 1571.9572,-163.3616 1572.2424,-170.3558"/>
    509. 

  509. </g>
    510. 

  510. <!-- 15. EnteringMessage&#45;&gt;EnteringMessage&#45;&gt;18. ExpectingAnswer&#45;&gt;Pinging -->
    511. 

  511. <g id="edge83" class="edge">
    512. 

  512. <title>15. EnteringMessage&#45;&gt;EnteringMessage&#45;&gt;18. ExpectingAnswer&#45;&gt;Pinging</title>
    513. 

  513. <path fill="none" stroke="#000000" d="M620.1079,-219.689C703.1318,-207.1571 823.1924,-189.0348 906.5065,-176.4591"/>
    514. 

  514. <polygon fill="#000000" stroke="#000000" points="907.114,-179.9071 916.4796,-174.9537 906.0692,-172.9855 907.114,-179.9071"/>
    515. 

  515. </g>
    516. 

  516. <!-- 15. EnteringMessage&#45;&gt;EnteringMessage&#45;&gt;19. ExpectingAnswer&#45;&gt;Initial -->
    517. 

  517. <g id="edge84" class="edge">
    518. 

  518. <title>15. EnteringMessage&#45;&gt;EnteringMessage&#45;&gt;19. ExpectingAnswer&#45;&gt;Initial</title>
    519. 

  519. <path fill="none" stroke="#000000" d="M579.3815,-217.0452C646.8133,-196.5691 765.9326,-162.5697 870.2978,-144 1018.5608,-117.6196 1191.5624,-103.3605 1304.4962,-96.2324"/>
    520. 

  520. <polygon fill="#000000" stroke="#000000" points="1304.7919,-99.7208 1314.5552,-95.6063 1304.357,-92.7344 1304.7919,-99.7208"/>
    521. 

  521. </g>
    522. 

  522. <!-- 15. EnteringMessage&#45;&gt;EnteringMessage&#45;&gt;16. Initial&#45;&gt;Pinging -->
    523. 

  523. <g id="edge81" class="edge">
    524. 

  524. <title>15. EnteringMessage&#45;&gt;EnteringMessage&#45;&gt;16. Initial&#45;&gt;Pinging</title>
    525. 

  525. <path fill="none" stroke="#000000" d="M671.0791,-227.6907C754.3297,-224.1395 860.6645,-219.6909 955.2978,-216 1487.1574,-195.2563 2125.6352,-173.094 2358.6028,-165.0977"/>
    526. 

  526. <polygon fill="#000000" stroke="#000000" points="2358.8482,-168.5914 2368.7222,-164.7505 2358.6081,-161.5956 2358.8482,-168.5914"/>
    527. 

  527. </g>
    528. 

  528. <!-- 15. EnteringMessage&#45;&gt;EnteringMessage&#45;&gt;17. Pinging&#45;&gt;ExpectingAnswer -->
    529. 

  529. <g id="edge82" class="edge">
    530. 

  530. <title>15. EnteringMessage&#45;&gt;EnteringMessage&#45;&gt;17. Pinging&#45;&gt;ExpectingAnswer</title>
    531. 

  531. <path fill="none" stroke="#000000" d="M662.7903,-225.5821C893.842,-211.4361 1356.3932,-183.1166 1577.7397,-169.5648"/>
    532. 

  532. <polygon fill="#000000" stroke="#000000" points="1578.0056,-173.0552 1587.773,-168.9505 1577.5777,-166.0682 1578.0056,-173.0552"/>
    533. 

  533. </g>
    534. 

  534. <!-- 1. TryingConnect&#45;&gt;H -->
    535. 

  535. <g id="node14" class="node">
    536. 

  536. <title>1. TryingConnect&#45;&gt;H</title>
    537. 

  537. <ellipse fill="none" stroke="#000000" cx="1074.2978" cy="-306" rx="87.9851" ry="18"/>
    538. 

  538. <text text-anchor="middle" x="1074.2978" y="-302.3" font-family="Times,serif" font-size="14.00" fill="#000000">1. TryingConnect&#45;&gt;H</text>
    539. 

  539. </g>
    540. 

  540. <!-- 2. TryingConnect&#45;&gt;Initial -->
    541. 

  541. <g id="node15" class="node">
    542. 

  542. <title>2. TryingConnect&#45;&gt;Initial</title>
    543. 

  543. <ellipse fill="none" stroke="#000000" cx="1067.2978" cy="-234" rx="102.8821" ry="18"/>
    544. 

  544. <text text-anchor="middle" x="1067.2978" y="-230.3" font-family="Times,serif" font-size="14.00" fill="#000000">2. TryingConnect&#45;&gt;Initial</text>
    545. 

  545. </g>
    546. 

  546. <!-- 1. TryingConnect&#45;&gt;H&#45;&gt;2. TryingConnect&#45;&gt;Initial -->
    547. 

  547. <g id="edge13" class="edge">
    548. 

  548. <title>1. TryingConnect&#45;&gt;H&#45;&gt;2. TryingConnect&#45;&gt;Initial</title>
    549. 

  549. <path fill="none" stroke="#000000" d="M1072.5314,-287.8314C1071.7827,-280.131 1070.8925,-270.9743 1070.0605,-262.4166"/>
    550. 

  550. <polygon fill="#000000" stroke="#000000" points="1073.5393,-262.0276 1069.0879,-252.4133 1066.5721,-262.7051 1073.5393,-262.0276"/>
    551. 

  551. </g>
    552. 

  552. <!-- 1. TryingConnect&#45;&gt;H&#45;&gt;18. ExpectingAnswer&#45;&gt;Pinging -->
    553. 

  553. <g id="edge27" class="edge">
    554. 

  554. <title>1. TryingConnect&#45;&gt;H&#45;&gt;18. ExpectingAnswer&#45;&gt;Pinging</title>
    555. 

  555. <path fill="none" stroke="#000000" d="M1009.356,-293.8442C998.6496,-291.8703 987.6652,-289.8634 977.2978,-288 931.3437,-279.7405 800.3517,-287.7318 770.2978,-252 730.6433,-204.8539 807.1491,-182.306 882.7113,-171.581"/>
    556. 

  556. <polygon fill="#000000" stroke="#000000" points="883.4321,-175.0155 892.8728,-170.2068 882.4939,-168.0786 883.4321,-175.0155"/>
    557. 

  557. </g>
    558. 

  558. <!-- 1. TryingConnect&#45;&gt;H&#45;&gt;19. ExpectingAnswer&#45;&gt;Initial -->
    559. 

  559. <g id="edge28" class="edge">
    560. 

  560. <title>1. TryingConnect&#45;&gt;H&#45;&gt;19. ExpectingAnswer&#45;&gt;Initial</title>
    561. 

  561. <path fill="none" stroke="#000000" d="M1012.1248,-293.2315C1000.5868,-291.2128 988.6075,-289.3497 977.2978,-288 903.8221,-279.2312 363.1877,-305.7194 312.2978,-252 301.2941,-240.3845 304.4146,-229.9232 312.2978,-216 342.9421,-161.8763 372.8308,-162.2243 432.2978,-144 513.1461,-119.2232 1051.7931,-100.7438 1300.2106,-93.4336"/>
    562. 

  562. <polygon fill="#000000" stroke="#000000" points="1300.4783,-96.9274 1310.3715,-93.1361 1300.2733,-89.9304 1300.4783,-96.9274"/>
    563. 

  563. </g>
    564. 

  564. <!-- 1. TryingConnect&#45;&gt;H&#45;&gt;16. Initial&#45;&gt;Pinging -->
    565. 

  565. <g id="edge25" class="edge">
    566. 

  566. <title>1. TryingConnect&#45;&gt;H&#45;&gt;16. Initial&#45;&gt;Pinging</title>
    567. 

  567. <path fill="none" stroke="#000000" d="M1155.7845,-299.2424C1204.1472,-295.4423 1266.6853,-290.8943 1322.2978,-288 1385.6325,-284.7038 2419.1655,-297.5466 2463.2978,-252 2479.0898,-235.7019 2472.7756,-209.3921 2464.1779,-189.4182"/>
    568. 

  568. <polygon fill="#000000" stroke="#000000" points="2467.2695,-187.767 2459.8607,-180.1934 2460.9295,-190.7342 2467.2695,-187.767"/>
    569. 

  569. </g>
    570. 

  570. <!-- 1. TryingConnect&#45;&gt;H&#45;&gt;17. Pinging&#45;&gt;ExpectingAnswer -->
    571. 

  571. <g id="edge26" class="edge">
    572. 

  572. <title>1. TryingConnect&#45;&gt;H&#45;&gt;17. Pinging&#45;&gt;ExpectingAnswer</title>
    573. 

  573. <path fill="none" stroke="#000000" d="M1111.3807,-289.4178C1132.0066,-279.5888 1157.7789,-266.2842 1179.2978,-252 1200.0637,-238.2156 1199.386,-225.8125 1222.2978,-216 1283.5606,-189.7627 1454.0047,-175.2705 1574.0604,-168.0648"/>
    574. 

  574. <polygon fill="#000000" stroke="#000000" points="1574.2863,-171.5577 1584.0626,-167.4743 1573.8737,-164.5698 1574.2863,-171.5577"/>
    575. 

  575. </g>
    576. 

  576. <!-- 2. TryingConnect&#45;&gt;Initial&#45;&gt;18. ExpectingAnswer&#45;&gt;Pinging -->
    577. 

  577. <g id="edge31" class="edge">
    578. 

  578. <title>2. TryingConnect&#45;&gt;Initial&#45;&gt;18. ExpectingAnswer&#45;&gt;Pinging</title>
    579. 

  579. <path fill="none" stroke="#000000" d="M1051.2303,-216.2022C1043.4765,-207.6134 1034.0292,-197.1486 1025.511,-187.7131"/>
    580. 

  580. <polygon fill="#000000" stroke="#000000" points="1027.9308,-185.1705 1018.6318,-180.0931 1022.735,-189.8612 1027.9308,-185.1705"/>
    581. 

  581. </g>
    582. 

  582. <!-- 2. TryingConnect&#45;&gt;Initial&#45;&gt;19. ExpectingAnswer&#45;&gt;Initial -->
    583. 

  583. <g id="edge32" class="edge">
    584. 

  584. <title>2. TryingConnect&#45;&gt;Initial&#45;&gt;19. ExpectingAnswer&#45;&gt;Initial</title>
    585. 

  585. <path fill="none" stroke="#000000" d="M1108.3649,-217.4814C1174.0152,-191.0746 1302.4743,-139.4038 1374.0442,-110.616"/>
    586. 

  586. <polygon fill="#000000" stroke="#000000" points="1375.3579,-113.8602 1383.3293,-106.8812 1372.7456,-107.3658 1375.3579,-113.8602"/>
    587. 

  587. </g>
    588. 

  588. <!-- 2. TryingConnect&#45;&gt;Initial&#45;&gt;16. Initial&#45;&gt;Pinging -->
    589. 

  589. <g id="edge29" class="edge">
    590. 

  590. <title>2. TryingConnect&#45;&gt;Initial&#45;&gt;16. Initial&#45;&gt;Pinging</title>
    591. 

  591. <path fill="none" stroke="#000000" d="M1155.2134,-224.6606C1186.7495,-221.5545 1222.5907,-218.3039 1255.2978,-216 1666.5276,-187.0327 2158.5861,-170.5037 2358.3485,-164.5533"/>
    592. 

  592. <polygon fill="#000000" stroke="#000000" points="2358.6093,-168.0472 2368.5012,-164.2525 2358.4019,-161.0502 2358.6093,-168.0472"/>
    593. 

  593. </g>
    594. 

  594. <!-- 2. TryingConnect&#45;&gt;Initial&#45;&gt;17. Pinging&#45;&gt;ExpectingAnswer -->
    595. 

  595. <g id="edge30" class="edge">
    596. 

  596. <title>2. TryingConnect&#45;&gt;Initial&#45;&gt;17. Pinging&#45;&gt;ExpectingAnswer</title>
    597. 

  597. <path fill="none" stroke="#000000" d="M1143.061,-221.7946C1156.7692,-219.7429 1170.9473,-217.7231 1184.2978,-216 1322.16,-198.2061 1481.2897,-182.2755 1586.1847,-172.4078"/>
    598. 

  598. <polygon fill="#000000" stroke="#000000" points="1586.5345,-175.8905 1596.164,-171.472 1585.8808,-168.9211 1586.5345,-175.8905"/>
    599. 

  599. </g>
    600. 

  600. <!-- 18. ExpectingAnswer&#45;&gt;Pinging&#45;&gt;19. ExpectingAnswer&#45;&gt;Initial -->
    601. 

  601. <g id="edge20" class="edge">
    602. 

  602. <title>18. ExpectingAnswer&#45;&gt;Pinging&#45;&gt;19. ExpectingAnswer&#45;&gt;Initial</title>
    603. 

  603. <path fill="none" stroke="#000000" d="M1082.8565,-148.2879C1155.4636,-135.9292 1262.0138,-117.793 1336.9335,-105.0407"/>
    604. 

  604. <polygon fill="#000000" stroke="#000000" points="1337.5566,-108.4851 1346.8275,-103.3566 1336.3819,-101.5844 1337.5566,-108.4851"/>
    605. 

  605. </g>
    606. 

  606. <!-- 20. Receiving&#45;&gt;Receiving -->
    607. 

  607. <g id="node21" class="node">
    608. 

  608. <title>20. Receiving&#45;&gt;Receiving</title>
    609. 

  609. <ellipse fill="none" stroke="#000000" cx="1497.2978" cy="-18" rx="103.9815" ry="18"/>
    610. 

  610. <text text-anchor="middle" x="1497.2978" y="-14.3" font-family="Times,serif" font-size="14.00" fill="#000000">20. Receiving&#45;&gt;Receiving</text>
    611. 

  611. </g>
    612. 

  612. <!-- 18. ExpectingAnswer&#45;&gt;Pinging&#45;&gt;20. Receiving&#45;&gt;Receiving -->
    613. 

  613. <g id="edge87" class="edge">
    614. 

  614. <title>18. ExpectingAnswer&#45;&gt;Pinging&#45;&gt;20. Receiving&#45;&gt;Receiving</title>
    615. 

  615. <path fill="none" stroke="#000000" d="M1054.9302,-145.6567C1114.3817,-127.3004 1214.0888,-96.8291 1300.2978,-72 1343.4674,-59.5667 1392.1519,-46.2155 1430.3224,-35.8994"/>
    616. 

  616. <polygon fill="#000000" stroke="#000000" points="1431.5491,-39.1936 1440.292,-33.2093 1429.7255,-32.4353 1431.5491,-39.1936"/>
    617. 

  617. </g>
    618. 

  618. <!-- 19. ExpectingAnswer&#45;&gt;Initial&#45;&gt;20. Receiving&#45;&gt;Receiving -->
    619. 

  619. <g id="edge88" class="edge">
    620. 

  620. <title>19. ExpectingAnswer&#45;&gt;Initial&#45;&gt;20. Receiving&#45;&gt;Receiving</title>
    621. 

  621. <path fill="none" stroke="#000000" d="M1443.0955,-72.2022C1451.9226,-63.3752 1462.7309,-52.5669 1472.3671,-42.9307"/>
    622. 

  622. <polygon fill="#000000" stroke="#000000" points="1474.859,-45.3885 1479.4552,-35.8425 1469.9092,-40.4388 1474.859,-45.3885"/>
    623. 

  623. </g>
    624. 

  624. <!-- 0. Initial&#45;&gt;TryingConnect -->
    625. 

  625. <g id="node18" class="node">
    626. 

  626. <title>0. Initial&#45;&gt;TryingConnect</title>
    627. 

  627. <ellipse fill="none" stroke="#000000" cx="2114.2978" cy="-234" rx="102.8821" ry="18"/>
    628. 

  628. <text text-anchor="middle" x="2114.2978" y="-230.3" font-family="Times,serif" font-size="14.00" fill="#000000">0. Initial&#45;&gt;TryingConnect</text>
    629. 

  629. </g>
    630. 

  630. <!-- 0. Initial&#45;&gt;TryingConnect&#45;&gt;18. ExpectingAnswer&#45;&gt;Pinging -->
    631. 

  631. <g id="edge23" class="edge">
    632. 

  632. <title>0. Initial&#45;&gt;TryingConnect&#45;&gt;18. ExpectingAnswer&#45;&gt;Pinging</title>
    633. 

  633. <path fill="none" stroke="#000000" d="M2025.417,-224.8081C1994.1103,-221.7512 1958.6621,-218.4942 1926.2978,-216 1642.0268,-194.0922 1307.9424,-176.6124 1129.6505,-167.9465"/>
    634. 

  634. <polygon fill="#000000" stroke="#000000" points="1129.6025,-164.4402 1119.4448,-167.4519 1129.2635,-171.432 1129.6025,-164.4402"/>
    635. 

  635. </g>
    636. 

  636. <!-- 0. Initial&#45;&gt;TryingConnect&#45;&gt;19. ExpectingAnswer&#45;&gt;Initial -->
    637. 

  637. <g id="edge24" class="edge">
    638. 

  638. <title>0. Initial&#45;&gt;TryingConnect&#45;&gt;19. ExpectingAnswer&#45;&gt;Initial</title>
    639. 

  639. <path fill="none" stroke="#000000" d="M2074.6926,-217.3101C2024.535,-196.8604 1935.0242,-162.6407 1855.2978,-144 1750.9978,-119.6138 1629.7222,-105.6505 1542.6067,-98.0592"/>
    640. 

  640. <polygon fill="#000000" stroke="#000000" points="1542.685,-94.5532 1532.4228,-97.1872 1542.0877,-101.5276 1542.685,-94.5532"/>
    641. 

  641. </g>
    642. 

  642. <!-- 0. Initial&#45;&gt;TryingConnect&#45;&gt;16. Initial&#45;&gt;Pinging -->
    643. 

  643. <g id="edge21" class="edge">
    644. 

  644. <title>0. Initial&#45;&gt;TryingConnect&#45;&gt;16. Initial&#45;&gt;Pinging</title>
    645. 

  645. <path fill="none" stroke="#000000" d="M2179.2864,-220.0323C2237.2936,-207.5651 2321.9526,-189.3697 2380.9584,-176.6879"/>
    646. 

  646. <polygon fill="#000000" stroke="#000000" points="2381.8901,-180.0676 2390.9314,-174.5444 2380.4192,-173.2239 2381.8901,-180.0676"/>
    647. 

  647. </g>
    648. 

  648. <!-- 0. Initial&#45;&gt;TryingConnect&#45;&gt;17. Pinging&#45;&gt;ExpectingAnswer -->
    649. 

  649. <g id="edge22" class="edge">
    650. 

  650. <title>0. Initial&#45;&gt;TryingConnect&#45;&gt;17. Pinging&#45;&gt;ExpectingAnswer</title>
    651. 

  651. <path fill="none" stroke="#000000" d="M2041.4123,-221.2936C1971.3804,-209.0846 1865.4176,-190.6117 1790.4037,-177.5342"/>
    652. 

  652. <polygon fill="#000000" stroke="#000000" points="1790.9456,-174.076 1780.4931,-175.8064 1789.7433,-180.972 1790.9456,-174.076"/>
    653. 

  653. </g>
    654. 

  654. <!-- 16. Initial&#45;&gt;Pinging&#45;&gt;20. Receiving&#45;&gt;Receiving -->
    655. 

  655. <g id="edge85" class="edge">
    656. 

  656. <title>16. Initial&#45;&gt;Pinging&#45;&gt;20. Receiving&#45;&gt;Receiving</title>
    657. 

  657. <path fill="none" stroke="#000000" d="M2381.9757,-151.8168C2213.6854,-126.3612 1774.6864,-59.9579 1585.8108,-31.3885"/>
    658. 

  658. <polygon fill="#000000" stroke="#000000" points="1586.3266,-27.9268 1575.9156,-29.8918 1585.2796,-34.8481 1586.3266,-27.9268"/>
    659. 

  659. </g>
    660. 

  660. <!-- 17. Pinging&#45;&gt;ExpectingAnswer&#45;&gt;20. Receiving&#45;&gt;Receiving -->
    661. 

  661. <g id="edge86" class="edge">
    662. 

  662. <title>17. Pinging&#45;&gt;ExpectingAnswer&#45;&gt;20. Receiving&#45;&gt;Receiving</title>
    663. 

  663. <path fill="none" stroke="#000000" d="M1676.2834,-144.3428C1639.6309,-118.4705 1571.2711,-70.2164 1530.4653,-41.4124"/>
    664. 

  664. <polygon fill="#000000" stroke="#000000" points="1532.3855,-38.4837 1522.1974,-35.5762 1528.3487,-44.2025 1532.3855,-38.4837"/>
    665. 

  665. </g>
    666. 

  666. </g>
    667. 

  667. </svg>
    668. 

  668.