經曰：濠面闊二丈、深一丈、底闊一丈，以面闊積數三丈半之，得數一丈五尺；以深一丈乘之，鑿濠一尺，得數一十五丈。每一工日出土三丈一尺，計工五人。一步，計工三十人；一里，計工一萬八千人。一里為率，則百里可知。