4000 0.047509034003872
4250 0.074015815419
4500 0.093271343269104
4750 0.11447027516608
5000 0.138553154244
5250 0.1436998361904
5500 0.1524369670488
5750 0.1624115169117
6000 0.16653525983269
6250 0.1755083984472
6500 0.178381652
6750 0.18142734129741
7000 0.18461205555962
7250 0.18091110852547
7500 0.18513521683776
7750 0.1866010216098
8000 0.18494530270848
8250 0.1966821412597
8500 0.19357971661786
8750 0.1848548136919
9000 0.1738356410891
9250 0.166285720125
9500 0.1524999681765
9750 0.13447624230092
10000 0.09974807986407
10250 0.0717086036835
10500 0.04106024898624
10750 0.02151481457664
11000 0.010784223512064