Arrecadação federal chega a R$ 215,6 bilhões em outubro