import FormalConjectures.GreensOpenProblems.«77»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Green77.green_77" := by
  sorry

end Bounty