CS537 Probability in Computing Spring 2007