batch-dd5adb.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="324pt" height="324pt" viewBox="0 0 324 324" xmlns="http://www.w3.org/2000/svg" version="1.1">
 <metadata>
  <rdf:RDF xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:cc="http://creativecommons.org/ns#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
   <cc:Work>
    <dc:type rdf:resource="http://purl.org/dc/dcmitype/StillImage"/>
    <dc:date>2024-01-23T13:44:53.322869</dc:date>
    <dc:format>image/svg+xml</dc:format>
    <dc:creator>
     <cc:Agent>
      <dc:title>Matplotlib v3.6.2, https://matplotlib.org/</dc:title>
     </cc:Agent>
    </dc:creator>
   </cc:Work>
  </rdf:RDF>
 </metadata>
 <defs>
  <style type="text/css">*{stroke-linejoin: round; stroke-linecap: butt}</style>
 </defs>
 <g id="figure_1">
  <g id="patch_1">
   <path d="M 0 324 
L 324 324 
L 324 0 
L 0 0 
z
" style="fill: #ffffff"/>
  </g>
  <g id="axes_1">
   <g id="patch_2">
    <path d="M 60.69125 282.04 
L 313.2 282.04 
L 313.2 26.16 
L 60.69125 26.16 
z
" style="fill: #ffffff"/>
   </g>
   <g id="matplotlib.axis_1">
    <g id="xtick_1">
     <g id="line2d_1">
      <defs>
       <path id="mb0b59a8646" d="M 0 0 
L 0 3.5 
" style="stroke: #000000; stroke-width: 0.8"/>
      </defs>
      <g>
       <use xlink:href="#mb0b59a8646" x="95.124261" y="282.04" style="stroke: #000000; stroke-width: 0.8"/>
      </g>
     </g>
     <g id="text_1">
      <!-- 10 -->
      <g transform="translate(88.761761 296.638438) scale(0.1 -0.1)">
       <defs>
        <path id="DejaVuSerif-31" d="M 909 0 
L 909 331 
L 1722 331 
L 1722 4213 
L 781 3603 
L 781 4013 
L 1919 4750 
L 2350 4750 
L 2350 331 
L 3163 331 
L 3163 0 
L 909 0 
z
" transform="scale(0.015625)"/>
        <path id="DejaVuSerif-30" d="M 2034 219 
Q 2513 219 2750 744 
Q 2988 1269 2988 2328 
Q 2988 3391 2750 3916 
Q 2513 4441 2034 4441 
Q 1556 4441 1318 3916 
Q 1081 3391 1081 2328 
Q 1081 1269 1318 744 
Q 1556 219 2034 219 
z
M 2034 -91 
Q 1275 -91 848 546 
Q 422 1184 422 2328 
Q 422 3475 848 4112 
Q 1275 4750 2034 4750 
Q 2797 4750 3222 4112 
Q 3647 3475 3647 2328 
Q 3647 1184 3222 546 
Q 2797 -91 2034 -91 
z
" transform="scale(0.015625)"/>
       </defs>
       <use xlink:href="#DejaVuSerif-31"/>
       <use xlink:href="#DejaVuSerif-30" x="63.623047"/>
      </g>
     </g>
    </g>
    <g id="xtick_2">
     <g id="line2d_2">
      <g>
       <use xlink:href="#mb0b59a8646" x="133.383163" y="282.04" style="stroke: #000000; stroke-width: 0.8"/>
      </g>
     </g>
     <g id="text_2">
      <!-- 20 -->
      <g transform="translate(127.020663 296.638438) scale(0.1 -0.1)">
       <defs>
        <path id="DejaVuSerif-32" d="M 819 3553 
L 469 3553 
L 469 4384 
Q 803 4563 1142 4656 
Q 1481 4750 1806 4750 
Q 2534 4750 2956 4397 
Q 3378 4044 3378 3438 
Q 3378 2753 2422 1800 
Q 2347 1728 2309 1691 
L 1131 513 
L 3078 513 
L 3078 1088 
L 3444 1088 
L 3444 0 
L 434 0 
L 434 341 
L 1850 1753 
Q 2319 2222 2519 2614 
Q 2719 3006 2719 3438 
Q 2719 3909 2473 4175 
Q 2228 4441 1797 4441 
Q 1350 4441 1106 4219 
Q 863 3997 819 3553 
z
" transform="scale(0.015625)"/>
       </defs>
       <use xlink:href="#DejaVuSerif-32"/>
       <use xlink:href="#DejaVuSerif-30" x="63.623047"/>
      </g>
     </g>
    </g>
    <g id="xtick_3">
     <g id="line2d_3">
      <g>
       <use xlink:href="#mb0b59a8646" x="171.642064" y="282.04" style="stroke: #000000; stroke-width: 0.8"/>
      </g>
     </g>
     <g id="text_3">
      <!-- 30 -->
      <g transform="translate(165.279564 296.638438) scale(0.1 -0.1)">
       <defs>
        <path id="DejaVuSerif-33" d="M 622 4469 
Q 988 4606 1323 4678 
Q 1659 4750 1953 4750 
Q 2638 4750 3022 4454 
Q 3406 4159 3406 3634 
Q 3406 3213 3140 2930 
Q 2875 2647 2388 2547 
Q 2963 2466 3280 2130 
Q 3597 1794 3597 1259 
Q 3597 606 3158 257 
Q 2719 -91 1894 -91 
Q 1528 -91 1179 -12 
Q 831 66 488 225 
L 488 1131 
L 838 1131 
Q 869 681 1141 450 
Q 1413 219 1906 219 
Q 2384 219 2661 495 
Q 2938 772 2938 1253 
Q 2938 1803 2653 2086 
Q 2369 2369 1819 2369 
L 1522 2369 
L 1522 2688 
L 1678 2688 
Q 2225 2688 2498 2914 
Q 2772 3141 2772 3597 
Q 2772 4006 2547 4223 
Q 2322 4441 1900 4441 
Q 1478 4441 1245 4241 
Q 1013 4041 972 3647 
L 622 3647 
L 622 4469 
z
" transform="scale(0.015625)"/>
       </defs>
       <use xlink:href="#DejaVuSerif-33"/>
       <use xlink:href="#DejaVuSerif-30" x="63.623047"/>
      </g>
     </g>
    </g>
    <g id="xtick_4">
     <g id="line2d_4">
      <g>
       <use xlink:href="#mb0b59a8646" x="209.900966" y="282.04" style="stroke: #000000; stroke-width: 0.8"/>
      </g>
     </g>
     <g id="text_4">
      <!-- 40 -->
      <g transform="translate(203.538466 296.638438) scale(0.1 -0.1)">
       <defs>
        <path id="DejaVuSerif-34" d="M 2234 1581 
L 2234 4063 
L 641 1581 
L 2234 1581 
z
M 3609 0 
L 1484 0 
L 1484 331 
L 2234 331 
L 2234 1247 
L 197 1247 
L 197 1588 
L 2241 4750 
L 2859 4750 
L 2859 1581 
L 3750 1581 
L 3750 1247 
L 2859 1247 
L 2859 331 
L 3609 331 
L 3609 0 
z
" transform="scale(0.015625)"/>
       </defs>
       <use xlink:href="#DejaVuSerif-34"/>
       <use xlink:href="#DejaVuSerif-30" x="63.623047"/>
      </g>
     </g>
    </g>
    <g id="xtick_5">
     <g id="line2d_5">
      <g>
       <use xlink:href="#mb0b59a8646" x="248.159867" y="282.04" style="stroke: #000000; stroke-width: 0.8"/>
      </g>
     </g>
     <g id="text_5">
      <!-- 50 -->
      <g transform="translate(241.797367 296.638438) scale(0.1 -0.1)">
       <defs>
        <path id="DejaVuSerif-35" d="M 3219 4666 
L 3219 4153 
L 1081 4153 
L 1081 2816 
Q 1244 2928 1461 2984 
Q 1678 3041 1947 3041 
Q 2703 3041 3140 2622 
Q 3578 2203 3578 1478 
Q 3578 738 3136 323 
Q 2694 -91 1894 -91 
Q 1572 -91 1234 -12 
Q 897 66 544 225 
L 544 1131 
L 897 1131 
Q 925 688 1179 453 
Q 1434 219 1894 219 
Q 2388 219 2653 544 
Q 2919 869 2919 1478 
Q 2919 2084 2655 2407 
Q 2391 2731 1894 2731 
Q 1613 2731 1398 2631 
Q 1184 2531 1019 2322 
L 750 2322 
L 750 4666 
L 3219 4666 
z
" transform="scale(0.015625)"/>
       </defs>
       <use xlink:href="#DejaVuSerif-35"/>
       <use xlink:href="#DejaVuSerif-30" x="63.623047"/>
      </g>
     </g>
    </g>
    <g id="xtick_6">
     <g id="line2d_6">
      <g>
       <use xlink:href="#mb0b59a8646" x="286.418769" y="282.04" style="stroke: #000000; stroke-width: 0.8"/>
      </g>
     </g>
     <g id="text_6">
      <!-- 60 -->
      <g transform="translate(280.056269 296.638438) scale(0.1 -0.1)">
       <defs>
        <path id="DejaVuSerif-36" d="M 2094 219 
Q 2534 219 2771 542 
Q 3009 866 3009 1472 
Q 3009 2078 2771 2401 
Q 2534 2725 2094 2725 
Q 1647 2725 1412 2412 
Q 1178 2100 1178 1509 
Q 1178 888 1415 553 
Q 1653 219 2094 219 
z
M 1075 2569 
Q 1288 2803 1556 2918 
Q 1825 3034 2163 3034 
Q 2859 3034 3264 2615 
Q 3669 2197 3669 1472 
Q 3669 763 3233 336 
Q 2797 -91 2069 -91 
Q 1278 -91 853 498 
Q 428 1088 428 2181 
Q 428 3406 931 4078 
Q 1434 4750 2350 4750 
Q 2597 4750 2869 4703 
Q 3141 4656 3425 4563 
L 3425 3794 
L 3072 3794 
Q 3034 4109 2831 4275 
Q 2628 4441 2284 4441 
Q 1678 4441 1381 3981 
Q 1084 3522 1075 2569 
z
" transform="scale(0.015625)"/>
       </defs>
       <use xlink:href="#DejaVuSerif-36"/>
       <use xlink:href="#DejaVuSerif-30" x="63.623047"/>
      </g>
     </g>
    </g>
    <g id="text_7">
     <!-- Batch size -->
     <g transform="translate(160.912813 310.316563) scale(0.1 -0.1)">
      <defs>
       <path id="DejaVuSerif-42" d="M 1581 331 
L 2516 331 
Q 3078 331 3337 575 
Q 3597 819 3597 1350 
Q 3597 1878 3339 2120 
Q 3081 2363 2516 2363 
L 1581 2363 
L 1581 331 
z
M 1581 2694 
L 2375 2694 
Q 2888 2694 3123 2891 
Q 3359 3088 3359 3513 
Q 3359 3941 3123 4136 
Q 2888 4331 2375 4331 
L 1581 4331 
L 1581 2694 
z
M 353 0 
L 353 331 
L 947 331 
L 947 4331 
L 353 4331 
L 353 4666 
L 2656 4666 
Q 3363 4666 3720 4377 
Q 4078 4088 4078 3513 
Q 4078 3097 3829 2850 
Q 3581 2603 3103 2547 
Q 3697 2472 4005 2167 
Q 4313 1863 4313 1350 
Q 4313 656 3875 328 
Q 3438 0 2509 0 
L 353 0 
z
" transform="scale(0.015625)"/>
       <path id="DejaVuSerif-61" d="M 2547 1044 
L 2547 1747 
L 1806 1747 
Q 1378 1747 1168 1562 
Q 959 1378 959 997 
Q 959 650 1171 447 
Q 1384 244 1747 244 
Q 2106 244 2326 466 
Q 2547 688 2547 1044 
z
M 3122 2075 
L 3122 331 
L 3634 331 
L 3634 0 
L 2547 0 
L 2547 359 
Q 2356 128 2106 18 
Q 1856 -91 1522 -91 
Q 969 -91 644 203 
Q 319 497 319 997 
Q 319 1513 691 1797 
Q 1063 2081 1741 2081 
L 2547 2081 
L 2547 2309 
Q 2547 2688 2317 2895 
Q 2088 3103 1672 3103 
Q 1328 3103 1125 2947 
Q 922 2791 872 2484 
L 575 2484 
L 575 3156 
Q 875 3284 1158 3348 
Q 1441 3413 1709 3413 
Q 2400 3413 2761 3070 
Q 3122 2728 3122 2075 
z
" transform="scale(0.015625)"/>
       <path id="DejaVuSerif-74" d="M 691 2988 
L 184 2988 
L 184 3322 
L 691 3322 
L 691 4353 
L 1269 4353 
L 1269 3322 
L 2350 3322 
L 2350 2988 
L 1269 2988 
L 1269 878 
Q 1269 456 1350 337 
Q 1431 219 1650 219 
Q 1875 219 1978 351 
Q 2081 484 2088 781 
L 2522 781 
Q 2497 328 2275 118 
Q 2053 -91 1600 -91 
Q 1103 -91 897 129 
Q 691 350 691 878 
L 691 2988 
z
" transform="scale(0.015625)"/>
       <path id="DejaVuSerif-63" d="M 3291 997 
Q 3169 466 2822 187 
Q 2475 -91 1925 -91 
Q 1200 -91 759 389 
Q 319 869 319 1663 
Q 319 2459 759 2936 
Q 1200 3413 1925 3413 
Q 2241 3413 2553 3339 
Q 2866 3266 3181 3116 
L 3181 2266 
L 2847 2266 
Q 2781 2703 2561 2903 
Q 2341 3103 1931 3103 
Q 1466 3103 1228 2742 
Q 991 2381 991 1663 
Q 991 944 1227 581 
Q 1463 219 1931 219 
Q 2303 219 2525 412 
Q 2747 606 2828 997 
L 3291 997 
z
" transform="scale(0.015625)"/>
       <path id="DejaVuSerif-68" d="M 263 0 
L 263 331 
L 781 331 
L 781 4531 
L 231 4531 
L 231 4863 
L 1356 4863 
L 1356 2731 
Q 1516 3069 1770 3241 
Q 2025 3413 2363 3413 
Q 2913 3413 3172 3097 
Q 3431 2781 3431 2113 
L 3431 331 
L 3944 331 
L 3944 0 
L 2356 0 
L 2356 331 
L 2853 331 
L 2853 1931 
Q 2853 2541 2704 2764 
Q 2556 2988 2175 2988 
Q 1775 2988 1565 2697 
Q 1356 2406 1356 1850 
L 1356 331 
L 1856 331 
L 1856 0 
L 263 0 
z
" transform="scale(0.015625)"/>
       <path id="DejaVuSerif-20" transform="scale(0.015625)"/>
       <path id="DejaVuSerif-73" d="M 359 184 
L 359 959 
L 691 959 
Q 703 588 923 403 
Q 1144 219 1575 219 
Q 1963 219 2166 364 
Q 2369 509 2369 788 
Q 2369 1006 2220 1140 
Q 2072 1275 1594 1428 
L 1178 1569 
Q 750 1706 558 1912 
Q 366 2119 366 2438 
Q 366 2894 700 3153 
Q 1034 3413 1625 3413 
Q 1888 3413 2178 3344 
Q 2469 3275 2778 3144 
L 2778 2419 
L 2447 2419 
Q 2434 2741 2221 2922 
Q 2009 3103 1644 3103 
Q 1281 3103 1095 2975 
Q 909 2847 909 2591 
Q 909 2381 1050 2254 
Q 1191 2128 1613 1997 
L 2069 1856 
Q 2541 1709 2748 1489 
Q 2956 1269 2956 922 
Q 2956 450 2595 179 
Q 2234 -91 1600 -91 
Q 1278 -91 972 -22 
Q 666 47 359 184 
z
" transform="scale(0.015625)"/>
       <path id="DejaVuSerif-69" d="M 622 4353 
Q 622 4497 726 4603 
Q 831 4709 978 4709 
Q 1122 4709 1226 4603 
Q 1331 4497 1331 4353 
Q 1331 4206 1228 4103 
Q 1125 4000 978 4000 
Q 831 4000 726 4103 
Q 622 4206 622 4353 
z
M 1356 331 
L 1900 331 
L 1900 0 
L 231 0 
L 231 331 
L 781 331 
L 781 2988 
L 231 2988 
L 231 3322 
L 1356 3322 
L 1356 331 
z
" transform="scale(0.015625)"/>
       <path id="DejaVuSerif-7a" d="M 256 0 
L 256 269 
L 2338 2988 
L 691 2988 
L 691 2413 
L 359 2413 
L 359 3322 
L 3078 3322 
L 3078 3053 
L 997 331 
L 2803 331 
L 2803 934 
L 3138 934 
L 3138 0 
L 256 0 
z
" transform="scale(0.015625)"/>
       <path id="DejaVuSerif-65" d="M 3469 1600 
L 991 1600 
L 991 1575 
Q 991 903 1244 561 
Q 1497 219 1991 219 
Q 2369 219 2611 417 
Q 2853 616 2950 1006 
L 3413 1006 
Q 3275 459 2904 184 
Q 2534 -91 1931 -91 
Q 1203 -91 761 389 
Q 319 869 319 1663 
Q 319 2450 753 2931 
Q 1188 3413 1894 3413 
Q 2647 3413 3050 2948 
Q 3453 2484 3469 1600 
z
M 2791 1931 
Q 2772 2513 2545 2808 
Q 2319 3103 1894 3103 
Q 1497 3103 1269 2806 
Q 1041 2509 991 1931 
L 2791 1931 
z
" transform="scale(0.015625)"/>
      </defs>
      <use xlink:href="#DejaVuSerif-42"/>
      <use xlink:href="#DejaVuSerif-61" x="73.486328"/>
      <use xlink:href="#DejaVuSerif-74" x="133.105469"/>
      <use xlink:href="#DejaVuSerif-63" x="173.291016"/>
      <use xlink:href="#DejaVuSerif-68" x="229.296875"/>
      <use xlink:href="#DejaVuSerif-20" x="293.701172"/>
      <use xlink:href="#DejaVuSerif-73" x="325.488281"/>
      <use xlink:href="#DejaVuSerif-69" x="376.806641"/>
      <use xlink:href="#DejaVuSerif-7a" x="408.789062"/>
      <use xlink:href="#DejaVuSerif-65" x="461.474609"/>
     </g>
    </g>
   </g>
   <g id="matplotlib.axis_2">
    <g id="ytick_1">
     <g id="line2d_7">
      <defs>
       <path id="m3008bf558b" d="M 0 0 
L -3.5 0 
" style="stroke: #000000; stroke-width: 0.8"/>
      </defs>
      <g>
       <use xlink:href="#m3008bf558b" x="60.69125" y="258.156217" style="stroke: #000000; stroke-width: 0.8"/>
      </g>
     </g>
     <g id="text_8">
      <!-- 250 -->
      <g transform="translate(34.60375 261.955436) scale(0.1 -0.1)">
       <use xlink:href="#DejaVuSerif-32"/>
       <use xlink:href="#DejaVuSerif-35" x="63.623047"/>
       <use xlink:href="#DejaVuSerif-30" x="127.246094"/>
      </g>
     </g>
    </g>
    <g id="ytick_2">
     <g id="line2d_8">
      <g>
       <use xlink:href="#m3008bf558b" x="60.69125" y="223.735285" style="stroke: #000000; stroke-width: 0.8"/>
      </g>
     </g>
     <g id="text_9">
      <!-- 500 -->
      <g transform="translate(34.60375 227.534503) scale(0.1 -0.1)">
       <use xlink:href="#DejaVuSerif-35"/>
       <use xlink:href="#DejaVuSerif-30" x="63.623047"/>
       <use xlink:href="#DejaVuSerif-30" x="127.246094"/>
      </g>
     </g>
    </g>
    <g id="ytick_3">
     <g id="line2d_9">
      <g>
       <use xlink:href="#m3008bf558b" x="60.69125" y="189.314352" style="stroke: #000000; stroke-width: 0.8"/>
      </g>
     </g>
     <g id="text_10">
      <!-- 750 -->
      <g transform="translate(34.60375 193.113571) scale(0.1 -0.1)">
       <defs>
        <path id="DejaVuSerif-37" d="M 3609 4347 
L 1784 0 
L 1319 0 
L 3059 4153 
L 903 4153 
L 903 3578 
L 538 3578 
L 538 4666 
L 3609 4666 
L 3609 4347 
z
" transform="scale(0.015625)"/>
       </defs>
       <use xlink:href="#DejaVuSerif-37"/>
       <use xlink:href="#DejaVuSerif-35" x="63.623047"/>
       <use xlink:href="#DejaVuSerif-30" x="127.246094"/>
      </g>
     </g>
    </g>
    <g id="ytick_4">
     <g id="line2d_10">
      <g>
       <use xlink:href="#m3008bf558b" x="60.69125" y="154.893419" style="stroke: #000000; stroke-width: 0.8"/>
      </g>
     </g>
     <g id="text_11">
      <!-- 1,000 -->
      <g transform="translate(25.063125 158.692638) scale(0.1 -0.1)">
       <defs>
        <path id="DejaVuSerif-2c" d="M 231 -622 
Q 525 -406 662 -114 
Q 800 178 800 594 
L 800 709 
L 1416 709 
Q 1391 175 1164 -208 
Q 938 -591 481 -872 
L 231 -622 
z
" transform="scale(0.015625)"/>
       </defs>
       <use xlink:href="#DejaVuSerif-31"/>
       <use xlink:href="#DejaVuSerif-2c" x="63.623047"/>
       <use xlink:href="#DejaVuSerif-30" x="95.410156"/>
       <use xlink:href="#DejaVuSerif-30" x="159.033203"/>
       <use xlink:href="#DejaVuSerif-30" x="222.65625"/>
      </g>
     </g>
    </g>
    <g id="ytick_5">
     <g id="line2d_11">
      <g>
       <use xlink:href="#m3008bf558b" x="60.69125" y="120.472487" style="stroke: #000000; stroke-width: 0.8"/>
      </g>
     </g>
     <g id="text_12">
      <!-- 1,250 -->
      <g transform="translate(25.063125 124.271705) scale(0.1 -0.1)">
       <use xlink:href="#DejaVuSerif-31"/>
       <use xlink:href="#DejaVuSerif-2c" x="63.623047"/>
       <use xlink:href="#DejaVuSerif-32" x="95.410156"/>
       <use xlink:href="#DejaVuSerif-35" x="159.033203"/>
       <use xlink:href="#DejaVuSerif-30" x="222.65625"/>
      </g>
     </g>
    </g>
    <g id="ytick_6">
     <g id="line2d_12">
      <g>
       <use xlink:href="#m3008bf558b" x="60.69125" y="86.051554" style="stroke: #000000; stroke-width: 0.8"/>
      </g>
     </g>
     <g id="text_13">
      <!-- 1,500 -->
      <g transform="translate(25.063125 89.850773) scale(0.1 -0.1)">
       <use xlink:href="#DejaVuSerif-31"/>
       <use xlink:href="#DejaVuSerif-2c" x="63.623047"/>
       <use xlink:href="#DejaVuSerif-35" x="95.410156"/>
       <use xlink:href="#DejaVuSerif-30" x="159.033203"/>
       <use xlink:href="#DejaVuSerif-30" x="222.65625"/>
      </g>
     </g>
    </g>
    <g id="ytick_7">
     <g id="line2d_13">
      <g>
       <use xlink:href="#m3008bf558b" x="60.69125" y="51.630621" style="stroke: #000000; stroke-width: 0.8"/>
      </g>
     </g>
     <g id="text_14">
      <!-- 1,750 -->
      <g transform="translate(25.063125 55.42984) scale(0.1 -0.1)">
       <use xlink:href="#DejaVuSerif-31"/>
       <use xlink:href="#DejaVuSerif-2c" x="63.623047"/>
       <use xlink:href="#DejaVuSerif-37" x="95.410156"/>
       <use xlink:href="#DejaVuSerif-35" x="159.033203"/>
       <use xlink:href="#DejaVuSerif-30" x="222.65625"/>
      </g>
     </g>
    </g>
    <g id="text_15">
     <!-- Timing (µs) -->
     <g transform="translate(18.84125 183.101562) rotate(-90) scale(0.1 -0.1)">
      <defs>
       <path id="DejaVuSerif-54" d="M 1222 0 
L 1222 331 
L 1819 331 
L 1819 4294 
L 447 4294 
L 447 3566 
L 63 3566 
L 63 4666 
L 4206 4666 
L 4206 3566 
L 3822 3566 
L 3822 4294 
L 2450 4294 
L 2450 331 
L 3047 331 
L 3047 0 
L 1222 0 
z
" transform="scale(0.015625)"/>
       <path id="DejaVuSerif-6d" d="M 3316 2675 
Q 3481 3041 3739 3227 
Q 3997 3413 4341 3413 
Q 4863 3413 5119 3089 
Q 5375 2766 5375 2113 
L 5375 331 
L 5894 331 
L 5894 0 
L 4300 0 
L 4300 331 
L 4800 331 
L 4800 2047 
Q 4800 2556 4650 2772 
Q 4500 2988 4153 2988 
Q 3769 2988 3567 2697 
Q 3366 2406 3366 1850 
L 3366 331 
L 3866 331 
L 3866 0 
L 2291 0 
L 2291 331 
L 2791 331 
L 2791 2069 
Q 2791 2566 2641 2777 
Q 2491 2988 2144 2988 
Q 1759 2988 1557 2697 
Q 1356 2406 1356 1850 
L 1356 331 
L 1856 331 
L 1856 0 
L 263 0 
L 263 331 
L 781 331 
L 781 2994 
L 231 2994 
L 231 3322 
L 1356 3322 
L 1356 2731 
Q 1516 3063 1762 3238 
Q 2009 3413 2322 3413 
Q 2709 3413 2968 3220 
Q 3228 3028 3316 2675 
z
" transform="scale(0.015625)"/>
       <path id="DejaVuSerif-6e" d="M 263 0 
L 263 331 
L 781 331 
L 781 2988 
L 231 2988 
L 231 3322 
L 1356 3322 
L 1356 2731 
Q 1516 3069 1770 3241 
Q 2025 3413 2363 3413 
Q 2913 3413 3172 3097 
Q 3431 2781 3431 2113 
L 3431 331 
L 3944 331 
L 3944 0 
L 2356 0 
L 2356 331 
L 2853 331 
L 2853 1931 
Q 2853 2541 2703 2767 
Q 2553 2994 2175 2994 
Q 1775 2994 1565 2701 
Q 1356 2409 1356 1850 
L 1356 331 
L 1856 331 
L 1856 0 
L 263 0 
z
" transform="scale(0.015625)"/>
       <path id="DejaVuSerif-67" d="M 3359 2988 
L 3359 72 
Q 3359 -644 2965 -1033 
Q 2572 -1422 1844 -1422 
Q 1516 -1422 1216 -1362 
Q 916 -1303 641 -1184 
L 641 -488 
L 941 -488 
Q 997 -813 1206 -963 
Q 1416 -1113 1806 -1113 
Q 2313 -1113 2548 -827 
Q 2784 -541 2784 72 
L 2784 519 
Q 2616 206 2355 57 
Q 2094 -91 1709 -91 
Q 1097 -91 708 395 
Q 319 881 319 1663 
Q 319 2444 706 2928 
Q 1094 3413 1709 3413 
Q 2094 3413 2355 3264 
Q 2616 3116 2784 2803 
L 2784 3322 
L 3909 3322 
L 3909 2988 
L 3359 2988 
z
M 2784 1825 
Q 2784 2422 2554 2737 
Q 2325 3053 1888 3053 
Q 1444 3053 1217 2703 
Q 991 2353 991 1663 
Q 991 975 1217 622 
Q 1444 269 1888 269 
Q 2325 269 2554 583 
Q 2784 897 2784 1497 
L 2784 1825 
z
" transform="scale(0.015625)"/>
       <path id="DejaVuSerif-28" d="M 2041 -997 
Q 1281 -656 893 83 
Q 506 822 506 1931 
Q 506 3044 893 3783 
Q 1281 4522 2041 4863 
L 2041 4556 
Q 1559 4225 1350 3623 
Q 1141 3022 1141 1931 
Q 1141 844 1350 242 
Q 1559 -359 2041 -691 
L 2041 -997 
z
" transform="scale(0.015625)"/>
       <path id="DejaVuSerif-b5" d="M 2309 3322 
L 3384 3322 
L 3384 325 
L 3928 325 
L 3928 0 
L 2809 0 
L 2809 588 
Q 2647 256 2417 82 
Q 2188 -91 1906 -91 
Q 1728 -91 1581 -34 
Q 1434 22 1313 134 
L 1313 -997 
L 1856 -997 
L 1856 -1331 
L 184 -1331 
L 184 -997 
L 738 -997 
L 738 2988 
L 219 2988 
L 219 3322 
L 1313 3322 
L 1313 1388 
Q 1313 781 1463 556 
Q 1613 331 1991 331 
Q 2391 331 2600 625 
Q 2809 919 2809 1478 
L 2809 2988 
L 2309 2988 
L 2309 3322 
z
" transform="scale(0.015625)"/>
       <path id="DejaVuSerif-29" d="M 453 -997 
L 453 -691 
Q 934 -359 1145 242 
Q 1356 844 1356 1931 
Q 1356 3022 1145 3623 
Q 934 4225 453 4556 
L 453 4863 
Q 1216 4522 1603 3783 
Q 1991 3044 1991 1931 
Q 1991 822 1603 83 
Q 1216 -656 453 -997 
z
" transform="scale(0.015625)"/>
      </defs>
      <use xlink:href="#DejaVuSerif-54"/>
      <use xlink:href="#DejaVuSerif-69" x="66.699219"/>
      <use xlink:href="#DejaVuSerif-6d" x="98.681641"/>
      <use xlink:href="#DejaVuSerif-69" x="193.505859"/>
      <use xlink:href="#DejaVuSerif-6e" x="225.488281"/>
      <use xlink:href="#DejaVuSerif-67" x="289.892578"/>
      <use xlink:href="#DejaVuSerif-20" x="353.90625"/>
      <use xlink:href="#DejaVuSerif-28" x="385.693359"/>
      <use xlink:href="#DejaVuSerif-b5" x="424.707031"/>
      <use xlink:href="#DejaVuSerif-73" x="489.697266"/>
      <use xlink:href="#DejaVuSerif-29" x="541.015625"/>
     </g>
    </g>
   </g>
   <g id="line2d_14">
    <path d="M 72.16892 270.409091 
L 87.472481 254.902019 
L 118.079602 223.928293 
L 179.293845 161.886409 
L 301.72233 37.790909 
" clip-path="url(#pa4543bdba8)" style="fill: none; stroke: #1f77b4; stroke-width: 1.5; stroke-linecap: square"/>
   </g>
   <g id="line2d_15">
    <path d="M 72.16892 138.767737 
L 87.472481 137.682617 
L 118.079602 135.33235 
L 179.293845 130.657793 
L 301.72233 121.379633 
" clip-path="url(#pa4543bdba8)" style="fill: none; stroke: #ff7f0e; stroke-width: 1.5; stroke-linecap: square"/>
   </g>
   <g id="line2d_16">
    <path d="M 72.16892 118.545166 
L 87.472481 117.290211 
L 118.079602 114.96127 
L 179.293845 110.313095 
L 301.72233 101.038997 
" clip-path="url(#pa4543bdba8)" style="fill: none; stroke: #2ca02c; stroke-width: 1.5; stroke-linecap: square"/>
   </g>
   <g id="line2d_17">
    <path d="M 72.16892 139.494211 
L 87.472481 138.714212 
L 118.079602 137.028341 
L 179.293845 133.717845 
L 301.72233 127.100272 
" clip-path="url(#pa4543bdba8)" style="fill: none; stroke: #d62728; stroke-width: 1.5; stroke-linecap: square"/>
   </g>
   <g id="line2d_18">
    <path d="M 72.16892 119.586545 
L 87.472481 119.34647 
L 118.079602 118.483382 
L 179.293845 117.191248 
L 301.72233 114.44365 
" clip-path="url(#pa4543bdba8)" style="fill: none; stroke: #9467bd; stroke-width: 1.5; stroke-linecap: square"/>
   </g>
   <g id="patch_3">
    <path d="M 60.69125 282.04 
L 60.69125 26.16 
" style="fill: none; stroke: #000000; stroke-width: 0.8; stroke-linejoin: miter; stroke-linecap: square"/>
   </g>
   <g id="patch_4">
    <path d="M 313.2 282.04 
L 313.2 26.16 
" style="fill: none; stroke: #000000; stroke-width: 0.8; stroke-linejoin: miter; stroke-linecap: square"/>
   </g>
   <g id="patch_5">
    <path d="M 60.69125 282.04 
L 313.2 282.04 
" style="fill: none; stroke: #000000; stroke-width: 0.8; stroke-linejoin: miter; stroke-linecap: square"/>
   </g>
   <g id="patch_6">
    <path d="M 60.69125 26.16 
L 313.2 26.16 
" style="fill: none; stroke: #000000; stroke-width: 0.8; stroke-linejoin: miter; stroke-linecap: square"/>
   </g>
   <g id="text_16">
    <!-- Verify batch -->
    <g transform="translate(150.25 20.16) scale(0.12 -0.12)">
     <defs>
      <path id="DejaVuSerif-56" d="M 1119 4331 
L 2497 750 
L 3872 4331 
L 3347 4331 
L 3347 4666 
L 4716 4666 
L 4716 4331 
L 4263 4331 
L 2597 0 
L 2059 0 
L 403 4331 
L -63 4331 
L -63 4666 
L 1638 4666 
L 1638 4331 
L 1119 4331 
z
" transform="scale(0.015625)"/>
      <path id="DejaVuSerif-72" d="M 3059 3328 
L 3059 2497 
L 2728 2497 
Q 2713 2744 2591 2866 
Q 2469 2988 2234 2988 
Q 1809 2988 1582 2694 
Q 1356 2400 1356 1850 
L 1356 331 
L 2022 331 
L 2022 0 
L 263 0 
L 263 331 
L 781 331 
L 781 2994 
L 231 2994 
L 231 3322 
L 1356 3322 
L 1356 2731 
Q 1525 3078 1790 3245 
Q 2056 3413 2438 3413 
Q 2578 3413 2733 3391 
Q 2888 3369 3059 3328 
z
" transform="scale(0.015625)"/>
      <path id="DejaVuSerif-66" d="M 2753 4078 
L 2450 4078 
Q 2447 4313 2317 4434 
Q 2188 4556 1941 4556 
Q 1619 4556 1487 4379 
Q 1356 4203 1356 3750 
L 1356 3322 
L 2284 3322 
L 2284 2988 
L 1356 2988 
L 1356 331 
L 2094 331 
L 2094 0 
L 231 0 
L 231 331 
L 781 331 
L 781 2988 
L 231 2988 
L 231 3322 
L 781 3322 
L 781 3738 
Q 781 4294 1070 4578 
Q 1359 4863 1919 4863 
Q 2128 4863 2337 4825 
Q 2547 4788 2753 4709 
L 2753 4078 
z
" transform="scale(0.015625)"/>
      <path id="DejaVuSerif-79" d="M 1381 -609 
L 1600 -56 
L 359 2988 
L -19 2988 
L -19 3322 
L 1509 3322 
L 1509 2988 
L 978 2988 
L 1913 703 
L 2847 2988 
L 2350 2988 
L 2350 3322 
L 3597 3322 
L 3597 2988 
L 3225 2988 
L 1703 -750 
Q 1547 -1138 1356 -1280 
Q 1166 -1422 819 -1422 
Q 672 -1422 517 -1397 
Q 363 -1372 206 -1325 
L 206 -691 
L 500 -691 
Q 519 -903 608 -995 
Q 697 -1088 884 -1088 
Q 1056 -1088 1161 -992 
Q 1266 -897 1381 -609 
z
" transform="scale(0.015625)"/>
      <path id="DejaVuSerif-62" d="M 738 331 
L 738 4531 
L 184 4531 
L 184 4863 
L 1313 4863 
L 1313 2803 
Q 1481 3116 1742 3264 
Q 2003 3413 2388 3413 
Q 3000 3413 3387 2928 
Q 3775 2444 3775 1663 
Q 3775 881 3387 395 
Q 3000 -91 2388 -91 
Q 2003 -91 1742 57 
Q 1481 206 1313 519 
L 1313 0 
L 184 0 
L 184 331 
L 738 331 
z
M 1313 1497 
Q 1313 897 1542 583 
Q 1772 269 2209 269 
Q 2650 269 2876 622 
Q 3103 975 3103 1663 
Q 3103 2353 2876 2703 
Q 2650 3053 2209 3053 
Q 1772 3053 1542 2737 
Q 1313 2422 1313 1825 
L 1313 1497 
z
" transform="scale(0.015625)"/>
     </defs>
     <use xlink:href="#DejaVuSerif-56"/>
     <use xlink:href="#DejaVuSerif-65" x="63.091797"/>
     <use xlink:href="#DejaVuSerif-72" x="122.271484"/>
     <use xlink:href="#DejaVuSerif-69" x="170.074219"/>
     <use xlink:href="#DejaVuSerif-66" x="202.056641"/>
     <use xlink:href="#DejaVuSerif-79" x="239.068359"/>
     <use xlink:href="#DejaVuSerif-20" x="295.5625"/>
     <use xlink:href="#DejaVuSerif-62" x="327.349609"/>
     <use xlink:href="#DejaVuSerif-61" x="391.363281"/>
     <use xlink:href="#DejaVuSerif-74" x="450.982422"/>
     <use xlink:href="#DejaVuSerif-63" x="491.167969"/>
     <use xlink:href="#DejaVuSerif-68" x="547.173828"/>
    </g>
   </g>
   <g id="legend_1">
    <g id="patch_7">
     <path d="M 122.053125 277.04 
L 306.2 277.04 
Q 308.2 277.04 308.2 275.04 
L 308.2 201.25875 
Q 308.2 199.25875 306.2 199.25875 
L 122.053125 199.25875 
Q 120.053125 199.25875 120.053125 201.25875 
L 120.053125 275.04 
Q 120.053125 277.04 122.053125 277.04 
z
" style="fill: #ffffff; opacity: 0.8; stroke: #cccccc; stroke-linejoin: miter"/>
    </g>
    <g id="line2d_19">
     <path d="M 124.053125 207.357188 
L 134.053125 207.357188 
L 144.053125 207.357188 
" style="fill: none; stroke: #1f77b4; stroke-width: 1.5; stroke-linecap: square"/>
    </g>
    <g id="text_17">
     <!-- Ed25519_batch -->
     <g transform="translate(152.053125 210.857188) scale(0.1 -0.1)">
      <defs>
       <path id="DejaVuSerif-45" d="M 353 0 
L 353 331 
L 947 331 
L 947 4331 
L 353 4331 
L 353 4666 
L 4109 4666 
L 4109 3628 
L 3725 3628 
L 3725 4281 
L 1581 4281 
L 1581 2719 
L 3109 2719 
L 3109 3303 
L 3494 3303 
L 3494 1753 
L 3109 1753 
L 3109 2338 
L 1581 2338 
L 1581 384 
L 3775 384 
L 3775 1038 
L 4159 1038 
L 4159 0 
L 353 0 
z
" transform="scale(0.015625)"/>
       <path id="DejaVuSerif-64" d="M 3359 331 
L 3909 331 
L 3909 0 
L 2784 0 
L 2784 519 
Q 2616 206 2355 57 
Q 2094 -91 1709 -91 
Q 1097 -91 708 395 
Q 319 881 319 1663 
Q 319 2444 706 2928 
Q 1094 3413 1709 3413 
Q 2094 3413 2355 3264 
Q 2616 3116 2784 2803 
L 2784 4531 
L 2241 4531 
L 2241 4863 
L 3359 4863 
L 3359 331 
z
M 2784 1497 
L 2784 1825 
Q 2784 2422 2554 2737 
Q 2325 3053 1888 3053 
Q 1444 3053 1217 2703 
Q 991 2353 991 1663 
Q 991 975 1217 622 
Q 1444 269 1888 269 
Q 2325 269 2554 583 
Q 2784 897 2784 1497 
z
" transform="scale(0.015625)"/>
       <path id="DejaVuSerif-39" d="M 2994 2091 
Q 2784 1856 2512 1740 
Q 2241 1625 1900 1625 
Q 1206 1625 804 2044 
Q 403 2463 403 3188 
Q 403 3897 839 4323 
Q 1275 4750 2003 4750 
Q 2794 4750 3217 4161 
Q 3641 3572 3641 2478 
Q 3641 1253 3137 581 
Q 2634 -91 1722 -91 
Q 1475 -91 1203 -44 
Q 931 3 647 97 
L 647 872 
L 997 872 
Q 1038 556 1241 387 
Q 1444 219 1784 219 
Q 2391 219 2687 676 
Q 2984 1134 2994 2091 
z
M 1978 4441 
Q 1534 4441 1298 4117 
Q 1063 3794 1063 3188 
Q 1063 2581 1298 2256 
Q 1534 1931 1978 1931 
Q 2422 1931 2658 2245 
Q 2894 2559 2894 3150 
Q 2894 3772 2656 4106 
Q 2419 4441 1978 4441 
z
" transform="scale(0.015625)"/>
       <path id="DejaVuSerif-5f" d="M 3200 -1259 
L 3200 -1509 
L 0 -1509 
L 0 -1259 
L 3200 -1259 
z
" transform="scale(0.015625)"/>
      </defs>
      <use xlink:href="#DejaVuSerif-45"/>
      <use xlink:href="#DejaVuSerif-64" x="72.998047"/>
      <use xlink:href="#DejaVuSerif-32" x="137.011719"/>
      <use xlink:href="#DejaVuSerif-35" x="200.634766"/>
      <use xlink:href="#DejaVuSerif-35" x="264.257812"/>
      <use xlink:href="#DejaVuSerif-31" x="327.880859"/>
      <use xlink:href="#DejaVuSerif-39" x="391.503906"/>
      <use xlink:href="#DejaVuSerif-5f" x="455.126953"/>
      <use xlink:href="#DejaVuSerif-62" x="505.126953"/>
      <use xlink:href="#DejaVuSerif-61" x="569.140625"/>
      <use xlink:href="#DejaVuSerif-74" x="628.759766"/>
      <use xlink:href="#DejaVuSerif-63" x="668.945312"/>
      <use xlink:href="#DejaVuSerif-68" x="724.951172"/>
     </g>
    </g>
    <g id="line2d_20">
     <path d="M 124.053125 222.313438 
L 134.053125 222.313438 
L 144.053125 222.313438 
" style="fill: none; stroke: #ff7f0e; stroke-width: 1.5; stroke-linecap: square"/>
    </g>
    <g id="text_18">
     <!-- BLS12381MinSig_batched -->
     <g transform="translate(152.053125 225.813438) scale(0.1 -0.1)">
      <defs>
       <path id="DejaVuSerif-4c" d="M 353 0 
L 353 331 
L 947 331 
L 947 4331 
L 353 4331 
L 353 4666 
L 2175 4666 
L 2175 4331 
L 1581 4331 
L 1581 384 
L 3713 384 
L 3713 1166 
L 4097 1166 
L 4097 0 
L 353 0 
z
" transform="scale(0.015625)"/>
       <path id="DejaVuSerif-53" d="M 594 225 
L 594 1288 
L 953 1284 
Q 969 753 1261 498 
Q 1553 244 2150 244 
Q 2706 244 2998 464 
Q 3291 684 3291 1106 
Q 3291 1444 3114 1625 
Q 2938 1806 2369 1978 
L 1753 2163 
Q 1084 2366 811 2669 
Q 538 2972 538 3500 
Q 538 4094 959 4422 
Q 1381 4750 2144 4750 
Q 2469 4750 2856 4679 
Q 3244 4609 3681 4475 
L 3681 3481 
L 3328 3481 
Q 3275 3975 2998 4195 
Q 2722 4416 2156 4416 
Q 1663 4416 1405 4214 
Q 1147 4013 1147 3628 
Q 1147 3294 1340 3103 
Q 1534 2913 2163 2725 
L 2741 2553 
Q 3375 2363 3645 2067 
Q 3916 1772 3916 1275 
Q 3916 597 3481 253 
Q 3047 -91 2188 -91 
Q 1803 -91 1404 -12 
Q 1006 66 594 225 
z
" transform="scale(0.015625)"/>
       <path id="DejaVuSerif-38" d="M 2981 1275 
Q 2981 1775 2732 2051 
Q 2484 2328 2034 2328 
Q 1584 2328 1336 2051 
Q 1088 1775 1088 1275 
Q 1088 772 1336 495 
Q 1584 219 2034 219 
Q 2484 219 2732 495 
Q 2981 772 2981 1275 
z
M 2853 3541 
Q 2853 3966 2637 4203 
Q 2422 4441 2034 4441 
Q 1650 4441 1433 4203 
Q 1216 3966 1216 3541 
Q 1216 3113 1433 2875 
Q 1650 2638 2034 2638 
Q 2422 2638 2637 2875 
Q 2853 3113 2853 3541 
z
M 2516 2484 
Q 3047 2413 3344 2092 
Q 3641 1772 3641 1275 
Q 3641 619 3225 264 
Q 2809 -91 2034 -91 
Q 1263 -91 845 264 
Q 428 619 428 1275 
Q 428 1772 725 2092 
Q 1022 2413 1556 2484 
Q 1084 2569 832 2842 
Q 581 3116 581 3541 
Q 581 4103 968 4426 
Q 1356 4750 2034 4750 
Q 2713 4750 3100 4426 
Q 3488 4103 3488 3541 
Q 3488 3116 3236 2842 
Q 2984 2569 2516 2484 
z
" transform="scale(0.015625)"/>
       <path id="DejaVuSerif-4d" d="M 353 0 
L 353 331 
L 947 331 
L 947 4331 
L 319 4331 
L 319 4666 
L 1678 4666 
L 3316 1344 
L 4953 4666 
L 6228 4666 
L 6228 4331 
L 5606 4331 
L 5606 331 
L 6203 331 
L 6203 0 
L 4378 0 
L 4378 331 
L 4972 331 
L 4972 3938 
L 3372 684 
L 2931 684 
L 1331 3938 
L 1331 331 
L 1925 331 
L 1925 0 
L 353 0 
z
" transform="scale(0.015625)"/>
      </defs>
      <use xlink:href="#DejaVuSerif-42"/>
      <use xlink:href="#DejaVuSerif-4c" x="73.486328"/>
      <use xlink:href="#DejaVuSerif-53" x="139.892578"/>
      <use xlink:href="#DejaVuSerif-31" x="208.398438"/>
      <use xlink:href="#DejaVuSerif-32" x="272.021484"/>
      <use xlink:href="#DejaVuSerif-33" x="335.644531"/>
      <use xlink:href="#DejaVuSerif-38" x="399.267578"/>
      <use xlink:href="#DejaVuSerif-31" x="462.890625"/>
      <use xlink:href="#DejaVuSerif-4d" x="526.513672"/>
      <use xlink:href="#DejaVuSerif-69" x="628.90625"/>
      <use xlink:href="#DejaVuSerif-6e" x="660.888672"/>
      <use xlink:href="#DejaVuSerif-53" x="725.292969"/>
      <use xlink:href="#DejaVuSerif-69" x="793.798828"/>
      <use xlink:href="#DejaVuSerif-67" x="825.78125"/>
      <use xlink:href="#DejaVuSerif-5f" x="889.794922"/>
      <use xlink:href="#DejaVuSerif-62" x="939.794922"/>
      <use xlink:href="#DejaVuSerif-61" x="1003.808594"/>
      <use xlink:href="#DejaVuSerif-74" x="1063.427734"/>
      <use xlink:href="#DejaVuSerif-63" x="1103.613281"/>
      <use xlink:href="#DejaVuSerif-68" x="1159.619141"/>
      <use xlink:href="#DejaVuSerif-65" x="1224.023438"/>
      <use xlink:href="#DejaVuSerif-64" x="1283.203125"/>
     </g>
    </g>
    <g id="line2d_21">
     <path d="M 124.053125 237.269688 
L 134.053125 237.269688 
L 144.053125 237.269688 
" style="fill: none; stroke: #2ca02c; stroke-width: 1.5; stroke-linecap: square"/>
    </g>
    <g id="text_19">
     <!-- BLS12381MinPk_batched -->
     <g transform="translate(152.053125 240.769688) scale(0.1 -0.1)">
      <defs>
       <path id="DejaVuSerif-50" d="M 1581 2375 
L 2406 2375 
Q 2872 2375 3115 2626 
Q 3359 2878 3359 3353 
Q 3359 3831 3115 4081 
Q 2872 4331 2406 4331 
L 1581 4331 
L 1581 2375 
z
M 353 0 
L 353 331 
L 947 331 
L 947 4331 
L 353 4331 
L 353 4666 
L 2559 4666 
Q 3259 4666 3668 4311 
Q 4078 3956 4078 3353 
Q 4078 2753 3668 2397 
Q 3259 2041 2559 2041 
L 1581 2041 
L 1581 331 
L 2303 331 
L 2303 0 
L 353 0 
z
" transform="scale(0.015625)"/>
       <path id="DejaVuSerif-6b" d="M 1831 0 
L 219 0 
L 219 331 
L 738 331 
L 738 4531 
L 184 4531 
L 184 4863 
L 1313 4863 
L 1313 1697 
L 2713 2988 
L 2234 2988 
L 2234 3322 
L 3738 3322 
L 3738 2988 
L 3169 2988 
L 2181 2075 
L 3444 331 
L 3922 331 
L 3922 0 
L 2284 0 
L 2284 331 
L 2759 331 
L 1766 1697 
L 1313 1275 
L 1313 331 
L 1831 331 
L 1831 0 
z
" transform="scale(0.015625)"/>
      </defs>
      <use xlink:href="#DejaVuSerif-42"/>
      <use xlink:href="#DejaVuSerif-4c" x="73.486328"/>
      <use xlink:href="#DejaVuSerif-53" x="139.892578"/>
      <use xlink:href="#DejaVuSerif-31" x="208.398438"/>
      <use xlink:href="#DejaVuSerif-32" x="272.021484"/>
      <use xlink:href="#DejaVuSerif-33" x="335.644531"/>
      <use xlink:href="#DejaVuSerif-38" x="399.267578"/>
      <use xlink:href="#DejaVuSerif-31" x="462.890625"/>
      <use xlink:href="#DejaVuSerif-4d" x="526.513672"/>
      <use xlink:href="#DejaVuSerif-69" x="628.90625"/>
      <use xlink:href="#DejaVuSerif-6e" x="660.888672"/>
      <use xlink:href="#DejaVuSerif-50" x="725.292969"/>
      <use xlink:href="#DejaVuSerif-6b" x="792.578125"/>
      <use xlink:href="#DejaVuSerif-5f" x="853.173828"/>
      <use xlink:href="#DejaVuSerif-62" x="903.173828"/>
      <use xlink:href="#DejaVuSerif-61" x="967.1875"/>
      <use xlink:href="#DejaVuSerif-74" x="1026.806641"/>
      <use xlink:href="#DejaVuSerif-63" x="1066.992188"/>
      <use xlink:href="#DejaVuSerif-68" x="1122.998047"/>
      <use xlink:href="#DejaVuSerif-65" x="1187.402344"/>
      <use xlink:href="#DejaVuSerif-64" x="1246.582031"/>
     </g>
    </g>
    <g id="line2d_22">
     <path d="M 124.053125 252.225938 
L 134.053125 252.225938 
L 144.053125 252.225938 
" style="fill: none; stroke: #d62728; stroke-width: 1.5; stroke-linecap: square"/>
    </g>
    <g id="text_20">
     <!-- BLS12381MinSig_aggregated -->
     <g transform="translate(152.053125 255.725938) scale(0.1 -0.1)">
      <use xlink:href="#DejaVuSerif-42"/>
      <use xlink:href="#DejaVuSerif-4c" x="73.486328"/>
      <use xlink:href="#DejaVuSerif-53" x="139.892578"/>
      <use xlink:href="#DejaVuSerif-31" x="208.398438"/>
      <use xlink:href="#DejaVuSerif-32" x="272.021484"/>
      <use xlink:href="#DejaVuSerif-33" x="335.644531"/>
      <use xlink:href="#DejaVuSerif-38" x="399.267578"/>
      <use xlink:href="#DejaVuSerif-31" x="462.890625"/>
      <use xlink:href="#DejaVuSerif-4d" x="526.513672"/>
      <use xlink:href="#DejaVuSerif-69" x="628.90625"/>
      <use xlink:href="#DejaVuSerif-6e" x="660.888672"/>
      <use xlink:href="#DejaVuSerif-53" x="725.292969"/>
      <use xlink:href="#DejaVuSerif-69" x="793.798828"/>
      <use xlink:href="#DejaVuSerif-67" x="825.78125"/>
      <use xlink:href="#DejaVuSerif-5f" x="889.794922"/>
      <use xlink:href="#DejaVuSerif-61" x="939.794922"/>
      <use xlink:href="#DejaVuSerif-67" x="999.414062"/>
      <use xlink:href="#DejaVuSerif-67" x="1063.427734"/>
      <use xlink:href="#DejaVuSerif-72" x="1127.441406"/>
      <use xlink:href="#DejaVuSerif-65" x="1175.244141"/>
      <use xlink:href="#DejaVuSerif-67" x="1234.423828"/>
      <use xlink:href="#DejaVuSerif-61" x="1298.4375"/>
      <use xlink:href="#DejaVuSerif-74" x="1358.056641"/>
      <use xlink:href="#DejaVuSerif-65" x="1398.242188"/>
      <use xlink:href="#DejaVuSerif-64" x="1457.421875"/>
     </g>
    </g>
    <g id="line2d_23">
     <path d="M 124.053125 267.182187 
L 134.053125 267.182187 
L 144.053125 267.182187 
" style="fill: none; stroke: #9467bd; stroke-width: 1.5; stroke-linecap: square"/>
    </g>
    <g id="text_21">
     <!-- BLS12381MinPk_aggregated -->
     <g transform="translate(152.053125 270.682187) scale(0.1 -0.1)">
      <use xlink:href="#DejaVuSerif-42"/>
      <use xlink:href="#DejaVuSerif-4c" x="73.486328"/>
      <use xlink:href="#DejaVuSerif-53" x="139.892578"/>
      <use xlink:href="#DejaVuSerif-31" x="208.398438"/>
      <use xlink:href="#DejaVuSerif-32" x="272.021484"/>
      <use xlink:href="#DejaVuSerif-33" x="335.644531"/>
      <use xlink:href="#DejaVuSerif-38" x="399.267578"/>
      <use xlink:href="#DejaVuSerif-31" x="462.890625"/>
      <use xlink:href="#DejaVuSerif-4d" x="526.513672"/>
      <use xlink:href="#DejaVuSerif-69" x="628.90625"/>
      <use xlink:href="#DejaVuSerif-6e" x="660.888672"/>
      <use xlink:href="#DejaVuSerif-50" x="725.292969"/>
      <use xlink:href="#DejaVuSerif-6b" x="792.578125"/>
      <use xlink:href="#DejaVuSerif-5f" x="853.173828"/>
      <use xlink:href="#DejaVuSerif-61" x="903.173828"/>
      <use xlink:href="#DejaVuSerif-67" x="962.792969"/>
      <use xlink:href="#DejaVuSerif-67" x="1026.806641"/>
      <use xlink:href="#DejaVuSerif-72" x="1090.820312"/>
      <use xlink:href="#DejaVuSerif-65" x="1138.623047"/>
      <use xlink:href="#DejaVuSerif-67" x="1197.802734"/>
      <use xlink:href="#DejaVuSerif-61" x="1261.816406"/>
      <use xlink:href="#DejaVuSerif-74" x="1321.435547"/>
      <use xlink:href="#DejaVuSerif-65" x="1361.621094"/>
      <use xlink:href="#DejaVuSerif-64" x="1420.800781"/>
     </g>
    </g>
   </g>
  </g>
 </g>
 <defs>
  <clipPath id="pa4543bdba8">
   <rect x="60.69125" y="26.16" width="252.50875" height="255.88"/>
  </clipPath>
 </defs>
</svg>