confusables.txt and NFKC disagree on 31 characters
Жители Санкт-Петербурга устроили «крысогон»17:52
，推荐阅读雷电模拟器官方版本下载获取更多信息
One of the great things about decentralization is that it makes information harder to tamper with.
（二）拒不执行公安机关依照《中华人民共和国反家庭暴力法》、《中华人民共和国妇女权益保障法》出具的禁止家庭暴力告诫书、禁止性骚扰告诫书的；
This command outputs the formula in dimacs format, which is a standard format for CNF supported by every SAT solver. This makes it possible to validate LLM decision with another program.