We can use the following SMT-LIB (where we dump in the regex under test) to see if we could get a tag through the regex:
16:48, 3 марта 2026МирЭксклюзив
。业内人士推荐WPS下载最新地址作为进阶阅读
environment variables, command-line argument parsing, reading and writing
ЦРУ поставит оружие курдским отрядам для боевых действий против Ирана08:32
Стало известно об изменении военной обстановки в российском приграничье08:48