4000 0.064081952842432
4250 0.095524684857
4500 0.11544774656386
4750 0.1413638940304
5000 0.1699099207308
5250 0.1754726642928
5500 0.1876700396214
5750 0.20158973371057
6000 0.2108041263705
6250 0.2258534370456
6500 0.228764256
6750 0.23268562359705
7000 0.23918715227615
7250 0.23370367400266
7500 0.23884338554496
7750 0.24133732128201
8000 0.23813218714752
8250 0.25214005650014
8500 0.24742308150495
8750 0.23858424050893
9000 0.22637551768692
9250 0.214176007521
9500 0.1956857998725
9750 0.17202037086209
10000 0.12786498828213
10250 0.0908308979991
10500 0.03904089247872
10750 0.02622118026528
11000 0.01348027939008