NTT 做的。NTT 部分应该没有问题。

对拍发现长度超过 $4500$ 左右会挂。

代码放二楼。