import FormalConjectures.ErdosProblems.«364»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos364.erdos_364" := by
  sorry

end Bounty