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