Devagajjita untranslated

Devagajjita. A king of thirty-six kappas ago; a previous birth of Aṅkolaka Thera (Ap.i.199).