Exportações do agronegócio somam US$ 72,7 bi de janeiro a julho