The miners trooped home.

• 矿工们成群结队地回家了。