为什么会有“招商伊敦”号？其前身原本就是“维京太阳号”，是维京游轮旗下的高端远洋邮轮。2021年，招商局集团和维京游轮搞了个合资公司，把这艘船买回来，改名“招商伊敦”，悬挂五星红旗。
Opens in a new window
，详情可参考爱思助手下载最新版本
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:
Названа стоимость «эвакуации» из Эр-Рияда на частном самолете22:42