import FormalConjectures.ErdosProblems.«313»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos313.erdos_313.variants.primary_pseudoperfect_are_infinite" := by
  sorry

end Bounty