3500.000000 0.000000
3600.000000 0.002200
3700.000000 0.059300
3800.000000 0.235100
3900.000000 0.415900
4000.000000 0.469100
4100.000000 0.389600
4200.000000 0.216000
4300.000000 0.112400
4400.000000 0.049900
4500.000000 0.019700
4600.000000 0.007400
4700.000000 0.003500
4800.000000 0.000000