题目描述

今年最时髦的数字是三角数（即可表示为 $\frac{k(k+1)}{2}$ 的数字，其中 $k$ 是正整数），而今年最酷的数字是那些可表示为两个三角数之和的数字。

著名的嬉皮士安德烈崇拜一切酷而时髦的东西。但不幸的是，他不擅长数学。给定一个数字 $n$，请帮助他确定这个数字是否能够由两个三角形数的和来表示。（两个三角数可以相同）

输入格式

一行，一个数 $n\ (1\le n \le 10^9)$。

输出格式

输出这个数是否满足安德烈的要求。如果是，输出 YES，否则输出 NO。

256

YES

512

NO