5400 0.000600
5500 0.014200
5600 0.206000
5700 0.506100
5800 0.681800
5900 0.805500
6000 0.815000
6100 0.780000
6200 0.812500
6300 0.896300
6400 0.911100
6500 0.826500
6600 0.809000
6700 0.883700
6800 1.000000
6900 0.871300
7000 0.471000
7100 0.213900
7200 0.097900
7300 0.050700
7400 0.029400
7500 0.018200
7600 0.013300
7700 0.009800
7800 0.007400
7900 0.006300
8000 0.006000