#include using namespace std; typedef long long ll; typedef unsigned long long ull; typedef pair P; #define fi first #define se second #define repl(i,a,b) for(ll i=(ll)(a);i<(ll)(b);i++) #define rep(i,n) repl(i,0,n) #define all(x) (x).begin(),(x).end() #define dbg(x) cout<<#x"="<y?x:y) #define mmin(x,y) (x>n; ll lb=1,ub=2e9; while(ub-lb>1){ ll mid=(lb+ub)/2; if(mid*(mid+1)/2<=n)lb=mid; else ub=mid; } if(lb*(lb+1)/2==n){ cout<<"YES"<