Execução de precatória – Domingos Tomé da Costa; João Pinto da Costa (1778)