3800 0.0194175
3900 0.0291262
4000 0.0291262
4100 0.0291262
4200 0.0291262
4300 0.0291262
4400 0.0291262
4500 0.038835
4600 0.0485437
4700 0.0679612
4800 0.0776699
4900 0.0776699
5000 0.0970874
5100 0.106796
5200 0.116505
5300 0.116505
5400 0.126214
5500 0.135922
5600 0.126214
5700 0.126214
5800 0.184466
5900 0.368932
6000 0.592233
6100 0.601942
6200 0.533981
6300 0.446602
6400 0.368932
6500 0.271845
6600 0.213592
6700 0.15534
6800 0.126214
6900 0.0873786
7000 0.0679612
7100 0.0582524
7200 0.038835
7500 0.0194175
8000 0.00970874