4000 0.04695660337592
4250 0.070220132577
4500 0.08805336602328
4750 0.10895363539904
5000 0.1290732015852
5250 0.1343124097056
5500 0.1416513325878
5750 0.15030188626477
6000 0.15529237309293
6250 0.1650198487392
6500 0.168168962
6750 0.16996167288828
7000 0.17450555616767
7250 0.17061012013968
7500 0.17249800067136
7750 0.17416095350248
8000 0.1722529780128
8250 0.18571953010752
8500 0.18268284515262
8750 0.17398100112179
9000 0.16410603431172
9250 0.155643434037
9500 0.14372784611325
9750 0.12628479606939
10000 0.09506192846106
10250 0.0689768473527
10500 0.0403871301504
10750 0.02084247662112
11000 0.010784223512064