PIB entre abril-junho é o maior desta década.