4800 0.0105
4900 0.2673
5000 0.6742
5100 0.8699
5200 0.9507
5300 0.9839
5400 1.0000
5500 0.9998
5600 0.9928
5700 0.9697
5800 0.9499
5900 0.9030
6000 0.8576
6100 0.7980
6200 0.7321
6300 0.6410
6400 0.5647
6500 0.4716
6600 0.3870
6700 0.3097
6800 0.2382
6900 0.1759
7000 0.1290
7100 0.0923
7200 0.0693
7300 0.0454
7400 0.0341
7500 0.0224
7600 0.0110
7700 0.0108
7800 0.0085
7900 0.0060
8000 0.0050