时空限制

1S/512M

题目描述

apiadu 去参加了 WATW（Walk Around The World）AI 大模型的发布会，他想知道该 AI 的制作者有没有自己的两个朋友 lzm 和 tom。

给你一个由小写字母组成的字符串 $s$，代表 WATW 的制作人员名单，请你判断 $s$ 中是否同时包含 lzm 和 tom，即判断以下两个条件是否同时成立：

• $s$ 中存在三个连续的字符组成 lzm。
• $s$ 中存在三个连续的字符组成 tom。

请你告诉可爱的 apiadu 答案。

格式

输入格式

输入一行一个字符串 $s$，表示 WATW 的制作人员名单。

输出格式

输出一行一个字符串，如果 $s$ 中同时包含 lzm 和 tom，请输出 Yes，否则请输出 No。

样例

样例输入 #1

lzmandtomwatwyyds

样例输出 #1

Yes

样例解释 #1

第 $1$ 到第 $3$ 个字符组成 lzm，第 $7$ 到第 $9$ 个字符组成 tom。

样例输入 #2

lzmandsluckystaryyds

样例输出 #2

No

样例解释 #2

该字符串只包含 lzm 而不包含 tom，不满足第二个条件。

样例输入 #3

sluckystaryyds

样例输出 #3

No

数据规模

注意：你只有通过了该题目的所有测试点，才能获得分数。

对于 $100\%$ 的数据，假设 $|s|$ 表示字符串 $s$ 的长度，则 $1 \le |s| \le 100$，且 $s$ 中只包含小写字母。