7700 0.0004584
7800 0.001488
7900 0.005776
8000 0.014
8050 0.02064
8100 0.0338
8150 0.05976
8200 0.0978
8250 0.146625
8300 0.20559
8350 0.2623
8400 0.31641
8450 0.36053
8500 0.39054
8550 0.413625
8600 0.42423
8650 0.42804
8700 0.428415
8800 0.41412
8900 0.395595
9000 0.37291
9100 0.34726
9200 0.323095
9300 0.301615
9500 0.24881
10000 0.135
10500 0.045
11000 0.009
11500 0.0009