CF192A Funky Numbers

题目描述

今年最时髦的数字是三角数(即可表示为 $\frac{k(k+1)}{2}$ 的数字,其中 $k$ 是正整数),而今年最酷的数字是那些可表示为两个三角数之和的数字。 著名的嬉皮士安德烈崇拜一切酷而时髦的东西。但不幸的是,他不擅长数学。给定一个数字 $n$,请帮助他确定这个数字是否能够由两个三角形数的和来表示。(两个三角数可以相同)

输入格式

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

输出格式

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

说明/提示

In the first sample number ![](https://cdn.luogu.com.cn/upload/vjudge_pic/CF192A/4cb9109ae81f8a893fe062b72141c5fdcad6da49.png). In the second sample number $ 512 $ can not be represented as a sum of two triangular numbers.