Nhập vào một số nguyên dương ~n~. Kiểm tra xem ~n~ có phải là số tam giác hay không.

Điều kiện

• Một số ~n~ được gọi là số tam giác nếu ~n~ bằng tổng ~m~ số nguyên dương đầu tiên:
  [ n = 1 + 2 + 3 + \dots + m = \frac{m(m+1)}{2} ]
• Tìm ~m~ sao cho ~m(m+1)/2 = n~. Nếu tìm được ~m~ là số nguyên dương thì ~n~ là số tam giác.

Input

• Một số nguyên dương ~n~ (~0 < n < 10^9~).

Output

• Yes nếu ~n~ là số tam giác.
• No nếu ~n~ không phải là số tam giác.

Ví dụ

Input 1

15

Output 1

Yes

Input 2

8

Output 2

No

📌📌 Link thảo luận trên Facebook tại đây