Arrecadação do governo bate recorde em novembro (R$ 2,4 tri no ano)