From 3e810e9d50212d6be1c3eed4a07c8fbf7877915a Mon Sep 17 00:00:00 2001 From: CyC2018 <1029579233@qq.com> Date: Mon, 18 Jun 2018 11:09:10 +0800 Subject: [PATCH] auto commit --- notes/Leetcode 题解.md | 124 +++++++++--------- notes/Redis.md | 6 +- notes/数据库系统原理.md | 6 +- notes/算法.md | 27 ++-- pics/b20a3466-44b4-445e-87c7-dd4fb9ef44b2.png | Bin 0 -> 20480 bytes 5 files changed, 80 insertions(+), 83 deletions(-) create mode 100644 pics/b20a3466-44b4-445e-87c7-dd4fb9ef44b2.png diff --git a/notes/Leetcode 题解.md b/notes/Leetcode 题解.md index fcdafdec..e79ad01b 100644 --- a/notes/Leetcode 题解.md +++ b/notes/Leetcode 题解.md @@ -5005,13 +5005,13 @@ public int maxChunksToSorted(int[] arr) { ```html A: a1 → a2 - ↘ - c1 → c2 → c3 - ↗ + ↘ + c1 → c2 → c3 + ↗ B: b1 → b2 → b3 ``` -要求:时间复杂度为 O(N) 空间复杂度为 O(1) +要求:时间复杂度为 O(N),空间复杂度为 O(1) 设 A 的长度为 a + c,B 的长度为 b + c,其中 c 为尾部公共部分长度,可知 a + c + b = b + c + a。 @@ -5028,7 +5028,7 @@ public ListNode getIntersectionNode(ListNode headA, ListNode headB) { } ``` -如果只是判断是否存在交点,那么就是另一个问题,即 [编程之美:3.6]() 的问题。有两种解法:把第一个链表的结尾连接到第二个链表的开头,看第二个链表是否存在环;或者直接比较第一个链表最后一个节点和第二个链表最后一个节点是否相同。 +如果只是判断是否存在交点,那么就是另一个问题,即 [编程之美:3.6]() 的问题。有两种解法:把第一个链表的结尾连接到第二个链表的开头,看第二个链表是否存在环;或者直接比较两个链表的最后一个节点是否相同。 **链表反转** @@ -5038,7 +5038,9 @@ public ListNode getIntersectionNode(ListNode headA, ListNode headB) { ```java public ListNode reverseList(ListNode head) { - if (head == null || head.next == null) return head; + if (head == null || head.next == null) { + return head; + } ListNode next = head.next; ListNode newHead = reverseList(next); next.next = head; @@ -5091,9 +5093,9 @@ Given 1->1->2->3->3, return 1->2->3. ```java public ListNode deleteDuplicates(ListNode head) { - if (head == null || head.next == null) return head; + if(head == null || head.next == null) return head; head.next = deleteDuplicates(head.next); - return head.next != null && head.val == head.next.val ? head.next : head; + return head.val == head.next.val ? head.next : head; } ``` @@ -5108,19 +5110,18 @@ After removing the second node from the end, the linked list becomes 1->2->3->5. ```java public ListNode removeNthFromEnd(ListNode head, int n) { - ListNode newHead = new ListNode(-1); - newHead.next = head; - ListNode fast = newHead; + ListNode fast = head; while (n-- > 0) { fast = fast.next; } - ListNode slow = newHead; + if (fast == null) return head.next; + ListNode slow = head; while (fast.next != null) { fast = fast.next; slow = slow.next; } slow.next = slow.next.next; - return newHead.next; + return head; } ``` @@ -5132,22 +5133,23 @@ public ListNode removeNthFromEnd(ListNode head, int n) { Given 1->2->3->4, you should return the list as 2->1->4->3. ``` -题目要求:不能修改结点的 val 值;O(1) 空间复杂度。 +题目要求:不能修改结点的 val 值,O(1) 空间复杂度。 ```java public ListNode swapPairs(ListNode head) { - ListNode newHead = new ListNode(-1); - newHead.next = head; - ListNode cur = head, pre = newHead; - while (cur != null && cur.next != null) { - ListNode next = cur.next; - pre.next = next; - cur.next = next.next; - next.next = cur; - pre = cur; - cur = cur.next; + ListNode node = new ListNode(-1); + node.next = head; + ListNode pre = node; + while (pre.next != null && pre.next.next != null) { + ListNode l1 = pre.next, l2 = pre.next.next; + ListNode next = l2.next; + l1.next = next; + l2.next = l1; + pre.next = l2; + + pre = l1; } - return newHead.next; + return node.next; } ``` @@ -5194,7 +5196,7 @@ private Stack buildStack(ListNode l) { [234. Palindrome Linked List (Easy)](https://leetcode.com/problems/palindrome-linked-list/description/) -要求以 O(1) 的空间复杂度来求解。 +题目要求:以 O(1) 的空间复杂度来求解。 切成两半,把后半段反转,然后比较两半是否相等。 @@ -5206,19 +5208,15 @@ public boolean isPalindrome(ListNode head) { slow = slow.next; fast = fast.next.next; } - - if (fast != null) { // 偶数节点,让 slow 指向下一个节点 - slow = slow.next; - } - - cut(head, slow); // 切成两个链表 - ListNode l1 = head, l2 = slow; - l2 = reverse(l2); - return isEqual(l1, l2); + if (fast != null) slow = slow.next; // 偶数节点,让 slow 指向下一个节点 + cut(head, slow); // 切成两个链表 + return isEqual(head, reverse(slow)); } private void cut(ListNode head, ListNode cutNode) { - while (head.next != cutNode) head = head.next; + while (head.next != cutNode) { + head = head.next; + } head.next = null; } @@ -5243,33 +5241,6 @@ private boolean isEqual(ListNode l1, ListNode l2) { } ``` -**链表元素按奇偶聚集** - -[328. Odd Even Linked List (Medium)](https://leetcode.com/problems/odd-even-linked-list/description/) - -```html -Example: -Given 1->2->3->4->5->NULL, -return 1->3->5->2->4->NULL. -``` - -```java -public ListNode oddEvenList(ListNode head) { - if (head == null) { - return head; - } - ListNode odd = head, even = head.next, evenHead = even; - while (even != null && even.next != null) { - odd.next = odd.next.next; - odd = odd.next; - even.next = even.next.next; - even = even.next; - } - odd.next = evenHead; - return head; -} -``` - **分隔链表** [725. Split Linked List in Parts(Medium)](https://leetcode.com/problems/split-linked-list-in-parts/description/) @@ -5310,6 +5281,33 @@ public ListNode[] splitListToParts(ListNode root, int k) { } ``` +**链表元素按奇偶聚集** + +[328. Odd Even Linked List (Medium)](https://leetcode.com/problems/odd-even-linked-list/description/) + +```html +Example: +Given 1->2->3->4->5->NULL, +return 1->3->5->2->4->NULL. +``` + +```java +public ListNode oddEvenList(ListNode head) { + if (head == null) { + return head; + } + ListNode odd = head, even = head.next, evenHead = even; + while (even != null && even.next != null) { + odd.next = odd.next.next; + odd = odd.next; + even.next = even.next.next; + even = even.next; + } + odd.next = evenHead; + return head; +} +``` + ## 树 ### 递归 diff --git a/notes/Redis.md b/notes/Redis.md index 2e10bb7a..90f8e4a5 100644 --- a/notes/Redis.md +++ b/notes/Redis.md @@ -475,7 +475,7 @@ Redis 服务器是一个事件驱动程序。 服务器通过套接字与客户端或者其它服务器进行通信,文件事件就是对套接字操作的抽象。 -Redis 基于 Reactor 模式开发了自己的网络事件处理器,使用 I/O 多路复用程序来同时监听多个套接字,并将到达的事件传送给文件事件分派器,分派器会根据套接字产生的事件类型调用响应的事件处理器。 +Redis 基于 Reactor 模式开发了自己的网络事件处理器,使用 I/O 多路复用程序来同时监听多个套接字,并将到达的事件传送给文件事件分派器,分派器会根据套接字产生的事件类型调用相应的事件处理器。

@@ -488,7 +488,7 @@ Redis 基于 Reactor 模式开发了自己的网络事件处理器,使用 I/O - 定时事件:是让一段程序在指定的时间之内执行一次; - 周期性事件:是让一段程序每隔指定时间就执行一次。 -Redis 将所有时间事件都放在一个无序链表中,通过遍历整个链表查找出已到达的时间事件,并调用响应的事件处理器。 +Redis 将所有时间事件都放在一个无序链表中,通过遍历整个链表查找出已到达的时间事件,并调用相应的事件处理器。 ## 事件的调度与执行 @@ -572,7 +572,7 @@ Sentinel(哨兵)可以监听主服务器,并在主服务器进入下线状 假设有 4 个 Reids 实例 R0,R1,R2,R3,还有很多表示用户的键 user:1,user:2,... 等等,有不同的方式来选择一个指定的键存储在哪个实例中。最简单的方式是范围分片,例如用户 id 从 0\~1000 的存储到实例 R0 中,用户 id 从 1001\~2000 的存储到实例 R1 中,等等。但是这样需要维护一张映射范围表,维护操作代价很高。还有一种方式是哈希分片,使用 CRC32 哈希函数将键转换为一个数字,再对实例数量求模就能知道应该存储的实例。 -主要有三种分片方式: +根据执行分片的位置,可以分为三种分片方式: - 客户端分片:客户端使用一致性哈希等算法决定键应当分布到哪个节点。 - 代理分片:将客户端请求发送到代理上,由代理转发请求到正确的节点上。 diff --git a/notes/数据库系统原理.md b/notes/数据库系统原理.md index 05976f78..cecb6d4d 100644 --- a/notes/数据库系统原理.md +++ b/notes/数据库系统原理.md @@ -422,7 +422,7 @@ SELECT c FROM t WHERE c BETWEEN 10 and 20 FOR UPDATE; 对于 A->B,如果能找到 A 的真子集 A',使得 A'-> B,那么 A->B 就是部分函数依赖,否则就是完全函数依赖; -对于 A->B,B->C,则 A->C 是一个传递依赖。 +对于 A->B,B->C,则 A->C 是一个传递函数依赖。 ## 异常 @@ -509,9 +509,9 @@ Sname, Sdept 和 Mname 都部分依赖于键码,当一个学生选修了多门 ### 3. 第三范式 (3NF) -非主属性不传递依赖于键码。 +非主属性不传递函数依赖于键码。 -上面的 关系-1 中存在以下传递依赖:Sno -> Sdept -> Mname,可以进行以下分解: +上面的 关系-1 中存在以下传递函数依赖:Sno -> Sdept -> Mname,可以进行以下分解: 关系-11 diff --git a/notes/算法.md b/notes/算法.md index 207621ce..fab64757 100644 --- a/notes/算法.md +++ b/notes/算法.md @@ -305,7 +305,7 @@ public class ArrayStack implements MyStack { ### 2. 链表实现 -需要使用链表的头插法来实现,因为头插法中最后压入栈的元素在链表的开头,它的 next 指针指向前一个压入栈的元素,在弹出元素使就可以通过 next 指针遍历到前一个压入栈的元素从而让这个元素称为新的栈顶元素。 +需要使用链表的头插法来实现,因为头插法中最后压入栈的元素在链表的开头,它的 next 指针指向前一个压入栈的元素,在弹出元素时就可以通过 next 指针遍历到前一个压入栈的元素从而让这个元素称为新的栈顶元素。 ```java public class ListStack implements MyStack { @@ -671,9 +671,9 @@ public class Selection> extends Sort { ## 冒泡排序 -通过从左到右不断交换相邻逆序的相邻元素,在一轮的交换之后,可以让未排序的元素上浮到最右侧,是的右侧是已排序的。 +通过从左到右不断交换相邻逆序的相邻元素,在一轮的交换之后,可以让未排序的元素上浮到右侧。 -在一轮交换中,如果没有发生交换,就说明数组已经是有序的,此时可以直接退出。 +在一轮循环中,如果没有发生交换,就说明数组已经是有序的,此时可以直接退出。 ```java public class Bubble> extends Sort { @@ -739,7 +739,7 @@ public class Shell> extends Sort { int N = nums.length; int h = 1; while (h < N / 3) - h = 3 * h + 1; // 1, 4, 13, 40, ... + h = 3 * h + 1; // 1, 4, 13, 40, ... while (h >= 1) { for (int i = h; i < N; i++) @@ -772,7 +772,7 @@ public abstract class MergeSort> extends Sort { int i = l, j = m + 1; for (int k = l; k <= h; k++) - aux[k] = nums[k]; // 将数据复制到辅助数组 + aux[k] = nums[k]; // 将数据复制到辅助数组 for (int k = l; k <= h; k++) { if (i > m) @@ -780,7 +780,7 @@ public abstract class MergeSort> extends Sort { else if (j > h) nums[k] = aux[i++]; else if (aux[i].compareTo(nums[j]) <= 0) - nums[k] = aux[i++]; // 先进行这一步,保证稳定性 + nums[k] = aux[i++]; // 先进行这一步,保证稳定性 else nums[k] = aux[j++]; } @@ -792,7 +792,6 @@ public abstract class MergeSort> extends Sort {

- ```java public class Up2DownMergeSort> extends MergeSort { @Override @@ -955,7 +954,7 @@ public T select(T[] nums, int k) { } ``` -该算法是线性级别的,因为每次正好将数组二分,那么比较的总次数为 (N+N/2+N/4+..),直到找到第 k 个元素,这个和显然小于 2N。 +该算法是线性级别的。因为每次能将数组二分,那么比较的总次数为 (N+N/2+N/4+..),直到找到第 k 个元素,这个和显然小于 2N。 ## 堆排序 @@ -963,7 +962,7 @@ public T select(T[] nums, int k) { 堆的某个节点的值总是大于等于子节点的值,并且堆是一颗完全二叉树。 -堆可以用数组来表示,因为堆是一种完全二叉树,而完全二叉树很容易就存储在数组中。位置 k 的节点的父节点位置为 k/2,而它的两个子节点的位置分别为 2k 和 2k+1。这里不使用数组索引为 0 的位置,是为了更清晰地描述节点的位置关系。 +堆可以用数组来表示,因为堆是完全二叉树,而完全二叉树很容易就存储在数组中。位置 k 的节点的父节点位置为 k/2,而它的两个子节点的位置分别为 2k 和 2k+1。这里不使用数组索引为 0 的位置,是为了更清晰地描述节点的位置关系。

@@ -1012,7 +1011,7 @@ private void swim(int k) { } ``` -类似地,当一个节点比子节点来得小,也需要不断地向下进行比较和交换操作,把这种操作称为下沉。一个节点有两个子节点,应当与两个子节点中最大那么节点进行交换。 +类似地,当一个节点比子节点来得小,也需要不断地向下进行比较和交换操作,把这种操作称为下沉。一个节点如果有两个子节点,应当与两个子节点中最大那么节点进行交换。

@@ -1057,11 +1056,11 @@ public T delMax() { ### 5. 堆排序 -由于堆可以很容易得到最大的元素并删除它,不断地进行这种操作可以得到一个递减序列。如果把最大元素和当前堆中数组的最后一个元素交换位置,并且不删除它,那么就可以得到一个从尾到头的递减序列,从正向来看就是一个递增序列。因此很容易使用堆来进行排序,并且堆排序是原地排序,不占用额外空间。 +由于堆可以很容易得到最大的元素并删除它,不断地进行这种操作可以得到一个递减序列。如果把最大元素和当前堆中数组的最后一个元素交换位置,并且不删除它,那么就可以得到一个从尾到头的递减序列,从正向来看就是一个递增序列。因此很容易使用堆来进行排序。并且堆排序是原地排序,不占用额外空间。 (一)构建堆 -无序数组建立堆最直接的方法是从左到右遍历数组,然后进行上浮操作。一个更高效的方法是从右至左进行下沉操作,如果一个节点的两个节点都已经是堆有序,那么进行下沉操作可以使得这个节点为根节点的堆有序。叶子节点不需要进行下沉操作,因此可以忽略叶子节点的元素,因此只需要遍历一半的元素即可。 +无序数组建立堆最直接的方法是从左到右遍历数组,然后进行上浮操作。一个更高效的方法是从右至左进行下沉操作,如果一个节点的两个节点都已经是堆有序,那么进行下沉操作可以使得这个节点为根节点的堆有序。叶子节点不需要进行下沉操作,可以忽略叶子节点的元素,因此只需要遍历一半的元素即可。

@@ -1071,7 +1070,7 @@ public T delMax() {

-

+

```java public class HeapSort> extends Sort { @@ -1116,7 +1115,7 @@ public class HeapSort> extends Sort { 堆排序时一种原地排序,没有利用额外的空间。 -现代操作系统很少使用堆排序,因为它无法利用缓存,也就是数组元素很少和相邻的元素进行比较。 +现代操作系统很少使用堆排序,因为它无法利用局部性原理进行缓存,也就是数组元素很少和相邻的元素进行比较。 ## 小结 diff --git a/pics/b20a3466-44b4-445e-87c7-dd4fb9ef44b2.png b/pics/b20a3466-44b4-445e-87c7-dd4fb9ef44b2.png new file mode 100644 index 0000000000000000000000000000000000000000..3d5adabd478b737ccf50ccc566b6037b529c55fe GIT binary patch literal 20480 zcmeIabyQVd-!8ln1TjF_0-_)xfR{^Gi>xjZGsg>GEEdld$Q-4GELkcPo7!NH%q zSJ1&PU(z~Oz+Wh4(n5T&jCR6B@DDUy-dDUZShoMQV~xw;-kKIP<>?nUpyj!3)c{LuVD-L(~MWVxfl zc!$NPyteLIzDbAe?$(Ii$*~%kL)B$3Oc-q9Y8@I3_WpzBB^a!Tj}8R}Q;rV@L(PyB z1OJzQL;-_2KfMj6S%v#w6nEjWTc2>zH!_m-_4QqvsCLs|8!JyKD3I&z?M*&BwC(Ne zj2jvn@|j2B6>>r!`5MmivZS=s*CoHKO!>y$=fV#2?Bk1!Ik~yLQ+3|H{iCH;9m+Tp z+=mPSs<+|7FDtTTWn_}l(x{NINd4=CES(B|RM_j+P6!&WdtvGkv0IAy-eVSL4|sWd z#$RqrM_jh0MOCUd#Je|Aw#7Ggvy_9zslQx2Aug^;fomdU>~Jf*>=L8JAqS&DH9}TZ zDqXH@_s7O-$FPRkwUU03&R7&L%-VywND~mGON?x% zCrKN}@-Hdgg%w&N-|VbU@^3}EY>W2ACYEt1rH|(cova39^;#a7W^R|ZdO?RW49411>j~FFZ$v>wPnvz3+oKlg^p*OKw6AC^p(L)is#FK}nSJXfr9?~` z8#{a3b?0r7p4hhr{0=|g8dV4A+iy3B>h~RAJ!DW%2zQSEsyjhMrzy}{rNEKRqjItm zP{6WaqI|NFm90E~xZrDDP<2He!e#S7R@j>?C~NJcjX zyEvb)A2q$R$?@D@&a7l&Ks}@Z&CSmw?O_$X^L93GD6M=a<%a(DSL`j3+wfcS94xO2 zZrj^h7g|nr$PjW%8mu%FAOh^2PrZ;Gic9juOa_#vVs*6R2H&_J1U;f4TiKj#p~DCu z8ZDJ&pVVb@%w3+h#0u*8E*jQ)-KD2)Z@$oys7ri5!td1@VI21Z1gK)T)RVj$N7?Vu z`D$DBLlm9n>?T6QGlDdLP1h-ufyo?RE>F59;q>COq?kZYJio_EwYXn!k3{?0BZ9 z!e(nOf&kT%^=NCE`zXXxdhcmpMX~p(k8oW0r|`^*!zXjQEzBK6zr>f4UkqonO>Z-M zwki>olgbfY>58W*~ z-Hw=ijKaX59`7i(Wu~jgxuh~_A`Gz0eo>rBTBsQIa23+hk?qAI2|J?Mb#<^f+6H4i zX8n4^7m@`MH2G?bcsDwJ#*930KlRbYtrMt?Vll0`KS1Hv(JwxiTtEH>E2T_ooFPHG z8{5}KzCdOnW;iUMER8Vo%a_(xmqgYhvr}veeabDFnkN)dAKZ2Z+!JtiHY)ed;>4T4 zTy=>+lZ0IM1NR5!I-*jdTVMP7Tbj_LD-D*DYMdzTja1Z@#en8mxrv)tj<$LTw(^5* zp2R<;P)$#vyB{38(Xl2f7R}`kTDlKfV)3_EQ_1FGk4VI6S0T({tYNbxBPwN+qmDM2 zFESbDVlbO{*M3^I?v&XFMlX;sO1N3Hdf?!Bc{X*S!+K6iOrX_|h<(Kc*_MJk)Wi{z zWofEV=jMK_gsxs#%EpvogLpg@&2IH20#(9ncOEyhJQeV7{lRLn@yG>5AFH&`|nlum;&kl^)MzniYwD9nn9cTkX8}b6KW-A~XC1b46DO z@7=rCcD~G8+lt=5mu4nTlyzVFepn6JDP!`BrdGk<&CIn%Fzi+_8Ev8=wa1hcN?D>V z3)mM8_HH1$tl5QFcd&(P!PdR~>KC*$In;0*V=qr)yb3X=dIo<@GR+Lta(!$=tpaJ{rG$>YMGhDRP&PpxhJPeBisPAkztx>P4uo=%h zJP?WTC+22iz=**ck3BQr&9LNKqsGC78(;I}jxH8;dO;3sMQ6}MQJ?BpQ=KtwLn5P@ zNoTUY(Zk)}McaH_YNJkUTKxE-p9hqWZk-SWf)l~p{$L`EIx0E3=fvybwU@||-L-KO zo$KUtD;=4wNd;%Jm~TUX#xoq&KZ5qsbLnK8Q~O317v*%_2azvkt2iFn+} z4pwP#t{nP#U!<)Rlt%~US!wx?CHOH?SFf$E?JiQRp3W9!htxKEwqSjw1yflMaFQmD zUF{ZMSFMX}H@~MOve5DAs+Z@dps&r*<8vve-^JLQ>~J%w?GW5pP2OL}y6`tniVYP* zARCGIx$=e6i*I1T6wJ(WIVVJpcSos*Jh^_Eny>YRbG&);=C|ceujELJUSJ?HL9*cl zV_aAf(`$HCSs3MMX(%ZN6EsNo*yR0vW_F*we8eMKT4u<*6maV%j}kj3M6Wa8R*qPW zSgRc}Bz)8)n<^OxK>e@7JY8SWf#dAOKdPJdqwAn%{ zYierRTJH8iwFYP;@9O4M9Ext z^Uji0tht`Io6NM{>(V#7Ut>7P-ODFisq7Ndy}OcA}^EbWP{YbsKlrfwQGU1t?R6L z$utTzVZ>LeeUz4pDv#IgSuB0l*VB{S+1W|S$Pn-C>$}T6Yh_cGp5A7yYO>GdAr=pMiVt@-+F9z|CE2gP zXAd>y+5f#136{n&tK69bN z*$H?8F)R4DIH;7@MX7`+P@u*|pAC#I1(c}-WnMC&DxpS(G4n26t7s#Y1?!*&tQfi5 z7sfadYa95tim72jTYk_pa8$f@M9jQFuNPf?Ow1N;fT0uD381lJ%Ut`ZUSG&c{<{<% zZ!xB{+PV>zXJ@R7IuxD6ji4oG?lWNk8+r5kZ8+)PL^W#f&``?Vd-r@zSnT#zW%Kj% z&)-;of9l7N=+invn`QeZ0-NbHRMH1b{b2<>&$?n`L0~BMh=MPvv~>86SaVBDZyc}N z3d&ENKrh6c+?$+N7wH>s~Q-R9DlE<^z7SR;**V_FN~FZoM*>dbS<$QHaSZxE6*9O z_z4)1j<*EJ)}$`^EMDPccbYb@j@OAll(NO5q65V8sEi8>LkU?~lKFXgdKkY> zKT=7AF5Ab(~}(SI*Da4UTEs?!quJD zbIlMvb{NBXf;=VDqvLr=yly$jz0kGKS$V(YT0J7R1aa(-IY^ zn;2D(3l9h-V7fwk+i5>36Xm*N7dslMz=klrAMkLT!f{6<7fQm8H_KmWji-mW%}j^w z7X*0kE}%Dy)t#Okq5i_tz%9kXNRq%_>k~hY@S4WZU+mE7j17Eu8;)XnusIv<_G4_w zLI6t4n99wn+IcrOrc+!uj7a5=f87X(@B<<2;TUM763c&eGzEBUqRPP?v+;h?3uk}x zb)tAa_X48+qjAFClbMrrWmTHTbPU^mxzsaPtVXLAWE+o;2Jtjzl|2v+S4IWaWE%+{ zIA-tzKkKYX2E!s^({`$wW%1m7Clk! zM|@%(934C}kE^ScrdFxSPGU>c+iT$P&N~Z{@soO4trrAH4L>YGD$<}axoXzvTCI*` za}OY#do~Kr`ovdNh4`0^*l9h73r!*kbj9tJqPU$@+3(mA1$p!v-ICi_Ua#af=>+8( zqPLv3?TNZ$Z#}#X=L#Oaszkix8LXp6X<3=@zT2F=@I2{bF^e*iQdUkQx^m+6`1KF# zq4Tw2@Vb@{FIA&+XbyhOu-LJ!`whR&y#vfx%PC3iY%nt~xI`^`w@t;;cx$eWfuWsH zSIKZNN09x>Aub~$V@!dd0&D+dW?@>d_>yDYYMX?3$2aa@v4H@m;W}JO&D6{g@Bf|p znWo6ww?4I#b+A3H*kw$1pV6A7uz6V#fisS`$RcU9w>m13-&A6;oY#S*CMV9k*zj#; z4SB(~DP5Ln?W!h`{U^dlQ5EilSC)F&K#H&bh{As6m|a%E zHs9L%t78!Frw4XFmUD9bhimvgsmF^$Un|`*1&oa|D8Ul8Td*MZpCR32^f~s2DVKU5 znjv>U>VYlWU-trOc7*c)aW)tXPS%SaNwNI}0MhJwu%2PSp%g{~7v5e|ZEMIU<$1V2 ze&i&XIP-S)krjFCZCxcFVs2IT{qJ|_tKPV!Zw1xSKdL<09j5C*iVCZ$=AExt?ZyGf zJ$m<*T6ja4m+W4A7CVg3rgQ^%KX*NBmVBV%A)UDJOu61W{!JbG z^Lr0}h{x*Ahc}sZM;poQ(4JtQ5Hq#UGR6eg`(S%B+q$jxG%F}r^<^MXXU2FRDvhuVVu#SF~0rz#@ zO;UKk`_i|Xbt%4}EV)D&*XNT~@F4irsj}YY*;<%^m}3UqMkv z!}&)CI^cMR(yC>Exp;~>2B#(^t$(AgX)ea9;o(N-Qmotq=Gl z`XH;rPdE7$#0f_~IUM>lk=ijY7rZc87o@Q&J~w>N`sDN~MT*`mFj`AX>uZF~A?vW_ z>PYcWHEl@1N%N*t=t*l%rQ%-HY5mGzF6V_2s547^N4Ygdc1q>9{~pYzYX#?TM-Pe@ z{dP2BB%i;6=G{~vCS3HG!ck#AC;DsDYUtzkf`DHW=5A_FCOLd*9ATDr+jde?fxq|k zKgn}iMd~%?QZ`i@TLd~P6pL)fhp%__rphC+xAuhmd(V?-EsChiFP!)+gB4g+D;-B$ zIZmRC=yY1|fDNUuFg|BKIag*+&|0o{Zn(0wDl$QWf6V}2=os(HJl?hWRsV_?V+(6G zIamNjy6c5W%xSwVeB(aH!2YuqU+2^Rm=7ELlQ2tE?iUnUZzNd4#2B^Da#nQxOoC5i zR4EUvd(Z9un#!R9dpzaUd6!UWncA~awp9KCk2s& zO@d$kw!y|8J0iAR>gJIW>U}29o^3}I)L>P~UfYiBOIOmVkC-;}CguNl=P23&HNKzJ zMjpGcB5!AjEx%C_zy13idtNkEW>#4fJwQ@h_Mz8&EQfLPC_uiwAdwRW;^7)|yE zu3K1G(An&Foo@uEqg6blK?a!v$HxnW8Nm-fNem+B9d9&Pw=RNm#5i33G20gA7)w8A!C0WNmPG?t^sDX zkp^P)fQ$^9oo-RuLE`}t}{0t2I-WWmXpjg3tTNCH}0?KX@8fBnKc zDd&+;n_lSp`h=aG1+2eB=1)V5!#%rvxKqh=PZuW$4kXnf!_mR!<>_2(v-QJvqYfX5 z?I_pBlW#dq17QPtCmlldo3jpSd!P5hIF5JCm9&$;e7TEsj_?Z*z1p%FJwD;ueZB@5 zyLrfe2NYuC(m~_^!9OTHV`CWzGczO#kEZlSYhLUuX-n{I^Jc8wD(mz-a3Q_<2K}vK z$B72sK|wgvN#>)lq49v(CJ?B?^ML6dWwZaT9kg^RYTL01{rvU-dQWA7bhjkc91p%f zp`r03xISav_B~{|ca3YY6AvS~zUzl&{)!N{XYr#D_ox!QS`+FLV3UUBGL(~thQtjp ze#uPtB)``0O_8O;-v|uYo4%)fxX>3Ll~L^2i_>d*_^E(Jm@y;&RPJOZ|2rN2cluBX zrvkTAA2IMIvOKVfQ|i3&8?Il)LAb?E1+gye#GbLu)=XK&D!*Q4MoI;%#k?)!a*G*~g+Vi_sewVN>152iUq9Xr^D*6MIU+3&+L>o% z_>sh^)c;*sL3zz)taMmaKKI8-2eNoNO!oweT_$gUon>HPz<}<~>xN#pV&LmfXLDJ9 zY1>A>&viDXEaA;bivc%-WAobPeiGeuUS@DOqe1AczO}WoEx&`+YVt@EQPJ2DEmE${ ztu5cmu#k}C=H{2Ova)ZFKabCvvhIuRv0=W$P~@V2(0i&J!2PBzl2w+P)=p4Xo<@#4 zRaFBjwqa@`VH{0Fygg3|Qj{=|qKKj2Fi;;Tv&l8Bu+`AeXm#!yfAr)DeJG_LF}E={ zjaz@=xT68beeDSSYuZ>RtaOJAHGUw4(mtE3ayc{m_~AHj*Q&W{;19TQcO#PVFSx;u zp)iQHR93qhdv>h5MOz)}S-=BAbvq%a7vWN3XrJxPa?!mXiiU>!b0Npd?do~uZ``<1 z|Ka`26DyEHpJOj!Z7rK++H#qyMwR3DOv*I4?$RvkU;9RUQoOd%aRm;RG{{8m=f@kl z7(XSrPkN3;=M;`|AHMLpQ;nh|eD9E9eFeOCl4AN8#+#?>9^Bj7x!=n?R@4f{RK|@BxOmB5Itn^&IipzQ;jWYpLx{ z%E=hwaLf$@yR{N_0)T=9kX5QjVfdx1l=j*8up?xOc1|&{?>{HLeCTm{T>!OCz`0Rs zu{VJ9_#~T z%Un_n4IBj~+ig8i;lacS8Aht2O`|((8~23Z6CSVu?^Q1;plfh;ebXST9=?=ZY6tF?`K10UUw`hjLTl`bwc=l6yQS7A}fA9znJ=(14 zgW>17{fx4*{oGc|V*GckzFHmO5=&yH>MUF_h_V4q5Y*t=eTaRJsr7!RtK*k1D@p~3Sw!t8 zzzp-yO`^`LQ|wU(e4TLf0n1Eq$N&Qo#^=wU2T&CiRy7-EKLuVnA%NAnH_UiB_mNP@ zUo8W9^g)=qS9lXK8LH&)Xy82~phOF6vY^_~0SKDz{8J0@l_6P<_BcxmFS8i_K)9c?b>fArt zKS)kWl2lYw96}-Q4LE7aAykYR!KkuT&cM4PS71Rb)MF4UkK1qg0>G>f>*}vW3Hjjyqt`}8iLydMLYbr;!Sn32Gt)k0WgHj$_s{B< zUByyMqlF<#y@igZE--U%dpgtU`WuX0A#JE6Xby&0oMd5|NC2q_P6`hYq87R=Da0fQlof;xfVjyL+8nlQoAg{dQ5xZY66@b;k4WdMNHj#&Fun9mVfGX^&!s zn+>WCRxVNgStw^KGFdUPFVCA!NiqTEaOASbmXg{(#46(GnBY+JVJCzTiE2$rUsnsj zl@;u4!s`~N$2Le0h!9FEBR3weFw$9}{@Yj~*=w;zYWH;P_ok-VyKaC&j-an=N1p7B zGc)YsA>lM>nKOFCRZ4-6DQ0$S`Y^0pLaB$ai`ArFzt);(G8yAw&@$=zI|W=%&8gJP z3a?@u6(_9PAn%dJ$0{Z7?NA7t8k%2iezq_F?6;duCdE#zm?NN4j1WBfGFG#;i+T6Z z3<2O_yTC^jQN&}DKRpb%C&~qLs^x3iCddK-RWfhAI>O3eX7cT;Lt10)#M4RLBeWYQ ztgMF&6Xn9U;gsT0S=>d_4gUR(MIddF3~ZTHEqY&VErt#!kV!+)fpCX%nqG(wo?UfQ zeJOOL5O0uZ?jDPTKi{680eJNunUomB{+>>N6@Ps+xk`<5<4HTpKwDu*cegaVP-X|W z1gI65T;1RC@8cD+q*W>qgK7lbc(Qq;9qF8Fz9{`WqqciMgw*=bE50!~rloSwmcAeH~*>2#v7Jt*csQamVgf9@5w}=t|du*?P&_8jI~usk&=c$dREYoj_O@>IFZTIvWz0?!j2m-#3pJ;0uvwn<{s{&+t-qL{h6 zi%U*hbA6}O!S&<08CzE+_rfG~`(|(b(6L)%O zP1byXwlkg6sXcq)$m<(;je!>Z9mAxnEm;$~uJ6nAV5~Pbe=}nVp*(BDVAl3JP*mqhOZ0 zU^xl6?2Ae)kzXQ2p8d5d^pxFo?)!guPYgBj@i)bY@A?Mp=|oi0zQC#`%cjcJDSvyx zH%3b}F8O!v5w{LB`5Jv)n2d&QGr)u!Z#d|*hQ}8ekAB(Y`8718uNy zW>0GVG3t)MkLK9qCT%Dki6-r1+ex%P`~@RVnEV`lz%HG+z9f z8*reQH&~g=0g1payv^w4<>fQWDf)Lnt5Ra*>&U|KlpjAR@=d2-XgPlxcaL~9W3y>* z6J4enx<&QZfEV%81ttLciU31_@%i&R_~n65hyI;(y#0554nO|CQ}F#a1%Lm!c&9EP zgC*0`(^ImurHDAJC6S}0@?exHB_(XKYHFEx@7|SBQi|N*fK}!CYhHT12zJiZ4`9UEOrM6cN=_BXb-%l#$O%tT<$x;N_3f`X`T;^N{ydHPfoVuDaHu%3rLXhDT>C_SQx zvsf9RV>BLNG14FjjE&8FDJlxyOGHXqnv6kT8Xc6e6&UeY=M?V;A8Y1(hK zF@r(9Q9=`om?YUkLIP6)KpR5`}#xfO6h<{T#NjODaUU+C&! z?f?j?WyLP|Onn(~>&a+sZ1O;*Q>Cf$N5I^m!mi*0^;fC=0iqQp5OG;_)ID}_px7)i z+HJ-RWFidwFrGU=kud=Bd8CMP`@p$0uBji zA8bKllYgR->#!^I=R&rRN^naMg#cyC(;s3Hn)AD-M{AJ;s4!Q+dAUM#g~WhTfngV5 zAp~E&0@9i?o2^zK6d3OdAaqi5*pY1wp&Y$${TRO}=ojllfX5|53boDbbAcL+Cku$G ze9Ut00}BJRK8zX4#R;KQikkRv#N`%{o9V?4hc&jf<(qL>twu$#!bp<9gytYVK!DTn z*cw2=`oEF)<}0j6d{@29mA#ZUa}b|PeJ{aWeSt0si;bpSz4q4uD4xkbr=P9g$YP*4j@e2(-w*eE`(x@eVBtU zN&UYY$O{Pyeu(}$bM2zwJ3YND$|XRW02SOnfb{Olprs#>@aoLLoZ}M0Kiw&g4`q~U z`IZ@ZjsSaP1Z35;W%wl|kO65{2rlfVAt3S1c9vxA67B=XZb`pJou)##p+pj;L={!a zeRx+o={Lqq2)ii*%KlYaC4@%Ws{l{_AK>1rmj+#Lo$ZbBZ3dQ+b2n`Pk;b2~kPPap zJ8Yfp#Bf4TY`~?u=2zmkF2m5y#Q_})=eR9EbLTo@P38-n&Kw!EU_1ffHB0L1CURT>!O%T4WDU8SZkE+Q< zbl*Zp2=KyU_dz1_=L8j9zJ@mtY%M1jnv$8>4^*jMz_{I6GnkcBRW;T@hh4b_Ug+}D zk~D4kb`WR8{LD;I#j`ACxI9r>^5BNRjs39;k{6MB0rskOJ* zZ&I3@n`Pd<{SLe<{ka7v6ic>?t_2(2XOswn+)lzdh+#LyZ^J)LMorAFCLpN2YHIk7 z=$N4Zl&WKMukvh^MYZOTU5OG#5(OkpTCL%9yEBf*`=-;`CY2|0AS6i!BJ8`Dd5>wl z1)xl}WqD>NC(7C|8s-ed8_uu1Fbp)qsL?$~fDoM}E(a(biyA|et8)qp`p$(FMn*>U zTed&@Fkx4?y)XwL6ii~tq-^8kf!ZVy1jLh>gki6$HNm|p0KQ-!k&p^#xV!jx}>Dl5=11}{$uO&d|5{^ncJMO5lj0SUu z15;2ZF@boQ7<>MdA2@_fcjykx`Z1)!*dbpv6NJ9M3(Df{9&L1T=1u%M-7!53DuA9tAy!#C_C zGpPf8jF$zRhBeQD7hsQdsW4!jPCz9@HeT}d$rBlH3@wAi7-x2*6&g2dYKPcJNlW#* zyYS8f4tPNUFctCPS6s9j{E`8t@s5(;^WV4Yn_L~=f9??6zJ2>n3$}ORn5`&KTgn|d z1%8rNg7HWKaBqNl-2N-@`uXtj|EX*Sz?E{G_WPao^AqvZ=L>Ub2}pzVr)oXvf=8TD zP<>1W+S-7yl)hI_UtiiAk6QXa+!=6n10z-k5Nn)YOp{sdr(1NvN*WsR`tRO#iGMn| zp%_Eef57!X$nSa&`Aaacb%6Sc$;*e`<+RP?jBi5uhz>ug}5rxnniVl*|-=3PGDa6HNt_N;RxJjME7je}auS4N6|oohs% zL_h_=9_A5?X6ub9nxVQpIx}|xnkY+a>MRfqf!+Awx5h(40by7L2|3`A7eWrv*DZ8t zs?ajp15{ldib}Nep{V5B+@GkVj1MfqKA`+pAkDqNLyY5SNO=)&1AIkDSS@n6u+4|T z11#wKgz)u<5sKk2-+*Pz4~|fyd)s{buiOHfD5V!>Y+D3FL(I1V!@-2;#$zwQ?ywi0 ztLk;JjDQ^w0HpG{j$YsUgmd6MfFtUYy*IM8n{X^8CQ6Uehv*CV%6Ea zdu>tQJD5@;1;|Y~Wre>z_*;*)Lsg-`Fv9W@7&CG%puqwt@O{&y?uHkL$9en0 zEZ36v-|~B_1W1z)8d-kUE1M`K6U9Qo6sI^EOXlB!6Vd21-(Kdqwpf$L5B!p1fq25sFaH& z*#i%7x8^$v&4xi<5MeskiFfW(xt3Q}@+gxb-ns#6fr25Ee>2OHU3jF#qNSC^>|%#| z!tStJrg2IcjaR5ZhXjBdxn@ruJ$lB_#sSS6*kf2!SkQeo^Q6P$t&aTQFY=^`lFgwg zPbq0>iC$ftH8kfaf{Ei76`FNdk+tA7m(xLz25pCO-0zc`P+UA1lSh8c78ws<2nzqu zP&@|yHE5VLfC$M^ufAkA1wsXBpu!yzp?PgOQH3(?kWL6d_O{kCAMM>Gv`#tLj2du6vK;U=n=4WST#xtvsf-xqc5iz`zyq0J+{1X6F8wPV$#8U-~dyGY?ijR}Y5Fa_^0p zy|_-yrL0nF+16U?L5S$fp3QM{Z~{xNJ=z+H&t)Yqq{U}4=~KN>%C zZ2dO>KMlEfl75F=S&mNg(N=(Pr5Ge4J)@jIt0piW<_pD!E!+d`1xKnV!bdYyN`01T zZ{y+Bi#eb8g5*HUW@>+9dUqOuUiS}43F8?DPNoN6&0fRAHSFX77(RykVVZ-OKo4G#a|Li`NgzZW3XVNyzx9}Y zhNK2k@z#hVdh0=$Fr9cz<1cEej{Cr~Y@`0(?oqmG`H=l{s80sV6Y}Iwg5t6jaMrOBx+{k52s}ZNZihK6~==AJL5qEtKba?o}I zuEtfYOn`FNI-bR;nO%ZG;$)Pd1#?N-4;x>=l}abjw{S|Ln~tF}J88rqH;s3{;Pzj9@MF%Cgs#BJJ!3FA=%yPM~DF)r5eF!=!g>^<~b3UF{Fr{))Wzzivj z=Gr2WoNA7ns9&w z2Lm`u`~69eU2>3B?^lhX@^1#&nJW}Gm$QSrsKD2{h;>TyD8Tb>>d^Y5U@#UbF>9*piEc~hOGtJbe*bFAVw@-RFK4VecaItbn;sd| zLL7kM$Oc=-e=EwTF=j|=|2;aT8*JV(udxJ6ons(gWJC;X5J34z6M32i6hKZl?pIp) z7vq{QLrvN;mmKW9wGD=2s%pmPcOWc(1cTLhYx40|XvqJ*@#-F~-}tIbn>B|6diytZ z6jaJ>ds(gtUL{*j`+WK_*8xB(fR-gG9J$YI9A!Bb+z9S!e*gX*fMBgf7W-cq4K6TB za09lTfZnBfF<#?y)9zznt-&F_@~Ew} z8z!JKxaJ=z_IA&zGav_2+uOw%+|<8515_R`bjP>|GJlR6`(nkOyqv5AkSy32DR&S7WlRf6*l4Lk*+~UP|CxG#Z>}Q58Sb9hzU54Nb~+R zA_epY3T#`R+{^PkB5n3MVa<}H86r=7v{Zw<98FIAl)35k=8iPmP=l8MGVgDUYJ076 z7y}ld47inf?dSIU?~(4kO5{%|$VbFNae!#R(r>;!nt@^O1yoV&HXO&X02@Y9{F|Ml zOaQQs0cGk~%@^|7&31em7hv z`C}#W5%DB5eK<3Wdfhtp4_&;P6&F8uGZA$~qGAPW)^XI9+7 zD-r2d6b9btWi*G)W^(`cyB85?%EfAFr-ZLVMxp69<;Ho-mw@2~JE+%34(J7N!TtMP zX`kPy+{nE}J>sW0`N6|eH636pkmCc+7MwW!^@-|w0dnT-5=gCC^AgXKLWH?NM1k}` zST!hi=3swA>kk17%&OJzcSEY(9o8f~)o-_}M@e1Dhc%Ih2!2g+!t-aFZuxuwqHKNe zO!M^kz|t6;)^lDNoR!SqRH`F#NN-nl4RGZ*Sd9S9dqaGHL&u z`C8Y@*H%OzLZY|7-+(ettj+}$LGu4q5Q8Tk^l9dX$y_BGpp~ z3fQ~W!fXtUIyw-26aDq$6@w~qCCA`r z+BJL%U|vWFyf85aM^xXuxyw+^`hc5zeBbUj1p|_|3#FLbWs3{VT=wxZ$O(Wz<1Qlo z0|4!i-}?K{MQwXj@!$c#^f2v@kcBD9$s$HjP`EzD-1Ijn44dWf)+2^FgG^r#3LdfU z80zUgqnRR?*Go%JXN0gqYlvYgdz9b+BPscR_+-U@X0ZO3U%2@HfANJxAd5=@8vYb0 zCYyUuO%Coc1JtODh_~ekAW?J&MuRzZ$D-@@K(zXVmX>yXS#_v$@Q0jmMw&u{1sK+EZC~St(23z z;#27@_xz{4j_4n9_pkmeDFh9L`3Ok%GegWDC{!FCz{f`sMq(5apqwT`tEWUh)o*d9 zzdR&2&m_R>IjjTA%hU17wENU?!QGj*ak&`Y$4|bcM-{u9j(TU!-GFGVLsCQ3+$}2i zXZ8#?n(2s2RA@9}KBrG}x#rDcROPxr<9r^k0M`tsxMi^H9;+moW?_h{;YlVY2q1cA zvH0)>kF48pxfqQ|9#{JU5rsa7vcD};p_&Cyz9luH>^FKJ^H$v`4^#hpuOz^x~MA&4h9sSZ+G4ZMdKyM zf>MHo_pWw4IN!(`#9Yg&Gw>%Lc0hNoY zzxw~oDTliYh|oX?p-EA#c07eYG;d3=+?Vd%^q7mua6o+~!!A9H^uqwQ<2tI59}b9O z`zqSK7t(J)Vl=WxSCHXU@&}Qtj1D*c%=rj@wn2Or4^#v_;5up#P?z{tD^(OX7aEOj zm0vYLM6j49WPhK5kiWuXfJ{$s0Ab#EVO(Bb-oSzIQClpxnghtRmVza?q#&WIud6N~ z2!{G?Z^_+z>34RRd8R*;2fjtYsM}8XK;q@uN zK|f=nY^emw?TpjyMDBO7YqAQ#Ei+BQzI3zA9Q zdl>`VzC3N&y6c8jM3s_~l9uYS1$i@L^q(#8R*j#c7ThYh!lo7xK@BSoguKI2ZO zTd@Xe)3OT`_=9hxK{~}jql7}EQnKB%T;}x~bR;N7(-8He33}C;V=$e_eUiLk<>}9L z_-JlT6$5F=$HoM zIfxw|KhoawS+!98K#2C_Km@?jua5{TzZPP$37>iF?@*V1N(&ejDe2#4{Ik(l3>sZR z>783>`~W6P;ICN9`SChI!s&hkH`mVH%$hICQ~XSAw5nwa(JZEXM{JpVSZR5PAQ8nq zs9DV^ND+F*8*}f>iuOU*VQ2t{MdqTxpMx_P7SOhtW21_0FnE_#>EX-<$k~R$g&(IA zi*Y~HEDHR26dS~x3!(L6e^IFole1kD=pDCfYIXqLbbgDNxZ^9Hq$di5~WH&+yvr%I{4<9 zaDU<1=?jw&5^R@#AJ!Hbeu|0MlNH_iiD)YAAXe-3I7@;EKY?KHttz2;JlxEmfHm9< zNGInV=?ye=4Yg0tWu4)B>v*5|0k~dYWpFW`6jHbcq55OD!c{S}d3S1EoBfS+CFWw` zu^dLe`(f)_Q*WdLnsx}%l!1<1BkGOaTr0r?HP#~84Eo2VdghsXWNA$1s;T@LF4^F- zOw+Ein}u<=`AU@219oEks3rf{j30M%@~ejgD#1Os#8XEAy61z$W_k^A>`o|j>nuvl zgRz+03*4I+?^p;RTWR1v&1T|$>S}*k?6EVT^;d>7$aKkD7*&*>{(0eI54E4VSsbir z<2xemtM8B5t-Xs4ZW4Z8+_)HzAkmS`SSCR}#&`Crr1fwoVNyIVgCoN=YQjyWdE(!<9g08WRPoVu