7000.0 0.0000000000
7100.0 0.0240000000
7200.0 0.2320000000
7300.0 0.5550000000
7400.0 0.7850000000
7500.0 0.9100000000
7600.0 0.9650000000
7700.0 0.9850000000
7800.0 0.9900000000
7900.0 0.9950000000
8000.0 1.0000000000
8100.0 1.0000000000
8200.0 0.9900000000
8300.0 0.9800000000
8400.0 0.9500000000
8500.0 0.9100000000
8600.0 0.8600000000
8700.0 0.7500000000
8800.0 0.5600000000
8900.0 0.3300000000
9000.0 0.1500000000
9100.0 0.0300000000
9200.0 0.0000000000