theoretical cs lecture 24 pt 1 9822595