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