4000 0.058557646562912
4250 0.08856593298
4500 0.10892527500658
4750 0.1344680943216
5000 0.1626176494548
5250 0.1704178961856
5500 0.1826367435396
5750 0.19874040885248
6000 0.20799340468556
6250 0.2230564904568
6500 0.226040872
6750 0.23066227034838
7000 0.23851338565002
7250 0.23241605045443
7500 0.23757966392832
7750 0.24195932468737
8000 0.24236296204608
8250 0.25987837025462
8500 0.2563969756528
8750 0.25009768911258
9000 0.24194288853072
9250 0.236790865458
9500 0.2226769446825
9750 0.20342091474961
10000 0.15531244649976
10250 0.1140508268109
10500 0.06596564591232
10750 0.033616897776
11000 0.017524363207104