Não sei se algum daqueles nomes faz parte da lista do irn, mas se fizer serão portugueses. Por outro lado verifico que Agripina não faz parte da lista, a minha tia não poderia, aparentemente, ter o nome que tem.