来源：张老师 2026 CSP-J 4＋1 拓展题 20 套；第 18 套，第 4 题。原题标号：D；原本地编号：Z4P1-18-D。

梦熊主义 (mxism)

题目描述

梦熊掏出了一个祖传字符串，据说是对这个字符串进行解密就可以得到梦熊主义的真经。

具体的，给定一个字符串 $S$。求对字符串 $S$ 进行零次或多次以下操作后，能得到的字符串的最小长度。

• 选择一个连续出现的 mx 和一个介于 $[0, K]$ 的整数 $i$。接着，你可以删除 mx 以及后面的 $i$ 个字符。

输入格式

• 第一行一个字符串 $S$
• 第二行一个正整数 $K$

输出格式

• 一行一个整数，表示答案

样例

样例输入 1

mxmxhmooosx
3

样例输出 1

1

样例输入 2

mxglmxrdafdsadxmyfdsfdx
4

样例输出 2

11

数据范围与约定

测试点编号	特殊性质
$1 \sim 3$	$2 \leq
$4 \sim 5$	保证 $S$ 中只有一个连续出现的 mx
$6 \sim 10$	无

对于 $100\%$ 的数据，满足：

• $0 \leq K < |S| \leq 300$
• $S$ 仅包含小写字母