7400 0 7600 0 7800 0.01 8000 0.201 8200 1 8400 0.995 8600 0.983 8800 0.956 9000 0.954 9200 0.959 9400 0.894 9600 0.818 9800 0.747 10000 0.628 10200 0.51 10400 0.436 10600 0.341 10800 0.275 11000 0.191 11200 0.103 11400 0.022