7000 0.000 7100 0.024 7200 0.232 7300 0.555 7400 0.785 7500 0.910 7600 0.965 7700 0.985 7800 0.990 7900 0.995 8000 1.000 8100 1.000 8200 0.990 8300 0.980 8400 0.950 8500 0.910 8600 0.860 8700 0.750 8800 0.560 8900 0.330 9000 0.150 9100 0.030 9200 0.000