6800 0.018000
7000 0.033000
7100 0.189000
7200 0.530000
7300 0.792000
7400 0.922000
7500 0.978000
7600 1.000000
7700 0.992000
7800 0.965000
7900 0.903000
8000 0.841000
8100 0.806000
8200 0.788000
8300 0.794000
8400 0.796000
8500 0.782000
8600 0.765000
8700 0.737000
8800 0.729000
8900 0.738000
9000 0.749000
9100 0.749000
9200 0.729000
9300 0.682000
9400 0.624000
9500 0.592000
9600 0.586000
9700 0.600000
9800 0.575000
9900 0.434000
10000 0.236000
10100 0.113000
10200 0.056000
10300 0.029000
10400 0.017000
10500 0.011000
10600 0.007000
10700 0.005000