補樂歌十首：咸池

（《咸池》，陶唐氏之樂歌也，其義蓋稱堯德至大，

元化油油兮，孰知其然。至德汩汩兮，順之以先。

元化浘浘兮，孰知其然。至道泱泱兮，由之以全。