We consider the example of W = "ABCDABD" first.
W = "ABCDABD" の例を考えてみよう。