The title has nothing to do with the problem. The title is named after a football player that problem setter likes, Cristiano Ronaldo.

Given a positive integer $N$, determine whether $N$ can be expressed as the sum of two or more consecutive positive integers. That is, determine whether there exists an integer pair $(S, L)$ satisfying:

• $N =S+(S+1)+(S+2)\dots+(S+L-1)$
• $S \geq 1$
• $L \geq 2$

A positive integer $N$ is given on the first line.

Print YES if an integer pair $(L,S)$ satisfying the given conditions exists, and NO otherwise.

• $1 \leq N \leq 10^{18}$.