Pr(X>35-0.5), normal distribution, mean=30, sd=7