\c=1
\p
\c#=1
\v=1
\v~=Adam, Seth, Enos,
\¬v