7000 0.0032
7050 0.0038
7100 0.0057
7150 0.0108
7200 0.0251
7250 0.0755
7300 0.2439
7350 0.6212
7400 0.8589
7450 0.8889
7500 0.8813
7550 0.896
7600 0.9032
7650 0.9016
7700 0.9079
7750 0.9073
7800 0.9186
7850 0.9173
7900 0.9136
7950 0.9158
8000 0.9199
8050 0.9119
8100 0.9126
8150 0.9068
8200 0.908
8250 0.9099
8300 0.9182
8350 0.9169
8400 0.9159
8450 0.911
8500 0.9177
8550 0.9107
8600 0.8699
8650 0.8509
8700 0.8204
8750 0.4355
8800 0.1294
8850 0.0333
8900 0.0124
8950 0.0064
9000 0.0032
9050 0.0027
9100 0.0021
9150 0.0021
9200 0.0011