4000 0.25552
4100 0.31293
4200 0.45069
4300 0.49407
4400 0.53804
4500 0.56515
4600 0.60609
4700 0.58896
4800 0.51464
4900 0.45436
5000 0.35509
5100 0.26297
5200 0.21911
5300 0.21638
5400 0.19842
5500 0.17893
5600 0.15676
5700 0.14759
5800 0.13721
5900 0.13343
6000 0.10382
6100 0.097638
6200 0.075487
6300 0.077247
6400 0.072765
6500 0.042964
6600 0.01443
6700 0.0082901
6800 0.0037298
6900 0.0015722
7000 0.0014485
7100 0.00087214
7200 0.0003729