如题解，f[0][i][j] 表示的应是 $[c^j>=k,k=phi_{phi_{\dots p}}(i \text{ 次 }phi)]$。换个形式就是 $[j>\log_ck]$。但是这样 WA 了。链接

另外，对特判的正确性也存有疑问。对于 $c^x \equiv c^{x \bmod phi_p+r} \pmod p,r\in \{0,phi_p\}$，在本层计算下一层是否需要加 $phi_p$ 时，应该拿 $c^x$ 与 $p$ 作比较，而不是 $c^x \bmod phi_p+r$。