Update complete_all_sets.at