补乐歌十首。咸池

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