full_state_machine.svg (59817B)
1 <?xml version="1.0" encoding="UTF-8"?> 2 <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd"> 3 <svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" version="1.1" width="1542px" height="921px" viewBox="-0.5 -0.5 1542 921" content="<mxfile host="app.diagrams.net" modified="2021-06-13T08:27:44.954Z" agent="5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/91.0.4472.101 Safari/537.36" etag="TZ1PEdsaJnohzDLpFfKl" version="14.7.7" type="device"><diagram id="C5RBs43oDa-KdzZeNtuy" name="Page-1">7V1td9u2Ff41PmfbOebBO8iPie102dItbbql/chYtMVOEh1Kduz++oEvoMgLSKJIUIba+kMiQiRI4d774L7zgl4tn7/L44f599ksWVwQNHu+oNcXhBAkiPqvGHmpRjAWUTVyn6ezemw78Cn9LakHUT36mM6SdefETZYtNulDd/A2W62S201nLM7z7Fv3tLts0b3rQ3yfGAOfbuOFOfo5nW3m9ajgbPvF35P0fr6BP3AZ67Prn7Kex7PsW2uI3lzQqzzLNtWn5fNVsiiWTy/M5/cvnxcf/ie++8cP66/xf97+86d//feymuzdMZc0vyFPVpvBU+OwmuYpXjzWi3NBxEJN+HaWPqmP98XHPLl9uqBv1Hn/fkjyeJNmK/U5T74+JuuNPv9Lrk/XI+q2rUks866T1aya99PNX67+elGsoP3Scqk3L5qAyUzRsz7M8s08u89W8eJmO/o2zx5Xs6T4lUgdbc/5kGUPahCrwV+TzealZs74cZOpoflmuai/7bm8NRnW2WN+q7mLyJqn4/w+qS+m1VDx4C0erInyXZItk03+Ui7qQq3vU5dR45rf75vzmks/Zql6PoJq4aQhry6pRZNS3p2ietD6qi1jvMnz+KV12kNxwrp9hvrQetDtUMlQO5iLo9egnCJY/vJzfX158EtxEHB9eP3c/vL6pT4aTnFq0puFkxB8N53s/BBqEtT8oCH4Xc/zGeKACaonGM4SxACcLbp8KvBA4fljcY2FcT7EX9RW1CF2vEjvV+rzrSJakquBpyTfpArq39RfLNPZrOKrZJ3+Fn8p5yvIXS+dmpy/veDXVgZoOLiYNXm2bU71jB347xC4vupSMSAmrCud1dFQmdenZHd362RzMU5YqUGXm+cH9fvS1b0afv/2nUmRxUJt2MXSfpunm+TTQ1zKwzelNIyBUmOpdy5pA25aD9Hg9227qUf10Ly1nWui2pa4s4L7lis6r02JmRCFCfcCowgKO2SMOAKUaGGOcbWMkPXq5vbVTzZ2vAEiwjQY9FSW3pU4hmbZKjlCrzk5yGlWdoJxgks2DtVqOgoZANXFCcwxg4Q1lYq9p8Q631AOiy6DU4ROhnLi8KaAPsTrjX+rJihYNW6uGtb2qOtlk31w4s1tKR1bm2eAAXWd3GYV1/aDl9emCgNU4eJ0vEzpa+zYyXO6+XlrfqijX1rfbC2R4kAbIlsDJihUmo4Rg8gBK6Y8+pjkqVqgYq8YYNpMbaQyKYKu5ibDfmaqaa+g7kQRfJodu/+xOgqTsnsfesCOgs9F9+g0A7ax0FTXLfCQ3lWKSFzpIckyLplZUXiRLJPyB/dGn3lcgtWXJKl8P7eJYoCZJxqMXg0nGkwourQjZJxCox+IsQB3uUh7FZ1qOL08eu/SVbqe995n1HxXi2x9xjuNpJPZhtmXXwsnNUGLiu+rJSctkkStR62p1V6r1exN4dQuxGMRr9fprSujz+aX6gnxrWXie7SkkTJBeNf0Y2TgPkAiCbYUBreUwXagOqxJvMOndaRZ+KP2m9eOLgfu89qGqWH9b8Nn8N1WdWaqokDpCqTDMVqCxvI0CSiYVwZiClsWYwvjQSqdElyEV+DCKIGYgAfCCwvhVBRS1J2bCRODrFvwsDpiX8U1vmtLHqJzMaAYORLFSx7wqDsxDyIxhSjaTP6TiaIwRVH6JYocyo9AA0WRIzgV55OJIrMhrEU73rPbK4G9/PDm00/792Qf99qGp11IOGVRd7cdKeFOpVcL6+tIryVboG/w+ETSG0VQeuVQ6QXObAl3ZIeyu28bvS71XB+krOE9Byotw6K7j3olZDaX1ZFC1vKMSszanlEcICqnd40ekFu/dl0KhE1A50Zv9ReDiRCYyJGXlUv7A+/WBYA/LXTrZbVEC/d4Watw2KwIyZRO1hGW/bdUsYfitnRWBoiKO6OCBY8269+vvj6mBY/4q2YQl85bAvLfLrEbUbrENBDd5B1MAuitcoOT3DNlxDNQQ9DTJ+RAWKPcmIpMA2wQiTXQ7XwyCISOw0eY9jJsush2V8YMSmibgbjzKOfltec+x0YgXQAU5gwilCOAwkol6gLUFrLcApQtwvQnQJ2t1gXvww/kCNMQnM8ca13ayd8rnlKVJdzdJbkbMCqD5F7DkRY/N/pSCLQaV/oSsU7rNmXZFnj7E4i21pEjIOL8REAEUnn18c7ngtlkyLGWxMz8x60L6aYKtvoBCo0oOPAiIUxA0MQnNxJz4EYaLvSWSItfQU9JoOUw0FMrgQnCe+ZTHCv0EqY3H8isk0D7oJI6Fnqb/X10zOdADoaPigVz6YjBWix1Ep0T7qYB6+ZWYBQI2p3FDcrsyny/KGpVTXq9drobhko81ntpC3akBXYY2k2D3lUCzMrA/tZChSaK+1IMhRnwD0RsTwWmmXccsgAxRBHHWB0g0Z1ruki5GI+aB1PQGitNxMtCrlZf1g/lSX+c/Dctak4wWnLZRdOR9ah6ZgjRZJpKLtMNVRPxxzI5vapR8hGqgV1GbWWrE0E1t/lWzgq7IxO7ufNa+947n+mB8DHHoKG6i7TZUCdWeGkdmvz9sTAAy9qVbbWcd5iAoE9VksZ5fwINjpt8bC7SZEY1s1jVmpCemNXCyEwYalZD+xzmQbpTyXQh9tEqWR32M7Ss67RwsyvypnFZMf2yui1uV1SRLbO8kLDk7i69TUuv2DHW7x6lsG4MdHziQ2mCj8nB6MxVp3AeMZ8XuO/QK0gJrGrwCPb5q1ZCWPHLrxROzKgMiIhwFCGmNHLeJSYpvmVUfY+YWkxQltgX2zApdq1IUnWzMEKR7vWj9dxIBpJxFEYh4oLqaMkEwHdMcazVllxX0NZ8W/1rHOoWaJWpcZdny3GQk23mRRgTrZUScghZB0w/HlWHlq55AYYuC1aACkycCCnpZjOSMKBT+DYtLbiOBssmEbc5mLrHmhVk/cJYSrquO8IGKomYYxEgyqmUUQhKo2hEA6xAnIVCKaEKSvvB6CQN/sRZAO04VD0WP1s9Ldvd7HpM38c/Oa2H02Pw1pjlpBaJ0K5f3C9d1gw9nVKXtfjXPLfFQ6W8wkTHoea4DM25HAW6MYbpKgfy7EynEHGb38J79alqOTT35sbtgZ4mVcZjgNFS56TRJwIZNDpnb3RWXRh0G2Zc8gCjqP03gcIoLADkc4yA+xzfxRjEd/el9vsT3w1tRsOkDacs0+/qQfUHKELQMuioSWfYZRyv9B9LXLfuVoU+x+nmPAI4kjVR71Nk4LyuzmjBW8/8n6GrXGjYIH2qXGgMK+VpeEBbhBcwxzVjulmdNdZtmKdeYKZLnU7hUre86lJv5CMbHWMU6G3cKY5K7+xIvzKlzZDuQEgwQ7r9IGEITXtZbIdyk8/P/SNdSjKSGhi80He04jDKHV93GdafW874nV2Gh8u2pfLJcxfRyWV77HtahOOaSr13HVXvHaeL0nhTlrnuazHOfoPpGSMyMfzFqkaenWAVYU47+jSR+iAEDa2n6Yunq0v/LNG00oFRodadI/2HD7Sj6F06DnI0BUzpcNXXIrLj7M7nAi5w1w17QpvOa4O5ybv1DGnWc2QVuxdg57IegTZtSTTYjbSw3EKZg7YX27SJAHX7lykDUx5KnrD2L2tUPz1jo/5JuV8BLA7cdUM7g8AhdALJiAwOHEKFrfD3TRU4JDBwWEvd7jw8oLVy7hhmj+rQAYDtGKd8J+B4JojotD0Hh11T3eh/lASYoNYf6ElEAzRF56DIgTbYagEZUQIglA1B0OGY571+yY1WPa66AfRsfz62AyRIeTDPj+BzuUW6qFdZa78UCUs+hA+AFblU4Yw+7m74mMhAdjMqMA00eLiFKO+85p4pURhD5QKdhxaF2HG2KkbQiejYWMWUGLzmaXuhyKX/HYuwm8Q0UqfRAdIgEm2VBkzg5jUP2oJwnzuPD6guv3NQQSKQhAnMItxEmredhwIekkjSCIccw4T33kn1KEJBKKXgOGQSVLPxKAxwGKl7RVTwiINf4CwFFPaGPBTUJ7AHpOO4ANZi0lfBAQ2lRwUBztDftQUAn/NEMQ8ogFgShNMAormHHQ2Iw6HN8g4qvwwwI+8INsIcqik12T7ukwww6lXW0/8VN34IrmZUJ++rEuBFG44qADEOCpYxlJgmByzQgOFYil81TGdTUDwTY9i/HUrf1GJ8dD4B7Ons2C+C0ZGOkfPACJeuEMQo6JgwEiPcivzrvjySmRLvWTEv2Lj50JdMQIlnMBXJlW0B3BtEHDAtAEJQ182T977G0st8YezunZYoULZeV/yZE768VJp8BKI1YQBtYjcQQRxAxI5GAYfiNJZ8Rv3ZdTajrVqsd0e5E4ERAcIthdFTsb8bBL6CT0o4l7PANayulSLg+58OOjwklcGeBqhD2NrSI85Tt+tWAl0AEtfi69TtqvBoIvR51UbvFlDwCxNEkbIZhUo+KFOkBXkCUkYBZgRTLooO6SgcBhYHbsJREHIZCkYVIAn9rWMUETBr58C7s4zzXbtMLY1nvcUPZy3diyIlp5nI2iEWcMCbjtBjt336kBdpmiVelF+Ir49ZMb7MfrssPiaX5Rl6WNuo75rXnzUWbHXeDgu2KUldz+OHYnCWParFvmnGl0o+0oLG9OJg3arBJ/d5PCsa11xliywv70jvyr+jUa9/kWvRHAMUr+sNvoV5jeVkA70xRa6YmNVPVVP+qi3QVcXRabbaQ4xzWGdKjVec91xmF7XEzdtfzqXdA7Zt1rpd2Ol7QmNuKi6tmNdDkscVj+qmVr7sFc6aRJfvFevwLxm3VzjeGmyJ3Ibr8v0q3aSxBVqGhivPCoIwjV4PgdjHzfx+I35g+Kf50+zp6rOM8KVNrMxF7p08OsQbUZRjRRftFPsQ071eCbcp9ufgqVDWdSDZToshFIHYmiUYzN/bh3HgLjwM6NYuCcd2SNzlSIGuikPJHAi6QxxbJjvkxhbb2xWpOTbj/rybfh0Amt+900Ud5llh5GxPV9vR/PtsVtDh5v8=</diagram></mxfile>" 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 315.5 40 L 315.5 128.63" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 315.5 133.88 L 312 126.88 L 315.5 128.63 L 319 126.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: 88px; margin-left: 316px;"><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="316" y="91" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">recv: Operation request...</text></switch></g><path d="M 363 160 L 783 160 L 783 355 L 1326.63 355" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 1331.88 355 L 1324.88 358.5 L 1326.63 355 L 1324.88 351.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: 158px; margin-left: 648px;"><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: Send full</div></div></div></foreignObject><text x="648" y="161" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">recv: Send full</text></switch></g><ellipse cx="315.5" cy="160" 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: 160px; margin-left: 269px;"><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="316" y="164" fill="#000000" font-family="Helvetica" font-size="12px" text-anchor="middle">Expecting IBF</text></switch></g><path d="M 140.5 300 L 140.5 900 L 715.14 900" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 720.39 900 L 713.39 903.5 L 715.14 900 L 713.39 896.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: 570px; margin-left: 141px;"><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: Full done</div></div></div></div></foreignObject><text x="141" y="573" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">recv: Full done</text></switch></g><ellipse cx="140.5" cy="275" 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: 275px; margin-left: 94px;"><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; ">Full Sending</div></div></div></foreignObject><text x="141" y="279" fill="#000000" font-family="Helvetica" font-size="12px" text-anchor="middle">Full Sending</text></switch></g><ellipse cx="618" cy="325" 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: 325px; margin-left: 564px;"><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="618" y="329" fill="#000000" font-family="Helvetica" font-size="12px" text-anchor="middle">Expecting IBF Last</text></switch></g><ellipse cx="410.5" cy="535" 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: 535px; margin-left: 364px;"><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="411" y="539" fill="#000000" font-family="Helvetica" font-size="12px" text-anchor="middle">Active...</text></switch></g><path d="M 409.5 735 L 409.5 880 L 738 880 L 738 877.37" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 738 872.12 L 741.5 879.12 L 738 877.37 L 734.5 879.12 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: 881px; margin-left: 576px;"><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="576" y="884" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">if: all demanded elements...</text></switch></g><ellipse cx="410.5" cy="710" 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: 710px; margin-left: 364px;"><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="411" y="714" fill="#000000" font-family="Helvetica" font-size="12px" text-anchor="middle">Finish...</text></switch></g><path d="M 285.75 179.49 L 175.51 251.99" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 171.13 254.87 L 175.05 248.1 L 175.51 251.99 L 178.9 253.95 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: 210px; 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; "><div>recv: Request full<br /></div><div>send: Full element*</div><div>send: Full done</div></div></div></div></foreignObject><text x="234" y="214" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">recv: Request full...</text></switch></g><path d="M 348.56 177.95 L 577.23 302.73" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 581.84 305.25 L 574.02 304.97 L 577.23 302.73 L 577.37 298.82 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: 211px; margin-left: 411px;"><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="411" y="214" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">recv: IBF</text></switch></g><path d="M 595.44 347.8 L 436.85 508.28" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 433.16 512.01 L 435.59 504.57 L 436.85 508.28 L 440.57 509.49 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: 402px; margin-left: 544px;"><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="544" y="406" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">recv: IBF-LAST</text></switch></g><path d="M 410.5 560 L 410.5 678.63" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 410.5 683.88 L 407 676.88 L 410.5 678.63 L 414 676.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: 650px; margin-left: 412px;"><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="412" y="653" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">recv: Done</text></switch></g><path d="M 438.88 555.05 L 494.81 594.26 Q 503 600 493.97 604.3 L 449.03 625.7 Q 440 630 438.67 620.09 L 431.68 568.16" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 430.98 562.96 L 435.38 569.43 L 431.68 568.16 L 428.44 570.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: 604px; margin-left: 486px;"><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="486" y="607" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">if: IBF decoded...</text></switch></g><path d="M 364.35 529.08 L 302.92 521.26 Q 293 520 294.64 529.86 L 301.36 570.14 Q 303 580 312.23 576.15 L 367.52 553.06" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 372.36 551.04 L 367.25 556.96 L 367.52 553.06 L 364.55 550.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: 550px; margin-left: 283px;"><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="283" y="553" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">if: IBF finished decoding...</text></switch></g><path d="M 390.29 512.38 L 349.7 467.42 Q 343 460 335.93 467.07 L 320.07 482.93 Q 313 490 322.08 494.18 L 369.08 515.81" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 373.85 518 L 366.03 518.25 L 369.08 515.81 L 368.96 511.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: 482px; margin-left: 328px;"><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="328" y="485" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">recv:: Offer...</text></switch></g><path d="M 413.65 510.06 L 421.68 449.91 Q 423 440 432.7 442.43 L 453.3 447.57 Q 463 450 457.73 458.5 L 428.41 505.79" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 425.65 510.25 L 426.36 502.46 L 428.41 505.79 L 432.31 506.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: 447px; margin-left: 445px;"><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="445" y="450" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">recv: Element</text></switch></g><path d="M 651.21 305.07 L 684.43 285.14 Q 693 280 697.22 289.07 L 708.78 313.93 Q 713 323 703 323.21 L 679.31 323.71" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 674.06 323.82 L 680.98 320.17 L 679.31 323.71 L 681.13 327.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: 301px; margin-left: 703px;"><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="703" y="304" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">recv: IBF*</text></switch></g><ellipse cx="1378" 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: 1344px;"><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="1378" y="164" fill="#000000" font-family="Helvetica" font-size="12px" text-anchor="middle">Expect SE</text></switch></g><path d="M 1378 375 L 1378 895 L 826.87 895" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 821.62 895 L 828.62 891.5 L 826.87 895 L 828.62 898.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: 609px; margin-left: 1379px;"><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: Full done</div>send: Full element*</div><div>send: Full done</div></div></div></div></foreignObject><text x="1379" y="612" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">recv: Full donesend: Full element*...</text></switch></g><ellipse cx="1378" cy="355" rx="45" 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: 88px; height: 1px; padding-top: 355px; margin-left: 1334px;"><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; ">Full Receiving </div></div></div></foreignObject><text x="1378" y="359" fill="#000000" font-family="Helvetica" font-size="12px" text-anchor="middle">Full Receiving </text></switch></g><path d="M 1048 562.64 L 1048 686.13" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 1048 691.38 L 1044.5 684.38 L 1048 686.13 L 1051.5 684.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: 646px; margin-left: 1048px;"><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="1048" y="649" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">recv: Done</text></switch></g><ellipse cx="1048" cy="542.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: 543px; margin-left: 1014px;"><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="1048" y="546" fill="#000000" font-family="Helvetica" font-size="12px" text-anchor="middle">Passive Dec...</text></switch></g><path d="M 1362.53 177.94 L 1067.65 519.88" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 1064.22 523.86 L 1066.14 516.27 L 1067.65 519.88 L 1071.44 520.84 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: 407px; margin-left: 1164px;"><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>if: Differential Sync is more efficient</div></div><div>recv: SE(C)</div><div>send: IBF* <br /></div><div>send: IBF-LAST <br /></div></div></div></div></foreignObject><text x="1164" y="411" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">if: Differential Sync is more efficient...</text></switch></g><path d="M 1378 180 L 1378 328.63" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 1378 333.88 L 1374.5 326.88 L 1378 328.63 L 1381.5 326.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: 271px; margin-left: 1404px;"><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: Fullsync && requesting from <br /></div><div>other site is more efficient<br /></div><div>recv: SE(C)</div><div>send: Request full<br /></div></div></div></div></foreignObject><text x="1404" y="274" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">if: Fullsync && requesting from...</text></switch></g><path d="M 1343.49 163.33 L 194.34 274.39" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 189.11 274.89 L 195.74 270.74 L 194.34 274.39 L 196.42 277.7 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: 201px; margin-left: 953px;"><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: Fullsync && requesting from <br /></div>other site is more efficient<br /><div>recv: SE(C)</div>send: Send full<br /><div><div>send: Full element*</div><div>send: Full done</div></div></div></div></div></foreignObject><text x="953" y="204" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">if: Fullsync && requesting from...</text></switch></g><path d="M 1051.64 522.75 L 1061.22 469.84 Q 1063 460 1053.19 461.96 L 1022.81 468.04 Q 1013 470 1017.33 479.01 L 1035.88 517.63" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 1038.15 522.36 L 1031.96 517.57 L 1035.88 517.63 L 1038.27 514.54 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: 471px; margin-left: 1013px;"><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="1013" y="474" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">recv: Demand...</text></switch></g><path d="M 1048 732.5 L 1048 880 L 816.87 880" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 811.62 880 L 818.62 876.5 L 816.87 880 L 818.62 883.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: 799px; margin-left: 1050px;"><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="1050" y="802" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">if: all demanded elements...</text></switch></g><ellipse cx="1048" cy="712.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: 713px; margin-left: 1014px;"><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="1048" y="716" fill="#000000" font-family="Helvetica" font-size="12px" text-anchor="middle">Finish Wait...</text></switch></g><path d="M 1418.42 346.21 L 1483.23 332.12 Q 1493 330 1493 340 L 1493 370 Q 1493 380 1483.23 377.88 L 1424.65 365.14" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 1419.52 364.03 L 1427.1 362.09 L 1424.65 365.14 L 1425.61 368.93 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: 355px; margin-left: 1495px;"><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: Full element*</div></div></div></foreignObject><text x="1495" y="359" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">recv: Full element*</text></switch></g><path d="M 1021.8 529.38 L 660.49 346.45" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 655.81 344.08 L 663.63 344.12 L 660.49 346.45 L 660.47 350.37 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: 444px; margin-left: 853px;"><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="853" y="447" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">recv: IBF</text></switch></g><path d="M 458 535 L 773.14 588.33 Q 783 590 792.84 588.24 L 1008.3 549.69" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 1013.47 548.77 L 1007.2 553.44 L 1008.3 549.69 L 1005.97 546.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: 590px; margin-left: 743px;"><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="743" y="594" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">if: IBF failed to decode...</text></switch></g><path d="M 383.14 555.44 L 331.03 594.05 Q 323 600 331 606 L 355 624 Q 363 630 367.48 621.06 L 395.67 564.88" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 398.03 560.19 L 398.02 568.02 L 395.67 564.88 L 391.76 564.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: 610px; margin-left: 336px;"><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="336" y="613" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">if IBF decoded...</text></switch></g><path d="M 1083.98 553.64 L 1153.3 536.41 Q 1163 534 1160.18 524.41 L 1155.82 509.59 Q 1153 500 1144.01 504.38 L 1089.7 530.85" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 1084.98 533.15 L 1089.74 526.94 L 1089.7 530.85 L 1092.81 533.23 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: 523px; margin-left: 1184px;"><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="1184" y="526" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">recv: Offer...</text></switch></g><path d="M 438.88 514.95 L 494.81 475.74 Q 503 470 507.47 478.94 L 518.53 501.06 Q 523 510 513.14 511.66 L 457.82 520.95" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 452.64 521.81 L 458.97 517.2 L 457.82 520.95 L 460.13 524.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: 491px; 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: Demand</div>send: Element</div></div></div></foreignObject><text x="524" y="494" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">recv: Demandsend: Element</text></switch></g><path d="M 1026.97 558.63 L 980.94 593.92 Q 973 600 980.07 607.07 L 995.93 622.93 Q 1003 630 1007.58 621.11 L 1035.17 567.48" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 1037.57 562.81 L 1037.48 570.64 L 1035.17 567.48 L 1031.25 567.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: 611px; margin-left: 981px;"><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="981" y="614" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">recv: Element</text></switch></g><path d="M 1057.92 561.82 L 1088.42 621.11 Q 1093 630 1100.81 623.75 L 1135.19 596.25 Q 1143 590 1133.96 585.73 L 1078.51 559.5" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 1073.76 557.26 L 1081.58 557.09 L 1078.51 559.5 L 1078.59 563.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: 610px; margin-left: 1123px;"><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="1123" y="614" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">recv: Inquiry...</text></switch></g><path d="M 321.73 184.78 L 402.66 504.05" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 403.95 509.14 L 398.83 503.21 L 402.66 504.05 L 405.62 501.49 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: 311px; margin-left: 354px;"><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="354" y="315" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">recv: IBF-LAST</text></switch></g><path d="M 1013.58 539.03 L 752.94 511.07 Q 743 510 733.03 510.75 L 463.87 530.98" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 458.64 531.38 L 465.35 527.36 L 463.87 530.98 L 465.88 534.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: 509px; margin-left: 749px;"><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="749" y="512" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">recv: IBF-LAST</text></switch></g><path d="M 117.85 253.03 L 80.22 216.92 Q 73 210 67 218 L 49 242 Q 43 250 52.69 252.47 L 91.67 262.43" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 96.76 263.73 L 89.11 265.39 L 91.67 262.43 L 90.84 258.61 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: 230px; margin-left: 45px;"><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: Full element*</div></div></div></foreignObject><text x="45" y="234" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">recv: Full element*</text></switch></g><path d="M 1072.75 726.64 L 1143 726.52 Q 1153 726.5 1150.52 716.81 L 1145.48 697.19 Q 1143 687.5 1133.12 689.03 L 1079.04 697.39" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 1073.85 698.19 L 1080.24 693.66 L 1079.04 697.39 L 1081.31 700.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: 711px; margin-left: 1145px;"><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="1145" y="714" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">recv: Element</text></switch></g><path d="M 457.43 713.85 L 523.03 719.19 Q 533 720 533 710 L 533 700 Q 533 690 523.13 691.61 L 462.14 701.54" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 456.95 702.39 L 463.3 697.81 L 462.14 701.54 L 464.43 704.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: 705px; margin-left: 533px;"><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="533" y="708" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">recv: Element</text></switch></g><ellipse cx="770.5" cy="895" rx="50" ry="25" fill="url(#mx-gradient-ffffff-1-ffffff-1-s-0)" stroke="#000000" pointer-events="all"/><ellipse cx="770.5" cy="895" 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: 895px; margin-left: 725px;"><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="771" y="899" fill="#000000" font-family="Helvetica" font-size="12px" text-anchor="middle">Finished</text></switch></g><ellipse cx="315.5" 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: 267px;"><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="316" y="24" fill="#000000" font-family="Helvetica" font-size="12px" text-anchor="middle">Expecting Connec...</text></switch></g><path d="M 1378 40 L 1378 133.63" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 1378 138.88 L 1374.5 131.88 L 1378 133.63 L 1381.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: 1381px;"><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="1381" y="80" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">send: Operation request</text></switch></g><ellipse cx="1378" 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: 1329px;"><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="1378" y="24" fill="#000000" font-family="Helvetica" font-size="12px" text-anchor="middle">Initiating Conne...</text></switch></g><path d="M 1015.03 725.02 L 952.98 729.31 Q 943 730 945.43 720.3 L 950.57 699.7 Q 953 690 962.93 691.18 L 1016.93 697.61" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 1022.14 698.23 L 1014.78 700.87 L 1016.93 697.61 L 1015.6 693.92 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: 710px; margin-left: 951px;"><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<br /></div><div>send: Element</div></div></div></div></foreignObject><text x="951" y="713" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">recv:Demand...</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>