#CF1749D. 统计数组

统计数组

统计数组

  • 时间限制:2 秒
  • 内存限制:512 MiB

题目描述

给定数组 aa。当当前数组中第 ii 个元素满足 gcd⁡(ai,i)=1\gcd(a_i,i)=1 时,可以删除它,右侧元素随即左移。

长度为 nn 的序列 bb 若满足 1≤bi≤n−i+11\le b_i\le n-i+1,并且依次删除当前数组的第 b1,b2,…,bnb_1,b_2,\ldots,b_n 个元素能使数组清空,则称 bb 是 aa 的删除序列。若一个数组至少有两个不同的删除序列,则称它是模糊数组。

给定 n,mn,m,统计长度在 11 到 nn 之间、每个元素均在 [1,m][1,m] 内的模糊数组数量。答案对 998244353998244353 取模。

输入格式

输入一行两个整数 n,mn,m(2≤n≤3×1052\le n\le3\times10^5,1≤m≤10121\le m\le10^{12})。

输出格式

输出模糊数组数量对 998244353998244353 取模的结果。

样例输入 1

2 3

样例输出 1

6

样例输入 2

4 2

样例输出 2

26

样例输入 3

4 6

样例输出 3

1494

样例输入 4

1337 424242424242

样例输出 4

119112628

数据范围

子任务编号 分值 特殊限制
1 30 n≤7n\le7 且 m≤7m\le7
2 n≤2000n\le2000 且 m≤106m\le10^6
3 40 无特殊限制

对于所有数据,2≤n≤3×1052\le n\le3\times10^5,1≤m≤10121\le m\le10^{12}。