3600 0.0010
3700 0.0256
3800 0.1311
3900 0.3251
4000 0.5558
4100 0.7662
4200 0.8598
4300 0.9469
4400 0.9944
4500 1.0000
4600 0.9862
4700 0.9252
4800 0.8152
4900 0.6822
5000 0.5504
5100 0.3990
5200 0.2798
5300 0.1798
5400 0.1389
5500 0.1609
5600 0.1992
5700 0.1490
5800 0.0686
5900 0.0309
6000 0.0267
6100 0.0295
6200 0.0237
6300 0.0136
6400 0.0101
6500 0.0067
6600 0.0056
6700 0.0051
6800 0.0072
6900 0.0078
7000 0.0044
7100 0.0027
7200 0.0017
7300 0.0005
7400 0.0003
7500 0.0001