7000 0.008000
7100 0.260000
7200 0.617000
7300 0.820000
7400 0.914000
7500 0.943000
7600 0.937000
7700 0.997000
7800 1.000000
7900 0.925000
8000 0.884000
8200 0.813000
8400 0.789000
8600 0.779000
8800 0.748000
9000 0.735000
9100 0.685000
9200 0.653000
9300 0.632000
9400 0.612000
9500 0.601000
9600 0.594000
9700 0.582000
9800 0.542000
9900 0.471000
10000 0.348000
10100 0.218000
10200 0.120000
10300 0.062000
10400 0.030000
10500 0.013000
10600 0.005000
10700 0.003000
10800 0.001000
10900 0.001000
11000 0.001000