From a4ab262d96a6cf976e874a6053b14487be9b5778 Mon Sep 17 00:00:00 2001
From: Paul Gauthier <aider@paulg.org>
Date: Sat, 1 Jul 2023 21:35:38 -0700
Subject: [PATCH] new svg

---
 assets/benchmarks.svg  | 326 +++++++++++++++++++++--------------------
 benchmark/benchmark.py |   4 +-
 2 files changed, 172 insertions(+), 158 deletions(-)

diff --git a/assets/benchmarks.svg b/assets/benchmarks.svg
index d704b4a09..727e6dec1 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:30:41.757436</dc:date>
+    <dc:date>2023-07-01T21:35:22.478112</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="m254e4ef371" d="M 0 0 
+       <path id="ma04b301a54" d="M 0 0 
 L 0 3.5 
 " style="stroke: #000000; stroke-width: 0.8"/>
       </defs>
       <g>
-       <use xlink:href="#m254e4ef371" x="202.939517" y="501.032" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#ma04b301a54" 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="#m254e4ef371" x="340.451759" y="501.032" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#ma04b301a54" 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="#m254e4ef371" x="477.964" y="501.032" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#ma04b301a54" 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="#m254e4ef371" x="615.476241" y="501.032" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#ma04b301a54" 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="#m254e4ef371" x="752.988483" y="501.032" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#ma04b301a54" 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(#p308f8803cd)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/>
+" clip-path="url(#p0abf25620c)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/>
      </g>
      <g id="line2d_7">
       <defs>
-       <path id="mc72c213546" d="M 0 0 
+       <path id="m021d944f66" d="M 0 0 
 L -3.5 0 
 " style="stroke: #000000; stroke-width: 0.8"/>
       </defs>
       <g>
-       <use xlink:href="#mc72c213546" x="115.688" y="501.032" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#m021d944f66" 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(#p308f8803cd)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/>
+" clip-path="url(#p0abf25620c)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/>
      </g>
      <g id="line2d_9">
       <g>
-       <use xlink:href="#mc72c213546" x="115.688" y="410.6656" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#m021d944f66" 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(#p308f8803cd)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/>
+" clip-path="url(#p0abf25620c)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/>
      </g>
      <g id="line2d_11">
       <g>
-       <use xlink:href="#mc72c213546" x="115.688" y="320.2992" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#m021d944f66" 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(#p308f8803cd)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/>
+" clip-path="url(#p0abf25620c)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/>
      </g>
      <g id="line2d_13">
       <g>
-       <use xlink:href="#mc72c213546" x="115.688" y="229.9328" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#m021d944f66" 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(#p308f8803cd)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/>
+" clip-path="url(#p0abf25620c)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/>
      </g>
      <g id="line2d_15">
       <g>
-       <use xlink:href="#mc72c213546" x="115.688" y="139.5664" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#m021d944f66" 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(#p308f8803cd)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/>
+" clip-path="url(#p0abf25620c)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/>
      </g>
      <g id="line2d_17">
       <g>
-       <use xlink:href="#mc72c213546" x="115.688" y="49.2" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#m021d944f66" 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(#p308f8803cd)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p0abf25620c)" 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(#p308f8803cd)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p0abf25620c)" 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(#p308f8803cd)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p0abf25620c)" 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(#p308f8803cd)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p0abf25620c)" 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(#p308f8803cd)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p0abf25620c)" 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(#p308f8803cd)" style="fill: url(#hf30f3228df); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p0abf25620c)" style="fill: url(#h4e311b752c); 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(#p308f8803cd)" style="fill: url(#hf30f3228df); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p0abf25620c)" style="fill: url(#h4e311b752c); 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(#p308f8803cd)" style="fill: url(#hf30f3228df); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p0abf25620c)" style="fill: url(#h4e311b752c); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_11">
     <path d="M 0 0 
 z
-" clip-path="url(#p308f8803cd)" style="fill: url(#hf30f3228df); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p0abf25620c)" style="fill: url(#h4e311b752c); 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(#p308f8803cd)" style="fill: url(#hf30f3228df); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p0abf25620c)" style="fill: url(#h4e311b752c); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_13">
     <path d="M 203.627078 501.032 
@@ -1146,7 +1146,7 @@ L 229.754404 501.032
 L 229.754404 256.431218 
 L 203.627078 256.431218 
 z
-" clip-path="url(#p308f8803cd)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p0abf25620c)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_14">
     <path d="M 341.13932 501.032 
@@ -1154,7 +1154,7 @@ L 367.266646 501.032
 L 367.266646 270.02015 
 L 341.13932 270.02015 
 z
-" clip-path="url(#p308f8803cd)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p0abf25620c)" 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(#p308f8803cd)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p0abf25620c)" 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(#p308f8803cd)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p0abf25620c)" 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(#p308f8803cd)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p0abf25620c)" 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(#p308f8803cd)" style="fill: url(#h9e3b66ff54); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p0abf25620c)" style="fill: url(#h7697804adc); 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(#p308f8803cd)" style="fill: url(#h9e3b66ff54); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p0abf25620c)" style="fill: url(#h7697804adc); 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(#p308f8803cd)" style="fill: url(#h9e3b66ff54); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p0abf25620c)" style="fill: url(#h7697804adc); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_21">
     <path d="M 0 0 
 z
-" clip-path="url(#p308f8803cd)" style="fill: url(#h9e3b66ff54); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p0abf25620c)" style="fill: url(#h7697804adc); 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(#p308f8803cd)" style="fill: url(#h9e3b66ff54); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p0abf25620c)" style="fill: url(#h7697804adc); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_23">
     <path d="M 115.688 501.032 
@@ -1449,7 +1449,7 @@ L 174.749508 501.032
 L 174.749508 439.881805 
 L 148.622182 439.881805 
 z
-" clip-path="url(#p308f8803cd)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p0abf25620c)" 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(#p308f8803cd)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p0abf25620c)" 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(#p308f8803cd)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p0abf25620c)" 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(#p308f8803cd)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p0abf25620c)" 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(#p308f8803cd)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p0abf25620c)" 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(#p308f8803cd)" style="fill: url(#hf30f3228df); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p0abf25620c)" style="fill: url(#h4e311b752c); 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(#p308f8803cd)" style="fill: url(#hf30f3228df); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p0abf25620c)" style="fill: url(#h4e311b752c); 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(#p308f8803cd)" style="fill: url(#hf30f3228df); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p0abf25620c)" style="fill: url(#h4e311b752c); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_35">
     <path d="M 0 0 
 z
-" clip-path="url(#p308f8803cd)" style="fill: url(#hf30f3228df); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p0abf25620c)" style="fill: url(#h4e311b752c); 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(#p308f8803cd)" style="fill: url(#hf30f3228df); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p0abf25620c)" style="fill: url(#h4e311b752c); 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(#p308f8803cd)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p0abf25620c)" 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(#p308f8803cd)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p0abf25620c)" 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(#p308f8803cd)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p0abf25620c)" 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(#p308f8803cd)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p0abf25620c)" 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(#p308f8803cd)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p0abf25620c)" 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(#p308f8803cd)" style="fill: url(#h9e3b66ff54); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p0abf25620c)" style="fill: url(#h7697804adc); 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(#p308f8803cd)" style="fill: url(#h9e3b66ff54); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p0abf25620c)" style="fill: url(#h7697804adc); 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(#p308f8803cd)" style="fill: url(#h9e3b66ff54); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p0abf25620c)" style="fill: url(#h7697804adc); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_45">
     <path d="M 0 0 
 z
-" clip-path="url(#p308f8803cd)" style="fill: url(#h9e3b66ff54); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p0abf25620c)" style="fill: url(#h7697804adc); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_46">
     <path d="M 781.178492 501.032 
@@ -1589,20 +1589,20 @@ L 807.305818 501.032
 L 807.305818 361.745444 
 L 781.178492 361.745444 
 z
-" clip-path="url(#p308f8803cd)" style="fill: url(#h9e3b66ff54); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p0abf25620c)" style="fill: url(#h7697804adc); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_47">
-    <path d="M 500.698183 120.000713 
-Q 490.296496 206.941169 558.157407 268.509446 
+    <path d="M 500.63324 143.202483 
+Q 498.622311 216.631993 558.11673 268.5544 
 " style="fill: none; stroke: #000000; stroke-linecap: round"/>
-    <path d="M 554.596548 259.337735 
-L 558.157407 268.509446 
-L 548.683523 265.855106 
+    <path d="M 554.379744 259.45303 
+L 558.11673 268.5544 
+L 548.593443 266.083167 
 " style="fill: none; stroke: #000000; stroke-linecap: round"/>
    </g>
    <g id="text_29">
-    <!-- First coding -->
-    <g transform="translate(448.617073 87.624725) scale(0.22 -0.22)">
+    <!-- First attempt, -->
+    <g transform="translate(441.291761 87.573162) scale(0.22 -0.22)">
      <defs>
       <path id="Helvetica-46" d="M 547 4591 
 L 3731 4591 
@@ -1617,49 +1617,6 @@ L 547 0
 L 547 4591 
 z
 " transform="scale(0.015625)"/>
-      <path id="Helvetica-64" d="M 769 1634 
-Q 769 1097 997 734 
-Q 1225 372 1728 372 
-Q 2119 372 2370 708 
-Q 2622 1044 2622 1672 
-Q 2622 2306 2362 2611 
-Q 2103 2916 1722 2916 
-Q 1297 2916 1033 2591 
-Q 769 2266 769 1634 
-z
-M 1616 3406 
-Q 2000 3406 2259 3244 
-Q 2409 3150 2600 2916 
-L 2600 4606 
-L 3141 4606 
-L 3141 0 
-L 2634 0 
-L 2634 466 
-Q 2438 156 2169 18 
-Q 1900 -119 1553 -119 
-Q 994 -119 584 351 
-Q 175 822 175 1603 
-Q 175 2334 548 2870 
-Q 922 3406 1616 3406 
-z
-" transform="scale(0.015625)"/>
-     </defs>
-     <use xlink:href="#Helvetica-46"/>
-     <use xlink:href="#Helvetica-69" x="61.083984"/>
-     <use xlink:href="#Helvetica-72" x="83.300781"/>
-     <use xlink:href="#Helvetica-73" x="116.601562"/>
-     <use xlink:href="#Helvetica-74" x="166.601562"/>
-     <use xlink:href="#Helvetica-20" x="194.384766"/>
-     <use xlink:href="#Helvetica-63" x="222.167969"/>
-     <use xlink:href="#Helvetica-6f" x="272.167969"/>
-     <use xlink:href="#Helvetica-64" x="327.783203"/>
-     <use xlink:href="#Helvetica-69" x="383.398438"/>
-     <use xlink:href="#Helvetica-6e" x="405.615234"/>
-     <use xlink:href="#Helvetica-67" x="461.230469"/>
-    </g>
-    <!-- attempt -->
-    <g transform="translate(468.784886 111.4301) scale(0.22 -0.22)">
-     <defs>
       <path id="Helvetica-6d" d="M 413 3347 
 L 969 3347 
 L 969 2872 
@@ -1689,24 +1646,99 @@ L 975 0
 L 413 0 
 L 413 3347 
 z
+" transform="scale(0.015625)"/>
+      <path id="Helvetica-2c" d="M 531 -653 
+Q 747 -616 834 -350 
+Q 881 -209 881 -78 
+Q 881 -56 879 -39 
+Q 878 -22 872 0 
+L 531 0 
+L 531 681 
+L 1200 681 
+L 1200 50 
+Q 1200 -322 1050 -603 
+Q 900 -884 531 -950 
+L 531 -653 
+z
 " transform="scale(0.015625)"/>
      </defs>
-     <use xlink:href="#Helvetica-61"/>
-     <use xlink:href="#Helvetica-74" x="55.615234"/>
-     <use xlink:href="#Helvetica-74" x="83.398438"/>
-     <use xlink:href="#Helvetica-65" x="111.181641"/>
-     <use xlink:href="#Helvetica-6d" x="166.796875"/>
-     <use xlink:href="#Helvetica-70" x="250.097656"/>
-     <use xlink:href="#Helvetica-74" x="305.712891"/>
+     <use xlink:href="#Helvetica-46"/>
+     <use xlink:href="#Helvetica-69" x="61.083984"/>
+     <use xlink:href="#Helvetica-72" x="83.300781"/>
+     <use xlink:href="#Helvetica-73" x="116.601562"/>
+     <use xlink:href="#Helvetica-74" x="166.601562"/>
+     <use xlink:href="#Helvetica-20" x="194.384766"/>
+     <use xlink:href="#Helvetica-61" x="222.167969"/>
+     <use xlink:href="#Helvetica-74" x="277.783203"/>
+     <use xlink:href="#Helvetica-74" x="305.566406"/>
+     <use xlink:href="#Helvetica-65" x="333.349609"/>
+     <use xlink:href="#Helvetica-6d" x="388.964844"/>
+     <use xlink:href="#Helvetica-70" x="472.265625"/>
+     <use xlink:href="#Helvetica-74" x="527.880859"/>
+     <use xlink:href="#Helvetica-2c" x="555.664062"/>
+    </g>
+    <!-- based on -->
+    <g transform="translate(460.208323 111.096662) scale(0.22 -0.22)">
+     <defs>
+      <path id="Helvetica-64" d="M 769 1634 
+Q 769 1097 997 734 
+Q 1225 372 1728 372 
+Q 2119 372 2370 708 
+Q 2622 1044 2622 1672 
+Q 2622 2306 2362 2611 
+Q 2103 2916 1722 2916 
+Q 1297 2916 1033 2591 
+Q 769 2266 769 1634 
+z
+M 1616 3406 
+Q 2000 3406 2259 3244 
+Q 2409 3150 2600 2916 
+L 2600 4606 
+L 3141 4606 
+L 3141 0 
+L 2634 0 
+L 2634 466 
+Q 2438 156 2169 18 
+Q 1900 -119 1553 -119 
+Q 994 -119 584 351 
+Q 175 822 175 1603 
+Q 175 2334 548 2870 
+Q 922 3406 1616 3406 
+z
+" transform="scale(0.015625)"/>
+     </defs>
+     <use xlink:href="#Helvetica-62"/>
+     <use xlink:href="#Helvetica-61" x="55.615234"/>
+     <use xlink:href="#Helvetica-73" x="111.230469"/>
+     <use xlink:href="#Helvetica-65" x="161.230469"/>
+     <use xlink:href="#Helvetica-64" x="216.845703"/>
+     <use xlink:href="#Helvetica-20" x="272.460938"/>
+     <use xlink:href="#Helvetica-6f" x="300.244141"/>
+     <use xlink:href="#Helvetica-6e" x="355.859375"/>
+    </g>
+    <!-- instructions -->
+    <g transform="translate(449.835667 134.620162) scale(0.22 -0.22)">
+     <use xlink:href="#Helvetica-69"/>
+     <use xlink:href="#Helvetica-6e" x="22.216797"/>
+     <use xlink:href="#Helvetica-73" x="77.832031"/>
+     <use xlink:href="#Helvetica-74" x="127.832031"/>
+     <use xlink:href="#Helvetica-72" x="155.615234"/>
+     <use xlink:href="#Helvetica-75" x="188.916016"/>
+     <use xlink:href="#Helvetica-63" x="244.53125"/>
+     <use xlink:href="#Helvetica-74" x="294.53125"/>
+     <use xlink:href="#Helvetica-69" x="322.314453"/>
+     <use xlink:href="#Helvetica-6f" x="344.53125"/>
+     <use xlink:href="#Helvetica-6e" x="400.146484"/>
+     <use xlink:href="#Helvetica-73" x="455.761719"/>
     </g>
    </g>
    <g id="patch_48">
-    <path d="M 662.202756 121.875047 
-Q 617.847299 143.015761 589.549033 191.093287 
+    <path d="M 662.206736 121.701899 
+Q 617.814036 142.914925 589.543093 191.095152 
 " style="fill: none; stroke: #000000; stroke-linecap: round"/>
-    <path d="M 597.804757 185.741369 
-L 589.549033 191.093287 
-L 590.220933 181.277557 
+    <path d="M 597.791562 185.732061 
+L 589.543093 191.095152 
+L 590.201701 181.278522 
 " style="fill: none; stroke: #000000; stroke-linecap: round"/>
    </g>
    <g id="text_30">
@@ -1746,20 +1778,6 @@ z
 M 2150 4716 
 L 2150 4716 
 z
-" transform="scale(0.015625)"/>
-      <path id="Helvetica-2c" d="M 531 -653 
-Q 747 -616 834 -350 
-Q 881 -209 881 -78 
-Q 881 -56 879 -39 
-Q 878 -22 872 0 
-L 531 0 
-L 531 681 
-L 1200 681 
-L 1200 50 
-Q 1200 -322 1050 -603 
-Q 900 -884 531 -950 
-L 531 -653 
-z
 " transform="scale(0.015625)"/>
      </defs>
      <use xlink:href="#Helvetica-53"/>
@@ -1778,23 +1796,19 @@ z
      <use xlink:href="#Helvetica-74" x="672.65625"/>
      <use xlink:href="#Helvetica-2c" x="700.439453"/>
     </g>
-    <!-- after seeing -->
-    <g transform="translate(688.636152 111.794475) scale(0.22 -0.22)">
-     <use xlink:href="#Helvetica-61"/>
-     <use xlink:href="#Helvetica-66" x="55.615234"/>
-     <use xlink:href="#Helvetica-74" x="83.398438"/>
-     <use xlink:href="#Helvetica-65" x="111.181641"/>
-     <use xlink:href="#Helvetica-72" x="166.796875"/>
-     <use xlink:href="#Helvetica-20" x="200.097656"/>
-     <use xlink:href="#Helvetica-73" x="227.880859"/>
-     <use xlink:href="#Helvetica-65" x="277.880859"/>
-     <use xlink:href="#Helvetica-65" x="333.496094"/>
-     <use xlink:href="#Helvetica-69" x="389.111328"/>
-     <use xlink:href="#Helvetica-6e" x="411.328125"/>
-     <use xlink:href="#Helvetica-67" x="466.943359"/>
+    <!-- based on -->
+    <g transform="translate(700.854746 111.52635) scale(0.22 -0.22)">
+     <use xlink:href="#Helvetica-62"/>
+     <use xlink:href="#Helvetica-61" x="55.615234"/>
+     <use xlink:href="#Helvetica-73" x="111.230469"/>
+     <use xlink:href="#Helvetica-65" x="161.230469"/>
+     <use xlink:href="#Helvetica-64" x="216.845703"/>
+     <use xlink:href="#Helvetica-20" x="272.460938"/>
+     <use xlink:href="#Helvetica-6f" x="300.244141"/>
+     <use xlink:href="#Helvetica-6e" x="355.859375"/>
     </g>
     <!-- unit test errors -->
-    <g transform="translate(675.815996 135.59985) scale(0.22 -0.22)">
+    <g transform="translate(675.815996 135.04985) scale(0.22 -0.22)">
      <use xlink:href="#Helvetica-75"/>
      <use xlink:href="#Helvetica-6e" x="55.615234"/>
      <use xlink:href="#Helvetica-69" x="111.230469"/>
@@ -1971,7 +1985,7 @@ L 179.488 147.515937
 L 179.488 132.115937 
 L 135.488 132.115937 
 z
-" style="fill: url(#hf30f3228df); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" style="fill: url(#h4e311b752c); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
     </g>
     <g id="text_34">
      <!-- diff-func -->
@@ -2011,7 +2025,7 @@ L 179.488 210.250312
 L 179.488 194.850312 
 L 135.488 194.850312 
 z
-" style="fill: url(#h9e3b66ff54); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" style="fill: url(#h7697804adc); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
     </g>
     <g id="text_36">
      <!-- whole-func -->
@@ -2032,12 +2046,12 @@ z
   </g>
  </g>
  <defs>
-  <clipPath id="p308f8803cd">
+  <clipPath id="p0abf25620c">
    <rect x="115.688" y="49.2" width="724.552" height="451.832"/>
   </clipPath>
  </defs>
  <defs>
-  <pattern id="hf30f3228df" patternUnits="userSpaceOnUse" x="0" y="0" width="72" height="72">
+  <pattern id="h4e311b752c" 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 
@@ -2547,7 +2561,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="h9e3b66ff54" patternUnits="userSpaceOnUse" x="0" y="0" width="72" height="72">
+  <pattern id="h7697804adc" 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 
diff --git a/benchmark/benchmark.py b/benchmark/benchmark.py
index 5d58362df..80a511b63 100755
--- a/benchmark/benchmark.py
+++ b/benchmark/benchmark.py
@@ -142,7 +142,7 @@ def show_stats(dirnames):
 
     top = 95
     ax.annotate(
-        "First coding\nattempt",
+        "First attempt,\nbased on\ninstructions",
         xy=(2.9, 51),
         xytext=(2.5, top),
         horizontalalignment="center",
@@ -150,7 +150,7 @@ def show_stats(dirnames):
         arrowprops={"arrowstyle": "->", "connectionstyle": "arc3,rad=0.3"},
     )
     ax.annotate(
-        "Second attempt,\nafter seeing\nunit test errors",
+        "Second attempt,\nbased on\nunit test errors",
         xy=(3.1, 68),
         xytext=(4.25, top),
         horizontalalignment="center",