《资治通鉴·陈纪·陈纪七》
仍旧立刘蠡升的孙子刘没铎为君主，称圣武皇帝，改年号为石平。
仍立刘蠡升之孙没鐸为主，号圣武皇帝，改元石平。
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.