4000 0.002209722511808
4250 0.001265227614
4500 0.001304494311456
4750 0.00068957997088
5000 0.0007292271276
5250 0.0007221097296
5500 0.0007190422974
5750 0.002136993643575
6000 0.040052784010395
6250 0.1776061083888
6500 0.153871196
6750 0.16658941747383
7000 0.1549663240099
7250 0.066956424507648
7500 0.01832396344128
7750 0.008708047675124
8000 0.0060439641408
8250 0.00193457843862
8500 0.001281984878264
8750 0.001279272067072
9000 0
9250 0
9500 0
9750 0
10000 0
10250 0.0006829390827
10500 0.00067311883584
10750 0
11000 0