Input: Waldo didn't report that anyone had left.
Output: 1