4000 0.067396536610144
4250 0.09489207105
4500 0.11609999371958
4750 0.14274305397216
5000 0.171368374986
5250 0.1761947740224
5500 0.186950997324
5750 0.2023020649251
6000 0.21010144594926
6250 0.2209587805152
6500 0.225360026
6750 0.22863891709971
7000 0.23649208577163
7250 0.23112842690621
7500 0.23757966392832
7750 0.24071531787664
8000 0.23752779073344
8250 0.25020547806152
8500 0.24678208906582
8750 0.23666533240832
9000 0.2231323154278
9250 0.2108502931185
9500 0.19231190677125
9750 0.16997250930421
10000 0.1271955380817
10250 0.0915138370818
10500 0.05183015035968
10750 0.0268935182208
11000 0.014154293359584