path: root/docs/protocol.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 14.1.3 (20260303.0454)
 -->
<!-- Pages: 1 -->
<svg width="1173pt" height="1045pt"
 viewBox="0.00 0.00 1173.00 1045.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 1041)">
<polygon fill="white" stroke="none" points="-4,4 -4,-1041 1168.5,-1041 1168.5,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster__solec</title>
<polygon fill="none" stroke="black" stroke-dasharray="1,5" points="8,-8 8,-1029 1156.5,-1029 1156.5,-8 8,-8"/>
<text xml:space="preserve" text-anchor="middle" x="582.25" y="-1011.7" font-family="Times,serif" font-size="14.00">Solec</text>
</g>
<g id="clust2" class="cluster">
<title>cluster__error</title>
<polygon fill="none" stroke="black" stroke-dasharray="1,5" points="607,-902 607,-996 845.25,-996 845.25,-902 607,-902"/>
<text xml:space="preserve" text-anchor="middle" x="726.12" y="-978.7" font-family="Times,serif" font-size="14.00">Solec::Error</text>
</g>
<g id="clust3" class="cluster">
<title>cluster__handshake</title>
<polygon fill="none" stroke="black" stroke-dasharray="1,5" points="589.75,-755 589.75,-894 862.5,-894 862.5,-755 589.75,-755"/>
<text xml:space="preserve" text-anchor="middle" x="726.12" y="-876.7" font-family="Times,serif" font-size="14.00">Solec::Handshake</text>
</g>
<g id="clust4" class="cluster">
<title>cluster__message</title>
<polygon fill="none" stroke="black" stroke-dasharray="1,5" points="632.88,-586 632.88,-747 819.38,-747 819.38,-586 632.88,-586"/>
<text xml:space="preserve" text-anchor="middle" x="726.12" y="-729.7" font-family="Times,serif" font-size="14.00">Solec::Message</text>
</g>
<g id="clust5" class="cluster">
<title>cluster__server_auth</title>
<polygon fill="none" stroke="black" stroke-dasharray="1,5" points="646.75,-484 646.75,-578 805.5,-578 805.5,-484 646.75,-484"/>
<text xml:space="preserve" text-anchor="middle" x="726.12" y="-560.7" font-family="Times,serif" font-size="14.00">Solec::ServerAuth</text>
</g>
<g id="clust6" class="cluster">
<title>cluster__string</title>
<polygon fill="none" stroke="black" stroke-dasharray="1,5" points="882.5,-229 882.5,-363 1148.5,-363 1148.5,-229 882.5,-229"/>
<text xml:space="preserve" text-anchor="middle" x="1015.5" y="-345.7" font-family="Times,serif" font-size="14.00">Solec::String</text>
</g>
<g id="clust7" class="cluster">
<title>cluster__success</title>
<polygon fill="none" stroke="black" stroke-dasharray="1,5" points="661.38,-399 661.38,-476 790.88,-476 790.88,-399 661.38,-399"/>
<text xml:space="preserve" text-anchor="middle" x="726.12" y="-458.7" font-family="Times,serif" font-size="14.00">Solec::Success</text>
</g>
<g id="clust8" class="cluster">
<title>cluster__test</title>
<polygon fill="none" stroke="black" stroke-dasharray="1,5" points="646,-140 646,-391 806.25,-391 806.25,-140 646,-140"/>
<text xml:space="preserve" text-anchor="middle" x="726.12" y="-373.7" font-family="Times,serif" font-size="14.00">Solec::Test</text>
</g>
<g id="clust9" class="cluster">
<title>cluster__user_auth</title>
<polygon fill="none" stroke="black" stroke-dasharray="1,5" points="646.75,-16 646.75,-132 805.5,-132 805.5,-16 646.75,-16"/>
<text xml:space="preserve" text-anchor="middle" x="726.12" y="-114.7" font-family="Times,serif" font-size="14.00">Solec::UserAuth</text>
</g>
<!-- solec__seq -->
<g id="node1" class="node">
<title>solec__seq</title>
<polygon fill="#e0ffe0" stroke="none" points="24,-585.5 24,-608 48.75,-608 48.75,-585.5 24,-585.5"/>
<polygon fill="none" stroke="black" points="24,-585.5 24,-608 48.75,-608 48.75,-585.5 24,-585.5"/>
<text xml:space="preserve" text-anchor="start" x="27" y="-592.25" font-family="Times,serif" font-size="14.00">pos</text>
<polygon fill="#e0ffe0" stroke="none" points="48.75,-585.5 48.75,-608 75.75,-608 75.75,-585.5 48.75,-585.5"/>
<polygon fill="none" stroke="black" points="48.75,-585.5 48.75,-608 75.75,-608 75.75,-585.5 48.75,-585.5"/>
<text xml:space="preserve" text-anchor="start" x="51.75" y="-592.25" font-family="Times,serif" font-size="14.00">size</text>
<polygon fill="#e0ffe0" stroke="none" points="75.75,-585.5 75.75,-608 202.5,-608 202.5,-585.5 75.75,-585.5"/>
<polygon fill="none" stroke="black" points="75.75,-585.5 75.75,-608 202.5,-608 202.5,-585.5 75.75,-585.5"/>
<text xml:space="preserve" text-anchor="start" x="127.5" y="-592.25" font-family="Times,serif" font-size="14.00">type</text>
<polygon fill="#e0ffe0" stroke="none" points="202.5,-585.5 202.5,-608 281.25,-608 281.25,-585.5 202.5,-585.5"/>
<polygon fill="none" stroke="black" points="202.5,-585.5 202.5,-608 281.25,-608 281.25,-585.5 202.5,-585.5"/>
<text xml:space="preserve" text-anchor="start" x="236.62" y="-592.25" font-family="Times,serif" font-size="14.00">id</text>
<polygon fill="none" stroke="black" points="24,-563 24,-585.5 48.75,-585.5 48.75,-563 24,-563"/>
<text xml:space="preserve" text-anchor="start" x="33" y="-569.75" font-family="Times,serif" font-size="14.00">0</text>
<polygon fill="none" stroke="black" points="48.75,-563 48.75,-585.5 75.75,-585.5 75.75,-563 48.75,-563"/>
<text xml:space="preserve" text-anchor="start" x="58.88" y="-569.75" font-family="Times,serif" font-size="14.00">1</text>
<polygon fill="none" stroke="black" points="75.75,-563 75.75,-585.5 202.5,-585.5 202.5,-563 75.75,-563"/>
<text xml:space="preserve" text-anchor="start" x="89.62" y="-569.75" font-family="Times,serif" font-size="14.00">u1→PayloadType</text>
<polygon fill="none" stroke="black" points="202.5,-563 202.5,-585.5 281.25,-585.5 281.25,-563 202.5,-563"/>
<text xml:space="preserve" text-anchor="start" x="205.5" y="-569.75" font-family="Times,serif" font-size="14.00">type_payload</text>
<polygon fill="none" stroke="black" points="24,-540.5 24,-563 48.75,-563 48.75,-540.5 24,-540.5"/>
<text xml:space="preserve" text-anchor="start" x="33" y="-547.25" font-family="Times,serif" font-size="14.00">1</text>
<polygon fill="none" stroke="black" points="48.75,-540.5 48.75,-563 75.75,-563 75.75,-540.5 48.75,-540.5"/>
<text xml:space="preserve" text-anchor="start" x="58.88" y="-547.25" font-family="Times,serif" font-size="14.00">2</text>
<polygon fill="none" stroke="black" points="75.75,-540.5 75.75,-563 202.5,-563 202.5,-540.5 75.75,-540.5"/>
<text xml:space="preserve" text-anchor="start" x="126" y="-547.25" font-family="Times,serif" font-size="14.00">u2be</text>
<polygon fill="none" stroke="black" points="202.5,-540.5 202.5,-563 281.25,-563 281.25,-540.5 202.5,-540.5"/>
<text xml:space="preserve" text-anchor="start" x="208.88" y="-547.25" font-family="Times,serif" font-size="14.00">len_payload</text>
<polygon fill="none" stroke="black" points="24,-518 24,-540.5 48.75,-540.5 48.75,-518 24,-518"/>
<text xml:space="preserve" text-anchor="start" x="33" y="-524.75" font-family="Times,serif" font-size="14.00">3</text>
<polygon fill="none" stroke="black" points="48.75,-518 48.75,-540.5 75.75,-540.5 75.75,-518 48.75,-518"/>
<text xml:space="preserve" text-anchor="start" x="56.62" y="-524.75" font-family="Times,serif" font-size="14.00">...</text>
<polygon fill="none" stroke="black" points="75.75,-518 75.75,-540.5 202.5,-540.5 202.5,-518 75.75,-518"/>
<text xml:space="preserve" text-anchor="start" x="78.75" y="-524.75" font-family="Times,serif" font-size="14.00">switch (type_payload)</text>
<polygon fill="none" stroke="black" points="202.5,-518 202.5,-540.5 281.25,-540.5 281.25,-518 202.5,-518"/>
<text xml:space="preserve" text-anchor="start" x="220.5" y="-524.75" font-family="Times,serif" font-size="14.00">payload</text>
</g>
<!-- solec__seq&#45;&gt;solec__seq -->
<g id="edge9" class="edge">
<title>solec__seq:type_payload_type&#45;&gt;solec__seq:payload_type</title>
<path fill="none" stroke="#404040" d="M213.11,-585.36C170.93,-606.21 180.52,-630 241.88,-630 300.77,-630 311.96,-578.57 275.47,-547.15"/>
<polygon fill="#404040" stroke="#404040" points="277.7,-544.45 267.59,-541.3 273.53,-550.07 277.7,-544.45"/>
</g>
<!-- solec__seq_payload_switch -->
<g id="node2" class="node">
<title>solec__seq_payload_switch</title>
<polygon fill="#f0f2e4" stroke="none" points="333.25,-597.5 333.25,-620 485.5,-620 485.5,-597.5 333.25,-597.5"/>
<polygon fill="none" stroke="black" points="333.25,-597.5 333.25,-620 485.5,-620 485.5,-597.5 333.25,-597.5"/>
<text xml:space="preserve" text-anchor="start" x="397.75" y="-604.25" font-family="Times,serif" font-size="14.00">case</text>
<polygon fill="#f0f2e4" stroke="none" points="485.5,-597.5 485.5,-620 553.75,-620 553.75,-597.5 485.5,-597.5"/>
<polygon fill="none" stroke="black" points="485.5,-597.5 485.5,-620 553.75,-620 553.75,-597.5 485.5,-597.5"/>
<text xml:space="preserve" text-anchor="start" x="508" y="-604.25" font-family="Times,serif" font-size="14.00">type</text>
<polygon fill="none" stroke="black" points="333.25,-575 333.25,-597.5 485.5,-597.5 485.5,-575 333.25,-575"/>
<text xml:space="preserve" text-anchor="start" x="354.62" y="-581.75" font-family="Times,serif" font-size="14.00">:payload_type_error</text>
<polygon fill="none" stroke="black" points="485.5,-575 485.5,-597.5 553.75,-597.5 553.75,-575 485.5,-575"/>
<text xml:space="preserve" text-anchor="start" x="505.38" y="-581.75" font-family="Times,serif" font-size="14.00">Error</text>
<polygon fill="none" stroke="black" points="333.25,-552.5 333.25,-575 485.5,-575 485.5,-552.5 333.25,-552.5"/>
<text xml:space="preserve" text-anchor="start" x="339.25" y="-559.25" font-family="Times,serif" font-size="14.00">:payload_type_handshake</text>
<polygon fill="none" stroke="black" points="485.5,-552.5 485.5,-575 553.75,-575 553.75,-552.5 485.5,-552.5"/>
<text xml:space="preserve" text-anchor="start" x="489.62" y="-559.25" font-family="Times,serif" font-size="14.00">Handshake</text>
<polygon fill="none" stroke="black" points="333.25,-530 333.25,-552.5 485.5,-552.5 485.5,-530 333.25,-530"/>
<text xml:space="preserve" text-anchor="start" x="344.5" y="-536.75" font-family="Times,serif" font-size="14.00">:payload_type_message</text>
<polygon fill="none" stroke="black" points="485.5,-530 485.5,-552.5 553.75,-552.5 553.75,-530 485.5,-530"/>
<text xml:space="preserve" text-anchor="start" x="495.62" y="-536.75" font-family="Times,serif" font-size="14.00">Message</text>
<polygon fill="none" stroke="black" points="333.25,-507.5 333.25,-530 485.5,-530 485.5,-507.5 333.25,-507.5"/>
<text xml:space="preserve" text-anchor="start" x="336.25" y="-514.25" font-family="Times,serif" font-size="14.00">:payload_type_server_auth</text>
<polygon fill="none" stroke="black" points="485.5,-507.5 485.5,-530 553.75,-530 553.75,-507.5 485.5,-507.5"/>
<text xml:space="preserve" text-anchor="start" x="488.5" y="-514.25" font-family="Times,serif" font-size="14.00">ServerAuth</text>
<polygon fill="none" stroke="black" points="333.25,-485 333.25,-507.5 485.5,-507.5 485.5,-485 333.25,-485"/>
<text xml:space="preserve" text-anchor="start" x="347.5" y="-491.75" font-family="Times,serif" font-size="14.00">:payload_type_success</text>
<polygon fill="none" stroke="black" points="485.5,-485 485.5,-507.5 553.75,-507.5 553.75,-485 485.5,-485"/>
<text xml:space="preserve" text-anchor="start" x="498.25" y="-491.75" font-family="Times,serif" font-size="14.00">Success</text>
<polygon fill="none" stroke="black" points="333.25,-462.5 333.25,-485 485.5,-485 485.5,-462.5 333.25,-462.5"/>
<text xml:space="preserve" text-anchor="start" x="358.38" y="-469.25" font-family="Times,serif" font-size="14.00">:payload_type_test</text>
<polygon fill="none" stroke="black" points="485.5,-462.5 485.5,-485 553.75,-485 553.75,-462.5 485.5,-462.5"/>
<text xml:space="preserve" text-anchor="start" x="508" y="-469.25" font-family="Times,serif" font-size="14.00">Test</text>
<polygon fill="none" stroke="black" points="333.25,-440 333.25,-462.5 485.5,-462.5 485.5,-440 333.25,-440"/>
<text xml:space="preserve" text-anchor="start" x="341.5" y="-446.75" font-family="Times,serif" font-size="14.00">:payload_type_user_auth</text>
<polygon fill="none" stroke="black" points="485.5,-440 485.5,-462.5 553.75,-462.5 553.75,-440 485.5,-440"/>
<text xml:space="preserve" text-anchor="start" x="493.38" y="-446.75" font-family="Times,serif" font-size="14.00">UserAuth</text>
</g>
<!-- solec__seq&#45;&gt;solec__seq_payload_switch -->
<g id="edge1" class="edge">
<title>solec__seq:payload_type&#45;&gt;solec__seq_payload_switch</title>
<path fill="none" stroke="black" stroke-width="2" d="M282.25,-529.25C292.68,-529.25 303.49,-529.27 314.34,-529.29"/>
<polygon fill="black" stroke="black" stroke-width="2" points="312.62,-532.79 322.63,-529.32 312.64,-525.79 312.62,-532.79"/>
</g>
<!-- error__seq -->
<g id="node3" class="node">
<title>error__seq</title>
<polygon fill="#e0ffe0" stroke="none" points="623,-937 623,-959.5 647.75,-959.5 647.75,-937 623,-937"/>
<polygon fill="none" stroke="black" points="623,-937 623,-959.5 647.75,-959.5 647.75,-937 623,-937"/>
<text xml:space="preserve" text-anchor="start" x="626" y="-943.75" font-family="Times,serif" font-size="14.00">pos</text>
<polygon fill="#e0ffe0" stroke="none" points="647.75,-937 647.75,-959.5 674.75,-959.5 674.75,-937 647.75,-937"/>
<polygon fill="none" stroke="black" points="647.75,-937 647.75,-959.5 674.75,-959.5 674.75,-937 647.75,-937"/>
<text xml:space="preserve" text-anchor="start" x="650.75" y="-943.75" font-family="Times,serif" font-size="14.00">size</text>
<polygon fill="#e0ffe0" stroke="none" points="674.75,-937 674.75,-959.5 764.75,-959.5 764.75,-937 674.75,-937"/>
<polygon fill="none" stroke="black" points="674.75,-937 674.75,-959.5 764.75,-959.5 764.75,-937 674.75,-937"/>
<text xml:space="preserve" text-anchor="start" x="708.12" y="-943.75" font-family="Times,serif" font-size="14.00">type</text>
<polygon fill="#e0ffe0" stroke="none" points="764.75,-937 764.75,-959.5 829.25,-959.5 829.25,-937 764.75,-937"/>
<polygon fill="none" stroke="black" points="764.75,-937 764.75,-959.5 829.25,-959.5 829.25,-937 764.75,-937"/>
<text xml:space="preserve" text-anchor="start" x="791.75" y="-943.75" font-family="Times,serif" font-size="14.00">id</text>
<polygon fill="none" stroke="black" points="623,-914.5 623,-937 647.75,-937 647.75,-914.5 623,-914.5"/>
<text xml:space="preserve" text-anchor="start" x="632" y="-921.25" font-family="Times,serif" font-size="14.00">0</text>
<polygon fill="none" stroke="black" points="647.75,-914.5 647.75,-937 674.75,-937 674.75,-914.5 647.75,-914.5"/>
<text xml:space="preserve" text-anchor="start" x="657.88" y="-921.25" font-family="Times,serif" font-size="14.00">1</text>
<polygon fill="none" stroke="black" points="674.75,-914.5 674.75,-937 764.75,-937 764.75,-914.5 674.75,-914.5"/>
<text xml:space="preserve" text-anchor="start" x="677.75" y="-921.25" font-family="Times,serif" font-size="14.00">u1→ErrorType</text>
<polygon fill="none" stroke="black" points="764.75,-914.5 764.75,-937 829.25,-937 829.25,-914.5 764.75,-914.5"/>
<text xml:space="preserve" text-anchor="start" x="767.75" y="-921.25" font-family="Times,serif" font-size="14.00">error_code</text>
</g>
<!-- solec__seq_payload_switch&#45;&gt;error__seq -->
<g id="edge2" class="edge">
<title>solec__seq_payload_switch:case0&#45;&gt;error__seq</title>
<path fill="none" stroke="black" stroke-width="2" d="M554.75,-586.25C624.46,-586.25 544.78,-844.73 589.75,-898 594.41,-903.52 599.79,-908.28 605.68,-912.4"/>
<polygon fill="black" stroke="black" stroke-width="2" points="602.37,-914.47 612.72,-916.74 606.05,-908.51 602.37,-914.47"/>
</g>
<!-- handshake__seq -->
<g id="node4" class="node">
<title>handshake__seq</title>
<polygon fill="#e0ffe0" stroke="none" points="605.75,-834.5 605.75,-857 630.5,-857 630.5,-834.5 605.75,-834.5"/>
<polygon fill="none" stroke="black" points="605.75,-834.5 605.75,-857 630.5,-857 630.5,-834.5 605.75,-834.5"/>
<text xml:space="preserve" text-anchor="start" x="608.75" y="-841.25" font-family="Times,serif" font-size="14.00">pos</text>
<polygon fill="#e0ffe0" stroke="none" points="630.5,-834.5 630.5,-857 657.5,-857 657.5,-834.5 630.5,-834.5"/>
<polygon fill="none" stroke="black" points="630.5,-834.5 630.5,-857 657.5,-857 657.5,-834.5 630.5,-834.5"/>
<text xml:space="preserve" text-anchor="start" x="633.5" y="-841.25" font-family="Times,serif" font-size="14.00">size</text>
<polygon fill="#e0ffe0" stroke="none" points="657.5,-834.5 657.5,-857 748.25,-857 748.25,-834.5 657.5,-834.5"/>
<polygon fill="none" stroke="black" points="657.5,-834.5 657.5,-857 748.25,-857 748.25,-834.5 657.5,-834.5"/>
<text xml:space="preserve" text-anchor="start" x="691.25" y="-841.25" font-family="Times,serif" font-size="14.00">type</text>
<polygon fill="#e0ffe0" stroke="none" points="748.25,-834.5 748.25,-857 846.5,-857 846.5,-834.5 748.25,-834.5"/>
<polygon fill="none" stroke="black" points="748.25,-834.5 748.25,-857 846.5,-857 846.5,-834.5 748.25,-834.5"/>
<text xml:space="preserve" text-anchor="start" x="792.12" y="-841.25" font-family="Times,serif" font-size="14.00">id</text>
<polygon fill="none" stroke="black" points="605.75,-812 605.75,-834.5 630.5,-834.5 630.5,-812 605.75,-812"/>
<text xml:space="preserve" text-anchor="start" x="614.75" y="-818.75" font-family="Times,serif" font-size="14.00">0</text>
<polygon fill="none" stroke="black" points="630.5,-812 630.5,-834.5 657.5,-834.5 657.5,-812 630.5,-812"/>
<text xml:space="preserve" text-anchor="start" x="640.62" y="-818.75" font-family="Times,serif" font-size="14.00">1</text>
<polygon fill="none" stroke="black" points="657.5,-812 657.5,-834.5 748.25,-834.5 748.25,-812 657.5,-812"/>
<text xml:space="preserve" text-anchor="start" x="696.12" y="-818.75" font-family="Times,serif" font-size="14.00">u1</text>
<polygon fill="none" stroke="black" points="748.25,-812 748.25,-834.5 846.5,-834.5 846.5,-812 748.25,-812"/>
<text xml:space="preserve" text-anchor="start" x="751.62" y="-818.75" font-family="Times,serif" font-size="14.00">proto_ver_major</text>
<polygon fill="none" stroke="black" points="605.75,-789.5 605.75,-812 630.5,-812 630.5,-789.5 605.75,-789.5"/>
<text xml:space="preserve" text-anchor="start" x="614.75" y="-796.25" font-family="Times,serif" font-size="14.00">1</text>
<polygon fill="none" stroke="black" points="630.5,-789.5 630.5,-812 657.5,-812 657.5,-789.5 630.5,-789.5"/>
<text xml:space="preserve" text-anchor="start" x="640.62" y="-796.25" font-family="Times,serif" font-size="14.00">1</text>
<polygon fill="none" stroke="black" points="657.5,-789.5 657.5,-812 748.25,-812 748.25,-789.5 657.5,-789.5"/>
<text xml:space="preserve" text-anchor="start" x="696.12" y="-796.25" font-family="Times,serif" font-size="14.00">u1</text>
<polygon fill="none" stroke="black" points="748.25,-789.5 748.25,-812 846.5,-812 846.5,-789.5 748.25,-789.5"/>
<text xml:space="preserve" text-anchor="start" x="751.25" y="-796.25" font-family="Times,serif" font-size="14.00">proto_ver_minor</text>
<polygon fill="none" stroke="black" points="605.75,-767 605.75,-789.5 630.5,-789.5 630.5,-767 605.75,-767"/>
<text xml:space="preserve" text-anchor="start" x="614.75" y="-773.75" font-family="Times,serif" font-size="14.00">2</text>
<polygon fill="none" stroke="black" points="630.5,-767 630.5,-789.5 657.5,-789.5 657.5,-767 630.5,-767"/>
<text xml:space="preserve" text-anchor="start" x="640.62" y="-773.75" font-family="Times,serif" font-size="14.00">1</text>
<polygon fill="none" stroke="black" points="657.5,-767 657.5,-789.5 748.25,-789.5 748.25,-767 657.5,-767"/>
<text xml:space="preserve" text-anchor="start" x="660.5" y="-773.75" font-family="Times,serif" font-size="14.00">u1→ConnType</text>
<polygon fill="none" stroke="black" points="748.25,-767 748.25,-789.5 846.5,-789.5 846.5,-767 748.25,-767"/>
<text xml:space="preserve" text-anchor="start" x="769.25" y="-773.75" font-family="Times,serif" font-size="14.00">conn_type</text>
</g>
<!-- solec__seq_payload_switch&#45;&gt;handshake__seq -->
<g id="edge3" class="edge">
<title>solec__seq_payload_switch:case1&#45;&gt;handshake__seq</title>
<path fill="none" stroke="black" stroke-width="2" d="M554.75,-563.75C597.08,-563.75 563.59,-717.72 589.75,-751 590.82,-752.36 591.93,-753.69 593.07,-755"/>
<polygon fill="black" stroke="black" stroke-width="2" points="589.47,-756.32 598.96,-761.02 594.47,-751.43 589.47,-756.32"/>
</g>
<!-- message__seq -->
<g id="node5" class="node">
<title>message__seq</title>
<polygon fill="#e0ffe0" stroke="none" points="648.88,-687.75 648.88,-710.25 673.62,-710.25 673.62,-687.75 648.88,-687.75"/>
<polygon fill="none" stroke="black" points="648.88,-687.75 648.88,-710.25 673.62,-710.25 673.62,-687.75 648.88,-687.75"/>
<text xml:space="preserve" text-anchor="start" x="651.88" y="-694.5" font-family="Times,serif" font-size="14.00">pos</text>
<polygon fill="#e0ffe0" stroke="none" points="673.62,-687.75 673.62,-710.25 700.62,-710.25 700.62,-687.75 673.62,-687.75"/>
<polygon fill="none" stroke="black" points="673.62,-687.75 673.62,-710.25 700.62,-710.25 700.62,-687.75 673.62,-687.75"/>
<text xml:space="preserve" text-anchor="start" x="676.62" y="-694.5" font-family="Times,serif" font-size="14.00">size</text>
<polygon fill="#e0ffe0" stroke="none" points="700.62,-687.75 700.62,-710.25 739.62,-710.25 739.62,-687.75 700.62,-687.75"/>
<polygon fill="none" stroke="black" points="700.62,-687.75 700.62,-710.25 739.62,-710.25 739.62,-687.75 700.62,-687.75"/>
<text xml:space="preserve" text-anchor="start" x="708.5" y="-694.5" font-family="Times,serif" font-size="14.00">type</text>
<polygon fill="#e0ffe0" stroke="none" points="739.62,-687.75 739.62,-710.25 803.38,-710.25 803.38,-687.75 739.62,-687.75"/>
<polygon fill="none" stroke="black" points="739.62,-687.75 739.62,-710.25 803.38,-710.25 803.38,-687.75 739.62,-687.75"/>
<text xml:space="preserve" text-anchor="start" x="766.25" y="-694.5" font-family="Times,serif" font-size="14.00">id</text>
<polygon fill="none" stroke="black" points="648.88,-665.25 648.88,-687.75 673.62,-687.75 673.62,-665.25 648.88,-665.25"/>
<text xml:space="preserve" text-anchor="start" x="657.88" y="-672" font-family="Times,serif" font-size="14.00">0</text>
<polygon fill="none" stroke="black" points="673.62,-665.25 673.62,-687.75 700.62,-687.75 700.62,-665.25 673.62,-665.25"/>
<text xml:space="preserve" text-anchor="start" x="681.5" y="-672" font-family="Times,serif" font-size="14.00">...</text>
<polygon fill="none" stroke="black" points="700.62,-665.25 700.62,-687.75 739.62,-687.75 739.62,-665.25 700.62,-665.25"/>
<text xml:space="preserve" text-anchor="start" x="703.62" y="-672" font-family="Times,serif" font-size="14.00">String</text>
<polygon fill="none" stroke="black" points="739.62,-665.25 739.62,-687.75 803.38,-687.75 803.38,-665.25 739.62,-665.25"/>
<text xml:space="preserve" text-anchor="start" x="753.88" y="-672" font-family="Times,serif" font-size="14.00">source</text>
<polygon fill="none" stroke="black" points="648.88,-642.75 648.88,-665.25 673.62,-665.25 673.62,-642.75 648.88,-642.75"/>
<text xml:space="preserve" text-anchor="start" x="655.62" y="-649.5" font-family="Times,serif" font-size="14.00">...</text>
<polygon fill="none" stroke="black" points="673.62,-642.75 673.62,-665.25 700.62,-665.25 700.62,-642.75 673.62,-642.75"/>
<text xml:space="preserve" text-anchor="start" x="681.5" y="-649.5" font-family="Times,serif" font-size="14.00">...</text>
<polygon fill="none" stroke="black" points="700.62,-642.75 700.62,-665.25 739.62,-665.25 739.62,-642.75 700.62,-642.75"/>
<text xml:space="preserve" text-anchor="start" x="703.62" y="-649.5" font-family="Times,serif" font-size="14.00">String</text>
<polygon fill="none" stroke="black" points="739.62,-642.75 739.62,-665.25 803.38,-665.25 803.38,-642.75 739.62,-642.75"/>
<text xml:space="preserve" text-anchor="start" x="756.12" y="-649.5" font-family="Times,serif" font-size="14.00">target</text>
<polygon fill="none" stroke="black" points="648.88,-620.25 648.88,-642.75 673.62,-642.75 673.62,-620.25 648.88,-620.25"/>
<text xml:space="preserve" text-anchor="start" x="655.62" y="-627" font-family="Times,serif" font-size="14.00">...</text>
<polygon fill="none" stroke="black" points="673.62,-620.25 673.62,-642.75 700.62,-642.75 700.62,-620.25 673.62,-620.25"/>
<text xml:space="preserve" text-anchor="start" x="683.75" y="-627" font-family="Times,serif" font-size="14.00">8</text>
<polygon fill="none" stroke="black" points="700.62,-620.25 700.62,-642.75 739.62,-642.75 739.62,-620.25 700.62,-620.25"/>
<text xml:space="preserve" text-anchor="start" x="707" y="-627" font-family="Times,serif" font-size="14.00">u8be</text>
<polygon fill="none" stroke="black" points="739.62,-620.25 739.62,-642.75 803.38,-642.75 803.38,-620.25 739.62,-620.25"/>
<text xml:space="preserve" text-anchor="start" x="742.62" y="-627" font-family="Times,serif" font-size="14.00">timestamp</text>
<polygon fill="none" stroke="black" points="648.88,-597.75 648.88,-620.25 673.62,-620.25 673.62,-597.75 648.88,-597.75"/>
<text xml:space="preserve" text-anchor="start" x="655.62" y="-604.5" font-family="Times,serif" font-size="14.00">...</text>
<polygon fill="none" stroke="black" points="673.62,-597.75 673.62,-620.25 700.62,-620.25 700.62,-597.75 673.62,-597.75"/>
<text xml:space="preserve" text-anchor="start" x="681.5" y="-604.5" font-family="Times,serif" font-size="14.00">...</text>
<polygon fill="none" stroke="black" points="700.62,-597.75 700.62,-620.25 739.62,-620.25 739.62,-597.75 700.62,-597.75"/>
<text xml:space="preserve" text-anchor="start" x="703.62" y="-604.5" font-family="Times,serif" font-size="14.00">String</text>
<polygon fill="none" stroke="black" points="739.62,-597.75 739.62,-620.25 803.38,-620.25 803.38,-597.75 739.62,-597.75"/>
<text xml:space="preserve" text-anchor="start" x="751.62" y="-604.5" font-family="Times,serif" font-size="14.00">content</text>
</g>
<!-- solec__seq_payload_switch&#45;&gt;message__seq -->
<g id="edge4" class="edge">
<title>solec__seq_payload_switch:case2&#45;&gt;message__seq</title>
<path fill="none" stroke="black" stroke-width="2" d="M554.75,-541.25C578.62,-541.25 571.11,-567.08 589.75,-582 602.41,-592.14 616.72,-601.53 631.17,-609.95"/>
<polygon fill="black" stroke="black" stroke-width="2" points="628.12,-612.25 638.54,-614.13 631.57,-606.16 628.12,-612.25"/>
</g>
<!-- server_auth__seq -->
<g id="node6" class="node">
<title>server_auth__seq</title>
<polygon fill="#e0ffe0" stroke="none" points="662.75,-519 662.75,-541.5 687.5,-541.5 687.5,-519 662.75,-519"/>
<polygon fill="none" stroke="black" points="662.75,-519 662.75,-541.5 687.5,-541.5 687.5,-519 662.75,-519"/>
<text xml:space="preserve" text-anchor="start" x="665.75" y="-525.75" font-family="Times,serif" font-size="14.00">pos</text>
<polygon fill="#e0ffe0" stroke="none" points="687.5,-519 687.5,-541.5 714.5,-541.5 714.5,-519 687.5,-519"/>
<polygon fill="none" stroke="black" points="687.5,-519 687.5,-541.5 714.5,-541.5 714.5,-519 687.5,-519"/>
<text xml:space="preserve" text-anchor="start" x="690.5" y="-525.75" font-family="Times,serif" font-size="14.00">size</text>
<polygon fill="#e0ffe0" stroke="none" points="714.5,-519 714.5,-541.5 753.5,-541.5 753.5,-519 714.5,-519"/>
<polygon fill="none" stroke="black" points="714.5,-519 714.5,-541.5 753.5,-541.5 753.5,-519 714.5,-519"/>
<text xml:space="preserve" text-anchor="start" x="722.38" y="-525.75" font-family="Times,serif" font-size="14.00">type</text>
<polygon fill="#e0ffe0" stroke="none" points="753.5,-519 753.5,-541.5 789.5,-541.5 789.5,-519 753.5,-519"/>
<polygon fill="none" stroke="black" points="753.5,-519 753.5,-541.5 789.5,-541.5 789.5,-519 753.5,-519"/>
<text xml:space="preserve" text-anchor="start" x="766.25" y="-525.75" font-family="Times,serif" font-size="14.00">id</text>
<polygon fill="none" stroke="black" points="662.75,-496.5 662.75,-519 687.5,-519 687.5,-496.5 662.75,-496.5"/>
<text xml:space="preserve" text-anchor="start" x="671.75" y="-503.25" font-family="Times,serif" font-size="14.00">0</text>
<polygon fill="none" stroke="black" points="687.5,-496.5 687.5,-519 714.5,-519 714.5,-496.5 687.5,-496.5"/>
<text xml:space="preserve" text-anchor="start" x="695.38" y="-503.25" font-family="Times,serif" font-size="14.00">...</text>
<polygon fill="none" stroke="black" points="714.5,-496.5 714.5,-519 753.5,-519 753.5,-496.5 714.5,-496.5"/>
<text xml:space="preserve" text-anchor="start" x="717.5" y="-503.25" font-family="Times,serif" font-size="14.00">String</text>
<polygon fill="none" stroke="black" points="753.5,-496.5 753.5,-519 789.5,-519 789.5,-496.5 753.5,-496.5"/>
<text xml:space="preserve" text-anchor="start" x="756.5" y="-503.25" font-family="Times,serif" font-size="14.00">name</text>
</g>
<!-- solec__seq_payload_switch&#45;&gt;server_auth__seq -->
<g id="edge5" class="edge">
<title>solec__seq_payload_switch:case3&#45;&gt;server_auth__seq</title>
<path fill="none" stroke="black" stroke-width="2" d="M554.75,-518.75C583.74,-518.75 615.5,-518.79 643.66,-518.83"/>
<polygon fill="black" stroke="black" stroke-width="2" points="642.05,-522.33 652.05,-518.85 642.06,-515.33 642.05,-522.33"/>
</g>
<!-- success__seq -->
<g id="node8" class="node">
<title>success__seq</title>
<polygon fill="#e0ffe0" stroke="none" points="677.38,-413.75 677.38,-436.25 702.12,-436.25 702.12,-413.75 677.38,-413.75"/>
<polygon fill="none" stroke="black" points="677.38,-413.75 677.38,-436.25 702.12,-436.25 702.12,-413.75 677.38,-413.75"/>
<text xml:space="preserve" text-anchor="start" x="680.38" y="-420.5" font-family="Times,serif" font-size="14.00">pos</text>
<polygon fill="#e0ffe0" stroke="none" points="702.12,-413.75 702.12,-436.25 729.12,-436.25 729.12,-413.75 702.12,-413.75"/>
<polygon fill="none" stroke="black" points="702.12,-413.75 702.12,-436.25 729.12,-436.25 729.12,-413.75 702.12,-413.75"/>
<text xml:space="preserve" text-anchor="start" x="705.12" y="-420.5" font-family="Times,serif" font-size="14.00">size</text>
<polygon fill="#e0ffe0" stroke="none" points="729.12,-413.75 729.12,-436.25 758.38,-436.25 758.38,-413.75 729.12,-413.75"/>
<polygon fill="none" stroke="black" points="729.12,-413.75 729.12,-436.25 758.38,-436.25 758.38,-413.75 729.12,-413.75"/>
<text xml:space="preserve" text-anchor="start" x="732.12" y="-420.5" font-family="Times,serif" font-size="14.00">type</text>
<polygon fill="#e0ffe0" stroke="none" points="758.38,-413.75 758.38,-436.25 774.88,-436.25 774.88,-413.75 758.38,-413.75"/>
<polygon fill="none" stroke="black" points="758.38,-413.75 758.38,-436.25 774.88,-436.25 774.88,-413.75 758.38,-413.75"/>
<text xml:space="preserve" text-anchor="start" x="761.38" y="-420.5" font-family="Times,serif" font-size="14.00">id</text>
</g>
<!-- solec__seq_payload_switch&#45;&gt;success__seq -->
<g id="edge6" class="edge">
<title>solec__seq_payload_switch:case4&#45;&gt;success__seq</title>
<path fill="none" stroke="black" stroke-width="2" d="M554.75,-496.25C571.9,-496.25 574.02,-486.84 589.75,-480 615.59,-468.76 644.49,-456.92 668.93,-447.12"/>
<polygon fill="black" stroke="black" stroke-width="2" points="668.66,-450.99 676.65,-444.03 666.06,-444.49 668.66,-450.99"/>
</g>
<!-- test__seq -->
<g id="node9" class="node">
<title>test__seq</title>
<polygon fill="#e0ffe0" stroke="none" points="662,-331.75 662,-354.25 686.75,-354.25 686.75,-331.75 662,-331.75"/>
<polygon fill="none" stroke="black" points="662,-331.75 662,-354.25 686.75,-354.25 686.75,-331.75 662,-331.75"/>
<text xml:space="preserve" text-anchor="start" x="665" y="-338.5" font-family="Times,serif" font-size="14.00">pos</text>
<polygon fill="#e0ffe0" stroke="none" points="686.75,-331.75 686.75,-354.25 713.75,-354.25 713.75,-331.75 686.75,-331.75"/>
<polygon fill="none" stroke="black" points="686.75,-331.75 686.75,-354.25 713.75,-354.25 713.75,-331.75 686.75,-331.75"/>
<text xml:space="preserve" text-anchor="start" x="689.75" y="-338.5" font-family="Times,serif" font-size="14.00">size</text>
<polygon fill="#e0ffe0" stroke="none" points="713.75,-331.75 713.75,-354.25 752.75,-354.25 752.75,-331.75 713.75,-331.75"/>
<polygon fill="none" stroke="black" points="713.75,-331.75 713.75,-354.25 752.75,-354.25 752.75,-331.75 713.75,-331.75"/>
<text xml:space="preserve" text-anchor="start" x="721.62" y="-338.5" font-family="Times,serif" font-size="14.00">type</text>
<polygon fill="#e0ffe0" stroke="none" points="752.75,-331.75 752.75,-354.25 790.25,-354.25 790.25,-331.75 752.75,-331.75"/>
<polygon fill="none" stroke="black" points="752.75,-331.75 752.75,-354.25 790.25,-354.25 790.25,-331.75 752.75,-331.75"/>
<text xml:space="preserve" text-anchor="start" x="766.25" y="-338.5" font-family="Times,serif" font-size="14.00">id</text>
<polygon fill="none" stroke="black" points="662,-309.25 662,-331.75 686.75,-331.75 686.75,-309.25 662,-309.25"/>
<text xml:space="preserve" text-anchor="start" x="671" y="-316" font-family="Times,serif" font-size="14.00">0</text>
<polygon fill="none" stroke="black" points="686.75,-309.25 686.75,-331.75 713.75,-331.75 713.75,-309.25 686.75,-309.25"/>
<text xml:space="preserve" text-anchor="start" x="696.88" y="-316" font-family="Times,serif" font-size="14.00">1</text>
<polygon fill="none" stroke="black" points="713.75,-309.25 713.75,-331.75 752.75,-331.75 752.75,-309.25 713.75,-309.25"/>
<text xml:space="preserve" text-anchor="start" x="726.5" y="-316" font-family="Times,serif" font-size="14.00">u1</text>
<polygon fill="none" stroke="black" points="752.75,-309.25 752.75,-331.75 790.25,-331.75 790.25,-309.25 752.75,-309.25"/>
<text xml:space="preserve" text-anchor="start" x="755.75" y="-316" font-family="Times,serif" font-size="14.00">num1</text>
<polygon fill="none" stroke="black" points="662,-286.75 662,-309.25 686.75,-309.25 686.75,-286.75 662,-286.75"/>
<text xml:space="preserve" text-anchor="start" x="671" y="-293.5" font-family="Times,serif" font-size="14.00">1</text>
<polygon fill="none" stroke="black" points="686.75,-286.75 686.75,-309.25 713.75,-309.25 713.75,-286.75 686.75,-286.75"/>
<text xml:space="preserve" text-anchor="start" x="696.88" y="-293.5" font-family="Times,serif" font-size="14.00">8</text>
<polygon fill="none" stroke="black" points="713.75,-286.75 713.75,-309.25 752.75,-309.25 752.75,-286.75 713.75,-286.75"/>
<text xml:space="preserve" text-anchor="start" x="720.12" y="-293.5" font-family="Times,serif" font-size="14.00">u8be</text>
<polygon fill="none" stroke="black" points="752.75,-286.75 752.75,-309.25 790.25,-309.25 790.25,-286.75 752.75,-286.75"/>
<text xml:space="preserve" text-anchor="start" x="755.75" y="-293.5" font-family="Times,serif" font-size="14.00">time1</text>
<polygon fill="none" stroke="black" points="662,-264.25 662,-286.75 686.75,-286.75 686.75,-264.25 662,-264.25"/>
<text xml:space="preserve" text-anchor="start" x="671" y="-271" font-family="Times,serif" font-size="14.00">9</text>
<polygon fill="none" stroke="black" points="686.75,-264.25 686.75,-286.75 713.75,-286.75 713.75,-264.25 686.75,-264.25"/>
<text xml:space="preserve" text-anchor="start" x="694.62" y="-271" font-family="Times,serif" font-size="14.00">...</text>
<polygon fill="none" stroke="black" points="713.75,-264.25 713.75,-286.75 752.75,-286.75 752.75,-264.25 713.75,-264.25"/>
<text xml:space="preserve" text-anchor="start" x="716.75" y="-271" font-family="Times,serif" font-size="14.00">String</text>
<polygon fill="none" stroke="black" points="752.75,-264.25 752.75,-286.75 790.25,-286.75 790.25,-264.25 752.75,-264.25"/>
<text xml:space="preserve" text-anchor="start" x="761.38" y="-271" font-family="Times,serif" font-size="14.00">str1</text>
<polygon fill="none" stroke="black" points="662,-241.75 662,-264.25 686.75,-264.25 686.75,-241.75 662,-241.75"/>
<text xml:space="preserve" text-anchor="start" x="668.75" y="-248.5" font-family="Times,serif" font-size="14.00">...</text>
<polygon fill="none" stroke="black" points="686.75,-241.75 686.75,-264.25 713.75,-264.25 713.75,-241.75 686.75,-241.75"/>
<text xml:space="preserve" text-anchor="start" x="696.88" y="-248.5" font-family="Times,serif" font-size="14.00">2</text>
<polygon fill="none" stroke="black" points="713.75,-241.75 713.75,-264.25 752.75,-264.25 752.75,-241.75 713.75,-241.75"/>
<text xml:space="preserve" text-anchor="start" x="720.12" y="-248.5" font-family="Times,serif" font-size="14.00">u2be</text>
<polygon fill="none" stroke="black" points="752.75,-241.75 752.75,-264.25 790.25,-264.25 790.25,-241.75 752.75,-241.75"/>
<text xml:space="preserve" text-anchor="start" x="755.75" y="-248.5" font-family="Times,serif" font-size="14.00">num2</text>
<polygon fill="none" stroke="black" points="662,-219.25 662,-241.75 686.75,-241.75 686.75,-219.25 662,-219.25"/>
<text xml:space="preserve" text-anchor="start" x="668.75" y="-226" font-family="Times,serif" font-size="14.00">...</text>
<polygon fill="none" stroke="black" points="686.75,-219.25 686.75,-241.75 713.75,-241.75 713.75,-219.25 686.75,-219.25"/>
<text xml:space="preserve" text-anchor="start" x="694.62" y="-226" font-family="Times,serif" font-size="14.00">...</text>
<polygon fill="none" stroke="black" points="713.75,-219.25 713.75,-241.75 752.75,-241.75 752.75,-219.25 713.75,-219.25"/>
<text xml:space="preserve" text-anchor="start" x="716.75" y="-226" font-family="Times,serif" font-size="14.00">String</text>
<polygon fill="none" stroke="black" points="752.75,-219.25 752.75,-241.75 790.25,-241.75 790.25,-219.25 752.75,-219.25"/>
<text xml:space="preserve" text-anchor="start" x="761.38" y="-226" font-family="Times,serif" font-size="14.00">str2</text>
<polygon fill="none" stroke="black" points="662,-196.75 662,-219.25 686.75,-219.25 686.75,-196.75 662,-196.75"/>
<text xml:space="preserve" text-anchor="start" x="668.75" y="-203.5" font-family="Times,serif" font-size="14.00">...</text>
<polygon fill="none" stroke="black" points="686.75,-196.75 686.75,-219.25 713.75,-219.25 713.75,-196.75 686.75,-196.75"/>
<text xml:space="preserve" text-anchor="start" x="696.88" y="-203.5" font-family="Times,serif" font-size="14.00">4</text>
<polygon fill="none" stroke="black" points="713.75,-196.75 713.75,-219.25 752.75,-219.25 752.75,-196.75 713.75,-196.75"/>
<text xml:space="preserve" text-anchor="start" x="720.12" y="-203.5" font-family="Times,serif" font-size="14.00">u4be</text>
<polygon fill="none" stroke="black" points="752.75,-196.75 752.75,-219.25 790.25,-219.25 790.25,-196.75 752.75,-196.75"/>
<text xml:space="preserve" text-anchor="start" x="755.75" y="-203.5" font-family="Times,serif" font-size="14.00">num3</text>
<polygon fill="none" stroke="black" points="662,-174.25 662,-196.75 686.75,-196.75 686.75,-174.25 662,-174.25"/>
<text xml:space="preserve" text-anchor="start" x="668.75" y="-181" font-family="Times,serif" font-size="14.00">...</text>
<polygon fill="none" stroke="black" points="686.75,-174.25 686.75,-196.75 713.75,-196.75 713.75,-174.25 686.75,-174.25"/>
<text xml:space="preserve" text-anchor="start" x="694.62" y="-181" font-family="Times,serif" font-size="14.00">...</text>
<polygon fill="none" stroke="black" points="713.75,-174.25 713.75,-196.75 752.75,-196.75 752.75,-174.25 713.75,-174.25"/>
<text xml:space="preserve" text-anchor="start" x="716.75" y="-181" font-family="Times,serif" font-size="14.00">String</text>
<polygon fill="none" stroke="black" points="752.75,-174.25 752.75,-196.75 790.25,-196.75 790.25,-174.25 752.75,-174.25"/>
<text xml:space="preserve" text-anchor="start" x="761.38" y="-181" font-family="Times,serif" font-size="14.00">str3</text>
<polygon fill="none" stroke="black" points="662,-151.75 662,-174.25 686.75,-174.25 686.75,-151.75 662,-151.75"/>
<text xml:space="preserve" text-anchor="start" x="668.75" y="-158.5" font-family="Times,serif" font-size="14.00">...</text>
<polygon fill="none" stroke="black" points="686.75,-151.75 686.75,-174.25 713.75,-174.25 713.75,-151.75 686.75,-151.75"/>
<text xml:space="preserve" text-anchor="start" x="696.88" y="-158.5" font-family="Times,serif" font-size="14.00">8</text>
<polygon fill="none" stroke="black" points="713.75,-151.75 713.75,-174.25 752.75,-174.25 752.75,-151.75 713.75,-151.75"/>
<text xml:space="preserve" text-anchor="start" x="720.12" y="-158.5" font-family="Times,serif" font-size="14.00">u8be</text>
<polygon fill="none" stroke="black" points="752.75,-151.75 752.75,-174.25 790.25,-174.25 790.25,-151.75 752.75,-151.75"/>
<text xml:space="preserve" text-anchor="start" x="755.75" y="-158.5" font-family="Times,serif" font-size="14.00">num4</text>
</g>
<!-- solec__seq_payload_switch&#45;&gt;test__seq -->
<g id="edge7" class="edge">
<title>solec__seq_payload_switch:case5&#45;&gt;test__seq</title>
<path fill="none" stroke="black" stroke-width="2" d="M554.75,-473.75C593.05,-473.75 568.44,-426.83 589.75,-395 605.89,-370.89 626.28,-347.1 646.3,-326.09"/>
<polygon fill="black" stroke="black" stroke-width="2" points="647.71,-329.67 652.14,-320.05 642.68,-324.8 647.71,-329.67"/>
</g>
<!-- user_auth__seq -->
<g id="node10" class="node">
<title>user_auth__seq</title>
<polygon fill="#e0ffe0" stroke="none" points="662.75,-73.25 662.75,-95.75 687.5,-95.75 687.5,-73.25 662.75,-73.25"/>
<polygon fill="none" stroke="black" points="662.75,-73.25 662.75,-95.75 687.5,-95.75 687.5,-73.25 662.75,-73.25"/>
<text xml:space="preserve" text-anchor="start" x="665.75" y="-80" font-family="Times,serif" font-size="14.00">pos</text>
<polygon fill="#e0ffe0" stroke="none" points="687.5,-73.25 687.5,-95.75 714.5,-95.75 714.5,-73.25 687.5,-73.25"/>
<polygon fill="none" stroke="black" points="687.5,-73.25 687.5,-95.75 714.5,-95.75 714.5,-73.25 687.5,-73.25"/>
<text xml:space="preserve" text-anchor="start" x="690.5" y="-80" font-family="Times,serif" font-size="14.00">size</text>
<polygon fill="#e0ffe0" stroke="none" points="714.5,-73.25 714.5,-95.75 753.5,-95.75 753.5,-73.25 714.5,-73.25"/>
<polygon fill="none" stroke="black" points="714.5,-73.25 714.5,-95.75 753.5,-95.75 753.5,-73.25 714.5,-73.25"/>
<text xml:space="preserve" text-anchor="start" x="722.38" y="-80" font-family="Times,serif" font-size="14.00">type</text>
<polygon fill="#e0ffe0" stroke="none" points="753.5,-73.25 753.5,-95.75 789.5,-95.75 789.5,-73.25 753.5,-73.25"/>
<polygon fill="none" stroke="black" points="753.5,-73.25 753.5,-95.75 789.5,-95.75 789.5,-73.25 753.5,-73.25"/>
<text xml:space="preserve" text-anchor="start" x="766.25" y="-80" font-family="Times,serif" font-size="14.00">id</text>
<polygon fill="none" stroke="black" points="662.75,-50.75 662.75,-73.25 687.5,-73.25 687.5,-50.75 662.75,-50.75"/>
<text xml:space="preserve" text-anchor="start" x="671.75" y="-57.5" font-family="Times,serif" font-size="14.00">0</text>
<polygon fill="none" stroke="black" points="687.5,-50.75 687.5,-73.25 714.5,-73.25 714.5,-50.75 687.5,-50.75"/>
<text xml:space="preserve" text-anchor="start" x="695.38" y="-57.5" font-family="Times,serif" font-size="14.00">...</text>
<polygon fill="none" stroke="black" points="714.5,-50.75 714.5,-73.25 753.5,-73.25 753.5,-50.75 714.5,-50.75"/>
<text xml:space="preserve" text-anchor="start" x="717.5" y="-57.5" font-family="Times,serif" font-size="14.00">String</text>
<polygon fill="none" stroke="black" points="753.5,-50.75 753.5,-73.25 789.5,-73.25 789.5,-50.75 753.5,-50.75"/>
<text xml:space="preserve" text-anchor="start" x="756.5" y="-57.5" font-family="Times,serif" font-size="14.00">name</text>
<polygon fill="none" stroke="black" points="662.75,-28.25 662.75,-50.75 687.5,-50.75 687.5,-28.25 662.75,-28.25"/>
<text xml:space="preserve" text-anchor="start" x="669.5" y="-35" font-family="Times,serif" font-size="14.00">...</text>
<polygon fill="none" stroke="black" points="687.5,-28.25 687.5,-50.75 714.5,-50.75 714.5,-28.25 687.5,-28.25"/>
<text xml:space="preserve" text-anchor="start" x="695.38" y="-35" font-family="Times,serif" font-size="14.00">...</text>
<polygon fill="none" stroke="black" points="714.5,-28.25 714.5,-50.75 753.5,-50.75 753.5,-28.25 714.5,-28.25"/>
<text xml:space="preserve" text-anchor="start" x="717.5" y="-35" font-family="Times,serif" font-size="14.00">String</text>
<polygon fill="none" stroke="black" points="753.5,-28.25 753.5,-50.75 789.5,-50.75 789.5,-28.25 753.5,-28.25"/>
<text xml:space="preserve" text-anchor="start" x="759.88" y="-35" font-family="Times,serif" font-size="14.00">pass</text>
</g>
<!-- solec__seq_payload_switch&#45;&gt;user_auth__seq -->
<g id="edge8" class="edge">
<title>solec__seq_payload_switch:case6&#45;&gt;user_auth__seq</title>
<path fill="none" stroke="black" stroke-width="2" d="M554.75,-451.25C625.24,-451.25 550.5,-194.55 589.75,-136 603.14,-116.03 623.79,-100.96 644.96,-89.82"/>
<polygon fill="black" stroke="black" stroke-width="2" points="644.92,-93.74 652.32,-86.16 641.8,-87.47 644.92,-93.74"/>
</g>
<!-- string__seq -->
<g id="node7" class="node">
<title>string__seq</title>
<polygon fill="#e0ffe0" stroke="none" points="898.5,-286.25 898.5,-308.75 923.25,-308.75 923.25,-286.25 898.5,-286.25"/>
<polygon fill="none" stroke="black" points="898.5,-286.25 898.5,-308.75 923.25,-308.75 923.25,-286.25 898.5,-286.25"/>
<text xml:space="preserve" text-anchor="start" x="901.5" y="-293" font-family="Times,serif" font-size="14.00">pos</text>
<polygon fill="#e0ffe0" stroke="none" points="923.25,-286.25 923.25,-308.75 995.25,-308.75 995.25,-286.25 923.25,-286.25"/>
<polygon fill="none" stroke="black" points="923.25,-286.25 923.25,-308.75 995.25,-308.75 995.25,-286.25 923.25,-286.25"/>
<text xml:space="preserve" text-anchor="start" x="948.75" y="-293" font-family="Times,serif" font-size="14.00">size</text>
<polygon fill="#e0ffe0" stroke="none" points="995.25,-286.25 995.25,-308.75 1060.5,-308.75 1060.5,-286.25 995.25,-286.25"/>
<polygon fill="none" stroke="black" points="995.25,-286.25 995.25,-308.75 1060.5,-308.75 1060.5,-286.25 995.25,-286.25"/>
<text xml:space="preserve" text-anchor="start" x="1016.25" y="-293" font-family="Times,serif" font-size="14.00">type</text>
<polygon fill="#e0ffe0" stroke="none" points="1060.5,-286.25 1060.5,-308.75 1132.5,-308.75 1132.5,-286.25 1060.5,-286.25"/>
<polygon fill="none" stroke="black" points="1060.5,-286.25 1060.5,-308.75 1132.5,-308.75 1132.5,-286.25 1060.5,-286.25"/>
<text xml:space="preserve" text-anchor="start" x="1091.25" y="-293" font-family="Times,serif" font-size="14.00">id</text>
<polygon fill="none" stroke="black" points="898.5,-263.75 898.5,-286.25 923.25,-286.25 923.25,-263.75 898.5,-263.75"/>
<text xml:space="preserve" text-anchor="start" x="907.5" y="-270.5" font-family="Times,serif" font-size="14.00">0</text>
<polygon fill="none" stroke="black" points="923.25,-263.75 923.25,-286.25 995.25,-286.25 995.25,-263.75 923.25,-263.75"/>
<text xml:space="preserve" text-anchor="start" x="955.88" y="-270.5" font-family="Times,serif" font-size="14.00">2</text>
<polygon fill="none" stroke="black" points="995.25,-263.75 995.25,-286.25 1060.5,-286.25 1060.5,-263.75 995.25,-263.75"/>
<text xml:space="preserve" text-anchor="start" x="1014.75" y="-270.5" font-family="Times,serif" font-size="14.00">u2be</text>
<polygon fill="none" stroke="black" points="1060.5,-263.75 1060.5,-286.25 1132.5,-286.25 1132.5,-263.75 1060.5,-263.75"/>
<text xml:space="preserve" text-anchor="start" x="1063.5" y="-270.5" font-family="Times,serif" font-size="14.00">len_payload</text>
<polygon fill="none" stroke="black" points="898.5,-241.25 898.5,-263.75 923.25,-263.75 923.25,-241.25 898.5,-241.25"/>
<text xml:space="preserve" text-anchor="start" x="907.5" y="-248" font-family="Times,serif" font-size="14.00">2</text>
<polygon fill="none" stroke="black" points="923.25,-241.25 923.25,-263.75 995.25,-263.75 995.25,-241.25 923.25,-241.25"/>
<text xml:space="preserve" text-anchor="start" x="926.25" y="-248" font-family="Times,serif" font-size="14.00">len_payload</text>
<polygon fill="none" stroke="black" points="995.25,-241.25 995.25,-263.75 1060.5,-263.75 1060.5,-241.25 995.25,-241.25"/>
<text xml:space="preserve" text-anchor="start" x="998.25" y="-248" font-family="Times,serif" font-size="14.00">str(UTF&#45;8)</text>
<polygon fill="none" stroke="black" points="1060.5,-241.25 1060.5,-263.75 1132.5,-263.75 1132.5,-241.25 1060.5,-241.25"/>
<text xml:space="preserve" text-anchor="start" x="1075.12" y="-248" font-family="Times,serif" font-size="14.00">payload</text>
</g>
<!-- message__seq&#45;&gt;string__seq -->
<g id="edge10" class="edge">
<title>message__seq:source_type&#45;&gt;string__seq</title>
<path fill="none" stroke="black" stroke-width="2" d="M804.38,-676.5C961.91,-676.5 1001.56,-430.85 1011.36,-323.84"/>
<polygon fill="black" stroke="black" stroke-width="2" points="1014.71,-325.69 1012.08,-315.43 1007.74,-325.09 1014.71,-325.69"/>
</g>
<!-- message__seq&#45;&gt;string__seq -->
<g id="edge11" class="edge">
<title>message__seq:target_type&#45;&gt;string__seq</title>
<path fill="none" stroke="black" stroke-width="2" d="M804.38,-654C953.61,-654 997.73,-426.47 1010.04,-324"/>
<polygon fill="black" stroke="black" stroke-width="2" points="1013.32,-326.07 1010.98,-315.73 1006.37,-325.27 1013.32,-326.07"/>
</g>
<!-- message__seq&#45;&gt;string__seq -->
<g id="edge12" class="edge">
<title>message__seq:content_type&#45;&gt;string__seq</title>
<path fill="none" stroke="black" stroke-width="2" d="M804.38,-609C937.55,-609 989.63,-416.41 1006.99,-323.72"/>
<polygon fill="black" stroke="black" stroke-width="2" points="1010.11,-326.11 1008.44,-315.64 1003.22,-324.86 1010.11,-326.11"/>
</g>
<!-- server_auth__seq&#45;&gt;string__seq -->
<g id="edge13" class="edge">
<title>server_auth__seq:name_type&#45;&gt;string__seq</title>
<path fill="none" stroke="black" stroke-width="2" d="M790.5,-507.75C892.25,-507.75 962.29,-390.84 994.46,-322.73"/>
<polygon fill="black" stroke="black" stroke-width="2" points="996.83,-325.95 997.84,-315.4 990.47,-323.01 996.83,-325.95"/>
</g>
<!-- string__seq&#45;&gt;string__seq -->
<g id="edge14" class="edge">
<title>string__seq:len_payload_type&#45;&gt;string__seq:payload_size</title>
<path fill="none" stroke="#404040" d="M1127.57,-286.22C1164.49,-305.5 1144.06,-330.75 1027.88,-330.75 918.9,-330.75 894.17,-295.1 921.97,-270.33"/>
<polygon fill="#404040" stroke="#404040" points="923.9,-273.25 929.96,-264.55 919.8,-267.58 923.9,-273.25"/>
</g>
<!-- test__seq&#45;&gt;string__seq -->
<g id="edge15" class="edge">
<title>test__seq:str1_type&#45;&gt;string__seq</title>
<path fill="none" stroke="black" stroke-width="2" d="M791.25,-275.5C819.65,-275.5 850.08,-275.46 879.06,-275.4"/>
<polygon fill="black" stroke="black" stroke-width="2" points="877.49,-278.9 887.48,-275.38 877.47,-271.9 877.49,-278.9"/>
</g>
<!-- test__seq&#45;&gt;string__seq -->
<g id="edge16" class="edge">
<title>test__seq:str2_type&#45;&gt;string__seq</title>
<path fill="none" stroke="black" stroke-width="2" d="M791.25,-230.5C820.16,-230.5 850.78,-234.13 879.77,-239.32"/>
<polygon fill="black" stroke="black" stroke-width="2" points="877.34,-242.43 887.82,-240.83 878.63,-235.55 877.34,-242.43"/>
</g>
<!-- test__seq&#45;&gt;string__seq -->
<g id="edge17" class="edge">
<title>test__seq:str3_type&#45;&gt;string__seq</title>
<path fill="none" stroke="black" stroke-width="2" d="M791.25,-185.5C845.95,-185.5 903.13,-208.94 945.92,-231.82"/>
<polygon fill="black" stroke="black" stroke-width="2" points="942.82,-234.11 953.27,-235.85 946.19,-227.98 942.82,-234.11"/>
</g>
<!-- user_auth__seq&#45;&gt;string__seq -->
<g id="edge18" class="edge">
<title>user_auth__seq:name_type&#45;&gt;string__seq</title>
<path fill="none" stroke="black" stroke-width="2" d="M790.5,-62C885.81,-62 956.69,-164.53 991.17,-227.32"/>
<polygon fill="black" stroke="black" stroke-width="2" points="987.34,-227.59 995.15,-234.74 993.51,-224.28 987.34,-227.59"/>
</g>
<!-- user_auth__seq&#45;&gt;string__seq -->
<g id="edge19" class="edge">
<title>user_auth__seq:pass_type&#45;&gt;string__seq</title>
<path fill="none" stroke="black" stroke-width="2" d="M790.5,-39.5C893.15,-39.5 963.02,-158.41 994.87,-227.24"/>
<polygon fill="black" stroke="black" stroke-width="2" points="990.91,-227 998.22,-234.67 997.29,-224.11 990.91,-227"/>
</g>
</g>
</svg>