Dívida paga: BNDES devolveu R$ 45 bilhões ao Tesouro Nacional