驱虎人何去，移文碑尚留。
精英元耿耿，山鬼夜悲愁。