4000 0.048613895259776
4250 0.06958751877
4500 0.087401118867552
4750 0.10895363539904
5000 0.1327193372232
5250 0.140811397272
5500 0.1502798401566
5750 0.15884986083907
6000 0.16512989899022
6250 0.1748091618
6500 0.176339114
6750 0.17872953696585
7000 0.18393828893349
7250 0.17962348497725
7500 0.18450335602944
7750 0.1866010216098
8000 0.18494530270848
8250 0.19732700073924
8500 0.19293872417873
8750 0.18421517765837
9000 0.1738356410891
9250 0.1656205772445
9500 0.15047563231575
9750 0.13311100126233
10000 0.09974807986407
10250 0.0717086036835
10500 0.04307960549376
10750 0.02285949048768
11000 0.011458237481568