先压缩再证伪

先把序列压缩成最小模式，再用代码专门检验更强假设，能快速区分“看起来像”与“确实成立”。