5500.0 0.0000000000
5600.0 0.2300000000
5700.0 0.7400000000
5800.0 0.9100000000
5900.0 0.9800000000
6000.0 1.0000000000
6100.0 0.9800000000
6200.0 0.9600000000
6300.0 0.9300000000
6400.0 0.9000000000
6500.0 0.8600000000
6600.0 0.8100000000
6700.0 0.7800000000
6800.0 0.7200000000
6900.0 0.6700000000
7000.0 0.6100000000
7100.0 0.5600000000
7200.0 0.5100000000
7300.0 0.4600000000
7400.0 0.4000000000
7500.0 0.3500000000
8000.0 0.1400000000
8500.0 0.0300000000
9000.0 0.0000000000