4000 0.05248090965544
4250 0.079076725875
4500 0.097184826203472
4750 0.11860775499136
5000 0.1429285170096
5250 0.1451440556496
5500 0.154594093941
5750 0.1681101666279
6000 0.17777814657245
6250 0.188793894744
6500 0.191998572
6750 0.1955908140381
7000 0.20078245458674
7250 0.19765021465238
7500 0.1990361546208
7750 0.20090709993322
8000 0.19824202381824
8250 0.2128036282482
8500 0.20960452759616
8750 0.2008457145303
9000 0.19005165238472
9250 0.180918863496
9500 0.164645983341
9750 0.14539817060962
10000 0.10845093246966
10250 0.0778550554278
10500 0.04509896200128
10750 0.02285949048768
11000 0.012132251451072