Irreducible_representations loading ...