Cho số nguyên \(x\). Kiểm tra xem \(x\) có phải là tổng của các số nguyên dương bắt đầu từ \(1\) không.

Input

• Một số nguyên dương \(x\) (\(1 \le x \le 10^{9}\)).

Output

• In ra \(Yes\) nếu thoả mãn. Ngược lại in ra \(No\).

Example

3

Yes

4

No