Maximum_independent_set loading ...