6200 0.004000
6400 0.003000
6600 0.002000
6800 0.002000
6900 0.005000
7000 0.054000
7100 0.298000
7200 0.635000
7300 0.841000
7400 0.926000
7500 0.988000
7600 1.000000
7700 0.970000
7800 0.930000
7900 0.887000
8000 0.847000
8100 0.850000
8200 0.857000
8300 0.870000
8400 0.859000
8500 0.825000
8600 0.798000
8700 0.799000
8800 0.777000
8900 0.803000
9000 0.821000
9100 0.780000
9200 0.767000
9300 0.688000
9400 0.638000
9500 0.626000
9600 0.660000
9700 0.698000
9800 0.622000
9900 0.392000
10000 0.192000
10100 0.091000
10200 0.045000
10400 0.014000
10600 0.005000
10800 0.003000
11000 0.002000
11200 0.002000
11400 0.002000
11600 0.002000