7000 0.006000
7100 0.114000
7200 0.438000
7300 0.767000
7400 0.911000
7500 0.974000
7600 0.994000
7700 1.000000
7800 0.992000
7900 0.960000
8000 0.913000
8100 0.874000
8200 0.828000
8300 0.824000
8400 0.830000
8500 0.832000
8600 0.831000
8700 0.823000
8800 0.804000
8900 0.819000
9000 0.832000
9100 0.849000
9200 0.852000
9300 0.824000
9400 0.762000
9500 0.724000
9600 0.676000
9700 0.671000
9800 0.696000
9900 0.686000
10000 0.546000
10100 0.318000
10200 0.156000
10300 0.072000
10400 0.035000
10500 0.017000
10600 0.008000
10700 0.005000
10800 0.003000
10900 0.002000
11000 0.002000
11200 0.001000