5100 0.003200
5200 0.003000
5300 0.002800
5500 0.002500
5600 0.101000
5700 0.474000
5800 0.723000
5900 0.787000
6000 0.774000
6100 0.793000
6200 0.861000
6300 1.000000
6400 0.994000
6500 0.942000
6600 0.951000
6700 0.977000
6800 0.723000
6900 0.345000
7000 0.147000
7100 0.071000
7200 0.042000
7300 0.027000
7400 0.017000
7500 0.012000
7600 0.009500
7700 0.010000
7800 0.011000
7900 0.007000