Skip to content

Instantly share code, notes, and snippets.

@yongkangc

yongkangc/from_reverts_bench.md

Created December 1, 2025 06:40
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save yongkangc/0f847a054db12943aff7a0ba1c630054 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save yongkangc/0f847a054db12943aff7a0ba1c630054 to your computer and use it in GitHub Desktop.
Download ZIP
reth from_reverts bench
Raw
from_reverts_bench.md

from_reverts bench (reth-trie-db)

Dataset: 1 block of 256 accounts × 4 slots (Account/StorageChangeSets). Keccak hashing.

Results (Criterion, 100 samples, flat sampling):

  • from_reverts unsorted → 872.3 µs (median)
  • from_reverts sorted → 882.1 µs (median)

Observation: the sorted path is ~1.1% slower on this small dataset. The extra sort avoidance isn’t visible at this scale; overhead likely dominated by hashing and cursor walks. Larger or more skewed datasets may show wins; this run mostly confirms parity.

Command: CARGO_TARGET_DIR=./target cargo bench -p reth-trie-db from_reverts

Display the source blob
Display the rendered blob
Raw
from_reverts_bench.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="288pt" height="216pt" viewBox="0 0 288 216" 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>2025-12-01T06:34:10.292573</dc:date>
<dc:format>image/svg+xml</dc:format>
<dc:creator>
<cc:Agent>
<dc:title>Matplotlib v3.10.1, https://matplotlib.org/</dc:title>
</cc:Agent>
</dc:creator>
</cc:Work>
</rdf:RDF>
</metadata>
<defs>
<style type="text/css">*{stroke-linejoin: round; stroke-linecap: butt}</style>
</defs>
<g id="figure_1">
<g id="patch_1">
<path d="M 0 216
L 288 216
L 288 0
L 0 0
z
" style="fill: #ffffff"/>
</g>
<g id="axes_1">
<g id="patch_2">
<path d="M 50.87 188.12
L 277.2 188.12
L 277.2 26.88
L 50.87 26.88
z
" style="fill: #ffffff"/>
</g>
<g id="patch_3">
<path d="M 61.157727 188.12
L 138.315682 188.12
L 138.315682 36.27285
L 61.157727 36.27285
z
" clip-path="url(#p57fd0a9104)" style="fill: #1f77b4"/>
</g>
<g id="patch_4">
<path d="M 189.754318 188.12
L 266.912273 188.12
L 266.912273 34.558095
L 189.754318 34.558095
z
" clip-path="url(#p57fd0a9104)" style="fill: #ff7f0e"/>
</g>
<g id="matplotlib.axis_1">
<g id="xtick_1">
<g id="line2d_1">
<defs>
<path id="m9923ec2379" d="M 0 0
L 0 3.5
" style="stroke: #000000; stroke-width: 0.8"/>
</defs>
<g>
<use xlink:href="#m9923ec2379" x="99.736705" y="188.12" style="stroke: #000000; stroke-width: 0.8"/>
</g>
</g>
<g id="text_1">
<!-- unsorted -->
<g transform="translate(77.468736 202.718437) scale(0.1 -0.1)">
<defs>
<path id="DejaVuSans-75" d="M 544 1381
L 544 3500
L 1119 3500
L 1119 1403
Q 1119 906 1312 657
Q 1506 409 1894 409
Q 2359 409 2629 706
Q 2900 1003 2900 1516
L 2900 3500
L 3475 3500
L 3475 0
L 2900 0
L 2900 538
Q 2691 219 2414 64
Q 2138 -91 1772 -91
Q 1169 -91 856 284
Q 544 659 544 1381
z
M 1991 3584
L 1991 3584
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-6e" d="M 3513 2113
L 3513 0
L 2938 0
L 2938 2094
Q 2938 2591 2744 2837
Q 2550 3084 2163 3084
Q 1697 3084 1428 2787
Q 1159 2491 1159 1978
L 1159 0
L 581 0
L 581 3500
L 1159 3500
L 1159 2956
Q 1366 3272 1645 3428
Q 1925 3584 2291 3584
Q 2894 3584 3203 3211
Q 3513 2838 3513 2113
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-73" d="M 2834 3397
L 2834 2853
Q 2591 2978 2328 3040
Q 2066 3103 1784 3103
Q 1356 3103 1142 2972
Q 928 2841 928 2578
Q 928 2378 1081 2264
Q 1234 2150 1697 2047
L 1894 2003
Q 2506 1872 2764 1633
Q 3022 1394 3022 966
Q 3022 478 2636 193
Q 2250 -91 1575 -91
Q 1294 -91 989 -36
Q 684 19 347 128
L 347 722
Q 666 556 975 473
Q 1284 391 1588 391
Q 1994 391 2212 530
Q 2431 669 2431 922
Q 2431 1156 2273 1281
Q 2116 1406 1581 1522
L 1381 1569
Q 847 1681 609 1914
Q 372 2147 372 2553
Q 372 3047 722 3315
Q 1072 3584 1716 3584
Q 2034 3584 2315 3537
Q 2597 3491 2834 3397
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-6f" d="M 1959 3097
Q 1497 3097 1228 2736
Q 959 2375 959 1747
Q 959 1119 1226 758
Q 1494 397 1959 397
Q 2419 397 2687 759
Q 2956 1122 2956 1747
Q 2956 2369 2687 2733
Q 2419 3097 1959 3097
z
M 1959 3584
Q 2709 3584 3137 3096
Q 3566 2609 3566 1747
Q 3566 888 3137 398
Q 2709 -91 1959 -91
Q 1206 -91 779 398
Q 353 888 353 1747
Q 353 2609 779 3096
Q 1206 3584 1959 3584
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-72" d="M 2631 2963
Q 2534 3019 2420 3045
Q 2306 3072 2169 3072
Q 1681 3072 1420 2755
Q 1159 2438 1159 1844
L 1159 0
L 581 0
L 581 3500
L 1159 3500
L 1159 2956
Q 1341 3275 1631 3429
Q 1922 3584 2338 3584
Q 2397 3584 2469 3576
Q 2541 3569 2628 3553
L 2631 2963
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-74" d="M 1172 4494
L 1172 3500
L 2356 3500
L 2356 3053
L 1172 3053
L 1172 1153
Q 1172 725 1289 603
Q 1406 481 1766 481
L 2356 481
L 2356 0
L 1766 0
Q 1100 0 847 248
Q 594 497 594 1153
L 594 3053
L 172 3053
L 172 3500
L 594 3500
L 594 4494
L 1172 4494
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-65" d="M 3597 1894
L 3597 1613
L 953 1613
Q 991 1019 1311 708
Q 1631 397 2203 397
Q 2534 397 2845 478
Q 3156 559 3463 722
L 3463 178
Q 3153 47 2828 -22
Q 2503 -91 2169 -91
Q 1331 -91 842 396
Q 353 884 353 1716
Q 353 2575 817 3079
Q 1281 3584 2069 3584
Q 2775 3584 3186 3129
Q 3597 2675 3597 1894
z
M 3022 2063
Q 3016 2534 2758 2815
Q 2500 3097 2075 3097
Q 1594 3097 1305 2825
Q 1016 2553 972 2059
L 3022 2063
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-64" d="M 2906 2969
L 2906 4863
L 3481 4863
L 3481 0
L 2906 0
L 2906 525
Q 2725 213 2448 61
Q 2172 -91 1784 -91
Q 1150 -91 751 415
Q 353 922 353 1747
Q 353 2572 751 3078
Q 1150 3584 1784 3584
Q 2172 3584 2448 3432
Q 2725 3281 2906 2969
z
M 947 1747
Q 947 1113 1208 752
Q 1469 391 1925 391
Q 2381 391 2643 752
Q 2906 1113 2906 1747
Q 2906 2381 2643 2742
Q 2381 3103 1925 3103
Q 1469 3103 1208 2742
Q 947 2381 947 1747
z
" transform="scale(0.015625)"/>
</defs>
<use xlink:href="#DejaVuSans-75"/>
<use xlink:href="#DejaVuSans-6e" transform="translate(63.378906 0)"/>
<use xlink:href="#DejaVuSans-73" transform="translate(126.757812 0)"/>
<use xlink:href="#DejaVuSans-6f" transform="translate(178.857422 0)"/>
<use xlink:href="#DejaVuSans-72" transform="translate(240.039062 0)"/>
<use xlink:href="#DejaVuSans-74" transform="translate(281.152344 0)"/>
<use xlink:href="#DejaVuSans-65" transform="translate(320.361328 0)"/>
<use xlink:href="#DejaVuSans-64" transform="translate(381.884766 0)"/>
</g>
</g>
</g>
<g id="xtick_2">
<g id="line2d_2">
<g>
<use xlink:href="#m9923ec2379" x="228.333295" y="188.12" style="stroke: #000000; stroke-width: 0.8"/>
</g>
</g>
<g id="text_2">
<!-- sorted -->
<g transform="translate(212.402827 202.718437) scale(0.1 -0.1)">
<use xlink:href="#DejaVuSans-73"/>
<use xlink:href="#DejaVuSans-6f" transform="translate(52.099609 0)"/>
<use xlink:href="#DejaVuSans-72" transform="translate(113.28125 0)"/>
<use xlink:href="#DejaVuSans-74" transform="translate(154.394531 0)"/>
<use xlink:href="#DejaVuSans-65" transform="translate(193.603516 0)"/>
<use xlink:href="#DejaVuSans-64" transform="translate(255.126953 0)"/>
</g>
</g>
</g>
</g>
<g id="matplotlib.axis_2">
<g id="ytick_1">
<g id="line2d_3">
<defs>
<path id="m7df366dcc1" d="M 0 0
L -3.5 0
" style="stroke: #000000; stroke-width: 0.8"/>
</defs>
<g>
<use xlink:href="#m7df366dcc1" x="50.87" y="188.12" style="stroke: #000000; stroke-width: 0.8"/>
</g>
</g>
<g id="text_3">
<!-- 0 -->
<g transform="translate(37.5075 191.919219) scale(0.1 -0.1)">
<defs>
<path id="DejaVuSans-30" d="M 2034 4250
Q 1547 4250 1301 3770
Q 1056 3291 1056 2328
Q 1056 1369 1301 889
Q 1547 409 2034 409
Q 2525 409 2770 889
Q 3016 1369 3016 2328
Q 3016 3291 2770 3770
Q 2525 4250 2034 4250
z
M 2034 4750
Q 2819 4750 3233 4129
Q 3647 3509 3647 2328
Q 3647 1150 3233 529
Q 2819 -91 2034 -91
Q 1250 -91 836 529
Q 422 1150 422 2328
Q 422 3509 836 4129
Q 1250 4750 2034 4750
z
" transform="scale(0.015625)"/>
</defs>
<use xlink:href="#DejaVuSans-30"/>
</g>
</g>
</g>
<g id="ytick_2">
<g id="line2d_4">
<g>
<use xlink:href="#m7df366dcc1" x="50.87" y="153.302654" style="stroke: #000000; stroke-width: 0.8"/>
</g>
</g>
<g id="text_4">
<!-- 200 -->
<g transform="translate(24.7825 157.101873) scale(0.1 -0.1)">
<defs>
<path id="DejaVuSans-32" d="M 1228 531
L 3431 531
L 3431 0
L 469 0
L 469 531
Q 828 903 1448 1529
Q 2069 2156 2228 2338
Q 2531 2678 2651 2914
Q 2772 3150 2772 3378
Q 2772 3750 2511 3984
Q 2250 4219 1831 4219
Q 1534 4219 1204 4116
Q 875 4013 500 3803
L 500 4441
Q 881 4594 1212 4672
Q 1544 4750 1819 4750
Q 2544 4750 2975 4387
Q 3406 4025 3406 3419
Q 3406 3131 3298 2873
Q 3191 2616 2906 2266
Q 2828 2175 2409 1742
Q 1991 1309 1228 531
z
" transform="scale(0.015625)"/>
</defs>
<use xlink:href="#DejaVuSans-32"/>
<use xlink:href="#DejaVuSans-30" transform="translate(63.623047 0)"/>
<use xlink:href="#DejaVuSans-30" transform="translate(127.246094 0)"/>
</g>
</g>
</g>
<g id="ytick_3">
<g id="line2d_5">
<g>
<use xlink:href="#m7df366dcc1" x="50.87" y="118.485308" style="stroke: #000000; stroke-width: 0.8"/>
</g>
</g>
<g id="text_5">
<!-- 400 -->
<g transform="translate(24.7825 122.284527) scale(0.1 -0.1)">
<defs>
<path id="DejaVuSans-34" d="M 2419 4116
L 825 1625
L 2419 1625
L 2419 4116
z
M 2253 4666
L 3047 4666
L 3047 1625
L 3713 1625
L 3713 1100
L 3047 1100
L 3047 0
L 2419 0
L 2419 1100
L 313 1100
L 313 1709
L 2253 4666
z
" transform="scale(0.015625)"/>
</defs>
<use xlink:href="#DejaVuSans-34"/>
<use xlink:href="#DejaVuSans-30" transform="translate(63.623047 0)"/>
<use xlink:href="#DejaVuSans-30" transform="translate(127.246094 0)"/>
</g>
</g>
</g>
<g id="ytick_4">
<g id="line2d_6">
<g>
<use xlink:href="#m7df366dcc1" x="50.87" y="83.667962" style="stroke: #000000; stroke-width: 0.8"/>
</g>
</g>
<g id="text_6">
<!-- 600 -->
<g transform="translate(24.7825 87.467181) scale(0.1 -0.1)">
<defs>
<path id="DejaVuSans-36" d="M 2113 2584
Q 1688 2584 1439 2293
Q 1191 2003 1191 1497
Q 1191 994 1439 701
Q 1688 409 2113 409
Q 2538 409 2786 701
Q 3034 994 3034 1497
Q 3034 2003 2786 2293
Q 2538 2584 2113 2584
z
M 3366 4563
L 3366 3988
Q 3128 4100 2886 4159
Q 2644 4219 2406 4219
Q 1781 4219 1451 3797
Q 1122 3375 1075 2522
Q 1259 2794 1537 2939
Q 1816 3084 2150 3084
Q 2853 3084 3261 2657
Q 3669 2231 3669 1497
Q 3669 778 3244 343
Q 2819 -91 2113 -91
Q 1303 -91 875 529
Q 447 1150 447 2328
Q 447 3434 972 4092
Q 1497 4750 2381 4750
Q 2619 4750 2861 4703
Q 3103 4656 3366 4563
z
" transform="scale(0.015625)"/>
</defs>
<use xlink:href="#DejaVuSans-36"/>
<use xlink:href="#DejaVuSans-30" transform="translate(63.623047 0)"/>
<use xlink:href="#DejaVuSans-30" transform="translate(127.246094 0)"/>
</g>
</g>
</g>
<g id="ytick_5">
<g id="line2d_7">
<g>
<use xlink:href="#m7df366dcc1" x="50.87" y="48.850616" style="stroke: #000000; stroke-width: 0.8"/>
</g>
</g>
<g id="text_7">
<!-- 800 -->
<g transform="translate(24.7825 52.649835) scale(0.1 -0.1)">
<defs>
<path id="DejaVuSans-38" d="M 2034 2216
Q 1584 2216 1326 1975
Q 1069 1734 1069 1313
Q 1069 891 1326 650
Q 1584 409 2034 409
Q 2484 409 2743 651
Q 3003 894 3003 1313
Q 3003 1734 2745 1975
Q 2488 2216 2034 2216
z
M 1403 2484
Q 997 2584 770 2862
Q 544 3141 544 3541
Q 544 4100 942 4425
Q 1341 4750 2034 4750
Q 2731 4750 3128 4425
Q 3525 4100 3525 3541
Q 3525 3141 3298 2862
Q 3072 2584 2669 2484
Q 3125 2378 3379 2068
Q 3634 1759 3634 1313
Q 3634 634 3220 271
Q 2806 -91 2034 -91
Q 1263 -91 848 271
Q 434 634 434 1313
Q 434 1759 690 2068
Q 947 2378 1403 2484
z
M 1172 3481
Q 1172 3119 1398 2916
Q 1625 2713 2034 2713
Q 2441 2713 2670 2916
Q 2900 3119 2900 3481
Q 2900 3844 2670 4047
Q 2441 4250 2034 4250
Q 1625 4250 1398 4047
Q 1172 3844 1172 3481
z
" transform="scale(0.015625)"/>
</defs>
<use xlink:href="#DejaVuSans-38"/>
<use xlink:href="#DejaVuSans-30" transform="translate(63.623047 0)"/>
<use xlink:href="#DejaVuSans-30" transform="translate(127.246094 0)"/>
</g>
</g>
</g>
<g id="text_8">
<!-- Time (µs) -->
<g transform="translate(18.702812 131.010156) rotate(-90) scale(0.1 -0.1)">
<defs>
<path id="DejaVuSans-54" d="M -19 4666
L 3928 4666
L 3928 4134
L 2272 4134
L 2272 0
L 1638 0
L 1638 4134
L -19 4134
L -19 4666
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-69" d="M 603 3500
L 1178 3500
L 1178 0
L 603 0
L 603 3500
z
M 603 4863
L 1178 4863
L 1178 4134
L 603 4134
L 603 4863
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-6d" d="M 3328 2828
Q 3544 3216 3844 3400
Q 4144 3584 4550 3584
Q 5097 3584 5394 3201
Q 5691 2819 5691 2113
L 5691 0
L 5113 0
L 5113 2094
Q 5113 2597 4934 2840
Q 4756 3084 4391 3084
Q 3944 3084 3684 2787
Q 3425 2491 3425 1978
L 3425 0
L 2847 0
L 2847 2094
Q 2847 2600 2669 2842
Q 2491 3084 2119 3084
Q 1678 3084 1418 2786
Q 1159 2488 1159 1978
L 1159 0
L 581 0
L 581 3500
L 1159 3500
L 1159 2956
Q 1356 3278 1631 3431
Q 1906 3584 2284 3584
Q 2666 3584 2933 3390
Q 3200 3197 3328 2828
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-20" transform="scale(0.015625)"/>
<path id="DejaVuSans-28" d="M 1984 4856
Q 1566 4138 1362 3434
Q 1159 2731 1159 2009
Q 1159 1288 1364 580
Q 1569 -128 1984 -844
L 1484 -844
Q 1016 -109 783 600
Q 550 1309 550 2009
Q 550 2706 781 3412
Q 1013 4119 1484 4856
L 1984 4856
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-b5" d="M 544 -1331
L 544 3500
L 1119 3500
L 1119 1325
Q 1119 872 1334 640
Q 1550 409 1972 409
Q 2434 409 2667 671
Q 2900 934 2900 1459
L 2900 3500
L 3475 3500
L 3475 806
Q 3475 619 3529 530
Q 3584 441 3700 441
Q 3728 441 3778 458
Q 3828 475 3916 513
L 3916 50
Q 3788 -22 3673 -56
Q 3559 -91 3450 -91
Q 3234 -91 3106 31
Q 2978 153 2931 403
Q 2775 156 2548 32
Q 2322 -91 2016 -91
Q 1697 -91 1473 31
Q 1250 153 1119 397
L 1119 -1331
L 544 -1331
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-29" d="M 513 4856
L 1013 4856
Q 1481 4119 1714 3412
Q 1947 2706 1947 2009
Q 1947 1309 1714 600
Q 1481 -109 1013 -844
L 513 -844
Q 928 -128 1133 580
Q 1338 1288 1338 2009
Q 1338 2731 1133 3434
Q 928 4138 513 4856
z
" transform="scale(0.015625)"/>
</defs>
<use xlink:href="#DejaVuSans-54"/>
<use xlink:href="#DejaVuSans-69" transform="translate(57.958984 0)"/>
<use xlink:href="#DejaVuSans-6d" transform="translate(85.742188 0)"/>
<use xlink:href="#DejaVuSans-65" transform="translate(183.154297 0)"/>
<use xlink:href="#DejaVuSans-20" transform="translate(244.677734 0)"/>
<use xlink:href="#DejaVuSans-28" transform="translate(276.464844 0)"/>
<use xlink:href="#DejaVuSans-b5" transform="translate(315.478516 0)"/>
<use xlink:href="#DejaVuSans-73" transform="translate(379.101562 0)"/>
<use xlink:href="#DejaVuSans-29" transform="translate(431.201172 0)"/>
</g>
</g>
</g>
<g id="patch_5">
<path d="M 50.87 188.12
L 50.87 26.88
" style="fill: none; stroke: #000000; stroke-width: 0.8; stroke-linejoin: miter; stroke-linecap: square"/>
</g>
<g id="patch_6">
<path d="M 277.2 188.12
L 277.2 26.88
" style="fill: none; stroke: #000000; stroke-width: 0.8; stroke-linejoin: miter; stroke-linecap: square"/>
</g>
<g id="patch_7">
<path d="M 50.87 188.12
L 277.2 188.12
" style="fill: none; stroke: #000000; stroke-width: 0.8; stroke-linejoin: miter; stroke-linecap: square"/>
</g>
<g id="patch_8">
<path d="M 50.87 26.88
L 277.2 26.88
" style="fill: none; stroke: #000000; stroke-width: 0.8; stroke-linejoin: miter; stroke-linecap: square"/>
</g>
<g id="text_9">
<!-- 872.2 -->
<g transform="translate(86.854048 34.052957) scale(0.09 -0.09)">
<defs>
<path id="DejaVuSans-37" d="M 525 4666
L 3525 4666
L 3525 4397
L 1831 0
L 1172 0
L 2766 4134
L 525 4134
L 525 4666
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-2e" d="M 684 794
L 1344 794
L 1344 0
L 684 0
L 684 794
z
" transform="scale(0.015625)"/>
</defs>
<use xlink:href="#DejaVuSans-38"/>
<use xlink:href="#DejaVuSans-37" transform="translate(63.623047 0)"/>
<use xlink:href="#DejaVuSans-32" transform="translate(127.246094 0)"/>
<use xlink:href="#DejaVuSans-2e" transform="translate(190.869141 0)"/>
<use xlink:href="#DejaVuSans-32" transform="translate(222.65625 0)"/>
</g>
</g>
<g id="text_10">
<!-- 882.1 -->
<g transform="translate(215.450639 32.338203) scale(0.09 -0.09)">
<defs>
<path id="DejaVuSans-31" d="M 794 531
L 1825 531
L 1825 4091
L 703 3866
L 703 4441
L 1819 4666
L 2450 4666
L 2450 531
L 3481 531
L 3481 0
L 794 0
L 794 531
z
" transform="scale(0.015625)"/>
</defs>
<use xlink:href="#DejaVuSans-38"/>
<use xlink:href="#DejaVuSans-38" transform="translate(63.623047 0)"/>
<use xlink:href="#DejaVuSans-32" transform="translate(127.246094 0)"/>
<use xlink:href="#DejaVuSans-2e" transform="translate(190.869141 0)"/>
<use xlink:href="#DejaVuSans-31" transform="translate(222.65625 0)"/>
</g>
</g>
<g id="text_11">
<!-- from_reverts (256 accounts x 4 slots) -->
<g transform="translate(51.856562 20.88) scale(0.12 -0.12)">
<defs>
<path id="DejaVuSans-66" d="M 2375 4863
L 2375 4384
L 1825 4384
Q 1516 4384 1395 4259
Q 1275 4134 1275 3809
L 1275 3500
L 2222 3500
L 2222 3053
L 1275 3053
L 1275 0
L 697 0
L 697 3053
L 147 3053
L 147 3500
L 697 3500
L 697 3744
Q 697 4328 969 4595
Q 1241 4863 1831 4863
L 2375 4863
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-5f" d="M 3263 -1063
L 3263 -1509
L -63 -1509
L -63 -1063
L 3263 -1063
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-76" d="M 191 3500
L 800 3500
L 1894 563
L 2988 3500
L 3597 3500
L 2284 0
L 1503 0
L 191 3500
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-35" d="M 691 4666
L 3169 4666
L 3169 4134
L 1269 4134
L 1269 2991
Q 1406 3038 1543 3061
Q 1681 3084 1819 3084
Q 2600 3084 3056 2656
Q 3513 2228 3513 1497
Q 3513 744 3044 326
Q 2575 -91 1722 -91
Q 1428 -91 1123 -41
Q 819 9 494 109
L 494 744
Q 775 591 1075 516
Q 1375 441 1709 441
Q 2250 441 2565 725
Q 2881 1009 2881 1497
Q 2881 1984 2565 2268
Q 2250 2553 1709 2553
Q 1456 2553 1204 2497
Q 953 2441 691 2322
L 691 4666
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-61" d="M 2194 1759
Q 1497 1759 1228 1600
Q 959 1441 959 1056
Q 959 750 1161 570
Q 1363 391 1709 391
Q 2188 391 2477 730
Q 2766 1069 2766 1631
L 2766 1759
L 2194 1759
z
M 3341 1997
L 3341 0
L 2766 0
L 2766 531
Q 2569 213 2275 61
Q 1981 -91 1556 -91
Q 1019 -91 701 211
Q 384 513 384 1019
Q 384 1609 779 1909
Q 1175 2209 1959 2209
L 2766 2209
L 2766 2266
Q 2766 2663 2505 2880
Q 2244 3097 1772 3097
Q 1472 3097 1187 3025
Q 903 2953 641 2809
L 641 3341
Q 956 3463 1253 3523
Q 1550 3584 1831 3584
Q 2591 3584 2966 3190
Q 3341 2797 3341 1997
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-63" d="M 3122 3366
L 3122 2828
Q 2878 2963 2633 3030
Q 2388 3097 2138 3097
Q 1578 3097 1268 2742
Q 959 2388 959 1747
Q 959 1106 1268 751
Q 1578 397 2138 397
Q 2388 397 2633 464
Q 2878 531 3122 666
L 3122 134
Q 2881 22 2623 -34
Q 2366 -91 2075 -91
Q 1284 -91 818 406
Q 353 903 353 1747
Q 353 2603 823 3093
Q 1294 3584 2113 3584
Q 2378 3584 2631 3529
Q 2884 3475 3122 3366
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-78" d="M 3513 3500
L 2247 1797
L 3578 0
L 2900 0
L 1881 1375
L 863 0
L 184 0
L 1544 1831
L 300 3500
L 978 3500
L 1906 2253
L 2834 3500
L 3513 3500
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-6c" d="M 603 4863
L 1178 4863
L 1178 0
L 603 0
L 603 4863
z
" transform="scale(0.015625)"/>
</defs>
<use xlink:href="#DejaVuSans-66"/>
<use xlink:href="#DejaVuSans-72" transform="translate(35.205078 0)"/>
<use xlink:href="#DejaVuSans-6f" transform="translate(74.068359 0)"/>
<use xlink:href="#DejaVuSans-6d" transform="translate(135.25 0)"/>
<use xlink:href="#DejaVuSans-5f" transform="translate(232.662109 0)"/>
<use xlink:href="#DejaVuSans-72" transform="translate(282.662109 0)"/>
<use xlink:href="#DejaVuSans-65" transform="translate(321.525391 0)"/>
<use xlink:href="#DejaVuSans-76" transform="translate(383.048828 0)"/>
<use xlink:href="#DejaVuSans-65" transform="translate(442.228516 0)"/>
<use xlink:href="#DejaVuSans-72" transform="translate(503.751953 0)"/>
<use xlink:href="#DejaVuSans-74" transform="translate(544.865234 0)"/>
<use xlink:href="#DejaVuSans-73" transform="translate(584.074219 0)"/>
<use xlink:href="#DejaVuSans-20" transform="translate(636.173828 0)"/>
<use xlink:href="#DejaVuSans-28" transform="translate(667.960938 0)"/>
<use xlink:href="#DejaVuSans-32" transform="translate(706.974609 0)"/>
<use xlink:href="#DejaVuSans-35" transform="translate(770.597656 0)"/>
<use xlink:href="#DejaVuSans-36" transform="translate(834.220703 0)"/>
<use xlink:href="#DejaVuSans-20" transform="translate(897.84375 0)"/>
<use xlink:href="#DejaVuSans-61" transform="translate(929.630859 0)"/>
<use xlink:href="#DejaVuSans-63" transform="translate(990.910156 0)"/>
<use xlink:href="#DejaVuSans-63" transform="translate(1045.890625 0)"/>
<use xlink:href="#DejaVuSans-6f" transform="translate(1100.871094 0)"/>
<use xlink:href="#DejaVuSans-75" transform="translate(1162.052734 0)"/>
<use xlink:href="#DejaVuSans-6e" transform="translate(1225.431641 0)"/>
<use xlink:href="#DejaVuSans-74" transform="translate(1288.810547 0)"/>
<use xlink:href="#DejaVuSans-73" transform="translate(1328.019531 0)"/>
<use xlink:href="#DejaVuSans-20" transform="translate(1380.119141 0)"/>
<use xlink:href="#DejaVuSans-78" transform="translate(1411.90625 0)"/>
<use xlink:href="#DejaVuSans-20" transform="translate(1471.085938 0)"/>
<use xlink:href="#DejaVuSans-34" transform="translate(1502.873047 0)"/>
<use xlink:href="#DejaVuSans-20" transform="translate(1566.496094 0)"/>
<use xlink:href="#DejaVuSans-73" transform="translate(1598.283203 0)"/>
<use xlink:href="#DejaVuSans-6c" transform="translate(1650.382812 0)"/>
<use xlink:href="#DejaVuSans-6f" transform="translate(1678.166016 0)"/>
<use xlink:href="#DejaVuSans-74" transform="translate(1739.347656 0)"/>
<use xlink:href="#DejaVuSans-73" transform="translate(1778.556641 0)"/>
<use xlink:href="#DejaVuSans-29" transform="translate(1830.65625 0)"/>
</g>
</g>
</g>
</g>
<defs>
<clipPath id="p57fd0a9104">
<rect x="50.87" y="26.88" width="226.33" height="161.24"/>
</clipPath>
</defs>
</svg>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment