AT_dwango2017qual_b ニコニコレベル

[problemUrl]: https://atcoder.jp/contests/dwacon2017-prelims/tasks/dwango2017qual_b ニコニコ文字列とは、`25` を $ 0 $ 回以上繰り返した文字列のことをいいます。たとえば `25` や `252525` や空文字列はニコニコ文字列ですが、`123` や `225` はニコニコ文字列ではありません。 ある文字列 $ S $ がその連続した部分文字列として含む最長のニコニコ文字列の長さを $ S $ の **ニコニコレベル** といいます。 たとえば `52525`, `25025`, `12151` のニコニコレベルはそれぞれ $ 4 $, $ 2 $, $ 0 $ です。 ニワンゴくんは `0` から `9` の数字と `?` からなる文字列 $ T $ を持っており、それぞれの `?` を好きな数字に置き換えることで、数字のみからなる文字列 $ T' $ を作ろうとしています。ニワンゴくんが作ることのできる文字列 $ T' $ のニコニコレベルの最大値を求めて下さい。

入力は以下の形式で標準入力から与えられる。 > $ T $

ニワンゴくんが作ることのできる文字列 $ T' $ のニコニコレベルの最大値を $ 1 $ 行で出力せよ。

### 制約 - $ 1\ ≦\ |T|\ ≦\ 10^5 $ - $ T $ の文字は $ 0 $ から $ 9 $ の数字か `?` のいずれかである。 ### Sample Explanation 1 `?` を前から順に `5` と `2` に置き換えて `1252567890` とすると、$ 2 $ 文字目から $ 5 $ 文字目が `2525` となり、ニコニコレベル $ 4 $ の文字列を作ることができます。 ### Sample Explanation 3 `25` が全く現れない文字列はニコニコレベル $ 0 $ になります。