疏鑿人何在，流功幾世馀。
農(nóng)氓誦名氏，不數(shù)鄭公渠。