The dataset ExerciseHours contains information on the amount of exercise (hours per week) for a sample of statistics students. The mean amount of exercise was 9.4 hours for the 30 female students in the sample and 12.4 hours for the 20 male students. A randomization distribution of differences in means based on these data, under a null hypothesis of no difference in mean exercise time between females and males, is centered near zero and reasonably normally distributed. The standard error for the difference in means, as estimated from the standard deviation of the randomization differences, is . Use this information to test, at a level, whether the data show that the mean exercise time for female statistics students is less than the mean exercise time of male statistics students.