4000 0.27139
4100 0.35929
4200 0.44843
4300 0.57582
4400 0.68263
4500 0.77689
4600 0.85043
4700 0.79244
4800 0.76617
4900 0.57293
5000 0.39291
5100 0.24589
5200 0.1015
5300 0.045772
5400 0.023081
5500 0.012789
5600 0.0062062
5700 0.0040567
5800 0.0030307
5900 0.002014
6000 0.0013412
6100 0.00070417
6200 0.00050604
6300 0.00042877