补乐歌十首：咸池

（《咸池》，陶唐氏之乐歌也，其义盖称尧德至大，

元化油油兮，孰知其然。

至德汩汩兮，顺之以先。

元化浘浘兮，孰知其然。

至道泱泱兮，由之以全。