Title: The vajravali and nispannayogavali in tibetan