4400 0.00851010 4500 0.0630040 4600 0.183438 4700 0.261563 4800 0.382107 4900 0.514978 5000 0.654813 5100 0.807591 5200 0.920649 5300 0.981034 5400 1.00000 5500 0.955734 5600 0.892707 5700 0.803683 5800 0.691822 5900 0.544450 6000 0.379892 6100 0.240353 6200 0.160448 6300 0.134568 6400 0.116486 6500 0.100734 6600 0.0992120 6700 0.113720 6800 0.123053 6900 0.0934065 7000 0.0224081 7100 0.00142640