Regular_representation loading ...