「CMOI R1」We Want To Run / Nilpotent

题目背景

![](bilibili:BV1qW4y1Q7Ce) $\small\color{white}54^{\text{th}}\text{Problem by ArCu}.$

题目描述

对于 $n\times n$ 矩阵 $A$,定义 $f(A)$ 为最小的满足 $A^b=O$ 的正整数 $b$,若不存在这样的数则 $f(A)=0$。其中 $O$ 是零矩阵,即所有元素都是 $0$ 的矩阵。 给定 $n,a$,每个元素都是 $[0,a)$ 中整数的 $n\times n$ 矩阵有 $a^{n^2}$ 种。对所有 $a^{n^2}$ 种可能的矩阵 $A$ 求 $f(A)$ 之和。 答案对 $202407031$ 取模。

输入输出格式

输入格式


一行两个整数 $n,a(1\leq n\leq 600,0<a<2^{64})$。

输出格式


一行一个整数,表示你求得的答案。

输入输出样例

输入样例 #1

2 2

输出样例 #1

5

输入样例 #2

3 4

输出样例 #2

793

输入样例 #3

5 10

输出样例 #3

59350891

输入样例 #4

18 15932416

输出样例 #4

52138206

输入样例 #5

1 1

输出样例 #5

1

说明

$\text{Sample 1 Explanation}:$ 注意到对于任意正整数 $b$,$\begin{bmatrix}1&0\\1&1\end{bmatrix}^b\neq O$,所以 $f\left(\begin{bmatrix}1&0\\1&1\end{bmatrix}\right)=0$。而 $\begin{bmatrix}0&0\\1&0\end{bmatrix}^2=O$,所以 $f\left(\begin{bmatrix}0&0\\1&0\end{bmatrix}\right)=2$。 一共有 $2^4=16$ 种可能的矩阵。其中 $f(A)$ 不为 $0$ 的只有 $$f\left(\begin{bmatrix}0&0\\0&0\end{bmatrix}\right)=1,f\left(\begin{bmatrix}0&0\\1&0\end{bmatrix}\right)=f\left(\begin{bmatrix}0&1\\0&0\end{bmatrix}\right)=2$$ 答案即为 $1+2+2=5$。 $\text{Details of Subtasks}:$ 所有数据满足 $1\leq n\leq 600,0<a<2^{64}$。 | $\text{Subtask}$ | $\text{Special Constraints}$ | $\text{Score}$ | | :----------: | :----------: | :----------: | | $1$ | $n\leq 5,a\leq 2$ | $3$ | | $2$ | $n\leq 5$ | $7$ | | $3$ | $n\leq 10$ | $10$ | | $4$ | $n\leq 40$ | $20$ | | $5$ | $n\leq 200$ | $30$ | | $6$ | | $30$ | $\text{Hint}:202407031=13009\times 15559.$