题目描述

给一个由小写字母组成的字符串，我们可以用一种简单的方法来压缩其中的重复信息。压缩后的字符串除了小写字母外还可以（但不必）包含大写字母 $\texttt{R}$ 与 $\texttt{M}$，其中 $\texttt{M}$ 标记重复串的开始，$\texttt{R}$ 重复从上一个 $\texttt{M}$（如果当前位置左边没有 $\texttt{M}$，则从串的开始算起）开始的解压结果（称为缓冲串）。

$\texttt{bcdcdcdcd}$ 可以压缩为 $\texttt{bMcdRR}$，下面是解压缩的过程：

输入格式

输入仅一行，包含待压缩字符串，仅包含小写字母，长度为 $n$。

输出格式

输出仅一行，即压缩后字符串的最短长度。

aaaaaaa

5

bcdcdcdcdxcdcdcdcd

12

提示

在第一个例子中，解为 $\texttt{aaaRa}$，在第二个例子中，解为 $\texttt{bMcdRRxMcdRR}$。

【数据范围】

• 对于 $50\%$ 的数据，$1\le n \le 20$。
• 对于 $100\%$ 的数据，$1\le n \le 50$。