7750 0.003018401
7760 0.01669158
7770 0.028340486
7780 0.0502885
7790 0.08626388
7800 0.149596686
7810 0.258428566
7820 0.425108406
7830 0.631697563
7840 0.803109115
7850 0.904984654
7860 0.939674653
7870 0.944958731
7880 0.948238826
7890 0.963880684
7900 0.979861632
7910 0.991635585
7920 0.996362309
7930 1
7940 0.998257939
7950 0.998488834
7960 0.989253171
7970 0.98294089
7980 0.968189827
7990 0.958222106
8000 0.951650369
8010 0.947054991
8020 0.944166995
8030 0.948383123
8040 0.946461415
8050 0.942132884
8060 0.929937199
8070 0.914683918
8080 0.893248878
8090 0.873037871
8100 0.852648452
8110 0.836447483
8120 0.824300756
8130 0.814333379
8140 0.810955964
8150 0.803715941
8160 0.791980175
8170 0.783270185
8180 0.767838865
8190 0.754167357
8200 0.742309406
8210 0.727235815
8220 0.719323269
8230 0.713866399
8240 0.718941021
8250 0.726527917
8260 0.738324031
8270 0.750210769
8280 0.761800392
8290 0.769900245
8300 0.781725199
8310 0.78381047
8320 0.783069959
8330 0.782718588
8340 0.781644143
8350 0.780380397
8360 0.781443024
8370 0.781701218
8380 0.78177353
8390 0.780064535
8400 0.777591823
8410 0.770831803
8420 0.764574958
8430 0.753876586
8440 0.743324604
8450 0.733775698
8460 0.722497914
8470 0.712900724
8480 0.699439134
8490 0.688575227
8500 0.674039061
8510 0.657552716
8520 0.643729834
8530 0.62865391
8540 0.614005803
8550 0.603233252
8560 0.594982815
8570 0.588091928
8580 0.585186507
8590 0.582889219
8600 0.581493721
8610 0.580137218
8620 0.574804624
8630 0.576654614
8640 0.572399696
8650 0.570992768
8660 0.569291451
8670 0.571025201
8680 0.570861066
8690 0.572213154
8700 0.575418141
8710 0.577804028
8720 0.579603586
8730 0.579294979
8740 0.578302049
8750 0.57565598
8760 0.569721665
8770 0.561891364
8780 0.556830745
8790 0.549385012
8800 0.545858439
8810 0.542536249
8820 0.541895109
8830 0.539852497
8840 0.537997281
8850 0.53195493
8860 0.522275927
8870 0.505572421
8880 0.48804203
8890 0.469610434
8900 0.456107021
8910 0.445848869
8920 0.443119818
8930 0.445581498
8940 0.447532506
8950 0.440183411
8960 0.418240241
8970 0.369455837
8980 0.301788007
8990 0.235014942
9000 0.174244972
9010 0.122382945
9020 0.083462794
9030 0.056162189
9040 0.038006008
9050 0.024240249
9060 0.014845963
9070 0.006132899