6700 0.000 
6800 0.001 
6900 0.067 
7000 0.416 
7100 0.798 
7200 0.955 
7300 1.001 
7400 0.977 
7500 0.949 
7600 0.920
7700 0.890 
7800 0.859 
7900 0.826 
8000 0.793 
8100 0.757 
8200 0.720 
8300 0.682 
8400 0.572 
8500 0.311 
8600 0.077
8700 0.017 
8800 0.000
