#P9091. 「SvR-2」Let's Meet at a Higher Place

    ID: 7156 Type: RemoteJudge 3000ms 512MiB Tried: 0 Accepted: 0 Difficulty: 7 Uploaded By: Tags>递推2023数论洛谷原创O2优化分治素数判断,质数,筛法排列组合容斥洛谷月赛

「SvR-2」Let's Meet at a Higher Place

题目背景

「有朝一日,让我们相逢在更高处!」「有朝一日,让我们相逢在更高处!」

题目描述

构造一个长为 mm 的整数序列 aa,使 1im\forall 1 \leq i \leq mai[1,n]a_i \in [1, n]

求出其前缀 gcd\gcd,记为整数序列 bb

f(n,m,k)f(n, m, k) 的值为可以通过如上方式构造出的 bb 序列中相邻项相等的情况出现次数 k\leq k不同bb 序列的个数。

给定正整数 n,mn, m,小 L 请你帮他求出 $\displaystyle\sum_{i = 1}^n \sum_{j = 1}^m \sum_{k = 0}^{j - 1} f(\lfloor \frac{n}{i} \rfloor, j, k)$ 的值。

由于结果可能很大,所以你只需要求出结果对 2322^{32} 取模的值。

输入格式

一行,两个整数 n,mn, m

输出格式

一行,一个整数,表示所求的值。

4 2
26

提示

Subtask\bf{Subtask} nn mm 分值
11 1n1041 \leq n \leq 10^4 无特殊限制 10pts10 \operatorname{pts}
22 1n1061 \leq n \leq 10^6 同上 20pts20 \operatorname{pts}
33 1n1091 \leq n \leq 10^9
44 无特殊限制 1m251 \leq m \leq 25
55 同上 无特殊限制 30pts30 \operatorname{pts}

对于 100%100\% 的数据,1n10101 \leq n \leq 10^{10}1m341 \leq m \leq 34