---

Problem 558

---

Xem đề gốc (tiếng Anh)

Cơ số vô tỉ

Biểu diễn số trong cơ số $\sqrt{2}$. $f(n)$ là số biểu diễn của $n$. Tính $\sum_{n=0}^{10^{12}} f(n) \pmod{10^9+7}$.

---