凿濠篇第四十六

经书上说：护城河上口宽二丈，深一丈，底宽一丈，用上口宽加底宽得到三丈，取其一半，得到一丈五尺；用深度一丈乘以上述结果，每挖掘一尺，得到一十五丈。每个劳动力一天出土三丈一尺，计算用工五人。一步，计算用工三十人；一里，计算用工一万八千人。以一里为标准，那么百里就可以知道了。