题目不是说 $b_n$ 在某一项后都是同一个值嘛，然后我就口胡了一些式子，感觉当 $x= \lceil \log_2 p \rceil$ 时， $b_x$ 及其之后的项都是同一值，前面就不是同一值，就这样提交发现AC了。也就是说我这个结论应该是不对的。然后我把代码里的 $x-1$ ，发现WA了两个点，其他点还是A的。 $x-3$ 的时候就是WA 6个点了， $x-5$ 的时候反而WA 5个点？$x-7$的时候A两个点，$x-9$ 的时候A一个点，$x-10$ 的时候就是全WA了。
然后我又去看了题解，看到别人做法的递归边界是 $p=1$ ，所以我就想，$x$ 会不会是递归的层数。于是我又把 $x$ 设成了递归层数，交一发AC了。我又把$x-1$ ，发现还是AC，$x-2$ 的时候就是WA两个点，这不就和刚刚一样了吗？那么后面再减应该也和刚刚是一样的，我就没继续试了。
所以我就很好奇，这个使 $b_n$ 在某一项后都是同一个值的 $n$ 应该是多少，能不能找到。但是我太菜了不会找，不知道有没有大佬愿意解答。
还有就是关于本题难度，我感觉这个应该评个绿就差不多了吧，蓝顶天了，怎么是紫啊。扩展欧拉定理也不是NOI级算法吧。