### 问题描述 成就感是一种情绪体验，指的是在完成一项任务、达到一个目标或克服一些困难后所产生的满足感和自豪感。当我们努力工作、克服难题或实现个人目标时，如果取得了预期的结果，就会感受到成就感。 小郑每天都从数学研究中获得成就感，今天他发现每一个形如 $(i,j)$ 的二元组当满足 $i+j==i|j$ 时都会给他带来 $1$ 点成就感。 现在问题来了，$[1, 2^k]$ 以内的正整数一共能带给小郑多少点成就感呢？ 提示：成就感点数请对 $10^9+7$ 取模。 ### 输入格式 输入数据只有一行，是一个整数 $k$。 ### 输出格式 输出一行数据，直接输出成就感点数答案，请对 $10^9+7$ 取模。 ### 样例输入 1 ```text 1 ``` ### 样例输出 1 ```text 2 ``` ### 样例输入 2 ```text 10 ``` ### 样例输出 2 ```text 59048 ``` ### 提示 $(2,1)$ 和 $(1,2)$ 算不同的二元组。 ### 评测数据规模 对于所有评测数据，$0 \lt k \le 128$。