fpt_distribn_example.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 (http://matplotlib.org/) -->
<svg height="488pt" version="1.1" viewBox="0 0 702 488" width="702pt" 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;stroke-miterlimit:100000;}
  </style>
 </defs>
 <g id="figure_1">
  <g id="patch_1">
   <path d="M 0 488.32125 
L 702.976471 488.32125 
L 702.976471 0 
L 0 0 
z
" style="fill:#ffffff;"/>
  </g>
  <g id="axes_1">
   <g id="patch_2">
    <path d="M 109.24 402.89375 
L 683.776471 402.89375 
L 683.776471 18.81375 
L 109.24 18.81375 
z
" style="fill:#ffffff;"/>
   </g>
   <g id="patch_3">
    <path clip-path="url(#pca45ff515a)" d="M 109.24 402.89375 
L 120.730729 402.89375 
L 120.730729 402.89375 
L 109.24 402.89375 
z
" style="fill:#ff1493;stroke:#ff1493;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_4">
    <path clip-path="url(#pca45ff515a)" d="M 120.730729 402.89375 
L 132.221459 402.89375 
L 132.221459 402.89375 
L 120.730729 402.89375 
z
" style="fill:#ff1493;stroke:#ff1493;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_5">
    <path clip-path="url(#pca45ff515a)" d="M 132.221459 402.89375 
L 143.712188 402.89375 
L 143.712188 400.49325 
L 132.221459 400.49325 
z
" style="fill:#ff1493;stroke:#ff1493;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_6">
    <path clip-path="url(#pca45ff515a)" d="M 143.712188 402.89375 
L 155.202918 402.89375 
L 155.202918 399.693083 
L 143.712188 399.693083 
z
" style="fill:#ff1493;stroke:#ff1493;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_7">
    <path clip-path="url(#pca45ff515a)" d="M 155.202918 402.89375 
L 166.693647 402.89375 
L 166.693647 390.091083 
L 155.202918 390.091083 
z
" style="fill:#ff1493;stroke:#ff1493;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_8">
    <path clip-path="url(#pca45ff515a)" d="M 166.693647 402.89375 
L 178.184377 402.89375 
L 178.184377 380.489083 
L 166.693647 380.489083 
z
" style="fill:#ff1493;stroke:#ff1493;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_9">
    <path clip-path="url(#pca45ff515a)" d="M 178.184377 402.89375 
L 189.675106 402.89375 
L 189.675106 350.08275 
L 178.184377 350.08275 
z
" style="fill:#ff1493;stroke:#ff1493;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_10">
    <path clip-path="url(#pca45ff515a)" d="M 189.675106 402.89375 
L 201.165835 402.89375 
L 201.165835 330.078583 
L 189.675106 330.078583 
z
" style="fill:#ff1493;stroke:#ff1493;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_11">
    <path clip-path="url(#pca45ff515a)" d="M 201.165835 402.89375 
L 212.656565 402.89375 
L 212.656565 321.27675 
L 201.165835 321.27675 
z
" style="fill:#ff1493;stroke:#ff1493;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_12">
    <path clip-path="url(#pca45ff515a)" d="M 212.656565 402.89375 
L 224.147294 402.89375 
L 224.147294 266.06525 
L 212.656565 266.06525 
z
" style="fill:#ff1493;stroke:#ff1493;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_13">
    <path clip-path="url(#pca45ff515a)" d="M 224.147294 402.89375 
L 235.638024 402.89375 
L 235.638024 229.257583 
L 224.147294 229.257583 
z
" style="fill:#ff1493;stroke:#ff1493;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_14">
    <path clip-path="url(#pca45ff515a)" d="M 235.638024 402.89375 
L 247.128753 402.89375 
L 247.128753 184.44825 
L 235.638024 184.44825 
z
" style="fill:#ff1493;stroke:#ff1493;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_15">
    <path clip-path="url(#pca45ff515a)" d="M 247.128753 402.89375 
L 258.619483 402.89375 
L 258.619483 114.033583 
L 247.128753 114.033583 
z
" style="fill:#ff1493;stroke:#ff1493;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_16">
    <path clip-path="url(#pca45ff515a)" d="M 258.619483 402.89375 
L 270.110212 402.89375 
L 270.110212 54.021083 
L 258.619483 54.021083 
z
" style="fill:#ff1493;stroke:#ff1493;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_17">
    <path clip-path="url(#pca45ff515a)" d="M 270.110212 402.89375 
L 281.600941 402.89375 
L 281.600941 115.633917 
L 270.110212 115.633917 
z
" style="fill:#ff1493;stroke:#ff1493;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_18">
    <path clip-path="url(#pca45ff515a)" d="M 281.600941 402.89375 
L 293.091671 402.89375 
L 293.091671 218.855417 
L 281.600941 218.855417 
z
" style="fill:#ff1493;stroke:#ff1493;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_19">
    <path clip-path="url(#pca45ff515a)" d="M 293.091671 402.89375 
L 304.5824 402.89375 
L 304.5824 329.278417 
L 293.091671 329.278417 
z
" style="fill:#ff1493;stroke:#ff1493;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_20">
    <path clip-path="url(#pca45ff515a)" d="M 304.5824 402.89375 
L 316.07313 402.89375 
L 316.07313 362.08525 
L 304.5824 362.08525 
z
" style="fill:#ff1493;stroke:#ff1493;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_21">
    <path clip-path="url(#pca45ff515a)" d="M 316.07313 402.89375 
L 327.563859 402.89375 
L 327.563859 373.287583 
L 316.07313 373.287583 
z
" style="fill:#ff1493;stroke:#ff1493;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_22">
    <path clip-path="url(#pca45ff515a)" d="M 327.563859 402.89375 
L 339.054589 402.89375 
L 339.054589 370.887083 
L 327.563859 370.887083 
z
" style="fill:#ff1493;stroke:#ff1493;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_23">
    <path clip-path="url(#pca45ff515a)" d="M 339.054589 402.89375 
L 350.545318 402.89375 
L 350.545318 370.887083 
L 339.054589 370.887083 
z
" style="fill:#ff1493;stroke:#ff1493;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_24">
    <path clip-path="url(#pca45ff515a)" d="M 350.545318 402.89375 
L 362.036047 402.89375 
L 362.036047 371.68725 
L 350.545318 371.68725 
z
" style="fill:#ff1493;stroke:#ff1493;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_25">
    <path clip-path="url(#pca45ff515a)" d="M 362.036047 402.89375 
L 373.526777 402.89375 
L 373.526777 374.887917 
L 362.036047 374.887917 
z
" style="fill:#ff1493;stroke:#ff1493;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_26">
    <path clip-path="url(#pca45ff515a)" d="M 373.526777 402.89375 
L 385.017506 402.89375 
L 385.017506 365.285917 
L 373.526777 365.285917 
z
" style="fill:#ff1493;stroke:#ff1493;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_27">
    <path clip-path="url(#pca45ff515a)" d="M 385.017506 402.89375 
L 396.508236 402.89375 
L 396.508236 390.89125 
L 385.017506 390.89125 
z
" style="fill:#ff1493;stroke:#ff1493;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_28">
    <path clip-path="url(#pca45ff515a)" d="M 396.508236 402.89375 
L 407.998965 402.89375 
L 407.998965 385.290083 
L 396.508236 385.290083 
z
" style="fill:#ff1493;stroke:#ff1493;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_29">
    <path clip-path="url(#pca45ff515a)" d="M 407.998965 402.89375 
L 419.489694 402.89375 
L 419.489694 394.091917 
L 407.998965 394.091917 
z
" style="fill:#ff1493;stroke:#ff1493;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_30">
    <path clip-path="url(#pca45ff515a)" d="M 419.489694 402.89375 
L 430.980424 402.89375 
L 430.980424 398.892917 
L 419.489694 398.892917 
z
" style="fill:#ff1493;stroke:#ff1493;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_31">
    <path clip-path="url(#pca45ff515a)" d="M 430.980424 402.89375 
L 442.471153 402.89375 
L 442.471153 390.89125 
L 430.980424 390.89125 
z
" style="fill:#ff1493;stroke:#ff1493;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_32">
    <path clip-path="url(#pca45ff515a)" d="M 442.471153 402.89375 
L 453.961883 402.89375 
L 453.961883 373.287583 
L 442.471153 373.287583 
z
" style="fill:#ff1493;stroke:#ff1493;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_33">
    <path clip-path="url(#pca45ff515a)" d="M 453.961883 402.89375 
L 465.452612 402.89375 
L 465.452612 383.68975 
L 453.961883 383.68975 
z
" style="fill:#ff1493;stroke:#ff1493;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_34">
    <path clip-path="url(#pca45ff515a)" d="M 465.452612 402.89375 
L 476.943342 402.89375 
L 476.943342 361.285083 
L 465.452612 361.285083 
z
" style="fill:#ff1493;stroke:#ff1493;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_35">
    <path clip-path="url(#pca45ff515a)" d="M 476.943342 402.89375 
L 488.434071 402.89375 
L 488.434071 326.07775 
L 476.943342 326.07775 
z
" style="fill:#ff1493;stroke:#ff1493;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_36">
    <path clip-path="url(#pca45ff515a)" d="M 488.434071 402.89375 
L 499.9248 402.89375 
L 499.9248 278.867917 
L 488.434071 278.867917 
z
" style="fill:#ff1493;stroke:#ff1493;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_37">
    <path clip-path="url(#pca45ff515a)" d="M 499.9248 402.89375 
L 511.41553 402.89375 
L 511.41553 282.068583 
L 499.9248 282.068583 
z
" style="fill:#ff1493;stroke:#ff1493;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_38">
    <path clip-path="url(#pca45ff515a)" d="M 511.41553 402.89375 
L 522.906259 402.89375 
L 522.906259 268.46575 
L 511.41553 268.46575 
z
" style="fill:#ff1493;stroke:#ff1493;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_39">
    <path clip-path="url(#pca45ff515a)" d="M 522.906259 402.89375 
L 534.396989 402.89375 
L 534.396989 245.260917 
L 522.906259 245.260917 
z
" style="fill:#ff1493;stroke:#ff1493;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_40">
    <path clip-path="url(#pca45ff515a)" d="M 534.396989 402.89375 
L 545.887718 402.89375 
L 545.887718 323.67725 
L 534.396989 323.67725 
z
" style="fill:#ff1493;stroke:#ff1493;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_41">
    <path clip-path="url(#pca45ff515a)" d="M 545.887718 402.89375 
L 557.378448 402.89375 
L 557.378448 270.066083 
L 545.887718 270.066083 
z
" style="fill:#ff1493;stroke:#ff1493;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_42">
    <path clip-path="url(#pca45ff515a)" d="M 557.378448 402.89375 
L 568.869177 402.89375 
L 568.869177 383.68975 
L 557.378448 383.68975 
z
" style="fill:#ff1493;stroke:#ff1493;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_43">
    <path clip-path="url(#pca45ff515a)" d="M 568.869177 402.89375 
L 580.359906 402.89375 
L 580.359906 394.892083 
L 568.869177 394.892083 
z
" style="fill:#ff1493;stroke:#ff1493;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_44">
    <path clip-path="url(#pca45ff515a)" d="M 580.359906 402.89375 
L 591.850636 402.89375 
L 591.850636 402.093583 
L 580.359906 402.093583 
z
" style="fill:#ff1493;stroke:#ff1493;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_45">
    <path clip-path="url(#pca45ff515a)" d="M 591.850636 402.89375 
L 603.341365 402.89375 
L 603.341365 398.892917 
L 591.850636 398.892917 
z
" style="fill:#ff1493;stroke:#ff1493;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_46">
    <path clip-path="url(#pca45ff515a)" d="M 603.341365 402.89375 
L 614.832095 402.89375 
L 614.832095 402.89375 
L 603.341365 402.89375 
z
" style="fill:#ff1493;stroke:#ff1493;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_47">
    <path clip-path="url(#pca45ff515a)" d="M 614.832095 402.89375 
L 626.322824 402.89375 
L 626.322824 399.693083 
L 614.832095 399.693083 
z
" style="fill:#ff1493;stroke:#ff1493;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_48">
    <path clip-path="url(#pca45ff515a)" d="M 626.322824 402.89375 
L 637.813554 402.89375 
L 637.813554 401.293417 
L 626.322824 401.293417 
z
" style="fill:#ff1493;stroke:#ff1493;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_49">
    <path clip-path="url(#pca45ff515a)" d="M 637.813554 402.89375 
L 649.304283 402.89375 
L 649.304283 400.49325 
L 637.813554 400.49325 
z
" style="fill:#ff1493;stroke:#ff1493;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_50">
    <path clip-path="url(#pca45ff515a)" d="M 649.304283 402.89375 
L 660.795012 402.89375 
L 660.795012 402.89375 
L 649.304283 402.89375 
z
" style="fill:#ff1493;stroke:#ff1493;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_51">
    <path clip-path="url(#pca45ff515a)" d="M 660.795012 402.89375 
L 672.285742 402.89375 
L 672.285742 402.89375 
L 660.795012 402.89375 
z
" style="fill:#ff1493;stroke:#ff1493;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_52">
    <path clip-path="url(#pca45ff515a)" d="M 672.285742 402.89375 
L 683.776471 402.89375 
L 683.776471 402.89375 
L 672.285742 402.89375 
z
" style="fill:#ff1493;stroke:#ff1493;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_53">
    <path d="M 109.24 18.81375 
L 683.776471 18.81375 
" style="fill:none;stroke:#000000;stroke-linecap:square;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_54">
    <path d="M 683.776471 402.89375 
L 683.776471 18.81375 
" style="fill:none;stroke:#000000;stroke-linecap:square;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_55">
    <path d="M 109.24 402.89375 
L 683.776471 402.89375 
" style="fill:none;stroke:#000000;stroke-linecap:square;stroke-linejoin:miter;"/>
   </g>
   <g id="patch_56">
    <path d="M 109.24 402.89375 
L 109.24 18.81375 
" style="fill:none;stroke:#000000;stroke-linecap:square;stroke-linejoin:miter;"/>
   </g>
   <g id="matplotlib.axis_1">
    <g id="xtick_1">
     <g id="line2d_1">
      <defs>
       <path d="M 0 0 
L 0 4 
" id="m881da0e64c" style="stroke:#000000;stroke-width:0.5;"/>
      </defs>
      <g>
       <use style="stroke:#000000;stroke-width:0.5;" x="109.24" xlink:href="#m881da0e64c" y="402.89375"/>
      </g>
     </g>
     <g id="line2d_2">
      <defs>
       <path d="M 0 0 
L 0 -4 
" id="m870ae56332" style="stroke:#000000;stroke-width:0.5;"/>
      </defs>
      <g>
       <use style="stroke:#000000;stroke-width:0.5;" x="109.24" xlink:href="#m870ae56332" y="18.81375"/>
      </g>
     </g>
     <g id="text_1">
      <!-- $5$ -->
      <defs>
       <path d="M 8.6875 11.375 
Q 9.71875 8.453125 11.84375 6.046875 
Q 13.96875 3.65625 16.875 2.3125 
Q 19.78125 0.984375 22.90625 0.984375 
Q 30.125 0.984375 32.859375 6.59375 
Q 35.59375 12.203125 35.59375 20.21875 
Q 35.59375 23.6875 35.46875 26.046875 
Q 35.359375 28.421875 34.8125 30.609375 
Q 33.890625 34.125 31.5625 36.765625 
Q 29.25 39.40625 25.875 39.40625 
Q 22.515625 39.40625 20.09375 38.375 
Q 17.671875 37.359375 16.15625 35.984375 
Q 14.65625 34.625 13.484375 33.109375 
Q 12.3125 31.59375 12.015625 31.5 
L 10.890625 31.5 
Q 10.640625 31.5 10.265625 31.8125 
Q 9.90625 32.125 9.90625 32.421875 
L 9.90625 65.828125 
Q 9.90625 66.0625 10.21875 66.328125 
Q 10.546875 66.609375 10.890625 66.609375 
L 11.1875 66.609375 
Q 17.921875 63.375 25.484375 63.375 
Q 32.90625 63.375 39.796875 66.609375 
L 40.09375 66.609375 
Q 40.4375 66.609375 40.71875 66.359375 
Q 41.015625 66.109375 41.015625 65.828125 
L 41.015625 64.890625 
Q 41.015625 64.40625 40.828125 64.40625 
Q 37.40625 59.859375 32.25 57.3125 
Q 27.09375 54.78125 21.578125 54.78125 
Q 17.578125 54.78125 13.375 55.90625 
L 13.375 37.015625 
Q 16.703125 39.703125 19.3125 40.84375 
Q 21.921875 42 25.984375 42 
Q 31.5 42 35.859375 38.8125 
Q 40.234375 35.640625 42.578125 30.53125 
Q 44.921875 25.4375 44.921875 20.125 
Q 44.921875 14.109375 41.96875 8.984375 
Q 39.015625 3.859375 33.9375 0.828125 
Q 28.859375 -2.203125 22.90625 -2.203125 
Q 17.96875 -2.203125 13.84375 0.328125 
Q 9.71875 2.875 7.34375 7.171875 
Q 4.984375 11.46875 4.984375 16.3125 
Q 4.984375 18.5625 6.4375 19.96875 
Q 7.90625 21.390625 10.109375 21.390625 
Q 12.3125 21.390625 13.796875 19.9375 
Q 15.28125 18.5 15.28125 16.3125 
Q 15.28125 14.15625 13.796875 12.671875 
Q 12.3125 11.1875 10.109375 11.1875 
Q 9.765625 11.1875 9.328125 11.25 
Q 8.890625 11.328125 8.6875 11.375 
" id="Cmr10-35"/>
      </defs>
      <g transform="translate(103.24 429.13)scale(0.24 -0.24)">
       <use transform="translate(0.0 0.390625)" xlink:href="#Cmr10-35"/>
      </g>
     </g>
    </g>
    <g id="xtick_2">
     <g id="line2d_3">
      <g>
       <use style="stroke:#000000;stroke-width:0.5;" x="166.693647125" xlink:href="#m881da0e64c" y="402.89375"/>
      </g>
     </g>
     <g id="line2d_4">
      <g>
       <use style="stroke:#000000;stroke-width:0.5;" x="166.693647125" xlink:href="#m870ae56332" y="18.81375"/>
      </g>
     </g>
     <g id="text_2">
      <!-- $6$ -->
      <defs>
       <path d="M 25 -2.203125 
Q 18.796875 -2.203125 14.640625 1.09375 
Q 10.5 4.390625 8.21875 9.640625 
Q 5.953125 14.890625 5.078125 20.65625 
Q 4.203125 26.421875 4.203125 32.328125 
Q 4.203125 40.234375 7.28125 48.1875 
Q 10.359375 56.15625 16.328125 61.375 
Q 22.3125 66.609375 30.515625 66.609375 
Q 33.9375 66.609375 36.890625 65.3125 
Q 39.84375 64.015625 41.53125 61.5 
Q 43.21875 58.984375 43.21875 55.421875 
Q 43.21875 53.375 41.828125 51.984375 
Q 40.4375 50.59375 38.375 50.59375 
Q 36.421875 50.59375 35 52 
Q 33.59375 53.421875 33.59375 55.421875 
Q 33.59375 57.375 35 58.78125 
Q 36.421875 60.203125 38.375 60.203125 
L 38.921875 60.203125 
Q 37.640625 62.015625 35.328125 62.859375 
Q 33.015625 63.71875 30.515625 63.71875 
Q 27.484375 63.71875 24.921875 62.390625 
Q 22.359375 61.078125 20.3125 58.828125 
Q 18.265625 56.59375 16.890625 53.875 
Q 15.53125 51.171875 14.765625 47.703125 
Q 14.015625 44.234375 13.8125 41.203125 
Q 13.625 38.1875 13.625 33.59375 
Q 15.375 37.703125 18.59375 40.3125 
Q 21.828125 42.921875 25.875 42.921875 
Q 30.328125 42.921875 33.984375 41.109375 
Q 37.640625 39.3125 40.28125 36.109375 
Q 42.921875 32.90625 44.3125 28.796875 
Q 45.703125 24.703125 45.703125 20.515625 
Q 45.703125 14.65625 43.09375 9.34375 
Q 40.484375 4.046875 35.734375 0.921875 
Q 31 -2.203125 25 -2.203125 
M 25 0.984375 
Q 28.859375 0.984375 31.203125 2.734375 
Q 33.546875 4.5 34.640625 7.390625 
Q 35.75 10.296875 36.015625 13.25 
Q 36.28125 16.21875 36.28125 20.515625 
Q 36.28125 26.171875 35.734375 30.171875 
Q 35.203125 34.1875 32.8125 37.234375 
Q 30.421875 40.28125 25.484375 40.28125 
Q 21.4375 40.28125 18.828125 37.546875 
Q 16.21875 34.8125 15.015625 30.640625 
Q 13.8125 26.46875 13.8125 22.609375 
Q 13.8125 21.296875 13.921875 20.609375 
Q 13.921875 20.453125 13.890625 20.359375 
Q 13.875 20.265625 13.8125 20.125 
Q 13.8125 15.828125 14.6875 11.421875 
Q 15.578125 7.03125 18.0625 4 
Q 20.5625 0.984375 25 0.984375 
" id="Cmr10-36"/>
      </defs>
      <g transform="translate(160.693647125 429.13)scale(0.24 -0.24)">
       <use transform="translate(0.0 0.390625)" xlink:href="#Cmr10-36"/>
      </g>
     </g>
    </g>
    <g id="xtick_3">
     <g id="line2d_5">
      <g>
       <use style="stroke:#000000;stroke-width:0.5;" x="224.14729425" xlink:href="#m881da0e64c" y="402.89375"/>
      </g>
     </g>
     <g id="line2d_6">
      <g>
       <use style="stroke:#000000;stroke-width:0.5;" x="224.14729425" xlink:href="#m870ae56332" y="18.81375"/>
      </g>
     </g>
     <g id="text_3">
      <!-- $7$ -->
      <defs>
       <path d="M 17.390625 2.59375 
Q 17.390625 8.15625 18.359375 13.46875 
Q 19.34375 18.796875 21.21875 24 
Q 23.09375 29.203125 25.75 34.203125 
Q 28.421875 39.203125 31.59375 43.609375 
L 40.71875 56.296875 
L 29.296875 56.296875 
Q 11.53125 56.296875 10.984375 55.8125 
Q 9.671875 54.203125 8.5 46.578125 
L 5.609375 46.578125 
L 8.890625 67.578125 
L 11.8125 67.578125 
L 11.8125 67.28125 
Q 11.8125 65.484375 17.921875 64.9375 
Q 24.03125 64.40625 29.890625 64.40625 
L 48.484375 64.40625 
L 48.484375 61.8125 
Q 48.484375 61.71875 48.453125 61.671875 
Q 48.4375 61.625 48.390625 61.53125 
L 34.625 42.1875 
Q 29.546875 34.671875 28.265625 25.484375 
Q 27 16.3125 27 2.59375 
Q 27 0.640625 25.578125 -0.78125 
Q 24.171875 -2.203125 22.21875 -2.203125 
Q 20.21875 -2.203125 18.796875 -0.78125 
Q 17.390625 0.640625 17.390625 2.59375 
" id="Cmr10-37"/>
      </defs>
      <g transform="translate(218.14729425 429.13)scale(0.24 -0.24)">
       <use transform="translate(0.0 0.421875)" xlink:href="#Cmr10-37"/>
      </g>
     </g>
    </g>
    <g id="xtick_4">
     <g id="line2d_7">
      <g>
       <use style="stroke:#000000;stroke-width:0.5;" x="281.600941376" xlink:href="#m881da0e64c" y="402.89375"/>
      </g>
     </g>
     <g id="line2d_8">
      <g>
       <use style="stroke:#000000;stroke-width:0.5;" x="281.600941376" xlink:href="#m870ae56332" y="18.81375"/>
      </g>
     </g>
     <g id="text_4">
      <!-- $8$ -->
      <defs>
       <path d="M 4.203125 15.1875 
Q 4.203125 21.1875 8.15625 25.796875 
Q 12.109375 30.421875 18.3125 33.5 
L 14.59375 35.890625 
Q 11.1875 38.140625 9.03125 41.875 
Q 6.890625 45.609375 6.890625 49.703125 
Q 6.890625 54.5 9.40625 58.34375 
Q 11.921875 62.203125 16.09375 64.40625 
Q 20.265625 66.609375 25 66.609375 
Q 29.4375 66.609375 33.5625 64.796875 
Q 37.703125 62.984375 40.359375 59.609375 
Q 43.015625 56.25 43.015625 51.609375 
Q 43.015625 48.25 41.421875 45.359375 
Q 39.84375 42.484375 37.078125 40.1875 
Q 34.328125 37.890625 31.203125 36.28125 
L 36.921875 32.625 
Q 40.875 30.03125 43.28125 25.828125 
Q 45.703125 21.625 45.703125 17 
Q 45.703125 11.578125 42.796875 7.125 
Q 39.890625 2.6875 35.109375 0.234375 
Q 30.328125 -2.203125 25 -2.203125 
Q 19.828125 -2.203125 15.015625 -0.09375 
Q 10.203125 2 7.203125 5.984375 
Q 4.203125 9.96875 4.203125 15.1875 
M 9.625 15.1875 
Q 9.625 11.234375 11.796875 7.953125 
Q 13.96875 4.6875 17.53125 2.828125 
Q 21.09375 0.984375 25 0.984375 
Q 30.8125 0.984375 35.546875 4.375 
Q 40.28125 7.765625 40.28125 13.375 
Q 40.28125 15.28125 39.515625 17.15625 
Q 38.765625 19.046875 37.421875 20.578125 
Q 36.078125 22.125 34.421875 23.09375 
L 21 31.78125 
Q 17.875 30.125 15.25 27.578125 
Q 12.640625 25.046875 11.125 21.875 
Q 9.625 18.703125 9.625 15.1875 
M 16.5 45.703125 
L 28.609375 37.890625 
Q 32.8125 40.328125 35.5 43.796875 
Q 38.1875 47.265625 38.1875 51.609375 
Q 38.1875 54.984375 36.296875 57.78125 
Q 34.421875 60.59375 31.390625 62.15625 
Q 28.375 63.71875 24.90625 63.71875 
Q 21.875 63.71875 18.796875 62.546875 
Q 15.71875 61.375 13.71875 59.046875 
Q 11.71875 56.734375 11.71875 53.609375 
Q 11.71875 48.921875 16.5 45.703125 
" id="Cmr10-38"/>
      </defs>
      <g transform="translate(275.600941376 429.13)scale(0.24 -0.24)">
       <use transform="translate(0.0 0.390625)" xlink:href="#Cmr10-38"/>
      </g>
     </g>
    </g>
    <g id="xtick_5">
     <g id="line2d_9">
      <g>
       <use style="stroke:#000000;stroke-width:0.5;" x="339.054588501" xlink:href="#m881da0e64c" y="402.89375"/>
      </g>
     </g>
     <g id="line2d_10">
      <g>
       <use style="stroke:#000000;stroke-width:0.5;" x="339.054588501" xlink:href="#m870ae56332" y="18.81375"/>
      </g>
     </g>
     <g id="text_5">
      <!-- $9$ -->
      <defs>
       <path d="M 11.28125 4.203125 
Q 14.015625 0.984375 20.796875 0.984375 
Q 24.609375 0.984375 27.90625 3.5625 
Q 31.203125 6.15625 33.015625 9.90625 
Q 35.109375 14.15625 35.6875 18.96875 
Q 36.28125 23.78125 36.28125 30.90625 
Q 34.578125 26.859375 31.375 24.265625 
Q 28.171875 21.6875 24.03125 21.6875 
Q 18.21875 21.6875 13.640625 24.828125 
Q 9.078125 27.984375 6.640625 33.125 
Q 4.203125 38.28125 4.203125 44.09375 
Q 4.203125 50.09375 6.9375 55.296875 
Q 9.671875 60.5 14.5 63.546875 
Q 19.34375 66.609375 25.484375 66.609375 
Q 31.546875 66.609375 35.625 63.3125 
Q 39.703125 60.015625 41.84375 54.8125 
Q 44 49.609375 44.84375 43.796875 
Q 45.703125 37.984375 45.703125 32.328125 
Q 45.703125 24.609375 42.875 16.578125 
Q 40.046875 8.546875 34.40625 3.171875 
Q 28.765625 -2.203125 20.796875 -2.203125 
Q 14.890625 -2.203125 10.78125 0.578125 
Q 6.6875 3.375 6.6875 8.984375 
Q 6.6875 11.03125 8.078125 12.421875 
Q 9.46875 13.8125 11.53125 13.8125 
Q 13.53125 13.8125 14.921875 12.421875 
Q 16.3125 11.03125 16.3125 8.984375 
Q 16.3125 7.03125 14.890625 5.609375 
Q 13.484375 4.203125 11.53125 4.203125 
z
M 24.421875 24.3125 
Q 28.515625 24.3125 31.125 27.0625 
Q 33.734375 29.828125 34.90625 33.921875 
Q 36.078125 38.03125 36.078125 42.09375 
L 36.078125 44 
L 36.078125 44.390625 
Q 36.078125 51.90625 33.875 57.8125 
Q 31.6875 63.71875 25.484375 63.71875 
Q 21.53125 63.71875 19.0625 61.984375 
Q 16.609375 60.25 15.4375 57.375 
Q 14.265625 54.5 13.9375 51.21875 
Q 13.625 47.953125 13.625 44.09375 
Q 13.625 38.421875 14.15625 34.421875 
Q 14.703125 30.421875 17.09375 27.359375 
Q 19.484375 24.3125 24.421875 24.3125 
" id="Cmr10-39"/>
      </defs>
      <g transform="translate(333.054588501 429.13)scale(0.24 -0.24)">
       <use transform="translate(0.0 0.390625)" xlink:href="#Cmr10-39"/>
      </g>
     </g>
    </g>
    <g id="xtick_6">
     <g id="line2d_11">
      <g>
       <use style="stroke:#000000;stroke-width:0.5;" x="396.508235626" xlink:href="#m881da0e64c" y="402.89375"/>
      </g>
     </g>
     <g id="line2d_12">
      <g>
       <use style="stroke:#000000;stroke-width:0.5;" x="396.508235626" xlink:href="#m870ae56332" y="18.81375"/>
      </g>
     </g>
     <g id="text_6">
      <!-- $10$ -->
      <defs>
       <path d="M 9.28125 0 
L 9.28125 3.515625 
Q 21.78125 3.515625 21.78125 6.6875 
L 21.78125 59.1875 
Q 16.609375 56.6875 8.6875 56.6875 
L 8.6875 60.203125 
Q 20.953125 60.203125 27.203125 66.609375 
L 28.609375 66.609375 
Q 28.953125 66.609375 29.265625 66.328125 
Q 29.59375 66.0625 29.59375 65.71875 
L 29.59375 6.6875 
Q 29.59375 3.515625 42.09375 3.515625 
L 42.09375 0 
z
" id="Cmr10-31"/>
       <path d="M 25 -2.203125 
Q 12.75 -2.203125 8.328125 7.875 
Q 3.90625 17.96875 3.90625 31.890625 
Q 3.90625 40.578125 5.484375 48.234375 
Q 7.078125 55.90625 11.78125 61.25 
Q 16.5 66.609375 25 66.609375 
Q 31.59375 66.609375 35.78125 63.375 
Q 39.984375 60.15625 42.1875 55.046875 
Q 44.390625 49.953125 45.1875 44.109375 
Q 46 38.28125 46 31.890625 
Q 46 23.296875 44.40625 15.796875 
Q 42.828125 8.296875 38.1875 3.046875 
Q 33.546875 -2.203125 25 -2.203125 
M 25 0.390625 
Q 30.5625 0.390625 33.296875 6.09375 
Q 36.03125 11.8125 36.671875 18.75 
Q 37.3125 25.6875 37.3125 33.5 
Q 37.3125 41.015625 36.671875 47.359375 
Q 36.03125 53.71875 33.3125 58.859375 
Q 30.609375 64.015625 25 64.015625 
Q 19.34375 64.015625 16.609375 58.828125 
Q 13.875 53.65625 13.234375 47.328125 
Q 12.59375 41.015625 12.59375 33.5 
Q 12.59375 27.9375 12.859375 23 
Q 13.140625 18.0625 14.3125 12.8125 
Q 15.484375 7.5625 18.09375 3.96875 
Q 20.703125 0.390625 25 0.390625 
" id="Cmr10-30"/>
      </defs>
      <g transform="translate(384.508235626 429.13)scale(0.24 -0.24)">
       <use transform="translate(0.0 0.390625)" xlink:href="#Cmr10-31"/>
       <use transform="translate(50.0 0.390625)" xlink:href="#Cmr10-30"/>
      </g>
     </g>
    </g>
    <g id="xtick_7">
     <g id="line2d_13">
      <g>
       <use style="stroke:#000000;stroke-width:0.5;" x="453.961882751" xlink:href="#m881da0e64c" y="402.89375"/>
      </g>
     </g>
     <g id="line2d_14">
      <g>
       <use style="stroke:#000000;stroke-width:0.5;" x="453.961882751" xlink:href="#m870ae56332" y="18.81375"/>
      </g>
     </g>
     <g id="text_7">
      <!-- $11$ -->
      <g transform="translate(441.961882751 429.13)scale(0.24 -0.24)">
       <use transform="translate(0.0 0.390625)" xlink:href="#Cmr10-31"/>
       <use transform="translate(50.0 0.390625)" xlink:href="#Cmr10-31"/>
      </g>
     </g>
    </g>
    <g id="xtick_8">
     <g id="line2d_15">
      <g>
       <use style="stroke:#000000;stroke-width:0.5;" x="511.415529877" xlink:href="#m881da0e64c" y="402.89375"/>
      </g>
     </g>
     <g id="line2d_16">
      <g>
       <use style="stroke:#000000;stroke-width:0.5;" x="511.415529877" xlink:href="#m870ae56332" y="18.81375"/>
      </g>
     </g>
     <g id="text_8">
      <!-- $12$ -->
      <defs>
       <path d="M 4.984375 0 
L 4.984375 2.6875 
Q 4.984375 2.9375 5.171875 3.21875 
L 20.703125 20.40625 
Q 24.21875 24.21875 26.40625 26.796875 
Q 28.609375 29.390625 30.75 32.765625 
Q 32.90625 36.140625 34.15625 39.625 
Q 35.40625 43.109375 35.40625 47.015625 
Q 35.40625 51.125 33.890625 54.859375 
Q 32.375 58.59375 29.375 60.84375 
Q 26.375 63.09375 22.125 63.09375 
Q 17.78125 63.09375 14.3125 60.46875 
Q 10.84375 57.859375 9.421875 53.71875 
Q 9.8125 53.8125 10.5 53.8125 
Q 12.75 53.8125 14.328125 52.296875 
Q 15.921875 50.78125 15.921875 48.390625 
Q 15.921875 46.09375 14.328125 44.5 
Q 12.75 42.921875 10.5 42.921875 
Q 8.15625 42.921875 6.5625 44.546875 
Q 4.984375 46.1875 4.984375 48.390625 
Q 4.984375 52.15625 6.390625 55.4375 
Q 7.8125 58.734375 10.46875 61.296875 
Q 13.140625 63.875 16.484375 65.234375 
Q 19.828125 66.609375 23.578125 66.609375 
Q 29.296875 66.609375 34.21875 64.1875 
Q 39.15625 61.765625 42.03125 57.34375 
Q 44.921875 52.9375 44.921875 47.015625 
Q 44.921875 42.671875 43.015625 38.765625 
Q 41.109375 34.859375 38.125 31.65625 
Q 35.15625 28.46875 30.515625 24.40625 
Q 25.875 20.359375 24.421875 19 
L 13.09375 8.109375 
L 22.703125 8.109375 
Q 29.78125 8.109375 34.546875 8.21875 
Q 39.3125 8.34375 39.59375 8.59375 
Q 40.765625 9.859375 42 17.828125 
L 44.921875 17.828125 
L 42.09375 0 
z
" id="Cmr10-32"/>
      </defs>
      <g transform="translate(499.415529877 429.13)scale(0.24 -0.24)">
       <use transform="translate(0.0 0.390625)" xlink:href="#Cmr10-31"/>
       <use transform="translate(50.0 0.390625)" xlink:href="#Cmr10-32"/>
      </g>
     </g>
    </g>
    <g id="xtick_9">
     <g id="line2d_17">
      <g>
       <use style="stroke:#000000;stroke-width:0.5;" x="568.869177002" xlink:href="#m881da0e64c" y="402.89375"/>
      </g>
     </g>
     <g id="line2d_18">
      <g>
       <use style="stroke:#000000;stroke-width:0.5;" x="568.869177002" xlink:href="#m870ae56332" y="18.81375"/>
      </g>
     </g>
     <g id="text_9">
      <!-- $13$ -->
      <defs>
       <path d="M 9.515625 7.71875 
Q 11.859375 4.296875 15.8125 2.640625 
Q 19.78125 0.984375 24.3125 0.984375 
Q 30.125 0.984375 32.5625 5.9375 
Q 35.015625 10.890625 35.015625 17.1875 
Q 35.015625 20.015625 34.5 22.84375 
Q 33.984375 25.6875 32.765625 28.125 
Q 31.546875 30.5625 29.421875 32.03125 
Q 27.296875 33.5 24.21875 33.5 
L 17.578125 33.5 
Q 16.703125 33.5 16.703125 34.421875 
L 16.703125 35.296875 
Q 16.703125 36.078125 17.578125 36.078125 
L 23.09375 36.53125 
Q 26.609375 36.53125 28.921875 39.15625 
Q 31.25 41.796875 32.328125 45.578125 
Q 33.40625 49.359375 33.40625 52.78125 
Q 33.40625 57.5625 31.15625 60.640625 
Q 28.90625 63.71875 24.3125 63.71875 
Q 20.515625 63.71875 17.046875 62.28125 
Q 13.578125 60.84375 11.53125 57.90625 
Q 11.71875 57.953125 11.859375 57.984375 
Q 12.015625 58.015625 12.203125 58.015625 
Q 14.453125 58.015625 15.96875 56.453125 
Q 17.484375 54.890625 17.484375 52.6875 
Q 17.484375 50.53125 15.96875 48.96875 
Q 14.453125 47.40625 12.203125 47.40625 
Q 10.015625 47.40625 8.453125 48.96875 
Q 6.890625 50.53125 6.890625 52.6875 
Q 6.890625 56.984375 9.46875 60.15625 
Q 12.0625 63.328125 16.140625 64.96875 
Q 20.21875 66.609375 24.3125 66.609375 
Q 27.34375 66.609375 30.703125 65.703125 
Q 34.078125 64.796875 36.8125 63.109375 
Q 39.546875 61.421875 41.28125 58.78125 
Q 43.015625 56.15625 43.015625 52.78125 
Q 43.015625 48.578125 41.140625 45.015625 
Q 39.265625 41.453125 35.984375 38.859375 
Q 32.71875 36.28125 28.8125 35.015625 
Q 33.15625 34.1875 37.0625 31.734375 
Q 40.96875 29.296875 43.328125 25.484375 
Q 45.703125 21.6875 45.703125 17.28125 
Q 45.703125 11.765625 42.671875 7.296875 
Q 39.65625 2.828125 34.71875 0.3125 
Q 29.78125 -2.203125 24.3125 -2.203125 
Q 19.625 -2.203125 14.90625 -0.40625 
Q 10.203125 1.375 7.203125 4.9375 
Q 4.203125 8.5 4.203125 13.484375 
Q 4.203125 15.96875 5.859375 17.625 
Q 7.515625 19.28125 10.015625 19.28125 
Q 11.625 19.28125 12.96875 18.53125 
Q 14.3125 17.78125 15.0625 16.40625 
Q 15.828125 15.046875 15.828125 13.484375 
Q 15.828125 11.03125 14.109375 9.375 
Q 12.40625 7.71875 10.015625 7.71875 
z
" id="Cmr10-33"/>
      </defs>
      <g transform="translate(556.869177002 429.13)scale(0.24 -0.24)">
       <use transform="translate(0.0 0.390625)" xlink:href="#Cmr10-31"/>
       <use transform="translate(50.0 0.390625)" xlink:href="#Cmr10-33"/>
      </g>
     </g>
    </g>
    <g id="xtick_10">
     <g id="line2d_19">
      <g>
       <use style="stroke:#000000;stroke-width:0.5;" x="626.322824127" xlink:href="#m881da0e64c" y="402.89375"/>
      </g>
     </g>
     <g id="line2d_20">
      <g>
       <use style="stroke:#000000;stroke-width:0.5;" x="626.322824127" xlink:href="#m870ae56332" y="18.81375"/>
      </g>
     </g>
     <g id="text_10">
      <!-- $14$ -->
      <defs>
       <path d="M 2.78125 16.5 
L 2.78125 20.015625 
L 33.6875 66.109375 
Q 34.03125 66.609375 34.71875 66.609375 
L 36.1875 66.609375 
Q 37.3125 66.609375 37.3125 65.484375 
L 37.3125 20.015625 
L 47.125 20.015625 
L 47.125 16.5 
L 37.3125 16.5 
L 37.3125 6.6875 
Q 37.3125 4.640625 40.234375 4.078125 
Q 43.171875 3.515625 47.015625 3.515625 
L 47.015625 0 
L 19.484375 0 
L 19.484375 3.515625 
Q 23.34375 3.515625 26.265625 4.078125 
Q 29.203125 4.640625 29.203125 6.6875 
L 29.203125 16.5 
z
M 6.109375 20.015625 
L 29.78125 20.015625 
L 29.78125 55.421875 
z
" id="Cmr10-34"/>
      </defs>
      <g transform="translate(614.322824127 429.13)scale(0.24 -0.24)">
       <use transform="translate(0.0 0.390625)" xlink:href="#Cmr10-31"/>
       <use transform="translate(50.0 0.390625)" xlink:href="#Cmr10-34"/>
      </g>
     </g>
    </g>
    <g id="xtick_11">
     <g id="line2d_21">
      <g>
       <use style="stroke:#000000;stroke-width:0.5;" x="683.776471252" xlink:href="#m881da0e64c" y="402.89375"/>
      </g>
     </g>
     <g id="line2d_22">
      <g>
       <use style="stroke:#000000;stroke-width:0.5;" x="683.776471252" xlink:href="#m870ae56332" y="18.81375"/>
      </g>
     </g>
     <g id="text_11">
      <!-- $15$ -->
      <g transform="translate(671.776471252 429.13)scale(0.24 -0.24)">
       <use transform="translate(0.0 0.390625)" xlink:href="#Cmr10-31"/>
       <use transform="translate(50.0 0.390625)" xlink:href="#Cmr10-35"/>
      </g>
     </g>
    </g>
    <g id="text_12">
     <!-- $\log_{10}(t_\mathrm{FPT})$ -->
     <defs>
      <path d="M 31 -24.8125 
Q 25.4375 -20.40625 21.40625 -14.71875 
Q 17.390625 -9.03125 14.8125 -2.578125 
Q 12.25 3.859375 10.984375 10.890625 
Q 9.71875 17.921875 9.71875 25 
Q 9.71875 32.171875 10.984375 39.203125 
Q 12.25 46.234375 14.859375 52.734375 
Q 17.484375 59.234375 21.53125 64.890625 
Q 25.59375 70.5625 31 74.8125 
Q 31 75 31.5 75 
L 32.421875 75 
Q 32.71875 75 32.953125 74.734375 
Q 33.203125 74.46875 33.203125 74.125 
Q 33.203125 73.6875 33.015625 73.484375 
Q 28.125 68.703125 24.875 63.234375 
Q 21.625 57.765625 19.640625 51.578125 
Q 17.671875 45.40625 16.796875 38.78125 
Q 15.921875 32.171875 15.921875 25 
Q 15.921875 -6.78125 32.90625 -23.296875 
Q 33.203125 -23.578125 33.203125 -24.125 
Q 33.203125 -24.359375 32.9375 -24.671875 
Q 32.671875 -25 32.421875 -25 
L 31.5 -25 
Q 31 -25 31 -24.8125 
" id="Cmr10-28"/>
      <path d="M 6.5 -25 
Q 5.609375 -25 5.609375 -24.125 
Q 5.609375 -23.6875 5.8125 -23.484375 
Q 22.90625 -6.78125 22.90625 25 
Q 22.90625 56.78125 6 73.296875 
Q 5.609375 73.53125 5.609375 74.125 
Q 5.609375 74.46875 5.875 74.734375 
Q 6.15625 75 6.5 75 
L 7.421875 75 
Q 7.71875 75 7.90625 74.8125 
Q 15.09375 69.140625 19.875 61.03125 
Q 24.65625 52.9375 26.875 43.75 
Q 29.109375 34.578125 29.109375 25 
Q 29.109375 17.921875 27.90625 11.0625 
Q 26.703125 4.203125 24.09375 -2.453125 
Q 21.484375 -9.125 17.484375 -14.765625 
Q 13.484375 -20.40625 7.90625 -24.8125 
Q 7.71875 -25 7.421875 -25 
z
" id="Cmr10-29"/>
      <path d="M 25 -1.125 
Q 19 -1.125 13.859375 1.921875 
Q 8.734375 4.984375 5.75 10.109375 
Q 2.78125 15.234375 2.78125 21.296875 
Q 2.78125 25.875 4.421875 30.125 
Q 6.0625 34.375 9.109375 37.71875 
Q 12.15625 41.0625 16.203125 42.9375 
Q 20.265625 44.828125 25 44.828125 
Q 31.15625 44.828125 36.203125 41.578125 
Q 41.265625 38.328125 44.1875 32.875 
Q 47.125 27.4375 47.125 21.296875 
Q 47.125 15.28125 44.140625 10.125 
Q 41.15625 4.984375 36.046875 1.921875 
Q 30.953125 -1.125 25 -1.125 
M 25 1.8125 
Q 33.015625 1.8125 35.6875 7.609375 
Q 38.375 13.421875 38.375 22.40625 
Q 38.375 27.4375 37.84375 30.734375 
Q 37.3125 34.03125 35.5 36.71875 
Q 34.375 38.375 32.640625 39.625 
Q 30.90625 40.875 28.96875 41.53125 
Q 27.046875 42.1875 25 42.1875 
Q 21.875 42.1875 19.0625 40.765625 
Q 16.265625 39.359375 14.40625 36.71875 
Q 12.546875 33.890625 12.03125 30.484375 
Q 11.53125 27.09375 11.53125 22.40625 
Q 11.53125 16.796875 12.5 12.328125 
Q 13.484375 7.859375 16.4375 4.828125 
Q 19.390625 1.8125 25 1.8125 
" id="Cmr10-6f"/>
      <path d="M 3.078125 0 
L 3.078125 3.515625 
Q 6.5 3.515625 8.6875 4.046875 
Q 10.890625 4.59375 10.890625 6.6875 
L 10.890625 59.1875 
Q 10.890625 61.859375 10.078125 63.0625 
Q 9.28125 64.265625 7.765625 64.53125 
Q 6.25 64.796875 3.078125 64.796875 
L 3.078125 68.3125 
L 17.921875 69.390625 
L 17.921875 6.6875 
Q 17.921875 4.59375 20.109375 4.046875 
Q 22.3125 3.515625 25.6875 3.515625 
L 25.6875 0 
z
" id="Cmr10-6c"/>
      <path d="M 16.890625 0 
L 16.890625 3.515625 
Q 21.921875 3.515625 26.65625 4.078125 
Q 31.390625 4.640625 31.390625 6.6875 
L 31.390625 61.625 
Q 31.390625 63.765625 30.1875 64.28125 
Q 29 64.796875 26.3125 64.796875 
L 22.125 64.796875 
Q 13.875 64.796875 10.40625 61.1875 
Q 8.59375 59.375 7.8125 55.390625 
Q 7.03125 51.421875 6.5 45.40625 
L 3.609375 45.40625 
L 5.515625 68.3125 
L 66.609375 68.3125 
L 68.5 45.40625 
L 65.578125 45.40625 
Q 64.984375 51.859375 64.28125 55.640625 
Q 63.578125 59.421875 61.71875 61.1875 
Q 58.203125 64.796875 50 64.796875 
L 45.796875 64.796875 
Q 44 64.796875 43 64.640625 
Q 42 64.5 41.359375 63.796875 
Q 40.71875 63.09375 40.71875 61.625 
L 40.71875 6.6875 
Q 40.71875 4.640625 45.453125 4.078125 
Q 50.203125 3.515625 55.171875 3.515625 
L 55.171875 0 
z
" id="Cmr10-54"/>
      <path d="M 3.078125 0 
L 3.078125 3.515625 
Q 13.375 3.515625 13.375 6.6875 
L 13.375 61.625 
Q 13.375 64.796875 3.078125 64.796875 
L 3.078125 68.3125 
L 58.203125 68.3125 
L 60.984375 45.40625 
L 58.109375 45.40625 
Q 57.421875 51.703125 56.265625 55.34375 
Q 55.125 58.984375 52.921875 61.0625 
Q 50.734375 63.140625 47.046875 63.96875 
Q 43.359375 64.796875 36.921875 64.796875 
L 27.78125 64.796875 
Q 25.984375 64.796875 24.96875 64.640625 
Q 23.96875 64.5 23.328125 63.796875 
Q 22.703125 63.09375 22.703125 61.625 
L 22.703125 35.890625 
L 29.78125 35.890625 
Q 34.90625 35.890625 37.296875 36.796875 
Q 39.703125 37.703125 40.59375 40.09375 
Q 41.5 42.484375 41.5 47.609375 
L 44.390625 47.609375 
L 44.390625 20.703125 
L 41.5 20.703125 
Q 41.5 25.828125 40.59375 28.21875 
Q 39.703125 30.609375 37.296875 31.515625 
Q 34.90625 32.421875 29.78125 32.421875 
L 22.703125 32.421875 
L 22.703125 6.6875 
Q 22.703125 3.515625 35.5 3.515625 
L 35.5 0 
z
" id="Cmr10-46"/>
      <path d="M 3.328125 0 
L 3.328125 3.515625 
Q 13.625 3.515625 13.625 6.6875 
L 13.625 61.625 
Q 13.625 64.796875 3.328125 64.796875 
L 3.328125 68.3125 
L 38.921875 68.3125 
Q 44.390625 68.3125 49.859375 66.0625 
Q 55.328125 63.8125 58.859375 59.515625 
Q 62.40625 55.21875 62.40625 49.515625 
Q 62.40625 43.953125 58.84375 39.75 
Q 55.28125 35.546875 49.859375 33.375 
Q 44.4375 31.203125 38.921875 31.203125 
L 22.90625 31.203125 
L 22.90625 6.6875 
Q 22.90625 3.515625 33.203125 3.515625 
L 33.203125 0 
z
M 22.609375 34.1875 
L 36.1875 34.1875 
Q 41.703125 34.1875 45.109375 35.765625 
Q 48.53125 37.359375 50.109375 40.703125 
Q 51.703125 44.046875 51.703125 49.515625 
Q 51.703125 57.671875 48.109375 61.234375 
Q 44.53125 64.796875 36.1875 64.796875 
L 27.6875 64.796875 
Q 25.875 64.796875 24.875 64.640625 
Q 23.875 64.5 23.234375 63.796875 
Q 22.609375 63.09375 22.609375 61.625 
z
" id="Cmr10-50"/>
      <path d="M 6.203125 8.109375 
Q 6.203125 9.578125 6.5 10.890625 
L 13.71875 39.59375 
L 3.21875 39.59375 
Q 2.203125 39.59375 2.203125 40.921875 
Q 2.59375 43.109375 3.515625 43.109375 
L 14.59375 43.109375 
L 18.609375 59.421875 
Q 19 60.75 20.171875 61.671875 
Q 21.34375 62.59375 22.796875 62.59375 
Q 24.078125 62.59375 24.921875 61.828125 
Q 25.78125 61.078125 25.78125 59.8125 
Q 25.78125 59.515625 25.75 59.34375 
Q 25.734375 59.1875 25.6875 58.984375 
L 21.6875 43.109375 
L 31.984375 43.109375 
Q 33.015625 43.109375 33.015625 41.796875 
Q 32.953125 41.546875 32.8125 40.953125 
Q 32.671875 40.375 32.421875 39.984375 
Q 32.171875 39.59375 31.6875 39.59375 
L 20.796875 39.59375 
L 13.625 10.6875 
Q 12.890625 7.859375 12.890625 5.8125 
Q 12.890625 1.515625 15.828125 1.515625 
Q 20.21875 1.515625 23.609375 5.640625 
Q 27 9.765625 28.8125 14.703125 
Q 29.203125 15.28125 29.59375 15.28125 
L 30.8125 15.28125 
Q 31.203125 15.28125 31.4375 15.015625 
Q 31.6875 14.75 31.6875 14.40625 
Q 31.6875 14.203125 31.59375 14.109375 
Q 29.390625 8.0625 25.1875 3.46875 
Q 21 -1.125 15.578125 -1.125 
Q 11.625 -1.125 8.90625 1.453125 
Q 6.203125 4.046875 6.203125 8.109375 
" id="Cmmi10-74"/>
      <path d="M 2.78125 -7.8125 
Q 2.78125 -4.25 5.359375 -1.578125 
Q 7.953125 1.078125 11.53125 2.203125 
Q 9.515625 3.71875 8.46875 6 
Q 7.421875 8.296875 7.421875 10.890625 
Q 7.421875 15.578125 10.40625 19.1875 
Q 5.8125 23.6875 5.8125 29.5 
Q 5.8125 32.625 7.15625 35.359375 
Q 8.5 38.09375 10.890625 40.09375 
Q 13.28125 42.09375 16.203125 43.140625 
Q 19.140625 44.1875 22.21875 44.1875 
Q 28.171875 44.1875 32.90625 40.71875 
Q 34.96875 42.921875 37.765625 44.109375 
Q 40.578125 45.3125 43.609375 45.3125 
Q 45.75 45.3125 47.109375 43.765625 
Q 48.484375 42.234375 48.484375 40.09375 
Q 48.484375 38.875 47.546875 37.9375 
Q 46.625 37.015625 45.40625 37.015625 
Q 44.140625 37.015625 43.203125 37.9375 
Q 42.28125 38.875 42.28125 40.09375 
Q 42.28125 41.9375 43.5 42.671875 
Q 38.328125 42.671875 34.625 39.109375 
Q 36.421875 37.3125 37.515625 34.6875 
Q 38.625 32.078125 38.625 29.5 
Q 38.625 25.25 36.28125 21.84375 
Q 33.9375 18.453125 30.09375 16.578125 
Q 26.265625 14.703125 22.21875 14.703125 
Q 16.75 14.703125 12.203125 17.671875 
Q 10.796875 15.71875 10.796875 13.28125 
Q 10.796875 10.640625 12.53125 8.65625 
Q 14.265625 6.6875 16.890625 6.6875 
L 25.09375 6.6875 
Q 31.0625 6.6875 35.84375 5.609375 
Q 40.625 4.546875 43.875 1.3125 
Q 47.125 -1.90625 47.125 -7.8125 
Q 47.125 -12.203125 43.40625 -15.109375 
Q 39.703125 -18.015625 34.546875 -19.3125 
Q 29.390625 -20.609375 25 -20.609375 
Q 20.5625 -20.609375 15.375 -19.3125 
Q 10.203125 -18.015625 6.484375 -15.109375 
Q 2.78125 -12.203125 2.78125 -7.8125 
M 8.40625 -7.8125 
Q 8.40625 -11.1875 11.140625 -13.453125 
Q 13.875 -15.71875 17.71875 -16.8125 
Q 21.578125 -17.921875 25 -17.921875 
Q 28.375 -17.921875 32.21875 -16.8125 
Q 36.078125 -15.71875 38.78125 -13.453125 
Q 41.5 -11.1875 41.5 -7.8125 
Q 41.5 -2.59375 36.71875 -1.046875 
Q 31.9375 0.484375 25.09375 0.484375 
L 16.890625 0.484375 
Q 14.59375 0.484375 12.671875 -0.609375 
Q 10.75 -1.703125 9.578125 -3.6875 
Q 8.40625 -5.671875 8.40625 -7.8125 
M 22.21875 17.390625 
Q 30.71875 17.390625 30.71875 29.5 
Q 30.71875 34.71875 28.90625 38.109375 
Q 27.09375 41.5 22.21875 41.5 
Q 17.328125 41.5 15.515625 38.109375 
Q 13.71875 34.71875 13.71875 29.5 
Q 13.71875 26.171875 14.40625 23.484375 
Q 15.09375 20.796875 16.9375 19.09375 
Q 18.796875 17.390625 22.21875 17.390625 
" id="Cmr10-67"/>
     </defs>
     <g transform="translate(297.178235626 470.62125)scale(0.42 -0.42)">
      <use xlink:href="#Cmr10-6c"/>
      <use transform="translate(27.685546875 0.0)" xlink:href="#Cmr10-6f"/>
      <use transform="translate(77.685546875 0.0)" xlink:href="#Cmr10-67"/>
      <use transform="translate(132.1496875 -17.00625)scale(0.7)" xlink:href="#Cmr10-31"/>
      <use transform="translate(167.1496875 -17.00625)scale(0.7)" xlink:href="#Cmr10-30"/>
      <use transform="translate(208.52703125 0.0)" xlink:href="#Cmr10-28"/>
      <use transform="translate(247.345390625 0.0)" xlink:href="#Cmmi10-74"/>
      <use transform="translate(283.429375 -17.00625)scale(0.7)" xlink:href="#Cmr10-46"/>
      <use transform="translate(329.059257812 -17.00625)scale(0.7)" xlink:href="#Cmr10-50"/>
      <use transform="translate(376.6715625 -17.00625)scale(0.7)" xlink:href="#Cmr10-54"/>
      <use transform="translate(433.600664062 0.0)" xlink:href="#Cmr10-29"/>
     </g>
    </g>
   </g>
   <g id="matplotlib.axis_2">
    <g id="ytick_1">
     <g id="line2d_23">
      <defs>
       <path d="M 0 0 
L -4 0 
" id="m9ae40b1264" style="stroke:#000000;stroke-width:0.5;"/>
      </defs>
      <g>
       <use style="stroke:#000000;stroke-width:0.5;" x="109.24" xlink:href="#m9ae40b1264" y="402.89375"/>
      </g>
     </g>
     <g id="line2d_24">
      <defs>
       <path d="M 0 0 
L 4 0 
" id="m40f682f0f8" style="stroke:#000000;stroke-width:0.5;"/>
      </defs>
      <g>
       <use style="stroke:#000000;stroke-width:0.5;" x="683.776471252" xlink:href="#m40f682f0f8" y="402.89375"/>
      </g>
     </g>
     <g id="text_13">
      <!-- $0.00$ -->
      <defs>
       <path d="M 8.40625 5.515625 
Q 8.40625 7.765625 10.0625 9.375 
Q 11.71875 10.984375 13.921875 10.984375 
Q 15.28125 10.984375 16.59375 10.25 
Q 17.921875 9.515625 18.65625 8.203125 
Q 19.390625 6.890625 19.390625 5.515625 
Q 19.390625 3.328125 17.765625 1.65625 
Q 16.15625 0 13.921875 0 
Q 11.71875 0 10.0625 1.65625 
Q 8.40625 3.328125 8.40625 5.515625 
" id="Cmmi10-3a"/>
      </defs>
      <g transform="translate(54.2 409.51625)scale(0.24 -0.24)">
       <use transform="translate(0.0 0.390625)" xlink:href="#Cmr10-30"/>
       <use transform="translate(50.0 0.390625)" xlink:href="#Cmmi10-3a"/>
       <use transform="translate(95.244140625 0.390625)" xlink:href="#Cmr10-30"/>
       <use transform="translate(145.244140625 0.390625)" xlink:href="#Cmr10-30"/>
      </g>
     </g>
    </g>
    <g id="ytick_2">
     <g id="line2d_25">
      <g>
       <use style="stroke:#000000;stroke-width:0.5;" x="109.24" xlink:href="#m9ae40b1264" y="370.887083333"/>
      </g>
     </g>
     <g id="line2d_26">
      <g>
       <use style="stroke:#000000;stroke-width:0.5;" x="683.776471252" xlink:href="#m40f682f0f8" y="370.887083333"/>
      </g>
     </g>
     <g id="text_14">
      <!-- $0.01$ -->
      <g transform="translate(54.2 377.509583333)scale(0.24 -0.24)">
       <use transform="translate(0.0 0.390625)" xlink:href="#Cmr10-30"/>
       <use transform="translate(50.0 0.390625)" xlink:href="#Cmmi10-3a"/>
       <use transform="translate(95.244140625 0.390625)" xlink:href="#Cmr10-30"/>
       <use transform="translate(145.244140625 0.390625)" xlink:href="#Cmr10-31"/>
      </g>
     </g>
    </g>
    <g id="ytick_3">
     <g id="line2d_27">
      <g>
       <use style="stroke:#000000;stroke-width:0.5;" x="109.24" xlink:href="#m9ae40b1264" y="338.880416667"/>
      </g>
     </g>
     <g id="line2d_28">
      <g>
       <use style="stroke:#000000;stroke-width:0.5;" x="683.776471252" xlink:href="#m40f682f0f8" y="338.880416667"/>
      </g>
     </g>
     <g id="text_15">
      <!-- $0.02$ -->
      <g transform="translate(54.2 345.502916667)scale(0.24 -0.24)">
       <use transform="translate(0.0 0.390625)" xlink:href="#Cmr10-30"/>
       <use transform="translate(50.0 0.390625)" xlink:href="#Cmmi10-3a"/>
       <use transform="translate(95.244140625 0.390625)" xlink:href="#Cmr10-30"/>
       <use transform="translate(145.244140625 0.390625)" xlink:href="#Cmr10-32"/>
      </g>
     </g>
    </g>
    <g id="ytick_4">
     <g id="line2d_29">
      <g>
       <use style="stroke:#000000;stroke-width:0.5;" x="109.24" xlink:href="#m9ae40b1264" y="306.87375"/>
      </g>
     </g>
     <g id="line2d_30">
      <g>
       <use style="stroke:#000000;stroke-width:0.5;" x="683.776471252" xlink:href="#m40f682f0f8" y="306.87375"/>
      </g>
     </g>
     <g id="text_16">
      <!-- $0.03$ -->
      <g transform="translate(54.2 313.49625)scale(0.24 -0.24)">
       <use transform="translate(0.0 0.390625)" xlink:href="#Cmr10-30"/>
       <use transform="translate(50.0 0.390625)" xlink:href="#Cmmi10-3a"/>
       <use transform="translate(95.244140625 0.390625)" xlink:href="#Cmr10-30"/>
       <use transform="translate(145.244140625 0.390625)" xlink:href="#Cmr10-33"/>
      </g>
     </g>
    </g>
    <g id="ytick_5">
     <g id="line2d_31">
      <g>
       <use style="stroke:#000000;stroke-width:0.5;" x="109.24" xlink:href="#m9ae40b1264" y="274.867083333"/>
      </g>
     </g>
     <g id="line2d_32">
      <g>
       <use style="stroke:#000000;stroke-width:0.5;" x="683.776471252" xlink:href="#m40f682f0f8" y="274.867083333"/>
      </g>
     </g>
     <g id="text_17">
      <!-- $0.04$ -->
      <g transform="translate(54.2 281.489583333)scale(0.24 -0.24)">
       <use transform="translate(0.0 0.390625)" xlink:href="#Cmr10-30"/>
       <use transform="translate(50.0 0.390625)" xlink:href="#Cmmi10-3a"/>
       <use transform="translate(95.244140625 0.390625)" xlink:href="#Cmr10-30"/>
       <use transform="translate(145.244140625 0.390625)" xlink:href="#Cmr10-34"/>
      </g>
     </g>
    </g>
    <g id="ytick_6">
     <g id="line2d_33">
      <g>
       <use style="stroke:#000000;stroke-width:0.5;" x="109.24" xlink:href="#m9ae40b1264" y="242.860416667"/>
      </g>
     </g>
     <g id="line2d_34">
      <g>
       <use style="stroke:#000000;stroke-width:0.5;" x="683.776471252" xlink:href="#m40f682f0f8" y="242.860416667"/>
      </g>
     </g>
     <g id="text_18">
      <!-- $0.05$ -->
      <g transform="translate(54.2 249.482916667)scale(0.24 -0.24)">
       <use transform="translate(0.0 0.390625)" xlink:href="#Cmr10-30"/>
       <use transform="translate(50.0 0.390625)" xlink:href="#Cmmi10-3a"/>
       <use transform="translate(95.244140625 0.390625)" xlink:href="#Cmr10-30"/>
       <use transform="translate(145.244140625 0.390625)" xlink:href="#Cmr10-35"/>
      </g>
     </g>
    </g>
    <g id="ytick_7">
     <g id="line2d_35">
      <g>
       <use style="stroke:#000000;stroke-width:0.5;" x="109.24" xlink:href="#m9ae40b1264" y="210.85375"/>
      </g>
     </g>
     <g id="line2d_36">
      <g>
       <use style="stroke:#000000;stroke-width:0.5;" x="683.776471252" xlink:href="#m40f682f0f8" y="210.85375"/>
      </g>
     </g>
     <g id="text_19">
      <!-- $0.06$ -->
      <g transform="translate(54.2 217.47625)scale(0.24 -0.24)">
       <use transform="translate(0.0 0.390625)" xlink:href="#Cmr10-30"/>
       <use transform="translate(50.0 0.390625)" xlink:href="#Cmmi10-3a"/>
       <use transform="translate(95.244140625 0.390625)" xlink:href="#Cmr10-30"/>
       <use transform="translate(145.244140625 0.390625)" xlink:href="#Cmr10-36"/>
      </g>
     </g>
    </g>
    <g id="ytick_8">
     <g id="line2d_37">
      <g>
       <use style="stroke:#000000;stroke-width:0.5;" x="109.24" xlink:href="#m9ae40b1264" y="178.847083333"/>
      </g>
     </g>
     <g id="line2d_38">
      <g>
       <use style="stroke:#000000;stroke-width:0.5;" x="683.776471252" xlink:href="#m40f682f0f8" y="178.847083333"/>
      </g>
     </g>
     <g id="text_20">
      <!-- $0.07$ -->
      <g transform="translate(54.2 185.469583333)scale(0.24 -0.24)">
       <use transform="translate(0.0 0.421875)" xlink:href="#Cmr10-30"/>
       <use transform="translate(50.0 0.421875)" xlink:href="#Cmmi10-3a"/>
       <use transform="translate(95.244140625 0.421875)" xlink:href="#Cmr10-30"/>
       <use transform="translate(145.244140625 0.421875)" xlink:href="#Cmr10-37"/>
      </g>
     </g>
    </g>
    <g id="ytick_9">
     <g id="line2d_39">
      <g>
       <use style="stroke:#000000;stroke-width:0.5;" x="109.24" xlink:href="#m9ae40b1264" y="146.840416667"/>
      </g>
     </g>
     <g id="line2d_40">
      <g>
       <use style="stroke:#000000;stroke-width:0.5;" x="683.776471252" xlink:href="#m40f682f0f8" y="146.840416667"/>
      </g>
     </g>
     <g id="text_21">
      <!-- $0.08$ -->
      <g transform="translate(54.2 153.462916667)scale(0.24 -0.24)">
       <use transform="translate(0.0 0.390625)" xlink:href="#Cmr10-30"/>
       <use transform="translate(50.0 0.390625)" xlink:href="#Cmmi10-3a"/>
       <use transform="translate(95.244140625 0.390625)" xlink:href="#Cmr10-30"/>
       <use transform="translate(145.244140625 0.390625)" xlink:href="#Cmr10-38"/>
      </g>
     </g>
    </g>
    <g id="ytick_10">
     <g id="line2d_41">
      <g>
       <use style="stroke:#000000;stroke-width:0.5;" x="109.24" xlink:href="#m9ae40b1264" y="114.83375"/>
      </g>
     </g>
     <g id="line2d_42">
      <g>
       <use style="stroke:#000000;stroke-width:0.5;" x="683.776471252" xlink:href="#m40f682f0f8" y="114.83375"/>
      </g>
     </g>
     <g id="text_22">
      <!-- $0.09$ -->
      <g transform="translate(54.2 121.45625)scale(0.24 -0.24)">
       <use transform="translate(0.0 0.390625)" xlink:href="#Cmr10-30"/>
       <use transform="translate(50.0 0.390625)" xlink:href="#Cmmi10-3a"/>
       <use transform="translate(95.244140625 0.390625)" xlink:href="#Cmr10-30"/>
       <use transform="translate(145.244140625 0.390625)" xlink:href="#Cmr10-39"/>
      </g>
     </g>
    </g>
    <g id="ytick_11">
     <g id="line2d_43">
      <g>
       <use style="stroke:#000000;stroke-width:0.5;" x="109.24" xlink:href="#m9ae40b1264" y="82.8270833333"/>
      </g>
     </g>
     <g id="line2d_44">
      <g>
       <use style="stroke:#000000;stroke-width:0.5;" x="683.776471252" xlink:href="#m40f682f0f8" y="82.8270833333"/>
      </g>
     </g>
     <g id="text_23">
      <!-- $0.10$ -->
      <g transform="translate(54.2 89.4495833333)scale(0.24 -0.24)">
       <use transform="translate(0.0 0.390625)" xlink:href="#Cmr10-30"/>
       <use transform="translate(50.0 0.390625)" xlink:href="#Cmmi10-3a"/>
       <use transform="translate(95.244140625 0.390625)" xlink:href="#Cmr10-31"/>
       <use transform="translate(145.244140625 0.390625)" xlink:href="#Cmr10-30"/>
      </g>
     </g>
    </g>
    <g id="ytick_12">
     <g id="line2d_45">
      <g>
       <use style="stroke:#000000;stroke-width:0.5;" x="109.24" xlink:href="#m9ae40b1264" y="50.8204166667"/>
      </g>
     </g>
     <g id="line2d_46">
      <g>
       <use style="stroke:#000000;stroke-width:0.5;" x="683.776471252" xlink:href="#m40f682f0f8" y="50.8204166667"/>
      </g>
     </g>
     <g id="text_24">
      <!-- $0.11$ -->
      <g transform="translate(54.2 57.4429166667)scale(0.24 -0.24)">
       <use transform="translate(0.0 0.390625)" xlink:href="#Cmr10-30"/>
       <use transform="translate(50.0 0.390625)" xlink:href="#Cmmi10-3a"/>
       <use transform="translate(95.244140625 0.390625)" xlink:href="#Cmr10-31"/>
       <use transform="translate(145.244140625 0.390625)" xlink:href="#Cmr10-31"/>
      </g>
     </g>
    </g>
    <g id="ytick_13">
     <g id="line2d_47">
      <g>
       <use style="stroke:#000000;stroke-width:0.5;" x="109.24" xlink:href="#m9ae40b1264" y="18.81375"/>
      </g>
     </g>
     <g id="line2d_48">
      <g>
       <use style="stroke:#000000;stroke-width:0.5;" x="683.776471252" xlink:href="#m40f682f0f8" y="18.81375"/>
      </g>
     </g>
     <g id="text_25">
      <!-- $0.12$ -->
      <g transform="translate(54.2 25.43625)scale(0.24 -0.24)">
       <use transform="translate(0.0 0.390625)" xlink:href="#Cmr10-30"/>
       <use transform="translate(50.0 0.390625)" xlink:href="#Cmmi10-3a"/>
       <use transform="translate(95.244140625 0.390625)" xlink:href="#Cmr10-31"/>
       <use transform="translate(145.244140625 0.390625)" xlink:href="#Cmr10-32"/>
      </g>
     </g>
    </g>
    <g id="text_26">
     <!-- $p ( \log_{10} t_\mathrm{FPT} )$ -->
     <defs>
      <path d="M -2.484375 -19.390625 
Q -3.421875 -19.390625 -3.421875 -18.109375 
Q -3.078125 -15.921875 -2.09375 -15.921875 
Q 1.03125 -15.921875 2.265625 -15.359375 
Q 3.515625 -14.796875 4.203125 -12.5 
L 15.484375 32.515625 
Q 16.21875 34.375 16.21875 37.3125 
Q 16.21875 41.609375 13.28125 41.609375 
Q 10.15625 41.609375 8.640625 37.859375 
Q 7.125 34.125 5.71875 28.421875 
Q 5.71875 27.78125 4.890625 27.78125 
L 3.71875 27.78125 
Q 3.46875 27.78125 3.171875 28.140625 
Q 2.875 28.515625 2.875 28.8125 
Q 3.953125 33.15625 4.953125 36.171875 
Q 5.953125 39.203125 8.078125 41.6875 
Q 10.203125 44.1875 13.375 44.1875 
Q 16.796875 44.1875 19.375 42.25 
Q 21.96875 40.328125 22.703125 37.015625 
Q 25.4375 40.1875 28.75 42.1875 
Q 32.078125 44.1875 35.59375 44.1875 
Q 39.796875 44.1875 42.890625 41.9375 
Q 46 39.703125 47.5625 36.0625 
Q 49.125 32.421875 49.125 28.21875 
Q 49.125 21.78125 45.828125 14.890625 
Q 42.53125 8.015625 36.890625 3.4375 
Q 31.25 -1.125 24.8125 -1.125 
Q 21.875 -1.125 19.5 0.53125 
Q 17.140625 2.203125 15.828125 4.890625 
L 11.28125 -12.890625 
Q 11.03125 -14.359375 10.984375 -14.59375 
Q 10.984375 -15.921875 17.578125 -15.921875 
Q 18.609375 -15.921875 18.609375 -17.1875 
Q 18.265625 -18.5 18.046875 -18.9375 
Q 17.828125 -19.390625 16.890625 -19.390625 
z
M 24.90625 1.515625 
Q 28.375 1.515625 31.34375 4.375 
Q 34.328125 7.234375 36.1875 10.796875 
Q 37.546875 13.484375 38.734375 17.359375 
Q 39.9375 21.234375 40.8125 25.625 
Q 41.703125 30.03125 41.703125 32.625 
Q 41.703125 34.90625 41.09375 36.90625 
Q 40.484375 38.921875 39.09375 40.265625 
Q 37.703125 41.609375 35.40625 41.609375 
Q 31.734375 41.609375 28.484375 38.984375 
Q 25.25 36.375 22.609375 32.515625 
L 22.609375 32.171875 
L 17.09375 10.109375 
Q 17.78125 6.546875 19.734375 4.03125 
Q 21.6875 1.515625 24.90625 1.515625 
" id="Cmmi10-70"/>
     </defs>
     <g transform="translate(38.7 320.68375)rotate(-90.0)scale(0.42 -0.42)">
      <use xlink:href="#Cmmi10-70"/>
      <use transform="translate(50.29296875 0.0)" xlink:href="#Cmr10-28"/>
      <use transform="translate(89.111328125 0.0)" xlink:href="#Cmr10-6c"/>
      <use transform="translate(116.796875 0.0)" xlink:href="#Cmr10-6f"/>
      <use transform="translate(166.796875 0.0)" xlink:href="#Cmr10-67"/>
      <use transform="translate(221.261015625 -17.00625)scale(0.7)" xlink:href="#Cmr10-31"/>
      <use transform="translate(256.261015625 -17.00625)scale(0.7)" xlink:href="#Cmr10-30"/>
      <use transform="translate(297.638359375 0.0)" xlink:href="#Cmmi10-74"/>
      <use transform="translate(333.72234375 -17.00625)scale(0.7)" xlink:href="#Cmr10-46"/>
      <use transform="translate(379.352226562 -17.00625)scale(0.7)" xlink:href="#Cmr10-50"/>
      <use transform="translate(426.96453125 -17.00625)scale(0.7)" xlink:href="#Cmr10-54"/>
      <use transform="translate(483.893632812 0.0)" xlink:href="#Cmr10-29"/>
     </g>
    </g>
   </g>
  </g>
 </g>
 <defs>
  <clipPath id="pca45ff515a">
   <rect height="384.08" width="574.536471252" x="109.24" y="18.81375"/>
  </clipPath>
 </defs>
</svg>