怎么生成类似于 $\sum |S|\le5\times10^4$ 之类的数据，没看懂 Mivik 的生成。