6900 0.009000
7000 0.016000
7100 0.169000
7200 0.522000
7300 0.825000
7400 0.926000
7500 0.967000
7600 0.994000
7700 0.992000
7800 1.000000
7900 0.954000
8000 0.897000
8100 0.851000
8200 0.807000
8300 0.800000
8400 0.826000
8500 0.825000
8600 0.823000
8700 0.823000
8800 0.815000
8900 0.814000
9000 0.831000
9100 0.854000
9200 0.857000
9300 0.833000
9400 0.769000
9500 0.728000
9600 0.697000
9700 0.692000
9800 0.712000
9900 0.678000
10000 0.514000
10100 0.282000
10200 0.137000
10300 0.065000
10400 0.029000
10500 0.013000
10600 0.006000
10700 0.002000
10800 0.001000
10900 0.001000