4000 0.040327435840496
4250 0.061996153086
4500 0.078921905843088
4750 0.0965411959232
5000 0.1144886590332
5250 0.1205923248432
5500 0.1279895289372
5750 0.13605526197427
6000 0.13983340382576
6250 0.1475389325592
6500 0.150466966
6750 0.15310039581603
7000 0.15631385726216
7250 0.15322720223866
7500 0.15796520208
7750 0.16109888198979
8000 0.1601650497312
8250 0.16959804311902
8500 0.16665803417432
8750 0.16118828045107
9000 0.15243050617887
9250 0.1469965765905
9500 0.13563050267025
9750 0.12082383191504
10000 0.09104522725848
10250 0.0662450910219
10500 0.03769465480704
10750 0.01949780071008
11000 0.01011020954256