3800 0.00970874
3900 0.0194175
4000 0.038835
4100 0.038835
4200 0.0485437
4300 0.0582524
4400 0.0873786
4500 0.116505
4600 0.174757
4700 0.291262
4800 0.38835
4900 0.427184
5000 0.582524
5100 0.728155
5200 0.902913
5300 1
5400 0.990291
5500 0.970874
5600 0.893204
5700 0.796117
5800 0.650485
5900 0.495146
6000 0.291262
6100 0.194175
6200 0.116505
6300 0.0776699
6400 0.0582524
6500 0.038835
6600 0.0291262
6700 0.0291262
6800 0.0291262
6900 0.0291262
7000 0.0291262
7100 0.0194175
7200 0.0194175
7500 0.00970874
8000 0.00970874