Prefeito Irlan Serra divulga programação do Carnaval de Pedro do Rosario