Mistério de 32 anos resolvido. Supercomputador revela o nono número de Dedekind