Input: We proved to the authorities Smith to be the thief.
Output: 0