3400 0.0
3450 0.005238095238095264
3500 0.01480331262939965
3550 0.027784679089026997
3600 0.048907867494824155
3650 0.09075569358178082
3700 0.14814699792960673
3750 0.2063354037267085
3800 0.2666418219461706
3850 0.32336291038154436
3900 0.37528837622005373
3950 0.4213250517598327
4000 0.45859903381642164
4050 0.49228985507245887
4100 0.5235362318840523
4150 0.5538020473889972
4200 0.5828519668736979
4250 0.6113084886128296
4300 0.6393664596273252
4350 0.6664982746721849
4400 0.6928557625948901
4450 0.7192132505175952
4500 0.7413043478260842
4550 0.7584726867335548
4600 0.7756410256410254
4650 0.789003166483985
4700 0.801381683108026
4750 0.813760199732067
4800 0.8262525879917187
4850 0.8390062111801245
4900 0.8517598343685302
4950 0.8645134575569359
5000 0.87746066252588
5050 0.890533126293996
5100 0.9036055900621119
5150 0.9166780538302279
5200 0.929165976535542
5250 0.9410693581780541
5300 0.9529727398205664
5350 0.963627329192547
5400 0.9725548654244309
5450 0.9797705314009664
5500 0.984021739130435
5550 0.9882729468599036
5600 0.9925241545893723
5650 0.9965476190476192
5700 0.9965476190476192
5750 0.9965476190476192
5800 0.9965476190476192
5850 0.9965476190476192
5900 0.9960992494824018
5950 0.9925122929606627
6000 0.9889253364389236
6050 0.9853383799171844
6100 0.9804134316770188
6150 0.9752322722567289
6200 0.970051112836439
6250 0.9633255693581781
6300 0.9553545548654245
6350 0.9473835403726709
6400 0.9394125258799173
6450 0.9314415113871637
6500 0.9224741200828159
6550 0.9129089026915115
6600 0.903343685300207
6650 0.8937784679089026
6700 0.8842132505175982
6750 0.8746480331262939
6800 0.8650828157349896
6850 0.8555175983436852
6900 0.8459523809523809
6950 0.8365769496204278
7000 0.8280745341614907
7050 0.8195721187025535
7100 0.8110697032436164
7150 0.8025672877846792
7200 0.7936397515527952
7250 0.7834368530020706
7300 0.7732339544513458
7350 0.7630310559006211
7400 0.7525288376220053
7450 0.7402307009760426
7500 0.7279325643300798
7550 0.7156344276841171
7600 0.7033362910381544
7650 0.6910381543921916
7700 0.6779018197668083
7750 0.6634700882641387
7800 0.6490383567614689
7850 0.6346066252587993
7900 0.6204397737355813
7950 0.6065474341910678
8000 0.5926550946465544
8050 0.5787627551020409
8100 0.5648704155575275
8150 0.5509780760130141
8200 0.5372777896765903
8250 0.5236446062682946
8300 0.5100114228599987
8350 0.49637823945170284
8400 0.482745056043407
8450 0.46911187263511117
8500 0.45449965493443767
8550 0.4396204278812976
8600 0.42474120082815753
8650 0.40987657270265987
8700 0.39516085363911485
8750 0.38044513457556983
8800 0.36572941551202476
8850 0.35101369644847974
8900 0.3362979773849347
8950 0.3214596273291932
9000 0.3065804002760528
9050 0.29170117322291245
9100 0.27689786059351257
9150 0.2634357027835286
9200 0.2499735449735447
9250 0.2365113871635608
9300 0.22349206349206327
9350 0.21126984126984122
9400 0.19904761904761914
9450 0.1868253968253971
9500 0.17460317460317504
9550 0.16297308488612877
9600 0.15213250517598365
9650 0.14129192546583855
9700 0.13045134575569345
9750 0.12002070393374721
9800 0.11045548654244296
9850 0.10089026915113872
9900 0.09138198757763984
9950 0.08341097308488621
10000 0.07543995859213257
10050 0.06746894409937892
10100 0.059497929606625276
10150 0.05175983436853009
10200 0.04596273291925478
10250 0.040165631469979465
10300 0.03436853002070415
10350 0.028571428571428834
10400 0.024624741200828346
10450 0.02196773636991045
10500 0.01948956840261203
10550 0.0182632584806499
10600 0.017036948558687773
10650 0.015810638636725643
10700 0.014584328714763515
10750 0.013358018792801386
10800 0.012659555315509925
10850 0.012105049959492301
10900 0.011550544603474676
10950 0.01099603924745705
11000 0.0