P suffix — Predicate: check the type, returns bool
the engine detects these opportunities automatically during construction by checking (now symbolically) which bytes cause a state to transition elsewhere vs loop back to itself.，推荐阅读新收录的资料获取更多信息
，详情可参考新收录的资料
Израиль начал наземную операцию на юге Ливана14:50
Россиян предупредили о смертельной опасности лечения простуды алкоголем14:41。新收录的资料对此有专业解读
In order to have much more test runs, I streamlined the test suite into a docker image which you can run yourself. Almost all instances were on 64bit Debian 13, although I had to use Ubuntu 24.04 on a couple, and Oracle's ARM were only compatible with Oracle Linux. To run the entire suite on a system with docker you would do: