      0.400000      0.000000      0.000000
      1.200000      0.001250      0.000500
      2.000000      0.005000      0.003000
      2.800000      0.015000      0.011000
      3.600000      0.027500      0.028000
      4.400000      0.055000      0.061000
      5.200000      0.070000      0.111000
      6.000000      0.075000      0.169000
      6.800000      0.075000      0.229000
      7.600000      0.110000      0.303000
      8.400000      0.100000      0.387000
      9.200000      0.092500      0.464000
     10.000000      0.096250      0.539500
     10.800000      0.075000      0.608000
     11.600000      0.075000      0.668000
     12.400000      0.067500      0.725000
     13.200000      0.048750      0.771500
     14.000000      0.043750      0.808500
     14.800000      0.046250      0.844500
     15.600000      0.027500      0.874000
     16.400000      0.032500      0.898000
     17.200001      0.030000      0.923000
     18.000000      0.017500      0.942000
     18.799999      0.013750      0.954500
     19.600000      0.011250      0.964500
     20.400000      0.010000      0.973000
     21.200001      0.008750      0.980500
     22.000000      0.007500      0.987000
     22.799999      0.003750      0.991500
     23.600000      0.001250      0.993500
     24.400000      0.002500      0.995000
     25.200001      0.002500      0.997000
     26.000000      0.000000      0.998000
     26.799999      0.001250      0.998500
     27.600000      0.001250      0.999500
     28.400000      0.000000      1.000000
     29.200001      0.000000      1.000000
     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
