赤穂 タテホ. Pakhawaj information in marathi. HyperTree proof search for Neural theorem proving. Изверг синоним.