(1) 程chéng炎yán震zhèn云yún：「晉jìn職zhí官guān志zhì，郡jùn屬shǔ主zhǔ簿bù爲wèi⾸，存cún猶yóu爲wèi上shàng佐zuǒ，必bì是shì丞chéng矣yǐ。通tōng

典diǎn三sān⼗三sān，晉jìn成chéng帝dì咸xián康kāng七qī年nián，省shěng諸zhū郡jùn丞chéng，惟wéi丹dān陽yáng丞chéng不bù省shěng。知zhī充chōng作zuò會huì稽jī在zài咸xián