8700 0.00000
8800 0.00873744
8900 0.0317042
9000 0.0646899
9100 0.113313
9200 0.210588
9300 0.381850
9400 0.560768
9500 0.805726
9600 0.952779
9700 1.00000
9800 0.971953
9900 0.850886
10000 0.694028
10100 0.563150
10200 0.462645
10300 0.383070
10400 0.269025
10500 0.189060
10600 0.143817
10700 0.108693
10800 0.0733394
10900 0.0537845
11000 0.0378316
11100 0.0198676
11200 0.00181253
11300 0.00000
11400 0.00000
11500 0.00000
11600 0.00000
11700 0.00000
11800 0.00000
11900 0.00000
12000 0.00000