add the minterm compression on top of this, that’s one extra (5th) detail:
if next1 == 91:
，更多细节参见搜狗输入法下载
[K-TECH 글로벌 리더스] 〈SK그룹③〉SK그룹 다크호스 ‘바이오’… 신약부터 방사성의약품까지 차세대 먹거리 선점
На Западе оценили соотношение сил между США и ИраномАналитик Джонсон: США не выдержат затяжной конфликт с Ираном