时间限制：C/C++/Rust/Pascal 1秒，其他语言2秒
空间限制：C/C++/Rust/Pascal 256 M，其他语言512 M
64bit IO Format: %lld
空间限制：C/C++/Rust/Pascal 256 M，其他语言512 M
64bit IO Format: %lld
题目描述
小西和Antinomy在翻A+级比赛答辩的PPT时，发现PPT里列举的诸多指标之间都有相互支撑的关系，他们共同组织成了让评委看起来觉得很厉害同时也能站得住脚的观感。
说到站得住脚，众所周知三角形具有良好的稳定性，小西和Antinomy还发现，这一堆PPT列出的指标里，每个指标都有一个可信度。
如果任意三个指标的可信度，将其视为长度时能组成一个三角形的话，那么这三个指标就能相互支撑，从而看起来站得住脚。
经过整理之后发现，每个指标的可信度都是的正整数次幂，且可信度为
的指标有
个，只考虑三个指标相互支撑的情况，每个指标只能被用在一个相互支撑的三角形里。
现在Antinomy和小西想知道，给定一个数字，以及
个数字
，这些指标最多能形成多少个相互支撑的三角形体系？
输入描述:
第一行输入一个数字
接下来一行有单个空格分隔的个数字，分别表示
，即可信度为
的指标有
个，例如如果
,那么表示有
个长度为
的指标。
输出描述:
输出一行一个整数表示最多能形成多少个三角形体系。
备注:
提示：并不是非要把