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
