4000 0.053033340283392
4250 0.080341953489
4500 0.0978370733592
4750 0.11998691493312
5000 0.1436577441372
5250 0.1473103848384
5500 0.1538750516436
5750 0.1652608417698
6000 0.17356206404504
6250 0.1845984748608
6500 0.187913496
6750 0.19019520537498
7000 0.19606608820383
7250 0.19121209691126
7500 0.19398126815424
7750 0.19593107269029
8000 0.1934068525056
8250 0.20699989293234
8500 0.20447658808311
8750 0.19572862626202
9000 0.18551116922195
9250 0.1762628633325
9500 0.16194686886
9750 0.14266768853245
10000 0.10644258186837
10250 0.0764891772624
10500 0.04509896200128
10750 0.0235318284432
11000 0.012132251451072