import FormalConjectures.GreensOpenProblems.«41»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Green41.green_41.variants.polynomial_bound" := by
  sorry

end Bounty