7300 0.000686373912
7400 0.003874836
7500 0.02270592
7600 0.045680544
7700 0.18245084
7800 0.3281191776
7900 0.4418316544
8000 0.52155152
8100 0.5363700368
8200 0.4972801392
8300 0.5043917648
8400 0.5084190504
8500 0.4823109004
8600 0.464025996
8700 0.437473062
8900 0.37908965647059
9200 0.302455908
9500 0.179438436
10000 0.1295865
11000 0.00867312