Arrecadação federal bate recorde em outubro com desempenho histórico