docs/pi_of_k.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">
<!-- Created with matplotlib (https://matplotlib.org/) -->
<svg height="504pt" version="1.1" viewBox="0 0 864 504" width="864pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
 <defs>
  <style type="text/css">
*{stroke-linecap:butt;stroke-linejoin:round;}
  </style>
 </defs>
 <g id="figure_1">
  <g id="patch_1">
   <path d="M 0 504 
L 864 504 
L 864 0 
L 0 0 
z
" style="fill:#ffffff;"/>
  </g>
  <g id="axes_1">
   <g id="patch_2">
    <path d="M 108 441 
L 777.6 441 
L 777.6 60.48 
L 108 60.48 
z
" style="fill:#ffffff;"/>
   </g>
   <g id="PathCollection_1">
    <defs>
     <path d="M 0 7.071068 
C 1.875269 7.071068 3.673985 6.326016 5 5 
C 6.326016 3.673985 7.071068 1.875269 7.071068 0 
C 7.071068 -1.875269 6.326016 -3.673985 5 -5 
C 3.673985 -6.326016 1.875269 -7.071068 0 -7.071068 
C -1.875269 -7.071068 -3.673985 -6.326016 -5 -5 
C -6.326016 -3.673985 -7.071068 -1.875269 -7.071068 0 
C -7.071068 1.875269 -6.326016 3.673985 -5 5 
C -3.673985 6.326016 -1.875269 7.071068 0 7.071068 
z
" id="md248685cfc" style="stroke:#008000;"/>
    </defs>
    <g clip-path="url(#p35e28d5523)">
     <use style="fill:#008000;stroke:#008000;" x="145.503704" xlink:href="#md248685cfc" y="136.584"/>
     <use style="fill:#008000;stroke:#008000;" x="230.445503" xlink:href="#md248685cfc" y="167.0256"/>
     <use style="fill:#008000;stroke:#008000;" x="315.387302" xlink:href="#md248685cfc" y="179.20224"/>
     <use style="fill:#008000;stroke:#008000;" x="400.329101" xlink:href="#md248685cfc" y="184.072896"/>
     <use style="fill:#008000;stroke:#008000;" x="485.270899" xlink:href="#md248685cfc" y="186.021158"/>
     <use style="fill:#008000;stroke:#008000;" x="570.212698" xlink:href="#md248685cfc" y="186.800463"/>
     <use style="fill:#008000;stroke:#008000;" x="655.154497" xlink:href="#md248685cfc" y="187.112185"/>
     <use style="fill:#008000;stroke:#008000;" x="740.096296" xlink:href="#md248685cfc" y="187.236874"/>
    </g>
   </g>
   <g id="PathCollection_2">
    <defs>
     <path d="M 0 7.071068 
C 1.875269 7.071068 3.673985 6.326016 5 5 
C 6.326016 3.673985 7.071068 1.875269 7.071068 0 
C 7.071068 -1.875269 6.326016 -3.673985 5 -5 
C 3.673985 -6.326016 1.875269 -7.071068 0 -7.071068 
C -1.875269 -7.071068 -3.673985 -6.326016 -5 -5 
C -6.326016 -3.673985 -7.071068 -1.875269 -7.071068 0 
C -7.071068 1.875269 -6.326016 3.673985 -5 5 
C -3.673985 6.326016 -1.875269 7.071068 0 7.071068 
z
" id="mbd4d0330fc" style="stroke:#ffa500;"/>
    </defs>
    <g clip-path="url(#p35e28d5523)">
     <use style="fill:#ffa500;stroke:#ffa500;" x="145.503704" xlink:href="#mbd4d0330fc" y="364.896"/>
     <use style="fill:#ffa500;stroke:#ffa500;" x="230.445503" xlink:href="#mbd4d0330fc" y="334.4544"/>
     <use style="fill:#ffa500;stroke:#ffa500;" x="315.387302" xlink:href="#mbd4d0330fc" y="322.27776"/>
     <use style="fill:#ffa500;stroke:#ffa500;" x="400.329101" xlink:href="#mbd4d0330fc" y="317.407104"/>
     <use style="fill:#ffa500;stroke:#ffa500;" x="485.270899" xlink:href="#mbd4d0330fc" y="315.458842"/>
     <use style="fill:#ffa500;stroke:#ffa500;" x="570.212698" xlink:href="#mbd4d0330fc" y="314.679537"/>
     <use style="fill:#ffa500;stroke:#ffa500;" x="655.154497" xlink:href="#mbd4d0330fc" y="314.367815"/>
     <use style="fill:#ffa500;stroke:#ffa500;" x="740.096296" xlink:href="#mbd4d0330fc" y="314.243126"/>
    </g>
   </g>
   <g id="matplotlib.axis_1">
    <g id="xtick_1">
     <g id="line2d_1">
      <path clip-path="url(#p35e28d5523)" d="M 145.503704 441 
L 145.503704 60.48 
" style="fill:none;stroke:#b0b0b0;stroke-linecap:square;stroke-width:0.8;"/>
     </g>
     <g id="line2d_2">
      <defs>
       <path d="M 0 0 
L 0 3.5 
" id="m1dc1abd75d" style="stroke:#000000;stroke-width:0.8;"/>
      </defs>
      <g>
       <use style="stroke:#000000;stroke-width:0.8;" x="145.503704" xlink:href="#m1dc1abd75d" y="441"/>
      </g>
     </g>
     <g id="text_1">
      <!-- 0 -->
      <defs>
       <path d="M 31.78125 66.40625 
Q 24.171875 66.40625 20.328125 58.90625 
Q 16.5 51.421875 16.5 36.375 
Q 16.5 21.390625 20.328125 13.890625 
Q 24.171875 6.390625 31.78125 6.390625 
Q 39.453125 6.390625 43.28125 13.890625 
Q 47.125 21.390625 47.125 36.375 
Q 47.125 51.421875 43.28125 58.90625 
Q 39.453125 66.40625 31.78125 66.40625 
z
M 31.78125 74.21875 
Q 44.046875 74.21875 50.515625 64.515625 
Q 56.984375 54.828125 56.984375 36.375 
Q 56.984375 17.96875 50.515625 8.265625 
Q 44.046875 -1.421875 31.78125 -1.421875 
Q 19.53125 -1.421875 13.0625 8.265625 
Q 6.59375 17.96875 6.59375 36.375 
Q 6.59375 54.828125 13.0625 64.515625 
Q 19.53125 74.21875 31.78125 74.21875 
z
" id="DejaVuSans-48"/>
      </defs>
      <g transform="translate(139.777454 461.677188)scale(0.18 -0.18)">
       <use xlink:href="#DejaVuSans-48"/>
      </g>
     </g>
    </g>
    <g id="xtick_2">
     <g id="line2d_3">
      <path clip-path="url(#p35e28d5523)" d="M 230.445503 441 
L 230.445503 60.48 
" style="fill:none;stroke:#b0b0b0;stroke-linecap:square;stroke-width:0.8;"/>
     </g>
     <g id="line2d_4">
      <g>
       <use style="stroke:#000000;stroke-width:0.8;" x="230.445503" xlink:href="#m1dc1abd75d" y="441"/>
      </g>
     </g>
     <g id="text_2">
      <!-- 1 -->
      <defs>
       <path d="M 12.40625 8.296875 
L 28.515625 8.296875 
L 28.515625 63.921875 
L 10.984375 60.40625 
L 10.984375 69.390625 
L 28.421875 72.90625 
L 38.28125 72.90625 
L 38.28125 8.296875 
L 54.390625 8.296875 
L 54.390625 0 
L 12.40625 0 
z
" id="DejaVuSans-49"/>
      </defs>
      <g transform="translate(224.719253 461.677188)scale(0.18 -0.18)">
       <use xlink:href="#DejaVuSans-49"/>
      </g>
     </g>
    </g>
    <g id="xtick_3">
     <g id="line2d_5">
      <path clip-path="url(#p35e28d5523)" d="M 315.387302 441 
L 315.387302 60.48 
" style="fill:none;stroke:#b0b0b0;stroke-linecap:square;stroke-width:0.8;"/>
     </g>
     <g id="line2d_6">
      <g>
       <use style="stroke:#000000;stroke-width:0.8;" x="315.387302" xlink:href="#m1dc1abd75d" y="441"/>
      </g>
     </g>
     <g id="text_3">
      <!-- 2 -->
      <defs>
       <path d="M 19.1875 8.296875 
L 53.609375 8.296875 
L 53.609375 0 
L 7.328125 0 
L 7.328125 8.296875 
Q 12.9375 14.109375 22.625 23.890625 
Q 32.328125 33.6875 34.8125 36.53125 
Q 39.546875 41.84375 41.421875 45.53125 
Q 43.3125 49.21875 43.3125 52.78125 
Q 43.3125 58.59375 39.234375 62.25 
Q 35.15625 65.921875 28.609375 65.921875 
Q 23.96875 65.921875 18.8125 64.3125 
Q 13.671875 62.703125 7.8125 59.421875 
L 7.8125 69.390625 
Q 13.765625 71.78125 18.9375 73 
Q 24.125 74.21875 28.421875 74.21875 
Q 39.75 74.21875 46.484375 68.546875 
Q 53.21875 62.890625 53.21875 53.421875 
Q 53.21875 48.921875 51.53125 44.890625 
Q 49.859375 40.875 45.40625 35.40625 
Q 44.1875 33.984375 37.640625 27.21875 
Q 31.109375 20.453125 19.1875 8.296875 
z
" id="DejaVuSans-50"/>
      </defs>
      <g transform="translate(309.661052 461.677188)scale(0.18 -0.18)">
       <use xlink:href="#DejaVuSans-50"/>
      </g>
     </g>
    </g>
    <g id="xtick_4">
     <g id="line2d_7">
      <path clip-path="url(#p35e28d5523)" d="M 400.329101 441 
L 400.329101 60.48 
" style="fill:none;stroke:#b0b0b0;stroke-linecap:square;stroke-width:0.8;"/>
     </g>
     <g id="line2d_8">
      <g>
       <use style="stroke:#000000;stroke-width:0.8;" x="400.329101" xlink:href="#m1dc1abd75d" y="441"/>
      </g>
     </g>
     <g id="text_4">
      <!-- 3 -->
      <defs>
       <path d="M 40.578125 39.3125 
Q 47.65625 37.796875 51.625 33 
Q 55.609375 28.21875 55.609375 21.1875 
Q 55.609375 10.40625 48.1875 4.484375 
Q 40.765625 -1.421875 27.09375 -1.421875 
Q 22.515625 -1.421875 17.65625 -0.515625 
Q 12.796875 0.390625 7.625 2.203125 
L 7.625 11.71875 
Q 11.71875 9.328125 16.59375 8.109375 
Q 21.484375 6.890625 26.8125 6.890625 
Q 36.078125 6.890625 40.9375 10.546875 
Q 45.796875 14.203125 45.796875 21.1875 
Q 45.796875 27.640625 41.28125 31.265625 
Q 36.765625 34.90625 28.71875 34.90625 
L 20.21875 34.90625 
L 20.21875 43.015625 
L 29.109375 43.015625 
Q 36.375 43.015625 40.234375 45.921875 
Q 44.09375 48.828125 44.09375 54.296875 
Q 44.09375 59.90625 40.109375 62.90625 
Q 36.140625 65.921875 28.71875 65.921875 
Q 24.65625 65.921875 20.015625 65.03125 
Q 15.375 64.15625 9.8125 62.3125 
L 9.8125 71.09375 
Q 15.4375 72.65625 20.34375 73.4375 
Q 25.25 74.21875 29.59375 74.21875 
Q 40.828125 74.21875 47.359375 69.109375 
Q 53.90625 64.015625 53.90625 55.328125 
Q 53.90625 49.265625 50.4375 45.09375 
Q 46.96875 40.921875 40.578125 39.3125 
z
" id="DejaVuSans-51"/>
      </defs>
      <g transform="translate(394.602851 461.677188)scale(0.18 -0.18)">
       <use xlink:href="#DejaVuSans-51"/>
      </g>
     </g>
    </g>
    <g id="xtick_5">
     <g id="line2d_9">
      <path clip-path="url(#p35e28d5523)" d="M 485.270899 441 
L 485.270899 60.48 
" style="fill:none;stroke:#b0b0b0;stroke-linecap:square;stroke-width:0.8;"/>
     </g>
     <g id="line2d_10">
      <g>
       <use style="stroke:#000000;stroke-width:0.8;" x="485.270899" xlink:href="#m1dc1abd75d" y="441"/>
      </g>
     </g>
     <g id="text_5">
      <!-- 4 -->
      <defs>
       <path d="M 37.796875 64.3125 
L 12.890625 25.390625 
L 37.796875 25.390625 
z
M 35.203125 72.90625 
L 47.609375 72.90625 
L 47.609375 25.390625 
L 58.015625 25.390625 
L 58.015625 17.1875 
L 47.609375 17.1875 
L 47.609375 0 
L 37.796875 0 
L 37.796875 17.1875 
L 4.890625 17.1875 
L 4.890625 26.703125 
z
" id="DejaVuSans-52"/>
      </defs>
      <g transform="translate(479.544649 461.677188)scale(0.18 -0.18)">
       <use xlink:href="#DejaVuSans-52"/>
      </g>
     </g>
    </g>
    <g id="xtick_6">
     <g id="line2d_11">
      <path clip-path="url(#p35e28d5523)" d="M 570.212698 441 
L 570.212698 60.48 
" style="fill:none;stroke:#b0b0b0;stroke-linecap:square;stroke-width:0.8;"/>
     </g>
     <g id="line2d_12">
      <g>
       <use style="stroke:#000000;stroke-width:0.8;" x="570.212698" xlink:href="#m1dc1abd75d" y="441"/>
      </g>
     </g>
     <g id="text_6">
      <!-- 5 -->
      <defs>
       <path d="M 10.796875 72.90625 
L 49.515625 72.90625 
L 49.515625 64.59375 
L 19.828125 64.59375 
L 19.828125 46.734375 
Q 21.96875 47.46875 24.109375 47.828125 
Q 26.265625 48.1875 28.421875 48.1875 
Q 40.625 48.1875 47.75 41.5 
Q 54.890625 34.8125 54.890625 23.390625 
Q 54.890625 11.625 47.5625 5.09375 
Q 40.234375 -1.421875 26.90625 -1.421875 
Q 22.3125 -1.421875 17.546875 -0.640625 
Q 12.796875 0.140625 7.71875 1.703125 
L 7.71875 11.625 
Q 12.109375 9.234375 16.796875 8.0625 
Q 21.484375 6.890625 26.703125 6.890625 
Q 35.15625 6.890625 40.078125 11.328125 
Q 45.015625 15.765625 45.015625 23.390625 
Q 45.015625 31 40.078125 35.4375 
Q 35.15625 39.890625 26.703125 39.890625 
Q 22.75 39.890625 18.8125 39.015625 
Q 14.890625 38.140625 10.796875 36.28125 
z
" id="DejaVuSans-53"/>
      </defs>
      <g transform="translate(564.486448 461.677188)scale(0.18 -0.18)">
       <use xlink:href="#DejaVuSans-53"/>
      </g>
     </g>
    </g>
    <g id="xtick_7">
     <g id="line2d_13">
      <path clip-path="url(#p35e28d5523)" d="M 655.154497 441 
L 655.154497 60.48 
" style="fill:none;stroke:#b0b0b0;stroke-linecap:square;stroke-width:0.8;"/>
     </g>
     <g id="line2d_14">
      <g>
       <use style="stroke:#000000;stroke-width:0.8;" x="655.154497" xlink:href="#m1dc1abd75d" y="441"/>
      </g>
     </g>
     <g id="text_7">
      <!-- 6 -->
      <defs>
       <path d="M 33.015625 40.375 
Q 26.375 40.375 22.484375 35.828125 
Q 18.609375 31.296875 18.609375 23.390625 
Q 18.609375 15.53125 22.484375 10.953125 
Q 26.375 6.390625 33.015625 6.390625 
Q 39.65625 6.390625 43.53125 10.953125 
Q 47.40625 15.53125 47.40625 23.390625 
Q 47.40625 31.296875 43.53125 35.828125 
Q 39.65625 40.375 33.015625 40.375 
z
M 52.59375 71.296875 
L 52.59375 62.3125 
Q 48.875 64.0625 45.09375 64.984375 
Q 41.3125 65.921875 37.59375 65.921875 
Q 27.828125 65.921875 22.671875 59.328125 
Q 17.53125 52.734375 16.796875 39.40625 
Q 19.671875 43.65625 24.015625 45.921875 
Q 28.375 48.1875 33.59375 48.1875 
Q 44.578125 48.1875 50.953125 41.515625 
Q 57.328125 34.859375 57.328125 23.390625 
Q 57.328125 12.15625 50.6875 5.359375 
Q 44.046875 -1.421875 33.015625 -1.421875 
Q 20.359375 -1.421875 13.671875 8.265625 
Q 6.984375 17.96875 6.984375 36.375 
Q 6.984375 53.65625 15.1875 63.9375 
Q 23.390625 74.21875 37.203125 74.21875 
Q 40.921875 74.21875 44.703125 73.484375 
Q 48.484375 72.75 52.59375 71.296875 
z
" id="DejaVuSans-54"/>
      </defs>
      <g transform="translate(649.428247 461.677188)scale(0.18 -0.18)">
       <use xlink:href="#DejaVuSans-54"/>
      </g>
     </g>
    </g>
    <g id="xtick_8">
     <g id="line2d_15">
      <path clip-path="url(#p35e28d5523)" d="M 740.096296 441 
L 740.096296 60.48 
" style="fill:none;stroke:#b0b0b0;stroke-linecap:square;stroke-width:0.8;"/>
     </g>
     <g id="line2d_16">
      <g>
       <use style="stroke:#000000;stroke-width:0.8;" x="740.096296" xlink:href="#m1dc1abd75d" y="441"/>
      </g>
     </g>
     <g id="text_8">
      <!-- 7 -->
      <defs>
       <path d="M 8.203125 72.90625 
L 55.078125 72.90625 
L 55.078125 68.703125 
L 28.609375 0 
L 18.3125 0 
L 43.21875 64.59375 
L 8.203125 64.59375 
z
" id="DejaVuSans-55"/>
      </defs>
      <g transform="translate(734.370046 461.677188)scale(0.18 -0.18)">
       <use xlink:href="#DejaVuSans-55"/>
      </g>
     </g>
    </g>
    <g id="text_9">
     <!-- $\ k$ -->
     <defs>
      <path d="M 18.3125 75.984375 
L 27.296875 75.984375 
L 18.703125 31.6875 
L 49.515625 54.6875 
L 61.1875 54.6875 
L 26.8125 28.515625 
L 51.90625 0 
L 41.015625 0 
L 17.671875 26.703125 
L 12.5 0 
L 3.515625 0 
z
" id="DejaVuSans-Oblique-107"/>
     </defs>
     <g transform="translate(434.61 483.097812)scale(0.18 -0.18)">
      <use transform="translate(32.470378 0.015625)" xlink:href="#DejaVuSans-Oblique-107"/>
     </g>
    </g>
   </g>
   <g id="matplotlib.axis_2">
    <g id="ytick_1">
     <g id="line2d_17">
      <path clip-path="url(#p35e28d5523)" d="M 108 441 
L 777.6 441 
" style="fill:none;stroke:#b0b0b0;stroke-linecap:square;stroke-width:0.8;"/>
     </g>
     <g id="line2d_18">
      <defs>
       <path d="M 0 0 
L -3.5 0 
" id="mba99bde591" style="stroke:#000000;stroke-width:0.8;"/>
      </defs>
      <g>
       <use style="stroke:#000000;stroke-width:0.8;" x="108" xlink:href="#mba99bde591" y="441"/>
      </g>
     </g>
     <g id="text_10">
      <!-- 0.0 -->
      <defs>
       <path d="M 10.6875 12.40625 
L 21 12.40625 
L 21 0 
L 10.6875 0 
z
" id="DejaVuSans-46"/>
      </defs>
      <g transform="translate(72.374375 447.838594)scale(0.18 -0.18)">
       <use xlink:href="#DejaVuSans-48"/>
       <use x="63.623047" xlink:href="#DejaVuSans-46"/>
       <use x="95.410156" xlink:href="#DejaVuSans-48"/>
      </g>
     </g>
    </g>
    <g id="ytick_2">
     <g id="line2d_19">
      <path clip-path="url(#p35e28d5523)" d="M 108 364.896 
L 777.6 364.896 
" style="fill:none;stroke:#b0b0b0;stroke-linecap:square;stroke-width:0.8;"/>
     </g>
     <g id="line2d_20">
      <g>
       <use style="stroke:#000000;stroke-width:0.8;" x="108" xlink:href="#mba99bde591" y="364.896"/>
      </g>
     </g>
     <g id="text_11">
      <!-- 0.2 -->
      <g transform="translate(72.374375 371.734594)scale(0.18 -0.18)">
       <use xlink:href="#DejaVuSans-48"/>
       <use x="63.623047" xlink:href="#DejaVuSans-46"/>
       <use x="95.410156" xlink:href="#DejaVuSans-50"/>
      </g>
     </g>
    </g>
    <g id="ytick_3">
     <g id="line2d_21">
      <path clip-path="url(#p35e28d5523)" d="M 108 288.792 
L 777.6 288.792 
" style="fill:none;stroke:#b0b0b0;stroke-linecap:square;stroke-width:0.8;"/>
     </g>
     <g id="line2d_22">
      <g>
       <use style="stroke:#000000;stroke-width:0.8;" x="108" xlink:href="#mba99bde591" y="288.792"/>
      </g>
     </g>
     <g id="text_12">
      <!-- 0.4 -->
      <g transform="translate(72.374375 295.630594)scale(0.18 -0.18)">
       <use xlink:href="#DejaVuSans-48"/>
       <use x="63.623047" xlink:href="#DejaVuSans-46"/>
       <use x="95.410156" xlink:href="#DejaVuSans-52"/>
      </g>
     </g>
    </g>
    <g id="ytick_4">
     <g id="line2d_23">
      <path clip-path="url(#p35e28d5523)" d="M 108 212.688 
L 777.6 212.688 
" style="fill:none;stroke:#b0b0b0;stroke-linecap:square;stroke-width:0.8;"/>
     </g>
     <g id="line2d_24">
      <g>
       <use style="stroke:#000000;stroke-width:0.8;" x="108" xlink:href="#mba99bde591" y="212.688"/>
      </g>
     </g>
     <g id="text_13">
      <!-- 0.6 -->
      <g transform="translate(72.374375 219.526594)scale(0.18 -0.18)">
       <use xlink:href="#DejaVuSans-48"/>
       <use x="63.623047" xlink:href="#DejaVuSans-46"/>
       <use x="95.410156" xlink:href="#DejaVuSans-54"/>
      </g>
     </g>
    </g>
    <g id="ytick_5">
     <g id="line2d_25">
      <path clip-path="url(#p35e28d5523)" d="M 108 136.584 
L 777.6 136.584 
" style="fill:none;stroke:#b0b0b0;stroke-linecap:square;stroke-width:0.8;"/>
     </g>
     <g id="line2d_26">
      <g>
       <use style="stroke:#000000;stroke-width:0.8;" x="108" xlink:href="#mba99bde591" y="136.584"/>
      </g>
     </g>
     <g id="text_14">
      <!-- 0.8 -->
      <defs>
       <path d="M 31.78125 34.625 
Q 24.75 34.625 20.71875 30.859375 
Q 16.703125 27.09375 16.703125 20.515625 
Q 16.703125 13.921875 20.71875 10.15625 
Q 24.75 6.390625 31.78125 6.390625 
Q 38.8125 6.390625 42.859375 10.171875 
Q 46.921875 13.96875 46.921875 20.515625 
Q 46.921875 27.09375 42.890625 30.859375 
Q 38.875 34.625 31.78125 34.625 
z
M 21.921875 38.8125 
Q 15.578125 40.375 12.03125 44.71875 
Q 8.5 49.078125 8.5 55.328125 
Q 8.5 64.0625 14.71875 69.140625 
Q 20.953125 74.21875 31.78125 74.21875 
Q 42.671875 74.21875 48.875 69.140625 
Q 55.078125 64.0625 55.078125 55.328125 
Q 55.078125 49.078125 51.53125 44.71875 
Q 48 40.375 41.703125 38.8125 
Q 48.828125 37.15625 52.796875 32.3125 
Q 56.78125 27.484375 56.78125 20.515625 
Q 56.78125 9.90625 50.3125 4.234375 
Q 43.84375 -1.421875 31.78125 -1.421875 
Q 19.734375 -1.421875 13.25 4.234375 
Q 6.78125 9.90625 6.78125 20.515625 
Q 6.78125 27.484375 10.78125 32.3125 
Q 14.796875 37.15625 21.921875 38.8125 
z
M 18.3125 54.390625 
Q 18.3125 48.734375 21.84375 45.5625 
Q 25.390625 42.390625 31.78125 42.390625 
Q 38.140625 42.390625 41.71875 45.5625 
Q 45.3125 48.734375 45.3125 54.390625 
Q 45.3125 60.0625 41.71875 63.234375 
Q 38.140625 66.40625 31.78125 66.40625 
Q 25.390625 66.40625 21.84375 63.234375 
Q 18.3125 60.0625 18.3125 54.390625 
z
" id="DejaVuSans-56"/>
      </defs>
      <g transform="translate(72.374375 143.422594)scale(0.18 -0.18)">
       <use xlink:href="#DejaVuSans-48"/>
       <use x="63.623047" xlink:href="#DejaVuSans-46"/>
       <use x="95.410156" xlink:href="#DejaVuSans-56"/>
      </g>
     </g>
    </g>
    <g id="ytick_6">
     <g id="line2d_27">
      <path clip-path="url(#p35e28d5523)" d="M 108 60.48 
L 777.6 60.48 
" style="fill:none;stroke:#b0b0b0;stroke-linecap:square;stroke-width:0.8;"/>
     </g>
     <g id="line2d_28">
      <g>
       <use style="stroke:#000000;stroke-width:0.8;" x="108" xlink:href="#mba99bde591" y="60.48"/>
      </g>
     </g>
     <g id="text_15">
      <!-- 1.0 -->
      <g transform="translate(72.374375 67.318594)scale(0.18 -0.18)">
       <use xlink:href="#DejaVuSans-49"/>
       <use x="63.623047" xlink:href="#DejaVuSans-46"/>
       <use x="95.410156" xlink:href="#DejaVuSans-48"/>
      </g>
     </g>
    </g>
    <g id="text_16">
     <!-- $\pi[i, k]$ -->
     <defs>
      <path d="M 9.125 54.6875 
L 61.53125 54.6875 
L 59.765625 45.703125 
L 52.875 45.703125 
L 46.34375 12.109375 
Q 45.65625 8.59375 46.578125 7.03125 
Q 47.46875 5.515625 50.140625 5.515625 
Q 50.875 5.515625 51.953125 5.671875 
Q 53.078125 5.765625 53.421875 5.8125 
L 52.15625 -0.6875 
Q 50.34375 -1.3125 48.484375 -1.609375 
Q 46.578125 -1.90625 44.78125 -1.90625 
Q 38.921875 -1.90625 37.3125 1.265625 
Q 35.6875 4.5 37.359375 13.09375 
L 43.703125 45.703125 
L 23.53125 45.703125 
L 14.65625 0 
L 5.46875 0 
L 14.359375 45.703125 
L 7.375 45.703125 
z
" id="DejaVuSans-Oblique-960"/>
      <path d="M 8.59375 75.984375 
L 29.296875 75.984375 
L 29.296875 69 
L 17.578125 69 
L 17.578125 -6.203125 
L 29.296875 -6.203125 
L 29.296875 -13.1875 
L 8.59375 -13.1875 
z
" id="DejaVuSans-91"/>
      <path d="M 18.3125 75.984375 
L 27.296875 75.984375 
L 25.09375 64.59375 
L 16.109375 64.59375 
z
M 14.203125 54.6875 
L 23.1875 54.6875 
L 12.5 0 
L 3.515625 0 
z
" id="DejaVuSans-Oblique-105"/>
      <path d="M 11.71875 12.40625 
L 22.015625 12.40625 
L 22.015625 4 
L 14.015625 -11.625 
L 7.71875 -11.625 
L 11.71875 4 
z
" id="DejaVuSans-44"/>
      <path d="M 30.421875 75.984375 
L 30.421875 -13.1875 
L 9.71875 -13.1875 
L 9.71875 -6.203125 
L 21.390625 -6.203125 
L 21.390625 69 
L 9.71875 69 
L 9.71875 75.984375 
z
" id="DejaVuSans-93"/>
     </defs>
     <g transform="translate(64.630938 275.58)rotate(-90)scale(0.18 -0.18)">
      <use transform="translate(0 0.015625)" xlink:href="#DejaVuSans-Oblique-960"/>
      <use transform="translate(60.205078 0.015625)" xlink:href="#DejaVuSans-91"/>
      <use transform="translate(99.21875 0.015625)" xlink:href="#DejaVuSans-Oblique-105"/>
      <use transform="translate(127.001953 0.015625)" xlink:href="#DejaVuSans-44"/>
      <use transform="translate(178.271484 0.015625)" xlink:href="#DejaVuSans-Oblique-107"/>
      <use transform="translate(236.181641 0.015625)" xlink:href="#DejaVuSans-93"/>
     </g>
    </g>
   </g>
   <g id="line2d_29">
    <path clip-path="url(#p35e28d5523)" d="M 145.503704 136.584 
L 230.445503 167.0256 
L 315.387302 179.20224 
L 400.329101 184.072896 
L 485.270899 186.021158 
L 570.212698 186.800463 
L 655.154497 187.112185 
L 740.096296 187.236874 
" style="fill:none;stroke:#000000;stroke-linecap:square;stroke-width:1.5;"/>
   </g>
   <g id="line2d_30">
    <path clip-path="url(#p35e28d5523)" d="M 145.503704 364.896 
L 230.445503 334.4544 
L 315.387302 322.27776 
L 400.329101 317.407104 
L 485.270899 315.458842 
L 570.212698 314.679537 
L 655.154497 314.367815 
L 740.096296 314.243126 
" style="fill:none;stroke:#000000;stroke-linecap:square;stroke-width:1.5;"/>
   </g>
   <g id="line2d_31">
    <path clip-path="url(#p35e28d5523)" d="M 108 187.32 
L 777.6 187.32 
" style="fill:none;stroke:#008000;stroke-dasharray:19.2,4.8,3,4.8;stroke-dashoffset:0;stroke-width:3;"/>
   </g>
   <g id="line2d_32">
    <path clip-path="url(#p35e28d5523)" d="M 108 314.16 
L 777.6 314.16 
" style="fill:none;stroke:#ffa500;stroke-dasharray:19.2,4.8,3,4.8;stroke-dashoffset:0;stroke-width:3;"/>
   </g>
   <g id="patch_3">
    <path d="M 108 441 
L 108 60.48 
" style="fill:none;stroke:#000000;stroke-linecap:square;stroke-linejoin:miter;stroke-width:0.8;"/>
   </g>
   <g id="patch_4">
    <path d="M 777.6 441 
L 777.6 60.48 
" style="fill:none;stroke:#000000;stroke-linecap:square;stroke-linejoin:miter;stroke-width:0.8;"/>
   </g>
   <g id="patch_5">
    <path d="M 108 441 
L 777.6 441 
" style="fill:none;stroke:#000000;stroke-linecap:square;stroke-linejoin:miter;stroke-width:0.8;"/>
   </g>
   <g id="patch_6">
    <path d="M 108 60.48 
L 777.6 60.48 
" style="fill:none;stroke:#000000;stroke-linecap:square;stroke-linejoin:miter;stroke-width:0.8;"/>
   </g>
   <g id="legend_1">
    <g id="patch_7">
     <path d="M 578.52 127.72125 
L 765 127.72125 
Q 768.6 127.72125 768.6 124.12125 
L 768.6 73.08 
Q 768.6 69.48 765 69.48 
L 578.52 69.48 
Q 574.92 69.48 574.92 73.08 
L 574.92 124.12125 
Q 574.92 127.72125 578.52 127.72125 
z
" style="fill:#ffffff;opacity:0.8;stroke:#cccccc;stroke-linejoin:miter;"/>
    </g>
    <g id="PathCollection_3">
     <g>
      <use style="fill:#008000;stroke:#008000;" x="600.12" xlink:href="#md248685cfc" y="85.632188"/>
     </g>
    </g>
    <g id="text_17">
     <!-- $\pi[leftLane, k]$ -->
     <defs>
      <path d="M 18.3125 75.984375 
L 27.296875 75.984375 
L 12.5 0 
L 3.515625 0 
z
" id="DejaVuSans-Oblique-108"/>
      <path d="M 48.09375 32.234375 
Q 48.25 33.015625 48.3125 33.84375 
Q 48.390625 34.671875 48.390625 35.5 
Q 48.390625 41.453125 44.890625 44.921875 
Q 41.40625 48.390625 35.40625 48.390625 
Q 28.71875 48.390625 23.578125 44.15625 
Q 18.453125 39.9375 15.828125 32.171875 
z
M 55.90625 25.203125 
L 14.109375 25.203125 
Q 13.8125 23.34375 13.71875 22.265625 
Q 13.625 21.1875 13.625 20.40625 
Q 13.625 13.625 17.796875 9.90625 
Q 21.96875 6.203125 29.59375 6.203125 
Q 35.453125 6.203125 40.671875 7.515625 
Q 45.90625 8.84375 50.390625 11.375 
L 48.6875 2.484375 
Q 43.84375 0.53125 38.6875 -0.4375 
Q 33.546875 -1.421875 28.21875 -1.421875 
Q 16.84375 -1.421875 10.71875 4.015625 
Q 4.59375 9.46875 4.59375 19.484375 
Q 4.59375 28.03125 7.640625 35.375 
Q 10.6875 42.71875 16.609375 48.484375 
Q 20.40625 52.09375 25.65625 54.046875 
Q 30.90625 56 36.8125 56 
Q 46.09375 56 51.578125 50.4375 
Q 57.078125 44.875 57.078125 35.5 
Q 57.078125 33.25 56.78125 30.6875 
Q 56.5 28.125 55.90625 25.203125 
z
" id="DejaVuSans-Oblique-101"/>
      <path d="M 47.796875 75.984375 
L 46.390625 68.5 
L 37.796875 68.5 
Q 32.90625 68.5 30.6875 66.578125 
Q 28.46875 64.65625 27.390625 59.515625 
L 26.421875 54.6875 
L 41.21875 54.6875 
L 39.890625 47.703125 
L 25.09375 47.703125 
L 15.828125 0 
L 6.78125 0 
L 16.109375 47.703125 
L 7.515625 47.703125 
L 8.796875 54.6875 
L 17.390625 54.6875 
L 18.109375 58.5 
Q 19.96875 68.171875 24.625 72.078125 
Q 29.296875 75.984375 39.3125 75.984375 
z
" id="DejaVuSans-Oblique-102"/>
      <path d="M 42.28125 54.6875 
L 40.921875 47.703125 
L 23 47.703125 
L 17.1875 18.015625 
Q 16.890625 16.359375 16.75 15.234375 
Q 16.609375 14.109375 16.609375 13.484375 
Q 16.609375 10.359375 18.484375 8.9375 
Q 20.359375 7.515625 24.515625 7.515625 
L 33.59375 7.515625 
L 32.078125 0 
L 23.484375 0 
Q 15.484375 0 11.546875 3.125 
Q 7.625 6.25 7.625 12.59375 
Q 7.625 13.71875 7.765625 15.0625 
Q 7.90625 16.40625 8.203125 18.015625 
L 14.015625 47.703125 
L 6.390625 47.703125 
L 7.8125 54.6875 
L 15.28125 54.6875 
L 18.3125 70.21875 
L 27.296875 70.21875 
L 24.3125 54.6875 
z
" id="DejaVuSans-Oblique-116"/>
      <path d="M 16.796875 72.90625 
L 26.703125 72.90625 
L 14.203125 8.203125 
L 49.703125 8.203125 
L 48.09375 0 
L 2.6875 0 
z
" id="DejaVuSans-Oblique-76"/>
      <path d="M 53.71875 31.203125 
L 47.609375 0 
L 38.625 0 
L 40.28125 8.296875 
Q 36.328125 3.421875 31.265625 1 
Q 26.21875 -1.421875 20.015625 -1.421875 
Q 13.03125 -1.421875 8.5625 2.84375 
Q 4.109375 7.125 4.109375 13.8125 
Q 4.109375 23.390625 11.75 28.953125 
Q 19.390625 34.515625 32.8125 34.515625 
L 45.3125 34.515625 
L 45.796875 36.921875 
Q 45.90625 37.3125 45.953125 37.765625 
Q 46 38.234375 46 39.203125 
Q 46 43.5625 42.453125 45.96875 
Q 38.921875 48.390625 32.515625 48.390625 
Q 28.125 48.390625 23.5 47.265625 
Q 18.890625 46.140625 14.015625 43.890625 
L 15.578125 52.203125 
Q 20.65625 54.109375 25.515625 55.046875 
Q 30.375 56 34.90625 56 
Q 44.578125 56 49.625 51.796875 
Q 54.6875 47.609375 54.6875 39.59375 
Q 54.6875 37.984375 54.4375 35.8125 
Q 54.203125 33.640625 53.71875 31.203125 
z
M 44 27.484375 
L 35.015625 27.484375 
Q 23.96875 27.484375 18.671875 24.53125 
Q 13.375 21.578125 13.375 15.375 
Q 13.375 11.078125 16.078125 8.640625 
Q 18.796875 6.203125 23.578125 6.203125 
Q 30.90625 6.203125 36.375 11.453125 
Q 41.84375 16.703125 43.609375 25.484375 
z
" id="DejaVuSans-Oblique-97"/>
      <path d="M 55.71875 33.015625 
L 49.3125 0 
L 40.28125 0 
L 46.6875 32.671875 
Q 47.125 34.96875 47.359375 36.71875 
Q 47.609375 38.484375 47.609375 39.5 
Q 47.609375 43.609375 45.015625 45.890625 
Q 42.4375 48.1875 37.796875 48.1875 
Q 30.5625 48.1875 25.34375 43.375 
Q 20.125 38.578125 18.5 30.328125 
L 12.5 0 
L 3.515625 0 
L 14.109375 54.6875 
L 23.09375 54.6875 
L 21.296875 46.09375 
Q 25.046875 50.828125 30.3125 53.40625 
Q 35.59375 56 41.40625 56 
Q 48.640625 56 52.609375 52.09375 
Q 56.59375 48.1875 56.59375 41.109375 
Q 56.59375 39.359375 56.375 37.359375 
Q 56.15625 35.359375 55.71875 33.015625 
z
" id="DejaVuSans-Oblique-110"/>
     </defs>
     <g transform="translate(632.52 90.357188)scale(0.18 -0.18)">
      <use transform="translate(0 0.015625)" xlink:href="#DejaVuSans-Oblique-960"/>
      <use transform="translate(60.205078 0.015625)" xlink:href="#DejaVuSans-91"/>
      <use transform="translate(99.21875 0.015625)" xlink:href="#DejaVuSans-Oblique-108"/>
      <use transform="translate(127.001953 0.015625)" xlink:href="#DejaVuSans-Oblique-101"/>
      <use transform="translate(188.525391 0.015625)" xlink:href="#DejaVuSans-Oblique-102"/>
      <use transform="translate(223.730469 0.015625)" xlink:href="#DejaVuSans-Oblique-116"/>
      <use transform="translate(262.939453 0.015625)" xlink:href="#DejaVuSans-Oblique-76"/>
      <use transform="translate(318.652344 0.015625)" xlink:href="#DejaVuSans-Oblique-97"/>
      <use transform="translate(379.931641 0.015625)" xlink:href="#DejaVuSans-Oblique-110"/>
      <use transform="translate(443.310547 0.015625)" xlink:href="#DejaVuSans-Oblique-101"/>
      <use transform="translate(504.833984 0.015625)" xlink:href="#DejaVuSans-44"/>
      <use transform="translate(556.103516 0.015625)" xlink:href="#DejaVuSans-Oblique-107"/>
      <use transform="translate(614.013672 0.015625)" xlink:href="#DejaVuSans-93"/>
     </g>
    </g>
    <g id="line2d_33">
     <path d="M 582.12 110.477812 
L 618.12 110.477812 
" style="fill:none;stroke:#008000;stroke-dasharray:19.2,4.8,3,4.8;stroke-dashoffset:0;stroke-width:3;"/>
    </g>
    <g id="line2d_34"/>
    <g id="text_18">
     <!-- $\Prior[leftLane]$ -->
     <defs>
      <path d="M 19.671875 64.796875 
L 19.671875 37.40625 
L 32.078125 37.40625 
Q 38.96875 37.40625 42.71875 40.96875 
Q 46.484375 44.53125 46.484375 51.125 
Q 46.484375 57.671875 42.71875 61.234375 
Q 38.96875 64.796875 32.078125 64.796875 
z
M 9.8125 72.90625 
L 32.078125 72.90625 
Q 44.34375 72.90625 50.609375 67.359375 
Q 56.890625 61.8125 56.890625 51.125 
Q 56.890625 40.328125 50.609375 34.8125 
Q 44.34375 29.296875 32.078125 29.296875 
L 19.671875 29.296875 
L 19.671875 0 
L 9.8125 0 
z
" id="DejaVuSans-80"/>
      <path d="M 41.109375 46.296875 
Q 39.59375 47.171875 37.8125 47.578125 
Q 36.03125 48 33.890625 48 
Q 26.265625 48 22.1875 43.046875 
Q 18.109375 38.09375 18.109375 28.8125 
L 18.109375 0 
L 9.078125 0 
L 9.078125 54.6875 
L 18.109375 54.6875 
L 18.109375 46.1875 
Q 20.953125 51.171875 25.484375 53.578125 
Q 30.03125 56 36.53125 56 
Q 37.453125 56 38.578125 55.875 
Q 39.703125 55.765625 41.0625 55.515625 
z
" id="DejaVuSans-114"/>
      <path d="M 25.390625 -1.421875 
Q 15.765625 -1.421875 10.171875 4.515625 
Q 4.59375 10.453125 4.59375 20.703125 
Q 4.59375 26.65625 6.515625 32.828125 
Q 8.453125 39.015625 11.53125 43.21875 
Q 16.359375 49.75 22.3125 52.875 
Q 28.265625 56 35.796875 56 
Q 45.125 56 50.859375 50.1875 
Q 56.59375 44.390625 56.59375 35.015625 
Q 56.59375 28.515625 54.6875 22.0625 
Q 52.78125 15.625 49.703125 11.375 
Q 44.921875 4.828125 38.96875 1.703125 
Q 33.015625 -1.421875 25.390625 -1.421875 
z
M 13.921875 21 
Q 13.921875 13.578125 17.015625 9.890625 
Q 20.125 6.203125 26.421875 6.203125 
Q 35.453125 6.203125 41.375 14.078125 
Q 47.3125 21.96875 47.3125 34.078125 
Q 47.3125 41.15625 44.140625 44.765625 
Q 40.96875 48.390625 34.8125 48.390625 
Q 29.734375 48.390625 25.78125 46.015625 
Q 21.828125 43.65625 18.703125 38.8125 
Q 16.40625 35.203125 15.15625 30.5625 
Q 13.921875 25.921875 13.921875 21 
z
" id="DejaVuSans-Oblique-111"/>
      <path d="M 44.578125 46.390625 
Q 43.21875 47.125 41.453125 47.515625 
Q 39.703125 47.90625 37.703125 47.90625 
Q 30.515625 47.90625 25.140625 42.453125 
Q 19.78125 37.015625 18.015625 27.875 
L 12.5 0 
L 3.515625 0 
L 14.203125 54.6875 
L 23.1875 54.6875 
L 21.484375 46.1875 
Q 25.046875 50.921875 30 53.453125 
Q 34.96875 56 40.578125 56 
Q 42.046875 56 43.453125 55.828125 
Q 44.875 55.671875 46.296875 55.28125 
z
" id="DejaVuSans-Oblique-114"/>
     </defs>
     <g transform="translate(632.52 116.777812)scale(0.18 -0.18)">
      <use transform="translate(0 0.015625)" xlink:href="#DejaVuSans-80"/>
      <use transform="translate(60.302734 0.015625)" xlink:href="#DejaVuSans-114"/>
      <use transform="translate(101.416016 0.015625)" xlink:href="#DejaVuSans-Oblique-105"/>
      <use transform="translate(129.199219 0.015625)" xlink:href="#DejaVuSans-Oblique-111"/>
      <use transform="translate(190.380859 0.015625)" xlink:href="#DejaVuSans-Oblique-114"/>
      <use transform="translate(231.494141 0.015625)" xlink:href="#DejaVuSans-91"/>
      <use transform="translate(270.507812 0.015625)" xlink:href="#DejaVuSans-Oblique-108"/>
      <use transform="translate(298.291016 0.015625)" xlink:href="#DejaVuSans-Oblique-101"/>
      <use transform="translate(359.814453 0.015625)" xlink:href="#DejaVuSans-Oblique-102"/>
      <use transform="translate(395.019531 0.015625)" xlink:href="#DejaVuSans-Oblique-116"/>
      <use transform="translate(434.228516 0.015625)" xlink:href="#DejaVuSans-Oblique-76"/>
      <use transform="translate(489.941406 0.015625)" xlink:href="#DejaVuSans-Oblique-97"/>
      <use transform="translate(551.220703 0.015625)" xlink:href="#DejaVuSans-Oblique-110"/>
      <use transform="translate(614.599609 0.015625)" xlink:href="#DejaVuSans-Oblique-101"/>
      <use transform="translate(676.123047 0.015625)" xlink:href="#DejaVuSans-93"/>
     </g>
    </g>
   </g>
   <g id="legend_2">
    <g id="patch_8">
     <path d="M 565.74 432 
L 765 432 
Q 768.6 432 768.6 428.4 
L 768.6 377.28 
Q 768.6 373.68 765 373.68 
L 565.74 373.68 
Q 562.14 373.68 562.14 377.28 
L 562.14 428.4 
Q 562.14 432 565.74 432 
z
" style="fill:#ffffff;opacity:0.8;stroke:#cccccc;stroke-linejoin:miter;"/>
    </g>
    <g id="PathCollection_4">
     <g>
      <use style="fill:#ffa500;stroke:#ffa500;" x="587.34" xlink:href="#mbd4d0330fc" y="389.835"/>
     </g>
    </g>
    <g id="text_19">
     <!-- $\pi[rightLane, k]$ -->
     <defs>
      <path d="M 59.625 54.6875 
L 50.296875 6.78125 
Q 47.609375 -7.125 40.015625 -13.953125 
Q 32.421875 -20.796875 19.578125 -20.796875 
Q 14.84375 -20.796875 10.78125 -20.09375 
Q 6.734375 -19.390625 3.21875 -17.921875 
L 4.890625 -9.1875 
Q 8.203125 -11.328125 11.90625 -12.34375 
Q 15.625 -13.375 19.828125 -13.375 
Q 28.375 -13.375 33.859375 -8.703125 
Q 39.359375 -4.046875 41.109375 4.6875 
L 41.890625 8.796875 
Q 38.140625 4.5 33.15625 2.25 
Q 28.171875 0 22.40625 0 
Q 14.109375 0 9.34375 5.484375 
Q 4.59375 10.984375 4.59375 20.609375 
Q 4.59375 28.171875 7.46875 35.421875 
Q 10.359375 42.671875 15.578125 48.296875 
Q 19.046875 52 23.65625 54 
Q 28.265625 56 33.296875 56 
Q 38.8125 56 42.90625 53.4375 
Q 47.015625 50.875 49.03125 46.1875 
L 50.59375 54.6875 
z
M 46.09375 34.625 
Q 46.09375 41.265625 42.96875 44.875 
Q 39.84375 48.484375 34.078125 48.484375 
Q 30.515625 48.484375 27.296875 47.0625 
Q 24.078125 45.65625 21.78125 43.109375 
Q 18.0625 38.921875 15.984375 33.234375 
Q 13.921875 27.546875 13.921875 21.484375 
Q 13.921875 14.75 17.0625 11.125 
Q 20.21875 7.515625 26.125 7.515625 
Q 34.671875 7.515625 40.375 15.25 
Q 46.09375 23 46.09375 34.625 
z
" id="DejaVuSans-Oblique-103"/>
      <path d="M 55.71875 33.015625 
L 49.3125 0 
L 40.28125 0 
L 46.6875 32.671875 
Q 47.125 34.96875 47.359375 36.71875 
Q 47.609375 38.484375 47.609375 39.5 
Q 47.609375 43.609375 45.015625 45.890625 
Q 42.4375 48.1875 37.796875 48.1875 
Q 30.5625 48.1875 25.265625 43.296875 
Q 19.96875 38.421875 18.40625 30.328125 
L 12.5 0 
L 3.515625 0 
L 18.3125 75.984375 
L 27.296875 75.984375 
L 21.484375 46.09375 
Q 24.90625 50.6875 30.21875 53.34375 
Q 35.546875 56 41.40625 56 
Q 48.640625 56 52.609375 52.09375 
Q 56.59375 48.1875 56.59375 41.109375 
Q 56.59375 39.359375 56.375 37.359375 
Q 56.15625 35.359375 55.71875 33.015625 
z
" id="DejaVuSans-Oblique-104"/>
     </defs>
     <g transform="translate(619.74 394.56)scale(0.18 -0.18)">
      <use transform="translate(0 0.015625)" xlink:href="#DejaVuSans-Oblique-960"/>
      <use transform="translate(60.205078 0.015625)" xlink:href="#DejaVuSans-91"/>
      <use transform="translate(99.21875 0.015625)" xlink:href="#DejaVuSans-Oblique-114"/>
      <use transform="translate(140.332031 0.015625)" xlink:href="#DejaVuSans-Oblique-105"/>
      <use transform="translate(168.115234 0.015625)" xlink:href="#DejaVuSans-Oblique-103"/>
      <use transform="translate(231.591797 0.015625)" xlink:href="#DejaVuSans-Oblique-104"/>
      <use transform="translate(294.970703 0.015625)" xlink:href="#DejaVuSans-Oblique-116"/>
      <use transform="translate(334.179688 0.015625)" xlink:href="#DejaVuSans-Oblique-76"/>
      <use transform="translate(389.892578 0.015625)" xlink:href="#DejaVuSans-Oblique-97"/>
      <use transform="translate(451.171875 0.015625)" xlink:href="#DejaVuSans-Oblique-110"/>
      <use transform="translate(514.550781 0.015625)" xlink:href="#DejaVuSans-Oblique-101"/>
      <use transform="translate(576.074219 0.015625)" xlink:href="#DejaVuSans-44"/>
      <use transform="translate(627.34375 0.015625)" xlink:href="#DejaVuSans-Oblique-107"/>
      <use transform="translate(685.253906 0.015625)" xlink:href="#DejaVuSans-93"/>
     </g>
    </g>
    <g id="line2d_35">
     <path d="M 569.34 414.72 
L 605.34 414.72 
" style="fill:none;stroke:#ffa500;stroke-dasharray:19.2,4.8,3,4.8;stroke-dashoffset:0;stroke-width:3;"/>
    </g>
    <g id="line2d_36"/>
    <g id="text_20">
     <!-- $\Prior[rightLane]$ -->
     <g transform="translate(619.74 421.02)scale(0.18 -0.18)">
      <use transform="translate(0 0.015625)" xlink:href="#DejaVuSans-80"/>
      <use transform="translate(60.302734 0.015625)" xlink:href="#DejaVuSans-114"/>
      <use transform="translate(101.416016 0.015625)" xlink:href="#DejaVuSans-Oblique-105"/>
      <use transform="translate(129.199219 0.015625)" xlink:href="#DejaVuSans-Oblique-111"/>
      <use transform="translate(190.380859 0.015625)" xlink:href="#DejaVuSans-Oblique-114"/>
      <use transform="translate(231.494141 0.015625)" xlink:href="#DejaVuSans-91"/>
      <use transform="translate(270.507812 0.015625)" xlink:href="#DejaVuSans-Oblique-114"/>
      <use transform="translate(311.621094 0.015625)" xlink:href="#DejaVuSans-Oblique-105"/>
      <use transform="translate(339.404297 0.015625)" xlink:href="#DejaVuSans-Oblique-103"/>
      <use transform="translate(402.880859 0.015625)" xlink:href="#DejaVuSans-Oblique-104"/>
      <use transform="translate(466.259766 0.015625)" xlink:href="#DejaVuSans-Oblique-116"/>
      <use transform="translate(505.46875 0.015625)" xlink:href="#DejaVuSans-Oblique-76"/>
      <use transform="translate(561.181641 0.015625)" xlink:href="#DejaVuSans-Oblique-97"/>
      <use transform="translate(622.460938 0.015625)" xlink:href="#DejaVuSans-Oblique-110"/>
      <use transform="translate(685.839844 0.015625)" xlink:href="#DejaVuSans-Oblique-101"/>
      <use transform="translate(747.363281 0.015625)" xlink:href="#DejaVuSans-93"/>
     </g>
    </g>
   </g>
  </g>
  <g id="text_21">
   <!-- $\pi[rightLane, k]$ -->
   <g style="fill:#008000;" transform="translate(236.305 20.37)scale(0.23 -0.23)">
    <use transform="translate(0 0.015625)" xlink:href="#DejaVuSans-Oblique-960"/>
    <use transform="translate(60.205078 0.015625)" xlink:href="#DejaVuSans-91"/>
    <use transform="translate(99.21875 0.015625)" xlink:href="#DejaVuSans-Oblique-114"/>
    <use transform="translate(140.332031 0.015625)" xlink:href="#DejaVuSans-Oblique-105"/>
    <use transform="translate(168.115234 0.015625)" xlink:href="#DejaVuSans-Oblique-103"/>
    <use transform="translate(231.591797 0.015625)" xlink:href="#DejaVuSans-Oblique-104"/>
    <use transform="translate(294.970703 0.015625)" xlink:href="#DejaVuSans-Oblique-116"/>
    <use transform="translate(334.179688 0.015625)" xlink:href="#DejaVuSans-Oblique-76"/>
    <use transform="translate(389.892578 0.015625)" xlink:href="#DejaVuSans-Oblique-97"/>
    <use transform="translate(451.171875 0.015625)" xlink:href="#DejaVuSans-Oblique-110"/>
    <use transform="translate(514.550781 0.015625)" xlink:href="#DejaVuSans-Oblique-101"/>
    <use transform="translate(576.074219 0.015625)" xlink:href="#DejaVuSans-44"/>
    <use transform="translate(627.34375 0.015625)" xlink:href="#DejaVuSans-Oblique-107"/>
    <use transform="translate(685.253906 0.015625)" xlink:href="#DejaVuSans-93"/>
   </g>
  </g>
  <g id="text_22">
   <!-- and -->
   <defs>
    <path d="M 34.28125 27.484375 
Q 23.390625 27.484375 19.1875 25 
Q 14.984375 22.515625 14.984375 16.5 
Q 14.984375 11.71875 18.140625 8.90625 
Q 21.296875 6.109375 26.703125 6.109375 
Q 34.1875 6.109375 38.703125 11.40625 
Q 43.21875 16.703125 43.21875 25.484375 
L 43.21875 27.484375 
z
M 52.203125 31.203125 
L 52.203125 0 
L 43.21875 0 
L 43.21875 8.296875 
Q 40.140625 3.328125 35.546875 0.953125 
Q 30.953125 -1.421875 24.3125 -1.421875 
Q 15.921875 -1.421875 10.953125 3.296875 
Q 6 8.015625 6 15.921875 
Q 6 25.140625 12.171875 29.828125 
Q 18.359375 34.515625 30.609375 34.515625 
L 43.21875 34.515625 
L 43.21875 35.40625 
Q 43.21875 41.609375 39.140625 45 
Q 35.0625 48.390625 27.6875 48.390625 
Q 23 48.390625 18.546875 47.265625 
Q 14.109375 46.140625 10.015625 43.890625 
L 10.015625 52.203125 
Q 14.9375 54.109375 19.578125 55.046875 
Q 24.21875 56 28.609375 56 
Q 40.484375 56 46.34375 49.84375 
Q 52.203125 43.703125 52.203125 31.203125 
z
" id="DejaVuSans-97"/>
    <path d="M 54.890625 33.015625 
L 54.890625 0 
L 45.90625 0 
L 45.90625 32.71875 
Q 45.90625 40.484375 42.875 44.328125 
Q 39.84375 48.1875 33.796875 48.1875 
Q 26.515625 48.1875 22.3125 43.546875 
Q 18.109375 38.921875 18.109375 30.90625 
L 18.109375 0 
L 9.078125 0 
L 9.078125 54.6875 
L 18.109375 54.6875 
L 18.109375 46.1875 
Q 21.34375 51.125 25.703125 53.5625 
Q 30.078125 56 35.796875 56 
Q 45.21875 56 50.046875 50.171875 
Q 54.890625 44.34375 54.890625 33.015625 
z
" id="DejaVuSans-110"/>
    <path d="M 45.40625 46.390625 
L 45.40625 75.984375 
L 54.390625 75.984375 
L 54.390625 0 
L 45.40625 0 
L 45.40625 8.203125 
Q 42.578125 3.328125 38.25 0.953125 
Q 33.9375 -1.421875 27.875 -1.421875 
Q 17.96875 -1.421875 11.734375 6.484375 
Q 5.515625 14.40625 5.515625 27.296875 
Q 5.515625 40.1875 11.734375 48.09375 
Q 17.96875 56 27.875 56 
Q 33.9375 56 38.25 53.625 
Q 42.578125 51.265625 45.40625 46.390625 
z
M 14.796875 27.296875 
Q 14.796875 17.390625 18.875 11.75 
Q 22.953125 6.109375 30.078125 6.109375 
Q 37.203125 6.109375 41.296875 11.75 
Q 45.40625 17.390625 45.40625 27.296875 
Q 45.40625 37.203125 41.296875 42.84375 
Q 37.203125 48.484375 30.078125 48.484375 
Q 22.953125 48.484375 18.875 42.84375 
Q 14.796875 37.203125 14.796875 27.296875 
z
" id="DejaVuSans-100"/>
   </defs>
   <g transform="translate(410.363828 20.416719)scale(0.23 -0.23)">
    <use xlink:href="#DejaVuSans-97"/>
    <use x="61.279297" xlink:href="#DejaVuSans-110"/>
    <use x="124.658203" xlink:href="#DejaVuSans-100"/>
   </g>
  </g>
  <g id="text_23">
   <!-- $\pi[leftLane, k]$ -->
   <g style="fill:#ffa500;" transform="translate(460.47 20.416719)scale(0.23 -0.23)">
    <use transform="translate(0 0.015625)" xlink:href="#DejaVuSans-Oblique-960"/>
    <use transform="translate(60.205078 0.015625)" xlink:href="#DejaVuSans-91"/>
    <use transform="translate(99.21875 0.015625)" xlink:href="#DejaVuSans-Oblique-108"/>
    <use transform="translate(127.001953 0.015625)" xlink:href="#DejaVuSans-Oblique-101"/>
    <use transform="translate(188.525391 0.015625)" xlink:href="#DejaVuSans-Oblique-102"/>
    <use transform="translate(223.730469 0.015625)" xlink:href="#DejaVuSans-Oblique-116"/>
    <use transform="translate(262.939453 0.015625)" xlink:href="#DejaVuSans-Oblique-76"/>
    <use transform="translate(318.652344 0.015625)" xlink:href="#DejaVuSans-Oblique-97"/>
    <use transform="translate(379.931641 0.015625)" xlink:href="#DejaVuSans-Oblique-110"/>
    <use transform="translate(443.310547 0.015625)" xlink:href="#DejaVuSans-Oblique-101"/>
    <use transform="translate(504.833984 0.015625)" xlink:href="#DejaVuSans-44"/>
    <use transform="translate(556.103516 0.015625)" xlink:href="#DejaVuSans-Oblique-107"/>
    <use transform="translate(614.013672 0.015625)" xlink:href="#DejaVuSans-93"/>
   </g>
  </g>
 </g>
 <defs>
  <clipPath id="p35e28d5523">
   <rect height="380.52" width="669.6" x="108" y="60.48"/>
  </clipPath>
 </defs>
</svg>