[math-fun] sets with distinct subset sums