背景

本题为 SPOJ PYTRIP3 加强版。

题目描述

给定正整数 $N$。求斜边长度不超过 $N$，且三边长均为整数的不同直角三角形个数。

输入格式

一行一个正整数 $N$。

输出格式

一行一个非负整数，表示答案。

1000000000000

4179478903392

提示

对所有数据，$1\le N\le 31415926535897\approx 3.14\times 10^{13}$。

时限约为 std 在最慢点用时的 $1.5$ 倍。