4000 0.0036 4100 0.0123 4200 0.0377 4300 0.0422 4400 0.0565 4500 0.0704 4600 0.097 4700 0.209 4800 0.43 4900 0.6381 5000 0.692 5100 1 5200 0.8735 5300 0.9058 5400 0.8326 5500 0.8057 5600 0.712 5700 0.6467 5800 0.5426 5900 0.3935 6000 0.2958 6100 0.1287 6200 0.06 6300 0.0402 6400 0.0276 6500 0.0182 6600 0.0138 6700 0.0143 6800 0.0061 6900 0.0017 7000 0.0008 7100 0.0006 7200 0.0005