3550 0.0007652311
3600 0.0011127417
3650 0.0013421978
3700 0.0015983657
3750 0.0019090538
3800 0.0020328608
3850 0.0025328234
3900 0.0026138303
3950 0.0043261133
4000 0.1057623
4050 0.25545222
4100 0.29347478
4150 0.32744336
4200 0.35601981
4250 0.37902919
4300 0.39685695
4350 0.41869061
4400 0.43398588
4450 0.44041521
4500 0.46094328
4550 0.47039273
4600 0.48233422
4650 0.49464019
4700 0.50595594
4750 0.52767364
4800 0.5334876
4850 0.54477512
4900 0.54711109
4950 0.56567343
5000 0.57887924
5050 0.59792724
5100 0.60185051
5150 0.58861187
5200 0.61236431
5250 0.62322346
5300 0.6734648
5350 0.68287072
5400 0.67910665
5450 0.69003773
5500 0.6953813
5550 0.73238763
5600 0.73753732
5650 0.75883293
5700 0.77689424
5750 0.77530581
5800 0.78808075
5850 0.80427416
5900 0.82520314
5950 0.84065237
6000 0.86115674
6050 0.84717792
6100 0.86106013
6150 0.87684735
6200 0.88116835
6250 0.90625489
6300 0.92390141
6350 0.9314965
6400 0.94421545
6450 0.94794158
6500 0.95352483
6550 0.9575374
6600 0.94242611
6650 0.95278922
6700 0.98118081
6750 0.96695284
6800 0.97366954
6850 0.94848093
6900 0.95219543
6950 0.97021143
7000 0.99483729
7050 1
7100 0.99312642
7150 0.99720022
7200 0.99024883
7250 0.98207693
7300 0.9709137
7350 0.97383342
7400 0.96360864
7450 0.9489047
7500 0.93671633
7550 0.9380054
7600 0.93259709
7650 0.92752881
7700 0.92807058
7750 0.91994601
7800 0.91309715
7850 0.8917096
7900 0.87310646
7950 0.85582361
8000 0.83778525
8050 0.81891885
8100 0.80904059
8150 0.79584637
8200 0.7889033
8250 0.76667894
8300 0.76018827
8350 0.74812536
8400 0.75092307
8450 0.7405688
8500 0.72381051
8550 0.69582198
8600 0.68023704
8650 0.65368499
8700 0.63213652
8750 0.60734159
8800 0.58338288
8850 0.549313
8900 0.5402554
8950 0.52729269
9000 0.21061003
9050 0.042386018
9100 0.013398454
9150 0.0074514741
9200 0.0057832161
9250 0.0049904959
9300 0.0043805365
9350 0.0040504263
9400 0.0037917398
9450 0.0035621916
9500 0.0032632518
9550 0.002969614
9600 0.0028909107
9650 0.0026088781
9700 0.0022863196
9750 0.002147377
9800 0.0018516749
9850 0.0014526603
9900 0.001371111
9950 0.0012280033
10000 0.0009825819
10050 0.0008588798
10100 0.0007523184
10150 0.0007057772
10200 0.0005302202