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

    ID: 8941 远端评测题 3000ms 512MiB 尝试: 0 已通过: 0 显示难度NOI/NOI+/CTS 上传者: 标签>递推2023数论洛谷原创O2优化素数判断,质数,筛法排列组合容斥原理洛谷月赛根号分治

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

背景

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

题目描述

构造一个长为 mm 的整数序列 aa,使 ∀1≤i≤m\forall 1 \leq i \leq m,ai∈[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 1≤n≤1041 \leq n \leq 10^4 无特殊限制 10pts⁡10 \operatorname{pts}
22 1≤n≤1061 \leq n \leq 10^6 同上 20pts⁡20 \operatorname{pts}
33 1≤n≤1091 \leq n \leq 10^9
44 无特殊限制 1≤m≤251 \leq m \leq 25
55 同上 无特殊限制 30pts⁡30 \operatorname{pts}

对于 100%100\% 的数据,1≤n≤10101 \leq n \leq 10^{10},1≤m≤341 \leq m \leq 34。