diff --git a/assets/benchmarks.svg b/assets/benchmarks.svg
index 727e6dec1..67755bee9 100644
--- a/assets/benchmarks.svg
+++ b/assets/benchmarks.svg
@@ -6,7 +6,7 @@
   <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-01T21:35:22.478112</dc:date>
+    <dc:date>2023-07-02T07:10:59.054756</dc:date>
     <dc:format>image/svg+xml</dc:format>
     <dc:creator>
      <cc:Agent>
@@ -41,12 +41,12 @@ z
     <g id="xtick_1">
      <g id="line2d_1">
       <defs>
-       <path id="ma04b301a54" d="M 0 0 
+       <path id="mfa9d754364" d="M 0 0 
 L 0 3.5 
 " style="stroke: #000000; stroke-width: 0.8"/>
       </defs>
       <g>
-       <use xlink:href="#ma04b301a54" x="202.939517" y="501.032" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#mfa9d754364" x="202.939517" y="501.032" style="stroke: #000000; stroke-width: 0.8"/>
       </g>
      </g>
      <g id="text_1">
@@ -363,7 +363,7 @@ z
     <g id="xtick_2">
      <g id="line2d_2">
       <g>
-       <use xlink:href="#ma04b301a54" x="340.451759" y="501.032" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#mfa9d754364" x="340.451759" y="501.032" style="stroke: #000000; stroke-width: 0.8"/>
       </g>
      </g>
      <g id="text_2">
@@ -428,7 +428,7 @@ z
     <g id="xtick_3">
      <g id="line2d_3">
       <g>
-       <use xlink:href="#ma04b301a54" x="477.964" y="501.032" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#mfa9d754364" x="477.964" y="501.032" style="stroke: #000000; stroke-width: 0.8"/>
       </g>
      </g>
      <g id="text_3">
@@ -482,7 +482,7 @@ z
     <g id="xtick_4">
      <g id="line2d_4">
       <g>
-       <use xlink:href="#ma04b301a54" x="615.476241" y="501.032" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#mfa9d754364" x="615.476241" y="501.032" style="stroke: #000000; stroke-width: 0.8"/>
       </g>
      </g>
      <g id="text_4">
@@ -525,7 +525,7 @@ z
     <g id="xtick_5">
      <g id="line2d_5">
       <g>
-       <use xlink:href="#ma04b301a54" x="752.988483" y="501.032" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#mfa9d754364" x="752.988483" y="501.032" style="stroke: #000000; stroke-width: 0.8"/>
       </g>
      </g>
      <g id="text_5">
@@ -550,16 +550,16 @@ z
      <g id="line2d_6">
       <path d="M 115.688 501.032 
 L 840.24 501.032 
-" clip-path="url(#p0abf25620c)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/>
+" clip-path="url(#pffcb478e27)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/>
      </g>
      <g id="line2d_7">
       <defs>
-       <path id="m021d944f66" d="M 0 0 
+       <path id="md59bea96bb" d="M 0 0 
 L -3.5 0 
 " style="stroke: #000000; stroke-width: 0.8"/>
       </defs>
       <g>
-       <use xlink:href="#m021d944f66" x="115.688" y="501.032" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#md59bea96bb" x="115.688" y="501.032" style="stroke: #000000; stroke-width: 0.8"/>
       </g>
      </g>
      <g id="text_6">
@@ -573,11 +573,11 @@ L -3.5 0
      <g id="line2d_8">
       <path d="M 115.688 410.6656 
 L 840.24 410.6656 
-" clip-path="url(#p0abf25620c)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/>
+" clip-path="url(#pffcb478e27)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/>
      </g>
      <g id="line2d_9">
       <g>
-       <use xlink:href="#m021d944f66" x="115.688" y="410.6656" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#md59bea96bb" x="115.688" y="410.6656" style="stroke: #000000; stroke-width: 0.8"/>
       </g>
      </g>
      <g id="text_7">
@@ -619,11 +619,11 @@ z
      <g id="line2d_10">
       <path d="M 115.688 320.2992 
 L 840.24 320.2992 
-" clip-path="url(#p0abf25620c)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/>
+" clip-path="url(#pffcb478e27)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/>
      </g>
      <g id="line2d_11">
       <g>
-       <use xlink:href="#m021d944f66" x="115.688" y="320.2992" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#md59bea96bb" x="115.688" y="320.2992" style="stroke: #000000; stroke-width: 0.8"/>
       </g>
      </g>
      <g id="text_8">
@@ -638,11 +638,11 @@ L 840.24 320.2992
      <g id="line2d_12">
       <path d="M 115.688 229.9328 
 L 840.24 229.9328 
-" clip-path="url(#p0abf25620c)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/>
+" clip-path="url(#pffcb478e27)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/>
      </g>
      <g id="line2d_13">
       <g>
-       <use xlink:href="#m021d944f66" x="115.688" y="229.9328" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#md59bea96bb" x="115.688" y="229.9328" style="stroke: #000000; stroke-width: 0.8"/>
       </g>
      </g>
      <g id="text_9">
@@ -657,11 +657,11 @@ L 840.24 229.9328
      <g id="line2d_14">
       <path d="M 115.688 139.5664 
 L 840.24 139.5664 
-" clip-path="url(#p0abf25620c)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/>
+" clip-path="url(#pffcb478e27)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/>
      </g>
      <g id="line2d_15">
       <g>
-       <use xlink:href="#m021d944f66" x="115.688" y="139.5664" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#md59bea96bb" x="115.688" y="139.5664" style="stroke: #000000; stroke-width: 0.8"/>
       </g>
      </g>
      <g id="text_10">
@@ -717,11 +717,11 @@ z
      <g id="line2d_16">
       <path d="M 115.688 49.2 
 L 840.24 49.2 
-" clip-path="url(#p0abf25620c)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/>
+" clip-path="url(#pffcb478e27)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/>
      </g>
      <g id="line2d_17">
       <g>
-       <use xlink:href="#m021d944f66" x="115.688" y="49.2" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#md59bea96bb" x="115.688" y="49.2" style="stroke: #000000; stroke-width: 0.8"/>
       </g>
      </g>
      <g id="text_11">
@@ -1072,7 +1072,7 @@ L 174.749508 501.032
 L 174.749508 365.142677 
 L 148.622182 365.142677 
 z
-" clip-path="url(#p0abf25620c)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#pffcb478e27)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_4">
     <path d="M 286.134423 501.032 
@@ -1080,7 +1080,7 @@ L 312.261749 501.032
 L 312.261749 419.498406 
 L 286.134423 419.498406 
 z
-" clip-path="url(#p0abf25620c)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#pffcb478e27)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_5">
     <path d="M 423.646665 501.032 
@@ -1088,7 +1088,7 @@ L 449.773991 501.032
 L 449.773991 412.70394 
 L 423.646665 412.70394 
 z
-" clip-path="url(#p0abf25620c)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#pffcb478e27)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_6">
     <path d="M 561.158906 501.032 
@@ -1096,7 +1096,7 @@ L 587.286232 501.032
 L 587.286232 191.883789 
 L 561.158906 191.883789 
 z
-" clip-path="url(#p0abf25620c)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#pffcb478e27)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_7">
     <path d="M 698.671147 501.032 
@@ -1104,12 +1104,12 @@ L 724.798473 501.032
 L 724.798473 208.869955 
 L 698.671147 208.869955 
 z
-" clip-path="url(#p0abf25620c)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#pffcb478e27)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_8">
     <path d="M 0 0 
 z
-" clip-path="url(#p0abf25620c)" style="fill: url(#h4e311b752c); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#pffcb478e27)" style="fill: url(#h6cbd73e027); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_9">
     <path d="M 313.636872 501.032 
@@ -1117,7 +1117,7 @@ L 339.764197 501.032
 L 339.764197 293.800782 
 L 313.636872 293.800782 
 z
-" clip-path="url(#p0abf25620c)" style="fill: url(#h4e311b752c); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#pffcb478e27)" style="fill: url(#h6cbd73e027); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_10">
     <path d="M 451.149113 501.032 
@@ -1125,12 +1125,12 @@ L 477.276439 501.032
 L 477.276439 303.992481 
 L 451.149113 303.992481 
 z
-" clip-path="url(#p0abf25620c)" style="fill: url(#h4e311b752c); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#pffcb478e27)" style="fill: url(#h6cbd73e027); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_11">
     <path d="M 0 0 
 z
-" clip-path="url(#p0abf25620c)" style="fill: url(#h4e311b752c); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#pffcb478e27)" style="fill: url(#h6cbd73e027); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_12">
     <path d="M 726.173596 501.032 
@@ -1138,7 +1138,7 @@ L 752.300922 501.032
 L 752.300922 232.650586 
 L 726.173596 232.650586 
 z
-" clip-path="url(#p0abf25620c)" style="fill: url(#h4e311b752c); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#pffcb478e27)" style="fill: url(#h6cbd73e027); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_13">
     <path d="M 203.627078 501.032 
@@ -1146,15 +1146,15 @@ L 229.754404 501.032
 L 229.754404 256.431218 
 L 203.627078 256.431218 
 z
-" clip-path="url(#p0abf25620c)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#pffcb478e27)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_14">
     <path d="M 341.13932 501.032 
 L 367.266646 501.032 
-L 367.266646 270.02015 
-L 341.13932 270.02015 
+L 367.266646 261.892468 
+L 341.13932 261.892468 
 z
-" clip-path="url(#p0abf25620c)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#pffcb478e27)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_15">
     <path d="M 478.651561 501.032 
@@ -1162,7 +1162,7 @@ L 504.778887 501.032
 L 504.778887 256.431218 
 L 478.651561 256.431218 
 z
-" clip-path="url(#p0abf25620c)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#pffcb478e27)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_16">
     <path d="M 616.163803 501.032 
@@ -1170,7 +1170,7 @@ L 642.291128 501.032
 L 642.291128 191.883789 
 L 616.163803 191.883789 
 z
-" clip-path="url(#p0abf25620c)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#pffcb478e27)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_17">
     <path d="M 753.676044 501.032 
@@ -1178,12 +1178,12 @@ L 779.80337 501.032
 L 779.80337 195.281023 
 L 753.676044 195.281023 
 z
-" clip-path="url(#p0abf25620c)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#pffcb478e27)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_18">
     <path d="M 0 0 
 z
-" clip-path="url(#p0abf25620c)" style="fill: url(#h7697804adc); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#pffcb478e27)" style="fill: url(#hc098096cb6); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_19">
     <path d="M 368.641768 501.032 
@@ -1191,7 +1191,7 @@ L 394.769094 501.032
 L 394.769094 310.786947 
 L 368.641768 310.786947 
 z
-" clip-path="url(#p0abf25620c)" style="fill: url(#h7697804adc); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#pffcb478e27)" style="fill: url(#hc098096cb6); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_20">
     <path d="M 506.154009 501.032 
@@ -1199,12 +1199,12 @@ L 532.281335 501.032
 L 532.281335 316.191636 
 L 506.154009 316.191636 
 z
-" clip-path="url(#p0abf25620c)" style="fill: url(#h7697804adc); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#pffcb478e27)" style="fill: url(#hc098096cb6); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_21">
     <path d="M 0 0 
 z
-" clip-path="url(#p0abf25620c)" style="fill: url(#h7697804adc); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#pffcb478e27)" style="fill: url(#hc098096cb6); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_22">
     <path d="M 781.178492 501.032 
@@ -1212,7 +1212,7 @@ L 807.305818 501.032
 L 807.305818 239.445053 
 L 781.178492 239.445053 
 z
-" clip-path="url(#p0abf25620c)" style="fill: url(#h7697804adc); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#pffcb478e27)" style="fill: url(#hc098096cb6); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_23">
     <path d="M 115.688 501.032 
@@ -1388,10 +1388,10 @@ z
     </g>
    </g>
    <g id="text_22">
-    <!-- 51% -->
-    <g transform="translate(340.193139 259.102025) scale(0.14 -0.14)">
+    <!-- 53% -->
+    <g transform="translate(340.193139 250.974343) scale(0.14 -0.14)">
      <use xlink:href="#Helvetica-35"/>
-     <use xlink:href="#Helvetica-31" x="55.615234"/>
+     <use xlink:href="#Helvetica-33" x="55.615234"/>
      <use xlink:href="#Helvetica-25" x="111.230469"/>
     </g>
    </g>
@@ -1449,7 +1449,7 @@ L 174.749508 501.032
 L 174.749508 439.881805 
 L 148.622182 439.881805 
 z
-" clip-path="url(#p0abf25620c)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#pffcb478e27)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_28">
     <path d="M 286.134423 501.032 
@@ -1457,7 +1457,7 @@ L 312.261749 501.032
 L 312.261749 426.292872 
 L 286.134423 426.292872 
 z
-" clip-path="url(#p0abf25620c)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#pffcb478e27)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_29">
     <path d="M 423.646665 501.032 
@@ -1465,7 +1465,7 @@ L 449.773991 501.032
 L 449.773991 419.498406 
 L 423.646665 419.498406 
 z
-" clip-path="url(#p0abf25620c)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#pffcb478e27)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_30">
     <path d="M 561.158906 501.032 
@@ -1473,7 +1473,7 @@ L 587.286232 501.032
 L 587.286232 270.02015 
 L 561.158906 270.02015 
 z
-" clip-path="url(#p0abf25620c)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#pffcb478e27)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_31">
     <path d="M 698.671147 501.032 
@@ -1481,12 +1481,12 @@ L 724.798473 501.032
 L 724.798473 273.417383 
 L 698.671147 273.417383 
 z
-" clip-path="url(#p0abf25620c)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#pffcb478e27)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_32">
     <path d="M 0 0 
 z
-" clip-path="url(#p0abf25620c)" style="fill: url(#h4e311b752c); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#pffcb478e27)" style="fill: url(#h6cbd73e027); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_33">
     <path d="M 313.636872 501.032 
@@ -1494,7 +1494,7 @@ L 339.764197 501.032
 L 339.764197 361.745444 
 L 313.636872 361.745444 
 z
-" clip-path="url(#p0abf25620c)" style="fill: url(#h4e311b752c); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#pffcb478e27)" style="fill: url(#h6cbd73e027); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_34">
     <path d="M 451.149113 501.032 
@@ -1502,12 +1502,12 @@ L 477.276439 501.032
 L 477.276439 368.53991 
 L 451.149113 368.53991 
 z
-" clip-path="url(#p0abf25620c)" style="fill: url(#h4e311b752c); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#pffcb478e27)" style="fill: url(#h6cbd73e027); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_35">
     <path d="M 0 0 
 z
-" clip-path="url(#p0abf25620c)" style="fill: url(#h4e311b752c); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#pffcb478e27)" style="fill: url(#h6cbd73e027); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_36">
     <path d="M 726.173596 501.032 
@@ -1515,7 +1515,7 @@ L 752.300922 501.032
 L 752.300922 307.389714 
 L 726.173596 307.389714 
 z
-" clip-path="url(#p0abf25620c)" style="fill: url(#h4e311b752c); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#pffcb478e27)" style="fill: url(#h6cbd73e027); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_37">
     <path d="M 203.627078 501.032 
@@ -1523,7 +1523,7 @@ L 229.754404 501.032
 L 229.754404 293.800782 
 L 203.627078 293.800782 
 z
-" clip-path="url(#p0abf25620c)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#pffcb478e27)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_38">
     <path d="M 341.13932 501.032 
@@ -1531,7 +1531,7 @@ L 367.266646 501.032
 L 367.266646 324.37588 
 L 341.13932 324.37588 
 z
-" clip-path="url(#p0abf25620c)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#pffcb478e27)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_39">
     <path d="M 478.651561 501.032 
@@ -1539,7 +1539,7 @@ L 504.778887 501.032
 L 504.778887 320.978647 
 L 478.651561 320.978647 
 z
-" clip-path="url(#p0abf25620c)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#pffcb478e27)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_40">
     <path d="M 616.163803 501.032 
@@ -1547,7 +1547,7 @@ L 642.291128 501.032
 L 642.291128 263.225684 
 L 616.163803 263.225684 
 z
-" clip-path="url(#p0abf25620c)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#pffcb478e27)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_41">
     <path d="M 753.676044 501.032 
@@ -1555,12 +1555,12 @@ L 779.80337 501.032
 L 779.80337 246.239519 
 L 753.676044 246.239519 
 z
-" clip-path="url(#p0abf25620c)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#pffcb478e27)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_42">
     <path d="M 0 0 
 z
-" clip-path="url(#p0abf25620c)" style="fill: url(#h7697804adc); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#pffcb478e27)" style="fill: url(#hc098096cb6); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_43">
     <path d="M 368.641768 501.032 
@@ -1568,7 +1568,7 @@ L 394.769094 501.032
 L 394.769094 334.567579 
 L 368.641768 334.567579 
 z
-" clip-path="url(#p0abf25620c)" style="fill: url(#h7697804adc); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#pffcb478e27)" style="fill: url(#hc098096cb6); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_44">
     <path d="M 506.154009 501.032 
@@ -1576,12 +1576,12 @@ L 532.281335 501.032
 L 532.281335 346.998364 
 L 506.154009 346.998364 
 z
-" clip-path="url(#p0abf25620c)" style="fill: url(#h7697804adc); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#pffcb478e27)" style="fill: url(#hc098096cb6); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_45">
     <path d="M 0 0 
 z
-" clip-path="url(#p0abf25620c)" style="fill: url(#h7697804adc); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#pffcb478e27)" style="fill: url(#hc098096cb6); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_46">
     <path d="M 781.178492 501.032 
@@ -1589,7 +1589,7 @@ L 807.305818 501.032
 L 807.305818 361.745444 
 L 781.178492 361.745444 
 z
-" clip-path="url(#p0abf25620c)" style="fill: url(#h7697804adc); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#pffcb478e27)" style="fill: url(#hc098096cb6); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_47">
     <path d="M 500.63324 143.202483 
@@ -1932,6 +1932,26 @@ z
      <use xlink:href="#Helvetica-67" x="750.341797"/>
     </g>
    </g>
+   <g id="LineCollection_1">
+    <path d="M 354.202983 270.02015 
+L 354.202983 256.431218 
+" clip-path="url(#pffcb478e27)" style="fill: none; stroke: #1f77b4; stroke-width: 1.5"/>
+   </g>
+   <g id="line2d_18">
+    <defs>
+     <path id="m221a62eca5" d="M 5 0 
+L -5 -0 
+" style="stroke: #1f77b4"/>
+    </defs>
+    <g clip-path="url(#pffcb478e27)">
+     <use xlink:href="#m221a62eca5" x="354.202983" y="270.02015" style="fill: #1f77b4; stroke: #1f77b4"/>
+    </g>
+   </g>
+   <g id="line2d_19">
+    <g clip-path="url(#pffcb478e27)">
+     <use xlink:href="#m221a62eca5" x="354.202983" y="256.431218" style="fill: #1f77b4; stroke: #1f77b4"/>
+    </g>
+   </g>
    <g id="legend_1">
     <g id="patch_49">
      <path d="M 131.088 223.635937 
@@ -1985,7 +2005,7 @@ L 179.488 147.515937
 L 179.488 132.115937 
 L 135.488 132.115937 
 z
-" style="fill: url(#h4e311b752c); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" style="fill: url(#h6cbd73e027); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
     </g>
     <g id="text_34">
      <!-- diff-func -->
@@ -2025,7 +2045,7 @@ L 179.488 210.250312
 L 179.488 194.850312 
 L 135.488 194.850312 
 z
-" style="fill: url(#h7697804adc); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" style="fill: url(#hc098096cb6); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
     </g>
     <g id="text_36">
      <!-- whole-func -->
@@ -2046,12 +2066,12 @@ z
   </g>
  </g>
  <defs>
-  <clipPath id="p0abf25620c">
+  <clipPath id="pffcb478e27">
    <rect x="115.688" y="49.2" width="724.552" height="451.832"/>
   </clipPath>
  </defs>
  <defs>
-  <pattern id="h4e311b752c" patternUnits="userSpaceOnUse" x="0" y="0" width="72" height="72">
+  <pattern id="h6cbd73e027" patternUnits="userSpaceOnUse" x="0" y="0" width="72" height="72">
    <rect x="0" y="0" width="73" height="73" fill="#b3e6a8"/>
    <path d="M 0 68 
 L -1.175571 70.381966 
@@ -2561,7 +2581,7 @@ L 73.175571 -1.618034
 L 72 -4 
 " style="fill: #ffffff; stroke: #ffffff; stroke-width: 0.5; stroke-linecap: butt; stroke-linejoin: miter"/>
   </pattern>
-  <pattern id="h7697804adc" patternUnits="userSpaceOnUse" x="0" y="0" width="72" height="72">
+  <pattern id="hc098096cb6" patternUnits="userSpaceOnUse" x="0" y="0" width="72" height="72">
    <rect x="0" y="0" width="73" height="73" fill="#b3d1e6"/>
    <path d="M 0 68 
 L -1.175571 70.381966