4000 0.030000
4200 0.021000
4400 0.017000
4600 0.017000
4800 0.014000
5000 0.125000
5200 0.354000
5400 0.440000
5600 0.547000
5800 0.627000
6000 0.715000
6200 0.787000
6400 0.855000
6600 0.889000
6800 0.935000
7000 0.992000
7000 0.992000
7200 0.955000
7400 0.944000
7600 0.985000
7800 1.000000
8000 0.918000
8200 0.899000
8400 0.914000
8600 0.899000
8800 0.921000
9000 0.445000
9200 0.114000
9400 0.035000
9600 0.015000
9800 0.010000