maximal sum-free set