Title: a practical Sanskrit dictionary