Title: the vajravali and nispannayogavali in tibetan