Arrecadação federal bate recorde para o mês de julho e chega a R$ 202,6 bilhões