击陈豨，屠马邑。所将卒 斩豨将军乘马絺。击韩 信、陈豨、赵利军於楼烦，破之。得豨将宋最、雁门守■。因转攻得云中 守、丞相箕肆、将勋。定雁门郡十七县， 云中郡十二县。因复击豨灵丘，破之，斩 豨，得豨丞相程纵 、将军陈武、都尉高肆 。定代郡九县。燕王卢绾反，勃以相国代 樊哙将，击下蓟，得 绾大将抵 、丞相偃、守陉、太尉弱、御史 大夫施， 屠浑都。破绾军上兰，复击破绾军沮阳。追至长城 ，定上谷十二县，右北平十六县，辽西、 辽东二十九县，渔阳 二十二县。最从高帝得相国一人，丞相二人，将军、 二千石各三人 ；别破军二，下城三，定郡五，县七十九，得丞相、大将各一人。