在ICT运维项目中，小慕负责处理设备上报的大量告警。为了提升效率，他需要从众多告警中筛选出最主要的告警优先处理，而次等级的告警可能是同一个根因导致的，优先级会降低甚至忽略。由此，小慕引入了的概念。给定一系列告警的主次关联关系，小慕需要判断是否存在以下两种情况： - 情况1：同一个告警是否存在多个主告警。 - 情况2：输入的主次关联关系中是否存在。
提示：带虚线的词点一下有通俗解释。
输入描述
每个主次关联关系单独一行输入，输入形式为"主告警 次告警"。 例如 25aba 68vup 25aba为主告警，68vup为次告警，以空格分割，主次告警的格式都为小写字母+数字组成，1<=告警名称长度 <= 256。
输出描述
输出要求为指定格式字符串： 1. 如果给定的主次关联关系中，同一个告警关联多个主告警，输出格式为[1001,(b,d,e)]表示告警b、d、e有多个主告警，按字母序排序。 2. 如果给定的主次关联关系中存在环路，输出格式为[1002,cycle] 3. 如果上述两种异常情况均不存在，输出[1003,Verified] 4. 如果主次告警关系中，同时存在1-2中多种情况，输出检查码最小的结果
示例
示例 1
输入
a b c b
输出
[1001,(b)]
示例 2
输入
a b b a
输出
[1002,cycle]
说明：主次关联关系为a->b->a，关系成环。
时间限制 1000 ms · 内存限制 128 MB