6900 0.004400
7000 0.069600
7100 0.355900
7200 0.687600
7300 0.858600
7400 0.936900
7500 0.985900
7600 1.000000
7700 0.982500
7800 0.932300
7900 0.900300
8000 0.887500
8100 0.889900
8200 0.902600
8300 0.910800
8400 0.913200
8500 0.886300
8600 0.863800
8700 0.850400
8800 0.861600
8900 0.872900
9000 0.881100
9100 0.863200
9200 0.811200
9300 0.750000
9400 0.719300
9500 0.708400
9600 0.742500
9700 0.725100
9800 0.552300
9900 0.312000
10000 0.152900
10100 0.075900
10200 0.041400
10300 0.024000
10400 0.015000
10500 0.010700
10600 0.007400
10700 0.005700
10800 0.004600
10900 0.003900
11000 0.003300
11100 0.002900
11200 0.002500
11300 0.002400
11400 0.002000
11500 0.001700
11600 0.001400