题目描述

史蒂夫在下界要塞战斗，他想在力量药水的 BUFF 结束之后立马回家。而力量药水的 BUFF 还可以持续 $T$ 秒。

史蒂夫还拥有持续时间无限的幸运 BUFF，这会导致他在击杀怪物后获得的经验可能增加。

史蒂夫的面前有两种怪物：

1. 烈焰人：每次击杀耗费 $1$ 秒，获得 $1$ 经验。如果结束攻击时的秒数是质数，则可以获得 $2$ 经验。

2. 凋零骷髅：每次击杀耗费 $2$ 秒，获得 $3$ 经验。如果结束攻击时的秒数能被 $3$ 整除，则可以获得 $4$ 经验。

史蒂夫想尽可能多地获得经验。你来帮他算一算最多可以获得的经验吧。

输入格式

一个整数 $T$。

输出格式

一个整数，表示可获得的最大经验。

输入输出样例

7

12

说明 / 提示

【样例解释】

其中一种方案：

1. 第 $1$ 秒击杀烈焰人，共获得 $1$ 经验。

2. 第 $3$ 秒击杀凋零骷髅，因为 $3\mid3$，所以共获得 $1+4=5$ 经验。

3. 第 $4$ 秒击杀烈焰人，共获得 $5+1=6$ 经验。

4. 第 $6$ 秒击杀凋零骷髅，因为 $3\mid6$，所以共获得 $6+4=10$ 经验。

5. 第 $7$ 秒击杀烈焰人，因为 $7$ 是质数，所以共获得 $10+2=12$ 经验。

【数据范围与约定】

对于 $100\%$ 的数据，$1 \le T \le 10^5$。