hack 数据如下：

5 14 7
1 1
2 1
3 1
4 1
2 14
4 14
5 14

答案为：

YES

这篇题解输出：

NO

原因是可能没有打表验证所有状态集合的循环开始位置，导致预留的处理进入循环前的状态的长度不够， 使得转移出错。

将第 $16$ 行改为

id[i]=id[lst]+min(i-lst,((i-lst-8)%6+8));

预留 $8$ 次转移的正确性可以由打表来验证 （利益相关：可以使用我的题解里的打表代码）