catalans aliquot sequence conjecture