4000 0.053585770911344 4250 0.079709339682 4500 0.098489320514928 4750 0.120676494904 5000 0.1443869712648 5250 0.151643043216 5500 0.1610654746176 5750 0.1766581412022 6000 0.18761567246975 6250 0.199282444452 6500 0.201530416 6750 0.20638203136434 7000 0.21291025385708 7250 0.20988263836051 7500 0.20977778836224 7750 0.21334716804054 8000 0.21214314134208 8250 0.23085969367532 8500 0.22819330833099 8750 0.22003479553638 9000 0.2127540681986 9250 0.2055291500745 9500 0.19231190677125 9750 0.17270299138138 10000 0.13054278908385 10250 0.095611471578 10500 0.05586886337472 10750 0.02891053208736 11000 0.014154293359584