4000 0.0087465
4100 0.075143
4200 0.10312
4300 0.12927
4400 0.14942
4500 0.19179
4600 0.24858
4700 0.37672
4800 0.45492
4900 0.50906
5000 0.67036
5100 0.85874
5200 0.93855
5300 1
5400 0.87676
5500 0.85895
5600 0.66097
5700 0.54573
5800 0.3987
5900 0.29141
6000 0.14386
6100 0.086686
6200 0.046569
6300 0.032661
6400 0.021849
6500 0.016681
6600 0.013952
6700 0.012859
6800 0.011204
6900 0.0038035
7000 0.00078707