进平五年冬，刘公子闻墨林乡东十里地，有山曰荣德，又名大老君，其独立于群山之间，乃荣州山之巅，十三景之一也（荣德晴岚）。 一日，公子漫漫而游，欲上荣德。至吕仙，随石阶百二十步，芦苇丛深，下见小潭，有池鱼甚欢。 立于山脚，观其壁，皆为孔，鲜···