144. A medicinal study aims to estimate the mean reduction in blood pressure for a new drug. If the population standard deviation is known, and the sample size is large, which technical distribution is used for constructing confidence intervals for the mean?