update tabela_verdade.pas