虽然老张的功力和严谨程度是远远超越常人的
但是筛法能做到这个程度是匪夷所思的
在同行评议的结果出来之前
我觉得证明成功无bug的概率可能并不高

大家谨慎乐观啊
--
FROM 114.253.36.*