理公所开凿，遗迹在岩麓。

黄溍，元朝诗人。