《资治通鉴·陈纪·陈纪七》
仍旧立刘蠡升的孙子刘没铎为君主，称圣武皇帝，改年号为石平。
仍立刘蠡升之孙没鐸为主，号圣武皇帝，改元石平。
Liu Maisuo, the grandson of Liu Liseng, was re-established as the monarch, known as Emperor Shengwu, and the reign name was changed to Shiping.
<s>[INST] 将以下英文转换为文言文: Liu Maisuo, the grandson of Liu Liseng, was re-established as the monarch, known as Emperor Shengwu, and the reign name was changed to Shiping. [/INST] 仍立刘蠡升之孙没鐸为主，号圣武皇帝，改元石平。</s>
将以下英文转换为文言文: Liu Maisuo, the grandson of Liu Liseng, was re-established as the monarch, known as Emperor Shengwu, and the reign name was changed to Shiping.
user
仍立刘蠡升之孙没鐸为主，号圣武皇帝，改元石平。
assistant