Governo executa 872 milhões de dólares do OGE para o terceiro trimestre