Description

约翰•冯•诺依曼（John von Neumann,1903-1957），美籍匈牙利人，物理学家、数学家、发明家，现代电子计算机之父，即电脑ENIAC（世界上第一台现代意义的通用计算机）的发明者。

冯•诺依曼的父亲是个银行家，家境富裕，十分注意对孩子的教育。冯•诺依曼从小聪颖过人，兴趣广泛，读书过目不忘。据说他6岁时就能用古希腊语同父亲闲谈，一生掌握了七种语言，最擅长德语。他在用德语思考种种设想时，又能以阅读的速度译成英语。他对读过的书籍和论文，能很快一句不差地将内容复述出来，而且若干年之后，仍可如此。1911年-1921年，冯•诺依曼在布达佩斯的卢瑟伦中学读书期间，就崭露头角而深受老师的器重。在费克特老师的个别指导下合作发表了第一篇数学论文，此时冯•诺依曼还不到18岁。1921年-1923年在苏黎世联邦工业大学学习。很快又在1926年以优异的成绩获得了布达佩斯大学数学博士学位，此时冯•诺依曼年仅22岁。1927年-1929年冯•诺依曼相继在柏林大学和汉堡大学担任数学讲师。1930年接受了普林斯顿大学客座教授的职位，西渡美国。1931年他成为美国普林斯顿大学的第一批终身教授，那时，他还不到30岁。1933年转到该校的高级研究所，成为最初六位教授之一，并在那里工作了一生。冯•诺依曼是普林斯顿大学、宾夕法尼亚大学、哈佛大学、伊斯坦堡大学、马里兰大学、哥伦比亚大学和慕尼黑高等技术学院等校的荣誉博士。他是美国国家科学院、秘鲁国立自然科学院和意大利国立林学院等院的院士。1954年他任美国原子能委员会委员，1951年至1953年任美国数学会主席。1954年夏，冯•诺依曼被发现患有癌症，1957年2月8日，在华盛顿去世，终年54岁。

今有若干数，可以表示为各不相同的阶乘之和。例如：7=1!+3!。冯•诺依曼对此种数特别感兴趣。所以，他给你一些数，希望你告诉他那些恰好是阶乘和。

好吧，你给他来个小菜一碟！

Input

若干正整数n（0≤n<2^31）。

Output

若可以表示为阶乘和，则以一行的形式输出Yes，否则输出No。

Sample

Input

7  5

Output

Yes
No

Source: qn