\v=25
\v~=who was the son of Mattathias, who was the son of Amos, who was the son of Nahum, who was the son of Esli, who was the son of Naggai, 
\¬v