import FormalConjectures.GreensOpenProblems.«60»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Green60.green_60" := by
  sorry

end Bounty