We want to compare the lengths of adult male and female sea otters, Enhydra lutris, living in a wildlife refuge. The population of lengths of the male otters is normally distributed with a mean of 1.28 m and a standard deviation of 0.18 m. The population of lengths of the female otters is normally distributed with a mean of 1.13 m and a standard deviation of 0.15 m. It is known that 71% of the otters in the refuge are female.
Of all the otters that are greater than1.35 m, what proportion are female?