4000 0.064081952842432
4250 0.095524684857
4500 0.11283875794094
4750 0.13929515411776
5000 0.1684514664756
5250 0.1711400059152
5500 0.1811986589448
5750 0.1966034152089
6000 0.20448000257938
6250 0.2188610705736
6500 0.220594104
6750 0.22526666168526
7000 0.23110195276259
7250 0.22597793271331
7500 0.23126105584512
7750 0.23449528382298
8000 0.23208822300672
8250 0.24891575910244
8500 0.24293613443103
8750 0.23346715224064
9000 0.22118639407232
9250 0.2108502931185
9500 0.19366146401175
9750 0.17202037086209
10000 0.12920388868299
10250 0.0949285324953
10500 0.05586886337472
10750 0.02958287004288
11000 0.015502321298592