7000 0.0049
7100 0.0849
7200 0.3519
7300 0.6868
7400 0.8717
7500 0.9634
7700 1.0000
7800 0.9831
7900 0.9322
8000 0.9153
8500 0.7695
9000 0.5393
9500 0.3515
10000 0.1591
10600 0.0130
11000 0.0000