\p
\v=13
\v~=\w अन्त|x-occurrence="1" x-occurrences="1"\w* \w में|x-occurrence="1" x-occurrences="2"\w* \w आसा|x-occurrence="1" x-occurrences="1"\w* \w अपने|x-occurrence="1" x-occurrences="2"\w* \w राज्य|x-occurrence="1" x-occurrences="1"\w* \w के|x-occurrence="1" x-occurrences="3"\w* \w इकतालीसवें|x-occurrence="1" x-occurrences="1"\w* \w वर्ष|x-occurrence="1" x-occurrences="1"\w* \w में|x-occurrence="2" x-occurrences="2"\w* \w मर|x-occurrence="1" x-occurrences="1"\w* \w के|x-occurrence="2" x-occurrences="3"\w* \w अपने|x-occurrence="2" x-occurrences="2"\w* \w पुरखाओं|x-occurrence="1" x-occurrences="1"\w* \w के|x-occurrence="3" x-occurrences="3"\w* \w साथ|x-occurrence="1" x-occurrences="1"\w* \w जा|x-occurrence="1" x-occurrences="1"\w* \w मिला|x-occurrence="1" x-occurrences="1"\w*।
\¬v
\¬p