Số tam giác vui

Một số tam giác là số nguyên dương có dạng $T(k)={\displaystyle \frac{k(k+1)}{2}}$ với $k$ là số nguyên dương ($k\ge 1$). Vài số tam giác đầu tiên là $1,3,6,10,15,21,\dots$

Cho số nguyên dương $n$. Hãy xác định xem $n$ có thể biểu diễn dưới dạng tổng của đúng hai số tam giác hay không (hai số tam giác này không nhất thiết phải khác nhau).

Dữ liệu vào

Một dòng duy nhất chứa số nguyên $n$.

Dữ liệu ra

In ra "YES" nếu $n$ có thể biểu diễn được dưới dạng tổng của hai số tam giác, ngược lại in ra "NO".

Ràng buộc

• $1\le n\le {10}^9$

Ví dụ