8980 0.000610822
8990 0.000801249
9000 0.0010718
9010 0.00144641
9020 0.00199792
9030 0.00280957
9040 0.00403746
9050 0.00595213
9060 0.00902185
9070 0.0141519
9080 0.0228928
9090 0.0386056
9100 0.0680541
9110 0.12487
9120 0.234131
9130 0.426639
9140 0.687825
9150 0.901145
9160 0.989594
9170 0.998959
9180 0.990635
9190 0.985432
9200 0.983351
9210 0.985432
9220 0.991675
9230 1
9240 0.992716
9250 0.912591
9260 0.711759
9270 0.456816
9280 0.259105
9290 0.141519
9300 0.0786681
9310 0.0454735
9320 0.0273673
9330 0.0171696
9340 0.0111342
9350 0.00742976
9360 0.00510926
9370 0.00360042
9380 0.00259105
9390 0.00190427
9400 0.0014256
9410 0.00108221
9420 0.000836629
9430 0.000653486
9440 0.00051717