8400 0.000876424
8410 0.001752848
8420 0.005258545
8430 0.01665206
8440 0.062226117
8450 0.263803681
8460 0.771253287
8470 1
8480 0.986853637
8490 0.985100789
8500 0.974583699
8510 0.953549518
8520 0.942156004
8530 0.941279579
8540 0.940403155
8550 0.932515337
8560 0.916739702
8570 0.901840491
8580 0.893952673
8590 0.893076249
8600 0.891323401
8610 0.884312007
8620 0.875547765
8630 0.865907099
8640 0.85977213
8650 0.858019281
8660 0.858895706
8670 0.857142857
8680 0.851007888
8690 0.840490798
8700 0.831726556
8710 0.825591586
8720 0.820333041
8730 0.813321648
8740 0.801928133
8750 0.787905346
8760 0.773882559
8770 0.762489045
8780 0.756354075
8790 0.75109553
8800 0.743207713
8810 0.732690622
8820 0.721297108
8830 0.714285714
8840 0.704645048
8850 0.690622261
8860 0.681858019
8870 0.667835232
8880 0.454864154
8890 0.141980719
8900 0.035933392
8910 0.01051709
8920 0.003505697
8930 0.000876424
8940 0.000876424