3600   0.000   
3700   0.028   
3800   0.126   
3900   0.569   
4000   0.945   
4100   0.998   
4200   1.000   
4300   0.958   
4400   0.898   
4500   0.806   
4600   0.685   
4700   0.581   
4800   0.478   
4900   0.373   
5000   0.280   
5200   0.127   
5300   0.079   
5400   0.037   
5500   0.009   
5600   0.000   
