import FormalConjectures.ErdosProblems.«128»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos128.erdos_128" := by
  sorry

end Bounty