溉舃鹵之地四萬餘頃收皆𤱔一鍾於是關中爲
沃野謂之鄭國渠此戰國之水利也漢文翁用之
於蜀則穿煎㳛口溉灌繁曰千七百頃鄭當時用
之於關中則引渭穿渠三歲而渠下之民頗得以
溉番係用之於汾陰蒲坂則引汾穿渠溉河壖棄
地五千餘頃以爲渠田嚴熊用之於馮翊則穿洛
至啇顧下溉重泉以東萬餘頃故惡地謂之龍首
渠堄寬用之於內史則鑿六輔渠以溉鄭國傍高
邛之田以爲稻田白公用之於池陽則引涇穿渠
首起谷口尾入櫟陽注渭中袤二百里溉田四千