[math-fun] Sums of three squares