Irreducible_representation loading ...