8480 0.001661751
8490 0.01602581
8500 0.032253895
8510 0.073411273
8520 0.168937582
8530 0.345506138
8540 0.569417239
8550 0.79634996
8560 0.937581155
8570 0.980942645
8580 0.987241334
8590 0.994409463
8600 0.998963959
8610 0.999788107
8620 1
8630 0.994482469
8640 0.987807181
8650 0.983157165
8660 0.979826684
8670 0.975089851
8680 0.972818786
8690 0.966320275
8700 0.958195153
8710 0.941870745
8720 0.894185366
8730 0.778588669
8740 0.597362542
8750 0.377361257
8760 0.184667876
8770 0.079045495
8780 0.033393337
8790 0.015808546
8800 0.00162404