fuzzbench_reports/darwinfb_report/sqlite3_ossfuzz_boxplot.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="424.010625pt" height="355.83374pt" viewBox="0 0 424.010625 355.83374" 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-07-23T23:54:35.844627</dc:date>
    <dc:format>image/svg+xml</dc:format>
    <dc:creator>
     <cc:Agent>
      <dc:title>Matplotlib v3.7.1, 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 355.83374 
L 424.010625 355.83374 
L 424.010625 -0 
L 0 -0 
z
" style="fill: #ffffff"/>
  </g>
  <g id="axes_1">
   <g id="patch_2">
    <path d="M 59.690625 288.430125 
L 416.810625 288.430125 
L 416.810625 22.318125 
L 59.690625 22.318125 
z
" style="fill: #ffffff"/>
   </g>
   <g id="patch_3">
    <path d="M 66.833025 160.565704 
L 123.972225 160.565704 
L 123.972225 91.25623 
L 66.833025 91.25623 
L 66.833025 160.565704 
z
" clip-path="url(#p4dfa00a85f)" style="fill: #3274a1; stroke: #3f3f3f; stroke-width: 1.5; stroke-linejoin: miter"/>
   </g>
   <g id="patch_4">
    <path d="M 138.257025 166.21202 
L 195.396225 166.21202 
L 195.396225 125.513072 
L 138.257025 125.513072 
L 138.257025 166.21202 
z
" clip-path="url(#p4dfa00a85f)" style="fill: #9fd495; stroke: #3f3f3f; stroke-width: 1.5; stroke-linejoin: miter"/>
   </g>
   <g id="patch_5">
    <path d="M 209.681025 200.77202 
L 266.820225 200.77202 
L 266.820225 134.948862 
L 209.681025 134.948862 
L 209.681025 200.77202 
z
" clip-path="url(#p4dfa00a85f)" style="fill: #e1812c; stroke: #3f3f3f; stroke-width: 1.5; stroke-linejoin: miter"/>
   </g>
   <g id="patch_6">
    <path d="M 281.105025 186.940441 
L 338.244225 186.940441 
L 338.244225 132.826757 
L 281.105025 132.826757 
L 281.105025 186.940441 
z
" clip-path="url(#p4dfa00a85f)" style="fill: #c7c7c7; stroke: #3f3f3f; stroke-width: 1.5; stroke-linejoin: miter"/>
   </g>
   <g id="patch_7">
    <path d="M 352.529025 206.115178 
L 409.668225 206.115178 
L 409.668225 131.841493 
L 352.529025 131.841493 
L 352.529025 206.115178 
z
" clip-path="url(#p4dfa00a85f)" style="fill: #c03d3e; stroke: #3f3f3f; stroke-width: 1.5; stroke-linejoin: miter"/>
   </g>
   <g id="matplotlib.axis_1">
    <g id="xtick_1">
     <g id="line2d_1">
      <defs>
       <path id="m7c3009aff9" d="M 0 0 
L 0 3.5 
" style="stroke: #000000; stroke-width: 0.8"/>
      </defs>
      <g>
       <use xlink:href="#m7c3009aff9" x="95.402625" y="288.430125" style="stroke: #000000; stroke-width: 0.8"/>
      </g>
     </g>
     <g id="text_1">
      <!-- afl_2_52_b -->
      <g transform="translate(48.443451 328.441815) rotate(-30) scale(0.1 -0.1)">
       <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-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-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-5f" d="M 3263 -1063 
L 3263 -1509 
L -63 -1509 
L -63 -1063 
L 3263 -1063 
z
" transform="scale(0.015625)"/>
        <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)"/>
        <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-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)"/>
       </defs>
       <use xlink:href="#DejaVuSans-61"/>
       <use xlink:href="#DejaVuSans-66" x="61.279297"/>
       <use xlink:href="#DejaVuSans-6c" x="96.484375"/>
       <use xlink:href="#DejaVuSans-5f" x="124.267578"/>
       <use xlink:href="#DejaVuSans-32" x="174.267578"/>
       <use xlink:href="#DejaVuSans-5f" x="237.890625"/>
       <use xlink:href="#DejaVuSans-35" x="287.890625"/>
       <use xlink:href="#DejaVuSans-32" x="351.513672"/>
       <use xlink:href="#DejaVuSans-5f" x="415.136719"/>
       <use xlink:href="#DejaVuSans-62" x="465.136719"/>
      </g>
     </g>
    </g>
    <g id="xtick_2">
     <g id="line2d_2">
      <g>
       <use xlink:href="#m7c3009aff9" x="166.826625" y="288.430125" style="stroke: #000000; stroke-width: 0.8"/>
      </g>
     </g>
     <g id="text_2">
      <!-- afl_2_55_b -->
      <g transform="translate(119.867451 328.441815) rotate(-30) scale(0.1 -0.1)">
       <use xlink:href="#DejaVuSans-61"/>
       <use xlink:href="#DejaVuSans-66" x="61.279297"/>
       <use xlink:href="#DejaVuSans-6c" x="96.484375"/>
       <use xlink:href="#DejaVuSans-5f" x="124.267578"/>
       <use xlink:href="#DejaVuSans-32" x="174.267578"/>
       <use xlink:href="#DejaVuSans-5f" x="237.890625"/>
       <use xlink:href="#DejaVuSans-35" x="287.890625"/>
       <use xlink:href="#DejaVuSans-35" x="351.513672"/>
       <use xlink:href="#DejaVuSans-5f" x="415.136719"/>
       <use xlink:href="#DejaVuSans-62" x="465.136719"/>
      </g>
     </g>
    </g>
    <g id="xtick_3">
     <g id="line2d_3">
      <g>
       <use xlink:href="#m7c3009aff9" x="238.250625" y="288.430125" style="stroke: #000000; stroke-width: 0.8"/>
      </g>
     </g>
     <g id="text_3">
      <!-- mopt -->
      <g transform="translate(214.583161 315.074627) rotate(-30) 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-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-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-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-6d"/>
       <use xlink:href="#DejaVuSans-6f" x="97.412109"/>
       <use xlink:href="#DejaVuSans-70" x="158.59375"/>
       <use xlink:href="#DejaVuSans-74" x="222.070312"/>
      </g>
     </g>
    </g>
    <g id="xtick_4">
     <g id="line2d_4">
      <g>
       <use xlink:href="#m7c3009aff9" x="309.674625" y="288.430125" style="stroke: #000000; stroke-width: 0.8"/>
      </g>
     </g>
     <g id="text_4">
      <!-- darwin_rand -->
      <g transform="translate(254.969936 332.91369) rotate(-30) scale(0.1 -0.1)">
       <defs>
        <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-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-77" d="M 269 3500 
L 844 3500 
L 1563 769 
L 2278 3500 
L 2956 3500 
L 3675 769 
L 4391 3500 
L 4966 3500 
L 4050 0 
L 3372 0 
L 2619 2869 
L 1863 0 
L 1184 0 
L 269 3500 
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)"/>
       </defs>
       <use xlink:href="#DejaVuSans-64"/>
       <use xlink:href="#DejaVuSans-61" x="63.476562"/>
       <use xlink:href="#DejaVuSans-72" x="124.755859"/>
       <use xlink:href="#DejaVuSans-77" x="165.869141"/>
       <use xlink:href="#DejaVuSans-69" x="247.65625"/>
       <use xlink:href="#DejaVuSans-6e" x="275.439453"/>
       <use xlink:href="#DejaVuSans-5f" x="338.818359"/>
       <use xlink:href="#DejaVuSans-72" x="388.818359"/>
       <use xlink:href="#DejaVuSans-61" x="429.931641"/>
       <use xlink:href="#DejaVuSans-6e" x="491.210938"/>
       <use xlink:href="#DejaVuSans-64" x="554.589844"/>
      </g>
     </g>
    </g>
    <g id="xtick_5">
     <g id="line2d_5">
      <g>
       <use xlink:href="#m7c3009aff9" x="381.098625" y="288.430125" style="stroke: #000000; stroke-width: 0.8"/>
      </g>
     </g>
     <g id="text_5">
      <!-- darwin -->
      <g transform="translate(350.716758 318.95119) rotate(-30) scale(0.1 -0.1)">
       <use xlink:href="#DejaVuSans-64"/>
       <use xlink:href="#DejaVuSans-61" x="63.476562"/>
       <use xlink:href="#DejaVuSans-72" x="124.755859"/>
       <use xlink:href="#DejaVuSans-77" x="165.869141"/>
       <use xlink:href="#DejaVuSans-69" x="247.65625"/>
       <use xlink:href="#DejaVuSans-6e" x="275.439453"/>
      </g>
     </g>
    </g>
    <g id="text_6">
     <!-- Fuzzer (highest median coverage on the left) -->
     <g transform="translate(125.632656 346.554053) scale(0.1 -0.1)">
      <defs>
       <path id="DejaVuSans-46" d="M 628 4666 
L 3309 4666 
L 3309 4134 
L 1259 4134 
L 1259 2759 
L 3109 2759 
L 3109 2228 
L 1259 2228 
L 1259 0 
L 628 0 
L 628 4666 
z
" transform="scale(0.015625)"/>
       <path id="DejaVuSans-75" d="M 544 1381 
L 544 3500 
L 1119 3500 
L 1119 1403 
Q 1119 906 1312 657 
Q 1506 409 1894 409 
Q 2359 409 2629 706 
Q 2900 1003 2900 1516 
L 2900 3500 
L 3475 3500 
L 3475 0 
L 2900 0 
L 2900 538 
Q 2691 219 2414 64 
Q 2138 -91 1772 -91 
Q 1169 -91 856 284 
Q 544 659 544 1381 
z
M 1991 3584 
L 1991 3584 
z
" transform="scale(0.015625)"/>
       <path id="DejaVuSans-7a" d="M 353 3500 
L 3084 3500 
L 3084 2975 
L 922 459 
L 3084 459 
L 3084 0 
L 275 0 
L 275 525 
L 2438 3041 
L 353 3041 
L 353 3500 
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-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-67" d="M 2906 1791 
Q 2906 2416 2648 2759 
Q 2391 3103 1925 3103 
Q 1463 3103 1205 2759 
Q 947 2416 947 1791 
Q 947 1169 1205 825 
Q 1463 481 1925 481 
Q 2391 481 2648 825 
Q 2906 1169 2906 1791 
z
M 3481 434 
Q 3481 -459 3084 -895 
Q 2688 -1331 1869 -1331 
Q 1566 -1331 1297 -1286 
Q 1028 -1241 775 -1147 
L 775 -588 
Q 1028 -725 1275 -790 
Q 1522 -856 1778 -856 
Q 2344 -856 2625 -561 
Q 2906 -266 2906 331 
L 2906 616 
Q 2728 306 2450 153 
Q 2172 0 1784 0 
Q 1141 0 747 490 
Q 353 981 353 1791 
Q 353 2603 747 3093 
Q 1141 3584 1784 3584 
Q 2172 3584 2450 3431 
Q 2728 3278 2906 2969 
L 2906 3500 
L 3481 3500 
L 3481 434 
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-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-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-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-46"/>
      <use xlink:href="#DejaVuSans-75" x="52.019531"/>
      <use xlink:href="#DejaVuSans-7a" x="115.398438"/>
      <use xlink:href="#DejaVuSans-7a" x="167.888672"/>
      <use xlink:href="#DejaVuSans-65" x="220.378906"/>
      <use xlink:href="#DejaVuSans-72" x="281.902344"/>
      <use xlink:href="#DejaVuSans-20" x="323.015625"/>
      <use xlink:href="#DejaVuSans-28" x="354.802734"/>
      <use xlink:href="#DejaVuSans-68" x="393.816406"/>
      <use xlink:href="#DejaVuSans-69" x="457.195312"/>
      <use xlink:href="#DejaVuSans-67" x="484.978516"/>
      <use xlink:href="#DejaVuSans-68" x="548.455078"/>
      <use xlink:href="#DejaVuSans-65" x="611.833984"/>
      <use xlink:href="#DejaVuSans-73" x="673.357422"/>
      <use xlink:href="#DejaVuSans-74" x="725.457031"/>
      <use xlink:href="#DejaVuSans-20" x="764.666016"/>
      <use xlink:href="#DejaVuSans-6d" x="796.453125"/>
      <use xlink:href="#DejaVuSans-65" x="893.865234"/>
      <use xlink:href="#DejaVuSans-64" x="955.388672"/>
      <use xlink:href="#DejaVuSans-69" x="1018.865234"/>
      <use xlink:href="#DejaVuSans-61" x="1046.648438"/>
      <use xlink:href="#DejaVuSans-6e" x="1107.927734"/>
      <use xlink:href="#DejaVuSans-20" x="1171.306641"/>
      <use xlink:href="#DejaVuSans-63" x="1203.09375"/>
      <use xlink:href="#DejaVuSans-6f" x="1258.074219"/>
      <use xlink:href="#DejaVuSans-76" x="1319.255859"/>
      <use xlink:href="#DejaVuSans-65" x="1378.435547"/>
      <use xlink:href="#DejaVuSans-72" x="1439.958984"/>
      <use xlink:href="#DejaVuSans-61" x="1481.072266"/>
      <use xlink:href="#DejaVuSans-67" x="1542.351562"/>
      <use xlink:href="#DejaVuSans-65" x="1605.828125"/>
      <use xlink:href="#DejaVuSans-20" x="1667.351562"/>
      <use xlink:href="#DejaVuSans-6f" x="1699.138672"/>
      <use xlink:href="#DejaVuSans-6e" x="1760.320312"/>
      <use xlink:href="#DejaVuSans-20" x="1823.699219"/>
      <use xlink:href="#DejaVuSans-74" x="1855.486328"/>
      <use xlink:href="#DejaVuSans-68" x="1894.695312"/>
      <use xlink:href="#DejaVuSans-65" x="1958.074219"/>
      <use xlink:href="#DejaVuSans-20" x="2019.597656"/>
      <use xlink:href="#DejaVuSans-6c" x="2051.384766"/>
      <use xlink:href="#DejaVuSans-65" x="2079.167969"/>
      <use xlink:href="#DejaVuSans-66" x="2140.691406"/>
      <use xlink:href="#DejaVuSans-74" x="2174.146484"/>
      <use xlink:href="#DejaVuSans-29" x="2213.355469"/>
     </g>
    </g>
   </g>
   <g id="matplotlib.axis_2">
    <g id="ytick_1">
     <g id="line2d_6">
      <defs>
       <path id="m496920603b" d="M 0 0 
L -3.5 0 
" style="stroke: #000000; stroke-width: 0.8"/>
      </defs>
      <g>
       <use xlink:href="#m496920603b" x="59.690625" y="261.782546" style="stroke: #000000; stroke-width: 0.8"/>
      </g>
     </g>
     <g id="text_7">
      <!-- 18000 -->
      <g transform="translate(20.878125 265.581765) 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-38" d="M 2034 2216 
Q 1584 2216 1326 1975 
Q 1069 1734 1069 1313 
Q 1069 891 1326 650 
Q 1584 409 2034 409 
Q 2484 409 2743 651 
Q 3003 894 3003 1313 
Q 3003 1734 2745 1975 
Q 2488 2216 2034 2216 
z
M 1403 2484 
Q 997 2584 770 2862 
Q 544 3141 544 3541 
Q 544 4100 942 4425 
Q 1341 4750 2034 4750 
Q 2731 4750 3128 4425 
Q 3525 4100 3525 3541 
Q 3525 3141 3298 2862 
Q 3072 2584 2669 2484 
Q 3125 2378 3379 2068 
Q 3634 1759 3634 1313 
Q 3634 634 3220 271 
Q 2806 -91 2034 -91 
Q 1263 -91 848 271 
Q 434 634 434 1313 
Q 434 1759 690 2068 
Q 947 2378 1403 2484 
z
M 1172 3481 
Q 1172 3119 1398 2916 
Q 1625 2713 2034 2713 
Q 2441 2713 2670 2916 
Q 2900 3119 2900 3481 
Q 2900 3844 2670 4047 
Q 2441 4250 2034 4250 
Q 1625 4250 1398 4047 
Q 1172 3844 1172 3481 
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"/>
       <use xlink:href="#DejaVuSans-38" x="63.623047"/>
       <use xlink:href="#DejaVuSans-30" x="127.246094"/>
       <use xlink:href="#DejaVuSans-30" x="190.869141"/>
       <use xlink:href="#DejaVuSans-30" x="254.492188"/>
      </g>
     </g>
    </g>
    <g id="ytick_2">
     <g id="line2d_7">
      <g>
       <use xlink:href="#m496920603b" x="59.690625" y="231.466757" style="stroke: #000000; stroke-width: 0.8"/>
      </g>
     </g>
     <g id="text_8">
      <!-- 18200 -->
      <g transform="translate(20.878125 235.265975) scale(0.1 -0.1)">
       <use xlink:href="#DejaVuSans-31"/>
       <use xlink:href="#DejaVuSans-38" x="63.623047"/>
       <use xlink:href="#DejaVuSans-32" x="127.246094"/>
       <use xlink:href="#DejaVuSans-30" x="190.869141"/>
       <use xlink:href="#DejaVuSans-30" x="254.492188"/>
      </g>
     </g>
    </g>
    <g id="ytick_3">
     <g id="line2d_8">
      <g>
       <use xlink:href="#m496920603b" x="59.690625" y="201.150967" style="stroke: #000000; stroke-width: 0.8"/>
      </g>
     </g>
     <g id="text_9">
      <!-- 18400 -->
      <g transform="translate(20.878125 204.950186) scale(0.1 -0.1)">
       <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-31"/>
       <use xlink:href="#DejaVuSans-38" x="63.623047"/>
       <use xlink:href="#DejaVuSans-34" x="127.246094"/>
       <use xlink:href="#DejaVuSans-30" x="190.869141"/>
       <use xlink:href="#DejaVuSans-30" x="254.492188"/>
      </g>
     </g>
    </g>
    <g id="ytick_4">
     <g id="line2d_9">
      <g>
       <use xlink:href="#m496920603b" x="59.690625" y="170.835178" style="stroke: #000000; stroke-width: 0.8"/>
      </g>
     </g>
     <g id="text_10">
      <!-- 18600 -->
      <g transform="translate(20.878125 174.634396) scale(0.1 -0.1)">
       <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-31"/>
       <use xlink:href="#DejaVuSans-38" x="63.623047"/>
       <use xlink:href="#DejaVuSans-36" x="127.246094"/>
       <use xlink:href="#DejaVuSans-30" x="190.869141"/>
       <use xlink:href="#DejaVuSans-30" x="254.492188"/>
      </g>
     </g>
    </g>
    <g id="ytick_5">
     <g id="line2d_10">
      <g>
       <use xlink:href="#m496920603b" x="59.690625" y="140.519388" style="stroke: #000000; stroke-width: 0.8"/>
      </g>
     </g>
     <g id="text_11">
      <!-- 18800 -->
      <g transform="translate(20.878125 144.318607) scale(0.1 -0.1)">
       <use xlink:href="#DejaVuSans-31"/>
       <use xlink:href="#DejaVuSans-38" x="63.623047"/>
       <use xlink:href="#DejaVuSans-38" x="127.246094"/>
       <use xlink:href="#DejaVuSans-30" x="190.869141"/>
       <use xlink:href="#DejaVuSans-30" x="254.492188"/>
      </g>
     </g>
    </g>
    <g id="ytick_6">
     <g id="line2d_11">
      <g>
       <use xlink:href="#m496920603b" x="59.690625" y="110.203599" style="stroke: #000000; stroke-width: 0.8"/>
      </g>
     </g>
     <g id="text_12">
      <!-- 19000 -->
      <g transform="translate(20.878125 114.002817) 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)"/>
       </defs>
       <use xlink:href="#DejaVuSans-31"/>
       <use xlink:href="#DejaVuSans-39" x="63.623047"/>
       <use xlink:href="#DejaVuSans-30" x="127.246094"/>
       <use xlink:href="#DejaVuSans-30" x="190.869141"/>
       <use xlink:href="#DejaVuSans-30" x="254.492188"/>
      </g>
     </g>
    </g>
    <g id="ytick_7">
     <g id="line2d_12">
      <g>
       <use xlink:href="#m496920603b" x="59.690625" y="79.887809" style="stroke: #000000; stroke-width: 0.8"/>
      </g>
     </g>
     <g id="text_13">
      <!-- 19200 -->
      <g transform="translate(20.878125 83.687028) scale(0.1 -0.1)">
       <use xlink:href="#DejaVuSans-31"/>
       <use xlink:href="#DejaVuSans-39" x="63.623047"/>
       <use xlink:href="#DejaVuSans-32" x="127.246094"/>
       <use xlink:href="#DejaVuSans-30" x="190.869141"/>
       <use xlink:href="#DejaVuSans-30" x="254.492188"/>
      </g>
     </g>
    </g>
    <g id="ytick_8">
     <g id="line2d_13">
      <g>
       <use xlink:href="#m496920603b" x="59.690625" y="49.57202" style="stroke: #000000; stroke-width: 0.8"/>
      </g>
     </g>
     <g id="text_14">
      <!-- 19400 -->
      <g transform="translate(20.878125 53.371238) scale(0.1 -0.1)">
       <use xlink:href="#DejaVuSans-31"/>
       <use xlink:href="#DejaVuSans-39" x="63.623047"/>
       <use xlink:href="#DejaVuSans-34" x="127.246094"/>
       <use xlink:href="#DejaVuSans-30" x="190.869141"/>
       <use xlink:href="#DejaVuSans-30" x="254.492188"/>
      </g>
     </g>
    </g>
    <g id="text_15">
     <!-- Reached branch coverage -->
     <g transform="translate(14.798438 220.706156) rotate(-90) scale(0.1 -0.1)">
      <defs>
       <path id="DejaVuSans-52" d="M 2841 2188 
Q 3044 2119 3236 1894 
Q 3428 1669 3622 1275 
L 4263 0 
L 3584 0 
L 2988 1197 
Q 2756 1666 2539 1819 
Q 2322 1972 1947 1972 
L 1259 1972 
L 1259 0 
L 628 0 
L 628 4666 
L 2053 4666 
Q 2853 4666 3247 4331 
Q 3641 3997 3641 3322 
Q 3641 2881 3436 2590 
Q 3231 2300 2841 2188 
z
M 1259 4147 
L 1259 2491 
L 2053 2491 
Q 2509 2491 2742 2702 
Q 2975 2913 2975 3322 
Q 2975 3731 2742 3939 
Q 2509 4147 2053 4147 
L 1259 4147 
z
" transform="scale(0.015625)"/>
      </defs>
      <use xlink:href="#DejaVuSans-52"/>
      <use xlink:href="#DejaVuSans-65" x="64.982422"/>
      <use xlink:href="#DejaVuSans-61" x="126.505859"/>
      <use xlink:href="#DejaVuSans-63" x="187.785156"/>
      <use xlink:href="#DejaVuSans-68" x="242.765625"/>
      <use xlink:href="#DejaVuSans-65" x="306.144531"/>
      <use xlink:href="#DejaVuSans-64" x="367.667969"/>
      <use xlink:href="#DejaVuSans-20" x="431.144531"/>
      <use xlink:href="#DejaVuSans-62" x="462.931641"/>
      <use xlink:href="#DejaVuSans-72" x="526.408203"/>
      <use xlink:href="#DejaVuSans-61" x="567.521484"/>
      <use xlink:href="#DejaVuSans-6e" x="628.800781"/>
      <use xlink:href="#DejaVuSans-63" x="692.179688"/>
      <use xlink:href="#DejaVuSans-68" x="747.160156"/>
      <use xlink:href="#DejaVuSans-20" x="810.539062"/>
      <use xlink:href="#DejaVuSans-63" x="842.326172"/>
      <use xlink:href="#DejaVuSans-6f" x="897.306641"/>
      <use xlink:href="#DejaVuSans-76" x="958.488281"/>
      <use xlink:href="#DejaVuSans-65" x="1017.667969"/>
      <use xlink:href="#DejaVuSans-72" x="1079.191406"/>
      <use xlink:href="#DejaVuSans-61" x="1120.304688"/>
      <use xlink:href="#DejaVuSans-67" x="1181.583984"/>
      <use xlink:href="#DejaVuSans-65" x="1245.060547"/>
     </g>
    </g>
   </g>
   <g id="line2d_14">
    <path d="M 95.402625 160.565704 
L 95.402625 184.174125 
" clip-path="url(#p4dfa00a85f)" style="fill: none; stroke: #3f3f3f; stroke-width: 1.5; stroke-linecap: square"/>
   </g>
   <g id="line2d_15">
    <path d="M 95.402625 91.25623 
L 95.402625 34.414125 
" clip-path="url(#p4dfa00a85f)" style="fill: none; stroke: #3f3f3f; stroke-width: 1.5; stroke-linecap: square"/>
   </g>
   <g id="line2d_16">
    <path d="M 81.117825 184.174125 
L 109.687425 184.174125 
" clip-path="url(#p4dfa00a85f)" style="fill: none; stroke: #3f3f3f; stroke-width: 1.5; stroke-linecap: square"/>
   </g>
   <g id="line2d_17">
    <path d="M 81.117825 34.414125 
L 109.687425 34.414125 
" clip-path="url(#p4dfa00a85f)" style="fill: none; stroke: #3f3f3f; stroke-width: 1.5; stroke-linecap: square"/>
   </g>
   <g id="line2d_18"/>
   <g id="line2d_19">
    <path d="M 166.826625 166.21202 
L 166.826625 194.026757 
" clip-path="url(#p4dfa00a85f)" style="fill: none; stroke: #3f3f3f; stroke-width: 1.5; stroke-linecap: square"/>
   </g>
   <g id="line2d_20">
    <path d="M 166.826625 125.513072 
L 166.826625 97.470967 
" clip-path="url(#p4dfa00a85f)" style="fill: none; stroke: #3f3f3f; stroke-width: 1.5; stroke-linecap: square"/>
   </g>
   <g id="line2d_21">
    <path d="M 152.541825 194.026757 
L 181.111425 194.026757 
" clip-path="url(#p4dfa00a85f)" style="fill: none; stroke: #3f3f3f; stroke-width: 1.5; stroke-linecap: square"/>
   </g>
   <g id="line2d_22">
    <path d="M 152.541825 97.470967 
L 181.111425 97.470967 
" clip-path="url(#p4dfa00a85f)" style="fill: none; stroke: #3f3f3f; stroke-width: 1.5; stroke-linecap: square"/>
   </g>
   <g id="line2d_23"/>
   <g id="line2d_24">
    <path d="M 238.250625 200.77202 
L 238.250625 233.437283 
" clip-path="url(#p4dfa00a85f)" style="fill: none; stroke: #3f3f3f; stroke-width: 1.5; stroke-linecap: square"/>
   </g>
   <g id="line2d_25">
    <path d="M 238.250625 134.948862 
L 238.250625 85.344651 
" clip-path="url(#p4dfa00a85f)" style="fill: none; stroke: #3f3f3f; stroke-width: 1.5; stroke-linecap: square"/>
   </g>
   <g id="line2d_26">
    <path d="M 223.965825 233.437283 
L 252.535425 233.437283 
" clip-path="url(#p4dfa00a85f)" style="fill: none; stroke: #3f3f3f; stroke-width: 1.5; stroke-linecap: square"/>
   </g>
   <g id="line2d_27">
    <path d="M 223.965825 85.344651 
L 252.535425 85.344651 
" clip-path="url(#p4dfa00a85f)" style="fill: none; stroke: #3f3f3f; stroke-width: 1.5; stroke-linecap: square"/>
   </g>
   <g id="line2d_28"/>
   <g id="line2d_29">
    <path d="M 309.674625 186.940441 
L 309.674625 222.826757 
" clip-path="url(#p4dfa00a85f)" style="fill: none; stroke: #3f3f3f; stroke-width: 1.5; stroke-linecap: square"/>
   </g>
   <g id="line2d_30">
    <path d="M 309.674625 132.826757 
L 309.674625 84.435178 
" clip-path="url(#p4dfa00a85f)" style="fill: none; stroke: #3f3f3f; stroke-width: 1.5; stroke-linecap: square"/>
   </g>
   <g id="line2d_31">
    <path d="M 295.389825 222.826757 
L 323.959425 222.826757 
" clip-path="url(#p4dfa00a85f)" style="fill: none; stroke: #3f3f3f; stroke-width: 1.5; stroke-linecap: square"/>
   </g>
   <g id="line2d_32">
    <path d="M 295.389825 84.435178 
L 323.959425 84.435178 
" clip-path="url(#p4dfa00a85f)" style="fill: none; stroke: #3f3f3f; stroke-width: 1.5; stroke-linecap: square"/>
   </g>
   <g id="line2d_33">
    <defs>
     <path id="m15edee3728" d="M -0 3.535534 
L 2.12132 0 
L -0 -3.535534 
L -2.12132 -0 
z
" style="stroke: #3f3f3f; stroke-linejoin: miter"/>
    </defs>
    <g clip-path="url(#p4dfa00a85f)">
     <use xlink:href="#m15edee3728" x="309.674625" y="276.334125" style="fill: #3f3f3f; stroke: #3f3f3f; stroke-linejoin: miter"/>
    </g>
   </g>
   <g id="line2d_34">
    <path d="M 381.098625 206.115178 
L 381.098625 260.873072 
" clip-path="url(#p4dfa00a85f)" style="fill: none; stroke: #3f3f3f; stroke-width: 1.5; stroke-linecap: square"/>
   </g>
   <g id="line2d_35">
    <path d="M 381.098625 131.841493 
L 381.098625 89.740441 
" clip-path="url(#p4dfa00a85f)" style="fill: none; stroke: #3f3f3f; stroke-width: 1.5; stroke-linecap: square"/>
   </g>
   <g id="line2d_36">
    <path d="M 366.813825 260.873072 
L 395.383425 260.873072 
" clip-path="url(#p4dfa00a85f)" style="fill: none; stroke: #3f3f3f; stroke-width: 1.5; stroke-linecap: square"/>
   </g>
   <g id="line2d_37">
    <path d="M 366.813825 89.740441 
L 395.383425 89.740441 
" clip-path="url(#p4dfa00a85f)" style="fill: none; stroke: #3f3f3f; stroke-width: 1.5; stroke-linecap: square"/>
   </g>
   <g id="line2d_38"/>
   <g id="line2d_39">
    <path d="M 66.833025 126.725704 
L 123.972225 126.725704 
" clip-path="url(#p4dfa00a85f)" style="fill: none; stroke: #3f3f3f; stroke-width: 1.5; stroke-linecap: square"/>
   </g>
   <g id="line2d_40">
    <defs>
     <path id="m5faa42b1d7" d="M 0 -5 
L -5 5 
L 5 5 
z
" style="stroke: #000000; stroke-linejoin: miter"/>
    </defs>
    <g clip-path="url(#p4dfa00a85f)">
     <use xlink:href="#m5faa42b1d7" x="95.402625" y="119.995599" style="fill: #ffffff; stroke: #000000; stroke-linejoin: miter"/>
    </g>
   </g>
   <g id="line2d_41">
    <path d="M 138.257025 148.85623 
L 195.396225 148.85623 
" clip-path="url(#p4dfa00a85f)" style="fill: none; stroke: #3f3f3f; stroke-width: 1.5; stroke-linecap: square"/>
   </g>
   <g id="line2d_42">
    <g clip-path="url(#p4dfa00a85f)">
     <use xlink:href="#m5faa42b1d7" x="166.826625" y="144.687809" style="fill: #ffffff; stroke: #000000; stroke-linejoin: miter"/>
    </g>
   </g>
   <g id="line2d_43">
    <path d="M 209.681025 162.422546 
L 266.820225 162.422546 
" clip-path="url(#p4dfa00a85f)" style="fill: none; stroke: #3f3f3f; stroke-width: 1.5; stroke-linecap: square"/>
   </g>
   <g id="line2d_44">
    <g clip-path="url(#p4dfa00a85f)">
     <use xlink:href="#m5faa42b1d7" x="238.250625" y="160.467178" style="fill: #ffffff; stroke: #000000; stroke-linejoin: miter"/>
    </g>
   </g>
   <g id="line2d_45">
    <path d="M 281.105025 167.65202 
L 338.244225 167.65202 
" clip-path="url(#p4dfa00a85f)" style="fill: none; stroke: #3f3f3f; stroke-width: 1.5; stroke-linecap: square"/>
   </g>
   <g id="line2d_46">
    <g clip-path="url(#p4dfa00a85f)">
     <use xlink:href="#m5faa42b1d7" x="309.674625" y="168.000651" style="fill: #ffffff; stroke: #000000; stroke-linejoin: miter"/>
    </g>
   </g>
   <g id="line2d_47">
    <path d="M 352.529025 197.89202 
L 409.668225 197.89202 
" clip-path="url(#p4dfa00a85f)" style="fill: none; stroke: #3f3f3f; stroke-width: 1.5; stroke-linecap: square"/>
   </g>
   <g id="line2d_48">
    <g clip-path="url(#p4dfa00a85f)">
     <use xlink:href="#m5faa42b1d7" x="381.098625" y="176.428441" style="fill: #ffffff; stroke: #000000; stroke-linejoin: miter"/>
    </g>
   </g>
   <g id="patch_8">
    <path d="M 59.690625 261.782546 
L 59.690625 49.57202 
" style="fill: none; stroke: #000000; stroke-width: 0.8; stroke-linejoin: miter; stroke-linecap: square"/>
   </g>
   <g id="patch_9">
    <path d="M 95.402625 288.430125 
L 381.098625 288.430125 
" style="fill: none; stroke: #000000; stroke-width: 0.8; stroke-linejoin: miter; stroke-linecap: square"/>
   </g>
   <g id="PathCollection_1">
    <defs>
     <path id="mc7ee9c0580" d="M 0 1.5 
C 0.397805 1.5 0.77937 1.341951 1.06066 1.06066 
C 1.341951 0.77937 1.5 0.397805 1.5 0 
C 1.5 -0.397805 1.341951 -0.77937 1.06066 -1.06066 
C 0.77937 -1.341951 0.397805 -1.5 0 -1.5 
C -0.397805 -1.5 -0.77937 -1.341951 -1.06066 -1.06066 
C -1.341951 -0.77937 -1.5 -0.397805 -1.5 0 
C -1.5 0.397805 -1.341951 0.77937 -1.06066 1.06066 
C -0.77937 1.341951 -0.397805 1.5 0 1.5 
z
"/>
    </defs>
    <g clip-path="url(#p4dfa00a85f)">
     <use xlink:href="#mc7ee9c0580" x="95.906501" y="184.174125" style="fill-opacity: 0.6"/>
     <use xlink:href="#mc7ee9c0580" x="93.135436" y="63.365704" style="fill-opacity: 0.6"/>
     <use xlink:href="#mc7ee9c0580" x="102.357409" y="91.710967" style="fill-opacity: 0.6"/>
     <use xlink:href="#mc7ee9c0580" x="92.47448" y="91.104651" style="fill-opacity: 0.6"/>
     <use xlink:href="#mc7ee9c0580" x="92.896951" y="103.837283" style="fill-opacity: 0.6"/>
     <use xlink:href="#mc7ee9c0580" x="90.416942" y="165.075178" style="fill-opacity: 0.6"/>
     <use xlink:href="#mc7ee9c0580" x="94.097787" y="162.801493" style="fill-opacity: 0.6"/>
     <use xlink:href="#mc7ee9c0580" x="94.307727" y="34.414125" style="fill-opacity: 0.6"/>
     <use xlink:href="#mc7ee9c0580" x="97.851916" y="149.614125" style="fill-opacity: 0.6"/>
     <use xlink:href="#mc7ee9c0580" x="97.295976" y="153.858336" style="fill-opacity: 0.6"/>
    </g>
   </g>
   <g id="PathCollection_2">
    <g clip-path="url(#p4dfa00a85f)">
     <use xlink:href="#mc7ee9c0580" x="168.8442" y="124.45202" style="fill-opacity: 0.6"/>
     <use xlink:href="#mc7ee9c0580" x="171.087497" y="164.165704" style="fill-opacity: 0.6"/>
     <use xlink:href="#mc7ee9c0580" x="164.00898" y="148.85623" style="fill-opacity: 0.6"/>
     <use xlink:href="#mc7ee9c0580" x="159.997382" y="97.470967" style="fill-opacity: 0.6"/>
     <use xlink:href="#mc7ee9c0580" x="166.014502" y="166.894125" style="fill-opacity: 0.6"/>
     <use xlink:href="#mc7ee9c0580" x="161.672782" y="168.258336" style="fill-opacity: 0.6"/>
     <use xlink:href="#mc7ee9c0580" x="171.779791" y="194.026757" style="fill-opacity: 0.6"/>
     <use xlink:href="#mc7ee9c0580" x="172.41738" y="105.201493" style="fill-opacity: 0.6"/>
     <use xlink:href="#mc7ee9c0580" x="167.264251" y="148.85623" style="fill-opacity: 0.6"/>
     <use xlink:href="#mc7ee9c0580" x="163.299825" y="128.69623" style="fill-opacity: 0.6"/>
    </g>
   </g>
   <g id="PathCollection_3">
    <g clip-path="url(#p4dfa00a85f)">
     <use xlink:href="#mc7ee9c0580" x="244.636523" y="136.881493" style="fill-opacity: 0.6"/>
     <use xlink:href="#mc7ee9c0580" x="243.947117" y="162.346757" style="fill-opacity: 0.6"/>
     <use xlink:href="#mc7ee9c0580" x="242.281118" y="162.498336" style="fill-opacity: 0.6"/>
     <use xlink:href="#mc7ee9c0580" x="238.188737" y="208.123599" style="fill-opacity: 0.6"/>
     <use xlink:href="#mc7ee9c0580" x="231.881618" y="85.344651" style="fill-opacity: 0.6"/>
     <use xlink:href="#mc7ee9c0580" x="238.076067" y="233.437283" style="fill-opacity: 0.6"/>
     <use xlink:href="#mc7ee9c0580" x="232.143473" y="209.790967" style="fill-opacity: 0.6"/>
     <use xlink:href="#mc7ee9c0580" x="240.708587" y="93.226757" style="fill-opacity: 0.6"/>
     <use xlink:href="#mc7ee9c0580" x="235.35659" y="134.304651" style="fill-opacity: 0.6"/>
     <use xlink:href="#mc7ee9c0580" x="244.869089" y="178.717283" style="fill-opacity: 0.6"/>
    </g>
   </g>
   <g id="PathCollection_4">
    <g clip-path="url(#p4dfa00a85f)">
     <use xlink:href="#mc7ee9c0580" x="308.635781" y="222.826757" style="fill-opacity: 0.6"/>
     <use xlink:href="#mc7ee9c0580" x="314.629605" y="189.327809" style="fill-opacity: 0.6"/>
     <use xlink:href="#mc7ee9c0580" x="307.867675" y="130.363599" style="fill-opacity: 0.6"/>
     <use xlink:href="#mc7ee9c0580" x="308.798027" y="276.334125" style="fill-opacity: 0.6"/>
     <use xlink:href="#mc7ee9c0580" x="303.240654" y="179.778336" style="fill-opacity: 0.6"/>
     <use xlink:href="#mc7ee9c0580" x="311.237928" y="84.435178" style="fill-opacity: 0.6"/>
     <use xlink:href="#mc7ee9c0580" x="316.159447" y="177.201493" style="fill-opacity: 0.6"/>
     <use xlink:href="#mc7ee9c0580" x="305.478822" y="140.21623" style="fill-opacity: 0.6"/>
     <use xlink:href="#mc7ee9c0580" x="308.541927" y="121.420441" style="fill-opacity: 0.6"/>
     <use xlink:href="#mc7ee9c0580" x="309.610659" y="158.102546" style="fill-opacity: 0.6"/>
    </g>
   </g>
   <g id="PathCollection_5">
    <g clip-path="url(#p4dfa00a85f)">
     <use xlink:href="#mc7ee9c0580" x="380.888961" y="89.740441" style="fill-opacity: 0.6"/>
     <use xlink:href="#mc7ee9c0580" x="382.027575" y="206.607809" style="fill-opacity: 0.6"/>
     <use xlink:href="#mc7ee9c0580" x="379.174218" y="116.418336" style="fill-opacity: 0.6"/>
     <use xlink:href="#mc7ee9c0580" x="377.41905" y="212.670967" style="fill-opacity: 0.6"/>
     <use xlink:href="#mc7ee9c0580" x="376.658261" y="99.441493" style="fill-opacity: 0.6"/>
     <use xlink:href="#mc7ee9c0580" x="379.857395" y="204.637283" style="fill-opacity: 0.6"/>
     <use xlink:href="#mc7ee9c0580" x="377.379339" y="200.69623" style="fill-opacity: 0.6"/>
     <use xlink:href="#mc7ee9c0580" x="382.606103" y="195.087809" style="fill-opacity: 0.6"/>
     <use xlink:href="#mc7ee9c0580" x="388.116503" y="260.873072" style="fill-opacity: 0.6"/>
     <use xlink:href="#mc7ee9c0580" x="376.950821" y="178.110967" style="fill-opacity: 0.6"/>
    </g>
   </g>
   <g id="text_16">
    <!-- sqlite3_ossfuzz (24h, at least 10 trials/fuzzer) -->
    <g transform="translate(101.899688 16.318125) scale(0.12 -0.12)">
     <defs>
      <path id="DejaVuSans-71" d="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
M 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 
L 2906 3500 
L 3481 3500 
L 3481 -1331 
L 2906 -1331 
L 2906 525 
z
" transform="scale(0.015625)"/>
      <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)"/>
      <path id="DejaVuSans-2c" d="M 750 794 
L 1409 794 
L 1409 256 
L 897 -744 
L 494 -744 
L 750 256 
L 750 794 
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)"/>
     </defs>
     <use xlink:href="#DejaVuSans-73"/>
     <use xlink:href="#DejaVuSans-71" x="52.099609"/>
     <use xlink:href="#DejaVuSans-6c" x="115.576172"/>
     <use xlink:href="#DejaVuSans-69" x="143.359375"/>
     <use xlink:href="#DejaVuSans-74" x="171.142578"/>
     <use xlink:href="#DejaVuSans-65" x="210.351562"/>
     <use xlink:href="#DejaVuSans-33" x="271.875"/>
     <use xlink:href="#DejaVuSans-5f" x="335.498047"/>
     <use xlink:href="#DejaVuSans-6f" x="385.498047"/>
     <use xlink:href="#DejaVuSans-73" x="446.679688"/>
     <use xlink:href="#DejaVuSans-73" x="498.779297"/>
     <use xlink:href="#DejaVuSans-66" x="550.878906"/>
     <use xlink:href="#DejaVuSans-75" x="586.083984"/>
     <use xlink:href="#DejaVuSans-7a" x="649.462891"/>
     <use xlink:href="#DejaVuSans-7a" x="701.953125"/>
     <use xlink:href="#DejaVuSans-20" x="754.443359"/>
     <use xlink:href="#DejaVuSans-28" x="786.230469"/>
     <use xlink:href="#DejaVuSans-32" x="825.244141"/>
     <use xlink:href="#DejaVuSans-34" x="888.867188"/>
     <use xlink:href="#DejaVuSans-68" x="952.490234"/>
     <use xlink:href="#DejaVuSans-2c" x="1015.869141"/>
     <use xlink:href="#DejaVuSans-20" x="1047.65625"/>
     <use xlink:href="#DejaVuSans-61" x="1079.443359"/>
     <use xlink:href="#DejaVuSans-74" x="1140.722656"/>
     <use xlink:href="#DejaVuSans-20" x="1179.931641"/>
     <use xlink:href="#DejaVuSans-6c" x="1211.71875"/>
     <use xlink:href="#DejaVuSans-65" x="1239.501953"/>
     <use xlink:href="#DejaVuSans-61" x="1301.025391"/>
     <use xlink:href="#DejaVuSans-73" x="1362.304688"/>
     <use xlink:href="#DejaVuSans-74" x="1414.404297"/>
     <use xlink:href="#DejaVuSans-20" x="1453.613281"/>
     <use xlink:href="#DejaVuSans-31" x="1485.400391"/>
     <use xlink:href="#DejaVuSans-30" x="1549.023438"/>
     <use xlink:href="#DejaVuSans-20" x="1612.646484"/>
     <use xlink:href="#DejaVuSans-74" x="1644.433594"/>
     <use xlink:href="#DejaVuSans-72" x="1683.642578"/>
     <use xlink:href="#DejaVuSans-69" x="1724.755859"/>
     <use xlink:href="#DejaVuSans-61" x="1752.539062"/>
     <use xlink:href="#DejaVuSans-6c" x="1813.818359"/>
     <use xlink:href="#DejaVuSans-73" x="1841.601562"/>
     <use xlink:href="#DejaVuSans-2f" x="1893.701172"/>
     <use xlink:href="#DejaVuSans-66" x="1927.392578"/>
     <use xlink:href="#DejaVuSans-75" x="1962.597656"/>
     <use xlink:href="#DejaVuSans-7a" x="2025.976562"/>
     <use xlink:href="#DejaVuSans-7a" x="2078.466797"/>
     <use xlink:href="#DejaVuSans-65" x="2130.957031"/>
     <use xlink:href="#DejaVuSans-72" x="2192.480469"/>
     <use xlink:href="#DejaVuSans-29" x="2233.59375"/>
    </g>
   </g>
  </g>
 </g>
 <defs>
  <clipPath id="p4dfa00a85f">
   <rect x="59.690625" y="22.318125" width="357.12" height="266.112"/>
  </clipPath>
 </defs>
</svg>