疏凿人何在,流功几世余。农氓诵名氏,不数郑公渠。