Problem 1
Determine all finite nonempty sets $S$ of positive integers satisfying $\frac{i+j}{(i, j)} \quad$ is an element of $S$ for all $i, j$ in $S$, where $(i, j)$ is the greatest common divisor of $i$ and $j$.