6000 0.221000
6200 0.081000
6400 0.120000
6600 0.079000
6800 0.057000
7000 0.194000
7200 0.796000
7400 0.959000
7600 0.976000
7800 0.990000
8000 1.000000
8200 0.916000
8400 0.909000
8600 0.930000
8800 0.921000
9000 0.926000
9200 0.894000
9400 0.911000
9400 0.911000
9600 0.817000
9800 0.733000
10000 0.636000
10200 0.499000
10400 0.367000
10600 0.231000
10800 0.151000
11000 0.098000
11200 0.058000
11400 0.031000
11600 0.014000
11800 0.004000
12000 0.002000