测试数据来自 oistream/1095

背景

• Idea: oistream
• 题面: oistream
• Data: oistream
• Solution: oistream

政入万犇围子里，一犇放出一犇拦。——改编自 杨万里《过松源晨炊漆公店》

ois 一直是个小蒟蒻。

神 GMQ 又来虐小蒟蒻 ois 了。

描述

神 GMQ 发明了一种语言——GMQOrz。GMQOrz 语言专门用来解一些可以递归表示的关于 \(x\) 的方程（如无特别说明下同），形如下。

\(((\cdots((x-a_1)-a_2)\cdots-a_{n-1})-a_n)=0\)

这一天，ois 希望用它来解一个形如下面的方程。（其中 \(n\) 是非负整数）

\(((\cdots((x-n)-(n-1))\cdots-2)-1)=0\)

但是，GMQ 偷偷修改了语言的编译器，使得原本表示上面方程的代码会在每次递归时都会被加上绝对值，成为了下面这样。

\(||\cdots||x-n|-(n-1)|\cdots-2|-1|=0\)

然后，编译器会随机选择一个符合上述方程的结果，并将其给出。

现在 ois 想知道，对于给定的 \(n\) ，GMQ 修改后的编译器会给出多少种不同的结果。

输入格式

一行，一个正整数，\(n\)。

输出格式

一行，一个正整数，为结果数。

样例

样例输入1

10

样例输出1

46

样例解释

无。

数据规模与约定

\(0\leq n\leq 6\times 10^7\)

其中有 \(50\%\) 的数据满足 \(0\leq n\leq 6\times 10^4\)

时空限制：\(1~\text{s},128~\text{MB}\)。

说明与提示

无。