5500 0.004800
5600 0.074900
5700 0.428400
5800 0.689600
5900 0.785300
6000 0.777300
6100 0.777700
6200 0.835600
6300 0.919700
6400 0.973900
6500 0.948100
6600 0.958800
6700 1.000000
6800 0.877000
6900 0.479800
7000 0.206700
7100 0.092800
7200 0.049600
7300 0.021400
7400 0.019000
7500 0.010000
7600 0.008000
7800 0.010300
8000 0.007600
8200 0.012100
8400 0.006800
8600 0.011400
8800 0.012000
8900 0.018300
9000 0.026500
9100 0.038400
9200 0.052200
9300 0.049100
9400 0.039600
9500 0.020300
9600 0.012500
9700 0.009500
9800 0.004800
9900 0.002200
10000 0.002100