4000 0.0019946
4100 0.0023647
4200 0.0090914
4300 0.11687
4400 0.15689
4500 0.18795
4600 0.2367
4700 0.35642
4800 0.43339
4900 0.49941
5000 0.64847
5100 0.83476
5200 0.94407
5300 1
5400 0.89984
5500 0.82235
5600 0.66898
5700 0.56147
5800 0.43028
5900 0.31399
6000 0.18273
6100 0.09276
6200 0.055687
6300 0.039461
6400 0.028244
6500 0.019985
6600 0.016292
6700 0.012224
6800 0.0056229
6900 0.001666
7000 0.00055689