剡溪杂咏（了溪）

禹迹始壶口，禹功终了溪。
馀粮散幽谷，归去锡玄圭。