Arrecadação federal passa R$ 135 bilhões em outubro