|
|
|
<svg xmlns="http://www.w3.org/2000/svg" width="168.96" height="84.48" class="svgbob">
|
|
|
|
<style>.filled{
|
|
|
|
fill: none !important;
|
|
|
|
}
|
|
|
|
|
|
|
|
text{
|
|
|
|
font-family: monospace !important;
|
|
|
|
font-weight: bold !important;
|
|
|
|
fill: red !important;
|
|
|
|
visibility: visible;
|
|
|
|
}
|
|
|
|
marker > *{
|
|
|
|
stroke: darkorange !important;
|
|
|
|
visibility: visible;
|
|
|
|
}
|
|
|
|
body.check-text text,
|
|
|
|
body.check-text marker > *{
|
|
|
|
visibility: hidden;
|
|
|
|
}.svgbob line, .svgbob path, .svgbob circle, .svgbob rect, .svgbob polygon {
|
|
|
|
stroke: black;
|
|
|
|
stroke-width: 2;
|
|
|
|
stroke-opacity: 1;
|
|
|
|
fill-opacity: 1;
|
|
|
|
stroke-linecap: round;
|
|
|
|
stroke-linejoin: miter;
|
|
|
|
}
|
|
|
|
|
|
|
|
.svgbob text {
|
|
|
|
white-space: pre;
|
|
|
|
fill: black;
|
|
|
|
font-family: Iosevka Fixed, monospace;
|
|
|
|
font-size: 14px;
|
|
|
|
}
|
|
|
|
|
|
|
|
.svgbob rect.backdrop {
|
|
|
|
stroke: none;
|
|
|
|
fill: white;
|
|
|
|
}
|
|
|
|
|
|
|
|
.svgbob .broken {
|
|
|
|
stroke-dasharray: 8;
|
|
|
|
}
|
|
|
|
|
|
|
|
.svgbob .filled {
|
|
|
|
fill: black;
|
|
|
|
}
|
|
|
|
|
|
|
|
.svgbob .bg_filled {
|
|
|
|
fill: white;
|
|
|
|
stroke-width: 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
.svgbob .nofill {
|
|
|
|
fill: white;
|
|
|
|
}
|
|
|
|
|
|
|
|
.svgbob .end_marked_arrow {
|
|
|
|
marker-end: url(#arrow);
|
|
|
|
}
|
|
|
|
|
|
|
|
.svgbob .start_marked_arrow {
|
|
|
|
marker-start: url(#arrow);
|
|
|
|
}
|
|
|
|
|
|
|
|
.svgbob .end_marked_diamond {
|
|
|
|
marker-end: url(#diamond);
|
|
|
|
}
|
|
|
|
|
|
|
|
.svgbob .start_marked_diamond {
|
|
|
|
marker-start: url(#diamond);
|
|
|
|
}
|
|
|
|
|
|
|
|
.svgbob .end_marked_circle {
|
|
|
|
marker-end: url(#circle);
|
|
|
|
}
|
|
|
|
|
|
|
|
.svgbob .start_marked_circle {
|
|
|
|
marker-start: url(#circle);
|
|
|
|
}
|
|
|
|
|
|
|
|
.svgbob .end_marked_open_circle {
|
|
|
|
marker-end: url(#open_circle);
|
|
|
|
}
|
|
|
|
|
|
|
|
.svgbob .start_marked_open_circle {
|
|
|
|
marker-start: url(#open_circle);
|
|
|
|
}
|
|
|
|
|
|
|
|
.svgbob .end_marked_big_open_circle {
|
|
|
|
marker-end: url(#big_open_circle);
|
|
|
|
}
|
|
|
|
|
|
|
|
.svgbob .start_marked_big_open_circle {
|
|
|
|
marker-start: url(#big_open_circle);
|
|
|
|
}
|
|
|
|
|
|
|
|
</style>
|
|
|
|
<defs>
|
|
|
|
<marker id="arrow" viewBox="-2 -2 8 8" refX="4" refY="2" markerWidth="7" markerHeight="7" orient="auto-start-reverse">
|
|
|
|
<polygon points="0,0 0,4 4,2 0,0"></polygon>
|
|
|
|
</marker>
|
|
|
|
<marker id="diamond" viewBox="-2 -2 8 8" refX="4" refY="2" markerWidth="7" markerHeight="7" orient="auto-start-reverse">
|
|
|
|
<polygon points="0,2 2,0 4,2 2,4 0,2"></polygon>
|
|
|
|
</marker>
|
|
|
|
<marker id="circle" viewBox="0 0 8 8" refX="4" refY="4" markerWidth="7" markerHeight="7" orient="auto-start-reverse">
|
|
|
|
<circle cx="4" cy="4" r="2" class="filled"></circle>
|
|
|
|
</marker>
|
|
|
|
<marker id="open_circle" viewBox="0 0 8 8" refX="4" refY="4" markerWidth="7" markerHeight="7" orient="auto-start-reverse">
|
|
|
|
<circle cx="4" cy="4" r="2" class="bg_filled"></circle>
|
|
|
|
</marker>
|
|
|
|
<marker id="big_open_circle" viewBox="0 0 8 8" refX="4" refY="4" markerWidth="7" markerHeight="7" orient="auto-start-reverse">
|
|
|
|
<circle cx="4" cy="4" r="3" class="bg_filled"></circle>
|
|
|
|
</marker>
|
|
|
|
</defs>
|
|
|
|
<rect class="backdrop" x="0" y="0" width="168.96" height="84.48"></rect>
|
|
|
|
<line x1="36.960003" y1="0" x2="0" y2="73.920006" class="solid"></line>
|
|
|
|
<text x="33" y="18.480001" >^</text>
|
|
|
|
<text x="27.720001" y="29.04" >^</text>
|
|
|
|
<text x="22.44" y="39.600002" >^^</text>
|
|
|
|
<text x="17.16" y="50.160004" >^^^^^^</text>
|
|
|
|
<text x="11.88" y="60.72" >^^</text>
|
|
|
|
<text x="6.6000004" y="71.28001" >^^</text>
|
|
|
|
<text x="38.280003" y="7.92" >^</text>
|
|
|
|
<line x1="84.48" y1="0" x2="79.200005" y2="10.56" class="solid"></line>
|
|
|
|
<polygon points="83.82,7.92 88.44,2.64 88.44,9.900001" class="filled"></polygon>
|
|
|
|
<line x1="85.8" y1="7.92" x2="79.200005" y2="21.12" class="solid"></line>
|
|
|
|
<text x="91.08" y="7.92" >^</text>
|
|
|
|
<text x="43.56" y="18.480001" >^</text>
|
|
|
|
<polygon points="46.86,18.480001 51.480003,13.200001 51.480003,20.460001" class="filled"></polygon>
|
|
|
|
<line x1="48.84" y1="18.480001" x2="42.24" y2="31.68" class="solid"></line>
|
|
|
|
<polygon points="83.82,18.480001 88.44,13.200001 88.44,20.460001" class="filled"></polygon>
|
|
|
|
<line x1="85.8" y1="18.480001" x2="79.200005" y2="31.68" class="solid"></line>
|
|
|
|
<text x="91.08" y="18.480001" >^</text>
|
|
|
|
<text x="48.84" y="29.04" >^</text>
|
|
|
|
<polygon points="52.140003,29.04 56.760002,23.76 56.760002,31.02" class="filled"></polygon>
|
|
|
|
<line x1="54.120003" y1="29.04" x2="47.52" y2="42.24" class="solid"></line>
|
|
|
|
<polygon points="83.82,29.04 88.44,23.76 88.44,31.02" class="filled"></polygon>
|
|
|
|
<line x1="85.8" y1="29.04" x2="79.200005" y2="42.24" class="solid"></line>
|
|
|
|
<text x="91.08" y="29.04" >^</text>
|
|
|
|
<text x="54.120003" y="39.600002" >^</text>
|
|
|
|
<polygon points="57.420002,39.600002 62.04,34.32 62.04,41.58" class="filled"></polygon>
|
|
|
|
<line x1="59.4" y1="39.600002" x2="52.800003" y2="52.800003" class="solid"></line>
|
|
|
|
<polygon points="83.82,39.600002 88.44,34.32 88.44,41.58" class="filled"></polygon>
|
|
|
|
<line x1="85.8" y1="39.600002" x2="79.200005" y2="52.800003" class="solid"></line>
|
|
|
|
<text x="91.08" y="39.600002" >^</text>
|
|
|
|
<text x="59.4" y="50.160004" >^</text>
|
|
|
|
<polygon points="62.7,50.160004 67.32,44.88 67.32,52.140003" class="filled"></polygon>
|
|
|
|
<line x1="64.68" y1="50.160004" x2="58.08" y2="63.36" class="solid"></line>
|
|
|
|
<polygon points="83.82,50.160004 88.44,44.88 88.44,52.140003" class="filled"></polygon>
|
|
|
|
<line x1="85.8" y1="50.160004" x2="79.200005" y2="63.36" class="solid"></line>
|
|
|
|
<text x="91.08" y="50.160004" >^</text>
|
|
|
|
<text x="64.68" y="60.72" >^</text>
|
|
|
|
<polygon points="67.98,60.72 72.600006,55.440002 72.600006,62.7" class="filled"></polygon>
|
|
|
|
<line x1="69.96" y1="60.72" x2="63.36" y2="73.920006" class="solid"></line>
|
|
|
|
<polygon points="83.82,60.72 88.44,55.440002 88.44,62.7" class="filled"></polygon>
|
|
|
|
<line x1="85.8" y1="60.72" x2="79.200005" y2="73.920006" class="solid"></line>
|
|
|
|
<text x="91.08" y="60.72" >^</text>
|
|
|
|
<text x="69.96" y="71.28001" >^^</text>
|
|
|
|
<text x="85.8" y="71.28001" >^^</text>
|
|
|
|
<line x1="147.84001" y1="21.12" x2="142.56001" y2="31.68" class="solid"></line>
|
|
|
|
<text x="149.16" y="29.04" >^^^</text>
|
|
|
|
<line x1="105.600006" y1="31.68" x2="100.32001" y2="42.24" class="solid"></line>
|
|
|
|
<text x="106.920006" y="39.600002" >^^</text>
|
|
|
|
<line x1="137.28" y1="31.68" x2="126.72" y2="52.800003" class="solid"></line>
|
|
|
|
<text x="133.32" y="50.160004" >^</text>
|
|
|
|
<text x="138.6" y="39.600002" >^^</text>
|
|
|
|
<line x1="116.16" y1="42.24" x2="110.880005" y2="52.800003" class="solid"></line>
|
|
|
|
<polygon points="115.50001,50.160004 120.12,44.88 120.12,52.140003" class="filled"></polygon>
|
|
|
|
<line x1="117.48" y1="50.160004" x2="110.880005" y2="63.36" class="solid"></line>
|
|
|
|
<text x="122.76" y="50.160004" >^</text>
|
|
|
|
<polygon points="136.62001,50.160004 141.24,44.88 141.24,52.140003" class="filled"></polygon>
|
|
|
|
<line x1="138.6" y1="50.160004" x2="132" y2="63.36" class="solid"></line>
|
|
|
|
<text x="117.48" y="60.72" >^^</text>
|
|
|
|
<text x="138.6" y="60.72" >^^</text>
|
|
|
|
<line x1="105.600006" y1="63.36" x2="100.32001" y2="73.920006" class="solid"></line>
|
|
|
|
<text x="106.920006" y="71.28001" >^^</text>
|
|
|
|
<line x1="147.84001" y1="63.36" x2="142.56001" y2="73.920006" class="solid"></line>
|
|
|
|
<text x="149.16" y="71.28001" >^^^</text>
|
|
|
|
</svg>
|