4000 0.00061338
4100 0.00054295
4200 0.0017657
4300 0.0025753
4400 0.0019556
4500 0.0020464
4600 0.0025927
4700 0.0046451
4800 0.0096604
4900 0.013702
5000 0.02004
5100 0.03468
5200 0.058077
5300 0.1147
5400 0.12768
5500 0.11141
5600 0.1335
5700 0.24922
5800 0.37219
5900 0.50684
6000 0.51487
6100 0.49491
6200 0.39493
6300 0.36069
6400 0.28328
6500 0.23648
6600 0.17385
6700 0.13989
6800 0.093123
6900 0.027774
7000 0.0050271
7100 0.0012686
7200 0.0005405