晋常璩《华阳国志·蜀志》：“保子帝九世，有开明帝，始立宗庙。时蜀有五丁力士能移山，举万钧。每王薨，辄立大石，长三丈，重千钧，为墓志，今石筍是也；号曰筍里。”明曹学佺《蜀中名胜记》卷九：“武都山有玉妃溪，《成都耆老传》载：妃与五丁同生，父母弃之溪。后闻呱呱声，就视，乃一女五男。女即蜀妃，男即五丁。故《华阳国志》云，武都山精化为美女也。”参见“蜀王”。
晋常璩《华阳国志·蜀志》：“保子帝九世，有开明帝，始立宗庙。时蜀有五丁力士能移山，举万钧。每王薨，辄立大石，长三丈，重千钧，为墓志，今石筍是也；号曰筍里。”明曹学佺《蜀中名胜记》卷九：“武都山有玉妃溪，《成都耆老传》载：妃与五丁同生，父母弃之溪。后闻呱呱声，就视，乃一女五男。女即蜀妃，男即五丁。故《华阳国志》云，武都山精化为美女也。”参见“蜀王”。