丰川祥子一直在寻找成为人类的方法。上了大学之后，她加入了本校的 ACM 集训队，并开始打 Codeforces。

一天，她正如往常一样打算参加 Codeforces 线上比赛时，却不料点进去看到的是 Cloudflare 的验证码。这个验证码的要求居然是这样的：

• 我们定义 $$$S[l;r]$$$ 是 $$$S$$$ 的一个连续的子串 $$$S_{l}S_{l+1}\cdots S_{r}$$$ ($$$1\le l \le r \le |S|$$$)

• 若字符串 $$$S$$$ 的某段子串 $$$S[l;r] = T$$$，那么我们就说 $$$[l,r]$$$ 是字符串 $$$T$$$ 的一个出现区间。

• 给定字符串 $$$S$$$ 和字符串 $$$T$$$，你需要选取一个标记集合 $$$a = \{a_1,a_2,...,a_k\}$$$，使得对于每个出现区间 $$$[l, r]$$$，都存在一个 $$$a_i$$$ $$$(1 \leq i \leq k)$$$，满足 $$$l \leq a_i \leq r$$$。

例如，当 $$$S = \texttt{ababa}$$$ 且 $$$T = \texttt{aba}$$$ 时，出现区间为 $$$[1,3]$$$ 和 $$$[3,5]$$$，而祥子只需要标记集合 $$$\{3\}$$$ 即可覆盖两个区间，也可以选择标记集合 $$$\{1,5\}$$$，这样也可以覆盖两个区间，她甚至可以选择标记集合 $$$\{1,2,3,4,5\}$$$，但是这样就得点 $$$5$$$ 下，很麻烦。 擅长键盘的 Saki 酱很快就敲出了 "在一个字符串找另一个字符串的所有出现位置" 的代码，但她希望以尽量少的标记次数来完成本次验证，尽快成为人类！

塑料看完这一集之后立刻把这个问题丢给了你。你的任务就是输出最小的满足条件的标记集合的大小。