Havia sido de R$ 894,4 bilhões no acumulado de 12 meses até junho; deficit primário totalizou R$ 27,3 bilhões até julho
