AT_dwango2017qual_b ニコニコレベル

“ニコニコ字符串”是指由 `25` 重复 $0$ 次或多次组成的字符串。例如，`25`、`252525` 和空字符串都是ニコニコ字符串，而 `123` 和 `225` 不是ニコニコ字符串。 对于一个字符串 $S$，其包含的最长连续ニコニコ字符串的长度被称为 $S$ 的**ニコニコ等级**。例如，`52525`、`25025`、`12151` 的ニコニコ等级分别为 $4$、$2$、$0$。 ニワンゴ君有一个由数字 `0` 到 `9` 以及 `?` 组成的字符串 $T$。他可以将每个 `?` 替换为任意一个数字，从而得到一个只包含数字的字符串 $T'$。请你求出ニワンゴ君能够构造出的字符串 $T'$ 的最大ニコニコ等级。

输入为一行，包含一个字符串 $T$。

输出ニワンゴ君能够构造出的字符串 $T'$ 的最大ニコニコ等级，输出一行。

## 限制 - $1 \leq |T| \leq 10^5$ - $T$ 的字符为数字 `0` 到 `9` 或 `?`。 ## 样例解释 1 将 `?` 依次替换为 `5` 和 `2`，得到 `1252567890`，则第 $2$ 位到第 $5$ 位为 `2525`，可以得到ニコニコ等级为 $4$ 的字符串。 ## 样例解释 3 如果字符串中完全没有出现 `25`，则ニコニコ等级为 $0$。 由 ChatGPT 4.1 翻译