4000 0.003237
4100 0.0094721
4200 0.070843
4300 0.10274
4400 0.11268
4500 0.15445
4600 0.19984
4700 0.35789
4800 0.40744
4900 0.42311
5000 0.63972
5100 0.7795
5200 0.97741
5300 0.98932
5400 1
5500 0.95998
5600 0.78072
5700 0.66026
5800 0.46838
5900 0.29221
6000 0.18126
6100 0.084093
6200 0.050509
6300 0.030548
6400 0.024419
6500 0.017637
6600 0.010018
6700 0.0020529
6800 0.00066224