Viết chương trình nhập vào một số nguyên dương \(x\). Hãy xác định xem \(x\) có phải là tổng của dãy các số tự nhiên liên tiếp bắt đầu từ \(1\) hay không?

Cụ thể, kiểm tra xem tồn tại \(k\) sao cho:

\(x = 1 + 2 + 3 + \dots + k\)

Input

Một dòng chứa số nguyên dương \(x\) (\(1 \le x \le 10^{12}\)).

Output

In ra YES nếu \(x\) là tổng của dãy tự nhiên liên tiếp bắt đầu từ \(1\). Ngược lại in ra NO.

Ví dụ

Giải thích

• Với \(x = 10\): \(1 + 2 + 3 + 4 = 10\), vậy tồn tại \(k = 4\).
• Với \(x = 12\): không tồn tại \(k\) nào thỏa mãn.