Conheça a redistribuição: quando os investidores profissionais venderam ações caras para o mercado, mas ainda têm ações para vender