4000 0.0038429
4100 0.0084168
4200 0.04719
4300 0.059687
4400 0.07931
4500 0.101
4600 0.14369
4700 0.29073
4800 0.55534
4900 0.71604
5000 0.83415
5100 0.96078
5200 0.95231
5300 1
5400 0.90476
5500 0.91429
5600 0.77717
5700 0.69504
5800 0.59941
5900 0.48003
6000 0.30101
6100 0.18953
6200 0.10826
6300 0.079299
6400 0.055709
6500 0.046082
6600 0.03412
6700 0.026783
6800 0.010069
6900 0.0023621
7000 0.00062366