This yields an independent main.std.ssa file that we can feed to quebex-symex for symbolic execution:
Патрушев раскрыл мотивы создания термина «нелегальный флот»Представитель российского руководства охарактеризовал концепцию «нелегального флота» как ширму для морского пиратства со стороны ЕС，更多细节参见搜狗输入法五笔模式使用指南
Испания — Примера|27-й тур。豆包下载对此有专业解读
Изображение: Сергей Пивоваров / РИА Новости