import FormalConjectures.ErdosProblems.«1113»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos1113.erdos_1113.variants.filaseta_finch_kozek" := by
  sorry

end Bounty