3000 0.0000
3100 0.0035
3200 0.0652
3300 0.2250
3400 0.4312
3500 0.6423
3600 0.8460
3700 1.0000
3800 0.9982
3900 0.6945
4000 0.2261
4100 0.0232
4200 0.0014
4300 0.0005