@nataliareis já está, né? Aos advogados tem uns dias para apresentar embargos de declaração e o supremo mais uns para julgar. Depois disso mais uns dias para publicar o acórdão. A partir daí o juiz de execução pode emitir o mandato.