LA 2953

#include<bits/stdc++.h>
using namespace std;

typedef long long int       ll;
typedef unsigned long long int  ull;
typedef vector<int>         vi;
typedef vector<ll>          vll;
typedef vector<vi>          vvi;
typedef pair<int,int >      pii;
typedef vector< pii >       vpii;
typedef set<int>            sti;

#define sc                  scanf
#define pf                  printf
#define sci(n)              scanf("%d",&n)
#define scl(n)              scanf("%lld",&n)
#define scf(n)              scanf("%lf",&n)
#define pfi(n)              printf("%d",n)
#define pfl(n)              printf("%I64d",n)
#define pff(n)              cout<<n
#define line                printf("\n")
#define spc                 printf(" ")
#define loop(i,x,y)         for(int i=int(x); i<=int(y); i++)
#define rloop(i,y,x)        for(int i=int(y); i>=int(x); i--)
#define cspf(i)             printf("Case %d: ", i)
#define pb                  push_back
#define mp                  make_pair
#define ff                  first
#define ss                  second
#define all(v)              v.begin(),v.end()
#define rall(v)             v.rbegin(),v.rend()
#define read()              freopen("input.txt", "r", stdin)
#define write()             freopen("output.txt", "w", stdout)
/// Constants
#define eps                 1e-9
#define PI                  acos(-1.0)  // 3.1415926535897932


int main()
{
    ll fac[25],x,i,j,k;
	fac[0] = 1;
	loop(i,1,20){
		fac[i]=fac[i-1]*i;
	}
	while(1){
		scl(x);
		if(x<0) break;
		if(x==0){
			pf("NO\n");
			continue;
		}
		j=20;
		k=0;
		while(j>=0){
			if(fac[j]<=x)
				x-=fac[j];
			j--;
		}
		if(x==0) pf("YES\n");
		else pf("NO\n");
	}
	return 0;
}