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