3600 0.0010464
3700 0.031464
3800 0.11304666666667
3900 0.2167
4000 0.336
4100 0.43992
4200 0.5248
4300 0.5916
4400 0.63468
4500 0.67425
4600 0.71368
4700 0.748
4800 0.77176
4900 0.7921
5000 0.80189
5100 0.80723
5200 0.81168
5300 0.81524
5400 0.81969
5500 0.8307
5600 0.8325
5700 0.8325
5800 0.8325
5900 0.8325
6000 0.8307
6100 0.8307
6200 0.8271
6300 0.8244
6400 0.8208
6500 0.8163
6600 0.8109
6700 0.8046
6800 0.7992
6900 0.7911
7000 0.7812
7100 0.7695
7200 0.7569
7300 0.7452
7400 0.7335
7500 0.728
7600 0.71344
7700 0.69524
7800 0.67704
7900 0.65702
8000 0.637
8500 0.51506
9000 0.38129
9500 0.25298
10000 0.1365
10600 0.03458
11000 0.0091