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