4000 0.001104861255904
4250 0.000632613807
4500 0.000652247155728
4750 0.00068957997088
5000 0.0007292271276
5250 0.0007221097296
5500 0.0007190422974
5750 0.000712331214525
6000 0.000702680421235
6250 0.0013984732944
6500 0.001361692
6750 0.00067445108289
7000 0.00067376662613
7250 0.000643811774112
7500 0.00126372161664
7750 0.004354023837562
8000 0.01692309959424
8250 0.07867285650388
8500 0.15768414002647
8750 0.12600829860659
9000 0.14724138256427
9250 0.051881144679
9500 0.0148451296455
9750 0.00682620519294
10000 0.00401670120258
10250 0.0034146954135
10500 0.00201935650752
10750 0.00201701386656
11000 0.002696055878016