statemaschine/differential_state_machine.svg


1
2
3

<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" version="1.1" width="974px" height="781px" viewBox="-0.5 -0.5 974 781" content="&lt;mxfile host=&quot;app.diagrams.net&quot; modified=&quot;2021-06-09T07:05:12.668Z&quot; agent=&quot;5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/91.0.4472.77 Safari/537.36&quot; etag=&quot;z64y_82akE6YHg7AOlcM&quot; version=&quot;14.7.6&quot; type=&quot;device&quot;&gt;&lt;diagram id=&quot;C5RBs43oDa-KdzZeNtuy&quot; name=&quot;Page-1&quot;&gt;7V1bk6O4Ff41rtqkyhRCSILHvs3sJJ1ktno3s/vIGNomsY0H07f59SsuAkvINuCDW06mX9rIILB0zqfv3MQE36xeP6bBZvGPJIyWE8cOXyf4duI4jk0d/i9veStbEMKobJmncVi1NQ0P8feoarSr1qc4jLbSiVmSLLN4IzfOkvU6mmVSW5CmyYt82mOylO+6CeZRq+FhFizbrV/iMFtUrZS4zRc/R/F8IW6NqF9+swrE2dVP2S6CMHnZacJ3E3yTJklWflq93kTLfPjEwHz59PZlef9f+vFvv2y/Bb9d//3Xf/57Wnb2oc8l9W9Io3U2uGvkld08B8unanAmDl3yDq/D+Jl/nOcf02j2PMFX/Lx/baI0yOJkzT+n0benaJuJ87+m4nTRwm+704mm3220Dst+H+5+uvnLJB9B/aXFUGdvYgKjkM9ndZik2SKZJ+tgede0XqfJ0zqM8l9p86PmnPsk2fBGxBv/E2XZWyWcwVOW8KZFtlpW33Yc3moatslTOhPS5bBKpoN0HlUX47Ipf/AdGawm5WOUrKIsfSsGdcnH91kW1KCS93l9Xn3p5yTmz+fYlXJij1mkvKhSTpcRuZPyUavrGtG4StPgbee0TX7CdvcM/mHnUZumQqT04oVb0nX3uuEaHa/nvPnT9Yf2zC6XHAXyGXxZxFn0sAmKYX3hSHTK/DxHaRa9Hhz56lsX29L4YaHpLw1S+NWQLnYwgtj750oawQPDRY8Pl30fbDPzRo0iZPnMb/7kMWTtMURiMYAeRNYF0a5mhZI1gDMAvW6jWRIWU9MNs957jlTJJvR8ko3xe2A4H8D07ffq+uLgj/yAI2R1ePu6++Xtmzh6jbPfmzP50R+iR/65uSg/ENf0mzVlHZDXCuSQURYH17OVxYF53RaHVlfMV7vyXaWr8hf1WGf2PTSS7uMh++CT8R8pPxcmiqCWTzB0SfPaa5oGG+LHktcExbVhtAoKSeYTv4xWUfGDO0PPIiiQ6msUlaxrFnERCLX6dB985Vxd0oFgGc/X/POM3zVKeUMOGDHnwlfVF6s4DEt1i7bx9+Br0V8u0dXM8M7J9YTcamVc6HULhWryXnU42aXHOnSa2hb1qCxTTmVonCj3U9FP1e0UKaKaPD5uo0wRk96C0UUuPsTreLvovMTw/m6WyfaCFxlWqd85FhmENFOgDtA6vMotyFwjlsF2G8+gaD9uAznVgn177HbGhhxgRafCP3ZU20BVhK7w73pqV5h2g/8BioWc1rQ2BqnWhngPJET7VGUIErqIKYgFIgFIXkrHQEGko99n00Ha1kFmlg4SVXGoPVAHia12RchoOujqoFWzXB1wHXFNnd5fPfx6ePHr4Pg5v2oLmYZQbez6MhuBUW1HXnanY+i2UOX30W2NU80zS7d9X9Xtjr63tm5ThUWpCzWgZh9aXW+TdWSGDtayd7IO5qsrlZfXE1UQVsl09mVPJWv8HhZD7q7vA1k2Zse8H/nR5yiN+VPnEznAvXFEb81ak7GibFS1RTqzYqR0ZCsdAblECNM/8H6mIIs79aTzT3aJOG4XciBcIqUbO8ydp4VH5AQP7EvMxYNLWxwWrtz8znYugr3DT5/W357iXEbMJSEOpKfF8eSFaopgVGmKsEVdGVsdaxRDQ3RqDBkxDNRsNRBI2UBYw6TVlTMOsKlILIBu75OpQIhhga3Oa+iDbI+Fi6+AtlCJEJ0UIi+5mMEAJRQSAqAQcVWEAgIoxCmRDFANZMEClM4h/AOgLpZ1qfchRwJRWAlEEReYdfldsEnYcmX2zuNjlMKAURHRMhqOhPrB8CVPYTVQfMnRdgsKRCIi8wOI9lhHQEBEyJmAyJfvI473Ppea92EDsyS3nbfUuJDuyoC3GaBQqwKAF8lGAoGBgzRjkBEXwKs0HAM0YRmzQqPMPpS+RtW4SucsGXKwWzXyA4QPzD2Yi3fEWcTowat9DIwdOjO+d2Dpr5cXVHIh/TlIqLNInAHRCmyJh6zpiUXxGOi0L/F1kmeGt+frvZNckK1we12SMNPAlQuQ5UJ0vF8j0cbmx7t+ezkgXUN5nUW6c851mx2bGP+qZx2AuTieK8PFqcwFFgza8v05ZyNFEmSTc208JhDm1I6lc8DCu1p5robiiYk0hOPRVtRsKKtzVDtvtOA86xRZO8iOqsqqfj6fPqGzgn2dEsWT+qpShHr0ZwQ6A9qV2JFJF5RZKXdKlQ5AoJu0edw5MUjDKwzHIA+zVvBhKAwxr90XkEWJ1PQyxZetSTRVF0ME63Minaq8dojcQX/1AUiq3VcGg4/QOghLktiKV0v40U+1JZ0R8IZq4MVky0dYOZpiL0jTZ5iOIyRHXA8WTrUu99Syq47lYEMKbZwuug9ZgaXpfl9R1v9BoF9oHUzNF/GoJDgwbEeO1k39MchOO74vqrvsL0GcXYaVyty6iuAMRiozjiCaFYdo26gDY5FtG7VbLHKIjdqJih3z4F+eA59B0i6bUXqaBMHWsgI4k0QRvfi8U3oPVER/JM3AcNvv7LrdlxF6aj4DcAKTKOzvlVwZxMuCxXFSLpLITyNyqifrBKeVuVhV6zMIVjkuaPlM7WSwPLlf3/Kp3AsMuOmcqmcjIcbnQ7mY8nEntvhDR3K/O+dpKkEnihRWDpVE7utxdu9zKelR0NUxno7z6mBu9NKYIZUxPVNGjQA7od8g5bp1DYAAO3KalsFCGUCOec3TLLusFay5GmOH2Vp+AFcnaBhd85S0UOY7g131CBFl5wVfSaMZy1Ev0Hrvk7U8+9Do1ytLXcGbwQnpFwJUoCnqRN1XYJQ9Q6ae3AEIjPkAjGyn5tnHzkTa781xJz9KnqWU8FZtytBcCMWoJR23ATq15JkcwTXiq88FC2t+p7TVbvFHTbDRBHTyIWlUaz8jGDl2mMXkcCXClgAPWIgyznNtGF9CSGUS9nDCpLqe8ijFWLkNttvPXkS26sgDpkxIxMrNr6fxIX3giApCBONXErnZlk/tnb8xEp+QMBZAGAzaZS/oCHX5HwcVm1rMcSlyfeRQGeqJRyziOT7DPvIIEpuc9DbObN+2PMYoQZ7LlOQ74nsW8nx+Lx9T4hPlF0BhEFKLob1jZpta9Azsm0dCTboSHGUHlZMc8Rfoc2oAwOQkLEQsrECsY3njAGJ7DesNiMOhTbMXq1kGmOpdomrl91CmVO8cN8I+rHanra+77/hohuIKQQXZt5UqO8tNHaB10MpFpkViBMXxLAEYwFr8rqEyHUExTI3VDYtU7RtbjXvH9NVNTID9Isju6Ri5DIyAdIXYLlYKPE7ECFiVd3TED8SSaWyXPU5YTcIQ5Ds3jmVid65BPZPt4yiOCUbrVM3+No66oSxjal9jhaC4ZWWRw0+nWjMMM+tA8vkQsdZUlRrqU2k0EKCYDBGhvqA+FW42qOY2EPq86z4lGlAwCxNonhPle1w/sMunVon4MeZbyHUQJtThZ9hKqK4rWBy5CbEtjzCPupgDEhXfAqMIVaPvR3aCbJ0P7Q9x25kWxuIH2M4inKzA7pQtrF2LjBFGRto9YUteuUnzPKgCL4ov6Len/BWd16vk+zT/GE2LM0SzIKAf6s08a3pannfs9TvbRbDJG8PkiQ/2Xd2+4voR53OMJ0eLQFpyMk+DMOYHN8kySYs74sfirzfqda8YYUxJyhRr9e67/OwDkHdKvQjSvM1v95WIN6U8F+8j3TsVlzDKahJiXT97bJQhqnLqjcwupY4S6VZqsQXF+beQQaTNWna82bpX5pqxUIDtKVNskSkJsFk2bad3s31ax1kcaJBlaCDiohCIm4hyoveYEMQPm1dklzPavGoc3/0J&lt;/diagram&gt;&lt;/mxfile&gt;" style="background-color: rgb(255, 255, 255);"><defs><linearGradient x1="0%" y1="0%" x2="0%" y2="100%" id="mx-gradient-ffffff-1-ffffff-1-s-0"><stop offset="0%" style="stop-color:#ffffff"/><stop offset="100%" style="stop-color:#ffffff"/></linearGradient></defs><g><path d="M 188 40 L 188 90 L 185.5 90 L 185.5 133.63" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 185.5 138.88 L 182 131.88 L 185.5 133.63 L 189 131.88 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 90px; margin-left: 187px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; "><div>recv: Operation request<br /></div><div>send: SE(C) </div></div></div></div></foreignObject><text x="187" y="93" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">recv: Operation request...</text></switch></g><ellipse cx="185.5" cy="165" rx="47.5" ry="25" fill="#ffffff" stroke="#000000" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 93px; height: 1px; padding-top: 165px; margin-left: 139px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; white-space: normal; word-wrap: normal; ">Expecting IBF</div></div></div></foreignObject><text x="186" y="169" fill="#000000" font-family="Helvetica" font-size="12px" text-anchor="middle">Expecting IBF</text></switch></g><ellipse cx="374.98" cy="215" rx="55" ry="25" fill="#ffffff" stroke="#000000" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 108px; height: 1px; padding-top: 215px; margin-left: 321px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; white-space: normal; word-wrap: normal; ">Expecting IBF Last</div></div></div></foreignObject><text x="375" y="219" fill="#000000" font-family="Helvetica" font-size="12px" text-anchor="middle">Expecting IBF Last</text></switch></g><ellipse cx="185.5" cy="405" rx="47.5" ry="25" fill="#ffffff" stroke="#000000" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 93px; height: 1px; padding-top: 405px; margin-left: 139px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; white-space: normal; word-wrap: normal; "><div>Active <br /></div><div>Decoding</div></div></div></div></foreignObject><text x="186" y="409" fill="#000000" font-family="Helvetica" font-size="12px" text-anchor="middle">Active...</text></switch></g><path d="M 188.5 605 L 188.5 630 L 188 755 L 478.63 755" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 483.88 755 L 476.88 758.5 L 478.63 755 L 476.88 751.5 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 661px; margin-left: 189px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; "><div>if: all demanded elements <br /></div>have been received</div></div></div></foreignObject><text x="189" y="664" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">if: all demanded elements...</text></switch></g><ellipse cx="185.5" cy="580" rx="47.5" ry="25" fill="#ffffff" stroke="#000000" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 93px; height: 1px; padding-top: 580px; margin-left: 139px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; white-space: normal; word-wrap: normal; "><div>Finish</div><div> Closing</div></div></div></div></foreignObject><text x="186" y="584" fill="#000000" font-family="Helvetica" font-size="12px" text-anchor="middle">Finish...</text></switch></g><path d="M 228.01 176.15 L 321.29 200.8" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 326.36 202.14 L 318.7 203.73 L 321.29 200.8 L 320.49 196.97 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 190px; margin-left: 268px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; ">recv: IBF</div></div></div></foreignObject><text x="268" y="194" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">recv: IBF</text></switch></g><path d="M 352.22 237.76 L 212.03 378.34" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 208.32 382.06 L 210.79 374.63 L 212.03 378.34 L 215.74 379.57 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 281px; margin-left: 326px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; "><div><div>recv: IBF-LAST</div></div></div></div></div></foreignObject><text x="326" y="285" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">recv: IBF-LAST</text></switch></g><path d="M 185.5 430 L 185.5 548.63" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 185.5 553.88 L 182 546.88 L 185.5 548.63 L 189 546.88 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 520px; margin-left: 187px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; ">recv: Done</div></div></div></foreignObject><text x="187" y="523" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">recv: Done</text></switch></g><path d="M 213.88 425.05 L 269.81 464.26 Q 278 470 268.97 474.3 L 224.03 495.7 Q 215 500 213.67 490.09 L 206.68 438.16" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 205.98 432.96 L 210.38 439.43 L 206.68 438.16 L 203.44 440.36 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 474px; margin-left: 261px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; "><div>if: IBF decoded <br /></div><div>with side = -1</div><div>send: Inquiry</div></div></div></div></foreignObject><text x="261" y="477" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">if: IBF decoded...</text></switch></g><path d="M 139.35 399.08 L 77.92 391.26 Q 68 390 69.64 399.86 L 76.36 440.14 Q 78 450 87.23 446.15 L 142.52 423.06" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 147.36 421.04 L 142.25 426.96 L 142.52 423.06 L 139.55 420.5 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 420px; margin-left: 58px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; "><div>if: IBF finished decoding<br /></div><div>send: Done</div></div></div></div></foreignObject><text x="58" y="423" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">if: IBF finished decoding...</text></switch></g><path d="M 165.29 382.38 L 124.7 337.42 Q 118 330 110.93 337.07 L 95.07 352.93 Q 88 360 97.08 364.18 L 144.08 385.81" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 148.85 388 L 141.03 388.25 L 144.08 385.81 L 143.96 381.9 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 352px; margin-left: 103px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; "><div>recv:: Offer<br /></div><div>send: Demand</div></div></div></div></foreignObject><text x="103" y="355" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">recv:: Offer...</text></switch></g><path d="M 188.65 380.06 L 196.68 319.91 Q 198 310 207.7 312.43 L 228.3 317.57 Q 238 320 232.73 328.5 L 203.41 375.79" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 200.65 380.25 L 201.36 372.46 L 203.41 375.79 L 207.31 376.15 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 317px; margin-left: 234px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; ">recv: Element</div></div></div></foreignObject><text x="234" y="320" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">recv: Element</text></switch></g><path d="M 408.19 195.07 L 441.41 175.14 Q 449.98 170 454.2 179.07 L 465.76 203.93 Q 469.98 213 459.98 213.21 L 436.29 213.71" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 431.04 213.82 L 437.96 210.17 L 436.29 213.71 L 438.11 217.17 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 191px; margin-left: 460px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; "><div><div>recv: IBF*</div></div></div></div></div></foreignObject><text x="460" y="194" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">recv: IBF*</text></switch></g><ellipse cx="823" cy="160" rx="35" ry="20" fill="#ffffff" stroke="#000000" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 68px; height: 1px; padding-top: 160px; margin-left: 789px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; white-space: normal; word-wrap: normal; ">Expect SE</div></div></div></foreignObject><text x="823" y="164" fill="#000000" font-family="Helvetica" font-size="12px" text-anchor="middle">Expect SE</text></switch></g><path d="M 823 432.64 L 823 556.13" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 823 561.38 L 819.5 554.38 L 823 556.13 L 826.5 554.38 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 516px; margin-left: 823px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; ">recv: Done</div></div></div></foreignObject><text x="823" y="519" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">recv: Done</text></switch></g><ellipse cx="823" cy="412.64" rx="35" ry="20" fill="#ffffff" stroke="#000000" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 68px; height: 1px; padding-top: 413px; margin-left: 789px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; white-space: normal; word-wrap: normal; ">Passive Decoding</div></div></div></foreignObject><text x="823" y="416" fill="#000000" font-family="Helvetica" font-size="12px" text-anchor="middle">Passive Dec...</text></switch></g><path d="M 823 180 L 823 386.27" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 823 391.52 L 819.5 384.52 L 823 386.27 L 826.5 384.52 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 261px; margin-left: 824px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; "><div><div>recv: SE(C)<br /></div></div><div>send: IBF* <br /></div><div>send: IBF-LAST <br /></div></div></div></div></foreignObject><text x="824" y="264" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">recv: SE(C)...</text></switch></g><path d="M 849.45 399.54 L 919.07 364.5 Q 928 360 920 354 L 896 336 Q 888 330 881.83 337.87 L 841.37 389.41" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 838.13 393.54 L 839.7 385.87 L 841.37 389.41 L 845.21 390.2 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 350px; margin-left: 918px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; "><div>recv: Demand</div><div>send: Element</div></div></div></div></foreignObject><text x="918" y="354" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">recv: Demand...</text></switch></g><path d="M 823 602.5 L 823 755 L 591.37 755" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 586.12 755 L 593.12 751.5 L 591.37 755 L 593.12 758.5 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 661px; margin-left: 829px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; "><div>if: all demanded elements <br /></div><div>have been received<br /></div><div>send: Done</div></div></div></div></foreignObject><text x="829" y="664" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">if: all demanded elements...</text></switch></g><ellipse cx="823" cy="582.5" rx="35" ry="20" fill="#ffffff" stroke="#000000" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 68px; height: 1px; padding-top: 583px; margin-left: 789px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; white-space: normal; word-wrap: normal; ">Finish Waiting</div></div></div></foreignObject><text x="823" y="586" fill="#000000" font-family="Helvetica" font-size="12px" text-anchor="middle">Finish Wait...</text></switch></g><path d="M 795.3 400.42 L 420.34 234.95" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 415.53 232.83 L 423.35 232.46 L 420.34 234.95 L 420.52 238.86 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 323px; margin-left: 620px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; "><div><div>recv: IBF</div></div></div></div></div></foreignObject><text x="620" y="327" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">recv: IBF</text></switch></g><path d="M 233 405 L 548.14 458.33 Q 558 460 567.84 458.24 L 783.3 419.69" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 788.47 418.77 L 782.2 423.44 L 783.3 419.69 L 780.97 416.55 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 460px; margin-left: 518px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; "><div>if: IBF failed to decode <br /></div><div>send: IBF*</div><div>send: IBF-LAST</div></div></div></div></foreignObject><text x="518" y="464" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">if: IBF failed to decode...</text></switch></g><path d="M 158.14 425.44 L 106.03 464.05 Q 98 470 106 476 L 130 494 Q 138 500 142.48 491.06 L 170.67 434.88" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 173.03 430.19 L 173.02 438.02 L 170.67 434.88 L 166.76 434.88 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 480px; margin-left: 111px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; "><div>if IBF decoded <br /></div><div>with side = 1</div><div>send: Offer<br /></div></div></div></div></foreignObject><text x="111" y="483" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">if IBF decoded...</text></switch></g><path d="M 858.98 423.64 L 918.27 437.69 Q 928 440 928 430 L 928 410 Q 928 400 918.17 401.85 L 865.26 411.82" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 860.1 412.79 L 866.33 408.06 L 865.26 411.82 L 867.63 414.94 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 421px; margin-left: 938px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; "><div>recv: Offer</div><div>send: Demand<br /></div></div></div></div></foreignObject><text x="938" y="424" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">recv: Offer...</text></switch></g><path d="M 213.88 384.95 L 269.81 345.74 Q 278 340 282.47 348.94 L 293.53 371.06 Q 298 380 288.14 381.66 L 232.82 390.95" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 227.64 391.81 L 233.97 387.2 L 232.82 390.95 L 235.13 394.11 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 361px; margin-left: 299px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; "><div>recv: Demand</div>send: Element</div></div></div></foreignObject><text x="299" y="364" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">recv: Demandsend: Element</text></switch></g><path d="M 801.97 428.63 L 755.94 463.92 Q 748 470 755.07 477.07 L 770.93 492.93 Q 778 500 782.58 491.11 L 810.17 437.48" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 812.57 432.81 L 812.48 440.64 L 810.17 437.48 L 806.25 437.44 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 481px; margin-left: 756px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; ">recv: Element</div></div></div></foreignObject><text x="756" y="484" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">recv: Element</text></switch></g><path d="M 832.92 431.82 L 863.42 491.11 Q 868 500 875.81 493.75 L 910.19 466.25 Q 918 460 908.96 455.73 L 853.51 429.5" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 848.76 427.26 L 856.58 427.09 L 853.51 429.5 L 853.59 433.42 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 480px; margin-left: 898px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; "><div>recv: Inquiry<br /></div><div>send: Offer<br /></div></div></div></div></foreignObject><text x="898" y="484" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">recv: Inquiry...</text></switch></g><path d="M 185.5 190 L 185.5 373.63" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 185.5 378.88 L 182 371.88 L 185.5 373.63 L 189 371.88 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 280px; margin-left: 195px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; "><div>recv: IBF-LAST</div></div></div></div></foreignObject><text x="195" y="283" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">recv: IBF-LAST</text></switch></g><path d="M 788.58 409.03 L 527.94 381.07 Q 518 380 508.03 380.75 L 238.87 400.98" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 233.64 401.38 L 240.35 397.36 L 238.87 400.98 L 240.88 404.34 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 379px; margin-left: 524px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; "><div>recv: IBF-LAST</div></div></div></div></foreignObject><text x="524" y="382" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">recv: IBF-LAST</text></switch></g><path d="M 847.75 596.64 L 918 596.52 Q 928 596.5 925.52 586.81 L 920.48 567.19 Q 918 557.5 908.12 559.03 L 854.04 567.39" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 848.85 568.19 L 855.24 563.66 L 854.04 567.39 L 856.31 570.58 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 581px; margin-left: 920px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; ">recv: Element</div></div></div></foreignObject><text x="920" y="584" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">recv: Element</text></switch></g><path d="M 232.43 583.85 L 298.03 589.19 Q 308 590 308 580 L 308 570 Q 308 560 298.13 561.61 L 237.14 571.54" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 231.95 572.39 L 238.3 567.81 L 237.14 571.54 L 239.43 574.71 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 575px; margin-left: 308px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; ">recv: Element</div></div></div></foreignObject><text x="308" y="578" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">recv: Element</text></switch></g><ellipse cx="535" cy="755" rx="50" ry="25" fill="url(#mx-gradient-ffffff-1-ffffff-1-s-0)" stroke="#000000" pointer-events="all"/><ellipse cx="535" cy="755" rx="47" ry="22" fill="none" stroke="#000000" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 92px; height: 1px; padding-top: 755px; margin-left: 489px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; white-space: normal; word-wrap: normal; "><pre class="moz-quote-pre">Finished</pre></div></div></div></foreignObject><text x="535" y="759" fill="#000000" font-family="Helvetica" font-size="12px" text-anchor="middle">Finished</text></switch></g><ellipse cx="188" cy="20" rx="50" ry="20" fill="url(#mx-gradient-ffffff-1-ffffff-1-s-0)" stroke="#000000" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 98px; height: 1px; padding-top: 20px; margin-left: 139px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; white-space: normal; word-wrap: normal; ">Expecting Connection</div></div></div></foreignObject><text x="188" y="24" fill="#000000" font-family="Helvetica" font-size="12px" text-anchor="middle">Expecting Connec...</text></switch></g><path d="M 823 40 L 823 133.63" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 823 138.88 L 819.5 131.88 L 823 133.63 L 826.5 131.88 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 77px; margin-left: 826px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; ">send: Operation request</div></div></div></foreignObject><text x="826" y="80" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">send: Operation request</text></switch></g><ellipse cx="823" cy="20" rx="50" ry="20" fill="url(#mx-gradient-ffffff-1-ffffff-1-s-0)" stroke="#000000" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 98px; height: 1px; padding-top: 20px; margin-left: 774px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; white-space: normal; word-wrap: normal; "><div>Initiating Connection<br /></div></div></div></div></foreignObject><text x="823" y="24" fill="#000000" font-family="Helvetica" font-size="12px" text-anchor="middle">Initiating Conne...</text></switch></g></g><switch><g requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"/><a transform="translate(0,-5)" xlink:href="https://www.diagrams.net/doc/faq/svg-export-text-problems" target="_blank"><text text-anchor="middle" font-size="10px" x="50%" y="100%">Viewer does not support full SVG 1.1</text></a></switch></svg>