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