\v=34
\v~=\w Todo|strong="H3605"\w* \w fue|strong="H1931"\w* revisado, \w tanto|strong="H3651"\w* \w en|strong="H5921"\w* \w número|strong="H4557"\w* \w como|strong="H1931"\w* \w en|strong="H5921"\w* \w peso|strong="H4948"\w*, \w y|strong="H1571"\w* \w el|strong="H1931"\w* \w peso|strong="H4948"\w* total \w fue|strong="H1931"\w* anotado \w en|strong="H5921"\w* \w ese|strong="H1931"\w* \w momento|strong="H7281"\w*. 
\¬v
\¬p