\p
\v=16
\v~=\w जो|x-occurrence="1" x-occurrences="1"\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* \w था|x-occurrence="1" x-occurrences="1"\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* \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="1"\w* \w के|x-occurrence="1" x-occurrences="2"\w* \w व्यापारी|x-occurrence="1" x-occurrences="1"\w* \w उन्हें|x-occurrence="1" x-occurrences="1"\w* \w झुण्ड|x-occurrence="1" x-occurrences="2"\w* \w के|x-occurrence="2" x-occurrences="2"\w* \w झुण्ड|x-occurrence="2" x-occurrences="2"\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* \w पर|x-occurrence="1" x-occurrences="1"\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*।
\¬v
\¬p