Execução de sentença de Manuel José Lopes de Miranda See original record