-22.750 8200 0.000 8300 0.003 8400 0.051 8500 0.295 8600 0.634 8700 0.840 8800 0.960 8900 1.000 9000 0.958 9100 0.933 9200 0.856 9300 0.798 9400 0.720 9500 0.645 9600 0.573 9700 0.502 9800 0.432 9900 0.366 10000 0.307 10100 0.255 10200 0.209 10300 0.167 10400 0.131 10500 0.000