3800 0.038835
3900 0.106796
4000 0.23301
4100 0.330097
4200 0.446602
4300 0.485437
4400 0.621359
4500 0.68932
4600 0.747573
4700 0.728155
4800 0.708738
4900 0.650485
5000 0.485437
5100 0.378641
5200 0.252427
5300 0.15534
5400 0.126214
5500 0.0970874
5600 0.0679612
5700 0.0582524
5800 0.0582524
5900 0.0485437
6000 0.0291262
6100 0.0194175
6200 0.0194175
6300 0.0194175
6400 0.0194175
6500 0.0291262
6600 0.038835
6700 0.038835
6800 0.038835
6900 0.0485437
7000 0.0485437
7100 0.0485437
7200 0.038835
7500 0.0291262
8000 0.194175
8500 0.223301
9050 0.116505