9200 0.0230
9250 0.0270
9300 0.0430
9350 0.0700
9400 0.1060
9450 0.2380
9500 0.3990
9550 0.7260
9600 0.9990
9650 1.0000
9700 0.8650
9750 0.7940
9800 0.7690
9850 0.7430
9900 0.7320
9950 0.7070
10000 0.6610
10050 0.6150
10100 0.5310
10150 0.4740
10200 0.3710
10250 0.2920
10300 0.1860
10350 0.1080
10400 0.0650
10450 0.0310
10500 0.0200
10550 0.0120
10600 0.0050