import FormalConjectures.GreensOpenProblems.«47»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Green47.green_47" := by
  sorry

end Bounty