From 838262369e3bff2c72a7271fa6b196c770f81336 Mon Sep 17 00:00:00 2001 From: psb0623 <81062893+psb0623@users.noreply.github.com> Date: Mon, 27 May 2024 19:26:28 +0900 Subject: [PATCH 1/7] Add files via upload --- ...fix-automaton-instead-of-suffix-array-2.md | 347 ++++++++++++++++++ .../images/suffix-automaton-psb0623/size.png | Bin 0 -> 46859 bytes 2 files changed, 347 insertions(+) create mode 100644 _posts/2024-05-27-suffix-automaton-instead-of-suffix-array-2.md create mode 100644 assets/images/suffix-automaton-psb0623/size.png diff --git a/_posts/2024-05-27-suffix-automaton-instead-of-suffix-array-2.md b/_posts/2024-05-27-suffix-automaton-instead-of-suffix-array-2.md new file mode 100644 index 00000000..b885d6c9 --- /dev/null +++ b/_posts/2024-05-27-suffix-automaton-instead-of-suffix-array-2.md @@ -0,0 +1,347 @@ +--- +layout: post +title: "Suffix Automaton으로 Suffix Array 문제들을 풀어보자 2" +date: 2024-05-27 23:00:00 +author: psb0623 +tags: [string, data-structure] +--- + +이 포스트에서는 이전 글인 [Suffix Automaton으로 Suffix Array 문제들을 풀어보자 1](https://infossm.github.io/blog/2024/04/25/suffix-automaton-instead-of-suffix-array-1/)에 이어서, Suffix Automaton과 함께 사용할 수 있는 여러 테크닉들에 대해 설명합니다. Suffix Automaton이 무엇인지에 대해서는 제 이전 글을 참고하셔도 좋고, 아래 글을 읽어보셔도 좋습니다. + +- [https://koosaga.com/314](https://koosaga.com/314) + +- [https://cp-algorithms.com/string/suffix-automaton.html](https://cp-algorithms.com/string/suffix-automaton.html) + +## DAG + Small to Large + +Suffix Automaton의 DAG에서 DP를 진행할 수도 있지만, 관리해야 하는 것이 어떤 값이 아닌 목록인 경우 Small to Large 테크닉을 활용할 수 있습니다. + +DAG에서 Small to Large를 활용하게 되는 대표적인 경우는, $n$개의 문자열 $S_1, S_2, \cdots, S_n$이 주어질 때 어떤 문자열 $P$를 부분 문자열로 가지는 문자열 $S_i$들의 목록을 알고 싶은 경우입니다. 이는 많은 경우에 유용하게 쓰일 수 있습니다. + +예를 들어, $n$개의 문자열 $S_1, S_2, \cdots, S_n$에 전부 포함된 공통 부분 문자열 중 가장 긴 것을 알고 싶다고 해봅시다. + +이를 위해, $S_1+c_1+S_2+c_2+\cdots+S_n+c_n$을 Suffix Automaton에 집어넣는 방법을 생각할 수 있습니다. 이 때 $c_i$는 특수한 문자이며, 기존 문자열인 $S_i$에 등장하지 않고 또한 모든 $i, j$에 대해 $c_i \ne c_j$인 유일한 문자여야 합니다. + +어떤 문자열 $P$가 모든 문자열 $S_1, S_2, \cdots, S_n$에 등장한다는 것은, Suffix Automaton의 DAG 상에서 그 문자열 $P$ 에 해당하는 상태로부터 다른 특수한 문자 $c_i$를 거치지 않고 **직접** $c_1, c_2, \cdots, c_n$에 접근할 수 있어야 한다는 것과 동치입니다. + +따라서 각 노드별로 다른 특수 문자 $c_i$를 거치지 않고 직접 접근 가능한 특수 문자들의 집합을 관리한다면, 집합의 크기를 통해 이 노드가 표현하는 문자열이 몇 개의 문자열에서 등장하는지 알 수 있고, 따라서 모든 노드를 순회하며 모든 문자열에 등장하는 가장 긴 공통 부분 문자열의 길이를 알 수 있게 됩니다. + +구현은 아래와 같습니다. 아래 예시의 경우 문자를 ```int```로 취급하고 각각의 특수 문자 $c_i$는 $c_1 = -1, c_2 = -2, \cdots, c_n = -n$처럼 음수로 정하였으며, 따라서 각 노드의 다음 노드를 나타내는 ```nxt```는 배열이 아닌 ```map```로 구현되었습니다. + + +```c++ +struct SuffixAutomaton { + struct Node { + int len, link + map nxt; // use map instead of array + bool has(int c) { // use int instead of char + return nxt.count(c); + } + int get(int c) { // use int instead of char + return has(c) ? nxt[c] : 0; + } + void set(int c, int x) { // use int instead of char + nxt[c] = x; + } + void copy(Node& o) { + link = o.link; + nxt = o.nxt; + } + }; + /* ... */ +}; +``` + +어떤 노드에서 직접 접근 가능한 특수 문자들의 집합을 구성하는 방법은 간단하게 떠올릴 수 있습니다. + +어떤 노드에서 다음 문자가 특수 문자이면 (즉, 음수이면) 그 특수 문자를 현재 집합에 저장하고, 그렇지 않으면 다음 노드의 집합을 구해서 그 집합을 현재 상태의 집합에 합쳐줍니다. 즉, DP와 비슷한 방식으로 진행할 수 있습니다. 코드로 옮기면 아래와 같습니다. + +```c++ +set s[N]; +void dfs(int cur) { + if(vis[cur]) return; + vis[cur] = 1; + for(auto& [c, nxt]:v[cur].nxt) { + if(c < 0) s[cur].insert(c); + else { + dfs(nxt); + for(int x:s[nxt]) s[cur].insert(x); + } + } + // do something with current set +} +``` +그러나 이 경우, 각 상태마다 집합을 모두 구해서 저장하게 되므로 메모리와 시간 모두 초과하게 될 가능성이 높습니다. + +따라서 Small to Large를 이용해서 메모리와 시간복잡도 모두 개선해줄 수 있습니다. 합쳐야 하는 다음 상태들의 집합들 중 가장 큰 것을 재사용하고, 그 곳에 나머지 집합들을 합쳐주는 방식으로 구현할 수 있습니다. + +```c++ +set s[N]; +void dfs(int cur) { + if(vis[cur]) return; + vis[cur] = 1; + int mx = -1, idx = -1; + + for(auto& [c, nxt]:sa.v[cur].nxt) { + if(c < 0) continue; + dfs(nxt); + if(mx < s[nxt].size()) { + mx = s[nxt].size(); + idx = nxt; + } + } + + if(idx != -1) s[cur].swap(s[idx]); + + for(auto& [c, nxt]:sa.v[cur].nxt) if(nxt != idx) { + if(c < 0) s[cur].insert(c); + else for(int x:s[nxt]) s[cur].insert(x); + } + // do something with current set +} +``` +이 경우에도 마찬가지로 모든 상태를 순회하며 각 상태의 직접 접근 가능한 특수 문자 목록을 볼 수 있다는 점은 변하지 않지만, 이미 순회가 끝난 상태의 집합을 올바르게 유지한다는 보장이 없기 때문에, 정해진 순서대로만 봐야 한다는 제한이 생기게 됩니다. + +### [[연습 문제] Substring Query (BOJ 19132)](https://www.acmicpc.net/problem/19132) + +$n$개의 문자열 $S_1, S_2, \cdots, S_n$이 주어지고, 각 쿼리마다 $(l, r, P)$가 주어지면 $S_l, S_{l+1}, \cdots, S_r$ 중 몇 개가 $P$를 부분 문자열로 가지는지 구해야 하는 문제입니다. + +우선, 특수 문자 $c_i = -i$로 설정한 후 $S_1+c_1+S_2+c_2+\cdots+S_n+c_n$을 Suffix Automaton에 넣어줍니다. + +또한, Small to Large를 이용하는 경우 원하는 순서대로 상태를 순회할 수 없기 때문에, 모든 쿼리를 읽은 다음 각 쿼리마다 $P$에 해당하는 상태를 찾아 Offline Query로 만들어줍니다. + +그 다음, Small to Large로 합치면서 각 상태에서 직접 접근 가능한 특수 문자들의 목록을 구합니다. 어떤 상태 $v$에서 특수 문자 $c_i=-i$에 접근이 가능하다면, 이 상태 $v$가 표현하는 문자열은 $i$번째 문자열 $S_i$에 등장함을 의미합니다. + +우리가 상태 $v$에 관한 쿼리 $(l,r)$에 대해 궁금한 것은 $S_l, S_{l+1}, \cdots, S_r$ 중 몇 개에 등장하는지이므로, 상태 $v$에서 도달 가능한 특수 문자들의 집합에서 $-r$과 $-l$ 사이의 값을 가지는 원소가 몇개 있는지를 구하면 해당하는 쿼리의 정답을 구할 수 있습니다. + +집합에서 특정 값보다 작은 원소의 개수를 구하는 것은 기본 set에서는 지원하지 않는 기능이지만, pb_ds를 이용하면 $O(\log n)$의 시간복잡도로 간편하게 구할 수 있으므로 문제를 풀기에 충분합니다. + +### [[연습 문제] 문자열 X (BOJ 23053)](https://www.acmicpc.net/problem/23053) + +$n$개의 문자열 $S_1, S_2, \cdots, S_n$이 주어질 때, 이들 중 정확히 $k$개에 등장하는 서로 다른 부분 문자열이 몇 개인지 세는 문제입니다. + +따라서 우선 특수 문자 $c_i = -i$로 설정한 후 $S_1+c_1+S_2+c_2+\cdots+S_n+c_n$을 Suffix Automaton에 넣어줍니다. + +그 다음, Small to Large로 합치면서 각 상태에서 직접 접근 가능한 특수 문자들의 목록을 구해줍니다. 우리가 관심 있는 것은 각 상태마다 직접 접근 가능한 특수 문자의 개수가 정확히 $k$인 것들이므로, 집합의 원소 개수가 $k$일 때만 해당 상태가 표현하는 문자열의 개수를 정답에 더해줍니다. + +Suffix Automaton에 들어있는 문자열이 단일 문자열이 아닌 여러 문자열을 이어 붙인 것이므로, 해당 상태가 표현하는 문자열의 개수를 정확히 구하려면 추가적인 처리가 필요할 수 있습니다. + +## Suffix Link + DP + +어떤 노드의 특정한 속성은 Suffix Link로부터 유도될 수 있습니다. 예를 들어, 특정 노드에 해당하는 $endpos$의 크기 $\vert endpos\vert $, 즉 특정 노드가 표현하는 부분 문자열이 전체 문자열에서 몇 번 등장하는지를 알고 싶다고 해봅시다. 어떤 노드 $v$에 대해 등장 횟수를 나타내는 속성을 $size$라고 해봅시다. $v.size$를 어떻게 구할 수 있을까요? + +간단히 생각해봤을 때, $S$가 들어 있는 Suffix Automaton에 문자 $c$를 추가하면 전체 문자열 $Sc$의 모든 suffix들의 등장 횟수가 $1$씩 증가함을 알 수 있습니다. 이 작업은 $Sc$에 해당하는 노드 $v$의 Suffix Link를 타고 올라가며 만나는 모든 노드 $v, v.link, v.link.link, \cdots$의 $size$를 모두 $1$씩 증가시켜 줌으로써 해결할 수 있지만, 루트 노드까지 만나게 되는 Suffix Link의 개수는 최대 $O(n)$이기 때문에 Suffix Automaton에 문자를 추가할 때 마다 이 작업을 진행하면 시간 초과가 날 것입니다(문자열 $\rm{aaa\cdots a}$를 생각해 봅시다). + +어떻게 이 과정을 더 빠르게 할 수 있을까요? 문자를 하나씩 넣으면서 업데이트하는 대신, 문자열 $S$를 Suffix Automaton에 모두 넣은 후에 작업을 진행한다고 생각해봅시다. 즉, offline으로 진행하는 것입니다. + +$S$가 모두 Suffix Automaton에 들어있는 상황에서, 위의 과정은 $S$의 prefix를 나타내는 노드를 모두 찾은 후, 각 노드마다 Suffix Link 상에서 루트까지 타고 올라가며 만나는 모든 노드에 $size$를 $1$씩 더해주는 것과 동일합니다. + +아래 그림은 $S=\rm{abcbc}$일 때의 Suffix Automaton에서 prefix를 나타내는 노드를 초록색으로 표시하고, Suffix Link에서 위 과정을 진행했을 때 각 노드의 $size$의 값을 표시한 그림입니다. 각 노드가 표현하는 부분 문자열이 $\rm{abcbc}$에서 몇 번 등장하는지 올바르게 구해짐을 볼 수 있습니다. + +![](assets/images/suffix-automaton-psb0623/size.png) + +하지만 잘 생각해보면, 어떤 노드의 $size$는 Suffix Link에서 자신을 루트로 하는 서브트리 내에 존재하는 prefix 노드의 개수와 동일함을 알 수 있습니다. 이 사실은 위 그림에서도 쉽게 확인할 수 있습니다. + +이와 같이 서브트리와 관련된 값은 트리 DP를 이용하여 $O(n)$의 시간복잡도로 쉽게 구할 수 있습니다. 굳이 루트까지 Suffix Link를 타고 올라가며 모든 노드에 $1$씩 더하지 않아도 $size$의 값을 구할 수 있다는 것이죠. + +Suffix Link는 노드의 부모 정보만 저장하고 있으므로, 노드의 자식들을 모두 구해서 실제 트리를 구축한 뒤 트리 DP를 진행할 수도 있겠지만, Suffix Link의 특성 상 트리를 구성하지 않고도 DP를 진행할 수 있습니다. + +단순히 Suffix Automaton의 모든 노드를 $len$이 감소하는 순서로 정렬한 뒤, 순서대로 점화식 ```v.link.size += v.size```를 적용해주면 됩니다. Suffix Link의 특성 상 $len$이 긴 노드부터 방문하면 위상 정렬 순서를 만족하기 때문입니다. + +모든 노드를 $len$이 감소하는 순서로 정렬하는 것은 커스텀 정렬 함수를 이용하는 경우 $O(n \log n)$이지만, 모든 노드 $v$에 대해 $0 \le v.len \le n$이므로 Counting Sort를 이용하면 $O(n)$에 정렬할 수 있습니다. + +따라서 전체 시간복잡도 $O(n)$에 DP를 진행해줄 수 있습니다. + +아래는 각 노드가 표현하는 부분 문자열의 등장 횟수 ```size```와 각 노드에 해당하는 끝점 집합 $endpos$의 원소 중 최댓값 ```max_pos```를 DP로 구하는 예시 코드입니다. 기존 구현에서 추가된 부분은 주석으로 ```added```라고 표시해 두었습니다. + + +```c++ +struct SuffixAutomaton { + struct Node { + int len, link, nxt[26]; + int size, min_pos, max_pos; // added + bool has(char c) { + return nxt[c-'a']; + } + int get(char c) { + return nxt[c-'a']; + } + void set(char c, int x) { + nxt[c-'a'] = x; + } + void copy(Node& o) { + link = o.link; + memcpy(nxt, o.nxt, sizeof(nxt)); + max_pos = min_pos = o.min_pos; // added + } + }; + int head, tail; + vector v; + vector t[N]; // added (for counting sort) + int push_node() { + v.push_back(Node()); + return v.size() - 1; + } + SuffixAutomaton() { + push_node(); // dummy + head = tail = push_node(); // root + } + void push(char c) { + int cur = push_node(); + v[cur].len = v[tail].len + 1; + v[cur].link = head; + v[cur].size = 1; // added + v[cur].min_pos = v[cur].max_pos = v[cur].len - 1; // added + int p = tail; + while(p && !v[p].has(c)) v[p].set(c, cur), p = v[p].link; + if(p) { + int q = v[p].get(c); + if(v[p].len + 1 == v[q].len) v[cur].link = q; + else { + int clone = push_node(); + v[clone].copy(v[q]); + v[clone].size = 0; // added + v[clone].len = v[p].len + 1; + v[cur].link = v[q].link = clone; + while(p && v[p].get(c) == q) v[p].set(c, clone), p = v[p].link; + t[v[clone].len].push_back(clone); // added + } + } + tail = cur; + t[v[cur].len].push_back(cur); // added + } + void get_dp() { // added + for(int i=v[tail].len;i>0;i--) for(int x:t[i]) { + v[v[x].link].size += v[x].size; + v[v[x].link].max_pos = max(v[v[x].link].max_pos, v[x].max_pos); + } + } +}; +``` + +### [[연습 문제] 문자열 함수 계산 (BOJ 12917)](https://www.acmicpc.net/problem/12917) + + +각 노드 $v$ 가 표현하는 문자열의 최대 길이 $v.len$은 Suffix Automaton을 구성하게 되면 이미 알고 있고, 문자열의 등장 횟수 $v.size$만 구해준다면 답을 구할 수 있습니다. + +위에서 설명한 것 처럼, $S$의 prefix에 해당하는 노드의 $size$를 $1$로 설정하고, 모든 노드를 $len$이 감소하는 순서대로 정렬한 뒤 ```v.link.size += v.size```의 점화식을 적용해주면 각 상태의 부분문자열 등장 횟수 $v.size$를 올바르게 구할 수 있습니다. + +모든 노드 $v$의 $v.size$를 모두 구한 이후에는, 단순히 모든 노드를 순회하면서 $v.len \times v.size$의 최댓값을 구해주면 됩니다. + +DP로 $size$를 구해주는 것이 $O(n)$, 모든 노드를 순회하는 것도 $O(n)$이기에 전체 시간복잡도는 $O(n)$입니다. + + + +### [[연습 문제] 좋은 부분 문자열 (BOJ 13432)](https://www.acmicpc.net/problem/13432) + +문자열에서 겹치지 않게 두 번 이상 등장하는 서로 다른 부분 문자열의 개수를 세는 문제입니다. + +등장 횟수는 위에서처럼 $size$를 구하면 알 수 있지만, 서로 겹치는지 아닌지는 **실제 등장 위치**가 어디인지 알아야, 즉 각 노드별로 $endpos$ 집합에 대한 정보를 가지고 있어야 알 수 있습니다. + +생각해보면, 한 노드가 표현하는 부분 문자열들 중 겹치지 않고 두 번 등장하는 것들을 모두 찾으려면 **가장 처음 등장 위치**와 **가장 마지막 등장 위치**만 알아도 충분합니다. 어떤 노드에 해당하는 $endpos$ 집합에서 가장 작은 것을 $minpos$, 가장 큰 것을 $maxpos$라고 합시다. 그러면 어떤 노드 $v$가 표현하는 부분 문자열들 중에서 서로 겹치지 않게 늘릴 수 있는 최대 길이는 $v.maxpos - v.minpos$가 됨을 알 수 있습니다. + +어떤 노드 $v$가 표현하는 부분 문자열들의 개수는 $v.len - v.link.len$라는 것을 기억하시나요? 어떤 노드 $v$가 표현하는 부분 문자열들의 길이가 구간 $(v.link.len, v.len]$에 속하기 때문입니다. 그런데 우리는 여기에 속하는 부분 문자열들 중 길이가 $v.maxpos-v.minpos$보다 작은 것만을 세기를 원합니다. + +따라서, 각 노드가 표현하는 부분 문자열들 중 겹치지 않고 등장하는 것들의 개수는 $\max(0, \min(v.len, v.maxpos-v.minpos) - v.link.len)$처럼 구해줄 수 있습니다. + +이제 남은 것은 모든 노드 $v$에 대해 $v.minpos$와 $v.maxpos$를 구해주는 것입니다. $minpos$는 Suffix Automaton을 구성하는 과정을 살짝만 수정하면 쉽게 구해줄 수 있습니다. 그러나 $maxpos$의 경우, $size$를 구할 때와 비슷한 문제가 발생합니다. + +문자열 $S$가 들어있는 Suffix Automaton에 문자 $c$를 추가하면, $Sc$의 모든 suffix들의 $maxpos$가 $\vert S\vert $로 업데이트되어야 합니다. $c$가 추가된 위치가 $Sc$의 모든 suffix들의 마지막 등장 위치가 되었기 때문이죠. 그러나 $Sc$의 Suffix Link를 루트까지 따라 올라가면서 만나는 모든 노드의 $maxpos$를 업데이트해주는 것은 너무 많은 시간이 듭니다. + +따라서 $maxpos$를 $size$의 경우와 같이 DP를 이용해 효율적으로 구해줄 수 있습니다. 우선 모든 노드 $v$의 $v.maxpos$를 $v.minpos$로 초기화 해놓고, 모든 노드를 $len$이 감소하는 순서대로 정렬한 뒤 ```v.link.maxpos = max(v.link.maxpos, v.maxpos)```의 점화식을 적용해주면 각 상태 $v$의 $endpos$의 최댓값 $v.maxpos$를 올바르게 구할 수 있습니다. + +$minpos$와 $maxpos$를 모두 구한 후에는, 모든 노드 $v$를 순회하며 +$\max(0, \min(v.len, v.maxpos-v.minpos) - v.link.len)$값을 모두 더해주면 정답을 구할 수 있습니다. + +마찬가지로 시간복잡도는 $O(n)$입니다. + +## Suffix Link + Sparse Table + +$S$로 Suffix Automaton을 구성했을 때, Suffix Automaton에서 $S$의 부분 문자열 $S[l..r]$에 해당하는 노드(상태)를 찾고 싶다고 합시다. + +먼저 Suffix Automaton의 DAG를 이용하는 경우, 루트부터 시작해서 각각의 문자 $S[l], S[l+1], \cdots, S[r]$에 해당하는 transition을 순서대로 따라가면 $S[l..r]$에 해당하는 상태로 이동할 수 있을 것입니다. 그러나 이 경우 $r-l+1$ 번의 작업이 필요하게 되며, 최악의 경우 $O(n)$의 시간복잡도를 가지게 됩니다. + +더 효율적으로 $S[l..r]$에 해당하는 상태를 찾기 위해, DAG 대신 Suffix Link를 이용할 수 있습니다. + +먼저 $S$의 모든 prefix에 해당하는 상태들을 모두 전처리해놓습니다. 배열 $pref$를 만들고 $pref[i]$를 $S[0..i]$에 해당하는 노드의 번호(혹은 포인터)로 정의하면, $S[0..r]$에 해당하는 상태 $pref[r]$을 $O(1)$에 찾을 수 있습니다. + +이제 우리가 원하는 $S[l..r]$은 $S[0..r]$의 suffix이므로, Suffix Link 상에서 $pref[r]$의 조상 중에 $S[l..r]$에 해당하는 노드가 존재합니다. 우리가 원하는 것은 특정 길이를 가진 부분 문자열을 찾는 것이므로, $pref[r]$의 조상 $v$ 중에서 $r-l+1 \in (v.link.len, v.len]$을 만족하는 $v$를 찾아야 합니다. + +그런데 Suffix Link를 타고 올라갈 때마다 $len$이 감소하는 특성을 가지고 있으므로, 이분 탐색을 활용한다면 해당 조건을 만족하는 노드를 $O(\log n)$에 찾을 수 있음을 알 수 있습니다. + +이분 탐색과 유사한 아이디어를 활용하기 위해, Suffix Link 상에 Sparse Table을 구성할 수 있습니다. $par[j][i]$를 번호가 $i$인 노드에서 $2^j$번 Suffix Link를 타고 이동하면 도착하는 노드의 번호로 정의하면 $O(n \log n)$에 $par$ 배열을 모두 채울 수 있습니다. 또한, Sparse Table의 아이디어를 그대로 활용하여 특정 조건을 만족하는 노드를 $O(\log n)$에 찾을 수 있습니다. + +아래는 위의 ```SuffixAutomaton``` 구조체에서 위의 과정을 구현한 예시입니다. ```get_par()```는 Sparse Table을 초기화하는 함수이며, ```locate(l, r)```은 $S[l..r]$에 해당하는 노드 번호를 반환하는 함수입니다. ```get_par()```는 Suffix Link의 구성이 완료된 후 호출하여야 하며, ```locate(l, r)```은 ```get_par()```의 호출 이후 사용하여야 합니다. + +```c++ +struct SuffixAutomaton { + /* ... */ + vector pref; + int par[18][N]; + /* ... */ + void get_par() { + for(int i=1;i=0;i--) if(v[v[par[i][cur]].link].len >= r - l + 1) cur = par[i][cur]; + while(v[v[cur].link].len >= r - l + 1) cur = par[0][cur]; + return cur; + } +}; +``` + +또, Sparse Table은 특정 부분 문자열에 해당하는 상태를 찾는 것 이외에도 Suffix Link 상에서 다른 작업을 하는 데에 유용하게 활용할 수 있습니다. 예를 들어, Suffix Link 상에서 두 노드의 Lowest Common Ancestor(LCA)를 구하면 두 문자열의 Longest Common Suffix를 $O(\log n)$에 구할 수 있습니다(Suffix Link의 의미를 생각해보면 쉽게 알 수 있습니다). + +### [[연습 문제] Prefix-free Queries (BOJ 19332)](https://www.acmicpc.net/problem/19332) + +문자열 $S$가 주어지고 각 쿼리마다 $(l_1, r_1), (l_2, r_2), \cdots, (l_k, r_k)$가 주어지면, $k$개의 문자열 $S[l_1.. r_1], S[l_2..r_2], \cdots, S[l_k..r_k]$로 이루어진 목록에서 일부를 뽑는($0$개 혹은 $k$개를 뽑아도 됨) $2^k$개의 방법 중 어떤 것도 다른 것의 prefix가 아니게 되는 집합(prefix-free set)이 되도록 뽑는 방법의 개수를 구하는 문제입니다. + +Suffix Link는 suffix를 관리하는 구조이므로, 일반성을 잃지 않고 임의로 어떤 것도 다른 것의 suffix가 되지 않는 집합(suffix-free set)이 되도록 하는 방법의 수를 생각해봅시다. 이 경우, 문자열 $S$를 뒤집어서 넣고 쿼리의 $(l,r)$도 뒤집은 문자열에 맞추어 적당히 변환해주면 원래의 prefix-free set이 되는 방법의 개수를 구하는 것과 동치가 됩니다. + +먼저 문자열 $S$를 Suffix Automaton에 넣고 Suffix Link를 만들어봅시다. 어떤 부분 문자열들을 suffix-free set이 되도록 뽑는다는 것은, Suffix Link에서 조상-자손 관계에 있는 두 노드를 동시에 뽑지 않는다는 것입니다. + +따라서, $k$개의 부분 문자열 $S[l_1.. r_1], S[l_2..r_2], \cdots, S[l_k..r_k]$에 해당하는 노드 번호를 Suffix Link + Sparse Table을 이용하여 $O(k \log n)$에 모두 찾은 후, 트리 압축을 이용하여 Suffix Link에서의 조상-자손 관계를 유지하며 $O(k)$개의 노드를 가지는 트리로 압축합니다. 압축된 트리에서 조상-자손 관계에 있는 두 노드를 동시에 뽑지 않는 방법의 개수는 트리 DP를 이용하여 $O(k)$에 구해줄 수 있습니다. + +위 알고리즘을 이용하면 쿼리당 $O(k \log n)$에 처리 가능하며, 전체 시간 복잡도는 $O(\sum{k} \cdot \log n)$이 되어 문제를 풀 수 있게 됩니다. 다만 이 문제의 경우 Suffix Automaton + Sparse Table + 트리 압축을 이용하면 시간 제한이 매우 빡빡하므로 유의하시기 바랍니다. + +## Suffix Link + HLD + +Suffix Automaton에서 각 노드의 $size$, $maxpos$와 같은 특정 속성은 DP를 통해 구할 수 있다고 하였습니다. 그러나 예를 들어, 다음 두 종류의 쿼리를 처리해야 한다면 어떻게 해야 할까요? + +- 문자열에 마지막에 문자 $c$ 추가 +- 문자열에서 어떤 문자열 $P$가 등장하는 횟수 출력 + +DP를 이용해서 구하는 경우, 전체 문자열을 넣은 이후 offline으로 처리하여 값을 구해야 하기 때문에, 위처럼 문자를 추가하는 도중에 online으로 $size$와 같은 값을 구할 수 없게 됩니다. + +online으로 값을 관리하려면 글자 하나를 추가할 때 Suffix Link를 타고 올라가면서 전부 업데이트해줘야 하는데, 이는 최악의 경우 $O(n)$의 시간복잡도가 걸린다고 언급하였습니다. + +그런데 이러한 종류의 업데이트는, Suffix Link로 이루어진 트리 상에서 어떤 노드과 루트 사이를 잇는 경로에 속하는 모든 정점들의 값을 전부 업데이트하게 됩니다. 즉, 본질적으로 트리 상에서 특정 경로에 포함된 모든 정점을 업데이트 하는 것입니다. + +따라서, Heavy Light Decomposition(HLD)와 함께 구간 업데이트가 가능한 자료구조를 사용하면 해당 쿼리를 효율적으로 처리해줄 수 있습니다. + +HLD와 함께 구간 업데이트에 Lazy Propagation을 지원하는 Segment Tree를 사용하는 경우, 어떤 노드로부터 루트까지 Suffix Link를 타고 올라가며 만나는 모든 노드의 값을 업데이트하는 과정이 더이상 $O(n)$이 아닌 $O(\log^2n)$에 가능해집니다. 따라서 매우 효율적으로 원하는 값을 관리할 수 있게 됩니다. + +HLD를 이용하면 DP로 구해야 하는 값을 online으로 구할 수 있는 것처럼 보이지만, 사실 HLD도 Suffix Automaton에 전체 문자열 $S$를 넣고 난 이후에 Suffix Link에 구성해주어야 하는 것이므로 여전히 offline 알고리즘임은 변하지 않습니다. Suffix Link의 연결 상태가 변하는 과정도 online으로 관리하기 위해서는 Link-Cut Tree와 같은 다른 자료구조가 필요합니다. + +### [[연습 문제] New Occurrences (BOJ 19299)](https://www.acmicpc.net/problem/19299) + +문자열의 맨 뒤에 문자가 하나씩 추가될 때마다, 문자열의 모든 서로 다른 부분 문자열의 등장횟수의 제곱의 합을 구해서 출력하는 문제입니다. + +문자열 $S$의 맨 뒤에 문자 $c$가 추가되면, $Sc$의 모든 suffix들의 등장 횟수가 1씩 증가합니다. 따라서, $Sc$에 해당하는 노드의 Suffix Link를 타고 올라가면서 만나는 모든 노드의 등장 횟수를 1씩 늘려줘야 합니다. + +이는 특정 노드부터 루트까지 이동하는 경로에 있는 모든 노드에 등장 횟수를 1씩 늘려주는 것과 동일하므로, Suffix Link에 HLD를 구성하고 Lazy Propagtion을 지원하는 세그먼트 트리를 사용하면 $O(\log^2 n)$에 해당 쿼리를 처리할 수 있습니다. + +이제 남은 것은 모든 서로 다른 부분 문자열의 등장 횟수 제곱의 합을 구하는 것인데, 이는 세그먼트 트리의 각 노드에서 원소의 합과 원소의 제곱의 합을 관리하고 Lazy Propagation을 잘 구현해주면 어렵지 않게 할 수 있습니다. + +따라서 위와 같은 자료구조를 세팅한 뒤, $S$의 prefix $S[0..i]$에 해당하는 노드 번호를 $pref[i]$에 전처리해놓았다면 아래와 같은 과정으로 문제를 풀 수 있습니다. + +- $pref[0]$부터 루트까지 가는 경로에 모두 1씩 증가시킨 후, 제곱의 합 출력 +- $pref[1]$부터 루트까지 가는 경로에 모두 1씩 증가시킨 후, 제곱의 합 출력 +- $pref[2]$부터 루트까지 가는 경로에 모두 1씩 증가시킨 후, 제곱의 합 출력 +- $\cdots$ +- $pref[n-1]$부터 루트까지 가는 경로에 모두 1씩 증가시킨 후, 제곱의 합 출력 + +각각의 작업의 시간복잡도가 $O(\log^2 n)$이므로, 전체 시간복잡도 $O(n\log^2n)$에 문제를 풀 수 있습니다. \ No newline at end of file diff --git a/assets/images/suffix-automaton-psb0623/size.png b/assets/images/suffix-automaton-psb0623/size.png new file mode 100644 index 0000000000000000000000000000000000000000..16b112e68db81c4ee847887ff7c8c72fda8022b6 GIT binary patch literal 46859 zcmcG$c{r8b|3A7>JS995qEN;sk$K2Al}u#}5u(gO(#AH^qs&7{#%)OEBxK4)9#h+} zkvVKKZSywnZQf_ydOqLZ_k7RqI@dYpy3QY6y6=0fb+5JV_xtsJy@$2K^>ozf&a$6{ z!C-Wn8h7r)V5e~~7?t)P)G!#uv9LK4ctC-;uYMc$343`FT%5AMrF{zqD~qK)d~zCG zpLwqF5CMa+GD80-I{3GgV6dtz%{#XYy)0Ia0zW>Q^S|PA$;j2Rt0i3j^)qepDe4zb zo;lit4fdK};S~S-?ctl+&G6>87yAnl6uJZ_zLy_%sh!1DsAS5>qT1<_94dbN53Ur= zygK!^w}!5)_*`7K7PD9v9p9a=t|h}7hbqT~LM6kKbCvW5&Pw?7Bi~Z4%-HS0hrWc$ zVN+jJdu$`VE_3IjE!&qcYTaUo^)C_s{SQyM^Jw`BrjeXq8`f?ZJK6DvyY%*2mZ{|K z)m(OOq#g(R;hXz(Xm|lVUBDks!=JRJ*Vn>!3aG&qyWf$+y2@Rt^|dUyljdG0&Hwno z?#*TxNv-s8nl|rrqgO;`X}zaiN@4#LjmPfuvffsikBRfu5@AwK5wB0tHT*dARCCFu zZuCW#eUo%t&&dldm25=mn|*9LnDJPW+|At{)7V)DJt~q1iz8nvI;Wh8N z?#ssRU-{)zQ@inTp&E|u$UHXn>FmTU56On6Nw1mc)*ozz)EN=2mt~({A+y!`6um^Y z$KO<7%4y1s5mDM$f7m0OcgQ1iET93_ZL%F0m3Te!H24Eg_o2Ltm{^8^^I_g;hteVm|Y_X}3#30!V1-VEW8F};4t-&}h4wLg4wt_qC)sluKR^~f?X%OvNKQ*Oe0YLBmnS3Bt--r9AyH6?!3uu`>k6vB5q# zEhGNHP=#==NHv)2wmo}=o`&nme~Vt`{|!Vh^v%=p!V_%Oa9mRVEvVFk@0%DLC%A1f zQXTP$Gcw{)G1L<&xUPHFlKXcz#Jxje^mK+oM3DH^JQXN z@024mUB&}PkKjNEI>nYZ5Eq6%JxZe)9PFSD#N;ON=D%s!{&BCunY3nAf~()1j>MSs z{sz~t)Qx)9B0R3!{u)x-*ep}i;VFY?G~9=IQ4i=)NatZuZeL^cS{us=ZmO5w^e=Kl zDzTPjC0X8JNq+mlL#gkI0Wc;k%ZZtR$9q=SCP4p;B?qHmuBuR_=TpjM?rO+pi@#Xr z?v;c;H3Aq)jpL{{{p0n zyg{|sQ*D8MirXr~jR=Wm2@zACPECjnSvyf&)8@|OgP`gcuxU!WiK`ej3pKQ&n`$>X zPMuRzdJ}+LNdH%AuKRTLQQ-^eVTH@IpA1z*f`3((H-)C8q#%wm0Pas&#dP#esZTAD8k{V`CAc$kd;l%*kolKRw0yLMOd`KQ2}@(NB6@$R_+MLF z_OSYsNtQAD;h$eG5$j6p1POhayBovv3c4PEUo1EeT*qzZp_|%YAd6I>J8znYV<+3* z+>b^}6aX+k1#E?t)wn>BJ^Nu;x}1lgt|hmX_myYXH$B)Yr<04B41Sjg0mBhKjtm%hP1?2~Js ze=C;wu#a6WIP*QWuw2D{#^SGwG1N+`D7prO-3-Zp{pX?mUboAh->cE!(3~b+efwZS zdR;?$wc_BEZw43cP)3ve@Peiz|H+6U6W$3SSc{Bb4(rT_Vf$y9PE-2vQDNtE+Z5T^ z{Z1S0ah7}JH_4y?oc8@z*Z=x6X0wKKn={(3sq#miY^3YiQWHI;b?q~}Dt>ya2Hmm|E-GkX^?8ha#hO6&c z2?L`AtdUiZqzjs4dY1-^@ls2>?Rsk7ZeI9h2uFKMs&R6qw~*4izyxMB^~ zlWx?z9?)i;r6lJi_$&V2jqZ%YgTSSmH|n>4OryTtc3;;rYUJ=mE-XBGBIlLI-yu?{ zQ#Tp53bWr52`&sv^(m_0lpI+2BKF8UnOVcw@(A4a;m(*m~ z`d6}H{)AJ@Uze|F)AYFC8G6*_c;vb5-G02;i6GEm=PhXxFG%gw{Oz%`NblEo{o!y) zXL&G9B#p8FhkQasfPYzU4hI}-v#^1`ZprnH92b{1n9BR8lydkTq8HvrVtq>B z?(5H`IsCeXhnhki-#K)gLq~;j`V@H0MHRkt_?prlLj9wuTDhosO{R@+@CoS>PsIz{ zGFW$3uxt4DECUYGeMZ8iYL9$U+)_4DefCmDLN~6!fT*TLGx!JAXl^#f@&)7(r<+Yr-e0s(+Xy7e< zMxT>asKZ4*sSm;S?s*ErrTdCqIl=a_Mrr-FlaCSe%1nz>Y+7R#w$)T0sNL6vJ(dOv z{j|K1EnBojov64ruXGe%_{Nu|MRe2Kg()*$x%UID+O(=4GmB@E@_4#F&&Yqcfj0eX z9(zeE<=qJ7k>|=p-w=KAWK2EWeOoJyW#oCY=bEi#Nrew_)P8GJ*wSY)ch=sl2ti)d z4g5MQ$EXc=9f%wtXbYXtF~!O{S!y6K4PSkruo$ENPzyi;qqJkgDtfZM}Ohx+Y5a*kft4&&FpSi{p#|*=kc>%tr&YL z@k6j{9Fu^Kjd3IC5k?0Mx2iX3-0(@hBZO_P9JWYXX{qBG>g+K)Y`x-Z-|mE&TN^$TDAXtoG5a9#wfL_fS<+MfB*k``~E2~cIJsnl856IZW>ZhSXDPJwaATO+2vy;Q|p z?akuXv^;+TJ))5X(pF|#5IkAqW?f#f7KOA#8g1?wwh%+?o>H)@McRF2S(*~5TPe3u zKN>OcEeBTV`Ef&eaBL=I5-WyQqeeJIGodj)-bq+0pouoU^o#DFY=9Sqd*Fj4u6#U* z9>Hp~`bi~7FUHA#`5QcdlhBBS->Q=4XfA3SCC`%=oG)JGI+@Wue*DYE9?%EQWr}|_+*U9-FO9I9?)Ooijb$U|^8Wppet@AR6`rd<(KG%F*`X2k*mp}G3Bdov;FHcK zvw(+{djAnz&-D$7Jjt~H|Lm~UCdq{<$CB4_yQ8C{Hb8n?h>zLb*WY~BqYKCuF=Xvn zP&W-G%yR$blNB6#+TC+Attx;w(A;w!GGCsMvqbV4Z9;l(TQ85_yKc-v`z9|qluzhw zx5x!+!U$a38t3y=g@(aj)?>*K_Y$ct&tR1Ed*PBV7td+*HmMkVw0I=+jZMzWA)W&s zak>}SuXn%g7mO}9IF$W>Slx*7e?CKpq5X89(VFPU(CAW-y-;Al;ia?@%ypPG!mbV4 zrH=0G(8P0ib|oeF1eCq$lS!MrVc5IXqhu-6O(Iksje*5!EzG8My0QrVHMpp_t}KVJ z{A>T(Os|%lS3#B`4cV-5#|(q@&i)I&yIX5$uPd=QmHqd9jzcB#mXZJ*|74~R&v3yv z%h7#Zk0;W0Iv981us`$Iz04z3jfO$0e*%+)Oj$x-+hrxLCRgjUkYc%HmuoMo>mtB7 zdGCsfMOX^Y|JglLeU9!=4&qC$Rc+6CMltmLe4Jvy47Ah}aZpxSocbTu{0){P>!te| zjP3)1#^DMIu1vK!PQk8$r|(skLk3a*sHKwpZ%y*!*XjrjEC0}nbn(1E$l&2Eo7z|i)YJ-HOk2GhdoaK;tR(qRsm>8coVJ;L~ zi{mK~)sOrf%X2t+t<1jpfydL4mIoI9{kl$_+z7Sb#m15IM+EhL)JiamBQJ`e;0D?A z^fS2#d%>u8FE_w#DS)4EVAwo_{ZsSovokZ`wYJaLE;69t{X0LM>|VbT>#ddG(ANn! zsTB{D?e$yRIPOmC5u(~!7*C0D8N<3`IrbZv42A>${B{W}0k_1xWx>0=w#ZrZh

~ zx?UQL`B`6Qvd|R6VQ+QKY3Ks2vL+roizb=^DpI~ex!v7(xvg|kN8wJJh38tm4MD$| zW`1Futu&xRwAp8G&WZxOUvZ8#|69xAI9se^qUO2CSLs+(p8@B~!v5NR`Gk*KDyra7 zbaQCr>xlJXD&c&Dy;pyEx!iFA+Uh}UN~=LChp0-qaQZ-pV;*CfZFXw{cUEb92O zl7-MfSfi-JRg`b!j%3NR{GH{<*Bi?RBSGHoYr;%2bu~T{KOqLArG}O!gj~!$qg8zA zpnmP^ayhG|pBUSQ>E?*f6HiT3wMf@E;1UUrX6JJcp(I{@-BD$I^!C5LeRWH)FG1UL zI#LyFf1bE9ny}Ks8tJ7wIe>FyMETNwBh6r$ddQy@E!R3Sf`C`*vSXnJVKgtZC>kn@A!a zHTZe|mWZPW>+3Uv#+Jev3OrRw0F}dU#n7ed;4KVnLu*a&0ULa-_dExJ?>IYMoM_(z zP@piX&v3r1q#;ErKBT{Pc-#tgU>R@_`CIs<0uMKA)KAQI$ETX8T;~0CG z_oSmJ$`_EOTJr21fgirK28B2TG6_-keRTED$;0 z$9-#S9DBR`vuBq15V6@YZmLh0DzO)35eyCHx!LY(fDzyoS5ptH+NF0=;gadt`gxXR znlUBdl2f|Cp^`yUXl;T_nsdq15L(wNVi-ofLzse15=^g!ZvE@;F)yg!P|G$D`p>< z9&L_rH(S(}d%@g+=0D77c-U4GBHDo~yorMEs0Rs3c_KTe%luOjh2q0 zMfP2gdJm-DC`DTzPYXo+T)s=?0 zI8*i}8>@{`U{yr)$F|h07sk!53_6mSDkcAhOXkY022kc{;&IRG2Sz|VZ7ANiuuO#c z>AF_J(C}jc-3%?yAt0m0o-BLkYgW8OYG>nDvO_sLlJ0Fh1mD!Y<-m83A?qDJTCKNs zc;qD&4NEuuOeG+T8bVc>9ZPPU#I>HGdw|gmY@+-AFtyND&EHrmF1_*7+noH;DW1av z*&=h7OmhDxf^FVbZ{-tiP=5gka!p< zl*C~~k^}Nzl&i|WZ@Qq=o}U>YccMYU$<)8qL1}Btl@Gooj`N=|+UvpUG;Hl)cYpO{ z{#9ivLF>L2SE58d+-l9)i{VnrSONNJ-5$ei_8Rl!x9-^^{kcc=)msi44qKWLof`;z zhVOhyKU-M||4q;@GPgqEaJ?B5Bgc(3TH1TfU3I!Y3sG9zDn}~s=TwDOKL!BUOT{k( zyKo`afWzYsnm8}h=#87f4%g-Qj)`6~wE#-%?L6}NDl~5i35nJRP6a*JA_##5-vrQp zG{w@rPxYSX3S*_B>p&{D{+C_gdajNAgl>y8yK8sqZsw*|I&n5Zmmj`dt`eJxob)F> zECqW>m8S|mD69GNTjkAb0#=tQhdbR*aiDzt<_$w9bS0i%wW zBD)=7kE-^%9JkMKnqL{O1LpviAWG9YFs_i{@wofim(Gqvp4xi`y8M+~8ojmsH{{Gs zZ{z7_zJSmrEFl+>@BdzsiY^}!>UK}doO&kjH*e_vGQgVu^cMgq)Vw#aUD>yNQfkhr zY2bA#YG%1!$RSg6CPi)tJW7qLm$(J4Znd8QcC_&AOMa+n-#tSj737KLTUH@zuRuuN?YOpaK^gAWYosaj(_wa!}&|n&VN;?mBJd10=e}c4VrC^~YR*o)U3EIa{|*E~;b|)cB7t~#e2)lA zSxH=S+Xw3g6I(3+cHO|z>~Pia18K(}AI;Eg&h0+*BwCJCTQ|ihRT-JJ$FkCjngZa= zdth1cPD@!$1uQutK>*0z(k<>PDe?YfjV|WmsFzq&A)6{u@yACF_LjzTd4j+{2u6#f3Upa`ithOqyrRWV}Q!v5*L)=SIet1lskTxk6gBJlN1 z1O;fXF4o@NuC!BD!7mYspOz{(FMR&ppBzYJXoFr4WkYitM|J}(094R8VqPwe$7ruPUsyT$N^?~}- z`Y$VrcX^0>kN2DnCff2wPL>6S@ut-hYNoz2PeT+J#vOB8LWxl%@!huP5>44AcEfes?y;elfB0eRLa4l%v%3vwG|a2nE-KzG*VikI2TVwApybh zeIW42Zf&lHXtLHdUN;q#Fk0SM+LiJp`@Id zSgb-@Ez<5_16P(dM0cm)GzuXsF-lsOl&NHXQCnz! zCv3K7lO0Z6z0Trr9R-(E)>4p19E2upby@D01_+p~W)zp? zAVS$Abrc4(^QX;}_KH`Kfh1%k@`t+|vY_z$cLUV!eMa)tUcZ1&J(bLT1|%PREzF|a zo5OEwk4~jKoh0&30KS6qUBf`e4uLxPpnWkGG?UH&b$UFs9z(GTmG;kS%>@E1z&3X& zWJa)Bcx8`>YeVndYnxor_WZ%v7Z(303I zxqUiUj#Tr9V>b5YG^8**b{*ITzXso0__TLwyDKwrT5Hwu^?G>oiUy@zV;h`A< z5aA8nC34otS?xTq_hwJ;POj-i0N>xSpjOzd%BEQ4C<%i_M=cDHe{mgWd(pT6G^5@F z)FI^vM>w(|rZw)Rjr!uYGFJBRnIab1F8@tD|L;BM|K()EviNxkFqj@wJQ4;gID>)1 zU<0paIbg7-w>RlwFsZBFG_au5H)txDvbF|};{Ve88#kx_cAqnFk4J&?Tn_og#J;g= zTg$_rr1H{0k{1!hL)JZ(;A{s0vyZIH?FX>O1K^DuAdHhJFtz;baI##0e4H5)Gos@x zQbh}Ejz?3avz#Gv;n3Gof?@@&4$8P-7vGXqgC0cM?BkTk#Wv*%pTdqbrztMJA}a(v zhiHLxAyOCUl=aAU3Qa)_0ocSf?~8?Kb2|}Q#5q1 zPkVLgP$`S>5|oQuOtuUu6;?&5IfE>ACn+7G57z2LGGi4I<#plHHPgGW$71owEU6pl z^?wfY?iS8^|72`uZl{4o#-XW7-1xl%6;nVnG3q z^9(QrAQas!nEkIFt-*|uExvkg=DDE2;xx=89jrC);;c7j8_Bq z(k?t(Y-T8>CRY3d}%fq_J z0!&Rj>B>u*E4Mc32k!AMg9rvgo^v|JH_Yt-)(hQiUYi(9yYDs*ZYe$ZI{%&~s~+re zrIGjUciwnXyr4WRA8hVY_)|obed$+Ce!>%wpri<@0)jTkDA6|H820@`0!c4%;~1v( zdX^)(;Vbr|c=W77GA(CTB`@Kd`(;JHdF}zZvO1w7E0u+s5{&DZAsH>A6HRj&G8a?MdSYZ1cgHQry${4 z5vcY?@I0I3%EZ4jd!~7E^LX4Fq*Rt8PQy~~Y|_&)YW{)(EBs?K5hIf=@qJ?9Gm{ne zy5ggp#x2MEFL37H&-Tj3BMWLT#%v5l8uKMAYpSjUzHh#*b|r@NKJvz0{^5j(5%Nfn znV$ruvNhPBwzZm>n7C+1F6n96X|JU#F$hEJpP|vRF=d(67l#Jk*6vW4>TJ>*NH461 zCwI>-c{nA6Z-3#Av5&9#xH3^E0|!3Y7NW*&rfqt(wRPhWa>4_1$H$bhT_SF)3KRvw zlpks0p8T^`PwJB02ovA9dD{{-lYdp7xBp8TlM;=5BudeH^+6OW*CBGKZT=Y&d4jf zfVV_YYvV-z101!PyPHf5_yZB1N}WasLu4FF8}^?bv(aCc)ssh5$$rvUH^3m27!PXa zQ=K;F0I{)i4cJQSG0mS0n@L^p9s>ypSe6bnon~Ibc zzG;!se3Buvd*WuUw1?4+KN-+$W#fw2#;ih%>PNcd9Ih;FXpDYNX#|LF#}SmQ`iEkp zc)c?RKBvge*Vtuok5+j+5L@5g)3WU=rP^bGPME^8I%N0@h{O0`nLjQG4m*%1kOO<&gdwU0zu z<&|?aaoO|J#C_L#FC+2n48xY=_JA}pW8_RdNc+W~+4;atw8U(&u$FTwS;)h(?gGL5 zQ_OC^sh-4t0*$Uq)|H_b+8gbAGHhNz#$a$7U1Dh|1k+=VM>-^HoE;|jaq%at>Z>|8 zR%!YgCR%$Y)+kFTs%+ex-imrUpA4Mz%*<+yh-LBSNZN-Kf~r80nVZG9^)C-5?*cNh750X7StCZx9vzkOP4z3o(ip3(RzYU;{Evd4axUb==O1$(a#GLa7 zYRy>{4x6aH?LwFukgXO8s#8-f9nh5}z88JQ_u9AkKZiES-gQ8$#vW`6o zpGePRc5`xKR2-Ie)oGNw0gUYz&Adr?Js`yxGwQRn8%m?B4Q~2`)9NjYtNS!A$8~=;{-(W}--DC#l%9S(^6}T{ssph>o-L_4Nc6>{uy zJyaFAwCoJ>=PsQVejBZPJVTcX>M6cN&2q3WfXtQmdG{UP$waL#n&=S=XPK%%79-+D z(RypWt#2I>1T4e%vKYtAK7$@_L66z0v1gqLD8p%mrLd#%jlNjBQBW&|W2=imEtl8l zo+s$5uh{qJX}4xj{JaOm4oY-}^Q}%W9z-8WTxHgn>Lk9qTi(v`^HQ%TgqyTCYOeUM zUmr^dhtz_rz3G(J9yWKwH()kSJ^tigX+4Dtq+*eRvnvb@Z?y^pI3UuarL0wdGb{R% z%zR@$wuXfBjWlLuT~^$iO#rOp2V*;9J5{f=k79E9Ev7fgaWkMcQ{p!>l6D@^yL{DJ z>f57xCq-F~4Isr7i1EC*x_W#-(B=P8ueLIiuXNnXrzaKlWRL6~|FuJ4=!|00v+vh5?PTFFyDMV(@t zRt60K_<^k>wadnrxtKnK%)4lf#c@#7B)*wJDP8LXZo!W5$0L*9-%21cUw>c&`K*{( z@4}jcrjk)>-BnByoQY@>GYnES$OfJ|5c%$@AJT1cYuymLN_8&tCa5MmK8PU>NACJ_ z!aao`(l%WK=5m6C!Tf}zN1hKor__BDFkAQa`4=IVd}U(zkrZKXZAXra#17%TmR>CK zi~nM7(&psyNwq?M+OEIi(RM$W2%v?z;7f3OhhAfs^v*<~x<5faF_>Xkk?#ruKx}#< zdeU!Md#?w$XDOtN0PdLUF|lXlygr+lm>)i4jRYpW$^_A{>)${=0{h%^Pt{pw=dge~ z<{sE%U~CN}9X2_q{UHh}wt#=4QEbdgJ0s?Bo|8}qaC37Gs^3M7jaE7tL-EC%nf~*= z*(zJOeq9Gw<*|jGtUR3z`4oX0g{L5E$kg8YHfoA;=%$-Q0SBDhsb^-;@{pT+ly`oi z_5Fdu+{~@2K}ZPIfDo2h9xWMrQzqQ~@ULj;^Nu%1xTGIH!bVQ#>Dl_;7Pu03 zcD?(xLHuJCBzqQu0ff#Z5#5uAnMCR@fM&DX z0iWL6b`uJN^N%;H0rhkZi9H*62R(dMvdltE$nH;DU-*kz4e?)`(pGhdRhOfEiOEyj z`=c;+4WNBh{s%<)jg;D>W(?>OMuO<_K+F9>(o8$3(rPfa^&R`-Xduo=keWWi5Lv=~ z?V~m+A3+Y0N+eWTHdbzXFXN&xbD70Q-RRbloo8{MNwOk`pVe?Uol+Ur;B$184loQ{ zIidA+{?(#^xfe`P-WI+=MF8g{N6DLwlE|ojXX@c7>??4|mYlQi`rhsO@x$;aohFDK zVE=&jIp)QgX9Zi5-ceo&?L?{zz&r5}o1M@@gfg(w(%Bv(vwneFMlwrv+0yG-{A3X0rtbd?z9rCn>9tZb-(L^x=$)27YWY#$T?<}CDUpwM6xL`ZpxS;;rE99f;j)v>KRe)B{Id-Z_5*>8-5SU^Boq!zlwa(cH<1*GCx z9-jll=XYbV^Wj7gkxA2P35_0k<{SvVW-F&|@jtI~TxwJb(_|^=xV>piUGP}c=q4l= z<1-N{WD@!Mq^s>Y_>s+^l)s-+uOP5(mG94I-2EiLTt@D2*x!9Vh|IbQoPg!SCF90a zpJ@xV%j%bP`6T^!wfgbZG^UW-Fmxqx8H6q$@Vkld#0bPVEm=i$w6wIcZX--qT^M`{F@MZ1=^Zs{)x$Oq3{CY@RfD(5r81oZ0#v`iH*A75oC!$n= zIFNBzi{0@Jm;EH$a90-KgTrTOKeenlup(i)cyy^r8Mp5|e)2AV4{a-x(y?ikm*L*xW>~(2E2K+Ytn%xG4P*ePG55cW-3bTeYS;IU8>zZlI{|7>VFfpU4{r(z z^-(`B?vA*wG)n&zzkwEReiif+NM=d3V}D*a-$q#`bYx%z(G3;aN~W_p1f2yMaX}|t zHcnvpq++PWw>NCH)zkW*a`+uQq3TJhR@OTpjI?2FkGU6Pc6aj?-)VJ$5~Ayq2BT~? zA${-Meu=d;3I`UzDuFC!DY>vcu-ezi`Wy7wE)@=6g({(yrGO$XSf&;IxbgV3AlQm; zkKa`;G`^|QN<3o-RuGTv2VDc+x2T-U-Km+ekShNf zm=*xTpuTXMs^rAE|EZ&v@FK#uSDHAAi{Yzd)%ft;8Doog9D8#Kv~5sz?VcZ-M0KF- zB%r-4K!vq{3J1OX@2c4tc&JPSl4=V@%=~URaE=TRGo&ZgWOf#=k1HW>0XL?LtuB1E%?E~z(|lG#DX z$v^zAmtgH$jK;Y2gh0SyrQhBfP4#?FI|9Ti1p;pfZf^LHd_lTC(6*NLx~Lu47N5!sW2HL-BWNfg9Gf$+!jVE2R;XE6zhn&X{eGvPBumjP~xfo=QJ^0U%u>lFzkECn+b zAC-n5BxQPeVIuY5)+0)POdlm04$e?M)g@5&K98Gv28yho)lSYT*uAYirW)o=z^?(v ziW4|&#+oj5GeV+(X$G;d@p?C|ly{ax`4p{;I-Yn^=j2{YZF}5z5S-Qx(0_{GvUTSt zxKTK1T_4@szYjTl#t)xOpNdKb5UEP7i35j7;uN6FBzQsC?2$hg+H=jV3(qOhdFMmk zs}(IAPZPnVS&XU>AX?oeZsF z{~CRlvE7Ikq6n~NAaY;6XJHQhcj`%f^2w+LfM^TE?e-i`-NW3GV=fe1qg6E@VV{{Z zD9z=L$&of9>C_>?SixYd-irU|Y0urf&c&;QfalBRKRA_)(R12+LgH>sPj7DX-_VMl z+hx<&5gFYxuYCqWb8eR_FR*@YIDD}I%L)XaaQ_8hzTOxQ-gz-Pn};_=ESEo_lVW+Y z34V(2ft={^DOPbDluGrhQ>s9+{zf}Zx|?q)4xMB~#Lm|HjVrVtKuAUMOZnI?ZS{%d zWr^P}TXU(Nc(77SA?!kqs24F<#| z%CHN@q={^S5Paz9SBqGk``1WNSyXO+u! z78ncIu^>T{`mZK16Yxc0MYky#Ao~n6Du?PupGyO|HqePNB%=iM)h)(zb6Z;gX_ z@PRpt9R!mOZxKPj`bvsn{xpzQY2B*E&#vmnvhO+t_q(fclCBe8<_);L!`q`?; z)Jw`>`|pi_+R2QllcReQk;N+07HzrYC1e*9gA{=8pwoBGH-OM{?VLqC37;9Lcz`1B zy|;Of*4s{4iJf5x9^uzxIIg5rX7JI*O>Sk7Y>?#k5)7|*Hju&k%~EEVPp{MF@k!); z@;Ejada|JP-MTHM=C8_wJ@K!Z*SYeCR;8xvl@)e}&%zYKPE{w(9+3hFAR4Z8q#>?p z@s}JE;RNI|NNf1cg@9+!X*s`!%rFw=&XnbK*!Gq4<6v@7Vbt4I$A`TUpG{#6Gax7fHap7`#2mvDDfKz#v#@FF^@21cgGF z=3h?(gPuOIlQNc2n)@D2wVZX;Ep&gQ6ri;Y#IB%IC*p1~EpWSc;k1UGPo(3}?VFHS zWf=+7xU>~w1>ch(Zc&jDNozcFG`9spPYEI-Z>QSjl#h0kXkpeY;hPdlB&F>8w7G9SiVKZxX0}? z3y&kdvnw!%bjiPUf3 z&$vV0GbZ@J)eDEPF$YXru{Llp2 z8&Srbg#jb~e@~kHzs#}x|J6K*6Igk>OES;8Zh(?v=hg^j@0J(xtfds+Y5>l$JO`;- zXOL)y5<8nU^ZN|8nKiDuRirc}OvY{+86ImAgP*Q^Q4eU|VLeRrDX@w+z+u4-bM63q z{;|C8CV^a78b*3ch;^a(RscXp&ir}PY40CLx#YuYOba?Q%%!EuDh(!j7WC|o;Z#T! z_&KIT&WsP=6=fWYa%oqDJ-!II_zuJ*1cnP+eBUx2g!xl^%K{v<*yZP!YjEVAH^#>I zGULJ5)vB?GdMf2W@W^R(vN4dGnY0$>pK5wO=oW|{J&<#oZZSMh61SRkJNG+7bk}?5 zz?UqXVxr6a?@clSR#E}{!IekGhkBiD7+8|%YNZLErnkpz4OkrpQxQfIw z@{t7Qlus&S`-OID*gYtPq~BWP%NBwKIV!RltOSr`P*~_n0p$*YzHT+1?qvrWvVn*AZYmDUZOB+$oajO%L;Vz8^>*^v9OF*A;11iw3cgbH(tus{(;rmy z`s}4Q0tns0BQ4=tkjMZ$^G4?bKo`}8+7TP3Jyw%(HSJs%fMDzcI*}^eR?Eto8)L{j zMRiE=W?3<#poL1A0cZjux}xY2y)WBqs1ottyqp{V+T7=)uv^81iSrVZFl8C=P9ZT~ z+i@9XK_-&8+SM3%+c&Cj+)(!x)xsIhzkfXR5V1BKM6#Arem(_SpL6TO^R7Mki2^>c zpxaAfn9$=_WZ;2dmIhmIQ@QIpo`G?I-t|(~+(c@&YLHwiVOm1lX^VeUXRb{Ly&tTZ&uF3M3Uvx4Rf+Gx>A z)|~W^^Fcqi8Y%T$v>QY#jRC330=rPOyt~miQU3)S1+)~pzGj!8?-rmk*60tr0=Qa{ zfMB=FSJ3~4#c7B~=?S~k|GsiiATz-R|4bwTFN;R#yB>GY1K=|Dv$E#3btjqpgh(08 zh1Z)Vuk&@`(H7llWhWrOi*8Sr9$N&AdQ&-E19?A=qV{IDCnCz%!6Qt9S4>-jKhz7T z62Cx*PmQRDd-}bgA+V+dMj5vI*Ekg>tzcgwKzgt-87F$9+-7?kEmwV_{cYC;o9)!t zLU5IVHE3@nMOffes{p`mcZt}Qka&Kf|(pk0vmtTXliYXcuZS#XO!+-N;yx zcO^{*20|yzh|C)q4cM`Q78y>k^}q9zr&-P42*jR50>lWQF0rg+Wd3ifWG$*2TEabJ z3A&0YT3rX>BW>|`mjQEo7&u=9(mFuT=g-UpTaIRcXwh#i7t^IW-?oWX*!<3ex#O1{ z=EC1IR&$X|-)jOoyn!l%G_3?TIBi=Ltt`EB{lN(z!j4f!H3-gkB*R^2=Iu;i(I9jl zG6I5pRp7@F5->#B>GA#pxsjk21tr(cB!Prgw>vA#Af|tvsHg_bpBLm;zX2o@xbH@Y z8Nm*H@;8^PyX)h^i75b)+GQMMDnhm z#4LvZb|NpUOtgq`fx6w_)`;n*D^xoTlYBYL@znW%xC)(}F%~b(uxSx%DH~9|ybPUl z(kg<$*jmXIn$-mie89v)L5H`$KTOVOa>m2}vn^@$?}Pw@OpP#G?}1M9a4STIS%+H} zeU)uXe!`!4V!zq~aMRO+AUZ*FQm2py&em{tWcU+Dr}YCNlV%-1NCLl}ajkBn?b4RN z#S0AID5-%|Kb_cWRJdf(b_Z)VPQe=VGXdTFHXWSe_WmKQu^9l)xgFMnQ1gkYlYR!V z4ALNnn+_|q8q<-~^Sj}o6PBl8OCa;a#B#>&T++298co~` z2$a{JWo(xgE+Z6li11qI^7S0G$TVz3uRzi125Bv=6*R!7tRW~F8uwWfr!GJg_O`rj zj`rDoz5xsR8VB;7s{inNbD?sv_8@~~rl=sEjXgTJrmNp|pGYUIJ#?z37s z%%8BRsdiZfwCxnJ9|b=)zyK=%k*)!A!)J{L6{CP%hKKnN1MP{hR)n$>g&B8R8m{}| z9)K+F@0R1>2THKK@55Vs&NCjwSQn&iqI1tLYu=gb0q=ye>fk$2C!-V$j&%5jXQKXP zR|T1%S^Tn_nlKimGyiQCQUlm=Iid$HlVTIgV`V93aCgF=sKV6&rLMKg+ZoGBf2PYc z+rtC_{h})eNtkfMDQm8>QqzdqE^D>K{>-bf9?SDsGr>_#+b&e~h$}}+YcV6t5O7rX z`Gvk5@A%y*<0=6r!V~T)wy_xh0qn14SKbwre%D9vNz^&Lc~iU?n991n@g?I(j)Dd% z!@JtYB-p-3(`nY(GczYy%NBt5YR=cI9y+-(y$7BsFg0Gk=;pkAH!%VU;a;E+R(2Wf zL1xsaIf+AQnQ0&6VbmKS3^3Qa4_9ax)HvKkRJk~?Js&|Xg(uv?zs z#Jd2~7C7})G36b3N0vCjW>gJ|)?wei3{C~oJvITS8@gPZEcxFK2TrA~K!G)m-9Fq( zs8S&Jf1Dh;OVYChmsbT|NzAhv$vp3R{c$+*G0C1m>F_ymyI z)w799pv)tq_-jk`1(+7@2icb*n#q6{L>9$>r`1^w@|UxWog3!pAz882C#2U&ROe2! zVZ4{MMpz3Djqm$8{Q@#t2&M5^BsvWjJ;|suz7s{G0O^zE00T2O(v@EJ;^Cc{q{suH zC#h@rb6GS-zQyEFZnV181ooI6u&D}ni)2$85A>e{z$h7jP*^ID$CIangJtm?lgG0&R#O{I2`tz3~1?_htsG*#j$lAiH z!(jP#bP)cis>;?={3PGQ+PLQz@*v8lh^=KTKcsYz^6x} zb&brP=`iP({Y{*a>HYp(yP2;KmN0ta8w<8JF@_Fu?Pg>SO^l}Y@ZaJO%MhM=CdkH6 zg%(mJD|-cP0bbzBIZ6F)C71FIFmGFN31DS%30TYbmo-;ZG)8dkj(f8bkc8ud6pPAp zY7Ii`v$r2W2l)ezAUv9B+eBG&_i58%m8l&EOBE5O!D8&N#$$TB9?`QQ>-)Eavx6CF zpnl8g=IGBzk^T#kIHpLj57`(K_ogWg2^3!xytC^D4-7&|FI+-Gm05yzcidJcFd?t^ zLzcJgt=2m%C&!Y0>Aj>NV`AV{)yMTJ?*WwH4V!fGN4l|{(l>f-{aBP;LiKcdB1SRS za)^d^63qGDC1@wS5RRFcfZbFVG6RKm_^;j$MqT&X56aa7Bs$R4syS*SsU}uGZd973WSnWan@w1agMV8L)SEXb>>NSfp`}Xy+4dIgjbZp^%+R zM`${Httzt{4lpK8{!o{?!OtgUpLoY6Gc&XLArXozPyFb{T~`4mL`z@WQ?gKFvQ@^{ z8v+4?U_qZksOh)I+RIM2>V>G3D$t})xJ>N9P-{oj-*mc?*|MDj`rNH~)0Y z1_##TL#C_yTc$LFrR%-Kp-``f^^I49-k9WOxMv&@crX^Vi?4LZ4KlA`D3584E7KWJeMa0UNr{@X} zKHM#4KL{m-Up&;hXc`1w-?4dPf)1^h06;+Ir*FS$xMWhGM2%$nsVyi6u;$a#a4bwO zSQ_$~OMTmR?Co!upCR};c;(sME~nSl6Ur&MS@k8%$%xA0pfsDx*Yo?NpGmKbXI3Pv z_g8DO`^1_lCUS93T1a|o>K=bLt^DEBHSW+06c#W^RALL03=WC_k|JP^D0mD^Gm-&6nCV(nvqTJ)wy1QSU`be_2k(10_wz(+W>T$Wd5?zVsoRtltvm8Uk~L zP0Pjab>c#XW+kL4kyuy7wuh+vI_p(RJH$nq_EPwQFdc~Jon~`?x)qx?thiF^|`x1E$1SxToo!kZ&R@VT#*3xNbI>XwK z0_GQ@0TZNLFF6_!8GqEPz7wK~OXS<+?xG4|YQK4~3F#5WK|XDV2AxlpNHAs51q+NW zEb4Gg2wA&@PbepHS(LsIo|g1=26&0DIRoQZ;{SNF+UlZZ8>)18H$LE)|M*KMph;#~ zDYU_FcIu)^EY($aqr?RFa>9RmAtxku-=eAt6NGA6#plIL_7|<-Wnr{`%TyLsk-5wy zN3{V4DW-k&H#+C3v&t!#prgX-4v-oq)lPsVXtYGV;<&qT?a%7whoJC)!-WcgYARff$`{RTSw(Lx zSBe%3QC1N`cHr#0S-c8hT+aN0740Xh0&>Y;j4ROuvNAV!1MqsI3ji^%UrGuERmlQl zStb;k8+Xq>KoapZb|2W5VVFY1EJ#ibjVvqObV2sV`^?)SPk(Kkk=;#lBJ_WLYI30H z+N)qn^7DOBg;nW*ia9v46rUJ)SkjT}#b2D?n!LrH!%HoGybyl+w*r-HFsWY5`EDwp z#YVtrp{;h+>@faO2ll@(g(x0v_T;884Eibp=GfJXbFcVS$;SN-&8f8Uc-22^S*YhJ zCp$Yjo{3NqpnDpwa3MoK&`F@r_jszJOo?W>&@W)lrf#ZM<9o5`TMC*cut;RO&L8w4 zaLztLaJB#Fs7bGb)}P%s+K-2TB4b}TTqSq$kkmE)-4>Kd;ZHU-y~6tE@gyhd&w^p< z7squGq6hT&{_}rkcdt}c_q#@?&o@|$5?|c*f}<;RCD+)JH<sGwUffdZC6-NUAS)+c{m(Q$%n&Rn4kUUYsS0^!Z<$qUw9p zj&&sXC(kIq;(On--F@`0co>P z=6e}M^O6DmMl>A~?}{$YfOEtvwBlk&F-3@LvP-_bn=~73AR4szi8I*6lK~RpB3hKj2noY+=D62|xsF}=!m?Ygqnxs4 zjMhTpmv7%3hO|Ai!Tu7_63=?&({wx%{|Ab1$!Sysgmo`ulg@rR1U1aKEI&vz`>^AC zvaMb+CSQt{Ox=0{B4iekr|<${QLq+S2nVD@I#&;T7dswtapxuaZ@&(PQ6t^c&yyY6 zQp1h?FNB52l5&2-^SH<(Cx7YrMJPZV!whIU)HKMe?~DAYotJizKR_ zl!K_MT-Wa4+{aw|Vs6b`%tO&hoWlXe*u5diXIzHskT)l12N{o1Bf3upC>_r7`O!N$ zY6!QF-q1A8kBa@7f0y1u3?9=GuxwNZkHPoyHQt4+1>Zr1Q|&MlytJpE_PsyAVApKP zefwFJ4TdCp$@4qC@d27|2MPc5Q z$}>i~>0hW+kK^~jxckbq;_t!wJUVEddsHoVgEZa1O*;d{o%E2Ai5pm)<_8qIv*0n+ zlE3YMcx+2NGhCc>@zE+Jt>_fg>#!Sjqz8#V&DDN!s&nqeF$mS)1fzfKqA78#$Rk=M zUx8V7V|;;V*w*{0CBnR@dbTJ`FL##+7^xN?6cgE;`1bt-XiPd;?mWu7 zEX}8R#Ow=GI@S{6FXkoo{IBru_Mst=3uZy}I+u3qFmD=K=S{sD;DsuJ#6J*ZuaR#c zMgv9B*aKe=Nu~#Cbn?F)dF%K>uoO3EB6mU>nETo?8)S5)M)f&sKXr;bG^=;}d^iv( zlU4rgsoXYrb33XIpMB`m*e@M=K~0!1q%h~^FvdzNCk@V0dv1TQ^2~)CfAZ1e_3o-E0>%8cssLmbI)bA6 zp3AUEA4C*qSjkEd=c-K3h6433e_4Eb=4-{ox?SWs_(I33SHjC1BN7dNw0ZTOl{1Dx zT!$hKROy?6z$>e6PO`ZUlS|G-1WxnlM%G0)ZBT8iWSk)%Njfy$T0gz<2BHwb&BOZL z<_+$`bCaL`9cJ7w*>kYg^b}jQTSRiz?7$4d`{cnbDULQt#6v#Bq1m+ycM`6&3v%bf*Jc4V^?|N>GB<>BO*WWA4IaQcOI-RlXn?@K3M^nL&(736 z?)LJtyH|boHC)Go0C0i(Xq$T=lZ@)A5C< z!U83Yxb`PMSSWj&!J$ij4Ux+K{?)WD!DJtH6#&X>6n1{f0VNMU_@J7$pH)VFel&XV z5hT4CNqVT_vy$1)b&~@q82iS4rrYa@69k=R#Ybznw#A3poe)#8>lsy$)tz z-V_#fsuF5Gr~CFBJn|2aEz620p(&Jg{HZ)v^E+#q9b-azi5j|z8usv7JY3UaG+gtq z!?>aSRxPGa=pm(YT_AWQ*()h{LS0^S$uc7M@tHabD`J1ey;Yjod-wWoW9A`%>N!q$ z)!19YZN@$KcEP&P!DdbN586CfGtV$4olHF8#2#9>jUF(ln2s8vpHa+x{LdkpNz-mG zWUlMAbIS(^V<_^F%USSX=$T_1;gys8d)l$*BM>S zG8Aarg!ZXLdDUl)?4w8ZEx0+GwPm9hz3??PK@>dKKa9xBza`5(LQgT&eAQvwl!ytz z2uxNm{EX^ro_jm^K-rYu*d4Pa9L^Ek16YoTGka*a@~Og~f1)$zdc0~JeKJ5r;m0O@ z#jd}1CW98jeY(|j_W*ok4Op8SVpc4dGR#!dae{{-_Xn`S7s4MOy(^`IqkyR!ICaiZ z=ia49fdt$qOO115Wm-3UVYs`~tae&OSzo5oglK{1R|}1;0+7r?AVrHTEB;*Aau}G9 z#p)o^{x^2PE&i9Htc~mu_DB$c5ap8+SlosiU)*VVtA)@23<0p3DaYV@?nF~OCEzyg zXQ#CEzl0ZhK$?A1S^(4(E(pUqPgt98%|u44T5(X%#o4(`2(8{Og({f(l@kVDxTKfO=0sCPpQ@R`J+iSHt`jw;*pfEs1+Q2%oxn ziO)@bWQ?}Od{v%_y>9-(+wH3Bp8>GOJHe`I%*^$)PZyeuq3LS}-m(bJl2zvFWdyw` zK6L)pvQjsPQBP=*x5NA>pc#os(l`^X$3@!$g~-#f_5IR=4nc7P&Wr9G-MZDcIQ4UP zsldW|#+E+`HAsAL$f;aN({a&%R1!l-KBse%p2!)MsRs?yA9F2$u%i+T^3q^-oxp;) z!~-L@F1T=i{|iw=;h3bswDCi!n~Ez~!Y3i4y5NOyDHD8#>p$Df^v7S_D@vcaBMKFE&$w`vfoO-rp1N*yrJB$g&Fd~d z4#>*&RZ39F^d7kjQjFCr2z5r$bD2$aXYbb5!7`r-pdu`MZfSPcR!s{ZSgdblciAW_ zK5Q4nF+wI5g)#Nds??!PUpkCEy1kk(G)vR<$*iW}?*-Zi#8@BOUOqu1u*#k%8_jgP z9K9pE!pqUEaSN1+JS<@2fsnttB@t+cCtz1IAq!Y}H&oy8?TvX;@g(BgbRWFwE(i%f?}33$CscrLjdOKv9lyWo%DaAP zrj@<^NIs5%oB5u+od7kn@7by}k3$S`JCdz_6wq4-11~OA(PLxrUfxnWLUMM_PK!-O zvd9(;-3_W57#qk(v=$pn#rq5-ZMr5ACg#m+%;NZn^j-B>T1hN-Yge^B=lH-Kk(jh9 z+lV>^+n$Kzuv&!nn#{8mKd_Q}PlF#Ai2~qOKVz;)T4ZgPiK|40|vO+NHPA8|C z?z~G&Vh5J$ha?Skhw;qmWHGOHNT%X-@Cu;l6GT7emC#ajavS=x-b}fM_>5@`hsbhH3|F`H526 zd((YnarsrBtBQ?ccJIQe!!1)_B-9F-6&1`FKscRi%=Fp$I})_ZGoC5jwA3J#@pvL(&OZ8a}u%h43SG@7_ zq1M(f+_f9aKCzJ25@K}vGNKzR zM#vi&Sh?*q)O?nivKM>8wL=p2Jh~rlx9D9dzFaPmZhd^BTb~~{2ksWGi3IjM24sDn zYcUUO`8#mRpt4Iv^6t_PBm8M%HMlx#FnU4AsM1s8{LrsiSTQ9(B;s&dKj8s8U>M0; z;S@qO-*WVr3&;}AGsD-DpUh=8Ot4^sO*;b zz3`N1H1J(Z1tlv5;|N6yg)P}8z$CFMkHIU++uISMRAa#pDx-9ZTpePcU^E@594`|U zR#!WZE^TY8n_!Do9z@Y0M&0d^V0hp(W)L^wvF;$^>}>V+qPScjo~VYR>69D>0xlAL z7mX?OQkR!&2xEAPhK)-mciM~C(X+mg<5#pr6)n_Gzw+hOhR#@(LIvjZxFEN2;|ha& zT(Cr?4_ANgko`I2_grDSMjZJgRYmW~LR=q1OcH6BN5SWail>gGcgm9<(tMMhG zH+=JYYJFYBcPAb?Lt6`{*_HLTYuN1#8s=cyTu8B z%SKy{^unPUqukyAykoH;ouEQxHcLEh=>aeY@8!pFN`ZsvVsuc681WfP=2uf+q-Z|z zyQo*!PJVw%xq`gfz-S5&AmZobT0o$0>{PwfZBt}-eiIqI4?_k&Z|v`1o7~7fO=uu= zYaEik>;N0@S{b-jkS62xFuX7nJuzTM^E68VRIl}r{#D~VqRjW>$la5_BJ|-}$N5#^KP4`==6SLw{{Kn0ceA|v0Ia7s-{HneEZKxa2V_u ztt!#OF@-2T(eSam!1)8Lpz)bYZ`0j7vv{9#=meEZJ@2bjHDxy_7WjT5WZ{%f&;X(f z>S6S88;a4D?Ml zb(F+(Weg1FaY`H*R&1{o8jGnW?0)Jqpg383+jaMA-m3hnzr$_2YkiBg z+>JhE6a$9ho8KB|%TqCrQQ6MZVTuah3<90VD&4iyW2OfT<)tQxGS6%MbR`8`1H303 zWZ8l!lU=%p_FUEmVGe(y7~ezaW2;lnsyaMynb}8D1RaB1!_s6Iwd_^H=qQyeg~J0C zZ%P&`1OQR&fXX~}7Hq7q%)W93rK8BzmEg@3OuK@MtSGsS3lCOI$!PZ;3(AH$muY#yy{l*XKCeiZ)uaSIb&$yJqVp1qjO{Nq#9fRqOzB zU0)i?+`;O6q@)yFhn6;*^+6jmVEQcy#dw0;`;rhArwx((GFom!pv3=QN}vB*aP$Al zF9eOU#}1e>?IR#oa&;X4k$wjN!SBy4 z4QRjr0z?rWTphFX=KtnC>L^P4;c*D=k<;P@zNNq8TMa#=F@O<-e(LCpWmlidRxijd z8HP~J;uXe47YtdIQC;RCZgdL|+#=WjprH(i+}=#hT}yqp;jpkIz^1}bhKj`S#DVlm zeAV4bLiN>ST5WnDMphklE9UqD}AUr<9j6ylOXw!o#&;ZnKU zF2@clJC4eY#h#up{@bl5tT!leF)J#F=Uj#thbuKfZ_jG3kCB`$o6DEgFuczS+v5z=nM|oZzKhP*ri_ zO1H@A!EXV=S>ajwBizC?=i0fke@G>aJ&S?H8 zyu=>8gk>^R+aMz9`rxdgOgO)M&IyuK`I7hS%sa!iw_+Obz=Ri5dvT375NLd4g z!6SA8O=zfxjKYP? ziN3K&BP6(I&dtQ8$%gQY{Li23fCACrLNU}{9P_JVKa4LX6;>?47i986um5xh@I(Sf zJV?dT)mt+a6{6F`Z1C&wYAko!}9K|g!+2VBBSv}S^dk<9!mr{VwpzStmg^G0v<4!-?o z&9E`cVPpPZ-ntFtH3ZnnOUuI5?3v+g_*fFL!UatUleBGz!Iu%>G<2_MH+i8`7bK>J z<_rtITNz2f3*e@B!WcqcZI0vi`$AGFU-Fq15f;{n7KdT?{`1LZ@7tEIb8lE?40kSg z&t8d55Hm#IJpT7Lk2=opF(SKRm9g0Q-FsF&HcCtl{f^D=F3K%upb(XSpvQXcj*yGP z*%zZ9i?QJiNULy_e=wRg_3CnKNj)kgDEv{lHoL*A<8Q58J`^;&e~6==8m$HTyjh=- zi^~|3Mx+ozE{-HB5GNN`|0U3-Q1l`pI$y`Ov9c0OHJVs4v9X@HG!)QqIF1cOIU3t9 zx1l`CMQFKmV8}FXeV?Hc!}~GT={(YG#gKmkyh(5;+B8hnucY$Z=8kxdzY0p(+oC5ARs;g#(8sr^U_8%^Qe+FJ`=$6|Qm_S?ok> z=eR5YJDA0kGP(3<@Dcm2xt*vEq+q9Ic|q!WYuiu>QBY?*))CQhgjTUs9j=m9^PdZ9 zD7aj{v=u)7izbg-I9#Km(5SSQMc_36Gu*Ca0W4qI??3FUv1dEQq^O$w#CIN`-(*%~1XnE`c5 zO;O?+izoYLj(;~}Tj`MvnLuKA-vt1>K2Q=~K%oaNwqa%BU=vwikTeewt*g-Vk*R*9 za>(G5oNIuk5Gk3~}P=1k8T(O?8D0^$V;{0ghTl_^iDOg6qbLg8o z&|O?$N;!Oya*MHvKwqU(|H0t3k&}y_`a?J)n6|*V;wj5Iz}G*+_{a98j;qmrY(o zz5ZTdbdhrE?NwsXyPb(b`=sG(FePn#1IE8AH6tc_*-pkLzcKKgG}TO5WVIWv5}LRD zbRAxDGHIh`3+~3~OT{AhwTR?C`%`P)=Lm<($w!NE_$DnJE?y1IrHL+~Jt4OvG0OG( z>nQ`@y!kGBdK_-}0qmvHR~3q*Rvj64zC=1+GQE;hM)2;@)(e0UHf}?6RN}RH&T_Fc zQH?t@T!NwdK~yRTjPw;yu1q;IW^dGUUl%{3>^BV09pS^_{@#vm!FzADQc*oH`yj`~ zp72);HTjs~D|nvYWpvZ)T%Fr>U91V6N|xt(rOO$QL)Z}39M_H1gWxW8&w%@cy1sf+ zgf$4CeS-?S!?-6B$>sdCU`cyE=DeZl5&c4w| z%0K~Z#2b7y<$5S=**m{@@zU3P_>hP>HC1a~DglzCa=R{}mW4A`lgLu|kOUv_w9{|< zt!w~gIS{pVEi2)+nj`cU-FrAa28f|@2!`n!Vu4TXGMj63l8f|R2147itvY7TE%^x) zi`kb0vrKx|q+38rk(N^3Qn9hZG(0`|AbhRlh<{sph3ejgYoFSjVmspa!-FJ^O42uG zt|3AZlGu(b-TV$+5(yp0kF<23v1)&YxZZUH*__JVjW;+fZL}B+rSi}=Xhw%rGwN}< zX$}5xMi}+AioQ6t|7r~i@Fs@%z63OWG8I}stkUOE*}zatl=Rf+q!6m{d<9~v zotj7SV)V32L~PzdHqj*;0X(-9Owz<1moYSM?-=}IUi>$x5a%tH*;&5-8h^kvR71eTxe^>7|2T zyGiSR;*CjAm;)BR=UdpGp1g~QmQS>$%1~;3$wVmMie~6&y+U-Dn5_RLa{~755;_?0 ztSn94q{MeZYcSBu%%EfhZ(^pdy9>?S4#U3~UUabFWoqnbhkSbBD{;pWPw70gwk%(= zP$Bq5rOJa~h9bR2YY!#BdFOgCS(M3pA{mR$GjoQl&tQ9( z5xy@#)C`q!Pp5ti-Q*c#h^dJ1o~0dnLo<<5IC6Uxv{xdiJRR977=LA+$ZE2T##bbZ0k;iLS>Wm zUlu0I*KSOaBwm8&%a8FJ$zS-ISx_nt4@dU-8p2Hf%N#xZvAc-i_xiO%b_3HfS?`RZ zi$}$^EMhf@eFu9!2lZjqMFycfCCL_l5o%Km$w<`;9)qP3x$bWpRA%bWGbu7swgR?& zaoU*dUDb@wzpd|*Gd^c@vK!9I7llnstdTuDGCoUHCoA_#v)60)wL?XR`K~E2Brbp< z(fC)$$-*$Z8V|=-?qDjjr-5RI_-@kb2c;pssR#bf0v#QQIgMXX?bN8IbI@$d=Y>IR z9C-AJzP+Nx*ocbLPzVby;sA~XZUV3ueTjLDIOGwd5Z2mO&w~XVgTNE@hPw8FjzP!I z{Gpzmg9-z6Zp4~Adqjz{&gUh}M)gQh+9ZryQ}wGUmn6WVpBBj|swgC5M<8v&)Lyyc zs`*pJ&{K?Pi1D^a`E4MVBP{jXZ%Kq>`;C`~Gjvf@(9;{a~KkFX()vJuqY5zfrOrw66T+Ds8q-Mc!b#dC{o=fo8T1{c) zBAGW97r{D+CU05?o_N@O@uBT9Eh_$Zg1lc6=-N15?q>_?6MJ{X*=AHz7)4?oAr8~< z;bZs}vu6{3zt#Bi$^Zkdw(bKs7tt;F>+l=1{E6-uu+O0!2kWgo_A+R(whsM@25U7uoOr`?$gZ9 z!5VFBI*^H3Ik6S0+G-wV*x~sV%&hoOE`8^H0Hdg(P#{Vhe9=rumLyfNjk%gl)LvMH|td3ZI$4oK*C!ioxL;}hPIzI|XZ)-yyVK;_8>dQag(H=jI zI-lx}>i^n`zn#6v#_m6$?&`T!$5mwLAWs%#Ct->ed4A+s#8Rkphryh^UM)Ha40=*s zi*{C8M#>(R2Xx)%+qx%9Hr8QVZ|WF$mRGh-96D`E|Af<~bbE}Hi*0K7a?H>Iw_m+g zkeI-LxbJMmPl=9>ryL5w7l*PHq8TSrlOn=X5XLx0nyqs2o~0Rj z^c7TakkpJ~22W>*tAKBVO7!amYBKD2cxztTj-}nyBZG z(8TEy4wim=V4fHYFLXsOq(@AYd2i$}yzW+qCZn;qu2_%m#m?!ai0JwS#|CK%Cv~%` zAGF?rd#}1QwJgF!`Ts(vC!!E>!A}8o-xpQ{;k)n9#UZ0j{B`_h6rC_Emg)f5ZpICL zigyEjoEqUE4JKf*m=S=u90cg((c!zLz#2kAwGH+iRyp)>&wPAejvzV!V}<7_x=vNQkr`(Hg+Kefsq7lcHt zALf~<8fY4#>XL4;lA;Q|VeDx8?d{IC>-smIlug^ZI$WOTzZIT+_j!|t8xE)CL@M{m zi!zeeTkCc*#ZW30leZL5K+feoz7xNya+$6t;d7xT|K*31);6sM1S^B`OY{Ysu{i4N zobVti8B3=-9arC%UdB$J;7c1VTX4--M%}8X*v;C+wj6Sc^~DG(c9htO7(&CU4gil7 zV^#ID6K6)H7!fsTUZ9gph(DB&-^Uf6mmfZ?o6!L(by+q@GL@p3;2+^2Jqug7+y0ViAcPWS3rB zpbEt5lP1dspa2MY+QuuImsNx^FHdJiyK~8Z47&EZLw9Hua4{TN2|rjlNXF%75@-zV z!xbP5f`TBoPxw}>)`qW211T=e%SGV9S zjv~+Ltsk$3(L+bNt_~5cy4;GEtx$@+k11;Lh!3GB{V>pz-8F!4Gk_eqM7|MO;{Xn(8r9KaB^_yR|NN^S2C-Rr}eo8afKP3-uHT zNPt^|dGfb>zJ3R5caIRguYfccN4p!bnvQZ3P6;pM>4uAlDyPIQO7ly`u&lVLTq5@N z*8)2~3)*})u5|K$XeUvO_RduM9^V5Yo%ow*9V&U{FITPh(#UIQ8`9nDqdvgJT|DJ2 z0FH3{S?u?ZU#^TDceferjC((m_^uv8!h2BMP>@gPrL??CfzIusP{T+;ooO<6eE~KJ z9Gb)@@RjnxdD;GfQMCBqLbHLJJh9;3;@#Tu~q@$=aXSi)5i;*w4sNf&aqX7N% zmr#l#T_@NcF$)vI11j|8VK?zq;E`)a!&hpw7ILzuo9W~aeO>N7##1V+FEkN!d_Oo8 zV(@|EV~qOWyCjS#h!6M+SR@L#@2I`B!P|$<1kGpYZdUd8e(JUGk>icZ30X(q9!>O` z8DPfY=wHDih#0D<(j;_r@rSB==XHO0J?h<~ph6E4NRQO4h=#v~fX(yU61(Ji+pnsK zC+KS_==uD_o{i+Ek-sV^j=5{n?2W&Mip>GT(aVRYFM6Z(zf1$`FDIO zeiaGM0Sy?XRPe;ct)SWU&PYl|b%B4?hKM0QShkvBbhyATZ+86Z`_GV>e7@mdHBE$0 zpcTv0#m*be72b}b%CCK2>dOn#`_0?r@EgV+PCLKx2l((vr=O3Oaydnq`>K!$m9r*5 z+uGnaVyZ{1?#MtEZ}yU!Y@{1lt{I3hI};h9hnGiMGZ9%SrGGb!Ag#qfJgosj z?JIt3fuT{auk1*SW`0+(oRd?sHqo}yv#~y&S}<9|>b}@Jj@Yzg-Iqtk5o`_M@z0B< z%BYtboDVfrjR9RL8`+QIWNq_u?H~>p0LCKj^gL7tnV@bFh4;UD^4tQO;tzQv-FMUoGd1r52n-iNVZIQ12s9yh!@Np3S!6 zv*s}A@d|rB7CFeUY)u`9oJIKY?OlJn>z`S9AaKmDFCE4PAQ@_4*rKJKpf6q4)aHWgowj`8)(f82yO+_TnM)LpEw? zfGJ2?=~243Fqt-eJ!oA}r!!T#d^#-dn2h#Gi0cgBfKRNXBHk2IzdnIF05If?9l)=e z&)a~qLop%Ex!^@{5K zz8(iim3JjQ8xgJHwU~n;PoVi~WWfh16r>eBx;EKh7E*ylc>*)cG9V^h$Yh5iD*TGSQ%hR|Xf*1_!T7KU%J9Hw z!Kp?dZ?FSKD^~y;qLdCq?63>XAT(tNhLnPQG+3W__jsYJY4sThI;rv(+oc562Cp~w0 z0UG%+G$d9eQ?7}UR%aUoVh^jdm0+D0Ue3OHS@`A_T^CleC(Tx?mHW{$I!+9IM!8Jn zu}G+Uw?nrEy>wn*&5*l58-kk2EXknG@TT!9HSk0{<^YUrtE=&4_8 zjIJ;Xg_a=#6cKLZJvh^~pCbf!zAe zCFJ6j88@r-rXVirIxTNLhVH)2r&q$$_pwuNVoL~3lrnte2 z3uyPtW@81fede()TzTsv5KlN1wY~=z9|1?D#cL(T?$%UkyUa$Ujzg#h`7Y2?lOgjK zPFg){tm0A=5$^hKe1qL6ka80q-xnksi?V{{OW!~eMZ!Q5Q&2$T5u-skd8|>b1bz)V zj+iCw;xZ+R|F)?rbf_&uU|sv~`7~iAvxnQDb8t8%77r=QA5PJ-7SG&P;3L$*4v;0w zFb-ttCR|>y`5KnE3(}SY^gFQC|LuwjQ07CzN>I>3;z~kC?NC1T3^?%!;c1F$a&^)I zgk#sL$aOK27SZ!#4Rk-Nc;qv~HoVyXC~_G!s<8t4==Giu6fuFuS2rg+x8NG3GNf?V zZ(Zl;E}1ptk|enSn7q!dUei9cpjlIRV0fw7vTqkh_pL13nutYlBfO2@Opl9-={L7H zKXty9oVe9~Zj^t0Oatc87cgh!j(@lrNXfXoKETZyOIZaL#fX*hn1--N6z8JZC2!2l z|A2sJnFa^V!~0??{ba>})I{czc#f1U{e6nBV!4y?38 zyBJl5@G2U0{-BYYH4QrQbPbGAx48yw$$BOJ;VVUUYf2Y>E$sX7F*nL2>EqoR^=6u{ z4XWqbO1d0c^{cne=CUv743!b01<*#cLmLqVlw>KLc1y)4i~Ftql~ImQui-UEZH0{P zLT}sfv5r3i+*isoJP3dd!alW8oWse&swLlsc#my33og*+*Kd7$MEM&q5kwD+%jZ8q zgFgbCrfxh>(b14fjsta+ZKVq_u0U@H;8h^{L8ngJ+7sqQ+_B0j2fr3gigDCyjB9{Z z(WnPHKkJ*wE{yyI5too>(}E_I8KO3$gjibL;*nK{{F#BeR}Kp{kN2@%Vu(^WoSudR zzYU6K?Y>(=k9pCVR!KiHqrSa*@j65f2U8?Ryk`^8xMi?$vpk|q4JQN*t`tJ!;eRQh zv+v#;NC)$pbCITcp$4w6PI0Yi!@y(CW0h^GqyyOkI(Jze%8MD`OBftC6ri5Qx^RxE zN|08E(S}w7Tb&CqAY20Zb%=@SYu*IS&@oxrqz2lo`sqINK|-2uxQ9&QN1ubGmH3$T zoCyEHc{kVcO|X~+AQz(9EKmXc1O>YZ(K1}n zQq30-bP6BcUM&6OkZ3)u0HBFAH2C&j`^4Qil~0J+oxKjRQDywumF>Nm?angLN{sfQ zAuH4WG_Hv_X}aNv2ypxwt^CCHp`Gg}9>cp0*L3C5<0%9v?OAKPlX0YL&Kt7avi0Yq z_x;S`an?4iiOB7>B+@*I1VMH-lxr)gNS;FnF!eWd08cMr=Py|EI1NW|yvKp^=L@y) z*v9ZabcD+jAx?p8B6n8Lz3Nkec`Zq=3-PyyKCjsBUFOMWoXr|#GTvgxESSq(&%7J7-M@o1!f1{YQ}!3>fwZ3B7NKu4zH4LOV{{A@RRl7BjOk0P z>sU@oSQW4hM(3YKZD{LclR ze2V&IvUXbughdMRREvvJ(|O;~GK*oU2$b-*OW+!lp;8rpt#W~QGJc;Bsp#=7{XecS zbmmwcwES44Yrb)n!fR2(YdW}`vp7SVvvqHQs7DI2Xz86$97jC3kL%SwcT++}uKow_ zK7N}>7Q5UkV9cSb=v2QXPJ3}7yhM7}q((C=w5lSTOaD_7e8Fv+Djfjd1bP^3Fi=r= zpx{QEzr1r1j6DSPX#NaRmw~9C1r{!J{PC4>1&7@2t1Rmvj1vvY@js8NFq^}Iz;5ELl;H*R|~OUr1ncboj?~`UI3qauwm@tuhXe=t{={oxo-z4zoR(>8~ zTDnvep2UWW$744JJC2KK++}P1Y(MMOszJP!VXY5IUeA1#DEGwsu@mUZ6aJQ%d~-uZ z|B7Kpb_~Q%Z=+)YS9#3$r_j7IU00R54Co`st9|vxH+2LN@CB0Z#|DB2He|k`r4qav$OtC$QVT!@=U)sTIY} z8K?|D?PZf`N`xN~MgYg8sYN{*)A@I1vC-T3@L7<7c1#A`Lld6%aV0w3sEJtiEi1@d zhWMKT8l@{eRU?m)LT}NfI%Wf#uY;sfSmoR2(NE70P*HMk-HuTRh{}FdO!5mcP1>-x zYk`cu6^h}Mp2JoqsLY&J(@n;ef#IT)HpoRYCQ=;p(9P8pIDpzvcQr^H3h4s6-m%Rz z%oJH@*^o5?o^#Xx>cp#Q(X|{HnUw2wm7y~szODa0A!*U}<1^uTdTryywJkVJOyrdc94BfJzAWz? zWzSfvDb`F{OlHKp&%2K|=tQ7!V2*&0xnrG6cjebl(^Q{EW(Un;PBU1wlK0`_QLY&m zZU^VUc(AfSwO<=*w6=gK+NgWLN2*8Jcx8bik&Q#t67HR<@}D3PAb&|iZF<0G3BEQT zf}VKZ!H%IStd*Kyhl7vU`b=i|P-MbS_iTvmp{?|R)-V>@Y(Pvr{x9^#>vzCXak=NZ zAEY-viiOS>9T~k1+N>ve~+QXx4M?v9E%jkU)Je}WlT{2PPqO=*sB(qA9 zMPoFJSu{ufv1lG;+*Nj~*z<4=U@m+}J;nE;ri6u`iJz7os@d&zIW}|dbVfDIqNDF~ z!pFME`vC-n7J&sb@lIl7o74X>@g6~30$^HOKERCa7PjG3LP437ZZBLOeTPDBv+OqI zh)tmIluVG!vPE&)yVexd-x+Y;dd8#(+eBs(^)sfmy|_|Mw59y3Au*Vtd@|1@^+z{z z-^s!_KqBiF6J3g-nj~L9=kBj08A=O_eX&0_&uAE*d-Ehr9J~9P`8{dmsyBciOEyK_ z4Lj}NAvVxZpr--rhVVN%PAXKtR?_V~l5aN;d9+`5``daz=6+_xR6_Ob)H>|nftB3F z;2c1yh6JL*P}t#9eTgB0sq#b4LS3W#ggCc6C6he}Azgg;TD?838#?*t1WMK_AXWQKJq#R} zG>~Txd++-b&~|#;?c?r2iF>!=!kLg@?TpauT|=c<6#Q_Kp&CQD0u3T>%4_&`7&SHT z&NuBvolGPwySx$q0aoTjXsCxoS8D+3)!3lxqzT#YY__4Gy#vpLt-tAbSZD9T2?`-; zq&@YfjF1-;SGd{*V~Kvs(q$mis{bU&`~C{*N#~HS64JI$3Y4&^JWp4JGA6=18f zEljeDQF;glwzo?e1a>_h?~7wz0y(&bL|8>pW6)WEdZ0_ASPEbYc@3>gL>=cK;A{xO zYOf3lP*M{^IQd+ogUuy(6M--*vh^kj{YYf!26BxshtBWSj2YapAbmXb#9EfB2D;e39zi;M!w z#X-oX`WLX60Rm(fE_>jq&Z|hniGZ@zI2CmDO%#}M-we#u{SM3outI>FnPm1ZsiUap z7_M}9^Kwq=|M-7n|HJ=t-A|>fQ7>|yu50b&7MwhwIRG+@+N~DG6X)|kRNw!F(XLo} zxlc$o_n`fm^PP7by7G}#@CzLb`7sxD7ieAeD?z-pB<>c=B&Pxvv+ig^=Nb;jfsE|N zyO@WiSNvZ+tUpX@BFuc$$;FCb)$YV}+Yev}H83e&E+Qk?&9Ch5O-1!&{gPs5xrsbH ztehg+l3C@*sWX~IB~KW(>i$2OTf7X@Q}|?xBW8E$Vd*w6|BTRGNQ(hPETemRxQ;e0hzq+{wb*wg0!clwvyC0!X0*&M8RcQo2oEBo{XM}j!Ew8SE2EA$k6v$yWjH8Bz)Zd0;ovizIO-;KXL_dlmPWv#w<7t-v_}px2 zWjl^392rM#PysL`|ESe%SETJ<5#Eb>D&bLfXOvfEg4hHA$KQwoy|}?c(ysQ_dlz$e zj$nChYwZ&xvD&D_N`x&A4-RMR{30IpX%&`w8&VWUZUL;M4H%;ZMO{}>OWQU!BCpOb zN8(u(LltusG|KBR^9|aFMt9otzt6Mc` zG5L3>UKUz^`T3q2P{|zc7&3zdj~g;5<82TnDAuSK9CpyEONI9rQLEkpKvkF^ebr{} z=vCifIg0ZmI zpn-K=n-s9;-2%v`BFZh|Ds9$W?H-5*h_7zJF`y7R&fid6T50u__{*tDYI>Y!CK69v z2n|&`*t?mzNN?$&v3pkg(0l_n)_oS+wS@udii$LF;n5k2mJjVS56QX@Qg-3w&?dx% zzkjeJ69B%XEf6N(i8SA@zZY6{KziXq;(@I=Od;T!dK06+(3P~JgRapC>Df~I3tzhm ze||A$^}ykjd`iarE62q;{u&s>6+W~THYHx3s_Y%?zyx3jK zj^z3bsL|XZ^4F?C*B$!JTrMu21rBklcC%A4`*Dq@&PJ8S)iSci@$DkJs8YhP584gV22P=YY#*Nr#5WJ z?&rt($WorvCo5k4ae}?&hn2j4%hhM!_Go^({@|on{uNTN$eM8F=g45D8ZYY>>&$>l z`BC~^XIyA*HKhb6zc|Z&dd>WP*Z13tz4c!rOitNN z#t@)&(iDeXz00Is{nETDr68#R(ynoghWx&!wbyrqNV?8hq&tzjjX>d6pq4qul%LbJ z>O1MD-|a0k`gotJ0(RNu^{Bq+hI#+m#nqD~<_sp)5&WR81z&APE8}t7jd=|Om4UD@ z&U-agPp2+QG;Md&yX*E}s(d>(mIeGi7;apdj+yA;aVP#6P3%*>_VN;_2-ms*2cbQu3 z+ou{1vl+)KdOV!YPd9NC_-(8<2_$JQt(nVGBB1@M)?kC1ZOMY1Ohd@f%dX@E~nIMSI6C!c6{hv)I2^LZ8K${?Gh-ZHh;&ZUP@rkXRiF? zSF=F)y&nHW5=##-5Z+WBqAIhQ;fLWGqmH06t$*}1r6k^`)YsSzx(IKOD*S3GH~xSc zDBmhpOSotEj*lRWjT*+r#(joCX^W#nmY*gvTZDHwF;Jh(b0!8ZxK8O(f`V$N=SB5( zuMXulOD8y~hC4}w4y6s&5`+J%`rv`}_Z|xhwx`>R9^+tysKRY+Vr% zt;GeGP*5@hA{yKPNgyd;*dzqBfU*VI0)ZqH z3?U!{NLWH3ymL-^+xLC{g8O4&&YU^Ve4p?0otbB5_ADPE%1}lnWAm4T@5RwK_bMhH z9+Ta+Kf+#Of?Hi@-Y;Sth?Kmu0`Uv1G!+f&sV=>6&*R5~fKJg~jnspK!?Er!xjA}e z_|$A46AYi((oj~s|4>SxBkJdrS(+dc98_8Gjj^GWTh3}GhDkdX`nqT1h&Ni z4N)5j=+ZSIn-EWFfRyyJZZ+X`bEqdQ7`ZU607A%Jn zYJPw*u$f7e4VeU0DN5L{SHBXwX6r~!%)eV_7+ng;!?+qjqfZxb%fu$QU-f?CblTar zrOR*bDf+v>4v^`MOKhZ#FZ~oeXT{wcw?`RH#W);g_E0DEp-o4w!n|2G^Q8xy*kF!w zJELboYfn|Z!bmn^L%(!OKpF39*cRR&tW|}9Dsu**Bf4AQ$@*Hr1-biz(LiBksaX)^)MDt;TG107 z@~Db8YMRF(kDH46BDpcACD`$-svm#W5=4Eu2+SzAh0Un_y5cwMqp>Jb%HB6t)TGS`$RBcT3cY6J8cpz1lP|H zvtaiOuD0R_=m@gVWyNKK<8Jjr$$Tb#e^sfnkSEOE$}1_{g1y5bn4XAaSx0jg@cS!@ ztUN2o>aqrwxeqw!h)S$g`#*Q79B~O;! zo8W^`{O7malU$gn0t7W>W2;;&W@^YHM&0e3zr>H_X>r%m#dASk@9>fIY(FZ*9(Top zmTi?7i1#!$?{n({*)_wMzgk99R+6VSsw=386;F@so!fbJHr#{o;+v&OvB>(2!}}b^ zTyyso&@fiz2IPu%M$g>9qIjwEDN2AAl;YYsVU`q4qAJ?DP1|xsreeWM(E-*vx(inoWt0^8eJOHb4K7l#$}(?Gp5bkvD-@J$-2J*h_~j# zK49z{qg!cU9rLD=^CHm3>3@}p5v8_!fe0!8_OB)shVUz;smIbEv#c%yFKBQD&K+AZWxjij`*<54tqzz=sE>E-{*rcbXQ=Eywd+ znN;mmJb&p1ueJQw&7b?N)xH^V(#*}eb8z7E$1W}KmhA`?6od0TP28)(Ym0aj#GFH~ zYhvf`E7}bz_B~f-ro_fE8Or zCrC+eTw}ou=9cdIsv~8Ez@;mD-chMAie|XY7<#=F^Yo*H7UTo*+-9LmXSmgyV4tyR zQaObo8KpDv0+j3(*kn=ewDJ*d#||?v?HF?ku2%j#n3BV5wry-?U$jcVI8%P`FqTmnHs1&a>|4Ku?NU7O;r@=nz-s?J>A|))d@;& zOo^30C0*lTzqN)HbR-=?U)9u1FJa>-mtmk&frWX0VKK^lovn4zTeB?$s!9BKijpa` z1#;s2*FgUG)Way?BT$^@!P&20dWv(MnE|*T34%(kD|4{p^{Ke=F8Pb|>9?doOUEY% zmkUudi>j_uAYpv-eB z4ik$aL1G&b2}|Dkz^l98MiC0ZD(ZQ#t-tnxq5Une&PaDI3q4opU31mMfx||(DBL+^ zw>i?O*r8|F$J0G|a7G~oRxk{#*0Yct7xcoiLL@39<{|SwV%LDN^UOS@)1rWCA&s@-=Y)$jZvf-P_B z(twN+2twYg1o2CY10d69HwA1{IX~J}P&+()u`oi?HUQ2<+jso<@mpXFnD4Cck9V>P zrA|e)h+OM@gUBgDzq?HEqS(Mcc^c=%%Kvk+DCfk-4Ud{2Bs+^rvE#>ZwkK&^Tqz%H)r8~Ifh1!>%FH$=fuZzaRO3(q z$OF5`Is|U@L*A^N3Q}qA#IL6`J1hIT7bj)N{pFV=JTqEAmMdl{bd_> zOS5TMv~RNH+o9T0n$Q*&ypauHW<>qM7BHz>_kJWK=y6Qvi@ixJ(%s#y!bAPXrm58a z#n`t7mV>U#W}EJpQ^Rpbvfx-#YQ)N$e@M}QSO`IRKf8VBPU_LHs-28~Wcs@*MyzDE za|OykMkyDLAzQ|{vM6%9P0q$tPmw^P54Ea2So3(AQc|l~ z^LCYV>LuKSO;7i}{p~h{k)Xi(D9d{oX;>CGsN`8EAR0ZSyW}izJrw-><`??yIL z_mdx<8=n$2y7_1R7_V9g6TlGF`<^Ca$W5#r31BZO(&2{*04}@X-DioVPdj}lsv<|b z!dh^%@z2eUIJGn62U(8E8VP<#*+)h72JxhyK2Tsat*DKS>^nQ50!LSEgqNkz;u`ar z&cynF`BX|yspL}3YUtnzq(u)6qcN@IxrslzGTOuXA|_N|nmt{{FIhshMB2Mll4o`>p%JY3VQ~R@ogo_qXO9YdHi^b$=xnv5_|M zczgEeQTYhz>Qn%!1%H&tyza36RVfOH{OgX9oZF0{=IN#knIf2Z(6L2a=4RjgsG(8-h`H?uy)0Dx8p^1_g>q?eRqrRm`z z%1=YQerHE^TRSKMz7q*;-gOo0E7@S3N%SPimKYfvouA_+`FBj_R?x%W!C|zO3%1(1 zY5pGnRMrJgj%iDJXi-`VZC)LA^vh87_PeD*rWNQgo?}W%7ByyV^)|LNp*7_-7PnF zEeruc-#{FxD_J>)ZYld%CoqlSUMFJFcyqH(^yMNu237d#CUhi9P56h+`$CWDeot7q znGu(Y=vcbxJ%*7_IBS(~mOaxkH}}=V)4|@ogWnB_&7X3q%95K>cnrK{sj24a+Bymb z$I1MgZnwcHvKO9NExniB^8d!#Mb84C+HbM_avc}vF+ncL_Tw?|HJ8a;G`-klJjlNJ zvuk9W5$95g9cCzQ?nT&L`6_5wAMyC*!IHM@3uUCk|5;xbp8oN)IM zQrBG!GuctZrv*y1AY)5)SiJ*y+Se*tHB}MY@^#Kl<`lg%Hg_dd{RP30al{mJ7ThCq zTJsYC*)*D)VDNi`rHDUu*MK$fvMO|Cg3b4c3VjV{I1hSV!$iGoBU1xRxg9|EjPBP+ zAglj>>M+>dd+GgZ^V>JOq8L@h(SJ|^&)yjv$j2Xx9C-SB|pahi~+ATzI#9ITS zmS$`j$!%a8QAjGU!1q#5C(3qCn<|LdWn~H(Z&LFNu^uc!m>cTr>SnBo_Fp{>bAI>C z%jQ~`$2CRmc}=Nk(vcE6hz|foP_h6-AY6Dhp-oC2Ec;ilQs7^ zuT1bmO?~An|D0-s)$TT=CqbqNBB{Y&RwKp%6Q|dZHvG31$=R(khz!RUp7V}63tA1G N{Q1;B=|6d2{U60x)Y1R| literal 0 HcmV?d00001 From c36cf186b138e357f2c7498dea61956f76b3ec50 Mon Sep 17 00:00:00 2001 From: psb0623 <81062893+psb0623@users.noreply.github.com> Date: Mon, 27 May 2024 19:30:42 +0900 Subject: [PATCH 2/7] Update 2024-05-27-suffix-automaton-instead-of-suffix-array-2.md --- .../2024-05-27-suffix-automaton-instead-of-suffix-array-2.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/_posts/2024-05-27-suffix-automaton-instead-of-suffix-array-2.md b/_posts/2024-05-27-suffix-automaton-instead-of-suffix-array-2.md index b885d6c9..26a670a9 100644 --- a/_posts/2024-05-27-suffix-automaton-instead-of-suffix-array-2.md +++ b/_posts/2024-05-27-suffix-automaton-instead-of-suffix-array-2.md @@ -138,7 +138,7 @@ $S$가 모두 Suffix Automaton에 들어있는 상황에서, 위의 과정은 $S 아래 그림은 $S=\rm{abcbc}$일 때의 Suffix Automaton에서 prefix를 나타내는 노드를 초록색으로 표시하고, Suffix Link에서 위 과정을 진행했을 때 각 노드의 $size$의 값을 표시한 그림입니다. 각 노드가 표현하는 부분 문자열이 $\rm{abcbc}$에서 몇 번 등장하는지 올바르게 구해짐을 볼 수 있습니다. -![](assets/images/suffix-automaton-psb0623/size.png) +![](/assets/images/suffix-automaton-psb0623/size.png) 하지만 잘 생각해보면, 어떤 노드의 $size$는 Suffix Link에서 자신을 루트로 하는 서브트리 내에 존재하는 prefix 노드의 개수와 동일함을 알 수 있습니다. 이 사실은 위 그림에서도 쉽게 확인할 수 있습니다. @@ -344,4 +344,4 @@ HLD를 이용하면 DP로 구해야 하는 값을 online으로 구할 수 있는 - $\cdots$ - $pref[n-1]$부터 루트까지 가는 경로에 모두 1씩 증가시킨 후, 제곱의 합 출력 -각각의 작업의 시간복잡도가 $O(\log^2 n)$이므로, 전체 시간복잡도 $O(n\log^2n)$에 문제를 풀 수 있습니다. \ No newline at end of file +각각의 작업의 시간복잡도가 $O(\log^2 n)$이므로, 전체 시간복잡도 $O(n\log^2n)$에 문제를 풀 수 있습니다. From 5d1ed4e4df59d94127c1d58aa705df445928a1ea Mon Sep 17 00:00:00 2001 From: psb0623 <81062893+psb0623@users.noreply.github.com> Date: Mon, 27 May 2024 19:37:55 +0900 Subject: [PATCH 3/7] Update 2024-05-27-suffix-automaton-instead-of-suffix-array-2.md --- _posts/2024-05-27-suffix-automaton-instead-of-suffix-array-2.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_posts/2024-05-27-suffix-automaton-instead-of-suffix-array-2.md b/_posts/2024-05-27-suffix-automaton-instead-of-suffix-array-2.md index 26a670a9..a41d5543 100644 --- a/_posts/2024-05-27-suffix-automaton-instead-of-suffix-array-2.md +++ b/_posts/2024-05-27-suffix-automaton-instead-of-suffix-array-2.md @@ -140,7 +140,7 @@ $S$가 모두 Suffix Automaton에 들어있는 상황에서, 위의 과정은 $S ![](/assets/images/suffix-automaton-psb0623/size.png) -하지만 잘 생각해보면, 어떤 노드의 $size$는 Suffix Link에서 자신을 루트로 하는 서브트리 내에 존재하는 prefix 노드의 개수와 동일함을 알 수 있습니다. 이 사실은 위 그림에서도 쉽게 확인할 수 있습니다. +하지만 잘 생각해보면, 어떤 노드의 $size$는 Suffix Link에서 자신을 루트로 하는 서브트리 내에 존재하는 초록색 노드의 개수와 동일함을 알 수 있습니다. 이 사실은 위 그림에서 쉽게 확인할 수 있습니다. 이와 같이 서브트리와 관련된 값은 트리 DP를 이용하여 $O(n)$의 시간복잡도로 쉽게 구할 수 있습니다. 굳이 루트까지 Suffix Link를 타고 올라가며 모든 노드에 $1$씩 더하지 않아도 $size$의 값을 구할 수 있다는 것이죠. From 8ba6a93cd1edb8e77c7b6aea8be5cc2278b41a85 Mon Sep 17 00:00:00 2001 From: psb0623 <81062893+psb0623@users.noreply.github.com> Date: Mon, 27 May 2024 19:54:27 +0900 Subject: [PATCH 4/7] Add files via upload --- ...suffix-automaton-instead-of-suffix-array-2.md | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/_posts/2024-05-27-suffix-automaton-instead-of-suffix-array-2.md b/_posts/2024-05-27-suffix-automaton-instead-of-suffix-array-2.md index a41d5543..bb857064 100644 --- a/_posts/2024-05-27-suffix-automaton-instead-of-suffix-array-2.md +++ b/_posts/2024-05-27-suffix-automaton-instead-of-suffix-array-2.md @@ -345,3 +345,19 @@ HLD를 이용하면 DP로 구해야 하는 값을 online으로 구할 수 있는 - $pref[n-1]$부터 루트까지 가는 경로에 모두 1씩 증가시킨 후, 제곱의 합 출력 각각의 작업의 시간복잡도가 $O(\log^2 n)$이므로, 전체 시간복잡도 $O(n\log^2n)$에 문제를 풀 수 있습니다. + +## 마치며 + +Suffix Automaton과 다른 알고리즘을 함께 사용하여 문제를 푸는 테크닉에 대해 알아보았습니다. 위에서 보듯이 Suffix Automaton으로 편하게 풀 수 있는 문제들의 커버리지가 꽤나 넓기 때문에, 저는 개인적으로 Suffix Automaton이 Suffix Array의 훌륭한 대안이 될 수 있다고 생각합니다. 저는 앞으로도 웬만한 문자열 문제는 먼저 Suffix Automaton으로 풀게 될 것 같습니다. + +이 글에서는 풀이를 설명하지 않았지만, 아래의 문제들도 Suffix Array 없이 Suffix Automaton을 이용하여 해결하였으므로, 관심이 있으신 분들은 아래의 문제들을 Suffix Automaton으로 풀어보셔도 좋을 것 같습니다. + +- https://www.acmicpc.net/problem/22905 +- https://www.acmicpc.net/problem/18744 +- https://www.acmicpc.net/problem/27525 +- https://www.acmicpc.net/problem/25546 +- https://www.acmicpc.net/problem/22349 +- https://www.acmicpc.net/problem/15454 + +긴 글 읽어주셔서 감사합니다. + From 178ecab7cc5ae6c4ff3edd654e614f17483eaa24 Mon Sep 17 00:00:00 2001 From: psb0623 <81062893+psb0623@users.noreply.github.com> Date: Mon, 27 May 2024 19:55:08 +0900 Subject: [PATCH 5/7] Update 2024-05-27-suffix-automaton-instead-of-suffix-array-2.md --- _posts/2024-05-27-suffix-automaton-instead-of-suffix-array-2.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_posts/2024-05-27-suffix-automaton-instead-of-suffix-array-2.md b/_posts/2024-05-27-suffix-automaton-instead-of-suffix-array-2.md index bb857064..32f0bd62 100644 --- a/_posts/2024-05-27-suffix-automaton-instead-of-suffix-array-2.md +++ b/_posts/2024-05-27-suffix-automaton-instead-of-suffix-array-2.md @@ -1,7 +1,7 @@ --- layout: post title: "Suffix Automaton으로 Suffix Array 문제들을 풀어보자 2" -date: 2024-05-27 23:00:00 +date: 2024-05-27 20:00:00 author: psb0623 tags: [string, data-structure] --- From 9f1a9cfed31c77b1279db5dfafbe0ad141f9a057 Mon Sep 17 00:00:00 2001 From: psb0623 <81062893+psb0623@users.noreply.github.com> Date: Mon, 27 May 2024 19:55:44 +0900 Subject: [PATCH 6/7] Update 2024-05-27-suffix-automaton-instead-of-suffix-array-2.md --- ...024-05-27-suffix-automaton-instead-of-suffix-array-2.md | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/_posts/2024-05-27-suffix-automaton-instead-of-suffix-array-2.md b/_posts/2024-05-27-suffix-automaton-instead-of-suffix-array-2.md index 32f0bd62..7328f669 100644 --- a/_posts/2024-05-27-suffix-automaton-instead-of-suffix-array-2.md +++ b/_posts/2024-05-27-suffix-automaton-instead-of-suffix-array-2.md @@ -353,11 +353,16 @@ Suffix Automaton과 다른 알고리즘을 함께 사용하여 문제를 푸는 이 글에서는 풀이를 설명하지 않았지만, 아래의 문제들도 Suffix Array 없이 Suffix Automaton을 이용하여 해결하였으므로, 관심이 있으신 분들은 아래의 문제들을 Suffix Automaton으로 풀어보셔도 좋을 것 같습니다. - https://www.acmicpc.net/problem/22905 + - https://www.acmicpc.net/problem/18744 + - https://www.acmicpc.net/problem/27525 + - https://www.acmicpc.net/problem/25546 + - https://www.acmicpc.net/problem/22349 + - https://www.acmicpc.net/problem/15454 -긴 글 읽어주셔서 감사합니다. +마지막으로, 긴 글 읽어주셔서 감사합니다. From afbe1828a04262a8d5bfde74bd3d1b1f510e7acf Mon Sep 17 00:00:00 2001 From: psb0623 <81062893+psb0623@users.noreply.github.com> Date: Mon, 27 May 2024 19:57:45 +0900 Subject: [PATCH 7/7] Update 2024-05-27-suffix-automaton-instead-of-suffix-array-2.md --- _posts/2024-05-27-suffix-automaton-instead-of-suffix-array-2.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/_posts/2024-05-27-suffix-automaton-instead-of-suffix-array-2.md b/_posts/2024-05-27-suffix-automaton-instead-of-suffix-array-2.md index 7328f669..46abe197 100644 --- a/_posts/2024-05-27-suffix-automaton-instead-of-suffix-array-2.md +++ b/_posts/2024-05-27-suffix-automaton-instead-of-suffix-array-2.md @@ -58,6 +58,7 @@ struct SuffixAutomaton { ```c++ set s[N]; +bool vis[N]; void dfs(int cur) { if(vis[cur]) return; vis[cur] = 1; @@ -77,6 +78,7 @@ void dfs(int cur) { ```c++ set s[N]; +bool vis[N]; void dfs(int cur) { if(vis[cur]) return; vis[cur] = 1;