\v=37
\v~=who was the son of Methuselah, who was the son of Enoch, who was the son of Jared, who was the son of Mahalaleel, who was the son of Cainan, 
\¬v