5400 0.002000 5500 0.003000 5600 0.086600 5700 0.481000 5800 0.745000 5900 0.821000 6000 0.809800 6100 0.858000 6200 0.949000 6300 0.995600 6400 0.963000 6500 0.949000 6600 1.000000 6700 0.992000 6800 0.629000 6900 0.273000 7000 0.107000 7100 0.053000 7200 0.028000 7300 0.018000 7400 0.012000 7500 0.008000 7600 0.004200 7700 0.001000