4700   0.000   
4800   0.027   
4900   0.160   
5000   0.462   
5100   0.790   
5200   0.979   
5300   1.000   
5400   0.960   
5500   0.873   
5600   0.759   
5700   0.645   
5800   0.533   
5900   0.422   
6000   0.324   
6100   0.241   
6200   0.173   
6300   0.118   
6400   0.070   
6500   0.039   
6600   0.021   
6700   0.013   
6800   0.010   
6900   0.007   
7000   0.000   
