From 431df33037219c3562a9eecda83c459121ec0865 Mon Sep 17 00:00:00 2001
From: krahets
Date: Sat, 17 Feb 2024 06:16:05 +0800
Subject: [PATCH] deploy
---
.../n_queens_problem/index.html | 2 +-
.../1s_2s_complement.png | Bin 19419 -> 19465 bytes
.../greedy_change.png | Bin 25235 -> 25361 bytes
.../stack.assets/array_stack_step2_push.png | Bin 17586 -> 17520 bytes
.../linked_list/index.html | 64 +++---
en/search/search_index.json | 2 +-
en/sitemap.xml | 74 +++----
en/sitemap.xml.gz | Bin 509 -> 510 bytes
search/search_index.json | 2 +-
sitemap.xml | 208 +++++++++---------
sitemap.xml.gz | Bin 999 -> 999 bytes
11 files changed, 176 insertions(+), 176 deletions(-)
diff --git a/chapter_backtracking/n_queens_problem/index.html b/chapter_backtracking/n_queens_problem/index.html
index a66f57991..8a4c69bb3 100644
--- a/chapter_backtracking/n_queens_problem/index.html
+++ b/chapter_backtracking/n_queens_problem/index.html
@@ -4128,7 +4128,7 @@
-逐行放置 \(n\) 次,考虑列约束,则从第一行到最后一行分别有 \(n\)、\(n-1\)、\(\dots\)、\(2\)、\(1\) 个选择,使用 \(O(n!)\) 时间;当保存解时,需要复制矩阵 state 并添加进 res ,复制操作使用 \(O(n^2)\) 时间;因此总体时间复杂度为 \(O(n! \cdot n^2)\) 。实际上,根据对角线约束的剪枝也能够大幅缩小搜索空间,因而搜索效率往往优于以上时间复杂度。
+逐行放置 \(n\) 次,考虑列约束,则从第一行到最后一行分别有 \(n\)、\(n-1\)、\(\dots\)、\(2\)、\(1\) 个选择,使用 \(O(n!)\) 时间。当记录解时,需要复制矩阵 state 并添加进 res ,复制操作使用 \(O(n^2)\) 时间。因此,总体时间复杂度为 \(O(n! \cdot n^2)\) 。实际上,根据对角线约束的剪枝也能够大幅缩小搜索空间,因而搜索效率往往优于以上时间复杂度。
数组 state 使用 \(O(n^2)\) 空间,数组 cols、diags1 和 diags2 皆使用 \(O(n)\) 空间。最大递归深度为 \(n\) ,使用 \(O(n)\) 栈帧空间。因此,空间复杂度为 \(O(n^2)\) 。
diff --git a/chapter_data_structure/number_encoding.assets/1s_2s_complement.png b/chapter_data_structure/number_encoding.assets/1s_2s_complement.png
index 369b894ce7d8a86a453ee9e9ff8c566e4de5a7f2..16b7ba6efbb5f8f833cc875094f77a4ad0d0ddb6 100644
GIT binary patch
delta 18433
zcmcG#byOVRwk}%T(6|S8x8Sa!li==>;O_3$4Fp001PksG+(~e0AP`)GYl2&F2%1ZN
zd!K#oyYIX=#{1*-7!*}&t(x{JW{LZ#Y<)TayP7IyI`rNw*d|O
zln;TZi5f^OFu06%<)&SU6Ej?sV#CFr5s$TgL_%d6S^bq?nLT=LMK%^(7HX>T{j@V0
zj_B^6N(L0!rRe{j#-h>I@SL8_>|NaK9Py}~yD0%7*B6F&msNV5(gJ6?J}#U&as|E%
zh%kC{86c!NiDh5;c9jb>t0?Lb=E0;U6)>6Q)M8y8#z36Eq5f5TOs#M&Gf
zWk{z%S#_7bqR~VG3*0W=Y1AAziOW@0aP}b}c=#{fGh3xX7y=sK|768Wim*
z44WEvX81)^{UmDtb7XCnfXM^Snpt|DgvNb7kqisHP`aC&8zFvm2Ts-g6uqEPP?
ztn0EK`;!B^&9+bfC5U9m?vv(qn(U0lTGc8=#o=kEWuF`j&2)W5^HI!%i}$bW-gmS(
zh~F@dY-wfpK4F2C(zn#xe(!zotMOtmVD6!!9NIPG4vxs3@bC*F`&JsOj9pFSgbO6g
zjLK68qfQx;O})XXJ3b_7IQ_bdD5a3J`z|9jUv%?v2|EM`7OcGdK(J?=0Yw&Wi^PW?E9@
zYk;{X6Kz8ugcysORz*I~8Hyt4%ZvQT+d@wQ&gC4XC#&ukj25Op;`KLg<$xR;R5mE)
zYcEFAUI?JCg>}n2eMxNxBA~3N-97#9mM`tUP5rvwZ8LcipNzTI{dg}I-o|FATm@J1
zkS36Hvz9nM%WW>f8i7YVq!TljYNxk3}{
zlOy5eJtcr0uYy7ywfO;=N5ocUIcAYh&%Vf9fqyN;+0?Ow+EDMM4zp*SH_kDBpIvFd
z*OmlG4$qDGXP)${ThgI_M4X2tJKp{#oymb@Vwetc4@s1!(bMjP!a5e#)h#GrqyNOf
z$vTOM3^Eyf1#q+QZ{hrgD)G^-BAQtHWHkL>X3Esg@Gih--&HE132Y*3^LT$Xo_a}x
zOFJQ+#vrJLbH`6KzIRe8RJ()Zs-yDi$n3yoO*QU*tDiGIku<!PA6OWEnPkNclrkjS3$bVbQhUC!WQ9TW;7l}mu&{!5h7uc(9BP1<(gfCn>
zdp=$~sh@leyY>RSG)nnNjYWeTh{yH-=h-K_vov^7r;{j`z3kUFskINwaniVG4Kf?5
z2_7~f(Jr5U;hmk;p(C5OTJC7w`O%nZ*H;RK=$3wbIKBv}8gvGVWxkFw+3X7SI-9h=
zn}qCkjEG%MFJAi;Jw08bcp$b#Vya!1255d0@v;xY0={d~>=d%ax*(=wm_mQ*i_X)y(e#R+-}SKT}}iaAl-
zk{@XZ`;jCdkfeb)t}0b{_M0q-{_`Ys+k3jv1>JSQ3HK!pbFvH$&jL3Mi9|G~8*#rh
z&}k1tsdG#Aa@<*b#&Af&CuiR_f8hLNj0(LYS^47v{+-_&cZfTcg|+rR
zatT9Tu(A`fa-EWWP1<7jX9_6(esuG-ZMqFMoOJUp@e>?$Ul;BcEGh4vI=3)jbWLC>
z0=_<(&knY%Hq@&K9USz{IGs^4=`sGIw;u}TrvagE#}5;1rwr4`ZF-B
z3TqMghjk7y!6`*)hsp{RjPqwDA^Z<)Nf^9$({-4+>mq5Nti_uvG?jdkzmMN1O`w)F
zPo3Bp0#x4yI4)TJ`OhcV3mJFI49_cS0>nPl^90v;d=mh^^57wR@N_fl57T^wWvwK9
z8iwo7k8D0}Ui|L(&^5AVG}>daXhUQ?U)fK3obWtV|3e6m&Zl@>($s^(SR}kur(%_P
z2XMq-?+G2tNDx(wQinkW2$R>T<@VajTTOuBW@Tj|AAsUJ`L6;
z+?@NJ1Lk0`%7c`!4%VI+Lz=$-GfE2~<(L`%(PRu`)IR7n#|IjJ`ORNvtAo`iz;}8N
z->WoF%Dt}&+?sWAI*b~by%OF1Om0=O?xK_ExbekJwG({i
zboDAY8;7fYDyG)wOcvgC$NROW{nt-wJV`l3mcbccgoSigU`$ee9M1oVbNwZz1{|CT
zHaiVDLSb!Y06U+u!=N39#zSLMT~@LSlC)@(8FFa*eV#&)CBS$&DFQA1={$M}J5Rpq
zN}uBMIg0mj=I|GqEG8B(-?pYgRr)?px>F9sEcPcO5KiKPQg+cVR-{jDe=VN<$KrUg
zZX1v)W>kV4*d_gmk??c%f==U)tJ9euDTr
z(!}uo0w4!IehD{&^*FwUKLOk}MCzZPviK-_JpFILVpn~I!a1OejpYfREk=aMiJT=R
zcO~i+vh4SPMSV7u+n4y7SnBe78#bBf)ZFaNiIKbpkrEik+yOQf3qqtaX7`y)Fe=59
zxV*64l%g(>&QKdcyY`J!e7m(;)?y$JpRX=uI)*s3(w%;9uK7^uRy0xdYn>fs430!
zZKvq6yYmH}WvlT1TOaPDfRV8bm{@5{jD3yhzc~29(eIl8-9k0$@4
z5E<&>Qr+(Veu(YS`1H-~-L<;Zr#bma+4r0^^1mFAL=~)FRBCoGU?o{cq0{
z^1((Su_P(q6~5|IzVZf*hIECwgp3_w9+%`ypwyVC{_p504mS>HLK~sn?F{#uZ?BF(
zE<}(L0U`FT{}G%a+zZgdC0_dx1ZolI0>1ylUD+ddxsTjQ$+3vuIv-<3PQqG;SKDE(
zA?j{Vr0pEF!$$s=<(40xhuYi%zL`89DNL&
z{B)46zmuRcB=*=uwJo&y1NtL^Qe=C0(>Tv517iQ5o!gtoL}H3etC*b*6P~?bf}1({
zW!jDfdl>4ukAc79w^XX61
zZguY`fsjqdRzME%xe&auSY`0Hazr(sR>zzlh;w?jA5_Bb)Iy&8Bk+9<@4tiam4&2)
zv7zQ;VRN&chs=SxZ_2sgU3)~PG*I6JBGW;8xHWe7a!p#80Y@VKwkTLu!mSL+B1z3;~T
zcRikL`t9q+rXFOL`4h7S){$y4hK<_fspR{?s2eNh;f84KOREJ9TYEmHx)jdHV;NPq
zTb1RH{)2MG^W|OVW`MTOOU7vH(I?n?f3CJ-et!}bV6HxJ2_=m<`R+>HcW};HCH^8X
zh-&r#w}2wzp|I3|1+doVVaM}M7JnDi|ER@0
z_A(`n(9ke$<@{%@Y}2=|E1*Xqu|eVuA*65e0E`M~uh4M!!%IV-*-Ui|x#yz+RN*pD
z?&r`m9cONBfsp!`8>T<-6tWAh`nYeI4%3t~$M#z`(d5pYWBSbeO25-o;TC;whNNj-
z!|xK|@Vi9VoH}o?wiT3;vCI1Bv%k2Z*2$b(~~y3BV3_uOUSIp++Pe!ojS&xxg=0cyZ!!KezF#
znBIKtQR>-46813<53ahb*fPIqW7h_elK3GjCw`1vN@|F!1E?a!;>+4frXH<@63ipl
zrB-}xsm*}jZfDFtYRuT{r~x#RBT$Ly`7_ku&!>sOYqguvL+}jM
z#muyPrs@pl7I(#ps*9E9qK;
zw+ZZUlY?ayhdq7DZzs36PAxplvNEBwq%S$2eTimm!TVy!YTV>$lNWA08{QGZ)#Cl*
zFeBUJG*|X;c$a(C%U#^YXW0Z~L^Mc0GXYn(hjGM4TVBipMuC)Y^(-wz
zv~Yfsrm;wi0u5*@?>z+0zkl9OU)o16)9brHhAI#M^(bpe`DGL>T=dEC7;1gX+$maBwaoI@|z>M{cWxFS(^5dp;+^dMY~+iCaq8
zkoH?Ew&xMZS4IbYkHizktfa#vY@7_*P^lw#<}uOf_g_ajVgeKsfK)NKQ~FFofTS&}E&VOR>F$WeWN%e@PZ^h}P8?gvfFn~L_^4T_
zdmA@`jPL|e9_K=czfVtx+9Sz3hUP-u;RWhpio%Qw67_2}Mn(16YyKP$+3npZp2yy;&n;bgEvhNLs?mvB^5(l_Ki9unM
zNOSM}-jYI>=qvVIzklTdsVj0Hn&?6Zfhpt~2lng=-sZX>zT!S%z=RyeiA`&)u)+c?
z@ffh7uL+92fU@O3)6|IsE$J56M>;(!H(ux*{;T>1t451+UhA!)eZwoG(}7TSWIW7-
zk*`FimEP2P)2N9+gZx5Dp&i4)w56vz0fJ1YBTD2^HRqv;_oHep2p-&saZ%TG+1oi`
zND^?79i4j*D8q<%cMd^2Ex#6PB)pV13`an|SK3~O7CM4>vjkDOU)Z72Vx;6q-2TLaiXR!w6qKs1BGrsa>qtncZ_c`6(Y6sZ_x-h+<1
zNO)CNbc61-Ih%gQ(gjXGq@CT{ofdzuS7cD&E)Hgr90!AQ&waEVGPBsVz!>m9mm~#$
zk`Bm%AANIPe4mWFunJk(@S@@S2>gZtczD1kSkdYw=5lv10t4Q21x|G5!Bp@^|Xb{4@E#mk;~E=M&7w^Z}^@ccMVd
zbznqIx2uTkoViFQoxzaFE0IBaXQ_&$D>%Ox1@7CVWEb_U?FDYGj_SZ>f3APj{&oO)
z_7isxT2h%YUq?&F;@H7x<7XYQj0i*pofT
z66K!>O!4h5!B(mUP9z(%TtJ=+G8P(=0YM&CPoxukLeb!zSctLBgi*%wPd27Y`$P)G
zB(ilY`!RX-qq>YyTEl^ylXFp^VLC_YU%tzHTK7@a(;svH_IbNs;vbwC#8K
z62pK`G(4DD{6Qnv)U#N`1ds0;BzaYv=UUEDRhu@^ANkX
zXu2dL=)6BE3e%kuDYfD;vZOdnBkrF7Q%K{LagwcSb>4eNfZTKqDbz5&+-1oj_)C#!
z7|OV<5DOjLjaxlv9Ua(@1`K6icik|3J&&xPtdTXYWnCtBbdDU=np)Q*F;cU
zUw)v+|Ms{Y09Tg9P(Ivg(Sc3HsPceG8cg`48d|EsA7sQiAl)&VdwcgjP!a~XcG@te
zQynO5$QP*Z*a9l<6FmL?1-L%lxw8C@q#)bdU^LTbABX9i-vNbY6<}b<^4|D5`ZqNA
z#f`VCm}rU$-fl7Sa2X72`W`TE`4HI3us@RnPR)5sq(EG7%>bt>cu)MLFbgW?(^cR<
zo|MiFg6qczttD@quaVJ8z}~hHcvdsEmnvk-G)~VxmJ|=L^>--{j|$*6^~s)m{OkmP
zo*k3X+DlY{avLG))v3L}=!MxCDO3k}?TIK*B~POOSm;o36DAghLv}OQm+0iO0oHr%
zFVQzFKoJHlbtxZ*lfE#@ct>-yUEG68YAIAR?EV?t!+m)QI~yigj1NDaQKexP&3scC
z3mC?|L>{sL^n?dD00glPCNg%vkn3(q-pmZ`&?-pr&jd1Jb-pz$`)deK^m@mU6|TGk
zC+{mKhk5~wxi_Y3rtizqC!&Pq*MJns8^|SMzGpDSc$JJ@-NyF=Fp5zfKL$6XM_vRWX+Ap${zu&lI|PW-x>Qa
zvM=^OXvZs?mw>G@QPi)t@P5BdNBNLEK7Tc=TV6Vv3LDyPKN!2w+TxX5b#xR1@Y2Wu
z4m`wj#-3rv31gJp#iR}03`TCvm~1i2t+iL6In%8)O4Z#n#cnEV>R>taTK}peLssE2_yq=cuf+x#U45
z#LfD!FPoH=V%@9O4U;5*u7As-3J|nvk~yonYSj^VlV%%R|I?eie$P8sZZI>!NZe}q
z>lY9$AOBy`m>?!s))>Ql{>H6mtDfZn_)6$Z9A4bSKR20%7zi9YIe|T^QQg-nRssrp
zyLM3$aB)TL#cD?|>9H(zv&8)6(oL9h3oJU-j}X&42%~klOTlVT^Xp`=A?Bk7p1&Ge
z`63T7Rd2jA8ONz|>J%$a7T<9u|70MbExy1hFDryB;ac^sFj$>6+|Po}1x?mFkwloq
zhgWo6@*@^Ts|?p(HQUz;DA;yLJjQ%K0x&fLf{#u=s|~$iQl292=ZLROID{!u@c$@L
z)vl)|*49ClWi&e8`A`l%
zbfv;sAI<>gZijCspt-7SCjpo~((wwqx!3dUHabmIsydg~9vR6O?HXu6{5ufhC%~AY
zE9yXjvw1ozN+}ZT?2>+1$7VvhXRr%jfAee=ru
z`{n7KZ*!5x=1riIzlK+#gd|Qa)eG@gAw~}e#&wtGVo#xa(9o!Nx;)$*EE(-VrlXQnfj&ZB-H9W{tb}O1%+p`15
z#O~3Q%26_N`F<5&nHTzSKyJ8_?0_^L<-9~73)YCS9blnT%yri~x0S92LN&S~m9i$z71J35%iD#V>hq)Xoq
zNMui;S#45VhW$A)3WA6XjgV^rPqYT}jm@LekWQu+Fx0sc1I{bbCCV^ow3f?)xBDlk
zl(FkppYJ-}`;uGG-C4)}VhpOu#+oo(&4Fnzv;y4-uRS}owyJ8tqkfbV-u+Pwfgt5a
z@h{2-e;nGNSuSUe-3z_&Y%E(5b@xQo@{mx1Z=3-l`oh$`^7T<@?G^!^EW2SBmXTXG
z9fgxA)MY^qIsVU3>^TwFS5m|E;`JXvc0(T{pf(pKZ@q|e^_lmk~^UJQLL7e-<*HGU0xZ*}_N
zmrkObSC{|7>*+&EQL#`1c+9CppYO%jxVd#A*Jl4qk-GnusW#dDFKkthETRPq0Y+UNn>*g<>5I>>w65NIBTl_zOTYxL~45kc~o
z(okWBmjbg_Oi5)y`yyXvz|m*aaa)y>h5nGh7)4_MO|HQ5!b(@|{|Z#+kTT$Nm;oI7
z4E?wIv)U`v$Q=E3wENR}+^djs=!a}Zm1Aqm$i16v#%7nzQk5?xYk2Y_g*QLA)Q+TX
zoWk|xw}8{vce@`TzezCFAGz!YFQF78?5@9N8-fC6L=dLe2Vtb#U{U`Bfv${ry0ZO%
zgpH1*;u&MO)O=zNGdV2TVbT!69G>)b@U$#kpUUtF-mkS|sJOURcsa+LRC}#=^o_q-
zCSnyxJ8HO4w%7!!-Bt{Io>4Qth|Y7ero&?KO9v~Mb>pp>;V2ii_5MN8F9viH845_&
zxQ?HUMm-USAL%NS657xptY`}g6tvo?>ZHGP7ATBX8ZLYWUVnm}BqRD$TU{^2Om5f_
z#df_wsvl^E6*|4qzXNH)r0h94+I|#LtxGwM+mZ<}`Qh?Eh;e~CKa}#Us$iYJ-b(8&
z2S(mANe39i1u@hGMfv;xC+A*sm(7?&}bv7gGtwSmj4?~
z4*c7o4=>(IXDTm_39^WZ_OMoD42fwF_`Ax7Xk&OQ6jzq<_W3wd?Yd1jmsB}PsEnt8
z-TTIu$+nk10t3xSN)#k(g#F5@iUZwkJPw^`JO%WJJ@F)_G5;k1QJng-qK~eW3O7&W
z7U{Q@j9elt-}kBIJ8PI+V&?1S&u$2O?h6y-B?53Y6~RacIY=VZ?l@X}bHr3&6a0bEPIYs(x4ON*t~B
zgC}kRHc`kq!=R*nE1nVRRz2IwJSydV@G0wVsL^$DKW5bkPR7%JaYd>zF>0*|f1*_j
z5UZf8uQ1DbE(xAgRO!cVX?{s$Sl=@L^Fg2H?UP7zwAk6+DC7wIXfa(+f!+5P{RGnw
zzlyks-d;|+Xn#H8MCek87%>yR2~xb7qELcY!sb`*@p)Vn;ip2P`Ri5hY`l8?1yaf~
zD8-$*E(1w%77-KIH@*|tX1?=(U8Ywdm%MZ7BOFsAQk!C|!5ioT;)2^MDEM1s6JX@G
zYQm!oR4*zawRZmx0%<#PVDpsXt5uhkJGPTV`|&WQn|r1knu_4zS9NHrS13T(X^xrd
zB9O)g@wL$%rU!~1I8XLph(5-V1U1B3@{F-X_>9$fCF6bTH(zy$RAuHZY;-)yhBiQw
zdaTM!i0682g=&!&3;8+Wg*Nm6Zd|hI@2Ry-Am5Ldi6**R5mX&nJ$2!!1OSNDC2lzECBJ(sfHNY0x*-D8vkrBVL
z35{HdKIcMxac*7cBZ`+V%+Nj*g4a&AYlQP==l|O+*RIzK0hE?vwn*ULb$xz}c*w_g
zAD&3g!CHM*KIc6?9R%m}BF*8D&?z=!FwlOrN2W)@7?&qX%6FE=&>Wg%A~2yv@_74(
zd-;koBMOO0U_^bl?N5kD=m_1*^TaUhNO%GxkiM6L_O~O_{D40o+^U#x0wgpWBrv97
z=Qg9l-TzL}rY))|B`_9%1om#EKo9#;8(O%fdottU#$3bvW5>qYN<7|$4({^OGxDWzMIt7?mWX#wcN36$m%$``}?zra6GG~#D$MS
z?Va*guj=D-S?mKDcP>y;j$}J!{AtjB4lDaf0Xh63F0wABB$pz|VYSK&$(o7!DU3_~
zlamVKQ%(9xUF&FElgAoEFVeAc?JtnGHt=y}ObTBe`0fS5Vw>@5nU<>v)?g#lK@_2f
ze+mJ)f#5_k^IyoD(iPRVzbshVWI5sq2*OKgMZ_^o!A&e6b$_Wp($IB~p^ldoFzv)a
zWkj2N%cEa}gCs(0GzjUyp9KbC*&ia^=eV2eM~RMeL0G>ZrT{~Fb`{iHbG72M$39Z~
z&qq!HR=P8IZvB_~M`8^#RE@1(O1A
z!d&2{>sQRHw%N*H>svhdQ@ux_Cx3;`5&?$zvq%KIzZk7l)G3S
z=KC8Vm~hV`$Foa-7r+p8h~8zD~n
z(kRyr3-R4=)&m*3i;QxZ^~@lG86dU+l0T#7CfJFg%7*NL$VD(}P-;f}W4=Kyoh7^l
z;IOdrr?O>|9S&X0`84o)Pz}*m6$tBC48CcpALhA@_~bvcf)9B8tL<0}+PTVOME5t$
z&eL2^TgmOG0KO37f3oMGi(TOc>a)Q$Z=KSX>k;-*w=t1=w=WDH)>}|b-}09DNN`+;
zZDvQEO&)G;G9CGk^;{Lqf@a|S?68`Nzp`I}*8+g1{K>I48M
z=s2cV+wFt};FmbD1#j$Y+c4h}{gkBuTn<@*4iwk)f#WUj-{ad99eFS*kbHq4oGKR&
ztdEo~2b_au3y_cg>3=c-9lQ&i_#hEV4?7{5nDiDdebJWwGj+@58rr0GkZabrh$|kRiEjwe*oA%Rho}i#5Ye<$2=AKI}LFu!;ozMs-05
zzh!w&{$rW!&89p|PfZ%I_Se9o(sTm`Y%=S{75&MW36ZwnxdhpuJO3>4dLTx;^EX#K
zUH&&u6b1S!)vkDmNnB#~mPBzi4SilPPe@6_v&kqV`Q|bb)?CGPzDo}lBK8L+_=@3b
zJWAPr?j)f?i3@ol+cg!zUW=5Q@f8OSi^0n$rf4u!6@a%q{ZjGmbDmIl17+0P55+SB
zEXz|M%L{eJFItExxm7hvefCP0a53&voK+>M7Bml&gIO$?PH&hEUsdd2p%k?$eU)gy`KUj>O6H{
z%lZ&R8XD`Q^4EJ1#1lZ`X~_*%LN;M(_nABY2~ruk_O)z79V9NF(%az%jEG`^>Bm(0
zQ5!GsIRa^}Elov6fQ9Aqx;lE@^x;OwaF60&d`du|9FT**pIr6Z`{xTmOk0Bpu5nkU
z{R{tiZJV>S1shWEoD!^LG?IpL3oqsC&?zB!Zq18J73r86_wF$k&)I?7`@84B{@fPk
zKkfGp2%_vvuwSM#C)bNjWpa6|9dS~Q`NR_$5f#`0&6Iq#%?_Y`
zc}b+`L|dNn(=32M`Wb=AU*ljXHEwQ1`=KSqzY?y#)WgnM?e&|=$A@J5XPJe+a@Nfg
zRw^}6!(t8yN;?+0%O|_6F%VL^@&u4~hCcG=oGI%}d((TL9t$&*+=b=Q#txRHI#8(n
z>E}dn65+jC(#rZQKEQM>0R@e(aVR9Hy&(ovMiLmWRq;UM-ya8D!k_$Wz}U0^bf>Td
zyPQfWF&%Fp4R=!I#-XQ&zlLnBp=l*6n+)O>p$pgsQ)@&YkSr8B7I4ctDf$)J*0r<$M
za5JJxHO+$tsAD0M*`~g;>*|b5BZUn-ZPpsE?l5Iob~lyw`Ty~lgM^R;{`tWhTYuf&
zweE`neL=9XV*RyPBmNl`2DGqaXWsC}Jk<;v*A!+KIO~+Oob)<-cf2ZLfB#R$DfKlB
zpRTN={;X<`B$CKng^!`q+Ma}Q^eT1FMpc7p?nbM=?h*VkF_TDk)?JF0-Ew@6H#qVn
z=q*PsEn4h*7XK6py--@TPclcuOlYC%y4gEM^faL`$a7ZSR%(QvA|7&Hq3wIDzl%}Z
zUvJPoo@~mjzC=;Sdm|UNGOE07$eA+4%?A&qy>r=d(q^_!fMtMF2LX)GCy!UhWmz~
zRxhkqKxoJrHCebP)G~7^`aYL=bo)#-`Tm5B{>$Oyk<%LVFc?UA*9#~RaR0(yOA(*~
zxuq8kP5Y{Va|x`0Yww!fV@^;0OV}F}WhU&oPSHC_yup{)w!#*l@YwsDf_Ka(p!Jso}Om6ahg_c-DZ{owYK`xMp)xkeCP=m5Pfo+`dFA^!U(p>c{IH
z>jMaOsv>y}%;R^&AUOFg*SNO*5!&=UHsA9L{ZbNyzQ%yKDB10E6~nRZELeo#n)w^s
zGYWAEklSyN@)7RZ&tLH-;LnFcgrpFP|CoQD`;YlfqdnL}iZA$;*5?3Jnd_0YuN{=&
z`1}MPcfQN8^rq}FaY=ER(@UoO5toXH(Qo%qnviWWC*bgo;aGE(540y%fX%osMf$A^
zCC&*o2WOQE#$q95i_o5g2W6bOz6?(o?=mBff3Ep41;L+D#tUtvC1Vk`kSck%e%+R6
zpUIXq+vK}jyr1V!ZV7m>R_uDWDxxj$(nB%h8hmo5$Rb
ziENjozdPsaeVi>>td?>GC<*@|7xu`mc#h9tzeC&gWDSxC$hAX%kC5!Jyj2a+?h!SU
zbKQ0r^
z@yQqDG9(WMz5#pn8iFdd%;|PYPxWN=fC|q`KD2*Jgb|C8p^`$6wvMl$tf)tDAEA8x
zEI%aSlP!`w#ugJT8C^g@`h>|@~NG1Dn-rQjS+utPX0MgDX
zn@{4>4>AT@JjXl9}R{6exk-z!)FL2!0;&8prIq`sLp-@(gfcILK
z6jC7+l3}e9Z(P%4ExUr`k!8c(-XrJtg*Pge>ab8wR%XA{j|sydDf?bJC&*UN`MkNp
z)0AtVCiFH08eQSK7Sk;3u}@>5CB-%|MtdCVGbz
z9dTSkHG#WU%Ow@v!0p)BB$=2X4k6o*V>Y|>U?H<;7H|iR@^N4QQ&H6F1J&IlH?81`
zHG^|_hCD=ms;juC{)r`J9xy%d!^Ttq_U3tLb!GkY_jhq^;NWVO_X;Wm|1#3?Uq;Gu
zL4||dGr*oQ&%EjYBbpLL1GwlhLGk|$Rp0Rw`Brq^LWSdp
zCA(BB18~KI+MZIU<wAJVN}Uu?O3)j$7x14P12_)%%SA$I5^UH#;aD3QL_UB
zrOL5FvvI_zvb%ZK(RLDgp4iVqDf&9u5cUn`b7be5;k
z9v)R}84$6|kB6T)P`>tmUe5dO`mMCA?ELCE`Pee=;7J|FLElb5ld@cH9g_&LhRc(x2rK*$S^Uvq>A$#y(mT3A-M0603=
zc+lMVgAEW8OKW{B2raYnbW$oeZIJ5<;@VWkAslgyD)IOQ!BdXON{sHuw*h~QvAz_7
z5gU%z;Tqssb$$MkV74Ghs%HG1USFCgayH4?_lFAZ;}?5eiKa+cuue{zO{ZupJ#RY8
z*5G4L(eI1r#C8+0Jw9F|j#5}T2E=D_pA|IQPb{e{h>e|yx2I2xQxt+Ql*>D=Z)*+b
zn=`V%Pds)mg#TbW!NCwL`cnc&Z-?)<#=m9;G+fRbFk*w!Z
zWF;ObT&ZIzPGG)wl=7uxhq#c`+7MgD$#>L4lcB@hP`6x6pBj3)HO;W_Gu^DrA?nyZ7uA_7_WUF|`(EeK1AVY{@4c6$Oc
zS1Ukxr8e}1nKv+?O(}>KA=pPy_ZjaDv!<5#lVcBqAxx4n_qw&5F3JBMr(||tmel0?
z(7A`q5a^0%HjOk%k;Fbp@r2`0(`00@n%`-8ZbH8DBdhWI%X`t;tPe=BS+)!3e3CAs
zo*-}CkD*)$Z$iDP(gG}a=(8JZJ!R%NP$7+%f4tc#B4bcrb_}7sp$zs_!pUr)1e2N}eDIUmTT-3QO0jzrBJ3J?|4Yrr81rG$F0Y&V=Di@%+HZy4Z8A^?nF08H%Bncqte@5Kwjc1
zkQuo$B8=-1s?Ty(fx+^82p2~^u9sJB%I~i*Vm2I~u((roWJ8*zV_0z@z%&
zkR#W8AVBmNMasPWpoqG7dY#JEi%^H2Q<8lXxHPmUACpH<%Q%00zS?f(>Wfr4ki-a+
z=xi6f+w5s;df!$)V=qUnt~50HVwfAD%=%dh!?ObXF^f+-D|-|=$`j48&}Eypn3lLJ
z*hD-Mg6-4T&&|Kw2D2gQuA~`O==+H6X}+vn+#r)7Y10B6mS|q$oSdRwh(RtuJ{LFq
zV;3RF(@$RMoe6t`Nr^>|&0n0Mb=$)9*1?}0G+1|J8H
zXWS6eXj|FUzM7q#-JgQ6-cvI8Xso@GJJgmYFy^$J7?qxfkG@sz>@$*)n!2ii1qZLp
zQhalkzJw+1+BHh07Np_e4f&qbb4hn(C;9~~gT$(LlN+pw=&Psr2>A{_i+y
zuhF`;C!>zM5aIw0XwlCB~w1;_{3#YuU9otz>Oo(
z(YE8p-Jl0wjEfp&L!^^4=*)FIg83PP>3X2dm=^xIqv6XJuh3-F8{<&a;^JZi%_t~5
zyC1UARuDeAT|hq7mpI;Amm)9ml2IdGRLnJD>S|71XkrQ`AV=e@0UIfgrOb}xwfSHG
zMQ?@tPS>UsNf@qj!OU;%$TdbuWG6EHb}acqKa`X>zI%hNhI3HQ0e&xLd6Y}0qU||W
z^t4K<4cz9>%7y9L6>J1gsLCPf;!@ng=fsH3XFMiz!_@trT_e@9=Ad)ryXM}eyqYf}
z#Q5U(d7k=n`wF#8WIJ9h*J>SBM7Uyz
zlQ_L*cnvZSN1pFpUSXl)heTt{r@Ouq0g-m?x4og+SXF-EXA!$^9JMYHsPB)nh3dJM;JAYf#Ny)
zXMWawrk#Q`@jG~lE_&qDl9BV(Ryj3AwNjQ!bb74!TNsOQ||Hn9oZgmU5bQMR%mnJeZOX7sTxe))DJQjUakQ`;pLzp
z$wpmnBViyiuqx7-I9G_%<<*$wKnPh<9p-;4bTUYHpo5T_APJer8oQphP;O`y^>!(W
zJ40c71|_6wx4Xr~NTd?Gl^xG0=TG@Q*YhP*HFrvEVdC;BQHqe*eRmV|vh0-F=8XE1
zzy2DI#69J)?bxk;XtFTyCB$FPu4UCOlMEcl`S~^c8)B*iKzfW;p(u03j3RP^a^3JCNHoRT!tOAMEb$}1Hl=Oj%qU@$(?}g?}95fc3S>~oQO`H
zsLHp*UFA1DJ*n8FtbWc&NM|3}@Y9O5SKbrzvXBZiV;O;&yP5UsyR*!7S7wh{1zH7j
zy)frrXm5V(p($E#-81&r0gvB#aGK7ZWAMPu@Ogh*niy_{RKc_?8^wanj*7yoVarF}
zXQHNO_lGrnHiH-oMJopblYvpJ2wlPv%;6l{+lRWxU851A*R?
z>Z&m*lLc}MoaML;m9+a4gE&xoODh^=LP>}l0q##_NABR>tCaNAW-$w4I=2f`Ql}Q3*=N$N
z4$6eNerC`80??*YIXE?=(jM?U#La))XxX%1FXABs=eo?=XoVN5P*>G1y?D^2GJxe3U=0UH<&1pI6(%W9R3YqArnT=M8Y%*G|ay
z_X`WXo`k&%cZbx68^T(QzGi6#@a&;gs=n+i3;(OLWFG?QkNGim(*#Up<$GYm*=u|1
zAvfJ^4sNA0jw0X;@;QvoK&g1&&{)G>Z0dsHaPVUvp5ADbN_VJpKFs0uFV0Ge{>x=7
zou4PZY69D`tDhJaUK5GLDWq808prlE=sGmDYzc2Y;yMsL!&JvY{pC|pL3F@muS1hv
z_P`Y6HNMxWaNNyj0RPcn;A3f2N5d&w=Q~I=(FXn={c&a6TJLM1^!&SAiM^GFkrx94
zlax_xh(>11tCy3C?XaZ0;3Alq&ytD%{zAvg&(?;PlKJLIluQ3BT?C^0yzQdxxGNv_
zwyu@oFeJVdT1;G_GC4yg{b57tvH&>eq7)-py_WoqIdd~Tcg}kOzN{(shwrp~f8Acq
zqOD4B<o+TGh!!7&L@pDFGx2Rd7oP8PanbVXW}_w2g+i?%N--nT
zVwTk$Y{SxmkH9u8wIo_w;_V41A|GP_5mX?;5{$dZ4XA3AjVbAV$6a~X5
zjz3iAr7#Nt3nNC7A)y(fb`%iDWUJL!(AsV3EqDcH?`*DW9g_uIXx-2MFHw(j^3t6c
z1(Q(&6o0^zlo!t))j<&KyD&5?1Hj+N(LT8)qoo1Bb1dcgc|Kj}FbH060Ci2~(SI!kT3=N7BLg^HE6YAEwWdX#6bgHt
zQrjfcVLB+^D{;M**Isf`Ed|@c0N^>kYS~ClrNtl|djnYemZ-6nGP75CBLf&}Vs?;c
z58jmbI+Ksf#oQk$JH^iYraQ+evG{CtY5?#YPDv<*hjbYHhu;A2BUWj5Jcg=<19;y@
zTYqU{UV2xW`QEPD77v|wvoGniE4SW1-t^CLs;tQEzyJbxn)sB&agv`$!f*g<-Mx+s
zU?6AK=*60syN$iYQjzut&{Muzs_vCrOND0ra~MDXPZzAOrywt~VHg>}i9UNb&By@O
z+M9jV#9Fl`&d&V-v_MkPjFmm@%(`><27d_P7kHh|CrOl6Bf+dGzHIsfxKP#oY4QFL
zDuo|U3u|4qF~5j=osH^p=J(3oE%v&a_0M4d0X$tOEkel~31$;%*&jexr1hsm?98lG
zu&Del?9(V*riHUsrGu9#J$4-g#|i){uY((B?b_{(>2nulx8Er%zsl_
z-d`4GJ2hsri=^7wO`S?jFL;r3ZmhEjr1+b5z0NAjFR6BIxx0nAQ!3@%IZle7|_xA1S3ALjtTKjxH%rT3!R0N{U9ZgrFM
z1rNY~Xj-nmZVUhb00000000000Fzt;94p`3gF^xU0000%|6lvU1ONa40002Y0$uu}
UKynT}fB*mh07*qoM6N<$f*?iu8~^|S
delta 18418
zcmagF1yCH_)-~KSgS)#0cL{D`g1Zyk0>K@E!wez8-8}?%hu{psB}kCq5F`+i-~j>z
zzR7d%ed~L_|5p87HC^4O`|MtOuYLM-uig`#1zODnHSj|~8L0vg6KJ_YZQ84fndj()
zuJ1_t-?6`}iWRHSN)q6k>FNd(({!iz__|MvPDg8m^_!Lx+YRZtIeSN3;Cxg%+
zCfKi^^V?5PSp{~cVklNLScb#rMzCiKmIseF0tm2Ajm^iTjnbY%kA|kAzAnfm4^S(0UB6B)Ph#Sz7
z9ak^>T~X(taRx45`*ErRe)m>MWm`+{5|LF{~SF^bc-f>zq4xwFLo_RX`wAqeSsX-qLXa-91Xh_mZCh`2Oru
zA1Lw1=w=9(ZMS-Dm%{+GpxTNqPxG&;AN9E%(WGW@<8T+kC!8wAUnjWU0>{=gnVm{C
zT$i`-S@PmHv)$_>Mr8J1;v!4%TWnWHMn*3!5S2jLUDIT04hQ%Z??Eg~`cioKT{=VE
z)(ob5)Y4~`Rj@yujky~fzhyA+H`=hVz*Nd7>TT|{)`VHKZcP_+*+LGb!dHzJ%tjmPSe5aMY7|$QGP`gHOTn=V{&ha
z2<00o@}wnV`^J_m?Q{{?iSRv*W1c5
zp0bY*t$?>_6I_fb0~jw7=3UBt{Uo8*e(ybMY0b`}g%_CV9mr~7V&wjua6^F%rlNsJ
zc!ZJdGk_1Zc<9GZyy1^gMwWRBUJT5lVf>5|0g`iiz37mv7~r^JGBM|)jqUp?)j>{9
zG7()WA12Zj5`-wl@jK32s2=xYCb$B=jUL)!gz58Y(6E6g*=SFvCyB$nO#lbKb}~;K
zUy9D$PJyb8@z;IWK4@N{RMX0T@1oMUTOHk_t3Y}49&VJDDRN@Mol>7j`F)dA{A=1FyjH8!TJ`I~rS#O~MOeYk1NbF5(hk@_ed>kV(%$)RKpg7ziOCTlXKK$=}g)(3wEn?~srZw#BC2qVO9to15xVw`PJ47D&&xaO0;c
z2b=7yU<=!TM8bKWo?xwf%i_3GA@n$(O6&{0UM0bRB~KUfm<^Bc>gZXWqlGsP9o08k_>{l@*@i5=!jv
z@ay_H)21{^0+v>%?US;_Et3*q%@jMJnI-*|R8Qib0_OVau`^chr9MQC~`l#leW`d+iHdm-=6?FWBKyhj=SNc
zh33Ar27s}j#%7%u`b-noSI>;jJrLqE1M2AhvU7KUP`eb(N4COly-gd$x6KZT*oGnl
zDRVT%`LQ{e5oW|vz@s4!%(1+?xIbS&MJbZeg=eFYoCrGYhU%WNBep&|kJLU9>*l2-O^!`3
z(bF+-cBEn)_Kw2f;5@L({hMQ|sI?UE=Walb^v!3O|G9%l0KtkhLqhDWYVv&iH
zPD06m?l_1jPT`|$TQhTz81=!saxPTniWC5yA4$
zg?XMA49`(1>e#!7bCtp;!nM)qRyVbIcPDuWlk(eNChSgTsR6V*SyRL
z|KoYnC^|briJ?*2YH5>ym23+InjxX-nkTcH!NG^HQurdgAw^|I_j)Q{U?}7xJn(*b
zhW{(`uo%p*WcYNgQ&huBKEM0F27ogy+K*sM)>;ab%tXeBMK?6E{x`zK9+8!
zPO7YjL1&4wcM_b6^4)L`UB6Wll+ep2+>?of6iglpLhaB>9v5&6o=)mYpYjczMBsO@
zBs|n72`!2GbxBGpKcW5{Hdag@w&Ppr!~<~c$CQKq;(fRB7w@y-Kkar|*UoBxa_9j^
z&&!RWbQS+HYiJG#7vKHL`rX@qhsKORivt=@
z#q`j_g&UisME9X$8o{MFg71-|Tfdn8Gac3aO7A=WJg|3*UvWi3+dugD|Bdf!
zi69c6Jd5AI@sU7tWQ6PMw}s&_PuGw%39af59)z$eZxB>e`+pG)x^})jg8lhAM0iJ=
zdxe|F@t0>5xqtC&t10o9XML}Kc-{i%fkxNFKpyS97NQ`W{Bq11au{*|WubHa->m!;
zy=(p1GRtKP^S&hBGJ@&ARc)9^o_~EqQq9c#QkU}k7tnT!M08<{oE*6ox$?H5G*J9e
z5&?qmwsS+LIXT234di9O@6czi?sT}k)nDu+@(XOTWsXSBz}Eyl)Aab*zlaak<;yV>
ze6c%HVV|`a@-^MtQ^%Ju-ee)~bDWqe`98ye4u5YUkKYTO!3@Z)&D#x4k%oyNFKY1~-9i*ePd5W#Gm${_Br-B`nNc4IHL_(sD289p5G
zzh?g4k!{@^cdL03&Oo>zjCSf*2xxHy=oDtd<_{%L>;fL^!oS4GHuoS&tBDX-)vbrY
z7N`-n&kBwjFbjh^3E#74d$7Iv$E@z(Q7Psa|EmG;{FhlSUW6er5Q_%Cf04pazGwEV
zo5BT)-*rz+3v2pQG8o5@B<63zzTo$L61oz?fUkM=@X|&u{O!Np)*oI#jZ#bW(oc!O
z=C|O{@!KKfU4v1fD)HKf4O`vfos6%~zAC3L0)8_)wTUL8rC)|W9=LY*NYu;4Js+|D
zF+7^hZT3`RBlzb>>Qg0ehe?a&2NVIEoysp#uZPC?V`(3Cb&fk-CeGpx_y@N4A*Us4
z3N3uL2Cxv$&hi$@GkAox6m=c~Ylc70e!za#@Sg@4brmn-bFwwXu*|sg75YDIOlIjz
zY*qvOq0QcWl9h5gK!myTHjv;Y?ufTfBVQ~}n6K<(1vo$79?XWQ%&SE9!XcYbixq>|
zRki1`uADEg9$437OG+STb83a7vSavca3H3Z1@8|;`|)p5ezRAGANXSi@pWR|?I&Ac
zUJh0yr=WB71GT$$C`dbt>rF>86gV%0kq`iXis8Tkz1HDYtzC}5p8~gW%bS6*UVHB^
zu$)HzS)!A3$N#IjJmV52Db~tA46wtpa?}FeymkJ7j>10zL~IKlfw%XW;MriK4K6D%
z20Z~3e9a<-7KV>u1uFwGuE`icuhB6WKzCFHuMiNFB!CE-Mh0SrqY#uT0MZy%=45c-
z0|dpx6Lcr}?T^=hfuA(xVf^@U!sNREanfevX5!dwPTi4ic--4vG#ha`r+NwpX!o(7*BwBbtC>T}(5Pycp
zYqLguOpRaY^DC?7NL0Y>XWJUUcTrCz8_0sN=WtbItI1C{RR9DwY5|UpjE5B;=NNq+
zcKX>#kh}o%-wVdEGO%#zM)NQ>phpX_;S;&}YNQ@Al%57WY4j7Vt+er^8QH&D^|4lu
zQ^mBf!D+poe_V7RJMZ<*|I4TRH)Mh4NU$2K%UY8t5jOi_~YgM*fR_Rv3giW3lF36
z4bBacmi_fX!yKfYf`X_4`BzqOI$h_$E#DmmP^EDBJqV^TA0#?qx#=XG#!Au}et65_8Gs?a>Dv1fQN<Ka70BgeG@Ogdxv}|`&Y*$eHm!6K4&sbrfR?e4bSuZXkO1D8&dui
zpq(`m%Djy++ani>nH#3zYYprk(t=Q-$e8M(6DW8c9`+_{^t=S@HJc3nI0GVIBHn@c
z-FX9OQ=D5X`42N}jUg1i%4Fs=DnJ@Dh(81nR;Rnl9eAr}FtIrddt=hL%3%@1nKH2*
zid#7Ep8yP|`~ZnEvuTIahP-4?O=LWU3*2Ucv!bF1`gZGh9kym0ob;eK9_wkp@&=9r2iDhV)$
zI&-l#^}QZrOtwD|#Q%FZ8;u`h!Ce$ocpe`;tPCu%#ljU5tR6q#cn)E3v#Ro^5ou5Z
z(sakJGYvqfh&0fTr5HAQdEWJ;$;zKx@cLh6Xas!Buwx>iF1scT
zpM0$Y8y)eU03NCa2R5kyduj41Ul$k)?g+s^@TBmtNw`Zkj}6hmKg+rAQULgZ5@Orcd9>e82S0EZ
zTCJaKC)_|knabO1wSalzKrd3Ou;8Ei@=y8ZkZ3C*6*(K?(p3?>GcLd_u)%*wbSwU-
z_=EEu07ZFUBHS+klnZ|9`b*ADrr`YxQzW$-03=Z%%Pd!IVkr|vd#)`nJ;}u__40g+
zbP2RHVacp3hPH?|8+Ye350d&5SPAv$6|A0pJA^VQn37c**haZx(QP+yQbeZRZIC|E18T4H6C_jH7Wu;
z6!~>BeqXwfZ;A_l#ZtVik%F3a_c-wCHOI?N%Y-7}{ibgqC%chpDTR
zlMtkWb!aguI>G?So~eOW0?Z)u7!q7=NspMmD%%U0Qb9g?yV4H+X3EvUc9D2t=G@{r
z-n=Mgs_^YwwYipd$9NB=52PsrIN`_riAubjxI=CTr0r6_Lq)(Y)sw`gA0`0Jiz$!Y
z1`t2`
zToU)wD_-~u;HmOI(+1cf>5;a+az;jpVfA`y8!@Ea_fa(>MT%4txMK(MBP%Ea?!W5S
zs|VuFxe*RNbi#_93OUBfE6+FsAX`19)yx16oj%#v{eVSS$I%{U0?1)=BM=K3H~K`I
zK{5)ICyVs90|DMr;(IkedM^O@Q3CnZq%VDCsx;0&Gt>idT&%#nL95sIuVvH+yp^2R
zjYcga*b9zsE$q~QhGEVVY@?)bTzD&A*HJASk^>kAsQJfRAnP%_SPz{zgEX5hJD*ls6d?0o@`wQ2LgHzv~`3nSm)Pp_Ab7=Ben;Mk*R{lD9ND~h?*NVpbVRVwR-8jY17v`
z4*2ivO64YsM0x;+!qBIJ#Z~FkZ|~kpZ1c)f8c-C=GQ>?;6YmJbcv8UydwM1NIBRKF
zCD=HG1yFr}BI5oU!(phC)Yo7Pd_oI2&~HHG)7`5f2X3Hw!7^&VKJa}AP{@IHlKcab
zX&WU6#8+8Z4KjbT(hRg0J0G=X090ixg^Q69bc95qS8*#*FD?TI7M7Nu$4*vkxsv9G
zL+BBd9fyZES~+tt3MdL!J$f!poJO@MFf|66yg@*?L)BmCUkfC*<0e_~15?bdb05%hrC+G
z!F!{a6~-`nFk)Uzp?WL1U4gwN?k?T}n;gWbP%`U-ay8J%iprYx2LN9%Ij*<>wM_Ti
zsBkjGr(kZky)E85MR$pe!C!~*W#>d$)#f->>42*dgr{@N`CUcn!8^j=q4puYH`Ta`N7LP6wVLa|~QGqnGdgC(z$276&PcE+Xm
z5vSo51p@o-`2{Qnw9CtYmISf|I%4CIYf9+RbL6e9*?vR>2)u=tTVqs7*^uVJyPgh`@8tz!Eavt%;N>_Kzf6y*zlHiMG^w&bM^115WpqV@s%_K
z+{Zy9jtbmhU4{w9V4y9dUju`c-#Ay6vA_Xe1+|v-9!}ZiZ%jdo@kQKoIAyh#jqCVH)c`B(K_05%
zQOpV!?0#zP~t?$4Y)CV;C-qJp6QoS2dHo&!gu;0{3nYr<7qcsL@g#Xyx+s&1cdRKQt3SS
zPfqE=gQ)RWuyw|Z)z9yV@Dal(h5ZbByI%qWJU3bCk0S=YX=pTQ>e`6UKkXGiF7fZ}
za+uoI@>AOo1r}$QnMoBCc^NsYCFb%c+q+{5{M9OpDh}L{5~Cvf`6PUx@hKOR
z8!_}2G^_ht?0_?!DQ4(eGpP-NOGaXm6yBl^>$a^{v{x9;XOfDlsjqMm6alrPmqB&c
zN+5lk407$$8N%QUvh?oMNh7?MNp4e;9~lw9z6iZ_+68BtKpHgNxM-}N8^T!jwj8mc
zCae}-2F1;cJ5$MY^7DrJZIrpd8pOLDGSLa!_MFPWIea#%KJ_#c3L+0UYknk92pF
z$#;37N@bGAIU<>m{mVp)__02JXKPK9Aa%wQ-s#%jHULMbJorSqx5l;;bn>i+WcIJi
z-Mdx)@>m+_F|5KxKm=6rmeQlPjzxXz$2i;ITk>Gs?s?|#%t9G*w6?kDnlV*^xtWK!
zP#Ijf*iVkd1>zGf&QCaS!EE`xh6UpPZLy*LT0}1kSVPB0;J@T~FL$jZ>GewOW&aMS
zp{Zgw-*(umBHYD$BifhMyh<7vfx=wstNHvK@2(cyr=LDegD7vFrsEUCSHRlH_~ih1
zBHZvdof*ZXGn>heK1^e`1?L&-pJ_h+>u#I)vAkp|?*bhhwj^njq4IbCgGzd9{;vN;l8YPhfk@uowV`*yU*bO>V?szzH0l1>|=cV*uvv{sR
z#31%eHele*QcS+J;eodg>)S}&LrHLIR1$UYCZ_3s3snqCtusn=nQ?V?GR~
zoSEt){Th@I<~GnRcuP>Y%pZAx_`l6y%b>5J^b`LHR2QGXzvgd`j5TQy;)wk{cKy4lzPYP)D~EC-$~
zMatq12MKyG_5Um9^YNv2)(r@qV~1he~Bfbtk^icIy%Wk^Kc}f*3`g=`qctHg;J5rMcD&f
zMUo%jg?A-gd#H84%C+)GEf0&kWHoQ3TP|E*+aSS_%%39myl*wITp5SmfywiyJodqp
zaErP=*b8|D!CYlfg8C3nRtHgGx5lMIpYxfq`6-^ZS(Hqjpf#@*
zl&Pb(kz1HA#-GS%JSI75LxHy8q257r@R-<}PfDCOU1VE0QD4(artQ+T33@WXc^Y0-
zmON4MT%hq)+r-N**0&3!$H35=3S>40HI4{p`pNVr)b5N7{0H5_SE64AD!x1j?pM{}
zbkO=c{z*?_2EkIm@?(Sw3Sy~`rI$JlhRno~9m1@i>ZuOaWja!pSuvkqtZ~uBDKec$
zqeLNVjG&1l=Y7__Ru_pql48~r5&ir*uvZ1m8uq6N#^aRlGB>aUq=&Z(uOhAq!0)tD
zLVJ$TDkJb+@O=3zc|KoqKJ6MjAX2y+tv>xo4k&Sq2No-
zK(hS58({yRmjB%_#L<<|V?XLOhlX;J*|*FT#sIf;CJR~W^4n~A$DXj0x48{+iHsyD
zm3l*%IOv4J2*H|BCQUDLlgHAX_{2i=07d(Xhxy<$-6MjAF8e9t-6!eIu<%@k1pYe`b?O527AHHLWz-u$n7=*@@f4V_$q(CJn85s=`6?OnyG?)ni1G7(F8ALroy9nR%%wIqcVs
zkG=P;TAA^#4U$@`~0KbaudK#d;S+ehZ>C&5y;5FUU#mj)g-b|
zC_~z+(TvxxZ2fa4u?qa!ur?v(*)hNe305*gYP~7cag7`I}cupQKS;
z`2>+5ynKNpMIbHVnhmMYxkIkg%6jY&;+_WFbOBd#9zv~zixgc%GD>
zJ^`GgIwi5T*dZA3Pt^C(NLuRBwzF97RDaH6foNt!D`y&nwK29}K`|h)Jx9&3ouADZ
z2-nu7ygtBV5@`GUed-ZV9RLN=HvWm_`%*5K?Ao+%SIs5Zpqk)y5iOoy{Wzx4Vu^m|
zA7n&ifzRJANPXx$Ed%0#A86txJq}Zz!138rIYyI&5t*eP&)me$g@>k>7>HITK-K-`
zuOE`6ATt=@XY>>SV8oN8DkSvUI)Z?VlO{UC^gh|o
zWmGe4RE?GwV5t3WX7m9ed(S1Chfw({qU=4;4TChzLvls{b-$oG9waaUho2W5)(&6>
z!yJgwEFE06Y#B^(TZQhhH9CTZ!22$oO|slIHn<4j)z?u}PVLs=#zuvnFfjtFPiNmE
zo@}5sq+mIv)M1-SoJM7
zqPrgWVPooh#o4g36U?;jXvsd(XL$wGFrfWP$V@NL`zCpi;m*g$_j@MDqL)5|){0iF
zn2{O@7pZXi69JiTw&ttD^SyF2sSWFC51KpnPg(^GJVLxE5IAk-!$3D(gGSxNs^j6d
zHmUS}0os8G_8aSyXYG^EztF-!+R`QR0StWqGKK|I<5@uXC#ZQf!eqm#CU*-}*Tldl
zi&&5?N5FoW`}hb2Kcx2ybs#R3${mnGj{(777QRG*;(M5>o_#@n$^fw7!(BX}`p
zrnTODRps}v^x{}BAIl=HnyxV+Jl9Obht?cr7RaE_`Y0Ik3--ae)y}H3Y58~XQ9WHi
z(27$C+xJ9J9$@}Q=!Me1qQ?xZOtseoYke4>aE_)J*|j^W3qpgS1C;RyjLtbi2K3n-3Q4Ix13k1kKih=
zUtVNez-XZ3pUo^m1_k;JZv|_0zu|*?$ZryGwEv~qB73e`1C;Exq*AmMDUyH$#}8l$
zhry}Yx_Ut$QqiSrV_t^)OQ3DfSSqi}N%PTOH$B2M1XrGR_xx+|J_|nBf9Ez7cTH*Y
z0hy*qwyq6&)a(@REt5;}Z71oPV)FtFapKbpK}h>v!=KgZjB|LZqSH1v+j?
zo}%7D@SPPJyW1WvMsCHMiB)6Q*s!0-Tzd?lcT!^
z3W94Ccq4B%?pTP#SXpR2*n^*)2Bjg)wE$p83h-N-fS7kfg-N&Z@i)I$lcA5=*}ViP
zm>u;@QhmsK$i?mtVIP=jK_^Ap>_qnQqT*Nx>p$8Y_;i>(@72&j~YLja=QIBbGMR>Q%>!6HY!29pICN7!F36
z?Bn>T-o10FBAse;
zhn~W;V(fE&zU=_0IJWkYQ!LmDTBw6|f5&mBk^-=+q+I0YOR$0o&;SaI$5kL=he{Zs
zvQ?O*!#%C-*h;ZcD>i?O3%M1^GB1L?$sDd@+XWPl`hpabe}dx}S5YYx+Wvn|fDP5!
zK=`qcm43)&>tQ(Wc4v4AcyhG1`8aWNokX3d;Rw{_S$1(>>>zwg?oJXD?a=!DDE^@fD(~5zW4Kec;|Hkj-
z6R_+9gkqB(F|=+NN;sowS%w&01)3JN=Dx%-J?4c_$)pS2M_$DAJsM*B_+wm)#zQ;J
zl2&srQ;vcEKT!-6JHGgVGn<=Y+E1sRg?G*y7%0k0v(ai~rVjn_pHm^6GK44{VgQn^S3qrMm}h3=H64EKfnwJUXo
z>HxbNf444Q&+e`*IvhOmG($YOCUxeo)IvKY`C?bW{GnnKIT^JZF^ecF-rgJ$dmJ+k
ztxO$GASC!tMc~20OFq|F<8f;6VJ(*Uhetiz?#id5m?s~yuKY!z>abEg
ziKr&t;iU`&u$jz%D85Jcz$tt}ZLmYZ1$&jP;kY-xj0G?KXo0rzKXeK7KLBo@w7AEzvqhhj{@`2v0J!(zxeVp0MqSW^WS5)pur36!MF_S8*B;r5w*4W>IErsPV^E5Q
z-@I3?G+?9oR9hhDPmNB>t6!X#YtJ+Z8OCc@s_ZT0FpOz0WRS0Hekz1Xc
zof3O-k2Sz@px?QA=l3X#aCgy9dRe1WKN%(ZXuD43+iLIW?rZ|+fE$QJ5cvEKC=ULe
z{2~{eHwl@eOrj)ZNJPuWODvo+va*DK^d8b0ZQKo&j+7PS9u`)~OB)U>33u~8Vh-obG}(l3(-j+l6a${gHvz?T+UZSz;MQ^(
z5Fm8mzMDc}l~P2lMZ+vOZSamx%oeAKH7e_H(?AKj<&(Hvnp!-(zk_TCHA
zPGF)wR7x47DuPO(q4gcLov|(=%oxYV<$ov$rr5nMP1|uV;0lyY5Xhv2Z@gVUtIP%e
zoUYAb)>O5T{`9m@+>eUE!`SlX74*3w9Q%^AF!(%cyySmSq01&%s*2x#?Rd_%yEF&8
z?tobqZ1!|lt8D+9LbdtL^xc=FRvW1N!t78wTnSpbr}3v;om}M;q|^1AVZIxTAF
zxQ(i-@^L`6_v!>Ao(b`GsA8K{QbQ?9e9*tUXsB8H0T=Y|f$i-{Y-H`f4bzI2fx!!Z
zyiX2PKZ|KTPOQ<#9f?hyo+kcrl&Anvpgm_W8W0m1BD!a|sh;m9=2-X$H(EB91HvB0
z7
zXNekRS;8q)Fd%HyHAEy|zsAW?-(vG8;?7vy{gK1uQRT5vUC+
zczKwkBPYo)RV&A>tWN2EJ>}5^5nwpt)30dcwFGU${tV$}RH*R~{YJZBB;+BAzJS5A0)y`D0Akic
z^ze{B)jxu*m>}$AI96blQ;>}9F#b~=Mnt@wTCn!s*R#WU+jM4cRph@Zn=})A7=lmu
z4C-nr5Ivv*62Y7wyV)uRLv3$rD@)BuDN4;Rfy)6AlKq!UjeL)!3@nB=aJHTZM*QG@
z9}TMc`JF`FA6^{<$$@1i&>&
z#$OaGvkv<3@3ZW9Eee!!N{3K>yw4^$QI3!XTcuqV)I8hA*>Z&qY;Cp9@j^yhctHiI
zWy)?s;3Gv?ak6y|tA{J+RmwmqG!QiF}i#wBhspC>%mj_J96^^-MyJ&Kw_B{bV4!f1mD
z3dRM^{P40mk~P6D^ksT@|a2OQ~BYB|qLFabzd_3c@}hq(@9kp+?ln_`JP2
z>4Wd1@kbY%`oCGWM*|Fc!vpI-Q?H;~=G)E7RG$Tje&1yWVPmkYExzfC4bDsT4-g04
z@bM*IX}O{X>_2NWk5ahjafufy%rQ_80-8l&4=zC0+3qAWf7osL#G$hbdZp5uxD7q~TERP*Q683BH{`^FWUO
zor%4a45Aj~|9Td@J0O0*FMDjdg12F3&EN301WJC9LX6P*(zdScMB&te)QD{CWCyHm
zo`bf;sfHKuccyDP?^jVnjd7b~6nf=Wq*V_13MNt1&4$Ibh2xYks1%If;oCbR#PoZu
z%InjaGNBxhQlYxSHb%B2g;Pn$HIV^~`#^bn-W%oSM}BP|E^Eg0hv=^XK%a|^vwYKe
zIiif6UK(Aj2I>UXSZDtl=0AHnL5rxqU2_9O?SBEP-Jd4HvQq~kBD8e!0w)g1{LBj5
z+HW`ZThR}2Bln*DMjLwEfAXa<^_c@SFzZznyC(y)^B#>B{3}n^ONNL~Gf$>qzYh(9
zj~JD6OMTz7E0gucQj|GHD`Va@y{SD_V7v-o$#`FL-D?@G#MrwBsfcYEs7F16kaw6J
zd9kam%8yAxjFym;@!(m>%RgpYU>bc^-B|wg8=C2fdHT@tyfD7u(O%;j-OTOINr!>k
zI~t$<(Ub8sQpK4R3A4}gPN<_WG~0X{rZ{K*IM50?$-{`a3QZ-!%sI!68z4iEAj{eS
z+^n7No4oyM9m73I5Q+Q4D8jv&2YGxx{qt?@ZAK**EN^Dv31(vN-gM+{kX)h$&VDy{
zxwZSFA9Nq^Jbyvl*3{2BRMaFImQI(jtD+vJ<^%YXmfl9UaOp+VIo86k-x793i_X%2
z)`gcTh-`y{L9wVtG|^kjIjWV`7Zol_I-2iSfAWu8M0R81jTPN*ije!+X}&EI45U^`
z#e3GyX8Fdws><{m*a$Y&FkUJ0fxTEmV!(1L;G=S+ARC6Rw{pUsZ&Z9a_DPJo0&077
z;Q1+v5xV772eYva{mD{TKb9~HW~T9C;|j$o~WJUF~U|WJSwqX)1Z74^`f;-
z=BDu15Wo;~$8UULQ35pAEBB7Aeea$xp=ls^A=aX*nHAfl;YN)gSsEG1l2RyIo#00{EAp*!l2^9j0OHX%kgui5!~?E
zYVxHsqFYRwZPgRhTd{!Za9#3?pP@F`r}JUSD9-DW6ZE#`8;WmoE6@G~X|`%fmIyuAte?~@|-C$cp%`~E48Nj1Aab9-S4XXD~3X9JkaLKDs544$C-
zHo#BCSHm1mokfM%dL{RIlBp6#e9);S^TX9N?@Y1RvO2|Onm5v*SHF#Y#Y+_GQklt)
z2+fh*-{l(m;v-!CtlGFlVD-1d>qISex!&0(qCJ{1XTg}M_H%C^H|Co^L7XE-J{pVf
zcFj3`>7K*>h!-op))`*r@JTbA!ekYd$AUg*KLX*$JTbQ@&-p$G5hIh@
zF@-yuko|aygEuUZOwRo+?KJkDN&=ke6Nh{99S$t|v9B^~@j+C55Fup}(D{;6LrQc$
zs9>Fw$rKZrPqIqJ(M8=}nvWxmL3HHld~-e-lFTC@60Tm=*)+or_2d>B&MDs^hzOss
zH3;v^xZc#*@Q-pqkMlK@E%5h?Toxb4Px3B<-Bid}LY2yT&vKJlf7_Ae(+HhYFLOw_@`y*ldZW09vN)20^y4UY|
zcfwjx1orte`qM%oEPdZw?K4V4tdmxhT9{vqo+;Q+&LujN17VWC?I63FqTMs#$0tZZ)TUL?3zKZy_vK+Uitg%q4K*gF$R5}T?%~>
z`DoM3d+Ly#Z_3yl&QEjZw%Jtc|H4E$!~t0a;}==v9r01^V=#zS?<#P*)42UTMI)@T
zwe67)2&UUHO?|lce*$0x
zpZn~oV~SoDc%9-A^5dJwF2z283=4ZwE0akAQ$>mlLWvfu2Ik!s$mXz4(s>7^k+Nk8
zd5t+Mqr7s?tN_2gQVKtPQt$5CtJoA3#89Pw@Jk*-`4p9}*u2!t7vKez&vT1?$*kE(
z`cxcmt^h@&PM*udhthm`Uuty(@!BC<@jBqYSI#eG;KD5h2%T9;10p+40K;7F5>tC$
z>R;}vS%}&tVDtf>tnVB^X_WC?#G_WzhBrXI15g98J9WQ4z@
z90Ui^y>c19=LLa@6^w(8zXrmSA)X5xHZwKz8yP0Fz{4{pB8KOcq3QCU8JdX2VzD2S
z9}6iyD(u-kj@nQdh2hWDxh_y_VG0BYOR?l;ETD5?i$O{i5QSU1lx%?&pzJKG3PTk8
z61xofeIIFt13tQ@Izp3C0~LROpR2qC_Nb1cXy1jtei;D%MuFbhqx!T~*@eD-836u9
z?ErdqDj&nJekYtVh5-HuRdKYNrl@;i;SJy@-zLjja@jUH?FR>NnvaugW1ZJiGEUw*
zzY|=?sWc0_vj0xT>lfFa63c@^}EOh9Fz#Bka=d*wDEk#;iRD=Tq
zI9V&p-Y&H!MLjPRd!16-d8WgpSH4%0daIzl_&cdcU$7ycK+3M5);5nS;u@oQDehB^V
z0Kbh`rQPuutLhKneII{qrI7{cU1=5uyJ}lJbiSBe@**vvnN0R-@L(fWFd
z@*?YpfdL%pLvYg!3}CIj*(Z&xRcqwz><^$tl8R=i9B60Oox^`8KmfnM%WO89kJD-(
zm^H=6jX!`3Ro#ykUmilG`0d}qT32l>EE2D?QC&_$uiV{YudA7V4g(0_>0)USOTj=e
z8%axl09}#R?+%GGvr^Hb3cIjR$MG^PoV6+)f=ubL>$o&MN7*}T%iS$3()q*ZaoJvC
z00BH*BOOa=IuL)%0;T2sVPUpYV>Z1=s-4}`snmEO7)$5II-5vJK5OT7R#|>YwQI}W
zEzF%#Deum4s_Y!ud}aXfTR7KyrJ1zJJ%;^{<=6e~&vl($d`m}Ny0U+Z@K*VL4gmaP
zPH9{Q?^PQB{BO#wZgM{00r(G1%GIZh0RR9100000005I(105^iYkP1=00000An5;V
hUzh*@00000fLUryqd-OF#+?8F002ovPDHLkV1n2)cCP>c
diff --git a/chapter_introduction/algorithms_are_everywhere.assets/greedy_change.png b/chapter_introduction/algorithms_are_everywhere.assets/greedy_change.png
index 59b05ed1797861a964b0b74fd001da50b5915f0f..fa970c15cb61597d30f27a48bd70e2c0653decf2 100644
GIT binary patch
literal 25361
zcmbTdbyQnj*Dt!0;7*~q7K*fJp}0dS#kD}OAVmrkcMDpI6bck64#l;&6C8@WLvVL5
zcJe&$d%kne{pXHxGX}}dnsd!Le^XaN_E%Nqx42joSO5UvzLS$t2LM#$C3pk_f_%Bo
zW;X)>2%xH{`R4KQ@$~fc`1p8cX6ATlYJPctYICEaqT>Gk{^H_deSLjnV?(|1_qD&;
z=iue0rl!Hc!K$jNuV26J@9%3RX)Z4>&mHXlU7K58znELv8yXtw@9#faoSfWP9~~X-
z>+2I17M|JJ9$#Bsog5jNpBot&*_@r2UEEz-J!V%PJW#-zUR{}6+}v519-mr1TbVsv
zn3z~znx0#0ZEbC9Yde@9zrDSkS=iay+Pc2JUR_=7=;+wp+Z!JrKRP~|nq94_safAT
zI^95wFD(jw4@KY
z>+2U+Pv__7*VfjmtE+o^d(Y0!aw@lWc6P2S;_B+^ZvNg(&+owD@XG{;FF#if=Ef!w
z%TC=bOG`^*t1Gj+J6m&;GxO_RU0v-1hpoNaVJYjeBmFy}u*QYtuhwnKd>x
z=2dSO6cl)td7Pi0$H&KC_SKx1#RmLXsTitAFIoGuvK$!^5m4nnx;A<=*_Yg&Y?p7R
zq@*-3wwqPH?%WH%`RSCHzjpJd?mWd^PfyP^V!391CVHs14zXA?P;@-l;#}->^+h*+
zV)*;_@6C&IUkAE>W&et8i5;EZ-9Fjw9^6h&PChG+il`6&lw+lntR0uL)-utOo}S*j
z&|5uL{pr)E-?Nivd0%B^We@e}YL*u~d*Gki8%}y^N=iyjyp`aytyw);=b3(bsUJ?O
zl8w?04=uP(uTGCUf4jQ6*1$IxcNZiKM?*qFDqFTn8@8$!=ZxH^RjnrqrpI4v4I8vp
z=l11Xt{OQu>QvRRr
zhN=3R_WjPe&ZFQDKgR~m3$xSvdqSJ*4%LaKSEs8-hw8>_FGt%CmgjC}2aZbP){oYX
z_I4JQw}19@xK$L(C4CQQtbU)7^t}^)d${8s(!5m=-5zA!J~LUJn(lM^ZT`sm0ALyS1*8Swe=h(3J)oCEI{daQSRL9HS&Q-y^-=yZ
z1@3`zx<&FHSorVJ(AdsUdNtV5Y~E~wOms;g!Y0Ntgp?+I!sq&s7FH##>QxHiD_?c)
zXx=gAZ>@}cEx&cxNW!~JkT3DOJKndl2|4pm2isJAI;wQ1>Gb+r7168^dT)6l(igbn
z@eP|ZA0GVitg^_*jq_WK=iVAf+ps^j^N)4%kD}mA@+;ovTZfix&~C@H!|kF%b}4fW
zb}5Xl3wmsLSLd@c|Ats4G{_=FpuXUC6v*#n@p-{5m8?wmF9*TbztUK-=kJUI_74~jhRP}WO
zrFiH{F}e&NY#JZI7SegrNk|*^30$YUCNuYVQQuY#o;lPahd;2PuMrp+rB4>&WsEg{
z0_O2GgAbY7{f~#xj#oj>Uzh`y!PiuAjH_@nEG96KvM)BmQiMhr{*!Rp%M882F;
zjqS%klU6?*1VQ!)rTtBi<(oUL^Fu5*Yaod-AB~X#u?w=%cH!D@q|L@bTwMHUxCCA-
z{zQq!&Ntvk<@xXy%7?^-4eiI~;nHo#X96X!44^m=befQ@1y8oj#~)Z`4LZlerAwmFQx
z4^UI}>c4|QZu&c&?9HN{q=J4WQ@@kq>f^>d$!`Fk`(_Vnx^NX^Jj$V#%ipIdyZjZF
zuiXWFZz5G}wIqBRqM$W08eBK2xEYtRbXQj@ubeoq#0*!$Kugb_a(?7qL+PDTEaicP
zu_i{zoKN~UdKGiP4)_c9p)+K&*PnlZbuxYR@`Uaq{id|Gy#{IJiauj)3fr2{XO%!0{Q|dPbMyTK1*29HQU4d>e&$0NkQBq1bWwl@D&B<77&OqU
zgNoH#OEgj+!p2HefO?pa%SPN=M-9X*U?>0!kGW@srBcPLy!iO4g`w7qo(X$Ym;03H
zs>uL@duu2s)KqRE9tQ!;yeEL~{O+%H{zU^SK7=M>LEA1My}J$7PhGI+NL8~Bqeb85
z(E=xykoMIJubL0Tqg9lSfD
zRaU7Wh6p5||Hm4Y=PRr*X)bcE1TfI
zR9xEsOs5v8@#;oHisOapOO$}9mdry%C?#?OOkvn^A;y=hfZjtb%4(Jc-q6?US&W$R
z9w}O#ZG6O{yU1W$XJf>236l*B~R_ILmdcZ*$91Tr%Sp_DB)m?>N
zSqYl(ePR}A&o=JHIj@aU?kBW2It<%5VeE~t(+;rm*eGkIf=fJTFM{qKv`|M1bb*6+
z1Q1C62^j*2xwBSlzb-=NAHY%JODNIOxA_M6ID(d^^<)+K*29&N82$RtllpkAWiNn8
z&~@7Q?N$zf+WHUefVvB;3?Iq}e~>rbqV@wjenMx-L5_U_9wMKS6Wq%dgo8+-&C9~b
z@NOcBxuqf_1u23oO2I6hLPot|l$8GqW0P(n4
z%(|~Uxn39uz7zlQ=i-a_bhia|+88HTTk(lhVKXp=6~o^m(|%V8?e~RV_kdXR`$d%J
z3>BbaHrT3kop%T$;iAp%SB@nUb(CWX-Wbj?AO5(jt-tXd@@h|Pe3zdu-I`$dVImrh
za5Bx2kOvzouP0g~aS>gRIwfVcVQ}w2+qw_Ekkp+h47CkgoEsu*5ZNfTY91}Kg8NiJ
zb^XXkkc|TIbPWlsg=(t)P}m4J#KT!R!DkLIjME}ODKVl+MO8&nCg$k$|MrMhptv^T
zAadlvi*;r>LKtKFkaZI|(s=KFJ0(F@PWS1Z=sC8_S=CD&eAV9`G|bCiZGe|q!s)|Z
zeq5|hbKIY_1xm5)YydB`PwDT2N^?rfc`4O-O$7wNxx1AOU*~#SG1XNJjIH>7S$5l3
zd3EpBddYsGeR!d-yvq7
zJp1;u47>KZXBgGDk-PGJ2L7!0*DY%{!We`2{l4oV6BV6q`?l!+Fh(szf8f}u{LJN+
z6!{Np`a;TwQu6F2>(8$#{-K*PPX2!#m*C9XPE%fyqrlX(#Uk{wrs3+#aO7c28Tzv4
zqS*=djK!jHECa#q1)@xsKgsrEw(>hS@!P$&e(C6HoQpV@tIAfICNY>=f3)Y-WQU!L
zyb!E1Evo{#dZ)qvX|GU2-Su)Bl0YYqG4t
zG5Uieij~|vtZ`imzkZQcRIIoSi4HcOiTu1R{^li)y|rX&?%?)TGewlv>ny4*S}!n=dP4uA<{!8ozAv2O&cK
z$EkPtZ=r}aF7pUZD$#FUbVD;-TAzD)hoy)8S!XB1wYxv#3FjKKobHJ~_;98)E!j*`
zyiMCulh^;1)crm7#UUz=+1d*7lb1G&kI=$>hBmGDd;8fZXqP81Z~VznRo{5obcgY#
ziL_C*G)@q3DUHkTlPGpS*|qn
z>z+tp3GSbRU_iT7XbbiDr!q~H*k*^?WIVeufq2VS7Et)Ps4XJcflm^!?HDEj74u{s
ze3NDM0L*8*Zh$0|q4ln0`SCqOD-6;wGgfNh&|wwXB-!3S-Mi*2=Ac&J3=0%0zCyPz
zmjANI-IN(?UC6H24)AR_ssWR=85N(nwTeP@%m*Z2jpHITkA)e*iLQw|sz3tSw|7x#
zAg*kL!CnXt%>Cw2NJhW#I|cQ^CVDNQ(dqAk1w*)`(k+@)JdZmMtd&ez-$>xZwdRT6%gctDlJ-POMiGBx%;Vu|$1~%mklclLA#1fe0TT3~O^oc7O2oP9R5IJVNEm+-LgqA=Hmp`ltYsSvs9~V{nx^lv(mz4<4T5+KM9#6KfG#N_zn}JR14^BMk
zjahSs@ULXW7T0zl@AB_0n2yrSSO0iz%*gLl4S1w<3V)OQd+iYYM$z)N@*`J`Fctzj
zk8thxs=f+AKc-4mA|>rAJP3Y=Uas(V@k_(QO^h-PYt23j%=lv%kSiQ9xd`Nr!B6YX-8c35p(f|dDT&X0j2&aF@Q3+F1bfsh|NOZTr`
z!AD8u>3FqVL$iXTO3?!AN}jTgmVcVQf)m}uMTsEQD^R{^-owbfSA!{=TM2gcfsS4v
zbk|%3nF~vA##YGH&6@=LD=lP%{F@k-oz{h^Wk8x^tjQlfRyd;d`WugP4VX~S*}iIf
zV23%e?{)sfQ%bP$G!d;|yV8c)cC&+!3OKBNnQxx|cAHbR<3zc6kuogZNx3v@x`FH)
zbjyxnYJe862~XSC1O4Enq`KYfm>{H6=N6m&^uzdPib*wZ~&M8#mN
zC&lC$HSbXEg<>q&J*F0lmkblVffKbdzwkIcS7Nwo*cqwE^Vkb(Y25|lceT3d&x$|y
z_fT-dQr`qRqy_`g8_SsAK`HfOKSb~glNA9ymXx@JE=uABY=QFOhG9`g&O)K-#r&m;
zM?u&!vQKUkinpuWOBt@Jzptg
zdwPK$`@(px4x>i%7b>#F!-$nTF7fDgh+H1tisEFO{(Ne|2aj$>3DVtDu+4i`wZm&V
zH#De$=p#80BtSiWoW8)K91KdE(YljTSk{8yBw^@Q7mOs<5~XikjDN!yW2+c&!lGW
zG%rHe`)6F&5G0q-;CU`G+GZZcR7`dlpqKyfz#TaJ=$TnYlfvc_U5^j7biFJ>uZ=Xm
zG?L1$pgkdCxxMS4Hr4qvP_y5QP4IWOZT6KJuFv7EwtSJe$LwesjlNaMgSKBMwWa9!
z-A0Qi&{jtCKVR*5&!(GFpk>kl8T7SO^n%Z|By<`wVD+c=0k~`vQtZdmdtP||hx>oF
z{pZ3DAyD+)Yg?>rwAUOjyD-TVK{Gh8$@T20;Zn9#=IVwln7y<%
z$GtiygZ+>Cey8*%Ci~{-n=~2WAGkGl#pJ}g)g0sn`;T<^
zNz90o=g;dZn+@EA$E}L&jYx-azawRUiLv3FpHM7_kYg+%x8p$FA?}}BNnveRh#GOU
z8swVgbC{YmK8Ox@Qi8@6kA;}=dCw4;b##1E*&uVlq0FZ*7h8o
zGdvjWoWwB_(Z)=m;(>?%7tJRlHK{>w{9tu6zWfZ;Hq!H&`Yu{C-&}%odWRSG6V$Aq
zHx7J4d)V3#T6_bHvxG`HC>XVK{iN+YI^nLmTKNs7&Apa;Zf;=j8v>(`-0{JgqDD+-zKoOM!=^y
zyip7m{^Kodo@By@jNyyQjIRtauXl-bOBgC*KE9bK8d2y{U!l?^kJZC%DTB@4rn|%W)<3?JlR|}k%Ld}?bYr4XF$bSRPXJyV
z)QnMxv~Q;#dzCTtCD7W|QNrjL;f{Mid7}Ot?HmP5Dtu39y;uim8T6?24k3v^+v?9m
zN34-WoU%{vaDaQs^u9kO5~PgTUrS`mqc@E!dFP4a7V(@@S>l<6BlH=FE>?-3QJK8|
zA8o|5mVw3o)6%tp*mZj>z!91^8~L`6^gaffjOn@L1#J2L#d?Vh>Zm}OK0guJBEE-ipp%=DDqe|$07ViMpL^s7-6yybrAc?t+mZEnB-zl042UBNkh
zuLJP(Pd>Ll5Np&2>2&{_=d4;l7_Fl3@}A;!kc|;2MZktq6*D9D$uliY;7@G|z$^Yq
z3^M>0O_!+1w5c16M(`n2G?5+;F`Ymcg$?T>K#-p}V-BoTZyJ&3`<70A($=n?+q!!6
zYk>i$`0?V|&+%Pe_4}{YMfAHgU;|;wfczx5BEiDT-!o1gxJuRrYUyV+zJpae8DVh`
zUzbJbk^=Z4;kXF?JJ5)@t5ghXk?z@DaXi4MXl0yp&^ehPSZKsD
zO}fV;MRZxDkKo6Eto;fL&cimpj&StlWaS#$g}E^0xrie#%U8Dg9$$RjIp58b19u~9
z&76c1Gm6*q=1zfbqjlP%->yWjDlD3nr)GxwAgT!(g?Fda?ymJ+hf(hj*?Fdfv^)N=#*qV^d$dJ_hWNAY
z^Fdwnk&@z}Dr+;?Ad=Ip4r|qj?OWO_N
zKeV8_u=N$`U+I&h$M-dm{e4$It7kbuKNMp$iSkjZNa282#%T_qCZQ?-Wq^en2nN4`
zz`j3IR?CmpcsYYZv|~Dfwm2@lwq{p&9;==T!I2h0XYq*1w-DS)DgjmrSkQ#qdXvf}
z($R^4)29a|cM4^>LX@~BQ(9Oc
ze;xnt;ZX^cU9KXaSQ5#C3NWQ)`@ORJ*lsYH+8n=%O&aI^=qPXYmZc+6R?0{m@{^1??aIvIN{}Rt2=897v~!SFhFT
z#-nO0jj?X+=afWgQsQ~Z?5@&*x`pdiW_FjNVN4+lb4fGNO9
z(PBH}41$Z#5WN(Dfm-4AI(M({o_(Z3CtnZw6o|(mIOJjz
z)XgL*3=}K;8{phmn(zMVu`0Ja6w9t02*{Gpm){Ge_^;5;pk$0xrZ%>CH$ds^@!)F|
zYz|NKX_Nzw@sZ&1kl@Wh5%9`WQLbeZIpG1s@4&s5T@)?Hkr=mU;Q-qrremb!P~n3G
z>U163H#D9FIL&_oMh3@I=?BEZwfYk}HX)_8#}iO)$fGsD>HXMpYNm{I84FK&H<_@Q
z0KF^5^jB<bFl|y2l?T
z>RJUwxSn)ZTceapZxDy+0@?~&!1#f?M*7h$&Y{mJspMZ%Qpxw(eqMOT%@l!KzD)bC
zOnZiRuUJg?xelpE5@kS<|`+1;L0y82TC*Tv41I6&g@;ivPcGO)ODi=XKd
zj=qJ>#{&0YZdbyZE#t;RVw@Q#TByOlSvRxMM*vSPIoLA(&Ihk8I12Zz@}h-GgRX~<
zAUGU@JD=+$a5w|goWd}=b+BvrdC|#+E79Q%n#!4EXk2R*-`9UO4eI!gdyt1vllfe*
z+>P_-9X?gxU_#%{V(Y;S1!~e#q`M0494aXlM3HbEm80TQesmnpRee>tqLdS6M4oZ6|r*!^5zA^^1
zg+;8l$=#i(;N{rbGRGCYQ}e1{q#-l9uOZO>t7Xj|i5tzCH3zhE$cL*T?kOQb?`2Ou
zAL{q)|MU`Yz6IhP5VHK&!B6<1fhe9CN(7{NuiPdSeFT`>B=$$qC25vA7hkVL4Eomq
zImz!C$Z%YL4hK-yd3UqLnk{hMypGfZ{
zqLt6CVAjCKvneG^fhC{aTZBL$Gt75o?Nx{hT6TdMw0KI
z%kv*p1Caa=a9v-rX3$$cB~U1)VbikFb4UZ>&yB6N6S*EHz*-I2hAH6rv-^%!?5S1&
z+M^;U^g?S8aOS_pBjt(oe-F|L|F=|3uS;u^`r2
z1vdV)D!zs>ft(Gm`Cpn#)NR9FGPRZx6I_Dou93C237P=Q({ZHR-;;`Spg$NxEJ@&J
zEsrLC)i@cD*w&+WAi@mre|d936VmqGpt@#E#hd}e2HxKW+AL=6TJPF|SYp6yx%Is$gaSNFm_`cSB0@>CmqC2P
z^M4Pn8~L|`vSH6`{DCv}Q$(`$Kk0kzHz$4ul-~GS)8IgfP)=n3($xmRasUqd4e{B=
zz^SS>F4&p~>x%Kqrh@M@hUk~Pj`MGlN;UdiLQ8mOoWq>f5jg@n68Mnsi^L-C)HpkR
zD&_cyHs3&>3{kuIL7S4wMPr5ivoCXrzdovDiZ8KYuhsd1GoGjt$|;EuMxO7v_+Hs@
zpNEL~u(kYsD6h>r7@Zus+SI6?&gM@OPuX+wY&N_}+q!lBdogm=x~t(=_m>BD5oLbU
z$|W&s=ga#F!35^C%|58X6;5|D$a5HTJqS1LIY=nvJ9xdH?bG8TulmZSv1#j)dYX@l
z-@5Toug>`(RtN09+-F5~n?IpaFUz`BGwiE~cTQvl=+9ivr^mWc^KXcVRURbZ(2<$~
z$b+&AqVp_NY&e;~m)>vmBAtJf+2ogsh!0DAgD-n-gYU&RJjE`UA<19;P}FAI(sTbZ
zBg_l#RuUeCgpQLMW=X@mM@qy+$KJ!U=p^21`7xJXa4UF)@U=
zH=xh*rDWqq{nqK$q~>iT8-9vtW*&a#@xC)omgmP*Y+zski3B@sQd6)Ti&)<&R&@Al
zm^Ik${q_B++e|D2cT96;N@zh`+HsBz-Y*VJ307?e!K+{$R$v4A0#m|jusb!WZYlwr
zyz=eJVe%+0+4d!Upq6KN4Vp?NV4q1QAPkES*I^>ZglEG*>{>-LRn}z`;|d5bl?O7l
zK%!35eDd#onMY9NKohZ7f>g$MW3H*7brZY{j#eU_x=bVIo4gq6m%zwwFU<-c?cY`T
zmd2P@fIV-#%JqnMBQbGxvY~+P~1mCYzKCzI6HJJY^{R!Yh
zo^Gd4Z`x=92%fbaDE;S%5m4E4c&*H&AFc)13{1g}rlWtsP0i;(o+~
zRze3w-vNbPnW`^d06%i*Ve@tYyozT|&&cE$-h(&@#*f$DOBCUEd6x@x5=c-6d=N&Z
zTPJ)u@WFBLo_b}M$YM&mkB=l$t$GHj#KE5BsI_^psergV5-m0quvp`lSNPKbw+|I31
zafUI)f&ukcpC4Z?7?=X&5{GFATrkN!_7^iXW;)Jx=bC8IATyvo2tsCALoU0!S+LTb
z3V8qGhKLCEbdkVY_df&iVn1>J6^)Jwo#NFP091w?@Snh?$L|Jkj@PNK=s?BEo9O@L
zKsb%_rt|!>dl4^VdLq`yscMJg7=2vP&J1Bs8?*fIV2#$%WdbUn-4
zNJ$R6Z(eu9NG3=034X?gl^KdEc=EP00o3E(ew2_#2VAn6@1V3hO0TQ3IX>bp2mK*x
zZyWk~!QB3*avtf+1Xbf#=GaLoIqm}tC=KV-LhJ0Oe1;X8nbGuD
zOf1<^zUlnej)LM+5!~=bh`USOEw&Cim0>eCO#D(ih+IMtz6WZeS`fvDiqbV6o}B?p
zxW2C+Uo1$yyJnujHhOb`lR=en1Bl@UaSx(%skLu=qN(DIxC7Wk3fFgQT^q5iRCyz3
z25V(soSuh@O_iR!6@*bIR@37pXvv{H+Wx7HU4j>iXYb70Q{=2iw}MPhu&lN7xQxlpOsIi=QP0VMI#8E%NO;
z5voPbqSeau77uHdN68yzEZv_zdp9AlmL;{NsyR4=J**^$iQz4>>$CeB8WH2#+Wbl
zDokWvd(*V>p1W@Lb5zjGXS)FO_96)HTgIcSwov_a@EK{NC`OBdBQc7My9=y4KgJE~
zai%_SqQ;*EZ;kzxGx3R~y9r-)pStjOC2m3oFaIfe-hOi)1?tQ;Qp|H;c0TWkpiGp4Y&xC-8o?DH3$U*dPK~j=@tmGfxNN}M+Gs$=wN{wIz>yksP?D#UThh}
zC
zI}f;b5|k?eWH$>D><|ys*3-j&8&E^BmhdM{!DRDD8X`6S@ITA}wd&3PC8yPE-M<4E
z8inA*m#&3Q|8V+WrAejfTE}+I6`#@We@SWoy89T2Zr|uI^i`mC*2bI@l@^Zg=zGzewdRzv%dG$L>bPR5A8#?E_gI`P*kE_GAFrzwn(%we
zW1KcA*PyoaNXlLO%Qch7Jn@pZxQI%?BPW(2p7Wb=UPaUiaNTkdMyISlRtX?_EBKxx
z;r8@-LM2-`Xi