APMO 2004 Problem 1

Determine all finite nonempty sets $S$ of positive integers satisfying

$$\frac{i+j}{(i, j)} \text { is an element of } S \text { for all } i, j \text { in } S \text {, }$$

where $(i, j)$ is the greatest common divisor of $i$ and $j$.