#CF1139D. Steps to One

Steps to One

题目内容

Vivek 最初有一个空数组 aa 和一个整数常数 mm。他执行以下算法:

  1. 11mm 范围内均匀随机选择一个整数 xx,并将其追加到数组 aa 的末尾。
  2. 计算数组 aa 中所有整数的最大公约数(GCD)。
  3. 如果该 GCD 等于 11,则停止;否则返回步骤 1。

求数组 aa 的期望长度。可以证明答案可以表示为既约分数 PQ\frac{P}{Q},其中 PPQQ 互质且 Q≢0(mod109+7)Q \not\equiv 0 \pmod{10^9+7}。输出 PQ1(mod109+7)P \cdot Q^{-1} \pmod{10^9+7} 的值。

输入

仅一行包含一个整数 mm1m1051 \le m \le 10^5)。

输出

输出一个整数——期望长度模 109+710^9+7 的值。

样例1

1

1

样例2

2

2

样例3

4

333333338

注意

第一个样例:Vivek 只能选择 11,因此数组为 [1][1] 后立即停止,长度恒为 11,期望为 11

第二个样例:每次选择 1122,最终数组由若干 22(可能为零个)和一个结尾的 11 组成。期望长度为 $1 \cdot \frac12 + 2 \cdot \frac{1}{2^2} + 3 \cdot \frac{1}{2^3} + \dots = 2$。