svg/recursive_attribution_ghost_map.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="606.553275pt" height="372.151463pt" viewBox="0 0 606.553275 372.151463" 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-04-24T14:38:50.706156</dc:date>
    <dc:format>image/svg+xml</dc:format>
    <dc:creator>
     <cc:Agent>
      <dc:title>Matplotlib v3.6.3, 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 372.151463 
L 606.553275 372.151463 
L 606.553275 0 
L 0 0 
z
" style="fill: #ffffff"/>
  </g>
  <g id="axes_1">
   <g id="patch_2">
    <path d="M 75.396796 185.903386 
Q 145.799763 122.949506 214.535871 61.486123 
" clip-path="url(#p3fe3a77c59)" style="fill: none; stroke: #ffffff; stroke-width: 2; stroke-linecap: round"/>
    <path d="M 210.220961 62.661517 
L 214.535871 61.486123 
L 212.88724 65.643288 
L 210.220961 62.661517 
z
" clip-path="url(#p3fe3a77c59)" style="fill: #ffffff; stroke: #ffffff; stroke-width: 2; stroke-linecap: round"/>
   </g>
   <g id="patch_3">
    <path d="M 75.396796 197.451614 
Q 145.799763 260.405494 214.535871 321.868877 
" clip-path="url(#p3fe3a77c59)" style="fill: none; stroke: #ffffff; stroke-width: 2; stroke-linecap: round"/>
    <path d="M 212.88724 317.711712 
L 214.535871 321.868877 
L 210.220961 320.693483 
L 212.88724 317.711712 
z
" clip-path="url(#p3fe3a77c59)" style="fill: #ffffff; stroke: #ffffff; stroke-width: 2; stroke-linecap: round"/>
   </g>
   <g id="patch_4">
    <path d="M 231.322982 54.222955 
Q 299.518688 54.222955 365.478327 54.222955 
" clip-path="url(#p3fe3a77c59)" style="fill: none; stroke: #ffffff; stroke-width: 2; stroke-linecap: round"/>
    <path d="M 361.478327 52.222955 
L 365.478327 54.222955 
L 361.478327 56.222955 
L 361.478327 52.222955 
z
" clip-path="url(#p3fe3a77c59)" style="fill: #ffffff; stroke: #ffffff; stroke-width: 2; stroke-linecap: round"/>
   </g>
   <g id="patch_5">
    <path d="M 231.322982 329.132045 
Q 299.518688 329.132045 365.478327 329.132045 
" clip-path="url(#p3fe3a77c59)" style="fill: none; stroke: #ffffff; stroke-width: 2; stroke-linecap: round"/>
    <path d="M 361.478327 327.132045 
L 365.478327 329.132045 
L 361.478327 331.132045 
L 361.478327 327.132045 
z
" clip-path="url(#p3fe3a77c59)" style="fill: #ffffff; stroke: #ffffff; stroke-width: 2; stroke-linecap: round"/>
   </g>
   <g id="patch_6">
    <path d="M 382.834813 59.997069 
Q 453.23778 122.950948 521.973887 184.414332 
" clip-path="url(#p3fe3a77c59)" style="fill: none; stroke: #ffffff; stroke-width: 2; stroke-linecap: round"/>
    <path d="M 520.325257 180.257167 
L 521.973887 184.414332 
L 517.658977 183.238937 
L 520.325257 180.257167 
z
" clip-path="url(#p3fe3a77c59)" style="fill: #ffffff; stroke: #ffffff; stroke-width: 2; stroke-linecap: round"/>
   </g>
   <g id="patch_7">
    <path d="M 382.834813 323.357931 
Q 453.23778 260.404052 521.973887 198.940668 
" clip-path="url(#p3fe3a77c59)" style="fill: none; stroke: #ffffff; stroke-width: 2; stroke-linecap: round"/>
    <path d="M 517.658977 200.116063 
L 521.973887 198.940668 
L 520.325257 203.097833 
L 517.658977 200.116063 
z
" clip-path="url(#p3fe3a77c59)" style="fill: #ffffff; stroke: #ffffff; stroke-width: 2; stroke-linecap: round"/>
   </g>
   <g id="patch_8">
    <path d="M 308.176622 191.6775 
Q 414.807257 191.6775 519.201824 191.6775 
" clip-path="url(#p3fe3a77c59)" style="fill: none; stroke: #ffffff; stroke-width: 2; stroke-linecap: round"/>
    <path d="M 515.201824 189.6775 
L 519.201824 191.6775 
L 515.201824 193.6775 
L 515.201824 189.6775 
z
" clip-path="url(#p3fe3a77c59)" style="fill: #ffffff; stroke: #ffffff; stroke-width: 2; stroke-linecap: round"/>
   </g>
   <g id="PathCollection_1">
    <defs>
     <path id="C0_0_f7d0bb14b9" d="M 0 20 
C 5.304062 20 10.391597 17.892674 14.142136 14.142136 
C 17.892674 10.391597 20 5.304062 20 -0 
C 20 -5.304062 17.892674 -10.391597 14.142136 -14.142136 
C 10.391597 -17.892674 5.304062 -20 0 -20 
C -5.304062 -20 -10.391597 -17.892674 -14.142136 -14.142136 
C -17.892674 -10.391597 -20 -5.304062 -20 0 
C -20 5.304062 -17.892674 10.391597 -14.142136 14.142136 
C -10.391597 17.892674 -5.304062 20 0 20 
z
"/>
    </defs>
    <g clip-path="url(#p3fe3a77c59)">
     <use xlink:href="#C0_0_f7d0bb14b9" x="68.939453" y="191.6775" style="fill: #6a5acd; stroke: #ffffff"/>
    </g>
    <g clip-path="url(#p3fe3a77c59)">
     <use xlink:href="#C0_0_f7d0bb14b9" x="222.658461" y="54.222955" style="fill: #ffa500; stroke: #ffffff"/>
    </g>
    <g clip-path="url(#p3fe3a77c59)">
     <use xlink:href="#C0_0_f7d0bb14b9" x="222.658461" y="329.132045" style="fill: #ffa500; stroke: #ffffff"/>
    </g>
    <g clip-path="url(#p3fe3a77c59)">
     <use xlink:href="#C0_0_f7d0bb14b9" x="376.37747" y="54.222955" style="fill: #00ced1; stroke: #ffffff"/>
    </g>
    <g clip-path="url(#p3fe3a77c59)">
     <use xlink:href="#C0_0_f7d0bb14b9" x="376.37747" y="329.132045" style="fill: #00ced1; stroke: #ffffff"/>
    </g>
    <g clip-path="url(#p3fe3a77c59)">
     <use xlink:href="#C0_0_f7d0bb14b9" x="530.096478" y="191.6775" style="fill: #ff4500; stroke: #ffffff"/>
    </g>
    <g clip-path="url(#p3fe3a77c59)">
     <use xlink:href="#C0_0_f7d0bb14b9" x="299.517966" y="191.6775" style="fill: #da70d6; stroke: #ffffff"/>
    </g>
   </g>
   <g id="text_1">
    <g clip-path="url(#p3fe3a77c59)">
     <!-- ⇌ -->
     <g style="fill: #ffffff" transform="translate(60.559766 197.19625) scale(0.2 -0.2)">
      <defs>
       <path id="DejaVuSans-21cc" d="M 313 1696 
L 4997 1696 
L 4997 1165 
L 1188 1165 
L 1916 437 
L 1541 62 
L 313 1290 
L 313 1696 
z
M 5050 2317 
L 366 2317 
L 366 2848 
L 4175 2848 
L 3447 3576 
L 3822 3951 
L 5050 2723 
L 5050 2317 
z
" transform="scale(0.015625)"/>
      </defs>
      <use xlink:href="#DejaVuSans-21cc"/>
     </g>
    </g>
   </g>
   <g id="text_2">
    <g clip-path="url(#p3fe3a77c59)">
     <!-- 🜏 -->
     <g style="fill: #ffffff" transform="translate(216.656899 59.741705) scale(0.2 -0.2)">
      <defs>
       <path id="DejaVuSans-1f70f" d="M 319 -1131 
L 319 4513 
L 3519 4513 
L 3519 -1131 
L 319 -1131 
z
M 678 -775 
L 3163 -775 
L 3163 4153 
L 678 4153 
L 678 -775 
z
" transform="scale(0.015625)"/>
      </defs>
      <use xlink:href="#DejaVuSans-1f70f"/>
     </g>
    </g>
   </g>
   <g id="text_3">
    <g clip-path="url(#p3fe3a77c59)">
     <!-- 🜏 -->
     <g style="fill: #ffffff" transform="translate(216.656899 334.650795) scale(0.2 -0.2)">
      <use xlink:href="#DejaVuSans-1f70f"/>
     </g>
    </g>
   </g>
   <g id="text_4">
    <g clip-path="url(#p3fe3a77c59)">
     <!-- ∴ -->
     <g style="fill: #ffffff" transform="translate(370.01497 59.741705) scale(0.2 -0.2)">
      <defs>
       <path id="DejaVuSans-2234" d="M 380 1467 
L 1040 1467 
L 1040 673 
L 380 673 
L 380 1467 
z
M 3036 1467 
L 3696 1467 
L 3696 673 
L 3036 673 
L 3036 1467 
z
M 1708 3835 
L 2368 3835 
L 2368 3041 
L 1708 3041 
L 1708 3835 
z
" transform="scale(0.015625)"/>
      </defs>
      <use xlink:href="#DejaVuSans-2234"/>
     </g>
    </g>
   </g>
   <g id="text_5">
    <g clip-path="url(#p3fe3a77c59)">
     <!-- ∴ -->
     <g style="fill: #ffffff" transform="translate(370.01497 334.650795) scale(0.2 -0.2)">
      <use xlink:href="#DejaVuSans-2234"/>
     </g>
    </g>
   </g>
   <g id="text_6">
    <g clip-path="url(#p3fe3a77c59)">
     <!-- ⧖ -->
     <g style="fill: #ffffff" transform="translate(524.094915 197.19625) scale(0.2 -0.2)">
      <defs>
       <path id="DejaVuSans-29d6" d="M 319 -1131 
L 319 4513 
L 3519 4513 
L 3519 -1131 
L 319 -1131 
z
M 678 -775 
L 3163 -775 
L 3163 4153 
L 678 4153 
L 678 -775 
z
" transform="scale(0.015625)"/>
      </defs>
      <use xlink:href="#DejaVuSans-29d6"/>
     </g>
    </g>
   </g>
   <g id="text_7">
    <g clip-path="url(#p3fe3a77c59)">
     <!-- ⇌ -->
     <g style="fill: #ffffff" transform="translate(291.138278 197.19625) scale(0.2 -0.2)">
      <use xlink:href="#DejaVuSans-21cc"/>
     </g>
    </g>
   </g>
   <g id="text_8">
    <!-- Entry point to instruction sequence -->
    <g style="fill: #d3d3d3" transform="translate(7.2 226.041136) scale(0.07 -0.07)">
     <defs>
      <path id="DejaVuSans-45" d="M 628 4666 
L 3578 4666 
L 3578 4134 
L 1259 4134 
L 1259 2753 
L 3481 2753 
L 3481 2222 
L 1259 2222 
L 1259 531 
L 3634 531 
L 3634 0 
L 628 0 
L 628 4666 
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-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-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-79" d="M 2059 -325 
Q 1816 -950 1584 -1140 
Q 1353 -1331 966 -1331 
L 506 -1331 
L 506 -850 
L 844 -850 
Q 1081 -850 1212 -737 
Q 1344 -625 1503 -206 
L 1606 56 
L 191 3500 
L 800 3500 
L 1894 763 
L 2988 3500 
L 3597 3500 
L 2059 -325 
z
" transform="scale(0.015625)"/>
      <path id="DejaVuSans-20" transform="scale(0.015625)"/>
      <path id="DejaVuSans-70" d="M 1159 525 
L 1159 -1331 
L 581 -1331 
L 581 3500 
L 1159 3500 
L 1159 2969 
Q 1341 3281 1617 3432 
Q 1894 3584 2278 3584 
Q 2916 3584 3314 3078 
Q 3713 2572 3713 1747 
Q 3713 922 3314 415 
Q 2916 -91 2278 -91 
Q 1894 -91 1617 61 
Q 1341 213 1159 525 
z
M 3116 1747 
Q 3116 2381 2855 2742 
Q 2594 3103 2138 3103 
Q 1681 3103 1420 2742 
Q 1159 2381 1159 1747 
Q 1159 1113 1420 752 
Q 1681 391 2138 391 
Q 2594 391 2855 752 
Q 3116 1113 3116 1747 
z
" transform="scale(0.015625)"/>
      <path id="DejaVuSans-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-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-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-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-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-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-71" d="M 947 1747 
Q 947 1113 1208 752 
Q 1469 391 1925 391 
Q 2381 391 2643 752 
Q 2906 1113 2906 1747 
Q 2906 2381 2643 2742 
Q 2381 3103 1925 3103 
Q 1469 3103 1208 2742 
Q 947 2381 947 1747 
z
M 2906 525 
Q 2725 213 2448 61 
Q 2172 -91 1784 -91 
Q 1150 -91 751 415 
Q 353 922 353 1747 
Q 353 2572 751 3078 
Q 1150 3584 1784 3584 
Q 2172 3584 2448 3432 
Q 2725 3281 2906 2969 
L 2906 3500 
L 3481 3500 
L 3481 -1331 
L 2906 -1331 
L 2906 525 
z
" transform="scale(0.015625)"/>
     </defs>
     <use xlink:href="#DejaVuSans-45"/>
     <use xlink:href="#DejaVuSans-6e" x="63.183594"/>
     <use xlink:href="#DejaVuSans-74" x="126.5625"/>
     <use xlink:href="#DejaVuSans-72" x="165.771484"/>
     <use xlink:href="#DejaVuSans-79" x="206.884766"/>
     <use xlink:href="#DejaVuSans-20" x="266.064453"/>
     <use xlink:href="#DejaVuSans-70" x="297.851562"/>
     <use xlink:href="#DejaVuSans-6f" x="361.328125"/>
     <use xlink:href="#DejaVuSans-69" x="422.509766"/>
     <use xlink:href="#DejaVuSans-6e" x="450.292969"/>
     <use xlink:href="#DejaVuSans-74" x="513.671875"/>
     <use xlink:href="#DejaVuSans-20" x="552.880859"/>
     <use xlink:href="#DejaVuSans-74" x="584.667969"/>
     <use xlink:href="#DejaVuSans-6f" x="623.876953"/>
     <use xlink:href="#DejaVuSans-20" x="685.058594"/>
     <use xlink:href="#DejaVuSans-69" x="716.845703"/>
     <use xlink:href="#DejaVuSans-6e" x="744.628906"/>
     <use xlink:href="#DejaVuSans-73" x="808.007812"/>
     <use xlink:href="#DejaVuSans-74" x="860.107422"/>
     <use xlink:href="#DejaVuSans-72" x="899.316406"/>
     <use xlink:href="#DejaVuSans-75" x="940.429688"/>
     <use xlink:href="#DejaVuSans-63" x="1003.808594"/>
     <use xlink:href="#DejaVuSans-74" x="1058.789062"/>
     <use xlink:href="#DejaVuSans-69" x="1097.998047"/>
     <use xlink:href="#DejaVuSans-6f" x="1125.78125"/>
     <use xlink:href="#DejaVuSans-6e" x="1186.962891"/>
     <use xlink:href="#DejaVuSans-20" x="1250.341797"/>
     <use xlink:href="#DejaVuSans-73" x="1282.128906"/>
     <use xlink:href="#DejaVuSans-65" x="1334.228516"/>
     <use xlink:href="#DejaVuSans-71" x="1395.751953"/>
     <use xlink:href="#DejaVuSans-75" x="1459.228516"/>
     <use xlink:href="#DejaVuSans-65" x="1522.607422"/>
     <use xlink:href="#DejaVuSans-6e" x="1584.130859"/>
     <use xlink:href="#DejaVuSans-63" x="1647.509766"/>
     <use xlink:href="#DejaVuSans-65" x="1702.490234"/>
    </g>
   </g>
   <g id="text_9">
    <!-- Instruction paradox: ambiguity detected -->
    <g style="fill: #d3d3d3" transform="translate(151.956821 88.586591) scale(0.07 -0.07)">
     <defs>
      <path id="DejaVuSans-49" d="M 628 4666 
L 1259 4666 
L 1259 0 
L 628 0 
L 628 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-64" d="M 2906 2969 
L 2906 4863 
L 3481 4863 
L 3481 0 
L 2906 0 
L 2906 525 
Q 2725 213 2448 61 
Q 2172 -91 1784 -91 
Q 1150 -91 751 415 
Q 353 922 353 1747 
Q 353 2572 751 3078 
Q 1150 3584 1784 3584 
Q 2172 3584 2448 3432 
Q 2725 3281 2906 2969 
z
M 947 1747 
Q 947 1113 1208 752 
Q 1469 391 1925 391 
Q 2381 391 2643 752 
Q 2906 1113 2906 1747 
Q 2906 2381 2643 2742 
Q 2381 3103 1925 3103 
Q 1469 3103 1208 2742 
Q 947 2381 947 1747 
z
" transform="scale(0.015625)"/>
      <path id="DejaVuSans-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-3a" d="M 750 794 
L 1409 794 
L 1409 0 
L 750 0 
L 750 794 
z
M 750 3309 
L 1409 3309 
L 1409 2516 
L 750 2516 
L 750 3309 
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-62" d="M 3116 1747 
Q 3116 2381 2855 2742 
Q 2594 3103 2138 3103 
Q 1681 3103 1420 2742 
Q 1159 2381 1159 1747 
Q 1159 1113 1420 752 
Q 1681 391 2138 391 
Q 2594 391 2855 752 
Q 3116 1113 3116 1747 
z
M 1159 2969 
Q 1341 3281 1617 3432 
Q 1894 3584 2278 3584 
Q 2916 3584 3314 3078 
Q 3713 2572 3713 1747 
Q 3713 922 3314 415 
Q 2916 -91 2278 -91 
Q 1894 -91 1617 61 
Q 1341 213 1159 525 
L 1159 0 
L 581 0 
L 581 4863 
L 1159 4863 
L 1159 2969 
z
" transform="scale(0.015625)"/>
      <path id="DejaVuSans-67" d="M 2906 1791 
Q 2906 2416 2648 2759 
Q 2391 3103 1925 3103 
Q 1463 3103 1205 2759 
Q 947 2416 947 1791 
Q 947 1169 1205 825 
Q 1463 481 1925 481 
Q 2391 481 2648 825 
Q 2906 1169 2906 1791 
z
M 3481 434 
Q 3481 -459 3084 -895 
Q 2688 -1331 1869 -1331 
Q 1566 -1331 1297 -1286 
Q 1028 -1241 775 -1147 
L 775 -588 
Q 1028 -725 1275 -790 
Q 1522 -856 1778 -856 
Q 2344 -856 2625 -561 
Q 2906 -266 2906 331 
L 2906 616 
Q 2728 306 2450 153 
Q 2172 0 1784 0 
Q 1141 0 747 490 
Q 353 981 353 1791 
Q 353 2603 747 3093 
Q 1141 3584 1784 3584 
Q 2172 3584 2450 3431 
Q 2728 3278 2906 2969 
L 2906 3500 
L 3481 3500 
L 3481 434 
z
" transform="scale(0.015625)"/>
     </defs>
     <use xlink:href="#DejaVuSans-49"/>
     <use xlink:href="#DejaVuSans-6e" x="29.492188"/>
     <use xlink:href="#DejaVuSans-73" x="92.871094"/>
     <use xlink:href="#DejaVuSans-74" x="144.970703"/>
     <use xlink:href="#DejaVuSans-72" x="184.179688"/>
     <use xlink:href="#DejaVuSans-75" x="225.292969"/>
     <use xlink:href="#DejaVuSans-63" x="288.671875"/>
     <use xlink:href="#DejaVuSans-74" x="343.652344"/>
     <use xlink:href="#DejaVuSans-69" x="382.861328"/>
     <use xlink:href="#DejaVuSans-6f" x="410.644531"/>
     <use xlink:href="#DejaVuSans-6e" x="471.826172"/>
     <use xlink:href="#DejaVuSans-20" x="535.205078"/>
     <use xlink:href="#DejaVuSans-70" x="566.992188"/>
     <use xlink:href="#DejaVuSans-61" x="630.46875"/>
     <use xlink:href="#DejaVuSans-72" x="691.748047"/>
     <use xlink:href="#DejaVuSans-61" x="732.861328"/>
     <use xlink:href="#DejaVuSans-64" x="794.140625"/>
     <use xlink:href="#DejaVuSans-6f" x="857.617188"/>
     <use xlink:href="#DejaVuSans-78" x="915.673828"/>
     <use xlink:href="#DejaVuSans-3a" x="974.853516"/>
     <use xlink:href="#DejaVuSans-20" x="1008.544922"/>
     <use xlink:href="#DejaVuSans-61" x="1040.332031"/>
     <use xlink:href="#DejaVuSans-6d" x="1101.611328"/>
     <use xlink:href="#DejaVuSans-62" x="1199.023438"/>
     <use xlink:href="#DejaVuSans-69" x="1262.5"/>
     <use xlink:href="#DejaVuSans-67" x="1290.283203"/>
     <use xlink:href="#DejaVuSans-75" x="1353.759766"/>
     <use xlink:href="#DejaVuSans-69" x="1417.138672"/>
     <use xlink:href="#DejaVuSans-74" x="1444.921875"/>
     <use xlink:href="#DejaVuSans-79" x="1484.130859"/>
     <use xlink:href="#DejaVuSans-20" x="1543.310547"/>
     <use xlink:href="#DejaVuSans-64" x="1575.097656"/>
     <use xlink:href="#DejaVuSans-65" x="1638.574219"/>
     <use xlink:href="#DejaVuSans-74" x="1700.097656"/>
     <use xlink:href="#DejaVuSans-65" x="1739.306641"/>
     <use xlink:href="#DejaVuSans-63" x="1800.830078"/>
     <use xlink:href="#DejaVuSans-74" x="1855.810547"/>
     <use xlink:href="#DejaVuSans-65" x="1895.019531"/>
     <use xlink:href="#DejaVuSans-64" x="1956.542969"/>
    </g>
   </g>
   <g id="text_10">
    <!-- Instruction paradox: recursion not stabilized -->
    <g style="fill: #d3d3d3" transform="translate(145.348383 363.495682) scale(0.07 -0.07)">
     <defs>
      <path id="DejaVuSans-6c" d="M 603 4863 
L 1178 4863 
L 1178 0 
L 603 0 
L 603 4863 
z
" transform="scale(0.015625)"/>
      <path id="DejaVuSans-7a" d="M 353 3500 
L 3084 3500 
L 3084 2975 
L 922 459 
L 3084 459 
L 3084 0 
L 275 0 
L 275 525 
L 2438 3041 
L 353 3041 
L 353 3500 
z
" transform="scale(0.015625)"/>
     </defs>
     <use xlink:href="#DejaVuSans-49"/>
     <use xlink:href="#DejaVuSans-6e" x="29.492188"/>
     <use xlink:href="#DejaVuSans-73" x="92.871094"/>
     <use xlink:href="#DejaVuSans-74" x="144.970703"/>
     <use xlink:href="#DejaVuSans-72" x="184.179688"/>
     <use xlink:href="#DejaVuSans-75" x="225.292969"/>
     <use xlink:href="#DejaVuSans-63" x="288.671875"/>
     <use xlink:href="#DejaVuSans-74" x="343.652344"/>
     <use xlink:href="#DejaVuSans-69" x="382.861328"/>
     <use xlink:href="#DejaVuSans-6f" x="410.644531"/>
     <use xlink:href="#DejaVuSans-6e" x="471.826172"/>
     <use xlink:href="#DejaVuSans-20" x="535.205078"/>
     <use xlink:href="#DejaVuSans-70" x="566.992188"/>
     <use xlink:href="#DejaVuSans-61" x="630.46875"/>
     <use xlink:href="#DejaVuSans-72" x="691.748047"/>
     <use xlink:href="#DejaVuSans-61" x="732.861328"/>
     <use xlink:href="#DejaVuSans-64" x="794.140625"/>
     <use xlink:href="#DejaVuSans-6f" x="857.617188"/>
     <use xlink:href="#DejaVuSans-78" x="915.673828"/>
     <use xlink:href="#DejaVuSans-3a" x="974.853516"/>
     <use xlink:href="#DejaVuSans-20" x="1008.544922"/>
     <use xlink:href="#DejaVuSans-72" x="1040.332031"/>
     <use xlink:href="#DejaVuSans-65" x="1079.195312"/>
     <use xlink:href="#DejaVuSans-63" x="1140.71875"/>
     <use xlink:href="#DejaVuSans-75" x="1195.699219"/>
     <use xlink:href="#DejaVuSans-72" x="1259.078125"/>
     <use xlink:href="#DejaVuSans-73" x="1300.191406"/>
     <use xlink:href="#DejaVuSans-69" x="1352.291016"/>
     <use xlink:href="#DejaVuSans-6f" x="1380.074219"/>
     <use xlink:href="#DejaVuSans-6e" x="1441.255859"/>
     <use xlink:href="#DejaVuSans-20" x="1504.634766"/>
     <use xlink:href="#DejaVuSans-6e" x="1536.421875"/>
     <use xlink:href="#DejaVuSans-6f" x="1599.800781"/>
     <use xlink:href="#DejaVuSans-74" x="1660.982422"/>
     <use xlink:href="#DejaVuSans-20" x="1700.191406"/>
     <use xlink:href="#DejaVuSans-73" x="1731.978516"/>
     <use xlink:href="#DejaVuSans-74" x="1784.078125"/>
     <use xlink:href="#DejaVuSans-61" x="1823.287109"/>
     <use xlink:href="#DejaVuSans-62" x="1884.566406"/>
     <use xlink:href="#DejaVuSans-69" x="1948.042969"/>
     <use xlink:href="#DejaVuSans-6c" x="1975.826172"/>
     <use xlink:href="#DejaVuSans-69" x="2003.609375"/>
     <use xlink:href="#DejaVuSans-7a" x="2031.392578"/>
     <use xlink:href="#DejaVuSans-65" x="2083.882812"/>
     <use xlink:href="#DejaVuSans-64" x="2145.40625"/>
    </g>
   </g>
   <g id="text_11">
    <!-- Dead-end: no downstream convergence -->
    <g style="fill: #d3d3d3" transform="translate(306.164188 88.586591) scale(0.07 -0.07)">
     <defs>
      <path id="DejaVuSans-44" d="M 1259 4147 
L 1259 519 
L 2022 519 
Q 2988 519 3436 956 
Q 3884 1394 3884 2338 
Q 3884 3275 3436 3711 
Q 2988 4147 2022 4147 
L 1259 4147 
z
M 628 4666 
L 1925 4666 
Q 3281 4666 3915 4102 
Q 4550 3538 4550 2338 
Q 4550 1131 3912 565 
Q 3275 0 1925 0 
L 628 0 
L 628 4666 
z
" transform="scale(0.015625)"/>
      <path id="DejaVuSans-2d" d="M 313 2009 
L 1997 2009 
L 1997 1497 
L 313 1497 
L 313 2009 
z
" transform="scale(0.015625)"/>
      <path id="DejaVuSans-77" d="M 269 3500 
L 844 3500 
L 1563 769 
L 2278 3500 
L 2956 3500 
L 3675 769 
L 4391 3500 
L 4966 3500 
L 4050 0 
L 3372 0 
L 2619 2869 
L 1863 0 
L 1184 0 
L 269 3500 
z
" transform="scale(0.015625)"/>
      <path id="DejaVuSans-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)"/>
     </defs>
     <use xlink:href="#DejaVuSans-44"/>
     <use xlink:href="#DejaVuSans-65" x="77.001953"/>
     <use xlink:href="#DejaVuSans-61" x="138.525391"/>
     <use xlink:href="#DejaVuSans-64" x="199.804688"/>
     <use xlink:href="#DejaVuSans-2d" x="263.28125"/>
     <use xlink:href="#DejaVuSans-65" x="299.365234"/>
     <use xlink:href="#DejaVuSans-6e" x="360.888672"/>
     <use xlink:href="#DejaVuSans-64" x="424.267578"/>
     <use xlink:href="#DejaVuSans-3a" x="487.744141"/>
     <use xlink:href="#DejaVuSans-20" x="521.435547"/>
     <use xlink:href="#DejaVuSans-6e" x="553.222656"/>
     <use xlink:href="#DejaVuSans-6f" x="616.601562"/>
     <use xlink:href="#DejaVuSans-20" x="677.783203"/>
     <use xlink:href="#DejaVuSans-64" x="709.570312"/>
     <use xlink:href="#DejaVuSans-6f" x="773.046875"/>
     <use xlink:href="#DejaVuSans-77" x="834.228516"/>
     <use xlink:href="#DejaVuSans-6e" x="916.015625"/>
     <use xlink:href="#DejaVuSans-73" x="979.394531"/>
     <use xlink:href="#DejaVuSans-74" x="1031.494141"/>
     <use xlink:href="#DejaVuSans-72" x="1070.703125"/>
     <use xlink:href="#DejaVuSans-65" x="1109.566406"/>
     <use xlink:href="#DejaVuSans-61" x="1171.089844"/>
     <use xlink:href="#DejaVuSans-6d" x="1232.369141"/>
     <use xlink:href="#DejaVuSans-20" x="1329.78125"/>
     <use xlink:href="#DejaVuSans-63" x="1361.568359"/>
     <use xlink:href="#DejaVuSans-6f" x="1416.548828"/>
     <use xlink:href="#DejaVuSans-6e" x="1477.730469"/>
     <use xlink:href="#DejaVuSans-76" x="1541.109375"/>
     <use xlink:href="#DejaVuSans-65" x="1600.289062"/>
     <use xlink:href="#DejaVuSans-72" x="1661.8125"/>
     <use xlink:href="#DejaVuSans-67" x="1701.175781"/>
     <use xlink:href="#DejaVuSans-65" x="1764.652344"/>
     <use xlink:href="#DejaVuSans-6e" x="1826.175781"/>
     <use xlink:href="#DejaVuSans-63" x="1889.554688"/>
     <use xlink:href="#DejaVuSans-65" x="1944.535156"/>
    </g>
   </g>
   <g id="text_12">
    <!-- Dead-end: instruction path collapse -->
    <g style="fill: #d3d3d3" transform="translate(313.806767 363.495682) scale(0.07 -0.07)">
     <defs>
      <path id="DejaVuSans-68" d="M 3513 2113 
L 3513 0 
L 2938 0 
L 2938 2094 
Q 2938 2591 2744 2837 
Q 2550 3084 2163 3084 
Q 1697 3084 1428 2787 
Q 1159 2491 1159 1978 
L 1159 0 
L 581 0 
L 581 4863 
L 1159 4863 
L 1159 2956 
Q 1366 3272 1645 3428 
Q 1925 3584 2291 3584 
Q 2894 3584 3203 3211 
Q 3513 2838 3513 2113 
z
" transform="scale(0.015625)"/>
     </defs>
     <use xlink:href="#DejaVuSans-44"/>
     <use xlink:href="#DejaVuSans-65" x="77.001953"/>
     <use xlink:href="#DejaVuSans-61" x="138.525391"/>
     <use xlink:href="#DejaVuSans-64" x="199.804688"/>
     <use xlink:href="#DejaVuSans-2d" x="263.28125"/>
     <use xlink:href="#DejaVuSans-65" x="299.365234"/>
     <use xlink:href="#DejaVuSans-6e" x="360.888672"/>
     <use xlink:href="#DejaVuSans-64" x="424.267578"/>
     <use xlink:href="#DejaVuSans-3a" x="487.744141"/>
     <use xlink:href="#DejaVuSans-20" x="521.435547"/>
     <use xlink:href="#DejaVuSans-69" x="553.222656"/>
     <use xlink:href="#DejaVuSans-6e" x="581.005859"/>
     <use xlink:href="#DejaVuSans-73" x="644.384766"/>
     <use xlink:href="#DejaVuSans-74" x="696.484375"/>
     <use xlink:href="#DejaVuSans-72" x="735.693359"/>
     <use xlink:href="#DejaVuSans-75" x="776.806641"/>
     <use xlink:href="#DejaVuSans-63" x="840.185547"/>
     <use xlink:href="#DejaVuSans-74" x="895.166016"/>
     <use xlink:href="#DejaVuSans-69" x="934.375"/>
     <use xlink:href="#DejaVuSans-6f" x="962.158203"/>
     <use xlink:href="#DejaVuSans-6e" x="1023.339844"/>
     <use xlink:href="#DejaVuSans-20" x="1086.71875"/>
     <use xlink:href="#DejaVuSans-70" x="1118.505859"/>
     <use xlink:href="#DejaVuSans-61" x="1181.982422"/>
     <use xlink:href="#DejaVuSans-74" x="1243.261719"/>
     <use xlink:href="#DejaVuSans-68" x="1282.470703"/>
     <use xlink:href="#DejaVuSans-20" x="1345.849609"/>
     <use xlink:href="#DejaVuSans-63" x="1377.636719"/>
     <use xlink:href="#DejaVuSans-6f" x="1432.617188"/>
     <use xlink:href="#DejaVuSans-6c" x="1493.798828"/>
     <use xlink:href="#DejaVuSans-6c" x="1521.582031"/>
     <use xlink:href="#DejaVuSans-61" x="1549.365234"/>
     <use xlink:href="#DejaVuSans-70" x="1610.644531"/>
     <use xlink:href="#DejaVuSans-73" x="1674.121094"/>
     <use xlink:href="#DejaVuSans-65" x="1726.220703"/>
    </g>
   </g>
   <g id="text_13">
    <!-- Bifurcation collapse: instruction conflict -->
    <g style="fill: #d3d3d3" transform="translate(460.839681 226.041136) scale(0.07 -0.07)">
     <defs>
      <path id="DejaVuSans-42" d="M 1259 2228 
L 1259 519 
L 2272 519 
Q 2781 519 3026 730 
Q 3272 941 3272 1375 
Q 3272 1813 3026 2020 
Q 2781 2228 2272 2228 
L 1259 2228 
z
M 1259 4147 
L 1259 2741 
L 2194 2741 
Q 2656 2741 2882 2914 
Q 3109 3088 3109 3444 
Q 3109 3797 2882 3972 
Q 2656 4147 2194 4147 
L 1259 4147 
z
M 628 4666 
L 2241 4666 
Q 2963 4666 3353 4366 
Q 3744 4066 3744 3513 
Q 3744 3084 3544 2831 
Q 3344 2578 2956 2516 
Q 3422 2416 3680 2098 
Q 3938 1781 3938 1306 
Q 3938 681 3513 340 
Q 3088 0 2303 0 
L 628 0 
L 628 4666 
z
" transform="scale(0.015625)"/>
      <path id="DejaVuSans-66" d="M 2375 4863 
L 2375 4384 
L 1825 4384 
Q 1516 4384 1395 4259 
Q 1275 4134 1275 3809 
L 1275 3500 
L 2222 3500 
L 2222 3053 
L 1275 3053 
L 1275 0 
L 697 0 
L 697 3053 
L 147 3053 
L 147 3500 
L 697 3500 
L 697 3744 
Q 697 4328 969 4595 
Q 1241 4863 1831 4863 
L 2375 4863 
z
" transform="scale(0.015625)"/>
     </defs>
     <use xlink:href="#DejaVuSans-42"/>
     <use xlink:href="#DejaVuSans-69" x="68.603516"/>
     <use xlink:href="#DejaVuSans-66" x="96.386719"/>
     <use xlink:href="#DejaVuSans-75" x="131.591797"/>
     <use xlink:href="#DejaVuSans-72" x="194.970703"/>
     <use xlink:href="#DejaVuSans-63" x="233.833984"/>
     <use xlink:href="#DejaVuSans-61" x="288.814453"/>
     <use xlink:href="#DejaVuSans-74" x="350.09375"/>
     <use xlink:href="#DejaVuSans-69" x="389.302734"/>
     <use xlink:href="#DejaVuSans-6f" x="417.085938"/>
     <use xlink:href="#DejaVuSans-6e" x="478.267578"/>
     <use xlink:href="#DejaVuSans-20" x="541.646484"/>
     <use xlink:href="#DejaVuSans-63" x="573.433594"/>
     <use xlink:href="#DejaVuSans-6f" x="628.414062"/>
     <use xlink:href="#DejaVuSans-6c" x="689.595703"/>
     <use xlink:href="#DejaVuSans-6c" x="717.378906"/>
     <use xlink:href="#DejaVuSans-61" x="745.162109"/>
     <use xlink:href="#DejaVuSans-70" x="806.441406"/>
     <use xlink:href="#DejaVuSans-73" x="869.917969"/>
     <use xlink:href="#DejaVuSans-65" x="922.017578"/>
     <use xlink:href="#DejaVuSans-3a" x="983.541016"/>
     <use xlink:href="#DejaVuSans-20" x="1017.232422"/>
     <use xlink:href="#DejaVuSans-69" x="1049.019531"/>
     <use xlink:href="#DejaVuSans-6e" x="1076.802734"/>
     <use xlink:href="#DejaVuSans-73" x="1140.181641"/>
     <use xlink:href="#DejaVuSans-74" x="1192.28125"/>
     <use xlink:href="#DejaVuSans-72" x="1231.490234"/>
     <use xlink:href="#DejaVuSans-75" x="1272.603516"/>
     <use xlink:href="#DejaVuSans-63" x="1335.982422"/>
     <use xlink:href="#DejaVuSans-74" x="1390.962891"/>
     <use xlink:href="#DejaVuSans-69" x="1430.171875"/>
     <use xlink:href="#DejaVuSans-6f" x="1457.955078"/>
     <use xlink:href="#DejaVuSans-6e" x="1519.136719"/>
     <use xlink:href="#DejaVuSans-20" x="1582.515625"/>
     <use xlink:href="#DejaVuSans-63" x="1614.302734"/>
     <use xlink:href="#DejaVuSans-6f" x="1669.283203"/>
     <use xlink:href="#DejaVuSans-6e" x="1730.464844"/>
     <use xlink:href="#DejaVuSans-66" x="1793.84375"/>
     <use xlink:href="#DejaVuSans-6c" x="1829.048828"/>
     <use xlink:href="#DejaVuSans-69" x="1856.832031"/>
     <use xlink:href="#DejaVuSans-63" x="1884.615234"/>
     <use xlink:href="#DejaVuSans-74" x="1939.595703"/>
    </g>
   </g>
   <g id="text_14">
    <!-- SNR vector: spiral reentry attempted -->
    <g style="fill: #d3d3d3" transform="translate(234.813356 226.041136) scale(0.07 -0.07)">
     <defs>
      <path id="DejaVuSans-53" d="M 3425 4513 
L 3425 3897 
Q 3066 4069 2747 4153 
Q 2428 4238 2131 4238 
Q 1616 4238 1336 4038 
Q 1056 3838 1056 3469 
Q 1056 3159 1242 3001 
Q 1428 2844 1947 2747 
L 2328 2669 
Q 3034 2534 3370 2195 
Q 3706 1856 3706 1288 
Q 3706 609 3251 259 
Q 2797 -91 1919 -91 
Q 1588 -91 1214 -16 
Q 841 59 441 206 
L 441 856 
Q 825 641 1194 531 
Q 1563 422 1919 422 
Q 2459 422 2753 634 
Q 3047 847 3047 1241 
Q 3047 1584 2836 1778 
Q 2625 1972 2144 2069 
L 1759 2144 
Q 1053 2284 737 2584 
Q 422 2884 422 3419 
Q 422 4038 858 4394 
Q 1294 4750 2059 4750 
Q 2388 4750 2728 4690 
Q 3069 4631 3425 4513 
z
" transform="scale(0.015625)"/>
      <path id="DejaVuSans-4e" d="M 628 4666 
L 1478 4666 
L 3547 763 
L 3547 4666 
L 4159 4666 
L 4159 0 
L 3309 0 
L 1241 3903 
L 1241 0 
L 628 0 
L 628 4666 
z
" transform="scale(0.015625)"/>
      <path id="DejaVuSans-52" d="M 2841 2188 
Q 3044 2119 3236 1894 
Q 3428 1669 3622 1275 
L 4263 0 
L 3584 0 
L 2988 1197 
Q 2756 1666 2539 1819 
Q 2322 1972 1947 1972 
L 1259 1972 
L 1259 0 
L 628 0 
L 628 4666 
L 2053 4666 
Q 2853 4666 3247 4331 
Q 3641 3997 3641 3322 
Q 3641 2881 3436 2590 
Q 3231 2300 2841 2188 
z
M 1259 4147 
L 1259 2491 
L 2053 2491 
Q 2509 2491 2742 2702 
Q 2975 2913 2975 3322 
Q 2975 3731 2742 3939 
Q 2509 4147 2053 4147 
L 1259 4147 
z
" transform="scale(0.015625)"/>
     </defs>
     <use xlink:href="#DejaVuSans-53"/>
     <use xlink:href="#DejaVuSans-4e" x="63.476562"/>
     <use xlink:href="#DejaVuSans-52" x="138.28125"/>
     <use xlink:href="#DejaVuSans-20" x="207.763672"/>
     <use xlink:href="#DejaVuSans-76" x="239.550781"/>
     <use xlink:href="#DejaVuSans-65" x="298.730469"/>
     <use xlink:href="#DejaVuSans-63" x="360.253906"/>
     <use xlink:href="#DejaVuSans-74" x="415.234375"/>
     <use xlink:href="#DejaVuSans-6f" x="454.443359"/>
     <use xlink:href="#DejaVuSans-72" x="515.625"/>
     <use xlink:href="#DejaVuSans-3a" x="554.988281"/>
     <use xlink:href="#DejaVuSans-20" x="588.679688"/>
     <use xlink:href="#DejaVuSans-73" x="620.466797"/>
     <use xlink:href="#DejaVuSans-70" x="672.566406"/>
     <use xlink:href="#DejaVuSans-69" x="736.042969"/>
     <use xlink:href="#DejaVuSans-72" x="763.826172"/>
     <use xlink:href="#DejaVuSans-61" x="804.939453"/>
     <use xlink:href="#DejaVuSans-6c" x="866.21875"/>
     <use xlink:href="#DejaVuSans-20" x="894.001953"/>
     <use xlink:href="#DejaVuSans-72" x="925.789062"/>
     <use xlink:href="#DejaVuSans-65" x="964.652344"/>
     <use xlink:href="#DejaVuSans-65" x="1026.175781"/>
     <use xlink:href="#DejaVuSans-6e" x="1087.699219"/>
     <use xlink:href="#DejaVuSans-74" x="1151.078125"/>
     <use xlink:href="#DejaVuSans-72" x="1190.287109"/>
     <use xlink:href="#DejaVuSans-79" x="1231.400391"/>
     <use xlink:href="#DejaVuSans-20" x="1290.580078"/>
     <use xlink:href="#DejaVuSans-61" x="1322.367188"/>
     <use xlink:href="#DejaVuSans-74" x="1383.646484"/>
     <use xlink:href="#DejaVuSans-74" x="1422.855469"/>
     <use xlink:href="#DejaVuSans-65" x="1462.064453"/>
     <use xlink:href="#DejaVuSans-6d" x="1523.587891"/>
     <use xlink:href="#DejaVuSans-70" x="1621"/>
     <use xlink:href="#DejaVuSans-74" x="1684.476562"/>
     <use xlink:href="#DejaVuSans-65" x="1723.685547"/>
     <use xlink:href="#DejaVuSans-64" x="1785.208984"/>
    </g>
   </g>
   <g id="text_15">
    <!-- Recursive Attribution Ghost Map (Shell v5: INSTRUCTION-DISRUPTION) -->
    <g style="fill: #ffffff" transform="translate(17.027966 19.3575) scale(0.16 -0.16)">
     <defs>
      <path id="DejaVuSans-41" d="M 2188 4044 
L 1331 1722 
L 3047 1722 
L 2188 4044 
z
M 1831 4666 
L 2547 4666 
L 4325 0 
L 3669 0 
L 3244 1197 
L 1141 1197 
L 716 0 
L 50 0 
L 1831 4666 
z
" transform="scale(0.015625)"/>
      <path id="DejaVuSans-47" d="M 3809 666 
L 3809 1919 
L 2778 1919 
L 2778 2438 
L 4434 2438 
L 4434 434 
Q 4069 175 3628 42 
Q 3188 -91 2688 -91 
Q 1594 -91 976 548 
Q 359 1188 359 2328 
Q 359 3472 976 4111 
Q 1594 4750 2688 4750 
Q 3144 4750 3555 4637 
Q 3966 4525 4313 4306 
L 4313 3634 
Q 3963 3931 3569 4081 
Q 3175 4231 2741 4231 
Q 1884 4231 1454 3753 
Q 1025 3275 1025 2328 
Q 1025 1384 1454 906 
Q 1884 428 2741 428 
Q 3075 428 3337 486 
Q 3600 544 3809 666 
z
" transform="scale(0.015625)"/>
      <path id="DejaVuSans-4d" d="M 628 4666 
L 1569 4666 
L 2759 1491 
L 3956 4666 
L 4897 4666 
L 4897 0 
L 4281 0 
L 4281 4097 
L 3078 897 
L 2444 897 
L 1241 4097 
L 1241 0 
L 628 0 
L 628 4666 
z
" 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-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-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-55" d="M 556 4666 
L 1191 4666 
L 1191 1831 
Q 1191 1081 1462 751 
Q 1734 422 2344 422 
Q 2950 422 3222 751 
Q 3494 1081 3494 1831 
L 3494 4666 
L 4128 4666 
L 4128 1753 
Q 4128 841 3676 375 
Q 3225 -91 2344 -91 
Q 1459 -91 1007 375 
Q 556 841 556 1753 
L 556 4666 
z
" transform="scale(0.015625)"/>
      <path id="DejaVuSans-43" d="M 4122 4306 
L 4122 3641 
Q 3803 3938 3442 4084 
Q 3081 4231 2675 4231 
Q 1875 4231 1450 3742 
Q 1025 3253 1025 2328 
Q 1025 1406 1450 917 
Q 1875 428 2675 428 
Q 3081 428 3442 575 
Q 3803 722 4122 1019 
L 4122 359 
Q 3791 134 3420 21 
Q 3050 -91 2638 -91 
Q 1578 -91 968 557 
Q 359 1206 359 2328 
Q 359 3453 968 4101 
Q 1578 4750 2638 4750 
Q 3056 4750 3426 4639 
Q 3797 4528 4122 4306 
z
" transform="scale(0.015625)"/>
      <path id="DejaVuSans-4f" d="M 2522 4238 
Q 1834 4238 1429 3725 
Q 1025 3213 1025 2328 
Q 1025 1447 1429 934 
Q 1834 422 2522 422 
Q 3209 422 3611 934 
Q 4013 1447 4013 2328 
Q 4013 3213 3611 3725 
Q 3209 4238 2522 4238 
z
M 2522 4750 
Q 3503 4750 4090 4092 
Q 4678 3434 4678 2328 
Q 4678 1225 4090 567 
Q 3503 -91 2522 -91 
Q 1538 -91 948 565 
Q 359 1222 359 2328 
Q 359 3434 948 4092 
Q 1538 4750 2522 4750 
z
" transform="scale(0.015625)"/>
      <path id="DejaVuSans-50" d="M 1259 4147 
L 1259 2394 
L 2053 2394 
Q 2494 2394 2734 2622 
Q 2975 2850 2975 3272 
Q 2975 3691 2734 3919 
Q 2494 4147 2053 4147 
L 1259 4147 
z
M 628 4666 
L 2053 4666 
Q 2838 4666 3239 4311 
Q 3641 3956 3641 3272 
Q 3641 2581 3239 2228 
Q 2838 1875 2053 1875 
L 1259 1875 
L 1259 0 
L 628 0 
L 628 4666 
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-52"/>
     <use xlink:href="#DejaVuSans-65" x="64.982422"/>
     <use xlink:href="#DejaVuSans-63" x="126.505859"/>
     <use xlink:href="#DejaVuSans-75" x="181.486328"/>
     <use xlink:href="#DejaVuSans-72" x="244.865234"/>
     <use xlink:href="#DejaVuSans-73" x="285.978516"/>
     <use xlink:href="#DejaVuSans-69" x="338.078125"/>
     <use xlink:href="#DejaVuSans-76" x="365.861328"/>
     <use xlink:href="#DejaVuSans-65" x="425.041016"/>
     <use xlink:href="#DejaVuSans-20" x="486.564453"/>
     <use xlink:href="#DejaVuSans-41" x="518.351562"/>
     <use xlink:href="#DejaVuSans-74" x="585.009766"/>
     <use xlink:href="#DejaVuSans-74" x="624.21875"/>
     <use xlink:href="#DejaVuSans-72" x="663.427734"/>
     <use xlink:href="#DejaVuSans-69" x="704.541016"/>
     <use xlink:href="#DejaVuSans-62" x="732.324219"/>
     <use xlink:href="#DejaVuSans-75" x="795.800781"/>
     <use xlink:href="#DejaVuSans-74" x="859.179688"/>
     <use xlink:href="#DejaVuSans-69" x="898.388672"/>
     <use xlink:href="#DejaVuSans-6f" x="926.171875"/>
     <use xlink:href="#DejaVuSans-6e" x="987.353516"/>
     <use xlink:href="#DejaVuSans-20" x="1050.732422"/>
     <use xlink:href="#DejaVuSans-47" x="1082.519531"/>
     <use xlink:href="#DejaVuSans-68" x="1160.009766"/>
     <use xlink:href="#DejaVuSans-6f" x="1223.388672"/>
     <use xlink:href="#DejaVuSans-73" x="1284.570312"/>
     <use xlink:href="#DejaVuSans-74" x="1336.669922"/>
     <use xlink:href="#DejaVuSans-20" x="1375.878906"/>
     <use xlink:href="#DejaVuSans-4d" x="1407.666016"/>
     <use xlink:href="#DejaVuSans-61" x="1493.945312"/>
     <use xlink:href="#DejaVuSans-70" x="1555.224609"/>
     <use xlink:href="#DejaVuSans-20" x="1618.701172"/>
     <use xlink:href="#DejaVuSans-28" x="1650.488281"/>
     <use xlink:href="#DejaVuSans-53" x="1689.501953"/>
     <use xlink:href="#DejaVuSans-68" x="1752.978516"/>
     <use xlink:href="#DejaVuSans-65" x="1816.357422"/>
     <use xlink:href="#DejaVuSans-6c" x="1877.880859"/>
     <use xlink:href="#DejaVuSans-6c" x="1905.664062"/>
     <use xlink:href="#DejaVuSans-20" x="1933.447266"/>
     <use xlink:href="#DejaVuSans-76" x="1965.234375"/>
     <use xlink:href="#DejaVuSans-35" x="2024.414062"/>
     <use xlink:href="#DejaVuSans-3a" x="2088.037109"/>
     <use xlink:href="#DejaVuSans-20" x="2121.728516"/>
     <use xlink:href="#DejaVuSans-49" x="2153.515625"/>
     <use xlink:href="#DejaVuSans-4e" x="2183.007812"/>
     <use xlink:href="#DejaVuSans-53" x="2257.8125"/>
     <use xlink:href="#DejaVuSans-54" x="2321.289062"/>
     <use xlink:href="#DejaVuSans-52" x="2382.373047"/>
     <use xlink:href="#DejaVuSans-55" x="2451.855469"/>
     <use xlink:href="#DejaVuSans-43" x="2525.048828"/>
     <use xlink:href="#DejaVuSans-54" x="2594.873047"/>
     <use xlink:href="#DejaVuSans-49" x="2655.957031"/>
     <use xlink:href="#DejaVuSans-4f" x="2685.449219"/>
     <use xlink:href="#DejaVuSans-4e" x="2764.160156"/>
     <use xlink:href="#DejaVuSans-2d" x="2838.964844"/>
     <use xlink:href="#DejaVuSans-44" x="2875.048828"/>
     <use xlink:href="#DejaVuSans-49" x="2952.050781"/>
     <use xlink:href="#DejaVuSans-53" x="2981.542969"/>
     <use xlink:href="#DejaVuSans-52" x="3045.019531"/>
     <use xlink:href="#DejaVuSans-55" x="3114.501953"/>
     <use xlink:href="#DejaVuSans-50" x="3187.695312"/>
     <use xlink:href="#DejaVuSans-54" x="3247.998047"/>
     <use xlink:href="#DejaVuSans-49" x="3309.082031"/>
     <use xlink:href="#DejaVuSans-4f" x="3338.574219"/>
     <use xlink:href="#DejaVuSans-4e" x="3417.285156"/>
     <use xlink:href="#DejaVuSans-29" x="3492.089844"/>
    </g>
   </g>
  </g>
 </g>
 <defs>
  <clipPath id="p3fe3a77c59">
   <rect x="20.517966" y="25.3575" width="558" height="332.64"/>
  </clipPath>
 </defs>
</svg>