状态应设置 $2^{22}$ 个，多了会 T，少了会 RE。