Input: Waldo didn't report the possibility that anyone had left.
Output: 0