4000 0.0027522
4100 0.0063568
4200 0.025923
4300 0.055392
4400 0.079072
4500 0.098383
4600 0.13411
4700 0.28424
4800 0.53216
4900 0.67504
5000 0.78346
5100 0.91032
5200 0.89359
5300 1
5400 0.88185
5500 0.85526
5600 0.76181
5700 0.71016
5800 0.56299
5900 0.44008
6000 0.27856
6100 0.16213
6200 0.078769
6300 0.052859
6400 0.035122
6500 0.026057
6600 0.018983
6700 0.01922
6800 0.014806
6900 0.005949
7000 0.0013347