John von Neumann（1903年12月28日出生，1957年2月8日逝世）是一位匈牙利裔美国数学家，在数学基础、逻辑学、量子物理学、气象学、科学、计算机和博弈论等领域做出了重要贡献。他以惊人的记忆力以及吸收思想和解决问题的速度而闻名。1925年，他获得了苏黎世联邦理工学院的化学工程学士学位，并于1926年获得了布达佩斯大学的数学博士学位。他的博士论文关于集合论，是对该学科的重要贡献。20岁时，冯·诺依曼提出了序数的新定义，并被普遍采用。在二十多岁时，他在纯数学和应用数学方面做出了许多贡献，确立了他作为一位造诣极深的数学家的地位。《量子力学的数学基础》（1932年）为这一新兴科学学科建立了坚实的框架。在此期间，他还证明了博弈论中的极小极大定理。他逐渐扩展了在博弈论方面的工作，并与合著者奥斯卡·摩根斯特恩（Oskar Morgenstern）共同撰写了《博弈论与经济行为》（1944年）。

有些数字可以表示为阶乘之和。例如 9，$9=1!+2!+3!$。冯·诺依曼博士对这类数字非常感兴趣。因此，他给你一个数字 $n$，想让你判断该数字是否可以表示为若干个不同阶乘之和。

这很简单。对于给定的 $n$，你需要检查是否存在一些 $x_i$，使得 $n = \displaystyle \sum_{i=1}^t x_i!$（其中 $t \geq 1$，$x_i \geq 0$，且当且仅当 $i = j$ 时 $x_i = x_j$）。如果答案是肯定的，输出 "YES"；否则，输出 "NO"。

输入

你将从输入文件中获得若干个非负整数 $n$（$n \leq 1\,000\,000$）。每个数字占一行。

输入以一个负整数结束。

输出

对于每个 $n$，你应该在单独的一行中打印一个单词（"YES" 或 "NO"）。不允许有额外的空格。

样例

输入格式 1

9
-1

输出格式 1

YES