4000 0.002931
4100 0.016955
4200 0.035993
4300 0.034338
4400 0.04332
4500 0.043915
4600 0.060121
4700 0.21311
4800 0.58884
4900 0.80776
5000 0.93188
5100 0.93449
5200 1
5300 0.98631
5400 0.90467
5500 0.86827
5600 0.78979
5700 0.72873
5800 0.61537
5900 0.57656
6000 0.43959
6100 0.31821
6200 0.21731
6300 0.19666
6400 0.16993
6500 0.16209
6600 0.081103
6700 0.021748
6800 0.0058041
6900 0.0014868
7000 0.0010705
7100 0.0014108
7200 0.00090384