Assim, tendo como suporte os documentos ns 11 e 12 juntos com o articulado superveniente apresentado na acção principal em 25/10/2017 ref., deverá dar-se apenas como provado que:  - Os embargos à execução deduzidos pelos executados aqui 1s foram julgados improcedentes por decisão transitada em julgado.