Arrecadação de tributos federais cresce 4,13% para R$ 165,3 bi em maio