# https://yukicoder.me/submissions/692361 # これをベースに書き換え # ACL-for-python by shakayami # https://github.com/shakayami/ACL-for-python class string: def z_algorithm(s): n = len(s) if n == 0: return [] z = [0]*n i = 1 j = 0 while(i < n): z[i] = 0 if (j+z[j] <= i) else min(j+z[j]-i, z[i-j]) while((i+z[i] < n) and (s[z[i]] == s[i+z[i]])): z[i] += 1 if (j+z[j] < i+z[i]): j = i i += 1 z[0] = n return z class fenwick_tree(): n = 1 data = [0 for i in range(n)] def __init__(self, N): self.n = N self.data = [0 for i in range(N)] def add(self, p, x): assert 0 <= p < self.n, "0<=p 0): s += self.data[r-1] r -= r & -r return s def lower_bound(self, w): if w < 0: return -1 k = 1 while k < self.n: k <<= 1 x = 0 ww = w while k > 0: if x + k - 1 < self.n and self.data[x + k - 1] < ww: ww -= self.data[x + k - 1] x += k k >>= 1 return x s = input() n = len(s) z = string.z_algorithm(s) invz = [[] for i in range(n + 1)] fw = fenwick_tree(n + 1) for i in range(n): if z[i] >= 2: invz[z[i]].append(i) fw.add(i, 1) fw.add(n, 1) dp = [0 for i in range(n + 1)] for j in range(2, n): d = dp[j] dp[j + 1] = max(dp[j + 1], d) d += -1 + j - 1 pos = fw.lower_bound(fw.sum0(j) + 1) + j while pos <= n: dp[pos] = max(dp[pos], d) d += j - 1 pos = fw.lower_bound(fw.sum0(pos) + 1) + j for ii in invz[j]: fw.add(ii, -1) ans = n - dp[n] print(ans)