AT_agc067_d [AGC067D] Unique Matching

定义 $n$ 个区间是**好的**，当且仅当： >* $1 \leq l_i \leq r_i \leq N$。 >* 存在唯一的 $N$ 阶排列 $x_1,x_2,\cdots,x_N$，使得 $x_i \in \left[ l_i , r_i\right]$ 给定整数 $N$、素数 $P$。 求有多少组 $\left[l_1,r_1\right],\left[l_2,r_2\right],\cdots,\left[l_N,r_N\right]$ 是**好的**。 答案对 $P$ 取模。

一行用空格隔开的两个整数 $N,P$。

一行一个整数，答案。

* $2 \leq N \leq 5000$ * $10^9 < P