① 伪夏明王珍保有巴蜀子升复恃险不庭将军沐英伐取之
剑门开，蜀山崇。
稽古王国自蚕丛。
有物蜿蜒旷诛戮，生子长复为世雄。
盘巴岷，据羌戎。
吐毒雾，煽腥风。
枯草木，啖豸虫。
罪盈恶积闻上穹。
帝哀残虐怒匪容。
奉天行诛命元戎。
获大憝，降群凶。
山川效顺，鬼神奏功。
景龙高飞乾德隆。