永楽大典
In 16th century Ming Dynasty the famous painter, poet, writer and dramatist Xu Wei mentions "The Legend of Wenlong" in a list of 65 12th century Song Dynasty Nanxi operas under the title "刘文龙菱花镜" ("Liu Wenlong and the Water-chestnut Mirror"). However, all copies of this opera have been lost. The earlier 15th century "Yongle Encyclopedia", the largest known encyclopedia at the time, mentions the opera-play "Liu Wenlong".