7000 0.076100
7100 0.395400
7200 0.775900
7300 0.918600
7400 0.977000
7500 0.994600
7600 1.000000
7700 0.986100
7800 0.960100
7900 0.926800
8000 0.887900
8200 0.817500
8400 0.789100
8600 0.772900
8800 0.758900
9000 0.734400
9200 0.684800
9400 0.630900
9600 0.595600
9800 0.541200
10000 0.338800
10100 0.208100
10200 0.116200
10300 0.060600
10400 0.031000
10500 0.015300
10600 0.007700
10800 0.002800
11000 0.001400