4000 0.0019233
4100 0.0029811
4200 0.022997
4300 0.066951
4400 0.082486
4500 0.10762
4600 0.15619
4700 0.26645
4800 0.34468
4900 0.38234
5000 0.54875
5100 0.76082
5200 0.90816
5300 1
5400 0.88019
5500 0.92098
5600 0.67471
5700 0.56689
5800 0.3965
5900 0.27494
6000 0.13136
6100 0.06411
6200 0.03338
6300 0.021899
6400 0.015473
6500 0.012262
6600 0.0090961
6700 0.0052063
6800 0.0016243