9800 0.00000
9820 0.01932
9840 0.05221
9860 0.12721
9880 0.30522
9900 0.61185
9920 0.89648
9940 1.00000
9960 0.97276
9980 0.91785
10000 0.86307
10020 0.72992
10040 0.43897
10060 0.15990
10080 0.04376
10100 0.01299
10120 0.00000