simulation/reference-outputs/figs/scenario-b1_verify.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="1440pt" height="720pt" viewBox="0 0 1440 720" 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>2023-09-25T15:04:52.077976</dc:date>
    <dc:format>image/svg+xml</dc:format>
    <dc:creator>
     <cc:Agent>
      <dc:title>Matplotlib v3.6.0, 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 720 
L 1440 720 
L 1440 0 
L 0 0 
z
" style="fill: #ffffff"/>
  </g>
  <g id="axes_1">
   <g id="patch_2">
    <path d="M 180 640.8 
L 1296 640.8 
L 1296 86.4 
L 180 86.4 
z
" style="fill: #eaeaf2"/>
   </g>
   <g id="matplotlib.axis_1">
    <g id="xtick_1">
     <g id="line2d_1">
      <path d="M 213.23511 640.8 
L 213.23511 86.4 
" clip-path="url(#pdb52c281aa)" style="fill: none; stroke: #ffffff; stroke-linecap: round"/>
     </g>
     <g id="text_1">
      <!-- 0 -->
      <g style="fill: #262626" transform="translate(207.986047 662.837422) scale(0.165 -0.165)">
       <defs>
        <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-30"/>
      </g>
     </g>
    </g>
    <g id="xtick_2">
     <g id="line2d_2">
      <path d="M 388.15674 640.8 
L 388.15674 86.4 
" clip-path="url(#pdb52c281aa)" style="fill: none; stroke: #ffffff; stroke-linecap: round"/>
     </g>
     <g id="text_2">
      <!-- 10 -->
      <g style="fill: #262626" transform="translate(377.658615 662.837422) scale(0.165 -0.165)">
       <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)"/>
       </defs>
       <use xlink:href="#DejaVuSans-31"/>
       <use xlink:href="#DejaVuSans-30" x="63.623047"/>
      </g>
     </g>
    </g>
    <g id="xtick_3">
     <g id="line2d_3">
      <path d="M 563.07837 640.8 
L 563.07837 86.4 
" clip-path="url(#pdb52c281aa)" style="fill: none; stroke: #ffffff; stroke-linecap: round"/>
     </g>
     <g id="text_3">
      <!-- 20 -->
      <g style="fill: #262626" transform="translate(552.580245 662.837422) scale(0.165 -0.165)">
       <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-32"/>
       <use xlink:href="#DejaVuSans-30" x="63.623047"/>
      </g>
     </g>
    </g>
    <g id="xtick_4">
     <g id="line2d_4">
      <path d="M 738 640.8 
L 738 86.4 
" clip-path="url(#pdb52c281aa)" style="fill: none; stroke: #ffffff; stroke-linecap: round"/>
     </g>
     <g id="text_4">
      <!-- 30 -->
      <g style="fill: #262626" transform="translate(727.501875 662.837422) scale(0.165 -0.165)">
       <defs>
        <path id="DejaVuSans-33" d="M 2597 2516 
Q 3050 2419 3304 2112 
Q 3559 1806 3559 1356 
Q 3559 666 3084 287 
Q 2609 -91 1734 -91 
Q 1441 -91 1130 -33 
Q 819 25 488 141 
L 488 750 
Q 750 597 1062 519 
Q 1375 441 1716 441 
Q 2309 441 2620 675 
Q 2931 909 2931 1356 
Q 2931 1769 2642 2001 
Q 2353 2234 1838 2234 
L 1294 2234 
L 1294 2753 
L 1863 2753 
Q 2328 2753 2575 2939 
Q 2822 3125 2822 3475 
Q 2822 3834 2567 4026 
Q 2313 4219 1838 4219 
Q 1578 4219 1281 4162 
Q 984 4106 628 3988 
L 628 4550 
Q 988 4650 1302 4700 
Q 1616 4750 1894 4750 
Q 2613 4750 3031 4423 
Q 3450 4097 3450 3541 
Q 3450 3153 3228 2886 
Q 3006 2619 2597 2516 
z
" transform="scale(0.015625)"/>
       </defs>
       <use xlink:href="#DejaVuSans-33"/>
       <use xlink:href="#DejaVuSans-30" x="63.623047"/>
      </g>
     </g>
    </g>
    <g id="xtick_5">
     <g id="line2d_5">
      <path d="M 912.92163 640.8 
L 912.92163 86.4 
" clip-path="url(#pdb52c281aa)" style="fill: none; stroke: #ffffff; stroke-linecap: round"/>
     </g>
     <g id="text_5">
      <!-- 40 -->
      <g style="fill: #262626" transform="translate(902.423505 662.837422) scale(0.165 -0.165)">
       <defs>
        <path id="DejaVuSans-34" d="M 2419 4116 
L 825 1625 
L 2419 1625 
L 2419 4116 
z
M 2253 4666 
L 3047 4666 
L 3047 1625 
L 3713 1625 
L 3713 1100 
L 3047 1100 
L 3047 0 
L 2419 0 
L 2419 1100 
L 313 1100 
L 313 1709 
L 2253 4666 
z
" transform="scale(0.015625)"/>
       </defs>
       <use xlink:href="#DejaVuSans-34"/>
       <use xlink:href="#DejaVuSans-30" x="63.623047"/>
      </g>
     </g>
    </g>
    <g id="xtick_6">
     <g id="line2d_6">
      <path d="M 1087.84326 640.8 
L 1087.84326 86.4 
" clip-path="url(#pdb52c281aa)" style="fill: none; stroke: #ffffff; stroke-linecap: round"/>
     </g>
     <g id="text_6">
      <!-- 50 -->
      <g style="fill: #262626" transform="translate(1077.345135 662.837422) scale(0.165 -0.165)">
       <defs>
        <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)"/>
       </defs>
       <use xlink:href="#DejaVuSans-35"/>
       <use xlink:href="#DejaVuSans-30" x="63.623047"/>
      </g>
     </g>
    </g>
    <g id="xtick_7">
     <g id="line2d_7">
      <path d="M 1262.76489 640.8 
L 1262.76489 86.4 
" clip-path="url(#pdb52c281aa)" style="fill: none; stroke: #ffffff; stroke-linecap: round"/>
     </g>
     <g id="text_7">
      <!-- 60 -->
      <g style="fill: #262626" transform="translate(1252.266765 662.837422) scale(0.165 -0.165)">
       <defs>
        <path id="DejaVuSans-36" d="M 2113 2584 
Q 1688 2584 1439 2293 
Q 1191 2003 1191 1497 
Q 1191 994 1439 701 
Q 1688 409 2113 409 
Q 2538 409 2786 701 
Q 3034 994 3034 1497 
Q 3034 2003 2786 2293 
Q 2538 2584 2113 2584 
z
M 3366 4563 
L 3366 3988 
Q 3128 4100 2886 4159 
Q 2644 4219 2406 4219 
Q 1781 4219 1451 3797 
Q 1122 3375 1075 2522 
Q 1259 2794 1537 2939 
Q 1816 3084 2150 3084 
Q 2853 3084 3261 2657 
Q 3669 2231 3669 1497 
Q 3669 778 3244 343 
Q 2819 -91 2113 -91 
Q 1303 -91 875 529 
Q 447 1150 447 2328 
Q 447 3434 972 4092 
Q 1497 4750 2381 4750 
Q 2619 4750 2861 4703 
Q 3103 4656 3366 4563 
z
" transform="scale(0.015625)"/>
       </defs>
       <use xlink:href="#DejaVuSans-36"/>
       <use xlink:href="#DejaVuSans-30" x="63.623047"/>
      </g>
     </g>
    </g>
    <g id="text_8">
     <!-- Time (s) -->
     <g style="fill: #262626" transform="translate(701.407969 683.946094) scale(0.18 -0.18)">
      <defs>
       <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-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-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-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)"/>
       <path id="DejaVuSans-20" transform="scale(0.015625)"/>
       <path id="DejaVuSans-28" d="M 1984 4856 
Q 1566 4138 1362 3434 
Q 1159 2731 1159 2009 
Q 1159 1288 1364 580 
Q 1569 -128 1984 -844 
L 1484 -844 
Q 1016 -109 783 600 
Q 550 1309 550 2009 
Q 550 2706 781 3412 
Q 1013 4119 1484 4856 
L 1984 4856 
z
" transform="scale(0.015625)"/>
       <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-29" d="M 513 4856 
L 1013 4856 
Q 1481 4119 1714 3412 
Q 1947 2706 1947 2009 
Q 1947 1309 1714 600 
Q 1481 -109 1013 -844 
L 513 -844 
Q 928 -128 1133 580 
Q 1338 1288 1338 2009 
Q 1338 2731 1133 3434 
Q 928 4138 513 4856 
z
" transform="scale(0.015625)"/>
      </defs>
      <use xlink:href="#DejaVuSans-54"/>
      <use xlink:href="#DejaVuSans-69" x="57.958984"/>
      <use xlink:href="#DejaVuSans-6d" x="85.742188"/>
      <use xlink:href="#DejaVuSans-65" x="183.154297"/>
      <use xlink:href="#DejaVuSans-20" x="244.677734"/>
      <use xlink:href="#DejaVuSans-28" x="276.464844"/>
      <use xlink:href="#DejaVuSans-73" x="315.478516"/>
      <use xlink:href="#DejaVuSans-29" x="367.578125"/>
     </g>
    </g>
   </g>
   <g id="matplotlib.axis_2">
    <g id="ytick_1">
     <g id="text_9">
      <!-- honest -->
      <g style="fill: #262626" transform="translate(167.068516 183.813164) rotate(-90) scale(0.165 -0.165)">
       <defs>
        <path id="DejaVuSans-68" 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 4863 
L 1159 4863 
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-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)"/>
        <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-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)"/>
       </defs>
       <use xlink:href="#DejaVuSans-68"/>
       <use xlink:href="#DejaVuSans-6f" x="63.378906"/>
       <use xlink:href="#DejaVuSans-6e" x="124.560547"/>
       <use xlink:href="#DejaVuSans-65" x="187.939453"/>
       <use xlink:href="#DejaVuSans-73" x="249.462891"/>
       <use xlink:href="#DejaVuSans-74" x="301.5625"/>
      </g>
     </g>
    </g>
    <g id="ytick_2">
     <g id="text_10">
      <!-- smart -->
      <g style="fill: #262626" transform="translate(167.068516 318.315234) rotate(-90) scale(0.165 -0.165)">
       <defs>
        <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-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)"/>
       </defs>
       <use xlink:href="#DejaVuSans-73"/>
       <use xlink:href="#DejaVuSans-6d" x="52.099609"/>
       <use xlink:href="#DejaVuSans-61" x="149.511719"/>
       <use xlink:href="#DejaVuSans-72" x="210.791016"/>
       <use xlink:href="#DejaVuSans-74" x="251.904297"/>
      </g>
     </g>
    </g>
    <g id="ytick_3">
     <g id="text_11">
      <!-- blind -->
      <g style="fill: #262626" transform="translate(167.068516 453.187266) rotate(-90) scale(0.165 -0.165)">
       <defs>
        <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-6c" d="M 603 4863 
L 1178 4863 
L 1178 0 
L 603 0 
L 603 4863 
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)"/>
       </defs>
       <use xlink:href="#DejaVuSans-62"/>
       <use xlink:href="#DejaVuSans-6c" x="63.476562"/>
       <use xlink:href="#DejaVuSans-69" x="91.259766"/>
       <use xlink:href="#DejaVuSans-6e" x="119.042969"/>
       <use xlink:href="#DejaVuSans-64" x="182.421875"/>
      </g>
     </g>
    </g>
    <g id="ytick_4">
     <g id="text_12">
      <!-- smart-prl -->
      <g style="fill: #262626" transform="translate(167.068516 609.412617) rotate(-90) scale(0.165 -0.165)">
       <defs>
        <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-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)"/>
       </defs>
       <use xlink:href="#DejaVuSans-73"/>
       <use xlink:href="#DejaVuSans-6d" x="52.099609"/>
       <use xlink:href="#DejaVuSans-61" x="149.511719"/>
       <use xlink:href="#DejaVuSans-72" x="210.791016"/>
       <use xlink:href="#DejaVuSans-74" x="251.904297"/>
       <use xlink:href="#DejaVuSans-2d" x="291.113281"/>
       <use xlink:href="#DejaVuSans-70" x="327.197266"/>
       <use xlink:href="#DejaVuSans-72" x="390.673828"/>
       <use xlink:href="#DejaVuSans-6c" x="431.787109"/>
      </g>
     </g>
    </g>
   </g>
   <g id="patch_3">
    <path d="M 423.141066 100.26 
L 423.141066 211.14 
L 650.539185 211.14 
L 650.539185 100.26 
L 423.141066 100.26 
z
" clip-path="url(#pdb52c281aa)" style="fill: #176d9c; stroke: #303030; stroke-width: 1.5; stroke-linejoin: miter"/>
   </g>
   <g id="patch_4">
    <path d="M 860.445141 238.86 
L 860.445141 349.74 
L 1087.84326 349.74 
L 1087.84326 238.86 
L 860.445141 238.86 
z
" clip-path="url(#pdb52c281aa)" style="fill: #c38820; stroke: #303030; stroke-width: 1.5; stroke-linejoin: miter"/>
   </g>
   <g id="patch_5">
    <path d="M 493.109718 377.46 
L 493.109718 488.34 
L 921.667712 488.34 
L 921.667712 377.46 
L 493.109718 377.46 
z
" clip-path="url(#pdb52c281aa)" style="fill: #158b6a; stroke: #303030; stroke-width: 1.5; stroke-linejoin: miter"/>
   </g>
   <g id="patch_6">
    <path d="M 440.633229 516.06 
L 440.633229 626.94 
L 615.554859 626.94 
L 615.554859 516.06 
L 440.633229 516.06 
z
" clip-path="url(#pdb52c281aa)" style="fill: #ba611b; stroke: #303030; stroke-width: 1.5; stroke-linejoin: miter"/>
   </g>
   <g id="line2d_8">
    <path d="M 423.141066 155.7 
L 230.727273 155.7 
" clip-path="url(#pdb52c281aa)" style="fill: none; stroke: #303030; stroke-width: 1.5; stroke-linecap: round"/>
   </g>
   <g id="line2d_9">
    <path d="M 650.539185 155.7 
L 877.937304 155.7 
" clip-path="url(#pdb52c281aa)" style="fill: none; stroke: #303030; stroke-width: 1.5; stroke-linecap: round"/>
   </g>
   <g id="line2d_10">
    <path d="M 230.727273 127.98 
L 230.727273 183.42 
" clip-path="url(#pdb52c281aa)" style="fill: none; stroke: #303030; stroke-width: 1.5; stroke-linecap: round"/>
   </g>
   <g id="line2d_11">
    <path d="M 877.937304 127.98 
L 877.937304 183.42 
" clip-path="url(#pdb52c281aa)" style="fill: none; stroke: #303030; stroke-width: 1.5; stroke-linecap: round"/>
   </g>
   <g id="line2d_12"/>
   <g id="line2d_13">
    <path d="M 860.445141 294.3 
L 545.586207 294.3 
" clip-path="url(#pdb52c281aa)" style="fill: none; stroke: #303030; stroke-width: 1.5; stroke-linecap: round"/>
   </g>
   <g id="line2d_14">
    <path d="M 1087.84326 294.3 
L 1245.272727 294.3 
" clip-path="url(#pdb52c281aa)" style="fill: none; stroke: #303030; stroke-width: 1.5; stroke-linecap: round"/>
   </g>
   <g id="line2d_15">
    <path d="M 545.586207 266.58 
L 545.586207 322.02 
" clip-path="url(#pdb52c281aa)" style="fill: none; stroke: #303030; stroke-width: 1.5; stroke-linecap: round"/>
   </g>
   <g id="line2d_16">
    <path d="M 1245.272727 266.58 
L 1245.272727 322.02 
" clip-path="url(#pdb52c281aa)" style="fill: none; stroke: #303030; stroke-width: 1.5; stroke-linecap: round"/>
   </g>
   <g id="line2d_17">
    <defs>
     <path id="m28dc1e99a8" d="M -0 3.535534 
L 2.12132 0 
L -0 -3.535534 
L -2.12132 -0 
z
" style="stroke: #303030; stroke-linejoin: miter"/>
    </defs>
    <g clip-path="url(#pdb52c281aa)">
     <use xlink:href="#m28dc1e99a8" x="248.219436" y="294.3" style="fill: #303030; stroke: #303030; stroke-linejoin: miter"/>
     <use xlink:href="#m28dc1e99a8" x="300.695925" y="294.3" style="fill: #303030; stroke: #303030; stroke-linejoin: miter"/>
     <use xlink:href="#m28dc1e99a8" x="493.109718" y="294.3" style="fill: #303030; stroke: #303030; stroke-linejoin: miter"/>
     <use xlink:href="#m28dc1e99a8" x="458.125392" y="294.3" style="fill: #303030; stroke: #303030; stroke-linejoin: miter"/>
    </g>
   </g>
   <g id="line2d_18">
    <path d="M 493.109718 432.9 
L 265.711599 432.9 
" clip-path="url(#pdb52c281aa)" style="fill: none; stroke: #303030; stroke-width: 1.5; stroke-linecap: round"/>
   </g>
   <g id="line2d_19">
    <path d="M 921.667712 432.9 
L 1087.84326 432.9 
" clip-path="url(#pdb52c281aa)" style="fill: none; stroke: #303030; stroke-width: 1.5; stroke-linecap: round"/>
   </g>
   <g id="line2d_20">
    <path d="M 265.711599 405.18 
L 265.711599 460.62 
" clip-path="url(#pdb52c281aa)" style="fill: none; stroke: #303030; stroke-width: 1.5; stroke-linecap: round"/>
   </g>
   <g id="line2d_21">
    <path d="M 1087.84326 405.18 
L 1087.84326 460.62 
" clip-path="url(#pdb52c281aa)" style="fill: none; stroke: #303030; stroke-width: 1.5; stroke-linecap: round"/>
   </g>
   <g id="line2d_22"/>
   <g id="line2d_23">
    <path d="M 440.633229 571.5 
L 230.727273 571.5 
" clip-path="url(#pdb52c281aa)" style="fill: none; stroke: #303030; stroke-width: 1.5; stroke-linecap: round"/>
   </g>
   <g id="line2d_24">
    <path d="M 615.554859 571.5 
L 860.445141 571.5 
" clip-path="url(#pdb52c281aa)" style="fill: none; stroke: #303030; stroke-width: 1.5; stroke-linecap: round"/>
   </g>
   <g id="line2d_25">
    <path d="M 230.727273 543.78 
L 230.727273 599.22 
" clip-path="url(#pdb52c281aa)" style="fill: none; stroke: #303030; stroke-width: 1.5; stroke-linecap: round"/>
   </g>
   <g id="line2d_26">
    <path d="M 860.445141 543.78 
L 860.445141 599.22 
" clip-path="url(#pdb52c281aa)" style="fill: none; stroke: #303030; stroke-width: 1.5; stroke-linecap: round"/>
   </g>
   <g id="line2d_27">
    <g clip-path="url(#pdb52c281aa)">
     <use xlink:href="#m28dc1e99a8" x="1070.351097" y="571.5" style="fill: #303030; stroke: #303030; stroke-linejoin: miter"/>
    </g>
   </g>
   <g id="line2d_28">
    <path d="M 213.23511 640.8 
L 213.23511 86.4 
" clip-path="url(#pdb52c281aa)" style="fill: none; stroke: #000000; stroke-width: 1.5; stroke-linecap: round"/>
   </g>
   <g id="line2d_29">
    <path d="M 738 640.8 
L 738 86.4 
" clip-path="url(#pdb52c281aa)" style="fill: none; stroke: #000000; stroke-opacity: 0.2; stroke-width: 1.5; stroke-linecap: round"/>
   </g>
   <g id="line2d_30">
    <path d="M 1262.76489 640.8 
L 1262.76489 86.4 
" clip-path="url(#pdb52c281aa)" style="fill: none; stroke: #000000; stroke-width: 1.5; stroke-linecap: round"/>
   </g>
   <g id="line2d_31">
    <path d="M 563.07837 100.26 
L 563.07837 211.14 
" clip-path="url(#pdb52c281aa)" style="fill: none; stroke: #303030; stroke-width: 1.5; stroke-linecap: round"/>
   </g>
   <g id="line2d_32">
    <path d="M 965.398119 238.86 
L 965.398119 349.74 
" clip-path="url(#pdb52c281aa)" style="fill: none; stroke: #303030; stroke-width: 1.5; stroke-linecap: round"/>
   </g>
   <g id="line2d_33">
    <path d="M 755.492163 377.46 
L 755.492163 488.34 
" clip-path="url(#pdb52c281aa)" style="fill: none; stroke: #303030; stroke-width: 1.5; stroke-linecap: round"/>
   </g>
   <g id="line2d_34">
    <path d="M 528.094044 516.06 
L 528.094044 626.94 
" clip-path="url(#pdb52c281aa)" style="fill: none; stroke: #303030; stroke-width: 1.5; stroke-linecap: round"/>
   </g>
   <g id="patch_7">
    <path d="M 180 640.8 
L 180 86.4 
" style="fill: none; stroke: #ffffff; stroke-width: 1.25; stroke-linejoin: miter; stroke-linecap: square"/>
   </g>
   <g id="patch_8">
    <path d="M 1296 640.8 
L 1296 86.4 
" style="fill: none; stroke: #ffffff; stroke-width: 1.25; stroke-linejoin: miter; stroke-linecap: square"/>
   </g>
   <g id="patch_9">
    <path d="M 180 640.8 
L 1296 640.8 
" style="fill: none; stroke: #ffffff; stroke-width: 1.25; stroke-linejoin: miter; stroke-linecap: square"/>
   </g>
   <g id="patch_10">
    <path d="M 180 86.4 
L 1296 86.4 
" style="fill: none; stroke: #ffffff; stroke-width: 1.25; stroke-linejoin: miter; stroke-linecap: square"/>
   </g>
   <g id="text_13">
    <!-- $REVOKE$ -->
    <g style="fill: #262626" transform="translate(152.012539 75.312) scale(0.18 -0.18)">
     <defs>
      <path id="DejaVuSans-Oblique-52" d="M 1613 4147 
L 1294 2491 
L 2106 2491 
Q 2584 2491 2879 2755 
Q 3175 3019 3175 3444 
Q 3175 3784 2976 3965 
Q 2778 4147 2406 4147 
L 1613 4147 
z
M 2772 2241 
Q 2972 2194 3105 2009 
Q 3238 1825 3413 1275 
L 3809 0 
L 3144 0 
L 2778 1197 
Q 2638 1659 2453 1815 
Q 2269 1972 1888 1972 
L 1191 1972 
L 806 0 
L 172 0 
L 1081 4666 
L 2503 4666 
Q 3150 4666 3495 4373 
Q 3841 4081 3841 3531 
Q 3841 3044 3547 2687 
Q 3253 2331 2772 2241 
z
" transform="scale(0.015625)"/>
      <path id="DejaVuSans-Oblique-45" d="M 1081 4666 
L 4031 4666 
L 3928 4134 
L 1606 4134 
L 1338 2753 
L 3566 2753 
L 3463 2222 
L 1234 2222 
L 909 531 
L 3284 531 
L 3181 0 
L 172 0 
L 1081 4666 
z
" transform="scale(0.015625)"/>
      <path id="DejaVuSans-Oblique-56" d="M 1319 0 
L 500 4666 
L 1119 4666 
L 1797 653 
L 4063 4666 
L 4750 4666 
L 2053 0 
L 1319 0 
z
" transform="scale(0.015625)"/>
      <path id="DejaVuSans-Oblique-4f" d="M 2919 4238 
Q 2400 4238 2003 3986 
Q 1606 3734 1313 3219 
Q 1125 2891 1026 2522 
Q 928 2153 928 1778 
Q 928 1128 1239 775 
Q 1550 422 2119 422 
Q 2631 422 3032 676 
Q 3434 931 3719 1434 
Q 3909 1772 4009 2142 
Q 4109 2513 4109 2881 
Q 4109 3528 3796 3883 
Q 3484 4238 2919 4238 
z
M 2100 -91 
Q 1241 -91 748 418 
Q 256 928 256 1813 
Q 256 2319 448 2847 
Q 641 3375 978 3788 
Q 1375 4272 1862 4511 
Q 2350 4750 2938 4750 
Q 3794 4750 4287 4245 
Q 4781 3741 4781 2869 
Q 4781 2331 4593 1812 
Q 4406 1294 4056 872 
Q 3656 384 3173 146 
Q 2691 -91 2100 -91 
z
" transform="scale(0.015625)"/>
      <path id="DejaVuSans-Oblique-4b" d="M 1081 4666 
L 1716 4666 
L 1331 2700 
L 3781 4666 
L 4622 4666 
L 1850 2438 
L 3878 0 
L 3109 0 
L 1247 2272 
L 806 0 
L 172 0 
L 1081 4666 
z
" transform="scale(0.015625)"/>
     </defs>
     <use xlink:href="#DejaVuSans-Oblique-52" transform="translate(0 0.78125)"/>
     <use xlink:href="#DejaVuSans-Oblique-45" transform="translate(69.482422 0.78125)"/>
     <use xlink:href="#DejaVuSans-Oblique-56" transform="translate(132.666016 0.78125)"/>
     <use xlink:href="#DejaVuSans-Oblique-4f" transform="translate(201.074219 0.78125)"/>
     <use xlink:href="#DejaVuSans-Oblique-4b" transform="translate(279.785156 0.78125)"/>
     <use xlink:href="#DejaVuSans-Oblique-45" transform="translate(345.361328 0.78125)"/>
    </g>
   </g>
   <g id="text_14">
    <!-- $T_{v}$ -->
    <g style="fill: #262626" transform="translate(720.507837 75.312) scale(0.18 -0.18)">
     <defs>
      <path id="DejaVuSans-Oblique-54" d="M 378 4666 
L 4325 4666 
L 4225 4134 
L 2559 4134 
L 1759 0 
L 1125 0 
L 1925 4134 
L 275 4134 
L 378 4666 
z
" transform="scale(0.015625)"/>
      <path id="DejaVuSans-Oblique-76" d="M 459 3500 
L 1069 3500 
L 1581 525 
L 3256 3500 
L 3866 3500 
L 1875 0 
L 1100 0 
L 459 3500 
z
" transform="scale(0.015625)"/>
     </defs>
     <use xlink:href="#DejaVuSans-Oblique-54" transform="translate(0 0.09375)"/>
     <use xlink:href="#DejaVuSans-Oblique-76" transform="translate(61.083984 -16.3125) scale(0.7)"/>
    </g>
   </g>
   <g id="text_15">
    <!-- $T_{eff}$ -->
    <g style="fill: #262626" transform="translate(1236.526646 75.312) scale(0.18 -0.18)">
     <defs>
      <path id="DejaVuSans-Oblique-65" d="M 3078 2063 
Q 3088 2113 3092 2166 
Q 3097 2219 3097 2272 
Q 3097 2653 2873 2875 
Q 2650 3097 2266 3097 
Q 1838 3097 1509 2826 
Q 1181 2556 1013 2059 
L 3078 2063 
z
M 3578 1613 
L 903 1613 
Q 884 1494 878 1425 
Q 872 1356 872 1306 
Q 872 872 1139 634 
Q 1406 397 1894 397 
Q 2269 397 2603 481 
Q 2938 566 3225 728 
L 3116 159 
Q 2806 34 2476 -28 
Q 2147 -91 1806 -91 
Q 1078 -91 686 257 
Q 294 606 294 1247 
Q 294 1794 489 2264 
Q 684 2734 1063 3103 
Q 1306 3334 1642 3459 
Q 1978 3584 2356 3584 
Q 2950 3584 3301 3228 
Q 3653 2872 3653 2272 
Q 3653 2128 3634 1964 
Q 3616 1800 3578 1613 
z
" transform="scale(0.015625)"/>
      <path id="DejaVuSans-Oblique-66" d="M 3059 4863 
L 2969 4384 
L 2419 4384 
Q 2106 4384 1964 4261 
Q 1822 4138 1753 3809 
L 1691 3500 
L 2638 3500 
L 2553 3053 
L 1606 3053 
L 1013 0 
L 434 0 
L 1031 3053 
L 481 3053 
L 563 3500 
L 1113 3500 
L 1159 3744 
Q 1278 4363 1576 4613 
Q 1875 4863 2516 4863 
L 3059 4863 
z
" transform="scale(0.015625)"/>
     </defs>
     <use xlink:href="#DejaVuSans-Oblique-54" transform="translate(0 0.09375)"/>
     <use xlink:href="#DejaVuSans-Oblique-65" transform="translate(61.083984 -16.3125) scale(0.7)"/>
     <use xlink:href="#DejaVuSans-Oblique-66" transform="translate(104.150391 -16.3125) scale(0.7)"/>
     <use xlink:href="#DejaVuSans-Oblique-66" transform="translate(128.793945 -16.3125) scale(0.7)"/>
    </g>
   </g>
  </g>
 </g>
 <defs>
  <clipPath id="pdb52c281aa">
   <rect x="180" y="86.4" width="1116" height="554.4"/>
  </clipPath>
 </defs>
</svg>