check 函数是推式子推来的，用来检查 x 是否在 $spec(\frac{b}{a})$中。

枚举分母，分子，暴力check可过。

建议加强数据/hack.

（代码贴一楼）