AT_abc325_g [ABC325G] offence

给定一个字符串 $S$。你可以对字符串 $S$ 重复进行如下操作 $0$ 次或多次，求通过这些操作后可以得到的字符串的最小长度。 - 在字符串中找到连续的 `of`，并选择一个整数 $i$，其中 $0 \leq i \leq K$。然后，将 `of` 以及其后连续的 $i$ 个字符从字符串中删除。

输入通过标准输入按以下格式给出。 > $S$ $K$

请输出答案。

## 限制条件 - $0 \leq K < |S| \leq 300$ - $K$ 是整数 - $S$ 是由小写英文字母组成的字符串 ## 样例解释 1 在第 $4$ 和第 $5$ 个字符处选择连续的 `of`，并令 $i=3$，这样可以从 `keyofscience` 中删除 `ofsci`，得到 `keyence`。通过多次操作，字符串的长度无法减少到 $6$ 以下，因此答案为 $7$。 由 ChatGPT 4.1 翻译