资料：陈寿撰《蜀志》卷三、十四介绍蒋琬公