凿渠深，一十寻。凿渠广，八十丈。凿渠未苦莫嗟吁，黄河曾开千丈余。君不见贾尚书。