Predicado auxiliar para gerar lista inicial de quantidades de cada isotopo