lecture 100 theoretical cs 9544632