经曰：濠面阔二丈、深一丈、底阔一丈，以面阔积数三丈半之，得数一丈五尺；以深一丈乘之，凿濠一尺，得数一十五丈。每一工日出土三丈一尺，计工五人。一步，计工三十人；一里，计工一万八千人。一里为率，则百里可知。