3800 0.0194175
3900 0.0194175
4000 0.0291262
4100 0.0291262
4200 0.038835
4300 0.038835
4400 0.0582524
4500 0.0776699
4600 0.126214
4700 0.252427
4800 0.495146
4900 0.621359
5000 0.786408
5100 0.893204
5200 0.990291
5300 0.980583
5400 1
5500 0.970874
5600 0.893204
5700 0.815534
5800 0.757282
5900 0.563107
6000 0.378641
6100 0.203883
6200 0.145631
6300 0.0970874
6400 0.0776699
6500 0.0776699
6600 0.0679612
6700 0.0873786
6800 0.106796
6900 0.145631
7000 0.184466
7100 0.203883
7200 0.184466
7500 0.213592
8000 0.291262
8500 0.223301
9050 0.126214