Arrecadação federal de maio chega a R$ 113,2 bilhões