6200 0.004800 6400 0.005300 6600 0.005700 6800 0.003100 7000 0.003400 7100 0.085500 7200 0.368000 7300 0.699000 7400 0.875000 7500 0.942000 7600 0.978000 7700 1.000000 7800 0.973300 7900 0.944500 8000 0.898000 8100 0.880000 8200 0.875000 8300 0.838000 8400 0.852000 8500 0.847000 8600 0.823000 8700 0.790000 8800 0.823000 8900 0.807000 9000 0.775000 9100 0.760000 9200 0.690000 9300 0.672000 9400 0.668000 9500 0.658000 9600 0.608000 9700 0.573000 9800 0.522000 9900 0.383000 10000 0.225000 10100 0.131000 10200 0.069000 10300 0.038000 10400 0.021000 10500 0.012600 10600 0.007900 10700 0.005400 10800 0.004100 10900 0.003600 11000 0.003200 11100 0.002900 11200 0.002600 11300 0.002400 11400 0.002100 11500 0.001700 11600 0.001500 11700 0.001400 11800 0.001500