Os feriados prolongados de ontem, Dia do Trabalhador, e de Corpus Christi, 31, deverão injetar R$ 9 bilhões na economia brasileira, resultado das cerca de 4,5 milhões de viagens no período. O levan…