10200.0 0.0000000000
10570.0 0.0120000000
10740.0 0.0810000000
10770.0 0.1610000000
10800.0 0.2420000000
10830.0 0.2660000000
11000.0 0.2980000000
11100.0 0.4030000000
11210.0 0.2580000000
11390.0 0.4030000000
11480.0 0.4830000000
11560.0 0.5640000000
11570.0 0.6440000000
11590.0 0.7250000000
11680.0 0.8210000000
11740.0 0.8170000000
11940.0 0.9100000000
12040.0 0.8370000000
12190.0 0.9760000000
12420.0 0.9140000000
12770.0 1.0000000000
13100.0 0.9020000000
13220.0 0.9020000000
13340.0 0.8050000000
13400.0 0.7250000000
13450.0 0.6440000000
13480.0 0.5640000000
13490.0 0.4830000000
13510.0 0.4030000000
13520.0 0.3220000000
13540.0 0.2420000000
13550.0 0.1610000000
13570.0 0.0810000000
13670.0 0.0120000000
13800.0 0.0560000000
13860.0 0.0120000000
14580.0 0.0000000000