Title: A smaller Sanskṛt grammar