AT_abc325_g [ABC325G] offence

[problemUrl]: https://atcoder.jp/contests/abc325/tasks/abc325_g 文字列 $ S $ が与えられます。文字列 $ S $ に対して以下の操作を $ 0 $ 回以上繰り返し行うことで得られる文字列の長さの最小値を求めてください。 - 文字列の中で `of` が連続する箇所および $ 0 $ 以上 $ K $ 以下の整数 $ i $ を $ 1 $ つ選ぶ。その後、`of` およびその後ろに連続する $ i $ 文字を文字列から取り除く。

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

答えを出力せよ。

### 制約 - $ 0\ \leq\ K\