4000 0.010796
4100 0.014396
4200 0.018709
4300 0.025698
4400 0.036083
4500 0.054893
4600 0.095247
4700 0.18554
4800 0.2677
4900 0.326
5000 0.4745
5100 0.68586
5200 0.86727
5300 1
5400 0.9579
5500 0.93868
5600 0.78328
5700 0.67155
5800 0.476
5900 0.31097
6000 0.13391
6100 0.059444
6200 0.022136
6300 0.018125
6400 0.012011
6500 0.0085566
6600 0.0065271
6700 0.0060953
6800 0.0052757
6900 0.004191
7000 0.0038902
7100 0.0029877
7200 0.0018729