Input: Bob proved this set is recursive.
Output: 1