9400 0.00000
9410 0.00254
9420 0.01979
9420 0.08500
9430 0.25001
9440 0.50463
9450 0.76176
9460 0.93798
9470 1.00000
9480 0.93740
9490 0.76234
9500 0.50917
9510 0.26086
9520 0.09011
9530 0.02147
9540 0.00598
9550 0.00204
9560 0.00000