4000 0.04695660337592
4250 0.068322291156
4500 0.085444377400368
4750 0.10826405542816
5000 0.1319901100956
5250 0.140811397272
5500 0.1517179247514
5750 0.1595621920536
6000 0.16442721856899
6250 0.1748091618
6500 0.17701996
6750 0.18007843913163
7000 0.18595958881188
7250 0.18284254384781
7500 0.18513521683776
7750 0.1866010216098
8000 0.18494530270848
8250 0.19539242230062
8500 0.20896353515703
8750 0.18357554162483
9000 0.17253836018545
9250 0.1629600057225
9500 0.14912607507525
9750 0.13106313970445
10000 0.13991509188987
10250 0.0703427255181
10500 0.04106024898624
10750 0.02151481457664
11000 0.010784223512064