Please turn in the following problems from those given at the end of
lecture 1 slides.  Bring them to class on Friday 11/1/19.

---

Exercise 1

Exercise 2

Exercise 3

Exercise 4.  Hint: The invariant should say what possibilities still
exist and what has been ruled out.

---