题目描述

一定数目的点或圆在等距离的排列下可以形成一个等边三角形，这样的数被称为三角形数。

前 $6$ 个三角形数分别为 $1,3,6,10,15,21$。

第 $n$ 个三角形数是从 $1$ 开始的 $n$ 个自然数的和，即 $n(n+1)/2$。

给定一个正整数 $x$，请你判断 $x$ 能否表示为两个三角形数（可以相同）的和。

输入格式

一个正整数 $x$。

输出格式

如果 $x$ 可以表示为两个三角形数之和，则输出 YES，否则输出 NO。

样例数据

256

YES

512

NO

样例解释

样例 $1$ 中

$256=3+253$

而 $T_2=3$，$T_{22}=253$ 它们均为三角形数，故输出 YES

数据范围

对于 $60\%$数据，$1 \leq x \leq 10^3$

对于 $100\%$数据，$1 \leq x \leq 10^9$