      0.400000      0.000000      0.000000
      1.200000      0.002500      0.001000
      2.000000      0.005000      0.004000
      2.800000      0.016250      0.012500
      3.600000      0.042500      0.036000
      4.400000      0.050000      0.073000
      5.200000      0.057500      0.116000
      6.000000      0.087500      0.174000
      6.800000      0.092500      0.246000
      7.600000      0.102500      0.324000
      8.400000      0.098750      0.404500
      9.200000      0.085000      0.478000
     10.000000      0.076250      0.542500
     10.800000      0.085000      0.607000
     11.600000      0.075000      0.671000
     12.400000      0.050000      0.721000
     13.200000      0.058750      0.764500
     14.000000      0.055000      0.810000
     14.800000      0.048750      0.851500
     15.600000      0.021250      0.879500
     16.400000      0.026250      0.898500
     17.200001      0.025000      0.919000
     18.000000      0.017500      0.936000
     18.799999      0.018750      0.950500
     19.600000      0.012500      0.963000
     20.400000      0.007500      0.971000
     21.200001      0.006250      0.976500
     22.000000      0.003750      0.980500
     22.799999      0.005000      0.984000
     23.600000      0.003750      0.987500
     24.400000      0.002500      0.990000
     25.200001      0.003750      0.992500
     26.000000      0.002500      0.995000
     26.799999      0.002500      0.997000
     27.600000      0.000000      0.998000
     28.400000      0.000000      0.998000
     29.200001      0.000000      0.998000
     30.000000      0.000000      0.998000
     30.799999      0.000000      0.998000
     31.600000      0.000000      0.998000
     32.400002      0.001250      0.998500
     33.200001      0.001250      0.999500
     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
