State_space_enumeration loading ...