cnfgen -q randkcnf 4 $VARIABLES $CLAUSES
// 最后一个非叶子节点索引: n/2 - 1。谷歌浏览器【最新下载地址】是该领域的重要参考
，更多细节参见safew官方版本下载
if (largest != i) {
"We get a lot of people saying, 'I don't have a problem dealing with people'. And then they realise that they are not comfortable sharing spaces with other people.，这一点在搜狗输入法下载中也有详细论述