theoretical cs lecture 22 original 57253