In the Korean language learning book, published in Pyongyang, the appendix shows Korean verb endings, including 네, 리라, 아라/어라/여라, 리, 마, which I met only in North Korean patriotic songs.
Are these endings used in the speech or TV/radio/press? Do these endings have specific use (like 아요/어요/여요, which is informal)?