dtmc-0.3.0.0: benchmark/results/plots/periodic--finite-time-observation-k-100--speed-ratio.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">
<svg xmlns:xlink="http://www.w3.org/1999/xlink" width="518.4pt" height="324pt" viewBox="0 0 518.4 324" xmlns="http://www.w3.org/2000/svg" version="1.1">
<metadata>
<rdf:RDF xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:cc="http://creativecommons.org/ns#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
<cc:Work>
<dc:type rdf:resource="http://purl.org/dc/dcmitype/StillImage"/>
<dc:date>2026-09-14T10:18:53.479313</dc:date>
<dc:format>image/svg+xml</dc:format>
<dc:creator>
<cc:Agent>
<dc:title>Matplotlib v3.10.6, https://matplotlib.org/</dc:title>
</cc:Agent>
</dc:creator>
</cc:Work>
</rdf:RDF>
</metadata>
<defs>
<style type="text/css">*{stroke-linejoin: round; stroke-linecap: butt}</style>
</defs>
<g id="figure_1">
<g id="patch_1">
<path d="M 0 324
L 518.4 324
L 518.4 0
L 0 0
z
" style="fill: #ffffff"/>
</g>
<g id="axes_1">
<g id="patch_2">
<path d="M 47.178365 290.64351
L 515.39976 290.64351
L 515.39976 18.118365
L 47.178365 18.118365
z
" style="fill: #ffffff"/>
</g>
<g id="FillBetweenPolyCollection_1">
<defs>
<path id="m687e2ad8a3" d="M 68.461156 -293.494128
L 68.461156 -289.52144
L 237.846634 -183.78574
L 365.981802 -110.641378
L 494.116969 -45.743997
L 494.116969 -46.208157
L 494.116969 -46.208157
L 365.981802 -112.102865
L 237.846634 -186.552127
L 68.461156 -293.494128
z
" style="stroke: #6a3d9a; stroke-opacity: 0.18"/>
</defs>
<g clip-path="url(#p99f17bb94d)">
<use xlink:href="#m687e2ad8a3" x="0" y="324" style="fill: #6a3d9a; fill-opacity: 0.18; stroke: #6a3d9a; stroke-opacity: 0.18"/>
</g>
</g>
<g id="matplotlib.axis_1">
<g id="xtick_1">
<g id="line2d_1">
<path d="M 68.461156 290.64351
L 68.461156 18.118365
" clip-path="url(#p99f17bb94d)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_2">
<defs>
<path id="maeda7a5a38" d="M 0 0
L 0 3.5
" style="stroke: #000000; stroke-width: 0.8"/>
</defs>
<g>
<use xlink:href="#maeda7a5a38" x="68.461156" y="290.64351" style="stroke: #000000; stroke-width: 0.8"/>
</g>
</g>
<g id="text_1">
<!-- $\mathdefault{10^{1}}$ -->
<g transform="translate(59.661156 305.241947) scale(0.1 -0.1)">
<defs>
<path id="DejaVuSans-31" d="M 794 531
L 1825 531
L 1825 4091
L 703 3866
L 703 4441
L 1819 4666
L 2450 4666
L 2450 531
L 3481 531
L 3481 0
L 794 0
L 794 531
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-30" d="M 2034 4250
Q 1547 4250 1301 3770
Q 1056 3291 1056 2328
Q 1056 1369 1301 889
Q 1547 409 2034 409
Q 2525 409 2770 889
Q 3016 1369 3016 2328
Q 3016 3291 2770 3770
Q 2525 4250 2034 4250
z
M 2034 4750
Q 2819 4750 3233 4129
Q 3647 3509 3647 2328
Q 3647 1150 3233 529
Q 2819 -91 2034 -91
Q 1250 -91 836 529
Q 422 1150 422 2328
Q 422 3509 836 4129
Q 1250 4750 2034 4750
z
" transform="scale(0.015625)"/>
</defs>
<use xlink:href="#DejaVuSans-31" transform="translate(0 0.684375)"/>
<use xlink:href="#DejaVuSans-30" transform="translate(63.623047 0.684375)"/>
<use xlink:href="#DejaVuSans-31" transform="translate(128.203125 38.965625) scale(0.7)"/>
</g>
</g>
</g>
<g id="xtick_2">
<g id="line2d_3">
<path d="M 494.116969 290.64351
L 494.116969 18.118365
" clip-path="url(#p99f17bb94d)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_4">
<g>
<use xlink:href="#maeda7a5a38" x="494.116969" y="290.64351" style="stroke: #000000; stroke-width: 0.8"/>
</g>
</g>
<g id="text_2">
<!-- $\mathdefault{10^{2}}$ -->
<g transform="translate(485.316969 305.241947) scale(0.1 -0.1)">
<defs>
<path id="DejaVuSans-32" d="M 1228 531
L 3431 531
L 3431 0
L 469 0
L 469 531
Q 828 903 1448 1529
Q 2069 2156 2228 2338
Q 2531 2678 2651 2914
Q 2772 3150 2772 3378
Q 2772 3750 2511 3984
Q 2250 4219 1831 4219
Q 1534 4219 1204 4116
Q 875 4013 500 3803
L 500 4441
Q 881 4594 1212 4672
Q 1544 4750 1819 4750
Q 2544 4750 2975 4387
Q 3406 4025 3406 3419
Q 3406 3131 3298 2873
Q 3191 2616 2906 2266
Q 2828 2175 2409 1742
Q 1991 1309 1228 531
z
" transform="scale(0.015625)"/>
</defs>
<use xlink:href="#DejaVuSans-31" transform="translate(0 0.765625)"/>
<use xlink:href="#DejaVuSans-30" transform="translate(63.623047 0.765625)"/>
<use xlink:href="#DejaVuSans-32" transform="translate(128.203125 39.046875) scale(0.7)"/>
</g>
</g>
</g>
<g id="xtick_3">
<g id="line2d_5">
<path d="M 48.984214 290.64351
L 48.984214 18.118365
" clip-path="url(#p99f17bb94d)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_6">
<defs>
<path id="m6cbb858064" d="M 0 0
L 0 2
" style="stroke: #000000; stroke-width: 0.6"/>
</defs>
<g>
<use xlink:href="#m6cbb858064" x="48.984214" y="290.64351" style="stroke: #000000; stroke-width: 0.6"/>
</g>
</g>
</g>
<g id="xtick_4">
<g id="line2d_7">
<path d="M 196.596323 290.64351
L 196.596323 18.118365
" clip-path="url(#p99f17bb94d)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_8">
<g>
<use xlink:href="#m6cbb858064" x="196.596323" y="290.64351" style="stroke: #000000; stroke-width: 0.6"/>
</g>
</g>
</g>
<g id="xtick_5">
<g id="line2d_9">
<path d="M 271.550592 290.64351
L 271.550592 18.118365
" clip-path="url(#p99f17bb94d)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_10">
<g>
<use xlink:href="#m6cbb858064" x="271.550592" y="290.64351" style="stroke: #000000; stroke-width: 0.6"/>
</g>
</g>
</g>
<g id="xtick_6">
<g id="line2d_11">
<path d="M 324.731491 290.64351
L 324.731491 18.118365
" clip-path="url(#p99f17bb94d)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_12">
<g>
<use xlink:href="#m6cbb858064" x="324.731491" y="290.64351" style="stroke: #000000; stroke-width: 0.6"/>
</g>
</g>
</g>
<g id="xtick_7">
<g id="line2d_13">
<path d="M 365.981802 290.64351
L 365.981802 18.118365
" clip-path="url(#p99f17bb94d)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_14">
<g>
<use xlink:href="#m6cbb858064" x="365.981802" y="290.64351" style="stroke: #000000; stroke-width: 0.6"/>
</g>
</g>
</g>
<g id="xtick_8">
<g id="line2d_15">
<path d="M 399.685759 290.64351
L 399.685759 18.118365
" clip-path="url(#p99f17bb94d)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_16">
<g>
<use xlink:href="#m6cbb858064" x="399.685759" y="290.64351" style="stroke: #000000; stroke-width: 0.6"/>
</g>
</g>
</g>
<g id="xtick_9">
<g id="line2d_17">
<path d="M 428.18205 290.64351
L 428.18205 18.118365
" clip-path="url(#p99f17bb94d)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_18">
<g>
<use xlink:href="#m6cbb858064" x="428.18205" y="290.64351" style="stroke: #000000; stroke-width: 0.6"/>
</g>
</g>
</g>
<g id="xtick_10">
<g id="line2d_19">
<path d="M 452.866659 290.64351
L 452.866659 18.118365
" clip-path="url(#p99f17bb94d)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_20">
<g>
<use xlink:href="#m6cbb858064" x="452.866659" y="290.64351" style="stroke: #000000; stroke-width: 0.6"/>
</g>
</g>
</g>
<g id="xtick_11">
<g id="line2d_21">
<path d="M 474.640027 290.64351
L 474.640027 18.118365
" clip-path="url(#p99f17bb94d)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_22">
<g>
<use xlink:href="#m6cbb858064" x="474.640027" y="290.64351" style="stroke: #000000; stroke-width: 0.6"/>
</g>
</g>
</g>
<g id="text_3">
<!-- states -->
<g transform="translate(266.01875 318.920073) scale(0.1 -0.1)">
<defs>
<path id="DejaVuSans-73" d="M 2834 3397
L 2834 2853
Q 2591 2978 2328 3040
Q 2066 3103 1784 3103
Q 1356 3103 1142 2972
Q 928 2841 928 2578
Q 928 2378 1081 2264
Q 1234 2150 1697 2047
L 1894 2003
Q 2506 1872 2764 1633
Q 3022 1394 3022 966
Q 3022 478 2636 193
Q 2250 -91 1575 -91
Q 1294 -91 989 -36
Q 684 19 347 128
L 347 722
Q 666 556 975 473
Q 1284 391 1588 391
Q 1994 391 2212 530
Q 2431 669 2431 922
Q 2431 1156 2273 1281
Q 2116 1406 1581 1522
L 1381 1569
Q 847 1681 609 1914
Q 372 2147 372 2553
Q 372 3047 722 3315
Q 1072 3584 1716 3584
Q 2034 3584 2315 3537
Q 2597 3491 2834 3397
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-74" d="M 1172 4494
L 1172 3500
L 2356 3500
L 2356 3053
L 1172 3053
L 1172 1153
Q 1172 725 1289 603
Q 1406 481 1766 481
L 2356 481
L 2356 0
L 1766 0
Q 1100 0 847 248
Q 594 497 594 1153
L 594 3053
L 172 3053
L 172 3500
L 594 3500
L 594 4494
L 1172 4494
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-61" d="M 2194 1759
Q 1497 1759 1228 1600
Q 959 1441 959 1056
Q 959 750 1161 570
Q 1363 391 1709 391
Q 2188 391 2477 730
Q 2766 1069 2766 1631
L 2766 1759
L 2194 1759
z
M 3341 1997
L 3341 0
L 2766 0
L 2766 531
Q 2569 213 2275 61
Q 1981 -91 1556 -91
Q 1019 -91 701 211
Q 384 513 384 1019
Q 384 1609 779 1909
Q 1175 2209 1959 2209
L 2766 2209
L 2766 2266
Q 2766 2663 2505 2880
Q 2244 3097 1772 3097
Q 1472 3097 1187 3025
Q 903 2953 641 2809
L 641 3341
Q 956 3463 1253 3523
Q 1550 3584 1831 3584
Q 2591 3584 2966 3190
Q 3341 2797 3341 1997
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-65" d="M 3597 1894
L 3597 1613
L 953 1613
Q 991 1019 1311 708
Q 1631 397 2203 397
Q 2534 397 2845 478
Q 3156 559 3463 722
L 3463 178
Q 3153 47 2828 -22
Q 2503 -91 2169 -91
Q 1331 -91 842 396
Q 353 884 353 1716
Q 353 2575 817 3079
Q 1281 3584 2069 3584
Q 2775 3584 3186 3129
Q 3597 2675 3597 1894
z
M 3022 2063
Q 3016 2534 2758 2815
Q 2500 3097 2075 3097
Q 1594 3097 1305 2825
Q 1016 2553 972 2059
L 3022 2063
z
" transform="scale(0.015625)"/>
</defs>
<use xlink:href="#DejaVuSans-73"/>
<use xlink:href="#DejaVuSans-74" transform="translate(52.099609 0)"/>
<use xlink:href="#DejaVuSans-61" transform="translate(91.308594 0)"/>
<use xlink:href="#DejaVuSans-74" transform="translate(152.587891 0)"/>
<use xlink:href="#DejaVuSans-65" transform="translate(191.796875 0)"/>
<use xlink:href="#DejaVuSans-73" transform="translate(253.320312 0)"/>
</g>
</g>
</g>
<g id="matplotlib.axis_2">
<g id="ytick_1">
<g id="line2d_23">
<path d="M 47.178365 219.982778
L 515.39976 219.982778
" clip-path="url(#p99f17bb94d)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_24">
<defs>
<path id="m23e0284371" d="M 0 0
L -3.5 0
" style="stroke: #000000; stroke-width: 0.8"/>
</defs>
<g>
<use xlink:href="#m23e0284371" x="47.178365" y="219.982778" style="stroke: #000000; stroke-width: 0.8"/>
</g>
</g>
<g id="text_4">
<!-- $\mathdefault{10^{-1}}$ -->
<g transform="translate(16.678365 223.781997) scale(0.1 -0.1)">
<defs>
<path id="DejaVuSans-2212" d="M 678 2272
L 4684 2272
L 4684 1741
L 678 1741
L 678 2272
z
" transform="scale(0.015625)"/>
</defs>
<use xlink:href="#DejaVuSans-31" transform="translate(0 0.684375)"/>
<use xlink:href="#DejaVuSans-30" transform="translate(63.623047 0.684375)"/>
<use xlink:href="#DejaVuSans-2212" transform="translate(128.203125 38.965625) scale(0.7)"/>
<use xlink:href="#DejaVuSans-31" transform="translate(186.855469 38.965625) scale(0.7)"/>
</g>
</g>
</g>
<g id="ytick_2">
<g id="line2d_25">
<path d="M 47.178365 33.144279
L 515.39976 33.144279
" clip-path="url(#p99f17bb94d)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_26">
<g>
<use xlink:href="#m23e0284371" x="47.178365" y="33.144279" style="stroke: #000000; stroke-width: 0.8"/>
</g>
</g>
<g id="text_5">
<!-- $\mathdefault{10^{0}}$ -->
<g transform="translate(22.578365 36.943498) scale(0.1 -0.1)">
<use xlink:href="#DejaVuSans-31" transform="translate(0 0.765625)"/>
<use xlink:href="#DejaVuSans-30" transform="translate(63.623047 0.765625)"/>
<use xlink:href="#DejaVuSans-30" transform="translate(128.203125 39.046875) scale(0.7)"/>
</g>
</g>
</g>
<g id="ytick_3">
<g id="line2d_27">
<path d="M 47.178365 276.226771
L 515.39976 276.226771
" clip-path="url(#p99f17bb94d)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_28">
<defs>
<path id="m1d90c0e045" d="M 0 0
L -2 0
" style="stroke: #000000; stroke-width: 0.6"/>
</defs>
<g>
<use xlink:href="#m1d90c0e045" x="47.178365" y="276.226771" style="stroke: #000000; stroke-width: 0.6"/>
</g>
</g>
</g>
<g id="ytick_4">
<g id="line2d_29">
<path d="M 47.178365 261.432666
L 515.39976 261.432666
" clip-path="url(#p99f17bb94d)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_30">
<g>
<use xlink:href="#m1d90c0e045" x="47.178365" y="261.432666" style="stroke: #000000; stroke-width: 0.6"/>
</g>
</g>
</g>
<g id="ytick_5">
<g id="line2d_31">
<path d="M 47.178365 248.924428
L 515.39976 248.924428
" clip-path="url(#p99f17bb94d)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_32">
<g>
<use xlink:href="#m1d90c0e045" x="47.178365" y="248.924428" style="stroke: #000000; stroke-width: 0.6"/>
</g>
</g>
</g>
<g id="ytick_6">
<g id="line2d_33">
<path d="M 47.178365 238.0893
L 515.39976 238.0893
" clip-path="url(#p99f17bb94d)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_34">
<g>
<use xlink:href="#m1d90c0e045" x="47.178365" y="238.0893" style="stroke: #000000; stroke-width: 0.6"/>
</g>
</g>
</g>
<g id="ytick_7">
<g id="line2d_35">
<path d="M 47.178365 228.532039
L 515.39976 228.532039
" clip-path="url(#p99f17bb94d)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_36">
<g>
<use xlink:href="#m1d90c0e045" x="47.178365" y="228.532039" style="stroke: #000000; stroke-width: 0.6"/>
</g>
</g>
</g>
<g id="ytick_8">
<g id="line2d_37">
<path d="M 47.178365 163.738786
L 515.39976 163.738786
" clip-path="url(#p99f17bb94d)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_38">
<g>
<use xlink:href="#m1d90c0e045" x="47.178365" y="163.738786" style="stroke: #000000; stroke-width: 0.6"/>
</g>
</g>
</g>
<g id="ytick_9">
<g id="line2d_39">
<path d="M 47.178365 130.838159
L 515.39976 130.838159
" clip-path="url(#p99f17bb94d)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_40">
<g>
<use xlink:href="#m1d90c0e045" x="47.178365" y="130.838159" style="stroke: #000000; stroke-width: 0.6"/>
</g>
</g>
</g>
<g id="ytick_10">
<g id="line2d_41">
<path d="M 47.178365 107.494793
L 515.39976 107.494793
" clip-path="url(#p99f17bb94d)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_42">
<g>
<use xlink:href="#m1d90c0e045" x="47.178365" y="107.494793" style="stroke: #000000; stroke-width: 0.6"/>
</g>
</g>
</g>
<g id="ytick_11">
<g id="line2d_43">
<path d="M 47.178365 89.388272
L 515.39976 89.388272
" clip-path="url(#p99f17bb94d)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_44">
<g>
<use xlink:href="#m1d90c0e045" x="47.178365" y="89.388272" style="stroke: #000000; stroke-width: 0.6"/>
</g>
</g>
</g>
<g id="ytick_12">
<g id="line2d_45">
<path d="M 47.178365 74.594167
L 515.39976 74.594167
" clip-path="url(#p99f17bb94d)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_46">
<g>
<use xlink:href="#m1d90c0e045" x="47.178365" y="74.594167" style="stroke: #000000; stroke-width: 0.6"/>
</g>
</g>
</g>
<g id="ytick_13">
<g id="line2d_47">
<path d="M 47.178365 62.085929
L 515.39976 62.085929
" clip-path="url(#p99f17bb94d)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_48">
<g>
<use xlink:href="#m1d90c0e045" x="47.178365" y="62.085929" style="stroke: #000000; stroke-width: 0.6"/>
</g>
</g>
</g>
<g id="ytick_14">
<g id="line2d_49">
<path d="M 47.178365 51.250801
L 515.39976 51.250801
" clip-path="url(#p99f17bb94d)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_50">
<g>
<use xlink:href="#m1d90c0e045" x="47.178365" y="51.250801" style="stroke: #000000; stroke-width: 0.6"/>
</g>
</g>
</g>
<g id="ytick_15">
<g id="line2d_51">
<path d="M 47.178365 41.69354
L 515.39976 41.69354
" clip-path="url(#p99f17bb94d)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_52">
<g>
<use xlink:href="#m1d90c0e045" x="47.178365" y="41.69354" style="stroke: #000000; stroke-width: 0.6"/>
</g>
</g>
</g>
<g id="text_6">
<!-- median speed ratio -->
<g transform="translate(10.598678 202.936406) rotate(-90) scale(0.1 -0.1)">
<defs>
<path id="DejaVuSans-6d" d="M 3328 2828
Q 3544 3216 3844 3400
Q 4144 3584 4550 3584
Q 5097 3584 5394 3201
Q 5691 2819 5691 2113
L 5691 0
L 5113 0
L 5113 2094
Q 5113 2597 4934 2840
Q 4756 3084 4391 3084
Q 3944 3084 3684 2787
Q 3425 2491 3425 1978
L 3425 0
L 2847 0
L 2847 2094
Q 2847 2600 2669 2842
Q 2491 3084 2119 3084
Q 1678 3084 1418 2786
Q 1159 2488 1159 1978
L 1159 0
L 581 0
L 581 3500
L 1159 3500
L 1159 2956
Q 1356 3278 1631 3431
Q 1906 3584 2284 3584
Q 2666 3584 2933 3390
Q 3200 3197 3328 2828
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-64" d="M 2906 2969
L 2906 4863
L 3481 4863
L 3481 0
L 2906 0
L 2906 525
Q 2725 213 2448 61
Q 2172 -91 1784 -91
Q 1150 -91 751 415
Q 353 922 353 1747
Q 353 2572 751 3078
Q 1150 3584 1784 3584
Q 2172 3584 2448 3432
Q 2725 3281 2906 2969
z
M 947 1747
Q 947 1113 1208 752
Q 1469 391 1925 391
Q 2381 391 2643 752
Q 2906 1113 2906 1747
Q 2906 2381 2643 2742
Q 2381 3103 1925 3103
Q 1469 3103 1208 2742
Q 947 2381 947 1747
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-69" d="M 603 3500
L 1178 3500
L 1178 0
L 603 0
L 603 3500
z
M 603 4863
L 1178 4863
L 1178 4134
L 603 4134
L 603 4863
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-6e" d="M 3513 2113
L 3513 0
L 2938 0
L 2938 2094
Q 2938 2591 2744 2837
Q 2550 3084 2163 3084
Q 1697 3084 1428 2787
Q 1159 2491 1159 1978
L 1159 0
L 581 0
L 581 3500
L 1159 3500
L 1159 2956
Q 1366 3272 1645 3428
Q 1925 3584 2291 3584
Q 2894 3584 3203 3211
Q 3513 2838 3513 2113
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-20" transform="scale(0.015625)"/>
<path id="DejaVuSans-70" d="M 1159 525
L 1159 -1331
L 581 -1331
L 581 3500
L 1159 3500
L 1159 2969
Q 1341 3281 1617 3432
Q 1894 3584 2278 3584
Q 2916 3584 3314 3078
Q 3713 2572 3713 1747
Q 3713 922 3314 415
Q 2916 -91 2278 -91
Q 1894 -91 1617 61
Q 1341 213 1159 525
z
M 3116 1747
Q 3116 2381 2855 2742
Q 2594 3103 2138 3103
Q 1681 3103 1420 2742
Q 1159 2381 1159 1747
Q 1159 1113 1420 752
Q 1681 391 2138 391
Q 2594 391 2855 752
Q 3116 1113 3116 1747
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-72" d="M 2631 2963
Q 2534 3019 2420 3045
Q 2306 3072 2169 3072
Q 1681 3072 1420 2755
Q 1159 2438 1159 1844
L 1159 0
L 581 0
L 581 3500
L 1159 3500
L 1159 2956
Q 1341 3275 1631 3429
Q 1922 3584 2338 3584
Q 2397 3584 2469 3576
Q 2541 3569 2628 3553
L 2631 2963
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-6f" d="M 1959 3097
Q 1497 3097 1228 2736
Q 959 2375 959 1747
Q 959 1119 1226 758
Q 1494 397 1959 397
Q 2419 397 2687 759
Q 2956 1122 2956 1747
Q 2956 2369 2687 2733
Q 2419 3097 1959 3097
z
M 1959 3584
Q 2709 3584 3137 3096
Q 3566 2609 3566 1747
Q 3566 888 3137 398
Q 2709 -91 1959 -91
Q 1206 -91 779 398
Q 353 888 353 1747
Q 353 2609 779 3096
Q 1206 3584 1959 3584
z
" transform="scale(0.015625)"/>
</defs>
<use xlink:href="#DejaVuSans-6d"/>
<use xlink:href="#DejaVuSans-65" transform="translate(97.412109 0)"/>
<use xlink:href="#DejaVuSans-64" transform="translate(158.935547 0)"/>
<use xlink:href="#DejaVuSans-69" transform="translate(222.412109 0)"/>
<use xlink:href="#DejaVuSans-61" transform="translate(250.195312 0)"/>
<use xlink:href="#DejaVuSans-6e" transform="translate(311.474609 0)"/>
<use xlink:href="#DejaVuSans-20" transform="translate(374.853516 0)"/>
<use xlink:href="#DejaVuSans-73" transform="translate(406.640625 0)"/>
<use xlink:href="#DejaVuSans-70" transform="translate(458.740234 0)"/>
<use xlink:href="#DejaVuSans-65" transform="translate(522.216797 0)"/>
<use xlink:href="#DejaVuSans-65" transform="translate(583.740234 0)"/>
<use xlink:href="#DejaVuSans-64" transform="translate(645.263672 0)"/>
<use xlink:href="#DejaVuSans-20" transform="translate(708.740234 0)"/>
<use xlink:href="#DejaVuSans-72" transform="translate(740.527344 0)"/>
<use xlink:href="#DejaVuSans-61" transform="translate(781.640625 0)"/>
<use xlink:href="#DejaVuSans-74" transform="translate(842.919922 0)"/>
<use xlink:href="#DejaVuSans-69" transform="translate(882.128906 0)"/>
<use xlink:href="#DejaVuSans-6f" transform="translate(909.912109 0)"/>
</g>
</g>
</g>
<g id="line2d_53">
<path d="M 68.461156 31.708803
L 237.846634 137.874867
L 365.981802 212.538807
L 494.116969 277.999193
" clip-path="url(#p99f17bb94d)" style="fill: none; stroke: #6a3d9a; stroke-width: 1.5; stroke-linecap: square"/>
<defs>
<path id="maf9fa0d1b0" d="M 0 3
C 0.795609 3 1.55874 2.683901 2.12132 2.12132
C 2.683901 1.55874 3 0.795609 3 0
C 3 -0.795609 2.683901 -1.55874 2.12132 -2.12132
C 1.55874 -2.683901 0.795609 -3 0 -3
C -0.795609 -3 -1.55874 -2.683901 -2.12132 -2.12132
C -2.683901 -1.55874 -3 -0.795609 -3 0
C -3 0.795609 -2.683901 1.55874 -2.12132 2.12132
C -1.55874 2.683901 -0.795609 3 0 3
z
" style="stroke: #6a3d9a"/>
</defs>
<g clip-path="url(#p99f17bb94d)">
<use xlink:href="#maf9fa0d1b0" x="68.461156" y="31.708803" style="fill: #6a3d9a; stroke: #6a3d9a"/>
<use xlink:href="#maf9fa0d1b0" x="237.846634" y="137.874867" style="fill: #6a3d9a; stroke: #6a3d9a"/>
<use xlink:href="#maf9fa0d1b0" x="365.981802" y="212.538807" style="fill: #6a3d9a; stroke: #6a3d9a"/>
<use xlink:href="#maf9fa0d1b0" x="494.116969" y="277.999193" style="fill: #6a3d9a; stroke: #6a3d9a"/>
</g>
</g>
<g id="line2d_54">
<path d="M 47.178365 33.144279
L 515.39976 33.144279
" clip-path="url(#p99f17bb94d)" style="fill: none; stroke-dasharray: 3.7,1.6; stroke-dashoffset: 0; stroke: #555555"/>
</g>
<g id="patch_3">
<path d="M 47.178365 290.64351
L 47.178365 18.118365
" style="fill: none; stroke: #000000; stroke-width: 0.8; stroke-linejoin: miter; stroke-linecap: square"/>
</g>
<g id="patch_4">
<path d="M 515.39976 290.64351
L 515.39976 18.118365
" style="fill: none; stroke: #000000; stroke-width: 0.8; stroke-linejoin: miter; stroke-linecap: square"/>
</g>
<g id="patch_5">
<path d="M 47.178365 290.64351
L 515.39976 290.64351
" style="fill: none; stroke: #000000; stroke-width: 0.8; stroke-linejoin: miter; stroke-linecap: square"/>
</g>
<g id="patch_6">
<path d="M 47.178365 18.118365
L 515.39976 18.118365
" style="fill: none; stroke: #000000; stroke-width: 0.8; stroke-linejoin: miter; stroke-linecap: square"/>
</g>
<g id="text_7">
<!-- periodic: finite-time/observation/k-100 speed ratio -->
<g transform="translate(129.873437 12.118365) scale(0.12 -0.12)">
<defs>
<path id="DejaVuSans-63" d="M 3122 3366
L 3122 2828
Q 2878 2963 2633 3030
Q 2388 3097 2138 3097
Q 1578 3097 1268 2742
Q 959 2388 959 1747
Q 959 1106 1268 751
Q 1578 397 2138 397
Q 2388 397 2633 464
Q 2878 531 3122 666
L 3122 134
Q 2881 22 2623 -34
Q 2366 -91 2075 -91
Q 1284 -91 818 406
Q 353 903 353 1747
Q 353 2603 823 3093
Q 1294 3584 2113 3584
Q 2378 3584 2631 3529
Q 2884 3475 3122 3366
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-3a" d="M 750 794
L 1409 794
L 1409 0
L 750 0
L 750 794
z
M 750 3309
L 1409 3309
L 1409 2516
L 750 2516
L 750 3309
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-66" d="M 2375 4863
L 2375 4384
L 1825 4384
Q 1516 4384 1395 4259
Q 1275 4134 1275 3809
L 1275 3500
L 2222 3500
L 2222 3053
L 1275 3053
L 1275 0
L 697 0
L 697 3053
L 147 3053
L 147 3500
L 697 3500
L 697 3744
Q 697 4328 969 4595
Q 1241 4863 1831 4863
L 2375 4863
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-2d" d="M 313 2009
L 1997 2009
L 1997 1497
L 313 1497
L 313 2009
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-2f" d="M 1625 4666
L 2156 4666
L 531 -594
L 0 -594
L 1625 4666
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-62" d="M 3116 1747
Q 3116 2381 2855 2742
Q 2594 3103 2138 3103
Q 1681 3103 1420 2742
Q 1159 2381 1159 1747
Q 1159 1113 1420 752
Q 1681 391 2138 391
Q 2594 391 2855 752
Q 3116 1113 3116 1747
z
M 1159 2969
Q 1341 3281 1617 3432
Q 1894 3584 2278 3584
Q 2916 3584 3314 3078
Q 3713 2572 3713 1747
Q 3713 922 3314 415
Q 2916 -91 2278 -91
Q 1894 -91 1617 61
Q 1341 213 1159 525
L 1159 0
L 581 0
L 581 4863
L 1159 4863
L 1159 2969
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-76" d="M 191 3500
L 800 3500
L 1894 563
L 2988 3500
L 3597 3500
L 2284 0
L 1503 0
L 191 3500
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-6b" d="M 581 4863
L 1159 4863
L 1159 1991
L 2875 3500
L 3609 3500
L 1753 1863
L 3688 0
L 2938 0
L 1159 1709
L 1159 0
L 581 0
L 581 4863
z
" transform="scale(0.015625)"/>
</defs>
<use xlink:href="#DejaVuSans-70"/>
<use xlink:href="#DejaVuSans-65" transform="translate(63.476562 0)"/>
<use xlink:href="#DejaVuSans-72" transform="translate(125 0)"/>
<use xlink:href="#DejaVuSans-69" transform="translate(166.113281 0)"/>
<use xlink:href="#DejaVuSans-6f" transform="translate(193.896484 0)"/>
<use xlink:href="#DejaVuSans-64" transform="translate(255.078125 0)"/>
<use xlink:href="#DejaVuSans-69" transform="translate(318.554688 0)"/>
<use xlink:href="#DejaVuSans-63" transform="translate(346.337891 0)"/>
<use xlink:href="#DejaVuSans-3a" transform="translate(401.318359 0)"/>
<use xlink:href="#DejaVuSans-20" transform="translate(435.009766 0)"/>
<use xlink:href="#DejaVuSans-66" transform="translate(466.796875 0)"/>
<use xlink:href="#DejaVuSans-69" transform="translate(502.001953 0)"/>
<use xlink:href="#DejaVuSans-6e" transform="translate(529.785156 0)"/>
<use xlink:href="#DejaVuSans-69" transform="translate(593.164062 0)"/>
<use xlink:href="#DejaVuSans-74" transform="translate(620.947266 0)"/>
<use xlink:href="#DejaVuSans-65" transform="translate(660.15625 0)"/>
<use xlink:href="#DejaVuSans-2d" transform="translate(721.679688 0)"/>
<use xlink:href="#DejaVuSans-74" transform="translate(757.763672 0)"/>
<use xlink:href="#DejaVuSans-69" transform="translate(796.972656 0)"/>
<use xlink:href="#DejaVuSans-6d" transform="translate(824.755859 0)"/>
<use xlink:href="#DejaVuSans-65" transform="translate(922.167969 0)"/>
<use xlink:href="#DejaVuSans-2f" transform="translate(983.691406 0)"/>
<use xlink:href="#DejaVuSans-6f" transform="translate(1017.382812 0)"/>
<use xlink:href="#DejaVuSans-62" transform="translate(1078.564453 0)"/>
<use xlink:href="#DejaVuSans-73" transform="translate(1142.041016 0)"/>
<use xlink:href="#DejaVuSans-65" transform="translate(1194.140625 0)"/>
<use xlink:href="#DejaVuSans-72" transform="translate(1255.664062 0)"/>
<use xlink:href="#DejaVuSans-76" transform="translate(1296.777344 0)"/>
<use xlink:href="#DejaVuSans-61" transform="translate(1355.957031 0)"/>
<use xlink:href="#DejaVuSans-74" transform="translate(1417.236328 0)"/>
<use xlink:href="#DejaVuSans-69" transform="translate(1456.445312 0)"/>
<use xlink:href="#DejaVuSans-6f" transform="translate(1484.228516 0)"/>
<use xlink:href="#DejaVuSans-6e" transform="translate(1545.410156 0)"/>
<use xlink:href="#DejaVuSans-2f" transform="translate(1608.789062 0)"/>
<use xlink:href="#DejaVuSans-6b" transform="translate(1642.480469 0)"/>
<use xlink:href="#DejaVuSans-2d" transform="translate(1700.390625 0)"/>
<use xlink:href="#DejaVuSans-31" transform="translate(1736.474609 0)"/>
<use xlink:href="#DejaVuSans-30" transform="translate(1800.097656 0)"/>
<use xlink:href="#DejaVuSans-30" transform="translate(1863.720703 0)"/>
<use xlink:href="#DejaVuSans-20" transform="translate(1927.34375 0)"/>
<use xlink:href="#DejaVuSans-73" transform="translate(1959.130859 0)"/>
<use xlink:href="#DejaVuSans-70" transform="translate(2011.230469 0)"/>
<use xlink:href="#DejaVuSans-65" transform="translate(2074.707031 0)"/>
<use xlink:href="#DejaVuSans-65" transform="translate(2136.230469 0)"/>
<use xlink:href="#DejaVuSans-64" transform="translate(2197.753906 0)"/>
<use xlink:href="#DejaVuSans-20" transform="translate(2261.230469 0)"/>
<use xlink:href="#DejaVuSans-72" transform="translate(2293.017578 0)"/>
<use xlink:href="#DejaVuSans-61" transform="translate(2334.130859 0)"/>
<use xlink:href="#DejaVuSans-74" transform="translate(2395.410156 0)"/>
<use xlink:href="#DejaVuSans-69" transform="translate(2434.619141 0)"/>
<use xlink:href="#DejaVuSans-6f" transform="translate(2462.402344 0)"/>
</g>
</g>
<g id="legend_1">
<g id="patch_7">
<path d="M 54.178365 285.64351
L 162.778365 285.64351
Q 164.778365 285.64351 164.778365 283.64351
L 164.778365 255.28726
Q 164.778365 253.28726 162.778365 253.28726
L 54.178365 253.28726
Q 52.178365 253.28726 52.178365 255.28726
L 52.178365 283.64351
Q 52.178365 285.64351 54.178365 285.64351
z
" style="fill: #ffffff; opacity: 0.8; stroke: #cccccc; stroke-linejoin: miter"/>
</g>
<g id="line2d_55">
<path d="M 56.178365 261.385697
L 66.178365 261.385697
L 76.178365 261.385697
" style="fill: none; stroke: #6a3d9a; stroke-width: 1.5; stroke-linecap: square"/>
<g>
<use xlink:href="#maf9fa0d1b0" x="66.178365" y="261.385697" style="fill: #6a3d9a; stroke: #6a3d9a"/>
</g>
</g>
<g id="text_8">
<!-- PyDTMC / dtmc -->
<g transform="translate(84.178365 264.885697) scale(0.1 -0.1)">
<defs>
<path id="DejaVuSans-50" d="M 1259 4147
L 1259 2394
L 2053 2394
Q 2494 2394 2734 2622
Q 2975 2850 2975 3272
Q 2975 3691 2734 3919
Q 2494 4147 2053 4147
L 1259 4147
z
M 628 4666
L 2053 4666
Q 2838 4666 3239 4311
Q 3641 3956 3641 3272
Q 3641 2581 3239 2228
Q 2838 1875 2053 1875
L 1259 1875
L 1259 0
L 628 0
L 628 4666
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-79" d="M 2059 -325
Q 1816 -950 1584 -1140
Q 1353 -1331 966 -1331
L 506 -1331
L 506 -850
L 844 -850
Q 1081 -850 1212 -737
Q 1344 -625 1503 -206
L 1606 56
L 191 3500
L 800 3500
L 1894 763
L 2988 3500
L 3597 3500
L 2059 -325
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-44" d="M 1259 4147
L 1259 519
L 2022 519
Q 2988 519 3436 956
Q 3884 1394 3884 2338
Q 3884 3275 3436 3711
Q 2988 4147 2022 4147
L 1259 4147
z
M 628 4666
L 1925 4666
Q 3281 4666 3915 4102
Q 4550 3538 4550 2338
Q 4550 1131 3912 565
Q 3275 0 1925 0
L 628 0
L 628 4666
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-54" d="M -19 4666
L 3928 4666
L 3928 4134
L 2272 4134
L 2272 0
L 1638 0
L 1638 4134
L -19 4134
L -19 4666
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-4d" d="M 628 4666
L 1569 4666
L 2759 1491
L 3956 4666
L 4897 4666
L 4897 0
L 4281 0
L 4281 4097
L 3078 897
L 2444 897
L 1241 4097
L 1241 0
L 628 0
L 628 4666
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-43" d="M 4122 4306
L 4122 3641
Q 3803 3938 3442 4084
Q 3081 4231 2675 4231
Q 1875 4231 1450 3742
Q 1025 3253 1025 2328
Q 1025 1406 1450 917
Q 1875 428 2675 428
Q 3081 428 3442 575
Q 3803 722 4122 1019
L 4122 359
Q 3791 134 3420 21
Q 3050 -91 2638 -91
Q 1578 -91 968 557
Q 359 1206 359 2328
Q 359 3453 968 4101
Q 1578 4750 2638 4750
Q 3056 4750 3426 4639
Q 3797 4528 4122 4306
z
" transform="scale(0.015625)"/>
</defs>
<use xlink:href="#DejaVuSans-50"/>
<use xlink:href="#DejaVuSans-79" transform="translate(60.302734 0)"/>
<use xlink:href="#DejaVuSans-44" transform="translate(119.482422 0)"/>
<use xlink:href="#DejaVuSans-54" transform="translate(196.484375 0)"/>
<use xlink:href="#DejaVuSans-4d" transform="translate(257.568359 0)"/>
<use xlink:href="#DejaVuSans-43" transform="translate(343.847656 0)"/>
<use xlink:href="#DejaVuSans-20" transform="translate(413.671875 0)"/>
<use xlink:href="#DejaVuSans-2f" transform="translate(445.458984 0)"/>
<use xlink:href="#DejaVuSans-20" transform="translate(479.150391 0)"/>
<use xlink:href="#DejaVuSans-64" transform="translate(510.9375 0)"/>
<use xlink:href="#DejaVuSans-74" transform="translate(574.414062 0)"/>
<use xlink:href="#DejaVuSans-6d" transform="translate(613.623047 0)"/>
<use xlink:href="#DejaVuSans-63" transform="translate(711.035156 0)"/>
</g>
</g>
<g id="patch_8">
<path d="M 56.178365 279.563823
L 76.178365 279.563823
L 76.178365 272.563823
L 56.178365 272.563823
z
" style="fill: #6a3d9a; fill-opacity: 0.18; stroke: #6a3d9a; stroke-opacity: 0.18; stroke-linejoin: miter"/>
</g>
<g id="text_9">
<!-- 95% CI -->
<g transform="translate(84.178365 279.563823) scale(0.1 -0.1)">
<defs>
<path id="DejaVuSans-39" d="M 703 97
L 703 672
Q 941 559 1184 500
Q 1428 441 1663 441
Q 2288 441 2617 861
Q 2947 1281 2994 2138
Q 2813 1869 2534 1725
Q 2256 1581 1919 1581
Q 1219 1581 811 2004
Q 403 2428 403 3163
Q 403 3881 828 4315
Q 1253 4750 1959 4750
Q 2769 4750 3195 4129
Q 3622 3509 3622 2328
Q 3622 1225 3098 567
Q 2575 -91 1691 -91
Q 1453 -91 1209 -44
Q 966 3 703 97
z
M 1959 2075
Q 2384 2075 2632 2365
Q 2881 2656 2881 3163
Q 2881 3666 2632 3958
Q 2384 4250 1959 4250
Q 1534 4250 1286 3958
Q 1038 3666 1038 3163
Q 1038 2656 1286 2365
Q 1534 2075 1959 2075
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-35" d="M 691 4666
L 3169 4666
L 3169 4134
L 1269 4134
L 1269 2991
Q 1406 3038 1543 3061
Q 1681 3084 1819 3084
Q 2600 3084 3056 2656
Q 3513 2228 3513 1497
Q 3513 744 3044 326
Q 2575 -91 1722 -91
Q 1428 -91 1123 -41
Q 819 9 494 109
L 494 744
Q 775 591 1075 516
Q 1375 441 1709 441
Q 2250 441 2565 725
Q 2881 1009 2881 1497
Q 2881 1984 2565 2268
Q 2250 2553 1709 2553
Q 1456 2553 1204 2497
Q 953 2441 691 2322
L 691 4666
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-25" d="M 4653 2053
Q 4381 2053 4226 1822
Q 4072 1591 4072 1178
Q 4072 772 4226 539
Q 4381 306 4653 306
Q 4919 306 5073 539
Q 5228 772 5228 1178
Q 5228 1588 5073 1820
Q 4919 2053 4653 2053
z
M 4653 2450
Q 5147 2450 5437 2106
Q 5728 1763 5728 1178
Q 5728 594 5436 251
Q 5144 -91 4653 -91
Q 4153 -91 3862 251
Q 3572 594 3572 1178
Q 3572 1766 3864 2108
Q 4156 2450 4653 2450
z
M 1428 4353
Q 1159 4353 1004 4120
Q 850 3888 850 3481
Q 850 3069 1003 2837
Q 1156 2606 1428 2606
Q 1700 2606 1854 2837
Q 2009 3069 2009 3481
Q 2009 3884 1853 4118
Q 1697 4353 1428 4353
z
M 4250 4750
L 4750 4750
L 1831 -91
L 1331 -91
L 4250 4750
z
M 1428 4750
Q 1922 4750 2215 4408
Q 2509 4066 2509 3481
Q 2509 2891 2217 2550
Q 1925 2209 1428 2209
Q 931 2209 642 2551
Q 353 2894 353 3481
Q 353 4063 643 4406
Q 934 4750 1428 4750
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-49" d="M 628 4666
L 1259 4666
L 1259 0
L 628 0
L 628 4666
z
" transform="scale(0.015625)"/>
</defs>
<use xlink:href="#DejaVuSans-39"/>
<use xlink:href="#DejaVuSans-35" transform="translate(63.623047 0)"/>
<use xlink:href="#DejaVuSans-25" transform="translate(127.246094 0)"/>
<use xlink:href="#DejaVuSans-20" transform="translate(222.265625 0)"/>
<use xlink:href="#DejaVuSans-43" transform="translate(254.052734 0)"/>
<use xlink:href="#DejaVuSans-49" transform="translate(323.876953 0)"/>
</g>
</g>
</g>
</g>
</g>
<defs>
<clipPath id="p99f17bb94d">
<rect x="47.178365" y="18.118365" width="468.221395" height="272.525145"/>
</clipPath>
</defs>
</svg>