\v=22
\v~=\w And|strong="H1004"\w* \w the|strong="H3605"\w* \w whole|strong="H3605"\w* \w house|strong="H1004"\w* \w he|strong="H5704"\w* \w overlaid|strong="H6823"\w* \w with|strong="H1004"\w* \w gold|strong="H2091"\w*, \w until|strong="H5704"\w* \w all|strong="H3605"\w* \w the|strong="H3605"\w* \w house|strong="H1004"\w* \w was|strong="H1004"\w* \w finished|strong="H8552"\w*: \w also|strong="H1571"\w* \w the|strong="H3605"\w* \w whole|strong="H3605"\w* \w altar|strong="H4196"\w* \w that|strong="H3605"\w* \w belonged|strong="H1961"\w* \w to|strong="H5704"\w* \w the|strong="H3605"\w* \w oracle|strong="H1687"\w* \w he|strong="H5704"\w* \w overlaid|strong="H6823"\w* \w with|strong="H1004"\w* \w gold|strong="H2091"\w*. 
\¬v
\¬p