The complete code below, if you want to copy-paste it to try it out yourself:
再后来，谋生计是阿爸的第一任务。初三时，他为了赚学费去工地搬砖，复读了两年，还是没考上高中，他就去广东打工了。再后来，阿爸认识了阿妈，结婚之后，两个人就常年在外地。
。业内人士推荐下载安装汽水音乐作为进阶阅读
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:
Израиль «под чужим флагом» атаковал крупнейший НПЗ в Саудовской Аравии00:24