(1) 程chéng炎yán震zhèn云yún：「竟jìng陵líng郡jùn，惠huì帝dì分fēn江jiāng夏xià置zhì。東dōng晉jìn時shí屬shǔ荊jīng州zhōu，亦yì當dāng屬shǔ江jiāng州zhōu。」

⼜云yún：「咸xián和hé⼆年nián⼗⽉，葬zàng簡jiǎn⽂帝dì於yú⾼平píng陵líng。」

(2) 程chéng炎yán震zhèn云yún：「御yù覽lǎn三sān百bǎi七qī⼗⼋引yǐn『何hé以yǐ更gèng瘦shòu』下xià，原yuán注zhù徐xú廣guǎng晉jìn紀jì⽈『鄧dèng

遐xiá勇yǒng⼒絕jué⼈』云yún云yún。此cǐ注zhù當dāng有yǒu脫tuō⽂。⼜從cóng溫wēn征zhēng伐fá下xià有yǒu爲wèi冠guān軍jūn將jiāng軍jūn五wǔ字zì，無wú