4000 0.064634383470384
4250 0.096157298664
4500 0.11609999371958
4750 0.14343263394304
5000 0.171368374986
5250 0.176916883752
5500 0.1862319550266
5750 0.20372672735415
6000 0.21220948721297
6250 0.2244549637512
6500 0.22808341
6750 0.23268562359705
7000 0.23918715227615
7250 0.23434748577677
7500 0.2401071071616
7750 0.24320333149811
8000 0.24054977280384
8250 0.25214005650014
8500 0.24678208906582
8750 0.23794460447539
9000 0.22507823678327
9250 0.2135108646405
9500 0.19501102125225
9750 0.17133775034279
10000 0.12786498828213
10250 0.0921967761645
10500 0.05250326919552
10750 0.0268935182208
11000 0.014154293359584