补乐歌十首：咸池

（《咸池》，陶唐氏之乐歌也，其义盖称尧德至大， 元化油油兮，孰知其然。至德汩汩兮，顺之以先。 元化浘浘兮，孰知其然。至道泱泱兮，由之以全。