import FormalConjectures.ErdosProblems.«70»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos70.erdos_70.variants.omega_times_two_four" := by
  sorry

end Bounty