import FormalConjectures.GreensOpenProblems.«33»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Green33.green_33" := by
  sorry

end Bounty