import FormalConjectures.ErdosProblems.«366»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos366.erdos_366" := by
  sorry

end Bounty