蜀王本纪

天为蜀王生五丁力士，

能徙蜀山，

王死五丁辄立大石，

长三丈，

重千钧，

号曰石牛，

千人不能动，

万人不能移。