Nemotron-IMO-Bench 2026 N45

Prove that there are polynomials $S_1, S_2, \ldots$ in the variables $x_1, x_2, \ldots,y_1, y_2,\ldots$ with integer coefficients such that for all $n\geq 1$ $$\sum_{d \mid n} d \cdot S_d ^{n/d}=\sum_{d \mid n} d \cdot (x_d ^{n/d}+y_d ^{n/d}).$$