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