The mean weight of loads of rock is 42.0 tons with a standard deviation of 10.0 tons. If 25 loads are chosen at random for a weight check, find the probability that the mean weight of those loads is less than 41.0 tons. Assume that the variable is normally distributed.