      0.400000      0.000000      0.000000
      1.200000      0.001250      0.000500
      2.000000      0.002500      0.002000
      2.800000      0.015000      0.009000
      3.600000      0.046250      0.033500
      4.400000      0.052500      0.073000
      5.200000      0.056250      0.116500
      6.000000      0.073750      0.168500
      6.800000      0.086250      0.232500
      7.600000      0.110000      0.311000
      8.400000      0.103750      0.396500
      9.200000      0.098750      0.477500
     10.000000      0.097500      0.556000
     10.800000      0.085000      0.629000
     11.600000      0.070000      0.691000
     12.400000      0.065000      0.745000
     13.200000      0.052500      0.792000
     14.000000      0.046250      0.831500
     14.800000      0.042500      0.867000
     15.600000      0.028750      0.895500
     16.400000      0.020000      0.915000
     17.200001      0.018750      0.930500
     18.000000      0.030000      0.950000
     18.799999      0.013750      0.967500
     19.600000      0.006250      0.975500
     20.400000      0.001250      0.978500
     21.200001      0.005000      0.981000
     22.000000      0.003750      0.984500
     22.799999      0.006250      0.988500
     23.600000      0.001250      0.991500
     24.400000      0.000000      0.992000
     25.200001      0.002500      0.993000
     26.000000      0.003750      0.995500
     26.799999      0.001250      0.997500
     27.600000      0.001250      0.998500
     28.400000      0.000000      0.999000
     29.200001      0.001250      0.999500
     30.000000      0.000000      1.000000
     30.799999      0.000000      1.000000
     31.600000      0.000000      1.000000
     32.400002      0.000000      1.000000
     33.200001      0.000000      1.000000
     34.000000      0.000000      1.000000
     34.799999      0.000000      1.000000
     35.599998      0.000000      1.000000
     36.400002      0.000000      1.000000
     37.200001      0.000000      1.000000
     38.000000      0.000000      1.000000
     38.799999      0.000000      1.000000
     39.599998      0.000000      1.000000
