Receita abre consulta a 3º lote do IR–2023 na segunda-feira (24) e paga R$ 7,5 bilhões em restituições