4000 0.034887
4100 0.04937
4200 0.064249
4300 0.086794
4400 0.10102
4500 0.13099
4600 0.18292
4700 0.2921
4800 0.38557
4900 0.42725
5000 0.55215
5100 0.78889
5200 0.88258
5300 1
5400 0.9037
5500 0.87539
5600 0.69789
5700 0.57496
5800 0.38678
5900 0.26582
6000 0.11845
6100 0.048996
6200 0.019448
6300 0.010674
6400 0.0059683
6500 0.0034973
6600 0.0028521
6700 0.0031359
6800 0.0034555
6900 0.0038866
7000 0.0035504
7100 0.0029044
7200 0.0018316