Direct_sum_of_groups loading ...